高等学校数学/代数・幾何/行列

出典: フリー教科書『ウィキブックス(Wikibooks)』

高等学校数学C > 行列


本項は高等学校数学Cの行列の解説である。

連立一次方程式と行列[編集]

1次方程式

を、次のような記法で現してみる。

と書いてみる。

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

ベクトル に、 演算 を施して(この演算の内容こそが、これから説明する「行列」である)、 答えのベクトル を得た、という表現に書き換える。

まず、このような記法をするため、次に説明する行列(ぎょうれつ、英: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) 成分がすべて等しいことと定める。

つまり、  とは、  である。

ベクトル内積と行列[編集]

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

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

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

と書ける。

右辺の は、1行1列の行列である。このように、行列では、1行1列の行列も認める。


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

たとえば、行列 の積 の(2, 1) 成分である は、

ベクトル と ベクトル との 内積になっている。

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


こうすれば、連立1次方程式を

は、行列を用いて

と表せる。

例題

次のw, x, y, zの値を求めよ。

  • 解答

それぞれ、

行列の和,差,実数倍[編集]

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

行列のの定義は、各要素ごとに足し合わせる、と定義される。

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

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

(-1)A は -A と書く。

例題

行列A,B,Cを

で定義するとき、

を計算せよ。

  • 解答

それぞれ、

となる。

零行列

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

 は ゼロ行列 である。


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と行列Bは交換可能(可換)であるという。

単位行列

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

EA = AE = A

を満たす。

逆行列[編集]

逆行列の定義[編集]

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

2行2列の行列 については、のとき となる。 ad - bc = 0 のとき、逆行列は存在しない。

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

例題

  • 問題

上で定めた行列,,の逆行列を計算せよ。

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

であった。




  • 解答

それぞれ、

である。

逆行列を用いた連立一次方程式の解法[編集]

1次方程式

は、

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

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


とおくと

と書ける。ここでAをこの連立1次方程式の係数行列という。この方程式の解は、Aが逆行列を持つとき一意に定まり、 である。

行列の応用[編集]

図形への応用[編集]

点の移動[編集]

回転行列[編集]

平面上のベクトルに対して回転行列 をかけた積は、を原点を中心にして角度cだけ回転させたベクトルになっている。

(証明)
ベクトルaを極座標を用いてと書く。すると積
であり、これは確かにを角度cだけ回転させたベクトルである。
一般の行列による点の移動[編集]

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

は、

とも書ける。

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

座標の変換[編集]

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

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

さて、左辺は とも書ける。

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

まず、新たな直線座標の座標軸の単位ベクトルの方向は、もとの座標系を基準に見ると、それぞれ方向ベクトル および 方向ベクトル である。

ここで、もし新たな座標系を基準にして、新たな座標軸の単位ベクトルの数値を見ても、結果の単位ベクトルの数値は (0,1) および (1,0) になるだけであり、何も計算した事にならない。なぜなら自己の座標系で自己の単位ベクトルを見ても、(0,1) および (1,0) でしかないから、である。
計算すべきは、新たな座標軸を基準にして前の座標軸を見た場合の数値、もしくは、前の座標軸を基準にして新たな座標軸を見た場合の数値である。

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

線の移動[編集]

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

で変換した場合については、のとき、線は線に変換され、四角形は四角形に変換され、三角形は三角形に変換される。

面の移動[編集]

2行2列の行列 については、図形の面積は、倍される。

線形写像[編集]

不動直線[編集]

発展[編集]

固有値と固有ベクトル[編集]