This note is heavily based on the textbook "Linear Algebra" by Stephen H. Friedberg, Arnold J. Insel, and Lawrence E. Spence.
Definitions
Let
Definition 1:
- A linear operator
over a inner product space is normal if and only if . - A matrix
is normal if and only if .
Definition 2:
- A linear operator
over a inner product space is self-adjoint (Hermitian) if and only if . - A matrix
is self-adjoint (Hermitian) if and only if .
Definition 3:
- A linear operator
over a complex inner product space is unitary if and only if . - A matrix
is unitary if and only if .
Definition 4:
- A linear operator
over a real inner product space is orthogonal if and only if . - A matrix
is orthogonal if and only if .
Evidently, all unitary, orthogonal and self-adjoint linear operators are normal.
Theorems
Schur's Theorem for Linear Operators
Theorem 6.14(Schur): Let
To prove this theorem, a lemma is needed.
Lemma: Let
Proof: Suppose
Thus
We can see that
Thus the linear operator
Proof of Schur's Theorem: By mathematical induction
on
which is equivalent to saying
According to the lemma, we can find an eigenvector
Properties of Normal Operators
Theorem 6.15: Let
for all .
is normal for all .
- If
is an eigenvector of corresponding to the eigenvalue , then is also an eigenvector of corresponding to the eigenvalue .
- If
- If
and are distinct eigenvalues of corresponding to eigenvectors and , then and are orthogonal.
- If
A rigorous proof can be found in the textbook. This note will focus on giving intuitions and corollaries for these properties rather than proving them one by one.
- When
is normal, the norm of is the same as the norm of for all . An immediate consequence is that . i.e. The null space of is the same as the null space of . Note that this corollary is nontrivial, since it does not hold for arbitrary linear operators.
- When
- Adding a multiple of the identity operator to a normal operator does not affect its normality. As a remark, when adding a mutliple of the identity operator to a self-adjoint operator, a unitary operator or an orthogonal operator, the property of self-adjointness, unitarity or orthogonality may not be preserved, respectively.
- For any linear operator
, when is an eigenvalue of , is an eigenvalue of (by Lemma). However, the eigenspaces may not be the same. With the normality assumption, the eigenspaces are always the same.
- For any linear operator
- Eigenspaces corresponding to distinct eigenvalues of a normal operator are orthogonal. This property is crucial for constructing an orthonormal basis of eigenvectors for a normal operator(which we will discuss right after this theorem).
Orthonormal basis of Eigenvectors on a Complex Inner Product Space
Theorem 6.16: Let
Proof: If such an orthonormal basis consisting of
eigenvectors of
By Schur's theorem, we can find an orthonormal basis
We claim that
Since the basis is orthonormal, for any
Thus the upper-left
By mathematical induction, we can see that
Note 1: The theorem does not hold for real inner
product spaces, because the characteristic polynomial is not
guaranteed to split over
Although
Note 2: This theorem does not extend to infinite-dimensional inner product spaces.
Orthonormal basis of Eigenvectors on a Real Inner Product Space
Theorem 6.17: Let
To prove this theorem, all we need to do is to show that
Lemma: Let
- Every eigenvalue of
is real.
- Every eigenvalue of
- The characteristic polynomial of
splits.
- The characteristic polynomial of
The proof of this lemma is omitted here. Please refer to the textbook.
Note: Theorem 6.16 and Theorem 6.17 are similar. The main difference is that Theorem 6.16 applies to complex inner product spaces, while Theorem 6.17 applies to real inner product spaces.
In conclusion, though normality is sufficient to guarantee the
existence of an orthonormal basis of eigenvectors for a complex inner
product space, self-adjointness, a stronger condition, is required for a
real inner product space. The fundamental reason is that
Properties of Unitary and Orthogonal Operators
Theorem 6.18: The following statements are equivalent.
for any .
- For any orthonormal basis
for , is also an orthonormal basis for .
- For any orthonormal basis
- There exists an orthonormal basis
for such that is also an orthonormal basis for .
- There exists an orthonormal basis
for all .
Intuitions:
- This is the definition of unitary(or orthogonal) operators.
- Unitary operators preserve inner products.
- (c)(d) Orthonormality is preserved under unitary operators.
- Unitary operators preserve norms.
It is noteworthy that normality does not imply the preservation of inner products, but unitarity(orthogonality) does.
Several corollaries can be derived from Theorem 6.16, Theorem 6.17 and Theorem 6.18.
Corollary 1: Let
Corollary 2: Let
Matrix Version of Theorems
We can restate Theorem 6.16, Theorem 6.17 and Theorem 6.14 in terms of matrices.
Theorem 6.19: Let
Theorem 6.20: Let
Theorem 6.21(Schur): Let
- If
, then is unitarily equivalent to a complex upper triangular matrix.
- If
- If
, then is orthogonally equivalent to a real upper triangular matrix.
- If