Kapittel 6 · Grunnleggende kalkulus · 6.1
Grenser og kontinuitet
Hva skjer med en funksjonsverdi når argumentet nærmer seg et bestemt tall – uten nødvendigvis å nå det? Spørsmålet ser uskyldig ut, men svaret bærer resten av kapittelet: både den deriverte og integralet kommer til å bli definert som grenser.
Grenseverdibegrepet
Se på funksjonen
Setter du inn , får du – og husk fra kapittelet om de vanlige regneoperasjonene at divisjon med null er udefinert. Punktet ligger altså utenfor definisjonsmengden, på samme måte som nevnerens nullpunkter i kapittelet om rasjonale uttrykk. Men ingenting hindrer oss i å spørre hva som skjer like ved :
| udefinert |
Fra begge sider kryper funksjonsverdiene mot det samme tallet, – enda funksjonen aldri er definert i selve punktet. Vi sier at har grenseverdien (eller bare grensen) når går mot , og skriver det med notasjonen , etter det latinske limes, grense:
Generelt betyr at kommer så nær vi måtte ønske, bare er nær nok – uten at noen gang settes lik . Grensen handler om veien inn mot punktet, ikke om punktet selv; derfor kan den finnes selv der funksjonen ikke gjør det. Denne beskrivelsen kan gjøres helt presis, med tallfestede krav til «så nær vi måtte ønske», men den stringente definisjonen hører hjemme i et videregående kalkuluskurs; for bokens formål er den numeriske forståelsen tilstrekkelig.
Algebraen forklarer tabellen. Faktoriser telleren med konjugatsetningen fra kapittelet om faktorisering, og forkort:
Husk fra kapittelet om rasjonale uttrykk at forkortingen ikke endrer definisjonsmengden: og linjen er like overalt unntatt i , der mangler en verdi. Grafen til er derfor linjen med et hull i punktet – og grensen er nettopp verdien hullet peker på.
Eksempel 6.1.1
Regn ut .
Løsning: Uttrykket er et polynom, og et polynom har ingen forbudte punkter – verdiene glir jevnt, uten hull. Da er grensen rett og slett funksjonsverdien, og vi kan sette inn:
Hvorfor innsetting er tillatt her – og når den ikke er det – får et eget navn i det siste underemnet: kontinuitet.
Eksempel 6.1.2
Regn ut .
Løsning: Innsetting gir , så vi faktoriserer telleren med konjugatsetningen og forkorter før vi lar gå mot :
og dermed
En rask kontroll bekrefter svaret: gir , og gir .
Ikke alle -grenser lar seg forkorte bort. Den viktigste av dem alle i denne boken kommer fra trigonometrien – og den må angripes numerisk.
Eksempel 6.1.3
Undersøk numerisk, med i radianer, og forklar hva grensen har med småvinkeltilnærmingen fra trigonometrikapittelet å gjøre.
Løsning: Innsetting gir , og ingen faktorisering kan hjelpe oss – sinus er ikke et polynom. Vi regner oss derfor innover mot null:
| (rad) | ||||
|---|---|---|---|---|
Negative gir de samme verdiene, siden gjør at fortegnene forkortes. Verdiene presser seg mot fra begge sider:
Radianene er ikke pynt: måler du vinkelen i grader, blir tallet i stedet . Og husk småvinkeltilnærmingen fra trigonometrikapittelet, som der bare ble motivert med en tallrekke: grensen over er dens presise formulering – forholdet kommer så nær vi vil, bare vinkelen er liten nok og målt i radianer. Denne grensen får hovedrollen igjen når sinus skal deriveres senere i kapittelet.
Ensidige grenser og grenser mot uendelig
I hulleksempelet nærmet seg fra begge sider. Sidene er ikke alltid enige, og da trenger de hver sin notasjon: venstregrensen er verdien nærmer seg når kryper mot nedenfra (), og høyregrensen er den tilsvarende ovenfra (). Sammen kalles de ensidige grenser, og de avgjør alt: den tosidige grensen finnes hvis og bare hvis begge de ensidige grensene finnes og er like.
Et lite eksempel viser hvorfor skillet trengs. Absoluttverdien er tallet uten fortegn – – skrevet med de samme strekene som vektorlengden i kapittelet om vektorer og koordinatsystemer. Se nå på
For positive er , så ; for negative er , så ; i null er den udefinert. Dermed er
og siden , finnes ingen tosidig grense i null. Grafen gjør et hopp:
Så til det andre nye: grenser og uendelighet, i to varianter. Husk fra trigonometrikapittelet hvordan tangens oppfører seg inntil : verdiene «vokser uten grense» – , . For slike situasjoner innfører vi symbolet , uendelig. Det er ikke et tall du kan regne med, men en presis talemåte: betyr at vokser over alle grenser når nærmer seg ovenfra – verdiene overstiger til slutt ethvert tall du måtte nevne. Tangens kan nå beskrives eksakt:
der den siste følger av at cosinus er et bittelite negativt tall rett over , slik at . Den loddrette asymptoten fra trigonometrikapittelet får dermed sin presise beskrivelse: en funksjon har en loddrett asymptote i nettopp når en ensidig grense der er eller .
Den andre varianten lar selv vokse over alle grenser: spør hva nærmer seg når blir vilkårlig stor. Her kan vi innfri et løfte fra kapittelet om funksjoner og grafer. Om akkommodasjonsbehovet – dioptri når avstanden er i meter – het det at hyperbelen «flater ut mot -aksen uten noen gang å røre den». Nå kan vi si det med notasjon:
Kurven har -aksen som vannrett asymptote: en vannrett linje er en vannrett asymptote for når (eller det samme når ). I den andre enden av kurven er
– ensidig, for negative avstander gir ikke mening her – så -aksen er en loddrett asymptote.
Eksempel 6.1.4
I kapittelet om funksjoner og grafer regnet vi ut at gjennomsnittsmodellen [10] gir en -åring akkommodasjonsamplitude og dermed nærpunkt – den korteste avstanden øyet kan se skarpt på – på om lag . Bruk de to grensene til til å forklare to kliniske kjensgjerninger: at ikke noe øye kan se skarpt helt inntil hornhinnen og at regnes som «optisk uendelig» ved synsprøver.
Løsning: Vi tolker hver grense for seg. Nær øyet sier at behovet før eller siden overstiger ethvert tall – også enhver akkommodasjonsamplitude. Har øyet amplituden dioptrier, krever skarpt syn at , altså . For -åringen betyr det , og selv modellens største amplitude, ved , gir . Uansett hvor stor er, er et positivt tall – det finnes alltid avstander som er for korte.
Langt borte sier at behovet dør ut med avstanden. Allerede ved er
mindre enn -trinnet som prøveglassene – glassene som prøves ut ved en synsprøve – vanligvis er gradert i; et trinn på , som er nettopp det ville krevd, finnes ikke i prøveglassettene [7, avsn. VIII.3, s. 11]. Øyet står altså praktisk talt i fjerninnstilling, og er én av prøveavstandene som er i bruk for fjernvisus [7, avsn. VIII.2 og VIII.4, s. 11] – telleren i Snellen-brøker som og fra kapitlene om brøkregning og funksjoner. Behovet blir aldri eksakt null, men er klinisk neglisjerbart: grensen er ikke nådd, bare nådd godt nok.
Kontinuitet
Tegner du grafen til et polynom, glir pennen over papiret uten å løftes. Tegner du , må du løfte pennen i null. Den første egenskapen – ingen hull, ingen hopp, ingen loddrette asymptoter – kalles kontinuitet, og med grensebegrepet kan vi si presist hva den betyr i hvert enkelt punkt.
Er kontinuerlig i hvert punkt i et intervall, sier vi at den er kontinuerlig på intervallet. Hvem består testen? Polynomer er kontinuerlige overalt – det var derfor innsettingen i det første eksempelet var lovlig. Sinus og cosinus er også kontinuerlige overalt. Rasjonale funksjoner er kontinuerlige overalt i definisjonsmengden sin; bruddene ligger i nevnerens nullpunkter, nettopp de verdiene kapittelet om rasjonale uttrykk lærte deg å luke ut. Og tangens er diskontinuerlig ved – asymptotepunktene fra trigonometrikapittelet.
Et punkt der en funksjon ikke er kontinuerlig, kalles en diskontinuitet, og eksemplene våre har allerede vist de tre viktigste typene. Hullet til i er en hevbar diskontinuitet: grensen finnes (), det er bare funksjonsverdien som mangler, og definerer vi i tillegg verdien i punktet, blir den utvidede funksjonen kontinuerlig. Merk presisjonen fra kapittelet om rasjonale uttrykk: forkortingen alene fyller ikke hullet, for og er ikke samme funksjon – hullet må fylles ved et eksplisitt valg av funksjonsverdi. Hoppet til er derimot ikke-hevbart: de ensidige grensene finnes, men er ulike, og ingen enkeltverdi i null kan lime sammen to nivåer. Ikke-hevbar er også den uendelige diskontinuiteten, der en ensidig grense er eller – tangens ved , eller inntil .
Oppgaver
Oppgave 6.1.1
La .
-
a)
Regn ut for , og , og for , og .
-
b)
Hvilken verdi ser ut til å nærme seg når nærmer seg ? Skriv svaret med -notasjon.
-
c)
Er definert i ? Begrunn svaret.
Løsningsforslag
Oppgave 6.1.1:
-
a)
Innsetting gir , og tilsvarende for resten: for , og er , og ; for , og er , og .
-
b)
Verdiene presser seg mot samme tall fra begge sider:
Algebraen bekrefter tabellen: konjugatsetningen gir for , og når .
-
c)
Nei – innsetting av gir , og divisjon med null er udefinert, så ligger utenfor definisjonsmengden. Grensen finnes likevel: den handler om veien inn mot punktet, ikke om punktet selv.
Oppgave 6.1.2
Regn ut grensene. Faktoriser først der innsetting gir .
-
a)
-
b)
-
c)
(vink: utvid brøken med og bruk konjugatsetningen)
Løsningsforslag
Oppgave 6.1.2:
-
a)
Innsetting gir . Konjugatsetningen og forkorting:
Kontroll: gir .
-
b)
Innsetting gir . Telleren faktoriseres med nullpunktene og : , så
Kontroll: gir .
-
c)
Innsetting gir . Utvid med ; konjugatsetningen gjør telleren til :
og dermed
Kontroll: gir .
Oppgave 6.1.3
Akkommodasjonsbehovet er dioptri når objektet står i avstanden meter fra øyet.
-
a)
Regn ut for , , , og . Hva skjer med behovet når avstanden krymper mot null?
-
b)
Skriv observasjonen i a) med -notasjon. Hvorfor må grensen tas ensidig?
-
c)
En ung voksen har akkommodasjonsamplitude på om lag [44]. Hvor nær øyet kan hun se skarpt? Bruk svaret til å forklare hvorfor ikke noe øye – uansett amplitude – kan se skarpt helt inntil hornhinnen.
-
d)
Finn , og forklar med én setning hva grensen betyr klinisk.
Løsningsforslag
Oppgave 6.1.3:
-
a)
gir , , , og . Hver halvering av avstanden dobler behovet – det vokser over alle grenser når krymper mot null.
-
b)
Grensen må tas ensidig fordi bare positive avstander gir mening: objektet kan ikke stå i negativ avstand fra øyet.
-
c)
Skarpt syn krever , altså ; hun kan se skarpt inn til
ti centimeter fra øyet. Kontroll: , nøyaktig amplituden. Med amplitude blir den korteste avstanden – et positivt tall uansett hvor stor er. Siden behovet vokser over alle grenser inntil hornhinnen, finnes det alltid avstander som er for korte.
-
d)
– jo lenger unna objektet står, desto mindre akkommodasjon kreves, og langt borte er behovet klinisk neglisjerbart.
Oppgave 6.1.4
En medstudent påstår: « er det samme som , så funksjonen er kontinuerlig i .» Hva er riktig og hva er galt i påstanden – og hva måtte du ha gjort for å få en funksjon som faktisk er kontinuerlig i ?
Løsningsforslag
Oppgave 6.1.4: Det riktige i påstanden: for alle er , og grensen finnes derfor: . Det gale: forkortingen endrer ikke definisjonsmengden, så de to er ikke samme funksjon – er udefinert i , der innsetting gir . Dermed svikter det første av de tre kravene i kontinuitetsdefinisjonen, og funksjonen er ikke kontinuerlig i ; at grensen finnes, er ikke nok. Diskontinuiteten er hevbar, men hullet må fylles ved et eksplisitt valg av funksjonsverdi lik grensen:
Da er definert, grensen er fortsatt , og de to er like – alle tre kravene er oppfylt, så er kontinuerlig i .
Oppgave 6.1.5
Konstruer et rasjonalt uttrykk som er udefinert i , men som har grenseverdi når . Vis med utregning at uttrykket ditt oppfyller begge kravene, og formuler deretter oppskriften din generelt, slik at en medstudent kan lage et hull i et hvilket som helst punkt med en hvilken som helst grenseverdi .
Løsningsforslag
Oppgave 6.1.5: Ett mulig svar: start med den konstante funksjonen og lag et hull i ved å gange med brøken :
Begge kravene sjekkes. Udefinert i : innsetting gir , og divisjon med null er udefinert. Grenseverdi : for forkortes brøken til , så
Kontroll ved innsetting nær punktet: gir . Den generelle oppskriften: for et hull i punktet med grenseverdi , ta
Faktoren i nevneren gjør uttrykket udefinert i ; overalt ellers forkortes den bort og lar verdien stå igjen, så grensen er . Samme knep virker på et hvilket som helst uttrykk med grenseverdi i – konjugateksemplene i seksjonen, som , er nettopp slike hull i forkledning.