族谱网 头条 人物百科

格拉斯曼流形

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:248
转发:0
评论:0
引言通过给定子空间一个拓扑结构可以谈论子空间的一个连续选取或子空间集合的一个开集或闭集;通过给它们一个微分流形结构可以考虑子空间的光滑选取。一个自然的例子来自嵌入在欧几里得空间中光滑流形的切丛。假设我们有一个r维流形M嵌入在Rn{\displaystyle\mathbb{R}^{n}}中。在M中的每一点x,M的切丛可以视为Rn{\displaystyle\mathbb{R}^{n}}的切空间(也是Rn{\displaystyle\mathbb{R}^{n}})的一个子空间。将x分配为它切空间定义了一个M到Grr(n)的映射。(为此我们需要平移M在x处的切空间到原点,从而定义了一个r-维向量子空间。这种想法非常类似于三维空间中曲面的高斯映射)。这种想法广泛地说可以推广到一个流形M所有向量丛,这样每个向量丛产生一个从M到一个合适的一般化格拉斯曼流形的连续映射——但是为此我们须证明不同的嵌入定理...

引言

通过给定子空间一个拓扑结构可以谈论子空间的一个连续选取或子空间集合的一个开集或闭集;通过给它们一个微分流形结构可以考虑子空间的光滑选取。

一个自然的例子来自嵌入在欧几里得空间中光滑流形的切丛。假设我们有一个 r 维流形 M 嵌入在 Rn{\displaystyle \mathbb {R} ^{n}} 中。在 M 中的每一点 x,M 的切丛可以视为 Rn{\displaystyle \mathbb {R} ^{n}} 的切空间(也是 Rn{\displaystyle \mathbb {R} ^{n}})的一个子空间。将 x 分配为它切空间定义了一个 M 到 Grr(n) 的映射。(为此我们需要平移 M 在 x 处的切空间到原点,从而定义了一个 r-维向量子空间。这种想法非常类似于三维空间中曲面的高斯映射)。

这种想法广泛地说可以推广到一个流形 M 所有向量丛,这样每个向量丛产生一个从 M 到一个合适的一般化格拉斯曼流形的连续映射——但是为此我们须证明不同的嵌入定理。我们然后发现我们的向量丛的性质与对应的映射视为连续映射的性质有关。特别的我们发现,具有同伦的映射的向量丛是同构的。但是同伦的定义依赖于一个连续的概念,从而一个拓扑。

历史

最简单的非射影空间格拉斯曼流形是 Gr2(4){\displaystyle \mathrm {Gr} _{2}(4)}。这是尤里乌斯·普吕克(Julius Plücker)研究的,做为射影三维空间中的直线,他通过普吕克坐标参数化了这个空间。赫尔曼·格拉斯曼将普吕克的工作一般化为 n 维空间中的 r 平面。

低维数

当 k = 2 时,格拉斯曼流形是所有过原点平面的空间。在三维欧几里得空间,一个平面完全由其一条垂线确定(反之亦然);从而 Gr2(3) 同构于 Gr1(3)(两者都同构于实射影平面)。

格拉斯曼流形作为集合

设 V 是域 k 上有限维向量空间。格拉斯曼流形 Grr(V) 是 V 的所有 r-维线性子空间。它也记做 Gr(V), Gr(r, V) 或 G(r, V)。如果 V 的维数为 n,则格拉斯曼流形也记做 Gr(r, n) 或 G(r, n)。

V 的向量子空间等价于射影空间 PV 的线性子空间,故等价地可将格拉斯曼流形视为 PV 的线性子空间之集合。当格拉斯曼流形看成这样时,经常记做 Grr−1(PV),Gr−1(PV),Gr(r−1, n−1) 或 G(r−1, n−1)。

格拉斯曼流形作为齐性空间

给格拉斯曼流形一个几何结构最快的方法是将其表述为一个齐性空间。首先,注意到一般线性群GL(V)传递作用于 V 的 r-维子空间上。从而,如果 H 是这个作用的稳定子,我们有:

