Recientemente he demostrado el teorema de la proyección en un entorno de espacio de Hilbert. Los enunciados eran:
Si $M$ es un subespacio cerrado de un espacio de Hilbert $H$ y $x \in H$ Entonces:
- Hay un elemento único $\hat{x}$ s.t.
$$\|x-\hat{x}\| = \inf_{y \in M}\|x-y\|$$
- Tenemos $$\|x-\hat{x}\| = \inf_{y \in M}\|x-y\|$$ si y sólo si $(x-\hat{x}) \in M^\perp$ .
Ahora estoy teniendo algunos problemas con la intuición detrás de este teorema, el punto (1) es intuitivo para mí pero el punto (2) parece un poco extraño aunque lo haya demostrado, podría alguien ayudarme con alguna intuición o proporcionar una referencia que explique la intuición.