Nejjednodušší geometrickou motivací určitého integrálu (zde použijeme tzv. Riemannovu konstrukci určitého integrálu; Bernhard Riemann, německý matematik, 1826 – 1866) je výpočet obsahu plochy ohraničené grafem funkce a osou nezávisle proměnné. Na Obrázku 3.1 je tato plocha znázorněna světle modrou barvou. Podle významu funkční závislosti má pak daná plocha jistý (ne geometrický) význam. Zajímavým a možná překvapivým výsledkem bude Newtonova formule (Věta 3.6) odhalující vztah mezi touto geometrickou konstrukcí a primitivní funkcí.
Celá konstrukce Riemannova integrálu vychází ze znalosti obsahu obdélníka. Danou plochu pod grafem funkce budeme co nejlépe aproximovat plochou sestavenou z mnoha obdélníků. Ukazuje se, že pro spojitou funkci tento limitní proces dává dobrý výsledek. Nejprve definujme základní pojmy.
Buď dán interval $\langle a,b \rangle$. Konečnou množinu
takovou, že
nazýváme dělením intervalu $\langle a,b \rangle$. Bodům $x_k$, $k\in\widehat{n-1}$, říkáme dělící body intervalu $\langle a,b \rangle$. Interval $\langle x_{k-1}, x_k \rangle$, $k\in\hat{n}$, nazýváme $k$-tý částečný interval intervalu $\langle a,b \rangle$ při dělení $\sigma$. Číslo
nazýváme normou dělení $\sigma$.
Užitečným speciálním příkladem dělení intervalu je jeho ekvidistantní dělení, tj. dělení mající stejně dlouhé částečné intervaly.
Pro interval $\langle a,b \rangle$ a $n\in\mathbb{N}$ položme $\Delta \ceq \frac{b-a}{n}$ a
Tedy
Všimněte si, že $a + n\Delta = a + b - a = b$. V případě $n=5$ si lze ekvidistantní dělení intervalu $\langle a,b \rangle$ představit jako na následujícím Obrázku 3.2.
Vybaveni funkcí a dělením intervalu dále přistoupíme ke konstrukci aproximace plochy mezi grafem funkce a osou $x$ pomocí mnoha obdélníků.
Buďte funkce $f$ definovaná a omezená na intervalu $J =\langle a,b \rangle$ a $\sigma = \{x_0,x_1,\ldots,x_n\}$ dělení intervalu $J$. Součty
nazýváme horním součtem funkce a dolním součtem funkce $f$ při dělení $\sigma$.
Dolní, resp. horní, součty představují obsah plochy2 tvořené obdélníky pod, resp. nad, grafem funkce s podstavami tvořenými částečnými dělícími intervaly. Následující Obrázky 3.3 a 3.4 ilustrují dolní a horní součty vzhledem k jednomu konkrétně zvolenému dělení.
Třetím bodem konstrukce je prozkoumání hodnot všech možných dolních a horních součtů dané funkce přes všechna možná dělení zadaného intervalu.
Pro funkci $f$ definovanou a omezenou na uzavřeném intervalu $J=\langle a,b \rangle$ pomocí dolních a horních součtů definujeme čísla
a nazýváme je horním integrálem, resp. dolním integrálem, funkce $f$ na intervalu $J$.
Ze způsobu, jakým je horní (resp. dolní) integrál konstruován, je zřejmé, že představuje jakýsi horní (resp. dolní) odhad obsahu hledané plochy. Dále si všimněte, že díky předpokladům omezenosti funkce $f$ a uzavřenosti (a tedy i konečné délce) intervalu $J$ v Definici 3.4, jsou příslušný dolní i horní integrál nějaká reálná čísla (nehrozí hodnoty $+\infty$ nebo $-\infty$).
Posledním krokem konstrukce je samotná definice Riemannova integrálu. Pokud horní i dolní integrál mají stejnou hodnotu, tak má dobrý smysl mluvit o obsahu plochy pod grafem funkce $f$. Proto Riemannův integrál definujeme následovně.
Mějme funkci $f$ definovanou a omezenou na uzavřeném intervalu $J$. Pokud pro její dolní a horní integrál na intervalu $J$ platí
pak jejich společnou hodnotu nazýváme Riemannovým integrálem funkce $f$ na intervalu $J$ a toto číslo značíme symboly
V definici horního a dolního integrálu potřebujeme počítat suprema a infima jistých množin, resp. funkcí na částečných intervalech. To nemusí být jednoduchá úloha. Naštěstí ji ve většině případů můžeme nahradit počítáním limity jisté číselné posloupnosti. Nejprve zaveďme posloupnost postupně se zjemňujících dělení.
Posloupnost dělení $\sigma_n$ nazveme normální, pokud pro její normy platí
Pokud je funkce „hezká“, tak lze očekávat, že „plocha mezi jejím grafem a osou $x$“ bude mít dobrý smysl a Riemannova konstrukce bude úspěšná. Kritériem „hezkosti“ je třeba spojitost, jak ukazuje hned následující věta. Ukázka „nehezké“ funkce, tedy funkce nemající Riemannův integral, je uvedena v Příkladu 3.3.
Buď $f$ spojitá funkce na intervalu $\langle a,b \rangle$. Potom existuje její Riemannův integrál na intervalu $\langle a,b\rangle$.
Pokud je navíc $(\sigma_n)$ normální posloupnost dělení intervalu $\langle a,b \rangle$, potom limity
existují, a jsou rovny Riemannově integrálu funkce $f$ na intervalu $\langle a,b \rangle$.
Vynecháváme.
$\square$
Výpočet lze ale ještě dále zjednodušit. Při výpočtu horního a dolního součtu musíme hledat infima a suprema integrované funkce na dělících intervalech. Tomu se lze také vyhnout, jak ukazuje následující věta.
Pro funkci $f$ spojitou na uzavřeném intervalu $\langle a,b \rangle$ a dělení $\sigma = \{x_0,\,x_1,\ldots,\,x_n\}$, kde $x_0 = a$ a $x_n = b$, tohoto intervalu definujeme integrální součet funkce $f$ při dělení $\sigma$ předpisem
kde $\alpha_i$ patří do intervalu $\langle x_{i-1}, x_i \rangle$, $i=1,2,\ldots,n$.
Vztah mezi dolním a horním součtem a integrálním součtem funkce $f$ při dělení $\sigma$ je dán nerovnostmi
Riemannův integrál funkce $f$ spojité na intervalu $\langle a,b \rangle$ lze tedy počítat i jako limitu z integrálních součtů
kde $(\sigma_n)_{n=1}^\infty$ je libovolná normální posloupnost dělení.
Vypočtěte integrál z konstantní funkce $f(x) = c$ na intervalu $\langle a,b \rangle$.
Pro libovolné dělení $\sigma$ intervalu $\langle a,b \rangle$ platí (případně viz Obrázek 3.5)
Takže pro libovolnou normální posloupnost $(\sigma_n)$ dělení intervalu $\langle a,b \rangle$ dostáváme
Riemannův integrál funkce $f$ na intervalu $\langle a,b \rangle$ je pak
Viz Obrázek 3.5.
Pomocí definice vypočtěte Riemannův integrál funkce $f(x) = x$ na intervalu $J = \langle 0,1 \rangle$.
Zvolme normální posloupnost $(\sigma_n)_{n=1}^\infty$ ekvidistantních dělení intervalu $J$.
Pro dolní součet při dělení $\sigma_n$ dostáváme
Tudíž
Podobně pro horní součet při dělení $\sigma_n$ platí
a opět (nepřekvapivě)
Pro ilustraci tohoto výpočtu uvádíme Obrázek 3.6.
Ukažme si jednoduchý příklad funkce, která nemá Riemannův integrál. Definujme Dirichletovu funkci
s definičním oborem $\R$. Zkuste si představit její graf!
Vezměmě nyní libovolné dělení $\sigma$ intervalu $\langle 0,1 \rangle$. Zřejmě platí $S(\sigma, f) = 1$ a $s(\sigma, f) = 0$ a proto
Tato funkce tedy nemá Riemannův integrál na intervalu $\langle 0,1 \rangle$ ani na libovolném jiném uzavřeném intervalu.
Rozmyslete si, jaký vliv by na Riemannovu konstrukci uvedenou v této kapitole měla drobná změna infima a suprema v definici horního a dolního integrálu (Definice 3.4) na minimum a maximum. Jaké funkce by pak ne/měly „Riemannův integrál“?
Změna by měla zásadní vliv. Například libovolná spojitá nekonstantní funkce by náhle neměla integrál, v horních i dolních součtech vždy do pokrytí skutečné plochy pod grafem takovéto funkce bude chybět či přebývat a infima ani suprema v uvedené definici nikdy žádným rozdělením nedosáhneme. Integrál v tomto smyslu by měly například jen po částech konstantní funkce.
Riemannova konstrukce integrálu prezentovaná v této sekci není jediná možná. Pro první kontakt s problematikou je však asi nejpřístupnější, nejnázornější. Historicky spadá do 19. století. Moderní teorie integrace vychází z Lebesgueovy konstrukce (začátek 20. století). Úzce souvisí s teorií pravděpodobnosti a částečně na ní narazíte v předmětu BI-PST.
Určitý integrál lze v počítačovém algebraickém systému Mathematica počítat pomocí příkazu Integrate[f, {x, a, b}]
, kde $f$ je integrovaná funkce (výraz), $x$ integrační proměnná a $a$ dolní a $b$ horní mez.
Například výsledek Příkladu 3.2 získáme příkazem Integrate[x, {x, 0, 1}]
, který skutečně vrátí 1/2
.
Buď dán interval $\langle a,b \rangle$. Konečnou množinu
takovou, že
nazýváme dělením intervalu $\langle a,b \rangle$. Bodům $x_k$, $k\in\widehat{n-1}$, říkáme dělící body intervalu $\langle a,b \rangle$. Interval $\langle x_{k-1}, x_k \rangle$, $k\in\hat{n}$, nazýváme $k$-tý částečný interval intervalu $\langle a,b \rangle$ při dělení $\sigma$. Číslo
nazýváme normou dělení $\sigma$.
Buďte funkce $f$ definovaná a omezená na intervalu $J =\langle a,b \rangle$ a $\sigma = \{x_0,x_1,\ldots,x_n\}$ dělení intervalu $J$. Součty
nazýváme horním součtem funkce a dolním součtem funkce $f$ při dělení $\sigma$.
Pro funkci $f$ definovanou a omezenou na uzavřeném intervalu $J=\langle a,b \rangle$ pomocí dolních a horních součtů definujeme čísla
a nazýváme je horním integrálem, resp. dolním integrálem, funkce $f$ na intervalu $J$.
Buď dán interval $\langle a,b \rangle$. Konečnou množinu
takovou, že
nazýváme dělením intervalu $\langle a,b \rangle$. Bodům $x_k$, $k\in\widehat{n-1}$, říkáme dělící body intervalu $\langle a,b \rangle$. Interval $\langle x_{k-1}, x_k \rangle$, $k\in\hat{n}$, nazýváme $k$-tý částečný interval intervalu $\langle a,b \rangle$ při dělení $\sigma$. Číslo
nazýváme normou dělení $\sigma$.
Mějme funkci $f$ definovanou a omezenou na uzavřeném intervalu $J$. Pokud pro její dolní a horní integrál na intervalu $J$ platí
pak jejich společnou hodnotu nazýváme Riemannovým integrálem funkce $f$ na intervalu $J$ a toto číslo značíme symboly
Posloupnost dělení $\sigma_n$ nazveme normální, pokud pro její normy platí
Buď dán interval $\langle a,b \rangle$. Konečnou množinu
takovou, že
nazýváme dělením intervalu $\langle a,b \rangle$. Bodům $x_k$, $k\in\widehat{n-1}$, říkáme dělící body intervalu $\langle a,b \rangle$. Interval $\langle x_{k-1}, x_k \rangle$, $k\in\hat{n}$, nazýváme $k$-tý částečný interval intervalu $\langle a,b \rangle$ při dělení $\sigma$. Číslo
nazýváme normou dělení $\sigma$.