3.2 Kontinuitet

Naturen gjør ingen sprang -- eller?

«Natura non facit saltus» -- naturen gjør ingen sprang -- erklærte Leibniz, en av analysens fedre. Temperaturen i rommet hopper ikke fra $19$ til $23$ grader uten å passere $21$; en ball teleporterer seg ikke; vannstanden i et badekar endrer seg jevnt. Intuisjonen om det sammenhengende sitter dypt: en kontinuerlig prosess er en du kan tegne uten å løfte pennen fra papiret.

Men du vet allerede at bildet ikke er hele sannheten. Portoen fra kapittel 2.4 hopper ved hver vektgrense. Fortegnsfunksjonen $\displaystyle \frac{|x|}{x}$ fra forrige kapittel spretter fra $-1$ til $1$. Og $\displaystyle \frac{1}{x}$ gjør noe enda villere nær null: den stikker av mot uendelig. Verden -- og matematikken -- inneholder både det glatte og det brutte, og vi trenger et presist språk for å skille dem.

Det språket har vi nettopp bygget: grenseverdier. Kontinuitet i et punkt viser seg å være tre små krav: funksjonen må ha en verdi der, grenseverdien må eksistere, og de to må være like. Tre krav -- og dermed tre måter å mislykkes på. Det gir oss en hel zoologi av brudd: det fjernbare hullet, hoppet og polen, hver med sitt kjennetegn.

Til slutt løfter vi blikket mot asymptotene -- de usynlige linjene som grafer klamrer seg til, vertikalt der funksjoner eksploderer og horisontalt der de flater ut. Når kapittelet er omme, kan du se på en hvilken som helst funksjon og avgjøre: hvor henger den sammen, hvor brister den, og hvordan?

De tre kravene

En funksjon $f$ er kontinuerlig i punktet $x = a$ dersom tre krav alle er oppfylt:

1. $f(a)$ eksisterer -- funksjonen har en verdi i punktet.
2. $\lim_{x \to a} f(x)$ eksisterer -- verdiene nær punktet sikter mot ett bestemt tall (venstre- og høyregrense er like).
3. $\lim_{x \to a} f(x) = f(a)$ -- siktepunktet er funksjonsverdien.

Les kravene som en historie: funksjonen må love en verdi (krav 1), omgivelsene må peke mot en verdi (krav 2), og løftet må holdes (krav 3). Ryker ett av kravene, er $f$ diskontinuerlig i punktet.

Se sjekklisten i bruk. Er $\displaystyle f(x) = \frac{x^2-4}{x-2}$ kontinuerlig i $x = 2$? Krav 1: $\displaystyle f(2) = \frac{0}{0}$ er udefinert. Stopp -- allerede første krav ryker, og $f$ er diskontinuerlig i $x = 2$. Men legg merke til noe interessant: for $x \neq 2$ er $\displaystyle f(x) = \frac{(x-2)(x+2)}{x-2} = x + 2$, så grenseverdien $\lim_{x \to 2} f(x) = 4$ finnes i beste velgående. Funksjonen peker mot $4$, men har ingen verdi der -- et bittelite hull i en ellers perfekt rett linje. Det får navn i neste seksjon.

Motsatt eksempel: er $f(x) = x^3 - 2x + 1$ kontinuerlig i $x = 1$? Krav 1: $f(1) = 0$, finnes. Krav 2: $\lim_{x \to 1} f(x) = 0$, finnes (polynomgrenser er innsetting). Krav 3: $0 = 0$. Alle krav består -- kontinuerlig. Og slik er det overalt for polynomer: polynomfunksjoner er kontinuerlige i hele $\mathbb{R}$, en sannhet du fritt kan bruke uten å sjekke kravene hver gang.

Tre måter å briste på

Tre krav gir tre bruddtyper, og hver har sin egen personlighet.

Den fjernbare diskontinuiteten er det uskyldige hullet. Grenseverdien $\lim_{x \to a} f(x) = L$ eksisterer -- alt peker pent mot $L$ -- men enten mangler $f(a)$, eller den har feil verdi. Klassikeren er nettopp $\displaystyle f(x) = \frac{x^2-9}{x-3}$ i $x = 3$: forkorting gir $x + 3$, grensen er $6$, men punktet selv er tomt. Navnet er presist: bruddet kan fjernes ved å tette hullet, altså definere $f(3) = 6$. Én verdi limes inn, og funksjonen blir hel.

Hoppunktet (sprangdiskontinuiteten) er verre. Her eksisterer begge de ensidige grensene, men de er uenige: $\lim_{x \to a^-} f(x) \neq \lim_{x \to a^+} f(x)$. Funksjonen kommer inn mot punktet på ett nivå og forlater det på et annet -- tenk på trappefunksjonene og portotabellene. Eksempel: $g(x) = x^2$ for $x < 2$ og $g(x) = 5$ for $x \geq 2$ har venstregrense $4$ og høyregrense $5$ i $x = 2$; gapet på $1$ kan ingen omdefinering av ett enkelt punkt tette.

