Système fondamental de voisinages

Système fondamental de voisinages

Voisinage (mathématiques)

La notion de voisinage correspond à une approche axiomatique équivalente à celle de la topologie. La topologie traite plus naturellement les notions globales comme la continuité qui s'entend ici comme la continuité en tout point. En revanche, pour les propriétés locales comme la continuité en un point ou la limite, le formalisme des voisinages est souvent plus simple.

Sommaire

Voisinage dans un espace topologique

Dans un espace topologique, un voisinage d'un point est un sous-ensemble contenant un ouvert contenant ce point. Soit E\; un espace topologique et a\; un point de E\;. Notons alors \mathcal V(a) l'ensemble des voisinages de a\;. Nous pouvons alors remarquer que :

  1. E\in \mathcal V(a) (donc \mathcal V(a)\ne\varnothing )
  2. A,B\in \mathcal V(a) ~\Rightarrow~ A\cap B\in \mathcal V(a)
  3. A\in \mathcal V(a) ~\land~ A\subset B\subset E ~\Rightarrow~ B\in \mathcal V(a)
  4. \varnothing\notin \mathcal V(a)

Nous venons de démontrer que les voisinages de a\; forment un filtre sur E\; pour l'inclusion. On peut de plus remarquer que (comme un ouvert est voisinage de chacun de ses points) :

A \in \mathcal V(a)\Rightarrow\exist B \subset A,\quad a\in B et \forall b\in B, B\in\mathcal V(b)

(on retrouve donc que A \in \mathcal V(a)\Rightarrow a\in A\Rightarrow A\neq\varnothing)

Topologie définie à partir des voisinages

La section précédente montre que les axiomes de la topologie définissent les voisinages en chaque point. On peut alors définir axiomatiquement l'ensemble des voisinages. Cette définition nous permet de définir une topologie.

Soit E\; un ensemble. Une application de E\; dans \mathcal P(\mathcal P(E)) notée \mathcal V\; forme un ensemble de voisinages si et seulement si:

  1. \forall a\in E\quad\mathcal V(a) est un filtre sur E\; pour l'inclusion
  2. \forall a\in E\quad\forall A \in \mathcal V(a) \quad\exist B \subset A,\quad a\in B et \forall b\in B, B\in\mathcal V(b)

Considérons alors l'ensemble des parties de E\; qui sont voisinages de chacun de leurs points. Cet ensemble forme une topologie.

Base de voisinages

L'ensemble des voisinages d'un point est vaste. L'analyse des filtres pour l'inclusion nous indique qu'il nous suffit de connaître une base de filtre pour définir cet ensemble de voisinages. La définition, déduite directement du concept de base de filtre, est donc la suivante : Une base de voisinages \mathcal W(a) d'un point a\; d'un ensemble E\; est une famille de sous-ensembles de E\; contenant a\; et telle que toute intersection finie d'éléments de \mathcal W(a) contient un élément de \mathcal W(a).

Un voisinage de a\; est alors tout sous-ensemble de E contenant un élément de \mathcal W(a).

Limite et continuité en un point

Le formalisme des voisinages permet d'exprimer simplement les notions de limite et de continuité en un point.

Limite

Soit E\; un espace topologique et E'\; un sous espace de E\;. Soit f\; une fonction de E'\; dans F\; un espace topologique. Soit a\; un point de l'adhérence \overline E'\; de E'\;, la fonction f\; admet l\; comme limite au point a\; si et seulement si l'image réciproque d'un voisinage de l\; est un voisinage de a\; dans \overline E'\;. L'expression de la limite prend alors la forme suivante:

\forall V \in \mathcal V(l) \quad \exist W \in \mathcal V_E(a)\quad \forall x \in W\;\cap\; E' \quad f(x)\in V\quad \Leftrightarrow \quad \lim_{x \to a}f(x)=l\;

Continuité

Soit f\; une fonction d'un espace topologique E\; dans F\; et soit a\; un point élément du domaine de définition de f\;. La fonction f\; est continue au point a\; si et seulement si l'image réciproque d'un voisinage de f(a)\; est un voisinage de a\;. L'expression de la continuité au point a\; prend alors la forme suivante :

\forall V \in \mathcal V(f(a)) \quad \exist W \in \mathcal V(a)\quad \forall x \in W\quad f(x)\in V\;

Exemples

Le cas des entiers positifs

Il est possible de compléter \N avec la valeur +\infty\;. Si on associe à cet espace le filtre de Frêchet, contenant tous les complémentaires des ensembles finis qui contiennent la valeur +\infty\;. Alors +\infty\; possède un ensemble de voisinages. On peut alors définir la limite d'une suite (u_n)\; à valeur dans \R ou \mathbb C. Cette suite converge vers la valeur l\; quand n\; tend vers +\infty\; si et seulement si:

\forall \epsilon > 0 \quad \exist N \in \mathbb N \quad \forall n > N \quad |u_n- l|<\epsilon \;

Le cas des nombres réels

