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

1
vote
0answers
22 views

What is this bifurcation of a fixed point of a two-dimensional diffeomorphism with two parameters?

Suppose I have a diffeomorphism of a plane, $$\bar{x} = F(x,s,t)$$ where $x \in \mathbb{R}^{2}$ and $s \in [a,b] \subset \mathbb{R}$ and $t \in I_{2} \subset{ \mathbb{R}}$ are parameters. Suppose ...
0
votes
1answer
20 views

Why'' half-orbits'' of minimal $\mathbb{Z}$- action on compact Hausdorff space are still dense?

We say an action of $\mathbb{Z}$ on a compact Housdorff space $X$ minimal if every orbit of the action is dense in $X$. We assume the action is free and $X$ has no isolated points. Then in this case,...
2
votes
1answer
56 views

If $g>0$ is in $L\ln\ln L$, then $\#\{n: g(\theta x)+\cdots+g(\theta^nx)\le t\,g(\theta^nx)\}\le Ct$ when $t\to\infty$

Here are two theorems: For every dynamical system $(X, Σ, m, T )$ and function $f \in L \ln \ln L(X,m)$ (that is, such that $\int |f| \ln^+ \ln^+ |f|\, {\rm d}m$ is finite), $$N^∗f(x)=\sup_{...
2
votes
0answers
22 views

Proving a probability concerning a stationary ergodic stochastic process is nonzero.

Let $\{X_t\}_{t\in\mathbb{N}}$ be a stationary ergodic sequence of continuous random variables with full support on the real line. Let $\lambda>1$ and $c>0$. I am interested in the probability $$...
2
votes
1answer
47 views

Use Poincare Recurrence to show existence of $n$

Suppose $A\subset \mathbb N$ such that $d(A)=\lim_{n\to\infty}\dfrac{|A\cap [1,n]|}{n}>0$. Then show there exists $n\in\mathbb N$ such that $\overline{d}(A\cap (A-n))>0$ where $\overline{d}(B)=\...
1
vote
0answers
55 views

Finding a parametrization of the solutions of $\frac{dx}{dt}=\frac{\sinh y}{\cosh y+A\cos x}$, $\frac{dy}{dt}=\frac{A\sin x}{\cosh y+A\cos x}$

I am trying desperately to find a parametrization for the following: $\frac{dx}{dt}=\frac{\sinh y}{\cosh y+A\cos x}$ $\frac{dy}{dt}=\frac{A\sin x}{\cosh y+A\cos x}$ I tried to devide the equation ...
1
vote
0answers
25 views

Basic Limit Theorem for Markov Chain (Knowing the odds)

In the book "Knowing the Odds", Basic Limit Theorem for Markov Chain is stated as follows. Theorem 7.41 (Basic Limit Theorem). Suppose $j$ is a recurrent aperiodic state in an irreducible Markov ...
1
vote
0answers
31 views

ergodic theorem for expectation of positive recurrent diffusion

Suppose $X_t$ is a positive recurrent diffusion on $\mathbb{R}$ with invariant probability measure $\mu$. There is an ergodic theorem (see V.53. in Rogers & Williams volume II) that states $$\lim_{...
0
votes
1answer
53 views

Using the Baire Category Theorem to prove $\mu$ is trivial

Suppose we have a probability measure space $(X,\mathcal A,\mu,T)$ where $T$ is measure-preserving. Then if for every $A,B\in\mathcal A$ we have $\mu\left(A\cap T^{-n}B\right)=\mu(A)\mu(B)$ for all $n\...
1
vote
1answer
43 views

Gauss measure is not a pushforward of product measure

Let $ N = \{1,2,3, \ldots \}$. We define $\varphi : N^N \mapsto [0,1]$ as $$ \varphi \left( (a_n)_{n \in_N} \right) = [0;a_1, a_2, \ldots ]$$ Where the expression on the right is a infinite continued ...
0
votes
1answer
34 views

Condition expectation of functions: $E(fg\mid\mathcal{A})=gE(f\mid\mathcal{A})$ when $|g|<\infty$ a.e.

Let $(X,\mathcal{B},\mu)$ be a probability space, $\mathcal{A}\subset\mathcal{B}$ a sub-$\sigma$-algebra, then by an easy application of the Radon-Nikodym Theorem, letting $\nu(A)=\int_A\, f\,\mathrm{...
0
votes
1answer
29 views

For an invertible measure preserving system, $\lim_NA_f^T(N)=\lim_N A_f^{T^{-1}}(N)$

For an invertible measure preserving system, show that $\lim_NA_f^T(N)=\lim_N A_f^{T^{-1}}(N)$. Here we consider the measure preserving system $(X,\mathcal A,\mu,T)$ where $T$ is invertible and $\mu$...
1
vote
1answer
29 views

Extension of ergodic theorem with WLLN

Suppose you have a ergodic (or irreducible) Markov chain $(A_t)_{t\geq0}$ in continuous time. Denote by $\pi$ the invariant distribution of $A$. If $f$ is a function of $A_s$ which is integrable w.r.t....
1
vote
0answers
28 views

When is the weak limit of operators invertible?

Suppose $T_i$ are invertible operators in $L^{2}(X)$ for X a Lebesgue Probability Space. Is the following true? 1. If the $T_i$ converge weakly to $S$, then $S$ is not necessarily invertible. ...
0
votes
0answers
67 views

What does it mean for a function to be invertible 'almost everywhere'

It seems to me that the correct definition of a measure-theoretic inverse for a function f is a function g such that $f \circ g$ and $f \circ g$ are the identity almost everywhere. The problem I have ...
2
votes
0answers
44 views

Weak convergence of finite measure preserving transformations

I am reading King's paper "The commutant is the weak closure of the powers, for rank-1 transformation" and I am not able to show that: (0.1) "If the $T_i$ are invertible measure preserving ...
0
votes
1answer
39 views

Showing an ergodic toral automorphism is not measurably isomorphic to an ergodic circle rotation

The question as listed in the title is the question statement, only I do not want to use that one is mixing and the other is not. Is it true that measurably isomorphic spaces are either both mixing ...
0
votes
0answers
23 views

Hilbert space mean ergodic theorem application

Let $(u_n)_{n \geq 0}$ be a bounded sequence in a Hilbert space. We define $$ s_h = \limsup \frac 1 N \sum_{n=o}^{N-1} \langle u_{n+h} , u_n \rangle $$ Show that, if $ \lim \frac 1H \sum_{h=o}^{H-1} ...
0
votes
2answers
58 views

Measure-preserving mapping

Let $(X, \mu, T)$ be a mesure-preserving mapping. Let $A \subset X$ be a measurable subset such that any point in $A$ eventually comes back to $A$. We define space $(A, \mu_A)$, $ \mu_A ( B) = \mu (B) ...
0
votes
1answer
31 views

Measure on torus invariant under multiplication

Let $T: [0,1] \rightarrow [0,1]$ be a multiplication by $ \beta >1$ mod $1$. Show that $h(x) d x$ is $T$-invariant where $$h (x) = \sum_{n \geq 0} \beta^{-n} \chi _{[0,T^n (1)]} (x)$$ ($\chi$ is ...
2
votes
1answer
49 views

Exercise 2.1.1 from Einsiedler and Ward

I am studying Ergodic Theory for the first time, and am using the book "Ergodic Theory with a view towards Number Theory" by Einsiedler and Ward. I got stuck at the very first exercise problem, ...
1
vote
1answer
78 views

Hyperbolicity without ergodicity?

I have a question concerning the ergodic properties of hyperbolic Hamiltonian flows. Let $\Phi_{H}^{t}$ be a Hamiltonian flow on a symplectic manifold $\mathcal{M}$. If $\Phi_{H}^{t}$ is Anosov on a ...
1
vote
1answer
19 views

Conditioning on invariant sigma algebra with respect to ergodic measure

So this question arose to me while applying the Ergodic theorem. If $X$ is a finite state (in $ \{1,\dots,d\}$) continuous-time Markov chain, which is ergodic, then $X$ has a unique invariant ...
3
votes
2answers
41 views

Hausdorff dimension via ergodic theory

This is definitely a soft question, but it was recently mentioned to me that one can study the dimension of fractals via ergodic methods. I'm familiar with ergodic theory on about the level of ...
1
vote
0answers
37 views

Converges of measures.

Good afternoon, we have the following: Let $(Y,d)$ is a general metric space, $\mathcal{M}(Y)$ is the set of finite Borel measures on $Y$ and $C_B(Y)$ denotes the Banach space of bounded continuous ...
0
votes
1answer
66 views

A Question Regarding Markov Chains and Ergodicity

Suppose the Markov chain with Probability Transition Matrix, $P$ = ($p{_x}{_y}$) is ergodic and $p{_m}(x, y) > 0$ for all states $x$ and $y$. If $n ≥ m$, show that $p_n(x, y) > 0$ for all ...
1
vote
1answer
28 views

Approximate eigenvalues of an ergodic invertible transformation

Consider a non-atomic probability space $(X,\mathcal{B}, m)$. Let $T: X \to X $ be an ergodic invertible measure preserving transformation.Let $U_T$ be the Koopman operator associated with $T$. Show ...
1
vote
0answers
63 views

Ergodic actions of orthogonal group $O(2)$

I am looking for explicit ergodic action of $O(2)$ on a von Neumann algebra $M$. ($O(2)$=orthogonal group of $2\times 2$ matrix)
2
votes
1answer
53 views

application of Birkhoff Ergodic Theorem

Let $(\Omega, \mathcal{F} , P)$ be a probability space and let $T$ and $S$ be ergodic, measure-preserving transformations of $(\Omega, \mathcal{F} , P)$. Let $X : \Omega → \mathbb{R}$ be a bounded ...
-1
votes
1answer
48 views

A question of determining when the entropy is maximum.

Y ={ 1, 2,...,r} We are given that X is the set of two sided sequences with entries from Y and T is the two sided shift on X, and m is a T invariant probability measure on X. If $p_i = m(\{x \...
2
votes
1answer
40 views

Non-atomic, ergodic measure which is left and right shift invariant.

Given a one-sided shift space, say $X = \prod\limits_{n=1}^\infty \mathbb Z_2$. Denote the left shift by $T$: $T(x_1 x_2 x_3\cdots) = x_2x_3 \cdots$. There are lots of examples of $T$-invariant ...
2
votes
1answer
24 views

Definition of measure-preserving: why inverse image?

In the definition of measure-preserving dynamical system, the crucial equation is $$ \mu \left(T^{-1} \left(A\right)\right) = \mu\left(A\right) . $$ Why is it not the seemingly more natural $$ \...
0
votes
1answer
33 views

Are $L_\infty$ functions measurable/integrable?

Lemma 2.6 of "Ergodic Theory with a view towards Number Theory" (Einsiedler-Ward) involves: $$ \int f d\mu $$ where $f \in L^{\infty}$. Actually it is a calligraphic $L$ and I'd love if you would ...
3
votes
1answer
39 views

What is known about the space of measure-preserving transformations?

I started reading about measure-preserving transformations, the ergodic theorems and mixing, but I was also wondering what is known about the space of measure-preserving transformations. The books ...
-1
votes
1answer
42 views

ergodicity in $\mathbb{Z}^d$

Fix $d \geq 1$ and let $E(\mathbb{Z}^d)$ denote the set of all edges of the graph $\mathbb{Z}^d$. Let us consider a measure preserving system $(\mathbb{R}^{E(\mathbb{Z}^d)}, B^{E(\mathbb{Z}^d)}_\...
0
votes
2answers
27 views

measure preserving system

Let $T$ be a measure-preserving transformation on a probability space $(\Omega, \mathcal{F}, P)$ and let $A \in \mathcal{F}$ such that $P(A) > 0$. (i) Show that there exists $n \geq 1 $such that $...
-1
votes
1answer
21 views

Measure preserving ergodic map commutes with complementation?

This is probably trivial (in which case I apologize), but it's late and I would really like a quick proof/counterexample for this (for a different problem that I'm doing): if $(X,\mathcal{M},\mu,T)$ ...
-1
votes
1answer
18 views

Initial point and initial distribution of the Markov chains

I am reading about Markov chains on a general state space and the ergodicity theory. Some of the ergodic theorems are presented when we consider n-step transition probability conditional on initial ...
0
votes
1answer
39 views

Why is the shift map ergodic?

Given a finite set $S$, in the space of strings $\Sigma=S^{(\omega)}$ equipped with the Bernoulli measure $\mu$, I want to know why the shift map $\sigma:\Sigma\rightarrow \Sigma $, define as $\sigma(\...
0
votes
2answers
29 views

Simple eigenvalue of Koopman operator

Let $T : X \to X$ be a measure-preserving transformation and $U_T : L^2(X, \mu) \to L^2(X, \mu)$ , $(U_T f) (x) = f(Tx).$ What does it mean a $\bf{simple}$ eigenvalue of $U_T$? $\lambda \in \mathbb{...
0
votes
0answers
16 views

If $1$ is a simple eigenvalue of $T$, then $T$ is an ergodic measure-preserving transformation

Let $T : X \to X$ be a measure-preserving transformaton and $U_T : L^2 (X, \mu) \to (X, \mu)$, $$(U_T f) (x) = f(Tx).$$ I have to show that if $1$ is a simple eigenvalue of $U_T$, then $T$ is ergodic....
0
votes
1answer
23 views

Different ergodic probability measures are mutually singular

Can someone, please, give me a hint on how to demonstrate that different ergodic probability measures are mutually singular? Thank you!
0
votes
1answer
60 views

Ergodicity of stochastic process

If one can show that the process converges to a stationary process in probability, does it mean that the process is ergodic?
1
vote
1answer
31 views

Example for a non-ergodic stationary process

Let $(X_n)_{n \in \mathbb{N}}$ be a (strictly) stationary process and let $T$ denote the left-shift on $\mathbb{R}^\mathbb{N}$, i.e. $T((x_n)_{n \in \mathbb{N}}) = (x_{n + 1})_{n \in \mathbb{N}}$. ...
0
votes
0answers
17 views

Theorem of Daniell-Stone (uniqueness when assuming compactness)

Theorem of Daniell-Stone. Let $L$ be a $\sigma$-continuous abstract integral on a Stone lattice V of real-valued functions on $\Omega$ and let $\mathcal{A}(V)$ denote the set of all $V$-open sets. ...
0
votes
1answer
37 views

Strengthening Poincaré Recurrence

Let $(X, B, \mu, T)$ be a measure preserving system. For any set $B$ of positive measure, $E = (n \in \Bbb N |\; \mu(B \; \cap \;T^{-n}B) > 0)$ is syndetic. This exercise comes from Einseidler ...
1
vote
0answers
69 views

Ergodicity of stochastic recursive process

Does anyone know how one can show ergodicity for a recursive stochastic process determined by the following equation: \begin{equation} X_n = f(\varepsilon_{n-1},Y_{n-1})X_{n-1}, \end{equation}...
0
votes
1answer
26 views

Criterium in ergodic theory.

Given a topological space $X$ with a probability measure $\mu$ and a continuous transformation $T:X \rightarrow X$ which preserve measure. If a set $A$ with $1>\mu(A)>0$ is such that the ...
0
votes
1answer
42 views

Approximating Borel Measure with Atomic Measures

I see some posts that are related to this one, e.g. Borel Measures: Atoms (Summary) I have a sort of particular question: I have one professor saying the following is true, while another says it's ...
1
vote
1answer
39 views

Connection between Ergodic Theory and Markov Chains

Could someone suggest a good reference where the connection between Ergodic Theory and (ergodic) Markov Chains is nicely explained ?