韋玉程

(河池學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，廣西 宜州 546300)

迷向子空間與余迷向子空間

韋玉程

(河池學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，廣西宜州546300)

主要介紹了辛空間上的迷向與余迷向子空間的一些性質(zhì)，通過一個(gè)具體的例子說明向量空間的子空間成為迷向子空間的條件。

辛空間；迷向子空間；余迷向子空間

0 引言

物理學(xué)研究的重要性是不言而喻的，數(shù)學(xué)作為自然科學(xué)研究的工具與物理學(xué)的研究緊密結(jié)合，物理學(xué)的每一步發(fā)展離不開數(shù)學(xué)提供的武器，數(shù)學(xué)又從物理學(xué)的發(fā)展中獲得動(dòng)力和思想。幾何學(xué)是物理學(xué)借以發(fā)展的最古老的數(shù)學(xué)分支。Lagrange力學(xué)和Hamilton力學(xué)是分析力學(xué)的兩個(gè)主要觀點(diǎn)；Lagrange力學(xué)是基于變分原理，可直接推廣至廣義相對(duì)論框架；Hamilton力學(xué)是基于能量的概念，其與量子力學(xué)緊密相連。這兩種力學(xué)的數(shù)學(xué)模型是定義在流形上的切空間與余切空間的函數(shù)，構(gòu)成數(shù)學(xué)上辛幾何的主要研究對(duì)象。以分析力學(xué)為背景的辛幾何，產(chǎn)生于20世紀(jì)60年代，之后擴(kuò)展到更廣泛的泊松幾何，并成為分析力學(xué)的最好數(shù)學(xué)框架。由于極強(qiáng)的應(yīng)用背景，辛幾何倍受數(shù)學(xué)家與物理學(xué)家的重視，并在20世紀(jì)八九十年代得到飛速發(fā)展，形成一門具有豐富內(nèi)容的充滿無限生機(jī)的嶄新數(shù)學(xué)沃土。本文關(guān)注辛幾何中迷向子空間和余迷向子空間兩個(gè)基本概念，在明確概念的同時(shí)通過構(gòu)造具體的例子，為抽象的概念提供具體的模型。迷向子空間與余迷向子空間的相關(guān)性質(zhì)可參閱文獻(xiàn)[1-5]。

1 預(yù)備知識(shí)

V是n維向量空間，V*是其對(duì)偶空間。V上的r-形式α是向量空間V上的r重反對(duì)稱線性函數(shù)，即

α:V×…×V→,

?X1,…，Xr∈V,α(X1,…,Xr)∈,滿足Y1∈V，?i,j=1,…,r,α∈,

α(X1,…,aXi+Yi,…,Xr)=aα(X1,…,Xi,…,Xr)+α(X1,…,Yi,…,Xr);

α(X1,…,Xi,…,Xj,…,Xr)=-α(X1,…,Xj,…,Xi,…,Xr).

用Λr(V)表示所有r-形式的集合，并在其上定義加法和數(shù)乘：

(α+β)(X1,…,Xr)=α(X1,…,Xr)+β(X1,…,Xr);

(aα)(X1,…,Xr)=aα(X1,…,Xr),

其中α,β∈Λr(V),X1,…,Xr∈V.容易驗(yàn)證，Λr(V)構(gòu)成向量空間。顯然Λ1(V)=V*.規(guī)定Λ0(V)=.考慮分級(jí)向量空間Λ(V)，即直和：

Λ(V)=Λ0(V)⊕Λ1(V)⊕…⊕Λn(V),

在Λ(V)上定義外積：α∈Λp(V)，β∈Λq(V),αΛβ∈Λp+q(V),由下面定義：

其中σ(p·q)表示集合{1,2,…,p+q}的所有滿足如下條件的置換τ的全體

(1)τ(1)lt;τ(2)lt;…lt;τ(p);

(2)τ(p+1)lt;τ(p+2)lt;…τ(p+q).

Sng(τ)表示置換的符號(hào)，偶置換取正，奇置換取負(fù)。

設(shè)ω∈Λ2(V)是V上的一個(gè)2-形式，X,Y∈V，若ω(X,Y)=0，則稱X與Y在ω下正交。由2-形式的反對(duì)稱性，顯然有：?X∈V,ω(X,X)=0.設(shè)E?V為V的子空間，稱E在ω之下的正交補(bǔ)空間Eω為：

Eω={X∈V|ω(X，Y)=0，?Y∈E}.

它也是V的子空間。根據(jù)向量空間的結(jié)果有：dimEω=dimV-dimE.

Ker(ω)={X∈V|ω(X,Y)=0,?Y∈V}=Vω.

定義1：設(shè)V是n維實(shí)向量空間，一個(gè)非退化2-形式，即：ω∈Λ2(V)，且Kerω={0}，則稱ω是V上的一個(gè)辛形式或辛結(jié)構(gòu)。帶有辛結(jié)構(gòu)ω的向量空間V稱為一個(gè)辛空間，記為(V,ω).

定義2：設(shè)(V,ω)是辛空間，E?V是V的子空間，若E?Eω，則稱E是(V,ω)的迷向子空間；若Eω?E，則稱E是(V,ω)的余迷向子空間；若E=Eω，則稱E是(V,ω)的Lagrange子空間；若E∩Eω={0}，則稱E是(V,ω)的辛子空間。

2 定理與推論

