Irreducible and Hausdorff implies one-point space: Difference between revisions
 (Created page with "==Statement==  Suppose <math>X</math> is a non-empty topological space that is both an uses property satisfaction of::irreducible space and a [[uses property satisfact...")  | 
				 (→Proof)  | 
				||
| Line 10: | Line 10: | ||
==Proof==  | ==Proof==  | ||
We prove a somewhat modified form: we prove that an   | We prove a somewhat modified form: we prove that an Hausdorff space containing two distinct points cannot be irreducible.  | ||
'''Given''': A non-empty topological space <math>X</math> that is Hausdorff and has at least two points. Say <math>x,y</math> are two distinct points of <math>X</math>.  | |||
'''To prove''': <math>X</math> is not irreducible, i.e., it contains two non-empty open subsets with empty intersection.  | |||
'''Proof''': Use the definition of Hausdorff to find non-empty open subsets <math>U \ni x, V \ni y</math> that have empty intersection. This completes the proof.  | |||
Latest revision as of 19:59, 26 January 2012
Statement
Suppose is a non-empty topological space that is both an irreducible space and a Hausdorff space. Then, must be a one-point space.
Related facts
Similar facts
Proof
We prove a somewhat modified form: we prove that an Hausdorff space containing two distinct points cannot be irreducible.
Given: A non-empty topological space that is Hausdorff and has at least two points. Say are two distinct points of .
To prove: is not irreducible, i.e., it contains two non-empty open subsets with empty intersection.
Proof: Use the definition of Hausdorff to find non-empty open subsets that have empty intersection. This completes the proof.