Does pointwise convergence imply uniform convergence on a large subset? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T13:04:20Z http://mathoverflow.net/feeds/question/45784 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/45784/does-pointwise-convergence-imply-uniform-convergence-on-a-large-subset Does pointwise convergence imply uniform convergence on a large subset? Bill Johnson 2010-11-12T04:01:44Z 2011-02-27T03:12:11Z <p>Suppose $f_n$ is a sequence of real valued functions on $[0,1]$ which converges pointwise to zero. </p> <ol> <li><p>Is there an uncountable subset $A$ of $[0,1]$ so that $f_n$ converges uniformly on $A$?</p></li> <li><p>Is there a subset $A$ of $[0,1]$ of cardinality the continuum so that $f_n$ converges uniformly on $A$?</p></li> </ol> <p>Background: Egoroff's theorem implies that the answer to (2) is yes if all $f_n$ are Lebesgue measurable. It is not hard to show that the answer to (1) is yes if you change "uncountable" to "infinite".</p> <p>Motivation: I thought about this question while teaching real analysis this term but could not solve it even after looking at some books, googling, and asking some colleagues who are much smarter than I, so I assigned it as a problem (well, an extra credit problem) to my class. Unfortunately, no one gave me a solution. </p> <p>ADDED 11-12-10: Thanks for all the great answers. I accepted Jonas' answer since it was the first one.</p> http://mathoverflow.net/questions/45784/does-pointwise-convergence-imply-uniform-convergence-on-a-large-subset/45786#45786 Answer by Jonas Meyer for Does pointwise convergence imply uniform convergence on a large subset? Jonas Meyer 2010-11-12T04:27:27Z 2010-11-12T04:27:27Z <p>I did some Googling and came up with something that looks relevant, <a href="http://books.google.com/books?id=WwmvxtDlz9UC&amp;lpg=PA124&amp;ots=lcdSy9gacd&amp;dq=point%2520set%2520theorem%2520morgan&amp;pg=PA88#v=onepage&amp;q&amp;f=false" rel="nofollow">Theorem 10</a> quoted below from Morgan's <em>Point set theory</em>. It cites works of Sierpiński from the late 1930s, but I can't tell what works are cited because the preview won't let me see that page in the references.</p> <blockquote> <p>The existence of a linear set having the power of the continuum that is concentrated on a denumerable set is equivalent to the existence of a pointwise convergent sequence of functions of a real variable that does not converge uniformly on any uncountable set.</p> </blockquote> http://mathoverflow.net/questions/45784/does-pointwise-convergence-imply-uniform-convergence-on-a-large-subset/45788#45788 Answer by Andrey Rekalo for Does pointwise convergence imply uniform convergence on a large subset? Andrey Rekalo 2010-11-12T05:08:40Z 2010-11-12T06:24:13Z <p>To add a bit to Jonas Meyer's answer. </p> <p>Sierpiński's result was first published in <em>C.R. Soc. Sc. Varsovie</em> 1928, p. 84-87. It was reproduced in his monograph <a href="http://matwbn.icm.edu.pl/ksiazki/mon/mon04/mon0403.pdf" rel="nofollow"><em>"Hypothèse du continu"</em></a> (Lwów, 1934, p. 52):</p> <blockquote> <p><strong>Proposition $C_9$.</strong> Il existe une suite infinie convergente de fonctions d'une variable réelle<br> $f_1(x)$, $f_2(x)$, $f_3(x),...$ qui convergent non uniformément sur tout ensemble indénombrable.</p> </blockquote> <p>Sierpiński effectively derived it from the statement which is implied by the continuum hypothesis (Ibid. p. 36):</p> <blockquote> <p><strong>Proposition $C_1$.</strong> Il existe un ensemble linéaire $N$ de puissance du continu qui admet un ensemble au plus dénombrable de points communs avec tout ensemble (linéaire) parfait non-dense.</p> </blockquote> http://mathoverflow.net/questions/45784/does-pointwise-convergence-imply-uniform-convergence-on-a-large-subset/45789#45789 Answer by Nate Eldredge for Does pointwise convergence imply uniform convergence on a large subset? Nate Eldredge 2010-11-12T05:11:18Z 2010-11-12T05:11:18Z <p><a href="http://arxiv.org/abs/math/0512546" rel="nofollow">This paper</a> by R. Pinciroli claims that the stronger statement:</p> <blockquote> <p>$f_n$ converges uniformly on sets of outer measure arbitrarily close to 1</p> </blockquote> <p>is undecidable in ZFC.</p> http://mathoverflow.net/questions/45784/does-pointwise-convergence-imply-uniform-convergence-on-a-large-subset/45829#45829 Answer by Eric Wofsey for Does pointwise convergence imply uniform convergence on a large subset? Eric Wofsey 2010-11-12T14:36:54Z 2010-11-12T14:49:43Z <p>A simple diagonalization argument gives a counterexample if you assume the continuum hypothesis. Let a modulus of convergence be a sequence $\delta:{\mathbb N}\to(0,\infty)$ which converges to 0, and say that $\delta>\delta'$ if $\delta(n)>\delta'(n)$ for sufficiently large $n$. By diagonalizing, for any countable set ${\delta_n}$ of sequences there is some $\Delta$ (which still converges to 0) such that $\Delta>\delta_n$ for all $n$.</p> <p>We say that a sequence $x_n$ converges to $x$ with modulus $\delta$ if $|x_n-x|&lt;\delta(n)$ for all $n$. We then have that $f_n$ converges to $f$ uniformly iff there is a single $\delta$ such that $f_n(x)$ converges to $f(x)$ with modulus $\delta$ for all $x$.</p> <p>Now assuming the continuum hypothesis, the set of all moduli and the set of all points in $[0,1]$ are both in bijection with $\omega_1$; let $(\delta_\alpha)_{\alpha&lt;\omega_1}$ and $(x_\alpha)_{\alpha&lt;\omega_1}$, respectively, be enumerations. For each $\alpha$, let $\Delta_\alpha$ be a modulus such that $\Delta_\alpha>\delta_\beta$ for all $\beta&lt;\alpha$ (since there are only countably many such $\beta$). Now let $f=0$ and define $f_n(x_\alpha)=\Delta_\alpha(n)$. Then $f_n(x_\alpha)$ converges to $f(x_\alpha)=0$ for all $x_\alpha$. However, for any fixed modulus $\delta=\delta_\beta$, $f_n(x_\alpha)$ cannot converge with modulus $\delta$ for $\alpha>\beta$ by construction, so there are only countably many points on which $f_n$ converges uniformly with modulus $\delta$.</p> http://mathoverflow.net/questions/45784/does-pointwise-convergence-imply-uniform-convergence-on-a-large-subset/56783#56783 Answer by Alberto Santini for Does pointwise convergence imply uniform convergence on a large subset? Alberto Santini 2011-02-27T03:12:11Z 2011-02-27T03:12:11Z <p>Also, <a href="http://www.projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.nmj/1118798877" rel="nofollow">Shinoda (1973)</a> proved that if Martin's Axiom and $\neg CH$ hold, then the answer to 1) si affirmative.</p>