3
$\begingroup$

Does there exist a compact Hausdorff space such that each singleton is not in $\cal{G_\delta}$? Maybe not difficult example.

  • 2
    This may help: http://at.yorku.ca/p/a/b/c/06.htm2011-12-20

1 Answers 1

7

Yes, there are compact Hausdorff spaces in which no point is a $G_\delta$. (I’ll have to think more about the second question.)

Let $X=\beta\omega\setminus\omega$; then $X$ is a compact Hausdorff space in which no singleton is a $G_\delta$. To see this, let $p\in X$, and think of $p$ as a free ultrafilter on $\omega$. Let $\{V_n:n\in\omega\}$ be a countable family of open nbhds of $p$. Then for each $n\in\omega$ there is a set $A_n\subseteq\omega$ such that $p\in\hat A_n\subseteq V_n$, where $\hat A_n=\{q\in X:A_n\in q\}$ is a basic open set in $X$. Without loss of generality we may assume that $\bigcap_{n\in\omega}A_n=\varnothing$, that $A_{n+1}\subseteq A_n$, and further that $|A_n\setminus A_{n+1}|\ge 2$ for each $n\in\omega$. For each $n\in\omega$ choose an integer $b_n\in A_n\setminus A_{n+1}$, and let $B=\{b_n:n\in\omega\}$. Then the families $\mathscr{F}=\{B\}\cup\{A_n:n\in\omega\}$ and $\mathscr{G}=\{\omega\setminus B\}\cup\{A_n:n\in\omega\}$ are both centred, so they can be extended to free ultrafilters $q(\mathscr{F})$ and $q(\mathscr{G})$, respectively. Exactly one of $B$ and $\omega\setminus B$ belongs to $p$. If $B\in p$, then $q(\mathscr{G})\in\bigcap_{n\in\omega}\hat A_n\setminus\{p\}\;,$ and if $\omega\setminus B\in p$, then $q(\mathscr{F})\in\bigcap_{n\in\omega}\hat A_n\setminus\{p\}\;,$ so $\{p\}\ne\bigcap_{n\in\omega}\hat A_n \subseteq\bigcap_{n\in\omega}G_n\;,$ and $\{p\}$ is not a $G_\delta$.

Added: An even simpler example is $X=\{0,1\}^{\omega_1}$. If $x\in X$ belongs to some $G_\delta$-set $H$, there is an $\alpha<\omega_1$ such that $G=\{y\in X:y\upharpoonright\alpha= x\upharpoonright\alpha\}\subseteq H$, and clearly $\{x\}\subsetneqq G$.

  • 0
    Very thanks for examples.2011-12-23