设Ｌ是Ｂａｎａｃｈ空间Ｘ上的原子Ｂｏｏｌｅａｎ子空间格，δ是ａｌｇＬ的任一导子，则存在Ｘ中的一个稠定线性算子Ｔ，使得δ（Ａ）＝ＡＴ－ＴＡ（Ａ∈ａｌｇＬ）在Ｔ的定义域Ｄ（Ｔ）上成立。另外，如果Ｌ还是一个有限格，并且对Ｌ的......