ここでformula_2は "x" が備えるノルムである(formula_3も同様).上記の正定数 "m" の下限は "l" の作用素ノルムと呼ばれ、formula_4と記述される。