Intrinsic metric
If two objects are at a distance one mile from each other, it should be possible to construct a road of length one mile between them. That seems to be a reasonable expectation; but in mathematics it fails to be true for a general metric space. For example, taking the Earth's surface a straight road between north and south pole through the center of the the earth will not be considered as "possible" by most people.
Metrics which satisfy the above property are called intrinsic. What follows next is the formal mathematical way to describe it.
Definition and Discussion
A metric space  is called length space or path metric space or equivalently the metric  is called intrinsic if the distance between any pair of points in  is equal to the infimum of lengths of curves connecting these points. Equivalently is intrinsic if for any  and any pair of points  there is  such that  and  are smaller then  .
The Hopf-Rinow theorem states that if a length space is complete and locally compact then any two points in can be connected by minimizing geodesic and any bounded closed sets in are compact.
Given any metric , one can define the induced intrinsic metric by saying  is to be the infimum of lengths of paths connecting  and  (or  if there is no contractible path connecting and ). Clearly
 .
In general the topology defined by  can be coarser than the one defined by .
Examples
Referenced By
List of general topology topics
|
