exo7 6172

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.