Compacité dans les espaces métriques
Bonsoir s'il vous plait je n'arrive pas a démontrer ceci:
"Soit $(E,d)$ un espace métrique, si on peut extraire de toute suite une suite convergente alors $E$ est compact"
--> Supposons que $E$ n'est pas compact, alors il existe un recouvrement d'ouvert $(\Omega_{\lambda})$ pour la quelle on ne peut pas extraire un sous recouvrement fini.
Par hypothèse de toute suite on peut extraire une sous suite convergente donc on peut recouvrir $E$ d'un nombre finie de boule de rayon $r>0$ i.e
$$E=\bigcup_{i=1}^n B(x_i,r)=\bigcup_{\lambda\in \Lambda}\Omega_{\lambda}$$
il existe alors au moins une boule qui ne peux pas être recouverte par un nombre fini de $\Omega_{\lambda}$.
Comment continuer la démonstration ? c'est quoi l'idée s'il vous plaît?
Merci
"Soit $(E,d)$ un espace métrique, si on peut extraire de toute suite une suite convergente alors $E$ est compact"
--> Supposons que $E$ n'est pas compact, alors il existe un recouvrement d'ouvert $(\Omega_{\lambda})$ pour la quelle on ne peut pas extraire un sous recouvrement fini.
Par hypothèse de toute suite on peut extraire une sous suite convergente donc on peut recouvrir $E$ d'un nombre finie de boule de rayon $r>0$ i.e
$$E=\bigcup_{i=1}^n B(x_i,r)=\bigcup_{\lambda\in \Lambda}\Omega_{\lambda}$$
il existe alors au moins une boule qui ne peux pas être recouverte par un nombre fini de $\Omega_{\lambda}$.
Comment continuer la démonstration ? c'est quoi l'idée s'il vous plaît?
Merci
Réponses
-
Prends plutôt une suite où chaque terme un est le centre d'une boule de rayon 1/n non incluse dans un ouvert du recrutement. Et obtiens une contradictionAide les autres comme toi-même car ils sont toi, ils sont vraiment toi
-
Pourquoi cette suite existe c'est quoi le but ?
-
Justement, elle n'existe pas :-D (prouve-le)
Il suit (ACden) qu'il existe un rayon $r>0$ tel que** tout ouvert de ton recouvrement contient une boule de rayon $r$. Et donc ...
** Toute boule de rayon r est incluse dans un ouvert de ton recouvrementAide les autres comme toi-même car ils sont toi, ils sont vraiment toi
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres