Lebesgueova miera

Lebesgueova miera predstavuje v matematike štandardný postup, ktorým je podmnožine Euklidovho priestoru priradená dĺžka, obsah plochy alebo objem. Lebesgueova miera je zovšeobecnením pojmu objem (popr. obsah alebo dĺžka).

Lebesgueova miera sa uplatnila pri definícii Lebesgueovho integrálu. 

Označuje sa podobne ako miera, napr. , popr. . Ak je potrebné zdôrazniť, že ide o Lebesgueovu mieru, možno symbol  nahradiť symbolom .

Množiny, ktorým možno priradiť lebesgueovu mieru sa označujú ako lebesgueovsky merateľné.

Lebesgueova miera bola zavedená francúzskym matematikom Henri Lebesguem.

Merateľná množina
 Miera prázdnej množiny je definitoricky rovná nule, tzn. .
 Miera (otvoreného alebo uzavretého) intervalu je rovná jeho dĺžke, tzn. 
 Lebesgueova miera karteziánskeho súčinu intervalov  je rovná súčinu dĺžok jednotlivých intervalov. Ak označíme dĺžku i-teho intervalu ako , potom 
 Miera disjunktných intervalov  je rovná súčtu .
 Vonkajšou Lebesgueovou mierou  neprázdnej množiny  označujeme infimum mier všetkých ohraničených otvorených množín , ktoré obsahujú množinu , tzn.

 Ako vnútornú Lebesgueovu mieru  neprázdnej množiny  označujeme suprémum mier všetkých ohraničených uzavretých množín , ktoré sú obsiahnuté v množine , tzn.

 Pre neprázdnu ohraničenú množinu  platí

 Ak platí , potom množinu  označíme ako merateľnú v Lebesgueovom zmysle alebo skrátene (lebesgueovsky) merateľnú. Spoločnou hodnotou tejto miery potom nazývame (Lebesgueovou) mierou, tzn.

 Miera spočítateľnej množiny, teda i množiny obsahujúcej konečný počet prvkov, je nulová. Nespočítateľné množiny môžu mať nenulovú mieru, existují však i nespočítateľné množiny s mierou nula. Okrem množín, na ktorých možno definovať mieru, ktoré označujeme ako merateľné, existujú tiež množiny, na ktorých mieru nemožno definovať. Tieto množiny nazývame nemerateľné.

Merateľná funkcia
Funkciu , ktorá je definovaná na (ohraničenej) merateľnej množine  označíme ako (lebesgueovsky) merateľnú, ak je množina všetkých bodov  spĺňajúcich  merateľná pri ľubovoľnej voľbe čísla C.

Každá spojitá alebo po častiach spojitá funkcia je tiež merateľná.

Matematická analýza