A closed meagre subset of $[0,1]$ is either countable or homeomorphic to the Cantor set: either way it is $0$-dimensional.


Q.1. Is every closed meagre subset of an $n$-dimensional locally compact Hausdorff space of dimension $\le n-1$ (for $n\ge 1$)?


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)?


Q.3. Is there a simple example of an uncountable closed meagre subset of the Cantor set? 



closed meagre sets
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. 


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. 


