Sum of Projections/General Case

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $H$ be a Hilbert space.

Let $\family {M_i}_{i \mathop \in I}$ be an $I$-indexed set of closed linear subspaces of $H$.

Let $M_i$ and $M_j$ be orthogonal whenever $i \ne j$.

Denote, for each $i \in I$, by $P_i$ the orthogonal projection onto $M_i$.

Denote by $P$ the orthogonal projection onto the closed linear span $\vee \set {M_i: i \in I}$ of the $M_i$.


Then for all $h \in H$:

$\ds \sum \set {P_i h: i \in I} = P h$

where $\ds \sum$ denotes a generalized sum.



This article needs to be linked to other articles.
In particular: De facto this convergence is the weak*-topology on operators, which I haven't introduced yet
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.


Proof


This theorem requires a proof.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.



Also see


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Sum_of_Projections/General_Case&oldid=593039"