斜交ベクトル空間

数学において、斜交ベクトル空間（しゃこうべくとるくうかん、）（シンプレクティックベクトル空間ともいう）とは、斜交形式（しゃこうけいしき、シンプレクティック形式とも）と呼ばれる非退化反対称双線型形式を備えたベクトル空間のことである。

斜交形式の定義を明示的に書くと、以下を満たす双線形形式である。反対称性：非退化性：が有限次元の場合は、その次元は偶数でなければならない。というのも、奇数次の反対称行列は行列式が零となり、すなわち非退化条件を満たさないからである。

基底を固定して考えると、は行列で表現することができる。上記の 2 条件は、この行列が反対称かつ非特異でなければならないことを言っている。これは、斜交行列であることとは同一でない。斜交行列はこれと異なる概念である。非退化反対称双線形形式は、例えばユークリッド空間の内積の様な非退化「対称」双線形形式とはかなり異なった振る舞いをする。ユークリッド内積は任意の非零ベクトルに対しを満たす一方、斜交形式はその反対称性よりを満たす。

標準斜交空間

標準斜交空間は、以下の斜交行列により与えられる斜交形式を有するである。

ここで、は次単位行列である。

したがって、標準基底

に対し、

が成り立つ。

グラム・シュミットの正規直交化法を修正することにより、任意の有限次元斜交空間はこの様な基底を有することがわかる。これをダルブー基底という。

標準斜交形式を解釈するもう一つの方法がある。上記で使用したモデル空間は、誤解の元となる様な多くの標準的構造を有するので、その代わり、一般化したベクトル空間を使うこととする。を次元の実ベクトル空間、をその双対ベクトル空間とする。ここで、以下の形式を持つこれら空間の直和を考える。

そして、の任意の基底を取り、その双対基底

を考える。およびと書くと、これら基底ベクトルが内にあると解することができる。これらを一まとめにして考えると、の完全な基底

が得られる。

ここで定義した形式は、本節冒頭の形式と同一の特徴を有することを示すことができる。

体積形式

を次元実ベクトル空間の形式だとする。すると、はが偶数のときに限り非退化であり、は体積要素である。を n 次元ベクトル空間 V の標準基底とするとき、V の体積形式とは、これらの積により一意に定まる形式である。

前節で定義した標準基底を使うと、

である。順番を変え、

と書くことができる。筆者により、様々にまたはを標準体積形式として定義している。場合により、交代積の定義に因子を含むか否かにより、因子をかける場合もある。体積形式は、斜交ベクトル空間の向きを定義する。

斜交写像

とを斜交空間とする。このとき、線形写像は、引き戻しが斜交形式を保存する、つまりであるとき、斜交写像であるという。引き戻し形式は、

で定義されるから、が斜交写像であることは、

と同値である。特に、斜交写像は体積を保存し、向きを保存し、また同型である。

斜交群

のとき、斜交写像をの線形斜交変換という。この場合、

であり、線形変換は斜交形式を保存する。斜交変換全ての集合は群をなし、特にリー群になり、斜交群と呼ばれ、あるいはと記す。行列の形式によると、斜交変換は斜交行列により与えられる。

部分空間

をの部分空間とする。の斜交補空間を、

と定義する。斜交補空間は、

および

をみたす。しかし、直交補空間と異なり、がになる必要はない。以下で、4 つに分類する。

のとき、は斜交的（）であるという。これは、のへの制限が非退化形式であるとき、かつそのときに限り成り立つ。この制限された形式を有する斜交部分空間は、それ自体が斜交ベクトル空間となる。のとき、は等方的（）であるという。これは、のへの制限が 0 あるとき、かつそのときに限り成り立つ。任意の一次元部分空間は、等方的である。のとき、は余等方的（）であるという。これは、が商空間の非退化形式に移るとき、かつそのときに限り成り立つ。同様に、が等方的、かつそのときに限り、は余等方的である。余次元が 1 の任意の部分空間は、余等方的である。のとき、はラグランジュ的（）であるという。部分空間は、等方的かつ余等法的であるとき、かつそのときに限り成りラグランジュ的である。有限次元ベクトル空間において、ラグランジュ的部分空間は、の次元の半分の次元を持つ等方部分空間である。任意の等方部分空間は、ラグランジュ的部分空間に拡張できる。

上記の標準的ベクトル空間に照らすと、の張る部分空間は、斜交的である。の張る部分空間は、等法的である。の張る部分空間は、余等法的である。の張る部分空間は、ラグランジュ的である。

斜交ベクトル空間

Źródło i licencja