格拉斯曼流形

✍ dations ◷ 2025-04-26 13:00:27 #微分几何,射影几何,代数齐性空间,代数几何

在数学中,格拉斯曼流形是一个向量空间 的给定维数的所有线性子空间。例如,格拉斯曼流形 1() 是 中过原点直线的空间,从而与射影空间 P 相同。格拉斯曼流形以赫尔曼·格拉斯曼命名。

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

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

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

最简单的非射影空间格拉斯曼流形是 G r 2 ( 4 ) {\displaystyle \mathrm {Gr} _{2}(4)} 维空间中的 平面。

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

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

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

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

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

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

r() 上一个度量,这里 {\displaystyle \lVert \cdot \rVert } 任意且将 () 视为一个代数群,则这种构造说明格拉斯曼是一个非奇异代数簇。还可以证明 是一个抛物型子群(英语:parabolic subgroup),由此得出 r() 完备。

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

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

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

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

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

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

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

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

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

这里是这种技术的一个例子。考虑确定 χ ( G n , r ) {\displaystyle \chi (G_{n,r})} -维子空间的格拉斯曼流形。取定 R n {\displaystyle \mathbb {R} ^{n}} -维子空间是否包含 R {\displaystyle R} -维向量丛。这样给出递归公式:

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

这个测度在群 O ( n ) {\displaystyle O(n)} 的作用下不变,即 γ n , r ( g A ) = γ 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 ( G n , r ) = 1 {\displaystyle \gamma _{n,r}(G_{n,r})=1} 。另外 γ n , r {\displaystyle \gamma _{n,r}} 关于度量空间拓扑是一个拉东测度(Radon measure),且每个相同半径(关于这个度量)的球有相同的测度——在此意义下该测度是一致的。

相关

  • 中国雾霾事件中国雾霾事件(英语:China haze)又称中国霾害是指近代中国快速发展所造成的空气污染事件。中国大陆自1970年代末期,逐步改革开放、发展经济。随着工业活动迅速增多、人们生活逐步
  • 荷兰足球甲级联赛荷兰足球甲级联赛(荷兰文:Eredivisie,简称荷甲)是荷兰最高级别足球联赛。1950年前荷兰只有四个地区足球联赛,当中各区最优秀的球队可以晋级参加全国锦标赛,锦标赛采取联赛形式进行
  • 新竹县政府坐标:24°49′37″N 121°00′46″E / 24.826921°N 121.012895°E / 24.826921; 121.012895新竹县政府是中华民国台湾省新竹县最高层级的地方行政机关,在中华民国政府架构中
  • 钱毅平钱毅平(1960年11月-),江苏省吴江县人。中国人民解放军少将。曾任中国人民解放军总装备部某试验训练基地后勤部部长、副司令员。2010年7月,任中国人民解放军总装备部后勤部副部长,
  • 特别调查厅特别调查局,也译作特别调查厅,是隶属于泰国司法部,独立于泰国皇家警察,负责专案(special case)侦察的机构。包括复杂的刑事案件、危害国家安全的案件、有组织犯罪案件、高级政府官
  • 主宾型配列主宾型配列(Nominative–accusative alignment),也称为主宾格配列、对格配列或受格配列,是一类配列方式,即在句法或形态上,将不及物动词的单一变元和及物动词的施事论元同等对待(S=
  • 麦尔威·杜威麦尔威·杜威(英语:Melvil Dewey,1851年12月10日-1931年12月26日)是图书馆使用的杜威分类法的发明家。1874年杜威于阿默斯特学院毕业。他从1874年到1877年在阿默斯特任图书馆助手
  • 萨塔诺夫卡战役 拿破仑·波拿巴 米哈伊尔·库图佐夫 萨塔诺夫卡战役是拿破仑一世进攻俄国的首场战争,1812年6月13日,法军越过涅曼河进入俄国萨塔诺夫卡地区。当时驻守萨塔诺夫卡的维特根斯
  • 古菱齿象属古菱齿象属(学名:)是长鼻目象科中已灭绝的一个属,包含了许多不同的菱齿象物种。此类物种的化石仍然在德国的 Blizingsleben、塞浦路斯、日本、西西里岛、马耳他中被继续发掘出来
  • 安德烈·科林巴安德烈-迪厄多内·科林巴(法语:André-Dieudonné Kolingba)(1936年8月12日-2010年2月7日) 是中非共和国第四任总统(1981年9月1日- 1993年10月1日在任),军事强人。生于中非首都班吉,曾