Nicht-wandernder Punkt

Beschreibung

Definition

Sei $X_A$ oder ${\Sigma }_A$ ein Untershift endlichen Typs. Ein Punkt $x\in X_A$ wir nicht-wandernd genannt, wenn für jede offene Menge $U$, die $x$ enthält ein $n\ne 0$ mit ${\sigma }^n(U)\cap U\ne \varnothing$.

Beachte, dass die offenen Mengen sich aus Schnitten von Zylindermenge zusammensetzen.

lit_kitchensSymbolicDynamicsOnesided2012