A countable metric space whose Hoare power space is not co-sober
Xu asked whether the Hoare power space of a co-sober space, and in particular of a $T_2$-space or a metric space, must be co-sober. We give a negative answer. He and Zhao recently constructed a countable $T_{1}$ space $X$ whose lattice of open sets has a non-sober Scott topology. We observe that their topology has a countable subbase. The classical Ponomarev construction then yields an open continuous surjection from a countable zero-dimensional metrizable space $M$ onto $X$. Direct and inverse images then make the Scott space $Σ\mathcal{O}(X)$ a retract of $Σ\mathcal{O}(M)$, so…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.05868
curl -X POST /api/v1/records/arxiv/2610.05868/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.05868/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'