Inner-product space

An inner-product space is a vector space equipped with an inner product. The inner product induces the norm $\Vert x\Vert =\sqrt{⟨x,x⟩}$ and hence a metric.