Definition:Orthogonal Projection
This page is about Orthogonal Projection in the context of Hilbert Space. For other uses, see Projection.
Definition
Let $H$ be a Hilbert space.
Let $K$ be a closed linear subspace of $H$.
Then the orthogonal projection on $K$ is the map $P_K: H \to H$ defined by
- $k = \map {P_K} h \iff k \in K$ and $\map d {h, k} = \map d {h, K}$
where the latter $d$ signifies distance to a set.
Extract the 3 statements below and put them into their own pages
Until this has been finished, please leave {{refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
That $P_K$ is well-defined follows from Unique Point of Minimal Distance to Closed Convex Subset of Hilbert Space.
The name orthogonal projection stems from the fact that $\paren {h - \map {P_K} h} \perp K$.
This and other properties of $P_K$ are collected in Properties of Orthogonal Projection.
Also see
- Definition:Orthogonal (Hilbert Space)], the origin of the nomenclature.
- Definition:Projection (Hilbert Spaces), an algebraic abstraction.
Sources
- 1990: John B. Conway: A Course in Functional Analysis ... (previous) ... (next) $\text I.2.8$
As such, the following source works, along with any process flow, will need to be reviewed.
Specifically: Definition as given in dictionary may not match the one given here
If you have access to any of these works, then you are invited to review this list, and make any necessary corrections.
When you have done this, move the citation of that source work (if it is appropriate that it stay on this page) above this message, into the usual chronological ordering.
When this has been done for all of the sources below, {{SourceReview}} should be removed from the code.
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Entry: orthogonal projection