Lemma A.5 — $L=(L\cap M)\oplus^\perp(L\cap(L\cap M)^\perp)=(L\cap M)\oplus^\perp P_LM^\perp$ (real case)

Initializing...

Lemma A.5 — $L=(L\cap M)\oplus^\perp(L\cap(L\cap M)^\perp)=(L\cap M)\oplus^\perp P_LM^\perp$ (real case) · Prove2Me