Exo 15
Commencez par chercher à résoudre l'exercice par vous-même.
Si vous manquez d'idée pour débuter, consultez l'indice fourni et recommencez à chercher.
Une solution détaillée vous est ensuite proposée.
Soient et deux parties non vides d'un espace vectoriel normé et un réel non nul.
On note : et : .
Question
Montrer que si et sont des ouverts, alors et sont des ouverts.
Utilisez la définition des ouverts.
On suppose que et sont des ouverts de .
Soit . Donc il existe et tels que .
est un ouvert, donc il existe tel que : . De même, il existe tel que : .
Pour tout , on peut remarquer que : .
Soit . Donc : , donc : , donc : .
Or : avec et , donc : . Donc : .
Donc, pour tout , il existe une boule de centre incluse dans .
Conclusion : Si et sont des ouverts, alors est un ouvert.
Soit . Donc il existe tel que .
Pour tout , on peut remarquer que : .
Soit . Donc : , donc : , donc : .
Or : avec : . Donc : . Donc : .
Donc, pour tout , il existe une boule de centre incluse dans .
Conclusion : Si est un ouvert, alors est un ouvert.
Question
Montrer que si et sont des fermés, alors est un fermé, mais pas forcément .
Raisonnez sur les complémentaires qui sont ouverts.
On suppose que est un fermé de , donc son complémentaire est un ouvert.
Or : si et seulement si : , donc si : , donc si : .
Donc : qui est un ouvert d'après la question précédente car est un ouvert.
Conclusion : Si est un fermé, alors est un fermé.
On suppose que et sont des fermés de .
Pour montrer que n'est pas toujours un fermé, on donne un contre-exemple.
On considère l'espace vectoriel muni de la valeur absolue.
Une réunion même infinie de fermés de est un fermé de .
Donc : et : sont des fermés de .
Leur somme est : .
Or : , donc n'est pas un entier, donc : . Donc appartient au complémentaire de .
Si était fermé, son complémentaire serait ouvert, et il existerait une boule qui ne contiendrait aucun élément de .
Or : , donc : . Et : , donc : .
Donc toute boule de centre contient au moins un élément de .
Donc le complémentaire de n'est pas ouvert, donc n'est pas fermé.
Conclusion : La somme de deux fermés n'est pas toujours un fermé.