Schur decomposition, proof of
The columns of the unitary matrix in Schur’s decomposition theorem form an orthonormal basis of . The matrix takes the upper-triangular form on this basis. Conversely, if is an orthonormal basis for which is of this form then the matrix with as its -th column satisfies the theorem.
To find such a basis we proceed by induction on . For we can simply take . If then let be an eigenvector of of unit length and let be its orthogonal complement. If denotes the orthogonal projection onto the line spanned by then maps into .
By induction there is an orthonormal basis of for which takes the desired form on . Now so for . Then can be used as a basis for the Schur decomposition on .
Title | Schur decomposition, proof of |
---|---|
Canonical name | SchurDecompositionProofOf |
Date of creation | 2013-03-22 14:04:01 |
Last modified on | 2013-03-22 14:04:01 |
Owner | mps (409) |
Last modified by | mps (409) |
Numerical id | 6 |
Author | mps (409) |
Entry type | Proof |
Classification | msc 15-00 |