Aussage über stetige und koerzitive Sesquilinearformen auf einem Hilbertraum:

Sei a : H × H → ℂ eine Sesquilinearform auf einem Hilbertraum, für die Konstanten M ≥ 0, m > 0 existieren mit

\begin{eqnarray}\begin{array}{lll}|a(x,y)| & \le & M\Vert x\Vert \Vert y\Vert \\ |a(x,x)| & \ge & m{\Vert x\Vert }^{2}\end{array}\end{eqnarray}

für alle x, y ∈ H. Dann existiert ein eindeutig bestimmter bijektiver stetiger linearer Operator T : H → H, der a gemäß

\begin{eqnarray}\begin{array}{cc}a(x,y)=\langle x,Ty\rangle & \forall x,y\in H\end{array}\end{eqnarray}

darstellt. Ferner gilt ∥T∥ ≤ M, ∥T⁻¹∥ ≤ 1/m.