« Topologie générale/Compacité » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 60 :
On a alors <math>x\in V:=\cap_{y\in J}V_y</math> qui est un ouvert car <math>J</math> est fini.
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
Ceci termine de montrer que <math>X\setminus A</math> est un voisinage de <math>x</math>.
| |||