Example 1. Let
be a nonempty set and define
forms a metric.
Ex 1: Comment
This interesting metric might not be useful for finding our usual notion of "distance'' between to points on a map, but it is useful for illustrations and identifying general properties of metrics (since it is so simple to analyze).
It suffices to verify each of the three properties of a metric hold.
Illustration of discrete metric for 3 points in the 2D plane. An arrow from a point to a point with label denotes . The distance between any pair of points is 1 while the distance between a point and itself is zero. Symmetry is also apparent since the "distance'' between points does not depend on direction.
is a metric we verify three properties hold: symmetry, positivity, and the triangle inequality. By definition,
. Thus, positivity holds for
, and so symmetry holds also. Let three points
be given. If
where the inequality holds by positivity of
). Next, suppose
. This implies either
, making either
, and so
In either case,
were arbitrarily chosen, the triangle inequality holds. Thus, all three properties hold, i.e.
forms a metric.
Note we start by identifying the definition of what must be shown to complete a satisfactory proof. This is a good practice in general. It makes clear what must be done and where we are headed.
To prove something holds "for all elements...'' it is typically easiest to assume arbitrary elements are given. Then we prove whatever statement with this arbitrary elements and then state that, because these were chosen arbitrarily, the result holds for all such elements (see second to last sentence of proof).
Sometimes a particular relation can be hard to verify directly. However, we can, at times, break the relationship up into a handful of cases that are each easier to verify.
Example 2. Let
a metric space? Prove your answer.
to be a metric space, each of the four axioms must hold.
Illustration of function for 3 points on the 1D number line. An arrow from a point to a point with label denotes . Notice is not a metric since it does not possess symmetry.
is not a metric space since the symmetry axiom fails, e.g. note
is a metric space, one must verify each of the four axioms hold. However, to prove something is not a metric space, it suffices to find a single counterexample that shows a violation of one of the axioms.