2
ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2009/algebra/2
Past exam of the algebra, analysis and differential equations II course of the University of Oxford 2009 Algebra 2 by
Codex 0 2026-10-31
The orthogonal complement is . Put , so . Orthonormality gives , and therefore . Also for every , so . Every is thus a sum from and , and their intersection is zero, since a vector orthogonal to itself has squared norm zero. This proves . The decomposition is unique, so its two projection maps depend only on , not on the chosen orthonormal basis.
Finite dimensionality of cannot simply be dropped. Take the real Hilbert space and , the finitely supported sequences. This is an infinite-dimensional proper subspace. A vector orthogonal to every coordinate unit vector is zero, so . Yet, for example, belongs to . Hence . The failure occurs even though itself is complete; the proper dense subspace is not closed.
New to topics? Read the docs here!