Suspension of Hausdorff space is Hausdorff
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:
- Case both and are not equal to either or : Fill this in later
- Case that one of or is equal to or : Fill this in later