Introduction à la Topologie
Ensembles Ouverts Fermés
Au-delà des frontières : Ensembles ouverts et fermés
En mathématiques, et plus particulièrement en topologie, les notions d'ensembles "ouverts" et "fermés" sont fondamentales. Elles nous permettent de parler de proximité et de continuité de manière rigoureuse, bien au-delà de la simple droite numérique. Pour commencer, oublions les portes et les fenêtres. Un ensemble est dit ouvert s'il ne contient aucun de ses points frontières.
Imaginez un terrain. Si le terrain est "ouvert", cela signifie que, où que vous soyez à l'intérieur, vous pouvez toujours faire un petit pas dans n'importe quelle direction sans sortir du terrain. Il y a toujours un peu d'espace autour de vous. L'intervalle sur la droite réelle est un exemple classique. Peu importe le point que vous choisissez, vous pouvez toujours trouver un intervalle encore plus petit autour de lui qui est entièrement contenu dans . Les points 0 et 1, qui forment la frontière, ne font pas partie de l'ensemble.
Formellement, un ensemble dans un est ouvert si, pour chaque point dans , il existe un nombre réel tel que la boule ouverte de centre et de rayon est entièrement contenue dans . Cette boule est l'ensemble de tous les points dont la distance à est strictement inférieure à .
Un ensemble fermé, en revanche, est un ensemble qui contient toutes ses limites. Si vous avez une suite de points à l'intérieur d'un ensemble fermé qui converge vers un certain point, alors ce point limite doit aussi appartenir à l'ensemble. L'intervalle est fermé car il inclut ses points frontières 0 et 1. Toute suite de points dans qui converge aura une limite qui se trouve également dans .
Le lien de complémentarité
La relation la plus élégante entre les ensembles ouverts et fermés est leur dualité. Un ensemble est fermé si et seulement si son est ouvert. Le complémentaire d'un ensemble est tout ce qui n'est pas dans .
Prenons l'intervalle fermé . Son complémentaire dans est l'ensemble . C'est l'union de deux intervalles ouverts, ce qui en fait un ensemble ouvert. Cela confirme que est bien fermé.
Cette relation de complémentarité nous amène à des propriétés importantes. Puisque l'intersection d'ensembles fermés correspond à l'union de leurs complémentaires ouverts (et vice-versa), nous pouvons déduire les règles suivantes :
| Ensembles Ouverts | Ensembles Fermés |
|---|---|
| L'union d'un nombre quelconque d'ensembles ouverts est ouverte. | L'intersection d'un nombre quelconque d'ensembles fermés est fermée. |
| L'intersection d'un nombre fini d'ensembles ouverts est ouverte. | L'union d'un nombre fini d'ensembles fermés est fermée. |
Pourquoi la restriction au "fini" est-elle si importante pour l'intersection des ouverts et l'union des fermés ? Considérez l'intersection d'une infinité d'intervalles ouverts : Cet ensemble se réduit au seul point {0}, qui est un ensemble fermé, pas ouvert.
Intérieur, frontière et adhérence
Ces concepts nous aident à disséquer n'importe quel ensemble. Soit un ensemble :
Point intérieur
noun
Un point est un point intérieur de s'il existe une boule ouverte centrée en entièrement contenue dans . L'ensemble de tous les points intérieurs est appelé l'intérieur de , noté . Un ensemble est ouvert s'il est égal à son intérieur.
Point d'adhérence : Un point est adhérent à si toute boule ouverte centrée en contient au moins un point de . L'ensemble de tous les points d'adhérence est la fermeture (ou l'adhérence) de , notée . Un ensemble est fermé s'il est égal à sa fermeture.
Point frontière : Un point est un point frontière de s'il est adhérent à la fois à et à son complémentaire. C'est-à-dire que toute boule ouverte centrée en contient des points de et des points qui ne sont pas dans . La frontière de , notée , est l'ensemble de tous ses points frontières.
Pour l'ensemble dans :
- L'intérieur est .
- La fermeture est .
- La frontière est .
Dans , l'ensemble vide et l'espace entier sont les deux seuls ensembles qui sont à la fois ouverts et fermés. La compréhension de ces définitions est la première étape essentielle pour explorer le monde fascinant de la topologie, où ces idées sont généralisées à des espaces bien plus abstraits.
Lequel des ensembles suivants est un exemple d'ensemble ouvert dans ?
Si un ensemble est fermé, qu'est-ce qui est toujours vrai à propos de son complémentaire ?