4.1 Riemann-integralet og integrerbarhet
Integralet bygget fra trappesummer, og de to integrerbarhetsteoremene som gir poeng uten regning.
*Dette kapitlet gir deg poeng du kan hente uten å regne ut integralet — bare ved å avgjøre at det finnes.
- Integrerbarhetsteori hører til teoribevis-sjangeren og er en del av 9 av 21 slutteksamener (kildegrunnlaget er 21 slutteksamener H2003–H2023 med 18 løsningsforslag, pluss 16 midtveiseksamener; arkivet stopper i 2023).
- Det tydeligste enkeltbelegget: i 2019 var integrerbarhet et påbygg til signaturoppgaven, der begge de to arbeidsteoremene under ble godtatt i fasit.
- Å gjenkjenne en Riemann-sum som et integral forekom så tidlig som 2004.
Sjangerkoden jeg bruker: (Eksamenssjanger I) = eksistens- og teoribevis (her: bevis/begrunn at et integral finnes). Noen oppgaver bygger videre på (Eksamenssjanger H) = kontinuitet/deriverbarhet i ett punkt (signaturoppgaven) — der integrerbarhet av en spesiell funksjon er sluttspørsmålet.
Prioritet: kunne. Du skal ikke bevise Darboux-kriteriet fra bunnen på eksamen, men du skal kunne formulere* det og — viktigst — bruke de to arbeidsteoremene til å avgjøre integrerbarhet på sekunder, med teoremet navngitt. Det er der de billige poengene sitter.
Sist du var her (oppfriskning): to nøkkelbegreper vi bruker konstant.
- En funksjon er kontinuerlig i et punkt når — ingen hopp, ingen hull.
- Det bestemte integralet er (fra R2) arealet under grafen mellom og , der areal under -aksen teller negativt. I dette kapitlet ser vi presist hvordan det arealet defineres — og for hvilke funksjoner definisjonen i det hele tatt gir et tall.
Tenk deg at du kjører bil og fartsmåleren viser farten hvert sekund. Vil du vite hvor langt du har kjørt, kan du gange fart med tid i hvert lite tidsintervall og legge sammen. Jo finere du deler tiden, desto bedre blir anslaget — og i grensen får du den nøyaktige strekningen. Det er nøyaktig denne ideen som ligger bak det bestemte integralet: strekning er arealet under fartskurven, og arealet bygges opp av tynne søyler som blir tynnere og tynnere.
Men her lurer et spørsmål de fleste hopper over: finnes dette arealet alltid? For pene funksjoner, ja. For noen ekle funksjoner — nei. Dette kapitlet gjør to ting. Først bygger vi integralet skikkelig, fra trappesummer, så vi vet hva det betyr. Deretter får du to arbeidsteoremer som avgjør integrerbarhet på et blunk, uten å regne ut noe som helst. Det siste er ren eksamensgull.
Kapitlet går i fire korte læringsløkker: (1) trappesummer og selve definisjonen, (2) de to integrerbarhetsteoremene, (3) regnereglene for integralet, (4) et ekte ikke-integrerbart eksempel og hvordan du kjenner igjen en Riemann-sum. Hver løkke går teori → eksempel → oppgave.
Løkke 1 — Trappesummer og definisjonen av integralet (~13 min)
og kaller samlingen en partisjon. Hver bit har bredde . Trappesummene bygges over en partisjon: jo finere partisjonen er (jo mindre bitene), desto bedre fanger trappene arealet.
Denne summen undervurderer arealet — den ligger alltid det sanne arealet.
Denne summen overvurderer arealet — den ligger alltid det sanne arealet. For enhver partisjon er dermed : det sanne arealet er klemt mellom under- og oversummen.
Klem arealet mellom trappene
Ideen er en klemmanøver. Under- og oversummen fanger arealet fra hver sin side:
Gjør vi partisjonen finere, stiger undersummene og synker oversummene — gapet mellom dem krymper. Hvis gapet kan gjøres så lite vi bare vil, klemmes det ett eneste tall inn mellom alle undersummer og alle oversummer. Det tallet er integralet. Klarer vi ikke å lukke gapet, finnes ikke noe entydig areal, og funksjonen er ikke integrerbar.
Da presses nøyaktig ett tall inn mellom alle under- og oversummer. Kriteriet er hva integrerbarhet betyr — men på eksamen bruker du det sjelden direkte; du bruker teoremene i løkke 2, som er utledet fra det.
Geometrisk er det arealet mellom grafen og -aksen fra til , med areal under aksen regnet negativt. Symbolet er et langstrakt «S» for «sum»: en kontinuerlig sum av uendelig tynne søyler .
Del i like biter og regn ut nedre og øvre trappesum for . Vis at begge går mot når , altså at .
Nedre trappesum (venstre endepunkter ):
Øvre trappesum (høyre endepunkter ):
Klem og grense: for hver er , og gapet er . Begge summene klemmes mot :
Konklusjon: det entydige tallet mellom under- og oversummene er , så . (Kontroll: arealet er en trekant med grunnlinje og høyde , altså .) Svar:
La på , og del intervallet i de to bitene og .
a) Finn nedre trappesum (bruk minste verdi på hver bit).
b) Finn øvre trappesum (bruk største verdi på hver bit).
c) Mellom hvilke to tall vet du da at ligger?
Løkke 2 — De to integrerbarhetsteoremene (~12 min)
Trappesummer er tunge å regne på. Heldigvis trenger du dem nesten aldri: tre teoremer avgjør integrerbarhet med ett blikk. Det første er en byggestein; de to siste er arbeidshestene du bruker på eksamen. Poenget med alle tre: du slår fast at et integral finnes uten å regne det ut.
Bevisidé (skisse). Del i like biter med bredde . For en voksende funksjon er største verdi på hver bit i høyre endepunkt og minste i venstre, så gapet mellom øvre og nedre trappesum teleskoperer:
Dette går mot når , så Darboux-kriteriet er oppfylt.
Merk: en monoton funksjon kan ha hopp, men aldri for mange — den er likevel integrerbar. Det peker rett mot det neste teoremet.
Spesialtilfellet er det viktigste: en funksjon som er kontinuerlig på hele (null unntakspunkter) er integrerbar. Men teoremet tåler også et endelig antall hopp — en stykkevis kontinuerlig funksjon er integrerbar. Begge premissene må sjekkes: funksjonen må være begrenset, og bruddene må være endelig mange. Dette teoremet var ett av to godtatte svar på integrerbarhets-påbygget i 2019.
Dette er ofte det raskeste verktøyet når funksjonen svinger opp og ned et endelig antall ganger, eller når kontinuitet er tungvint å argumentere for men monotoni er åpenbar. Begge arbeidsteoremene ble godtatt i fasit — velg det som er lettest å begrunne for den konkrete funksjonen, og navngi det du bruker.
En funksjon er begrenset på når verdiene holder seg innenfor et fast bånd: det finnes et tall slik at for alle i intervallet. Begrensethet er en forutsetning i begge arbeidsteoremene — en ubegrenset funksjon (som nær ) faller utenfor og krever den uegentlige teorien i kap. 4.6. Sjekk alltid dette premisset før du siterer et teorem.
Et punkt der venstre- og høyregrensen begge finnes, men er ulike, slik at grafen «hopper». For eksempel har (heltallsdelen) et hopp i hvert heltall. Sprangdiskontinuiteter er «snille» brudd: så lenge de er endelig mange og funksjonen er begrenset, ødelegger de ikke integrerbarheten (arbeidsteorem 1).
En funksjon som er kontinuerlig på hele bortsett fra i endelig mange punkter, der den har hopp (og er begrenset). Grafen består av endelig mange kontinuerlige «stykker». Etter arbeidsteorem 1 er enhver stykkevis kontinuerlig funksjon integrerbar — dette dekker de aller fleste funksjonene du møter.
En funksjon der kan deles i endelig mange delintervaller slik at er monoton (voksende eller avtagende) på hvert. En glatt kurve med endelig mange topp- og bunnpunkter er stykkevis monoton. Etter arbeidsteorem 2 er den integrerbar (når den er begrenset) — nyttig når monotoni er lettere å se enn kontinuitet.
Vi sjekker premissene i arbeidsteorem 1 (begrenset + endelig mange diskontinuiteter):
1. Begrenset: gitt i oppgaven — det finnes et bånd på . ✓
2. Endelig mange diskontinuiteter: funksjonen er kontinuerlig unntatt i og — altså to bruddpunkter, som er endelig mange. ✓
Begge premissene er oppfylt, så etter arbeidsteorem 1 er integrerbar på .
Konklusjon: er integrerbar på fordi den er begrenset og har bare endelig mange (to) diskontinuiteter — arbeidsteorem 1. Merk at vi ikke trenger å vite hva integralet er lik, bare at det finnes; og at kontinuitet i hvert punkt ikke kreves.
Avgjør for hver funksjon om den er integrerbar på det oppgitte intervallet, og navngi teoremet du bruker.
a) (heltallsdelen) på .
b) på .
c) på (med definert som ).
Løkke 3 — Regnereglene for integralet (~10 min)
Når integralene finnes, adlyder de tre regler du bruker hele tiden i Del 4. De lar deg splitte opp, flytte ut konstanter og sammenligne integraler — grunnlaget for både sammenligningstesten (kap. 4.6) og all føring.
Dette lar deg splitte en integrand i enklere biter og behandle hver for seg — det første grepet i nesten alle integrasjonsoppgaver. (Gjelder når begge integralene på høyre side finnes.)
Uunnværlig for stykkevis definerte funksjoner: integrer hver formel på sitt eget delintervall og legg sammen. Konvensjonene og gjør regelen gyldig uansett rekkefølge på grensene.
Spesialtilfelle: er på hele , så er . Dette er motoren i sammenligningstesten for uegentlige integraler (kap. 4.6): klem integranden mellom to funksjoner du kjenner integralet til.
Du vet at for alle , men ikke formelen for . Bruk regnereglene til å avgrense , og til å avgjøre om er integrerbar (gitt at er kontinuerlig).
Avgrensning (monotoni av integralet): siden på hele , gir monotoniregelen med konstantfunksjonene og :
Konstantintegralene er areal av rektangler med bredde :
Konklusjon: integralet finnes (kontinuerlig funksjon) og ligger mellom og , uten at vi kjenner .
Anta at og , og at .
a) Finn .
b) Finn — men bare deloppgave (a) gir nok informasjon direkte; forklar hva du trenger.
Løkke 4 — Et ikke-integrerbart eksempel og Riemann-summer (~10 min)
Hittil har alt vært integrerbart. For balansens skyld: her er en funksjon som ikke er det — den viser hvorfor Darboux-kriteriet ikke er en formalitet. Deretter snur vi på det: en Riemann-sum er en trappesum med fritt valgt høyde, og å kjenne den igjen som et integral er en egen eksamensferdighet.
Regn ut grensen ved å kjenne den igjen som et integral:
- Bredden ⇒ intervallet delt i like biter.
- Punktene løper fra opp til (høyre endepunkter).
- Høyden ⇒ integranden er .
Altså er summen en Riemann-sum for , og siden er kontinuerlig (arbeidsteorem 1) finnes integralet, så grensen er integralet:
(Antideriverten kommer i kap. 4.2; her er poenget gjenkjennelsen.)
Konklusjon: grensen er . Grepet: les av bredde ( intervall), punkt () og høyde ().
- Tro at integrerbarhet krever kontinuitet. En begrenset funksjon med endelig mange hopp er fullt integrerbar (arbeidsteorem 1). Kontinuitet er tilstrekkelig, ikke nødvendig.
- Påstå integrerbarhet uten å navngi teoremet. «Den ser pen ut» gir null. Skriv hvilket teorem du bruker og at premissene er oppfylt (begrenset? endelig mange brudd? / stykkevis monoton?).
- Blande «begrenset» og «kontinuerlig» i premissene. Begge arbeidsteoremene krever begrenset. Glemmer du å sjekke begrensethet, kan du feilaktig «bevise» at er integrerbar på (det er den ikke).
- Glemme at ubegrensede funksjoner faller utenfor. Har integranden en vertikal asymptote i intervallet, er det et uegentlig integral (kap. 4.6), ikke et vanlig Riemann-integral.
- Sette -tankegang på trappesummer. Det er grensen (uendelig fine biter) som gir integralet, ikke én fast partisjon.
Begrepsbank til eksamen
Her er noen kjernebegreper fra kapitlet samlet i eksamensrettet kortform.
Begrepsbanken er flashcard-/repetisjonsstoff — den gjentar det du nettopp har lest. Hopp trygt over ved førstegangslesing; tidsanslaget for kapitlet gjelder kjernestoffet.
En sum der er et fritt valgt punkt i biten (ikke nødvendigvis der er størst eller minst). For en integrerbar funksjon går enhver slik sum mot når bitene krymper — uansett hvordan punktene velges. Å gjenkjenne en gitt sum som en Riemann-sum (les av bredde, punkt, høyde) er en egen eksamensferdighet.
Standardeksemplet på en funksjon som ikke er Riemann-integrerbar: hvis er rasjonal, hvis er irrasjonal, på . Den er begrenset, men på hver bit finnes både rasjonale og irrasjonale tall, så minste verdi er alltid og største alltid . Dermed er og for enhver partisjon — gapet lukkes aldri, og Darboux-kriteriet svikter. Du trenger den bare som kjennskap: et bevis på at begrensethet alene ikke holder.
Geometrisk: gjør du grafen om til et rektangel med samme areal og bredde , er høyden. For en kontinuerlig funksjon antas denne verdien faktisk i et punkt — det er middelverdisetningen for integraler, som blir bevismotoren i kap. 4.2.
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.