Section 25*: Components and Local Connectedness
- A component of is an equivalence class given by the equivalence relation: iff there is a connected subspace containing both.
- A path component of is an equivalence class given by the equivalence relation: iff there is a path connecting them.
- Facts about (path) components:
- The (path) components of are (path) connected disjoint subspaces of whose union is such that each nonempty (path) connected subspace of intersects exactly one of them.
- Each path component lies within a component.
- Components are closed. If there are finitely many of them then they are open as well.
- Local (path) connectedness. A space is locally (path) connected at a point if every neighborhood of the point contains a (path) connected sub-neighborhood. A space is locally (path) connected if it is locally (path) connected at every point.
- A space is locally (path) connected iff every (path) component of every open set is open in .
- If a space is locally path connected then the components and the path components are the same.
- An open subset (as a subspace) of a locally (path) connected space is locally (path) connected.
- A connected open subset of a locally path connected space is path connected.
- Continuous functions and local connectedness:
- The image of a locally connected space under a quotient map is locally connected.
- A weakly locally connected at space is a space such that every neighborhood of contains a connected subspace of which contains a neighborhood of . is weakly locally connected if it is weakly locally connected at every point.
- Weak local connectedness of the whole space implies the local connectedness.
- Weak local connectedness at a point does NOT imply the local connectedness at the point.
- A quasi-component of is an equivalence class given by the equivalence relation: iff there is no separation of into two open sets each containing a point or .
- A component is contained within a quasi-component, so that if the space is connected then there is only one quasi-component.
- If a space is locally connected then the components and the quasi-components are the same.
- The quasi-component of containing is the intersection of all subsets of containing that are open and closed at the same time.
path connected | not path connected | ||||
connected | not connected | connected | not connected | ||
locally path connected (path components components) | locally connected (components quasi-components) | the indiscrete topology | the discrete topology | ||
not locally connected | |||||
not locally path connected (path components components) | locally connected (components quasi-components) | the long circle (?) | |||
not locally connected (components quasi-components) | the set of line segments: , | the topologist’s sine curve |