Connectedness is connected union-closed

From Topospaces
Revision as of 18:03, 26 January 2012 by Vipul (talk | contribs)

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