La norma está bien definida, por ser siempre el producto escalar de un vector por sí mismo un número real mayor o igual que cero.