數學中，一個辛矢量空間是帶有辛形式 ω 的向量空間 _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 。



標準辛空間

標準辛空間 R2_n_ 帶有由一個非奇異斜對稱矩陣給出的辛形式 ω。典型地，ω 寫成矩陣形式表為分塊矩陣

　
: $\omega ={\begin{bmatrix}0&I_{n}\\-I_{n}&0\end{bmatrix}}$

這裡 _I_n 是 _n_ × _n_ 單位矩陣。用基向量表示

　
: $(x_{1},\ldots ,x_{n},y_{1},\ldots ,y_{n})$ :

　
: $\omega (x_{i},y_{j})=-\omega (y_{j},x_{i})=\delta _{ij}\,$

　
: $\omega (x_{i},x_{j})=\omega (y_{i},y_{j})=0.\,$

一個經過修改的正交化過程指出任何有限維辛向量空間都有這樣一組基，經常稱為達布基或辛基底。

有另外一種方式理解標準辛形式。因上面所使用的帶有標準結構的模型空間 Rn 容易導致誤會，我們用一個「匿名」空間替代之。設 _V_ 是一個 _n_- 維實向量空間，_V_∗ 為其對偶空間。現在考慮直和 _W_ := _V_ ⊕ _V_∗，帶有如下形式：

　
: $\omega (x\oplus \eta ,y\oplus \xi )=\xi (x)-\eta (y).$

選取 _V_ 的任何一組基 (_v_1, …, _v_n) ，考慮其對偶基

　
: $(v_{1}^{*},\ldots ,v_{n}^{*}).$

我們能將基理解成在 _W_ 中的向量。若記 _x_i = (_v_i, 0) 和 _y_i = (0, vi∗)，將它們放在一塊，組成了 _W_ 一組完整的基，

　
: $(x_{1},\ldots ,x_{n},y_{1},\ldots ,y_{n}).$

這裡定義的形式 $\omega $ 可以證明具有本節最初的那些性質，換句話說，每一個辛結構都同構於一個形如 _V_ ⊕ _V_∗的形式。

對子空間 _V_ 的選擇不是唯一的，對 _V_ 選擇的過程稱為極化. 給出了一個這樣的同構的子空間稱為一個拉格朗日子空間或簡稱拉氏子空間.

更加明確的說，給定一個拉氏子空間 (如之前定義), 那麼對基 $(x_{1},\ldots ,x_{n})$ 的選擇，通過性質 $\omega (x_{i},y_{j})=\delta _{ij}.$ 決定了對應的一組對偶基.

類比複結構

每一個辛結構都同構於一個形如 _V_ ⊕ _V_∗的形式，（某個向量空間上的）每一個複結構都同構於一個形如 _V_ ⊕ _V_∗的形式。利用這些結構，一個 _n_- 維流形的切線束，看做一個 2_n_- 維流形，擁有一個殆複結構，並且一個 _n_- 維流形餘切叢，看做一個 2_n_- 維流形，擁有一個辛結構: $T_{*}(T^{*}M)_{p}=T_{p}(M)\oplus (T_{p}(M))^{*}.$

拉格朗日子空間在複空間中的類似物是其實部構成的實子空間，這個實子空間的復化則是全空間 _W_ = _V_ ⊕ _J'V_。



體積形式

設 ω 是一個 _n_- 維實向量空間 _V_ 上的形式，ω ∈ Λ2(_V_)。那麼 ω 非退化若且唯若 _n_ 是偶數，且 ωn/2 = ω ∧ … ∧ ω 是一個體積形式。_n_- 維向量空間 _V_ 上的體積形式是（惟一） _n_- 形式 _e_1∗ ∧ … ∧ _e_n∗ 非零乘積，這裡 _e_i 是 _V_ 上的標準基。

對上一節定義的標準基，我們有

　
: $\omega ^{n}=(-1)^{n/2}x_{1}^{*}\wedge \ldots \wedge x_{n}^{*}\wedge y_{1}^{*}\wedge \ldots \wedge y_{n}^{*}.$

重排即

　
: $\omega ^{n}=x_{1}^{*}\wedge y_{1}^{*}\wedge \ldots \wedge x_{n}^{*}\wedge y_{n}^{*}.$

定義 ωn 或 (−1)n/2ωn 為標準體積形式。也許會有一個因子 _n_!，這取決於外形式定義的反對稱化是否包含因子 _n_!。體積形式定義了辛向量空間 (_V_, ω) 的一個定向。



辛映射

假設 $(V,\omega )$ 和 $(W,\rho )$ 是辛向量空間，那麼線性映射 $f:V\rightarrow W$ 稱為一個辛映射若且唯若拉回 $f^{*}$ 保持辛形式，即 $f^{*}\rho =\omega $ 。拉回形式的定義為：

　
: $f^{*}\rho (u,v)=\rho (f(u),f(v))$

從而 _f_ 是一個辛映射若且唯若

　
: $\rho (f(u),f(v))=\omega (u,v)$

對 _V_ 中所有 _u_ 和 _v_ 成立。特別的，辛映射保持體積形式，保定向，是同構。



辛群

如果 _V_ = _W_，則一個辛映射稱為 _V_ 上的線性辛轉換。特別的，在這種情形我們有：

　
: $\omega (f(u),f(v))=\omega (u,v)\;,$

從而線性轉換 _f_ 保持辛形式。所有辛轉換的集合組成一個群，且是一個李群，稱為辛群，記作 Sp (_V_) 或者 Sp (_V_,ω) 。辛轉換的矩陣形式由辛矩陣給出。



子空間

設 _W_ 是 _V_ 的一個線性子空間，定義 _W_ 的辛補（空間）為子空間：

　
: $W^{\perp }=\{v\in V\mid \omega (v,w)=0\;$ 對所有 $w\in W\}.$

辛補滿足

　
: $(W^{\perp })^{\perp }=W$

和

　
: $\dim W+\dim W^{\perp }=\dim V.$

但是，不像正交補餘， _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_ 之一半的迷向子空間。任何迷向子空間可以擴充為一個拉格朗日子空間。

對上面的標準向量空間 R2_n_，


* 由 {_x_1, _y_1} 生成的子空間是辛子空間；

* 由 {_x_1, _x_2} 生成的子空間是迷向子空間；

* 由 {_x_1, _x_2, …, _x_n, _y_1} 生成的子空間是余迷向子空間；

* 由 {_x_1, _x_2, …, _x_n} 生成的子空間是拉格朗日子空間。



其它性質

注意到辛形式滿足正則對易關係，從而辛向量空間的加法群有個中心擴張，這個中心擴張恰是海森伯群。



又見


* 辛流形是每一點的切空間上帶有光滑「閉」辛形式的光滑流形；

* 辛表示是一個群元素的作用都是辛變換的群表示；

* 馬斯諾夫指標。



腳註與參考


* Ralph Abraham and Jarrold E. Marsden, _Foundations of Mechanics_, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X _See chapter 3_.

* J. 柯歇爾、鄒異明，辛幾何引論，科學出版社，1999 年 2 月。