数学 › 複素関数論 › 正則関数とコーシー・リーマンの関係式

複素関数の極限

定義 2.1(「正則関数とコーシー・リーマンの関係式」§2)

Ω⊂C\Omega \subset \mathbb{C}、f:Ω→Cf : \Omega \to \mathbb{C} とし、a∈Ca \in \mathbb{C} は Ω\Omega の集積点、つまりどんな r>0r>0 に対しても Ω∩D(a,r)\Omega \cap D(a,r) が aa 以外の点を含むとする。複素数 LL について

∀ε>0, ∃δ>0, ∀z∈Ω,0<∣z−a∣<δ  ⟹  ∣f(z)−L∣<ε\forall \varepsilon > 0,\ \exists \delta > 0,\ \forall z \in \Omega,\quad 0 < |z - a| < \delta \implies |f(z) - L| < \varepsilon

が成り立つとき、lim⁡z→af(z)=L\displaystyle\lim_{z \to a} f(z) = L と書く。さらに a∈Ωa \in \Omega かつ lim⁡z→af(z)=f(a)\lim_{z\to a} f(z) = f(a) のとき、ff は aa で連続であるという。

本文で読む(前後の説明と例)→

閉包の状態

定義

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

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

これを使っている定理

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