« Topologie générale/Compacité » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Espaces métriques compacts : implique complet |
|||
Ligne 62 :
De plus, <math>V</math> est disjoint de l'ouvert <math>U:=\cup_{y\in J}U_y</math>. On en déduit que <math>V\subset E\setminus A</math> car <math>A\subset U</math>.
Ceci termine de montrer que <math>
}}
| |||