1
vote
1answer
29 views

Limes superior of an ergodic and stationary process

Given a stationary and ergodic sequence of real-valued random variables $(X_n)_{n \geq 0}$ and a Borel$(\bar{\mathbb{R}})$-set A, with $\mathbb{P}[X_0 \in A] > 0$, I want to show, that ...
1
vote
2answers
45 views

Show that the shift map is measurable and measure-preserving

Show that the shift map $\theta$ of Definition 6.3 is measurable and measure-preserving. Not sure how to represent $\theta^{-1}$ which I believe is where I am stopped in solving this problem.
0
votes
1answer
46 views

Using Kolmogorov's 0-1 law in proof of shift map being ergodic

Why should ${\cal E}_\theta$ be trivial?. I dont see how Kolmogorov's 0-1 law says that in this case we should take the 0 option. This is only mention of ${\cal E}_\theta$ in my notes I can find. ...
2
votes
0answers
35 views

Geometric ergodicity and mixing - stationary case

I have this theorem: The Markov Chain {$X_n$} is stationary and geometrically ergodic if and only if {$X_n$} is stationary and absolutely regular with $\beta_n=O(\gamma^n)$ for some $\gamma\in ...
3
votes
0answers
50 views

Strange definition of Ergodicity

In an engineering course, a stationary process was defined to be ergodic if for all $k\in \mathbb{N}$ and for any bounded (measurable) function of $k+1$ variables we have $$\lim_{N\rightarrow ...
3
votes
1answer
44 views

Question on Gauss map - application of Birkhoff's ergodic theorem

Take a Gauss map $G: [0,1] \longrightarrow [0,1]$ which is $$G(x) = \frac{1}{x} \mod 1, 0<x<1$$ and $0$ if $x=0$. Let $\mu$ be the Gauss measure. For $x \in [0,1]$ let $[a_{1}(x), ...
2
votes
0answers
98 views

Conditional measure with respect to a sigma-algebra generated by the level sets of a function has full measure on its level set.

Let $(X,\mathscr{B},\mu,T)$ be a measure-preserving system, where $X$ is a compact metric space, $\mathscr{B}$ its Borel $\sigma$-algebra, $\mu$ a Borel probability measure and $T$ continuous. Let ...
0
votes
1answer
19 views

A problem on Markov process

Suppose, $\Pi_{\theta}$ be the transition probability function of a Markov chain. For any function $f$ define $$\Pi_{\theta}f_{\theta}(x) = \int f(y,\theta)\Pi_{\theta}(x,dy).$$ Is there any ...
1
vote
1answer
53 views

Markov Chain Ergodic Theorem (Proof references)

Where can I find a proof of the erogidc theorem for Markov chains that doesn't use Birkhoff? The theorem states the following : Let $(X_n)_{n\in \mathbb{N}}$ be an irreducible and positively ...
0
votes
0answers
37 views

Why define shift invariant set as $\Lambda=\tau^{-1}\Lambda$?

Can we define shift invariant set as $\Lambda = \tau\Lambda$ instead of $\Lambda = \tau^{-1}\Lambda$, where $\tau$ is the shift operator? Can permutable set be defined as either $\Lambda = \pi ...
3
votes
2answers
55 views

Measure preserving transform and convergent random variables

I have been trying to learn about Ergodic Theorem for a while and now I have a problem I can't solve. Assume $T$ is a measure preserving transform and $X_n\rightarrow X$ everywhere. Also, assume ...
1
vote
0answers
17 views

$L_1$ mean ergodic theorem for the action of compact group

Let $X$ be a Polish space with Borel probability measure $\mu$. A compact group $G$ acts on X continuously. It is right that for any $f\in C_b(X)$ exists a sequence $(g_k \in G)_{k\in \mathbb{N}}$ ...
1
vote
0answers
67 views

Circle rotation (dynamic system)

Here's a passage of my script I do not understand. Define $\Omega:=\left\{z\in\mathbb{C}: \lvert z\rvert =1\right\}$ and consider $a\in [0,1)$. Then $$ T_a:=\Omega\to\Omega, z\mapsto ...
0
votes
1answer
32 views

ergodic theorem in the seasonal component analysis of time series

When studying the "seasonal components" part of time series, I once read the following statement. I do not understand what role does the ergodic theorem play here? The decomposition of the process ...
5
votes
1answer
110 views

Is there a characterization of the shift-invariant ergodic measures?

Consider probability measures $\mu$ on the space $\{0,1\}^\mathbb{N}$ that are shift-invariant with respect to the left-shift map. Is there a nice characterization of the ergodic shift-invariant ...
1
vote
1answer
44 views

Integrability of the supremum of a sum of Birkhoff averages

Let $(X, \mathcal{A},\mu)$ be a probability space and $T:X\rightarrow X$ an ergodic transformation. The Birkhoff averages of a function $\phi:X \rightarrow \mathbb{R}$ are defined by $$ ...
3
votes
1answer
51 views

Pointwise Ergodic Theorem - one particular estimate

I am struggling with an estimate in a proof of the pointwise ergodic theorem discussed in T. Ward and M. Einsiedler: Ergodic Theory with a view towards Number Theory, which is left as an exercise. I ...
1
vote
1answer
54 views

How can I prove this equivalence concerning ergodicity?

I write you, because I have a problem to show two equivalences. But before writing them down, I give you all the definitions we had as background: (I) The Quadruple $(\Omega,\mathcal{A},\mu,T)$ is ...
1
vote
1answer
102 views

If $g$ is invariant under an ergodic map then it's almost everywhere constant

Let $(X,B(X),\mu)$ be a probability space, where $X$ is compact metrizable, and $B(X)$ are the Borel sets. Let $f:X\to X$ be a measurable function such that: i) $\forall A\in B(X)$ ...
3
votes
1answer
45 views

If $f^n$ is mixing then $f$ is mixing?

Let $(X,\mathcal{A},\mu)$ be a probability space and $f:X\to X$ be a measurable map that preserves $\mu$. Fix $n\in \mathbb{Z}^+$. It's not hard to see that $f$ ergodic does not necessarily imply ...
2
votes
0answers
59 views

Generalizing the ptwise or $L^1$ ergodic theorem

I was able to write a proof based on the hardy-littlewood maximal function of the following statement: Let $(X, \Sigma, \mu)$ be a $\sigma$-finite measure space, and $d=n \geq 1$ be fixed. Let ...
3
votes
2answers
96 views

Ergodic for the mean, but not ergodic stochastic process?

Is there an example of a strictly stationary (zero mean, finite variance) stochastic process $(X_t\mid t\in \mathbb{N})$ that satisfies the conclusion of the ergodic theorem, i.e., the sample mean ...
4
votes
1answer
100 views

What is the right invariant $\sigma$-algebra for the Birkhoff ergodic theorem?

I have been reading stuff about ergodic theory, and I have encountered two versions of the involved "invariant sigma field". let the underlying probability space be $(\Omega,\mathcal{F},P)$, and let's ...
4
votes
1answer
68 views

It Suffices to Check Mixing on an Algebra

Let $X, \mathcal{A}, \mu$ be a probability space and $T: X \rightarrow X$ a measure preserving measurable map (i.e. $\mu (T^{-1}(A)) = \mu (A)$ for all $A \in \mathcal{A}$). We say $T$ is mixing for ...
1
vote
1answer
58 views

A random variable, measurable w.r.t. the class of invariant events, is invariant

I would like to deeply understand the following proof; however, many things are not really obvious to me. I would appreciate if somebody could explain the solution in detail. Thank you. Problem ...
10
votes
1answer
224 views

Non-ergodic measure

Is there an easy way to see that if $\mu$ and $\nu$ are $T$-invariant measures on the same space $X$, and $\mu \neq \nu$, then $\frac{1}{2}(\mu+\nu)$ is NOT ergodic? I know that ergodic measures are ...
4
votes
2answers
93 views

Optimal probability measure

Let $A$ be a finite set and let $\Bbb P$ be a probability measure on $A^{\Bbb N_0}$. Further, let $x_i:A^{\Bbb N_0}\to A$ be projection maps, so that $(x_i)_{i=0}^\infty$ can be treated as a ...
1
vote
0answers
60 views

convergence of discrete random variables with finite entropy

Let $Z$ be the set of discrete random variables on some probability space. Define the quantity $d(X_1,X_2)=h(X_1 \mid X_2)+h(X_2 \mid X_1)$ between two random variables $X_1, X_2 \in Z$. For $X \in Z$ ...
1
vote
0answers
73 views

Furstenberg recurrence

I am having trouble verifying exercise 1 here. Can I get some hints/solutions? (It's not homework, I am just reading up on it for my own interest.) Theorem 2. (Furstenberg multiple recurrence ...
2
votes
0answers
79 views

The chacon transform

I am following this document http://www.jstor.org/stable/2037431?seq=4 Shouldn't it be necessary to check that the chacon transform is ergodic? The theorem I'm familiar is this: Let $T$ be a ...
2
votes
1answer
63 views

Why every strict stationary process have the following representation

Suppose $\{X_n\}_{n\geq 1}$ is a strict stationary process, that is for every $n$, $(X_0,\ldots,X_n)$ and $(X_1,\ldots,X_{n+1})$ have the same distribution. Then there is a probability space ...
-1
votes
1answer
40 views

Need help with the following:

Proof or counterexample: a) if $T$ is ergodic, then $T^2$ is ergodic, b) if $T$ is strong mixing, then $T^2$ is strong mixing. Thank you.
2
votes
2answers
76 views

