A real matrix is symmetric when . It represents a self-adjoint operator in the standard Euclidean inner product.
A real symmetric matrix has real eigenvalues, orthogonal eigenspaces for distinct eigenvalues, and an orthonormal basis of eigenvectors. From diagonalizability, apply the Gram-Schmidt process within each eigenspace; all its linear combinations stay in that eigenspace. This gives with an orthogonal matrix and real diagonal .
A real symmetric matrix is copositive if its quadratic form satisfies for every in the nonnegative orthant. Every positive semidefinite matrix and every symmetric nonnegative matrix is copositive, as is their sum. The converse fails for the Horn copositive matrix.
A real symmetric matrix whose quadratic form is positive at every nonzero vector in the nonnegative orthant. By compactness of the nonnegative unit sphere, this is equivalent to a positive uniform lower bound on that orthant. It need not be a positive-definite matrix.
The five-dimensional Horn copositive matrix has diagonal entries , entries on the edges of the five-cycle, and entries on the remaining pairs:For , a cyclic relabelling puts a smallest coordinate at . The identitythen proves that is a copositive matrix.
However, is outside the positive-semidefinite-plus-nonnegative cone. Set . Its quadratic form is zero. If with a positive semidefinite matrix and a symmetric nonnegative matrix, both and must vanish. Positivity of the first three coordinates of forces every entry of the leading block of to vanish. Applying the argument to all cyclic shifts of forces every entry of to vanish, since each pair of indices lies in a cyclic interval of length three. This would make a positive semidefinite matrix, but zero quadratic form of a positive semidefinite matrix would then give , whereas .
Every real symmetric matrix has an orthonormal basis of real eigenvectors. Equivalently, it admits an orthogonal diagonalization with real diagonal and an orthogonal matrix.
Articles by others on the same topic
Can represent a symmetric bilinear form as shown at matrix representation of a symmetric bilinear form, or a quadratic form.