English

Measure-theoretic mean equicontinuity and bounded complexity

Dynamical Systems 2018-07-17 v1

Abstract

Let (X,B,μ,T)(X,\mathcal{B},\mu,T) be a measure preserving system. We say that a function fL2(X,μ)f\in L^2(X,\mu) is μ\mu-mean equicontinuous if for any ϵ>0\epsilon>0 there is kNk\in \mathbb{N} and measurable sets A1,A2,,Ak{A_1,A_2,\cdots,A_k} with μ(i=1kAi)>1ϵ\mu\left(\bigcup\limits_{i=1}^k A_i\right)>1-\epsilon such that whenever x,yAix,y\in A_i for some 1ik1\leq i\leq k, one has lim supn1nj=0n1f(Tjx)f(Tjy)<ϵ. \limsup_{n\to\infty}\frac{1}{n}\sum_{j=0}^{n-1}|f(T^jx)-f(T^jy)|<\epsilon. Measure complexity with respect to ff is also introduced. It is shown that ff is an almost periodic function if and only if ff is μ\mu-mean equicontinuous if and only if μ\mu has bounded complexity with respect to ff. Ferenczi studied measure-theoretic complexity using α\alpha-names of a partition and the Hamming distance. He proved that if a measure preserving system is ergodic, then the complexity function is bounded if and only if the system has discrete spectrum. We show that this result holds without the assumption of ergodicity.

Keywords

Cite

@article{arxiv.1807.05868,
  title  = {Measure-theoretic mean equicontinuity and bounded complexity},
  author = {Tao Yu},
  journal= {arXiv preprint arXiv:1807.05868},
  year   = {2018}
}

Comments

arXiv admin note: text overlap with arXiv:1806.02980 by other authors

R2 v1 2026-06-23T03:02:42.204Z