Nulová množina

měřitelná množina, jejíž míra je nula

Nulová množina 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 je nulová množina množina taková, že .

PříkladEditovat

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.

DefiniceEditovat

Předpokládejme, že   je podmnožina reálné osy   taková, že

 

kde Un 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á.

VlastnostiEditovat

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íraEditovat

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   má nulovou Lebesgueovu míru a je považována za nulovou množinu v   právě tehdy, když:

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

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

Pokud λ je Lebesgueova míra na   a π je Lebesgueova míra na  , pak součinová míra  . A použitím nulových množin lze Fubiniovu větu vyjádřit následující ekvivalencí:[2]

  • Pro   a  
     

PoužitíEditovat

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 Lp 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áEditovat

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 Kc, a monotonně rostoucí na intervalu  , s f(0) = 0 a f(1) = 1. Zjevně je f(Kc) spočetná, protože obsahuje jeden bod pro každou komponentu Kc. Tedy f(Kc) 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ť Eg(K) je neměřitelná, a nechť F = g−1(E). Protože g je injektivní, dostáváme, že FK, 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−1)−1(F) je vzor F spojitou funkcí h = g−1.) Proto je F nulová, ale není Borelovsky měřitelnou množinou.

Haarova nulová množinaEditovat

V separabilním Banachově prostoru (X, +) zobrazuje grupová operace jakoukoli podmnožinu AX na převod A + x pro jakékoli xX. 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−1A 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.

OdkazyEditovat

ReferenceEditovat

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. 

LiteraturaEditovat

  • 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ánkyEditovat