数学 › 数値線形代数 › Gauss 消去と LU 分解

LU 分解

定義 2.1(「Gauss 消去と LU 分解」§2)

A∈Mn(K)A\in M_n(\mathbb{K}) について、対角成分がすべて 11 の下三角行列 LL(単位下三角行列)と上三角行列 UU で A=LUA=LU と書くことを、AA の LU 分解という。置換行列 PP を使って PA=LUPA=LU と書くことをピボット選択つき LU 分解という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。