Basically disconnected space which is not extremally disconnected

828 Views Asked by At

Space $X$ is basically disconnected if every cozero-set has an open closure.

Every extremally disconnected space is basically disconnected But i think the converse fails. The one-point compactification $\alpha D(\tau)$ of an uncountable discrete space is a counterexample?

2

There are 2 best solutions below

4
On BEST ANSWER

That doesn’t quite work: if $C$ is a countably infinite subset of $D(\tau)$, $C$ is a cozero-set in $\alpha D(\tau)$ whose closure isn’t open.

Take $X$ to be the one-point Lindelöfization of an uncountable discrete space, with non-isolated point $p$: nbhds of $p$ are the sets $X\setminus C$ for countable $C\subseteq(X\setminus\{p\})$. $X$ is a $P$-space, meaning that $G_\delta$-sets in $X$ are open, so every zero-set in $X$ is open, and therefore every cozero-set in $X$ is closed, and $X$ is basically disconnected.

Now let $X\setminus\{p\}=U\cup V$, where $U$ and $V$ are uncountable and disjoint. $U$ and $V$ are open, but $\operatorname{cl}U=U\cup\{p\}$ and $\operatorname{cl}V=V\cup\{p\}$ are not disjoint, so $X$ is not extremally disconnected.

0
On

you can find examples in the Gillman and Jerison's book: Ring of continuous functions