8.1 Integrování - „sčítání” mnoha malých příspěvků

Studijní cíle

Pochopit proces integrování  tzv. proužkovou metodou

Umět vysvětlit odvození Riemannova integrálu - pomocí metody horních a dolních součtů a pomocí metody integrálních součtů

Motivace

    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 f(x) v intervalu <a ,b> . Graf této funkce spolu s přímkami o rovnicích x=a ,x=b  a osou x vymezí v kartézké soustavě souřadnic rovinný útvar. Naším úkolem je zjistit obsah tohoto rovinného obrazce.

8-1111_1.gif

Obr. 8.1.1

    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 18-1111_2.gif, 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 x 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.

8-1111_3.gif

Obr. 8.1.2

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 f(x) , 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 <a ,b> vyznačeno.

8-1111_4.gif
Obr. 8.1.3

    Dělení intervalu <a,b> je soubor vzestupně řazených hodnot

8-1111_5.gif

Délka největšího dílku dělení, tj. hodnota

8-1111_6.gif

se nazývá norma dělení.

    Zkoumejme, co se děje na i -tém intervalu 8-1111_7.gif , vzniklém z tohoto dělení. Jistě je vám jasné, že funkce f(x) 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 8-1111_8.gif a funkci f(x) označme tyto hodnoty jako 8-1111_9.gif,8-1111_10.gif. Sestrojíme-li nad každou základnou 8-1111_11.gif obdélník o výšce 8-1111_12.gif, 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 8-1111_13.gif 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 P , můžeme pak psát

8-1111_14.gif

Dolní, resp. horní odhad obsahu obrazce nazýváme dolním, resp. horním součtem pro funkci f(x) a dělení D , a značíme

8-1111_15.gif

Odhady lze samozřejme zpřesnit, budeme-li dělení intervalu <a ,b> zjemňovat, tzn., že mezi jeho stávající dělící body vložíme další. Dělení 8-1111_16.gif , které takto vznikne, se nazývá zjemněním dělení D . Je zřejmé, že norma 8-1111_17.gif je menší nebo stejná jako norma ν(D) 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í

8-1111_18.gif

    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 ν(D)→0 limitní hodnoty dolních a horních součtů splynou a definují tak požadovaný obsah obrazce P . Tedy lze dokázat, že pro spojitou funkci definovanou na uzavřeném intervalu platí

8-1111_19.gif

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 f(x) na intervalu <a,b> a geometricky představuje plochu obrazce omezeného grafem funkce, osou x a přímkami o rovnicích x=a,x=b . Říkáme také, že funkce f(x) je integrace schopná nebo integrabilní na intervalu <a,b> . Tento integrál označujeme

8-1111_20.gif

Příklad 8.1.1.
Pomocí horních a dolních součtů spočítejte přibližně obsah plochy mezi grafem funkce 8-1111_21.gifa osou x na intervalu <1,3>. Zvolte nejprve n=1 a dělení postupně zjemňujte (n=2,3,4,10,20). K výpočtu součtů lze využít software Mathematica.

Řešení:

Příklad 8.1.2.
Pomocí horních a dolních součtů spočítejte přibližně obsah plochy mezi grafem funkce 8-1111_22.gif a osou x na intervalu <1,4>. Zvolte nejprve n=1 a dělení postupně zjemňujte (n=2,3,4,10,20,40). K výpočtu součtů lze využít software Mathematica.

Řešení:

    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 f(x) a dělení D intervalu <a,b>. V každém intervalu 8-1111_23.gif zvolme libovolně bod 8-1111_24.gif (viz Obr. 8.1.4), který bude tento interval reprezentovat (tedy zastupovat). Pro všechna  i = 0 , 1 , 2 , … , n - 1   platí 8-1111_25.gif. Označme

8-1111_26.gif

Dostali jsme nový typ součtů, tzv. integrální součty, pro které platí při libovolně zvoleném dělení D

8-1111_27.gif

8-1111_28.gif

Obr. 8.1.4

    Protože pro spojitou funkci splyne pro ν(D)→0 limita horních součtů s limitou dolních součtů (společná hodnota je rovna integrálu funkce f(x) na intervalu <a,b>) můžeme vyslovit následující tvrzení:

    Věta 8.1.1 (Nezávislost integrálu na reprezentantech).

    Pro integrální součty S(f,D) platí při libovolném výběru reprezentantů
8-1111_29.gif

Tento vztah se s výhodou využije později při aplikacích integrálu.

    Všimněme si ještě limity 8-1111_30.gif Mohli bychom ji chápat tak, že obdélníčky z Obr. 8.1.4 ses tále „ztenčují“ a „zhušťují“ a lépe zakrývají křivočarý lichoběžník určený funkcí f(x) v intervalu <a,b>.

Příklad 8.1.3.
Pomocí integrálních součtů spočítejte přibližně obsah plochy mezi grafem funkce 8-1111_31.gifa osou x na intervalu <1,3>. Zvolte nejprve n=1 a dělení postupně zjemňujte (n=2,3,4,10,20). K výpočtu součtů lze využít software Mathematica.

Řešení:

Příklad 8.1.4.
Pomocí integrálních součtů spočítejte přibližně obsah plochy mezi grafem funkce 8-1111_32.gif a osou x na intervalu <1,4>. Zvolte nejprve n=1 a dělení postupně zjemňujte (n=2,3,4,10,20,40). K výpočtu součtů lze využít software Mathematica.

Řešení:

Příklad 8.1.5.
Nechť f(x)=c v <a,b>. Pak libovolné dělení 8-1111_33.gif a libovolné 8-1111_34.gif platí 8-1111_35.gif=c. Takže

8-1111_36.gif

A tedy pro integrální součty S(f,D) platí při libovolném výběru reprezentantů

8-1111_37.gif

Funkce f(x)=c je tak v intervalu <a,b> integrace schopna a platí

8-1111_38.gif

Příklad 8.1.6.
Nechť 8-1111_39.gif Buď 8-1111_40.gif libovolné dělení, nechť 8-1111_41.gif je racionální číslo, 8-1111_42.gif číslo iracionální. Pak

8-1111_43.gif

K libovolnému dělení 8-1111_44.gif lze nalézt množiny 8-1111_45.gif tak, že

8-1111_46.gif

Tzn, že funkce f není v intervalu <a,b> integrace schopná.

Klíčová slova

dělení intervalu, norma dělení, horní součet, dolní součet, zjemnění dělení, Riemannův integrál, integrální součet

Úvod    Kapitola 8     Kapitola 8.1    Kapitola 8.2     Kapitola 8.3     Kapitola 8.4     Kapitola 8.5     Kapitola 8.6    
Spikey Created with Wolfram Mathematica 8.0