查看“︁格拉斯曼流形”︁的源代码

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

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

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

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

=== 历史 ===
最简单的非射影空间格拉斯曼流形是 <math>\mathrm{Gr}_2(4)</math>。这是{{Link-en|尤里乌斯·普吕克|Julius Plücker}}研究的，做为射影三维空间中的直线，他通过[[普吕克坐标]]参数化了这个空间。[[赫尔曼·格拉斯曼]]将普吕克的工作一般化为 ''n'' 维空间中的 ''r'' 平面。

== 低维情况 ==
当 ''k'' = 2 时，格拉斯曼流形是收集所有过原点平面的集合。在三维欧几里得空间，一个平面完全由其一条[[垂线]]确定（反之亦然）；从而 ''Gr''<sub>2</sub>(3) 同构于 ''Gr''<sub>1</sub>(3)（两者都同构于[[实射影平面]]）。

== 格拉斯曼流形作为集合 ==
设 ''V'' 是[[体 (数学)|域]] ''k'' 上有限维向量空间。格拉斯曼流形 ''Gr''<sub>r</sub>(''V'') 是 ''V'' 的所有 ''r''-维线性子空间。它也记做 ''G''<sub>r</sub>(''V'')， ''Gr''(''r'', ''V'') 或 ''G''(''r'', ''V'')。如果 ''V'' 的维数为 ''n''，则格拉斯曼流形也记做 ''Gr''(''r'', ''n'') 或 ''G''(''r'', ''n'')。

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

