2.1 Funksjonstyper og egenskaper

Funksjonenes artsmangfold

En biolog som finner en ukjent skapning, stiller alltid de samme spørsmålene først: Hvilken art er dette? Hvor lever den? Hvilke kjennetegn har den? I dette kapittelet skal vi gjøre nøyaktig det samme -- med funksjoner.

For naturvitenskapen er full av funksjoner, og de kommer i bestemte «arter». Når en fysiker beskriver et fallende eple, dukker det opp et polynom: $\displaystyle h(t) = h_0 - \frac{1}{2}gt^2$. Når en kjemiker følger et radioaktivt stoff, er det en eksponentialfunksjon som styrer. Lydstyrke i desibel? En logaritmefunksjon. Tyngdekraftens avtagende grep med avstanden? En potensfunksjon. Og forholdet mellom to størrelser som begge endrer seg, blir gjerne en rasjonal funksjon -- en brøk av polynomer.

Å gjenkjenne arten er første steg, for hver art har sin karakteristiske oppførsel. Men så kommer biologens neste spørsmål: hvor lever funksjonen? Det er definisjonsmengden -- alle $x$-verdier funksjonen tåler -- og dens makker verdimengden, alle $y$-verdier den faktisk produserer.

Til slutt ser vi på kjennetegnene: noen funksjoner er perfekt symmetriske om $y$-aksen, andre er punktsymmetriske om origo. Og alle kan kartlegges med nullpunkter og fortegnsanalyse -- hvor er funksjonen null, hvor er den positiv, hvor er den negativ? Når kapittelet er over, kan du møte en vilt fremmed funksjon og raskt lage en feltrapport om den. La oss begynne med artsbestemmelsen.

De fem store funksjonsfamiliene

I R1 møter du fem funksjonsfamilier igjen og igjen, og du bør kjenne dem på utseendet.

Polynomfunksjonene $P(x) = a_n x^n + \ldots + a_1 x + a_0$ er de mest godlynte: definert overalt, glatte og forutsigbare. Du kjenner allerede spesialtilfellene -- lineære funksjoner (grad 1) og andregradsfunksjoner (grad 2). $f(x) = 3x^4 - 2x^2 + 1$ er et fjerdegradsmedlem av familien.

Rasjonale funksjoner er brøker av polynomer, $\displaystyle R(x) = \frac{P(x)}{Q(x)}$, som $\displaystyle g(x) = \frac{x^2-1}{x+3}$. De arver mye fra polynomene, men har et dramatisk trekk: der nevneren blir null, bryter de sammen -- ofte med asymptoter som resultat.

Eksponentialfunksjonene $f(x) = a \cdot b^x$ eller $a \cdot e^{kx}$ har den ukjente i eksponenten, og det gjør hele forskjellen: de vokser (eller avtar) i et tempo som er proporsjonalt med sin egen størrelse. Derfor styrer de bakterievekst, renters rente og radioaktiv nedbryting. $h(x) = 2 \cdot 3^x$ er en av dem.

Logaritmefunksjonene $f(x) = \ln x$ eller $\log_a x$ er eksponentialfunksjonenes motstykker fra kapittel 1 -- de vokser, men stadig langsommere, og finnes bare for positive $x$.

Potensfunksjonene $f(x) = x^r$ har fast eksponent og variabel base -- motsatt av eksponentialfunksjonene. Familien er stor: $r = 2$ gir parabelen, $\displaystyle r = \frac{1}{2}$ gir kvadratroten $k(x) = \sqrt{x} = x^{1/2}$, og $r = -1$ gir hyperbelen $\displaystyle \frac{1}{x}$.

Forveksl aldri de to siste med hverandre: i $x^3$ er det grunntallet som varierer, i $3^x$ er det eksponenten. De oppfører seg fundamentalt forskjellig -- noe du får se tydelig når vi sammenligner veksten deres i kapittel 3.

Hvor funksjonen lever: definisjonsmengde og verdimengde

Definisjonsmengden $D_f$ er alle $x$-verdier der funksjonsuttrykket gir mening; verdimengden $V_f$ er alle $y$-verdier funksjonen faktisk treffer. Tre ting kan innskrenke definisjonsmengden, og du kjenner dem alle fra kapittel 1: vi kan ikke dele på null, ikke ta kvadratrot av negative tall, og ikke ta logaritmen av tall som ikke er positive.

Jakten på $D_f$ er derfor en jakt på forbudte soner. For $\displaystyle f(x) = \frac{1}{x-2}$ er det bare ett forbudt punkt: $x = 2$, så $D_f = \mathbb{R} \setminus \{2\}$. For $g(x) = \sqrt{4 - x^2}$ krever roten $4 - x^2 \geq 0$, altså $x^2 \leq 4$ -- en ulikhet fra kapittel 1.5! Løsningen er $D_g = [-2, 2]$. For $h(x) = \ln(x-1)$ krever logaritmen $x - 1 > 0$, så $D_h = (1, \infty)$ -- og merk forskjellen fra roten: streng ulikhet, åpen parentes.

