linear-algebra Definition Positive Definiteness A map on a vector space over is positive definite if with equality iff is the zero vector: