微分係数

定義 3.1（「導関数の定義と基本的な微分法」§3）

$I$ を開区間、 $f \colon I \to \mathbb{R}$ 、 $a \in I$ とします。極限

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

が有限の実数として存在するとき、 $f$ は点 $a$ で微分可能であるといい、この極限値を $f$ の $a$ における微分係数と呼んで $f'(a)$ と書きます。

閉包の状態

定義

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

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