Let $H_1$ , $H_2$ Hilbert Spaces with $T:H_1 \to H_2$ adjoint operator and $M_1 < H_1$ , $M_2 < H_2$ their subspaces. Show that:
$T(M_1) \subset M_2 $ if, and only if, $T^*({M_2}^{\perp}) \subset {M_1}^{\perp} $
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityLet $H_1$ , $H_2$ Hilbert Spaces with $T:H_1 \to H_2$ adjoint operator and $M_1 < H_1$ , $M_2 < H_2$ their subspaces. Show that:
$T(M_1) \subset M_2 $ if, and only if, $T^*({M_2}^{\perp}) \subset {M_1}^{\perp} $
\begin{align} TM_1 \subseteq M_2 &\iff TM_1 \perp M_2^\perp \\ &\iff M_1 \perp T^*M_2^\perp \\ &\iff T^*M_2^\perp \subseteq M_1^\perp \end{align}