Cantors sats

Från Wikipedia
Hoppa till: navigering, sök

Cantors sats (efter Georg Cantor) är en sats inom mängdteorin som innebär att det inte finns någon gräns för hur stora kardinaltal man kan bilda: Om man bildar potensmängden av en mängd (ändlig eller oändlig), får man alltid en ännu större mängd. Att potensmängden till en mängd alltid är en mängd är innebörden i potensmängdsaxiomet.[1]

Satsen lyder: α < 2α för alla kardinaltal α.

Bevis[redigera | redigera wikitext]

Att potensmängden har större kardinalitet innebär att det inte finns någon bijektion f : XP(X). Vi kommer visa detta genom ett motsägelsebevis.

Antag att det finns en sådan avbildning f. Betrakta ett element i bildmängden: B := {xX : xf(x)} ∈ P(X). B är väldefinierad, eftersom f är väldefinierad. Eftersom f är bijektiv finns ett bX : f(b) = B. Vi ställer oss frågan: gäller b ∈ B?

Antag bB. Detta stämmer inte, ty B = f(b) och kravet för att vara med i B är just x ∉ f(x), så b ∉ B.

Antag b ∉ B. Detta kan inte heller stämma, ty B = f(b), så b uppfyller kravet för att vara med i B, så b ∈ B.

Motsägelse! Vårt ursprungliga antagande att det finns en sådan avbildning f måste därför förkastas, och satsen är bevisad.

B är ett exempel på en barberarmängd.

En annan formulering av samma sak är |α| < |P(α)| för alla mängder α. Här står P(α) för potensmängden av α (dvs mängden av alla delmängder till α) och |α| betyder kardinaliteten för α (dvs antalet element i α). Ett annat sätt att formulera satsen i ord är att säga att varje mängd har fler delmängder än den har element.

ℵ₀ är kardinaliteten för de naturliga talen, den minsta oändliga mängden. Enligt Cantors sats är alltså en större oändlighet. är kardinaliteten för de reella talen. Enligt kontinuumhypotesen är , dvs är den kardinalitet som följer närmast efter ℵ₀ i storleksordning. I vanlig mängdteori, ZFC, kan man dock inte bevisa att kontinuumhypotesen är vare sig sann eller falsk, det är ett så kallat oavgörbart påstående.

Referenser[redigera | redigera wikitext]

Noter[redigera | redigera wikitext]

  1. ^ Dag Prawitz. ”mängdteori”. Nationalencyklopedin. Bokförlaget Bra böcker AB, Höganäs. http://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/m%C3%A4ngdteori. Läst 30 september 2016.