行列の指数関数

定義 9.1（「行列の分解と標準形」§9）

$A\in M_n(\mathbb{C})$ に対し

e^{A}=\exp A=\sum_{k=0}^{\infty}\frac{A^k}{k!}

と定める。

閉包の状態

定義

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

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

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