Sea
K el cuerpo
R o
C,
V un
espacio vectorial sobre K, y B:
V x
V →
K; una función
bilineal que es hermitiana en el sentido de que
B(
x,
y) es siempre el conjugado complejo de
B(
y,
x). Entonces
B es
positiva definida si
B(
x,
x) > 0 para cada
x distinto de cero en
V.