Baire category theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T07:02:30Z http://mathoverflow.net/feeds/question/12249 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/12249/baire-category-theorem Baire category theorem has2 2010-01-18T22:56:02Z 2010-01-19T08:10:55Z <p>Let's call the following conditions (1): $X$ is a complete metric space with metric $d$, $X = \cup_{n=1}^\infty A_n$. Let $\bar{A}$ denote the closure of $A$.</p> <p>Let's call the following statement (2): at least one of the $\bar{A}_n$ contains a ball.</p> <p>Baire category theorem gives: </p> <p>Fact1: (1) $\Rightarrow$ (2)</p> <p>Now take any $x\in X$ and consider the closed ball $B = B(x,\delta)=\{y: d(x,y)\le \delta\}$. This is a complete metric space itself and it is covered by $A_n \cap B$. Thus these sets satisfy (1). Fact1 gives us an $n$ such that the closure of $A_n \cap B$ contains a ball in $B$. Thus, we have strengthened Fact1 to</p> <p>Fact1': (1) $\Rightarrow$ (2')</p> <p>where (2') is: For every $x\in X$, every neighborhood of $x$ contains a ball that is contained in one of the $\bar{A}_n$.</p> <p>Question: Can (2') be strengthened further? Here are some example statements, both of which are too strong:</p> <ul> <li>For every $x$, there is a $\delta$ such that $B(x,\delta)$ is contained in one of the $\bar{A}_n$</li> <li>For every $x$, there is an $A_n$ such that $\bar{A}_n$ contains an open set $G$ with $d(x,G)=0$.</li> </ul> <p><hr /></p> <p>Many thanks for the responses. The motivation for this question was as follows.</p> <p>1) What does it mean for a set $A$ to have a closure with empty interior? Take an element $a \in \bar{A}$. This means that $a$ is either in $A$ or there is a sequence in $A$ that converges to $a$. This can be rephrased as `$a$ is a point that can be approximated with infinite precision by $A$.' If $\bar{A}$ has no interior, perturbing $a$ by a small amount will give an $a'$, such that $a'$ is a finite distance away from $\bar{A}$. Thus, $a'$ will be a point that can only be approximated by $A$ with finite precision. Then, one can think of $A$ as a multi resolution grid with discontinuous approximation capability: you perturb any point that can be approximated infinitely well by it and you get a point that can only be approximated with finite precision.</p> <p>2) $X$ itself can be thought of as the perfect multi resolution grid for itself: every point $x\in X$ is well approximated by $X$, and perturbing $x$ will not change this. The way I wanted to think of $X= \cup_{n=1}^\infty A_n$ was this: for every $x \in X$, one of the $A_n$ provides a multiresolution grid around $x$ that has continuous approximation capability. I wanted to think, similar to Leonid's response, that the set of $X$ where this is not possible was to be in some sense to be exceptional.</p> http://mathoverflow.net/questions/12249/baire-category-theorem/12252#12252 Answer by gowers for Baire category theorem gowers 2010-01-18T23:06:20Z 2010-01-18T23:06:20Z <p>The following example should place limits on any strengthening of that kind. Define a sequence of sets by taking the first one to be the Cantor set, the second to be the Cantor set with the middle third filled in, the third to be the Cantor set with the middle third and two remaining middle ninths filled in, and so on. The union of all these (closed) sets is [0,1]. Now if I take a number with a ternary representation such as 0.202020202... then it will not belong even to the boundary of the middle third, or the middle ninth on the right, etc. etc. In the light of this, and many similar examples, I'm not sure what more one can ask for than what the Baire category theorem gives. </p> http://mathoverflow.net/questions/12249/baire-category-theorem/12253#12253 Answer by 002 for Baire category theorem 002 2010-01-18T23:14:55Z 2010-01-18T23:14:55Z <p>Maybe if you allow an exceptional set, as in "For every $x$ outside of some meagre set, there is a <code>$\delta&gt;0$</code> such that $B(x,\delta)$ is contained in one of the <code>$\overline{A}_n$</code>" </p> <p>(Indeed, the set of all $x$ where the above fails is a closed subset of $X$ with empty interior.)</p> http://mathoverflow.net/questions/12249/baire-category-theorem/12285#12285 Answer by Dima Fon-Der-Flaass for Baire category theorem Dima Fon-Der-Flaass 2010-01-19T05:45:47Z 2010-01-19T05:45:47Z <p>You need to be more careful. "A ball" in (2') means a ball of the neighbourhood, not a ball of the original space. The first answer above demonstrates this difference.</p>