Content deleted Content added
standardize citation style for article |
|||
Line 1:
{{Short description|Special kind of square matrix}}
{{distinguish|text=a [[triangular array]], a related concept}}
{{for|the rings|triangular matrix ring}}
Line 92 ⟶ 91:
: <math>p_A(x) = (x-a_{11})(x-a_{22})\cdots(x-a_{nn})</math>,
that is, the unique degree ''n'' polynomial whose roots are the diagonal entries of ''A'' (with multiplicities).
To see this, observe that <math>xI-A</math> is also triangular and hence its determinant <math>\det(xI-A)</math> is the product of its diagonal entries <math>(x-a_{11})(x-a_{22})\cdots(x-a_{nn})</math>.<ref name="axler">{{
==Special forms==
Line 118 ⟶ 117:
Any complex square matrix is triangularizable.<ref name="axler"/> In fact, a matrix ''A'' over a [[field (mathematics)|field]] containing all of the eigenvalues of ''A'' (for example, any matrix over an [[algebraically closed field]]) is similar to a triangular matrix. This can be proven by using induction on the fact that ''A'' has an eigenvector, by taking the quotient space by the eigenvector and inducting to show that ''A'' stabilizes a flag, and is thus triangularizable with respect to a basis for that flag.
A more precise statement is given by the [[Jordan normal form]] theorem, which states that in this situation, ''A'' is similar to an upper triangular matrix of a very particular form. The simpler triangularization result is often sufficient however, and in any case used in proving the Jordan normal form theorem.<ref name="axler"/><ref name="herstein">{{
In the case of complex matrices, it is possible to say more about triangularization, namely, that any square matrix ''A'' has a [[Schur decomposition]]. This means that ''A'' is unitarily equivalent (i.e. similar, using a [[unitary matrix]] as change of basis) to an upper triangular matrix; this follows by taking an Hermitian basis for the flag.
Line 132 ⟶ 131:
This is generalized by [[Lie's theorem]], which shows that any representation of a [[solvable Lie algebra]] is simultaneously upper triangularizable, the case of commuting matrices being the [[abelian Lie algebra]] case, abelian being a fortiori solvable.
More generally and precisely, a set of matrices <math>A_1,\ldots,A_k</math> is simultaneously triangularisable if and only if the matrix <math>p(A_1,\ldots,A_k)[A_i,A_j]</math> is [[nilpotent]] for all polynomials ''p'' in ''k'' ''non''-commuting variables, where <math>[A_i,A_j]</math> is the [[commutator]]; for commuting <math>A_i</math> the commutator vanishes so this holds. This was proven by Drazin, Dungey, and Gruenberg in 1951;<ref>{{
== Algebras of triangular matrices ==
Line 182 ⟶ 181:
== References ==
{{reflist}}
{{Matrix classes}}
| |||