行列の平方根

出典: フリー百科事典『ウィキペディア(Wikipedia)』

出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学 > 線型代数学 > 行列値関数 > 行列の平方根

数学のおもに線型代数学および函数解析学における行列の平方根(ぎょうれつのへいほうこん、: square root of a matrix)は、数に対する通常の平方根の概念を行列に対して拡張するものである。すなわち、行列 B が行列 A平方根であるとは、行列の積に関して B2 = BBA に等しいときに言う。

「実数の平方根は必ずしも実数にならないが、複素数は必ず複素数の範囲で平方根を持つ」ことに対応する事実として、実行列の平方根は(存在しても)必ずしも実行列にならないが、複素行列が平方根を持てばそれは必ず複素行列の範囲で取れる。非負整数の平方根の場合にはそれが整数でないならば有理数にもならないが、これに対しすべての成分が整数である行列 (integer matrix; 整数行列、整係数行列)が平方根を持てば、そのなかに成分がすべて有理数となるようなものがある[注 1]

平方根を持たない行列も存在する[注 2]。また一般に、ひとつの行列が複数の平方根を持ち得る[注 3]。実際、2 × 2 単位行列を考えれば、任意のピタゴラス三つ組 (r, s, t)r, s, t は自然数で r2 + s2 = t2—を用いて以下の形に書ける行列

I2 の平方根となることが確かめられる[1])。すなわち、単位行列 I2 は、有理数成分の対称行列となる平方根(有理対称平方根)を無限個持つ。それにもかかわらず、半正定値行列[注 4]の範疇で行列の主平方根 (principal square root) の概念が定義できて「半正定値行列の主平方根はただ一つ」である(これは「非負実数が非負の平方根(主平方根)をただ一つだけ持つ」という事実に対応する)。

2 × 2 行列が、相異なる二つの非零固有値を持つならば、それは四つの平方根を持つ(より一般に、相異なる n 個の非零固有値を持つ n × n 行列は 2n 個の平方根を持つ)。実際に、そのような仮定を満たす行列 AA の固有ベクトルを列ベクトルに持つ行列 V とそれに対応する固有値を対角成分に持つ対角行列 D を用いて A = VDV−1 と分解できる英語版から、A の平方根は VD½ V−1 で与えられることがわかる。ただし、D½D の任意の平方根で、それは D の対角成分の任意の平方根を同じ位置の対角成分として持つ対角行列であり、その選び方は 2n 通りある。同じ理由で、上で述べた「半正定値行列の主平方根がただ一つに定まる」ことも言える—半正定値行列[注 5] A の全ての非負固有値の主平方根を対角成分に持つ対角行列を D½ とする行列 VD½ V−1 はただ一つしかない。

適当な冪零行列 N を用いて I + N の形に書ける行列の平方根 (I + N)½ は、二項級数に対する汎函数計算で求められる。同様に、行列の指数函数 exp, 対数函数 log が既知ならば、行列乗 exp(½⋅log(A))A の(主)平方根とすることができる(収束性に注意せよ)。

定義[編集]

定義 (行列の平方根)
行列 B が行列 A平方根であるとは、B2 = A を満たすときに言う[2][注 6]

「非負実数が非負の平方根(主平方根)をただ一つだけ持つ」という事実に対応して

命題
  1. 半正定値行列は、それ自身が半正定値となるような平方根をただ一つ持つ。
  2. 一般に、すべての固有値が正の実数となる複素行列はすべての固有値が正の実数となる平方根をただ一つ持つ。
が成り立つ。そのように定まるただ一つの (the, unique) 平方根は行列の主平方根 (principal square root) と呼ばれる。

主平方根をとる操作は行列全体の成す集合上で連続である[3]。このとき、考えている行列が実行列ならば、その主平方根もまた実行列になる。主平方根に関する性質は、行列に対する正則汎函数計算英語版の帰結として得られる[4][5]。あるいは主平方根の存在と一意性はジョルダン標準形を用いて直截に示せる(後述)。

注意
記号 1/2 は、主平方根を表すために用いる場合[6]や、平方根の任意の一つを表すために用いる場合などがあるので、文脈に注意すべきである。

転置あるいはエルミート共軛を用いれば、より一般に非対称あるいは非エルミートな矩形行列の範疇で「平方根」をとることができる。

