0
votes
0answers
37 views

absolute continuity of a measure given absolute continuity of conditionals

Situation is the following. We have the two-dimensional torus $X$ and have partition $\xi$ into vertical circles $\{x\} \times S^1$. We are given a measure $\mu$ on $X$ such that the projection ...
2
votes
1answer
117 views

Function from a compact metric space to the subsets of the naturals

Let $X$ be a compact metric space, and $\mu$ a Borel probability measure. For $S\subset\mathbb{N}$ we denote the upper density with $\overline{D}(S).$ Let $f:X\rightarrow2^{\mathbb{N}}$ be a ...
2
votes
1answer
124 views

Rate of convergence of the average of an equidistributed sequence

Let $f : \mathbb R\to\mathbb C$ be an $1$-periodic and sufficiently smooth function, which has zero average, and let $\alpha$ irrational. We know the following: a. ...
4
votes
1answer
226 views

Does equidistribution of zero average, due to irrationality, imply boundedness?

Let $f:\mathbb R\to\mathbb C$ be a sufficiently smooth and $1$-periodic function of average zero (i.e., $\int_0^{1}f(x)\,dx=0$), and let $\alpha\in(0,1)\smallsetminus\mathbb Q$. We know that $$ ...
1
vote
0answers
71 views

A argument related measurable partitions in dynamic system

$X$ is a compact metric space, and $T:X\rightarrow X$ be a continuous map, which is finite to one. Denoted by$ X_{0}$ the set of all points $x\in X$, such that for all sufficiently small ...
2
votes
1answer
208 views

Liouville's theorem: How to get an invariant measure?

Liouville's theorem states that the `natural' 2-from is preserved under the Hamiltonian flow. Apparently this leads to an invariant measure $\mu$ as follows \begin{equation} d\mu = \frac{d\sigma}{|| ...
4
votes
1answer
124 views

Is there a survey of recent work relating to the Hausdorff dimension of sets defined through some restriction of digits?

I am familiar with the work of Helmut Cajar, but his book is thirty years old and it's clear that there has been substantial progress since then. I have been spending a lot of time looking through ...
3
votes
1answer
118 views

The relations between conservative part and conservativity

I revised the question. In smooth ergodic theory, a diffeomorphism is said to be conservative (I), if it preserves the Lebesgue measure. So for some of us, conservativity is just short for ...
8
votes
1answer
234 views

Random variables invariant under almost automorphisms.

Let $\Omega$ be a standard atomless probability space, we can assume $\Omega=(0,1)$ with Lebesgue measure. A bijection $f:\Omega/A_1\to\Omega/A_2$ is almost automorphism, if $P(A_1)=P(A_2)=0$, $f(A)$ ...
1
vote
1answer
254 views

Weak convergence, and Cesaro convergence (of mu_n (E) ) imply convergence (of mu_n (E))?

Let $X$ be a compact metric Borel space. Suppose $\mu_{n}(A)\rightarrow\mu(A)$ for all $\mu-$continuity sets $A$ (sets with zero boundary measure), where $\mu_{n}$ is a sequence of probability ...
4
votes
1answer
232 views

Stationary, ergodic measures from the structuralist point of view

Stationary, ergodic measures are a class of objects very familiar to probabilists. In a sense, these are the weakest generalization of the classic case of independent, identically distributed random ...
1
vote
0answers
191 views

On the set of infinite measures

My question is about the structure of the set of infinite Borel measures on compact metric spaces invariant with respect to a homeomorphism. Let $T$ be a homeomorphism of a compact metric space $X$ ...
5
votes
0answers
167 views

Generating stationary, ergodic random fields on a homogeneous space

Consider a homogeneous space $M$, which for the sake of concreteness, let's take to be $M = \mathbb R^d$. Fix some space $A$, and consider the space of functions $X = C(M,A)$, along with its Borel ...
11
votes
3answers
611 views

Looking for at least one beautiful and not too technical result in asymptotic group theory

We have a student seminar devoted to the problems of asymptotic group theory with some connections to ergodic theory and measure theory in general. Each talk concerns one of the problems of this ...
8
votes
2answers
678 views

Fourier transform of x2 invariant measure

Let $T:\mathbb{R}/\mathbb{Z}\rightarrow \mathbb{R}/\mathbb{Z}$ be the map defined by $T(x)=2x$, and suppose that $\mu$ is a $T$ invariant and ergodic Borel probability measure on the space, which is ...
12
votes
5answers
2k views

Proof of Krylov-Bogoliubov Theorem

Where can I find a proof (in English) of the Krylov-Bogoliubov theorem, which states if $X$ is a compact metric space and $T\colon X \to X$ is continuous, then there is a $T$-invariant Borel ...
3
votes
1answer
290 views

trivial map on $\sigma-$algebra $\mod{}0$ is trivial

Hi everyone! I am currently studying the basic theory of measurable actions and need the following result, which I am not able to prove myself. It is stated without a proof, so probably it should not ...
2
votes
1answer
660 views

Given a probability \mu, can we always find a transformation T s.t. \mu is T-invariant?

It is true that, under some conditions, given a measure-preserving transformation $T$, we can always construct a $T$-invariant probability. I am wondering whether we can do a converse. See Parry's ...
21
votes
1answer
1k views

Furstenberg's Conjecture on 2-3-invariant continuous probability measures on the circle

Hillel Furstenberg conjectured that the only $2$-$3$-invariant probability measure on the circle without atoms is the Lebesgue measure. More precisely: Question: (Furstenberg) Let $\mu$ be a ...
5
votes
4answers
804 views

Product Measure Only Possible Measure?

Let $X$ be a separable complete metric space and $Z$ be the set of all integers. Let $\nu$ be a Borel probability measure on $X^Z$ invariant under the shift function $S:X^Z \to X^Z$. Is it necessarily ...