Math 2.0

Dynamical systems and ergodic theory Definition

Equicontinuous system

Builds on Metric spaceCompact spaceContinuous mapEquicontinuityIsometry

Definition

Let (X,d)(X, d) be a compact metric space and let f ⁣:X→Xf \colon X \to X be a continuous map. The system (X,f)(X, f) is equicontinuous if the family {fn:n≥0}\set{f^n : n \ge 0} is equicontinuous. Since XX is compact, this means uniform equicontinuity: for every ε>0\varepsilon > 0 there is δ>0\delta > 0 with d(fn(x),fn(y))<εd(f^n(x), f^n(y)) < \varepsilon for all n≥0n \ge 0 and all x,y∈Xx, y \in X with d(x,y)<δd(x, y) < \delta.

Remarks

For a homeomorphism one often asks the same of the family {fn:n∈ℤ}\set{f^n : n \in \Z}. Example: every isometry ff is equicontinuous with δ=ε\delta = \varepsilon, since d(fn(x),fn(y))=d(x,y)d(f^n(x), f^n(y)) = d(x, y); for instance the rotation x↦x+α mod 1x \mapsto x + \alpha \bmod 1 of the circle. Non-example: the doubling map f(x)=2x mod 1f(x) = 2x \bmod 1 on the circle ℝ/ℤ\R / \Z. Given δ>0\delta > 0, take x=0x = 0 and yy with 0<y<min⁡(δ,1/4)0 < y < \min(\delta, 1/4), and let nn be the first integer with 2ny≥1/42^n y \ge 1/4. Then fn(y)=2nyf^n(y) = 2^n y lies in [1/4,1/2)[1/4, 1/2), at distance at least 1/41/4 from fn(0)=0f^n(0) = 0, so the condition fails for ε=1/4\varepsilon = 1/4.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact space concept
  2. Continuous map concept
  3. Equicontinuity concept
  4. Isometry concept
  5. Metric space concept
  6. Equicontinuous system definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Equicontinuity
About this page
TagP6EQTZBBNT
URIm2://P6EQTZBBNT
Kinddefinition
WritingW0 stub
MSC37B05, 37B02
DefinesEquicontinuous system
UsesMetric space, Compact space, Continuous map, Equicontinuity, Isometry

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.