Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » localement compacte
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- convergence
- 05-01-2016 11:19:53
finalement c'est facile, on a [tex]U_1\cap\overline{U_2}=\emptyset[/tex] donc [tex]\overline{U_2}\subset W\setminus U_1\subset W\setminus(W\setminus\Omega)=\Omega[/tex]
- convergence
- 04-01-2016 11:03:44
Ah ok, et pourquoi [tex]\overline{U_2} \subset W\cap U[/tex] s'il vous plait
On a que [tex]U_2\subset \Omega\subset W\cap U[/tex] donc [tex]\overline{U_2}\subset \overline{W\cap U}\subset \overline{W}\cap\overline{U}=W\cap \overline{U}[/tex]
je ne comprend pas pourquoi [tex]\overline{U_2}\subset W\cap U[/tex]
merci.
- Fred
- 04-01-2016 10:58:00
Non, il sépare A et {x}.
- convergence
- 04-01-2016 10:42:57
Oui c'est exacte, mais la il sépare [tex]A[/tex] qui est compact avec [tex]\Omega[/tex] qui est ouvert
- Fred
- 04-01-2016 10:40:53
Bonjour,
Difficile de répondre à cette question sans avoir tout le contexte....
J'imagine qu'ailleurs dans ta référence, on démontre un théorème de séparation de compacts dans un espace séparé :
"Si A et B sont deux parties compactes d'un espace séparé, il existe deux ouverts U et V tels que [tex]A\subset U,\ B\subset V, U\cap V=\varnothing[/tex]."
Je suis à peu près sûr que ceci est démontré dans le chapitre sur la compacité.
F.
- convergence
- 03-01-2016 22:59:50
Salut, j'ai [tex]E[/tex] un espace localement compact, et [tex]x\in E[/tex] et soit [tex]U[/tex] un ouvert contenant [tex]x[/tex] le but est de montrer l'existence d'un ouvert relativement compact inclus dans [tex]U[/tex].
Il et dit: "comme [tex]E[/tex] est relativement compact [tex]x[/tex] possède un voisinage [tex]W[/tex] compact il existe alors un ouvert [tex]\Omega[/tex] tel que [tex]x\in \Omega\subset W\cap U[/tex]
considérons [tex]A= W\setminus \Omega[/tex] alors A est fermé dans W est donc compact , alors il existe deux ouverts [tex]U_1, U_2[/tex]
tel que [tex]A\subset U_1[/tex] et [tex]x\in U_2\subset \Omega[/tex] tel que [tex]U_1\cap U_2=\emptyset[/tex]
donc [tex]U_1\cap\overline{U_2}=\emptyset[/tex] et [tex]\overline{U_2}\subset W\cap U\subset U[/tex], [tex]U_2[/tex] est l'ouvert que l'on recherche."
Je ne comprend pas d’où vient l'existence de [tex]U_1[/tex] et [tex]U_2[/tex], et pourquoi [tex]\overline{U_2}\subset W\cap U[/tex]
Merci