Title Izgradnja eksponencijalne funkcije
Author Lucija Baljkas
Mentor Zvonko Iljazović (mentor)
Committee member Zvonko Iljazović (predsjednik povjerenstva)
Committee member Ljiljana Arambašić (član povjerenstva)
Committee member Boris Guljaš (član povjerenstva)
Committee member Igor Pažanin (član povjerenstva)
Granter University of Zagreb Faculty of Science (Department of Mathematics) Zagreb
Defense date and country 2014-09-23, Croatia
Scientific / art field, discipline and subdiscipline NATURAL SCIENCES Mathematics
Abstract U ovom diplomskom radu postupno izgrađujemo eksponencijalnu funkciju. Krećemo od izgradnje realnih brojeva. Na početku definiramo pojam binarne operacije, pojam grupe, prstena, polja, pojam uređenog polja te polje realnih brojeva. Pomoću pojma induktivnog skupa definirali smo prirodne brojeve, te potom cijele i racionalne brojeve. Potom smo definirali pojam niza kao funkciju. Dokazali smo bitan teorem ”Princip definicije indukcijom” te pomoću njega definirali \(a^{n}, \forall {n} \in \mathbb{N}, a \in \mathbb{R}\) te \(a^{m}, \forall {m} \in \mathbb{Z}, a \in \mathbb{R} \backslash \{0 \}\) a potom i \(a^\frac{m}{n}\) gdje su \(m \in \mathbb{Z} , n \in \mathbb{N} , a > 0\) te smo provjerili da je to dobra definicija, tj. da ne ovisi o izboru brojeva m i n. Naposljetku smo definirali \(a^{x}\) gdje je \(x \in \mathbb{R} \backslash \mathbb{Q}, a > 0\). Izgradili smo eksponencijalnu funkciju s bazom \(a > 0, a \ne{1}\) kao \(exp_{a} : \mathbb{R} \to \langle{0, \infty}\rangle\) s \(exp_{a}(x)=a^{x}, \forall x \in \mathbb{R}, a>1\). Dokazali smo jedinstvenost i egzistenciju takve funkcije. Nadalje, dokazali smo i razna svojstva te funkcije kao što su neprekidnost, bijektivnost te naposljetku i derivabilnost. Definirali smo i inverznu funkciju s bazom a kao \({(exp_{a})}^{-1} : \langle{0, \infty}\rangle \to \mathbb{R}\) koju nazivamo logaritamska funkcija te dokazali da je i ta funkcija derivabilna.
Abstract (english) In this diploma thesis we are gradually building an exponential function. We start from the construction of real numbers. At the beginning we define the notion of binary operation, the concept of groups, rings, fields, concept of a ordered field and the concept of field of real numbers. Using the concept of inductive set, we have defined the natural numbers, then the integer and rational numbers. Then we have defined the concept of the sequence as a function. We have proved an important theorem ”The principle of definition by induction” and have used it to define \(a^{n}, \forall {n} \in \mathbb{N}, a \in \mathbb{R}\) and \(a^{m}, \forall {m} \in \mathbb{Z}, a \in \mathbb{R} \backslash \{0 \}\) and then \(a^\frac{m}{n}\) where \(m \in \mathbb{Z} , n \in \mathbb{N} , a > 0\) and we have proved that this is a good definition, ie. that does not depend on the choice of numbers m or n. Finally, we have defined \(a^{x}\) where is \(x \in \mathbb{R} \backslash \mathbb{Q}, a > 0\). We have built an exponential function with base \(a > 0, a \ne{1}\) as \(exp_{a} : \mathbb{R} \to \langle{0, \infty}\rangle\) by \(exp_{a}(x)=a^{x}, \forall x \in \mathbb{R}, a>1\). We have proved uniqueness and existence of the function. Furthermore, we have shown the different features of such a functions such as continuity, bijectivity and finally derivability. We have defined the inverse function with base a as \({(exp_{a})}^{-1} : \langle{0, \infty}\rangle \to \mathbb{R}\) which is called the logarithmic function and we have proved that this function is differentiable.
Keywords
realni brojevi
eksponencijalna funkcija
logaritamska funkcija
derivabilnost funkcija
princip definicije indukcijom
Keywords (english)
real numbers
exponential function
logarithmic function
derivability of functions
the principle of definition by induction
Language croatian
URN:NBN urn:nbn:hr:217:798218
Study programme Title: Mathematics Education; specializations in: Mathematics Education Course: Mathematics Education Study programme type: university Study level: graduate Academic / professional title: magistar/magistra edukacije matematike (magistar/magistra edukacije matematike)
Type of resource Text
File origin Born digital
Access conditions Open access
Terms of use
Created on 2017-05-10 13:02:26