关于曲率的一些定理

设M为n(≥2)维C~∞流形,N为它的p(≤n)维子流形;为M上的光滑函数环,为M上C~∞向量场所生成的Lie代数;为M上的一次外微分形式的全体,又以表示M上所有的仿射联络;设M上点m的局部坐标系为{x~i),在此坐标系下,点m处的切空间T_m的坐标基向量场为,对偶空间T_m~*的基场为{dx~i)。有时,我们还假定在流形M上有