Diagonalizable matrix

A square ${\displaystyle n\times n}$ matrix ${\displaystyle A}$ with entries in a field ${\displaystyle F}$ is called diagonalizable or nondefective if there exists an ${\displaystyle n\times n}$ invertible matrix (i.e. an element of the general linear group GL_n(F)), ${\displaystyle P}$, such that ${\displaystyle P^{-1}AP}$ is a diagonal matrix.

The fundamental fact about diagonalizable maps and matrices is expressed by the following:

• An ${\displaystyle n\times n}$ matrix ${\displaystyle A}$ over a field ${\displaystyle F}$ is diagonalizable if and only if the sum of the dimensions of its eigenspaces is equal to ${\displaystyle n}$, which is the case if and only if there exists a basis of ${\displaystyle F^{n}}$ consisting of eigenvectors of ${\displaystyle A}$. If such a basis has been found, one can form the matrix ${\displaystyle P}$ having these basis vectors as columns, and ${\displaystyle P^{-1}AP}$ will be a diagonal matrix whose diagonal entries are the eigenvalues of ${\displaystyle A}$. The matrix ${\displaystyle P}$ is known as a modal matrix for ${\displaystyle A}$.
• A linear map ${\displaystyle T:V\to V}$ is diagonalizable if and only if the sum of the dimensions of its eigenspaces is equal to ${\displaystyle \dim(V)}$, which is the case if and only if there exists a basis of ${\displaystyle V}$ consisting of eigenvectors of ${\displaystyle T}$. With respect to such a basis, ${\displaystyle T}$ will be represented by a diagonal matrix. The diagonal entries of this matrix are the eigenvalues of ${\displaystyle T}$.

The following sufficient (but not necessary) condition is often useful.

• An ${\displaystyle n\times n}$ matrix ${\displaystyle A}$ is diagonalizable over the field ${\displaystyle F}$ if it has ${\displaystyle n}$ distinct eigenvalues in ${\displaystyle F}$, i.e. if its characteristic polynomial has ${\displaystyle n}$ distinct roots in ${\displaystyle F}$; however, the converse may be false. Consider $${\displaystyle {\begin{bmatrix}-1&3&-1\\-3&5&-1\\-3&3&1\end{bmatrix}},}$$ which has eigenvalues 1, 2, 2 (not all distinct) and is diagonalizable with diagonal form (similar to ${\displaystyle A}$) $${\displaystyle {\begin{bmatrix}1&0&0\\0&2&0\\0&0&2\end{bmatrix}}}$$ and change of basis matrix ${\displaystyle P}$: $${\displaystyle {\begin{bmatrix}1&1&-1\\1&1&0\\1&0&3\end{bmatrix}}.}$$ The converse fails when ${\displaystyle A}$ has an eigenspace of dimension higher than 1. In this example, the eigenspace of ${\displaystyle A}$ associated with the eigenvalue 2 has dimension 2.
• A linear map ${\displaystyle T:V\to V}$ with ${\displaystyle n=\dim(V)}$ is diagonalizable if it has ${\displaystyle n}$ distinct eigenvalues, i.e. if its characteristic polynomial has ${\displaystyle n}$ distinct roots in ${\displaystyle F}$.

Let ${\displaystyle A}$ be a matrix over ${\displaystyle F}$. If ${\displaystyle A}$ is diagonalizable, then so is any power of it. Conversely, if ${\displaystyle A}$ is invertible, ${\displaystyle F}$ is algebraically closed, and ${\displaystyle A^{n}}$ is diagonalizable for some ${\displaystyle n}$ that is not an integer multiple of the characteristic of ${\displaystyle F}$, then ${\displaystyle A}$ is diagonalizable. Proof: If ${\displaystyle A^{n}}$ is diagonalizable, then ${\displaystyle A}$ is annihilated by some polynomial ${\displaystyle \left(x^{n}-\lambda _{1}\right)\cdots \left(x^{n}-\lambda _{k}\right)}$, which has no multiple root (since ${\displaystyle \lambda _{j}\neq 0}$) and is divided by the minimal polynomial of ${\displaystyle A}$.

Over the complex numbers ${\displaystyle \mathbb {C} }$, almost every matrix is diagonalizable. More precisely: the set of complex ${\displaystyle n\times n}$ matrices that are not diagonalizable over ${\displaystyle \mathbb {C} }$, considered as a subset of ${\displaystyle \mathbb {C} ^{n\times n}}$, has Lebesgue measure zero. One can also say that the diagonalizable matrices form a dense subset with respect to the Zariski topology: the non-diagonalizable matrices lie inside the vanishing set of the discriminant of the characteristic polynomial, which is a hypersurface. From that follows also density in the usual (strong) topology given by a norm. The same is not true over ${\displaystyle \mathbb {R} }$.

