Definition
Inner-Product-Induced Metric Space
An inner-product-induced metric space is the metric space obtained from an inner product space by using its inner product to define distance.
Construction
Let
This norm then induces the metric
Thus the induced metric space is