Nilpotent matrix
Inlinear algebra,anilpotent matrixis asquare matrixNsuch that
for some positiveinteger.The smallest suchis called theindexof,[1]sometimes thedegreeof.
More generally, anilpotent transformationis alinear transformationof avector spacesuch thatfor some positive integer(and thus,for all).[2][3][4]Both of these concepts are special cases of a more general concept ofnilpotencethat applies to elements ofrings.
Examples[edit]
Example 1[edit]
The matrix
is nilpotent with index 2, since.
Example 2[edit]
More generally, any-dimensionaltriangular matrixwith zeros along themain diagonalis nilpotent, with index[citation needed].For example, the matrix
is nilpotent, with
The index ofis therefore 4.
Example 3[edit]
Although the examples above have a large number of zero entries, a typical nilpotent matrix does not. For example,
although the matrix has no zero entries.
Example 4[edit]
Additionally, any matrices of the form
such as
or
square to zero.
Example 5[edit]
Perhaps some of the most striking examples of nilpotent matrices aresquare matrices of the form:
The first few of which are:
These matrices are nilpotent but there are no zero entries in any powers of them less than the index.[5]
Example 6[edit]
Consider the linear space ofpolynomialsof a bounded degree. Thederivativeoperator is a linear map. We know that applying the derivative to a polynomial decreases its degree by one, so when applying it iteratively, we will eventually obtain zero. Therefore, on such a space, the derivative is representable by a nilpotent matrix.
Characterization[edit]
For ansquare matrixwithreal(orcomplex) entries, the following are equivalent:
- is nilpotent.
- Thecharacteristic polynomialforis.
- Theminimal polynomialforisfor some positive integer.
- The only complex eigenvalue foris 0.
The last theorem holds true for matrices over anyfieldof characteristic 0 or sufficiently large characteristic. (cf.Newton's identities)
This theorem has several consequences, including:
- The index of annilpotent matrix is always less than or equal to.For example, everynilpotent matrix squares to zero.
- Thedeterminantandtraceof a nilpotent matrix are always zero. Consequently, a nilpotent matrix cannot beinvertible.
- The only nilpotentdiagonalizable matrixis the zero matrix.
See also:Jordan–Chevalley decomposition#Nilpotency criterion.
Classification[edit]
Consider the(upper)shift matrix:
This matrix has 1s along thesuperdiagonaland 0s everywhere else. As a linear transformation, the shift matrix "shifts" the components of a vector one position to the left, with a zero appearing in the last position:
This matrix is nilpotent with degree,and is thecanonicalnilpotent matrix.
Specifically, ifis any nilpotent matrix, thenissimilarto ablock diagonal matrixof the form
where each of the blocksis a shift matrix (possibly of different sizes). This form is a special case of theJordan canonical formfor matrices.[7]
For example, any nonzero 2 × 2 nilpotent matrix is similar to the matrix
That is, ifis any nonzero 2 × 2 nilpotent matrix, then there exists a basisb1,b2such thatNb1= 0 andNb2=b1.
Thisclassification theoremholds for matrices over anyfield.(It is not necessary for the field to be algebraically closed.)
Flag of subspaces[edit]
A nilpotent transformationonnaturally determines aflagof subspaces
and a signature
The signature characterizesup toan invertiblelinear transformation.Furthermore, it satisfies the inequalities
Conversely, any sequence of natural numbers satisfying these inequalities is the signature of a nilpotent transformation.
Additional properties[edit]
- Ifis nilpotent of index,thenandareinvertible,whereis theidentity matrix.The inverses are given by
- Ifis nilpotent, then
Conversely, ifis a matrix and
- Everysingular matrixcan be written as a product of nilpotent matrices.[8]
- A nilpotent matrix is a special case of aconvergent matrix.
Generalizations[edit]
Alinear operatorislocally nilpotentif for every vector,there exists asuch that
For operators on a finite-dimensional vector space, local nilpotence is equivalent to nilpotence.
Notes[edit]
- ^Herstein (1975,p. 294)
- ^Beauregard & Fraleigh (1973,p. 312)
- ^Herstein (1975,p. 268)
- ^Nering (1970,p. 274)
- ^Mercer, Idris D. (31 October 2005)."Finding" nonobvious "nilpotent matrices"(PDF).idmercer.com.self-published; personal credentials: PhD Mathematics,Simon Fraser University.Retrieved5 April2023.
- ^Beauregard & Fraleigh (1973,p. 312)
- ^Beauregard & Fraleigh (1973,pp. 312, 313)
- ^R. Sullivan, Products of nilpotent matrices,Linear and Multilinear Algebra,Vol. 56, No. 3
References[edit]
- Beauregard, Raymond A.; Fraleigh, John B. (1973),A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields,Boston:Houghton Mifflin Co.,ISBN0-395-14017-X
- Herstein, I. N.(1975),Topics In Algebra(2nd ed.),John Wiley & Sons
- Nering, Evar D. (1970),Linear Algebra and Matrix Theory(2nd ed.), New York:Wiley,LCCN76091646