== 格拉斯曼流形作为齐性空间 ==
给格拉斯曼流形一个几何结构最快的方法是将其表述为一个[[齐性空间]]。首先，注意到[[一般线性群]] ''GL''(''V'')[[传递作用|传递]][[群作用|作用]]于 ''V'' 的 ''r''-维子空间上。从而，如果 ''H'' 是这个作用的[[群作用#轨道和稳定子|稳定子]]，我们有：
:''Gr''<sub>r</sub>(''V'') = ''GL''(''V'')/''H''.

如果底域是 '''R''' 或 '''C''' 且将 ''GL''(''V'') 视为一个[[李群]]，则这个构造将格拉斯曼流形变为一个[[光滑流形]]。也可以利用其它群来构造。为此，取定一个 ''V'' 上的[[内积]]。在 '''R''' 上我们将 ''GL''(''V'') 换成[[正交群]] ''O''(''V'')，通过限制到正交标架，我们有等式
:''Gr''(''r'', ''n'') = ''O''(''n'')/(''O''(''r'') &times; ''O''(''n''&minus;''r'')).
在 '''C''' 上，我们将 ''GL''(''V'') 换为[[酉群]] ''U''(''V'')。这说明格拉斯曼流形是[[紧致]]的。这些构造也使格拉斯曼流形成为一个[[度量空间]]：对 ''V'' 的一个子空间 ''W''，令 ''P''<sub>W</sub> 是 ''V'' 到 ''W'' 的投影。则
:<math>d(W, W') = \lVert P_W - P_{W'} \rVert,</math>
是 ''Gr''<sub>r</sub>(''V'') 上一个度量，这里 <math>\lVert\cdot\rVert</math> 表示[[算子范数]]。

如果底域 ''k'' 任意且将 ''GL''(''V'') 视为一个代数群，则这种构造说明格拉斯曼是一个[[代数簇的奇异点|非奇异]][[代数簇]]。还可以证明 ''H'' 是一个{{Link-en|抛物型子群|parabolic subgroup}}，由此得出 ''Gr''<sub>r</sub>(''V'') [[完备代数簇|完备]]。

== 普吕克嵌入 ==
{{main|普吕克嵌入}}
普吕克嵌入是格拉斯曼流形到一个射影空间的自然嵌入：
:<math>\psi : \mbox{Gr}_r(V) \rightarrow \mathbf{P}(\wedge^r V).</math>
假设 ''W'' 是 ''V'' 的一个 ''r''-维子空间 ''V''。为了定义 &psi;(''W'')，取 ''W'' 的一组基  ''w''<sub>1</sub>, ..., ''w''<sub>r</sub>，然后设 &psi;(''W'') 是这些基元素的楔积：
:&psi;(''W'') = ''w''<sub>1</sub> &and; ... &and; w<sub>r</sub>.
''W'' 的一组不同基给出不同的楔积，但两个积只差一个非零数量（基变换矩阵的行列式）。因为右边取值于一个射影空间，&psi; 是良定义的。为了说明 &psi; 是一个嵌入，注意到可由 &psi;(''W'') 重新得到 ''W''，''W'' 是所有向量 ''w'' 使得 ''w'' &and; &psi;(''W'') = 0。

格拉斯曼的这个嵌入满足一些非常简单的二次多项式称为普吕克关系。这说明了格拉斯曼流形作为一个一个代数子簇嵌入 '''P'''(&and;<sup>r</sup>''V'')，这也给出构造格拉斯曼流形的另一个方法。为了表述普吕克关系，取 ''V'' 的两个 ''r''-维子空间 ''W'' 和 ''Z''，它们的基分别为 ''w''<sub>1</sub>, ..., ''w''<sub>r</sub> 和 ''z''<sub>1</sub>, ..., ''z''<sub>r</sub>。那么对任何整数 k &ge; 0，如下等式在 '''P'''(&and;<sup>r</sup>''V'') 的[[齐次坐标环]]中成立：
:<math>(w_1 \wedge \cdots \wedge w_r)\cdot(z_1 \wedge \cdots \wedge z_r) - \sum_{i_1 < \cdots < i_k} (v_1 \wedge \cdots \wedge v_{i_1 - 1} \wedge w_1 \wedge v_{i_1 + 1} \wedge \cdots \wedge v_{i_k - 1} \wedge w_k \wedge v_{i_k + 1} \wedge \cdots \wedge v_r)\cdot(v_{i_1} \wedge \cdots \wedge v_{i_k} \wedge w_{k+1} \cdots \wedge w_r) = 0.</math>

== 对偶性 ==
''V'' 的每个 ''r''-维子空间 ''W'' 确定了 ''V'' 的一个 ''n''-''r''-维商空间 ''V''/''W''，这可写成[[短正合序列]]：
:<math>0 \to W \to V \to V/W \to 0.</math>
取这三个空间的[[对偶空间|对偶]]以及线性变换得出 (''V''/''W'')* 在 ''V''* 中的包含，其商为 ''W''*:
:<math>0 \to (V/W)^* \to V^* \to W^* \to 0.</math>
利用有限维向量空间与二次对偶的自然同构，说明再取一次对偶得到了原来的短正合序列。从而 ''V'' 的 ''r''-维子空间与 ''V''* 的 ''n''-''r''-维子空间存在一一对应。用格拉斯曼流形表示，这是典范同构
:<math>\mbox{Gr}_r(V) \cong \mbox{Gr}_{n-r}(V^*).</math>
取 ''V'' 与 ''V''* 的一个同构确定了 ''Gr''<sub>r</sub>(''V'') 与 ''Gr''<sub>n&minus;r</sub>(''V'') 的一个（非典范）同构。这个同构将一个 ''r''-维子空间变为它的''n''&minus;''r''-维[[正交补]]。

== 舒伯特胞腔 ==
格拉斯曼流形的一个详细研究将其分解为叫做'''舒伯特胞腔'''的[[子集]]，最先应用于{{Link-en|计数几何|enumerative geometry}}。''Gr''<sub>''r''</sub>(''n'') 的舒伯特胞腔是用一个辅助性的{{Link-en|旗 (线性代数)|flag (linear algebra)|旗}}定义：取子空间 V<sub>1</sub>, V<sub>2</sub>, ..., V<sub>''r''</sub>，使得 V<sub>''i''</sub> 包含于 V<sub>''i''+1</sub>。然后，对 ''i'' = 1 到 ''r''，我们考虑 ''Gr''<sub>''r''</sub>(''n'') 相应的子空间，由与 V<sub>''i''</sub> 的交的维数至少为 ''i'' 的 ''W'' 组成。舒伯特胞腔的操作是{{Link-en|舒伯特分析|Schubert calculus}}。

这里是这种技术的一个例子。考虑确定 <math> \chi(G_{n,r})</math> 的欧拉示性的问题，这里是 <math>\mathbb R^n</math> 的 ''r''-维子空间的格拉斯曼流形。取定 <math>\mathbb R^n</math> 的一个一维子空间 <math>R</math>，考虑 <math>\mathbb R^n</math> 的 ''r''-维子空间是否包含 <math>R</math>，给出 <math>G_{n,r}</math> 的一个分解。前者是 <math>G_{n-1,r-1}</math>，后者是 <math>G_{n-1,r}</math> 上一个 ''r''-维向量丛。这样给出递归公式：
:<math>\chi G_{n,r} = \chi G_{n-1,r-1} + (-1)^r \chi G_{n-1,r}\,</math>
这里令 <math>\chi G_{n,0} = \chi G_{n,n} = 1</math>。如果解出这些递归关系，有公式：<math>\chi G_{n,r} = 0</math> 当且仅当 <math>n</math> 是偶数且 <math>r</math> 是奇数。另一方面，<math>\chi G_{n,r} = {\lfloor \frac{n}{2} \rfloor \choose \lfloor \frac{r}{2} \rfloor }. </math>

== 伴随测度 ==
当 ''V'''' 是一个 ''n''-维欧几里得空间，我们可以在 <math> G_{n,r}</math> 上定义一个一致测度。设 <math>\theta_{n}</math> 是[[正交群]] <math>O(n)</math> 上的单位[[哈尔测度]]并取定 <math>V\in G_{n,r}</math>。则对一个集合 <math>A\subseteq G_{n,r}</math>，定义
:<math> \gamma_{n,r}(A)=\theta_{n}\{g\in O(n):gV\in A\}.</math>
这个测度在群 <math>O(n)</math> 的作用下不变，即 <math>\gamma_{n,r}(gA)=\gamma_{n,r}(A)</math> 对所有 <math>g\in O(n)</math> 成立。因为 <math>\theta_{n}(O(n))=1</math>，我们有 <math>\gamma_{n,r}(G_{n,r})=1</math>。另外  <math>\gamma_{n,r}</math> 关于度量空间拓扑是一个[[拉东测度]]（{{lang|en|Radon measure}}），且每个相同半径（关于这个度量）的球有相同的测度——在此意义下该测度是一致的。

== 另见 ==
* [[普吕克坐标]]
* {{Link-en|旗流形|Flag manifold}}
* {{Link-en|拉格朗日格拉斯曼流形|Lagrangian Grassmannian}}
* {{Link-en|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

{{DEFAULTSORT:Grassmannian}}
[[Category:微分几何]]
[[Category:射影几何]]
[[Category:代数齐性空间]]
[[Category:代数几何]]