Connectedness is connected union-closed: Difference between revisions

From Topospaces
(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</matH>. Suppose that:
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 X is a topological space. Suppose A is a subset of X and Bi,iI is a collection of subsets of X. Suppose that:

  1. A is a connected space in the subspace topology.
  2. For each iI, Bi is a connected space in the subspace topology.
  3. ABi is non-empty for each iI>

Then, the space:

AiIBi

is a connected space in the subspace topology from X.

Version using finite hopping

Fill this in later