A question involving Invariant Set in ergodic theorem

I have a question about the invariant set in the ergodic theorem, I am wondering if anyone could give me some help or hint. In the measurable space (X, $\Sigma$) and consider a measurable self map T, ...
2
votes
0answers
130 views

Bernoulli shift on $S^\mathbb{Z}$

Why is the Bernoulli shift ergodic? I know the proof for $S^\mathbb{N}$. The best would be if you could argue from this fact to the integer case, so that way I can see how one usually goes from ...
4
votes
1answer
75 views

Recipe to proof ergodicity?

Consider the following theorem about equivalent formulations of ergodicity. Let $S$ be a measure preserving map on a measrespace $(\Omega,\mathfrak F,\mathbb P)$ and define $$\nu_n(A,\omega) = ...
2
votes
1answer
187 views

A necessary and sufficient condition for ergodicity

Let $(X,\mathcal B,\mu)$ be a probability space and $T\colon X\rightarrow X$ be measure preserving. I need to prove that $T$ is ergodic if and only if the following property holds: If $f\colon ...
3
votes
1answer
44 views

Need help in proving a set has bounded gaps.

Let $(X,B,\mu)$ be a probability space and $T\colon X\rightarrow X$ is measure preserving. Let $A\in B$ such that $\mu(A)>0$. Then I am asked to prove the following claims: The set of positive ...
2
votes
1answer
204 views

