closed meagre sets - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T01:24:10Z http://mathoverflow.net/feeds/question/93992 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/93992/closed-meagre-sets closed meagre sets Douglas Somerset 2012-04-13T22:04:15Z 2012-04-30T18:04:07Z <p>A closed meagre subset of $[0,1]$ is either countable or homeomorphic to the Cantor set: either way it is $0$-dimensional.</p> <p>Q.1. Is every closed meagre subset of an $n$-dimensional locally compact Hausdorff space of dimension $\le n-1$ (for $n\ge 1$)?</p> <p>Q.2. If so, is there anything unusual about meagre sets in $0$-dimensional and infinite-dimensional spaces in which closed meagre sets can have dimension equal to the dimension of the whole space (one would think that meagre sets might be 'fatter' in some sense in these cases)?</p> <p>Q.3. Is there a simple example of an uncountable closed meagre subset of the Cantor set? </p> http://mathoverflow.net/questions/93992/closed-meagre-sets/93993#93993 Answer by Andreas Blass for closed meagre sets Andreas Blass 2012-04-13T22:21:45Z 2012-04-13T22:21:45Z <p>For Q3, the answer is yes. Think of the Cantor set as consisting of the points that have a base-3 expansion containing only 0's and 2's. Now take the subset of those points where the 2's occur only in even-numbered positions. </p> <p>Also, in the first sentence, "either countable or homeomorphic to the Cantor set" isn't right; it could be the union of a countable set and a copy of the Cantor set. Nevertheless, it would still be 0-dimensional. </p> http://mathoverflow.net/questions/93992/closed-meagre-sets/93994#93994 Answer by Anton Petrunin for closed meagre sets Anton Petrunin 2012-04-13T22:32:10Z 2012-04-13T22:32:10Z <p>Q1. The answer is NO.</p> <p>Take $\mathbb R$ and attach to each rational point $p/q$ a segment of length $1/q$. You get a locally compact 1-dimensional metric space $M$. The set $\mathbb R$ forms a closed meagre subset in $M$.</p> http://mathoverflow.net/questions/93992/closed-meagre-sets/95595#95595 Answer by Ostap Chervak for closed meagre sets Ostap Chervak 2012-04-30T18:04:07Z 2012-04-30T18:04:07Z <p>By the way, your question 1 is true for n-dimensional manifolds (since it is true for $\mathbb{R}^n$ by theorem of Menger and Urysohn).</p> <p>Note that Q3 can also be answered noting that Cantor set $C$ is homeomorphic to $C^2$ and for every point $x$, {$x$} $\times C$ is a meagre subset of $C^2$. Note that this construction gives you Andreas's answer if x=0.</p>