高等学校数学C/数学的な表現の工夫

高等学校数学 > 高等学校数学C > 高等学校数学C/数学的な表現の工夫

本項は高等学校数学Cの「数学的な表現の工夫」の解説です。

• 第1節「データの表現方法の工夫」では、身近な事象に関するデータを種類や目的に応じて表現する方法について学びます。
• 第2節「行列による表現とその演算」では、データの行列を用いた表し方と行列の基礎的な演算について学びます。
• 第3節「離散グラフによる表現」では、離散グラフを用いた表現方法と離散グラフを活用した問題解決について学びます。
• 第4節「行列の応用」では、前々課程数学C「行列とその応用」にて扱っていた発展内容と大学で学ぶ線形代数学のうち基礎的な内容を扱います。
• 第5節「コラム集」では、行列が身近な場面や今まで高校数学で扱ってきた分野に応用されている例を紹介します。

ベクトルの先行履修を推奨します。 複素数平面とはどちらの順番で履修しても構いません。

データの表現方法の工夫

行列による表現とその演算

行列による表現

次の表は、ある月の第一週と第二週における、2つの店X, Yでの、3種類の色のボールペンの販売数を表したものである。

[第一週]

	黒	赤	青
X	55	64	20
Y	78	45	36

[第二週]

	黒	赤	青
X	50	44	16
Y	69	40	25

この表を、数字の並びを括弧で囲んだもので表すと、以下のようになる。

$A={\begin{pmatrix}55&64&20\\78&45&36\\\end{pmatrix}},B={\begin{pmatrix}50&44&16\\69&40&25\\\end{pmatrix}}$

上のように、いくつかの数や文字を長方形状に並べて両側を括弧で囲んだものを行列という。括弧の中のそれぞれの数や文字をその行列の成分という。行列は普通、大文字のアルファベットで表す。また、括弧は大括弧[]を用いても良い。

成分の横の並びを行、縦の並びを列という。行は上から、列は左から数える。m個の行とn個の列からなる行列をm行n列の行列（m×n行列）と呼ぶ。特に、行と列の個数が等しいn×n行列をn次の正方行列（あるいは単にn次行列）という。また、第i列と第j列の交わるところにある成分を(i, j)成分という。 例えば、上の行列Aの(1,2)成分は64である。

m×n行列$A$の(i, j)成分は普通、$a_{ij}$と表される。つまり、$A={\begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1j}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2j}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\ddots &\vdots &\vdots \\a_{i1}&a_{i2}&\cdots &a_{ij}&\cdots &a_{in}\\\vdots &\vdots &\ddots &\ddots &\vdots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mj}&\cdots &a_{mn}\end{pmatrix}}$である。

ただ1行からなる行列を行ベクトル、ただ1列からなる行列を列ベクトルという。また、1や3+iのような定数は1×1行列と考えることができる。

2つの行列X, Yについて、行数と列数が共に等しいとき、「XとYは同じ型である」という。行列X, Yが同じ型且つ対応する成分がそれぞれ等しいとき、「XとYは等しい」といい、$X=Y$と書く。

• 例題

上の行列Aの第2行に現れる成分の和を求めよ。

• 解答

第2行にある成分は78, 45, 36であるため、$78+45+36=159$

• 例題

上の行列A, Bは同じ型であるかどうか答えよ。

• 解答

行列Aも行列Bも2×3行列であるため、同じ型である。

行列の和と差

同じ型である複数の行列については、四則演算を考えることができる。ここでは、2つの行列の和と差を考える。

同じ型の2つの行列X,Yの対応する成分の和を成分とする行列をXとYの和といい、$X+Y$と表す。同様に、同じ型の2つの行列X, Yの対応する成分の差を成分とする行列をXとYの差といい、$X-Y$と表す。

例えば、上の行列A, Bは同じ型であるから、その和と差はそれぞれ以下のようになる。

$A+B$

$={\begin{pmatrix}55&64&20\\78&45&36\\\end{pmatrix}}+{\begin{pmatrix}50&44&16\\69&40&25\\\end{pmatrix}}$

$={\begin{pmatrix}55+50&64+44&20+16\\78+69&45+40&36+25\\\end{pmatrix}}$

$={\begin{pmatrix}105&108&36\\147&85&61\\\end{pmatrix}}$

$A-B$

$={\begin{pmatrix}55&64&20\\78&45&36\\\end{pmatrix}}-{\begin{pmatrix}50&44&16\\69&40&25\\\end{pmatrix}}$

$={\begin{pmatrix}55-50&64-44&20-16\\78-69&45-40&36-25\\\end{pmatrix}}$

$={\begin{pmatrix}5&20&4\\9&5&11\\\end{pmatrix}}$

全成分が0である行列を零行列といい、型と無関係に$O$と表す。

行列の加法と減法について、以下の性質が成り立つ。

交換法則
 
$X+Y=Y+X$

結合法則

$(X+Y)+Z=X+(Y+Z)=X+Y+Z$

零行列と加減法

$X-X=O$, $X+O=X$

行列のスカラー倍

任意の定数kについて、行列Xの各成分のk倍を成分とする行列を$kX$で表す。

上の行列A, Bについて、その和$A+B$は第一週の販売数と第二週の販売数の合計を表すので、${\frac {1}{2}}$倍した値は平均値となる。$P=A+B$とおくと、第一週の販売数と第二週の販売数の平均値は、

${\frac {1}{2}}P$

$={\frac {1}{2}}{\begin{pmatrix}105&108&36\\147&85&61\\\end{pmatrix}}$

$={\begin{pmatrix}{\frac {1}{2}}\cdot 105&{\frac {1}{2}}\cdot 108&{\frac {1}{2}}\cdot 36\\{\frac {1}{2}}\cdot 147&{\frac {1}{2}}\cdot 85&{\frac {1}{2}}\cdot 61\\\end{pmatrix}}$

$={\begin{pmatrix}52.5&54&18\\73.5&42.5&30.5\\\end{pmatrix}}$

となる。

行列$kA$に対して、$k=1$の時は$1\cdot X=X$, $k=0$の時は$0\cdot X=O$、$k=-1$の時は$-1\cdot X=-X$のように表す。また、aを正の数とするとき、$(-a)X=-(aX)$ より、これらを単に$-aX$のように書く。

行列のスカラー倍について、$k,l$を定数として以下の性質が成り立つ。

結合法則

$k(lA)=(kl)A=klA$

分配法則

$(k+l)A=kA+lA$, $k(A+B)=kA+kB$

$k,l$は実数に限らず、複素数でも良い。

行列の積

ここまでの内容を見返したとき、「似たような内容やったことあるな」と感じた人もいるだろう。 実は、ここまで見てきた行列の演算は、全てベクトルの成分演算を拡張したものになっている。

例えば、${\overrightarrow {a}}=(1,3),{\overrightarrow {b}}=(2,5)$としたとき、

${\overrightarrow {a}}+{\overrightarrow {b}}=(1,3)+(2,5)=(1+2,3+5)=(3,8)$

${\overrightarrow {a}}-{\overrightarrow {b}}=(1,3)-(2,5)=(1-2,3-5)=(-1,-2)$

$3{\overrightarrow {a}}=3\cdot (1,3)=(3\cdot 1,3\cdot 3)=(3,9)$

である。

このとき、${\overrightarrow {a}}={\begin{pmatrix}1&3\\\end{pmatrix}},{\overrightarrow {b}}={\begin{pmatrix}2&5\\\end{pmatrix}}$あるいは${\overrightarrow {a}}={\begin{pmatrix}1\\3\\\end{pmatrix}},{\overrightarrow {b}}={\begin{pmatrix}2\\5\\\end{pmatrix}}$のように書き、行列とみなして計算しても同じ結果が得られる。

ここから、「行列はベクトルを拡張したもの」ということがわかる。

そこで、行列の積もベクトルの演算を拡張する形で定義しよう。 高校範囲において、数における掛け算に相当するベクトルの演算としてベクトルの内積があった。

内積を忘れてしまったという人向けに書いておくと、

2つの平面ベクトル${\overrightarrow {a}}=(a_{1},a_{2}),{\overrightarrow {b}}=(b_{1},b_{2})$の内積は${\overrightarrow {a}}\cdot {\overrightarrow {b}}=a_{1}b_{1}+a_{2}b_{2}$

2つの空間ベクトル${\overrightarrow {a}}=(a_{1},a_{2},a_{3}),{\overrightarrow {b}}=(b_{1},b_{2},b_{3})$の内積は${\overrightarrow {a}}\cdot {\overrightarrow {b}}=a_{1}b_{1}+a_{2}b_{2}+a_{3}b_{3}$

である。

ここで、${\overrightarrow {a}}$をm次の列ベクトル、${\overrightarrow {b}}$をm次の行ベクトルとみなし、${\overrightarrow {a}}\cdot {\overrightarrow {b}}$と同じ結果になるように行ベクトルXと列ベクトルYの積XYを定義する。 すなわち、 $X={\begin{pmatrix}x_{1}&x_{2}&\cdots &x_{m}\\\end{pmatrix}},Y={\begin{pmatrix}y_{1}\\y_{2}\\\vdots \\y_{m}\\\end{pmatrix}}$に対し、 $XY={\begin{pmatrix}x_{1}&x_{2}&\cdots &x_{m}\\\end{pmatrix}}{\begin{pmatrix}y_{1}\\y_{2}\\\vdots \\y_{m}\\\end{pmatrix}}=x_{1}y_{1}+x_{2}y_{2}+\cdots +x_{m}y_{m}$と定義する。

次は、これを元に一般の行列の積を考える。 行列Aの列数と行列Bの行数が等しいとき、Aの各行の成分の個数とBの各列の成分の個数が一致するから、積ABを考えることができる。

例えば、3つの列ベクトルP, Q, Rを並べた行列${\begin{pmatrix}P&Q&R\\\end{pmatrix}}$をSとおく。 このとき、行ベクトルAと行列Sの積は$AS={\begin{pmatrix}AP&AQ&AR\\\end{pmatrix}}$である。 同様に、3つの行ベクトルK, L, Mを並べた行列${\begin{pmatrix}K\\L\\M\\\end{pmatrix}}$をNとおくと、列ベクトルBと行列Nの積は${\begin{pmatrix}BK\\BL\\BM\\\end{pmatrix}}$である。

この2つから考えて、Aがl×m行列、Bがm×n行列のとき、積ABを、Aの第i行を取り出した行ベクトルとBの第j列を取り出した列ベクトルの積を(i, j)成分としたl×n行列と定める。

• 例題
  • 以下を計算せよ
    1. ${\begin{pmatrix}a&b\\c&d\\\end{pmatrix}}{\begin{pmatrix}x&z\\y&w\\\end{pmatrix}}$
    2. ${\begin{pmatrix}a&b&c\\d&e&f\\g&h&i\\\end{pmatrix}}{\begin{pmatrix}p&s\\q&t\\r&u\\\end{pmatrix}}$
  • 解答
    1. ${\begin{pmatrix}ax+by&az+bw\\cx+dy&cz+dw\\\end{pmatrix}}$
    2. ${\begin{pmatrix}ap+bq+cr&as+bt+cu\\dp+eq+fr&ds+et+fu\\gp+hq+ir&gs+ht+iu\\\end{pmatrix}}$

なお、上とは別の方法で定義された行列の積もある。そちらの計算結果はこちらとは大幅に異なる。詳しくは「w:行列の乗法」を参照。

行列の乗法について、kを実数として以下の性質が成り立つ。

結合法則

$(kA)B=A(kB)=k(AB)=kAB$, $A(BC)=A(BC)=ABC$

分配法則

$(A+B)C=AC+BC$, $A(B+C)=AB+AC$

なお、結合法則の式において、$AB=a$あるいは$BC=a$となる場合、このaは1次行列であることに注意（行列の演算結果として出てきた一次行列を普通の定数とみなしてスカラー倍計算することはできない）。

• 例題
  • $A={\begin{pmatrix}1&1\\0&2\\\end{pmatrix}}$, $B={\begin{pmatrix}1&2\\3&0\\\end{pmatrix}}$, $C={\begin{pmatrix}5&2\\0&7\\\end{pmatrix}}$について、以下を計算せよ。
    1. AB
    2. BA
    3. AC
    4. CA
  • 解答
    1. $AB={\begin{pmatrix}4&2\\6&0\\\end{pmatrix}}$
    2. $BA={\begin{pmatrix}1&5\\3&3\\\end{pmatrix}}$
    3. $AC={\begin{pmatrix}5&9\\0&14\\\end{pmatrix}}$
    4. $CA={\begin{pmatrix}5&9\\0&14\\\end{pmatrix}}$

上の例題からわかるように、行列の乗法では交換法則は一般には成り立たない

交換法則が成り立つ、すなわち$AB=BA$であるとき、「AとBは交換可能（可換）である」という。

なお、上の例題においては$(A+B)(A-B)\neq A^{2}-B^{2}$、$(A+C)(A-C)=A^{2}-C^{2}$である。 時間があったら確かめてみよう。

先ほど、「Aがl×m行列、Bがm×n行列のとき、積ABはAの第i行を取り出した行ベクトルとBの第j列を取り出した列ベクトルの積を(i, j)成分としたl×n行列」と定めたが、lとnが一致しない場合は$BA$が計算できない。一般に、AとBが同じ次数の正方行列ならば$AB,BA$ともに計算できる。

次の表は、太郎君の家で4月から7月までにスーパーで買った、飲食料品と他の商品の税込価格の合計である。

	飲食料品費	他商品費
4月	74520	15400
5月	68040	12100
6月	75600	13200
7月	69120	14300

消費税が飲食料品に8%、他の商品に10%掛かっているとして、この表から税額を計算したい。 この表を行列で表記すると$A={\begin{pmatrix}74520&15400\\68040&12100\\75600&13200\\69120&14300\\\end{pmatrix}}$であり、第一列と第二列にそれぞれ${\frac {0.08}{1.08}},{\frac {0.1}{1.1}}$を掛けられるような行列を考える。そのような行列を$P={\begin{pmatrix}{\frac {0.08}{1.08}}&0\\0&{\frac {0.1}{1.1}}\\\end{pmatrix}}$とおくと、$AP={\begin{pmatrix}5520&1400\\5040&1100\\5600&1200\\5120&1300\\\end{pmatrix}}$である。第一列、第二列の成分を見ると、条件を満たしていることがわかる。

一般に、行列の左上の成分と右下の成分を結んだ対角線を主対角線といい、主対角線上の成分を対角成分という。対角成分以外の成分が全て0である正方行列を対角行列という。列ごとに定数倍したい場合、対角行列を掛ければ良い。

k番目の対角成分が$d_{k}$であるn次対角行列を$\mathrm {diag} (d_{1},d_{2},\cdots ,d_{n})$と表す。

n次の対角行列において、対角成分が全て1であるものをn次の単位行列と呼び、$E$または$I_{n}$で表す。 例えば、２次の単位行列は$E={\begin{pmatrix}1&0\\0&1\\\end{pmatrix}}$である。 n次の正方行列をAとすると、n次の単位行列$E$, n次の零行列$O$との間には次のような関係がある。

$AE=EA=A$
$AO=OA=O$

これは、実数における1、0の掛け算と同様の性質である。

なお、Aが対角行列であるとき、対角成分の和を跡（トレース）と言い$\mathrm {tr} A$と表す。

• 例題
  • $A={\begin{pmatrix}2&1\\4&2\\\end{pmatrix}}$, $B={\begin{pmatrix}1&-2\\-2&4\\\end{pmatrix}}$の積ABを計算せよ
• 解答
  • $AB={\begin{pmatrix}0&0\\0&0\\\end{pmatrix}}=O$

上の例題のように、実数とは異なり$A\neq O$かつ$B\neq O$であっても$AB=O$となる場合がある。このとき、$A,B$を零因子という。

逆行列

0以外の実数において掛けたら1になるような数、逆数を考えたのと同様に、正方行列$X$に対し、掛けたら同じ型の単位行列$E$になるような行列を考える。この行列を逆行列といい、$X^{-1}$と表す。

正方行列$X$の逆行列$X^{-1}$が存在するならば、$X^{-1}$はただ一つに定まり、$XX^{-1}=X^{-1}X=E$を満たす。

2つの実数の商を「割られる数$a$と割る数$b$の逆数の積${\frac {a}{b}}(=ab^{-1})$」で定義したように、2つの行列の商を「割られる行列$A$と割る行列$B$の逆行列の積$AB^{-1}$」と定義することができる。注意しなければならないのは、行列の積は先述の通り一般には可換でないので、実数のように分数表記を用いることはできない。

単位行列の逆行列を考える。単位行列の逆行列を$I$とおくと、逆行列の定義から$EI=IE=E$であり、単位行列の性質から$EI=IE=I$であることから$I=E$が成り立つ。すなわち、単位行列の逆行列はその単位行列自身である。

次に、零行列の逆行列を考える。逆行列の定義は「元の行列と掛けたら単位行列になる行列」であり、零行列は他の行列との積が必ず零行列になるため、零行列の逆行列は存在しない。

これらは実数における「1の逆数は1自身」「0の逆数は存在しない」という性質と同様である。

2次行列の逆行列について考える。

$A={\begin{pmatrix}a&b\\c&d\\\end{pmatrix}}$に対し$P={\begin{pmatrix}d&-b\\-c&a\\\end{pmatrix}}$とすると、$AP={\begin{pmatrix}ad-bc&0\\0&ad-bc\\\end{pmatrix}}=(ad-bc)E$であり、$A({\frac {1}{ad-bc}}P)=E$が成り立つ。すなわち、逆行列の定義より$A^{-1}={\frac {1}{ad-bc}}P={\frac {1}{ad-bc}}{\begin{pmatrix}d&-b\\-c&a\\\end{pmatrix}}$である。

ただし、$ad-bc=0$の場合、$A$は逆行列$A^{-1}$を持たない。

正方行列Xに逆行列が存在するなら「Xは正則である」といい、存在しないなら「Xは特異である」という。逆行列が存在する正方行列を正則行列、存在しない正方行列を特異行列という。

• 問題
  • 零因子が特異行列であることを証明せよ。

2つの正則行列$A,B$について、$(AB)^{-1}=B^{-1}A^{-1}$が成り立つ。 これは、$AB(B^{-1}A^{-1})$と$(B^{-1}A^{-1})AB$の計算結果がともに$E$となることから明らかである。

次数が3以上の場合、逆行列の計算には次のガウスの消去法（掃き出し法）が用いられる。

ガウスの消去法（掃き出し法）I

正方行列Aの横に同じ次数の単位行列Eを並べた行列$\left({\begin{array}{c|c}A&E\end{array}}\right)$に行基本変形を施して$\left({\begin{array}{c|c}E&B\end{array}}\right)$となる場合、$B=A^{-1}$である。

行列を横に並べる際、2つの行列の区別のため境目に縦線｜を入れる場合がある。

行基本変形とは、次の3つの操作のことである。

1. ある行をc（≠0）倍する
2. 二つの行を交換する
3. ある行にある行のc（≠0）倍を加える

上の3つの操作は、それぞれ次の行列を右から掛けることと同値である。

1. n次単位行列$I_{n}$の(i, j)成分をcに置き換えた行列$P_{n}(i;c)$（ただし$c\neq 0$）
2. $I_{n}$の(i, i)成分と(j, j)成分を0に置き換え、(i, j)成分と(j, i)成分を1に置き換えた行列$P_{n}(i,j)$（ただし$i\neq j$）
3. $I_{n}$の(i, j)成分をcに置き換えた行列$P_{n}(i,j;c)$（ただし$i\neq j$）

この3つの行列を基本行列という。

なお、基本行列を左から掛けると列に対する操作になり、これを列基本変形という。行基本変形と列基本変形を纏めて「行列の基本変形」と呼ぶ。基本変形は可逆な操作であり、Aに基本変形を施してBになるならば、必ずBに基本変形を施してAに戻すことができる。

• 例題
  • $P={\begin{pmatrix}1&1&-1\\-2&0&1\\0&2&1\end{pmatrix}}$の逆行列を求めよ。
• 解答

Pと3次単位行列Eを並べた行列は

$\left({\begin{array}{ccc|ccc}1&1&-1&1&0&0\\-2&0&1&0&1&0\\0&2&1&0&0&1\end{array}}\right)$

である。

一行目の2倍を二行目に加えて

$\left({\begin{array}{ccc|ccc}1&1&-1&1&0&0\\0&2&-1&2&1&0\\0&2&1&0&0&1\end{array}}\right)$

二行目の1/2倍を一行目から引き、三行目から二行目を引いて

$\left({\begin{array}{ccc|ccc}1&0&-{\frac {1}{2}}&0&-{\frac {1}{2}}&0\\0&2&-1&2&1&0\\0&0&2&-2&-1&1\end{array}}\right)$

三行目の1/4倍を一行目に加え、三行目の1/2倍を二行目に加えて

$\left({\begin{array}{ccc|ccc}1&0&0&-{\frac {1}{2}}&-{\frac {3}{4}}&{\frac {1}{4}}\\0&2&0&1&{\frac {1}{2}}&{\frac {1}{2}}\\0&0&2&-2&-1&1\end{array}}\right)$

二行目と三行目を1/2倍して

$\left({\begin{array}{ccc|ccc}1&0&0&-{\frac {1}{2}}&-{\frac {3}{4}}&{\frac {1}{4}}\\0&1&0&{\frac {1}{2}}&{\frac {1}{4}}&{\frac {1}{4}}\\0&0&1&-1&-{\frac {1}{2}}&{\frac {1}{2}}\end{array}}\right)$

線で区切った左側の行列がEになっているので、求める逆行列は線で区切った右側の行列、すなわち${\begin{pmatrix}-{\frac {1}{2}}&-{\frac {3}{4}}&{\frac {1}{4}}\\{\frac {1}{2}}&{\frac {1}{4}}&{\frac {1}{4}}\\-1&-{\frac {1}{2}}&{\frac {1}{2}}\end{pmatrix}}$である。

発展：転置と表操作

行列$A$に対し、その列と行を入れ替えた行列を$A$の転置行列といい、${}^{t}\!A$と表す。$A$から${}^{t}\!A$を作ることを、「Aを転置する（Aの転置をとる）」という。

例えば、$A={\begin{pmatrix}a&b\\c&d\\\end{pmatrix}}$に対し、${}^{t}\!A={\begin{pmatrix}a&c\\b&d\\\end{pmatrix}}$である。

また、列ベクトルの転置は行ベクトルとなる。

その定義より、${}^{t}\!({}^{t}\!A)=A$である。

X, Yを同じ型の行列、kを定数とすると${}^{t}\!(X+Y)={}^{t}\!X+{}^{t}\!Y,{}^{t}\!(kX)=k{}^{t}\!X$が成り立つ。

また、行列$A,B$とその転置行列${}^{t}\!A,{}^{t}\!B$について、${}^{t}\!(AB)={}^{t}\!B{}^{t}\!A$が成り立つ。

${}^{t}\!A=A$を満たす行列を対称行列、${}^{t}\!A=-A$を満たす行列を交代行列という。

例えば、対角行列は対称行列である。

対称行列かつ交代行列である行列は$O$のみである。

また、任意の正方行列$A$に対し、$A={\frac {A+{}^{t}\!A}{2}}+{\frac {A-{}^{t}\!A}{2}}$が成り立つ。このとき、${\frac {A+{}^{t}\!A}{2}}$は対称行列、${\frac {A-{}^{t}\!A}{2}}$は交代行列であることが、それぞれの転置をとることで確認できる。

正則行列Aに関して、$({}^{t}\!A)^{-1}={}^{t}\!(A^{-1})$が成り立つ。

この節の最初に「行列は数や文字を長方形状に並べたもの」と述べたが、行列の積を考えるときに「行列は数ベクトルを1方向に並べたもの」という考え方を使った。 この考え方を用いると、以下が成り立つことがわかる。

$a_{1},a_{2},\cdots ,a_{n}$を同じ型の列ベクトルとすると、$A={\begin{pmatrix}a_{1}&a_{2}&\cdots &a_{n}\\\end{pmatrix}}$について${}^{t}\!A={\begin{pmatrix}{}^{t}\!a_{1}\\{}^{t}\!a_{2}\\\vdots \\{}^{t}\!a_{n}\\\end{pmatrix}}$である。

行列$A$がm×n行列であるとき、その転置行列${}^{t}\!A$はn×m行列である。そのため、$A{}^{t}\!A$と${}^{t}\!AA$は常に計算可能である。また、計算結果は対称行列となる。

$A{}^{t}\!A={}^{t}\!AA=E$となる正方行列Aを考える。このような行列を直交行列という。

一般に直交行列は正則行列であり、${}^{t}\!A=A^{-1}$が成り立つ。直交行列の逆行列は直交行列であり、上式から直交行列の転置行列も直交行列である。2つの直交行列の積もまた直交行列になる。

次の表は、3人の中学生Aさん, Bさん, Cさんの定期テストの点数を表した表である。

	国語	数学	英語	理科	社会
A	65	82	78	96	67
B	85	63	90	65	94
C	98	76	70	85	90

この表を行列で表すと、$P={\begin{pmatrix}65&82&78&96&67\\85&63&90&65&94\\98&76&70&85&90\\\end{pmatrix}}$である。

この行列から一部の行や列のみを取り出すことを考える。

例えば国語の点数（一列目）のみを取り出したい場合、${\begin{pmatrix}1\\0\\0\\0\\0\\\end{pmatrix}}$という行列を右から掛ければ良い。実際に計算すると、$P{\begin{pmatrix}1\\0\\0\\0\\0\\\end{pmatrix}}={\begin{pmatrix}65\\85\\98\end{pmatrix}}$である。

ここで、一つの成分が1で残りの成分が0である列ベクトルを基本ベクトルといい、1である場所が上からi番目であるとき、$e_{i}$と表す。例えば、上の計算で用いた5次列ベクトルは$e_{1}$である。なお、この記号は列ベクトルの型によらず用いるため、常に型に注意する必要がある。

複数列を抽出する場合、取り出したい列を$a,b,\cdots$ とすると、Pに行列${\begin{pmatrix}e_{a}&e_{b}&\cdots \\\end{pmatrix}}$を右からかければ良い。

また、複数列の抽出を応用することにより、表の列を並べ替えることができる。

例えば、上の表の点数を「英語, 数学, 国語 , 社会, 理科」の順に並べ替えたい場合、$P{\begin{pmatrix}e_{3}&e_{2}&e_{1}&e_{5}&e_{4}\end{pmatrix}}$を計算すれば良い。

行に対して操作する場合、基本ベクトルを転置して左から掛ければ良い。

例えば、Cさんの点数を抽出する場合、${}^{t}\!e_{2}P={\begin{pmatrix}0&1&0\\\end{pmatrix}}{\begin{pmatrix}65&82&78&96&67\\85&63&90&65&94\\98&76&70&85&90\\\end{pmatrix}}={\begin{pmatrix}98&76&70&85&90\\\end{pmatrix}}$と計算する。

複数行の抽出や行の並べ替えも同様にできる。

例えば、「Cさん, Aさん, Bさん」の順番で並べる場合、${\begin{pmatrix}{}^{t}\!e_{3}\\{}^{t}\!e_{1}\\{}^{t}\!e_{2}\\\end{pmatrix}}P$を計算すれば良い。

列操作と行操作を同時に行うことで、特定の成分を取り出すこともできる。

一般に、各行各列に1が一つづつ配置され、残りの成分が全て0である行列を置換行列という。例えば、単位行列は置換行列である。置換行列は直交行列でもある。

次に、各行・各列の和を求めることを考える。

