Espace pseudometrique


Espace pseudometrique

Espace pseudométrique

En mathématiques, un espace pseudométrique est un cas particulier d'espace hémimétrique vérifiant une relation de symétrie, qui généralise ainsi la notion d'espace métrique. Lorsqu'une topologie est générée par une famille de pseudométriques, l'espace est appelé espace de jauge.

Les pseudométriques apparaissent naturellement en analyse fonctionnelle.

Sommaire

Définition

Un espace pseudométrique \left(X,\mathrm d\right) est la donnée d'un ensemble X et d'une fonction positive à valeurs réelles \mathrm d : X \times X \longrightarrow \mathbb{R}, appelée fonction pseudométrique (ou pseudométrique), qui vérifie les trois relations suivantes :

À la différence d'un espace métrique, les points d'un espace pseudométrique ne sont pas nécessairement distincts — c'est-à-dire que l'on peut avoir d(x,y) = 0 pour des valeurs distinctes x\ne y.

Exemples

Soit l'espace \mathcal{F}\left(X\right) des fonctions à valeurs réelles f : X\to\mathbb{R}, ajouté du point x_0\in X. Ce point induit une pseudométrique sur l'espace des fonctions, donnée par :

\forall f,g \in \mathrm F\left(X\right), \quad \mathrm d\left(f,g\right) = | f\left(x_0\right)-g\left(x_0\right)|\;


Pour un espace vectoriel V, une seminorme p induit une pseudométrique[1] sur V :

\mathrm d\left(x,y\right) = p\left(x-y\right)

Propriétés topologiques

La topologie pseudométrique est induite par l'ensemble des boules ouvertes :

B_r \left( p \right) = \{ x\in X\mid \mathrm d \left(p,x\right)<r \},

qui forme une base de la topologie.[2] Un espace topologique est dit pseudométrisable si on peut munir l'espace d'une topologie pseudométrique.

Identification métrique

L'annulation de la pseudométrique induit une relation d'équivalence, appelée identification métrique, qui fait de l'espace pseudométrique un espace métrique complet. Cela peut être fait en définissant x˜y si \mathrm d\left(x,y\right)=0. Soit X * = X / ˜ et posons :

\mathrm d^{*} \left( \left[x\right],\left[y\right] \right) = \mathrm d\left(x,y\right)

Alors d * est une métrique sur X * et \left(X^{*},\mathrm d^{*} \right) est un espace métrique bien défini.

L'identification métrique préserve les topologies induites : un sous-ensemble A\subset X est ouvert (resp. fermé) de \left(X,\mathrm d \right) si et seulement si \pi\left(A\right)=\left[A\right] est un ouvert (resp. fermé) de \left(X^{*},\mathrm d^{*}\right).

Références

  1. Réciproquement, une pseudométrique invariante par translation et homogène induit une seminorme.
  2. (en) PlanetMath : Pseudometric topology.
  • (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Pseudometric space ».

Bibliographie

  • (en) L.A. Steen, J.A.Seebach Jr. : Counterexamples in topology, (1970) Holt, Rinehart and Winston, Inc.
  • (en)/(ru) A.V. Arkhangelskii, L.S.Pontryagin : General Topology I, (1990) Springer-Verlag, Berlin. ISBN 3-540-18178-4
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Espace pseudom%C3%A9trique ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace pseudometrique de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Espace Pseudométrique — En mathématiques, un espace pseudométrique est un cas particulier d espace hémimétrique vérifiant une relation de symétrie, qui généralise ainsi la notion d espace métrique. Lorsqu une topologie est générée par une famille de pseudométriques, l… …   Wikipédia en Français

  • Espace pseudométrique — En mathématiques, un espace pseudométrique est un espace muni d un écart. C est une généralisation de la notion d espace métrique. Lorsqu une topologie est définie par une famille d écarts, l espace est appelé espace uniforme. Remarque : en… …   Wikipédia en Français

  • Pseudométrique — Espace pseudométrique En mathématiques, un espace pseudométrique est un cas particulier d espace hémimétrique vérifiant une relation de symétrie, qui généralise ainsi la notion d espace métrique. Lorsqu une topologie est générée par une famille… …   Wikipédia en Français

  • Espace Pramétrique — En mathématiques, un espace pramétrique est un espace topologique plus général que les espaces métriques, ne nécessitant ni symétrie, ni indiscernabilité, ni la validité de l inégalité triangulaire. De tels espaces apparaîssent naturellement pour …   Wikipédia en Français

  • Espace prametrique — Espace pramétrique En mathématiques, un espace pramétrique est un espace topologique plus général que les espaces métriques, ne nécessitant ni symétrie, ni indiscernabilité, ni la validité de l inégalité triangulaire. De tels espaces apparaîssent …   Wikipédia en Français

  • Espace Hémimétrique — En mathématiques, un espace hémimétrique est un cas particulier d espace pramétrique, à qui l on impose de vérifier l inégalité triangulaire. Sommaire 1 Définition 2 Cas particuliers 3 Propriétés topologiques …   Wikipédia en Français

  • Espace hemimetrique — Espace hémimétrique En mathématiques, un espace hémimétrique est un cas particulier d espace pramétrique, à qui l on impose de vérifier l inégalité triangulaire. Sommaire 1 Définition 2 Cas particuliers 3 Propriétés topologiques …   Wikipédia en Français

  • Espace semimétrique — En mathématiques, la notion d espace semimétrique est une généralisation de celle d espace métrique dans laquelle on n impose pas l inégalité triangulaire. Dans les traductions de textes russes, le terme semimétrique est parfois remplacé par… …   Wikipédia en Français

  • Espace hémimétrique — En mathématiques, les notions d espace hémimétrique et de fonction hémimétrique sont la généralisation de celles d espace pseudométrique et d écart, en n imposant pas que la fonction soit symétrique. Sommaire 1 Définition 2 Cas particuliers 3… …   Wikipédia en Français

  • Espace uniforme — En mathématiques, la notion d espace uniforme est une généralisation de celle d espace métrique. Une structure uniforme est une structure qui permet de définir la continuité uniforme. On peut y parvenir de deux manières différentes, l une en… …   Wikipédia en Français