正規化された単葉関数のクラス S

定義 8.13（「等角写像とリーマン写像定理」§8）

$\mathbb{D}$ 上の正則関数 $f$ で、 $\mathbb{D}$ 上で単射であり、 $f(0)=0$ 、 $f'(0)=1$ をみたすもの全体を $S$ と書く。 $f\in S$ のテイラー展開（定理 5.2［正則関数の強力な性質］）を

f(z)=z+a_2z^2+a_3z^3+\cdots\qquad(|z|<1)

と書く。

閉包の状態

定義

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

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

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