Is a comeagre set closed

72 Views Asked by At

In this page: https://en.wikipedia.org/wiki/Meagre_set

The complement of a meagre set is a comeagre set or residual set.

I am asking if a comeagre set is still closed in the (usually larger) topological space. If no, is there is any examples of that property.

2

There are 2 best solutions below

0
On

No. For instance, $\mathbb R\setminus\mathbb Q$ is comeagre in $\mathbb R$, but it is not a closed subset.

0
On

The topological spaces $X$ where the only closed comeagre subset is $X$ itself are called Baire spaces. It is a very large class of spaces which includes all locally compact Hausdorff spaces and all complete metric spaces.

On the other hand, in $\Bbb Q$ all subsets are (co)meagre.

Added: Also, notice that a topological space has some non-closed comeagre subset if and only if it isn't discrete. In fact, let $x\in X$ be a non-open point. Then $X\setminus\{x\}$ is comeagre and non-closed. On the other hand, if $X$ is discrete then $X$ is the only comeagre subset of $X$.