Una base ortonormal de un espacio de producto interior finito-dimensionalV es una lista de vectores ortonormales que es la base paraV. Claramente, cualquier lista ortonormal de longitud\(\dim...Una base ortonormal de un espacio de producto interior finito-dimensionalV es una lista de vectores ortonormales que es la base paraV. Claramente, cualquier lista ortonormal de longituddim(V) es una base ortonormal paraV (para espacios vectoriales infinito-dimensionales se usa una noción ligeramente diferente de base ortonormal).
