Distance SNCF
En mathématiques et plus particulièrement en topologie, la distance SNCF est une distance définie sur le plan complexe. Son nom évoque le groupe ferroviaire français SNCF, en observant que pour voyager en train le plus vite possible entre deux villes de France, il faut toujours passer par Paris. Pour deux points qui ne sont pas alignés avec l'origine (i.e. pas sur la même « ligne de TGV »), la distance est donc définie comme la somme de la distance euclidienne entre le premier point et l'origine (Paris) et de la distance entre l'origine et le deuxième point[1].
Cette notion de distance peut se généraliser aux espaces vectoriels normés.
Définition[modifier | modifier le code]
Sur le plan[modifier | modifier le code]
Considérons le plan complexe . La distance SNCF est alors définie de la manière suivante[2] :
Deux complexes z et w sont dits colinéaires si et seulement s'il existe un réel a tel que z=aw ou w=az.
Sur un espace vectoriel normé[modifier | modifier le code]
La distance SNCF se généralise aisément à un espace vectoriel normé .
Propriétés[modifier | modifier le code]
- Le plan complexe muni de la distance SNCF est un espace géodésique, ce qui signifie que deux complexes z et w peuvent toujours être reliés par un chemin de longueur d(z,w).
- La topologie induite par la distance SNCF sur le plan complexe est strictement plus fine que la topologie usuelle (engendrée par le module complexe). Cela signifie que la topologie induite par la distance SNCF engendre strictement plus d'ouverts.
Références[modifier | modifier le code]
- (en) Evelyn Lamb, « A Few of My Favorite Spaces: The SNCF Metric », sur Scientific American,
- Frédéric Paulin, « Topologie, analyse et calcul différentiel », , p. 20
