Nulová množina

Nulová množina N \subset \mathbb{R} je v matematické analýze měřitelná množina, které má míru nula. Lze ji charakterizovat jako množinu, kterou lze pokrýt spočetným sjednocením intervalů s libovolně malou celkovou délkou.

Pojem nulové množiny se nesmí zaměňovat s prázdnou množinou, jak je definována v teorii množin. Prázdná množina má Lebesgueovu míru nula, ale existují i neprázdné množiny, které jsou nulové. +more Například jakákoli neprázdná spočetná množina reálných čísel má Lebesgueova míru nula a proto je nulová.

Obecněji, na daném prostoru s mírou M = (X, \Sigma, \mu) je nulová množina množina S\in\Sigma taková, že \mu(S) = 0.

Příklad

Každá konečná nebo spočetně nekonečná podmnožina reálných čísel je nulovou množinou. Například množina přirozených čísel a množina racionálních čísel jsou obě spočetně nekonečné a proto (pokud je bereme jako podmnožiny reálných čísel) to jsou nulové množiny.

Cantorovo diskontinuum je příkladem nespočetné nulové množiny.

Definice

Předpokládejme, že A je podmnožina reálné osy \mathbb{R} taková, že

\forall \varepsilon > 0, \ \exists \left\{U_n\right\}_n : U_n=(a_n,b_n)\subset \mathbb{R}: \quad A \subset \bigcup_{n = 1}^\infty U_n \ \land\ \sum_{n = 1}^\infty \left|U_n\right|

kde jsou intervaly a je délka intervalu , pak je nulová množina, nazývaná také množina s mírou nula.

V terminologii matematické analýzy tato definice vyžaduje, aby existovala posloupnost otevřených pokrytí množiny , taková, že limita délky pokrytí je nulová.

Vlastnosti

Prázdná množina je vždy nulová množina. Obecněji jakákoli spočetná množina sjednocení nulových množin je nulová množina. +more Jakákoli měřitelná podmnožina nulové množiny je také nulová množina. Současně tato fakta ukazují, že m-nulové množiny X tvoří sigma-ideál na množině X. Podobně měřitelné m-nulové množiny tvoří sigma-ideál sigma algebry měřitelných množin. Nulové množiny tedy mohou být interpretovány jako množiny zanedbatelné míry, které se používají pro definici pojmu skoro všude.

Lebesgueova míra

Lebesgueova míra je standardním způsobem přiřazení délky, obsahu nebo objemu podmnožinám Eukleidovského prostoru.

Podmnožina N množiny \mathbb{R} má nulovou Lebesgueovu míru a je považována za nulovou množinu v \mathbb{R} právě tehdy, když: : Pro každé kladné číslo ε, existuje posloupnost {{math|{In}}} intervalů v \mathbb{R} taková, že N je obsaženo ve sjednocení {{math|{In}}} a celková délka sjednocení je menší než ε. Tuto podmínku lze zobecnit na \mathbb{R}^{n}, pomocí n-rozměrných krychlí místo intervalů. +more Ve skutečnosti myšlenka lze vytvořit, aby dávala smysl na libovolném Riemannově varietě, i když na ní neexistuje Lebesgueova míra.

Například: * Vzhledem k \mathbb{R}^n jsou všechny jednoprvkové množiny nulové, a proto všechny spočetné množiny jsou nulové. Speciálně množina Q racionálních čísel je nulová množina, i když je hustá v \mathbb{R}. +more * Standardní konstrukce Cantorova diskontinua je příkladem nulové nespočetné množiny v \mathbb{R}; jsou však konstrukce, které Cantorově množině přiřazují nějakou míru. * Všechny podmnožiny \mathbb{R}^n, jejichž dimenze je menší než n mají nulovou Lebesgueovu míru v \mathbb{R}^n. Například přímky nebo kružnice jsou nulovými množinami v \mathbb{R}^2. * Sardovo lemma: množina kritických hodnot hladké funkce má míru nula.

Pokud λ je Lebesgueova míra na \mathbb{R} a π je Lebesgueova míra na \mathbb{R}^{2}, pak součinová míra \lambda \times \lambda = \pi. A použitím nulových množin lze Fubiniovu větu vyjádřit následující ekvivalencí: * Pro A \subset \mathbb{R}^{2} a A_x = \{y ; (x , y) \isin A \} , \pi(A) = 0 \iff \lambda \left(\left\{ x ; \lambda\left(A_x\right) > 0 \right\}\right) = 0 .

Použití

Nulové množiny hrají klíčovou roli v definici Lebesgueova integrálu: pokud funkce a se sobě rovnají kromě nulové množiny, pak je integrovatelná právě tehdy, když je integrovatelná, a jejich integrály si jsou rovné. To motivuje formální definici prostorů jako množin ekvivalence tříd funkcí, které se liší pouze na nulových množinách.

Míra, v níž každá podmnožina nulové množiny je měřitelná, je úplná. Jakoukoli neúplnou míru lze doplnit na úplnou požadavkem, aby každá podmnožina nulové množiny měla míru nula. +more Lebesgueova míra je příkladem úplné míry; v některých konstrukcích je definována jako zúplnění neúplné Borelovské míry.

Podmnožina Cantorovy množiny, která není Borelovsky měřitelná

Borelovská míra není úplná. Jednoduchým důkazem je začít standardním Cantorovým diskontinuem , které je uzavřené, a tedy Borelovsky měřitelné, a které má míru nula, a hledat podmnožinu množiny , která není Borelovsky měřitelná. +more (Protože Lebesgueova míra je úplná, tato množina je samozřejmě Lebesgueovsky měřitelná. ).

Nejdříve musíme vědět, že každá množina kladné míry obsahuje neměřitelnou podmnožinu. Nechť je Cantorova funkce, spojitá funkce, která je lokálně konstantní na , a monotonně rostoucí na intervalu \langle 0, 1\rangle, s a . +more Zjevně je spočetná, protože obsahuje jeden bod pro každou komponentu . Tedy má míra nula, takže má míru jedna. Potřebujeme striktně monotónní funkci, proto uvažujme . Protože je striktně monotonní a spojitá, jde o homeomorfismus. Navíc má míru jedna. Nechť je neměřitelná, a nechť . Protože je injektivní, dostáváme, že , a proto je nulová množina. Ale, pokud by byla Borelovsky měřitelná, pak by také bylo Borelovsky měřitelné (zde používáme fakt, že vzor Borelovské množiny pro spojitou funkci je měřitelný; je vzor F spojitou funkcí . ) Proto je nulová, ale není Borelovsky měřitelnou množinou.

Haarova nulová množina

V separabilním Banachově prostoru zobrazuje grupová operace jakoukoli podmnožinu na převod pro jakékoli . Pokud existuje pravděpodobnostní míra na σ-algebře Borelovských podmnožin množiny , taková, že pro všechna, pak je Haarova nulová množina.

Termín vyjadřuje nulovou invarianci míry převodů, což ji spojuje s úplnou invariancí nalezenou Haarovou mírou.

Některé algebraické vlastnosti topologických grup se týkají velikosti podmnožin a Haarových nulových množin. Haarovy nulové množiny se používají v polských grupách pro důkaz, že, pokud není množinou první kategorie, pak obsahuje otevřené okolí neutrálního prvku. +more Tato vlastnost je pojmenována po Hugovi Steinhausovi protože je tvrzením Steinhausovy věty.

Odkazy

Reference

Literatura

Související články

Cantorova funkce * Míra (matematika) * Prázdná množina * Nic

Kategorie:Teorie míry Kategorie:Teorie množin