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

Définition

Un espace pramétrique $\left( M,\mathrm 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$ .

On peut donc 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 :

Si , la fonction pramétrique est dite « symétrique » ;
- Si de plus $\mathrm d \left(x, y \right) = 0$ implique x = y, la fonction et l'espace sont dits semisymétriques ;
Si d vérifie l'inégalité triangulaire, la fonction et l'espace sont dits hémimétriques ;
- Si de plus $\mathrm d \left(x, y \right) = 0$ implique x = y, la fonction et l'espace sont dits quasimétriques ;
- Si de plus d est symétrique, alors c'est un écart et l'espace est dit pseudométrique ;

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

Exemples

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

$\mathrm d \left(x,y\right) = \rho \left( f^{-1} \left( \{x\} \right), \, f^{-1}\left(\{y\}\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. L'espace topologique associé (cf infra) est la droite de Sorgenfrey (en).

Sur l'ensemble $\{ 0, 1 \}~$ , la pramétrique d telle que d (0,1) = 1 et d (1, 0) = 0 engendre la topologie de Sierpiński (qui est connexe).

Propriétés topologiques

Une boule pour une pramétrique p est définie, comme pour une distance, par :

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

L'ensemble de ces boules peut ne pas constituer une base de topologie, mais peut être utilisé pour définir une topologie en posant :

$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$ .

De manière équivalente,

$F \subset M$ est fermé si et seulement si :

$\forall p \in M \setminus F\quad\mathrm d \left(p,F\right) >0$ .

Une boule $B r (p)$ (avec $r > 0$ ) n'est pas nécessairement un ouvert : son intérieur peut ne pas contenir p et peut même être vide.

Un autre aspect inhabituel de ces espaces est qu'un point situé dans un fermé F peut avoir une distance à ce fermé non nulle :

$x \in F$ n'implique pas $\mathrm d \left( x, F\right) = 0$ .

L'application qui à toute partie A de M associe l'ensemble

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

des points situés à une distance nulle de A constitue un opérateur de préclôture sur M.

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

↑ Ce terme se veut une traduction du mot anglais prametric, lui-même créé pour traduire un néologisme russe, dans : A.V. Arkhangelskii, L.S. Pontryagin, General Topology I, (1990) Springer-Verlag, Berlin (ISBN 3-540-18178-4) p. 24. Mais le vocabulaire sur toutes les variantes affaiblies de la notion de distance est - en français comme en anglais - très fluctuant.

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Prametric space » (voir la liste des auteurs)

Portail des mathématiques

Catégorie :

Topologie

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 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
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

Dictionnaires et Encyclopédies sur 'Academic'

Espace pramétrique

Sommaire

Définition

Cas particuliers

Exemples

Propriétés topologiques

Notes et références

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Espace pramétrique

Sommaire

Définition

Cas particuliers

Exemples

Propriétés topologiques

Notes et références

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link