This article includes a list of references, but its sources remain unclear because it has insufficient inline citations. Please help to improve this article by introducing more precise citations. (November 2009)

In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Let A be a symmetric matrix. Then:

The entries of a symmetric matrix are symmetric with respect to the main diagonal. So if the entries are written as A = (a_ij), then

for all indices i and j. The following 3×3 matrix is symmetric:

Every diagonal matrix is symmetric, since all off-diagonal entries are zero. Similarly, each diagonal element of a skew-symmetric matrix must be zero, since each is its own negative.

In linear algebra, a real symmetric matrix represents a self-adjoint operator over a real inner product space. The corresponding object for a complex inner product space is a Hermitian matrix with complex-valued entries, which is equal to its conjugate transpose. Therefore, in linear algebra over the complex numbers, it is often assumed that a symmetric matrix refers to one which has real-valued entries. Symmetric matrices appear naturally in a variety of applications, and typical numerical linear algebra software makes special accommodations for them.

Properties [edit]

The finite-dimensional spectral theorem says that any symmetric matrix whose entries are real can be diagonalized by an orthogonal matrix. More explicitly: For every symmetric real matrix A there exists a real orthogonal matrix Q such that D = Q^TAQ is a diagonal matrix. Every symmetric matrix is thus, up to choice of an orthonormal basis, a diagonal matrix.

Another way to phrase the spectral theorem is that a real n×n matrix A is symmetric if and only if there is an orthonormal basis of consisting of eigenvectors for A.

Every real symmetric matrix is Hermitian, and therefore all its eigenvalues are real. (In fact, the eigenvalues are the entries in the above diagonal matrix D, and therefore D is uniquely determined by A up to the order of its entries.) Essentially, the property of being symmetric for real matrices corresponds to the property of being Hermitian for complex matrices.

A complex symmetric matrix A can often, but not always ^[when?], be diagonalized in the form D = U^T A U, where D is complex diagonal and U is not Hermitian but complex orthogonal with U^T U = I. In this case the columns of U are the eigenvectors of A and the diagonal elements of D are eigenvalues. An example of a complex symmetric matrix that cannot be diagonalized is

The sum and difference of two symmetric matrices is again symmetric, but this is not always true for the product: given symmetric matrices A and B, then AB is symmetric if and only if A and B commute, i.e., if AB = BA. So for integer n, Aⁿ is symmetric if A is symmetric. If A and B are n×n real symmetric matrices that commute, then there exists a basis of such that every element of the basis is an eigenvector for both A and B.

If A⁻¹ exists, it is symmetric if and only if A is symmetric.

Let Mat_n denote the space of n × n matrices. A symmetric n × n matrix is determined by n(n + 1)/2 scalars (the number of entries on or above the main diagonal). Similarly, a skew-symmetric matrix is determined by n(n − 1)/2 scalars (the number of entries above the main diagonal). If Sym_n denotes the space of n × n symmetric matrices and Skew_n the space of n × n skew-symmetric matrices then since Mat_n = Sym_n + Skew_n and Sym_n ∩ Skew_n = {0}, i.e.

where ⊕ denotes the direct sum. Let X ∈ Mat_n then

Notice that ½(X + X^T) ∈ Sym_n and ½(X − X^T) ∈ Skew_n. This is true for every square matrix X with entries from any field whose characteristic is different from 2.

Any matrix congruent to a symmetric matrix is again symmetric: if X is a symmetric matrix then so is AXA^T for any matrix A.

Denote with the standard inner product on Rⁿ. The real n-by-n matrix A is symmetric if and only if

Since this definition is independent of the choice of basis, symmetry is a property that depends only on the linear operator A and a choice of inner product. This characterization of symmetry is useful, for example, in differential geometry, for each tangent space to a manifold may be endowed with an inner product, giving rise to what is called a Riemannian manifold. Another area where this formulation is used is in Hilbert spaces.

A symmetric matrix is a normal matrix.

Decomposition [edit]

Using the Jordan normal form, one can prove that every square real matrix can be written as a product of two real symmetric matrices, and every square complex matrix can be written as a product of two complex symmetric matrices.^[1]

Every real non-singular matrix can be uniquely factored as the product of an orthogonal matrix and a symmetric positive definite matrix, which is called a polar decomposition. Singular matrices can also be factored, but not uniquely.

Cholesky decomposition states that every real positive-definite symmetric matrix A is a product of a lower-triangular matrix L and its transpose, . If the matrix is symmetric indefinite, it may be still decomposed as where is a permutation matrix (arising from the need to pivot), a lower unit triangular matrix, a symmetric tridiagonal matrix, and a direct sum of symmetric 1×1 and 2×2 blocks.^[2]

Every real symmetric matrix A can be diagonalized, moreover the eigen decomposition takes a simpler form:

where Q is an orthogonal matrix (the columns of which are eigenvectors of A), and Λ is real and diagonal (having the eigenvalues of A on the diagonal). To see orthogonality, suppose and are eigenvectors corresponding to distinct eigenvalues , . Then

so that if then , a contradiction; hence .

Hessian [edit]

Symmetric real n-by-n matrices appear as the Hessian of twice continuously differentiable functions of n real variables.

Every quadratic form q on Rⁿ can be uniquely written in the form q(x) = x^TAx with a symmetric n-by-n matrix A. Because of the above spectral theorem, one can then say that every quadratic form, up to the choice of an orthonormal basis of Rⁿ, "looks like"

with real numbers λ_i. This considerably simplifies the study of quadratic forms, as well as the study of the level sets {x : q(x) = 1} which are generalizations of conic sections.

This is important partly because the second-order behavior of every smooth multi-variable function is described by the quadratic form belonging to the function's Hessian; this is a consequence of Taylor's theorem.

Symmetrizable matrix [edit]

An n-by-n matrix A is said to be symmetrizable if there exist an invertible diagonal matrix D and symmetric matrix S such that A = DS. The transpose of a symmetrizable matrix is symmetrizable, for (DS)^T = D^−T(D^TSD). A matrix A = (a_ij) is symmetrizable if and only if the following conditions are met:

See also [edit]

Other types of symmetry or pattern in square matrices have special names; see for example:

• Antimetric matrix
• Centrosymmetric matrix
• Circulant matrix
• Covariance matrix
• Coxeter matrix
• Hankel matrix
• Hilbert matrix
• Persymmetric matrix
• Skew-symmetric matrix
• Toeplitz matrix

See also symmetry in mathematics.

References [edit]

External links [edit]

• Hazewinkel, Michiel, ed. (2001), "Symmetric matrix", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 
• A brief introduction and proof of eigenvalue properties of the real symmetric matrix