1
$\begingroup$

Just as the title explains, is the Sorgenfrey Line monotonically monolithic (see the definition)?

$\endgroup$

1 Answer 1

3
$\begingroup$

No, the Sorgenfrey line $\mathbb{R}_l$ is not even $\aleph_0$-monolithic.

Note that any network $\mathcal{N}$ on $\mathbb{R}_l$ must have at least $2^{\aleph_0}$ elements, since for each $x \in \mathbb{R}_l$ there is an $N_x \in \mathcal{N}$ such that $x \in N_x \subseteq [x,x+1)$. On the other hand $\mathbb{R}_l$ is separable since $\mathbb{Q}$ remains dense in the Sorgenfrey topology. So $\aleph_0 =d(\mathbb{R}_l) \lt nw(\mathbb{R}_l)$ and hence $\mathbb{R}_l$ is not $\aleph_0$-monolithic.

By the way: monotonically monolithic $\implies$ monolithic $\implies$ $\aleph_0$-monolithic.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .