Connected space
Builds on Topological spaceOpen setClosed set
Definition
A topological space is connected when there are no open sets with , , and .
Remarks
Equivalently, the only subsets of that are both open and closed are and . Equivalently, each continuous map from to the discrete space is constant. The interval is connected. The set is not connected. Under this definition the empty space is connected. Some authors require a connected space to be nonempty.
Reading path
To understand this page from the ground up, read these 30 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Element definition
- Proposition concept
- Real numbers object
- Set definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Universal set definition
- Topological space definition
- Complement definition
- Function definition
- Metric space definition
- Open ball definition
- Metric topology definition
- Open set definition
- Closed set definition
- Connected space definition
Where this leads
14 pages build on this one.
- Totally disconnected space
- Intermediate value theorem for connected spaces
- Connected subsets of the real line are intervals
- Continuous image of a connected set is connected
- Topologist's sine curve
- Open connected subsets of R^n are path-connected
- Connected components are closed
- Connected set
- Path-connected spaces are connected
- Arakelyan's theorem
- Mergelyan's theorem
- Runge's theorem
- Riemann surface
- Prime end
Further reading
About this page
| Tag | 0D939CMME7 |
|---|---|
| URI | m2://0D939CMME7 |
| Kind | definition |
| Writing | W1 stated |
| MSC | 54D05 |
| Defines | Connected space |
| Uses | Topological space, Open set, Closed set |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.