行列の分解

線型代数学という数学の分野において、行列の分解（ぎょうれつのぶんかい、英: matrix decomposition, matrix factorization）とは、行列の行列の積への因数分解である．多くの異なった行列の分解があり、それぞれがある問題のために利用される。リー群の分解はこれらのより本質的な視点を与える。

数値解析において、異なる分解が効率的な行列アルゴリズムを実装するために用いられる。

例えば、線型方程式系（連立一次方程式）Ax = b を解くとき、行列 A はLU分解により分解できる。LU分解は行列を下三角行列 L と上三角行列 U の積に分解する。系 L(Ux) = b と Ux = L⁻¹b は、もとの系 Ax = b と比べて解くのに必要な加法や乗法が少ないが、浮動小数点のような不正確な計算ではかなりの桁数を必要とし得る。

同様に、QR分解は A を直交行列 Q と上三角行列 R の積 QR として表す。系 Q(Rx) = b は Rx = ^tQb = c によって解かれ、系 Rx = c は '後退代入（英語版）' によって解かれる。必要な加法と乗法の回数はLU分解のときの約2倍だが、QR分解は数値的に安定（英語版）なため不正確な計算においてより多くの桁数が必要とならない。

• 適用：正方行列 A
• 分解：A = LU,、ただし L は下三角行列で U は上三角行列
• 関連：LDU分解は A = LDU である、ただし L は下三角行列で対角線に 1 が並び、U は上三角行列で対角線に 1 が並び、D は対角行列である．
• 関連：LUP分解（英語版）は A = LUP である、ただし L は下三角行列で、U は上三角行列で、P は置換行列である．
• 存在： LUP 分解は任意の正方行列 A に対して存在する。P が単位行列のとき、LUP分解はLU分解となる。LU分解が存在すればLDU分解も存在する^[1]。
• コメント：LUP 分解と LU 分解は n × n の線型方程式系 Ax = b を解く際に有用である。これらの分解はガウスの消去法の過程を行列の形にまとめたものである。行列 P はガウスの消去法の過程で行われる任意の行の交換を表す。ガウスの消去法で行の交換なしに行階段形になれば P = I であり、したがって LU 分解は存在する。

• 適用：階数 r の m × n 行列 A
• 分解：A = CF、ただし C は m × r の full column rank matrix であり、F は r × n の full row rank matrix である。
• コメント：階数因数分解は A のムーア・ペンローズ擬逆行列（英語版）を計算するのに使え^[2]、適用して線型系 Ax = b の全ての解を得る（英語版）ことができる。

• 適用：正方，対称，正定値行列 A
• 分解：A = ^tUU,、ただし U は上三角行列で対角成分は正
• コメント：実対称正定値行列のコレスキー分解は一意にできる（上三角行列Uの対角要素を正にとる）。
• コメント：実対称と複素対称にも一応適用ができるが、行列が正則でも分解が存在しない（破綻する）可能性がある。
• コメント：コレスキー分解は複素エルミート行列にも適用できる（その場合にはUの転置はUのエルミート転置に読み替える）。必ずしも分解が存在しないが、行列が正定値なら必ず分解できる。
• コメント：代替はLDL分解（英語版）であり，平方根を引き出すことを避けられる．

• 適用：m × n 行列 A
• 分解：A = QR,、ただし Q は m 次直交行列であり，R は m × n の上三角行列である。
• コメント：QR分解は方程式系 Ax = b を A の逆行列を求めずに解く別の方法を提供する。Q が直交行列であることは ^tQQ = I を意味するので、Ax = b は Rx = ^tQb と同値であり、後者は R が三角行列だから解きやすい。

• スペクトル分解（英語版）とも呼ばれる。
• 適用：相異なる固有ベクトルを持つ正方行列 A（固有値は同じものがあってもよい）。
• 分解：A = VDV⁻¹、 ただし D は A の固有値からなる対角行列で，V の行は対応する A の固有ベクトル。
• 存在：n × n 行列 A はつねに（重複を込めて） n 個の固有値を持ち、それらを並べて n × n の対角行列 D と対応する零でない行の行列 V を作ることができ、固有値方程式 AV = VD を満たす。n 個の固有ベクトルが相異なるとき、V は可逆であり、分解 A = VDV⁻¹ ができる^[3]。
• コメント：固有ベクトルの長さが 1 であるように正規化することがいつでもできる。A が実対称行列であれば、V はいつでも可逆であり正規化された列を持つようにできる。すると等式 V^tV = I が成り立つ、なぜならば各固有ベクトルは互いに直交するからである。したがって、分解は A = VD^tV となる。
• コメント：n 個の相異なる固有値をもつという条件は十分ではあるが必要ではない。必要十分条件は各固有値の幾何学的重複度がその代数的重複度に等しいことである。
• コメント：固有分解は線型常微分方程式系あるいは線型差分方程式系の解の理解に有用である。例えば，初期条件 x₀ = c から始まる差分方程式 x_{k + 1} = Ax_k は x_k = ^kAc によって解かれ、これは x_k = VD^kV⁻¹c に同値であり、ここで V と D は A の固有ベクトルと固有値から作られる行列である。D は対角行列だから、冪 D^k は単に各対角成分を k 乗するだけである。A は普通対角でないから A を k 乗するよりもはるかに容易である。

