You are here
Home ›proof that a compact set in a Hausdorff space is closed
Primary tabs
proof that a compact set in a Hausdorff space is closed
Let be a Hausdorff space, and a compact subset. We are to show that is closed. We will do so, by showing that the complement is open. To prove that is open, it suffices to demonstrate that, for each , there exists an open set with and .
Fix . For each , using the Hausdorff assumption, choose disjoint open sets and with and .
Since every is an element of , the collection is an open covering of . Since is compact, this open cover admits a finite subcover. So choose such that .
Notice that , being a finite intersection of open sets, is open, and contains . Call this neighborhood of by the name . All we need to do is show that .
Type of Math Object:
Proof
Major Section:
Reference
Groups audience:
Mathematics Subject Classification
54D10 no label found54D30 Compactness- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 20
new question: Taylor's Series Query! by Bruce Lee
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new question: Taylor's Series Query! by Bruce Lee
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759


