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$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.