Verschillen tussen alef-nul en alef-één
J.A. van Delft (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Klaas Pieter Hart – Mentor (TU Delft - Analysis)
G. Jongbloed – Graduation committee member (TU Delft - Statistics)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
De 'grootte' van een verzameling staat in de wiskunde bekend onder de term 'kardinaliteit'. Omdat de kardinaliteit van de natuurlijke getallen niet met een eindig natuurlijk getal n kan worden aangetoond, is de kardinaliteit van deze verzameling uniek gedefinieerd als alef-nul. Met dank aan Cantor’s bewijs voor de stelling dat de verzameling reële getallen overaftelbaar is, weet men dat er verzamelingen bestaan met kardinaliteit groter dan alef-nul. De eerstvolgende verzameling die groter is dan de verzameling natuurlijke getallen geven we kardinaliteit alef-één.
Vanzelfsprekend zijn er voor verzamelingen met kardinaliteit alef-nul talloze mooie stellingen geformuleerd en bewezen. Deze stellingen kunnen eenvoudig worden uitgebreid naar verzamelingen met kardinaliteit alef-één, door de term 'eindig' in 'oneindig' te veranderen en 'aftelbaar' in 'overaftelbaar'. Het valt echter op dat sommige stellingen die gelden voor verzamelingen met kardinaliteit alef-nul niet meer gelden nadat ze zijn uitgebreid naar verzamelingen met kardinaliteit alef-één. Het kan ook gebeuren dat een stelling juist wel in het overaftelbare geval geldt, maar niet in het aftelbare geval. In dit verslag zullen een aantal dergelijke stellingen aan bod komen.