Ortonormal

Un conjunto de vectores es ortonormal, si es un conjunto ortogonal y la norma (o módulo) de cada uno de sus vectores es igual a 1. Esta definición solo tiene sentido si los vectores pertenecen a un espacio vectorial en el que se ha definido un producto interno, como sucede en los espacios euclídeos Eⁿ donde el producto interno puede definirse en términos de distancias y proyecciones perpendiculares de vectores.

Se pueden dar varios ejemplos:

Dada una base ortogonal de un espacio es trivial hallar una base ortonormal a partir de la primera dividiendo cada vector de la base ortogonal original por el valor de su norma.

Más aún dada una base cualquiera, no necesariamente ortogonal, de un espacio vectorial de dimensión finita existe un procedimiento algorítmico sencillo que permite hallar una base ortonormal a partir de una base original, llamado procedimiento de ortogonalización de Gram-Schmidt.

---