{"id":"arxiv/2602.09815","url":"https://arxiv.org/abs/2602.09815","tags":["math.AT","math.GN"],"score":0,"title":"A constructive proof for the simple connectedness of finite subset spaces","domain":"math.AT","source":"arxiv","authors":["Jānis Lazovskis"],"reviews":0,"subject":"math.AT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-10","reactions":{}}