数学 › 微分積分学 › 広義積分・パラメータ積分とガンマ関数

広義積分

定義 2.1(「広義積分・パラメータ積分とガンマ関数」§2)

任意の b∈[a,ω)b\in[a,\omega) に対して ∫abf(x) dx\int_a^bf(x)\,dx は存在します(連続関数の積分、定理 3.5[積分の基本定理と定積分])。極限

∫aωf(x) dx=lim⁡b→ω−0∫abf(x) dx\int_a^\omega f(x)\,dx=\lim_{b\to\omega-0}\int_a^bf(x)\,dx

が有限の値として存在するとき、広義積分は収束するといいます。存在しない(または ±∞\pm\infty の)とき発散するといいます。(α,b](\alpha,b] 上で連続な関数についても、∫αbf=lim⁡c→α+0∫cbf\int_\alpha^bf=\lim_{c\to\alpha+0}\int_c^bf で同様に定義します。(α,ω)(\alpha,\omega) 上で連続な ff については、α<c<ω\alpha<c<\omega をとって ∫αcf\int_\alpha^cf と ∫cωf\int_c^\omega f がともに収束するとき、その和を ∫αωf\int_\alpha^\omega f とします(cc の取り方によらない)。

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

閉包の状態

定義

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

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

これを使っている定理

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

関連するノック 3 問