行列の積を考えたとき、先に列ベクトルと行ベクトルの積を考えた。その考え方を用いると、各列の和を求めたい場合、元の行列に成分が全て1である列ベクトルを右から掛ければ良い。

ここでは、全ての成分が1であるn次列ベクトルを$J_{n}$と表すこととする。

例えば、上の表で3人の点数の合計を計算すると、$PJ_{5}={\begin{pmatrix}65&82&78&96&67\\85&63&90&65&94\\98&76&70&85&90\\\end{pmatrix}}{\begin{pmatrix}1\\1\\1\\1\\1\\\end{pmatrix}}={\begin{pmatrix}388&397&419\end{pmatrix}}$である。

各行の和を求める場合、${}^{t}\!J_{n}$を左からかければ良い。

また、掛ける数ベクトルの成分の値を変えることにより、目的に応じてさまざまな合計を出すことができる。

ここまで行列の積・転置操作の応用として表操作を見てきたが、もう一つ応用を考えよう。

2つのベクトル${\overrightarrow {OP}},{\overrightarrow {OQ}}$の成分を列ベクトルを用いて${\overrightarrow {OP}}={\begin{pmatrix}a\\b\end{pmatrix}},{\overrightarrow {OQ}}={\begin{pmatrix}c\\d\end{pmatrix}}$と表す。 このとき、$|{\overrightarrow {OP}}|^{2}=a^{2}+b^{2},|{\overrightarrow {OQ}}|^{2}=c^{2}+d^{2},{\overrightarrow {OP}}\cdot {\overrightarrow {OQ}}=ac+bd$である。

$A={\begin{pmatrix}{\overrightarrow {OP}}&{\overrightarrow {OQ}}\\\end{pmatrix}}$とおくと、 ${}^{t}\!AA={\begin{pmatrix}a&b\\c&d\\\end{pmatrix}}{\begin{pmatrix}a&c\\b&d\\\end{pmatrix}}={\begin{pmatrix}a^{2}+b^{2}&ac+bd\\ac+bd&c^{2}+d^{2}\\\end{pmatrix}}={\begin{pmatrix}|{\overrightarrow {OP}}|^{2}&{\overrightarrow {OP}}\cdot {\overrightarrow {OQ}}\\{\overrightarrow {OP}}\cdot {\overrightarrow {OQ}}&|{\overrightarrow {OQ}}|^{2}\\\end{pmatrix}}$となる。

特に$|{\overrightarrow {OP}}|=|{\overrightarrow {OQ}}|=1$のとき、${}^{t}\!AA={\begin{pmatrix}1&\cos \theta \\\cos \theta &1\\\end{pmatrix}}$である（ただし、$\theta$は${\overrightarrow {OP}}$と${\overrightarrow {OQ}}$の成す角）。

このようにして、ベクトルの成す角$\theta$を求めることができる。

ここまで行列のさまざまな演算を見てきたが、普通の数と同様に演算順が決まっている。 具体的には、

1. 括弧の中の計算
2. 逆行列・転置をとる計算
3. スカラー倍・積の計算
4. 和・差の計算

を式の左側から順に行っていく。

離散グラフによる表現

離散グラフ

点とそれらを結ぶ線で構成された図を離散グラフという。離散グラフの点を頂点、線を辺、頂点に集まる辺の本数をその頂点の次数という。 ここでは辺の向きは考えない（無向グラフのみを扱う）。

グラフ$G$を構成する頂点の集合を$V$、辺の集合を$E$とし、$G=(V,E)$と表記する。頂点を$u$や$v$で表すことが多く、頂点$u,v$を結ぶ辺を$\{u,v\}$と表記する。

• 例題
  • グラフ$G=(\{v_{1},v_{2},v_{3},v_{4}\},\{\{v_{1},v_{2}\},\{v_{1},v_{3}\},\{v_{1},v_{4}\},\{v_{2},v_{3}\},\{v_{3},v_{4}\}\})$を作図せよ。
  • 解答

• 
  $G$

一筆書き

以下、「ケーニヒスベルクの橋の問題」を例に、離散グラフの一筆書きについて考える。

ブレーゲル川と七つの橋を示したオイラーの時代のケーニヒスベルク

18世紀の初め頃、東プロイセンの首都であるケーニヒスベルク （現・ロシア、カリーニングラード）という大きな町があった。この町の中央には、プレーゲル川という大きな川が流れており、七つの橋が架けられていた。あるとき町の人が、次のように言った。

「このプレーゲル川に架かっている7つの橋を2度通らずに、全て渡って、元の所に帰ってくることができるか。ただし、どこから出発してもよい」

町の人が言ったことはできるだろうか。

1736年、レオンハルト・オイラーは、この問題を以下の離散グラフに置き換えて考えた。

→

このグラフが一筆書き可能であれば、ケーニヒスベルクの橋を全て1度ずつ通って元の場所に戻ってくるルートが存在することになる。

離散グラフのどの2頂点も幾つかの辺を辿って一方から他方へ行けるとき、その離散グラフは「連結である」という。

ここでは、次数が奇数である頂点を奇点、次数が偶数である頂点を偶点、一筆書きの始める頂点を始点、一筆書きを終える頂点を終点、そのどちらでもない頂点を途中点と呼ぶことにする。

途中点ではその頂点に集まる辺を使って「入る」「出る」が繰り返され、最後は必ず「出る」で終わる。つまり、途中点は必ず偶点になる。 奇点が始点である場合、終点では「入る」「出る」が繰り返され、最後は「入る」でおわる。つまり、奇点が始点であるならば、終点もまた奇点である。

したがって、一筆書きができる離散グラフに奇点があれば、奇点は2つあり、それらは必ず始点・終点のペアになる。すなわち、離散グラフにおいて、奇点の個数が1または3以上であるならば一筆書きはできない。

このことを言い換えたのが、次のオイラーグラフの定理である。

オイラーグラフの定理

連結である離散グラフにおいて一筆書きができるための必要十分条件は、奇点の個数が0または2であることである。

奇点の数が0であるとき、離散グラフには偶点しか存在せず、どの偶点を始点にしても必ず元の点に戻ってくる。このように、一筆書きが可能でどの点から始めても始点と終点が一致する離散グラフをオイラーグラフという。

経路の数え上げ

行列の冪乗についても指数法則が成り立つ。

離散グラフの応用

多面体と離散グラフ

場合の数と離散グラフ

発展：行列の応用

行列式・固有値

二次行列$A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}$に対し$A^{-1}$が存在する必要十分条件は$ad-bc\neq 0$であった。つまり、$ad-bc$という式はAの判別式のような役割をする。 この式を二次行列の行列式といい、$|A|$もしくは$\mathrm {det} A$と表す。行列の成分を表示して記す場合、行列の括弧を外して絶対値記号の中に成分を並べ${\begin{vmatrix}a&b\\c&d\end{vmatrix}}$のように表すか、括弧の左にdetを書いて$\mathrm {det} {\begin{pmatrix}a&b\\c&d\end{pmatrix}}$と表す。絶対値記号を用いてはいるが、行列式は負の値をとり得るので注意。

3次行列${\begin{pmatrix}a&b&c\\d&e&f\\g&h&i\end{pmatrix}}$の行列式は${\begin{vmatrix}a&b&c\\d&e&f\\g&h&i\end{vmatrix}}=aei-afh+bfg-bdi+cdh-ceg$である。

一般に、n次行列の行列式の値は$n!$個の項の足し算/引き算で求まり、各項は$n$個の成分の積となっている。

行列式の正式な定義は省略するが、実用上、4次以上の行列式を定義通りに計算することはほとんどない。また、行列式は正方行列にしか定義されない。

$|(\mathrm {det} A)|$はAを構成する列ベクトルの張る図形の体積であることが知られている。例えば、3次行列の場合、行列式の値の絶対値は各列ベクトルの張る平行六面体の体積と一致する。