The Jordan–Chevalley decomposition expresses an operator as the sum of its semisimple (i.e., diagonalizable) part and its nilpotent 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 has no nilpotent part; i.e., each "block" is a one-by-one matrix.

Consider the two following arbitrary bases ${\displaystyle E=\{{{\boldsymbol {e}}_{i}|\forall i\in [n]}\}}$ and ${\displaystyle F=\{{{\boldsymbol {\alpha }}_{i}|\forall i\in [n]}\}}$. Suppose that there exists a linear transformation represented by a matrix ${\displaystyle A_{E}}$ which is written with respect to basis E. Suppose also that there exists the following eigen-equation:

${\displaystyle A_{E}{\boldsymbol {\alpha }}_{E,i}=\lambda _{i}{\boldsymbol {\alpha }}_{E,i}}$

The alpha eigenvectors are written also with respect to the E basis. Since the set F is both a set of eigenvectors for matrix A and it spans some arbitrary vector space, then we say that there exists a matrix ${\displaystyle D_{F}}$ which is a diagonal matrix that is similar to ${\displaystyle A_{E}}$. In other words, ${\displaystyle A_{E}}$ is a diagonalizable matrix if the matrix is written in the basis F. We perform the change of basis calculation using the transition matrix ${\displaystyle S}$, which changes basis from E to F as follows:

${\displaystyle D_{F}=S_{E}^{F}\ A_{E}\ S_{E}^{-1F}}$,

where ${\displaystyle S_{E}^{F}}$ is the transition matrix from E-basis to F-basis. The inverse can then be equated to a new transition matrix ${\displaystyle P}$ which changes basis from F to E instead and so we have the following relationship :

${\displaystyle S_{E}^{-1F}=P_{F}^{E}}$

Both ${\displaystyle S}$ and ${\displaystyle P}$ transition matrices are invertible. Thus we can manipulate the matrices in the following fashion:$${\displaystyle {\begin{aligned}D=S\ A_{E}\ S^{-1}\\D=P^{-1}\ A_{E}\ P\end{aligned}}}$$The matrix ${\displaystyle A_{E}}$ will be denoted as ${\displaystyle A}$, which is still in the E-basis. Similarly, the diagonal matrix is in the F-basis.

If a matrix ${\displaystyle A}$ can be diagonalized, that is,

${\displaystyle P^{-1}AP={\begin{bmatrix}\lambda _{1}&0&\cdots &0\\0&\lambda _{2}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &\lambda _{n}\end{bmatrix}}=D,}$

then:

${\displaystyle AP=P{\begin{bmatrix}\lambda _{1}&0&\cdots &0\\0&\lambda _{2}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &\lambda _{n}\end{bmatrix}}.}$

The transition matrix S has the E-basis vectors as columns written in the basis F. Inversely, the inverse transition matrix P has F-basis vectors ${\displaystyle {\boldsymbol {\alpha }}_{i}}$ written in the basis of E so that we can represent P in block matrix form in the following manner:

${\displaystyle P={\begin{bmatrix}{\boldsymbol {\alpha }}_{E,1}&{\boldsymbol {\alpha }}_{E,2}&\cdots &{\boldsymbol {\alpha }}_{E,n}\end{bmatrix}},}$

as a result we can write:$${\displaystyle {\begin{aligned}A{\begin{bmatrix}{\boldsymbol {\alpha }}_{E,1}&{\boldsymbol {\alpha }}_{E,2}&\cdots &{\boldsymbol {\alpha }}_{E,n}\end{bmatrix}}={\begin{bmatrix}{\boldsymbol {\alpha }}_{E,1}&{\boldsymbol {\alpha }}_{E,2}&\cdots &{\boldsymbol {\alpha }}_{E,n}\end{bmatrix}}D.\end{aligned}}}$$

In block matrix form, we can consider the A-matrix to be a matrix of 1x1 dimensions whilst P is a 1xn dimensional matrix. The D-matrix can be written in full form with all the diagonal elements as an nxn dimensional matrix:

${\displaystyle A{\begin{bmatrix}{\boldsymbol {\alpha }}_{E,1}&{\boldsymbol {\alpha }}_{E,2}&\cdots &{\boldsymbol {\alpha }}_{E,n}\end{bmatrix}}={\begin{bmatrix}{\boldsymbol {\alpha }}_{E,1}&{\boldsymbol {\alpha }}_{E,2}&\cdots &{\boldsymbol {\alpha }}_{E,n}\end{bmatrix}}{\begin{bmatrix}\lambda _{1}&0&\cdots &0\\0&\lambda _{2}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &\lambda _{n}\end{bmatrix}}.}$

Performing the above matrix multiplication we end up with the following result:$${\displaystyle {\begin{aligned}A{\begin{bmatrix}{\boldsymbol {\alpha }}_{1}&{\boldsymbol {\alpha }}_{2}&\cdots &{\boldsymbol {\alpha }}_{n}\end{bmatrix}}={\begin{bmatrix}\lambda _{1}{\boldsymbol {\alpha }}_{1}&\lambda _{2}{\boldsymbol {\alpha }}_{2}&\cdots &\lambda _{n}{\boldsymbol {\alpha }}_{n}\end{bmatrix}}\end{aligned}}}$$Taking each component of the block matrix individually on both sides, we end up with the following:

${\displaystyle A{\boldsymbol {\alpha }}_{i}=\lambda _{i}{\boldsymbol {\alpha }}_{i}\qquad (i=1,2,\dots ,n).}$

So the column vectors of ${\displaystyle P}$ are right eigenvectors of ${\displaystyle A}$, and the corresponding diagonal entry is the corresponding eigenvalue. The invertibility of ${\displaystyle P}$ also suggests that the eigenvectors are linearly independent and form a basis of ${\displaystyle F^{n}}$. This is the necessary and sufficient condition for diagonalizability and the canonical approach of diagonalization. The row vectors of ${\displaystyle P^{-1}}$ are the left eigenvectors of ${\displaystyle A}$.

When a complex matrix ${\displaystyle A\in \mathbb {C} ^{n\times n}}$ is a Hermitian matrix (or more generally a normal matrix), eigenvectors of ${\displaystyle A}$ can be chosen to form an orthonormal basis of ${\displaystyle \mathbb {C} ^{n}}$, and ${\displaystyle P}$ can be chosen to be a unitary matrix. If in addition, ${\displaystyle A\in \mathbb {R} ^{n\times n}}$ is a real symmetric matrix, then its eigenvectors can be chosen to be an orthonormal basis of ${\displaystyle \mathbb {R} ^{n}}$ and ${\displaystyle P}$ can be chosen to be an orthogonal matrix.

For most practical work matrices are diagonalized numerically using computer software. Many algorithms exist to accomplish this.

A set of matrices is said to be simultaneously diagonalizable if there exists a single invertible matrix ${\displaystyle P}$ such that ${\displaystyle P^{-1}AP}$ is a diagonal matrix for every ${\displaystyle A}$ 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.^{[1]: p. 64}

The set of all ${\displaystyle n\times n}$ diagonalizable matrices (over ${\displaystyle \mathbb {C} }$) with ${\displaystyle n>1}$ is not simultaneously diagonalizable. For instance, the matrices

${\displaystyle {\begin{bmatrix}1&0\\0&0\end{bmatrix}}\quad {\text{and}}\quad {\begin{bmatrix}1&1\\0&0\end{bmatrix}}}$

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; that is, there exists a unitary matrix ${\displaystyle U}$ such that ${\displaystyle U^{*}AU}$ is diagonal for every ${\displaystyle A}$ in the set.

In the language of Lie theory, a set of simultaneously diagonalizable matrices generates a toral Lie algebra.

• Involutions are diagonalizable over the reals (and indeed any field of characteristic not 2), with ±1 on the diagonal.
• Finite order endomorphisms are diagonalizable over ${\displaystyle \mathbb {C} }$ (or any algebraically closed field where the characteristic of the field does not divide the order of the endomorphism) with roots of unity 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 are diagonalizable by orthogonal matrices; i.e., given a real symmetric matrix ${\displaystyle A}$, ${\displaystyle Q^{\mathrm {T} }AQ}$ is diagonal for some orthogonal matrix ${\displaystyle Q}$. More generally, matrices are diagonalizable by unitary matrices if and only if they are normal. In the case of the real symmetric matrix, we see that ${\displaystyle A=A^{\mathrm {T} }}$, so clearly ${\displaystyle AA^{\mathrm {T} }=A^{\mathrm {T} }A}$ holds. Examples of normal matrices are real symmetric (or skew-symmetric) matrices (e.g. covariance matrices) and Hermitian matrices (or skew-Hermitian matrices). See spectral theorems for generalizations to infinite-dimensional vector spaces.

