H-sober spaces and Hofmann-Mislove type theorems
Source: arxiv.org/abs/2611.05214
A $T_0$-space is called $ω$-sober if every irreducible closed subset having a countable dense subset is the closure of a unique point. This is precisely $H$-sobriety for the countable irreducible subset system $\mathcal R^ω$. We give two natural Hofmann--Mislove representations in the general $H$-sobriety framework: filters induced by $H$-sets of $X$ characterize $H$-sobriety, whereas filters induced by $H$-sets of the Smyth power space characterize super $H$-sobriety. Their relation is expressed by property $Q$. A minimal closed set argument with a countable selection proves that $\mathcal…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.05214
curl -X POST /api/v1/records/arxiv/2611.05214/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.05214/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'