Espace pseudométrique

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 analyse fonctionnelle et dans les disciplines mathématiques apparentées, l'expression espace semimétrique est utilisée comme synonyme d'espace pseudométrique, parce que toute semi-norme induit un écart. L'expression espace semimétrique peut par ailleurs avoir un sens différent.

Sommaire

Définition

Un espace pseudométrique \left(X,\mathrm d\right) est la donnée d'un ensemble X et d'une application positive à valeurs réelles \mathrm d : X \times X \longrightarrow \mathbb{R}, appelée fonction pseudométrique (ou écart), 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 discernables — c'est-à-dire que l'on peut avoir d(x,y) = 0 pour des valeurs distinctes x\ne y.

Exemples

Sur l'espace \mathcal{F}\left(X\right) des fonctions à valeurs réelles f : X\to\mathbb{R}, en choisissant un point x_0\in X, on peut définir un écart par :

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

Plus généralement, sur un espace vectoriel V, toute semi-norme p induit un écart d en posant :

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

Réciproquement, tout écart invariant par translation et homogène induit une seminorme.

Propriétés topologiques

La topologie pseudométrique associée à un écart p 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[1]. Un espace topologique est dit pseudométrisable s'il existe un écart dont la topologie pseudométrique associée coïncide avec celle de l'espace.

Identification métrique

En quotientant un espace pseudométrique par la relation d'équivalence d'annulation de l'écart, on obtient un espace métrique. Plus explicitement, on définit

x\sim y\Leftrightarrow\mathrm d\left(x,y\right)=0,

et on obtient une distance d * sur X^*=X/\sim~ en posant :

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

La topologie de l'espace métrique (X * ,d * ) est la topologie quotient de celle de (X,d).

Références

Bibliographie

  • (en) L.A. Steen et J.A. Seebach Jr., Counterexamples in topology, 1970, Holt, Rinehart and Winston
  • (en)/(ru) A.V. Arkhangelskii et L.S. Pontryagin, General Topology I, 1990, Springer-Verlag, Berlin (ISBN 978-3-540-18178-1)

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace pseudométrique 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 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… …   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

Share the article and excerpts

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