In general, a rotation matrix 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.

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

${\displaystyle C={\begin{bmatrix}0&1\\0&0\end{bmatrix}}.}$

This matrix is not diagonalizable: there is no matrix ${\displaystyle U}$ such that ${\displaystyle U^{-1}CU}$ is a diagonal matrix. Indeed, ${\displaystyle C}$ 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

${\displaystyle B=\left[{\begin{array}{rr}0&1\\\!-1&0\end{array}}\right].}$

The matrix ${\displaystyle B}$ does not have any real eigenvalues, so there is no real matrix ${\displaystyle Q}$ such that ${\displaystyle Q^{-1}BQ}$ is a diagonal matrix. However, we can diagonalize ${\displaystyle B}$ if we allow complex numbers. Indeed, if we take

${\displaystyle Q={\begin{bmatrix}1&i\\i&1\end{bmatrix}},}$

then ${\displaystyle Q^{-1}BQ}$ is diagonal. It is easy to find that ${\displaystyle B}$ is the rotation matrix which rotates counterclockwise by angle ${\textstyle \theta =-{\frac {\pi }{2}}}$

Note that the above examples show that the sum of diagonalizable matrices need not be diagonalizable.

Diagonalizing a matrix is the same process as finding its eigenvalues and eigenvectors, in the case that the eigenvectors form a basis. For example, consider the matrix

${\displaystyle A=\left[{\begin{array}{rrr}0&1&\!\!\!-2\\0&1&0\\1&\!\!\!-1&3\end{array}}\right].}$

The roots of the characteristic polynomial ${\displaystyle p(\lambda )=\det(\lambda I-A)}$ are the eigenvalues ${\displaystyle \lambda _{1}=1,\lambda _{2}=1,\lambda _{3}=2}$. Solving the linear system ${\displaystyle \left(1I-A\right)\mathbf {v} =\mathbf {0} }$ gives the eigenvectors ${\displaystyle \mathbf {v} _{1}=(1,1,0)}$ and ${\displaystyle \mathbf {v} _{2}=(0,2,1)}$, while ${\displaystyle \left(2I-A\right)\mathbf {v} =\mathbf {0} }$ gives ${\displaystyle \mathbf {v} _{3}=(1,0,-1)}$; that is, ${\displaystyle A\mathbf {v} _{i}=\lambda _{i}\mathbf {v} _{i}}$ for ${\displaystyle i=1,2,3}$. These vectors form a basis of ${\displaystyle V=\mathbb {R} ^{3}}$, so we can assemble them as the column vectors of a change-of-basis matrix ${\displaystyle P}$ to get: $${\displaystyle P^{-1}AP=\left[{\begin{array}{rrr}1&0&1\\1&2&0\\0&1&\!\!\!\!-1\end{array}}\right]^{-1}\left[{\begin{array}{rrr}0&1&\!\!\!-2\\0&1&0\\1&\!\!\!-1&3\end{array}}\right]\left[{\begin{array}{rrr}1&\,0&1\\1&2&0\\0&1&\!\!\!\!-1\end{array}}\right]={\begin{bmatrix}1&0&0\\0&1&0\\0&0&2\end{bmatrix}}=D.}$$ We may see this equation in terms of transformations: ${\displaystyle P}$ takes the standard basis to the eigenbasis, ${\displaystyle P\mathbf {e} _{i}=\mathbf {v} _{i}}$, so we have: $${\displaystyle P^{-1}AP\mathbf {e} _{i}=P^{-1}A\mathbf {v} _{i}=P^{-1}(\lambda _{i}\mathbf {v} _{i})=\lambda _{i}\mathbf {e} _{i},}$$ so that ${\displaystyle P^{-1}AP}$ has the standard basis as its eigenvectors, which is the defining property of ${\displaystyle D}$.

Note that there is no preferred order of the eigenvectors in ${\displaystyle P}$; changing the order of the eigenvectors in ${\displaystyle P}$ just changes the order of the eigenvalues in the diagonalized form of ${\displaystyle A}$.^[2]

Diagonalization can be used to efficiently compute the powers of a matrix ${\displaystyle A=PDP^{-1}}$:

