[<] Distance à une partie [>] Continuité et topologie
Soient des parties ouvertes d’un espace normé de dimension finie.
Montrer que est une partie ouverte. Que dire de la réunion d’un nombre fini de parties fermées?
Déterminer deux parties et de l’espace telles que et soient fermées mais pas la partie
Montrer que tout fermé peut s’écrire comme intersection d’une suite décroissante d’ouverts.
Solution
Soient un fermé et pour tout ,
est un ouvert (car réunion d’ouverts) contenant . Le fermé est donc inclus dans l’intersection des pour .
Inversement, si appartient à cette intersection, alors, pour tout , il existe tel que . La suite converge alors vers et donc car est fermé.
Finalement, est l’intersection des pour .
Soient un ouvert et une partie d’un espace vectoriel normé .
Montrer que
Montrer que .
Solution
Soit . Il existe une suite telle que . Or et est ouvert donc à partir d’un certain rang . Ainsi pour assez grand et puisque , .
Si alors .
Soit une partie quelconque d’un espace normé .
Montrer que est la réunion des ouverts inclus dans .
En déduire que est le plus grand11 1 Au sens de l’inclusion. ouvert inclus dans .
Établir que est le plus petit fermé contenant .
On désigne par et les applications coordonnées de définies par pour .
Soit un ouvert de , montrer que sont des ouverts de .
Soit . Montrer que est un fermé de et que ne sont pas des fermés de .
Montrer que si est un fermé et que est une partie bornée, alors est fermée.
Solution
Soit . Il existe tel que . Comme est ouvert, il existe tel que et alors . Ainsi, (et de même ) est ouvert.
Soit telle que
Comme , à la limite .
Par la caractérisation séquentielle des fermés, est une partie fermée.
Cependant , ne sont pas des parties fermées de .
Soit telle que
Pour , il existe tel que .
Comme la suite est bornée, on peut extraire une suite convergente de limite . La suite est convergente de limite et, puisque est une partie fermée, . On en déduit . Ainsi, est une partie fermée.
Soient un espace vectoriel normé, un sous-espace fermé de et un sous-espace vectoriel de dimension finie de . Montrer que est fermé
Solution
Pour obtenir ce résultat, il suffit de savoir montrer fermé pour tout .
Soit une suite convergente d’éléments de de limite .
Pour tout , on peut écrire avec et .
Montrons en raisonnant par l’absurde que la suite est bornée.
Si la suite n’est pas bornée, quitte à considérer une suite extraite, on peut supposer .
Posons alors .
Puisque et , on a et donc .
Or la suite de terme général est une suite d’éléments de l’espace fermé , donc ce qui exclu.
Ainsi, la suite est bornée et l’on peut en extraire une suite convergente de limite .
Par opérations, la suite est alors convergente.
En notant sa limite, on a car l’espace est fermé.
En passant la relation à la limite, on obtient .
Ainsi, l’espace est fermé.
[<] Distance à une partie [>] Continuité et topologie
Édité le 29-08-2023
Bootstrap 3
-
LaTeXML
-
Powered by MathJax