ジョルダン標準形とジョルダン・シュヴァレー分解（英語版）

• 適用：正方行列 A
• コメント：ジョルダン標準形は固有分解を固有値に重複があり対角化できない場合に一般化し、ジョルダン・シュヴァレー分解はこれを基底を選ばずに行う。

• 適用：正方行列 A
• コメント：この分解には2つのバージョンがある．複素シューア分解と実シューア分解である．複素行列は必ず複素シューア分解を持つ．
• 分解（複素バージョン）：A = UTU^∗、 ただし U がユニタリ行列で、U^∗ は U の共役転置で、T は A の固有値を対角線に持つ複素シューア標準形と呼ばれる上三角行列である。
• 分解（実バージョン）：A = VS^tV、ただし A, V, S は実数のみからなる行列である。V は直交行列で，^tV は V の転置で、S は実シューア標準形と呼ばれるブロック上三角行列である。S の対角にあるブロックのサイズは 1 × 1（実固有値を表す）かまたは 2 × 2（複素共役な固有値の対から導かれる）である。

• 別名：一般シューア分解
• 適用：正方行列 A と B
• コメント：この分解には2つのバージョンがある：複素と実．
• 分解（複素バージョン）：${\displaystyle A=QSZ^{*}}$ および ${\displaystyle B=QTZ^{*}}$, ただし Q と Z はユニタリ行列で，^∗ は共役転置を表し，S と T は上三角行列である．
• コメント：複素QZ分解において，A の対角成分と対応する T の対角成分の比 λ_i = S_ii/T_ii は一般化固有値問題 Av = λBv（ただし λ は未知のスカラーで v は未知の非零ベクトル）を解く一般化固有値である．
• 分解（実バージョン）：A = QS^tZ および B = QT^tZ, ただし A, B, Q, Z, S, T は実数のみを成分とする行列である．この場合 Q と Z は直交行列であり．^t は転置を表し，S と T はブロック上三角行列である． S と T の対角ブロックのサイズは 1 × 1 か 2 × 2 である．

• 適用：正方，複素，対称行列 A.
• 分解：A = VD^tV, ただし D は実非負対角行列で，V はユニタリ行列である．^tV は V の転置を表す．
• コメント：D の対角成分は AA^∗ の固有値の非負の平方根である．
• コメント：V は A が実のときでさえ複素かもしれない．
• コメント：これは固有分解（上述）の特別な場合ではない．

• 適用：m × n 行列 A.
• 分解：A = UDV^∗, ただし D は非負対角行列で，U と V はユニタリ行列で，V^∗ は V の共役転置を表す（V が実数のみからなるときは単に転置である）．
• コメント：D の対角成分は A の特異値と呼ばれる．
• コメント：上の固有分解と同様，特異値分解は行列の乗法がスカラー乗法と同じになる基底の方向を見つけることと関わるが，考える行列が正方行列でなくてもよいからより広い一般性を持つ．

• 適用：正方，複素，行列 A．
• 分解：A = UP, ただし U はユニタリ行列で P は半正定値エルミート行列である．

• 適用：正方，複素，非特異行列 A^[4].
• 分解：A = QS, ただし Q は複素直交行列で S は複素対称行列．
• コメント：この分解の存在は A^tA が ^tAA に相似であることと同値である^[5]．

• 適用：正方実行列 A で真に正の成分からなるもの．
• 分解：A = D₁SD₂, ただし S は 二重確率行列で D₁ と D₂ は真に正の成分からなる実対角行列である．

• 適用：正方，複素行列 A で 数値域（英語版） が扇形 ${\displaystyle S_{\alpha }=\{re^{i\theta }\in \mathbb {C} \mid r>0,|\theta |\leq \alpha <{\frac {\pi }{2}}\}}$ に含まれるもの．
• 分解：A = CZC^∗, ただし C は可逆複素行列で，Z = diag(e^iθ₁, …, e^iθ_n) ですべての ${\displaystyle |\theta _{j}|\leq \alpha }$ ^[6][7]．

この節の加筆が望まれています。 主に: examples and additional citations （2014年12月）

quasimatrix（準行列）および cmatrix あるいは continuous matrix（連続行列）に対して SVD, QR, LU, コレスキー分解の類似がある^[8]。‘quasimatrix’は，行列のように、長方形の体系で、元は添え字付けられているが、1つの離散的な添え字が連続的な添え字に置き換えられる。同様に，‘cmatrix’は両方の添え字が連続である。cmatrix の例として，積分作用素の核を考えることができる。

