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

Orthogonal basis

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

holds.