Versie van 3 jun 2010 07:32 bewerken ArthurBot (overleg \| bijdragen) 199.986 bewerkingen k robot Erbij: simple:Continuum hypothesis ← Oudere bewerking		Versie van 8 nov 2010 17:33 bewerken ongedaan maken Xiuzhen (overleg \| bijdragen) 11 bewerkingen k →‎Kardinaliteit van oneindige verzamelingen Nieuwere bewerking →
Regel 7: 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 het een stuk ingewikkelder om aan te tonen dat elementen tegen elkaar ~~weg~~ kunnen worden weggestreept. 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 van [[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.

Continuümhypothese: verschil tussen versies