${\displaystyle {\begin{aligned}A^{k}&=\left(PDP^{-1}\right)^{k}=\left(PDP^{-1}\right)\left(PDP^{-1}\right)\cdots \left(PDP^{-1}\right)\\&=PD\left(P^{-1}P\right)D\left(P^{-1}P\right)\cdots \left(P^{-1}P\right)DP^{-1}=PD^{k}P^{-1},\end{aligned}}}$

and the latter is easy to calculate since it only involves the powers of a diagonal matrix. For example, for the matrix ${\displaystyle A}$ with eigenvalues ${\displaystyle \lambda =1,1,2}$ in the example above we compute:

${\displaystyle {\begin{aligned}A^{k}=PD^{k}P^{-1}&=\left[{\begin{array}{rrr}1&\,0&1\\1&2&0\\0&1&\!\!\!\!-1\end{array}}\right]{\begin{bmatrix}1^{k}&0&0\\0&1^{k}&0\\0&0&2^{k}\end{bmatrix}}\left[{\begin{array}{rrr}1&\,0&1\\1&2&0\\0&1&\!\!\!\!-1\end{array}}\right]^{-1}\\[1em]&={\begin{bmatrix}2-2^{k}&-1+2^{k}&2-2^{k+1}\\0&1&0\\-1+2^{k}&1-2^{k}&-1+2^{k+1}\end{bmatrix}}.\end{aligned}}}$

This approach can be generalized to matrix exponential and other matrix functions that can be defined as power series. For example, defining ${\textstyle \exp(A)=I+A+{\frac {1}{2!}}A^{2}+{\frac {1}{3!}}A^{3}+\cdots }$, we have:

${\displaystyle {\begin{aligned}\exp(A)=P\exp(D)P^{-1}&=\left[{\begin{array}{rrr}1&\,0&1\\1&2&0\\0&1&\!\!\!\!-1\end{array}}\right]{\begin{bmatrix}e^{1}&0&0\\0&e^{1}&0\\0&0&e^{2}\end{bmatrix}}\left[{\begin{array}{rrr}1&\,0&1\\1&2&0\\0&1&\!\!\!\!-1\end{array}}\right]^{-1}\\[1em]&={\begin{bmatrix}2e-e^{2}&-e+e^{2}&2e-2e^{2}\\0&e&0\\-e+e^{2}&e-e^{2}&-e+2e^{2}\end{bmatrix}}.\end{aligned}}}$

This is particularly useful in finding closed form expressions for terms of linear recursive sequences, such as the Fibonacci numbers.

For example, consider the following matrix:

${\displaystyle M={\begin{bmatrix}a&b-a\\0&b\end{bmatrix}}.}$

Calculating the various powers of ${\displaystyle M}$ reveals a surprising pattern:

${\displaystyle M^{2}={\begin{bmatrix}a^{2}&b^{2}-a^{2}\\0&b^{2}\end{bmatrix}},\quad M^{3}={\begin{bmatrix}a^{3}&b^{3}-a^{3}\\0&b^{3}\end{bmatrix}},\quad M^{4}={\begin{bmatrix}a^{4}&b^{4}-a^{4}\\0&b^{4}\end{bmatrix}},\quad \ldots }$

The above phenomenon can be explained by diagonalizing ${\displaystyle M}$. To accomplish this, we need a basis of ${\displaystyle \mathbb {R} ^{2}}$ consisting of eigenvectors of ${\displaystyle M}$. One such eigenvector basis is given by

${\displaystyle \mathbf {u} ={\begin{bmatrix}1\\0\end{bmatrix}}=\mathbf {e} _{1},\quad \mathbf {v} ={\begin{bmatrix}1\\1\end{bmatrix}}=\mathbf {e} _{1}+\mathbf {e} _{2},}$

where e_i denotes the standard basis of Rⁿ. The reverse change of basis is given by

${\displaystyle \mathbf {e} _{1}=\mathbf {u} ,\qquad \mathbf {e} _{2}=\mathbf {v} -\mathbf {u} .}$

Straightforward calculations show that

${\displaystyle M\mathbf {u} =a\mathbf {u} ,\qquad M\mathbf {v} =b\mathbf {v} .}$

Thus, a and b are the eigenvalues corresponding to u and v, respectively. By linearity of matrix multiplication, we have that

${\displaystyle M^{n}\mathbf {u} =a^{n}\mathbf {u} ,\qquad M^{n}\mathbf {v} =b^{n}\mathbf {v} .}$

Switching back to the standard basis, we have

