Linear Algebra
Chapter 5/Orthogonality

5.5Orthonormal Sets

An orthonormal basis is the best coordinate system money can buy: coordinates are single inner products, no linear system to solve, and lengths behave. Orthogonal matrices are the square case.

What you must be able to do

  • Orthogonal set of nonzero vectors ⟹ linearly independent. (The converse is false.)
  • With an orthonormal basis, — no elimination required.
  • Parseval: where .
  • orthogonal . Then and .
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

Coordinates and Parseval

0/4 steps
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: