Dado um Espaço vetorial , um produto interno é qualquer função , indicada por ou , tal que para quaisquer e os seguintes axiomas sejam verdadeiros:
Um espaço vetorial real de dimensão finita no qual está definido um produto interno é chamado de espaço vetorial euclidiano.
Dado um vetor , sendo um espaço com produto interno , a norma (ou comprimento, ou módulo) de , relativamente a este produto interno, é o número real não-negativo denotado por , definido por:
Se , então é chamado vetor unitário. Dado um vetor não-nulo , sendo um espaço euclidiano, o vetor definido por:
é unitário.
Dados dois vetores não-nulos e , o ângulo entre os vetores é dado por:
Dado um espaço vetorial euclidiano , dois vetores são ditos ortogonais (denotado por ) se e somente se . Da mesma forma, dado um conjunto de vetores é ortogonal se dois quaisquer vetores distintos do conjunto são ortogonais, ou seja, se , . Um conjunto ortogonal no qual cada elemento tem norma igual a é dito um conjunto ortonormal.