Em álgebra linear, uma base composta pelos vetores de um espaço vetorial é ortonormal se, além de ser uma base ortogonal, seus vetores forem unitários.[1][2][3] Ser ortogonal significa que o produto interno entre pares de vetores distintos dessa base são igual a zero, ou seja,
|
|
. |
Ademais, estar normalizado significa que os vetores da base são todos unitários, ou seja,
- para .
Essas duas definições podem ser condensadas assim:
- , onde