如果底域是 R 或 C 且将 GL(V) 视为一个李群,则这个构造将格拉斯曼流形变为一个光滑流形。也可以利用其它群来构造。为此,取定一个 V 上的内积。在 R 上我们将 GL(V) 换成正交群O(V),通过限制到正交标架,我们有等式

在 C 上,我们将 GL(V) 换为酉群U(V)。这说明格拉斯曼流形是紧致的。这些构造也使格拉斯曼流形成为一个度量空间:对 V 的一个子空间 W,令 PW 是 V 到 W 的投影。则

是 Grr(V) 上一个度量,这里 ∥ ∥ -->⋅ ⋅ -->∥ ∥ -->{\displaystyle \lVert \cdot \rVert } 表示算子范数。

如果底域 k 任意且将 GL(V) 视为一个代数群,则这种构造说明格拉斯曼是一个非奇异代数簇。还可以证明 H 是一个抛物型子群(parabolic subgroup),由此得出 Grr(V) 完备。

普吕克嵌入

普吕克嵌入是格拉斯曼流形到一个射影空间的自然嵌入:

假设 W 是 V 的一个 r-维子空间 V。为了定义 ψ(W),取 W 的一组基 w1, ..., wr,然后设 ψ(W) 是这些基元素的楔积:

W 的一组不同基给出不同的楔积,但两个积只差一个非零数量(基变换矩阵的行列式)。因为右边取值于一个射影空间,ψ 是良定义的。为了说明 ψ 是一个嵌入,注意到可由 ψ(W) 重新得到 W,W 是所有向量 w 使得 w ∧ ψ(W) = 0。

格拉斯曼的这个嵌入满足一些非常简单的二次多项式称为普吕克关系。这说明了格拉斯曼流形作为一个一个代数子簇嵌入 P(∧V),这也给出构造格拉斯曼流形的另一个方法。为了表述普吕克关系,取 V 的两个 r-维子空间 W 和 Z,它们的基分别为 w1, ..., wr 和 z1, ..., zr。那么对任何整数 k ≥ 0,如下等式在 P(∧V) 的齐次坐标环中成立:

对偶性

V 的每个 r-维子空间 W 确定了 V 的一个 n-r-维商空间 V/W,这可写成短正合序列:

取这三个空间的对偶以及线性变换得出 (V/W)* 在 V* 中的包含,其商为 W*:

利用有限维向量空间与二次对偶的自然同构,说明再取一次对偶得到了原来的短正合序列。从而 V 的 r-维子空间与 V* 的 n-r-维子空间存在一一对应。用格拉斯曼流形表示,这是典范同构

取 V 与 V* 的一个同构确定了 Grr(V) 与 Grn−r(V) 的一个(非典范)同构。这个同构将一个 r-维子空间变为它的n−r-维正交补。

舒伯特胞腔

格拉斯曼流形]的一个详细研究将其分解为叫做舒伯特胞腔的子集,最先应用于计数几何(enumerative geometry)。Grr(n) 的舒伯特胞腔是用一个辅助性的旗(flag)定义:取子空间 V1, V2, ..., Vr,使得 Vi 包含于 Vi+1。然后,对 i = 1 到 r,我们考虑 Grr(n) 相应的子空间,由与 Vi 的交的维数至少为 i 的 W 组成。舒伯特胞腔的操作是舒伯特分析(Schubert calculus)。

