Lebesgueův integrál

j-tý element Lebesgueova integrálu Lebesgueův integrál označuje v matematice definici určitého integrálu, založenou na teorii míry, který na základě Lebesgueovy míry definoval Henri Lebesgue. Má podobnou definici jako Darbouxova definice Riemannova integrálu, ale třída integrovatelných funkcí je v něm mnohem širší - dokonce se bez axiomu výběru nedá prokázat, že existuje funkce, která není Lebesgueovsky integrovatelná. 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 jedné, pokud je argument racionální číslo, a je rovna nule, pokud je argumentem iracionální číslo, má Lebesgueův integrál, ale nemá Riemannův integrál).

Definice

Nechť (X,\mathcal{A},\mu) je prostor s mírou, pak pro měřitelnou funkci f:M \rightarrow \overline{\mathbb{R}} definujeme horní Lebesgueův integrál:

:\int\limits_\overline{M} f \ \mbox{d}\mu = \inf \sum\limits_{j=1}^{\infty} a_j \ \mu(A_j),

kde \mathcal{A} je \sigma-algebra na X, A_{j} \in \mathcal{A} jsou měřitelné množiny a M=\bigcup\limits_{j=1}^{\infty}A_j \in \mathcal{A}, při A_i \cap A_j = \emptyset pro každé i \neq j a a_j\geq f(x) pro každé x \in A_j.

Nechť (X,\mathcal{A},\mu) je prostor s mírou, pak pro měřitelnou funkci f:M \rightarrow \overline{\mathbb{R}} definujeme dolní Lebesgueův integrál:

:\int\limits_\underline{M} f \ \mbox{d}\mu = \sup \sum\limits_{j=1}^{\infty} a_j \ \mu(A_j),

kde \mathcal{A} je \sigma-algebra na X, A_{j} \in \mathcal{A} jsou měřitelné množiny a M=\bigcup\limits_{j=1}^{\infty}A_j \in \mathcal{A}, při A_i \cap A_j = \emptyset pro každé i \neq j a a_j\leq f(x) pro každé x \in A_j.

Lebesgueův integrál pak definujeme pro funkci f splňující rovnost horního a dolního Lebesgueova integrálu jako:

:\int\limits_M f \ \mbox{d}\mu = \int\limits_\overline{M} f \ \mbox{d}\mu = \int\limits_\underline{M} f \ \mbox{d}\mu.

pozn.: Množina \overline{\mathbb{R}} je množina {\mathbb{R}} rozšířená o \pm \infty a množina X může být např. Euklidovský prostor {\mathbb{R}^n}.

Lebesgueův integrál lze přibližně interpretovat jako nekonečný součet nekonečně úzkých pásů o "šířce" dané koeficientem a_j \geq 0 a délce dané mírou množiny \mu(A_j) přes všechna j \in \mathbb{N}.

Vlastnosti

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,

kde f^+ je nezáporná část funkce f a f^- je záporná část funkce f.

* 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 a_j \chi_{A_j} je možné napsat definiční vztah jako:

:\int\limits_M s \mbox{d}\mu = \sum\limits_{j=1}^{\infty} a_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.

Měřitelná funkce

Nechť (X,\mathcal A_1) a (Y,\mathcal A_2) jsou měřitelné prostory. O funkci f:X \to Y řekneme, že je měřitelná, jestliže pro každé \Omega \in \mathcal A_2 dostaneme:

:f^{-1}(\Omega) = \{ x \in X |\; f(x) \in \Omega \} \in \mathcal A_1.

Měřitelnost tedy závisí na sigma algebrách \mathcal A_1 a \mathcal A_2, tj. měřitelnou funkci f:X \to Y obvykle píšeme jako f \colon (X,\mathcal A_1) \rightarrow (Y,\mathcal A_2).

\mathcal{L}^p prostory

Pomocí Lebesgueova integrálu definujeme \mathcal{L}^p prostory měřitelných funkcí f:

:\mathcal{L}^p = \left\{f \, \int_X |f|^p \mbox{d}\mu

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. +more Zavádí se proto prostory \mathcal{L}^p tříd ekvivalencí funkcí, které se liší na množině míry 0. V takovém prostoru je již \|f\|_p normou.

Externí odkazy

Kategorie:Integrální počet