次の公式が成り立つ。 ${\begin{vmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\&a_{22}&\cdots &a_{2n}\\&&\ddots &\vdots \\\mathrm {O} &&&a_{nn}\end{vmatrix}}={\begin{vmatrix}a_{11}&&&\mathrm {O} \\a_{21}&a_{22}&&\\\vdots &\vdots &\ddots &\\a_{n1}&a_{n2}&\cdots &a_{nn}\end{vmatrix}}=\prod _{k=1}^{n}a_{kk}$

第一式の中身は上三角行列、第二式の中身は下三角行列と呼ばれる行列である。ただし、$\mathrm {O}$は0の集まりを表す。2つ合わせて三角行列という。第三式の$\prod _{k=1}^{n}$は「kに1からnまで代入したものを全て掛ける」という意味の記号（簡単に言えば$\sum _{k=1}^{n}$の掛け算バージョン）であり、$\Pi$は$\pi$の大文字である。

n次行列Aからi行目とj列目を除いた行列を$A_{ij}$と表す。 このとき、$(-1)^{i+j}\times \mathrm {det} A_{ij}$を(i, j)余因子と呼び、$\Delta _{ij}$と表す。

正方行列Aに対し、(i, j)成分が$\Delta _{ij}$である行列の転置行列を余因子行列といい、${\widetilde {A}}$と表す。

Aが正則ならば、$A^{-1}={\frac {\widetilde {A}}{\mathrm {det} A}}$が成り立つが、これを利用して逆行列を求めるよりは、行基本変形で求めた方が遙かに計算量が少なくて済む。

余因子展開

正方行列$A$の行列式$\mathrm {det} A$について、$i$を任意の非負整数とすると$\mathrm {det} A=\sum _{j=i}^{n}a_{ij}\Delta _{ij}$と展開できる。

実際に行列式を計算する場合、余因子展開を行う前に基本変形で一行目・一列目に0を増やすと計算しやすくなる。余因子展開を繰り返すことにより二次・三次または三角行列の行列式の四則演算に帰着でき、次数の大きい行列の行列式が簡単に計算できる。

対角行列の行列式は対角成分の総積となる。単位行列は成分が全て1である対角行列なので、その行列式は1である。零行列の行列式は0である。

正方行列$A$について、

$A$が正則$\iff \mathrm {det} A\neq 0\iff A$を構成する行/列ベクトル同士が一次独立

が成り立つ。

一般の正方行列について$\mathrm {det} ({}^{t}\!A)=\mathrm {det} A$が成り立つ。また、正則行列について$\mathrm {det} (A^{-1})=(\mathrm {det} A)^{-1}={\frac {1}{\mathrm {det} A}}$が成り立つ。

正方行列に対して基本変形を施すと、行列式は以下のように変化する。

1. 第i行/列のc倍を第j列/行に加える変形をしても、行列式の値は変わらない。
2. 第i行/列と第j行/列を入れ替える変形をすると、行列式の符号が逆転する。
3. 第j行/列を$c(\neq 0)$倍すると、行列式の値もc倍される。

行列の積について$\mathrm {det} (AB)=\mathrm {det} A\times \mathrm {det} B$が成り立つ。

• 問題
  • 行列式を用いて次の行列が正則行列であるかどうか判定せよ。
    1. ${\begin{pmatrix}3&6\\2&4\end{pmatrix}}$
    2. ${\begin{pmatrix}1&-2&4\\7&-3&8\\5&-9&6\end{pmatrix}}$
    3. ${\begin{pmatrix}12&4&27&31\\-4&18&-23&41\\67&9&-3&7\\-3&4&57&-11\end{pmatrix}}$

直交行列Aについて、$|(\mathrm {det} A)|=1$が成り立つ。

• 例題
  • 上記を証明せよ
• 解答

直交行列はその転置行列が逆行列に等しい行列なので、

$\mathrm {det} E=\mathrm {det} (AA^{-1})=\mathrm {det} (A{}^{t}\!A)=\mathrm {det} A\times \mathrm {det} ({}^{t}\!A)=(\mathrm {det} A)^{2}$

ここで$\mathrm {det} E=1$なので、二次方程式$(\mathrm {det} A)^{2}=1$を解いて$|(\mathrm {det} A)|=1$となる。

ベクトルの外積は行列式を用いて表記できる。

${\vec {a}}={\begin{pmatrix}a_{x}\\a_{y}\\a_{z}\end{pmatrix}},{\vec {b}}={\begin{pmatrix}b_{x}\\b_{y}\\b_{z}\end{pmatrix}}$、3つの座標軸の基本ベクトルをそれぞれ${\vec {e_{x}}},{\vec {e_{y}}},{\vec {e_{z}}}$としたとき、${\vec {a}}\times {\vec {b}}={\begin{pmatrix}a_{y}b_{z}-a_{z}b_{y}\\a_{z}b_{x}-a_{x}b_{z}\\a_{x}b_{y}-a_{y}b_{x}\end{pmatrix}}$を基本ベクトルの一次結合で表すと、

$(a_{y}b_{z}-a_{z}b_{y}){\vec {e_{x}}}+(a_{z}b_{x}-a_{x}b_{z}){\vec {e_{y}}}+(a_{x}b_{y}-a_{y}b_{x}){\vec {e_{z}}}$

係数部分を行列式表記にすると、

${\begin{vmatrix}a_{y}&a_{z}\\b_{y}&b_{z}\end{vmatrix}}{\vec {e_{x}}}+{\begin{vmatrix}a_{z}&a_{x}\\b_{z}&b_{x}\end{vmatrix}}{\vec {e_{y}}}+{\begin{vmatrix}a_{x}&a_{y}\\b_{x}&b_{y}\end{vmatrix}}{\vec {e_{z}}}$

2つ目の行列式の各列を入れ替えると基本変形の性質より、

${\begin{vmatrix}a_{y}&a_{z}\\b_{y}&b_{z}\end{vmatrix}}{\vec {e_{x}}}-{\begin{vmatrix}a_{x}&a_{z}\\b_{x}&b_{z}\end{vmatrix}}{\vec {e_{y}}}+{\begin{vmatrix}a_{x}&a_{y}\\b_{x}&b_{y}\end{vmatrix}}{\vec {e_{z}}}$

3つの基本ベクトルを3次の行列式の一行目の成分と考えて余因子展開の逆を行なうと、

${\begin{vmatrix}{\vec {e_{x}}}&{\vec {e_{y}}}&{\vec {e_{z}}}\\a_{x}&a_{y}&a_{z}\\b_{x}&b_{y}&b_{z}\end{vmatrix}}$

よって、

${\vec {a}}\times {\vec {b}}={\begin{vmatrix}{\vec {e_{x}}}&{\vec {e_{y}}}&{\vec {e_{z}}}\\a_{x}&a_{y}&a_{z}\\b_{x}&b_{y}&b_{z}\end{vmatrix}}$

この式を見ると、一行目は座標軸の基本ベクトル、二行目は${\vec {a}}$の成分、三行目は${\vec {b}}$の成分がx,y,zの順番で並んでいて整然としている。

ケーリー・ハミルトンの定理
 
二次行列$A$について、$A^{2}-(\mathrm {tr} A)A+(\mathrm {det} A)E=O$が成り立つ。

これを用いて、$A^{n}$の次数下げを行うことができる。 具体的には、$A^{n}=A^{n-2}A^{2}=A^{n-4}A^{2}A^{2}\cdots$と変形し、$A^{2}=(\mathrm {tr} A)A-(\mathrm {det} A)E$を順次代入していく。代入の過程で出た$A^{2}$にも順次代入すると、最終的には$A$の一次式となる。

• 例題
  • ケーリー・ハミルトンの定理を利用して「二次行列Aが特異行列である$\iff \mathrm {det} A\neq 0$」を証明せよ。

$M^{n}=O(M\neq O)$を満たす行列$M$を冪零行列という。

• 例題
  • 1. 冪零行列は逆行列を持たないことを証明せよ。
  • 2. ケーリー・ハミルトンの定理を利用して、「二次行列Aが冪零行列$\implies A^{2}=O$」を証明せよ。

行列式と同じように行列の特性を表す値がある。それが以下で扱う固有値である。固有値は量子力学やグラフ理論など、数多の場面で活躍する重要な概念である。

n次行列Aに対し、$A\mathbf {x} =\lambda \mathbf {x}$を満たす 複素数$\lambda$をAの固有値、列ベクトル$\mathbf {x}$を固有値に対する固有ベクトルという。なお、$\lambda$はラムダと読むギリシャ文字である。また、固有ベクトルの長さは議論に関係ない。つまり、$\mathbf {x}$が固有ベクトルならば$k\mathbf {x} (k\neq 0)$も固有ベクトルである。普通、「固有ベクトルを求めよ」と聞かれたら　固有ベクトルのうち最も簡単なものを答える。

注意：$\mathbf {a}$は${\vec {a}}$と同じ意味の記号である。ベクトルが常に有向線分を表すわけではないため、大学では矢印を付ける代わりに太文字を用いて表すことが多い。このページでは「$\mathbf {a}$：一般のベクトル、${\vec {a}}$：有向線分を表すベクトル」と使い分ける。

$I_{n}$をn次単位行列とすると、

$A\mathbf {x} =\lambda \mathbf {x} \iff \lambda \mathbf {x} -A\mathbf {x} =O\iff (\lambda I_{n}-A)\mathbf {x} =O$

最後の式を考えると、$(\lambda I_{n}-A)\mathbf {x} =O$となる$\mathbf {x} (\neq O)$が存在する必要十分条件は$\lambda I_{n}-A$が特異行列であることである。

すなわち、

$\mathrm {det} (\lambda I_{n}-A)=0$

が成り立つ。

この方程式をAの固有方程式（特性方程式）という。

また、左辺の行列式はn次の多項式に展開できる。この多項式をAの固有多項式と言い、$\Phi _{A}(\lambda )$と表す。ただし、$\Phi$はファイと読むギリシャ文字である。

固有方程式の解を考えると、n次正方行列$A$の固有値は値の重複を含めてn個($\lambda _{1},\lambda _{2},\cdots ,\lambda _{n}$)あることがわかる。逆に、固有多項式は$\Phi _{A}(\lambda )=\prod _{i=1}^{n}(\lambda -\lambda _{i})$と表せる。固有値の値の重複を考慮に入れて書き換えると、$r\leqq n$として$\Phi _{A}(\lambda )=\prod _{i=1}^{r}(\lambda -\lambda _{i})^{\nu _{i}}$となる。このとき、$\nu _{i}$を$\lambda _{i}$に対する（代数学的）重複度という。なお、$\nu$はニューと読むギリシャ文字である。

固有方程式の$\lambda$を強引に$A$へ置き換えると、n次行列についてのケーリー・ハミルトンの定理が得られる。（$A$は行列、$\lambda$は定数なので、「固有方程式$\Phi _{A}(\lambda )=O$に$A$を代入すれば明らか」という証明はできない。）

固有値を正しく計算できているか確かめる方法として、次の性質が用いられる。

正方行列Aについて、$\mathrm {tr} A=\sum _{i=1}^{n}\lambda _{i}$

• 例題

${\begin{pmatrix}4&1\\-2&1\end{pmatrix}}$の固有値と対応する固有ベクトルをそれぞれ求めよ。

• 解答

固有方程式に代入すると、

$\mathrm {det} (\lambda {\begin{pmatrix}1&0\\0&1\end{pmatrix}}-{\begin{pmatrix}4&1\\-2&1\end{pmatrix}})=0$

整理すると

$\mathrm {det} {\begin{pmatrix}\lambda -4&-1\\2&\lambda -1\end{pmatrix}}=0$

計算して

$(\lambda -4)(\lambda -1)-(-1)\times 2=0$

$\lambda ^{2}-5\lambda +6=0$

$(\lambda -2)(\lambda -3)=0$

$\therefore \lambda =2,3$

ここで元の行列の跡は5、求めた固有値の和は5なので、正しく求められていることが確かめられた。

固有値2に対応する固有ベクトルは、

${\begin{pmatrix}2-4&-1\\2&2-1\end{pmatrix}}X=O$より

$X={\begin{pmatrix}1\\-2\end{pmatrix}}$と求まる。

固有値3に対応する固有ベクトルは、

${\begin{pmatrix}3-4&-1\\2&3-1\end{pmatrix}}X=O$より

$X={\begin{pmatrix}1\\-1\end{pmatrix}}$と求まる。

• 問題

${\begin{pmatrix}2&1&-1\\-4&-3&-1\\4&4&2\end{pmatrix}}$の固有値を求めよ。

転置行列について$\Phi _{A}(\lambda )=\Phi _{{}^{t}\!A}(\lambda )$が成り立つ。

固有多項式に$\lambda =0$を代入すると以下の定理が得られる。

Aをn次行列、その固有値を$\lambda _{1},\lambda _{2},\cdots ,\lambda _{n}$とすると、$\mathrm {det} A=\prod _{i=1}^{n}\lambda _{i}$

このことから、0は正則行列の固有値になり得ないことがわかる。 そこで、逆行列の固有値について考える。

正則行列Aの固有ベクトルを$\mathbf {x} _{\lambda }$とおく。

固有値の定義から、

$A\mathbf {x} _{\lambda }=\lambda \mathbf {x} _{\lambda }$

Aの逆行列を両辺に左から掛けて、

$E\mathbf {x} _{\lambda }=\lambda A^{-1}\mathbf {x} _{\lambda }$

$\lambda \neq 0$なので、

${\frac {1}{\lambda }}\mathbf {x} _{\lambda }=A^{-1}\mathbf {x} _{\lambda }$

よって、$A^{-1}$の固有値は${\frac {1}{\lambda }}$

つまり、逆行列の固有値は元の行列の固有値の逆数であり、固有ベクトルは元の行列と共通である。

固有値は複素数であるため、複素数平面上に描画できる。 特殊な行列の固有値について紹介すると、

• 対称行列の固有値は全て実軸上に存在する
• 交代行列の固有値は全て虚軸上に存在する
• 直交行列の固有値は全て単位円上に存在する

正方行列$A,B$に対して$B=P^{-1}AP$となる正則行列$P$が存在するならば、「$A,B$は相似である」といい、$A\sim B$と表す。$A$を$P^{-1}$と$P$で挾む操作を相似変換という。

行列の相似について、以下が成立する。

• $A\sim A$
• $A\sim B\implies B\sim A$
• $A\sim B\land B\sim C\implies A\sim C$

($A\land B$は「A且つB」を意味する論理記号である。)

相似な行列A, Bについて、以下が成り立つ。

• $\mathrm {det} A=\mathrm {det} B$
• $\mathrm {rank} A=\mathrm {rank} B$
• $\lambda _{A}=\lambda _{B}$
• $\mathrm {tr} A=\mathrm {tr} B$
• $A^{n}\sim B^{n}$

上の5つの性質は簡単に証明できるので、時間があれば挑戦してみよう。

正方行列$A$を相似変換によって対角行列$D$に変換することを行列の対角化という。

行列が対角化可能である必要十分条件を求める。

$P^{-1}AP=D$の$D$を成分表示すると、

$P^{-1}AP={\begin{pmatrix}d_{1}&0&\cdots &0\\0&d_{2}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &d_{n}\end{pmatrix}}$

両辺にPを左から掛けて

$AP=P{\begin{pmatrix}d_{1}&0&\cdots &0\\0&d_{2}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &d_{n}\end{pmatrix}}$

ここで$P$を列ベクトル$\mathbf {x} _{i}$を用いて表すと$P={\begin{pmatrix}\mathbf {x} _{1}&\mathbf {x} _{2}&\cdots &\mathbf {x} _{i}&\cdots &\mathbf {x} _{n}\end{pmatrix}}$なので、

$A\mathbf {x} _{i}=d_{i}\mathbf {x} _{i}$（ただし$i=1,2,\cdots ,n$）

ここから、$P$を構成する列ベクトルは$A$の固有ベクトルであり、$P$の対角成分は各固有ベクトルに対応する固有値であることがわかるので、

$P$が正則$\iff$Aの各固有ベクトルが一次独立$\iff \mathrm {det} P\neq 0$

よって、

$A$が対角化可能$\iff$Aの固有ベクトルを並べた行列Pについて$\mathrm {det} P\neq 0$

Aが対角化可能なときは、Aのi番目の固有値を$\lambda _{i}$とすると$D=\mathrm {diag} (\lambda _{1},\lambda _{2},\cdots ,\lambda _{n})$である。

対角化の検算について、$P^{-1}AP=D$をそのまま用いて検算しようとすると$P^{-1}$を求める必要があるため面倒である。そこで、両辺にPを左から掛けると$AP=PD$となる。これならば容易に計算できる。

• 問題
  • 以下の行列が対角化可能であるか判定し、可能な場合は対角化せよ。
  • 1. ${\begin{pmatrix}2&-5\\6&1\end{pmatrix}}$
  • 2. ${\begin{pmatrix}-1&-9&-3\\2&8&2\\-3&-9&-1\end{pmatrix}}$

連立一次方程式

複数の方程式の左側に{を書いて連立させたものを連立方程式という。 連立させる式が全て一次式の場合は特に連立一次方程式という。 連立させる式の本数がnであるとき、n元連立方程式という。 連立方程式を解くとは、連立させた式を全て満たすように全ての変数の値を定めることである。解が不定になる場合は媒介変数を用いて表す。このとき用いる媒介変数の個数を連立方程式の自由度という。

${\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}$を計算すると${\begin{pmatrix}ax+by\\cx+dy\end{pmatrix}}$である。

よって、2変数の2元連立一次方程式

${\begin{cases}ax+by=p\\cx+dy=q\end{cases}}$

は行列を用いて記述すると

${\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\begin{pmatrix}p\\q\end{pmatrix}}$

となる。

一般に、l変数のn元連立一次方程式は「（n×l行列）（l次行ベクトル） = （n次行ベクトル）」と表せる。このとき、l次行ベクトルの係数となるn×l行列を係数行列という。

つまり、係数行列を$A$、l次行ベクトルを$\mathbf {x}$、n次行ベクトルを$\mathbf {b}$とおくと、連立一次方程式は

$A\mathbf {x} =\mathbf {b}$

と表記できる。

この方程式の解はAが正則行列であれば一意に定まり、 $\mathbf {x} =A^{-1}\mathbf {b}$ である。

2変数の2元連立一次方程式の場合は、係数行列が2次行列になるので逆行列が簡単に求まる。

• 例題
  • ${\begin{cases}ax+by=p\\cx+dy=q\end{cases}}$をx,yについて解け。ただし、${\begin{vmatrix}a&b\\c&d\end{vmatrix}}\neq 0$とする。
  • 解答

${\begin{cases}ax+by=p\\cx+dy=q\end{cases}}$

$\iff {\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\begin{pmatrix}p\\q\end{pmatrix}}$

$\iff {\begin{pmatrix}x\\y\end{pmatrix}}={\frac {1}{ad-bc}}{\begin{pmatrix}d&-b\\-c&a\\\end{pmatrix}}{\begin{pmatrix}p\\q\end{pmatrix}}(\because {\begin{vmatrix}a&b\\c&d\end{vmatrix}}=ad-bc\neq 0)$

$\iff {\begin{cases}x={\frac {d}{ad-bc}}p-{\frac {b}{ad-bc}}q\\y=-{\frac {c}{ad-bc}}p+{\frac {a}{ad-bc}}q\end{cases}}$

一般の連立一次方程式においては、掃き出し法を用いて解を求めることができる。

連立一次方程式$A\mathbf {x} =\mathbf {b}$の係数行列$A$とn次行ベクトル$\mathbf {b}$を横に並べた行列$\left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)$を拡大係数行列という。

ガウスの消去法（掃き出し法）II 

連立一次方程式$A\mathbf {x} =\mathbf {b}$の拡大係数行列$\left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)$をAに関して簡約化した行列$\left({\begin{array}{c|c}A'&\mathbf {b'} \end{array}}\right)$について、$A'\mathbf {x} =\mathbf {b'}$の解は元の方程式の解と一致する。

