Things that are distant though near: Brothers, sisters, and other members of a family that do not love each other. 
Things that are near though distant: Paradise. 
Sei Shonagon (born circa 965), The Pillow Book, translated by Ivan Morris, Penguin Classics, 1967. 
Just think of this. One thousand years ago a person of a completely different culture conceived a notion that would probably be endorsed today by nearly every one. Physical proximity is unfortunately often not a reflection of moral or intellectual proximity. Are we any different from those born in the distant past of one thousand years ago? You do feel quite close and involved when they share their thoughts and emotions with you, do not you? Well, by now you are probably near wondering whether a discussion on human nature is a sensible topic for a mathematical page. Have I strayed too far from the topic I want to discuss?
I plan to discuss the mathematical notion of distance. You may or may not remember that the most customary notion of the distance is somehow related to the Pythagorean Theorem. But having read the introduction you won't be surprised to learn that mathematicians study other distances as well. However, once they realized what is actually important about the notion of distance, they managed to distill its three most significant properties. These are the axioms of distance. A function dist(A,B) of two variables defined on a set (Metric Space) M is called a distance (between A and B), provided

Let's consider several examples.
 M = R, the set of all real numbers.
dist(a, b) = a  b, where x is the absolute value of x.  M = R^{2}, the plane, i.e. the set of all points with 2 coordinates
(x, y). dist_{1}((x_{1}, y_{1}),(x_{2}, y_{2})) = x_{2}  x_{1} + y_{2}  y_{1}. This is known as the cityblock or taxicab distance. Why? Because it's not always one can cut corners. Sometimes you just do the best you can. To get from the corner of First Avenue and 4th Street to the corner of the Third Avenue and 1st Street you have to pass 5 blocks regardless of a particular itinerary you choose. (Cityblock distance helps solve one of Sam Loyd's puzzles.)  M = R^{2}. dist_{2}((x_{1}, y_{1}),(x_{2}, y_{2})) = ((x_{2}  x_{1})^{2} + (y_{2}  y_{1})^{2})^{1/2}. This is the well known Euclidean distance.
 M = R^{2}. dist_{∞}((x_{1}, y_{1}),(x_{2}, y_{2})) = max{x_{2}  x_{1}, y_{2}  y_{1}}.
 M = S^{2}. A circle (of radius 1) in the plane. The distance is defined as before, for the whole R^{2}.
 M = S^{2}. Points on a circle are identified with the corresponding central angle. The distance dist_{a} is
the angular distance: the angle is assumed
to change in the interval
[0, π], i.e. to be the smallest (nonnegative) central angle corresponding to the two points.  M = R^{3}. dist_{1} and dist_{2} have a natural extension into a 3 or, for that matter, higher dimensional spaces.
 M = C[0, 1]  the space of all functions continuous on the interval [0,1].
dist_{∞}(f, g) = maxg(x)  f(x), x∈[0, 1].  Hausdorff distance gives us a measure of nearness between sets.
 Bounded Distance
 Distance between strings
Distance, the metric function, is the mathematical abstraction of measurement. Given
a distance function we may answer several often useful questions that have a very common meaning.
Is point B farther away from point A than point C? Are points B and C equidistant from A? What is the
locus of points whose distance to A is exactly R? Mathematically the answer to the last question is
Consider the plane with the distance defined by dist_{1}. What is
For dist_{∞} in the plane the sphere
Observe that for a pair of points X and Y
dist_{∞}(X, Y) ≤ dist_{2}(X, Y) ≤ dist_{1}(X, Y). 
However, the unit spheres corresponding to the three distances are included in the reverse order. Why?
Thus it's clear that once several distance functions have been defined on the same set the expression "the distance between two points" becomes ambiguous. However, as is suggested by the spheres diagram above, points in R^{2} "close" in one of the distances dist_{∞}, dist_{1}, dist_{2} will be close in the others. More accurately, the following is true:
Proposition
Let a sequence of plane points A, A_{1}, A_{2}, A_{3}, ... be such that dist_{i}(A, A_{k})>0 as k goes to infinity for i being one of ∞, 1, or 2. Then the same is true for the remaining values of i.
Proof
The Proposition follows from the following series of inequalities:
dist_{∞}(X,Y) ≤ dist_{2}(X, Y) ≤ dist_{1}(X, Y) ≤ 2dist_{∞}(X, Y) 
Now it's time to fulfill the implicit promise made at the beginning of the page. Consider what's known as the Stereographic projection.
The name derives from a configuration in R^{3} but I'll use its 2dimensional analog. A circle stands on a straight line. Through its North pole O and the points
of the horizontal axis draw straight lines and note the points of intersection with the circle. So that points A,B,C from the circle correspond to the points
A',B', and C' on the xaxis. This is a 11 correspondence between points of a straight line and points on a circle without its North pole. Let's define the distance on the latter set,
The stereographic projection works both ways. So that the formula
Contact Front page Contents Did you know? Geometry
Copyright © 19962018 Alexander Bogomolny