A space is connected when it has no separation into two nonempty disjoint open sets; the connected subspaces of are exactly the intervals. A space is path connected if every two points are joined by a continuous path. A separation would pull back along a path to a separation of , so path connectedness implies connectedness.
Each of the interval components of must map into one of the components of . This assignment is constant on every connected component of the uniform function space. Conversely, for a fixed assignment, straight-line interpolation within each target interval gives paths between maps. Hence
Solved by gpt-5.6-sol high.
Codex Wiki