2.3 Følger: rekursjon, fikspunkt og monoton + begrenset

Følgekonvergens med kompletthetsaksiomets arbeidsform: rekursive følger analyseres med fikspunkt, monotoni og begrensethet.

50 min

9 oppgaver

Følgerrekursjonfikspunktmonoton + begrenset

Din fremgang i kapitlet

0 / 9 oppgaver

Kapitlets plass i kurset

Bygger på

2.2Grenseteknikk: standardgrenser, L'Hôpital og alle ubestemte former

Brukes videre i

2.5Drill: grensetempo for midtveis 6.2Uendelige rekker og konvergenstester

Følger er 9 % av midtveisspørsmålene — rasjonale følger, konjugattriks-følger og rekursive følger med fikspunktanalyse (fast innslag fra 2014), pluss teoremet «monoton + begrenset ⇒ konvergent» som teoriutsagn. På slutteksamen dukker følger opp i 3 av 21 sett, oftest som en konstruksjons- eller rekursjonsoppgave — inkludert de åpne «konstruer en følge som …»-oppgavene.

Prioritet: kunne. Sensorregelen du må internalisere: for en rekursiv følge $a_{n+1}=g(a_n)$ er det ikke nok å løse $L=g(L)$ . Å anta at grensen finnes og bare regne ut fikspunktet gir 0 poeng uten begrunnelse. Du må først bevise at følgen konvergerer — via monotoni og begrensethet — og deretter bruke $L=g(L)$ .

Og for åpne oppgaver: et eksempel uten verifikasjon av alle kravene er ikke et fullt svar. Oppgir du en følge som er «begrenset, men ikke konvergent», må du vise begge egenskapene eksplisitt.

(Frekvenstall fra MAT1100-arkivet: 21 slutteksamener H2003–H2023, 16 midtveiseksamener H2003–H2018. Arkivet stopper i 2023.)

Forkunnskaper. Følgegrensen speiler ε-δ-definisjonen fra kap. 2.1 — nå med en indeks

N

i stedet for en

\delta

. Konjugattrikset og grenseteknikken kommer fra kap. 2.2. Selve rekursjonsnotasjonen

a_{n+1}=g(a_n)

er kjent fra Følger og tallmønstre (R2) og Rekursive sammenhenger og programmering (R2).

Sist du var her (oppfrisking): en rekursiv følge gir hvert ledd ut fra det forrige ( $a_{n+1}=g(a_n)$ ), mens en eksplisitt følge gir $a_n$ direkte som formel i $n$ . Konjugattrikset $\displaystyle \sqrt A-\sqrt B=\frac{A-B}{\sqrt A+\sqrt B}$ brukes her på følger.

Sett 1000 kroner i banken til fast rente og la dem stå. Saldoen danner en følge: ett tall per år, hvert bygget på fjorårets. Vil den vokse uten grense, eller nærme seg et tak? Slike spørsmål — særlig for følger der hvert ledd lages av det forrige — er kjernen i dette kapitlet.

En følge $(a_n)$ er rett og slett en uendelig liste med tall $a_1, a_2, a_3, \dots$ . Vi spør om den konvergerer: nærmer tallene seg ett bestemt tall $L$ ? For eksplisitte følger regner vi grensen som før. Men for rekursive følger — der vi ikke har noen formel for $a_n$ , bare regelen $a_{n+1}=g(a_n)$ — trenger vi et helt eget verktøy: kompletthetsaksiomet, i arbeidsformen «monoton + begrenset ⇒ konvergent».

Kapitlet går i fem løkker. Den fjerde (rekursiv fikspunktanalyse) er selve eksamenskjernen; de andre bygger opp til den.

> Tidsbruk (~50 min lesetid; ×1,5 for hånd). Fem løkker med markerte pausepunkter.

Løkke 1 — Følgegrensen (~8 min)

Definisjonen av følgegrense er ε-δ-definisjonen med én endring: siden $n$ bare tar heltallsverdier, erstatter vi «nær nok $a$ » med «langt nok ut i følgen» — altså en indeksterskel $N$ .