这里是这种技术的一个例子。考虑确定 χ χ -->(Gn,r){\displaystyle \chi (G_{n,r})欧拉的欧拉示性的问题,这里是 Rn{\displaystyle \mathbb {R} ^{n}} 的 r-维子空间的格拉斯曼流形。取定 Rn{\displaystyle \mathbb {R} ^{n}} 的一个一维子空间 R{\displaystyle R},考虑 Rn{\displaystyle \mathbb {R} ^{n}} 的 r-维子空间是否包含 R{\displaystyle R},给出 Gn,r{\displaystyle G_{n,r}} 的一个分解。前者是 Gn− − -->1,r− − -->1{\displaystyle G_{n-1,r-1}},后者是 Gn− − -->1,r{\displaystyle G_{n-1,r}} 上一个 r-维向量丛。这样给出递归公式:

这里令 χ χ -->Gn,0=χ χ -->Gn,n=1{\displaystyle \chi G_{n,0}=\chi G_{n,n}=1}。如果解出这些递归关系,有公式:χ χ -->Gn,r=0{\displaystyle \chi G_{n,r}=0} 当且仅当 n{\displaystyle n} 是偶数且 r{\displaystyle r} 是奇数。另一方面,χ χ -->Gn,r=(⌊ ⌊ -->n2⌋ ⌋ -->⌊ ⌊ -->r2⌋ ⌋ -->).{\displaystyle \chi G_{n,r}={\lfloor {\frac {n}{2}}\rfloor \choose \lfloor {\frac {r}{2}}\rfloor }.}

伴随测度

当 V"" 是一个 n-维欧几里得空间,我们可以在 Gn,r{\displaystyle G_{n,r}} 上定义一个一致测度。设 θ θ -->n{\displaystyle \theta _{n}} 是正交群O(n){\displaystyle O(n)} 上的单位哈尔测度并取定 V∈ ∈ -->Gn,r{\displaystyle V\in G_{n,r}}。则对一个集合 A⊆ ⊆ -->Gn,r{\displaystyle A\subseteq G_{n,r}},定义

这个测度在群 O(n){\displaystyle O(n)} 的作用下不变,即 γ γ -->n,r(gA)=γ γ -->n,r(A){\displaystyle \gamma _{n,r}(gA)=\gamma _{n,r}(A)} 对所有 g∈ ∈ -->O(n){\displaystyle g\in O(n)} 成立。因为 θ θ -->n(O(n))=1{\displaystyle \theta _{n}(O(n))=1},我们有 γ γ -->n,r(Gn,r)=1{\displaystyle \gamma _{n,r}(G_{n,r})=1}。另外 γ γ -->n,r{\displaystyle \gamma _拉东测度}} 关于度量空间拓扑是一个拉东测度(Radon measure),且每个相同半径(关于这个度量)的球有相同的测度——在此意义下该测度是一致的。

另见

格拉斯曼流形应用的例子,在微分几何中参见高斯映射(Gauss map),在射影几何中参见普吕克坐标。

旗流形(Flag manifold)是格拉斯曼流形的推广,斯蒂弗尔流形是非常相关的。

给定一个特定的子空间类,我们可定义这种空间的格拉斯曼流形,比如拉格朗日格拉斯曼流形。

格拉斯曼流形给出了K-理论中的分类空间,特别是U(n)的分类空间(classifying space for U(n))。

参考文献

Joe Harris, Algebraic Geometry, A First Course, (1992) Springer, New York, ISBN 0-387-97716-3

