斜交ベクトル空間
数学において、斜交ベクトル空間（しゃこうべくとるくうかん、）（シンプレクティックベクトル空間ともいう）とは、斜交形式（しゃこうけいしき、 シンプレクティック形式とも）と呼ばれる非退化反対称双線型形式 を備えたベクトル空間 のことである。
斜交形式の定義を明示的に書くと、以下を満たす双線形形式 である。
" が有限次元の場合は、その次元は偶数でなければならない。というのも、奇数次の反対称行列は行列式が零となり、すなわち非退化条件を満たさないからである。
基底を固定して考えると、 は行列で表現することができる。上記の 2 条件は、この行列が反対称かつ非特異でなければならないことを言っている。これは、斜交行列であることとは同一でない。斜交行列はこれと異なる概念である。非退化反対称双線形形式は、例えばユークリッド空間の内積の様な非退化「対称」双線形形式とはかなり異なった振る舞いをする。ユークリッド内積 は任意の非零ベクトル に対し を満たす一方、斜交形式 はその反対称性より を満たす。
標準斜交空間は、以下の斜交行列により与えられる斜交形式を有する である。
ここで、 は 次単位行列である。
したがって、標準基底
が成り立つ。
グラム・シュミットの正規直交化法を修正することにより、任意の有限次元斜交空間はこの様な基底を有することがわかる。これをダルブー基底という。
標準斜交形式を解釈するもう一つの方法がある。上記で使用したモデル空間 は、誤解の元となる様な多くの標準的構造を有するので、その代わり、一般化したベクトル空間を使うこととする。 を 次元の実ベクトル空間、 をその双対ベクトル空間とする。ここで、以下の形式を持つこれら空間の直和 を考える。
そして、" の任意の基底 formula_1 を取り、その双対基底
を考える。および と書くと、これら基底ベクトルが ' 内にあると解することができる。これらを一まとめにして考えると、' の完全な基底
が得られる。
ここで定義した形式 は、本節冒頭の形式と同一の特徴を有することを示すことができる。
を 次元実ベクトル空間 ' の形式 だとする。すると、 は ' が偶数のときに限り非退化であり、 は体積要素である。 を "n" 次元ベクトル空間 "V" の標準基底とするとき、"V" の体積形式とは、これらの積により一意に定まる " 形式 である。
前節で定義した標準基底を使うと、
である。順番を変え、
と書くことができる。筆者により、様々に または を標準体積形式として定義している。場合により、交代積の定義に因子 を含むか否かにより、因子 をかける場合もある。体積形式は、斜交ベクトル空間 の向きを定義する。
と を斜交空間とする。このとき、線形写像 は、引き戻し が斜交形式を保存する、つまり であるとき、斜交写像であるという。引き戻し形式は、
で定義されるから、 が斜交写像であることは、
と同値である。特に、斜交写像は体積を保存し、向きを保存し、また同型である。
のとき、斜交写像を の線形斜交変換という。この場合、
であり、線形変換 " は斜交形式を保存する。斜交変換全ての集合は群をなし、特にリー群になり、斜交群と呼ばれ、 あるいは と記す。行列の形式によると、斜交変換は斜交行列により与えられる。
' を ' の部分空間とする。' の斜交補空間を、
と定義する。斜交補空間は、
をみたす。しかし、直交補空間と異なり、 が になる必要はない。以下で、4 つに分類する。上記の標準的ベクトル空間 に照らすと、