Espace quasimétrique
En mathématiques, la notion d'espace quasimétrique généralise celle d'espace métrique. Les quasidistances ou quasimétriques, non nécessairement symétriques, sont fréquentes dans la vie courante, mais rarement utilisées en mathématiques, et le vocabulaire est fluctuant[1].
Définition
Une quasimétrique (ou fonction quasimétrique) sur un ensemble est une application
telle que pour tout ,
- (séparation) ;
- (inégalité triangulaire) ;
Un espace quasimétrique est un ensemble muni d'une quasimétrique .
Remarques :
- Une quasimétrique symétrique est une distance.
- Toute quasimétrique induit une distance en posant :
- .
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.
Notes et références
- Les quasimétriques sont définies dans (en) Lynn Arthur Steen et J. Arthur Seebach, Jr., Counterexamples in Topology, New York, Dover, , 2e éd. (1re éd. 1970), 244 p., poche (ISBN 978-0-486-68735-3, lire en ligne). Dans (en) Stefan Rolewicz, Functional Analysis and Control Theory : Linear Systems, Dordrecht, Springer, , 524 p. (ISBN 978-90-277-2186-0, lire en ligne) elles sont appelées semimétriques, mais ce terme est déjà souvent utilisé pour deux autres généralisations de la notion d'espace métrique : voir espace semimétrique et espace pseudométrique.
- (en) « Quasimetric space », sur PlanetMath
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Quasimetric space » (voir la liste des auteurs).
- Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.