User - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T19:48:18Z http://mathoverflow.net/feeds/user/3365 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/120508/partitions-of-central-sets-via-dynamical-systems Partitions of central sets via dynamical systems alexod 2013-02-01T09:35:08Z 2013-02-01T12:20:23Z <p>In the book "Recurrence in Ergodic Theory and Combinatorial Number Theory", 1981, Furstenberg introduced the notion of <em>central sets</em>.</p> <p>He proved in Theorem 8.8 that in each finite partition of $\mathbb{N}$, $\mathbb{N}=B_1 \cup B_2 \cup \dots \cup B_q$ one of the sets $B_j$ contains a central set. Then he states without proof that the same is true for partitions of central sets and that one can prove this "along the same lines" as Theorem 8.8 (p. 163).</p> <p>I know that this fact follows immediately from the characterization of central sets by minimal idempotent ultrafilters. However, this is obviously not the proof that Furstenberg had in mind 1981 as this characterization was not available then. Thus my question:</p> <p>How can one prove in the fashion of Theorem 8.8, i.e. using only tools recurrence in dynamical systems, that for each finite partition of a central set $S$, $S=B_1 \cup B_2 \cup \dots \cup B_q$ one of the $B_j$ contains a set that is again central?</p> <hr> <p>For the sake of reference I include the necessary definitions and the proof of Theorem 8.8 below. </p> <p>Let $(X,T)$ be a dynamical system. $x_1,x_2\in X$ are <em>proximal</em> if for some sequence $n_k\to \infty$, $d(T^{n_k}x_1,T^{n_k}x_2) \to 0$. A point $x\in X$ is called <em>uniformly recurrent</em> if for each neighborhood $U$of $x$, the sequence of values $n_1 &lt; n_2 &lt; \dots$, for which $T^{n_k}x\in U$, satisfies that $\{ n_{k+1}-n_k \}$ is bounded.</p> <p>As set $S$ is called central if there is a $x,y\in X$ and a neighborhood $U$ of $y$ such that $y$ is uniformly recurrent and proximal to $x$ and $S=\{ n : T^nx\in U \}$.</p> <p>The only tools we need for the proof Theorem 8.8 is then the Auslander-Ellis Theorem (Theorem 8.7) which reads as follows. If $(X,T)$ is a dynamical system an $X$ is compact. Then every point $x$ in $X$ is proximal to a uniformly recurrent point.</p> <p><strong>Proof of Theorem 8.8:</strong> </p> <p>Consider the dynamical system with $(\Omega,T)$ with $\Omega =\{ 1, \dots, q \}^\mathbb{Z}$ and $T$ the shift $T\omega(n)=\omega(n+1)$. Let $\xi\in\Omega$ be a point with $\xi(n)=i$ implies $n\in B_i$ for $n\in\mathbb{N}$.</p> <p>Let now $\eta\in\Omega$ be a uniformly recurrent point proximal to $\xi$. This point exists by the Auslander-Ellis Theorem. Let $j=\eta(0)$ and set $U=\{ \omega : \omega(0)=j \}$ and let $S=\{n: T^n\xi\in U \}$. Clearly $S$ is central and if $n\in S$ then $\xi(n)=T^n\xi(0)=j$, so that $n\in B_j$ and thus $S\subseteq B_j$.</p> http://mathoverflow.net/questions/111877/undecidability-of-the-root-existence-problem-for-functions-with-bounded-domain/119342#119342 Answer by alexod for (Un)Decidability of the root existence problem for functions with bounded domain alexod 2013-01-19T16:22:08Z 2013-01-19T18:23:02Z <p>Suppose there is an algorithm that decides whether a function $f\colon \Omega \to \mathbb{R}$ has a root. Then one can also compute a root of $f$ if $f$ has one.</p> <p>One can see this using a standard bi-partition argument: Cover $\Omega$ with finitely many balls of radius $1$. This is possible since the closure of $\Omega$ is compact. Then using the algorithm we can find a ball that contains a root of $f$. Then we cover this ball with balls of radius $2^{-1}$ and again find a smaller ball which contains a root...</p> <p>Iterating this process yield a sequence converging to a root of $f$ with rate $2^{-n}$ or in other words a Cauchy-real representation for a root.</p> <p>Now, finding a root for a function implies Brouwer's fixed point theorem.</p> <p>To see that let $\Omega$ be bounded and closed and $g\colon \Omega \to \Omega$ continuous. $g$ has a fixed-point at any root of the function $f\colon \Omega \to \mathbb{R}$, $f(x):= \lvert g(x) - x\rvert$.</p> <p>For Brouwers fixed point theorem it is known that there is no algorithm to find solutions, see for instance <a href="http://arxiv.org/abs/0804.3199" rel="nofollow">Computable counter-examples to the Brouwer fixed-point theorem, Petrus H. Potgieter</a>.</p> <p>Thus, we can conclude that there is no algorithm which decides whether a function has a root.</p> http://mathoverflow.net/questions/118607/about-the-well-ordering-of-finite-sequences-of-numbers/118728#118728 Answer by alexod for About the well ordering of finite sequences of numbers alexod 2013-01-12T13:31:42Z 2013-01-12T13:31:42Z <p>The statement that the indicated order on $\mathbb{N}^{&lt;\mathbb{N}}$ is well-founded is incomparable with $B\Sigma_2$.</p> <p>I will denote the order by $\prec$. The statement that $\prec$ is well-founded can written as the statement that each non-empty set $X$ contains a $\prec$-minimal element, i.e.</p> <p>(1) $\forall X \left( \exists x \in X \rightarrow \exists y \left( y \in X \land \forall z \prec y\ z\notin X\right)\right)$.</p> <p>It think it is clear that $B\Sigma_2$ does not imply (1). Therefore, I will just show that (1) does not imply $B\Sigma_2$. This will be done by constructing a first-order model and extend it to a model of $RCA_0 + (1)$ in which $B\Sigma_2$ fails.</p> <p>Let $\phi_i$ be (1) where $X$ is replaced by the $i$-th $\Delta_1$-sentence. Each $\phi_i$ is $\Sigma_2$. By Theorem 1 of [1] there exists an instance of $B\Sigma_2$ which is not implied by $(\phi_i)$. (Note that the principle $FAC^\Pi_1$ there is equivalent to $B\Pi_1$ or $B\Sigma_2$.)</p> <p>Thus, there is a first-order model of $I\Sigma_1+(\phi_i)_i+\neg B\Sigma_2$. Extending this model to a second-order model by taking all $\Delta_1$-sets as second-order part we arrive at the desired counter-example.</p> <p>[1] Charles Parsons, On a Number Theoretic Choice Schema and its Relation to Induction, In: A. Kino, J. Myhill and R.E. Vesley, Editor(s), Studies in Logic and the Foundations of Mathematics, Elsevier, 1970, Volume 60, Pages 459-473, ISSN 0049-237X, ISBN 9780720422573, 10.1016/S0049-237X(08)70771-7. <a href="http://www.sciencedirect.com/science/article/pii/S0049237X08707717" rel="nofollow">http://www.sciencedirect.com/science/article/pii/S0049237X08707717</a></p> http://mathoverflow.net/questions/12211/applications-of-infinite-ramseys-theorem-on-n Applications of infinite Ramsey's Theorem (on N)? alexod 2010-01-18T17:52:32Z 2012-10-17T18:50:07Z <p>Finite Ramsey's theorem is a very important combinatorial tool that is often used in mathematics. The infinite version of Ramsey's theorem (Ramsey's theorem for colorings of tuples of natural numbers) also seems to be a very basic and powerful tool but it is apparently not as widely used.</p> <p>I searched in the literature for applications of infinite Ramsey's theorem and only found </p> <ul> <li>straight forward generalization of statements that follow from finite Ramsey's theorem (example: Erdos-Szekeres ~> every infinite sequence of reals contains a monotonic subsequence) and some other basic combinatorial applications,</li> <li>Ramsey factorization for \omega-words,</li> <li>the original applications of Ramsey to Logic.</li> </ul> <p>Where else is infinite Ramsey's theorem used? Especially are there applications to analysis?</p> http://mathoverflow.net/questions/24508/sequence-that-converge-if-they-have-an-accumulation-point Sequence that converge if they have an accumulation point alexod 2010-05-13T14:03:09Z 2010-05-27T21:28:23Z <p>I am looking for classes of sequence, that converge iff they contain a converging sub-sequence.</p> <ul> <li>The basic example of such sequences are monotone sequences of real numbers.</li> <li><p>A more interesting examples comes from metric fixed point theory:<br> Let $B$ be a Banach space and $f\colon B \to B$ be a continuous mapping that is non-expansive (i.e. <code>$\lVert f(x) - f(y)\rVert \le \lVert x -y\rVert$</code>).<br> Define <code>$x_{n+1} := \frac{1}{2} x_n + \frac{1}{2} f(x_n)$</code> for any startingpoint <code>$x_0\in B$</code>. This is the so called <em>Krasnoselski iteration</em>.<br> One can show that any accumulation point $\tilde{x}$ of $(x_n)$ is a fixed point of $f$. Since $f$ is non-expansive, it follows that<br> <code>$\lVert x_{n+1}-\tilde{x}\rVert = \frac{1}{2}\lVert (x_{n}-\tilde{x}) + (f(x_{n}) - f(\tilde{x}))\rVert\le \lVert x_n -\tilde{x}\rVert$</code>.<br> Hence <code>$(x_n)$</code> converges iff it contains a converging sub-sequence. </p> <p>This is a special case of Ishikawa's fixed point theorem. (The Krasnoselski-Mann iteration - a generalization of the Krasnoselski iteration - also has this property.)</p></li> </ul> <p>I am interested in this sequence because they provide very nice applications of the Bolzano-Weierstrass principle.</p> <p>Do you know of any other examples of sequences with this property?<br> Do you know other proofs that uses this property together with the Bolzano-Weierstrass principle to prove the convergence of a sequence?</p> http://mathoverflow.net/questions/128791/can-nonstandard-analysis-be-used-to-prove-results-in-constructive-or-computable-a Comment by 2013-04-26T20:11:10Z 2013-04-26T20:11:10Z I do not know whether this is what you are looking for but Keita Yokoama used non-standard analysis to analyze the strength of the Riemann mapping theorem in terms of reverse mathematics, see <a href="http://www.math.tohoku.ac.jp/~y-keita/papers/nonst-r-mapping.pdf" rel="nofollow">math.tohoku.ac.jp/~y-keita/papers/&hellip;</a> http://mathoverflow.net/questions/120508/partitions-of-central-sets-via-dynamical-systems Comment by 2013-02-01T15:09:51Z 2013-02-01T15:09:51Z Asaf: The sets $S,S′$ are clearly central. But I do not see why this implies that $\{ s_{n′} \mid n′\in S′ \}$ is central. However, this might be what Hillel was thinking about. Maybe there is just an argument missing http://mathoverflow.net/questions/120508/partitions-of-central-sets-via-dynamical-systems Comment by 2013-02-01T12:21:37Z 2013-02-01T12:21:37Z @Gabor: your right that should be 0, thank you. It is now corrected. http://mathoverflow.net/questions/111877/undecidability-of-the-root-existence-problem-for-functions-with-bounded-domain/119342#119342 Comment by 2013-01-19T18:23:32Z 2013-01-19T18:23:32Z @Fran&#231;ois thank you, I missed that point. http://mathoverflow.net/questions/81968/quantum-sheaves Comment by 2011-11-26T22:17:26Z 2011-11-26T22:17:26Z In <a href="http://arxiv.org/abs/0709.4364" rel="nofollow">arxiv.org/abs/0709.4364</a> Heunen, Landsman and Splitters construct a sheaf over a C*-algebras for quantum logic. But I don't know whether their construction differs from your definition. http://mathoverflow.net/questions/25227/using-the-multiverse-approach-to-decide-the-law-of-the-exluded-middle/25280#25280 Comment by 2010-05-20T14:18:47Z 2010-05-20T14:18:47Z @Steven your right [0,1] is not a boolean algebra http://mathoverflow.net/questions/24717/what-do-you-use-categorical-glueing-sconing-freyd-covers-for Comment by 2010-05-15T18:45:28Z 2010-05-15T18:45:28Z Dear Neel, I am little bit confused: Is there a difference between &quot;logical relations&quot; and structural induction over the types of your term system? http://mathoverflow.net/questions/24508/sequence-that-converge-if-they-have-an-accumulation-point Comment by 2010-05-14T06:23:28Z 2010-05-14T06:23:28Z @Henno: you are right - this even seems to hold for any ultra-limit and the sequence converging to it. I was hoping for a more constructive way to find such sequences, but this is definitely an answer to the first question. http://mathoverflow.net/questions/12211/applications-of-infinite-ramseys-theorem-on-n Comment by 2010-05-08T08:50:56Z 2010-05-08T08:50:56Z @Tran The compactness argument only proves the finite version of Ramsey's theorem from the infinite one. The infinite Ramsey's theorem is proof-theoretically stronger than the finite version. For instance finite Ramsey is provable in PA, where infinite Ramsey implies the Paris-Harrington variant, which is not provable there. http://mathoverflow.net/questions/23788/reducing-aca-proof-to-first-order-pa Comment by 2010-05-08T08:44:25Z 2010-05-08T08:44:25Z For c) I suppose if you apply a proof normalization (or cut elimination) to a proof of say a $\Pi^0_2$-statement in $ACA_0$, second order quantification will vanish and the proof will become first order. http://mathoverflow.net/questions/12211/applications-of-infinite-ramseys-theorem-on-n/12234#12234 Comment by 2010-01-19T10:42:54Z 2010-01-19T10:42:54Z This is a nice application of Ramsey's theorem, but as far as I can see they are could have used finite Ramsey's theorem if they would have calculated the size of the sets $\sigma_i$.