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
1.
dist(A, B)) ≥ 0 and dist(A, B) = 0 if and only if A = B.
(Positiveness)
2.
dist(A, B) = dist(B, A)
(Symmetry)
3.
dist(A, B) + dist(B, C) ≥ dist(A, C)
(the Triangle Inequality)
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.
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 R2 "close" in one of the distances dist, dist1, dist2 will be close in the others. More accurately, the following is true:
Proposition
Let a sequence of plane points A, A1, A2, A3, ... be such that
disti(A, Ak)->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: