设Ｈ是Ｈｉｌｂｅｒｔ空间，ζ是Ｈ上的子空间格且Ｖ＾ψ－只有有限个，当Ｈ－Ｖ｛Ｇ：Ｇ是ζ的Ｖ＾ψ－生成子｝时，对一切自然数ｎ，得到Ｈ＾ｎ（Ｍψ，Ｂ（Ｈ））＝０，其中，ψ是ζ是ζ的格同态。特别地，取ψ为恒等映射时......