Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 06-10-2016 11:48:29
- tina
- Membre
- Inscription : 27-03-2014
- Messages : 285
Suites exhaustives
Bonjour,
j'ai le théorème suivant sur les suites exhaustives:
Soit [tex]\Omega[/tex] un ouvert de [tex]\mathbb{R}^n.[/tex] Il existe toujours une suite exhaustive de compacts [tex](K_j)_{j \in \mathbb{N}}[/tex] qui couvre [tex]\Omega[/tex], i.e. qui vérifie
1. [tex]K_j \subset \Omega[/tex]
2. [tex]\forall j \in \mathbb{N}, K_j \subset K_{j+1}[/tex]
3. [tex]\Omega = \cup_{j \in \mathbb{N}} K_j[/tex].
Ma question est comment on démontre ce théorème? C'est à dire comment on démontre qu'une suite exhaustive existe toujours?
Merci par avance.
Hors ligne
#2 06-10-2016 11:59:10
- Ostap Bender
- Membre
- Inscription : 23-12-2015
- Messages : 242
Re : Suites exhaustives
Bonjour Tina.
Tu peux prendre pour [tex]K_n[/tex] l'ensemble des [tex]x[/tex] distants du complémentaire de [tex]\Omega[/tex] d'au moins [tex]\frac1n[/tex] de de [tex]O[/tex] d'au plus [tex]n[/tex].
Ostap Bender
Hors ligne
#3 06-10-2016 13:34:57
- tina
- Membre
- Inscription : 27-03-2014
- Messages : 285
Re : Suites exhaustives
Vous voulez dire qu'on peux considérer
[tex]K_j= \{x \in \Omega: d(x, C \Omega) > \dfrac{1}{n}\}[/tex]
Mais ce [tex]K_n[/tex] est ouver, l n'est pas fermé.
2. Comment avez vous eu l'idée de choisir [tex]K_n[/tex] de cette forme? S'il vous plaît.
Dernière modification par tina (06-10-2016 13:35:28)
Hors ligne
Pages : 1