Principle of distributivity: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Gamewizard71
removed Category:Logic using HotCat
 
en>AnomieBOT
m Dating maintenance tags: {{Unreferenced}}
 
Line 1: Line 1:
Hello. Let me introduce the author. Her title is Emilia Shroyer but it's not the most female name out there. For years he's been living in North Dakota and his family members loves it. One of the extremely very best issues in the world for him is to collect badges but he is struggling to discover time std testing  over the [http://www.Ranker.com/list/famous-people-with-herpes/celebrity-lists counter std] test at home for it. Since she was eighteen she's been working as a meter  at home std test reader but she's usually wanted her own business.<br><br>my blog - [http://www.offshoreservicetips.com/?p=7860 http://www.offshoreservicetips.com]
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>&nbsp;=&nbsp;0 for some positive integer ''k'' (and thus, ''L''<sup>''j''</sup>&nbsp;=&nbsp;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>&nbsp;=&nbsp;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''&nbsp;&times;&nbsp;''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''&nbsp;&times;&nbsp;''n'' nilpotent matrix is always less than or equal to ''n''.  For example, every 2&nbsp;&times;&nbsp;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''&nbsp;&times;&nbsp;''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>,&nbsp;''S''<sub>2</sub>,&nbsp;...,&nbsp;''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&nbsp;&times;&nbsp;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&nbsp;&times;&nbsp;2 nilpotent matrix, then there exists a basis '''b'''<sub>1</sub>,&nbsp;'''b'''<sub>2</sub> such that ''N'''''b'''<sub>1</sub>&nbsp;=&nbsp;0 and ''N'''''b'''<sub>2</sub>&nbsp;=&nbsp;'''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''&nbsp;+&nbsp;''N'' is [[invertible matrix|invertible]], where ''I'' is the ''n''&nbsp;&times;&nbsp;''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''&nbsp;&times;&nbsp;''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

Nk=0

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 jk). Both of these concepts are special cases of a more general concept of nilpotence that applies to elements of rings.

Examples

The matrix

M=[0100]

is nilpotent, since M2 = 0. More generally, any triangular matrix with 0s along the main diagonal is nilpotent. For example, the matrix

N=[0216001200030000]

is nilpotent, with

N2=[0027000300000000];N3=[0006000000000000];N4=[0000000000000000].

Though the examples above have a large number of zero entries, a typical nilpotent matrix does not. For example, the matrix

N=[53215961064]

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:

  1. N is nilpotent.
  2. The minimal polynomial for N is λk for some positive integer kn.
  3. The characteristic polynomial for N is λn.
  4. The only (complex) eigenvalue for N is 0.
  5. 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:

S=[0100001000010000].

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:

S(x1,x2,,xn)=(x2,,xn,0).

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

[S1000S2000Sr]

where each of the blocks S1S2, ..., 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

[0100].

That is, if N is any nonzero 2 × 2 nilpotent matrix, then there exists a basis b1b2 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

{0}kerLkerL2kerLq1kerLq=n

and a signature

0=n0<n1<n2<<nq1<nq=n,ni=dimkerLi.

The signature characterizes L up to an invertible linear transformation. Furthermore, it satisfies the inequalities

nj+1njnjnj1,for all j=1,,q1.

Conversely, any sequence of natural numbers satisfying these inequalities is the signature of a nilpotent transformation.

Additional properties

(I+N)1=IN+N2N3+,
where only finitely many terms of this sum are nonzero.
  • If N is nilpotent, then
det(I+N)=1,
where I denotes the n × n identity matrix. Conversely, if A is a matrix and
det(I+tA)=1
for all values of t, then A is nilpotent.

Generalizations

A linear operator T is locally nilpotent if for every vector v, there exists a k such that

Tk(v)=0.

For operators on a finite-dimensional vector space, local nilpotence is equivalent to nilpotence.

References

  1. R. Sullivan, Products of nilpotent matrices, Linear and Multilinear Algebra, Vol. 56, No. 3

External links