In
linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mathemat ...
, a nilpotent matrix is a
square matrix
In mathematics, a square matrix is a Matrix (mathematics), matrix with the same number of rows and columns. An ''n''-by-''n'' matrix is known as a square matrix of order Any two square matrices of the same order can be added and multiplied.
Squ ...
''N'' such that
:
for some positive
integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
. The smallest such
is called the index of
, sometimes the degree of
.
More generally, a nilpotent transformation is a
linear transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
of a
vector space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
such that
for some positive integer
(and thus,
for all
). Both of these concepts are special cases of a more general concept of
nilpotence that applies to elements of
rings.
Examples
Example 1
The matrix
:
is nilpotent with index 2, since
.
Example 2
More generally, any
-dimensional
triangular matrix
In mathematics, a triangular matrix is a special kind of square matrix. A square matrix is called if all the entries ''above'' the main diagonal are zero. Similarly, a square matrix is called if all the entries ''below'' the main diagonal are z ...
with zeros along the
main diagonal
In linear algebra, the main diagonal (sometimes principal diagonal, primary diagonal, leading diagonal, major diagonal, or good diagonal) of a matrix A is the list of entries a_ where i = j. All off-diagonal elements are zero in a diagonal matrix ...
is nilpotent, with index
. For example, the matrix
:
is nilpotent, with
:
The index of
is therefore 4.
Example 3
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
Additionally, any matrices of the form
:
such as
:
or
:
square to zero.
Example 5
Perhaps some of the most striking examples of nilpotent matrices are
square 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.
Example 6
Consider the linear space of
polynomial
In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
s of a bounded degree. The
derivative
In mathematics, the derivative is a fundamental tool that quantifies the sensitivity to change of a function's output with respect to its input. The derivative of a function of a single variable at a chosen input value, when it exists, is t ...
operator 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
For an
square matrix
with
real (or
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
) entries, the following are equivalent:
*
is nilpotent.
* The
characteristic polynomial
In linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The ...
for
is
.
* The
minimal polynomial for
is
for some positive integer
.
* The only complex eigenvalue for
is 0.
The last theorem holds true for matrices over any
field of characteristic 0 or sufficiently large characteristic. (cf.
Newton's identities
In mathematics, Newton's identities, also known as the Girard–Newton formulae, give relations between two types of symmetric polynomials, namely between power sums and elementary symmetric polynomials. Evaluated at the roots of a monic polynomi ...
)
This theorem has several consequences, including:
* The index of an
nilpotent matrix is always less than or equal to
. For example, every
nilpotent matrix squares to zero.
* The
determinant
In mathematics, the determinant is a Scalar (mathematics), scalar-valued function (mathematics), function of the entries of a square matrix. The determinant of a matrix is commonly denoted , , or . Its value characterizes some properties of the ...
and
trace
Trace may refer to:
Arts and entertainment Music
* ''Trace'' (Son Volt album), 1995
* ''Trace'' (Died Pretty album), 1993
* Trace (band), a Dutch progressive rock band
* ''The Trace'' (album), by Nell
Other uses in arts and entertainment
* ...
of a nilpotent matrix are always zero. Consequently, a nilpotent matrix cannot be
invertible
In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers.
Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that ...
.
* The only nilpotent
diagonalizable matrix
In linear algebra, a square matrix A is called diagonalizable or non-defective if it is matrix similarity, similar to a diagonal matrix. That is, if there exists an invertible matrix P and a diagonal matrix D such that . This is equivalent to ...
is the zero matrix.
See also:
Jordan–Chevalley decomposition#Nilpotency criterion.
Classification
Consider the
(upper)
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 position to the left, with a zero appearing in the last position:
:
This matrix is nilpotent with degree
, and is the
canonical
The adjective canonical is applied in many contexts to mean 'according to the canon' the standard, rule or primary source that is accepted as authoritative for the body of knowledge or literature in that context. In mathematics, ''canonical exampl ...
nilpotent matrix.
Specifically, if
is any nilpotent matrix, then
is
similar to a
block diagonal matrix of the form
:
where each of the blocks
is a shift matrix (possibly of different sizes). This form is a special case of the
Jordan canonical form
\begin
\lambda_1 1\hphantom\hphantom\\
\hphantom\lambda_1 1\hphantom\\
\hphantom\lambda_1\hphantom\\
\hphantom\lambda_2 1\hphantom\hphantom\\
\hphantom\hphantom\lambda_2\hphantom\\
\hphantom\lambda_3\hphantom\\
\hphantom\ddots\hphantom\\
...
for matrices.
For example, any nonzero 2 × 2 nilpotent matrix is similar to the matrix
:
That is, if
is any nonzero 2 × 2 nilpotent matrix, then there exists a basis b
1, b
2 such that ''N''b
1 = 0 and ''N''b
2 = b
1.
This
classification theorem
In mathematics, a classification theorem answers the classification problem: "What are the objects of a given type, up to some equivalence?". It gives a non-redundant enumeration: each object is equivalent to exactly one class.
A few issues rela ...
holds for matrices over any
field. (It is not necessary for the field to be algebraically closed.)
Flag of subspaces
A nilpotent transformation
on
naturally determines a
flag
A flag is a piece of textile, fabric (most often rectangular) with distinctive colours and design. It is used as a symbol, a signalling device, or for decoration. The term ''flag'' is also used to refer to the graphic design employed, and fla ...
of subspaces
:
and a signature
:
The signature characterizes
up to Two Mathematical object, mathematical objects and are called "equal up to an equivalence relation "
* if and are related by , that is,
* if holds, that is,
* if the equivalence classes of and with respect to are equal.
This figure of speech ...
an invertible
linear transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
. Furthermore, it satisfies the inequalities
:
Conversely, any sequence of natural numbers satisfying these inequalities is the signature of a nilpotent transformation.
Additional properties
Generalizations
A
linear operator
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
is locally nilpotent if for every vector
, there exists a
such that
:
For operators on a finite-dimensional vector space, local nilpotence is equivalent to nilpotence.
Notes
References
*
*
*
External links
Nilpotent matrixan
nilpotent transformationon
PlanetMath
PlanetMath is a free content, free, collaborative, mathematics online encyclopedia. Intended to be comprehensive, the project is currently hosted by the University of Waterloo. The site is owned by a US-based nonprofit corporation, "PlanetMath.org ...
.
{{Matrix classes
Matrices (mathematics)