行列の積

定義 4.1（「行列と連立一次方程式」§4）

$B = (b_{ik}) \in M_{m,n}(K)$ 、 $A = (a_{kj}) \in M_{n,p}(K)$ とする。 $B$ の列数と $A$ の行数がともに $n$ で一致しているとき、積 $BA \in M_{m,p}(K)$ を

(BA)_{ij} = \sum_{k=1}^{n} b_{ik} a_{kj} \qquad (1 \le i \le m,\ 1 \le j \le p)

で定める。

閉包の状態

定義

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

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