User andr&#233; caldas - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T19:49:52Z http://mathoverflow.net/feeds/user/18191 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/77036/system-with-invariant-measure-but-no-ergodic-measure System with invariant measure, but no ergodic measure. André Caldas 2011-10-03T11:30:01Z 2012-05-01T15:22:00Z <h2>Question</h2> <ol> <li><p>Examples of continuous transformations $T: X \to X$ such that the family of invariant probability measures $M(T)$ is <strong>NOT</strong> empty but there is no ergodic measure ($E(T) = \emptyset$).<br> Notice that the measures considered are defined over the Borel sets of $X$.</p></li> <li><p>Example of a dynamical system where the following inequality is <strong>strict</strong>: <code>$$\sup_{m \in E(T)} h_m(T) &lt; \sup_{\mu \in M(T)} h_\mu(T)$$</code>.</p></li> </ol> <h2>Background</h2> <p>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.</p> <p>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 <a href="http://en.wikipedia.org/wiki/Krein%E2%80%93Milman_theorem" rel="nofollow" title="Extremal points in compact convex sets">Krein-Milman Theorem</a>, if $M(T) \neq \emptyset$, then $E(T) \neq \emptyset$. So, an answer to Question 1 is not supposed to be locally-compact metrizable.</p> <p>[<strong>Edit:</strong> 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.]</p> http://mathoverflow.net/questions/76908/supremum-amongst-kolmogorov-sinai-entropies-ergodic-or-just-invariant-measures Supremum amongst Kolmogorov-Sinai entropies: ergodic or just invariant measures. André Caldas 2011-10-01T03:38:31Z 2012-04-29T01:22:00Z <p>Cases where</p> <p><code>$sup_{\mu \in E(T)} h_\mu(T) \neq \sup_{\mu \in M(T)} h_\mu(T)$</code>.</p> <h2>Background</h2> <p>For a topological space $X$, let <code>$T: X \to X$</code> be a continuous application. Then, call the set of $T$-invariant probability measures <code>$M(T)$</code>, and call the set of $T$-ergodic (probability) measures <code>$E(T)$</code>. It is evident that <code>$E(T) \subset M(T)$</code>. But it may happen that <code>$M(T) = \emptyset$</code>. For example, take <code>$X = \mathbb{R}$</code> and <code>$T(x) = x+1$</code>.</p> <p>Since an ergodic measure is invariant, it is immediate that</p> <p><code>$\begin{equation*} \sup_{\mu \in E(T)} h_\mu(T) \leq \sup_{\mu \in M(T)} h_\mu(T). \end{equation*}$</code></p> <p>The question is whether equality holds or not. When $X$ is compact, it is well known that equality holds. In this case, it is a consequence of Jacobs' Theorem, which states that for any <code>$\mu \in M(T)$</code>, there exists a measure $\tau$, over the set <code>$E(T)$</code>, such that</p> <p><code>$\begin{equation*} h_\mu(T) = \int_{E(T)} h_m(T) d\tau(m). \end{equation*}$</code></p> <p>When $X$ is compact (locally compact, in fact), the above equation is a consequence of <a href="http://en.wikipedia.org/wiki/Choquet_theory" rel="nofollow" title="Theorem about generalized convex combinations">Choquet Representation Theorem</a> and the <a href="http://en.wikipedia.org/wiki/Krein%E2%80%93Milman_theorem" rel="nofollow" title="Theorem on existence of extremal points">Krein-Milman Theorem</a>. (See, for example, Theorem 8.4 from Walters, P. <em>An Introduction to Ergodic Theory</em>)</p> <p>Now, when $X$ is not necessarily compact, but it is a Borel subset of a compact metrizable set $\widetilde{X}$, Pesin and Pitskel' argue in their <em>Topological Pressure and the Variational Principle for Noncompact Sets</em>, at the end of page 310: (I will rename the spaces and applications in order to conform to this post's notation.)</p> <blockquote> <p>We may assume that measure $\mu$ is ergodic. In fact, consider the partition $\eta$ of $X$ into ergodic components <code>$X_s,\, s \in S$</code>, of measure $\mu$. Denote by <code>$\mu_s$</code> the measures on <code>$X_s$</code> (then <code>$T * \mu_s = \mu_s$</code>), and by $\nu$ the measure on the quotient space $X / \eta$. Then <code>$h_\mu(T) = \int_{Y/\eta} h_m(T) d\nu(m)$</code>.</p> </blockquote> <p>As far as I understand, $Y/\eta$ is just the same as $E(T)$, since each ergodic component is associated with an ergodic measure. And for the same reason, $\nu$ is just our $\tau$. So, what is being stated is the validity of</p> <p><code>$\begin{equation*} h_\mu(T) = \int_{E(T)} h_m(T) d\tau(m), \end{equation*}$</code></p> <p>which in turns implies the equality</p> <p><code>$\begin{equation*} \sup_{\mu \in M(T)} h_\mu(T) = \sup_{\mu \in E(T)} h_\mu(T). \end{equation*}$</code></p> <p>In Pitskel' and Pesin's paper, $T$ is not even supposed to be the restriction to $X$ of a continuous transformation <code>$\widetilde{T}: \widetilde{X} \to \widetilde{X}$</code>.</p> <h2>Questions</h2> <ol> <li><p>How do I prove that when $X$ is a Borel subset of a compact metrizable space <code>$\widetilde{X}$</code> and $T$ is a continuous application <code>$T: X \to X$</code>, then for any <code>$\mu \in M(T)$</code>, there exists a measure $\tau$ over $E(T)$ such that <code>$h_\mu(T) = \int_{E(T)} h_m(T) d\tau(m)$</code>?</p></li> <li><p>In case the answer to question "1" is negative, is there a prove for the specific case where $T$ is the restriction of a continuous application <code>$\widetilde{T}: \widetilde{X} \to \widetilde{X}$</code>?</p></li> <li><p>Do you know <em>nice</em> examples of transformations of measurable spaces where <code>$E(T) = \emptyset$</code> while <code>$M(T) \neq \emptyset$</code>?</p></li> </ol> <hr> <p>PS: This is my first post to MathOverflow. This is really exciting! :-)</p> http://mathoverflow.net/questions/77985/locally-connected-versus-locally-compact/77994#77994 Answer by André Caldas for locally connected versus locally compact André Caldas 2011-10-13T04:01:52Z 2011-10-13T20:20:48Z <p>I, myself, am revolted with such a definition, too.</p> <p>It seems, according to <a href="http://en.wikipedia.org/wiki/Locally_compact_space" rel="nofollow" title="Article on Wikipedia about locally compactness">Wikipedia</a>, that there is no consensus on the definition. And probably, few people care about it, because in Hausdorff spaces, all the definitions are equivalent. In addition to the definition you present, one could also say that a space is locally compact when every point has a <strong>closed</strong> compact neighbohood. In general, even if a neighborhood is compact, it does not mean its closure will be compact as well.</p> <p>In the Hausdorff case, the closure of subsets of compact sets are compact, since every compact set is closed in this case. Also, in the Hausdorff case it is true that if $K$ is a compact neighborhood of $x$, then $x$ has a neighborhood filter base made out of compact sets. This is because $K$ is a normal space.</p> http://mathoverflow.net/questions/77196/compact-group-extension-of-a-zero-entropy-system Compact group extension of a zero entropy system. André Caldas 2011-10-05T03:18:02Z 2011-10-06T08:05:40Z <p>Suppose $T: X \to X$ is a continuous map and $\mu$ a $T$-ergodic probability measure over the Borel sets of $X$. Now, suppose $K \subset \mathrm{Hom}(X)$ is a compact group of measure-preserving homeomorphisms of $X$ commuting with $T$. Consider the factor <code>$Y = K \backslash X = \{Kx | x \in X\}$</code>. Then, defining $\hat{T}(Kx) = T(Kx) = KT(x)$, we have that the canonical projection factors $T$ into $\hat{T}$.</p> <p>Call $\hat{\mu}$ the $\hat{T}$-invariant probability measure induced on the Borel sets of $Y$. How do I prove that $$h_{\hat{\mu}}(\hat{T}) = 0 \Rightarrow h_\mu(T) = 0?$$</p> <p><strong>I am trying to make sense of the demonstration of Lemma 7 at <a href="http://www.math.u-psud.fr/~ruette/articles/asympent.pdf" rel="nofollow" title="Article about asymptotic pairs">Asymptotic Pairs in Positive-Entropy Systems</a>.</strong></p> <hr> <p>Notation: $h_\mu(T)$ is the Kolmogorov-Sinai entropy.</p> <p>Notice: It is evident that $h_\mu(T) = 0 \Rightarrow h_{\hat{\mu}}(\hat{T}) = 0$.</p> <p>Notice: The factor $K \backslash X$ is intended to be a <a href="http://terrytao.wordpress.com/2008/01/24/254a-lecture-6-isometric-systems-and-isometric-extensions/" rel="nofollow" title="Definition of &quot;group extension&quot; in Terry Tao's blog.">group extension</a>.</p> <p><strong>Edit:</strong> Added the fact that elements of $K$ must be measure-preserving.</p> <p><strong>Edit:</strong> Changed $\mu$ from $T$-invariant to $T$-ergodic.</p> http://mathoverflow.net/questions/77007/furstenberg-zimmer-theorem-non-invertible-systems Furstenberg-Zimmer Theorem: non-invertible systems. André Caldas 2011-10-03T03:26:48Z 2011-10-04T19:24:34Z <h2>Questions</h2> <ol> <li><p>Is there a version of Furstenber-Zimmer Theorem for non-invertible measure preserving systems?</p></li> <li><p>Where can I find it?</p></li> <li><p>What is the precise statement?</p></li> </ol> <h2>Background</h2> <p>In many works that reference the Furstenberg-Zimmer Theorem, the theorem itself is not stated. Authors usually cite the works of Furstenberg (<em>The structure of distal flows</em> and/or <em>Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions</em>) and Zimmer (<a href="http://projecteuclid.org/DPubS?verb=Display&amp;version=1.0&amp;service=UI&amp;handle=euclid.ijm/1256049780&amp;page=record" rel="nofollow" title="Zimmer's Paper"><em>Extensions of ergodic group actions</em></a> and/or <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.bams/1183536891" rel="nofollow" title="Extended Zimmer's Paper"><em>Extensions of ergodic actions and generalized discrete spectrum</em></a>). The point is that in many places, the theorem is being used for non-invertible systems. This happens, for instance in <a href="http://www.imath.kiev.ua/~skolyada/LY.pdf" rel="nofollow" title="PDF: On Li-Yorke Pairs">On Li-Yorke Pairs</a>, where the systems are assumed to be surjective, but not necessarily invertible. In this paper, for the proof of Theorem 2.1, the authors use Furstenber-Zimmer Theorem.</p> <p>As far as I understood, Zimmer's work deals with <em>group actions</em>. That is, invertible systems. And for Furstenberg's <em>Ergodic behaviour of diagonal measures [...]</em>, he deals with <em>regular measure preserving systems</em>.</p> <p>Unfortunately, Furstenberg and Zimmer (obviously) did not call their result <em>the Furstenberg-Zimmer Theorem</em>. In fact, it seems to me that Furstenberg didn't even call it a <em>theorem</em>. :-P</p> <p>I could find a precise statement of the theorem for the invertible case at a <a href="http://terrytao.wordpress.com/2008/03/05/254a-lecture-15-the-furstenberg-zimmer-structure-theorem-and-the-furstenberg-recurrence-theorem/" rel="nofollow" title="Terry Tao's statement of Furstenberg-Zimmer Theorem">Terry Tao's post</a>. But I could not find any precise statement for the non-invertible case.</p> http://mathoverflow.net/questions/46431/poincare-recurrence-and-dense-sets/77163#77163 Answer by André Caldas for Poincare Recurrence and Dense Sets André Caldas 2011-10-04T18:37:52Z 2011-10-04T18:37:52Z <p>Since you are considering $\mu$ to be the Lebesgue measure, you have that given a set $F$ with $\mu(F) = 1$, then $F$ must be dense. This is because any set with non-empty interior has positive measure, and $F^\complement$ has measure $0$. So, $F^\complement$ has empty interior and consequently, $F$ is dense.</p> <p>The above easily gives a partial answer to your first question:</p> <blockquote> <p>If $\mu(E) = 1$, then $\mu(M) = \mu(E) = 1$. As explained, $M$ is dense in $X$.</p> </blockquote> <p>In a similar fashion, for the second question:</p> <blockquote> <p>If $E$ is such that for any open set $A$, $$A \cap E \neq \emptyset \Rightarrow \mu(A \cap E) \neq 0,$$ then $M$ is dense in $E$.<br> In fact, $\mu( M^\complement \cap E ) = 0$, so, the assumption on $E$ implies that $M^\complement \cap E$ has empty interior in $E$. That is, $M$ is dense in $E$.</p> </blockquote> <p>Now, using this fact, we can improve the answer to the first question:</p> <blockquote> <p>If $E$ is dense in $X$, $\mu(E) > 0$ and $$A \cap E \neq \emptyset \Rightarrow \mu(A \cap E) \neq 0,$$ then $M$ is dense in $E$, and consequently, dense in $X$.<br> It is obvious that if $E$ is not dense in $X$, then $M$ is not dense either.</p> </blockquote> http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics/77038#77038 Answer by André Caldas for Examples of common false beliefs in mathematics. André Caldas 2011-10-03T12:32:12Z 2011-10-03T12:32:12Z <p>In group theory, if <code>$G_1 \cong G_2$</code> and <code>$H_1 \cong H_2$</code>, then</p> <p><code>$G_1 / H_1 \cong G_2 / H_2$</code>.</p> <p>For example, <code>$\mathbb{Z} / 2\mathbb{Z} \not \cong \mathbb{Z} / \mathbb{Z}$</code>. The point is that the inclusion of <code>$H_j$</code> into <code>$G_j$</code> is needed in order to define the quocient.</p> http://mathoverflow.net/questions/76908/supremum-amongst-kolmogorov-sinai-entropies-ergodic-or-just-invariant-measures/84748#84748 Comment by André Caldas André Caldas 2012-01-03T13:41:46Z 2012-01-03T13:41:46Z How do you prove that $\mu(X) = 1$ implies $m(X) = 1$ for $\tau$-a.e. $m$? Remember that having an &quot;ergodic decomposition&quot; means that for every continuous $\phi: \widetilde{X} \to \mathbb{R}$, $\int \phi d\mu = \int_{E(T)} \int \phi dm d\tau$. Also, notice that it might happen that $X \neq T^{-1}X$. http://mathoverflow.net/questions/77985/locally-connected-versus-locally-compact/78034#78034 Comment by André Caldas André Caldas 2011-10-13T18:57:30Z 2011-10-13T18:57:30Z This is a very neat way to justify my intuitive but not so elaborate and well justified belief that any neighborhood should have the property. Note taken! :-) I think of a neighborhood as a &quot;sufficiently large set&quot;. Large enough to be considered a neighborhood. Often, one needs to choose a &quot;small&quot; set, but at the same time, big enough to make the small step big enough to achieve the goal... &quot;path connect two points&quot;, for instance. http://mathoverflow.net/questions/78002/infinite-dimensional-vector-spaces-with-compact-unit-ball Comment by André Caldas André Caldas 2011-10-13T15:06:58Z 2011-10-13T15:06:58Z I liked your question, Leandro! I had never thought of $\mathbb{R}$ as a infinite dimensional space with compact unit ball! You opened my mind a bit! :-) +1 http://mathoverflow.net/questions/77985/locally-connected-versus-locally-compact/77994#77994 Comment by André Caldas André Caldas 2011-10-13T14:52:18Z 2011-10-13T14:52:18Z Which one is your &quot;standard 'locally &lt;blank&gt;' definition&quot;? :-) http://mathoverflow.net/questions/77856/extending-open-maps-to-stone-cech-compactifications Comment by André Caldas André Caldas 2011-10-11T19:54:09Z 2011-10-11T19:54:09Z The extension is unique, are you just asking if the extension is or not an open surjection? http://mathoverflow.net/questions/77196/compact-group-extension-of-a-zero-entropy-system/77221#77221 Comment by André Caldas André Caldas 2011-10-07T14:16:38Z 2011-10-07T14:16:38Z @Asaf: Thank you very much for the help. I will study your answer. :-) http://mathoverflow.net/questions/77196/compact-group-extension-of-a-zero-entropy-system/77221#77221 Comment by André Caldas André Caldas 2011-10-05T17:05:02Z 2011-10-05T17:05:02Z By the way, a similar argument to &quot;Lemma 7&quot; is used in Theorem 2.3 of &quot;On Li-Yorke Pairs&quot;: <a href="http://www.imath.kiev.ua/~skolyada/LY.pdf" rel="nofollow">imath.kiev.ua/~skolyada/LY.pdf</a> &quot;Since an isometric extension of a zero-entropy system has still entropy zero [...]&quot; http://mathoverflow.net/questions/77196/compact-group-extension-of-a-zero-entropy-system/77221#77221 Comment by André Caldas André Caldas 2011-10-05T16:46:37Z 2011-10-05T16:46:37Z @Asaf: Oops... (again!) Sorry for not paying the attention you deserve! Theorem 8.2 reads: If $(X, \mathcal{B}, \mu, T)$ is an ergodic isometric extension of $(Y, \mathcal{D}, \nu, T)$ then $(X, \mathcal{B}, \mu, T)$ is a factor of an ergodic group extension of $(Y, \mathcal{D}, \nu, T)$. In Furstenberg's paper, the definition for isometric extensions is quite complicated, but there is a comment (p. 236) saying: Extensions for which $\mathcal{E}(X|Y,T) = L^2(X)$ will be called isometric extensions. http://mathoverflow.net/questions/77196/compact-group-extension-of-a-zero-entropy-system/77221#77221 Comment by André Caldas André Caldas 2011-10-05T14:39:22Z 2011-10-05T14:39:22Z @Asaf: I will have to study a bit more to fully understand your comments... :-) I guess I am forgetting the fact that $\mu$ is supposed to be ergodic. I will edit (again!) the post. By the way, I am trying to make sense of the demonstration of Lemma 7 at <a href="http://www.math.u-psud.fr/~ruette/articles/asympent.pdf" rel="nofollow">math.u-psud.fr/~ruette/articles/asympent.pdf</a> http://mathoverflow.net/questions/77196/compact-group-extension-of-a-zero-entropy-system/77221#77221 Comment by André Caldas André Caldas 2011-10-05T12:01:50Z 2011-10-05T12:01:50Z @Asaf: Oops... you are right. It is a very good example. I will fix the post. http://mathoverflow.net/questions/77196/compact-group-extension-of-a-zero-entropy-system/77221#77221 Comment by André Caldas André Caldas 2011-10-05T11:46:54Z 2011-10-05T11:46:54Z I do not want to prove the entropy decreases. It is quite the opposite. I want to prove that if the entropy in the quotient is $0$ then it will be $0$ in the original system. http://mathoverflow.net/questions/77196/compact-group-extension-of-a-zero-entropy-system/77221#77221 Comment by André Caldas André Caldas 2011-10-05T11:44:25Z 2011-10-05T11:44:25Z Yes, $G$ means $K$... :-) I will correct it. http://mathoverflow.net/questions/77007/furstenberg-zimmer-theorem-non-invertible-systems/77160#77160 Comment by André Caldas André Caldas 2011-10-04T19:09:21Z 2011-10-04T19:09:21Z Thank you very much, Asaf! This is my new canonical reference for ergodic theory. I am ordering this book. I had a pick, and what I really needed was Theorem 7.21. It is stated for not necessarily invertible &quot;Borel Probability Spaces&quot; (Definition 5.13). http://mathoverflow.net/questions/77007/furstenberg-zimmer-theorem-non-invertible-systems Comment by André Caldas André Caldas 2011-10-04T17:43:22Z 2011-10-04T17:43:22Z @Asaf: Tao assumes it in Lecture 1: <a href="http://terrytao.wordpress.com/2008/01/08/254a-lecture-1-overview/" rel="nofollow">terrytao.wordpress.com/2008/01/08/&hellip;</a> For the reference you pointed (Manfred), I think this is exactly what I needed. I didn't know about this book. If I may, I'd like to suggest you to post it as an answer. :-) Manfred's book is what I should be reading!! Thank you very very much! http://mathoverflow.net/questions/77036/system-with-invariant-measure-but-no-ergodic-measure Comment by André Caldas André Caldas 2011-10-04T17:24:06Z 2011-10-04T17:24:06Z @Asaf: Subspaces of locally-compact spaces might not be locally-compact. The rationals (or irrationals) are not locally-compact. As for the Krein-Milman theorem, what one needs is the topology to be generated by a separating family of linear functionals, and the set in question to be compact in this topology.