Hausdorff implies KC
This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., Hausdorff space) must also satisfy the second topological space property (i.e., KC-space)
View all topological space property implications | View all topological space property non-implications
Get more facts about Hausdorff space|Get more facts about KC-space
This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., compact space) must also satisfy the second topological space property (i.e., H-closed space)
View all topological space property implications | View all topological space property non-implications
Get more facts about compact space|Get more facts about H-closed space
Statement
There are three equivalent formulations:
- Any compact subset of a Hausdorff space is closed.
- The property of being a Hausdorff space is stronger than the property of being a KC-space
- The property of being a compact space is stronger than the property of being a H-closed space
Related facts
Proof
Suppose is a Hausdorff space and is a closed subset of that is compact in the subspace topology. We need to show that is closed in . In order to do this, it suffices to show that the complement of in is an open subset. In fact, it suffices to show that for any , there is an open subset of containing , and disjoint from .
Let's do this:
- For every , use the Hausdorffness of to find disjoint open subsets and
- Now the s, as , cover , hence form an open cover of in the subspace topology. By compactness of , we can find a finite collection such that the union of contains
- Now consider the intersection:
This is an open set containing , because it is a finite intersection of open sets, and it is disjoint from each of the s, hence it is disjoint from . This completes the proof.
Note that the crucial thing is to pass to a finite subcover of , so that we need to intersect only finitely many open subsets containing , because the axioms for open subsets only guarantee that finite intersections of open subsets are open.
References
Textbook references
- Topology (2nd edition) by James R. Munkres^{More info}, Page 165 (Theorem 26.3) Also see Lemma 26.4, that provides a slightly more general formulation useful in other proofs, for instance, compact Hausdorff implies normal
- Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics) by I. M. Singer and J. A. Thorpe^{More info}, Page 27