Ett ortogonalt system av element i ett vektorrum med en inre produkt är en delmängd av vektorer så att två av dem är ortogonala , det vill säga deras inre produkt är noll:
.Ett ortogonalt system, om det är komplett, kan användas som grund för utrymme. I det här fallet kan nedbrytningen av vilket element som helst beräknas med formlerna: , där .
Det fall då normen för alla element kallas ett ortonormalt system .
För alla linjärt oberoende system kan ett ortonormalt system konstrueras genom att tillämpa Gram-Schmidt-ortogonaliseringsprocessen .
Varje fullständigt linjärt oberoende system i ett ändligt dimensionellt utrymme är en bas. Från en enkel grund kan man därför gå över till en ortonormal basis.
Vid nedbrytning av vektorerna i ett vektorrum på ortonormal basis förenklas beräkningen av skalärprodukten: , var och .