Form of a matrix indicating its eigenvalues and their algebraic multiplicities
In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF),[1][2]
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 basis. Such a matrix has each non-zero off-diagonal entry equal to 1, immediately above the main diagonal (on the superdiagonal), and with identical diagonal entries to the left and below them.
Let V be a vector space over a field K. Then a basis with respect to which the matrix has the required form exists if and only if all eigenvalues of the matrix lie in K, or equivalently if the characteristic polynomial of the operator splits into linear factors over K. This condition is always satisfied if K is algebraically closed (for instance, if it is the field of complex numbers). The diagonal entries of the normal form are the eigenvalues (of the operator), and the number of times each eigenvalue occurs is called the algebraic multiplicity of the eigenvalue.[3][4][5]
If the operator is originally given by a square matrix M, then its Jordan normal form is also called the Jordan normal form of M. Any square matrix has a Jordan normal form if the field of coefficients is extended to one containing all the eigenvalues of the matrix. In spite of its name, the normal form for a given M is not entirely unique, as it is a block diagonal matrix formed of Jordan blocks, the order of which is not fixed; it is conventional to group blocks for the same eigenvalue together, but no ordering is imposed among the eigenvalues, nor among the blocks for a given eigenvalue, although the latter could for instance be ordered by weakly decreasing size.[3][4][5]
The Jordan–Chevalley decomposition is particularly simple with respect to a basis for which the operator takes its Jordan normal form. The diagonal form for diagonalizable matrices, for instance normal matrices, is a special case of the Jordan normal form.[6][7][8]
The Jordan normal form is named after Camille Jordan, who first stated the Jordan decomposition theorem in 1870.[9]
^
Shilov defines the term Jordan canonical form and in a footnote says that Jordan normal form is synonymous.
These terms are sometimes shortened to Jordan form. (Shilov)
The term Classical canonical form is also sometimes used in the sense of this article. (James & James, 1976)
^Holt & Rumynin (2009, p. 9)
^ abBeauregard & Fraleigh (1973, pp. 310–316)
^ abGolub & Van Loan (1996, p. 355)
^ abNering (1970, pp. 118–127)
^Beauregard & Fraleigh (1973, pp. 270–274)
^Golub & Van Loan (1996, p. 353)
^Nering (1970, pp. 113–118)
^Brechenmacher, "Histoire du théorème de Jordan de la décomposition matricielle (1870-1930). Formes de représentation et méthodes de décomposition", Thesis, 2007
and 28 Related for: Jordan normal form information
algebra, a Jordannormalform, also known as a Jordan canonical form (JCF), is an upper triangular matrix of a particular form called a Jordan matrix representing...
algebra, the Frobenius normalform or rational canonical form of a square matrix A with entries in a field F is a canonical form for matrices obtained...
defined, a canonical form consists in the choice of a specific object in each class. For example: Jordannormalform is a canonical form for matrix similarity...
used to determine an "almost diagonal matrix" J {\displaystyle J} in Jordannormalform, similar to A {\displaystyle A} , which is useful in computing certain...
determining the Jordan normalform is generally a computationally challenging task. From the vector space point of view, the Jordannormalform is equivalent to...
writing A = P J P − 1 {\displaystyle A=PJP^{-1}} , where J is in Jordannormalform, implies that A D = P J D P − 1 {\displaystyle A^{\text{D}}=PJ^{\text{D}}P^{-1}}...
mathematics, Jordan decomposition may refer to Hahn decomposition theorem, and the Jordan decomposition of a measure Jordannormalform of a matrix Jordan–Chevalley...
number of results: The Jordan curve theorem, a topological result required in complex analysis The Jordannormalform and the Jordan matrix in linear algebra...
by the Jordannormalform theorem, which states that in this situation, A is similar to an upper triangular matrix of a very particular form. The simpler...
defective. (A diagonal matrix is a special case of the Jordannormalform with all trivial Jordan blocks of size 1 × 1 {\displaystyle 1\times 1} and is...
eigenvalues generalizes to the Jordannormalform. Over an algebraically closed field, any matrix A has a Jordannormalform and therefore admits a basis...
set of all m × n matrices over a field F denoted in this article Mmn(F) form a vector space. Examples of F include the set of rational numbers Q {\displaystyle...
polynomial Frobenius normalformJordannormalform, up to a permutation of the Jordan blocks Index of nilpotence Elementary divisors, which form a complete set...
{\displaystyle A} and wish to find a matrix J {\displaystyle J} in Jordannormalform, similar to A {\displaystyle A} , we are interested only in sets of...
diagonal, and either ones or zeroes on the superdiagonal – known as Jordannormalform. Some matrices are not diagonalizable over any field, most notably...
{\displaystyle \mathbf {A} } is a matrix over an algebraically closed field in Jordannormalform with respect to some basis, then A {\displaystyle \mathbf {A} } is...
eigen-decomposition of a complex symmetric matrix A {\displaystyle A} , the Jordannormalform of A {\displaystyle A} may not be diagonal, therefore A {\displaystyle...
uniqueness of the principal square root can be deduced directly from the Jordannormalform (see below). An n×n matrix with n distinct nonzero eigenvalues has...
polynomial). In this case A {\displaystyle A} is similar to a matrix in Jordannormalform. If A {\displaystyle A} and B {\displaystyle B} are two square n ×...
self-intersection of the diagonal is the special case of the identity function. Jordannormalform Main diagonal Diagonal functor Online Etymology Dictionary Strabo...
a normal distribution or Gaussian distribution is a type of continuous probability distribution for a real-valued random variable. The general form of...
and eigenspace Cayley–Hamilton theorem Spread of a matrix Jordannormalform Weyr canonical form Rank Matrix inversion, invertible matrix Pseudoinverse Adjugate...
etc.). One can show that where J {\displaystyle J} is a matrix in Jordannormalform. By premultiplying by M − 1 {\displaystyle M^{-1}} , we obtain Note...
algebra is reflexive if and only if the largest two blocks in the Jordannormalform of T differ in size by at most one. For example, the algebra { ( a...