Subsection

{\sc\large This Section is a Draft, Subject to Changes}\\ {\sc\large Needs Numerical Examples}\\ {\sc\large Inner product is “reversed” from prior material, see changelog explanation}

\bigskip Positive semi-definite matrices (and their cousins, positive definite matrices) are square matrices which in many ways behave like non-negative (respectively, positive) real numbers. Results given here are employed in the decompositions of Section SVD, Section SR and Section PD. \subsect{PSM}{Positive Semi-Definite Matrices}
Definition PSM Positive Semi-Definite Matrix

A square matrix $A$ of size $n$ is positive semi-definite if $A$ is Hermitian and for all $\vect{x}\in\complex{n}$, $\innerproduct{A\vect{x}}{\vect{x}}\geq 0$.

$\square$

For a definition of positive definite replace the inequality in the definition with a strict inequality, and exclude the zero vector from the vectors $\vect{x}$ required to meet the condition. Similar variations allow definitions of negative definite and negative semi-definite. Our first theorem in this section gives us an easy way to build positive semi-definite matrices.
Theorem CPSM Creating Positive Semi-Definite Matrices
Suppose that $A$ is any $m\times n$ matrix. Then the matrices $\adjoint{A}A$ and $A\adjoint{A}$ are positive semi-definite matrices.

Proof

A statement very similar to the converse of this theorem is also true. Any positive semi-definite matrix can be realized as the product of a square matrix, $B$, with its adjoint, $\adjoint{B}$. (See Exercise PSM.T20 after studying this entire section.) The matrices $\adjoint{A}A$ and $A\adjoint{A}$ will be important later when we define singular values (Section SVD).

Positive semi-definite matrices can also be characterized by their eigenvalues, without any mention of inner products. This next result further reinforces the notion that positive semi-definite matrices behave like non-negative real numbers.
Theorem EPSM Eigenvalues of Positive Semi-definite Matrices
Suppose that $A$ is a Hermitian matrix. Then $A$ is positive semi-definite matrix if and only if whenever $\lambda$ is an eigenvalue of $A$, then $\lambda\geq 0$.

Proof

As positive semi-definite matrices are defined to be Hermitian, they are then normal and subject to orthonormal diagonalization (Theorem OD). Now consider the interpretation of orthonormal diagonalization as a rotation to principal axes, a stretch by a diagonal matrix and a rotation back (Subsection OD.OD). For a positive semi-definite matrix, the diagonal matrix has diagonal entries that are the non-negative eigenvalues of the original positive semi-definite matrix. So the “stretching” along each axis is never a reflection.