Følge

(a_n)_{n\ge 1}

Følgegrense (N-definisjonen)

(a_n)

✏️Eksempel 1: Grense av en eksplisitt følge

Finn $\lim_{n\to\infty}\dfrac{2n+1}{n+3}$ .

Dette er en rasjonal følge; formen ved innsetting er

[\infty/\infty]

. Del på høyeste potens av $n$ i teller og nevner:

\frac{2n+1}{n+3} = \frac{2 + 1/n}{1 + 3/n}.

Når

n\to\infty

går

1/n\to 0

3/n\to 0

, så

\lim_{n\to\infty}\frac{2n+1}{n+3} = \frac{2 + 0}{1 + 0} = 2.

Konklusjon: Følgen konvergerer mot $2$ . $\blacksquare$

📝Oppgave 1

(Midtveis, flervalg-trening — «MV» er midtveisrepertoaret: flervalg du bør klare på under 6 minutter.) Finn $\lim_{n\to\infty}\dfrac{3n^2 - n}{2n^2 + 5}$ .

Løkke 2 — Rotfølger og konjugattrikset (~8 min)

En følge som $\sqrt{n^2+n} - n$ er en $\infty - \infty$ -form. Akkurat som for funksjoner i kap. 2.2 bruker du konjugattrikset — men her deler du på høyeste potens av $n$ etterpå.

Konjugattrikset for følger

\sqrt{A_n} - \sqrt{B_n}

✏️Eksempel 2: Konjugattrikset på en følge

Finn $\lim_{n\to\infty}\left(\sqrt{n^2 + n} - n\right)$ .

Form:

\sqrt{n^2+n}\to\infty

n\to\infty

, altså

\infty-\infty

Konjugattrikset. Gang med $\dfrac{\sqrt{n^2+n}+n}{\sqrt{n^2+n}+n}$ :
$\sqrt{n^2+n} - n = \frac{(n^2+n) - n^2}{\sqrt{n^2+n}+n} = \frac{n}{\sqrt{n^2+n}+n}.$

Del på $n$ (og $\sqrt{n^2}=n$ for $n>0$ ):
$\frac{n}{\sqrt{n^2+n}+n} = \frac{1}{\sqrt{1 + 1/n} + 1} \to \frac{1}{\sqrt{1}+1} = \frac{1}{2}.$

Konklusjon: $\lim_{n\to\infty}\left(\sqrt{n^2+n} - n\right) = \dfrac{1}{2}$ . $\blacksquare$

📝Oppgave 2

(Midtveis, flervalg-trening — MV.) Finn $\lim_{n\to\infty}\left(\sqrt{n^2 + 3n} - n\right)$ .

Løkke 3 — Monoton + begrenset ⇒ konvergent (~10 min)

For eksplisitte følger regner du grensen. Men for rekursive følger har du ingen formel å sette inn — du vet ikke engang om grensen finnes. Da redder kompletthetsaksiomet deg: det garanterer konvergens ut fra to egenskaper du kan sjekke, uten å kjenne grensen på forhånd.

📜Monoton + begrenset ⇒ konvergent

Kompletthetsaksiomet (monoton konvergens): En følge som er både monoton og begrenset, konvergerer.

Presist: er $(a_n)$ voksende ( $a_{n+1}\ge a_n$ for alle $n$ ) og oppad begrenset (det finnes $M$ med $a_n\le M$ for alle $n$ ), så konvergerer $(a_n)$ mot et tall $L\le M$ . Tilsvarende: avtakende + nedad begrenset ⇒ konvergent.

Dette er selve poenget: teoremet gir deg konvergens uten at du kjenner grensen. Derfor kan du trygt sette opp $L=g(L)$ etterpå — grensen finnes garantert. Uten både monotoni og begrensethet gjelder ingenting (f.eks. er $a_n=(-1)^n$ begrenset, men ikke monoton, og divergerer).

✏️Eksempel 3: Begrunne konvergens uten å kjenne grensen

