有限体上の線形代数を探訪する ~ 直交補空間編 ~
前回の記事で有限体上の線形空間の定義の妥当性などを確認した。本稿ではその続きとして直交補空間について考えてみる。
なお、本稿で扱う線形空間は特に断らない限り有限次元であるとする。
ベクトルの直交性
直交補空間とは、平たく言えばある部分空間に属する全てのベクトルと直交するようなベクトル全体の集合から成るような部分空間である。そのため、直交補空間を定義するためには、まずベクトルが直交するとはどういうことかを定義しなければならない。
ベクトルが直交するというのは、内積が定められている計量線形空間であれば内積が0であることで定義される。では、有限体上の線形空間に対して内積を定義することはできるだろうか?
線形空間というのは次元さえ同じなら同型なので、最も基本的な線形空間であるに絞って考えてもバチは当たらないだろう。以前の記事でも述べたように、この空間には通常の意味での内積が定義できない。そのため、普通に考えるとベクトルの直交という概念は定義されないように思える。
双線形形式から定まる直交性
「というわけで、有限体上の線形空間には直交補空間という概念は存在しないということですね。めでたしめでたし。」としても良いのだが、どうやらここにはもう少し面白い話がありそうなことが分かった。
確かに内積を定義することはできなかったが、内積と似たような性質を持つ双線形形式を用意し、それを用いて直交性を定めるというアプローチがあるらしい。このアプローチによる直交補空間の定義をWikipedia[2]より引用する。
で定義する。同様に、右直交補空間(right orthogonal complement)も定義される。
において通常の内積のような(成分同士の積の総和を取る)演算は、内積の公理は満たさないが双線形形式にはなっている。そのため、このアプローチによりベクトルの直交性を定め、一般的な直交補空間とでも言うべきものを定義することができる。
一般的な直交補空間の性質
前述のように直交補空間を定義することはできたわけだが、相変わらず同士の内積は0になるような体たらくなので、果たして数学的に意義のあるものと言えるのだろうか?それを考えるために、このように定義した直交補空間の性質について見ていこう。
WIkipedia[2]から一般的な直交補空間が持つ性質を引用する。
- 直交補空間は、の部分空間である;
- ならば が成立する;
- の(あるいはの)根基は、任意の直交補空間の部分空間である;
- が成立する;
- が非退化かつが有限次元ならば、が成立する。
ただし、は双線形形式である。
ここで、の(あるいはの)根基とは、双線形形式を用いて直交性を定めたときに、の任意のベクトルと直交するようなベクトルの集合のことである[3]。根基が自明であることと双線形形式が非退化であること(これについては後述)は同値である[3]。のベクトルに対する内積もどきは(これも後述するが)非退化であるため、有限体上の線形空間の根基は自明である。
また、が非退化であるとは、全てのに対してならば、であることを言う[4]。のベクトルに対する内積もどきは非退化になることを以下に示す。
まず、あるが存在し、全てのに対してが成立すると仮定する。このとき、の成分のうちいずれかは0ではない。これを第成分とすると、第成分が1、それ以外が0というベクトルとの内積は0にはならない。これは仮定に反するので、は非退化である。
このことから、に対してが成立すると言える。これについてはブログ[5]にも別の証明がある。
4点目について、の場合はが成立する。これはであること、およびから分かる[6]。
通常の直交補空間との違い
複素数体や実数体上の線形空間における通常の直交補空間の場合、はととの直和であるが、では必ずしもそうはならない。例えばについてという部分空間を考えると、という奇妙な結果になる。