簡約化とは、任意の行列を行基本変形を繰り返すことによってRREF行列へ変換することである。

行列のそれぞれの行の最初に現れる0でない成分を行列の主成分といい、RREF行列は以下の4つを満たす行列である。

1. 全ての主成分が1である
2. 主成分を持つ列ベクトルが基本ベクトルである
3. 右側の列ほど主成分が下側にある
4. 全ての成分が0である行が0以外の値を成分に持つ行よりも下側にある

• 例題
  • 連立方程式${\begin{cases}x+y+3z=5\\-2x+3y+2z=10\\2x+4y+z=32\end{cases}}$を解け。
• 解答

${\begin{cases}x+y+3z=5\\-2x+3y+2z=10\\2x+4y+z=32\end{cases}}\iff {\begin{pmatrix}1&1&3\\-2&3&2\\2&4&1\end{pmatrix}}{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}5\\10\\32\end{pmatrix}}$

拡大係数行列$\left({\begin{array}{ccc|c}1&1&3&5\\-2&3&2&10\\2&4&1&32\end{array}}\right)$に行基本変形を繰り返し用いて、

$\left({\begin{array}{ccc|c}1&0&0&{\frac {139}{41}}\\0&1&0&{\frac {276}{41}}\\0&0&1&-{\frac {70}{41}}\end{array}}\right)$