${\displaystyle {\begin{aligned}M^{n}\mathbf {e} _{1}&=M^{n}\mathbf {u} =a^{n}\mathbf {e} _{1},\\M^{n}\mathbf {e} _{2}&=M^{n}\left(\mathbf {v} -\mathbf {u} \right)=b^{n}\mathbf {v} -a^{n}\mathbf {u} =\left(b^{n}-a^{n}\right)\mathbf {e} _{1}+b^{n}\mathbf {e} _{2}.\end{aligned}}}$

The preceding relations, expressed in matrix form, are

${\displaystyle M^{n}={\begin{bmatrix}a^{n}&b^{n}-a^{n}\\0&b^{n}\end{bmatrix}},}$

thereby explaining the above phenomenon.

In quantum mechanical 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 is an eigenvalue equation, albeit in most of the physical situations on an infinite dimensional Hilbert space.

A very common approximation is to truncate (or project) the 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, valid for Hamiltonians that are bounded from below.

First-order perturbation theory also leads to matrix eigenvalue problem for degenerate states.

Matrices can be generalized to linear operators. A diagonal matrix can be generalized to diagonal operators on Hilbert spaces.

Let ${\displaystyle H}$ be a Hilbert space. An operator ${\displaystyle D:H\to H}$ is a diagonal operator iff there exists an orthonormal basis ${\displaystyle (e_{n})_{n}}$ of ${\displaystyle H}$, such that ${\displaystyle De_{n}=\lambda _{n}e_{n}}$ for some ${\displaystyle \lambda _{n}\in \mathbb {C} }$.

For any ${\displaystyle p\geq 1}$, define the p-Schatten norm as follows. Let ${\displaystyle T:H\to H}$ be an operator, then ${\displaystyle \|T\|_{p}:=\operatorname {Tr} (|T|^{p})^{1/p}}$, where ${\displaystyle \operatorname {Tr} }$ is the trace. The p-Schatten class is the set of all operators with finite p-Schatten norm.

Weyl^[3], von Neumann^[4], and Kuroda^[5], showed the following:

For any ${\displaystyle p>1}$, any self-adjoint operator ${\displaystyle T}$ on a Hilbert space ${\displaystyle H}$, and any ${\displaystyle \epsilon >0}$, there exists a diagonal operator ${\displaystyle D}$, such that ${\displaystyle \|T-D\|_{p}\leq \epsilon }$.

In other words, any self-adjoint operator is an infinitesimal perturbation from a diagonal operator, where "infinitesimal" is in the sense of p-Schatten norm. In particular, since the Hilbert–Schmidt operator class is the 2-Schatten class, this means that any self-adjoint operator is diagonalizable after a perturbation by an infinitesimal Hilbert–Schmidt operator. In fact, the above result could be further generalized:

For any norm ideal that is not the trace class, with norm ${\displaystyle \|\cdot \|_{J}}$, any self-adjoint operator ${\displaystyle T}$ on a Hilbert space ${\displaystyle H}$, and any ${\displaystyle \epsilon >0}$, there exists a diagonal operator ${\displaystyle D}$, such that ${\displaystyle \|T-D\|_{J}\leq \epsilon }$.

The result is false for ${\displaystyle p=1}$ (the trace class). This is a simple corollary of the Kato^[6]–Rosenblum^{[7][8]: Theorem XI.8} theorem, which states that if ${\displaystyle T}$ is self-adjoint, and ${\displaystyle A}$ is trace class, then ${\displaystyle T,T+A}$ have the same absolutely continuous part of the spectrum. The result is sharp, however, in the sense that if ${\displaystyle T}$ has no absolutely continuous part, then it can be diagonalized after perturbation by an infinitesimal trace class operator.^[9]

For simultaneous diagonalization, it's known that, given a finite list of ${\displaystyle T_{1},\dots ,T_{n}}$ self-adjoint operators that commute with each other, for any ${\displaystyle \epsilon >0}$, there exists a sequence of diagonal operators ${\displaystyle D_{1},\dots ,D_{n}}$, such that ${\displaystyle \|T_{1}-D_{1}\|_{n}\leq \epsilon ,\dots ,\|T_{n}-D_{n}\|_{n}\leq \epsilon }$, where ${\displaystyle \|\cdot \|_{n}}$ is the n-Schatten norm. Note that ${\displaystyle n\geq 2}$^[10]

• Defective matrix
• Scaling (geometry)
• Triangular matrix
• Semisimple operator
• Diagonalizable group
• Jordan normal form
• Weight module – associative algebra generalization
• Orthogonal diagonalization