LinearAlgebra metrics

A Positive Definite matrix, in a formal definition, is to define a Symmetric Matrix that satisfies the following condition:

A matrix is said to be positive definite if for any non-zero vector , if


It may be too abstract to understand this concept, but thinking in single variable case:

Consider , if , then for any , , so the matrix is positive definite. It ensures the positivity.