从向量空间formula_29映射到formula_30的所有线性映射的构成的空间：formula_31。设formula_32和formula_33中分别装备了两个向量范数formula_34和formula_35，则可以定义formula_31上的算子范数formula_37：而给定了基底后，每个从formula_32映射到formula_33的线性映射都可以用一个formula_41的矩阵来表示，所以同样地可以定义formula_6上的非负映射formula_43：可以验证，formula_4