Lukas' Notes

analysis topology

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 .