数値線形代数

数値解析における数値線形代数（すうちせんけいだいすう、）とは、線形代数で現れる問題（行列積、行列指数関数、連立方程式や固有値・特異値問題）の計算・求解を行うアルゴリズムを創出するための学問である。最適化問題・有限差分法・有限要素法などに応用されている。
意義.
直接解法の問題点.
どんなに次元の高い連立方程式でも、原理的にはクラメルの公式を使えば解くことはできる。しかし、クラメルの公式による数値解法ではものすごく時間がかかってしまうということが分かっている。このため、これまで様々な数値線形代数のアルゴリズムが開発されてきた。その先駆けとも言えるのがガウスの消去法だが、現代では数値実験により（精度の観点から）使うべきではないとされている。
現代の主流.
現代においては
などをはじめとした高速・高精度解法（反復法）の研究が主流になっている。
クリロフ部分空間法.
数値線形代数で現れる反復法の中には、クリロフ部分空間に理論的基盤を持つものが少なからず存在する。これらはクリロフ部分空間法（）と総称され、数値線形代数において最も成功した手法とされている。主なクリロフ部分空間法として以下が知られている（共役勾配法については後述する）。
共役勾配法.
共役勾配法（）は Hestenes-Stiefel によって開発された連立方程式の数値解法であり、係数行列が正定値対称行列であるときに適用できる。この方法はガウス＝ザイデル法、ヤコビ法、SOR法よりも収束が速いとされることから、1980年代以降から様々な亜種が開発されたり、非対称行列への適用が試みられているが、前処理行列の取り方が問題によって異なるために決定版と言える解法がまだ存在してない。
以下、代表的な亜種を挙げる。
精度保証.
数値線形代数における精度保証付き数値計算の研究も活発になっており、具体的には以下のような研究が行われている。
可積分系との関係.
可積分系・力学系と数値線形代数の間に関係があるという事実が注目されている。具体的には（ソリトン方程式の一つ）とQR法・qd法、可積分系と特異値分解との関係が明らかになった。これらを背景に、離散可積分系から数値線形代数に有用な反復法を開発する試みが行われている。例えば
等が研究されている。