|
|
|
|
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
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
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)
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 MSC: | 54E35 (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
|
|
|
|
|
|
|
|
|
|
|