Let $\mathcal{B}(F)$ the algebra of all bounded linear operators on an **infinite-dimensional complex** Hilbert space $(F,\langle\cdot,\cdot\rangle)$. Let $M$ be a positive semidefinite operator.

On the quotient space $F/\text{Ker}(M)$ we have the following inner product
$$\langle \overline{x},\overline{y}\rangle = \langle Mx,y\rangle,$$
for all $\overline{x},\overline{y}\in F/\text{Ker}(M)$.

The following theorem figures without proof in [this paper] (page 5).

> **Theorem:** The completion of $F/\text{Ker}(M)$ denoted $\overline{F/\text{Ker}(M)}$ is isometrically isomorphic to the Hilbert space $\text{Im}(M^{1/2})$
with the inner product
$$( M^{1/2}x,M^{1/2}y)=\langle P_{\overline{\text{Im}(M)}}x, P_{\overline{\text{Im}(M)}}y\rangle,\;\forall\, x,y \in F.$$
$P_{\overline{\text{Im}(M)}}$ is the orthogonal projection onto $\overline{\text{Im}(M)}$.

> I hope to get a proof or a sketch of proof of the above theorem.

  [this paper]: http://dx.doi.org/10.1080/03081087.2012.667094