叶状结构
在数学上,叶状结构()研究几何的一个工具。非正式地说,一个叶状结构是一种给流形穿的条纹织物的衣服。在流形的每个足够小的片上,这些条纹给了流形一个局部乘积结构。这个乘积结构不用在局部区域之外一致(也就是不用有良定义的整体结构):沿着一个条纹走足够远可能回到一个不同的邻近的条纹。
定义
正式來說,維流形中的維葉狀結構是一個由坐标卡和映射得到的覆疊空間,使得轉移映射具有如下形式:
其中是前個坐標,則是後個坐標,而映射的定義域和對應域為
在坐标卡上,条纹 常数和其他坐标卡上的条纹吻合.
技术上,这些条纹称为叶状结构的斑(plaques)。在每个坐标卡内,斑是维子流形。这些子流形从一个坐标卡到另一个坐标卡的拼起来就构成了最大连通子流形,称为叶状结构的叶(leaves)。
例子
例1
维空间,可以分层为前n-p个坐标为常数的点组成的子空间的积。这可以用一个坐标卡来覆盖。
例2
如是流形之间的覆盖,而是上的叶状结构,则它拉回到上成为一个叶状结构。更一般的,如果一个映射只是有分支的覆盖,而分支轨迹和叶状结构交叉,则叶状结构可以被拉回(pull back)。
可积性
假设每个对象都是光滑的,叶状结构和向量场有紧密的关系:给定一个向量场在上,且处处不为0,其积分曲线给出一个1维叶状结构。(也就是余维n-1的叶状结构).
这个事实可以推广到Ferdinand Georg Frobenius(弗罗贝尼乌斯)的一个定理 (Frobenius定理), 它说一个分布(也就是,切丛的一个n-p维子丛)和一个叶状结构的叶相切的充分必要条件是和该分相切的向量场的集合在李括号下封闭。也可以用不同的表达,把它作为切丛的结构群从到一个可归约子群的约化(reduction)。
Frobenius定理的条件象可积性条件一样;它断言如果那些条件满足归约可以发生因为满足所需的块结构的局部变换函数存在。
这是一个全局叶状结构理论,因为有拓扑约束存在。例如在曲面情况,一个处处非0的向量场在可定向紧曲面上只有在曲面是环的情形存在。这是Poincaré-Hopf指标定理的结果,定理表明欧拉示性数在这种情况下必须为 0。
参看
- Frobenius定理
- G结构
- 用叶状结构分类空间
- Reeb叶状结构
- 紧叶状结构(Taut foliation)