1
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.