Lebesgueov integrál

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Integrál nezápornej funkcie môže byť interpretovaný ako plocha pod krivkou grafu funkcie.

Lebesgueov integrál alebo L-integrál označuje v matematike definíciu určitého integrálu, založenú na teórii miery, konkrétne tzv. Lebesgueovej miery.

Lebesgueov integrál je všeobecnejší než integrál Riemannov, čo v praxi znamená, že ak existuje Riemannov integrál, tak existuje tiež Lebesgueov integrál, pričom hodnoty oboch integrálov sú zhodné. Ak Riemannov integrál neexistuje, môže existovat integrál Lebesgueov. Opačné tvrdenie však neplatí (napr. Dirichletova funkcia, ktorej funkčná hodnota je 1 ak je argument racionálne číslo a je rovná 0 ak je argumentom iracionálne číslo, má Lebesgueov integrál, ale nemá Riemannov integrál).

Lebesgueov integrál je pomenovaný po francúzskom matematikovi Henri Lebesgueovi.

Konštrukcia integrálu[upraviť | upraviť zdroj]

Pri konštrukcii Lebesgueova integrálu postupujeme tak, že rozdelíme obor hodnôt ohraničenej funkcie na malé intervaly. Už tu je vidieť rozdiel oproti Riemannovmu integrálu, pri ktorého konštrukcii sa delí definičný obor. Na intervale teda zvolíme body , ktoré určujú určité delenie tohoto intervalu, ktoré označíme d . Ako označíme množinu bodov , pre ktoré platí . Pre výpočet Lebesgueovho integrálu potrebujeme poznať Lebesgueovu mieru každej množiny , ktorú označíme . Horný integrálny súčet pri danom delení d potom vyjadríme vzťahom

Dolný integrálny súčet pri rovnakom delení d bude mať tvar

Pre každú ohraničenú funkciu, ktorá je na intervale merateľná, je infimum množiny horných integrálnych súčtov, ktoré získame pre všetky možné delenia d intervalu , rovné supremu množiny všetkých dolných integrálnych súčtov, tzn.

Spoločnú hodnotu infima horných a suprema dolných integrálnych súčtov nazýváme Lebesgueovým integrálom funkcie a zapisujeme , kde , prípadne . Pre zdôraznenie použitia miery možno tiež písať . Ak je nutné odlíšiť Lebesgueov integrál od integrálu Riemannovho, potom Lebesgueov integrál zapisujeme ako .

Ak existuje Lebesgueov integrál funkcie , potom o funkcii hovoríme, že je integrovateľná v Lebesgueovom zmysle. Ak je funkcia integrovateľná v Riemannovom zmysle, je integrovateľná tiež v Lebesgueovom zmysle, pričom hodnoty oboch integrálov (Riemannovho a Lebesgueovho) sú si rovné. Opačné tvrdenie však neplatí, tzn. funkcia integrovateľná v Lebesgueovom zmysle nemusí byť integrovateľná v zmysle Riemannovom.

Lebesgueov integrál je všeobecnejší než integrál Riemannov, pretože integrovať možno na ľubovolnej merateľnej množine. Je možné dokázať tvrdenie, že každá ohraničená merateľná funkcia je integrovateľná v Lebesgueovom zmysle.

Lebesgueov integrál možno rozšíriť tiež na funkcie, ktoré nie sú ohraničené.

Máme funkciu , ktorá je merateľná na ohraničenej merateľnej množine , pričom táto funkcia môže byť neohraničená. Ak na platí , potom môžeme zvoliť ľubovoľné a definovať novú funkciu takto

Funkcia je merateľná, pretože tiež funkcia je podľa predpokladu merateľná, a navyše je tiež ohraničená, takže je integrovateľná v Lebesgueovom zmysle. Lebesgueov integrál (neohraničenej) funkcie potom môžeme definovať vzťahom

Ak limita na pravej strane existuje, hovoríme, že integrál konverguje. Ak je nevlastná alebo neexistuje, potom hovoríme, že integrál diverguje.

Funkciu môžeme tiež rozložiť na , kde

Pomocu tohto rozkladu možno vyjadriť Lebesgueov integrál merateľnej funkcie .

Názorný príklad rozdielu medzi Lebesgueovým a Riemannovým integrálom[upraviť | upraviť zdroj]

Ilustrácia výpočtu Riemannovho (hore) a Lebesgueovho integrálu.

Máme za úlohu sčítať peniaze, ktoré sme dostali od jednotlivých ľudí. Môžeme postupovať dvomi spôsobmi.

  1. Robiť kôpky peňazí, ktoré sme dostali od jednotlivých ľudí, spočítať hodnotu peňazí v jednotlivých kôpkach a nakoniec sčítať všetky kôpky peňazí. (Riemmanov prístup)
  2. Robiť kôpky peňazí a mincí rovnakej hodnoty, určiť ich počet v každej kôpke a vynásobiť ho hodnotou bankovky resp. mince.Nakoniec sčítať všetky kôpky. (Lebesgueov prístup)

Pozri aj[upraviť | upraviť zdroj]