と
を自然数とする。
個の数
を、括弧で囲んだ中に次のように縦に
個、横に
個、表のように並べて書いたものを、
行
列の行列(matrix)と言う。(m×n)-行列とも言う。

この行列を構成する
を行列の成分(element)と言う。横に並んだ一列を行(row)、縦に並んだ一列を列(column)と言う。上から
番目の行を第
行といい、左から
番目の列を第
列と言う。行列内の第
行、第
列に位置する成分を、この行列の
-成分と言う。行列Aの
成分が、
である行列
を
と書く。
行列の第k列の列ベクトルを
とする。
行列は、この列ベクトルを用いて、行列は、
と表すこともできる。
同じように、行列の第k行の行ベクトルを
としたとき。
行列は、この行ベクトルを用いて、行列は、
と表すこともできる。
成分が全て実数の行列を実行列と言い、成分が全て複素数の行列を複素行列という。また、
の場合、(n×n)-行列を特にn次正方行列と呼ぶ。
相等関係[編集]
2つの(m×n)-行列
に関し、
と
が等しいとは、2つの行列の対応する成分が全て等しいことを言う。すなわち、
のとき、

2個のm行n列行列
と
について、行列の和 A+B を次のように定義する。
,
のとき、

のとき、
と表現することもできる。
スカラー乗法[編集]
また、行列
と定数
について、行列の定数倍
を次のように定義する。
のとき、

特に、
のとき、
を
と書く。
また、
を
と書く。
行列の積の計算過程の図示。行列Aの第i 行と行列Bの第j 列の各成分の積を実線部分のように取り、続いて点線のように加えていくことにより、積ABのij成分を得る。
行列の積では、行列Aの列数と行列Bの行数が同じでなくてはいけない。行列Cの行数は行列Aの行数であり、行列Cの列数は行列Bの列数である。
2個の行列
と
について、Aの列数とBの行数が同じで
の場合に、行列の積
を次のように定義する。
,
のとき、AとBの積ABを
によって

と定める。
この定義は難しく見えるが、行列
の
行目の行ベクトルと、行列
の
列目の列ベクトルの内積が行列
の
成分になっているだけである。
行列同士の積は全ての二行列に対して定義されているわけではない。(m×n)-行列と(n×l)-行列の間にのみ定義されているのである。
例題
次の計算をせよ。

- 解答

例題
行列
、
行列
、
行列
について、
を証明せよ。
- 解答
ここでは、行列
の
成分を
と表すことにする。
よって、
零行列[編集]
行列成分が全て0の行列を零行列(zero matrix)といい、
と書く。特に(m×n)-行列であることを明示する場合には、0m,nと書き、n次正方行列であることを明示する場合には0nと書く。
任意の行列に、適当な零行列をかけると、常に零行列が得られる。零行列は、実数における0に似ている。
単位行列[編集]
に対して、成分
を、
次正方行列
の対角成分(diagonal element)という。
行列の対角成分がすべて1で、その他の成分がすべて0であるような正方行列
を単位行列(elementary matrix、あるいはidentity matrix)といい、
や
と表す。
が明らかである場合にはしばしば省略して、
や
と表すこともある。クロネッカーのデルタを使うと
.
行列の演算の性質[編集]
を任意の
行列 、
を任意の定数、
を零行列、
を単位行列とすると、以下の関係が成り立つ。
- 結合法則:

- 交換法則:












転置行列[編集]
に対して

を
の転置行列(transposed matrix)と言い、
や
と表す。
つまり
とは、
の縦横をひっくり返した行列である。
以下のような性質が成り立つ。




- 証明
とする。
- 転置行列とは、行と列を入れ替えた行列なので、2回行と列を入れ替えれば、もとの行列に戻る。
の
成分は
であり、
の
成分は
である。
の
成分は
であり、
の
成分は
であるから。
の
成分は
なので、
の
成分は
である。次に、
の
成分は
の
成分は
であるので、
の
成分は
であるから。
ただし、
を
の列数とする。
複素行列[編集]
ある行列Aのすべての成分の複素共役を取った行列
を、複素共役行列(complex conjugate matrix)という。
以下のような性質がある。




一番最後の式には注意せよ。とりあえず、ここで一休みして、演習をやろう。
演習
- 1.定理(1.5.1)を証明せよ
- 2.計算せよ
- (1)

- (2)

- (3)

- (4)

