# Topologie générale/Adhérence, intérieur

Soient $E$ un espace topologique et $A,B$ deux parties de $E$.

## Adhérence

* Un point $x$ de $E$ est dit adhérent à $A$ si tout voisinage de $x$ rencontre $A$.
* L'adhérence de $A$, notée ${\overline {A}}$, est l’ensemble des points adhérents à $A$. On l'appelle aussi fermeture ;
* on dit que $A$ est dense dans $E$ si ${\overline {A}}=E$, ou encore, si $A$ rencontre tout ouvert non vide de $E$.
* Pour la topologie usuelle sur $\mathbb {R}$, on a ${\overline {\left]0,1\right}={\overline {\left[0,1\right}=\left[0,1\right]$ et ${\overline {\mathbb {Q} }}={\overline {\mathbb {R} \setminus \mathbb {Q} }}=\mathbb {R}$.
* Dans une topologie discrète, seuls les points de $A$ sont adhérents à $A$.
* Dans une topologie grossière, toute partie non vide est dense.
* Si $A$ est une partie d'un sous-espace $X$ de $E$, l'adhérence de $A$ dans $X$ (pour la topologie induite) est égale à ${\overline {A}}\cap X$ (donc $A$ est dense dans $X$ si et seulement si ${\overline {A}}={\overline {X}}$).
L'adhérence de $A$ est le plus petit fermé contenant $A$.
$x\in {\overline {A}}\Leftrightarrow$ pour tout ouvert O contenant $x$, O rencontre $A\Leftrightarrow$ pour tout fermé $F$ ne contenant pas $x$, $A$ n'est pas tout entier inclus dans $F\Leftrightarrow$ pour tout fermé $F$ contenant $A$, $x\in F$.
Ainsi, ${\overline {A}}$ est l'intersection des fermés contenant $A$. Puisque l'intersection d'une famille quelconque (finie ou infinie) de fermés est un fermé, cette intersection est le plus petit fermé contenant $A$.
* $A\subset {\overline {A}}$, avec égalité si et seulement si $A$ est fermé.
* ${\overline {\overline {A}}}={\overline {A}}$.
* ${\overline {A\cup B}}={\overline {A}}\cup {\overline {B}}$ (donc $A\subset B\Rightarrow {\overline {A}}\subset {\overline {B}}$, donc ${\overline {A\cap B}}\subset {\overline {A}}\cap {\overline {B}}$).
On peut partitionner l'adhérence d'une partie en deux types de points :
* Un point $x$ de $E$ est un point d'accumulation de $A$ si tout voisinage de $x$ contient un point de $A$ distinct de $x$.
* Un point de $A$ est isolé s'il n'est pas un point d'accumulation de $A$.

## Intérieur

Dans un espace topologique, un point $x$ est intérieur à $A$ si $A$ est un voisinage de $x$. On appelle intérieur de $A$ l’ensemble des points intérieurs à $A$ et on le note ${\stackrel {\ \circ }{A}}$ ou $\operatorname {int} (A)$.
* Pour n'importe quelle topologie, $\operatorname {int} (\varnothing )=\varnothing$.
* Pour la topologie grossière sur $E$, l'intérieur de toute partie $A\subsetneq E$ est vide.
* Pour la topologie usuelle sur $\mathbb {R}$ :
** l'intérieur de $\left[0,1\right]$ est $\left]0,1\right[$ ;
** tout singleton est d'intérieur vide ;
** $\mathbb {Q}$ et $\mathbb {R} \setminus \mathbb {Q}$ sont d'intérieur vide.
L'intérieur de $A$ est le plus grand ouvert inclus dans $A$.
$x\in {\stackrel {\ \circ }{A}}\Leftrightarrow x$ appartient à un ouvert inclus dans $A$. Ainsi, ${\stackrel {\ \circ }{A}}$ est la réunion des ouverts inclus dans $A$.
Puisque la réunion d'une famille quelconque (finie ou infinie) d'ouverts est un ouvert, cette réunion est le plus grand ouvert inclus dans $A$.
* ${\stackrel {\ \circ }{A}}\subset A$, avec égalité si et seulement si $A$ est ouvert, donc$A$ est un ouvert si et seulement si $A$ est voisinage de chacun de ses points.
* ${\stackrel {\ \circ }{\stackrel {\ \circ }{A}}}={\stackrel {\ \circ }{A}}$.
* l'intérieur de $A\cap B$ est ${\stackrel {\ \circ }{A}}\cap {\stackrel {\ \circ }{B}}$ (donc $A\subset B\Rightarrow {\stackrel {\ \circ }{A}}\subset {\stackrel {\ \circ }{B}}$, donc ${\stackrel {\ \circ }{A}}\cup {\stackrel {\ \circ }{B}}$ est inclus dans l'intérieur de $A\cup B$).
* le complémentaire de ${\bar {A}}$ est l'intérieur du complémentaire de $A$.

## Frontière

On appelle frontière de $A$, et l’on note $\partial A$ ou $\mathrm {Fr} (A)$, l’ensemble des points adhérents à la fois à A et à son complémentaire.
D'autres définitions sont possibles :
* $\partial A={\bar {A}}\setminus {\stackrel {\circ }{A}}$
* la frontière de A est l’ensemble des points dont tout voisinage rencontre A et son complémentaire.
* La frontière d'un ensemble est un fermé.
* La frontière d'un ensemble est égale à celle de son complémentaire.
* Un ensemble est fermé si et seulement s'il contient sa frontière.
* Un ensemble est à la fois ouvert et fermé si et seulement si sa frontière est vide.
* c'est une conséquence de $\mathrm {Fr} (A)={\overline {A}}\cap {\overline {E\setminus A}}$ (l'intersection de deux fermés étant un fermé).
* les rôles de A et E\A sont identiques.
* Une partie A est fermée si et seulement si elle contient A, ou encore — puisque A contient toujours son intérieur — si et seulement si $A\supset {\overline {A}}\setminus {\stackrel {\circ }{A}}=\mathrm {Fr} (A).$
* D'après les deux points précédents, A est à la fois ouvert et fermé si et seulement si $\mathrm {Fr} (A)\subset A\cap (E\setminus A)=\varnothing .$
| Espace topologique | Bases |