Dans l'ensemble des réels, on définit les voisinages d'un réel a de la manière suivante:

  • V\; est un voisinage de a\; si et seulement s'il existe un réel strictement positif \mu\; tel que ]a - \mu; a + \mu[\, \subset V. Les intervalles cités forment une base de filtre pour les voisinages du point a\;. C'est un cas particulier des espaces métriques traités en exemple et démontré à la suite de cette section.

Exprimons alors les notions de limite et de continuité pour une fonction f\; définie sur E\; un sous ensemble des nombres réels dans F\; un espace topologique.

Soit a\; un élément de l'adhérence de E\; et l\; un élément de F\;. Dire que la fonction f\; a pour limite l\; au point a\;, c'est dire que pour tout voisinage \mathcal V(l)\; il existe \mu \; strictement supérieur à 0\; tel que l'image de l'intersection de l'intervalle ]a - \mu; a + \mu[\, avec E\; est incluse dans \mathcal V(l)\;. Ou encore:

\forall V \in \mathcal V(l) \quad \exist \mu > 0\quad \forall x \in ]a - \mu; a + \mu[\;\cap\; E \quad f(x)\in V\quad \Leftrightarrow \quad \lim_{x \to a}f(x)=l\;

La continuité en a\; si a\; est un élément du domaine de définition de f\; s'exprime de la manière suivante:

\forall V \in \mathcal V(f(a)) \quad \exist \epsilon > 0\quad \forall x \in ]a - \mu; a + \mu[\;\cap\; E \quad f(x)\in V\;


Dans le cas des fonctions réelles de la variable réelle, on obtient:

\forall \epsilon > 0 \quad \exist \mu > 0\quad \forall x \in E \quad |x-a|<\mu \Rightarrow |f(x)- l|<\epsilon \quad \Leftrightarrow \quad \lim_{x \to a}f(x)=l\;

Pour la continuité on a:

\forall \epsilon > 0 \quad \exist \mu > 0\quad \forall x \in E \quad |x-a|<\mu \Rightarrow |f(x)- f(a)|<\epsilon \;

Extension de la droite réelle

Il est possible d'étendre la droite réelle avec les valeurs + \infty et - \infty . on définit alors leurs voisinages:

  • Voisinage de + \infty  : V est un voisinage de + \infty si et seulement s'il existe un réel M tel que ]M; + \infty[\, \subset V
  • Voisinage de - \infty  : V est un voisinage de - \infty si et seulement s'il existe un réel M tel que ]-\infty; M [\, \subset V

Remarque: On peut remarquer que la droite réelle étendue avec les voisinages précédents forme bien une topologie. En revanche cette topologie n'est pas déduite de la distance usuelle. En effet, les points limites de la droite réelle n'ont pas de distance vis à vis des autres points.

Dans le cas des fonctions réelles de la variable réelle, on obtient:

\forall \epsilon > 0 \quad \exist M \in \mathbb R \quad \forall x \in E \quad x>M \Rightarrow |f(x)- l|<\epsilon \quad \Leftrightarrow \quad \lim_{x \to +\infty}f(x)=l\;
\forall \epsilon > 0 \quad \exist M \in \mathbb R \quad \forall x \in E \quad x<M \Rightarrow |f(x)- l|<\epsilon \quad \Leftrightarrow \quad \lim_{x \to -\infty}f(x)=l\;

Espace métrique

Tout espace métrique est muni d'une topologie déduite. En effet, soit E\; un espace métrique, soit a\; un point de E\; et r\; un réel strictement positif. L'ensemble des boules ouvertes de centre a\; et de rayon r\; forment une base de filtre pour l'inclusion. Considérons alors \mathcal V(a)\; l'ensemble tous les filtres générés par cette base de filtre. Montrons alors que \mathcal V(a)\; forment un ensemble de voisinages. Par construction un ensemble V\; est élément de \mathcal V(a)\; si et seulement s'il existe une boule ouverte de centre a\; et de rayon r\; strictement positif, contenue dans V\;.

B_r(a) = B(a;r) = \{ x \in X \mid d(x,a) < r \}
  • \mathcal V(a)\; est un filtre pour l'inclusion par construction.
  • Tout élément V\; de \mathcal V(a)\; contient a\; car il contient une boule centrée sur a\; et de rayon strictement positif.
  • Enfin soit V\; un élément de \mathcal V(a)\;. Alors il existe un réel r\; tel que la boule ouverte de centre a\; et de rayon r\; soit incluse dans V\;. Soit alors b\; un élément de cette boule. b\; est à une distante d\; de a\; avec d\; strictement plus petit que r\; par définition de la boule. L'inégalité triangulaire nous garantit que la boule ouverte de centre b\; et de rayon r-d\; est incluse dans la boule de centre a\; et de rayon r\;.

Nous venons de démontrer que les axiomes des ensembles de voisinages sont bien satisfaits, ce qui montre que l'application de E\; dans \mathcal P(\mathcal P(E))\; définit bien un ensemble de voisinages. Les ouverts sont alors les ensembles O\; tel que pour tout point a\; de O\; il existe une boule ouverte de centre a\; incluse dans O\;.


Exprimons alors les notions de limite et de continuité pour une fonction f\; définie sur E\; dans F\; un espace métrique. On note d_E(\;\cdot\;)\; (resp. d_F(\;\cdot\;)\;) la distance dans E\; (resp. dans F\;).

Soit a\; un élément de l'adhérence de E\; et l\; un élément de F\;. Dire que la fonction f\; a pour limite l\; au point a\;, c'est dire que pour tout \epsilon \; strictement supérieur à 0\;, il existe \mu \; strictement supérieur à 0\;, tel que l'intersection l'image de la boule ouverte de centre a\; et de rayon \mu \; avec E\;, est incluse dans la boule ouverte de centre l\; et de rayon \epsilon\;, Ou encore:

\forall \epsilon >0 \quad \exist \mu > 0\quad \forall x \in E \quad d_E(x,a)<\mu \quad \Rightarrow \quad d_F(f(x),l)<\epsilon\quad\Leftrightarrow \quad \lim_{x \to a}f(x)=l\;

La continuité en a\; si a\; est un élément du domaine de définition de f\; s'exprime de la manière suivante:

\forall \epsilon >0 \quad \exist \mu > 0\quad \forall x \in E \quad d_E(x,a)<\mu \quad \Rightarrow \quad d_F(f(x),f(a))<\epsilon\;


L'ensemble V\; est un voisinage de l'ensemble S\; si et seulement si V\; est un voisinage de tous les points de S\;.

V\; est appelé voisinage uniforme de l'ensemble S\; si et seulement s'il existe un rayon r\; strictement positif tel que, pour tout a\; de S\;, la boule ouverte de centre a\; et de rayon r\; est incluse dans V\;.

Exemple : dans l'ensemble des réels muni de la distance issue de la valeur absolue, l'ensemble V\; défini par :

V:=\bigcup_{n \in \mathbb{N}} B\big(n\,;\,\frac{1}{n + 1}\big),

est un voisinage de l'ensemble \mathbb{N} des entiers naturels, mais n'est pas un voisinage uniforme de celui-ci.

Topologie faible

Il existe des topologies qui ne sont pas associées à des espaces métriques. La topologie faible en est un exemple.

Voir aussi

Bibliographie

  • Laurent Schwartz, Topologie générale et analyse fonctionnelle, édition Hermann

Liens internes

Soit A une partie d'un ensemble topologique.

  • L'ensemble des points dont A est un voisinage est appelé l'intérieur de A.
  • L'ensemble des points dont le voisinage rencontre A est appelé l'adhérence de A.


  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Voisinage (math%C3%A9matiques) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Système fondamental de voisinages de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • TOPOLOGIQUES (ESPACES VECTORIELS) — La théorie des espaces normés, développée par S. Banach et ses élèves, s’est vite révélée insuffisante pour les besoins de l’analyse fonctionnelle où interviennent de nombreux espaces vectoriels munis d’une topologie qui n’est pas déduite d’une… …   Encyclopédie Universelle

  • Glossaire Topologique — Cette page est une annexe de : Topologie Glossaire topologique Annexe de : Topologie Ceci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première …   Wikipédia en Français

  • Glossaire topologique — Cette page est une annexe de : Topologie Glossaire topologique Annexe de : Topologie Ceci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première …   Wikipédia en Français

  • Métrisabilité — Glossaire topologique Cette page est une annexe de : Topologie Glossaire topologique Annexe de : Topologie Ceci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première …   Wikipédia en Français

  • Relativement compact — Glossaire topologique Cette page est une annexe de : Topologie Glossaire topologique Annexe de : Topologie Ceci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première …   Wikipédia en Français

  • Glossaire de topologie — Ceci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première traite des concepts généraux, et la seconde liste différents types d espaces topologiques. Dans ce glossaire, tous les espaces… …   Wikipédia en Français

  • MÉTRIQUES (ESPACES) — La notion d’espace métrique, introduite en 1906 par M. Fréchet et développée peu après par F. Hausdorff, est directement issue d’une analyse des principales propriétés de la distance usuelle. L’extension aux espaces métriques des propriétés de… …   Encyclopédie Universelle

  • Filtre (mathématiques) — Pour les articles homonymes, voir Filtre.  Ne pas confondre avec une filtration. En mathématiques, et plus particulièrement en topologie générale, un filtre est une structure définie sur un ensemble, et permettant d étendre la notion de… …   Wikipédia en Français

  • Boule (topologie) — Pour les articles homonymes, voir Boule. En topologie, une boule est un type de voisinage particulier dans un espace métrique. Le nom évoque, à juste titre la boule solide dans l espace usuel à trois dimensions, mais la notion se généralise entre …   Wikipédia en Français

  • NOMBRES (THÉORIE DES) - Nombres p-adiques — On peut aborder l’étude d’un problème diophantien (cf. équations DIOPHANTIENNES) en commençant par chercher les solutions modulo p , un nombre premier quelconque: on est alors devant un problème plus facile, car Z/p Z est un corps [cf.… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”