Coercive bilinear form (source code)

= Coercive bilinear form
{wiki=Coercive_function#Coercive_operators_and_forms}

A bilinear form $B$ on a <normed vector space> is coercive when some $\alpha>0$ satisfies $B(v,v)\geq\alpha\lVert v\rVert^2$ for every $v$.