Cantor-mängden
Cantor-mängden börjar med ett linjesegment och tar upprepade gånger bort den öppna mellersta tredjedelen från varje kvarvarande segment. Det som återstår ser gles ut, men dess matematik är anmärkningsvärt rik.
En konstruktion genom borttagning
Efter ett steg återstår två slutna tredjedelar; efter två, fyra niondelar; efter n steg återstår 2ⁿ segment med längden 3⁻ⁿ. Cantor-mängden är skärningsmängden av alla steg och innehåller punkter som aldrig tas bort.
Efter det första steget återstår två intervall med längden en tredjedel; efter det andra finns det fyra med längden en niondel, och efter steg n finns det 2ⁿ intervall med längden 3⁻ⁿ. Regeln är fullständig även om ingen skärm kan återge gränsmängden. En punkt tillhör mängden exakt då den aldrig hamnar i en borttagen mellersta tredjedel. Denna synvinkel förvandlar konstruktionen till ett exakt urvalsförfarande snarare än enbart en sekvens av tunnare linjer.
Noll längd, oräkneligt många punkter
De borttagna längderna summerar till ett, så den återstående mängden har en total längd på noll. Ändå är den oräknelig. Denna kontrast bidrog till att bryta ned intuitionen att en mängd med många punkter måste uppta en motsvarande stor längd.
Den totala längden som återstår efter n steg är (2/3)ⁿ och tenderar mot noll. Ändå innehåller gränsmängden oräkneligt många punkter: varje oändlig sekvens av val åt vänster och höger väljer ut en punkt. Längd noll betyder därför inte ”nästan inga punkter”; det betyder att det inte finns någon endimensionell utsträckning enligt Lebesgue-måttet. Skillnaden mellan kardinalitet och mått är en av anledningarna till att mängden har blivit historiskt lärorik.
Siffrorna avslöjar självlikheten
I bas tre kan punkter i Cantor-mängden representeras med endast siffrorna 0 och 2, med sedvanlig hänsyn till dubbla utvecklingar. Två logiska val av halv storlek förekommer vid varje steg, vilket ger likhetsdimensionen log 2 / log 3.
I ternär notation är de valda siffrorna exakt de som kan skrivas utan siffran 1: 0 väljer den vänstra grenen och 2 den högra. Geometrin blir en symbolisk sekvens. De första n siffrorna bestämmer ett intervall i steg n, medan de återstående siffrorna förfinar positionen inom detta intervall. Självlikhet framträder inte bara i bilden, utan också som en förskjutning som verkar på oändliga sekvenser.
Källor och vidare läsning
Denna artikel sammanfattar följande fackkällor i originalformuleringar. Hämtad och redaktionellt granskad 12 augusti 2026.
- Cantor SetWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley
Fortsätt tanken
Fraktaldimension
Vad fraktaldimensionen mäter, hur box counting fungerar och varför ett objekt kan ha mer än en meningsfull dimension.
Sierpińskis triangel och matta
Hur upprepad borttagning skapar exakt självlikhet, försvinnande area och en bro från Cantor-mängden till högre dimensioner.
När kurvorna blev ”patologiska”
Varför kontinuerliga, icke-glatta och rymdfyllande kurvor störde den klassiska intuitionen – och senare blev centrala exempel.