PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] SNCF metric (Example)

The following two examples of a metric space (one of which is a real tree) obtained their name from the operator of the French railway system. Especially malicious rumour has it that if you want to go by train from $x$ to $y$ in France, the most efficient solution is to reduce the problem to going from $x$ to Paris and then from Paris to $y$ .

Since their discovery, the intrinsic laws of the French way of going by train have made it around the world and reached the late-afternoon tutorials of first-term mathematics courses in an effort to lighten the moods in the guise of the following definition:

Definition 1 (SNCF metric)   Let $P$ be a point in a metric space $(F,d)$ . Then the SNCF metric $d_P$ with respect to $P$ is defined by
$\displaystyle d_P(x,y):=\begin{cases}0&\text{if }x=y\\ d(x,P)+d(P,y)&\text{otherwise.} \end{cases}$    

It is easy to see that $d_P$ is a metric.

Now, what if the train from $x$ to Paris stops over in $y$ during the ride (or the other way round)? Sure, Paris is a beautiful city, but you wouldn't always want to go there and back again. To implement this, the geometric notion of ``$y$ lies on the straight line defined by $x$ and $P$ '' is required, so the definition becomes more specialised:

Definition 2 (SNCF metric, enhanced version)   Let $P$ be the origin in the space $\mbb{R}^n$ with Euclidean norm $\|\cdot\|_2$ . Then the SNCF metric $d_P$ is defined by
$\displaystyle d_P(x,y):=\begin{cases}\Vert x-y\Vert _2&\text{if }x\text{ and }y... ...rom the origin}\\ \Vert x\Vert _2+\Vert y\Vert _2&\text{otherwise} \end{cases}.$    

The metric space $(\mbb{R}^n,d_P)$ is, in addition, a real tree since if $x$ and $y$ do not lie on the same ray from $P$ , the only arc in $(\mbb{R}^n,d_P)$ joining $x$ and $y$ consists of the two ray segments $xP$ and $yP$ . Other injections which are arcs in Euclidean $\mbb{R}^n$ do not remain continuous in $(\mbb{R}^n,d_P)$ .




"SNCF metric" is owned by GrafZahl.
(view preamble | get metadata)

View style:

See Also: real tree

Keywords:  French railway

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: continuous, Euclidean, injections, ray, arc, lie on, addition, Euclidean norm, origin, easy to see, point, metric, solution, real tree, metric space

This is version 2 of SNCF metric, born on 2005-05-20, modified 2007-06-04.
Object id is 7083, canonical name is SNCFMetric.
Accessed 2570 times total.

Classification:
AMS MSC54E35 (General topology :: Spaces with richer structures :: Metric spaces, metrizability)
 97A20 (Mathematics education :: General :: Recreational mathematics)
 51M05 (Geometry :: Real and complex geometry :: Euclidean geometries and generalizations)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)