13
$\begingroup$

Question

  1. Examples of continuous transformations $T: X \to X$ such that the family of invariant probability measures $M(T)$ is NOT empty but there is no ergodic measure ($E(T) = \emptyset$).
    Notice that the measures considered are defined over the Borel sets of $X$.

  2. Example of a dynamical system where the following inequality is strict: $$\sup_{m \in E(T)} h_m(T) < \sup_{\mu \in M(T)} h_\mu(T)$$.

Background

Consider $T(x) = x + 1$ over the set of integers $\mathbb{Z}$. In this case, $E(T) = M(T) = \emptyset$. The first question asks for a $\emptyset = E(T) \subsetneq M(T)$ example.

In the locally-compact metrizable case, the set of positive invariant measures $\mu$ with $0 \leq \mu(X) \leq 1$ is compact (weak* topology) with extremals with total measures equal to $0$ or $1$. That is, according to Krein-Milman Theorem, if $M(T) \neq \emptyset$, then $E(T) \neq \emptyset$. So, an answer to Question 1 is not supposed to be locally-compact metrizable.

[Edit: The question only makes sense if the $\sigma$-algebra is fixed. So the post was edited, making $X$ a topological space, $T$ continuous and the $\sigma$-algebra is the family of Borel sets.]

$\endgroup$
10
  • 1
    $\begingroup$ This post is related to mathoverflow.net/questions/76908/… $\endgroup$ Oct 3, 2011 at 11:44
  • $\begingroup$ Are you interested in finite measures or infinite measures? What is the notion of entropy you are referring to in the infinite case? Anyways, usually at any question in ergodic theory (especially in entropy theory), one usually deals with "standard" probability spaces (and maybe even Lebesgue spaces). $\endgroup$
    – Asaf
    Oct 3, 2011 at 15:13
  • $\begingroup$ @Asaf, I am interested on probability measures. The entropy is the Kolmogorov-Sinai entropy. $\endgroup$ Oct 3, 2011 at 15:46
  • 1
    $\begingroup$ What's wrong with using the Krein-Milman theorem in the general situation? $\endgroup$ Oct 3, 2011 at 15:49
  • 4
    $\begingroup$ I don't understand the problem here. Metrizability of $X$ doesn't enter in any of your arguments as long as you have local compactness. By its definition the set of positive measures is a weak$^∗$-closed cone in $M(X)$, and thus it cuts out a compact set out of the unit ball, so as soon as you have invariant measures you have invariant ergodic measures by Krein-Milman. $\endgroup$ Oct 4, 2011 at 2:26

1 Answer 1

1
$\begingroup$

I'd like to improve upon my response. I read it again after 4 years and I did not recognise myself.

First, I'd like to point out that asymptotic density is an ergodic and $T$-invariant probability measure on the set of integers $\mathbb Z$ with $T(x) = x+1$.

I'll withdraw the rest of my comment.

$\endgroup$
5
  • $\begingroup$ @Daniel: I will correct the post to emphasize that the measure is over the Borel sets and the transformation is continuous. If you are free to choose the $\sigma$-algebra, then you can just take $\{\emptyset, X\}$. $\endgroup$ Oct 4, 2011 at 1:54
  • $\begingroup$ Am I right in saying that no-one has actually answered either Q1 or Q2 yet? I'm particularly interested in the answer to Q1. (In fact, even ignoring a topology, I haven't managed to find anywhere the answer to the following basic question: Let $(X,\Sigma,\mu)$ be a probability space that is not a Lebesgue space, and let $T:X \to X$ be a $\mu$-preserving measurable map; does there necessarily exist a probability measure $\mu'$ on $(X,\Sigma)$ which is $T$-ergodic?) $\endgroup$ Mar 28, 2015 at 0:49
  • $\begingroup$ @DanielMansfield: Sorry, I did not see your replies until just now. Thank you for this. Your answer is quite perplexing to me - are you sure it is correct? (And are you perhaps working with a non-standard definition of "conservative"?) $\endgroup$ Jul 12, 2015 at 22:51
  • $\begingroup$ @JulianNewman: It does not seem to me that Daniel defined his measure over the whole sigma algebra in his first attempt. In his second attempt, there is nothing that ensures the measure $\mu'$ is in fact ergodic. $\endgroup$ Jul 16, 2015 at 12:15
  • $\begingroup$ @DanielMansfield: Asymptotic density is not $\sigma$-additive: every singleton has density 0, and yet the union of all singletons (i.e. the whole space) has density 1. You are right that asymptotic density is an invariant finitely additive measure of the map $n \mapsto n+1$, but it is easy to show that this map has no invariant countably additive probability measures. (Indeed, this is an immediate consequence of the Poincaré recurrence theorem.) $\endgroup$ Sep 22, 2015 at 18:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.