[<] Valeurs d'adhérences d'une suite [>] Compacité et continuité
Soit un espace normé de dimension finie. Montrer que la sphère unité
est une partie compacte.
Montrer que est une partie compacte de .
On munit l’espace de la norme définie par
et l’on considère les fonctions .
Soient distincts. Calculer .
En déduire que la boule unité fermée de n’est pas compacte.
Solution
En développant,
Or
et
donc
Pour tout , et la suite est donc constituée d’éléments de la boule unité fermée. Par la propriété qui précède, cette suite ne possède pas de valeurs d’adhérence: la boule unité fermée n’est pas compacte.
Soient une partie compacte d’un espace normé de dimension finie et . Montrer la compacité de la partie
Montrer que toute partie fermée d’une partie compacte est elle-même compacte.
Solution
Soit une partie fermée d’un compact . Si est une suite d’éléments de , alors c’est aussi une suite d’éléments de et l’on peut donc en extraire une suite convergeant dans . Cette suite extraite est aussi une suite convergente d’éléments du fermé , sa limite appartient donc à . Au final, il existe une suite extraire de convergeant dans .
Soient et deux espaces normés, une partie fermée de et une partie compacte de .
Soit une application vérifiant:
est compact pour tout ;
l’image de tout fermé de est un fermé de .
Montrer que est compact.
Solution
Soit une suite d’éléments de . On va établir que cette suite possède une valeur d’adhérence dans .
On pose . La suite est une suite décroissante de fermés non vides. Posons . La suite est une suite décroissante de fermés non vides. On peut considérer . La suite possède une valeur d’adhérence car est compact. Pour tout , on a donc . Par suite, il existe tel que . La suite est une suite du compact , elle possède donc une valeur d’adhérence . Pour tout , donc .
Ainsi, est une valeur d’adhérence de .
Soient une partie compacte d’intérieur non vide d’un espace normé de dimension finie. On étudie l’ensemble
Montrer que est une partie compacte de .
Vérifier que pour tout .
Solution
est une partie de l’espace de dimension finie , il suffit donc d’observer que est une partie fermée et bornée.
Pour , l’application
est continue car linéaire au départ d’un espace de dimension finie.
L’ensemble est donc une partie fermée en tant qu’image réciproque d’un fermé par une application continue. Par conséquent,
est une partie fermée11 1 On aurait aussi pu montrer que contient les limites de ses suites convergentes. en tant qu’intersection de parties fermées.
Pour exprimer que est une partie bornée, on munit de la norme subordonnée à la norme sur .
Comme l’intérieur de est supposé non vide, il existe et vérifiant . De plus, la partie étant bornée, il existe aussi vérifiant . Pour et , donc
puis
On en déduit
Finalement, la partie est bornée et donc compacte.
L’application est continue sur . En particulier, elle est continue donc bornée sur le compact . Il existe tel que
Soit . On vérifie par récurrence pour tout et donc
On en déduit .
Pour , on pose
avec la suite des coefficients définissant .
On vérifie sans peine que est une norme sur .
Justifier que la suite est bornée pour la norme .
Établir que la suite ne possède pas de valeurs d’adhérence.
En déduire un exemple de partie fermée et bornée et pour autant non compacte.
Solution
Immédiatement, pour tout .
Pour distincts, on remarque .
Par l’absurde, s’il existe strictement croissante telle la suite extraite converge vers un polynôme alors il existe un rang tel que
On a alors
Cela contredit la remarque initiale.
La boule unité fermée de l’espace normé par est bornée et fermée. Elle n’est pas pour autant compacte puisque la suite est formée d’éléments de cette partie et ne possède pas de valeurs d’adhérence.
(Théorème de Riesz)
Soit un sous-espace vectoriel de dimension finie d’un espace normé .
Montrer que pour tout , il existe vérifiant
On suppose . Montrer qu’il existe vérifiant
On suppose le -espace vectoriel de dimension infinie.
Montrer qu’il existe une suite d’éléments de vérifiant
Conclure que la boule unité de n’est pas compacte.
[<] Valeurs d'adhérences d'une suite [>] Compacité et continuité
Édité le 14-10-2023
Bootstrap 3
-
LaTeXML
-
Powered by MathJax