Polen (den uendelige diskontinuiteten) er den dramatiske: minst én av de ensidige grensene er $\pm\infty$. Funksjonen eksploderer. $\displaystyle h(x) = \frac{1}{(x-1)^2}$ vokser over alle grenser når $x$ nærmer seg $1$ fra begge kanter; $\displaystyle \frac{1}{x}$ stuper mot $-\infty$ fra venstre og skyter mot $+\infty$ fra høyre. Poler oppstår typisk der en nevner går mot null mens telleren ikke gjør det.

Klassifiseringen er ren grenseregning: finn venstre- og høyregrense. Finnes begge og er like (men noe er galt med $f(a)$): fjernbar. Finnes begge, men ulike: hopp. Uendelig innblandet: pol. Tre diagnoser -- og du stiller dem med verktøyene fra forrige kapittel.

Kontinuitet i stort, og asymptotene

Kontinuitet i ett punkt skalerer naturlig opp: $f$ er kontinuerlig på et intervall når den er kontinuerlig i hvert punkt der (ved lukkede endepunkter krever vi bare den ensidige grensen). Og her er den arbeidsbesparende hovedregelen: standardfunksjonene er kontinuerlige på hele sin naturlige definisjonsmengde. Polynomer og eksponentialfunksjoner overalt; rasjonale funksjoner der nevneren ikke er null; $\ln x$ for $x > 0$; rotfunksjoner og de trigonometriske på sine definisjonsområder. Dessuten bevares kontinuitet av $+$, $-$, $\cdot$, $\div$ (med nevner ulik null) og komposisjon. Konsekvensen: et uttrykk bygget av standardfunksjoner er kontinuerlig overalt der det er definert -- jakten på diskontinuiteter er jakten på definisjonshull. For $\displaystyle f(x) = \frac{x+1}{x^2-4}$ betyr det $x = \pm 2$ (to poler); for $g(x) = \ln(x^2-1)$ er hele båndet $[-1, 1]$ utenfor definisjonsmengden.

Det brutte og det glatte møtes til slutt i asymptotene, linjene som beskriver funksjoners oppførsel mot ytterkantene. En vertikal asymptote $x = a$ markerer en pol: $\lim_{x \to a^\pm} f(x) = \pm\infty$. En horisontal asymptote $y = L$ markerer utflating: $\lim_{x \to \pm\infty} f(x) = L$, slik vi regnet i forrige kapittel.

For rasjonale funksjoner finner du begge med kjent verktøy. Ta $\displaystyle f(x) = \frac{2x+1}{x-3}$. Nevneren er null i $x = 3$, telleren er $7 \neq 0$ der: vertikal asymptote $x = 3$, der funksjonen stuper mot $-\infty$ fra venstre og $+\infty$ fra høyre. Og i det fjerne: gradene er like, så $\displaystyle \lim_{x \to \pm\infty} f(x) = \frac{2}{1} = 2$ -- horisontal asymptote $y = 2$. Grafen lever i rammene de to linjene tegner opp: en hyperbel som klamrer seg til $x = 3$ og $y = 2$ uten å røre dem.

Husk gradregelen fra 3.1: tellergrad mindre enn nevnergrad gir $y = 0$; like grader gir $\displaystyle y = \frac{a_n}{b_m}$; større tellergrad gir ingen horisontal asymptote.

Fortellingen i et nøtteskall

Leibniz' «naturen gjør ingen sprang» ga oss intuisjonen, og grenseverdiene ga oss presisjonen. Kontinuitet i $x = a$ er tre krav: $f(a)$ eksisterer, $\lim_{x \to a} f(x)$ eksisterer, og de to er like. Et løfte om en verdi, omgivelser som peker, og et løfte som holdes.

Tre krav ga tre bruddtyper. Den fjernbare diskontinuiteten er hullet: grensen finnes, men punktverdien mangler eller bommer -- og ett innlimt punkt, $f(a) = L$, reparerer alt. Hoppunktet er spranget: venstre- og høyregrense finnes, men er uenige, som i trappefunksjonene -- ureparerbart med én verdi. Polen er eksplosjonen: funksjonen rømmer mot $\pm\infty$, typisk der en nevner dør mens telleren lever.

I praksis slipper du å sjekke krav i hytt og vær: standardfunksjonene -- polynomer, rasjonale funksjoner, $e^x$, $\ln x$, røtter, sinus og cosinus -- er kontinuerlige på hele sin naturlige definisjonsmengde, og kontinuitet overlever sum, produkt, kvotient og komposisjon. Diskontinuiteter bor derfor i definisjonshullene.

Asymptotene rammer inn bildet: vertikale ($x = a$, der funksjonen eksploderer -- sjekk nevnerens nullpunkter) og horisontale ($y = L$, der den flater ut -- sammenlign gradene). Hyperbelen $\displaystyle \frac{2x+1}{x-3}$ med rammeverket $x = 3$, $y = 2$ viste samspillet.

Kontinuitet er mer enn klassifisering: det er billetten videre. I neste kapittel møter du derivasjonens definisjon -- og setningen om at deriverbarhet forutsetter kontinuitet. Det glatte krever det hele.