Finite-Point Metrizable Coarsenings: Compatible Gauges, Simplicial Metrics, and Hausdorff Lower Bounds
Let $(X,τ)$ be metrizable and let $F=\{a_1,\ldots,a_k\}\subseteq X$, where $2\le k 0$ for $i\ne j$ is equivalent to both Hausdorffness and metrizability of the prescribed gauge topology. A normalized product map into the standard simplex gives an explicit metric; its triangle inequality follows from a simplex slack inequality. This metric is complete whenever the auxiliary bounded compatible metric is complete. For two compatible systems, their coordinatewise minimum describes the intersection topology. It is compatible exactly when the two coarsenings have a common Hausdorff lower bound; in…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.20514
curl -X POST /api/v1/records/arxiv/2609.20514/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.20514/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'