Boundedness criterion for a bilinear form

ID: boundedness-criterion-for-a-bilinear-form

A bilinear form on a normed vector space is continuous exactly when it is bounded. For the nontrivial direction, continuity at gives such that whenever and ; scaling nonzero into these balls gives .

New to topics? Read the docs here!