定義
記号 t行列の転置を表すものとして、半正定値実正方行列 A に対して、A = B tB(あるいは A = tBB を満たす任意の矩形行列 BA非対称平方根 (asymmetric square root)[7] と呼ぶ。
定義
記号 *エルミート共軛を表すものとして、半正定値複素正方行列 A に対して、A = BB*(あるいは A = B*B. を満たす任意の矩形行列 BA非エルミート平方根 (non-Hermitian square root) と呼ぶ。

B がそれ自身エルミート(実係数の場合は対称)ならば、これは上で述べた平方根の概念と一致する。任意の正定値エルミート行列 P に対し、それ自身正定値エルミートとなる平方根は一意であり、これを主平方根 (unique square root, principal square root)[8]と呼ぶ。

コレスキー分解からも平方根の例が得られるが、コレスキー因子と(主)平方根とを混同してはならない。

計算法[編集]

明示公式[編集]

2 × 2 行列の場合は、すべての成分を明示的に計算することによって平方根を求めることはそう難しくない。固有値が退化していない場合の平方根は明示公式英語版として記述できる。

Dn × n 対角行列ならば、D の対角成分の任意の平方根を対応する位置の対角成分に持つ対角行列 R を作れば平方根が得られる。D の対角成分が非負の実数ならば、先の対角行列 R で各成分の符号を全て正としたものは D の主平方根である。

冪等行列の平方根は、自身を平方根に持つ。

対角化の利用[編集]

対角化可能行列 A に対し、適当な行列 V と対角行列 D が存在して A = VDV−1 と書ける。これは ACn を張る n 個の固有値を持つことと同値である。このとき V はその列ベクトルが n 個の固有ベクトルであるように選べる。そうして A の平方根は D の任意の平方根を用いて と書ける。実際、 である。 A が対称行列ならば対角化に用いる行列 V は固有ベクトルを適当に選んで直交行列となるようにとれる。この場合、V の逆行列はたんに転置をとるだけであるから、 と書ける。

ジョルダン分解の利用[編集]

対角化可能でない行列の場合にはジョルダン標準形が利用できる。[注 7]

すべての固有値が正の実数であるような任意の複素行列が、同じ条件の平方根を持つことを見るには、ジョルダンブロックの場合に証明すれば十分である。そのようなブロックは実数 λ > 0 および冪零行列 N を用いて λ(I + N) の形に書ける。平方根の二項級数展開 (1 + z)1/2 = 1 + a1 z + a2 z2 + ⋯(収束域は |z| < 1)に対し、形式冪級数としての平方は 1 + z に等しい。zN に置き換えれば、冪零性により有限個を除く全ての項は零となり、S = λ(I + a1 N + a2 N2 + ⋯) が固有値 λ に属するジョルダンブロックの平方根を与える。

一意性を見るには λ = 1 の場合に確認すれば十分である。上で構成した平方根を S = I + L の形に書けば、L は定数項を持たない N の多項式である。固有値が正の実数となる他の任意の平方根 TT = I + M の形で M が冪零かつ N と(したがって L と)可換となるようにとれる。しかしこのとき 0 = S2T2 = 2(LM)(I + (L + M)/2) であり、また LM の可換性により L + M は冪零ゆえ I + (L + M)/2 は可逆(逆行列はノイマン級数で与えられる)となるから、したがって L = M.

すべての固有値が正の実数であるような行列 A最小多項式p(t) とするとき、A の一般固有空間へのジョルダン分解は p(t)−1 の部分分数分解から導かれる。すなわち、対応する一般固有空間の上への射影は A の実係数多項式として与えられ、各固有空間上で A は上記の通り λ(I + N) の形をしている。固有空間上での平方根の冪級数展開は、A の主平方根が実係数多項式 q(t) に対する q(A) の形をしていることを示すものである。

非対称平方根のユニタリ自由度[編集]

正実数の平方根は、主平方根に ±1 を掛けたものですべて与えられた。これに対応するように、正定値エルミート行列の任意の非エルミート平方根は、ユニタリ変換によって関連付けられる[9]:

主張
半正定値行列 T に対し、T = A*A = B*B ならばユニタリ行列 U が存在して A = UB と書ける。

実際、主平方根を B := T½ と書けば、T が正定値のとき B は可逆で、U = AB−1がユニタリであることは

からわかる。T が正定値でない半正定値行列のときは逆行列の代わりにムーア・ペンローズ擬逆行列 B+ が取れて、作用素 B+A は部分等長だから、T の核の上で自明となるように拡張して U が得られる。

応用[編集]

平方根およびそのユニタリ自由度は線型代数学および函数解析学の全般に応用を持つ。

極分解[編集]

可逆行列 A に対して、ユニタリ行列 U および正定値行列 P が一意に存在して A = UP と書ける。これを A の極分解と呼ぶ。この正定値行列 P は正定値行列 A*A の主平方根であり、UU = AP−1 で求まる。

A が可逆でないときでも、適当な方法で P が定まれば(それは一意であり)極分解が定義される。極分解におけるユニタリ作用素 U は一意ではないが、以下のようにして「自然な」ユニタリ行列は求められる: AP+A の値域からそれ自身への作用素であり、これは A* の核上自明に延長してユニタリ作用素 U にできるから、この U を極分解に用いればよい。

一般化[編集]

  • 有限次元数空間上で行列を考える代わりに、任意のヒルベルト空間上の有界作用素に対して、その平方根を考えることができる。とくに有界半正定値作用素に対して、半正定値な平方根としての主平方根は一意に決まる。あるいは非エルミート平方根に関しても同様に考えることができる。無限次元の場合には、平方根がユニタリ作用素を施す違いを除いて決まるという事実は、作用素が閉値域ならば正しい。非有界作用素に対しては、かつ稠密に定義された二つの平方根 A, B に対し部分等方な UA = UB とできることなどは言える。

関連項目[編集]

[編集]

注釈[編集]

  1. ^ 例えば、行列 は非負整係数の平方根 も整係数の平方根 も持つ
  2. ^ 例えば .
  3. ^ たとえば、行列 は行列 およびこれらの符号を変えたものを平方根に持つ
  4. ^ これはふつう、対称あるいはエルミートで考える
  5. ^ 正定値行列となるための必要十分条件はそのすべての固有値が正となることであった
  6. ^ このとき、平方が定義できるために行列は必然的に正方行列でなければならないことに注意せよ。とくに対称行列の場合が重要である。
  7. ^ 行列の対数函数#非対角化可能行列の対数の項と同様の級数展開を用いる方法

出典[編集]

  1. ^ Mitchell, Douglas W. "Using Pythagorean triples to generate square roots of I2". The Mathematical Gazette 87, November 2003, 499-500.
  2. ^ Higham, Nicholas J. (April 1986), “Newton's Method for the Matrix Square Root”, Mathematics of Computation 46 (174): 537–549, doi:10.2307/2007992, JSTOR 2007992, http://www.ams.org/journals/mcom/1986-46-174/S0025-5718-1986-0829624-5/S0025-5718-1986-0829624-5.pdf 
  3. ^ Horn, Roger A.; Johnson, Charles R. (1990). Matrix analysis. Cambridge: Cambridge Univ. Press. p. 411. ISBN 9780521386326. 
  4. ^ 行列変数の解析函数について: Higham 2008, Horn & Johnson 1994
  5. ^ 正則汎函数計算について: Rudin 1991, Bourbaki 2007, Conway 1990
  6. ^ Gentle, James E., Matrix Algebra, p. 125, https://books.google.com/books?id=PDjIV0iWa2cC&pg=PA125&dq=%22Cholesky+factor%22 
  7. ^ Marshall, Albert W.; Olkin, Ingram; Arnold, Barry, Inequalities, p. 773, https://books.google.com/books?id=I9wfajyOrooC&pg=PA773&dq=%22asymmetric%2Bsquare%2Broot%22 
  8. ^ Higham, Nicholas J., Functions of Matrices, p. 20, https://books.google.com/books?id=2Wz_zVUEwPkC&pg=PA20&dq=%22unique%2Bsquare%2Broot%22 
  9. ^ Lu, Andreas, Practical Optimization, p. 601, https://books.google.com/books?id=6_2RhaMFPLcC&pg=PA601&dq=%22non-hermitian%2Bsquare%2Broot%22 

参考文献[編集]