Avertissement
Ce contenu a été généré par une intelligence artificielle (LLM) et peut contenir des imprécisions ou des erreurs malgré notre relecture attentive. Il s'agit d'un outil d'apprentissage et non d'une référence académique.
Si vous constatez des erreurs, merci de nous les signaler via la page "À propos".
Topologie sur Rn - preuves (A)
Une boule ouverte est un ensemble ouvert
Démontrez que toute boule ouverte dans est un ensemble ouvert.
Indice
Pour prouver qu'un ensemble est ouvert, vous devez prendre un point arbitraire et montrer qu'il existe une boule ouverte centrée en qui est entièrement contenue dans .
Soit un point quelconque dans la boule ouverte . Par définition, la distance de au centre est . L'idée est de montrer qu'il y a un "espace" entre et la frontière de la boule. Cet espace est donné par .
Utilisez l'inégalité triangulaire pour montrer qu'une petite boule centrée en de rayon est bien incluse dans la boule initiale .
Solution
Soit une boule ouverte de centre et de rayon . Pour montrer que est un ensemble ouvert, nous devons vérifier la définition d'un ouvert : pour tout point , il existe un rayon tel que .
Étape 1 : Choisir un point et un rayon adéquat
Soit un point quelconque dans . Par définition de la boule ouverte, nous avons .
La distance entre et la "frontière" de la boule est . Posons . Puisque , nous avons bien .
Nous allons montrer que la boule ouverte est entièrement contenue dans .
Étape 2 : Démontrer l'inclusion en utilisant l'inégalité triangulaire
Soit un point quelconque dans . Par définition, cela signifie que .
Nous voulons montrer que , c'est-à-dire que .
En utilisant l'inégalité triangulaire pour la norme , on a :
Nous savons que et par notre choix de , on a . En substituant, on obtient :
Donc, .
Conclusion
Nous avons montré que pour tout , on a . Cela signifie que .
Puisque nous avons trouvé un tel rayon pour un point arbitraire de , nous concluons que la boule ouverte est un ensemble ouvert.
L'intersection finie d'ouverts est un ouvert
Démontrez que si et sont deux ensembles ouverts de , alors leur intersection est aussi un ensemble ouvert.
Indice
Soit un point quelconque dans l'intersection . Par définition de l'intersection, appartient à la fois à et à .
Puisque et sont des ouverts, vous pouvez trouver une boule ouverte centrée en contenue dans (de rayon ) et une autre boule ouverte centrée en contenue dans (de rayon ).
Comment construire, à partir de ces deux boules, une seule boule centrée en qui soit garantie d'être contenue à la fois dans et , et donc dans leur intersection ? Pensez à la relation d'inclusion entre des boules de même centre mais de rayons différents.
Solution
Soient and deux ensembles ouverts dans . Nous voulons montrer que leur intersection est un ensemble ouvert.
Étape 1 : Appliquer la définition d'un ouvert
Soit un point quelconque de .
Par définition de l'intersection, et .
Étape 2 : Utiliser le fait que et sont ouverts
Puisque est un ouvert et que , il existe un rayon tel que la boule ouverte soit entièrement incluse dans .
De même, puisque est un ouvert et que , il existe un rayon tel que la boule ouverte soit entièrement incluse dans .
Étape 3 : Construire une boule incluse dans l'intersection
Nous cherchons un rayon tel que .
Posons . Puisque et , leur minimum est aussi strictement positif.
Montrons que est incluse dans et .
- Comme , on a l'inclusion . Puisque , on a .
- Comme , on a l'inclusion . Puisque , on a .
Puisque est contenue à la fois dans et , elle est contenue dans leur intersection :
Conclusion
Pour tout point , nous avons trouvé un rayon tel que . Par définition, l'ensemble est donc un ouvert.
Cet argument se généralise par récurrence à toute intersection finie d'ensembles ouverts.
Caractérisation séquentielle des fermés (Partie 1)
Soit un sous-ensemble fermé de . Démontrez que pour toute suite d'éléments de qui converge vers une limite , cette limite appartient nécessairement à .
Indice
Le point de départ est la définition d'un ensemble fermé : son complémentaire est ouvert.
Raisonnez par l'absurde. Supposez que la conclusion est fausse, c'est-à-dire que la limite de la suite n'appartient pas à .
Si , alors est dans le complémentaire de , noté .
Puisque est fermé, est ouvert. Utilisez la définition d'un ensemble ouvert pour le point pour trouver une contradiction avec le fait que la suite converge vers .
Solution
Soit un ensemble fermé de . Soit une suite d'éléments de (c'est-à-dire pour tout ) qui converge vers une limite . Nous voulons montrer que .
Étape 1 : Raisonnement par l'absurde
Supposons, pour obtenir une contradiction, que .
Si , alors appartient au complémentaire de , que nous noterons .
Étape 2 : Utiliser la définition d'un ensemble fermé
Par définition, si est un ensemble fermé, son complémentaire est un ensemble ouvert.
Puisque et que est ouvert, il existe par définition un rayon tel que la boule ouverte soit entièrement incluse dans .
Cela signifie que la boule ne contient aucun point de . En d'autres termes, .
Étape 3 : Utiliser la définition de la convergence de la suite
La suite converge vers . Par définition de la convergence, pour ce même , il existe un rang tel que pour tout , on a .
Étape 4 : Mettre en évidence la contradiction
D'une part, nous savons que pour tout , . Cela est vrai en particulier pour tous les .
D'autre part, nous venons de voir que si , alors .
Cela implique que pour , le point est à la fois dans et dans .
Ceci contredit le fait que .
Conclusion
Notre hypothèse initiale () mène à une contradiction. Par conséquent, l'hypothèse est fausse et nous devons avoir .
Nous avons donc prouvé que si un ensemble est fermé, il est stable par passage à la limite des suites.
Caractérisation séquentielle des fermés (Partie 2)
Soit un sous-ensemble de tel que pour toute suite d'éléments de qui converge, sa limite appartient à . Démontrez que est un ensemble fermé.
Indice
Pour montrer que est fermé, il faut montrer que son complémentaire, , est ouvert.
Pour ce faire, prenez un point arbitraire dans . Vous devez montrer qu'il existe un rayon tel que .
Essayez de raisonner par l'absurde. Supposez qu'un tel rayon n'existe pas. Qu'est-ce que cela signifie ? Cela veut dire que pour tout , la boule n'est pas incluse dans . Cela implique que pour tout , doit rencontrer .
Utilisez cette propriété pour construire une suite de points dans qui converge vers . Appliquez ensuite l'hypothèse de l'énoncé pour aboutir à une contradiction.
Solution
Soit un sous-ensemble de satisfaisant la propriété : pour toute suite d'éléments de qui converge vers , on a . Nous voulons montrer que est un ensemble fermé.
Pour cela, nous allons montrer que son complémentaire est un ensemble ouvert.
Étape 1 : Montrer que le complémentaire est ouvert
Soit un point quelconque de . Par définition, . Nous devons montrer qu'il existe un rayon tel que .
Étape 2 : Raisonnement par l'absurde
Supposons, pour obtenir une contradiction, qu'un tel rayon n'existe pas.
Cela signifie que pour tout , la boule n'est pas contenue dans .
Si n'est pas contenue dans , cela veut dire qu'elle contient au moins un point qui n'est pas dans , c'est-à-dire un point qui est dans .
Formellement :
Étape 3 : Construire une suite convergente
Utilisons la propriété ci-dessus pour construire une suite. Pour chaque entier , choisissons .
Pour chaque , la boule a une intersection non vide avec . Nous pouvons donc choisir un point dans cette intersection :
En faisant cela pour chaque , nous construisons une suite .
Par construction, chaque est dans .
De plus, pour chaque , on a . Comme quand , cela signifie que la suite converge vers .
Étape 4 : Appliquer l'hypothèse et conclure
Nous avons construit une suite d'éléments de qui converge vers .
Or, l'hypothèse de l'énoncé est que pour toute suite de ce type, sa limite doit appartenir à .
Donc, doit appartenir à .
Ceci est une contradiction, car nous avons commencé par prendre dans , ce qui signifie .
Conclusion
Notre supposition à l'étape 2 était fausse. Par conséquent, pour tout , il doit exister un rayon tel que .
Ceci prouve que est un ensemble ouvert, et donc que son complémentaire est un ensemble fermé.
L'intérieur d'un ensemble est un ouvert
Démontrez que pour toute partie