statement theorem
Open connected subsets of R^n are path-connected
Statement
Let and let be open and connected, for the Euclidean topology. Then is path-connected or empty.
Remarks
Proof: fix , and let be the set of points of that a path in joins to . Each open ball in is convex, so and are both open. As is connected and , we get . The proof works in each locally path-connected space, for example in each open subset of a normed space. In fact, any two points of can be joined by a path made of finitely many line segments.
Explanations
L1 human
For open sets in , being in one piece and being walkable are the same. The bad behaviour of the topologist's sine curve cannot happen in an open set, because each point has a small ball around it.
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
Sources
- Web https://en.wikipedia.org/wiki/Connected_space, Path connectedness
What links here
No node links to this node yet.