複素微分可能性

定義 3.1（「正則関数とコーシー・リーマンの関係式」§3）

$\Omega \subset \mathbb{C}$ を開集合、 $f : \Omega \to \mathbb{C}$ 、 $z_0 \in \Omega$ とする。極限

\lim_{h \to 0} \frac{f(z_0 + h) - f(z_0)}{h}

（ $h$ は $0$ でない複素数を動く）が存在するとき、 $f$ は $z_0$ で複素微分可能であるといい、その極限値を $f'(z_0)$ と書く。

閉包の状態

定義

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

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