De Cantor-verzameling
De Cantor-verzameling begint met een lijnsegment en verwijdert herhaaldelijk het open middelste derde deel uit elk overblijvend segment. Wat overblijft ziet er schaars uit, maar de wiskunde erachter is opmerkelijk rijk.
Een constructie door weg te laten
Na één stap blijven twee gesloten derde delen over; na twee stappen, vier negende delen; na n stappen blijven 2ⁿ segmenten met lengte 3⁻ⁿ over. De Cantor-verzameling is de doorsnede van alle stadia en bevat punten die nooit worden verwijderd.
Na de eerste stap blijven er twee intervallen over met een lengte van een derde; na de tweede stap zijn er vier met een lengte van een negende, en na stap n zijn er 2ⁿ intervallen met een lengte van 3⁻ⁿ. De regel is volledig, ook al kan geen enkel beeldscherm de grensverzameling weergeven. Een punt behoort precies tot de verzameling wanneer het nooit in een verwijderd middelste derde valt. Deze visie maakt van de constructie een exacte selectieprocedure in plaats van louter een reeks dunnere lijnen.
Lengte nul, ontelbaar veel punten
De lengtes van de verwijderde elementen bedragen samen één, dus de resterende verzameling heeft een totale lengte van nul. Toch is deze ontelbaar. Dit contrast hielp de intuïtie te ontkrachten dat een verzameling met veel punten een navenant grote lengte moet innemen.
De totale lengte die overblijft na n fasen is (2/3)ⁿ en neigt naar nul. Niettemin bevat de limietverzameling ontelbaar veel punten: elke oneindige reeks van keuzes naar links en naar rechts selecteert één punt. Een lengte van nul betekent daarom niet „bijna geen punten“; het betekent dat er geen eendimensionale uitstrekking is in de Lebesgue-maat. Het onderscheid tussen kardinaliteit en maat is een van de redenen waarom deze verzameling historisch gezien leerzaam is geworden.
Cijfers onthullen de zelfgelijkvormigheid
In het drietallig stelsel kunnen punten van de Cantor-verzameling worden weergegeven met uitsluitend de cijfers 0 en 2, waarbij de gebruikelijke zorg voor duale uitbreidingen in acht wordt genomen. Bij elke stap doen zich twee logische keuzes van halve grootte voor, wat een gelijkenisdimensie oplevert van log 2 / log 3.
In ternaire notatie zijn de geselecteerde getallen precies die welke zonder het cijfer 1 kunnen worden geschreven: 0 kiest de linkertak en 2 de rechtertak. Geometrie wordt een symbolische reeks. De eerste n cijfers bepalen een interval in fase n, terwijl de resterende cijfers de locatie daarbinnen verfijnen. Zelfgelijkvormigheid komt niet alleen in de afbeelding tot uiting, maar ook als een verschuiving die inwerkt op oneindige reeksen.
Bronnen en verdere literatuur
Dit artikel vat de volgende gespecialiseerde bronnen samen in de oorspronkelijke bewoordingen. Geraadpleegd en redactioneel beoordeeld 12 augustus 2026.
- Cantor SetWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley
Ga verder met het idee
Fractale dimensie
Wat de fractale dimensie meet, hoe box counting werkt en waarom één object meer dan één betekenisvolle dimensie kan hebben.
Sierpiński-driehoek en -tapijt
Hoe herhaaldelijk verwijderen exacte zelfgelijkvormigheid, een verdwijnend gebied en een brug van de Cantor-verzameling naar hogere dimensies creëert.
Toen krommen ‘pathologisch’ werden
Waarom continue, nergens gladde en ruimtevullende krommen de klassieke intuïtie verstoorden – en later centrale voorbeelden werden.