Sierpińskimängd

Inom matematiken är en Sierpińskimängd en överuppräknelig delmängd av ett reellt vektorrum vars snitt med varje mängd med mått noll är uppräknelig. Huruvida Sierpińskimängder existerar eller inte är oberoende av axiomen i Zermelo–Fraenkels mängdteori. Sierpiński (1924) bevisade att de existerar under antagande av kontinuumhypotesen. Å andra sidan kan de inte existera om Martins axiom för ℵ₁ är sann. Sierpińskimängder är svaga Luzinmängder men inte Luzinmängder (Kunen 2011, p. 376).

Exempel på en Sierpińskimängd

Välj en samling av 2^ℵ₀ delmängder av R med mått noll så att varje mängd av mått noll är en delmängd av någon av dem. Enligt kontimuumhypotesen går det att ordna dem som S_α för uppräkneliga ordinaler α. För varje uppräknelig ordnial β välj ett reellt tal x_β som inte är i någon av mängderna S_α för α < β; detta är möjligt eftersom unionen av dessa mängder ha mått noll och är alltså inte lika med hela R. Då är den överuppräkneliga mängden X av alla reella tal x_β bara ett uppräkneligt antal element i varje mängd S_α och är alltså en Sierpińskimängd.

Det är möjligt för en Sierpińskimängd att vara en grupp under addition. För detta ändamål modifierar man konstruktionen ovan genom att välja ett reellt tal x_β som inte är i någon av de uppräkneliga mängen av mängder av formen (S_α + X)/n for α < β, där n är ett positivt heltal och X är en integral linjär kombination av talen x_α för α < β. Då är gruppen genererad av dessa tal en Sierpińskimängd och en grupp under addition. Mer komplicerade variationer av denna konstruktion ger Sierpińskimängder som är delkroppar eller reellt slutna delkroppar av reella talen.

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Sierpiński set, 2 februari 2015.

• Kunen, Kenneth (2011), Set theory, Studies in Logic, "34", London: College Publications, ISBN 978-1-84890-050-9 
• Sierpiński, W. (1924), ”Sur l'hypothèse du continu (2^ℵ₀ = ℵ₁)”, Fundamenta Mathematicae 5 (1): 177–187, http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv5i1p23bwm