高等学校数学/代数・幾何/行列
高等学校数学C > 行列
本項は高等学校数学Cの行列の解説である。
連立一次方程式と行列

1次方程式
連立一次方程式と行列

を、次のような記法で現してみる。
連立一次方程式と行列

と書いてみる。
連立一次方程式と行列

これから勉強するのは、連立方程式とベクトルとの関係であり、それを考察しやすくするために、あらたに行列(ぎょうれつ)という量を導入する。
連立一次方程式と行列

ベクトル ( x y ) {\displaystyle {\begin{pmatrix}x\\y\end{pmatrix}}} に、 演算 ( 1 2 2 3 ) {\displaystyle {\begin{pmatrix}1&2\\2&3\end{pmatrix}}} を施して(この演算の内容こそが、これから説明する「行列」である)、 答えのベクトル ( 1 2 ) {\displaystyle {\begin{pmatrix}1\\2\end{pmatrix}}} を得た、という表現に書き換える。
連立一次方程式と行列

まず、このような記法をするため、次に説明する行列(ぎょうれつ、英:matrix)という量を新たに定義する。
連立一次方程式と行列

まず、行列どうしの積の定義を、
連立一次方程式と行列

は、
連立一次方程式と行列

と等しい、と定める。
連立一次方程式と行列

これは、連立方程式の合成、つまり
連立一次方程式と行列

に対応する。実際に代入してみれば分かる。下2式のp,qに、上2式を代入すればよい。読者は代入して確認せよ。
連立一次方程式と行列

行列どうしの積は、順序によって結果が異なる。 たとえば行列A,Bを
連立一次方程式と行列

とするとき、
連立一次方程式と行列

それぞれ、
連立一次方程式と行列

となる。
連立一次方程式と行列

このように、一般の行列Aと行列Bの積は、一般に
連立一次方程式と行列

となる。
連立一次方程式と行列

上述の例は、2元連立一次方程式が式2個の場合に相当する行列だったが、一般に連立方程式の元の数は2個とは限らないし、方程式の数も2個とは限らないので、他の場合にも行列が定義できるように、行列の定義を拡張する。
連立一次方程式と行列

つぎのように、数値を縦横に並べて、それぞれの段の文字の個数が等しいものを 行列(ぎょうれつ、英:matrix) と呼ぶ。
連立一次方程式と行列

例えば、
連立一次方程式と行列

は行列である。
連立一次方程式と行列

いっぽう、
連立一次方程式と行列

は、文字の個数が一致しないので、行列ではない。
連立一次方程式と行列

行列の一部の、横に並んだ数値のかたまりを 行(ぎょう、英:row) といい、縦に並んだ数値のかたまりを 列(れつ、英:column) といい、それぞれの数値を 成分(せいぶん、英:element) と呼ぶ。
連立一次方程式と行列

例えば、
連立一次方程式と行列

は2行、3列からなる行列である。
連立一次方程式と行列

行数がmで、列数がnの行列を m×n行列 のように呼び、特に行数と列数が等しくnである行列ならば n次正方行列 と呼ぶ。
連立一次方程式と行列

例えば、
連立一次方程式と行列

は 2×3行列 である。
連立一次方程式と行列

第 i 行第 j 列の成分を (i, j) 成分という。
連立一次方程式と行列

例えば、
連立一次方程式と行列

の (2, 1) 成分は4である。
連立一次方程式と行列

「2つの行列が等しい」とは、行数と列数が等しく、かつ対応する (i, j) 成分がすべて等しいことと定める。
連立一次方程式と行列

つまり、 ( a b c d ) = ( e f g h ) {\displaystyle {\begin{pmatrix}a&&b\\c&&d\\\end{pmatrix}}={\begin{pmatrix}e&&f\\g&&h\\\end{pmatrix}}} とは、 a = e , b = f , c = g , d = h {\displaystyle a=e,b=f,c=g,d=h} である。
ベクトル内積と行列

ただ1行からなる行列を行ベクトル(ぎょうベクトル、英:row vector)といい、ただ1列からなる列ベクトル(れつベクトル、英:column vector )という。
ベクトル内積と行列

この行列の定義は、ベクトルの定義を拡張したものになっている。
ベクトル内積と行列

