---
title: "Hilbert Spaces and Orthogonal Projection in Infinite Dimensions"
description: "A complete inner-product space keeps the geometry of angles and projections when the dimension is infinite. Closest points to a closed subspace still exist and are unique, and every bounded functional"
canonical: https://lightmysky.com/learn/mathematics/hilbert-spaces-and-orthogonal-projection-in-infinite-dimensions-mt_xmKq8SAgvy
source: https://lightmysky.com/learn/mathematics/hilbert-spaces-and-orthogonal-projection-in-infinite-dimensions-mt_xmKq8SAgvy.md
retrieved: 2026-09-12
---

> **Agent view.** This is the Markdown twin of the page, for tools and assistants.
> When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md
> API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md
> Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt
> Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json
> Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`.

# Hilbert Spaces and Orthogonal Projection in Infinite Dimensions

A complete inner-product space keeps the geometry of angles and projections when the dimension is infinite. Closest points to a closed subspace still exist and are unique, and every bounded functional is an inner product with a single fixed vector.

Subject: Mathematics · Area: Calculus & Analysis · Ages 23 to 24
Page: https://lightmysky.com/learn/mathematics/hilbert-spaces-and-orthogonal-projection-in-infinite-dimensions-mt_xmKq8SAgvy

## Ready when they can

- Project onto a closed subspace and check that the residual is orthogonal to it
- Expand a vector in an orthonormal basis and read off Parseval's identity
- State the Riesz representation theorem and say what it identifies with what

## Lesson: Projecting in infinite dimensions

A Hilbert space is an inner product space with one extra demand. Lengths and angles work as usual, and every sequence that ought to converge lands inside the space. That demand is called completeness, and it is what lets Fourier series converge to honest functions.

**Example.** Take a closed subspace and any vector outside it. There is exactly one closest point in the subspace, and you check it with the residual test. Subtract the candidate from the vector: the leftover must sit at right angles to everything kept in the subspace.

An orthonormal basis lets you expand any vector as a sum of coefficients times basis vectors. Parseval reads the squared length straight from the coefficients: it equals the sum of their squared sizes. With coefficients 3 and 4, the squared length is 9 plus 16, which is 25.

**Tip.** Every bounded linear measurement on the space is an inner product in disguise. That is the Riesz claim: each such measurement pairs vectors with one single fixed vector. When you meet a new steady measurement, ask which fixed vector hides inside it.

**Recap.** Completeness keeps limits inside, projection gives the closest point with an orthogonal residual, and every steady measurement is an inner product.

## Practice

14 questions on this page, each with its working shown.

## Needs first

- [Fourier Series](https://lightmysky.com/learn/mathematics/fourier-series-mt_DJ3iwfj7NK)
- [Orthogonal Projection and Least Squares](https://lightmysky.com/learn/mathematics/orthogonal-projection-and-least-squares-mt_kGvRrYJrat)
- [The Hahn-Banach Theorem and the Dual Space](https://lightmysky.com/learn/mathematics/the-hahn-banach-theorem-and-the-dual-space-mt_pJuHFxkvjS)
- [Normed Spaces, Completeness and Banach Spaces](https://lightmysky.com/learn/mathematics/normed-spaces-completeness-and-banach-spaces-mt_y_jueKnovX)

## Opens up

- [States as Vectors: Dirac Notation and the State Space](https://lightmysky.com/learn/science/states-as-vectors-dirac-notation-and-the-state-space-mt_9g0aNMxQ8M)
- [Conditional Expectation Given a Sigma-Algebra](https://lightmysky.com/learn/mathematics/conditional-expectation-given-a-sigma-algebra-mt_i2sxZc-ER8)
- [Compact Self-Adjoint Operators and the Spectral Theorem](https://lightmysky.com/learn/mathematics/compact-self-adjoint-operators-and-the-spectral-theorem-mt_P_Jr9LWFQj)