Cantormängden

Från Wikipedia
Hoppa till: navigering, sök

Cantormängden är en fraktal uppkallad efter 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.

Cantormängden i sju iterationer.

Konstruktion

Man kan konstruera Cantomängden på följande sätt:

  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.

Storlek

Cantormängden har Lebesguemåttet 0. Cantormängden har samma kardinalitet som \mathbb{R}. Cantormängdens dimensionstal är \frac{\ln(2)}{\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 en sluten mängd 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 homeomorf med  \{0,1\}^{\mathbb{N}} , rummet som består av oändliga följder av symbolerna  \{0,1\}, där  \{0,1\} utrustats med den diskreta topologin, och  \{0,1\}^{\mathbb{N}} med produkttopologin.

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

Cantormängden, (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:
xn+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 -1 < x_n < 1. Skalningsfaktorn däremot är av större betydelse, 1/3 är det kanoniska cantordammet men alla värden 0 < s < (1/2) 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.

Cantordamm i två dimensioner
Cantordamm i tre dimensioner (Cantorkub)

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 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.