A constructive proof for the simple connectedness of finite subset spaces
The space of all finite non-empty subsets of a topological space $X$, also known as the Ran space of $X$, is weakly contractible for $X$ path connected. We consider subspaces $\mathrm{Ran}_{\leqslant n}(X)$ of the Ran space given by all subsets of $X$ of size at most $n$, and their first homotopy groups. These groups are known to be trivial for $n\geqslant 3$ when $X$ is a path connected CW-complex, though the proofs are not constructive. We show that the induced map $π_1(\mathrm{Ran}_{\leqslant n}(X)) \to π_1(\mathrm{Ran}_{\leqslant n+2}(X))$ is trivial for all positive integers $n$, by…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.09815
curl -X POST /api/v1/records/arxiv/2602.09815/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.09815/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'