Suspension of Hausdorff space is Hausdorff

From Topospaces

Statement

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

Proof

Given: A Hausdorff space . The suspension is defined as the quotient of by the collapse of and to single points, which we call and .

To prove: is Hausdorff.

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

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