Section Metric Spaces
For most of our mathematical careers our mathematics has taken place in where we measure the distance between points and with the standard Euclidean distance In our preview activity we saw that the function satisfies many of the same properties as These properties allow us to use or as distance functions. We call any distance function a metric, and any space on which a metric is defined is called a metric space.
Properties 1 and 2 of a metric say that a metric is positive definite, while property 3 states that a metric is symmetric. Property 4 of the definition is usually the most difficult property to verify for a metric and is called the triangle inequality.
Definition 3.5.
When the metric is clear from the context, we just refer to as the metric space.
Activity 3.2.
For each of the following, determine if is a metric space. If is a metric space, explain why. If is not a metric space, determine which properties of a metric satisfies and which it does not. If is a metric space, give a geometric description of the unit circle (the set of all points in a distance from the zero element) in the space.
(a)
(b)
(c)
(d)
It should be noted that not all metric spaces are infinite. We discuss one metric on a finite space in the following example.
Example 3.6.
By definition we have for all with if and only if Since the table is symmetric around the diagonal, we can see that for all The only item to verify is the triangle inequality. If then
Example 3.6 shows that even finite sets can be metric spaces. In fact, we can make a finite metric space by taking any finite subset of a metric space and use as a metric the restriction of to Example 3.6 illustrates this by letting and in Then is the restriction of the Euclidean metric to the set Another way to construct a finite metric space is to start with a finite set of points and make a graph with the points as vertices. Construct edges so that the graph is connected (that is, there is a path from any one vertex to any other) and give weights to the edges as illustrated in Figure 3.8. We then define a metric on by letting be the length of a shortest path between vertices and in the graph. For example, in this example.
Just as with the Euclidean and taxicab metrics, item (c) in Activity 3.2 can be extended to as follows. If and are in then the maximum distance from to is defined as
The metric is called the max metric. In the following section we prove that the Euclidean metric is in fact a metric. Proofs that and are metrics are left to Exercise 5 and Exercise 6.