Reaalifunktiot¶
Funktioita käsittelevässä johdannossa käsiteltiin sääntöä \(f(x)=x^2+1\), joka liittää jokaiseen reaalilukuun \(x\) toisen reaaliluvun \(x^2+1\). Esimerkiksi funktio \(f\) liittää lukuun \(2\) luvun \(5\), sillä \(f(2) = 2^2 + 1 = 5\). Yleistetään tämä ajatus ja rakennetaan sen pohjalta seuraavaksi funktion täsmällinen määritelmä. Funktiota ja siihen liittyviä käsitteitä havainnollistetaan lisää täsmällisen määritelmän jälkeen.
Nyt reaalifunktioiden tapauksessa funktion \(f: A \to B\) määrittelijoukko \(A\) ja maalijoukko \(B\) ovat reaalilukujen osajoukkoja. Toisin sanoen reaalifunktio on määritelty reaaliluvuilla ja saa reaalisia arvoja. Tyypillisesti reaalifunktiolle määrittelyjoukko \(A \subseteq \R\) on väli ja maalijoukko \(B=\R\).
Reaalifunktiota voidaan havainnollistaa yllä olevalla kuvalla. Kuvan mustat pisteet esittävät joukkojen \(A\) ja \(B\) alkioita, ja niitä yhdistävät nuolet esittävät, miten määrittelyjoukon \(A\) alkiot kuvautuvat funktion \(f\) määrittämän säännön mukaan maalijoukon \(B\) alkioiksi.
Funktion määritelmässä olennaisinta on, että jokaisella määrittelyjoukon \(A\) alkiolla on täsmälleen yksi kuva maalijoukossa \(B\). Visuaalisesti tämä tarkoittaa sitä, että joukon \(A\) jokaisesta alkioista lähtee täsmälleen yksi nuoli kohti jotakin joukon \(B\) alkiota. Maalijoukon \(B\) alkioilla ei ole välttämätöntä olla lähtöalkiota, tai niitä voi myös olla useita. Yllä olevassa kuvassa esitetään, kuinka joukon \(B\) alkioon voi kohdistua yksi nuoli (kuvassa alkio \(y\)) tai useampi (alkio \(y_1\)) tai ei yhtään nuolta (alkio \(y_0\)).
Esimerkki 2.2.2
- Funktion \(f: \R \to \R\), \(f(x) = x^2 + 1\) määrittelyjoukko on \(\R\) ja maalijoukko on \(\R\). Funktio \(f\) liittää reaalilukuun \(x\) reaaliluvun \(x^2 + 1\), eli se kuvaa alkion \(x\) alkioksi \(x^2 + 1\). Pisteessä \(-1\) funktion \(f\) arvo on \(2\), sillä \(f(-1) = (-1)^2 + 1 = 2\).
- Funktion \(g: [2,\infty) \to (-\infty, 0]\), \(g(x) = -\sqrt{x-1}\) määrittelyjoukko on \([2,\infty)\) ja maalijoukko on \((-\infty,0]\). Funktio \(g\) liittää määrittelyjoukon alkion \(x\) maalijoukon alkioon \(-\sqrt{x-1}\), eli se kuvaa alkion \(x\) alkioksi \(-\sqrt{x-1}\). Pisteessä \(3\) funktion \(g\) arvo on \(-\sqrt{2}\), sillä \(g(3) = -\sqrt{3-1} = -\sqrt{2}\).
Mikä on funktion \(f\) arvo pisteessä \(1\) ja funktion \(g\) arvo pisteessä \(10\)? Entä mitä voidaan sanoa funktion \(g\) arvosta pisteessä \(1\)?
Reaalifunktion kuvaaja¶
Reaalifunktion saamia arvoja on helppo esittää graafisesti funktion kuvaajan avulla. Funktion kuvaaja lienee käsitteellisesti tuttu, mutta matemaattisesti kuvaaja on joukko tason \(\R^2\) pisteitä \((x,y)\), jotka toteuttavat funktion säännön eli joille \(y=f(x)\).
Esimerkki 2.2.4
Piirrä funktion \(f \colon [-1,4]\to\R\), \(f(x)=x^3-5x^2+x\) kuvaaja.
Lasketaan joitakin funktion \(f\) arvoja.
Funktion \(f\) kuvaaja kulkee siis ainakin pisteiden \((-1,-7)\), \((0,0)\), \((1,-3)\), \((2,-10)\), \((3,-15)\) ja \((4,-12)\) kautta. Mitä tiheämpään pisteitä lasketaan, sen paremmin funktion kuvaaja saadaan hahmoteltua.
Seuraavassa osiossa määritellään lisää funktioihin liittyviä hyödyllisiä käsitteitä. Osaa niistä voidaan käyttää tutkittaessa reaalifunktion kulkua, eli miltä funktion kuvaaja näyttää. Funktion kulkua tutkitaan myöhemmin erityisesti derivaatan avulla.
Lisää funktion käsitteitä¶
Edellä mainittiin, että funktion maalijoukon alkiolle voi kuvautua yksi tai useampia, joskus jopa ääretön määrä, tai ei välttämättä yhtään lähtöjoukon alkiota. Tämän vuoksi onkin järkevää pohtia, mitkä kaikki alkiot kuvautuvat tietylle maalijoukon \(B\) alkiolle \(y\). Alkiolle \(y\) kuvautuvien alkioiden joukkoa sanotaan alkion \(y\) alkukuvaksi
eli alkukuva on kaikkien alkiolle \(y\) kuvautuvien määrittelyjoukon alkioiden joukko. Merkintä \(f^{-1}(y)\) luetaan ”f miinus 1 y”. Huomaa, että samaa merkintää käytetään myöhemmässä vaiheessa käänteisfunktion arvosta. Käänteisfunktio määritellään myöhemmin.
Usein ollaan kiinnostuneita siitä, mitä saadaan tulokseksi, kun valitaan määrittelyjoukosta \(A\) jokin osajoukko \(C\) ja kuvataan kaikki sen alkiot kuvauksessa \(f\). Näiden kuvien joukkoa sanotaan osajoukon \(C\) kuvajoukoksi ja merkitään
Koko määrittelyjoukon kuvajoukkoa \(f(A) = \{f(x) : x \in A\} = \cR(f)\) kutsutaan funktion \(f\) arvojoukoksi (range). Funktion \(f\) määrittelyjoukkoa merkitään myös \(\cM_f\) tai \(D_f\) ja arvojoukkoa \(\cA_f\) tai \(R_f\).
Funktiota kuvattaessa määrittely- ja maalijoukkoja ei välttämätta mainita erikseen, vaan ilmoitetaan vain funktion sääntö tai lauseke. Tällöin määrittelyjoukon voidaan ajatella olevan laajin mahdollinen joukko, ja maalijoukoksi valitaan yleensä reaaliluvut \(\R\).
Esimerkki 2.2.5
Funktion \(f(x)=x^2+1\) lauseke on järkevä kaikilla reaaliluvuilla \(x\). Siispä funktion \(f\) laajin mahdollinen määrittelyjoukko on \(\R\). Funktion maalijoukoksi voidaan merkitä \(\R\), mutta arvojoukko on \(f(\R)=[1,\infty)\). Tämä johtuu siitä, että \(x^2 \geq 0\) aina, kun \(x\) on reaaliluku, ja funktion arvot kasvavat rajatta, kun \(x\) kasvaa. Joukon \((-1,2]\) kuvajoukko on \(f((-1,2])=[1,5]\). Määritetään joidenkin alkioiden alkukuvia.
\[\begin{split}\begin{aligned} f^{-1}(2)&=\{-1,1\}\\ f^{-1}(1)&=\{0\}\\ f^{-1}(-7)&=\emptyset \end{aligned}\end{split}\]Funktion \(g(x) = - \sqrt{x-1}\) lauseke ei ole määritelty reaaliluvuille, jos juurrettavaksi muodostuu negatiivinen luku eli \(x < 1\). Näin ollen funktion \(g\) laajin mahdollinen määrittelyjoukko on \([1,\infty)\), maalijoukko \(\R\) ja arvojoukko \(g([1,\infty)) = (-\infty,0]\). Joukon \([2,5)\) kuvajoukko on \(g([2,5)) = (-2,-1]\). Määritellään joidenkin alkioiden alkukuvia.
\[\begin{split}\begin{aligned} g^{-1}(-4) &= \{17\} \\ g^{-1}(4) &= \emptyset \end{aligned}\end{split}\]
Esimerkki 2.2.6
Määritellään lattiafunktio (floor) \(f(x) = \lfloor x\rfloor\) asettamalla
Nyt esimerkiksi \(f\left(\frac52\right)=2\), \(f(2)=2\) ja \(f(-2\frac12)=-3\). Määrittelyjoukko on \(\R\) ja maalijoukoksi voidaan ottaan \(\R\), eli lattiafunktio kuvaa reaaliluvut reaaliluvuille. Arvojoukko on \(f(\R)=\Z\). Määritetään joidenkin joukkojen ja alkioiden kuvia ja alkukuvia.
Esimerkki 2.2.7
Mikä on funktion \(f(x)=\dfrac{1}{\sqrt{2x+4}}\) määrittelyjoukko?
Jakaja ei voi saada arvoa nolla ja reaalilukuihin rajoituttaessa juurrettavan lausekkeen täytyy olla ei-negatiivinen. Näistä saadaan ehdot
On siis oltava \(x > -2\), eli määrittelyjoukko on \(\cM_f = (-2, \infty)\).
Seuraavat käsitteet luokittelevat funktioita sen perusteella, miten funktio kuvaa määrittelyjoukon alkioita maalijoukon alkioiksi. Nämä käsitteet ovat avainroolissa, kun tutkitaan, onko funktiolla olemassa niin kutsuttua käänteisfunktiota.
Näitä ominaisuuksia voidaan luonnehtia vielä funktion maalijoukon suhteen seuraavasti.
- Injektio: jokaista maalijoukon alkiota vastaa enintään yksi määrittelyjoukon alkio.
- Surjektio: jokaista maalijoukon alkiota vastaa vähintään yksi määrittelyjoukon alkio.
- Bijektio: jokaista maalijoukon alkiota vastaa täsmälleen yksi määrittelyjoukon alkio.
Tämän perusteella esimerkin 2.2.5 kumpikaan funktio ei ole surjektio, sillä niiden maalijoukossa on alkioita, joiksi ei kuvaudu yksikään määrittelyjoukon alkio. Funktio \(f=x^2+1\) ei myöskään ole injektio, sillä kumpikin alkioista \(-1\) ja \(1\) kuvautuu alkioksi \(2\). Sen sijaan funktio \(g(x) = - \sqrt{x-1}\) on injektio.
Huomautus 2.2.9
Injektion määritelmästä seuraa, että yksikin vastaesimerkki riittää todistamaan, että funktio ei ole injektio. Jos siis löytyy yksikin esimerkki määrittelyjoukon alkioista \(x_1\) ja \(x_2\), joille \(x_1 \not= x_2\), mutta \(f(x_1)=f(x_2)\), niin funktio \(f\) ei tällöin ole injektio. Määritelmän mukainen yksittäinen esimerkki ei kuitenkaan riitä injektioksi todistamiseen. Sen sijaan pitää näyttää toteen, että oletuksesta \(x_1 \not= x_2\) seuraa aina, että myös \(f(x_1) \not= f(x_2)\). Samaan tapaan toimitaan, jos pitää osoittaa, että funktio on tai ei ole surjektio.
Esimerkki 2.2.10
Osoita, että \(g: [1,\infty) \to \R\), \(g(x) = -\sqrt{x-1}\) on injektio.
Hyödynnetään epäsuoraa todistusta. Olkoon \(x_1\) ja \(x_2\) määrittelyjoukon \([1,\infty)\) alkioita, joille \(x_1 \not= x_2\). Oletetaan nyt, että päinvastainen tulos on voimassa, eli \(g(x_1) = g(x_2)\) ja pyritään näyttämään, että tämä johtaa väistämättä ristiriitaan. Nyt
Tämä on selvästi ristiriidassa sen kanssa, että \(x_1 \not= x_2\). Siispä alkuperäinen väite on tosi, eli funktio \(g\) on injektio.