4. Sea E espacio eucĺıdeo de dimensión finita n. Demostrar que si la base B de E es ortonormal, entonces para todo x, y ∈ E se verifica 〈x, y〉 = ...

A fórmula correta para o produto interno entre dois vetores x e y em um espaço euclidiano de dimensão finita n, quando a base B é ortonormal, é: 〈x, y〉 = x1y1 + x2y2 + ... + xnyn Nessa fórmula, (x1, ..., xn) e (y1, ..., yn) são os respectivos vetores de coordenadas de x e y na base B.