たとえばベクトル(a、b)と(c、d)の内積 ac+bdは、行列の記法を使うと、
ベクトル内積と行列

と書ける。
ベクトル内積と行列

右辺の ( a x + b y ) {\displaystyle {\begin{pmatrix}ax+by\end{pmatrix}}} は、1行1列の行列である。このように、行列では、1行1列の行列も認める。
ベクトル内積と行列

行列の積の (i, j) 成分の値は、左側の行列の i 行のベクトルと、右側の行列の第 j 列のベクトルの内積である。
ベクトル内積と行列

たとえば、行列 A = ( a b c d ) {\displaystyle A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}} と B = ( e f g h ) {\displaystyle B={\begin{pmatrix}e&f\\g&h\end{pmatrix}}} の積 A B = ( a e + b g a f + b h c e + d g c f + d h ) {\displaystyle AB={\begin{pmatrix}ae+bg&af+bh\\ce+dg&cf+dh\end{pmatrix}}} の(2, 1) 成分である a f + b h {\displaystyle af+bh} は、
ベクトル内積と行列

ベクトル ( a b ) {\displaystyle {\begin{pmatrix}a&b\end{pmatrix}}} と ベクトル ( f h ) {\displaystyle {\begin{pmatrix}f\\h\end{pmatrix}}} との 内積になっている。
ベクトル内積と行列

このように考えると、「行列」とは「ベクトルを並べたもの」とも言える。(ただし並べるベクトルの次元は同じ次元でなければならない。)
ベクトル内積と行列

こうすれば、連立1次方程式を
ベクトル内積と行列

は、行列を用いて
ベクトル内積と行列

と表せる。
ベクトル内積と行列

例題
ベクトル内積と行列

次のw, x, y, zの値を求めよ。
ベクトル内積と行列

それぞれ、
行列の和，差，実数倍

行列の和・差・実数倍の定義は、次のように、ベクトルの和・差・実数倍と似たような性質を持つ。
行列の和，差，実数倍

行列の和の定義は、各要素ごとに足し合わせる、と定義される。
行列の和，差，実数倍

行列の差の定義は、各要素ごとに引くと定義する。
行列の和，差，実数倍

実数倍の定義は、各要素に実数を掛けることによって定義する。
行列の和，差，実数倍

(-1)A は -A と書く。
行列の和，差，実数倍

例題
行列の和，差，実数倍

行列A,B,Cを
行列の和，差，実数倍

で定義するとき、
行列の和，差，実数倍

を計算せよ。
行列の和，差，実数倍

それぞれ、
行列の和，差，実数倍

となる。
行列の和，差，実数倍

零行列
行列の和，差，実数倍

すべての成分が0である行列を ゼロ行列(ぜろぎょうれつ、英:zero matrix) という。
行列の和，差，実数倍

( 0 0 0 0 0 0 ) {\displaystyle {\begin{pmatrix}0&0&0\\0&0&0\\\end{pmatrix}}} は ゼロ行列 である。
行列の和，差，実数倍

Aを行列、OをAと行数・列数が等しい零行列とすると、
行列の和，差，実数倍

を満たす。
行列の定義

いままでの節では、行列の積や和などの定義の根拠を述べてきた。
行列の定義

しかし読者が、もし今後のテストなどでの証明問題で、行列をもちいる証明問題が出た場合は、あなたが証明の出発点とするべき事項は、行列の定義を出発点にしなければならない。行列の定義の由来を出発点にするのではない。
行列の定義

なので、今後の証明のため、行列の定義そのものをまとめる必要がある。読者は、行列の定義を覚えていこう。行列の定義の由来については、頭の片隅にでも置いておいて、いったん忘れよう。
行列の定義

行列の用語や計算方法などは、次の節のようにして定義される。
行列の定義

行列(ぎょうれつ、英:matrix)とは、次のように、数値を縦横に並べたものである。行列の一部の、横に並んだ数値のかたまりを 行(ぎょう、英:row) といい、縦に並んだ数値のかたまりを 列(れつ、英:column) といい、それぞれの数値を 成分(せいぶん、英:element) と呼ぶ。例えば、
行列の定義

は2行、3列からなる行列である。行数がmで、列数がnの行列を m×n行列 のように呼び、特に行数と列数が等しくnである行列ならば n次正方行列 と呼ぶ。
行列の定義

