Cantor-mængden
Cantor-mængden starter med et linjestykke, hvorfra den åbne midterste tredjedel gentagne gange fjernes fra hvert tilbageværende stykke. Det, der er tilbage, ser sparsomt ud, men matematikken bag er bemærkelsesværdigt rig.
En konstruktion ved fjernelse
Efter ét trin forbliver to lukkede tredjedele; efter to, fire niendedele; efter n trin forbliver 2ⁿ segmenter med længden 3⁻ⁿ. Cantor-mængden er skæringsmængden af alle trin og indeholder punkter, der aldrig fjernes.
Efter det første trin forbliver der to intervaller med længden en tredjedel; efter det andet er der fire med længden en niendedel, og efter trin n er der 2ⁿ intervaller med længden 3⁻ⁿ. Reglen er fuldstændig, selvom ingen skærm kan tegne grænsesættet. Et punkt hører præcist til, når det aldrig falder inden for en fjernet midterste tredjedel. Denne opfattelse gør konstruktionen til en præcis udvælgelsesprocedure snarere end blot en række tyndere linjer.
Nul længde, utallige punkter
De fjernede længder udgør tilsammen én, så den resterende mængde har en samlet længde på nul. Ikke desto mindre er den utællelig. Denne kontrast var med til at nedbryde den intuitive opfattelse, at en mængde med mange punkter nødvendigvis må have en tilsvarende stor længde.
Den samlede længde, der er tilbage efter n trin, er (2/3)ⁿ og tenderer mod nul. Ikke desto mindre indeholder grænsemængden utallige punkter: hver uendelig rækkefølge af valg til venstre og højre udvælger ét punkt. Længde nul betyder derfor ikke »næsten ingen punkter«; det betyder ingen endimensional udstrækning i Lebesgue-målet. Adskillelsen mellem kardinalitet og mål er en af grundene til, at mængden historisk set er blevet lærerig.
Cifrene afslører selvlignheden
I talsystemet med base tre kan punkter i Cantor-mængden repræsenteres ved udelukkende at bruge cifrene 0 og 2, idet der som sædvanlig tages højde for duale udvidelser. Der forekommer to logiske valgmuligheder af halv størrelse ved hvert trin, hvilket giver en lighedsdimension på log 2 / log 3.
I ternær notation er de valgte tal netop dem, der kan skrives uden cifferet 1: 0 vælger den venstre gren og 2 den højre. Geometrien bliver en symbolsk sekvens. De første n cifre bestemmer et interval på trin n, mens de resterende cifre præciserer placeringen inden for dette interval. Selvlighed vises ikke kun i billedet, men også som en forskydning, der virker på uendelige sekvenser.
Kilder og yderligere læsning
Denne artikel sammenfatter følgende faglige kilder i den oprindelige ordlyd. Tilgået og redaktionelt gennemgået 12 august 2026.
- Cantor SetWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley
Fortsæt ideen
Fraktaldimension
Hvad fraktaldimensionen måler, hvordan boksoptælling fungerer, og hvorfor et objekt kan have mere end én meningsfuld dimension.
Sierpiński-trekanten og -tæppet
Hvordan gentagen fjernelse skaber eksakt selvlignhed, forsvindende areal og en bro fra Cantor-mængden til højere dimensioner.
Da kurverne blev »patologiske«
Hvorfor forstyrrede kontinuerlige, ikke-glatte og rumfyldende kurver den klassiske intuition – og senere blev centrale eksempler.