Compact sets are closed?

I feel really ignorant in asking this question but I am really just don’t understand how a compact set can be considered closed.

By definition of a compact set it means that given an open cover we can find a finite subcover the covers the topological space.

I think the word “open cover” is bothering me because if it is an open cover doesn’t that mean it consists of open sets in the topology? If that is the case how can we have a “closed compact set”?

I know a topology can be defined with the notion of closed sets rather than open sets but I guess I am just really confused by this terminology. Please any explanation would be helpful to help clear up this confusion. Thank you!

Solutions Collecting From Web of "Compact sets are closed?"

I think that what you’re missing is that an open cover of a compact set can cover more than just that set. Let $X$ be a topological space, and let $K$ be a compact subset of $X$. A family $\mathscr{U}$ of open subsets of $X$ is an open cover of $K$ if $K\subseteq\bigcup\mathscr{U}$; it’s not required that $K=\bigcup\mathscr{U}$. You’re right that $\bigcup\mathscr{U}$, being a union of open sets, must be open in $X$, but it needn’t be equal to $K$.

For example, suppose that $X=\Bbb R$ and $K=[0,3]$; the family $\{(-1,2),(1,4)\}$ is an open cover of $[0,3]$: it’s a family of open sets, and $[0,3]\subseteq(-1,2)\cup(1,4)=(-1,4)$. And yes, $(-1,4)$ is certainly open in $\Bbb R$, but $[0,3]$ is not.

Note, by the way, that it’s not actually true that a compact subset of an arbitrary topological space is closed. For example, let $\tau$ be the cofinite topology on $\Bbb Z$: the open sets are $\varnothing$ and the sets whose complements in $\Bbb Z$ are finite. It’s a straightforward exercise to show that every subset of $\Bbb Z$ is compact in this topology, but the only closed sets are the finite ones and $\Bbb Z$ itself. Thus, for example, $\Bbb Z^+$ is a compact subset that isn’t closed.

It is true, however, that compact sets in Hausdorff spaces are closed, though a bit of work is required to establish the result.

For anyone who comes across this question in the future, here is a proof:

Theorem: Compact subsets of metric spaces are closed.

Proof: Let $K$ be a compact subset of a metric space $X$ and to show that $K$ is closed we will show that its complement $K^c$ is open.

Let $p \in K^c$. Now if $q_\alpha \in K$, let $r_\alpha = \frac{1}{2}d(p,q_\alpha)$ and we will denote the neighbourhood of radius $r_\alpha$ around $q_\alpha$ to be $B_{r_\alpha}(q_\alpha) = \{x \in X \mid d(q_\alpha,x) < r_\alpha\}$ and the neighbourhood of radius $r_\alpha$ around $p$ to be $B_{r_\alpha}(p) = \{x \in X \mid d(p,x) < r_\alpha\}$. Then the collection of open sets $\{B_{r_\alpha}(q_\alpha)\}_\alpha$ is an open cover of $K$. As $K$ is compact there exists a finite subcover of $\{B_{r_\alpha}(q_\alpha)\}_\alpha$ such that

$$K \subset B_{r_1}(q_1) \cup \cdots \cup B_{r_n}(q_n) = U.$$

I now make the following claim:

Claim: $(B_{r_1}(p) \cap \cdots \cap B_{r_n}(p)) \cap U = \emptyset$.

Proof: Assume that $x \in (B_{r_1}(p) \cap \cdots \cap B_{r_n}(p)) \cap U$. Then we must have that $x\in B_{r_i}(p)$ for $1 \leq i \leq n$ and $x\in U$. As $x\in U$, then there exists an $i (1 \leq i \leq n)$ such that $x\in B_{r_i}(q_i)$ and, without any loss of generality, we assume $x \in B_{r_1}(q_1)$. In particular, we must also have that $x\in B_{r_1}(p)$. Therefore, by the triangle inequality we have,

$$d(p,q_1) \leq d(p,x) + d(x,q_1) < r_1 + r_1 = d(p,q_1).$$

This however is a contradiction. Therefore, $p \in B_{r_1}(p) \cap \cdots \cap B_{r_n}(p) \subset K^c$ which means that $p$ is an interior point of $K^c$. As $p$ was arbitrary, $K^c$ is open and therefore, $K$ is closed as desired. $_\Box$

Hope this may help someone.

Compact sets need not be closed in a general topological space. For example, consider the set $\{a,b\}$ with the topology $\{\emptyset, \{a\}, \{a,b\}\}$ (this is known as the Sierpinski Two-Point Space). The set $\{a\}$ is compact since it is finite. It is not closed, however, since it is not the complement of an open set.

Every infinite set with complement finite topology is the counterexample. This space is compact, however is not Hausdorff. Let $X=[0,\omega]$ with complement finite topology. Then the space $X\setminus \{\omega\}$ is compact, but it is not closed.

“By definition of a compact set it means that given an open cover we can find a finite subcover the covers the topological space.” ($*$)

I think what confuses you is the difference between “compact subset of a topological space” and “compact space” and also the word “open” in “open cover”.

A topological space $(X,\tau)$ is compact, and thus called a compact (topological) space, if for any open cover of $X$ there exists a finite subcover.

An open cover for a topological space $(X,\tau)$ is a family of open subsets
$\{U_\alpha:U_\alpha\in\tau, \alpha\in I\}$ such that
\bigcup_{\alpha\in I} U_\alpha= X
where $I$ denotes some index set.

In the topological space $(X,\tau)$, a subset $A\subset X$ is called compact, if $A$ with the subspace topology is a compact topological space. In your definition ($*$), “the topological space” refers to the subset with the subspace topology. However, there are two different ways to understand “open cover” in (*), which are equivalent. Suppose we are talking about $\{U_\alpha\}_{\alpha\in I}$ being an open cover for $A\subset X$. Then

  • If you understand it as an open cover for topological space $A$, then “open” means open in $A$ (with the subspace topology) and “cover” is understood as “equal”
    \bigcup_{\alpha\in I}U_\alpha=A\quad U_\alpha \ \hbox{open in}\ A.

  • If you understand it as an open cover for the subset $A\subset X$, then “open” means open in $X$ and “cover” should be understand as “contain”:
    \bigcup_{\alpha\in I}U_\alpha\supset A\quad U_\alpha\ \hbox{open in}\ X.

When we say a closed compact set $A$ in some topological space $X$, “closed” means “closed in $X$” and $A\subset X$ (with the subspace topology) is a compact topological space. Note that any subset $A\subset X$ is closed with respect to the subspace topology.