Espace quasimétrique
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En mathématiques, un espace quasimétrique est un cas particulier d'espace hémimétrique, qui généralise ainsi la notion d'espace métrique — ne nécessitant pas la condition de symétrie.
De tels espaces apparaissent parfois en théorie des graphes.
[modifier] Définition
Un espace quasimétrique est la donnée d'un ensemble M et d'une fonction , appelée fonction quasimétrique (ou quasimétrique), qui vérifie les conditions suivantes :
- (positivité) ;
- ;
- (inégalité triangulaire).
Si est un espace quasimétrique, un espace métrique peut toujours être formé en posant :
- .
[modifier] Exemple
Considérons un système de routes, dont certaines sont éventuellement à sens unique : la distance d'un endroit à un autre en passant par la route est une quasimétrique.
[modifier] Références
- (en) PlanetMath : Quasimetric spaces.
- (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Quasimetric space ».