Questions tagged [topological-dynamics]

Topological dynamics is a subfield of the area of dynamical systems. The main focus is properties of dynamical systems that can be formulated using topological objects.

Classical objects of study in topological dynamics are (iterates of) homeomorphisms (or continuous self-maps) of compact metric spaces, or continuous flows (or semiflows) of compact metric spaces. That is, topological dynamics is interested in group homomorphisms $\alpha_\bullet:T\to \operatorname{Homeo}(X)$ with $\alpha:T\times X\to X, (t,x)\mapsto \alpha_t(x)$ continuous, where $T=\mathbb{Z}$ or $T=\mathbb{R}$ and $X$ is a compact metric space. Topologico-dynamical objects that can be attached to such a dynamical system include $\alpha-$ and $\omega-$limit sets, nonwandering sets, chain recurrent sets, various sets of return time and topological entropy. By using various sets of return time one can formulate different mixing properties in the topological category in a way analogous to the mixing properties in ergodic theory.

More generally one can consider group actions of more general (typically locally compact Hausdorff second countable) groups on a topological space (typically Hausdorff, but not necessarily compact, nor necessarily metrizable). Topological entropy is a uniformity property; accordingly actions of groups on uniform spaces via uniform homeomorphisms are also considered.

In the classical case a theorem by Krylov-Bogoliubov guarantees that a topological dynamical system has at least one invariant Borel probability measure. In this way there is an intimate relation between topological dynamics and ergodic theory. Indeed one may consider the Krylov-Bogoliubov theory as attaching to a topological dynamical system another topological dynamical system, where the state space is the compact metric space of probability measures on the original state space.

107 questions
53
votes
1 answer

Is the sequence $(a_n)$ defined by $a_n=\tan{a_{n-1}}$, $a_0=1$, dense in $\Bbb{R}$?

Let $a_0=1,a_n=\tan{a_{n-1}}$. Then is $\{a_n\}_{n=0}^\infty$ dense in $\Bbb{R}$? I've drawn a map of this dynamical system and it seems that the sequence is dense on $\Bbb{R}$.
10
votes
1 answer

Is "shadowing" invariant under topological conjugacy?

A homeomorphism $f: X \rightarrow X$ of a metric space is said to have the shadowing property if for all $\varepsilon > 0$ there is a $\delta>0$ such that for every sequence $(x_n)_{-\infty}^{\infty}$ with $$d(x_{n+1},f(x_n))<\delta$$ there is a…
9
votes
1 answer

Does compact orbit imply periodicity?

A continuous dynamical system on a metric space $X$ is given by: $\varphi : \mathbb{R} \times X \rightarrow X$ - continuous s.t. $\varphi (0,x) = x$ for every $x \in X$ $\varphi (t, \varphi(s,x) ) = \varphi(s+t, x)$ for all $s, t \in \mathbb{R}, \…
8
votes
1 answer

Existence of Topologically Transitive Maps on nice Metric Spaces

Let $(X,d)$ be a separable metric space with no isolated points. Recall that a continuous function $T:(X,d)\rightarrow (X,d)$ is called topologically transitive if Given $U,V$ non-empty open subsets of $(X,d)$ there is some positive integer $n$…
8
votes
2 answers

Intuition of cocycles and their use in dynamical systems

I’ve come across several papers and lectures that use co-cycles to talk about dynamics on a manifold. However, I haven’t come across an actual definition of what a co-cycle is. Could someone give a brief description for intuition and provide…
8
votes
1 answer

Meaning of the term "topologically mixing"

I understand that for a system to behave chaotically, it needs to be "topologically mixing". However, I am not sure what that term really means. There are several explanations of this online. Thought, I haven't found an explanation for the…
6
votes
2 answers

Existence of a minimal continuous map on $S^1 \times [0, 1]$

First please see the question: Let $X = S^1 \times [0, 1]$. Does there exist a continuous map $f: X \rightarrow X$ satisfying, for any point $x \in X$, $\{f^{(n)}(x)\}_{n=1}^\infty$ is dense in $X$? Here we denote $f^{(n)}=f \circ f \circ ... \circ…
5
votes
1 answer

Are all Bernoulli measure preserving homeomorphisms of the Cantor space eventually tree automorphisms?

Setting: Consider the Cantor space $X=\{0,1\}^\mathbb{N}$. For $n\in\mathbb{N}$ and $\bar{x}\in\{0,1\}^n$, we define the cylinder sets $Z_{\bar{x}}:=\{x\in X: (x_1,\dots,x_n)=\bar{x}\}$, sot that $X=\bigsqcup_{\bar{x}\in\{0,1\}^n}Z_{\bar{x}}$. Let's…
5
votes
1 answer

Is my understanding of "subshifts of finite type" correct?

I am reading some lecture notes on Dynamical Systems, and I arrived at subshifts of finite type (ssft). The professor defines $\sum_n^+$ as the set of all one-sided sequences $.s_0s_1s_2...$ where for each $i$, $s_i \in \{0, 1, 2, ..., n-1\}.$ Then,…
5
votes
1 answer

A Weaker Notion of a Flow in a Metric Space

I am seeing the definition of flow in a metric space: $f:M\times \mathbb{R}\rightarrow M$ is one flow if $M$ is metric space, $f$ is continuous and $f(x,t+s)=f(f(x,t),s)$. Note that the condition does not require $f(x,0)=x$. My question is this:…
5
votes
1 answer

Katok/ Hasselblatt: Attractor of dynamical system: How to understand this remark?

In "Introduction to Modern Theory of Dynamical System" by Katok and Hasselblatt, the following definition of attractor is given: Definition 3.3.1 A compact set $A\subset X$ is called an attractor for $f$ if there exists a neighborhood $V$ of $A$…
user34632
4
votes
1 answer

Rotation number invariant under topological semi-conjugacy.

For a circle homeomorphism $f: S^1 \rightarrow S^1$ we can define the the rotation number $$ \rho(f) = \lim_{n \rightarrow \infty} \frac{1}{n}(F^n(x) - x) \mod 1, $$ for a lift $F:\mathbb{R} \rightarrow \mathbb{R}$ of $f$ and a point $x \in…
4
votes
1 answer

Invariant probability measure on a finite union of invariant sets as convex combination

I have the following question: Let $X$ be a compact Hausdorff topological space with a continuous group action from a topological amenable group $G$. Assume I have finitely many closed invariant subsets $Y_1,...,Y_k\subseteq X$. If I am not…
4
votes
1 answer

Other invariant measures than Lebesgue measure?

Consider a rational rotation of the circle. What are other invariant measures different than the Lebesgue measure? Any hints will be greatly appreciated!
4
votes
0 answers

Is there a general solution to $f(x)=f^{\circ n}(x)$?

This question has crossed my mind, and I tried finding some solutions to that functional equation, then to find a pattern. It's surprisingly hard to find real functional equation calculators online, so I only found 3…
1
2 3 4 5 6 7 8