Lebesgueov integrál

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 
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 

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

 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)
 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 
 Integrál
 Lebesgueova miera

Matematická analýza