In linear algebra, a square matrix is called diagonalizable or non-defective if it is similar to a diagonal matrix. That is, if there exists an invertible matrix and a diagonal matrix such that . This is equivalent to (Such are not unique.) This property exists for any linear map: for a finite-dimensional vector space a linear map is called diagonalizable if there exists an ordered basis of consisting of of . These definitions are equivalent: if has a matrix representation as above, then the column vectors of form a basis consisting of eigenvectors of and the diagonal entries of are the corresponding of with respect to this eigenvector basis, is represented by
Diagonalization is the process of finding the above and and makes many subsequent computations easier. One can raise a diagonal matrix to a power by simply raising the diagonal entries to that power. The determinant of a diagonal matrix is simply the product of all diagonal entries. Such computations generalize easily to
The geometric transformation represented by a diagonalizable matrix is an inhomogeneous dilation (or anisotropic scaling). That is, it can scale the space by a different amount in different directions. The direction of each eigenvector is scaled by a factor given by the corresponding eigenvalue.
A square matrix that is not diagonalizable is called Defective matrix. It can happen that a matrix with real number 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 number entries, so that is diagonalizable over the complex numbers. For example, this is the case for a generic rotation matrix.
Many results for diagonalizable matrices hold only over an algebraically closed field (such as the complex numbers). In this case, diagonalizable matrices are Dense set in the space of all matrices, which means any defective matrix can be deformed into a diagonalizable matrix by a small perturbation; and the Jordan–Chevalley decomposition states that any matrix is uniquely the sum of a diagonalizable matrix and a nilpotent matrix. Over an algebraically closed field, diagonalizable matrices are equivalent to semi-simple matrices.
The following sufficient (but not necessary) condition is often useful.
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 of 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
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.
|
|