数学 › 線形代数学 › 行列と連立一次方程式
基本行変形と行同値
行列 に対する次の 3 種類の操作を基本行変形という。
- (型 I)第 行と第 行を入れ替える()。
- (型 II)第 行を 倍する。
- (型 III)第 行の 倍を第 行に加える(、)。
に有限回の基本行変形を施して が得られるとき、 と は行同値であるという。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。