Continuümhypothese: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
JRB (overleg | bijdragen)
Geen bewerkingssamenvatting
JRB (overleg | bijdragen)
kGeen bewerkingssamenvatting
Regel 2:
:''Er bestaat geen verzameling, waarvan de kardinaliteit tussen de kardinaliteit van de gehele getallen en de kardinaliteit van de reële getallen ligt.''
 
De ''continuümhypothese'' stelt dat de [[kardinaliteit]] van de verzameling [[reëel getal|reële getallen]] (het [[continuüm (wiskunde)|continuüm]]) het eerste [[overaftelbaarheid|overaftelbare]] kardinaalgetal is, oftewel het eerste kardinaalgetal groter dan de kardinaliteit van de [[natuurlijk getal|natuurlijke getallen]]. De naam van de hypothese is afkomstig van de term [[continuüm (wiskunde) |''het continuüm'']] voor de reële getallen.
 
== Kardinaliteit van oneindige verzamelingen ==
Van twee verzamelingen wordt gezegd dat zij dezelfde ''[[kardinaliteit]]'' of hetzelfde ''[[kardinaalgetal]]'' hebben als er een [[bijectie]] (een een-op-een-correspondentie) tussen deze twee [[verzameling (wiskunde)|verzameling]]en bestaat. Intuïtief gesproken hebben twee verzamelingen ''S'' en ''T'' dezelfde kardinaliteit als het mogelijk is om [[element (wiskunde)|element]]en van ''S'' op zodanige wijze tegen elementen van ''T'' weg te strepen dat elk element van ''S'' gekoppeld is aan precies een element van ''T'' en dat andersom elk element van ''T'' gekoppeld is aan precies een element van ''S''. Vandaar dat bijvoorbeeld de verzameling {banaan, appel, peer} dezelfde kardinaliteit, drie, heeft als de verzameling {geel, rood, groen}.
 
Met [[oneindige verzameling]]en, zoals de verzameling van [[geheel getal|gehele getal]]len of de [[rationaal getal|rationale getal]]len, wordt een stuk ingewikkelder om aan te tonen dat elementen tegen elkaar weg kunnen worden gestreeptweggestreept. De [[rationaal getal|rationale getal]]len vormen schijnbaar een tegenvoorbeeld van de continuümhypothese: de rationale getallen vormen aan de ene kant een [[superset]] van de [[geheel getal|gehele getal]]len en aan de andere kant een [[deelverzameling]] van de rationale getallen. Intuïtief zou men dus mogen verwachten dat er meer rationale getallen dan gehele getallen en minder rationale getallen dan reële getallen bestaan. Het blijkt echter dat de rationale getallen in [[bijectie|een-op-een correspondentie]] met de gehele getallen kunnen worden geplaatst, en dat dus de verzameling van rationale getallen dezelfde grootte heeft als de verzameling van de gehele getallen; het zijn beide [[aftelbare verzameling]]en.
 
Cantor gaf twee [[bewijs (wiskunde)|bewijzen]] dat de kardinaliteit van de verzameling ven [[geheel getal|gehele getal]]len strikt genomen kleiner is dan de verzameling van [[reëel getal|reële getal]]len; Zijn tweede bewijs is het [[diagonaalbewijs van Cantor]]. Zijn bewijzen geven echter geen indicatie van de mate, waarin de kardinaliteit van de natuurlijke getallen kleiner is dan de kardinaliteit van de reële getallen. Cantor stelde de continuümhypothese als een mogelijk antwoord op deze vraag voor.