行列の平方根
数学のおもに線型代数学および函数解析学における行列の平方根（ぎょうれつのへいほうこん、）は、数に対する通常の平方根の概念を行列に対して拡張するものである。すなわち、行列 が行列 の平方根であるとは、行列の積に関して が に等しいときに言う。

「実数の平方根は必ずしも実数にならないが、複素数は必ず複素数の範囲で平方根を持つ」ことに対応する事実として、実行列の平方根は（存在しても）必ずしも実行列にならないが、複素行列が平方根を持てばそれは必ず複素行列の範囲で取れる。

平方根を持たない行列も存在する。

また一般に、ひとつの行列が複数の平方根を持ち得る。実際、 単位行列は次のように無数の平方根を持つ。formula_1 

このように行列の平方根は無数に存在しうるが、半正定値行列の範疇で行列の主平方根 ("principal square root") の概念が定義できて「半正定値行列の主平方根はただ一つ」である（これは「非負実数が非負の平方根（主平方根）をただ一つだけ持つ」という事実に対応する）。

 行列が、相異なる二つの非零固有値を持つならば、それは四つの平方根を持つ（より一般に、相異なる 個の非零固有値を持つ 行列は 個の平方根を持つ）。実際に、そのような仮定を満たす行列 は の固有ベクトルを列ベクトルに持つ行列 とそれに対応する固有値を対角成分に持つ対角行列 を用いて から、 の平方根は で与えられることがわかる。ただし、 は の任意の平方根で、それは の対角成分の任意の平方根を同じ位置の対角成分として持つ対角行列であり、その選び方は 通りある。同じ理由で、上で述べた「半正定値行列の主平方根がただ一つに定まる」ことも言える—半正定値行列 の全ての非負固有値の主平方根を対角成分に持つ対角行列を とする行列 はただ一つしかない。

適当な冪零行列 を用いて の形に書ける行列の平方根 は、二項級数に対する汎函数計算で求められる。同様に、行列の指数函数 , 対数函数 が既知ならば、 を の（主）平方根とすることができる（収束性に注意せよ）。
Q395
数学
Concept
Q82571
線型代数学
Concept
Q190549
函数解析学
Concept
Q134237
平方根
Concept
Q44337
行列
Concept
Q1049914
行列の積
Concept
Q193794
単位行列
Concept
Q77601250
半正定値行列
UNK
Q3553768
固有値
Concept
Q332791
対角行列
Concept
Q650670
冪零行列
Concept
Q833480
二項級数
UNK
Q1191722
指数函数
Concept
Q902017
対数函数
UNK
Q964330
行列の平方根
Concept
Q964330
行列の平方根
Concept
Q964330
行列の平方根
Concept
Q964330
行列の平方根
Concept
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of
studies
facet of
studies
subclass of
subclass of
subclass of