Orbit capacity

In mathematics, orbit capacity of a subset of a topological dynamical system may be thought of heuristically as a “topological dynamical probability measure” of the subset. More precisely its value for a set is a tight upper bound for the normalized number of visits of orbits in this set.

Definition

A topological dynamical system consists of a compact Hausdorff topological space X and a homeomorphism $T:X\rightarrow X$ . Let $E\subset X$ be a set. Lindenstrauss introduced the definition of orbit capacity[1]:

\operatorname {ocap} (E)=\lim _{n\rightarrow \infty }\sup _{x\in X}{\frac {1}{n}}\sum _{k=0}^{n-1}\chi _{E}(T^{k}x)

Properties

Orbit capacity is sub-additive:

\operatorname {ocap} (A\cup B)\leq \operatorname {ocap} (A)+\operatorname {ocap} (B)

For a closed set C,

\operatorname {ocap} (C)=\sup _{\mu \in \operatorname {M} _{T}(X)}\mu (C)

where M_T(X) is the collection of T-invariant probability measures on X.

Small sets

When $\operatorname {ocap} (A)=0$ , $A$ is called small. These sets occur in the definition of the small boundary property.

gollark: I could make some kind of callback-based thing, but æ.

gollark: The current version uses a bunch of `defer`s to deallocate stuff as needed (I don't *think* it has any horrible memory leaks!). This works fine given that that stuff is all within one function, but I need similar logic in another one.

gollark: I just want to know how to idiomatically make GCable wrappers for the various C objects.

gollark: No, I have that stuff done.

gollark: I want a *different* set of "OPERATIONS ON RELEVANT NODE THING" and no HTML generation at the end, and it would be bees to just copy-paste the function here.

References

Lindenstrauss, Elon (1999-12-01). "Mean dimension, small entropy factors and an embedding theorem". Publications Mathématiques de l'Institut des Hautes Études Scientifiques. 89 (1): 232. doi:10.1007/BF02698858. ISSN 0073-8301.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Lindenstrauss, Elon (1999-12-01). "Mean dimension, small entropy factors and an embedding theorem". Publications Mathématiques de l'Institut des Hautes Études Scientifiques. 89 (1): 232. doi:10.1007/BF02698858. ISSN 0073-8301.