Overaftelbare verzameling

Een overaftelbare verzameling is in de wiskunde een verzameling waarvan de elementen niet kunnen worden afgeteld. Het is in ieder geval een oneindige verzameling, zelfs zo dat de kardinaliteit ervan groter is dan die van de verzameling ${\displaystyle \mathbb {N} }$ van de natuurlijke getallen. Een overaftelbare verzameling heeft wezenlijk meer elementen dan de natuurlijke getallen. Dit betekent dat er geen bijectie tussen een overaftelbare verzameling en ${\displaystyle \mathbb {N} }$ kan worden gegeven. Een verzameling die behalve alle natuurlijke getallen nog meer elementen bevat, kan daarentegen aftelbaar zijn, zoals de gehele getallen. De kardinaliteit van ${\displaystyle \mathbb {N} }$ is dezelfde als de kardinaliteit van de rationale getallen ${\displaystyle \mathbb {Q} }$, net zoals van de gehele getallen.

De kardinaliteit van ${\displaystyle \mathbb {N} }$ wordt ${\displaystyle \aleph _{0}}$ genoemd. Een voorbeeld van een overaftelbare verzameling vormen de reële getallen ${\displaystyle \mathbb {R} }$ groter dan twee en kleiner dan drie. Daarvan zijn er zo veel dat ze niet kunnen worden afgeteld, is die verzameling overaftelbaar, dus heeft een grotere kardinaliteit dan ${\displaystyle \mathbb {N} }$.

Het diagonaalbewijs van Cantor is een bewijs uit het ongerijmde dat ${\displaystyle \mathbb {R} }$ niet kan worden afgeteld, dus dat ${\displaystyle \mathbb {R} }$ overaftelbaar is. De verzameling van de transcendente getallen is overaftelbaar. Hun kardinaliteit is gelijk aan die van ${\displaystyle \mathbb {R} }$. Twee verzamelingen met dezelfde kardinaliteit worden gelijkmachtig genoemd.