この節では線型な方程式を扱うために行列という量を導入する.
次のように縦方向に 列と横方向に 列のマス目状に数値を配列したものを
の行列 (matrix) という:
この例ではそれぞれ , の行列である.
の行列は特に 次の正方行列という.
また の行列は 次元の列ベクトルに一致する.
他方で の行列は 次元の行ベクトルと呼ばれる.
表記の都合上列ベクトルはカンマあり で表し,行ベクトルはカンマなし と表す.
行列は大抵は大文字のアルファベットで などと表記される.
行列の 行目 列の要素を のように添字を並べて表記する.
たとえば 行列は一般に
のように書ける.
成分がこのように並んでいることを1行で書きたい場合は と書く.
また 行 列目の要素 を の 成分という.
行列の和とスカラー倍はベクトルと同じように定義され2つの 行列 に対して
と定義する.
行列の積は少し特殊である.
行列 と 行列 に対して積を
行列の積
で定義する.
は の行列になっている.
積が定義できるためには左の行列の列と右の行列の行が一致していなければならない.
積は次の演算規則を満たす:
次元の行ベクトル と列ベクトル の積は
となる.つまり はベクトルの内積であり, はダイアドとよばれるベクトルから行列を作る演算である.
ダイアドは2つのベクトル に対して と書いて 成分が であるような行列を返す演算として定義される.
行列 に対して行と列を入れ替えた行列を転置行列 (transpose) といい とかく.
成分では
転置行列
の 成分を とすると の 成分は である.
明らかに である.
列ベクトルの転置を取ると行ベクトルになる.
ゆえにベクトルの内積は ,ダイアドは とかける.
左辺はベクトルの内積で右辺は行列の積として解釈する.
これまで位置ベクトルなどで登場したベクトルは列ベクトルであり,行ベクトルはその転置として理解する.
ここからは行列は全て正方行列とする.
物理学において正方行列でない行列が重要な意味を持つことは少ない.
次元が同じ正方行列どうしならいつでも積が定義できる.
ただし一般に非可換であり とは限らない.
全ての成分が である行列
零行列
を零行列という.
零行列は数字の と同じように , が成り立つ.
正方行列の対角線上の成分 を対角成分といい,それ以外は非対角成分という.
対角成分がすべて で非対角成分が の行列
単位行列
を単位行列 (identity matrix) という.
単位行列は数字の と同じように が成り立つ.
行列 について かつ となるような行列 が存在するとき を正則行列 (regular matrix) という.
また を の逆行列 (inverse matrix) といい と表記する.
明らかに逆行列 の逆行列は である.
2つの行列 が正則ならば積 も正則である.
実際 に対して かつ となり がわかる.
行列の計算において重要な役割をする正則行列を紹介する.
1つ目は行列 成分( )が で他は単位行列と同じ行列,
この行列を任意の行列 の左からかけると は の 行目を 倍して 行目に加えたものになる.
右からかけた場合は 列目を 倍して 列目に加えたものになる.
逆行列は の 行目を 倍して 行目に加える行列 である.
2つ目は行列の 成分( )と 成分が で 成分と 成分は で他は単位行列と同じ行列
この行列を任意の行列 の左からかけると は の 行目と 行目を入れ替えたものになる.
右からかけた場合は 列目と 列目を入れ替えたものになる.
もう一度入れ替えると元に戻るので逆行列は自分自身であり .
3つ目は 成分が で他は単位行列と同じ行列
この行列を任意の行列 の左からかけると は の 行目を 倍したものになる.
右からかけた場合は 列目を 倍したものになる.
逆行列は 行目を 倍する行列 である.
3つの行列 は基本行列といい,基本行列による行列の変換を基本変形という.
行列 に対して左から基本変形を繰り返して単位行列 となったとしよう.
ここで は基本行列の積であり,それゆえ正則.
このとき
となり も満たされる.
したがって は正則であり逆行列は である.
すべての行列に逆行列が存在するわけではない.
Problems
次の行列の積を計算せよ
三角函数の加法定理により
次正方行列 に対して
を示せ.
の 成分を とすると,
ここで は の 成分であり, は の 成分である.
したがって が示された.
次の 次の正方行列に対して基本変形を施すことで逆行列を求めよ:
一般に逆行列を行基本変形で求めるときは次のようにすると便利である:
となる を求めるために 行列 を考えこれに左から基本行列をかけて と変形することを目指せば良い.
まず 行目の 倍を 行目に加える,
行目の 倍を 行目に加える,
行目を 倍, 行目を 倍, 行目を 倍する,
行目の 倍を 行目に加える,
行目の 倍を 行目に加える,
よって
“行列” への1件のフィードバック