Cantormängden

Cantormängden är en fraktal uppkallad av mängdteori efter den tyske matematikern Georg Cantor. Cantormängden motsvaras av någonting mellan en punkt och en linje, en bruten linje, där linjens fragment (punkter) samlar sig i kluster som grupperar sig två och två och där varje kluster innehåller två nya kluster.

Konstruktion 
Man kan konstruera Cantormängden på följande sätt:
 Tag en linje (den översta raden i bilden ovan).
 Gör två kopior av linjen och förminska dessa till en tredjedel av den ursprungliga längden. Sätt sedan upp kopiorna så att deras ytterändar når samma punkt som ändan på den ursprungliga linjen, (nästa rad).
 Upprepa från steg 2 för varje ny linje som uppstått.

Alternativt kan man i steg två välja att avlägsna den mellersta tredjedelen av linjen, det ger samma resultat.

En explicit formel för Cantormängden är

 

eller

Storlek 
Cantormängden har Lebesguemåttet . Den har dock samma kardinalitet som . Dess dimensionstal är  vilket är ungefär , där det dimensionsbegrepp som använts är Hausdorffdimension. Det kommer av att den har en självliknande struktur: den består av två kopior av sig själv, var och en skalad med en faktor av . Se artikel om Hausdorffdimension för vidare diskussion om dimensionen hos fraktaler.

Topologiska egenskaper 
Eftersom Cantormängden är komplementet till en union av öppna mängder är den en sluten mängd som en delmängd av intervallet  (med avseende på den vanliga topologin). Därför är den också kompakt och ett fullständigt metriskt rum. Det gäller också att varje punkt i Cantormängden är en hopningspunkt. Cantormängden är homeomorf med , rummet som består av oändliga följder av symbolerna , där  utrustats med den diskreta topologin, och  med produkttopologin.

Funktionssystem 
För att förflytta sig från punkt till punkt i cantordammet kan man bruka ett itererande funktionssystem, så kallad IFS. Sådana finns det en mängd olika som kan skapa en Cantormängd. Här följer exempel på två metoder:

Slumpvandring 

 Välj två punkter (blå och röd i bilden ovan) och placera dig i den ena av dem.
 Välj slumpvis någon av de två punkterna och förflytta dig  av sträckan dit.
 Markera aktuell position (grön punkt i biden) och upprepa sedan från steg 2.

Slumpspelet 
Om man vill bruka ett lite mer matematiskt språk så är en annan typ av IFS, "slumpspelet" lite enklare att använda. Här används ett slumptal som index () för att välja mellan två olika regeluppsättningar. I det här fallet antar alltså  värdet  eller . (Skalningsfaktorn är samma i båda reglerna så den är inte indexerad.)

Regler:

Funktion:
n+1

Om utgångsläget,  sätts till en punkt på Cantormängden så kommer sedan varje ny iteration av systemet låta värdet på  hoppa mellan punkterna i Cantormängden på samma sätt som vid "slumpvandring" ovan. Värdena på den indexerade konstanten  är inte absoluta utan bestämmer cantordammets utbredning, med de aktuella värdena så kommer utbredningen vara . Skalningsfaktorn däremot är av större betydelse,  är det kanoniska cantordammet men alla värden  fungerar. (Större värden ger en linje, ).

Flera dimensioner 
Cantormängden i två eller flera dimensioner brukar ibland kallas för Cantordamm.

Om man lägger till en y-axel och behandlar den separat på samma sätt som x-axeln, så skapas en Cantormängd i två dimensioner, med en z-axel så erhålls tre dimensioner och så vidare Dimensionstalet för ett x/y-cantordamm är  (fyra kopior, skala ) eller ungefär , för ett x/y/z-cantordamm blir dimensionstalet  vilket är ungefär .


Externa länkar 

Fraktaler
Topologiska rum
Reella talmängder