## Question ##

1. Examples of measurable 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$).

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.

[Krein-Milman Theorem]: http://en.wikipedia.org/wiki/Krein%E2%80%93Milman_theorem
  (Extremal points in compact convex sets)