Projection Theorem
The Projection Theorem states that in an inner product space, every vector has a unique closest point in any closed subspace. This closest point is the orthogonal projection, and the residual is perpendicular to the subspace. This theorem is the foundation of least-squares approximation, best approximation theory, and the geometry of Hilbert spaces.
Statement
Let be a finite-dimensional subspace of an inner product space , and let . Then there exists a unique vector such that:
- (the residual is orthogonal to ).
- for all (the projection is the closest point).
Moreover, is uniquely determined by these equivalent conditions.
If is an orthonormal basis for , then:
The projection matrix (in the standard basis of ) is where is the matrix with columns .
Examples: projection onto a line
, .
.
Residual: . Check: ✓.
Distance from to : .
, .
.
Residual: . Check: ✓.
Distance: .
Examples: projection onto a plane
(the -plane), .
(just drop the -component). Residual: ✓.
with , . First orthonormalize:
. , .
For : .
.
Check: . ✓ and ✓.
Projection matrices
If is an matrix whose columns form a basis for (not necessarily orthonormal), the projection matrix is:
satisfies (idempotent) and (symmetric). The projection of is .
: , .
.
Check: ✓, ✓, (rank ), eigenvalues .
: .
, .
.
(the rank of ), eigenvalues .
Least-squares approximation
The least-squares solution to the overdetermined system (where is with and full column rank) minimizes . The solution satisfies the normal equations:
The projection of onto the column space of is .
Data: . Fit .
, .
, .
.
Best-fit line: .
Fitting to data :
, .
Solve for the best parabola fit.
Best approximation in function spaces
Find the best constant approximation to on with .
: .
The best constant approximation to on in the sense is .
Error: .
Find the best approximation to on using .
, .
Best approximation: .
Approximate on by a linear polynomial , minimizing .
This is the projection of onto with .
The normal equations give and .
Properties of orthogonal projections
The orthogonal projection onto a subspace satisfies:
- (idempotent).
- (self-adjoint), meaning .
- and .
- (the complementary projection).
- for all (projections are contractions).
in : , .
For : , , ✓.
Summary
The Projection Theorem is the geometric heart of applied linear algebra:
- Existence and uniqueness of best approximations in inner product spaces.
- Least-squares solutions to overdetermined systems.
- Fourier analysis as projection onto trigonometric subspaces.
- Signal processing: extracting the component of a signal in a subspace.
- The projection reduces all approximation problems to computing inner products.