📂MetricSpace

Closed Subsets of Compact Sets in Metric Spaces are Compact

Theorem¹

In a metric space $X$, a closed (relative to $X$) subset of a compact set $K$ is compact.

Proof

Given a metric space $X$ where $F\subset K \subset X$ and assuming $F$ is a closed set in $X$ and $K$ is a compact set. Let $\left\{ V_{\alpha}\right\}$ be an arbitrary open cover of $F$. By adding $F^{c}$, let’s denote it as $\Omega=\left\{ V_\alpha \right\}\cup \left\{ F^{c} \right\}$. Then $\Omega$ becomes an open cover of $K$. Assuming that $K$ is compact, then there exists some finite subcover $\Phi$ of $\Omega$ such that:

$$F \subset K\subset \Phi$$

Let’s consider two cases.

• case 1. $F^{c} \notin \Phi$

  Then $\Phi$ is a finite subcover of $\left\{ V_{\alpha} \right\}$, so $F$ is compact.

• case 2. $F^{c} \in \Phi$

  If we set $\Psi=\Omega \setminus \left\{ F^{c} \right\}$ then since $F^{c}\cap F=\varnothing$, it still holds that $F\subset \Psi$. Therefore $\Psi$ is a finite subset of $\left\{ V_{\alpha} \right\}$, making $F$ compact.

■

Corollary

In a metric space $X$, suppose $F$ is closed and $K$ is compact. Then $F\cap K$ is compact.

Proof

$F \cap K$ is a closed set as it is the intersection of closed sets. Thus, as a closed subset of the compact set $K$, it is compact.

■