Definition · Orthogonal and orthonormal sets
is orthogonal if whenever . It is orthonormal if additionally for every . Any orthogonal set of nonzero vectors becomes orthonormal after dividing each vector by its length.
Theorem 5.5.1
An orthogonal set of nonzero vectors is linearly independent.
Take the inner product of with : all cross terms die, leaving , so .
Theorem 5.5.2 & Corollary 5.5.4 · Coordinates for free
If is an orthonormal basis, then for every ,
Compare §3.5, where finding coordinates meant inverting a matrix. Orthonormality replaces with .
Worked example
0/4 stepsCoordinates and Parseval
Verify that , , is an orthonormal basis of , then expand in it.
Orthogonal matrices
Definition · Orthogonal matrix
An matrix is orthogonal if its column vectors form an orthonormal set, equivalently , equivalently . Then too, so the rows are orthonormal as well.
!Exam trap
An 'orthogonal matrix' needs orthonormal columns, not merely orthogonal ones. has orthogonal columns but . Unfortunate naming — blame history.
- — angles preserved.
- — lengths preserved. Rotations and reflections are exactly the orthogonal matrices.
- , since . ( rotation, reflection.)
- Products of orthogonal matrices are orthogonal.
Theorem 5.5.6 & Corollary 5.5.9 · Least squares gets easy
If the columns of are orthonormal, then the least squares solution of is and the projection onto is .
Compare from §5.3: orthonormality collapses to . This is the entire motivation for Gram–Schmidt in §5.6.
Check yourself
Q1
is an orthogonal matrix. Which statement is false?
T / F
Any orthogonal set of nonzero vectors is linearly independent.
Q3
is an orthonormal basis for a subspace , and . The projection of onto is: