1
$\begingroup$

Let $H$ be a Hilbert Space, and $M$ a closed subspace. Is it true that

$H = M \bigoplus M^{\perp}$

Does this hold if $M$ is not closed? Or only if $H$ is finite/infinite dimensional?

  • 0
    Well, some definitions say you take the completion afterwards. If you don't then it certainly won't be true for non-closed $M$. (For example, if $M$ is dense in $H$ then $M^\perp = 0$.) But if you do, then it will be true.2012-05-06

1 Answers 1

1

Yes, this is true. Here's how you can go about proving this:

  1. Prove that if $N\leqslant M^\perp$ then $M\oplus N$ is closed.
  2. Prove that if $N\leqslant H$ is closed and $N^\perp=0$ then $N=H$.
  3. Conclude that $M\oplus M^\perp$ is closed and $(M\oplus M^\perp)^\perp=0$.
  • 0
    SO this is true in both infinite and finite dimensional Hilbert Spaces? What about just Inner product spaces?2012-05-05