Proof that connected components are connected and closed
Builds on Connected setConnected spaceSubspace topologyUnion of a family of setsClosureClosure is the smallest closed supersetClosed set
Proof
We show that is connected, then that its closure is connected, so that the closure is not larger than .
- Recall that is connected when it is a connected space in the subspace topology. The open sets of are the sets with open in .
- A set is not connected exactly when there are open with and nonempty, and .
- The set is connected, since it has no two nonempty disjoint subsets. So .
- is connected. Suppose not, and take as in step 2 for . As , we may assume , after swapping and .
- Let be a connected subset of with . The sets and are open in , disjoint, and cover , because .
- As is connected, one of them is empty. It is not , which contains . So , and .
- is the union of all such , so and . This contradicts step 2. So is connected.
- Let be the closure. Then is closed and , by this result.
- is connected. Suppose not, and take as in step 2 for .
- Then and are open in , disjoint, and cover . As is connected, one of them is empty. Say ; the other case is the same with and swapped.
- Then , which is closed. By the minimality of the closure in this result, .
- So , which contradicts step 2. Thus is connected.
- is connected and contains , so is one of the sets in the union that defines . Thus .
- With step 8, . So is closed, and by step 7 it is connected.
Idea
The union of connected sets through one point is connected, because any splitting would have to put each of them on the side of that point. The closure of a connected set is still connected. So the closure of the largest connected set through cannot be larger than it, which means that this set is closed.
Reading path
To understand this page from the ground up, read these 56 pages in order. The foundations come first. The path takes the proofs Proof of De Morgan's laws for sets, Proof of De Morgan's laws by truth tables, Proof that a union of open sets of a metric space is open, Proof that an intersection of closed sets of a metric space is closed, Proof that the closure is the smallest closed superset, Proof of the description of the open sets of a metric space, Proof that the closure is closed.
- Element definition
- Proposition concept
- Real numbers object
- Set definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Negation definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Biconditional definition
- Truth table concept
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Propositional logic concept
- Subset definition
- Axiom of extensionality statement
- Intersection of a family of sets definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Universal set definition
- Topological space definition
- Tautology definition
- Complement definition
- Subspace topology definition
- Function definition
- Logical equivalence definition
- Metric space definition
- Proof of De Morgan's laws by truth tables proof
- Open ball definition
- De Morgan's laws statement
- Metric topology definition
- Proof of De Morgan's laws for sets proof
- Open set definition
- De Morgan's laws for sets statement
- Proof of the description of the open sets of a metric space proof
- Closed set definition
- Open sets of a metric space statement
- Connected space definition
- Closure definition
- Connected set definition
- Proof that a union of open sets of a metric space is open proof
- Proof that the closure is closed proof
- Union of open sets is open statement
- Proof that an intersection of closed sets of a metric space is closed proof
- Intersection of closed sets is closed statement
- Closure is closed statement
- Proof that the closure is the smallest closed superset proof
- Closure is the smallest closed superset statement
- Proof that connected components are connected and closed proof
Where this leads
1 page builds on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Connected_space, Connected components
About this page
| Tag | 3Y504JQAY2 |
|---|---|
| URI | m2://3Y504JQAY2 |
| Kind | proof |
| Writing | W0 stub |
| MSC | 54D05 |
| Proves | Connected components are closed |
| Uses | Connected set, Connected space, Subspace topology, Union of a family of sets, Closure, Closure is the smallest closed superset, Closed set |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page 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 page is. They do not measure its truth.
What links here
No page links to this page yet.