Show that the infinite intersection of nested non-empty closed subsets of a compact space is not empty

Claim: A topological space $\,X\,$ is compact iff it has the Finite Intersection Property (=FIP):

Proof: (1) Suppose $\,X\,$ is compact and let $\,\{V_i\}\,$ be a family of closed subsets s.t. that $\,\displaystyle{\bigcap_{i}V_i=\emptyset}\,$. Putting now $\,A_i:=X-V_i\,$ , we get that $\,\{A_i\}\,$ is a family of open subsets , and

$$\bigcap_{i}V_i=\emptyset\Longrightarrow \;X=X-\emptyset=X-\left(\bigcap_iV_i\right)=\bigcup_i\left(X-V_i\right)=\bigcup_iA_i\Longrightarrow\;\{A_i\}$$

is an open cover of $\,X\,$ and thus there exists a finite subcover of it:

$$X=\bigcup_{i\in I\,,\,|I|<\aleph_0}A_i=\bigcup_{i\in I\,,\,|I|<\aleph_0}(X-V_i)=X-\left(\bigcap_{i\in I\,,\,|I|<\aleph_0}V_i\right)\Longrightarrow \bigcap_{i\in I\,,\,|I|<\aleph_0}V_i=\emptyset\Longrightarrow$$

The family $\,\{V_i\}\,$ has the FIP

(2) Suppose now that every family of closed subsets of $\,X\,$ hast the FIP, and let $\,\{A_i\}\,$ be an open cover of it. Put $\,U_i:=X-A_i\,$ , so $\,U_i\, $ is closed for every $\,i\,$:

$$\bigcap_iU_i=\bigcap_i(X-A_i)=X-\bigcup_i A_i=X-X=\emptyset$$

By assumption, there exists a finite set $\,J\,$ s.t. $\,\displaystyle{\bigcap_{i\in J}U_i=\emptyset}\,$ , but then

$$X=X-\emptyset=X-\bigcap_{i\in J}U_i=\bigcup_{i\in J}X-U_i)=\bigcup_{i\in J}A_i\Longrightarrow$$

$\,\{A_i\}_{i\in J}$ is a finite subcover for $\,X\,$ and thus it is compact....QED.

Please be sure you can follow the above and justify all steps. Check where we used Morgan Rules, for example, and note that we used the contrapositive of the FIP's definition...

If you are working in a metric space then this can be proved using the sequential definition of compactness.

For each $V_n$ choose $x_n \in V_n$. Then all the $x_n's$ live in $V_1$, since this is compact there is a subsequence $x_{n_k}$ converging to some $x \in V_1$. Now we claim that in fact $x \in V_i$ for all $i$. Suppose not; so that there exists $ i> 0$ such that $x \notin V_i$.

Then $V_i$ being closed implies that we can find an open set $U$ about $x$ such that $x \in U$ and $U \cap V_i = \emptyset$. Then $U$ can only meet finitely many terms of the sequence $x_{n_k}$, contradicting $x_{n_k} \to x$.