Soit \(X\) un espace topologique séparé et \((K_n)\) une suite décroissante de
compacts non vides de \(X\). Montrer que \(K=\cap K_n\) est non vide et que si
\(\Omega\) est un ouvert contenant \(K\), il contient tous les \(K_n\) à partir d’un
certain rang.