If $(X,d)$ is a metric space, prove that intersection of any collection of compact sets in $(X,d)$ is compact.

346 Views Asked by At

If $(X,d)$ be a compact metric space then, arbitrary intersection of compact subsets is compact.

Is it true if $(X,d)$ is a metric space, but not compact?

There is similar type of questions already have been asked before, but those are from real-analysis where any closed and bounded set is compact. But in metric space closed and bounded set may not be compact. Hence this question is different from previously asked questions.

1

There are 1 best solutions below

0
On BEST ANSWER

Let $(X,d)$ be a metric space and $\{C_i\}_{i\in I}$ be some collection of compact subsets of $(X,d)$ . Let $\alpha\in I$ be fixed and consider the collection $\{C_i\cap C_{\alpha}\}_{i\in I}$ of subsets of $C_{\alpha}$ . Note that for each $i\in I$ we have $C_i\cap C_{\alpha}$ is a closed subset of the compact set $C_{\alpha}$.Therefore $\bigcap_{i\in I} C_i=\bigcap_{i\in I} (C_i\cap C_{\alpha})$ is also a closed subset of $C_{\alpha}$ being arbitrary intersection of closed subsets. But closed subset of compact set is compact , hence $\bigcap_{i\in I} C_i$ is compact subset of $(X,d)$ . Note that compactness is not relative property.