Lebesgueův integrál

Lebesgueův integrál (někdy L-integrál) označuje v matematice definici určitého integrálu, založenou na teorii míry. Lebesgueův integrál je obecnější než integrál Riemannův, což v praxi znamená, že pokud existuje Riemannův integrál, tak existuje také Lebesgueův integrál, přičemž hodnoty obou integrálů jsou shodné. Pokud Riemannův integrál neexistuje, může existovat integrál Lebesgueův. Opačné tvrzení však neplatí (např. Dirichletova funkce, jejíž funkční hodnota je rovna 1, pokud je argument racionální číslo, a je rovna 0, pokud je argumentem iracionální číslo, má Lebesgueův integrál, ale nemá Riemannův integrál). Lebesgueův integrál je pojmenován po francouzském matematikovi Henri Lebesgueovi.

Integrál nezáporné funkce může být interpretován jako plocha pod křivkou grafu funkce.

Definice Editovat

Nechť $(X,{\mathcal {M}},\mu )$ je prostor s mírou, $M\in {\mathcal {M}}$ . Pro měřitelnou nezápornou funkci $f:M\rightarrow {\overline {\mathbb {R} }}$ definujeme Lebesgueův integrál vztahem

$\int \limits _{M}f{\mbox{d}}\mu =\sup \left\{\sum \limits _{j=1}^{\infty }\alpha _{j}\mu (A_{j}),(\forall i\neq j)A_{i}\cap A_{j}=\emptyset ,M=\bigcup \limits _{j=1}^{\infty }A_{j},(\forall x\in A_{j})\alpha _{j}\leq f(x)\right\}$

Pro obecnou měřitelnou funkci definujeme

$\int \limits _{M}f{\mbox{d}}\mu =\int \limits _{M}f^{+}{\mbox{d}}\mu -\int \limits _{M}f^{-}{\mbox{d}}\mu$

(má-li výraz smysl), kde $f^{+}=\max \left\{0,f\right\}$ je kladná část funkce $f$ a $f^{-}=\max\{0,-f\}$ je záporná část $f$ .

Vlastnosti Editovat

Každá měřitelná nezáporná funkce má Lebesgueův integrál. Obecná měřitelná funkce $f$ integrál nemá tehdy, když

$\int \limits _{M}f^{+}{\mbox{d}}\mu =\int \limits _{M}f^{-}{\mbox{d}}\mu =+\infty$

Pro jednoduchou funkci $s=\sum \alpha _{j}\chi _{A_{j}}$ je možné napsat definiční vztah jako

$\int \limits _{M}s{\mbox{d}}\mu =\sum \limits _{j=1}^{\infty }\alpha _{j}\mu (A_{j})$

Jednoduchou funkci je však možné vyjádřit pomocí různých rozkladů. Z takové definice tedy není zřejmé, že hodnota integrálu jednoduché funkce nezávisí na rozkladu.

$L^{p}$ prostory Editovat

Pomocí Lebesgueova integrálu definujeme ${\mathcal {L}}^{p}$ prostory funkcí

${\mathcal {L}}^{p}=\left\{f{\mbox{ měřitelná}},\int _{X}|f|^{p}{\mbox{d}}\mu <\infty \right\}$

a zavedeme množinovou funkci

$\|f\|_{p}=\left(\int _{X}|f|^{p}{\mbox{d}}\mu \right)^{1 \over p}$

Snadno se ukáže, že $\|f\|_{p}$ splňuje všechny vlastnosti normy kromě jedné: $\int _{X}|f|^{p}{\mbox{d}}\mu =0$ neznamená $f=0$ všude v $X$ , ale pouze skoro všude v $X$ . Tvrzení tedy neplatí na množině míry 0.