これらの分解は Fredholm (1903), Hilbert (1904), Schmidt (1907) による初期の研究に基づいている。これら独創的な論文の説明と英訳は Stewart (2011) を参照

• Matrix splitting（英語版）
• Non-negative matrix factorization（英語版）
• Proper orthogonal decomposition（英語版）

• Choudhury, Dipa; Horn, Roger A. (April 1987). “A Complex Orthogonal-Symmetric Analog of the Polar Decomposition”. SIAM Journal on Algebraic Discrete Methods 8 (2). doi:10.1137/0608019. 
• Fredholm, I. (1903), “Sur une classe d’´equations fonctionnelles” (French), Acta Mathematica 27: 365–390, doi:10.1007/bf02421317 
• Hilbert, D. (1904), “Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen” (German), Nachr. Königl. Ges. Gött 1904: 49–91 
• Horn, Roger A.; Merino, Dennis I. (January 1995). “Contragredient equivalence: A canonical form and some applications”. Linear Algebra and its Applications 214. doi:10.1016/0024-3795(93)00056-6. 
• Meyer, C. D. (2000), Matrix Analysis and Applied Linear Algebra, SIAM, ISBN 978-0-89871-454-8, http://www.matrixanalysis.com/ 
• Schmidt, E. (1907), “Zur Theorie der linearen und nichtlinearen Integralgleichungen. I Teil. Entwicklung willkürlichen Funktionen nach System vorgeschriebener” (German), Mathematische Annalen 63: 433–476, doi:10.1007/bf01449770 
• Simon, C.; Blume, L. (1994). Mathematics for Economists. Norton. ISBN 0-393-95733-0 
• Stewart, G. W. (2011), Fredholm, Hilbert, Schmidt: three fundamental papers on integral equations, http://www.cs.umd.edu/~stewart/FHS.pdf 2015年1月6日閲覧。 
• Townsend, A.; Trefethen, L. N. (2015), “Continuous analogues of matrix factorizations”, Proc. R. Soc. A 471 (2173), doi:10.1098/rspa.2014.0585 

• Online Matrix Calculator
• Wolfram Alpha Matrix Decomposition Computation » LU and QR Decomposition
• Springer Encyclopaedia of Mathematics » Matrix factorization
• GraphLab en:GraphLab collaborative filtering library, large scale parallel implementation of matrix decomposition methods (in C++) for multicore.

表 話 編 歴 線型代数学・行列解析
連立一次方程式	ガウスの消去法 クラメルの公式 ガウス＝ザイデル法 ヤコビ法
ベクトル	線型独立 線型結合 基底 双対基底
ベクトル空間	双対空間 核空間 固有空間 広義固有空間 線型包 行空間 列空間 次元
計量ベクトル空間	ドット積 コーシー＝シュワルツの不等式 直交 正規直交系 正規直交基底 グラム・シュミットの正規直交化法 直交補空間
行列・線型写像	演算・操作 乗法 転置 逆行列 サラスの方法 基本変形 対角化 分解 LU QR コレスキー シューア 特異値 固有値 不変量 行列式 跡 階数 固有値と固有ベクトル 固有多項式 最小多項式 単因子 階数標準形 スミス標準形 ジョルダン標準形 有理標準形 小行列式 クラス 正則 基本 対称 エルミート 正規 直交 回転 ユニタリ 冪零 射影 正定値 ユニモジュラー 置換 区分
行列式	余因子展開 余因子行列 ヴァンデルモンドの行列式 終結式 コーシー・ビネの公式
多重線型代数	外積 外積代数 対称代数 テンソル代数
数値線形代数	基本的な概念 浮動小数点 数値的安定性 疎行列 Z-行列 M行列 条件数 ゲルシュゴリンの定理 クリロフ部分空間 ソフトウェア MATLAB 数値解析ソフトの比較/一覧 ライブラリ Armadillo Basic Linear Algebra Subprograms (BLAS) INTLAB Intel oneAPI Math Kernel Library LAPACK NumPy OpenBLAS 線型代数学ライブラリの比較 反復法・技法 SOR法 共役勾配法 GMRES法 固有値問題の数値解法 ランチョス法 QR法 べき乗法 逆べき乗法 ヤコビ法 (固有値問題) シュトラッセンのアルゴリズム ハウスホルダー変換 ギブンス回転 人物 ジェームズ・H・ウィルキンソン クリーブ・モラー ニコラス・ハイアム ジーン・ゴラブ リチャード・バルガ
行列値関数	行列指数関数 行列の対数 行列の平方根
その他	スカラー ケイリー・ハミルトンの定理 ペロン＝フロベニウスの定理 シューア補行列 シルヴェスターの慣性法則
カテゴリ