スペクトル半径

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

$A\in M_n(\mathbb{C})$ の固有値の絶対値の最大 $\rho(A)=\max\{|\lambda|:\lambda\text{ は }A\text{ の固有値}\}$ をスペクトル半径という。実行列は複素行列とみなす。

閉包の状態

定義

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

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

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