Topologie/Adhérence, intérieur...
On se place dans tout ce qui suit sur un espace topologique quelconque.
Notion de voisinage
[modifier | modifier le wikicode]Une partie de est un voisinage d'un point s'il existe un ouvert tel que . Autrement dit, un voisinage d'un point est une partie de l'espace topologie qui contient un ouvert contenant ce point.
Une caractérisation intéressante des ouverts est la suivante : pour qu'une partie soit ouverte il faut, et il suffit que ce soit un voisinage de chacun de ses points.
Il s'en suit inévitablement que la partie est ouverte, en tant que réunion arbitraire d'ouverts.
En pratique, cette caractérisation des ouverts sert très souvent pour montrer qu'une partie est ouverte (notamment en présence d'une base d'ouverts), voire même rendre des propriétés topologiques beaucoup plus évidentes...
Les voisinages vérifient des propriétés plutôt remarquables, les voici (leurs démonstrations sont assez directes et ne sont pas très difficiles) :
- un voisinage d'un point n'est jamais vide
- l'ensemble est un voisinage de n'importe lequel de ses points
- si est un voisinage d'un point , contenu dans une partie de , alors cette partie est aussi un voisinage de
- si et sont deux voisinages d'un même point , il en est alors de même pour leur intersection
- si est voisinage d'un point , il existe un voisinage de ce point tel que soit voisinage de n'importe lequel des points de
En fait, l'ensemble des voisinages d'un point forme ce qu'on appelle un filtre (notion que nous n'aborderons pas) sur ...
Intérieur
[modifier | modifier le wikicode]Un point de est dit intérieur à une partie quand cette partie est un voisinage de ce point. On appelle intérieur de l'ensemble des points qui lui sont intérieur, on le note ou .
Propriété caractéristique — L'intérieur d'une partie est le plus grand ouvert contenu dans cette partie.
Montrons que l'intérieur d'une partie est un ouvert, pour cela utilisons la caractérisation par les voisinages. Soit un point dans l'intérieur de .La partie est alors voisinage de ce point, on peut ensuite exhiber un ouvert pour lequel . Un tel ouvert est nécessairement inclus dans l'intérieur de . Supposons par l'absurde que ce ne soit pas le cas, il y a alors un point tel que , mais alors est voisinage du point , donc ce qui est absurde. Ainsi, et l'intérieur de la partie est un ouvert.
Montrons que c'est plus grand inclus dans (au sens de l'inclusion). Soit un ouvert inclus dans , on a nécessairement car si ça n'était pas le cas on aurait un qui n'appartient pas à . Mais étant un voisinage de ce point, cela ne peut pas arriver.
Voici quelques propriétés des intérieurs faciles à établir :
- une partie contient toujours son intérieur
- une partie est ouverte si, et seulement si elle est égale à son intérieur
- si on a , l'intérieur préserve la croissance au sens où
- l'intérieur d'une intersection finie de parties est l'intersection des intérieurs, c-à-d
- d'une manière générale, l'intérieur d'une intersection est incluse dans l'intersection des intérieurs
- l'union d'intérieurs est incluse dans l'intérieur de l'union
Adhérence
[modifier | modifier le wikicode]Un point de est dit adhérent à une partie quand tout voisinage de ce point rencontre , c-à-d pour tout voisinage de , on a . On appelle adhérence de l'ensemble des points qui lui sont adhérent, elle est notée ou .
Propriété caractéristique — L'adhérence d'une partie est le plus petit fermé contenant dans cette partie.
Commençons par montrer que l'adhérence est un fermé contenant . Il est clair que est incluse dans son adhérence. Soit un point dans le complémentaire de l'adhérence de . Il existe alors un voisinage de qui ne rencontre jamais , soit .
On peut ensuite trouver un ouvert tel que et un tel ouvert ne peut qu'être dans le complémentaire de l'adhérence, puisque s'il existait un qui appartient à , on aurait . Mais alors rencontre , ce qui contredit l'hypothèse de départ.
Ainsi on a trouvé pour chaque point dans le complémentaire de l'adhérence de , un ouvert qui satisfait . Ce qui fait de un ouvert, et par conséquent l'adhérence de est fermée.
Par ailleurs, c'est le plus petit contenant , puisque si est un fermé contenant . Prenons , il est impossible pour ce point d'appartenir à , puisque si , étant ouvert, il est voisinage de ce point adhérent à , donc ce qui est impossible compte tenu de l'inclusion . Il en résulte alors que , ce qui en fait le plus petit fermé contenant .
Propriétés des adhérences :
- une partie est toujours contenue dans son adhérence
- une partie est fermée si, et seulement si elle est égale à son adhérence
- si on a , alors l'adhérence conserve la croissance avec
- l'adhérence d'une union finie de parties est l'union des adhérences, c-à-d
- une union d'adhérences est contenue dans l'adhérence de l'union, l'inclusion pouvant être stricte
- l'adhérence d'une intersection est incluse dans l'intersection des adhérences
On peut lier les concepts d'adhérence et d'intérieur à travers la propriété suivante :
- Le complémentaire de l'intérieur est l'adhérence du complémentaire
Point d'accumulation et point isolé
[modifier | modifier le wikicode]On appelle point d'accumulation d'une partie tout point de qui est adhérent à . On appelle ensemble dérivé de l'ensemble noté , des points d'accumulation de . On peut montrer que ...
Un point sera dit isolé dans s'il appartient à cette partie sans y être un point d'accumulation.
Bord d'une partie
[modifier | modifier le wikicode]On appelle bord (ou frontière) d'une partie l'ensemble (l'adhérence privée de l'intérieur). Avec les propriétés de l'adhérence, on peut aussi écrire .
Propriétés du bord :
- le bord d'une partie est un fermé
- le bord d'une partie est égal à celui de son complémentaire
- l'adhérence d'un ensemble correspond à cet ensemble adjoint de sa frontière, c-à-d
- l'intérieur d'un ensemble est cet ensemble privé de sa frontière, c-à-d
- l'intérieur du bord d'un ouvert (ou d'un fermé par passage au complémentaire) est vide
- le bord du bord d'une partie est inclus dans le bord de cette partie, c-à-d (on a égalité si, et seulement si )