Positive Semi-Definite Symmetric Matrix

linear-logic

Definition

Positive Semi-Definite Symmetric Matrix

Let $c$ be a non-zero vector in ${\mathbb{R}}^n$. A symmetric matrix $K$ is called positive semi-definite if:

$$c^{T}Kc>0$$

Positive semi-definiteness implies positive definiteness.