這一小節(jié)，將給出辛空間上迷向與余迷向子空間的一些性質(zhì)，并通過一個(gè)具體例子了解迷向與余迷向子空間的結(jié)構(gòu)。

定理1：辛空間(V,ω)上的任一迷向子空間E一定包含在一個(gè)Lagrange子空間I中，并且有

證明：由{0}是迷向子空間，知迷向子空間是存在的。設(shè)I為包含迷向子空間E的最大迷向子空間(即E?I)，由I?Iω，有

dimI≤dim(Iω)=dimV-dimI.

于是

2dimI≤dimV.

若上面的不等式是嚴(yán)格的，則存在0≠e∈IωI，考慮I⊕e，顯然仍是(V,ω)的迷向子空間，且E?I⊕e.這與I是包含E最大的迷向子空間矛盾。從而

2dimI=dimV.

自然也就有dimI=dimIω.注意到I?Iω，于是

I=Iω.

即I是Lagrange子空間。定理得證。

從定理1中可直接得到如下的結(jié)論。

引理：(辛基的存在性定理)設(shè)(V,ω)是2n維辛空間，則在V中存在辛基底(稱為V上的一組辛基){e1,…,en,en+1,…,e2n}，使得，?i,j=1,…,n.

ω(ei,ej)=0,ω(en+i,en+j)=0,ω(ei,en+j)=δij.

本引理的證明見文獻(xiàn)[1]中命題2.2，值得一提的是，正如一般歐氏空間標(biāo)準(zhǔn)正交基存在并不唯一類似，一個(gè)辛空間的辛基并不唯一。

定理2：辛空間上的任一1維子空間一定是迷向子空間。

證明：設(shè)(V,ω)是2n維辛流形，由上面的引理，V存在辛基{e1,…,e2n}，不妨設(shè)E={e1}為V的任一1維子空間。?x,y∈E，設(shè)x=k1e1,y=k2e1，有ω(x,y)=ω(k1e1,k2e1)=k1k2ω(e1,e1)=0.所以x∈Eω，從而E?Eω，即E是迷向子空間。

定理3：2n維辛空間上的任一2n-1維子空間一定是余迷向子空間。

證明：設(shè)2n維辛空間(V,ω)有辛基{E1,…,e2n}，不妨設(shè)E=L{e1,…,e2n-1}為(V,ω)的任一2n-1維子空間。則V=E⊕e2n.

由于y的任意性，分別取y=e1,…,en-1，en+1,…,e2n-1,代入上式可得

an+1=…=a2n-1=an-1=…=a1=0.

故

x=anen+ke2n.

取y=en∈E，有

0=ω(x,y)=a2n.

從而x=anen∈E，即Eω?E.

從定理2與定理3知：對(duì)于2n維辛空間，其1維與2n-1維子空間分別是迷向與余迷向子空間。現(xiàn)在的問題是其它維數(shù)的子空間呢？為懂清楚這個(gè)問題，下面通過一個(gè)具體的2n維辛空間的例子作一番了解。

另一方面，從{e1,…,en}及{en+1,…,e2n}中任取r(rlt;n)個(gè)向量，生成的r維子空間Er一定是迷向子空間。事實(shí)上只注意到ω0(ei,ej)=0，及ω0(en+i,en+j)=0(i,j=1,…，n)，?x，y∈Er,ω0(x,y)=0，從而Er?Erω.

進(jìn)一步地，對(duì)任意的取自(e1,…,e2n)中的r(rlt;n)個(gè)向量生成的r維子空間Er=L{ej1,…,ejr}，若對(duì)Er中所有基向量下標(biāo)滿足：

ji≠jk(modn),(i≠k).

時(shí)，Er一定是迷向的。

定理4：若E是辛空間(V,ω)的迷向子空間，則Eω是(V,ω)的余迷向子空間；若E是(V,ω)的余迷向子空間，則Eω是(V,ω)的迷向子空間。

證明：注意到(Eω)ω=E.若E是迷向的，由E?Eω，有(Eω)ω?Eω；若E是余迷向的，由Eω?E,有Eω?(Eω)ω.

[1]賀龍光.辛幾何與泊松幾何引論[M].北京：首都師范大學(xué)出版社，2001.

[2]柯歇爾 J，鄒異明.辛幾何引論[M].北京：科學(xué)出版社，1986.

[3]STERNBERG S.辛幾何講義[M].李逸，譯.北京：清華大學(xué)出版社，2012.

[4]VITERBO C.An introduction to symplectic topology through sheaf theory[M].New York ：Spring ，2011 .

[5]WEINSTEIN A.Lectures on symplectic manifolds[M].New York ：Amer.Math.Aco.，1997 .

2017-09-25

[責(zé)任編輯姚勝勛]

IsotropicandCoisotropicSubspaces

WEIYucheng

(SchoolofMathematicsandStatistics，HechiUniversity，Yizhou，Guangxi546300，China)

In this paper，some properties of isotropic and coisotropic subspaces in symplectic spaces are introduced，and obtain that the condition isotropic subspaces for vector spaces via a specific example.

symplectic space；isotropic subspace；coisotropic subspace.

O186

A

1672-9021(2017)05-00060-04

韋玉程(1966-)，男(壯族)，廣西鳳山人，河池學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院副教授，博士，主要研究方向：臨界點(diǎn)理論。

廣西教育廳教改項(xiàng)目(2017JGA282；2016JGA315)；河池學(xué)院科研啟動(dòng)基金項(xiàng)目(XJ2015KQ003)。