Pertti Mattila, Geometry of Sets and Measures in Euclidean Spaces, (1995) Cambridge University Press, New York, ISBN 0-521-65595-1


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

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 黎曼流形
参看黎曼几何芬斯勒流形黎曼子流形假黎曼流形参考JurgenJost,RiemannianGeometryandGeometricAnalysis,(2002)Springer-Verlag,BerlinISBN3-540-4267-2
· 赫尔曼·格拉斯曼
生平赫尔曼·格拉斯曼是Justus·格拉斯曼的12个小孩中的第3个,Justus是一个在什切青文理中学教授数学和物理的牧师,赫尔曼在那里接受教育。格拉斯曼一直是个不起眼的学生,直到他在普鲁士大学的入学考试中获得了高分。从1827年开始,他在柏林大学学习神学,同时修习了古典语言、哲学和文学方面的课程;他似乎未曾学习数学或者物理课程虽然缺乏大学数学课程训练,数学却是他在1830年在柏林完成学业并返回什切青时最感兴趣的领域。经过一年准备,他参加了在文理中学教授数学的资格考试,但只取得了教低级别的资格。大约在这个时候,他做出了他的第一批重大数学发现,最终发展成1844年著作(以下简称A1,见参考资料)中的重要思想。1834年,格拉斯曼开始在柏林的Gewerbeschule教授数学。一年后,他返回什切青在一所新学校Otto中学教授数学、物理、德语、拉丁文和宗教。在接下来的四年中,格拉斯曼通过了能在中...
· 流形
简介理想化的地球是一个流形。越近看就越近似于平面(“大三角形”是曲边的,但右下角非常小的三角形就和平面上一样了)。流形可以视为近看起来象欧几里得空间或其他相对简单的空间的物体。例如,人们曾经以为地球是平的。这是因为相对于地球来说人类实在太小,平常看到的地面是地球表面微小的一部分。所以,尽管知道地球实际上差不多是一个圆球,如果只需要考虑其中微小的一部分上发生的事情,比如测量操场跑道的长度或进行房地产交易时,仍然把地面看成一个平面。一个理想的数学上的球面在足够小的区域上的特性就像一个平面,这表明它是一个流形。但是球面和平面的整体结构是完全不同的:如果在球面上沿一个固定方向走,最终会回到起点,而在一个平面上,可以一直走下去。回到地球的例子。像旅行的时候,会用平面的地图来指示方位。如果将整个地球的各个地区的地图合订成一本地图集,那么在观看各个地区的地图后,就可以在脑海中“拼接”出整个地球的景貌。为
· 子流形
形式化定义下面假设所有流形为C类微分流形,r≥1,并且所有映射为C类可微。浸入子流形浸入子流形,开区间的区间终点映射为箭头。流形M的浸入子流形是流形N,带有给定浸入f:N→M(f:N→f(N)是一个光滑映射,且其雅可比矩阵处处满秩)。因此,N在M中的像和N存在局域同胚。如果进一步要求N的度量和从M拉回的度量相同,则称等度浸入子流形。嵌入子流形嵌入子流形(也称正则子流形)是浸入子流形,其浸入映射为同胚。子流形拓扑和它的像(流形M的子集S)的子集拓扑相同。嵌入子流形也可以内蕴定义:令M为n-维流形,令k为整数,满足0≤k≤n。k-维嵌入子流形是子空间S⊂M使得,对每个点p∈S,存在图(U⊂M,φ:U→R)包含p满足φ(S∩U)是一个k-维平面和φ(U)的交。二元组(S∩U,φ|S∩U)构成S上微分结构的图册。子流形在李群理论现频繁,因为很多李群可以视为非退缩矩阵乘法群的子流形兼子群。其他变种文...
· 辛流形
线性辛流形有一个标准“局部”模型,也就是R,其中ωi,n+i=1;ωn+i,i=-1;ωj,k=0对于所有i=0,...,n-1;j,k=0,...,2n-1(k≠j+nandj≠k+n)。这是一个线性辛空间的例子。参看辛向量空间。一个称为达布定理的命题表明局部来看每个辛流形都和这个简单的辛流形相似。体积形式从定义可以直接得到每个辛流形M都是偶数维2n;这是因为ω是无处为0的形式,辛体积形式。由此可以得到,每个辛流形是有一个标准的定向的,并且有一个标准的测度,刘维尔测度(经常重整为ω/n!)。切触流形和辛流形紧密相关的有一个奇数维流形,称为切触流形。每个2n+1-维切触流形(M,α)给出一个2n+2-维辛流形(M×R,d(eα)).拉格朗日子流形辛流形的子流形有两个自然的几何概念,它们是辛子流形(可以是任何偶数维)和拉格朗日子流形(一半维度),其中辛流形要导出该子流形上的一个辛形式,而辛流...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信