Connectedness is connected union-closed
This article gives the statement, and possibly proof, of a topological space property (i.e., connected space) satisfying a topological space metaproperty (i.e., connected union-closed property of topological spaces)
View all topological space metaproperty satisfactions | View all topological space metaproperty dissatisfactions
Get more facts about connected space |Get facts that use property satisfaction of connected space | Get facts that use property satisfaction of connected space|Get more facts about connected union-closed property of topological spaces
Statement
Version using a pivoting set
Suppose is a topological space. Suppose is a subset of and is a collection of subsets of . Suppose that:
- is a connected space in the subspace topology.
- For each , is a connected space in the subspace topology.
- is non-empty for each .
Then, the space:
is a connected space in the subspace topology from .
Version using finite hopping
Fill this in later