よって、

$E{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}{\frac {139}{41}}\\{\frac {276}{41}}\\-{\frac {70}{41}}\end{pmatrix}}\iff {\begin{cases}x={\frac {139}{41}}\\y={\frac {276}{41}}\\z=-{\frac {70}{41}}\end{cases}}$である。

連立方程式が掃き出し法で解ける原理を簡単に説明する。

基本行列を纏めてSとする。 拡大係数行列に左からSを掛けて$S\left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)=\left({\begin{array}{c|c}SA&S\mathbf {b} \end{array}}\right)$とすることと連立一次方程式$A\mathbf {x} =\mathbf {b}$に左からSを掛けて$SA\mathbf {x} =S\mathbf {b}$とすることは同値なので、$SA$ができるだけ簡単になるように簡約化することで、連立方程式が上手く解けるようになる。

完全に簡約化しなくても解が求まる場合がある。 また、解が不定、計算不能である場合もある。

• 例題
  • 次の連立方程式を解け

1. ${\begin{cases}x+2y-z+3w=3\\2x+4y+4z+3w=9\\3x+6y-z+8w=10\end{cases}}$

2. ${\begin{cases}a-b+c=3\\b+c=0\\2a+4b+8c=7\end{cases}}$

• 解答

1. ${\begin{cases}x+2y-z+3w=3\\2x+4y+4z+3w=9\\3x+6y-z+8w=10\end{cases}}\iff {\begin{pmatrix}1&2&-1&3\\2&4&4&3\\3&6&-1&8\end{pmatrix}}{\begin{pmatrix}x\\y\\z\\w\end{pmatrix}}={\begin{pmatrix}3\\9\\10\end{pmatrix}}$

拡大係数行列は$\left({\begin{array}{cccc|c}1&2&-1&3&3\\2&4&4&3&9\\3&6&-1&8&10\end{array}}\right)$である。

行基本変形を繰り返し施して、

$\left({\begin{array}{cccc|c}1&2&-1&3&3\\2&4&4&3&9\\3&6&-1&8&10\end{array}}\right)$

$\to \left({\begin{array}{cccc|c}1&2&-1&3&3\\0&0&6&-3&3\\0&0&2&-1&1\end{array}}\right)$

$\to \left({\begin{array}{cccc|c}1&2&-1&3&3\\0&0&2&-1&1\\0&0&0&0&0\end{array}}\right)$

$\to \left({\begin{array}{cccc|c}1&2&5&0&6\\0&0&2&-1&1\\0&0&0&0&0\end{array}}\right)$

よって、

${\begin{pmatrix}1&2&5&0\\0&0&2&-1\\0&0&0&0\end{pmatrix}}{\begin{pmatrix}x\\y\\z\\w\end{pmatrix}}={\begin{pmatrix}6\\1\\0\end{pmatrix}}\iff {\begin{cases}x+2y+5z=6\\2z-w=1\\0=0\end{cases}}$

媒介変数をs,tとすると、解は${\begin{cases}x=6-2s-5t\\y=s\\z=t\\w=2t-1\end{cases}}$である。

2. ${\begin{cases}a-b+c=3\\b+c=0\\2a+4b+8c=7\end{cases}}\iff {\begin{pmatrix}1&-1&1\\0&1&1\\2&4&8\end{pmatrix}}{\begin{pmatrix}a\\b\\c\end{pmatrix}}={\begin{pmatrix}3\\0\\7\end{pmatrix}}$

拡大係数行列は$\left({\begin{array}{ccc|c}1&-1&1&3\\0&1&1&0\\2&4&8&7\end{array}}\right)$である。

行基本変形を繰り返し施して、

$\left({\begin{array}{ccc|c}1&-1&1&3\\0&1&1&0\\2&4&8&7\end{array}}\right)$

$\to \left({\begin{array}{ccc|c}1&0&2&3\\0&1&1&0\\2&4&8&7\end{array}}\right)$

$\to \left({\begin{array}{ccc|c}1&0&2&3\\0&1&1&0\\2&0&4&7\end{array}}\right)$

$\to \left({\begin{array}{ccc|c}1&0&2&3\\0&1&1&0\\0&0&0&1\end{array}}\right)$

よって、

${\begin{pmatrix}1&0&3\\0&1&1\\0&0&0\end{pmatrix}}{\begin{pmatrix}a\\b\\c\end{pmatrix}}={\begin{pmatrix}3\\0\\1\end{pmatrix}}\iff {\begin{cases}a+2c=3\\b+c=0\\0=1\end{cases}}$

$0=1$は成立し得ないので、求める解は存在しない。

連立一次方程式が解を持つ条件を考える。

0でない成分を$*$とするとき、${\begin{pmatrix}*&\cdots &\cdots &\cdots \\&*&\cdots &\cdots \\&&*&\cdots \\\mathrm {O} &&&\end{pmatrix}}$の形をした行列を階段行列という。例えば、RREF行列は階段行列である。対角行列のように、$*$の右側に0が入っているものも階段行列と言って良い。

$*$を含む行の個数を階段行列の段数という。

掃き出し法を見ればわかるように、任意の行列は行基本変形を繰り返せば階段行列に変形できる。そこで、階段行列に関連した指標を定義する。

行列の階数（ランク）

任意の行列$A$を行基本変形を用いて階段行列に変換した時、0でない成分が含まれる行の個数を行列の階数（ランク）といい、$\mathrm {rank} A$と表す。

0でない成分が含まれる行の個数は*を含む行の個数であるため、$A$を変形した階段行列の段数は$\mathrm {rank} A$に等しい。 また、$A$の列/行ベクトルのうち一次独立なベクトルの最大個数も$\mathrm {rank} A$に等しくなる。

m×n行列の階数は必ずm,nの小さい方以下になる。

連立一次方程式$A\mathbf {x} =\mathbf {b}$について、$A$のk番目の列ベクトルを$\mathbf {a} _{k}$とおく（$1\leq k\leq n$）。 このとき、$A$の列数と$\mathbf {x}$の行数が一致していなければ左辺を計算できないので、$A={\begin{pmatrix}\mathbf {a} _{1}&\mathbf {a} _{2}&\cdots &\mathbf {a} _{n}\end{pmatrix}},\mathbf {x} ={\begin{pmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{pmatrix}}$である。

$A\mathbf {x} =\mathbf {b}$が解を持つとき、$\sum _{k=1}^{n}x_{k}\mathbf {a} _{k}=\mathbf {b}$が成り立つ。 これは一次独立なベクトルの一次結合であるため、階数の定義より$\mathrm {rank} A=\mathrm {rank} \left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)$が成り立つ。

逆に、$\mathrm {rank} A=\mathrm {rank} \left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)$が成り立つとき、$\mathrm {rank} A=m$とすると$\mathbf {b}$は$\mathbf {a} _{1},\mathbf {a} _{2},\cdots ,\mathbf {a} _{n}$の中から選んだm個の一次独立なベクトルの一次結合で表せ、$\mathbf {b} =\sum _{k=1}^{n}x_{k}\mathbf {a} _{k}$となる$\mathbf {x} (={\begin{pmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{pmatrix}})$が少なくとも一つ存在する。このとき、$\mathbf {x}$は$A\mathbf {x} =\mathbf {b}$の解そのものである。

よって、

連立一次方程式$A\mathbf {x} =\mathbf {b}$が解を持つ$\iff \mathrm {rank} A=\mathrm {rank} \left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)$

なお、$\mathrm {rank} A\neq \mathrm {rank} \left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)$の場合、$\left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)$を簡約化すると最後の行に対応する式は必ず$0=1$という矛盾した式となる。

$A\mathbf {x} =\mathbf {b}$の解がただ一つである条件を考える。

解がただ一つならば、

$\sum _{k=1}^{n}x_{k}\mathbf {a} _{k}=\mathbf {b}$

(1)

