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
Take the topologist's sine curve
It is closed and bounded, hence compact. The oscillating graph is connected and accumulates on every point of the vertical segment, so its closure is connected. No path joins the graph to the vertical segment, as continuity of the first coordinate and the unbounded oscillation of would fail at the first time the path reaches . Thus is not path connected.
Constant maps identify a copy of inside . If the function space were path connected, evaluating a path of functions at would give a path in between any two constant values. Since is not path connected,
The constant maps form a connected subspace homeomorphic to . Every is joined to the constant map by
Uniform continuity of makes continuous in the uniform metric. Thus the function space is a union of connected sets, each meeting the connected set of constant maps, and so

Articles by others on the same topic (0)

There are currently no matching articles.