定义

严格来讲，一个n维流形的维数为 p 的叶状结构是一个有如下映射的坐标卡Ui{\displaystyle U_{i}}组成的一个覆盖:

使得在交集Ui∩ ∩ -->Uj{\displaystyle U_{i}\cap U_{j}}上的变换函数φ φ -->ij{\displaystyle \varphi _{ij}} 定义为

有以下形式

其中x{\displaystyle x}表示前n− − -->p{\displaystyle n-p}个坐标，而y{\displaystyle y}表示后面p个坐标。在坐标卡Ui{\displaystyle U_{i}}上,条纹x={\displaystyle 常数}常数和其他坐标卡Uj{\displaystyle U_{j}}上的条纹吻合.

技术上，这些条纹称为叶状结构的斑(plaques)。在每个坐标卡内，斑是n− − -->p{\displaystyle n-p}维子流形。这些子流形从一个坐标卡到另一个坐标卡的拼起来就构成了最大连通子流形，称为叶状结构的叶(leaves).

例子

例1

n{\displaystyle n} 维空间，可以分层为前n-p个坐标为常数的点组成的子空间的积。这可以用一个坐标卡来覆盖。

例2

如M→ → -->N{\displaystyle M\to N}是流形之间的覆盖，而F{\displaystyle F}是N{\displaystyle N}上的叶状结构,则它拉回到M{\displaystyle M}上成为一个叶状结构。更一般的，如果一个映射只是有分支的覆盖，轨迹支轨迹和叶状结构交叉，则叶状结构可以被拉回(pull back)。

例3

若G{\displaystyle G}为李群，而H{\displaystyle H}通过将G的李代数的一个闭子代数指数化得到的子群，则 G{\displaystyle G}通过H{\displaystyle H}的陪集(coset)叶状化。

可积性

假设每个对象都是光滑的，叶状结构和向量场有紧密的关系:给定一个向量场X{\displaystyle X}在M{\displaystyle M}上，且处处不为0，其积分曲线给出一个1维叶状结构。(也就是余维n-1的叶状结构).

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

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

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

参看

Frobenius定理

G结构

用叶状结构分类空间

Reeb叶状结构

紧叶状结构(Taut foliation)

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。