1次方程式
-
を、次のような記法で表してみる。
-
これから勉強するのは、連立方程式とベクトルとの関係であり、それを考察しやすくするために、あらたに行列(ぎょうれつ)という量を導入する。
ベクトル
に、
演算 を施して(この演算の内容こそが、これから説明する「行列」である)、
答えのベクトル
を得た、という表現に書き換える。
まず、このような記法をするため、次に説明する行列(ぎょうれつ、英:matrix)という量を新たに定義する。
まず、行列どうしの積の定義を、
- 積
は、
- 行列
と等しい、と定める。
何故このように定めるのか、考えよう。
2つの連立方程式
-
-
において、中間的変数p,qを消去して、変数x,yに関する一つの連立方程式と書き直すと
-
となる。
実際、下2式のp,qに、上2式を代入して整頓すればよい。
読者は代入して確認せよ。
これを行列表現すると
-
他方、2つの連立方程式を行列を用いて書き直すと
-
-
上の式を下の式に、形式的に代入すると
-
2つの行列表現式を比較すれば、
行列の積の定め方の合理性が分かるだろう。
積の定義式は、一見すると複雑そうに見えるが、かりに補助線を
-
のように引いてみれば分かるように、たとえば合成後の2行1列め は、合成前の2行めのそれぞれの成分
と、合成前の1列目
の成分とを、掛けて足したものになっている。
一般に、積の合成後のx行y列めは、合成前のx行めのそれぞれの成分と、合成前のy列目のそれぞれの成分とを、掛けて足した結果になっている。
行列どうしの積は、順序によって結果が異なる。
たとえば行列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 列のベクトルの内積である。
たとえば、行列
と
の積 の(1, 2) 成分である は、
ベクトル と ベクトル との 内積になっている。
このように考えると、「行列」とは「ベクトルを並べたもの」とも言える。(ただし並べるベクトルの次元は同じ次元でなければならない。)
こうすれば、連立1次方程式を
-
は、行列を用いて
-
と表せる。
例題
次のw, x, y, zの値を求めよ。
-
それぞれ、
-
行列の和・差・実数倍の定義は、次のように、ベクトルの和・差・実数倍と似たような性質を持つ。
行列の和の定義は、各要素ごとに足し合わせる、と定義される。
-
行列の差の定義は、各要素ごとに引くと定義する。
-
実数倍の定義は、各要素に実数を掛けることによって定義する。
-
(-1)A は -A と書く。
例題
行列A,B,Cを
-
-
-
で定義するとき、
-
-
-
を計算せよ。
それぞれ、
-
-
-
となる。
零行列
すべての成分が0である行列を ゼロ行列(ぜろぎょうれつ、英:zero matrix) という。
は ゼロ行列 である。
Aを行列、OをAと行数・列数が等しい零行列とすると、
-
を満たす。
例題
上で用いた行列 , , について、
-
-
-
-
-
を計算せよ。
それぞれ、
-
-
-
-
-
である。
この結果から分かる通り、一般に行列の積は
-
となる。
-
となる場合、行列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列の行列
については、図形の面積は、 倍される。