Connectedness is connected union-closed: Difference between revisions
(Created page with "==Statement== ===Version using a pivoting set=== Suppose <math>X<math> is a topological space. Suppose <math>A</math> is a subset of <math>X</math> and <matH>B_i, i \in ...") |
No edit summary |
||
| Line 3: | Line 3: | ||
===Version using a pivoting set=== | ===Version using a pivoting set=== | ||
Suppose <math>X<math> is a [[topological space]]. Suppose <math>A</math> is a subset of <math>X</math> and <matH>B_i, i \in I</math> is a collection of subsets of <math>X</ | Suppose <math>X</math> is a [[topological space]]. Suppose <math>A</math> is a subset of <math>X</math> and <matH>B_i, i \in I</math> is a collection of subsets of <math>X</math>. Suppose that: | ||
# <math>A</math> is a [[connected space]] in the [[subspace topology]]. | # <math>A</math> is a [[connected space]] in the [[subspace topology]]. | ||
Revision as of 18:03, 26 January 2012
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