In
linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matric ...
, a
square matrix
In mathematics, a square matrix is a matrix with the same number of rows and columns. An ''n''-by-''n'' matrix is known as a square matrix of order Any two square matrices of the same order can be added and multiplied.
Square matrices are ofte ...
is called diagonalizable or non-defective if it is
similar to a
diagonal matrix
In linear algebra, a diagonal matrix is a matrix in which the entries outside the main diagonal are all zero; the term usually refers to square matrices. Elements of the main diagonal can either be zero or nonzero. An example of a 2×2 diagonal ...
, i.e., if there exists an
invertible matrix
In linear algebra, an -by- square matrix is called invertible (also nonsingular or nondegenerate), if there exists an -by- square matrix such that
:\mathbf = \mathbf = \mathbf_n \
where denotes the -by- identity matrix and the multiplicati ...
and a diagonal matrix
such that or equivalently (Such
are not unique.) For a
finite-dimensional
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to d ...
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but ...
a
linear map
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
is called diagonalizable if there exists an
ordered basis
In mathematics, a set of vectors in a vector space is called a basis if every element of may be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as componen ...
of
consisting of
eigenvector
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denote ...
s of
. These definitions are equivalent: if
has a
matrix
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** '' The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchi ...
representation
as above, then the column vectors of
form a basis consisting of eigenvectors of and the diagonal entries of
are the corresponding
eigenvalue
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denot ...
s of with respect to this eigenvector basis,
is represented by Diagonalization is the process of finding the above
and
Diagonalizable matrices and maps are especially easy for computations, once their eigenvalues and eigenvectors are known. One can raise a diagonal matrix
to a power by simply raising the diagonal entries to that power, and the
determinant
In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if ...
of a diagonal matrix is simply the product of all diagonal entries; such computations generalize easily to Geometrically, a diagonalizable matrix is an
inhomogeneous dilation (or ''anisotropic scaling'') — it
scales
Scale or scales may refer to:
Mathematics
* Scale (descriptive set theory), an object defined on a set of points
* Scale (ratio), the ratio of a linear dimension of a model to the corresponding dimension of the original
* Scale factor, a number ...
the space, as does a ''
homogeneous dilation'', but by a different factor along each eigenvector axis, the factor given by the corresponding eigenvalue.
A square matrix that is not diagonalizable is called ''
defective''. It can happen that a matrix
with
real
Real may refer to:
Currencies
* Brazilian real (R$)
* Central American Republic real
* Mexican real
* Portuguese real
* Spanish real
* Spanish colonial real
Music Albums
* ''Real'' (L'Arc-en-Ciel album) (2000)
* ''Real'' (Bright album) (201 ...
entries is defective over the real numbers, meaning that
is impossible for any invertible
and diagonal
with real entries, but it is possible with
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
entries, so that
is diagonalizable over the complex numbers. For example, this is the case for a generic
rotation matrix In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation in Euclidean space. For example, using the convention below, the matrix
:R = \begin
\cos \theta & -\sin \theta \\
\sin \theta & \cos \theta
\end ...
.
Many results for diagonalizable matrices hold only over an
algebraically closed field (such as the complex numbers). In this case, diagonalizable matrices are
dense
Density (volumetric mass density or specific mass) is the substance's mass per unit of volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' can also be used. Mathematically ...
in the space of all matrices, which means any defective matrix can be deformed into a diagonalizable matrix by a small
perturbation
Perturbation or perturb may refer to:
* Perturbation theory, mathematical methods that give approximate solutions to problems that cannot be solved exactly
* Perturbation (geology), changes in the nature of alluvial deposits over time
* Perturbatio ...
; and the
Jordan normal form
In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF),
is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to ...
theorem states that any matrix is uniquely the sum of a diagonalizable matrix and a
nilpotent matrix In linear algebra, a nilpotent matrix is a square matrix ''N'' such that
:N^k = 0\,
for some positive integer k. The smallest such k is called the index of N, sometimes the degree of N.
More generally, a nilpotent transformation is a linear tran ...
. Over an algebraically closed field, diagonalizable matrices are equivalent to
semi-simple matrices.
Definition
A square
matrix,
, with entries in a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
is called diagonalizable or nondefective if there exists an
invertible matrix (i.e. an element of the
general linear group
In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible ...
GL
''n''(''F'')),
, such that
is a diagonal matrix. Formally,
Characterization
The fundamental fact about diagonalizable maps and matrices is expressed by the following:
* An
matrix
over a field
is diagonalizable
if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bi ...
the sum of the
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coor ...
s of its eigenspaces is equal to
, which is the case if and only if there exists a
basis
Basis may refer to:
Finance and accounting
*Adjusted basis, the net cost of an asset after adjusting for various tax-related items
*Basis point, 0.01%, often used in the context of interest rates
* Basis trading, a trading strategy consisting o ...
of
consisting of eigenvectors of
. If such a basis has been found, one can form the matrix
having these
basis vectors
In mathematics, a set of vectors in a vector space is called a basis if every element of may be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as componen ...
as columns, and
will be a diagonal matrix whose diagonal entries are the eigenvalues of
. The matrix
is known as a
modal matrix In linear algebra, the modal matrix is used in the diagonalization process involving eigenvalues and eigenvectors.
Specifically the modal matrix M for the matrix A is the ''n'' × ''n'' matrix formed with the eigenvectors of A as columns in M. It ...
for
.
* A linear map
is diagonalizable if and only if the sum of the
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coor ...
s of its eigenspaces is equal to which is the case if and only if there exists a basis of
consisting of eigenvectors of
. With respect to such a basis,
will be represented by a diagonal matrix. The diagonal entries of this matrix are the eigenvalues of
Another characterization: A matrix or linear map is diagonalizable over the field
if and only if its
minimal polynomial is a product of distinct linear factors over (Put another way, a matrix is diagonalizable if and only if all of its
elementary divisors are linear.)
The following sufficient (but not necessary) condition is often useful.
* An
matrix
is diagonalizable over the field
if it has
distinct eigenvalues in i.e. if its
characteristic polynomial
In linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The ...
has
distinct roots in however, the converse may be false. Consider
which has eigenvalues 1, 2, 2 (not all distinct) and is diagonalizable with diagonal form (
similar to
and
change of basis matrix :
The converse fails when
has an eigenspace of dimension higher than 1. In this example, the eigenspace of
associated with the eigenvalue 2 has dimension 2.
* A linear map
with
is diagonalizable if it has
distinct eigenvalues, i.e. if its characteristic polynomial has
distinct roots in
.
Let
be a matrix over If
is diagonalizable, then so is any power of it. Conversely, if
is invertible,
is algebraically closed, and
is diagonalizable for some
that is not an integer multiple of the characteristic of then
is diagonalizable. Proof: If
is diagonalizable, then
is annihilated by some polynomial which has no multiple root (since and is divided by the minimal polynomial of
Over the complex numbers
, almost every matrix is diagonalizable. More precisely: the set of complex
matrices that are ''not'' diagonalizable over considered as a
subset
In mathematics, set ''A'' is a subset of a set ''B'' if all elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset o ...
of has
Lebesgue measure
In measure theory, a branch of mathematics, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of ''n''-dimensional Euclidean space. For ''n'' = 1, 2, or 3, it coincides ...
zero. One can also say that the diagonalizable matrices form a dense subset with respect to the
Zariski topology
In algebraic geometry and commutative algebra, the Zariski topology is a topology which is primarily defined by its closed sets. It is very different from topologies which are commonly used in the real or complex analysis; in particular, it is ...
: the non-diagonalizable matrices lie inside the
vanishing set of the
discriminant
In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and allows deducing some properties of the roots without computing them. More precisely, it is a polynomial function of the coefficients of the ori ...
of the characteristic polynomial, which is a
hypersurface
In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Eucl ...
. From that follows also density in the usual (''strong'') topology given by a
norm
Naturally occurring radioactive materials (NORM) and technologically enhanced naturally occurring radioactive materials (TENORM) consist of materials, usually industrial wastes or by-products enriched with radioactive elements found in the envir ...
. The same is not true over
The
Jordan–Chevalley decomposition In mathematics, the Jordan–Chevalley decomposition, named after Camille Jordan and Claude Chevalley, expresses a linear operator as the sum of its commuting semisimple part and its nilpotent part. The multiplicative decomposition expresses an inve ...
expresses an operator as the sum of its semisimple (i.e., diagonalizable) part and its
nilpotent
In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index (or sometimes the degree), such that x^n=0.
The term was introduced by Benjamin Peirce in the context of his work on the cl ...
part. Hence, a matrix is diagonalizable if and only if its nilpotent part is zero. Put in another way, a matrix is diagonalizable if each block in its
Jordan form
In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF),
is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to som ...
has no nilpotent part; i.e., each "block" is a one-by-one matrix.
Diagonalization

If a matrix
can be diagonalized, that is,
:
then:
:
Writing
as a
block matrix
In mathematics, a block matrix or a partitioned matrix is a matrix that is '' interpreted'' as having been broken into sections called blocks or submatrices. Intuitively, a matrix interpreted as a block matrix can be visualized as the original ma ...
of its column vectors
:
the above equation can be rewritten as
:
So the column vectors of
are
right eigenvector
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted ...
s of and the corresponding diagonal entry is the corresponding
eigenvalue
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denot ...
. The invertibility of
also suggests that the eigenvectors are
linearly independent
In the theory of vector spaces, a set of vectors is said to be if there is a nontrivial linear combination of the vectors that equals the zero vector. If no such linear combination exists, then the vectors are said to be . These concepts ...
and form a basis of This is the necessary and sufficient condition for diagonalizability and the canonical approach of diagonalization. The
row vector
In linear algebra, a column vector with m elements is an m \times 1 matrix consisting of a single column of m entries, for example,
\boldsymbol = \begin x_1 \\ x_2 \\ \vdots \\ x_m \end.
Similarly, a row vector is a 1 \times n matrix for some n, c ...
s of
are the
left eigenvectors of
When a complex matrix
is a
Hermitian matrix
In mathematics, a Hermitian matrix (or self-adjoint matrix) is a complex square matrix that is equal to its own conjugate transpose—that is, the element in the -th row and -th column is equal to the complex conjugate of the element in the -t ...
(or more generally a
normal matrix In mathematics, a complex square matrix is normal if it commutes with its conjugate transpose :
The concept of normal matrices can be extended to normal operators on infinite dimensional normed spaces and to normal elements in C*-algebras. ...
), eigenvectors of
can be chosen to form an
orthonormal basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For ex ...
of and
can be chosen to be a
unitary matrix
In linear algebra, a Complex number, complex Matrix (mathematics), square matrix is unitary if its conjugate transpose is also its Invertible matrix, inverse, that is, if
U^* U = UU^* = UU^ = I,
where is the identity matrix.
In physics, esp ...
. If in addition,
is a real
symmetric matrix
In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally,
Because equal matrices have equal dimensions, only square matrices can be symmetric.
The entries of a symmetric matrix are symmetric with ...
, then its eigenvectors can be chosen to be an orthonormal basis of
and
can be chosen to be an
orthogonal matrix
In linear algebra, an orthogonal matrix, or orthonormal matrix, is a real square matrix whose columns and rows are orthonormal vectors.
One way to express this is
Q^\mathrm Q = Q Q^\mathrm = I,
where is the transpose of and is the identity ...
.
For most practical work matrices are diagonalized numerically using computer software.
Many algorithms exist to accomplish this.
Simultaneous diagonalization
A set of matrices is said to be ''simultaneously diagonalizable'' if there exists a single invertible matrix
such that
is a diagonal matrix for every
in the set. The following theorem characterizes simultaneously diagonalizable matrices: A set of diagonalizable
matrices commutes if and only if the set is simultaneously diagonalizable.
The set of all
diagonalizable matrices (over with
is not simultaneously diagonalizable. For instance, the matrices
:
are diagonalizable but not simultaneously diagonalizable because they do not commute.
A set consists of commuting
normal matrices if and only if it is simultaneously diagonalizable by a
unitary matrix
In linear algebra, a Complex number, complex Matrix (mathematics), square matrix is unitary if its conjugate transpose is also its Invertible matrix, inverse, that is, if
U^* U = UU^* = UU^ = I,
where is the identity matrix.
In physics, esp ...
; that is, there exists a unitary matrix
such that
is diagonal for every
in the set.
In the language of
Lie theory
In mathematics, the mathematician Sophus Lie ( ) initiated lines of study involving integration of differential equations, transformation groups, and contact of spheres that have come to be called Lie theory. For instance, the latter subject i ...
, a set of simultaneously diagonalizable matrices generate a
toral Lie algebra
In mathematics, a toral subalgebra is a Lie subalgebra of a general linear Lie algebra all of whose elements are semisimple (or diagonalizable over an algebraically closed field). Equivalently, a Lie algebra is toral if it contains no nonzero n ...
.
Examples
Diagonalizable matrices
*
Involution
Involution may refer to:
* Involute, a construction in the differential geometry of curves
* ''Agricultural Involution: The Processes of Ecological Change in Indonesia'', a 1963 study of intensification of production through increased labour input ...
s are diagonalizable over the reals (and indeed any field of characteristic not 2), with ±1 on the diagonal.
* Finite order
endomorphism
In mathematics, an endomorphism is a morphism from a mathematical object to itself. An endomorphism that is also an isomorphism is an automorphism. For example, an endomorphism of a vector space is a linear map , and an endomorphism of a ...
s are diagonalizable over
(or any algebraically closed field where the characteristic of the field does not divide the order of the endomorphism) with
roots of unity
In mathematics, a root of unity, occasionally called a de Moivre number, is any complex number that yields 1 when raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important i ...
on the diagonal. This follows since the minimal polynomial is
separable, because the roots of unity are distinct.
*
Projections are diagonalizable, with 0s and 1s on the diagonal.
* Real
symmetric matrices
In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally,
Because equal matrices have equal dimensions, only square matrices can be symmetric.
The entries of a symmetric matrix are symmetric with r ...
are diagonalizable by
orthogonal matrices
In linear algebra, an orthogonal matrix, or orthonormal matrix, is a real square matrix whose columns and rows are orthonormal vectors.
One way to express this is
Q^\mathrm Q = Q Q^\mathrm = I,
where is the transpose of and is the identity ma ...
; i.e., given a real symmetric matrix
is diagonal for some orthogonal matrix More generally, matrices are diagonalizable by
unitary matrices
In linear algebra, a complex square matrix is unitary if its conjugate transpose is also its inverse, that is, if
U^* U = UU^* = UU^ = I,
where is the identity matrix.
In physics, especially in quantum mechanics, the conjugate transpose is ...
if and only if they are
normal. In the case of the real symmetric matrix, we see that so clearly
holds. Examples of normal matrices are real symmetric (or
skew-symmetric) matrices (e.g. covariance matrices) and
Hermitian matrices
In mathematics, a Hermitian matrix (or self-adjoint matrix) is a complex square matrix that is equal to its own conjugate transpose—that is, the element in the -th row and -th column is equal to the complex conjugate of the element in the -th ...
(or skew-Hermitian matrices). See
spectral theorem
In mathematics, particularly linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized (that is, represented as a diagonal matrix in some basis). This is extremely useful b ...
s for generalizations to infinite-dimensional vector spaces.
Matrices that are not diagonalizable
In general, a
rotation matrix In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation in Euclidean space. For example, using the convention below, the matrix
:R = \begin
\cos \theta & -\sin \theta \\
\sin \theta & \cos \theta
\end ...
is not diagonalizable over the reals, but all
rotation matrices are diagonalizable over the complex field. Even if a matrix is not diagonalizable, it is always possible to "do the best one can", and find a matrix with the same properties consisting of eigenvalues on the leading diagonal, and either ones or zeroes on the superdiagonal – known as
Jordan normal form
In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF),
is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to ...
.
Some matrices are not diagonalizable over any field, most notably nonzero
nilpotent matrices. This happens more generally if the
algebraic and geometric multiplicities of an eigenvalue do not coincide. For instance, consider
:
This matrix is not diagonalizable: there is no matrix
such that
is a diagonal matrix. Indeed,
has one eigenvalue (namely zero) and this eigenvalue has algebraic multiplicity 2 and geometric multiplicity 1.
Some real matrices are not diagonalizable over the reals. Consider for instance the matrix
:
The matrix
does not have any real eigenvalues, so there is no real matrix
such that
is a diagonal matrix. However, we can diagonalize
if we allow complex numbers. Indeed, if we take
:
then
is diagonal. It is easy to find that
is the rotation matrix which rotates counterclockwise by angle
Note that the above examples show that the sum of diagonalizable matrices need not be diagonalizable.
How to diagonalize a matrix
Diagonalizing a matrix is the same process as finding its
eigenvalues and eigenvectors
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denote ...
, in the case that the eigenvectors form a basis. For example, consider the matrix
:
The roots of the
characteristic polynomial
In linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The ...
are the eigenvalues Solving the linear system
gives the eigenvectors
and while
gives that is,
for These vectors form a basis of so we can assemble them as the column vectors of a
change-of-basis matrix
to get:
We may see this equation in terms of transformations:
takes the standard basis to the eigenbasis, so we have:
so that
has the standard basis as its eigenvectors, which is the defining property of
Note that there is no preferred order of the eigenvectors in changing the order of the
eigenvectors
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted ...
in
just changes the order of the
eigenvalues
In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted b ...
in the diagonalized form of
Application to matrix functions
Diagonalization can be used to efficiently compute the powers of a matrix
:
and the latter is easy to calculate since it only involves the powers of a diagonal matrix. For example, for the matrix
with eigenvalues
in the example above we compute:
:
This approach can be generalized to
matrix exponential
In mathematics, the matrix exponential is a matrix function on square matrices analogous to the ordinary exponential function. It is used to solve systems of linear differential equations. In the theory of Lie groups, the matrix exponential giv ...
and other
matrix function
In mathematics, every analytic function can be used for defining a matrix function that maps square matrices with complex entries to square matrices of the same size.
This is used for defining the exponential of a matrix, which is involved in th ...
s that can be defined as power series. For example, defining we have:
:
This is particularly useful in finding closed form expressions for terms of
linear recursive sequences
In mathematics (including combinatorics, linear algebra, and dynamical systems), a linear recurrence with constant coefficients (also known as a linear recurrence relation or linear difference equation) sets equal to 0 a polynomial that is linear ...
, such as the
Fibonacci numbers
In mathematics, the Fibonacci numbers, commonly denoted , form a sequence, the Fibonacci sequence, in which each number is the sum of the two preceding ones. The sequence commonly starts from 0 and 1, although some authors start the sequence from ...
.
Particular application
For example, consider the following matrix:
:
Calculating the various powers of
reveals a surprising pattern:
:
The above phenomenon can be explained by diagonalizing To accomplish this, we need a basis of
consisting of eigenvectors of One such eigenvector basis is given by
:
where e
''i'' denotes the standard basis of R
''n''. The reverse change of basis is given by
:
Straightforward calculations show that
:
Thus, ''a'' and ''b'' are the eigenvalues corresponding to u and v, respectively. By linearity of matrix multiplication, we have that
:
Switching back to the standard basis, we have
:
The preceding relations, expressed in matrix form, are
:
thereby explaining the above phenomenon.
Quantum mechanical application
In
quantum mechanical
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, qu ...
and
quantum chemical computations matrix diagonalization is one of the most frequently applied numerical processes. The basic reason is that the time-independent
Schrödinger equation
The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of th ...
is an eigenvalue equation, albeit in most of the physical situations on an infinite dimensional space (a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
).
A very common approximation is to truncate Hilbert space to finite dimension, after which the Schrödinger equation can be formulated as an eigenvalue problem of a real symmetric, or complex Hermitian matrix. Formally this approximation is founded on the
variational principle
In science and especially in mathematical studies, a variational principle is one that enables a problem to be solved using calculus of variations, which concerns finding functions that optimize the values of quantities that depend on those funct ...
, valid for Hamiltonians that are bounded from below.
First-order perturbation theory also leads to matrix eigenvalue problem for degenerate states.
See also
*
Defective matrix
*
Scaling (geometry)
In affine geometry, uniform scaling (or isotropic scaling) is a linear transformation that enlarges (increases) or shrinks (diminishes) objects by a '' scale factor'' that is the same in all directions. The result of uniform scaling is simil ...
*
Triangular matrix
In mathematics, a triangular matrix is a special kind of square matrix. A square matrix is called if all the entries ''above'' the main diagonal are zero. Similarly, a square matrix is called if all the entries ''below'' the main diagonal ar ...
*
Semisimple operator
*
Diagonalizable group In mathematics, an affine algebraic group is said to be diagonalizable if it is isomorphic to a subgroup of D''n'', the group of diagonal matrices. A diagonalizable group defined over a field ''k'' is said to ''split over'' ''k'' or ''k''-''split'' ...
*
Jordan normal form
In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF),
is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to ...
*
Weight module – associative algebra generalization
*
Orthogonal diagonalization
Notes
References
{{Matrix classes
Matrices