Nulová množina

Nulová množina ${\displaystyle 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é. 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 ${\displaystyle M=(X,\Sigma ,\mu )}$ je nulová množina množina ${\displaystyle S\in \Sigma }$ taková, že ${\displaystyle \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 ${\displaystyle A}$ je podmnožina reálné osy ${\displaystyle \mathbb {R} }$ taková, že $${\displaystyle \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|<\varepsilon \,,}

kde U_n jsou intervaly a |U| je délka intervalu U, pak A je nulová množina,^[1] 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 A, 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. 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 ${\displaystyle \mathbb {R} }$ má nulovou Lebesgueovu míru a je považována za nulovou množinu v ${\displaystyle \mathbb {R} }$ právě tehdy, když:

Pro každé kladné číslo ε, existuje posloupnost {I_n} intervalů v ${\displaystyle \mathbb {R} }$ taková, že N je obsaženo ve sjednocení {I_n} a celková délka sjednocení je menší než ε.

Tuto podmínku lze zobecnit na ${\displaystyle \mathbb {R} ^{n}}$, pomocí n-rozměrných krychlí místo intervalů. 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 ${\displaystyle \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 ${\displaystyle \mathbb {R} }$.
• Standardní konstrukce Cantorova diskontinua je příkladem nulové nespočetné množiny v ${\displaystyle \mathbb {R} }$; jsou však konstrukce, které Cantorově množině přiřazují nějakou míru.
• Všechny podmnožiny ${\displaystyle \mathbb {R} ^{n},}$ jejichž dimenze je menší než n mají nulovou Lebesgueovu míru v ${\displaystyle \mathbb {R} ^{n}}$. Například přímky nebo kružnice jsou nulovými množinami v ${\displaystyle \mathbb {R} ^{2}}$.
• Sardovo lemma: množina kritických hodnot hladké funkce má míru nula.

Pokud λ je Lebesgueova míra na ${\displaystyle \mathbb {R} }$ a π je Lebesgueova míra na ${\displaystyle \mathbb {R} ^{2}}$, pak součinová míra ${\displaystyle \lambda \times \lambda =\pi }$. A použitím nulových množin lze Fubiniovu větu vyjádřit následující ekvivalencí:^[2]

• Pro ${\displaystyle A\subset \mathbb {R} ^{2}}$ a ${\displaystyle A_{x}=\{y;(x,y)\in A\},}$ $${\displaystyle \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 f a g se sobě rovnají kromě nulové množiny, pak f je integrovatelná právě tehdy, když g je integrovatelná, a jejich integrály si jsou rovné. To motivuje formální definici L^p 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. 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 K, které je uzavřené, a tedy Borelovsky měřitelné, a které má míru nula, a hledat podmnožinu F množiny K, která není Borelovsky měřitelná. (Protože Lebesgueova míra je úplná, tato množina F 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ť f je Cantorova funkce, spojitá funkce, která je lokálně konstantní na K^c, a monotonně rostoucí na intervalu ${\displaystyle \langle 0,1\rangle }$, s f(0) = 0 a f(1) = 1. Zjevně je f(K^c) spočetná, protože obsahuje jeden bod pro každou komponentu K^c. Tedy f(K^c) má míra nula, takže f(K) má míru jedna. Potřebujeme striktně monotónní funkci, proto uvažujme g(x) = f(x) + x. Protože g(x) je striktně monotonní a spojitá, jde o homeomorfismus. Navíc g(K) má míru jedna. Nechť E ⊂ g(K) je neměřitelná, a nechť F = g⁻¹(E). Protože g je injektivní, dostáváme, že F ⊂ K, a proto F je nulová množina. Ale, pokud by byla Borelovsky měřitelná, pak g(F) by také bylo Borelovsky měřitelné (zde používáme fakt, že vzor Borelovské množiny pro spojitou funkci je měřitelný; g(F) = (g⁻¹)⁻¹(F) je vzor F spojitou funkcí h = g⁻¹.) Proto je F nulová, ale není Borelovsky měřitelnou množinou.

Haarova nulová množina

V separabilním Banachově prostoru (X, +) zobrazuje grupová operace jakoukoli podmnožinu A ⊂ X na převod A + x pro jakékoli x ∈ X. Pokud existuje pravděpodobnostní míra μ na σ-algebře Borelovských podmnožin množiny X, taková, že pro všechna x, μ(A + x) = 0, pak A je Haarova nulová množina.^[3]

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.^[4] Haarovy nulové množiny se používají v polských grupách pro důkaz, že, pokud A není množinou první kategorie, pak A⁻¹A obsahuje otevřené okolí neutrálního prvku.^[5] Tato vlastnost je pojmenována po Hugovi Steinhausovi protože je tvrzením Steinhausovy věty.

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Null set na anglické Wikipedii.

1. FRANKS, John. A (Terse) Introduction to Lebesgue Integration. [s.l.]: American Mathematical Society, 2009. (The Student Mathematical Library). ISBN 978-0-8218-4862-3. DOI 10.1090/stml/048. S. 28.
2. VAN DOUWEN, Eric K. Fubini's theorem for null sets. American Mathematical Monthly. 1989, roč. 96, čís. 8, s. 718–21. DOI 10.1080/00029890.1989.11972270. JSTOR 2324722.
3. MATOUSKOVA, Eva. Convexity and Haar Null Sets. Proceedings of American Mathematical Society. 1997, roč. 125, čís. 6, s. 1793–1799. Dostupné online. DOI 10.1090/S0002-9939-97-03776-3. JSTOR 2162223.
4. SOLECKI, S. Sizes of subsets of groups and Haar null sets. Geometric and Functional Analysis. 2005, roč. 15, s. 246–73. DOI 10.1007/s00039-005-0505-z. S2CID 11511821.
5. DODOS, Pandelis. The Steinhaus property and Haar-null sets. Bulletin of London Mathematical Society. 2009, roč. 41, čís. 2, s. 377–44. DOI 10.1112/blms/bdp014. S2CID 119174196. Bibcode 2010arXiv1006.2675D. arXiv 1006.2675.

Literatura

• CAPINSKI, Marek; KOPP, Ekkehard. Measure, Integral and Probability. [s.l.]: Springer, 2005. ISBN 978-1-85233-781-0. S. 16.
• JONES, Frank. Lebesgue Integration on Euclidean Spaces. [s.l.]: Jones & Bartlett, 1993. ISBN 978-0-86720-203-8. S. 107.
• OXTOBY, John C. Measure and Category. [s.l.]: Springer-Verlag, 1971. ISBN 978-0-387-05349-3. S. 3.

Související články

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