Uniform retractions onto a probability measure algebra and an application to topological groups
We prove that the indicator functions form a uniformly continuous retract of the set of $[0,1]$-valued functions in $L^2([0,1])$. Consequently, the Lebesgue probability measure algebra, equipped with the symmetric-difference metric, is an injective uniform space. The construction uses dyadic conditional expectations and a common exponential coupling to obtain Lipschitz maps into the indicator functions that approximate the identity uniformly on that set. As an application, we construct a Polish topological group whose left uniform space is injective but which admits a bounded left uniformly…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.01802
curl -X POST /api/v1/records/arxiv/2611.01802/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.01802/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'