# Definition of compact subspace of a metric space

Given a metric space $X$, we say $X$ is compact iff there is an open cover $\{U_\alpha\}_{\alpha \in A}$ of $X$ with a finite subcover, that is to say there is a finite subset $A'$ och $A$ such that $\{U_\alpha\}_{\alpha \in A'}$.

Evidently, whether the cover has a finite subcover or not, we have $X = \bigcup_{\alpha \in A} U_\alpha$, because $X$ is contained in this union by definition of a cover, and each set $U_\alpha$ is a subset of $X$ whence there union is a subset of $X$.

Does this mean a compact space in fact has no open cover? At least this has to be the case for $\mathbb{R}^n$.

Also I wonder how we define a subspace $Y$ of a metric space $X$ to be compact. Is it simply the definition above, that is to say for every collection of open subsets of $X$ that contain $Y$, there should be a finite subcollection of sets that contain $Y$, or do we in fact require that the sets that form the cover be subsets of $Y$?

If it is the former, the evidently a proper compact subspace could have an open cover.

• Compact does not mean there EXISTS an open cover with a finite subcover -- it means that EVERY open cover has a finite subcover. – Nick Peterson Mar 25 '14 at 17:13
• @NicholasR.Peterson: Yes, I know. But can a compact space in fact have an open cover? – Étienne Bézout Mar 25 '14 at 17:15
• Every topological space $X$ has open covers. Take $\mathscr{U} = \{X\}$ for a very simple open cover. – Daniel Fischer Mar 25 '14 at 17:17
• @DanielFischer: I'd prefer if we limited the discussion to metric spaces. Surely $\{X \}$ is not a subset of $X$? – Étienne Bézout Mar 25 '14 at 17:21
• No, $\{X\}$ is not a subset of $X$. But a cover is a family of subsets of $X$, and $\{X\}$ is a family (with one member) of subsets of $X$. The subset is $X$. – Daniel Fischer Mar 25 '14 at 17:25

## 1 Answer

Compactness is a property of a space that is independent of what space it is contained in. So $Y$ is a compact subspace of $X$ if and only if $Y$ is a compact set when taken as a stand-alone space.

• Okay. So does this mean that, in fact, no compact metric space has an open cover? – Étienne Bézout Mar 25 '14 at 17:16
• $\{Y\}$ is an open cover of $Y$ always, if the space is $Y$. – user2566092 Mar 25 '14 at 17:18
• But is $\{Y\}$ a subset of $Y$?. – Étienne Bézout Mar 25 '14 at 17:23