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.