Path-Connectedness of a Connected Open Subset of a Normed Space
A connected open subset of a normed space is path-connected
Proof
Let be the connected open set
Suppose is a path-component of
LetSince is open then there exists ball contained in
LetSo define explicit path between and by
This is continuous and the image is contained in since
for all
Hence as it lies in the same path-component
So we have the path-components partition hence if there is more than one then
can be written as a disjoint union of non-empty open sets contrary to assumptionHence there is only one path-component which is so is path-connected