Analyysin peruslause

Analyysin peruslauseet ovat lauseita, joiden mukaan kaksi analyysin perusmääritelmää, derivointi ja integrointi, ovat toistensa käänteistoimituksia. Analyysin peruslauseita on väitteen kumpaakin puoliskoa varten yksi, ja niiden nimet ovat analyysin ensimmäinen peruslause ja analyysin toinen peruslause. Siitä, kumpi on kumpi, ei liene täysin yksimielistä käytäntöä.

Analyysin ensimmäinen peruslause

Jos ${\displaystyle f}$ on välillä ${\displaystyle [a,b]}$ jatkuva funktio ja ${\displaystyle F}$ jokin sen integraalifunktio, niin F on derivoituva ja pätee:

${\displaystyle \displaystyle F'(x)=f(x)}$

Lause voidaan kirjoittaa myös muodossa

${\displaystyle {\frac {d}{dx}\int _{c}^{x}f(t)\,dt=f(x)}$, missä ${\displaystyle c\in [a,b]}$.^[1]

Analyysin toinen peruslause

Olkoot ${\displaystyle F_{1}$ ja ${\displaystyle F_{2}$ funktion ${\displaystyle f}$ primitiivejä (integraalifunktioita). Tällöin löytyy vakio ${\displaystyle c}$ siten, että

${\displaystyle F_{1}(x)=F_{2}(x)+c}$ kaikille x.

Geometrinen tarkastelu

Merkitään kuvasta funktion ${\displaystyle f}$ alueen kokoa funktiolla ${\displaystyle A}$. Olkoon sinisen alueen leveys ${\displaystyle h}$. Kun h on pieni saadaan arvio siniselle alueelle:

${\displaystyle A\approx h\cdot f(x)}$

Toisaalta sininen alue on ${\displaystyle A(x+h)-A(x)}$. Yhdistämällä saadaan:

${\displaystyle {\begin{aligned}h\cdot f(x)&\approx A(x+h)-A(x)\\f(x)&\approx {\frac {A(x+h)-A(x)}{h}\end{aligned}$

Siis ${\displaystyle f}$ on ${\displaystyle A}$:n derivaatta, kun väli ${\displaystyle h}$ lähestyy nollaa.

${\displaystyle {\begin{aligned}f(x)&={\frac {d}{dx}A=\lim _{h\to 0}{\frac {A(x+h)-A(x)}{h}\end{aligned}$

Tästä seuraa, että derivoinnin käänteisoperaatiolla funktiosta ${\displaystyle f}$ saadaan funktio ${\displaystyle A}$.

Lähteet

Kirjallisuutta

• Rikkonen, Harri: Matematiikan pitkä peruskurssi II: Reaalimuuttujan funktioiden differentiaalilasku. Helsinki: Otakustantamo, 1969. ISBN 951-671-022-0.
• Pitkäranta, Juhani: Calculus Fennicus – TKK:n 1. lukuvuoden laaja matematiikka (2000–2013) (pdf) Helsinki: Avoimet oppimateriaalit ry. ISBN 978-952-7010-12-9 ISBN 978-952-7010-6 (pdf).

Aiheesta muualla

• MathWorld. Fundamental Theorems of Calculus