Verdimengden krever litt mer fantasi: du må spørre hvilke $y$-verdier som er oppnåelige. For $f(x) = x^2$ er svaret $[0, \infty)$ -- kvadrater er aldri negative, men når alt fra null og oppover. For $g(x) = e^x$ er svaret $(0, \infty)$: eksponentialfunksjonen er alltid strengt positiv, kommer vilkårlig nær null når $x \to -\infty$, men når aldri null. Og for $\displaystyle h(x) = \frac{1}{x}$ med $x > 0$ ser vi det samme bildet: verdiene spenner over $(0, \infty)$, der yttergrensene nærmes, men aldri berøres.

Dette lille ordet «nærmer seg, men når aldri» kommer du til å høre mye mer om -- det er grenseverdibegrepet som banker på døren.

Kjennetegn: symmetri, nullpunkter og fortegn

Noen funksjoner bærer en innebygd symmetri som halverer arbeidet med å forstå dem. En like funksjon oppfyller $f(-x) = f(x)$: å speile $x$ endrer ingenting, og grafen er symmetrisk om $y$-aksen. En odde funksjon oppfyller $f(-x) = -f(x)$: speiling av $x$ speiler også $y$, og grafen er punktsymmetrisk om origo. Navnene er ingen tilfeldighet -- $x^2$, $x^4$ og alle jevne potenser er like, mens $x$, $x^3$ og alle odde potenser er odde.

Testen er ren regning: bytt ut $x$ med $-x$ og se hva som skjer. For $f(x) = x^4 - 3x^2 + 1$: $f(-x) = x^4 - 3x^2 + 1 = f(x)$ -- like. For $g(x) = x^3 - x$: $g(-x) = -x^3 + x = -g(x)$ -- odde. Men $h(x) = x^2 + x$ blander jevn og odd potens: $h(-x) = x^2 - x$, som verken er $h(x)$ eller $-h(x)$. De fleste funksjoner er som $h$ -- uten symmetri.

Det siste kjennetegnet i feltrapporten er fortegnskartet. Nullpunktene er der $f(x) = 0$, og mellom dem kan ikke en kontinuerlig funksjon bytte fortegn -- nøyaktig samme logikk som fortegnslinjen i kapittel 1.5. Ta $f(x) = x^3 - 4x = x(x-2)(x+2)$, med nullpunkter $-2$, $0$ og $2$. Tallinja deles i fire soner, og vi tester ett punkt i hver: $x = -3$ gir negativt, $x = -1$ positivt, $x = 1$ negativt, $x = 3$ positivt. Dermed vet vi alt om hvor grafen ligger over og under $x$-aksen -- uten å tegne den.

Legg merke til at $f(x) = x^3 - 4x$ er odde, og se hvordan fortegnsmønsteret $-, +, -, +$ speiler seg antisymmetrisk om origo. Kjennetegnene henger sammen -- og sammen utgjør de feltrapporten som gjør en fremmed funksjon kjent.

Fortellingen i et nøtteskall

Som biologen med sin feltrapport kan du nå artsbestemme, stedfeste og beskrive en funksjon.

Artene: polynomfunksjoner (summer av potenser med heltallseksponenter), rasjonale funksjoner (brøker av polynomer), eksponentialfunksjoner ($x$ i eksponenten -- vekst proporsjonal med egen størrelse), logaritmefunksjoner (eksponentialens motstykke, kun for positive $x$) og potensfunksjoner (fast eksponent $x^r$). Husk den avgjørende forskjellen: $x^3$ er potens, $3^x$ er eksponential.

Levestedet: definisjonsmengden $D_f$ finner du ved å lete etter de tre forbudene -- divisjon med null, rot av negativt tall og logaritme av ikke-positivt tall. Verdimengden $V_f$ er de $y$-verdiene som faktisk nås, og krever at du tenker gjennom funksjonens oppførsel, inkludert verdier den nærmer seg uten å nå.

Kjennetegnene: like funksjoner ($f(-x) = f(x)$) speiler seg om $y$-aksen, odde funksjoner ($f(-x) = -f(x)$) er punktsymmetriske om origo, og testen er å sette inn $-x$. Nullpunktene deler tallinja i soner med konstant fortegn, og ett testpunkt per sone gir hele fortegnskartet.

Dette er funksjonsanalysens grunnmur. I de neste kapitlene bygger vi videre: omvendte funksjoner som kjører maskineriet baklengs, sammensatte funksjoner som kobler maskiner i serie -- og i kapittel 3 det store spørsmålet om hvor fort funksjonene endrer seg.