Vector space/K/Inner product/Orthonormal basis/Definition

Orthonormal basis

Let be a -vector space, endowed with an inner product . A basis , , of is called an orthonormal basis if

holds.