Inner product/K/Norm/Definition
< Inner product < K < Norm
Norm (associated to inner product)
Let denote a vector space over , endowed with an inner product . For a vector , we call the real number
the norm of .