Def: Let be a dimensional inner product space over a field , and . If for all , then is an isometry. We call a unitary operator if and an orthogonal operator if . In infinite dimensional vector spaces, if the operator that preserves norms, and is surjective, then it is an isometry.
Th: Let be linear operator on a finite dimensional inner product space . Then following statements are equivalent:
for all
If is an orthonormal basis for , then is an orthonormal basis for .
There exists on orthonormal basis for such that is an orthonormal basis for .
for all .
is an isometry
is invertible and
Cor: Let be linear operator on a finite dimensional real inner product space . Then has an orthonormal basis of eigenvectors of with corresponding eigenvalues of absolute value iff is orthogonal and self-adjoint.
Cor: Let be linear operator on a finite dimensional complex inner product space . Then has an orthonormal basis of eigenvectors of with corresponding eigenvalues of absolute value iff is unitary.
Partial Isometries
Def: Let be a finite dimensional inner product space. A linear operator on is called a partial isometry if there exists a subspace of such that for all , and for . This doesn’t imply that is invariant.
, for all
If is an orthonormal basis for , then is also an orthonormal basis for .
There exists a basis for such that the first columns of form an orthonormal set and the remaining columns are zero.
Let be an orthonormal basis for , and be an orthonormal basis of , then is an orthonormal basis for .
Suppose be an orthonormal basis of , and be an orthonormal basis for . Let , such that if then and if , then . Then .
is a a partial isometry.
is orthogonal projection on .
Def: A square matrix is called on orthogonal matrix if and unitary if .
The set of all orthogonal transformations/matrices is called the Orthogonal Group, and the set of all unitary transformations/matrices is called the Unitary Group
Def: and are unitarily/orthogonally equivalent iff there exists a unitary/orthogonal matrix such that . This forms an equivalence relation on
Th: Let be a complex . Then is normal iff is unitarily equivalent to a diagonal matrix.
Th: Let be a real . Then is symmetric iff is orthogonally equivalent to a diagonal matrix.
Th: A matrix that is both unitary and upper triangular then it is diagonal.
Schur’s Theorem Again
Let be a matrix whose characteristic polynomial splits over .
If , then is unitarily equivalent to a complex upper triangular matrix
If , then is orthogonally equivalent to a real upper triangular matrix.
Cor: Suppose is a complex inner product space and . The the following are equivalent:
is an isometry
There is an orthonormal basis of consisting of eigenvectors of whose corresponding eigenvalues all have absolute value .
QR Factorization
Th: Let with linearly independent columns. Then can be factorized as , where with orthogonal columns and upper triangleular matrix with positive diagonal entries.
We can consider the th column of as , then we can apply the Gram-Schmidt orthonormalization process to , the following vectors will form the matrix .
Similarly given the set of orthonormal vectors we can calculate the matrix , as follows for , otherwise .
If , then will be a unitary/orthogonal matrix.
Given a linear system when is invertible. We can decompose , and solve the system , or , this an be solved easily since is upper triangleular.
Rigid Motions
Def: Let be a real inner product space. A function is called a rigid motion if for all
Th: Let be a rigid motion on a finite dimensional real inner product space . The there exists a unique orthogonal operator on and a unique translation on such that .
Th: Let be a rigid motion then is invertible and is also a rigid motion.
Cor: Th: Let be a rigid motion on a finite dimensional real inner product space . The there exists a unique orthogonal operator on and a unique translation on such that .
Orthogonal Operators on
Th: Let be an orthogonal operator in . Then exactly one of the following conditions is satisfied:
is a rotation, and
is a reflection about a line through the origin, and
Cor: Any rigid motion on is either a rotation followed by a translation or a reflection about a line through the origin followed by a translation.
Householder Operators
Def: Let be a finite dimensional complex/real inner product space, and let be a unit vector in . Define the Householder operator by for all .
is linear
iff is orthogonal to
and , and hence is a unitary/orthogonal operator. If is real inner product space, then is a reflection.
.
has eigenvalues of . We know that , and .
This type of operator can be used to calculate the factorization of matrix, when .