半黎曼空间形式的极大类空叶状结构

设Ｆ是半黎曼空间形式Ｎｎ＋ｐｐ（ｃ）上的余维ｐ的极大类空叶状结构，如果标准度量是类丛的，则ｃ≥０，如果Ｆ的叶子还是完备的。