Theorem: Euclidean Metric

Let be an inner product space.

The canonical norm can be used to turn into a metric space by defining a metric in the following way:

Definition: Euclidean Metric

The metric is known as the Euclidean metric on .