Principle of distributivity: Difference between revisions
en>Gamewizard71 removed Category:Logic using HotCat |
en>AnomieBOT m Dating maintenance tags: {{Unreferenced}} |
||
Line 1: | Line 1: | ||
In [[linear algebra]], a '''nilpotent matrix''' is a [[square matrix]] ''N'' such that | |||
:<math>N^k = 0\,</math> | |||
for some positive [[integer]] ''k''. The smallest such ''k'' is sometimes called the '''degree''' of ''N''. | |||
More generally, a '''nilpotent transformation''' is a [[linear transformation]] ''L'' of a [[vector space]] such that ''L''<sup>''k''</sup> = 0 for some positive integer ''k'' (and thus, ''L''<sup>''j''</sup> = 0 for all ''j'' ≥ ''k''). Both of these concepts are special cases of a more general concept of [[nilpotent|nilpotence]] that applies to elements of [[ring (algebra)|rings]]. | |||
==Examples== | |||
The matrix | |||
:<math> | |||
M = \begin{bmatrix} | |||
0 & 1 \\ | |||
0 & 0 | |||
\end{bmatrix} | |||
</math> | |||
is nilpotent, since ''M''<sup>2</sup> = 0. More generally, any [[triangular matrix]] with 0s along the [[main diagonal]] is nilpotent. For example, the matrix | |||
:<math> | |||
N = \begin{bmatrix} | |||
0 & 2 & 1 & 6\\ | |||
0 & 0 & 1 & 2\\ | |||
0 & 0 & 0 & 3\\ | |||
0 & 0 & 0 & 0 | |||
\end{bmatrix} | |||
</math> | |||
is nilpotent, with | |||
:<math> | |||
N^2 = \begin{bmatrix} | |||
0 & 0 & 2 & 7\\ | |||
0 & 0 & 0 & 3\\ | |||
0 & 0 & 0 & 0\\ | |||
0 & 0 & 0 & 0 | |||
\end{bmatrix} | |||
;\ | |||
N^3 = \begin{bmatrix} | |||
0 & 0 & 0 & 6\\ | |||
0 & 0 & 0 & 0\\ | |||
0 & 0 & 0 & 0\\ | |||
0 & 0 & 0 & 0 | |||
\end{bmatrix} | |||
;\ | |||
N^4 = \begin{bmatrix} | |||
0 & 0 & 0 & 0\\ | |||
0 & 0 & 0 & 0\\ | |||
0 & 0 & 0 & 0\\ | |||
0 & 0 & 0 & 0 | |||
\end{bmatrix}. | |||
</math> | |||
Though the examples above have a large number of zero entries, a typical nilpotent matrix does not. For example, the matrix | |||
:<math> | |||
N = \begin{bmatrix} | |||
5 & -3 & 2 \\ | |||
15 & -9 & 6 \\ | |||
10 & -6 & 4 | |||
\end{bmatrix} | |||
</math> | |||
squares to zero, though the matrix has no zero entries. | |||
==Characterization== | |||
For an ''n'' × ''n'' square matrix ''N'' with [[real number|real]] (or [[complex number|complex]]) entries, the following are equivalent: | |||
# ''N'' is nilpotent. | |||
# The [[minimal polynomial (linear algebra)|minimal polynomial]] for ''N'' is λ<sup>''k''</sup> for some positive integer ''k'' ≤ ''n''. | |||
# The [[characteristic polynomial]] for ''N'' is λ<sup>''n''</sup>. | |||
# The only (complex) eigenvalue for ''N'' is 0. | |||
# [[Trace (linear algebra)|tr]](N<sup>''k''</sup>) = 0 for all ''k'' > 0. | |||
The last theorem holds true for matrices over any [[field (mathematics)|field]] of characteristic 0 or sufficiently large characteristic. (cf. [[Newton's identities]]) | |||
This theorem has several consequences, including: | |||
* The degree of an ''n'' × ''n'' nilpotent matrix is always less than or equal to ''n''. For example, every 2 × 2 nilpotent matrix squares to zero. | |||
* The [[determinant]] and [[trace (linear algebra)|trace]] of a nilpotent matrix are always zero. | |||
* The only nilpotent [[diagonalizable matrix]] is the zero matrix. | |||
==Classification== | |||
Consider the ''n'' × ''n'' [[shift matrix]]: | |||
:<math>S = \begin{bmatrix} | |||
0 & 1 & 0 & \ldots & 0 \\ | |||
0 & 0 & 1 & \ldots & 0 \\ | |||
\vdots & \vdots & \vdots & \ddots & \vdots \\ | |||
0 & 0 & 0 & \ldots & 1 \\ | |||
0 & 0 & 0 & \ldots & 0 | |||
\end{bmatrix}.</math> | |||
This matrix has 1s along the [[superdiagonal]] and 0s everywhere else. As a linear transformation, the shift matrix “shifts” the components of a vector one slot to the left: | |||
:<math>S(x_1,x_2,\ldots,x_n) = (x_2,\ldots,x_n,0).</math> | |||
This matrix is nilpotent with degree ''n'', and is the “canonical” nilpotent matrix. | |||
Specifically, if ''N'' is any nilpotent matrix, then ''N'' is [[similar (linear algebra)|similar]] to a [[block diagonal matrix]] of the form | |||
:<math> \begin{bmatrix} | |||
S_1 & 0 & \ldots & 0 \\ | |||
0 & S_2 & \ldots & 0 \\ | |||
\vdots & \vdots & \ddots & \vdots \\ | |||
0 & 0 & \ldots & S_r | |||
\end{bmatrix} </math> | |||
where each of the blocks ''S''<sub>1</sub>, ''S''<sub>2</sub>, ..., ''S''<sub>''r''</sub> is a shift matrix (possibly of different sizes). This theorem is a special case of the [[Jordan canonical form]] for matrices. | |||
For example, any nonzero 2 × 2 nilpotent matrix is similar to the matrix | |||
:<math>\begin{bmatrix} | |||
0 & 1 \\ | |||
0 & 0 | |||
\end{bmatrix}.</math> | |||
That is, if ''N'' is any nonzero 2 × 2 nilpotent matrix, then there exists a basis '''b'''<sub>1</sub>, '''b'''<sub>2</sub> such that ''N'''''b'''<sub>1</sub> = 0 and ''N'''''b'''<sub>2</sub> = '''b'''<sub>1</sub>. | |||
This classification theorem holds for matrices over any [[field (mathematics)|field]]. (It is not necessary for the field to be algebraically closed.) | |||
==Flag of subspaces== | |||
A nilpotent transformation ''L'' on '''R'''<sup>''n''</sup> naturally determines a [[flag (linear algebra)|flag]] of subspaces | |||
:<math> \{0\} \subset \ker L \subset \ker L^2 \subset \ldots \subset \ker L^{q-1} \subset \ker L^q = \mathbb{R}^n</math> | |||
and a signature | |||
:<math> 0 = n_0 < n_1 < n_2 < \ldots < n_{q-1} < n_q = n,\qquad n_i = \dim \ker L^i. </math> | |||
The signature characterizes ''L'' [[up to]] an invertible [[linear transformation]]. Furthermore, it satisfies the inequalities | |||
:<math> n_{j+1} - n_j \leq n_j - n_{j-1}, \qquad \mbox{for all } j = 1,\ldots,q-1. </math> | |||
Conversely, any sequence of natural numbers satisfying these inequalities is the signature of a nilpotent transformation. | |||
==Additional properties== | |||
* If ''N'' is nilpotent, then ''I'' + ''N'' is [[invertible matrix|invertible]], where ''I'' is the ''n'' × ''n'' [[identity matrix]]. The inverse is given by | |||
::<math>(I + N)^{-1} = I - N + N^2 - N^3 + \cdots,</math> | |||
:where only finitely many terms of this sum are nonzero. | |||
* If ''N'' is nilpotent, then | |||
::<math>\det (I + N) = 1,\!\,</math> | |||
:where ''I'' denotes the ''n'' × ''n'' identity matrix. Conversely, if ''A'' is a matrix and | |||
::<math>\det (I + tA) = 1\!\,</math> | |||
:for all values of ''t'', then ''A'' is nilpotent. | |||
* Every [[singular matrix]] can be written as a product of nilpotent matrices.<ref>R. Sullivan, Products of nilpotent matrices, ''Linear and Multilinear Algebra'', Vol. 56, No. 3</ref> | |||
==Generalizations== | |||
A [[linear operator]] ''T'' is '''locally nilpotent''' if for every vector ''v'', there exists a ''k'' such that | |||
:<math>T^k(v) = 0.\!\,</math> | |||
For operators on a finite-dimensional vector space, local nilpotence is equivalent to nilpotence. | |||
==References== | |||
<references /> | |||
==External links== | |||
* [http://planetmath.org/encyclopedia/NilpotentMatrix.html Nilpotent matrix] and [http://planetmath.org/?op=getobj&from=objects&id=1961 nilpotent transformation] on [[PlanetMath]]. | |||
[[Category:Matrices]] |
Latest revision as of 00:50, 18 November 2013
In linear algebra, a nilpotent matrix is a square matrix N such that
for some positive integer k. The smallest such k is sometimes called the degree of N.
More generally, a nilpotent transformation is a linear transformation L of a vector space such that Lk = 0 for some positive integer k (and thus, Lj = 0 for all j ≥ k). Both of these concepts are special cases of a more general concept of nilpotence that applies to elements of rings.
Examples
The matrix
is nilpotent, since M2 = 0. More generally, any triangular matrix with 0s along the main diagonal is nilpotent. For example, the matrix
is nilpotent, with
Though the examples above have a large number of zero entries, a typical nilpotent matrix does not. For example, the matrix
squares to zero, though the matrix has no zero entries.
Characterization
For an n × n square matrix N with real (or complex) entries, the following are equivalent:
- N is nilpotent.
- The minimal polynomial for N is λk for some positive integer k ≤ n.
- The characteristic polynomial for N is λn.
- The only (complex) eigenvalue for N is 0.
- tr(Nk) = 0 for all k > 0.
The last theorem holds true for matrices over any field of characteristic 0 or sufficiently large characteristic. (cf. Newton's identities)
This theorem has several consequences, including:
- The degree of an n × n nilpotent matrix is always less than or equal to n. For example, every 2 × 2 nilpotent matrix squares to zero.
- The determinant and trace of a nilpotent matrix are always zero.
- The only nilpotent diagonalizable matrix is the zero matrix.
Classification
Consider the n × n shift matrix:
This matrix has 1s along the superdiagonal and 0s everywhere else. As a linear transformation, the shift matrix “shifts” the components of a vector one slot to the left:
This matrix is nilpotent with degree n, and is the “canonical” nilpotent matrix.
Specifically, if N is any nilpotent matrix, then N is similar to a block diagonal matrix of the form
where each of the blocks S1, S2, ..., Sr is a shift matrix (possibly of different sizes). This theorem is a special case of the Jordan canonical form for matrices.
For example, any nonzero 2 × 2 nilpotent matrix is similar to the matrix
That is, if N is any nonzero 2 × 2 nilpotent matrix, then there exists a basis b1, b2 such that Nb1 = 0 and Nb2 = b1.
This classification theorem holds for matrices over any field. (It is not necessary for the field to be algebraically closed.)
Flag of subspaces
A nilpotent transformation L on Rn naturally determines a flag of subspaces
and a signature
The signature characterizes L up to an invertible linear transformation. Furthermore, it satisfies the inequalities
Conversely, any sequence of natural numbers satisfying these inequalities is the signature of a nilpotent transformation.
Additional properties
- If N is nilpotent, then I + N is invertible, where I is the n × n identity matrix. The inverse is given by
- If N is nilpotent, then
- where I denotes the n × n identity matrix. Conversely, if A is a matrix and
- for all values of t, then A is nilpotent.
- Every singular matrix can be written as a product of nilpotent matrices.[1]
Generalizations
A linear operator T is locally nilpotent if for every vector v, there exists a k such that
For operators on a finite-dimensional vector space, local nilpotence is equivalent to nilpotence.
References
- ↑ R. Sullivan, Products of nilpotent matrices, Linear and Multilinear Algebra, Vol. 56, No. 3