## You are here

Homeclosed subsets of a compact set are compact

## Primary tabs

# closed subsets of a compact set are compact

###### Theorem 1.

Suppose $X$ is a topological space. If $K$ is a compact subset of $X$, $C$ is a closed set in $X$, and $C\subseteq K$, then $C$ is a compact set in $X$.

The below proof follows e.g. [3]. A proof based on the finite intersection property is given in [4].

###### Proof.

Let $I$ be an indexing set and $F=\{V_{\alpha}\mid\alpha\in I\}$ be an arbitrary open cover for $C$. Since $X\setminus C$ is open, it follows that $F$ together with $X\setminus C$ is an open cover for $K$. Thus, $K$ can be covered by a finite number of sets, say, $V_{1},\ldots,V_{N}$ from $F$ together with possibly $X\setminus C$. Since $C\subset K$, $V_{1},\ldots,V_{N}$ cover $C$, and it follows that $C$ is compact. ∎

The following proof uses the finite intersection property.

###### Proof.

Let $I$ be an indexing set and $\{A_{{\alpha}}\}_{{\alpha\in I}}$ be a collection of $X$-closed sets contained in $C$ such that, for any finite $J\subseteq I$, $\displaystyle\bigcap_{{\alpha\in J}}A_{{\alpha}}$ is not empty. Recall that, for every $\alpha\in I$, $A_{{\alpha}}\subseteq C\subseteq K$. Thus, for every $\alpha\in I$, $A_{{\alpha}}=K\cap A_{{\alpha}}$. Therefore, $\{A_{{\alpha}}\}_{{\alpha\in I}}$ are $K$-closed subsets of $K$ (see this page) such that, for any finite $J\subseteq I$, $\displaystyle\bigcap_{{\alpha\in J}}A_{{\alpha}}$ is not empty. As $K$ is compact, $\displaystyle\bigcap_{{\alpha\in I}}A_{{\alpha}}$ is not empty (again, by this result). This proves the claim. ∎

# References

- 1
J.L. Kelley,
*General Topology*, D. van Nostrand Company, Inc., 1955. - 2
S. Lang,
*Analysis II*, Addison-Wesley Publishing Company Inc., 1969. - 3
G.J. Jameson,
*Topology and Normed Spaces*, Chapman and Hall, 1974. - 4
I.M. Singer, J.A. Thorpe,
*Lecture Notes on Elementary Topology and Geometry*, Springer-Verlag, 1967.

## Mathematics Subject Classification

54D30*no label found*

- 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

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia