Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » Montrer qu'un ensemble est un compact
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- Thgues
- 28-12-2021 16:07:27
Bonjour Fred,
C'est bien ce qui me semble aussi.
Je vais vérifier et je reposte très rapidement.
- Fred
- 28-12-2021 10:40:33
Bonjour
La définition de $K_m$ n'est sans doute pas correcte. Es-tu sûr que ce n'est pas simplement la distance à Omega?
F.
- Thgues
- 27-12-2021 14:28:27
Bonjour,
Soit [tex]\Omega[/tex] un ouvert de [tex]R^n[/tex]. On pose, pour tout [tex]m\ge 1[/tex], [tex]K_m=\{x\in \Omega : dist(x,R^n-{\Omega^c})\ge \frac{1}{m}\}\cap \{x\in R^n, |x|\le 1\}[/tex] où dist désigne la distance et |.| la norme euclidienne.
Notation : [tex]R^n-{\Omega^c}[/tex] signifie [tex]R^n[/tex] privé de [tex]\Omega^c[/tex].
Je cherche à montrer que [tex]K_m[/tex] est un compact qui vérifie [tex]K_m\subset Int K_{m+1}[/tex].
Je ne comprends pas déjà par la définition de [tex]K_m[/tex].
Déjà, pour me représenter l'ensemble [tex]R^n-{\Omega^c}[/tex], c'est donc [tex]R^n[/tex] privé du complémentaire de [tex]\Omega[/tex] dans [tex]R^n[/tex]. Mais [tex]R^n-{\Omega^c}=\Omega[/tex] du coup, non ?
Merci pour vos indications.