Inner product/K/Norm/Definition

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 .