La definición abstracta de un producto interior de vectores de valor real es una función $\langle \, , \rangle: \mathbb R^n \times \mathbb R^n \to \mathbb R$ que satisface los siguientes axiomas, donde $\alpha$ y $\beta$ son escalares y el $x$ y $y$ son vectores.
- $\langle \alpha x_1 + \beta x_2, y \rangle = \alpha\langle x_1, y \rangle + \beta\langle x_2, y \rangle$
- $\langle x, \alpha y_1 + \beta y_2 \rangle = \alpha\langle x, y_1 \rangle + \beta\langle x, y_2 \rangle$
- $\langle x, y \rangle = \langle y, x \rangle$
- $\langle x, x \rangle \geq 0$ y $\langle x, x \rangle = 0$ si y sólo si $x$ es el vector cero.
Las condiciones (1) y (2) nos dicen que un producto interior debe ser lineal en sus dos argumentos. Además, la condición (2) no es estrictamente necesaria, ya que las condiciones (1) y (3) la implican. Esta definición también se extiende a espacios vectoriales arbitrarios, no sólo sobre $\mathbb R$ .