Measurable Partition and Ergodic Decomposition

I need some background before asking the question: Let $\mathcal{P}$ is called a measurable partition if there is a measurable set $M_0\subset M$ with full probability measure such that, restric to ...
2
votes
1answer
130 views

stationary and ergodic

Let $p\in \mathbb N$ and $a_1,\ldots,a_p\in \mathbb R $. Denote by $x$ the sequence $$x=(x_k)_{k\in\mathbb N }=(a_{k \bmod p})_{k\in\mathbb N }$$ where $(k \bmod p)\in{1,\ldots,p}$ is the remainder ...
14
votes
1answer
479 views

Kakutani skyscraper is infinite

Karl E. Petersen's book "Ergodic Theory", chapter 2, exercise 9, on page 56 Prove that for any ergodic measure preserving transformation $T:X\rightarrow X$ on a non-atomic probability space $(X, ...
1
vote
1answer
34 views

How to formulate an integral on the probability space of a Markov shift?

For a problem I am currently working on, I would like to calculate the integral over the space $(\{1,2,\dots,n\}^\mathbb{N},\mathcal{F},\nu)$ where $\nu$ is the markov measure. My problem is that ...
1
vote
1answer
99 views

How does the Markov measure extend to cylinders with 1 specified coordinate?

Consider a Markov Chain $(X,\mathcal{F},\mu,T)$, where $X = (1,2,\dots,n)^\mathbb{Z}$ and $T$ is the left shift and a transition matrix $P=(p_{i,j})$ and stationary distribution $\pi$ such that $\pi P ...
9
votes
0answers
431 views

Compact set of probability measures

I think I can solve the following exercise if X is assumed to be separable, otherwise I can't. Let $X$ be a (Hausdorff) locally compact space, $\pi\colon X \to Y$ a continuous map into a ...
1
vote
2answers
137 views

Why is ergodicity of transformations only defined for measure-preserving transformations?

In ergodic theory, why does the defintion of an ergodic transformation $T$, why do I have to claim that it is measure-preserving? E.g. $T$ is ergodic if $\mathbb{P}(A) \in \{0,1\}$ for all $A$ ...
4
votes
1answer
268 views

How follows the Strong Law of Large Numbers from Birkhoff's Ergodic Theorem?

We want to prove the strong law of large numbers with Birkhoff's ergodic theorem. Let $X_k$ be an i.i.d. sequence of $\mathcal{L}^1$ random variables. This is a stochastic process with ...
3
votes
1answer
171 views

Does an uncountable intersection of sets with probability one also have probability one? ; in connection with the ergodic theorem

Let $(\Omega, {\cal F},P)$ be a complete probability space and $T$ a mesure-preserving transformation on $\Omega$ that is ergodic. The point-wise ergodic theorem states that for any $f\in L^1(P)$, ...
4
votes
1answer
144 views

Maximal Ergodic Theorem

Does the maximal ergodic theorem have any dynamical or qualitative interpretations, or is it just a custom-made theorem to leave the demonstration of the Birkhoff ergodic theorem more elegant?
5
votes
1answer
342 views

Krylov-Bogoliubov for measurable transformations

In the Krylov-Bogoliubov theorem, the transformation is assumed continuous. Does the theorem hold if the transformation is assumed only to be measurable? If not, what is a counterexample? Edit A few ...
2
votes
1answer
374 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 ...
4
votes
2answers
368 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 ...