を満たす${\begin{pmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{pmatrix}}(=\mathbf {x} )$が一つに定まる。これは、$\mathbf {a} _{k}$が一次独立であることを示している。

$\mathbf {a} _{k}$が一次独立でないとすると、

$\sum _{k=1}^{n}y_{k}\mathbf {a} _{k}=\mathbf {b}$

(2)

を満たす$y_{k}(\neq x_{k},0)$が存在し、(1)+(2)より$\mathbf {x} '={\begin{pmatrix}x_{1}+y_{1}\\x_{2}+y_{2}\\\vdots \\x_{n}+y_{n}\end{pmatrix}}$も連立方程式の解となり、解の一意性に反する。

よって、

解がただ一つ$\implies \mathbf {a} _{k}$が一次独立$\implies \mathrm {rank} A=n$

逆に、$\mathrm {rank} A=n$とすると、 $A\mathbf {x} =\mathbf {b} ,A\mathbf {y} =\mathbf {b}$について、$A(\mathbf {x} -\mathbf {y} )=O\iff \sum _{k=1}^{n}(x_{k}-y_{k})\mathbf {a} _{k}=O\iff x_{k}-y_{k}=0\iff x_{k}=y_{k}\iff \mathbf {x} =\mathbf {y}$

よって、

連立一次方程式$A\mathbf {x} =\mathbf {b}$がただ一つの解を持つ$\iff \mathrm {rank} A=\mathrm {rank} \left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)=n$（ただし、nはAの行数であり、Aの列数以下の値をとる）

このことから、連立一次方程式の式の本数が変数の個数以上のとき、解の個数は0または1であることがわかる。式の本数が変数の個数を下回るとき、解は不定になる。

なお、$\mathrm {rank} A$は$\mathrm {rank} \left({\begin{array}{c|c}A&\mathbf {b} \end{array}}\right)$を求める過程で同時に求まる。

連立一次方程式$A\mathbf {x} =\mathbf {b}$の解が存在するとき、その自由度はちょうど$n-\mathrm {rank} A$であることが知られている。この$n$は$A$の列数であり、$\mathbf {x}$の行数であり、連立一次方程式の変数の個数である。

• 例題
  • 連立一次方程式${\begin{cases}x+2y-z+3w=3\\2x+4y+4z+3w=9\\3x+6y-z+8w=10\end{cases}}$について、上のことを確かめよ。
• 解答

拡大係数行列は$\left({\begin{array}{cccc|c}1&2&-1&3&3\\2&4&4&3&9\\3&6&-1&8&10\end{array}}\right)$である。

行基本変形を繰り返し施すと、

$\left({\begin{array}{cccc|c}1&2&5&0&6\\0&0&2&-1&1\\0&0&0&0&0\end{array}}\right)$

よって、

$\mathrm {rank} {\begin{pmatrix}1&2&-1&3\\2&4&4&3\\3&6&-1&8\end{pmatrix}}=\mathrm {rank} {\begin{pmatrix}1&2&5&0\\0&0&2&-1\\0&0&0&0\end{pmatrix}}=2$

元の式の変数の個数は4なので、$4-2=2$

これは、先ほど求めたこの連立方程式の解を表すのに使われた媒介変数の個数と一致している。

変数の個数が係数行列の階数に一致するとき、自由度が0なので解は一つに定まる。

連立一次方程式$A\mathbf {x} =O$を特に斉次連立一次方程式という。 この方程式について、以下のことが成り立つ。

この方程式が$\mathbf {x} =O$（自明解）以外の解（非自明解）を持つ$\iff \mathrm {rank} A<n$（ただし、nは方程式の変数の個数）

• 例題
  • 対偶を利用して上記を証明せよ
• 解答

先ほど証明したことから、

$\mathrm {rank} A=n\iff A\mathbf {x} =O$の解がただ1つ$\iff A\mathbf {x} =O$の解が自明解のみ

この真なる命題の対偶をとると、

$A\mathbf {x} =O$が非自明解を持つ$\iff \mathrm {rank} A\neq n$

このとき、$n$は係数行列$A$の列数に等しく、$A$の階数はその定義より必ず$A$の行数と列数の小さい方以下の値をとるため、

$\mathrm {rank} A\neq n\iff \mathrm {rank} A<n$

が成り立つ。 命題とその対偶の真偽は一致するため、命題「$A\mathbf {x} =O$が非自明解を持つ$\iff \mathrm {rank} A<n$」は真である。

一次変換

一次変換を学ぶ上で大切になるのが、写像と呼ばれる概念である。 以下、写像について簡潔に記す。

写像

集合の要素を元（げん）と呼び、$a$が集合$A$の元であることを$a\in A$と表す。 自然数全体の集合は$\mathbb {N}$、整数全体の集合は$\mathbb {Z}$、有理数全体の集合は$\mathbb {Q}$、実数全体の集合は$\mathbb {R}$、複素数全体の集合は$\mathbb {C}$と表す。 集合$A$の各元に対し$B$の元を一つ指定するような規則$f$が存在するとき、この$f$を写像といい、$f\colon A\to B$と表す。このとき、$A$を始域（定義域）、$B$を終域（値域）と呼び、「$f$はAの上で定義され、Bの中に値を持つ」という。$a(\in A)$が写像$f$によって$b(\in B)$に写されるとき、bを「aにおける値」といい、$b=f(a)$または$a\to f(a)$と表す。このとき、aを入力、bを出力という。 一つの入力に対して複数の出力が返されるような規則は写像ではない。

写像は集合の元同士の対応関係であり、高校範囲での「関数」を一般化した概念と言える。

Aの元とBの元が同じ集合Uに属している（A,BともにUの部分集合である）とき、AからBへの写像を変換と呼ぶ。

$f\colon X\to Y$とする。 $A\subset X$に対し、$f(A)=\{f(x)\in Y|x\in A\}$を「$f$による$A$の像」という。 $B\subset Y$に対し、$f^{-1}(B)=\{x\in X|f(x)\in B\}$を「$f$による$B$の逆像」という。

$f\colon A\to B$、$g\colon B\to C$とするとき、$h\colon A\to C$をfとgの合成写像といい、$f\circ g$と表す。

$f\colon X\to Y$について、 $x,y\in X$について$f(x)=f(y)\implies x=y$ならば、「fは単射である」という。 任意の$b(\in Y)$に対してある$a(\in X)$が存在して$f(x)=y$が成り立つならば、「fは全射である」という。 単射かつ全射であるならば、「fは全単射である」という。このとき、「XとYは一対一に対応する」という。

$f\colon A\to A$について、 任意の$a(\in A)$が$f(a)=a$を満たすとき、fを恒等写像といい、$id_{A}$と表す。

$f\colon A\to B$について、$g\colon B\to A$が$g\circ f=id_{B}$と$f\circ g=id_{A}$を満たすとき、gを「fの逆写像」という。このとき、「fが逆写像を持つ$\iff$fが全単射である」が成り立つ。その定義より$(f^{-1})^{-1}=f$であり、$f^{-1}$は全単射である。

これらのことを頭に入れておくと、以下の内容を理解しやすくなるであろう。

連立方程式$A\mathbf {x} =\mathbf {b}$について、$\mathbf {x} ,\mathbf {b}$はそれぞれ列ベクトルである。 そこで、$\mathbf {x} ,\mathbf {b}$が有向線分${\vec {x}},{\vec {b}}$を表すものとしてこの連立方程式を図形的に解釈すると、「${\vec {x}}$に行列$A$を掛けると${\vec {b}}$に移動した」という意味になる。この、ベクトルに行列を掛けて別のベクトルへ移す操作を一次変換という。このとき、行列$A$をこの一次変換の表現行列という。 表現行列が$A$である一次変換を、「$A$で表される一次変換」と呼ぶ。

一次変換を写像とみたとき、これを線形写像という。 $\mathbb {F}$を体（元について四則演算が定義されている集合）、$V,W$を$\mathbb {F}$の上のベクトル空間（元がベクトルである集合）とする。$f\colon V\to W$が線形写像ならば、以下を同時に満たす。

1. $f(\mathbf {x} +\mathbf {y} )=f(\mathbf {x} )+f(\mathbf {y} )(\mathbf {x} ,\mathbf {y} \in V)$
2. $f(k\mathbf {x} )=kf(\mathbf {x} )(k\in \mathbb {F} ,\mathbf {x} \in V)$

この2つの性質は、$f(k\mathbf {x} +l\mathbf {y} )=kf(\mathbf {x} )+lf(\mathbf {y} )(k,l\in \mathbb {F} ,\mathbf {x} ,\mathbf {y} \in V)$が成り立つことと同値である。この性質を線形性と呼ぶ。 $\mathbf {x} ,\mathbf {y}$を普通の数に置き換えると、シグマ公式・期待値・極限・微分・積分などに見られた性質と一致する。

一次変換は任意のベクトルの一次結合で表すことができる。逆に、定数項が存在すれば線形写像ではない。

線形写像は、$f(x)=ax$のような一次の変換を一般化した写像と言える。$f(x)=ax^{2}$のような二次の変換は線形写像ではない。

$f,g$が線形写像であるならば、その合成$f\circ g,g\circ f$も線形写像である。線形写像$f$が全単射であるならば、その逆写像$f^{-1}$も線形写像であり、これを線形同形という。

Aを線形写像fの表現行列とすると、fの像の次元は$\mathrm {rank} A$である。

以下、平面上での一次変換を扱う。

※執筆中

コラム集