Topologie/Adhérence, intérieur...

On se place dans tout ce qui suit sur un espace topologique $X$ quelconque.

Notion de voisinage

Une partie $V$ de $X$ est un voisinage d'un point $x\in X$ s'il existe un ouvert $O$ tel que $x\in O\subseteq V$. 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. Modèle:Boîte déroulante

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) :

1. un voisinage d'un point n'est jamais vide
2. l'ensemble $X$ est un voisinage de n'importe lequel de ses points
3. si $V$ est un voisinage d'un point $x$, contenu dans une partie $V^{\prime }$ de $X$, alors cette partie $V^{\prime }$ est aussi un voisinage de $x$
4. si $V$ et $V^{\prime }$ sont deux voisinages d'un même point $x$, il en est alors de même pour leur intersection $V\cap V^{\prime }$
5. si $V$ est voisinage d'un point $x$, il existe un voisinage $V^{\prime }$ de ce point tel que $V$ soit voisinage de n'importe lequel des points de $V^{\prime }$

En fait, l'ensemble des voisinages d'un point forme ce qu'on appelle un filtre (notion que nous n'aborderons pas) sur $X$...

Intérieur

Un point $x$ de $X$ est dit intérieur à une partie $A$ quand cette partie est un voisinage de ce point. On appelle intérieur de $A$ l'ensemble des points qui lui sont intérieur, on le note $A^{\circ }$ ou $\mathrm{I}\mathrm{n}\mathrm{t}(A)$.

Propriété caractéristique — L'intérieur d'une partie est le plus grand ouvert contenu dans cette partie. Modèle:Boîte déroulante

Voici quelques propriétés des intérieurs faciles à établir :

1. une partie contient toujours son intérieur
2. une partie est ouverte si, et seulement si elle est égale à son intérieur
3. si on a $A\subseteq B$, l'intérieur préserve la croissance au sens où $A^{\circ }\subseteq B^{\circ }$
4. l'intérieur d'une intersection finie de parties est l'intersection des intérieurs, c-à-d $(A\cap B{)}^{\circ }=A^{\circ }\cap B^{\circ }$
5. d'une manière générale, l'intérieur d'une intersection est incluse dans l'intersection des intérieurs
6. l'union d'intérieurs est incluse dans l'intérieur de l'union

Adhérence

Un point $x$ de $X$ est dit adhérent à une partie $A$ quand tout voisinage de ce point rencontre $A$, c-à-d pour tout voisinage $V$ de $x$, on a $A\cap V\ne \varnothing$. On appelle adhérence de $A$ l'ensemble des points qui lui sont adhérent, elle est notée $\bar{A}$ ou $\mathrm{A}\mathrm{d}\mathrm{h}(A)$.

Propriété caractéristique — L'adhérence d'une partie est le plus petit fermé contenant dans cette partie. Modèle:Boîte déroulante

Propriétés des adhérences :

1. une partie est toujours contenue dans son adhérence
2. une partie est fermée si, et seulement si elle est égale à son adhérence
3. si on a $A\subseteq B$, alors l'adhérence conserve la croissance avec $\bar{A}\subseteq \bar{B}$
4. l'adhérence d'une union finie de parties est l'union des adhérences, c-à-d $\overline{A\cup B}=\bar{A}\cup \bar{B}$
5. une union d'adhérences est contenue dans l'adhérence de l'union, l'inclusion pouvant être stricte
6. 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 :

1. Le complémentaire de l'intérieur est l'adhérence du complémentaire

Point d'accumulation et point isolé

On appelle point d'accumulation d'une partie $A$ tout point $x$ de $X$ qui est adhérent à $A\setminus \{x\}$. On appelle ensemble dérivé de $A$ l'ensemble noté $A^{\prime }$, des points d'accumulation de $A$. On peut montrer que $\bar{A}=A\cup A^{\prime }$...
Un point sera dit isolé dans $A$ s'il appartient à cette partie sans y être un point d'accumulation.

Bord d'une partie

On appelle bord (ou frontière) d'une partie $A$ l'ensemble $\partial A=\bar{A}\setminus A^{\circ }$ (l'adhérence privée de l'intérieur). Avec les propriétés de l'adhérence, on peut aussi écrire $\partial A=\bar{A}\cap \overline{X\setminus A}$.

Propriétés du bord :

1. le bord d'une partie est un fermé
2. le bord d'une partie est égal à celui de son complémentaire
3. l'adhérence d'un ensemble correspond à cet ensemble adjoint de sa frontière, c-à-d $\bar{A}=A\cup \partial A$
4. l'intérieur d'un ensemble est cet ensemble privé de sa frontière, c-à-d $A^{\circ }=A\setminus \partial A$
5. l'intérieur du bord d'un ouvert (ou d'un fermé par passage au complémentaire) est vide
6. le bord du bord d'une partie est inclus dans le bord de cette partie, c-à-d $\partial \partial A\subseteq \partial A$ (on a égalité si, et seulement si $\mathrm{I}\mathrm{n}\mathrm{t}(\partial A)=\varnothing$)