Symmetrical matrix
In mathematics, a symmetrical matrix is a square matrix whose entries are mirror-symmetrical with respect to the main diagonal . A symmetrical matrix therefore corresponds to its transposed matrix .
The sum of two symmetric matrices and every scalar multiple of a symmetric matrix is again symmetric. The set of symmetrical matrices of fixed size therefore forms a subspace of the associated matrix space . Every square matrix can be clearly written as the sum of a symmetrical and a skew-symmetrical matrix . The product of two symmetric matrices is symmetric if and only if the two matrices commute . The product of any matrix with its transpose results in a symmetrical matrix.
Symmetric matrices with real entries have a number of other special properties. A real symmetric matrix is always self-adjoint , it has only real eigenvalues and it is always orthogonally diagonalizable . In general, these properties do not apply to complex symmetric matrices; the corresponding counterparts there are Hermitian matrices . An important class of real symmetric matrices are positive definite matrices in which all eigenvalues are positive.
In linear algebra , symmetric matrices are used to describe symmetric bilinear forms . The representation matrix of a self-adjoint mapping with respect to an orthonormal basis is also always symmetrical. Linear systems of equations with a symmetrical coefficient matrix can be solved efficiently and numerically stable . Furthermore, symmetrical matrices are used in orthogonal projections and in the polar decomposition of matrices.
Symmetric matrices have applications in geometry , analysis , graph theory and stochastics, among others .
definition
A square matrix over a body is called symmetric if for its entries
for applies. A symmetrical matrix is therefore mirror-symmetrical with respect to its main diagonal , that is, it applies
- ,
where denotes the transposed matrix .
Examples
Examples of symmetric matrices with real entries are
- .
Generally symmetrical matrices have the size , and structure
- .
Classes of symmetric matrices of any size are among others
- Diagonal matrices , especially standard matrices ,
- constant square matrices, for example square zero matrices and single matrices ,
- Hankel matrices in which all opposing diagonals have constant entries, e.g. Hilbert matrices ,
- bisymmetrical matrices that are symmetrical with respect to both the main diagonal and the opposite diagonal.
properties
Entries
Due to the symmetry, a symmetrical matrix is clearly characterized by its diagonal entries and the entries below (or above) the diagonals. A symmetric matrix therefore has at most
different entries. In comparison, a non-symmetrical matrix can have up to different entries, i.e. almost twice as many for large matrices. There are therefore special storage formats for storing symmetrical matrices in the computer that take advantage of this symmetry.
total
The sum of two symmetrical matrices is always symmetrical again, because
- .
Likewise, the product of a symmetrical matrix with a scalar is again symmetrical. Since the zero matrix is also symmetric, the set of symmetric matrices forms a subspace
of the die space . This subspace has the dimension , wherein the standard dies , and , in a base form.
Disassembly
If the characteristic of the body is not equal to 2, any square matrix can be written uniquely as the sum of a symmetric matrix and a skew-symmetric matrix by
- and
to get voted. The skew-symmetrical matrices then also form a sub-vector space of the matrix space with dimension . The entire -dimensional space can consequently be expressed as a direct sum
of the spaces of symmetric and skew-symmetric matrices.
product
The product of two symmetric matrices is in general not symmetric again. The product of symmetrical matrices is symmetrical if and only if and commutate , i.e. if holds, because then it results
- .
In particular, for a symmetrical matrix , all of its powers with and therefore also its matrix exponential are again symmetrical. For any matrix , both the matrix and the matrix are always symmetric.
congruence
Any matrix that is congruent to a symmetric matrix is also symmetric because it holds
- ,
where is the associated transformation matrix. However, matrices that are similar to a symmetric matrix do not necessarily have to be symmetric as well.
Inverse
If a symmetric matrix is invertible , then its inverse is also symmetric again, because it holds
- .
For a regular symmetric matrix therefore all powers are with symmetrical again.
Real symmetric matrices
Symmetric matrices with real entries have a number of other special properties.
normality
A real symmetric matrix is always normal because it holds
- .
Every real symmetrical matrix commutes with its transpose. However, there are also normal matrices that are not symmetrical, for example skew-symmetrical matrices.
Self adjointness
A real symmetric matrix is always self-adjoint , because it holds with the real standard scalar product
for all vectors . The converse is also true, and every real self-adjoint matrix is symmetric. Regarded as a complex matrix, a real symmetric matrix is always Hermitian because it holds
- ,
wherein the adjoint matrix to and the conjugated matrix to be. Thus real symmetric matrices are also self-adjoint with respect to the complex standard scalar product .
Eigenvalues
The eigenvalues of a real symmetric matrix , that is, the solutions of the eigenvalue equation , are always real. Namely , a complex eigenvalue of with the corresponding eigenvector , then applies the complex self-adjointness of
- .
After for is, it must hold and the eigenvalue must therefore be real. It then also follows from this that the associated eigenvector can be chosen to be real.
Multiplicities
In every real symmetric matrix, the algebraic and geometric multiples of all eigenvalues match. If namely is an eigenvalue of with geometric multiplicity , then there is an orthonormal basis of the eigenspace of , which can be supplemented by to an orthonormal basis of the total space . With the orthogonal basic transformation matrix, the transformed matrix is obtained
as a block diagonal matrix with the blocks and . For the entries of with , namely, with the self-adjointness of and the orthonormality of the basis vectors
- ,
where represents the Kronecker delta . Since, by assumption, there are no eigenvectors for the eigenvalue of , there can not be an eigenvalue of . According to the determinant formula for block matrices, the matrix therefore has the eigenvalue exactly with algebraic multiplicity and, due to the similarity of the two matrices, with it .
Diagonalisability
Since algebraic and geometric multiples of all eigenvalues match in a real symmetrical matrix and since eigenvectors are always linearly independent of different eigenvalues , a basis of can be formed from eigenvectors of . Therefore a real symmetric matrix is always diagonalizable , that is, there is a regular matrix and a diagonal matrix such that
applies. The matrix has the eigenvectors as columns and the matrix has the eigenvalues associated with these eigenvectors on the diagonal . By permutating the eigenvectors, the order of the diagonal entries can be chosen as desired. Therefore two real symmetric matrices are similar to each other if and only if they have the same eigenvalues. Furthermore, two real symmetric matrices can be diagonalized simultaneously if and only if they commute.
Orthogonal diagonalizability
The eigenvectors for two different eigenvalues of a real symmetric matrix are always orthogonal . It is again true with the self adjointness of
- .
Since and were assumed to be different, it then follows . Therefore, an orthonormal basis des can be formed from eigenvectors of . This means that a real symmetric matrix can even be diagonalized orthogonally, that is, there is an orthogonal matrix with which
applies. This representation forms the basis for the principal axis transformation and is the simplest version of the spectral theorem .
Parameters
Due to the diagonalizability of a real symmetric matrix, the following applies to its track
and for their determinant accordingly
- .
The rank of a real symmetric matrix is equal to the number of eigenvalues not equal to zero, i.e. with the Kronecker delta
- .
A real symmetric matrix is invertible if and only if none of its eigenvalues is zero. The spectral norm of a real symmetric matrix is
and thus equal to the spectral radius of the matrix. The Frobenius norm results from normality accordingly to
- .
Definiteness
If is a real symmetric matrix, then the expression becomes
called with square shape of . Depending on whether is greater than, greater than or equal to, less than or less than or equal to zero for all , the matrix is called positive definite, positive semidefinite, negative definite or negative semidefinite. Can have both positive and negative signs, it is called indefinite. The definiteness of a real symmetric matrix can be determined from the signs of its eigenvalues. If all eigenvalues are positive, the matrix is positive definite, if they are all negative, the matrix is negative definite, and so on. The triple consisting of the numbers of positive, negative and zero eigenvalues of a real symmetric matrix is called the signature of the matrix. According to Sylvester's theorem of inertia , the signature of a real symmetric matrix is preserved under congruence transformations .
Estimates
According to Courant-Fischer's theorem , the Rayleigh quotient provides estimates for the smallest and the largest eigenvalue of a real symmetric matrix of the form
for everyone with . Equality applies precisely when an eigenvector is the respective eigenvalue. The smallest and the largest eigenvalue of a real symmetrical matrix can accordingly be determined by minimizing or maximizing the Rayleigh quotient. The Gerschgorin circles , which have the form of intervals for real symmetric matrices, offer another possibility for estimating eigenvalues .
Are two real symmetric matrices with descending sorted eigenvalues and then gives Fan inequality estimate
- .
Equality is fulfilled if the matrices and can be diagonalized simultaneously in an ordered manner, that is, if an orthogonal matrix exists such that and hold. The Fan inequality represents a tightening of the Cauchy-Schwarz inequality for the Frobenius scalar product and a generalization of the rearrangement inequality for vectors.
Complex symmetric matrices
Disassembly
The decomposition of the complex matrix space as the direct sum of the spaces of symmetrical and skew-symmetrical matrices
represents an orthogonal sum with respect to the Frobenius scalar product. Namely, it holds
for all matrices and , from which it follows. The orthogonality of the decomposition also applies to the real matrix space .
spectrum
In the case of complex matrices , the symmetry has no particular effect on the spectrum . A complex symmetric matrix can also have non-real eigenvalues. For example, the complex symmetric matrix has
the two eigenvalues . There are also complex symmetric matrices that cannot be diagonalized. For example, the matrix possesses
the only eigenvalue with algebraic multiplicity two and geometric multiplicity one. In general, even any complex square matrix is similar to a complex symmetric matrix. Therefore, the spectrum of a complex symmetrical matrix does not have any special features. The complex counterpart of real symmetric matrices are, in terms of mathematical properties, Hermitian matrices .
Factorization
Any complex symmetric matrix can be broken down by the Autonne-Takagi factorization
decompose into a unitary matrix , a real diagonal matrix and the transpose of . The entries in the diagonal matrix are the singular values of , i.e. the square roots of the eigenvalues of .
use
Symmetrical bilinear shapes
If there is a -dimensional vector space over the body , then every bilinear form can be determined by choosing a basis for through the representation matrix
describe. If the bilinear form is symmetrical , i.e. if it applies to all , then the representation matrix is also symmetrical. Conversely, every symmetric matrix defines by means of
a symmetrical bilinear shape . If a real symmetric matrix is also positive definite, then it represents a scalar product in Euclidean space .
Self-adjoint mappings
If a -dimensional real scalar product space , then every linear mapping can be based on the choice of an orthonormal basis for through the mapping matrix
represent, where for is. The mapping matrix is now symmetrical if and only if the mapping is self-adjoint . This follows from
- ,
where and are.
Projections and reflections
Is again a -dimensional real scalar product space and is a -dimensional subspace of , where the coordinate vectors are an orthonormal basis for , then the orthogonal projection matrix is on this subspace
as the sum of symmetric rank-one matrices also symmetric. The orthogonal projection matrix onto the complementary space is also always symmetrical due to the representation . Using the projection and each vector can be in mutually orthogonal vectors and disassemble. The reflection matrix on a subspace is also always symmetrical.
Systems of linear equations
Finding the solution to a linear system of equations with a symmetrical coefficient matrix is simplified if the symmetry of the coefficient matrix is used. Due to the symmetry, the coefficient matrix can be expressed as a product
write with a lower triangular matrix with all ones on the diagonal and a diagonal matrix . This decomposition is used, for example, in the Cholesky decomposition of positively definite symmetric matrices to calculate the solution of the system of equations. Examples of modern methods for the numerical solution of large linear equation systems with sparse symmetrical coefficient matrices are the CG method and the MINRES method .
Polar decomposition
Every square matrix can also be used as a product by means of the polar decomposition
an orthogonal matrix and a positive semidefinite symmetric matrix . The matrix is the square root of . If regular, then positive is definite and the polar decomposition is clearly with .
Applications
geometry
A quadric in -dimensional Euclidean space is the set of zeros of a quadratic polynomial in variables. Each quadric can thus be used as a point set of the form
are described, where with a symmetric matrix, and are.
Analysis
The characterization of the critical points of a twice continuously differentiable function can be done with the help of the Hesse matrix
be made. According to Schwarz's theorem , the Hessian matrix is always symmetrical. Depending on whether it is positive definite, negative definite or indefinite, there is a local minimum , a local maximum or a saddle point at the critical point .
Graph theory
The adjacency matrix of an undirected edge - weighted graph with the node set is through
- With
given and thus also always symmetrical. Matrices derived from the adjacency matrix by summation or exponentiation, such as the Laplace matrix , the reachability matrix or the distance matrix , are then symmetrical. The analysis of such matrices is the subject of spectral graph theory .
Stochastics
If a random vector consists of real random variables with finite variance , then is the associated covariance matrix
the matrix of all pairwise covariances of these random variables. Since for holds, a covariance matrix is always symmetric.
Symmetric tensors
Tensors are an important mathematical aid in the natural and engineering sciences, especially in continuum mechanics , because in addition to the numerical value and the unit, they also contain information about orientations in space. The components of the tensor refer to tuples of basis vectors that are linked by the dyadic product “⊗”. Everything that is written above about real symmetric matrices as a whole can be transferred to symmetric tensors of the second order. In particular, they too have real eigenvalues and pairwise orthogonal or orthogonalizable eigenvectors. For symmetric positive definite tensors of the second order, a function value analogous to the square root of a matrix or the matrix exponential is also defined.
The statements about the entries in the matrices cannot simply be transferred to tensors, because with the latter they depend on the basic system used. Only with respect to the standard basis - or more generally an orthonormal basis - can second order tensors be identified with a matrix. In particular, for a symmetric second- order tensor T with respect to an orthonormal basis, the same applies to the entries in its coefficient matrix
for all possible combinations of i and k . In general, however, this is not the case.
For the sake of clarity, the general representation is limited to the real three-dimensional vector space, not least because of its particular relevance in the natural and engineering sciences. Every second order tensor can be with respect to two vector space bases and as a sum
to be written. During the transposition , the vectors are swapped in the dyadic product . The transposed tensor is thus
A possible symmetry is not so easily recognizable here, in any case the condition is not sufficient for the verification.
Even with tensors of higher order, the basis vectors in the tuples are swapped during transposition . However, there are several possibilities to permute the basis vectors and accordingly there are various symmetries for higher level tensors. In a tensor fourth stage is represented by the notation te i-vector with the k-th vector of the reversed, for example,
When transposing " ┬ " without specifying the positions, the first two vectors are exchanged for the last two vectors:
Symmetries exist when the tensor agrees with its somehow transposed form.
Remarks:
- ^ H. Altenbach: Continuum Mechanics . Springer, 2012, ISBN 978-3-642-24118-5 , pp. 22 .
- ^ W. Ehlers: Supplement to the lectures, Technical Mechanics and Higher Mechanics . 2014, p. 25 ( uni-stuttgart.de [PDF; accessed on January 17, 2018]).
See also
- Persymmetric matrix , a matrix that is symmetric about its counter-diagonal
- Centrally symmetric matrix , a matrix that is point-symmetric with respect to its center
- Symmetric operator , a generalization of symmetric matrices to infinite-dimensional spaces
- Symmetric orthogonalization , an orthogonalization method for solving generalized eigenvalue problems
literature
- Gerd Fischer : Linear Algebra. (An introduction for first-year students). 13th revised edition. Vieweg, Braunschweig et al. 2002, ISBN 3-528-97217-3 .
- Roger A. Horn, Charles R. Johnson: Matrix Analysis . Cambridge University Press, 2012, ISBN 0-521-46713-6 .
- Hans-Rudolf Schwarz, Norbert Köckler: Numerical Mathematics. 5th revised edition. Teubner, Stuttgart et al. 2004, ISBN 3-519-42960-8 .
Individual evidence
- ↑ Christoph W. Überhuber: Computer Numerik . tape 2 . Springer, 1995, p. 401 f .
- ↑ Howard Anton, Chris Rorres: Elementary Linear Algebra: Applications Version . John Wiley & Sons, 2010, pp. 404-405 .
- ↑ Jonathan M. Borwein, Adrian S. Lewis: Convex Analysis and Nonlinear Optimization: Theory and Examples . Springer, 2010, ISBN 978-0-387-31256-9 , pp. 10 .
- ^ Roger A. Horn, Charles R. Johnson: Matrix Analysis . Cambridge University Press, 2012, pp. 271 .
- ^ Roger A. Horn, Charles R. Johnson: Matrix Analysis . Cambridge University Press, 2012, pp. 153 .
Web links
- TS Pigolkina: Symmetric matrix . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . Springer-Verlag , Berlin 2002, ISBN 978-1-55608-010-4 (English, online ).
- Eric W. Weisstein : Symmetric matrix . In: MathWorld (English).
- Thumb: Symmetric matrix . In: PlanetMath . (English)