叶状结构

在数学上，叶状结构（foliation）研究几何的一个工具。非正式地说，一个叶状结构是一种给流形穿的条纹织物的衣服。在流形的每个足够小的片上，这些条纹给了流形一个局部乘积结构。这个乘积结构不用在局部区域之外一致(也就是不用有良定义的整体结构)：沿着一个条纹走足够远可能回到一个不同的邻近的条纹。

正式来说，${\displaystyle n}$个坐标为常数的点组成的子空间的积。这可以用一个坐标卡来覆盖。

如${\displaystyle M\to <!--\; \to \; -->N}$的李代数的一个闭子代数指数化得到的子群，则${\displaystyle G}$的叶状结构).

这个事实可以推广到Ferdinand Georg Frobenius(弗罗贝尼乌斯)的一个定理 (Frobenius定理), 它说一个分布(也就是，切丛的一个维子丛)和一个叶状结构的叶相切的充分必要条件是和该分相切的向量场的集合在李括号下封闭。也可以用不同的表达，把它作为切丛的结构群从${\displaystyle GL(n)}$到一个可归约子群的约化(reduction)。

Frobenius定理的条件象可积性条件一样；它断言如果那些条件满足归约可以发生因为满足所需的块结构的局部变换函数存在。

这是一个全局叶状结构理论，因为有拓扑约束存在。例如在曲面情况，一个处处非0的向量场在可定向紧曲面上只有在曲面是环的情形存在。这是Poincaré-Hopf指标定理的结果,定理表明欧拉示性数在这种情况下必须为 0。