Properties of Compact Spaces

Topology · Axiom Academy

LESSON Properties of Compact Spaces Explore fundamental properties that make compact spaces so powerful in topology Step 1: Introduction to Compactness Properties We've learned what it means for a space to be compact: every open cover has a finite subcover. But what makes compactness such a powerful concept? The answer lies in its remarkable properties. In this lesson, we'll explore three fundamental properties: Closed subsets of compact spaces are compact Compact subsets of Hausdorff spaces are closed Products of compact spaces are compact (Tychonoff's Theorem) Step 2: Closed Subsets of Compact Spaces If is a compact space and is a closed subset of , then is compact. Intuition: If you have a compact space and take a closed subset, you're not losing the compactness property. The closed subset "inherits" compactness from the larger space. Step 3: Proof Sketch for Closed Subsets Proof Idea: Let be an open cover of in the subspace topology. Since is closed, its complement is open in . We can add this complement to our cover: This is now an open cover of the entire space . Since is compact, we can extract a finite subcover. Remove from this finite subcover (if present), and what remains is a finite subcover of ! Step 4: Compact Subsets in Hausdorff Spaces If is a Hausdorff space and is a compact subset of , then is closed.

This is the written version of the interactive lesson above. See the full Topology course.