 Coercive operator

A bounded operator $T$ on a Hilbert space is coercive when $\mathrm{Re}⟨x,Tx⟩\ge c\Vert x{\Vert }^2$ for some $c>0$. This estimate implies injectivity and bounds an inverse on the range by $1/c$.