Beschreibung

Die Volle Zeltabbildung (full tent map) ist ein Beispiel eines Dynamisches System, welches durch symbolische Dynamik, d.h. durch einen Untershift endlichen Typs modelliert werden kann.

Definition

Die Volle Zeltabbildung ist eine Abbildung definiert durch folgenden Graphen: \frac{1}{2}], P_{1} = [\frac{1}{2}, 1]I = [0, 1]\mathcal{P} = {P_{1}, P_{2}}I$.

Für jeden Punkt und jedes , liegt in einer der beiden Partitionen. Man kann also jedem Punkt eine Folge in zuweisen. Wir bezeichnen diese Folge als P-Name von . Der P-Name muss nicht notwendigerweise eindeutig sein. Der Punkt hat zwei P-Namen , da auf dem Rand der beiden Teilmengen liegt.

Wir beobachten, dass die Partition die Markow-Bedingung erfüllt. D.h. jedes Bild eines Intervalls ist eine Vereinigung von Intervallen der Zerlegung. In diesem Fall gilt: . Als Folge hat logischerweise jeder Punkt mindestens einen -Namen. Des Weiteren ist jeder -Name mindestens einem Punkt zugehörig. In diesem konkreten Fall ist der Punkt sogar eindeutig bestimmt.

Ich finde, all das klingt mir sehr nach den Rademacher Funktionen. Da kodiert man auch Punkte durch einen unendlich Langen Code.

Wir können also nun eine Abbildung definieren, die jedem -Namen einen Punkt zuordnet. hat folgende Eigenschaften:

  1. ist stetig
  2. ist surjektiv
  3. ist bijektiv auf mindestens der Menge der transitiven Punkte
  4. jedes Bild hat höchstens zwei Urbilder

ist ein Beispiel einer Markov-Zerlegung

Eigenschaften

Eigenschaft

lit_kitchensSymbolicDynamicsOnesided2012