Grenser og kontinuitet

Grenseverdibegrepet: fra intuisjon til presisjon

Se på $f(x)=\frac{x^2-1}{x-1}$. Sett inn $x=1$, og du får $0/0$ — funksjonen er ikke definert der. Men prøv $x=0.9,0.99,0.999$: $f(x)$ blir $1.9,1.99,1.999$. Fra andre siden, $x=1.1,1.01,1.001$, gir $f(x)=2.1,2.01,2.001$. Uansett hvilken vei du nærmer deg $x=1$ fra, snurrer verdiene inn mot $2$. Det er nøyaktig det en grenseverdi fanger: ƒgrenseverdidefinisjonen betyr at $f(x)$ kommer vilkårlig nært $L$ når $x$ kommer vilkårlig nært $a$ — uten at $f$ nødvendigvis er definert i $a$ selv. Her er ${\lim }_{x\to 1}f(x)=2$, selv om $f(1)$ ikke eksisterer (brøken forkortes til $x+1$ for $x\ne 1$, og $1+1=2$).

Grenseverdien over er en topartsgrense — $x$ nærmer seg $a$ fra begge sider samtidig, og begge sidene må gi samme svar. Noen ganger gjør de ikke det. For $f(x)=|x|/x$ er grensen fra venstre ($x<0$) lik $-1$, mens grensen fra høyre ($x>0$) er lik $1$. Fordi de to ensidige grensene spriker, eksisterer ikke ${\lim }_{x\to 0}f(x)$ i det hele tatt, selv om hver av dem finnes for seg.

Den presise ε-δ-definisjonen

"Vilkårlig nært" er en intuisjon, ikke matematikk. Den presise versjonen er ƒpresis grense-definisjon (ε-δ): uansett hvor liten toleranse $\epsilon >0$ noen krever på $f(x)$-siden, må du kunne finne en avstand $\delta >0$ på $x$-siden som garanterer det. Sett $\epsilon =0.01$ i eksempelet over — du skal vise at det finnes en $\delta$ slik at $0<|x-1|<\delta$ medfører $|f(x)-2|<0.01$. Siden $f(x)-2=(x+1)-2=x-1$ for $x\ne 1$, holder det å velge $\delta =0.01$: da er $|f(x)-2|=|x-1|<\delta$ nøyaktig. Legg merke til rekkefølgen — $\epsilon$ kommer først som utfordring, $\delta$ svarer som forsvar. Definisjonen kalles derfor gjerne en "$\epsilon$-$\delta$-lek": for enhver $\epsilon$ du blir utfordret med, må du kunne produsere en $\delta$ som virker.

Grenser mot uendelig

Samme idé generaliserer til fire varianter, avhengig av om $x$ går mot et endelig punkt eller mot $\pm \infty$, og om grensen selv er endelig eller uendelig. Alle deler samme struktur — bare betingelsen bytter form. grense mot uendelig dekker for eksempel ${\lim }_{x\to \infty }f(x)=L$: for enhver $\epsilon >0$ finnes det et tall $M$ slik at $x>M$ medfører $|f(x)-L|<\epsilon$. Når grensen selv er uendelig — ${\lim }_{x\to \infty }f(x)=-\infty$, for eksempel — erstattes $\epsilon$-kravet med et $B$-krav: for hvert tall $B$ finnes et tall $A$ slik at $x>A$ medfører $f(x)<B$. Uansett hvor langt ned $B$ ligger, kommer $f(x)$ forbi det når $x$ er stor nok.

Å regne ut grenser

I praksis bruker man sjelden $\epsilon$-$\delta$ direkte — det er et bevisverktøy, ikke en daglig regnemetode. Til vanlig bruk gjelder regnereglene: hvis $\lim f(x)$ og $\lim g(x)$ begge eksisterer i samme punkt, er $\lim (f+g)=\lim f+\lim g$, $\lim (f\cdot g)=\lim f\cdot \lim g$, og $\lim (f/g)=\lim f/\lim g$ så lenge $\lim g\ne 0$. Reglene lar deg bygge kompliserte grenser fra enkle byggeklosser: ${\lim }_{x\to 2}(3x^2+1)=3\cdot \lim (x^2)+\lim (1)=3\cdot 4+1=13$, siden $x^2$ og konstantfunksjoner er velkjente. Kvotientregelen er den som lurer flest — den krever at nevneren ikke går mot null. Går nevneren mot null mens telleren ikke gjør det, går grensen ikke mot et tall i det hele tatt; da er du på vei mot en vertikal asymptote.

Et typisk $0/0$-uttrykk løses ved å forkorte fellesfaktoren før regnereglene brukes. ${\lim }_{x\to 3}\frac{x^2-9}{x-3}$: sett inn $x=3$ direkte og du får $0/0$, men $\frac{x^2-9}{x-3}=x+3$ for $x\ne 3$, så grensen er $3+3=6$. For grenser der $x\to \infty$, del i stedet teller og nevner på høyeste potens av $x$ som opptrer: ${\lim }_{x\to \infty }\frac{3x+2}{x-5}={\lim }_{x\to \infty }\frac{3+2/x}{1-5/x}=3/1=3$ — samme svar som asymptote-eksempelet lenger ned viser geometrisk.

