PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] theorem for normal triangular matrices (Theorem)
Theorem 1 ([1], pp. 82)   A square matrix is diagonal if and only if it is normal and triangular.

Proof. If $A$ is a diagonal matrix, then the complex conjugate $A^\ast$ is also a diagonal matrix. Since arbitrary diagonal matrices commute, it follows that $A^\ast A = A A^\ast$ . Thus any diagonal matrix is a normal triangular matrix.

Next, suppose $A=(a_{ij})$ is a normal upper triangular matrix. Thus $a_{ij}=0$ for $i>j$ , so for the diagonal elements in $A^\ast A$ and $AA^\ast$ , we obtain \begin{eqnarray*} (A^\ast A)_{ii} &=& \sum_{k=1}^i |a_{ki}|^2, \\ (AA^\ast)_{ii} &=& \sum_{k=i}^n |a_{ik}|^2. \\ \end{eqnarray*}For $i=1$ , we have $$ |a_{11}|^2 = |a_{11}|^2+|a_{12}|^2+\cdots + |a_{1n}|^2.$$ It follows that the only non-zero entry on the first row of $A$ is $a_{11}$ . Similarly, for $i=2$ , we obtain $$ |a_{12}|^2 + |a_{22}|^2 = |a_{22}|^2+\cdots + |a_{2n}|^2.$$ Since $a_{12}=0$ , it follows that the only non-zero element on the second row is $a_{22}$ . Repeating this argument for all rows, we see that $A$ is a diagonal matrix. Thus any normal upper triangular matrix is a diagonal matrix.

Suppose then that $A$ is a normal lower triangular matrix. Then it is not difficult to see that $A^\ast$ is a normal upper triangular matrix. Thus, by the above, $A^\ast$ is a diagonal matrix, whence also $A$ is a diagonal matrix. $ \Box$

Bibliography

1
V.V. Prasolov, Problems and Theorems in Linear Algebra, American Mathematical Society, 1994.




"theorem for normal triangular matrices" is owned by Mathprof. [ full author list (3) | owner history (2) ]
(view preamble | get metadata)

View style:

See Also: normal matrix


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: lower triangular matrix, rows, upper triangular matrix, triangular matrix, complex conjugate, diagonal matrix, proof, normal, diagonal, square matrix
There are 3 references to this entry.

This is version 9 of theorem for normal triangular matrices, born on 2003-06-29, modified 2006-10-02.
Object id is 4412, canonical name is TheoremForNormalTriangularMatrices.
Accessed 6289 times total.

Classification:
AMS MSC15-00 (Linear and multilinear algebra; matrix theory :: General reference works )
 15A57 (Linear and multilinear algebra; matrix theory :: Other types of matrices )

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)