Espace Pramétrique

Espace Pramétrique

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 des applications entre espaces métriques.

Sommaire

Définition

Un espace pramétrique \left( M, d \right) est la donnée d'un ensemble M et d'une fonction \mathrm d : M \times M \mapsto \R, appelée fonction pramétrique (ou pramétrique), qui vérifie les deux conditions suivantes :

  • \forall x,y \in M, \quad \mathrm d \left( x, y \right) \ge 0(positivité)
  •  \forall x,y \in M, \quad \mathrm d \left(x,x\right) = 0

L'on peut avoir \mathrm d \left( x, y \right) = 0, alors que x \neq y.

Cas particuliers

Il existe peu de contraintes sur le choix d'une pramétrique. On peut ainsi imposer certaines propriétés :

Le cas où d vérifie ces trois propriétés est celui d'une métrique et la fonction d engendre un espace métrique.

Exemples

Soit \left( X, \rho \right) un espace métrique et f : X \to Y une application, alors la fonction :

\mathrm d \left( y_1, y_2 \right) = \rho \left( f^{-1} \left( y_1 \right), \, f^{-1}\left( y_2\right) \right)\,

est une pramétrique symétrique.

La fonction définie par :

\mathrm d \left( x, y \right) = \begin{cases} | x - y | & \text{pour} \quad x \le y \\ 1 & \text{sinon}  \end{cases}

est une pramétrique non-symétrique. Elle engendre la ligne de Sorgenfrey.

L'ensemble \{ 0, 1 \}~ muni de la pramétrique :

d (0,1) = 1 ;
d (1, 0) = 0 ;

engendre pour cet ensemble une topologie connectée, qui en fait un espace de Sierpiński.

Propriétés topologiques

Au sens d'une pramétrique, une boule est définie par :

B_r \left( p \right) = \{ x \in M \; | \; \mathrm d \left( x, p \right) < r \}.~

La particularité des espaces pramétriques est qu'une telle boule peut ne pas être un ouvert, et l'ensemble des boules peut ne pas constituer une base pour la topologie d'un tel espace. Il faut plutôt travailler avec l'ensemble des ouverts :  U \subset M est un ouvert si et seulement si :

\forall p \in U \quad \exists r > 0 \qquad B_r \left(p\right) \subset U.

Par ailleurs, l'intérieur de la boule de centre p peut ne pas contenir p — l'intérieur peut même se restreindre à l'ensemble vide. Un autre aspect inhabituel de ces espaces est qu'un point situé dans un fermé[1] peut avoir une distance à ce fermé non-nulle :

  • <x \in \bar A \subset M peut ne pas impliquer \mathrm d \left( x, \bar A \right) = 0

L'ensemble des points situés à une distance nulle d'un ensemble constitue une fermeture appelée prafermeture :

[A]_p= \{ x \in X : \mathrm d \left(x,A \right)=0 \} \,

est une prafermeture sur X.


Une propriété intéressante des espaces pramétriques est qu'un espace topologique dont la topologie est engendrée par une pramétrique est un espace séquentiel.

Notes et références

  1. Un ensemble \scriptstyle C \subset M est dit fermé si et seulement si, pour tout \scriptstyle p \in M \setminus C, \scriptstyle \mathrm d \left(p, C \right) >0.
  • (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Prametric space ».

Bibliographie

  • (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 pram%C3%A9trique ».

Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • 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 pramétrique — En mathématiques, un espace pramétrique[1] 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 apparaissent naturellement… …   Wikipédia en Français

  • Pramétrique — 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 Semimétrique — En mathématiques, un espace semimétrique est un cas particulier d espace pramétrique, qui ne possède que deux des trois propriétés d un espace métrique, ne nécessitant pas la vérification de l inégalité triangulaire. Définition Un espace… …   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 semimetrique — Espace semimétrique En mathématiques, un espace semimétrique est un cas particulier d espace pramétrique, qui ne possède que deux des trois propriétés d un espace métrique, ne nécessitant pas la vérification de l inégalité triangulaire.… …   Wikipédia en Français

  • Hémimétrique — 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

  • Semimétrique — Espace semimétrique En mathématiques, un espace semimétrique est un cas particulier d espace pramétrique, qui ne possède que deux des trois propriétés d un espace métrique, ne nécessitant pas la vérification de l inégalité triangulaire.… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

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