数学において、行列の対数（ぎょうれつのたいすう、）とは、行列の指数関数を施したとき与えられた行列と一致するようなもう一つの行列をいう。つまり行列の対数函数は、スカラー変数スカラー値の対数函数の一般化であり、また行列の指数関数のある意味での逆関数を与えるものとなる。必ずしも全ての行列がその対数を持つわけではなく、また対数を持つ場合であっても複数の行列を対数として持ち得る。対数を持つ行列は何らかのリー群に属し、かつ、その対数はそのリー群に付随するリー代数の元に対応するため、行列の対数函数の研究はにつながる。
定義 与えられた正方行列 に対して、 を満たす正方行列 を、 の（行列の）対数と呼び あるいは などで表す。複素数の場合と同様、行列の対数はしばしば一意ではない（後述）。
なお、正方行列を変数とする指数関数は、正方行列 に対して
で定義される。
具体例 正方行列 に対して、
が適当な正の実数について収束すれば、である。
複素関数について、を中心としたテイラー展開は、
であり、その収束半径はであるので、ならばを十分大きくとればテイラー展開は収束する。
これを行列に当てはめれば、 正方行列のすべての固有値(特性根)の実数部分が正であれば、適当な正の実数について、
は収束し、である。
例: 平面回転の対数 簡単な例が、平面上の回転によって与えられる。原点を中心とする角度 の回転は 行列
で表わされる。任意の整数 に対して、行列
は の対数である。したがって、 は無限個の対数を持つ。このことは、回転角が の整数倍の違いを除いてしか決めることができないという事実に対応するものである。
リー理論の用語を用いれば、回転行列 はリー群 の元であり、対応する対数 は（歪対称行列全体の成す）リー代数 の元となる。行列
はリー代数 の生成元である。
存在性 「与えられた行列に対数が存在するか否か」という問題は、複素係数の範囲で考えるときに最も単純な答を持つ。この場合、与えられた行列が対数を持つための必要十分条件は、それが可逆であることである, Theorem 1.27。ジョルダン標準形で考えれば、任意のに対して、 であるから、となるが存在すれば、となりは対数を持つ。逆にとなるが存在すれば、となりは対数を持つ。このため、の対数の存在と、そのジョルダン標準形の対数の存在は必要十分である。一方、ジョルダン細胞については、固有値がゼロでなければ対数行列を持ち、固有値がゼロならば対数行列を持たないことが言えるので、行列が対数行列を持つには、固有値ゼロを持たない、即ち行列式がゼロでない、即ち可逆であることが必要十分と言える。
対数を持つ場合においても対数が一意とは限らないが、その行列が負の実固有値を持たないならば、そのすべての固有値が帯状領域 に載っているような対数はただ一つ定まり、主値あるいは「主対数 (principal logarithm)」と呼ばれる, Theorem 1.31。
実係数の範囲内で考えるならば答はより込み入ってくる。実行列が実行列を対数に持つための必要十分条件は、それが可逆かつ負の固有値に属する各ジョルダン細胞が偶数回あらわれることである。可逆な実行列が、このジョルダン細胞に関する条件を満たさないならば、その対数は実でない複素行列の中でしか考えられない。この状況はスカラーの場合にすでに生じていることであり、実際 の（複素）対数は実数でない複素数である。 実行列の実対数の存在性については後述する。
性質 および がともに正定値行列ならば
が成り立つ。 と とが可換（）なとき
が成り立つ。ここで を代入すれば
が得られる。
さらなる例: 三次元空間上の回転行列の対数 における回転 は 直交行列によって与えられる。
そのような回転行列 の対数はロドリゲスの回転公式の反対称成分から直ちに計算できるEngø (2001) （も参照）。これにより、フロベニウスノルムを最小とする対数が得られるが、 が固有値 を持つとき、そのようなものは一意でないためうまくいかない。
さらなる注意として、回転行列 に対して、
は回転行列全体の成す三次元多様体上の測地的距離である。
対角化可能な行列の対数の計算法 対角化可能行列 に対する の求め方は以下のようにする。 行列 の固有ベクトルからなる行列 を求める（各列が A の固有ベクトル）。 の逆行列 を求める。 このとき
と置けば は の固有値が対角成分に並んだ対角行列となる。 を得るためには、 の対角成分をそれぞれの自然対数で置き換えればよい。 これにより
を得る。 このような の対数が（ が実行列の場合でさえ）複素行列となりうることは、各成分が実かつ正の行列が（にも拘らず）負のあるいはさらに複素数の固有値を持ち得る（それは回転行列の例においても言えることである）という事実から従う。この種の行列の対数が一意でないことは、複素数の対数が一意でないことから生じてくる。
対角化が不可能な行列の対数 ジョルダン細胞の対数行列 ジョルダン細胞とは、n次正方行列で、のとき、、、のときとなる行列である。
のとき、ジョルダン細胞の対数行列の各成分は、
のとき、、のとき
である。
このことは、次のことからわかる。のとき、ジョルダン細胞の成分は、を変数とみて、成分を回微分したものとなっている。同様の性質は、、単位行列、同様の性質を持つ行列の定数倍、同様の性質を持つ行列どうしの和についても成り立つ。このため、についても同様の性質が成り立つ。の対角成分は明らかにであるから、そこから順次微分して他の成分が分かる。
英語版よりの直訳 上述のアルゴリズムは
ような対角化不可能な行列については適用できない。このような行列に対しては、そのジョルダン分解を計算する必要があり、また上述のような対角成分の対数ではなく、の対数を計算することになる。
後者の作業については、ジョルダン細胞が
のような形に書き表せることに注意することで達成される。ここで、 は主対角成分およびその下がすべて であるような行列である（数 が零でないことは、対数が取れるために行列は可逆とする仮定による）。
このとき、メルカトル級数
を用いれば
を得る。一般には、この級数は任意の行列 に対して収束するわけではない（絶対値が より大きい任意の実数に対して収束しないのと同様）が、今の場合に限っては は冪零行列であるから、実際には有限項しかない（ の次元が なら は零行列である）。
このやり方で、例えば
を得る。
関数解析学的な側面 正方行列はユークリッド空間 （n は行列の次元）上の線形作用素を表現する。そのような空間は有限次元であるから、この作用素は実際に有界である。
の道具立てを用いると、複素数平面内の開集合上で定義された正則関数 および有界作用素 に対し、 が のスペクトル上で定義される限りにおいて、 を計算することができる。
関数 は、複素数平面内の原点を含まない任意の単連結開集合上で定義することができて、かつそのような領域上で正則である。このことは のスペクトルが原点を含まず、原点から無限遠点へ向かう のスペクトルを横切らない径路が存在するならば が定義できることを示している（例えば、 のスペクトルがその内側に原点がくるような円ならば、 は定義できない）。
ユークリッド空間の場合に立ち戻ると、この空間上の線形作用素のスペクトルはその表現行列の固有値全体の成す集合であり、それは有限集合である。そのスペクトルに原点が含まれない（行列が可逆）である限りにおいて、前段落で述べた径路に関する条件などは明らかに満たされるので、その論法により が定義可能である。この種の行列の対数が一意でないことは、行列の固有値集合上で定義される対数函数の分枝が複数選びうるという事実から生じる。
リー群論的な側面 リー群論において、リー代数 から対応するリー群 への指数写像
が存在する。行列リー群に対して、 および の元は正方行列であり、指数写像は行列の指数関数で与えられる。その逆写像 は多価であり、本項で扱う行列の対数と一致する。対数写像はリー群 を付随するリー代数 へ写す。ここで、指数写像は零行列 の近傍 と単位行列 の近傍 の間の局所微分同相写像であることに注意する Theorem 3.42。したがって、（行列の）対数函数は
なる写像として矛盾なく定義される。このとき、ヤコビの公式の重要な系として
が成り立つ。
に限った話
実行列が負の行列式を持つとき、その実対数は存在しない。まず初めに、任意の 実行列は三種類の複素数 （ただし ）のいずれか一種類と見なすことができて、そのときの は 実行列全体の成す環の部分複素数平面上の点になっていることに注意する。
行列式が負であるような場合は の場合、すなわち分解型複素数平面上にしか存在しない。この平面のうちの1/4のみが指数写像の像であって、この部分（四分象限）においてのみ対数写像が定義できる。三つある他の象限は と が生成するクラインの四元群の作用による一つ目の象限の像になる。
たとえば、（このとき および ）とすれば、行列の形で
と書くことができるから、この行列は
を対数に持つ。しかし、以下の行列 . は対数を持たない。これらは、上述の四元群の作用の下で対数を持つ上記の行列 の共軛として得られるほかの三つを表している。
正則な 実行列 2 x 2 行列が必ずしも対数を持つとは限らないが、この四元群による作用のもと対数を持つ行列に共役になる。
また以下のようなことも従う。たとえば、上述の行列 のは指数函数に を代入することにより、直接的に
と計算することができる。
より豊かな例として、初めに をとって とおくと
が成り立つ。するといま
となるから
は行列
を対数に持つ。
関連項目 行列値関数 行列の平方根 行列指数関数
脚注 出典
参考文献 .
. .
外部リンク