斜交ベクトル空間

斜交ベクトル空間とは

数学の分野において、斜交ベクトル空間（英: Symplectic Vector Space）とは、特別な性質を持つベクトル空間のことを指します。この空間は、反対称性と非退化性という二つの重要な条件を満たす斜交形式を持っています。具体的には、Vをベクトル空間、ωをその斜交形式とした場合、以下の条件が要求されます。

• - 反対称性: 任意のベクトルu, vについて、ω(u, v) = -ω(v, u)が成り立ちます。
• - 非退化性: ω(u, v) = 0が全てのvに対して成り立つ場合、uはゼロベクトルでなければなりません。これにより、Vは無次元ではないとされます。

このような斜交ベクトル空間は、有限次元の場合、必ず偶数次元である必要があります。これは、反対称行列が持つ性質から導かれ、奇数次の行列は行列式がゼロになるためです。基底を選ぶことで、ωは具体的な行列として表すことができ、これにより形式の特性を具体的に考察することが可能です。

標準斜交空間

標準斜交空間は、特定の斜交行列を通じて定義されるR2nに属します。ここで、イデンティティ行列Inはn×n次元を持つ単位行列です。この空間においては、特定の基底のもとで標準的な斜交形式が確立されます。さらに、任意の斜交空間は、グラム・シュミットの正規直交化法を用いることで、このような基底を持つことが知られています。この基底を「ダルブー基底」と呼びます。

また、標準斜交形式を研究するもう一つの方法は、R2nの代わりに一般化されたベクトル空間を用いることです。この場合、実ベクトル空間Vとその双対空間Vを考え、それらの直和W = V ⊕ Vに基づいて新たな斜交形式を定義します。基底を適用し、この空間の中での基底ベクトルを整理することで、Wの整合した基底を得ることが出来ます。

体積形式

体積形式は、斜交空間において特に重要な役割を果たします。一般に、ωをn次元実ベクトル空間Vの形式ω∈Λ²(V)とした場合、nが偶数のときにωは非退化的であり、ω^(n/2)が体積要素を形成します。Vの標準基底e1, …, enを用いることで、体積形式はこれらのベクトルの積によって一意に決定されます。

斜交写像

二つの斜交空間(V, ω)と(W, ρ)があるとき、線形写像f: V → Wが斜交形式を保存する場合、fは斜交写像とされます。これは、引き戻し形式f*が斜交形式を保つことで保証され、特に体積を保存し、向きを保持します。さらに、斜交写像はその導出に際して同型的です。

斜交群

同じ空間V = Wにおける斜交写像は、Vの線形斜交変換として扱われます。一つの簡潔な表現で、これらのすべての変換をまとめた群は斜交群（Sp(V)またはSp(V, ω)）と呼ばれます。この群はリー群としても知られており、行列によって表現することもできます。

部分空間

Vの部分空間Wに対して、その斜交補空間はW⊥と定義されます。この補空間は特定の条件を満たさなくてはならず、直交補空間とは異なり、WとW⊥の交わりが零ベクトルでない可能性があります。

部分空間の種類は以下の四つに分類されます:
1. 斜交的: W⊥ ∩ W = {0}を満たすとき。
2. 等方的: W⊆ W⊥である場合。すべての一次元部分空間はこの性質を有します。
3. 余等方的: W⊥ ⊆ Wで、商空間が非退化の形式に移るとき。
4. ラグランジュ的: Wが等方的かつ余等方的である場合。有限次元空間においてこうした部分空間は、Vの次元の半分を持ちます。

この概念は、標準斜交空間においても確認でき、斜交的、等法的、余等方的、ラグランジュ的な部分空間がどのように存在するかを示しています。

まとめ

斜交ベクトル空間は、数学において非常に興味深く、かつ重要な構造であり、様々な理論や応用に関連しています。特に、滑らかな多様体や群の表現といった分野において、斜交形式は不可欠な道具となります。これらの理論は、現代の数学や物理学における進展に大きく寄与しています。

もう一度検索