形式の意味での相対有界性

$H\ge 0$ を自己共役作用素、$\beta$ を $Q(H) = D(H^{1/2})$ を含む定義域をもつ対称二次形式とする。定数 $a,b\ge 0$ があってすべての $\psi\in D(H^{1/2})$ について

が成り立つとき、$\beta$ は**$H$ 形式有界であるといい、このような $a$ の下限を形式限界**という。