Suspension of Hausdorff space is Hausdorff

From Topospaces
Revision as of 03:08, 25 December 2010 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose X is a Hausdorff space (?). Then the Suspension (?) of X, commonly denoted SX, is also a Hausdorff space.

Proof

Given: A Hausdorff space X. The suspension SX is defined as the quotient of X×[0,1] by the collapse of X×{0} and X×{1} to single points, which we call p0 and p1.

To prove: SX is Hausdorff.

Proof: Suppose a and b are two distinct points in SX. We consider two cases:

  1. Case both a and b are not equal to either p0 or p1: Fill this in later
  2. Case that one of a or b is equal to p0 or p1: Fill this in later