辛向量空间
数学中,一个辛向量空间是带有辛形式ω 的向量空间 V,所谓辛形式即一个非退化斜对称的双线性形式。
基本介绍
- 中文名:辛向量空间
- 分类:线性代数、辛几何
- 领域:数理科学
定义
确切地说,一个辛形式是一个双线性形式 ω :V × V → R 满足:
- 斜对称:ω(u, v) = −ω(v, u),对所有 u, v ∈ V 成立;非退化:如果 ω(u, v) = 0 对所有 v ∈ V 成立,那幺 u = 0 。取定一组基,ω 能表示为一个矩阵。以上两个条件表明这个矩阵必须是斜对称非奇异矩阵。这不同于下面将介绍的辛矩阵,辛矩阵表示空间的一个辛变换。如果 V 是有限维的那幺维数必须为偶数,因为每个奇数阶斜对称矩阵的行列式为 0。非退化斜对称双线性形式和非退化“对称”双线性形式,比如欧几里得向量空间的内积,的表现非常不同。欧几里得内积 g,对任何非零向量 v,均有 g(v,v) > 0 成立;但是一个辛形式 ω 满足 ω(v,v) = 0 。
标準辛空间
标準辛空间带有由一个非奇异斜对称矩阵给出的辛形式 ω。典型地,ω 写成矩阵形式表为分块矩阵这里是 n × n 单位矩阵。用基向量表示一个经过修改的正交化过程指出任何有限维辛向量空间都有这样一组基,经常称为达布基或辛基底。有另外一种方式理解标準辛形式。因上面所使用的带有标準结构的模型空间 Rn 容易导致误会,我们用一个“匿名”空间替代之。设 V 是一个 n-维实向量空间,V∗ 为其对偶空间。现在考虑直和 W := V ⊕ V∗,带有如下形式:选取V的任何一组基 (v1, …,vn) ,考虑其对偶基我们能将基理解成在W中的向量。若记xi= (vi, 0) 和yi= (0, vi),将它们放在一块,组成了W一组完整的基,这里定义的形式可以证明具有本节最初的那些性质,换句话说,每一个辛结构都同构于一个形如V ⊕ V∗的形式。对子空间V的选择不是唯一的,对V选择的过程称为极化. 给出了一个这样的同构的子空间称为一个拉格朗日子空间或简称拉氏子空间.更加明确的说,给定一个拉氏子空间(如之前定义), 那幺对基的选择,通过性质类比复结构
每一个辛结构都同构于一个形如V ⊕ V∗的形式,(某个向量空间上的)每一个复结构都同构于一个形如V ⊕ V∗的形式。利用这些结构,一个n-维流形的切丛,看做一个2n-维流形,拥有一个殆复结构,并且一个n-维流形余切丛,看做一个2n-维流形,拥有一个辛结构:拉格朗日子空间在复空间中的类似物是其实部构成的实子空间,这个实子空间的复化则是全空间W = V ⊕ J'V。体积形式
设 ω 是一个 n-维实向量空间 V 上的形式,ω ∈ Λ2(V)。那幺 ω 非退化若且唯若 n 是偶数,且 ωn/2 = ω ∧ … ∧ ω 是一个体积形式。n-维向量空间 V 上的体积形式是(惟一) n-形式 e1∗ ∧ … ∧ en∗ 非零乘积,这里 ei 是 V 上的标準基。对上一节定义的标準基,我们有重排即定义 ωn 或 (−1)n/2ωn 为标準体积形式。也许会有一个因子 n!,这取决于外形式定义的反对称化是否包含因子 n!。体积形式定义了辛向量空间 (V, ω) 的一个定向。辛映射
假设和是辛向量空间,那幺线性映射称为一个辛映射若且唯若拉回保持辛形式,即。拉回形式的定义为:从而f是一个辛映射若且唯若对 V 中所有 u 和 v 成立。特别的,辛映射保持体积形式,保定向,是同构。辛群
如果 V = W,则一个辛映射称为 V 上的线性辛变换。特别的,在这种情形我们有:从而线性变换 f 保持辛形式。所有辛变换的集合组成一个群,且是一个李群,称为辛群,记作 Sp(V) 或者 Sp(V,ω) 。辛变换的矩阵形式由辛矩阵给出。子空间
设 W 是 V 的一个线性子空间,定义 W 的辛补(空间)为子空间:对所有辛补满足和但是,不像正交补, W⊥ ∩ W 不一定为 {0}。我们讨论四种情形:- W 是辛子空间,如果 W⊥ ∩ W = {0}。若且唯若 ω 在 W 上的限制是非退化时成立。带有限制形式的一个辛子空间本身也是一个辛向量空间。W 是迷向子空间,如果 W ⊆ W⊥。若且唯若 ω 限制在 W 上为 0 时成立。任何 1-维子空间都是迷向的。W 是余迷向子空间,如果 W⊥ ⊆ W。 W 是余迷向的若且唯若ω 在商空间 W/W⊥ 上非退化。等价地 W 是余迷向的若且唯若 W⊥ 是迷向的。任何余维数为 1 的子空间都是余迷向的。W 是拉格朗日子空间,如果 W = W⊥。一个子空间是拉格朗日的若且唯若它既是迷向又是余迷向的。在有限维向量空间,一个拉格朗日子空间是维数为 V 之一半的迷向子空间。任何迷向子空间可以扩充为一个拉格朗日子空间。对上面的标準向量空间,
- 由 {x1, y1} 生成的子空间是辛子空间;由 {x1, x2} 生成的子空间是迷向子空间;由 {x1, x2, …, xn, y1} 生成的子空间是余迷向子空间;由 {x1, x2, …, xn} 生成的子空间是拉格朗日子空间。
其它性质
注意到辛形式满足正则对易关係,从而辛向量空间的加法群有箇中心扩张,这箇中心扩张恰是海森伯群。本文地址: /jiaocheng/27409.html原创版权声明:本文发布于缘奇科普-奇怪的知识又增加了 内容均来源于百度 如有侵权联系删除上一篇:九孔被_百科
发表评论 (已有 条评论)
评论列表
快来评论,快来抢沙发吧~