- (
)
3.
- 対角成分*1が全て1それ以外の成分が全て0のn次正方行列*2を、単位行列と言い、Enと書く。つまり、
, 
- このδi,jを、クロネッカーのデルタ(Kronecker delta)と言う、またはクロネッカーの記号と言う。この時、次のことを示せ。
- (1)
のとき、AX=E2を満たすXは存在しない
- (2)
の時、(1)の定義で、BX=AとなるXが存在しない。
- また、YB=Aを満たすYが無数に存在する。
- (3)n次行列(n次正方行列)Aのある列が全て0なら、AX=Eを満たすXは存在しない。
- *1対角成分:n次正方行列A=(ai,j)で、(i=1,2,...,n;j=1,2,...,n)ai,i=a1,1,a2,2,...,an,nのこと
- *2n次正方行列:行と、列の数が同じnの時の行列
区分け[編集]
は、
,
,
とすることで、
一般に、
定義(2.1)行列の区分け
(l,m)型行列A=(ai,j)をp-1本の横線とq-1本の縦線でp×qの島に分けて、上からs番目、左からt番目の行列をAs,tとおいて、
とすることを、行列の区分けと言う。
定理(2.2)
同様に区画された同じ型の、
,
がある。この時、
(2.3)
(s=1,2,...,p;u=1,2,...,r)
(証明)
- (i)
- As,tを(ls,mt),Bt,uを(mt,nu)とすると、As,tBt,uは、tと関係なく、(ls,mt)型行列であるから、それらの和Cs,uも(ls,mt)型行列である。よって、(2.3)は意味を成す。
- (ii)
- Aを(l,m)Bを(m,n)型、(2.3)の両辺の対応する成分を(α,β)、
,
.
- とおけば、Cs,uの(α,β)成分とCの(i,k)成分,As,tBt,uは等しく、それは
であり且

- ⇔
の(α,β)成分=
- (i),(ii)より、定理(2.2)は証明された。
例
- p=q=r=2とすると、
(2.4)
- A2,1,B2,1=Oとすると、(2.4)右辺は

- と、区分けはこの時威力を発揮する。A1,2,B1,2=Oならさらに威力を発揮する。

例
- 単位行列Enをn個の縦ベクトルに分割したときの、そのベクトルをn項単位ベクトルと言う。これは、ベクトルの項でのべた、2,3次における単位ベクトルの定義の一般化である。Eのことを単位行列と言う意味が分かっただろうか。ここでAを、(l,m)型Bを(m,n)型と定義しなおし、
- B=(b1,b2,...,bn)
- とすると、
- AB=(Ab1,Ab2,...,Abn)
- この事実は、定理(2.2)の特殊化である。
縦ベクトルx=(xi)は、
x=x1e1+x2e2+...+xkek
と表す事が出来るが、一般に
x1a1+x2a2+...+xkak
をa1,a2,...,akの線型結合と言う。
演習
計算せよ
(1)
(2)
逆行列[編集]
となる行列
が存在すれば、
を
の逆行列といい、
と表す。
また、
に逆行列が存在すれば、
を正則行列といい、逆行列はただ一通りに決まる。
証明
に逆行列
が存在すると仮定すると。
が成り立つので、
よって
となるので、逆行列が存在すれば、ただ一通りに決まる。
逆行列については、以下の性質が成り立つ。


証明
の逆行列は、定義から、
となる
であるが、
に
を代入すると成り立っているので、
である。
の逆行列は、
となる
であるが、
に
を代入すると、


- となり、式が成り立っているので
である。
定義(3.2.4)対称区分け
正方行列を一辺が等しい正方形の島に区分けするとき、この区分けを対称区分けと言う。
簡単な証明で
「定理(3.2.5)
対称区分けで、
において、A1,1とA2,2が正則ならば、Aも正則である。」
及び次のことが言える。
「対称区分けで、
A=(Ai,j)で、(i,j=1,2,...n)
ならば、Aが正則である必要十分条件は、Aiがすべて正則である事である」
その逆行列は、次のように与えられる。
また、(3.2.5)の逆行列A-1は、
である。
行列の累乗[編集]
行列の累乗は、
を正則行列、
を自然数とし、次のように定義される。



行列の累乗には以下の性質がある。


のとき
ただし:
を正則行列、
を自然数とする。
証明
なので、隣り合うAとBを入れ替えていくと

これを続けると、
となる。
その他[編集]
正方行列(ai,j)において、ai,iを対角成分と言う。また、対角成分以外が全て0である正方行列のことを対角行列(diagonal matrix)と言う。対角行列が正則であるための、必要十分条件は、対角成分が全て0でないということである。4章で示される。対角行列の中でも更にスカラー行列と呼ばれるものがある。それはcE(c≠0)の事である。勿論Eはc=1の時のスカラー行列で、対角行列である。また、スカラー行列cEを任意行列Aに掛けると、CAとでる。対角行列が定義されたので、固有和が定義できる。
定義(3.2.6)固有和または跡(trace)
- 正方行列Aの固有和
- TrA
- とは、対角成分の総和である。
次のような性質がある
Tr(cA)=cTrA, Tr(A+B)=TrA+TrB, Tr(AB)=Tr(BA)