行列式の導出について
だんだん日が短くなってきて、あぁ今年ももう終わりかと思うようになりました。夕日をぼんやり眺めていると、ふと「行列式ってなんだろう?」という疑問が湧いてきたのです。もちろん定義は頭に入っています。色んなやり方があり、様々な性質を示すことだって多分できます。でもその定義がどこから来るのかという疑問について、今まで一度たりとも考えたことはありませんでした。本やネットを調べてみました。しかし納得できる説明はありませんでした。強いて言えば、歴史的に長い時間を掛けて整理された式であるということが分かった位でした。なので自分で納得できる理解の仕方が欲しいなと思い、少し考えてみることにしました。
素朴な発想
行列論の源は、次の連立一次方程式を解く、ということにあったはずです。
これをと書いたのがスタートラインであり、与えられたに対して上の式を満たすを求めるという問題が、過不足のないのときに必ず解けるかが肝になります。
ひとまず解があることをすぐに判断できる簡単な状況から考えます。上三角の場合、つまりならを満たすときを考えてみます。
このとき、もしが成り立つならば、から順繰りに式を計算することで、件の問題は解けることが分かります。このことから、問題が可解であるかどうかを決定づける(determine)式として、
が妥当であることが分かります。今は形式的な議論なので、整域性などは深く考えないようにします。
一般的な行列式の定義
一般の連立方程式であっても上三角に変形できることは、数学科の学生に限らず、全ての大学生が等しく学ぶはずです。行目の式を倍して、各行に倍したものを加えることで、から行目の式からを「消去」できます。
ここで行目以降に着目してみます。
と置くことで得られる
についても同様な操作を行ってみます。再び
と置けば、結局
という上三角行列を得ることができます。
先の素朴な考察を思い出せば、一般的な行列に対しては
を計算すれば良いと分かります。
可換の場合
可換性を仮定して少し計算してみると、馴染みの深い式が出てきます。
のときはです。
のときはです。
を気合いで計算すると、
となります。
式の形から、次の予想が成り立ちます。
定理 可換性を仮定すれば、
が成り立つ。ただしは文字の置換全体を動く。
(証明)に関する帰納法で示す。まず
であるから、帰納法の仮定より
が従う。和を前に出すと、中身は
となる。もし異なるがあれば、とすると、に対してだから、符号のみがずれて、お互いに打ち消し合ってしまう。故に
を得る。前は添え字に関係しない部分、後ろは添え字のとを互換したものに相当するから、これは
に等しい。
まとめ
上記の考察から、連立方程式の可解性を決定する式という素朴な発想から、行列式の通常の定義を導くことができました。いつも天下り的に定義するのが不満だったのですが、一応納得できそうな屁理屈を述べることができたのではないかと思います。帰納的定義など、他の方法でもこのような意味付けができるかは不明です。