Réunion de fermés dans un espace métrique.

Soit $(E,d)$ un espace métrique et soit $(F_i)$ une famille de fermés de $(E,d)$ vérifiant :
$d(F_i,F_j)>0$ pour $i\neq j$. Ici $d(F_i,F_j)$ désigne la distance entre $F_i$ et $F_j$.

Je voudrais montrer que la réunion $\bigcup F_i$ est aussi un fermé de $(E,d)$.
Merci pour toute aide.


[Extrait d'un message d'Egoroff. AD]
Petites remarques LaTeX d'abord :
- il faut cocher la case sise à côté du bouton "Aperçu",
- ne pas hésiter à user de cette fonctionnalité "Aperçu" d'ailleurs,
- encadrer toutes les expressions mathématiques par des dollars,
- et encadrer toute l'expression, et pas seulement certains symboles, ou un des membres d'une égalité, etc.

Réponses

  • Cherche plutôt un contre-exemple !
  • Ou alors, pour faire marcher ton truc, modifie la condition en : il existe $\epsilon >0$ tel que, pour tous $i\neq j$, $d(F_i,F_j)\geq \epsilon$.
  • Merci Bu. A première vue ton énoncé m'a paru louche mais il est bel et bien vrai (et simple). J'ai donc appris quelque chose !
  • Avec plaisir.
  • Prendre $E=\R$ et pout tout $k\in\N^*$, $F_k=\left\{\frac{1}{k}\right\}$.
    Conclusion ?
Connectez-vous ou Inscrivez-vous pour répondre.