En følge er voksende: $a_1 < a_2 < a_3 < \cdots$ , og hvert ledd oppfyller $a_n < 5$ . Kan vi si noe om konvergens?

Følgen er voksende (gitt) og oppad begrenset av $M = 5$ (gitt: $a_n < 5$ for alle $n$ ).

Etter kompletthetsaksiomet (monoton + begrenset ⇒ konvergent) konvergerer følgen mot et tall $L$ , og siden alle ledd er $< 5$ må $L \le 5$ .

Konklusjon: Følgen konvergerer, og grensen $L$ oppfyller $L\le 5$ — selv om vi ikke har noen formel for $a_n$ og ikke kjenner den eksakte verdien av $L$ . Nettopp dette er styrken i teoremet. $\blacksquare$

📝Oppgave 3

(Midtveis, flervalg-trening — MV.) Hvilket av utsagnene er den korrekte, presise formen av kompletthetsaksiomet?

Løkke 4 — Rekursive følger: fikspunktanalyse (~14 min, eksamenskjernen)

Nå kobler vi alt sammen. En rekursiv følge $a_{n+1}=g(a_n)$ analyseres i en fast rekkefølge: (1) finn kandidatgrensen fra fikspunktlikningen $L=g(L)$ — dette gir en peiling; (2) bevis at følgen faktisk konvergerer ved monotoni + begrensethet; (3) først da konkluder at grensen er kandidaten. Steg 2 er det sensor krever, og det studenter oftest hopper over. — naturlig pausepunkt før eksamenskjernen.

Fikspunkt (L = g(L))

g

✏️Eksempel 4: Full fikspunktanalyse med konvergensbevis

Følgen er gitt ved $a_1 = 1$ og $a_{n+1} = \sqrt{2a_n + 3}$ . Vis at følgen er voksende og oppad begrenset, og finn grensen.

Vi følger den faste oppskriften.

Steg 1 — kandidatgrense (fikspunkt). Antar vi (foreløpig) at grensen $L$ finnes, må $L = \sqrt{2L+3}$ . Kvadrer: $L^2 = 2L + 3$ , altså $L^2 - 2L - 3 = 0$ , som faktoriseres $(L-3)(L+1)=0$ . Røttene er $L=3$ og $L=-1$ . Følgen har bare positive ledd (kvadratrot), så $L=-1$ forkastes. Kandidat: $L = 3$ . (Dette er foreløpig bare en peiling — vi må bevise konvergens.)

Steg 2a — oppad begrenset ( $a_n < 3$ ), ved induksjon. Grunntrinn: $a_1 = 1 < 3$ . ✓ Induksjonssteg: anta $a_n < 3$ . Da
$a_{n+1} = \sqrt{2a_n + 3} < \sqrt{2\cdot 3 + 3} = \sqrt{9} = 3.$
Så $a_{n+1} < 3$ . Ved induksjon er $a_n < 3$ for alle $n$ . ✓ (begrenset)

Steg 2b — voksende ( $a_{n+1} > a_n$ ). Vi ser på fortegnet til $a_{n+1}^2 - a_n^2 = (2a_n + 3) - a_n^2 = -(a_n^2 - 2a_n - 3) = -(a_n-3)(a_n+1)$ . For $-1 < a_n < 3$ (som gjelder, siden $a_n\ge a_1=1>-1$ og $a_n<3$ ) er $(a_n-3)<0$ og $(a_n+1)>0$ , så produktet $(a_n-3)(a_n+1)<0$ , og dermed $a_{n+1}^2 - a_n^2 > 0$ . Siden begge ledd er positive, gir dette $a_{n+1} > a_n$ . ✓ (voksende)

Steg 3 — konkluder. Følgen er voksende og oppad begrenset, så etter kompletthetsaksiomet konvergerer den. Da — og først nå — er grensen fikspunktet: $L = 3$ .

Konklusjon: Følgen er voksende og begrenset av 3, konvergerer, og $\lim_{n\to\infty} a_n = 3$ . $\blacksquare$

📝Oppgave 4

