Cantormängden

Cantormängden är en fraktal uppkallad den rysk-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. Det här gör att
Cantordamm.

Storlek

Cantormängden har Lebesguemåttetet $0$. Cantormängden har samma kardinalitet som $\backslash mathbb\{R\}$. Cantormängdens dimensionstal är $\backslash frac\{\backslash ln(2)\}\{\backslash ln(3)\}$ vilket är ungefär $0,6309298$, 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 $1:3$. 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 sluten som en delmängd av intervallet $[0,1]$ (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 homeomorfn med $\backslash \{0,1\backslash \}^\{\backslash mathbb\{N\}\}$, rummet som består av oändliga följder av symbolerna $\backslash \{0,1\backslash \}$, där $\backslash \{0,1\backslash \}$ utrustats med den diskreta topologin, och $\backslash \{0,1\backslash \}^\{\backslash mathbb\{N\}\}$ med produkttopologi.

Algoritm:

En algoritm som skapar Cantormängden är som följer:

1. Tag en linje, (den översta raden i bilden ovan).
2. 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).
3. 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.

Funktionssystem:

För att förflytta sig från punkt till punkt i cantordammet så 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:

1. Välj två punkter (blå och röd i bilden ovan) och placera dig i den ena av dem.
2. Välj slumpvis någon av de två punkterna och förflytta dig $2/3$ av sträckan dit.
3. 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 ($i$) för att välja mellan två olika regeluppsättningar. I det här fallet antar alltså $i$ värdet $0$ eller $1$. (Skalningsfaktorn är samma i båda reglerna så den är inte indexerad.)

Regler:

$s\; =\; 1/3$

$a\_0\; =\; -2/3$

$a\_1\; =\; 2/3$

Funktion:

$x$_n+1$=\; sx\_n\; +\; a\_i$

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

Flera dimensioner:

Cantormängden i två eller flera dimensioner brukar i bland 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 o.s.v. Dimensionstalet för ett x/y-cantordamm är $log(4)/log(3)$ (fyra kopior, skala $1:3$) eller ungefär $1,26186$, för ett x/y/z-cantordamm blir dimensionstalet $log(8)/log(3)$ vilket är ungefär $1,892789$.