占部実、光藤富士男編「代数・幾何教科書」共立出版社（1964年刊）の第4章、第5章からの引用です。ただし、解りやすくする為にかなり改変しています。これに続く第6章は別稿「座標変換と２次形式」で引用していますので適宜ご覧下さい。
１．行列式
（1）行列式の導入
1．二元連立１次方程式
２．三元連立１次方程式
３．行列式と面積
４．行列式と体積
５．練習
（２）ｎ次の行列式
１．偶順列と奇順列
２．行列式の表現
（３）行列式の性質
１．行と列の入れ替えに対して等価
２．行列式の性質
３．例
（４）余因数
１．小行列式と余因数
２．余因数と小行列式の関係
３．余因数展開
４．例（Vandermondeの行列式）
５．練習
（５）Cramerの公式
１．連立１次方程式
２．連立１次同次方程式
３．補足
４．Jordanの解法
５．例
６．練習
（６）行列式の積
１．行列式の積
２．連立１次同次方程式
３．例
４．練習
（７）章末演習問題
２．行列
（１）行列とその演算
１．行列とは
２．行列の加法と減法
３．行列の定数培
４．行列の乗法
５．練習
（２）特殊な行列
１．転置行列、対称行列、交代行列
２．対角行列、単位行列
３．列
４．練習
（３）逆行列
１．行列の除法と逆行列
２．行列の除法と積の交換可能性
３．練習
（４）行列の階数と連立１次方程式
１．一般の連立１次方程式
２．行列の階数
３．rankの性質
４．例
５．練習
（５）連立１次方程式
１．rankと解の関係
２．解法の実際
３．例
４．練習
（６）線形写像と行列
１．線形写像
２．線形写像と行列
３．線形写像と連立１次方程式
４．直交変換と直交行列
５．例
６．練習
（７）章末演習問題
３．参考文献
一般的な場合の公式は1.(5)1.の定理11で求める。そこの公式と比較してみられたし。
［補足説明］ （文献4．より）
上記説明の様に、“行列式”の理論はもともと連立1次方程式を解く手法として始まった。その紀元は古く9世紀頃のインドの数学・天文学者ブラーマゲプタの書や、その後の関孝和「解伏題之法（1683年）こちらも参照」やライプニッツの書などにもその萌芽が見られる。そして行列式を一般的に定義し、その性質を論じ始めたのはクラーメル（Cramer）です。
“行列式”を表す“deternimant”という語句はガウスが二次形式の理論において、今日“判別式”(detrminant）といっているものにつけた名称ですが、コーシーが行列式をその様に呼ぶことにして以来今日ではその名称が定着している。
歴史的には“行列式”の理論がはるかに先行しており、“行列”の理論はケーリー（Cayley）の1858年の論文から始まる。
“行列”を表す“matrix”という名称はシルヴェスタ（Sylvester）が付けたもので、彼は invariant、covariant、contravariant、eliminant、なども名付けた。
日本語で“行列”と名付けたのは高木貞治あたりに始まるようです。
ここは、別稿「ベクトルの内積と外積の成分表示」２．（４）［補足説明１］と［補足説明２］を参照されたし。
ここは、別稿「ベクトルの内積と外積の成分表示」２．（５）２．を参照されたし。
上記の“第２章の証明”とは下記のこと。
ここは、解りにくいので、ｎ＝4の場合を例示すると下記の様になる。
上記の様に、4個の異なるものから作られる順列は全部で4！＝24個あります。
［補足説明］ （文献3．より）
順列について以下の事が言える。
さらに、以下の事も言える。
上記の ｉｊｋ････ｍ は １～ｎ の整数を一列に並べたものです。
［補足説明］
別稿「ミンコフスキーの4次元世界」３．（５）［例２］で説明する様に、上記のεは、“完全反対称ｎ階相対テンソル”の ｎｎ個の成分 とみなすこともできます。そのときには上記のｎ！の成分以外はすべて 0 と見なすことになる。
その様に見なしたεを“Levi-Civitaのテンソル密度”と呼ぶ。
以下で行列式の基本的な性質を説明する。
定理３により、以下に述べる定理はすべて列に関しても成り立つ（列に関しての定理をまとめたものはこちら）。
定理6
“余因数”を“余因子”と言う場合もある。
［補足説明１］
上記の式変形は解りにくいので例で示すと
の様になる。
［補足説明２］
先ほどの例で余因数を示すと
となる。
このように、Ａ11の場合はたまたまですが、“余因数”と“小行列式”は一致します。
この様にすると、1.(3)2.で説明した行列式の性質定理6により、行列式Ｄは以下と等価となり
となる。
［補足説明1］
先ほどの例で示すと
の様になります。
［補足説明２］ （文献3．より）
ここは解りにくいので補足します。
まず、1.(2)1.［補足説明］の公式により以下の事が言えます。
あるいはこれに1．(3)1.の定理3を組み合わせて
となる。
これが言えれば、任意のα行中のβ列における要素ａαβに関して以下のことが言える。［拡大版］
これはα行について展開していますが、β列についても同様に展開できます。
前項1.(4)2.［補足説明２］で説明した様に、行列式Ｄは余因数Ａαβを用いて展開できる。
（５）、（６）式はさらに一般化して次の様に表現しても良い。
この定理10は、1.(5)1.の定理11の証明に用います。
（３）を、定理８を列に関して適用した後に、余因数展開の方法を用いて解く。
（４）を、1.(2)2.で説明した定義に従った方法で計算する。
この方法はとても煩雑なので、余因数展開で求めた方が良い。この行列式の余因数展開は1.(4)1．～2.ですでに求めているのでその結果を用いると
となる。
ここで1.(4)3.の定理10を繰り返し用いることにより
これは1.(1)1.～2.で求めた公式の一般化になっていることに注意されたし。
この逆が成り立つことは、1.(6)2.の定理14で証明する。
［補足説明］ （文献3．より）
定理12は次の形で使用される場合が多い。
上記［例５］はこちら
上記1.(3)3.［例１］はこちら
上記次節の証明はこちら
以下の［例５］は、1.(5)2.［補足説明］で説明した形の定理12についてのものです。
［補足説明］
ここは何が言いたいのか解らないと思います。２．（５）を学ばれた後で振り返られて下さい。
次の定理はとても重要です。また、証明が込み入っていますので、［補足説明1］を参照されながらお読み下さい。
下記で用いる1.(3)2.の定理４はこちら。ここの証明手順は重要です。
上記で用いた1.(3)3.の例２はこちら。この定理は2.(1)4.の定理１の証明に用いる。
［補足説明１］
定理13の（証明）は解りにくいので、ｎ＝3の場合を例に取って説明します。［拡大版はこちら］
以上はａｉｊについて展開した証明ですが、ｂｉｊについて展開しても同様に証明できます。
それについては ［こちらの拡大版］ を御覧下さい。
ｎ＝2の場合は、さらに解り易くなって下記のようになります。（文献3．より）
［補足説明２］ （文献3．より）
定理１３に類似の以下の定理も成り立つ。
［補足説明３］ （文献3．より）
上記［補足説明２］の定理を用いて定理13を証明することもできる。
ここで1.(5)2.の定理12の逆が成り立つことを証明する。
上記いいかえのための“1次従属”の性質は2.(4)2.［補足説明］の［例3］を参照。上記の別証定理８系はこちら
このように表現できることは、ｎ次元ベクトル空間における1次独立なベクトル ａ・1，ａ・2，・・・，ａ・ｎ と，一次独立な基底ベクトルの組 ｅ１，ｅ2，・・・，ｅｎ を考えて、互いに互いを成分表示できることを考えたら明らか。
下記で用いる定理14の系はこちら
注意 （ⅳ）の左辺の行列式をｆ（ｘ），ｇ（ｘ）の“終結式”という。
［補足説明］ （文献3．より）
［例６］は解りにくいので具体的な例を用いて少し違った角度から説明する。
下記で用いる1.(5)2.の［補足説明］はこちら
次の［例７］は重要です。別稿「余因子行列と逆行列の関係」１．（２）を読まれると下記証明が理解しやすい。
下記証明で用いる1.(4)3.定理10の（７）式はこちら
ここは、２．（３）１．［補足説明２］を参照されたし。
“行列”とは以下に述べる“演算の定義”とセットになって初めて定義できる量です。
この定理の前提として、
（結合法則）に関しては、Ａの列数とＢの行数は等しく且つ、Ｂの列数とＣの行数は等しい。
（分配法則）に関しては、Ａの列数とＢ及びＣの行数は等しい。
（分配法則）に関しては、Ａ及びＢの列数とＣの行数は等しい。
は当然成り立たっている事に注意して下さい。
次の 定理１ は重要です。
上記の証明に用いる１．（６）１．定理１３はこちらですが、“正方行列”どうしの積の場合は、“行列式”の積の成分計算式と同じに成りますから、上記の定理１が成り立つのは当然です。
［補足説明１］
このとき注意して欲しい事は、Ａ又はＢの一方がただの定数の場合、例えばただの数を α あるいは β としたとき
としてはいけないことです。
練習 問８の様に、ＡやＢが ｎ行正方行列 のときは
が正しい。
なぜなら、行列式の定数倍は、１．（３）２．で説明したように成分表示の一つの行あるいは一つの列に掛かるだけですが、行列の場合は、２．（１）３．で説明したようにすべての成分に掛かるからです。
ここは勘違いしやすいところですので特に注意！して下さい。
転置行列を表す記号“ｔ”を行列の右肩に付ける本も多いので注意されたし。
［補足説明］
単位行列に関係して定義される特殊行列について補足しておきます。
直交行列に関しては、２．（６）４．でもう少し説明します。
要するにユニタリー行列とは直交行列を複素数に拡張したものです。
要するにエルミート行列とは対称行列を複素数に拡張したものです。
以下の例は重要です。
上記の性質はＡの列数がｔＡの行数になり、Ｂの行数がtＢの列数になることに注意すれば明らかです。
ここは、別稿「曲面上の幾何学」３．（２）７．も参照されたし。
本節は、別稿「余因子行列と逆行列の関係」の3行3列行列の場合を参照しながら読まれると理解しやすいです。
上記の2.(1)4.の定理1はこちら。
以下で用いる１．（５）１．Cramerの公式（10）はこちら
上記の関係において ｘｉｊ と Ａｊｉ は添字 ｉｊ に関して互いに転置の関係になっていることに注意されたし。
他の列についても同様な手順を繰り返すと Ｘ＝（ｘｉｊ） の任意の列が求まる。
以下は、１．（６）３．［例７］の証明を復習されたし。
上で用いた１．（４）３．定理10の（７）式はこちら。
ここで、Ａの逆行列Ａ-1と元の行列Ａとの積は交換可能である事に注意。
以上をまとめると、次の定理２になる。
このとき、行列Ｘの（ｉ，ｊ）成分を構成する“余因数”は、ａ（ｉ，ｊ）行列の転置行列の位置（ｊ，ｉ）成分の“余因数”になっていることに注意されたし。
［補足説明１］
例えば、（３×３）行列
の（ｉ，ｊ）成分の“余因数”（余因子）を（ｊ．ｉ）成分［（ｉ，ｊ）成分ではなくその転置の位置］として並べた行列
を行列Ａの“余因数行列”（余因子行列）と言といい
で表す。
行列Ａの（ｉ，ｊ）成分の余因数（余因子）とは行列Ａからｉ行とｊ列の成分を除いた成分からできる小行列式に（－1）ｉ＋ｊを乗じたものです。
だから定理２の（２）式の逆行列Ｘ＝Ａ-1は
と表せます。
このとき、２．（１）４．［補足説明］で説明した様に、
である事に注意して下さい。
［補足説明２］
ここの定理２を用いると１．（６）３．［例７］が簡単に証明できる。
このようにできるのは、定理２を導くとき［例７］で用いたテクニックを使っているからです。
［補足説明］
定理２で示した様に、行列Ａとその逆行列Ａ-1の積は交換可能 Ａ-1Ａ＝Ｅ＝ＡＡ-1 です。しかし、上で注意した様に、二つ正方行列ＡとＢの積は一般にＡＢ≠ＢＡであって、交換可能ではありません。
これは行列式の積｜Ａ｜×｜Ｂ｜＝｜Ｂ｜×｜Ａ｜が常に交換可能であったのと大きく違います。
行列式の積が交換可能なのは行列式の値はその行と列を入れ替えても等しい［1.(3).1.定理3］からです。しかし、その行と列を入れ替えた行列は全く異なった行列ですから、その積に関して交換可能ではないのは当然です。
以下の問14～16は重要です。
［補足説明］ (文献3．より)
以下の議論で必要になるベクトルの“1次従属性”と“1次独立性”、そして“一次結合”について説明します。最初に列ベクトルについて説明する。ここでは行列を（ ）で囲って表していることに注意されたし。
以下では ｋ＝ｍ の場合を考える。
［例 １］
［例 ２］
以下は ｋ＝ｍ≡ｎ の場合
［例 ３］
以上は列ベクトルについて説明したが、行ベクトルについても全く同様にして“1次従属性”と“1次独立性”、そして“一次結合”が定義される。
一次結合の意味については前項［補足説明］を参照。
次の例は重要です。
次の問は重要です。
これは、要するに、ベクトルａとベクトルｂが張る平面内にベクトルｃが存在することを示している。
つぎに、連立1次方程式（３）が解をもつ場合、その具体的解法を考察する。
定理７
定理８
定理８系
上記の1.(6)2.定理14はこちら
［補足説明］
定理12、定理14，定理8の系の間の関係は錯綜していますが、ある意味では2．(4)2.［補足説明］における一次従属性の定義とそこの［例2］と［例3］の説明でつくされていることです。
以下の［例４］と［例５］は重要です。
この稿は、下記文献１．の4章～5章からの引用です。解りやすくなるようにかなり改変しています。