Kontinuitet

En funksjon er kontinuitet i $a$ hvis grensen der faktisk stemmer overens med funksjonsverdien: ${\lim }_{x\to a}f(x)=f(a)$. Tre ting må stemme samtidig — grensen må eksistere, $f(a)$ må være definert, og de to må være like. Polynomer, eksponentialfunksjoner og sinus/cosinus er kontinuerlige overalt de er definert, og det er derfor du kan sette inn verdien direkte for å finne grensen i de fleste "pene" tilfellene. $f(x)=\frac{x^2-1}{x-1}$ fra første eksempel er ikke kontinuerlig i $x=1$ — grensen $2$ eksisterer, men $f(1)$ gjør det ikke.

Kontinuitet i et grensepunkt for en stykkevis definert funksjon krever at de ensidige grensene møtes riktig. La $g(x)=x+1$ for $x<2$, og $g(x)=x^2-1$ for $x\ge 2$. Grensen fra venstre i $x=2$ er $2+1=3$, og $g(2)=2^2-1=3$ — venstre grense, høyre verdi og funksjonsverdi stemmer overens, så $g$ er kontinuerlig i $x=2$ selv om den er satt sammen av to forskjellige uttrykk.

Kontinuitet av sammensatte funksjoner

Å sjekke kontinuitet fra bunnen av via $\epsilon$-$\delta$ hver gang blir fort tungvint. Heldigvis er kontinuitet "arvelig": er $f$ og $g$ begge kontinuerlige, er $f+g$, $f\cdot g$ og $f\circ g$ (der den er definert) det også. Byggeklossene dine — konstanter, potenser, eksponentialer, trigonometriske funksjoner, og strengt voksende eller avtagende funksjoner — er alle kontinuerlige på sine definisjonsområder. Så lenge en sammensatt funksjon settes sammen av slike vanlige byggeklosser med vanlige operasjoner (sum, produkt, kvotient utenom nullpunkter, sammensetning), er den automatisk kontinuerlig der den er definert. Du trenger ikke bevise det på nytt for hver ny funksjon du møter.

Asymptoter

En asymptoter er en rett linje funksjonsgrafen nærmer seg uten å nå. Se på $f(x)=\frac{3x+2}{x-5}$. Nevneren er null i $x=5$, og telleren er ikke det ($3\cdot 5+2=17\ne 0$) — grafen har en vertikal asymptote $x=5$, og $f(x)$ skyter mot $\pm \infty$ på hver side. La $x$ gå mot $\pm \infty$ i stedet: $\frac{3x+2}{x-5}\to 3$, fordi de høyeste potensene dominerer telleren og nevneren. Grafen flater ut mot den horisontale asymptoten $y=3$.

Generelt: en rasjonal funksjon $p(x)/q(x)$ har vertikal asymptote i hvert nullpunkt til $q$ som ikke også er nullpunkt i $p$, og horisontal asymptote gitt av forholdet mellom ledende koeffisienter når $p$ og $q$ har samme grad (her $3/1=3$).

Skjæringssetningen og ekstremalverditeoremet

To klassiske resultater bruker kontinuitet til å garantere at noe eksisterer, uten å si nøyaktig hva det er. skjæringssetningen sier: er $f$ kontinuerlig på $[a,b]$, og $N$ et tall mellom $f(a)$ og $f(b)$, finnes det minst én $c$ i $(a,b)$ med $f(c)=N$ — ƒskjæringssetningen. Intuitivt: en sammenhengende kurve som starter under $N$ og ender over $N$, må krysse $N$ et sted underveis. Bruksområdet er å vise at en likning har en løsning uten å finne den. La $f(x)=x^3-3x+13$. Da er $f(-3)=-27+9+13=-5$ og $f(-2)=-8+6+13=11$. Siden $f$ er kontinuerlig (polynom) og $0$ ligger mellom $-5$ og $11$, garanterer skjæringssetningen et nullpunkt et sted i $(-3,-2)$ — selv om du aldri regner ut nøyaktig hvor.

ekstremalverditeoremet er beslektet: er $f$ kontinuerlig på et lukket, begrenset intervall $[a,b]$, har $f$ garantert et globalt maksimum og et globalt minimum et sted i intervallet. For eksempel har $f(x)=x^2$ på $[-2,3]$ et minimum lik $0$ i $x=0$ og et maksimum lik $9$ i $x=3$ — teoremet garanterer at begge finnes, lenge før du regner dem ut. Begge betingelsene — lukket og begrenset, kontinuerlig — er nødvendige. $f(x)=1/x$ på det åpne intervallet $(0,1)$ har verken maksimum eller minimum, nettopp fordi intervallet ikke er lukket.