Um espaço vetorial real, de dimensão finita, no qual está definido um produto interno é um espaço vetorial euclidiano.