Følgen er gitt ved $a_1 = 0$ og $a_{n+1} = \sqrt{a_n + 2}$ . Vis at følgen er voksende og oppad begrenset av 2, og finn grensen.

Løkke 5 — Åpne konstruksjonsoppgaver (~10 min)

En egen slutteksamenssjanger ber deg konstruere en følge med gitte egenskaper: «angi en følge som er begrenset, men ikke konvergent». Her er sensorregelen streng: eksempelet alene er ikke nok — du må verifisere hver egenskap eksplisitt. Et eksempel uten verifikasjon regnes ikke som fullt svar.

Begrenset følge

(a_n)

✏️Eksempel 5: Konstruer og verifiser BEGGE egenskaper

Angi en følge som er begrenset, men ikke konvergent, og verifiser begge egenskapene.

Konstruksjon. La

a_n = (-1)^n

, altså følgen

-1, 1, -1, 1, \dots

Verifikasjon 1 — begrenset. For alle $n$ er $|a_n| = |(-1)^n| = 1 \le 1$ . Følgen er dermed begrenset (med $M=1$ ). ✓

Verifikasjon 2 — ikke konvergent. Anta for motsigelse at $a_n \to L$ . Med $\varepsilon = 1$ måtte det finnes $N$ slik at $|a_n - L| < 1$ for alle $n > N$ . Men blant slike $n$ finnes både ledd lik $1$ og ledd lik $-1$ , så vi måtte ha både $|1 - L| < 1$ og $|-1 - L| < 1$ . Trekantulikheten gir da
$2 = |1 - (-1)| \le |1 - L| + |L - (-1)| < 1 + 1 = 2,$
altså $2 < 2$ — selvmotsigelse. Følgen konvergerer ikke. ✓

Konklusjon: $a_n = (-1)^n$ er begrenset (av 1) og divergent. Begge egenskaper er verifisert — det er dét som kreves for fullt svar. $\blacksquare$

📝Oppgave 5

Angi en følge som er voksende, men ikke konvergent, og verifiser begge egenskapene.

Typiske feil

- Løse $L=g(L)$ uten konvergensbevis. Å anta at grensen finnes og bare regne fikspunktet gir 0 uten begrunnelse. Bevis konvergens (monoton + begrenset) først, deretter $L=g(L)$ .
- Glemme å verifisere begge egenskaper i åpne oppgaver. «Begrenset, men ikke konvergent» krever at du viser både begrensetheten og divergensen eksplisitt. Eksempel uten verifikasjon = ikke fullt svar.
- Godta et fikspunkt utenfor følgens verdiområde. Ved $L=\sqrt{2L+3}$ gir kvadrering også $L=-1$ , som må forkastes fordi leddene er positive. Sjekk alltid at kandidaten er forenlig med følgen.
- Blande følgegrense og funksjonsgrense. Følgegrensen bruker indeksterskel $N$ (heltall $n$ ), ikke $\delta$ (reelle $x$ ). $\lim_{n\to\infty}\sin(n\pi)=0$ , men $\lim_{x\to\infty}\sin(x\pi)$ finnes ikke.
- Anta at monoton alene, eller begrenset alene, gir konvergens. Begge kreves. $(-1)^n$ er begrenset, ikke konvergent; $a_n=n$ er monoton, ikke konvergent.

Begrepsbank

Flashcard-/repetisjonsstoff — hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet. Kortene samler følgebegrepene i eksamensrettet kortform.

Konvergent følge

(a_n)

Divergent følge

a_n\to\pm\infty

Monoton følge

a_{n+1}\ge a_n

Kompletthetsaksiomet

\mathbb{R}

Supremum og infimum

\sup

Rekursiv følge

a_{n+1}=g(a_n)

Eksplisitt følge

a_n

Grenseregler for følger

a_n\to A

Skvis for følger

b_n\le a_n\le c_n

Fikspunktkandidat vs. faktisk grense

L=g(L)

Repetisjonsoppgaver

Din fremgang

0 / 4 oppgaver

Symbol- og formelliste

Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.

Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Oslo. Dette er ikke offisielt studiemateriell. Les mer.