Proving that the Intersection of any Collection of Compact Sets is Compact I was trying to do this problem this way:
Let $\mathcal{B}=\{B_i\}$ be a collection of compact sets. By Heine-Borel, each of the $B_i$'s are closed and bounded. We already know that the intersection of a collection of closed sets is once again closed, so $\cap \mathcal{B}$ is closed.
If I can prove $\cap\mathcal{B}$ is bounded as well, I can use Heine-Borel to say it is compact. So I was not sure how to show it was bounded, but a friend showed me his way of doing it. He did it the following way:
Let $b,a\in\mathbb{R}$ be an upper and lower bound for $B_1$, respectively. Since $\cap\mathcal{B}\subset B_1, a$ is a lower bound for $\cap \mathcal{B}$ and $b$ is an upper bound for $\cap\mathcal{B}$. Therefore, $\cap\mathcal{B}$ is bounded and then by Heine-Borel, it is compact.
My question is on the paragraph right above. I don't understand why what he did means that $a$ and $b$ are lower and upper bounds for $\cap\mathcal{B}.$ Can anyone explain why this is? Thanks.
 A: $I=\cap B_i$ is closed because the arbitrary intersection of closed sets is closed hence $\cap B_i$ is closed. As you mentioned, any compact subset of $\mathbb{R}^n$ is closed and bounded
Now $I$ is a closed subset of a compact set (any $B_i$ will suffice). Hence it is also compact (Why? Proof below). To answer your question about the boundedness of $I$, it is a subset of a bounded set (any $B_{i}$ suffices) hence it is bounded.
We need to prove that a closed subset of a compact space is closed.
Let $X$ be any hausdorff space. ($\mathbb{R}^n$ certainly is.)
Let $A\subset C$ be closed with $C$ compact. Take an open covering of $M=\{A_{\alpha}\}$. Since $A$ is closed, $U=X-A$ is open. Hence $N= M\cup \{U\}$ is an open covering of $C$. Since $C$ is compact, $M$ has a finite subcover for $C$. This obviously covers $A$ as well thus $A$ has a finite subcover. If the finite subcover of $C$ involves $U$, we can always eliminate it.  
I assumed $X$ is hausdorff because it can be shown that any compact subset of a hausdorff space is closed.
A: For some some countable set $I$ enumerating a collection of closed sets $B_i$, we have that $\bigcap_{i \in I} B_i $ is closed, since the intersection of any collection of closed sets is also closed.
Then, consider a sequence of finite subsets of $I$, $J_n$, and elements of $I$, $k_n$, defined as follows:
$J_1 \subset I$; $k_1 \in I$, $k_1 \notin J_1$
$J_2 = J_1 \cup \lbrace k_1 \rbrace $; $k_2 \in I$, $k_2 \notin J_2$
$\vdots$
$ J_n = J_{n-1} \cup \lbrace k_{n-1} \rbrace  $; $k_n \in I$, $k_n \notin J_n$
Then for each $n \in \mathbb{N}$, $\bigcap_{i \in J_{n-1}} B_i$ is closed, and $B_{k_{n-1}}$ is a compact set (by construction). Since the intersection of a closed set and a compact set is also compact,
$$ \left( \bigcap_{i \in J_{n-1}} B_i \right) \cap B_{k_{n-1}} = \bigcap_{i \in J_{n}} B_i$$
is also a compact set. Since this holds true for all $n \in \mathbb{N}$, $\bigcap_{i \in I} B_i $ is compact for any arbitrary collection of compact sets $\lbrace B_i \rbrace_{i \in I} $.
