Abychom pochopili podstatu integrování, vyjděme z formulace následujícího geometrického problému: Nechť je dána spojitá nezáporná funce
v intervalu
. Graf této funkce spolu s přímkami o rovnicích
a osou
vymezí v kartézké soustavě souřadnic rovinný útvar. Naším úkolem je zjistit obsah tohoto rovinného obrazce.
Z pohledu na
Obr. 8.1.1 jistě plyne, že stanovit číslo vyjadřující obsah
rovinného obrazce je naprosto korektní úvaha. Z minulých školních let určitě
ještě znáte nějaké vzorce pro výpočet obsahů (kruh, obdélník, lichoběžník,
trojúhelník), které bychom snad mohli nějakým způsobem využít.
Pokusme se nejdříve stanovit obsah obrazce alespoň
přibližně. Kdybychom si nakreslili obrazec na milimetrový papír
a spočítali všechny čtverecky o obsahu 1mm2,
které se do našeho obrazce vejdou, měli bychom zhruba obsah obrazce vypočítaný.
Uvědomíme-li si, že náš útvar není zcela obecný, ale je omezen hned
třemi přímkovými útvary a teprve čtvrtý útvar je obecnou křivkou, vidíme,
že takové „měření” lze velice snadno zjednodušit. Nakreslíme útvar
na milimetrovou síť tak, aby osa
splývala se stranou některé řady čtverečků.
Pak stačí jen sečíst obsahy sloupečků, obdélníčků (proužků) s milimetrovou
podstavou, které jsou v obrazci obsaženy. Proto tuto metodu nazveme „proužková
metoda”. Na
Obr. 8.1.2 je proužková metoda naznačena.
Z tohoto popisu je vidět, že tímto způsobem dostaneme poměrně přesně obsah
obrazce. A právě tato myšlenka je principem integrování. Než tuto myšlenku
dovedeme až k matematicky přesnému vyjádření obsahu rovinného obrazce,
upozorníme na dvě důležité věci. V našich úvahách budeme používat pouze
spojitou funkci
, i když obecná definice pracuje s funkcemi,
které nemusí být nutně spojité. A za druhé, délka podstavy obdélníčků (proužků) nemusí
být v obecném případě stejná. Na
Obr. 8.1.3 je takové dělení intervalu
vyznačeno.
Dělení intervalu
je soubor vzestupně řazených hodnot
Délka největšího dílku dělení, tj. hodnota
se nazývá norma dělení.
Zkoumejme, co se děje na
-tém intervalu
, vzniklém z tohoto dělení. Jistě je vám jasné, že funkce
je spojitá i na každém takovém intervalu a podle Weierstrassovy věty (
věta 4.6.2) nabývá na uzavřeném intervalu své největší a nejmenší hodnoty. pro interval
a funkci
označme tyto hodnoty jako
,
. Sestrojíme-li nad každou základnou
obdélník o výšce
, dostaneme sadu obdélníkových proužků, které jsou našemu obrazci vepsány. jejich celkový obsah tedy představuje jistý „dolní odhad” obsahu obrazce. Obdobně celkový obsah obdélníků o výškách
sestrojených nad stejnými základnami, a tedy zadanému obrazci opsaných, je „horním odhadem” obsahu obrazce. Označíme-li hledaný obsah obrazce
, můžeme pak psát
Dolní, resp. horní odhad obsahu obrazce nazýváme dolním, resp. horním součtem pro funkci
a dělení
, a značíme
Odhady lze samozřejme zpřesnit, budeme-li dělení intervalu
zjemňovat, tzn., že mezi jeho stávající dělící body vložíme další. Dělení
, které takto vznikne, se nazývá zjemněním dělení
. Je zřejmé, že norma
je menší nebo stejná jako norma
dělení hrubšího. Uvědomme si, že na každém z těchto nových dílku nemůže funkce dosáhnout nižší nejmenší hodnoty než na dílku původním. Nemůže dosáhnout také vyšší největší hodnoty než na dílku původním. Pro dolní a horní součet zjemněného dělení platí
Jistě budete souhlasit s tím, že když budeme dělení dále zjemňovat, budou se podle předchozí nerovnosti dolní a horní součty k sobě přibližovat (můžeme dokumentovat výpočtem v následujících příkladech). Pro spojitou funkci se dá ukázat, že při limitním přechodu
limitní hodnoty dolních a horních součtů splynou a definují tak požadovaný obsah obrazce
. Tedy lze dokázat, že pro spojitou funkci definovanou na uzavřeném intervalu platí
Tato společná hodnota limity dolních a horních součtů dané funkce při zjemňujícím se dělení se nazývá Riemannovým integrálem z funkce
na intervalu
a geometricky představuje plochu obrazce omezeného grafem funkce, osou
a přímkami o rovnicích
. Říkáme také, že funkce
je integrace schopná nebo integrabilní na intervalu
. Tento integrál označujeme
a osou
na intervalu
. Zvolte nejprve
a dělení postupně zjemňujte (
). K výpočtu součtu lze využít software
Mathematica
.
a osou
na intervalu
.
a osou
na intervalu
. Zvolte nejprve
a dělení postupně zjemňujte (
). K výpočtu součtu lze využít software
Mathematica
.
a osou
na intervalu
.
Možná by vás mohlo napadnout, že bychom při zjišťování obsahu obrazce mohli vytvořit jiný typ součtu, definovaný pro spojitou funkci
a dělení
intervalu
. V každém intervalu
zvolme libovolně bod
(viz
Obr. 8.1.4), který bude tento interval reprezentovat (tedy zastupovat). Pro všechna
platí
. Označme
Dostali jsme nový typ součtů, tzv. integrální součty, pro které platí při libovolně zvoleném dělení
Protože pro spojitou funkci splyne pro
limita horních součtů s limitou dolních součtů (společná hodnota je rovna integrálu funkce
na intervalu
můžeme vyslovit následující tvrzení:
Věta 8.1.1 (nezávislost intergrálu na reprezentantech).
Pro integrální součty
platí při libovolném výběru reprezentatů
Tento vztah se s výhodou využije později při aplikacích integrálu.
Všimněme si ještě limity
Mohli bychom ji chápat tak, že obdélníčky z
Obr. 8.1.4 se stále „ztenčují“ a „zhušťují“ a lépe zakrývají křivočarý lichoběžník určený funkcí
v intervalu
.
a osou
na intervalu
. Zvolte nejprve
a dělení postupně zjemňujte (
). K výpočtu součtu lze využít software
Mathematica
.
a osou
na intervalu
.
a osou
na intervalu
. Zvolte nejprve
a dělení postupně zjemňujte (
). K výpočtu součtu lze využít software
Mathematica
.
a osou
na intervalu
.
v
. Pak pro libovolné dělení
a libovolné
platí
. Takže
A tedy pro integrální součty
platí při libovolném výběru reprezentantů
Funkce
je tak v intervalu
integrace schopna a platí
Nechť
Buď
libovolné dělení, nechť
je racionální číslo,
číslo iracionální. Pak
K libovolnému dělení
lze nalézt množiny
,
tak, že
Tzn, že funkce
není v intervalu
integrace schopná.