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 be an inner product space. The inner product first induces the norm
This norm then induces the metric
Thus the induced metric space is .