Partir d'une famille orthonormée et la compléter en une base orthonormée de l'espace euclidien .
Choisissez une approche :
En complétant en base quelconque puis en orthonormalisant (Schmidt)
Complétion de la famille libre initiale par des vecteurs quelconques, puis orthonormalisation par le procédé de Gram-Schmidt.
En prenant une base orthonormée du supplémentaire orthogonal
Utiliser la décomposition : une base orthonormée de concaténée à une base orthonormée de donne une base orthonormée de .