ただ1行からなる行列を行ベクトル(ぎょうベクトル、英:row vector)といい、ただ1列からなる列ベクトル(れつベクトル、英:column vector )といい、第 i 行第 j 列の成分を (i, j) 成分という。
行列の定義

2つの行列が等しいとは、行数と列数が等しく、かつ対応する (i, j) 成分がすべて等しいことと定める。
行列の定義

行列の和の定義は、各要素ごとに足し合わせることで、定義する。
行列の定義

行列の差の定義は、各要素ごとに引くことで、定義する。
行列の定義

行列の実数倍とは、各要素に実数を掛けることによって定義する。
行列の定義

なお (-1)A は -A と書く。
行列の定義

すべての成分が0である行列を 零行列(ぜろぎょうれつ、英:zero matrix) という。Aを行列、OをAと行数・列数が等しい零行列とすると、
行列の定義

を満たす。
行列の定義

行列の積
行列の定義

の定義は、
行列の定義

で定める。
行列の定義

行列の積は文字通り、行と列の積である。第1行と第1列の積が (1, 1) 成分、第1行と第2列の積が (1, 2) 成分、第2行と第1列の積が (2, 1) 成分、第2行と第2列の積が (2, 2) 成分に対応する。すなわち、積の (i, j) 成分の値は、左側の行列の i 行のベクトルと、右側の行列の第 j 列のベクトルの内積であると思えばよい。
行列の定義

行列の定義そのものでは、連立方程式との関係については、言及されない。
行列の定義

このように、行列の定義は、連立一次方程式の理論からは、独立して別個に存在する理論である。
行列の定義

このように連立方程式の理論からは独立させて、行列を定義しなおすことにより、数学の利用者が行列を扱うさいに、わざわざ連立方程式に特有の事項について再検討をする必要がなくなる。よって利用者は、行列の定義だけに基づいて機械的に計算できるため、計算効率などが高まるので、合理的なのである。
行列の例

例題
行列の例

上で用いた行列 A {\displaystyle A} , B {\displaystyle B} , C {\displaystyle C} について、
行列の例

を計算せよ。
行列の例

それぞれ、
行列の例

である。
行列の例

この結果から分かる通り、一般に行列の積は
行列の例

となる。
行列の例

となる場合、行列Aと行列Bは交換可能(可換)であるという。
行列の例

単位行列
行列の例

E = ( 1 0 0 1 ) {\displaystyle E={\begin{pmatrix}1&0\\0&1\end{pmatrix}}}
行列の例

を、2×2の単位行列(2次単位行列)と呼ぶ。対角成分だけが1であり、その他の成分がすべて0に等しい行列である。任意の2×2行列Aに対して、Eは
行列の例

を満たす。
逆行列

行列Aに対してその行列との積が単位行列 A A − 1 = A − 1 A = E {\displaystyle AA^{-1}=A^{-1}A=E} となる行列 A − 1 {\displaystyle A^{-1}} を、その行列の逆行列と呼ぶ。そのような行列はもし存在すれば各Aに対してただひとつに定まる。もちろん一般にはAに対して右側からかけるか左側からかけるかによって積は異なるのだが、この場合はAに対して右からかけて単位行列になるのならば左からかけても単位行列になるし、逆もまたしかりであることに注意しておく。逆行列の逆行列はもとの行列に等しい。
逆行列

2行2列の行列 A = ( a b c d ) {\displaystyle A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}} については、 a d − b c ≠ 0 {\displaystyle ad-bc\neq 0} のとき A − 1 = 1 ( a d − b c ) ( d − b − c a ) {\displaystyle A^{-1}={\frac {1}{(ad-bc)}}{\begin{pmatrix}d&-b\\-c&a\end{pmatrix}}} となる。 ad - bc = 0 のとき、逆行列は存在しない。
逆行列

実際に行列の積を取ることで、これが正しいことが容易にわかる。
逆行列

例題
逆行列

上で定めた行列 A {\displaystyle A} , B {\displaystyle B} , C {\displaystyle C} の逆行列を計算せよ。
逆行列

行列A,B,Cは、それぞれ
逆行列

であった。
逆行列

それぞれ、
逆行列

である。
逆行列

1次方程式
逆行列

は、
逆行列

と書ける。両辺に左辺の行列の逆行列を掛けると、
逆行列

