コンテンツにスキップ

線型代数学/行列概論

出典: フリー教科書『ウィキブックス(Wikibooks)』
線型代数学
← ベクトル 行列概論 線型方程式

行列

[編集]

定義

[編集]

を自然数とする。個の数を、括弧で囲んだ中に次のように縦に個、横に個、表のように並べて書いたものを、列の行列(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 列の各成分の積を実線部分のように取り、続いて点線のように加えていくことにより、積ABij成分を得る。
行列の積では、行列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)といい、と表す。が明らかである場合にはしばしば省略して、と表すこともある。クロネッカーのデルタを使うと.

行列の演算の性質

[編集]

を任意の行列 、を任意の定数、を零行列、を単位行列とすると、以下の関係が成り立つ。

  1. 結合法則:
  2. 交換法則:

転置行列

[編集]

に対して

転置行列(transposed matrix)と言い、と表す。

つまりとは、の縦横をひっくり返した行列である。

以下のような性質が成り立つ。

証明

とする。

  1. 転置行列とは、行と列を入れ替えた行列なので、2回行と列を入れ替えれば、もとの行列に戻る。
  2. 成分はであり、成分はである。
  3. 成分はであり、成分はであるから。
  4. 成分はなので、成分はである。次に、成分は成分はであるので、成分はであるから。

ただし、の列数とする。

複素行列

[編集]

ある行列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)


逆行列

[編集]

となる行列が存在すれば、の逆行列といい、と表す。
また、に逆行列が存在すれば、正則行列といい、逆行列はただ一通りに決まる。

証明

に逆行列が存在すると仮定すると。
が成り立つので、
よってとなるので、逆行列が存在すれば、ただ一通りに決まる。

逆行列については、以下の性質が成り立つ。

証明

  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)

線型代数学
← ベクトル 行列概論 線型方程式