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.