Frobenius ノルム

定義 4.3（「行列のノルムと線形方程式の条件数」§4）

$\|A\|_F=\bigl(\sum_{i,j}|a_{ij}|^2\bigr)^{1/2}=\bigl(\operatorname{tr}A^{*}A\bigr)^{1/2}$ を $A\in M_{m,n}(\mathbb{K})$ の Frobenius ノルムという。

閉包の状態

定義

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

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

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