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:
PROOF
TODO
Definition: Euclidean Metric
The metric is known as the Euclidean metric on .