退化形式

退化双線型形式と非退化形式の概要

数学の分野、とりわけ線型代数学では、退化双線型形式は非常に重要な概念です。ここでは、ベクトル空間 V 上の退化双線型形式 f(x, y) について詳しく見ていきます。

退化双線型形式とは

退化双線型形式とは、V からその双対空間 V* への自然な写像が同型ではない双線型形式を指します。ここで、写像は次のように与えられます。

$$v
ightarrow (x
ightarrow f(x, v))$$

ここで、V が有限次元の場合、この形式は非自明な核を持つという別の視点からも定義されます。すなわち、V に存在する0でない元 x があって、すべての y ∈ V に対して、次の条件を満たします：

$$f(x, y) = 0$$

非退化形式

対照的に、非退化形式（あるいは非特異形式）とは、退化でない双線型形式のことを指します。この場合、写像は同型であり、有限次元では以下が成り立ちます：

$$f(x, y) = 0$$

が成り立つ場合、x は必ず0である必要があります。これは、非退化である場合、表現の方法として非常に重要です。

行列式と関連性

V が有限次元であれば、与えられた基底に関連して、双線型形式が退化していることは、対応する行列の行列式が0であることと同値です。このため、退化形式は特異形式（singular form）とも呼ばれ、逆に非退化形式は非特異形式（non-singular form）と呼ばれて、行列についての特性に基づいています。これらの理解は、基底の選び方によらずに成り立ちます。

関連する概念

さらに、退化と非退化の二つの形式に関連して、ユニモジュラー形式（unimodular form）や完全対（perfect pairing）などの重要な概念が存在します。こちらは体の上では一致しますが、一般の環上では必ずしも一致しないことがあるため、注意が必要です。

具体例

非退化形式の中で最も重要なものの一つは、内積です。内積はシンプレクティック形式の一般化であり、対称的な非退化形式として多様な場面で応用されます。リーマン多様体は、接空間に内積構造を持つ多様体として知られていますが、この性質を弱めると擬リーマン多様体が得られます。

無限次元の場合

無限次元のベクトル空間においても退化双線型形式を考えることが可能です。たとえば、連続関数からなる空間における形式は、次のように定義されます。

$$f( heta,
ho) = ext{∫}
ho(x) heta(x) dx$$

このように定義された形式は単射であれど全射ではありません。双対空間に存在するデータも異なるため、注意が必要です。

用語の解説

すべてのベクトルに対して双線型形式が自明にゼロになる場合、その形式は「完全退化（totally degenerate）」と呼ばれます。任意の双線型形式が与えられると、退化部分空間を形成するベクトルの集合が存在します。退化性と部分空間の自明性は同値の関係にあります。用語に関しては、「非退化」を示す用語として“anisotropic”や“isotropic”が用いられることもあるため、文脈に注意が必要です。

このように、退化と非退化という概念は、線型代数学における重要な構造であり、数多くの数学的理論の基盤を成しています。

もう一度検索