Question about probability spaces $(X,\mathcal B,\mu)$ with a measurable map $T\colon X\to X$ preserving the measure, that is $\mu(T^{—1}A)=\mu(A)$ for all $A$ measurable.

learn more… | top users | synonyms

11
votes
1answer
305 views

$(n^2 \alpha \bmod 1)$ is equidistributed in $\mathbb{T}^2$ if $\alpha \in \mathbb{R} \setminus \mathbb{Q}$

I did the following homework question, can you tell me if I have it right? We want to show that the sequence $(n^2 \alpha \bmod 1)$ is equidistributed if $\alpha \in \mathbb{R} \setminus \mathbb{Q}$. ...
6
votes
2answers
400 views

Chaos and ergodicity in hamiltonian systems

EDIT : I formerly claimed something incorrect in my question. The Liouville measure needs NOT be ergodic on hypersurfaces of constant energy. Also, I found out that NO hamiltonian system can be ...
6
votes
1answer
194 views

Lemma in Petersen's *Ergodic Theory*

I'm trying to understand the proof of Lemma 6.2.1 (p.260-261) in Petersen's Ergodic Theory. Specifically, I don't understand why $B_{n}^{A} \in \mathscr{B}(T^{-1}\alpha \vee \dots \vee T^{-n}\alpha)$ ...
4
votes
1answer
134 views

Definition of entropy of an ergodic measure

I'm reading a paper in which it is stated that The entropy of an ergodic measure is defined as $$\lim_{n \to \infty} -\frac{1}{n} \sum_{|w|=n} \mu[w] \log \mu[w].\tag{1} \label{eq:1}$$ Here ...
1
vote
0answers
91 views

To construct an invariant measure on the product space

$M$ is a separable complete metric space. $N$ is a compact metric space. $F$, defined by $F(x,y)=(f(x),g(x,y))$, is a continuous transformation from $M\times N$ to itself. We know there is a measure ...
12
votes
2answers
934 views

Why is “h” used for entropy?

Why is the letter "h" (or "H") used to denote entropy in information theory, ergodic theory, and physics (and possibly other places)? Edit: I'm looking for an explanation of the original use of "H". ...
2
votes
1answer
403 views

How does the pointwise ergodic theorem generalize the strong law of large numbers?

I've heard (e.g. here) that the pointwise ergodic theorem (PWET) generalizes the strong law of large numbers (SLLN). How exactly does the PWET generalize the SLLN? The PWET requires a ...
2
votes
0answers
306 views

Isomorphic measure-preserving systems: circle and torus

According to Definition 2.7 in Ergodic Theory: with a view towards Number Theory, the systems $(X, \mathcal{B}_X, \mu, T)$ and $(Y, \mathcal{B}_Y, \nu, S)$ are isomorphic when there is a $X' \in ...
4
votes
2answers
388 views

Examples: invariant events

In a couple of books I'm reading chapters devoted to the Ergodic theory. As a setting: $(\Omega,\mathcal F,\mathsf P)$ is a probability space, $X:(\Omega,\mathcal F)\to (S,\mathcal S)$ is random ...
6
votes
1answer
115 views

Ergodic proof of Khinchin-Levy

What is a good reference for the proof of Khinchin-Levy theorem on continued fractions, using the full power of ergodic theory? A google search is not quite yielding the needed stuff.
7
votes
1answer
120 views

What is Birkhoff's ergodic theorem for $GL_n$?

I was wondering about the general setup of a "noncommutative" ergodic theory. Instead of measurable maps into $\mathbb R$, we should consider measurable maps into $GL_n(\mathbb R)$, and instead of ...
9
votes
1answer
255 views

Why probability measures in ergodic theory?

I just had a look at Walters' introductory book on ergodic theory and was struck that the book always sticks to probability measures. Why is it the case that ergodic theory mainly considers ...
2
votes
1answer
207 views

Convergence of inner product using Cauchy-Schwarz

I'm reading a paper in which the following argument is made (in the proof of Theorem 7). I will try to provide just the essentials necessary to ask my question, in particular omitting the ...
3
votes
1answer
106 views

Equidistribution results vs transcendence degree

Consider $\alpha =(\alpha_1, \dots, \alpha_n) \in \mathbb{R}^n$ linearly independent over $\mathbb{Q}$, then the map $q \mapsto q \alpha:= ( q \alpha_1, \dots, q \alpha_n)$ gives a dense embedding ...
12
votes
10answers
1k views

Reference for Ergodic Theory

I am looking for a good introductory book on ergodic theory. Can someone recommend some introductory texts on that?
5
votes
1answer
347 views

Use the van der Corput Lemma to prove the equidistribution of $\{\alpha n^2\}$

The van der Corput Lemma states Van der Corput Lemma: Let $(x_n)$ be a bounded sequence in a Hilbert space $H$. Define a sequence $(s_n)$ by $$s_h = \limsup_{N \to \infty} \left | \frac1N ...
0
votes
1answer
87 views

Forward orbits and backwards orbits same closures

Assume that $T: X \to X$ is a homeomorphism of a compact metric space to itself, and let $\mu$ be a $T$-invariant Borel probability measure on $X$. I want to show that for almost every $x \in X$ ...
2
votes
2answers
473 views

Importance of Poincaré recurrence theorem? Any example?

Recently I am learning ergodic theory and reading several books about it. Usually Poincaré recurrence theorem is stated and proved before ergodicity and ergodic theorems. But ergodic theorem does not ...
2
votes
1answer
185 views

A generic point for a non-ergodic measure

Definition: Let $X$ be a compact metric space and let $\mu$ be a Borel probability measure on $X$, then we say that the sequence $(x_n)$ of elements of $X$ is equidistributed with respect to $\mu$ ...
6
votes
2answers
275 views

Stronger than strong-mixing

I have the following exercise: "Show that if a measure-preserving system $(X, \mathcal B, \mu, T)$ has the property that for any $A,B \in \mathcal B$ there exists $N$ such that $$\mu(A \cap T^{-n} B) ...
5
votes
1answer
163 views

Ergodic Recurrence

My solution concerning a problem about Ergodic Recurrence requires me to prove that $\|P_T 1_B\| > 0$. Where $P_T$ is the projection onto the space $I := \{f \in L^2 : f \circ T = f\}$, $T$ is a ...
3
votes
1answer
404 views

Weyl Equidistribution Theorem and a Limit

At the moment, I'm studying Ergodic Theory and I find myself a little stuck. The Weyl Equidistribution Theorem states that the following are equivalent: 1. For any $f \in L^{1}([0,1])$ and sequence ...
5
votes
1answer
323 views

Uniform mean ergodic theorem

I'm working in Einsiedler and Ward's book on Ergodic Theory and in Exercise 2.5.4 they want to prove the following $$\lim_{N - M \to \infty} \frac{1}{N - M} \sum_{n = M}^{N - 1} U_T^n f \to P_T f.$$ ...
5
votes
1answer
175 views

Estimating $\#\{\{\alpha k\} < 1/\sqrt{k} : k \leq n\}$ for irrational $\alpha$

Suppose $\{\alpha n\}$ is the fractional part of $\alpha n$. Put $$A_{\alpha}(n) = \#\{\{\alpha k\} < 1/\sqrt{k} : k \leq n\}.$$ If $\alpha$ is irrational, can I find some constant $K$ such that ...