無限の順序を指定する方法を考えるということがこのブログの1つの目的なのですが、そのためには数学の理論のイメージを持つ必要があると考えています。「声に出して読みたい…」というのが以前ありましたが、数学に置き換えると数式の操作を通じてイメージを得るということになるのでしょうか。そのための数式の操作の動画を作ることはできないかということを考えていきます。
普通の数式の操作の動画はすでに存在すると思われますので、ここでは帰納的な定義から導かれる操作について、論理プログラミング的な方法で操作をすることを考えていきます。論理プログラミング的な方法とは、「定義を書けば計算してくれる」のような意味です。ここではそのような計算ができる「エレファント電卓」を作っていって、そこで最終的に動画を作れるようにしたいと考えています。「エレファントなポアンカレ予想」の中で何でも計算でやるのは「エレファント」というのではないか、というようなことを書いたのでここでも「エレファント」という言葉を使いますが、本来の意味とは違うかもしれません。
ホモロジーの計算をやっていたら行列のランクの計算が出てきたので、まず行列のランクについて考えます。
行列のランク
体 の元を成分とする行列
の各行を とおきます。 をベクトル空間 の元(ベクトルと呼びます)と考えます。 の中の1次独立なベクトルの最大個数を行列 のランクと呼び と書きます。
を含む最小の の部分ベクトル空間(部分空間)を によって張られた部分空間と呼びます。ここでは と書きます。 となります。 は の次元となります。
ベクトル空間の基底の個数が1次独立な元の最大個数と一致することは「群論の計算(17)」でも説明しましたが、また後で説明することにします。 の次元は となります。
行列のランクの帰納的定義
とおきます()。、 とおきます。、、
となります。
行列の基本変形
とおきます。
- ある を の 倍 で置き換えたもので張られた部分空間を ( 番目が )とすると、 となります。
- ある を に とは異なる の 倍 を加えたもので置き換えたもので張られた部分空間を ( 番目が )とすると、 となります。
- ある と とは異なる を入れ替えたもので張られた部分空間を ( 番目が 、 番目が )とすると、 となります。
これらの操作
- 行列のある行 を 倍する
- 行列のある行 に別の行 の 倍を加える。
- 行列のある行 と別の行 を入れ替える。
を行列の基本変形と呼びます。上に書いた議論により行列の基本変形によって行列のランクは変わりません。
これは列に対しても成り立ちます。列に対する操作も行列の基本変形と呼びます。これも後で説明します。
階段行列
となる に対しては 行の成分は
- 先頭の 個の成分は
- 個目の成分は
で、 に対して であり、 となる に対しては 行の成分はすべて である
のような行列を階段行列と呼びます。
の 行までを階段行列に変形した行列 を帰納的に作っていきます。、 とおきます。 行までを階段行列に変形したとき 列まで階段行列に変形されているとします。
から を作ります。 の 成分を と書くことにします。
の成分がすべて であるとき は階段行列となります。階段行列になったとき が のランクとなります。とくに のとき は階段行列となります。
そうではないときは を作ります。
の成分がすべて である最大の をとります。
のときは であるような 行を 行に加えて(または行を入れ替えて)得られる行を
とすると、 となります。
- この行の各成分を で割った行を の 行、
- の 行から 行までの各行を、その行( 行)の各成分から の 行の 倍を引いたものを の 行から 行、
- の 行から 行までの各行を の 行から 行
としたものを とします。 とします。
この から への1回の変形は
- のときは「 行を 行に加える」または「 行と 行を入れ替える」
- 「 行を で割る」
- 行から 行までの 行に対して「 行から 行の 倍を引く」
という基本変形を続けたものになっています。
になれば階段行列になるので、この手順は 回以内に終了して階段行列ができます。
- 作者:毅, 森
- 発売日: 2020/01/10
- メディア: 文庫