Nilpotent matrix
From Wikipedia, the free encyclopedia
In mathematics, a nilpotent matrix is an n×n square matrix M such that
for some positive integer q. Similarly, a nilpotent transformation is a linear transformation L with Lq = 0 for some integer q.
These are special cases of a more general concept of nilpotence that applies not only to matrices and linear transformations but to members of rings.
Contents |
[edit] Examples
Consider the following matrix:
This is an example of a 4×4 nilpotent matrix (in fact, matrices of this form are called shift matrices). Notice the non-zero superdiagonal. The characteristic feature of this matrix is:
The super-diagonal keeps 'shifting' diagonally up, until one gets the null matrix.
The corresponding nilpotent transformation L : R4 → R4 is defined by:
There is a classification theorem showing that this is typical: a nilpotent matrix is similar to a block matrix, with diagonal square blocks generalizing this type, and other blocks zero.
[edit] Properties
Let M be an n×n nilpotent matrix.
- The smallest integer q such that Mq = 0 is smaller than or equal to n.
- The matrix M is nilpotent if and only if its eigenvalues are all zero
- The characteristic polynomial of M is λn.
- The determinant and trace of M are both zero.
- Every strictly upper triangular matrix or strictly lower triangular matrix is nilpotent.
[edit] Classification theorem
The above example is typical, as the following result shows. Every nilpotent matrix is similar to a block diagonal matrix
where the blocks Ni have ones on the superdiagonal and zeros everywhere else:
This fact follows from the Jordan decomposition theorem, together with the result that every matrix similar to a nilpotent matrix is also nilpotent.
[edit] Flag of subspaces
A nilpotent transformation L on Rn naturally determines a flag of subspaces
and a signature
The signature characterizes L up to a linear transformation. Furthermore, it satisfies the inequalities
Conversely, any sequence of natural numbers satisfying these inequalities is the signature of a nilpotent transformation.