x = 1, y = 0 が得られ、始めの連立1次方程式が解けたことになる。 一般に、連立1次方程式がただ一組の解をもつとき、連立1次方程式を解くことは逆行列を求めることと同じである。 特に、2×2行列の逆行列は既に公式が得られているので、2元1次方程式は簡単に解くことができる。
逆行列

A = ( a b c d ) , x = ( x y ) , b = ( p q ) {\displaystyle A={\begin{pmatrix}a&&b\\c&&d\end{pmatrix}},\mathbf {x} ={\begin{pmatrix}x\\y\end{pmatrix}},\mathbf {b} ={\begin{pmatrix}p\\q\end{pmatrix}}} とおくと
逆行列

と書ける。ここでAをこの連立1次方程式の係数行列という。この方程式の解は、Aが逆行列を持つとき一意に定まり、 x = A − 1 b {\displaystyle \mathbf {x} =A^{-1}\mathbf {b} } である。
行列の応用

平面上のベクトル a → {\displaystyle {\vec {a}}} に対して回転行列 R = ( cos c − sin c sin c cos c ) {\displaystyle R={\begin{pmatrix}\cos c&-\sin c\\\sin c&\cos c\end{pmatrix}}} をかけた積 R a → {\displaystyle R{\vec {a}}} は、 a → {\displaystyle {\vec {a}}} を原点を中心にして角度cだけ回転させたベクトルになっている。
行列の応用

座標値(x,y)の点Pを行列をかけることで移動したものを考える。
行列の応用

は、
行列の応用

x ( a c ) + y ( b d ) {\displaystyle x{\begin{pmatrix}a\\c\end{pmatrix}}+y{\begin{pmatrix}b\\d\end{pmatrix}}} とも書ける。
行列の応用

これは、新たな直線座標を用意し(新座標の各座標軸の単位ベクトルは前の座標を基準に測ると、それぞれ方向ベクトル ( a c ) {\displaystyle {\begin{pmatrix}a\\c\end{pmatrix}}} および 方向ベクトル ( b d ) {\displaystyle {\begin{pmatrix}b\\d\end{pmatrix}}} である。)、この座標に座標値(x,y)を代入することで点Pを移動したものを、前の座標系で測った場合の座標値になっている。
行列の応用

通常の直交座標(原点で90°で交わる座標)の上の点の座標(x,y)について、点の位置は同じまま、新たな別の直線座標(直交とは限らない)で見た場合の座標(z,w)を考える。新たな別座標(直線座標)は、計算の都合上、原点だけは元の座標と同じとする。すると、次のように、前の座標と新たな座標との関係を、行列で表記できる。
行列の応用

というふうな関係式で記述できる。 実際に、たとえば (x,y)=(0,0) のとき ( z,w=0,0) となっている。
行列の応用

さて、左辺は z ( a c ) + w ( b d ) {\displaystyle z{\begin{pmatrix}a\\c\end{pmatrix}}+w{\begin{pmatrix}b\\d\end{pmatrix}}} とも書ける。
行列の応用

この式を、座標の変換の幾何学として考えた場合、次のような理論になる。
行列の応用

まず、新たな直線座標の座標軸の単位ベクトルの方向は、もとの座標系を基準に見ると、それぞれ方向ベクトル ( a c ) {\displaystyle {\begin{pmatrix}a\\c\end{pmatrix}}} および 方向ベクトル ( b d ) {\displaystyle {\begin{pmatrix}b\\d\end{pmatrix}}} である。
行列の応用

さて、この問題では点Pの位置(x、y)は何も変換しておらず、よって、前の座標を基準にして点Pの位置を見ても、何も変化しない。この問題で変更したのは座標軸のほうであるから、新たな座標系で見た点Pの値(z,w)に興味があるのである。
行列の応用

平面図形上の線分は、2行2列の行列で変換できる。
行列の応用

A = ( a b c d ) {\displaystyle A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}} で変換した場合については、 a d − b c ≠ 0 {\displaystyle ad-bc\neq 0} のとき、線は線に変換され、四角形は四角形に変換され、三角形は三角形に変換される。
行列の応用

2行2列の行列 A = ( a b c d ) {\displaystyle A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}} については、図形の面積は、 a d − b c {\displaystyle ad-bc} 倍される。