blue271828's misc :-)

リーマン積分

リーマン積分とは

リーマン積分 (英:Riemann integral) とは、閉区間 [a,b]\lbrack a,b\rbrack の実関数 ff において、次の条件を満たすリーマン和のこと。この条件を満たせることをリーマン積分可能 (英:Riemann Integrable) という。リーマン積分は、定積分 (英:definite integral) とも呼ばれる。

ε>0,δ>0 (xixi1<δi=1nf(ξi)ΔxiS<ε)abf(x) dx=limΔxi0f(ξi)Δxia=x0<x1<<xn=bΔxi=xixi1ξi[xi1,xi] \begin{gathered} \forall\varepsilon\gt 0,\exists\delta\gt 0 ~\left(|x_i-x_{i-1}|\lt\delta\rArr\left|\sum_{i=1}^n f(\xi_i)\varDelta x_i-S\right|\lt\varepsilon\right) \cr \Updownarrow \cr \int_a^b{f(x)~dx} = \lim_{\varDelta x_i\to 0}\sum f(\xi_i)\varDelta x_i \\ \\ a=x_0\lt x_1\lt\cdots\lt x_n=b \\ \begin{aligned} \varDelta x_i &= x_i-x_{i-1} \\ \xi_i &\in [x_{i-1},x_i] \end{aligned} \end{gathered}

リーマン和

閉区間 [a,b]\lbrack a,b\rbrack に実関数 ff が定義され、 [a,b]\lbrack a,b\rbracknn 個の小区間 (英:subinterval) に分割する。このとき代表点 ξi\xi_i から得られる実関数の値 f(ξi)f(\xi_i) と小区間の長さ Δxi\varDelta x_i の積の総和 SSリーマン和 (英:Riemann sum) という。

S=i=1nf(ξi)Δxia=x0<x1<<xn=bΔxi=xixi1ξi[xi1,xi] \begin{gathered} S = \sum_{i=1}^{n} f(\xi_i)\varDelta x_i \\ \\ a=x_0\lt x_1\lt\cdots\lt x_n=b \\ \begin{aligned} \varDelta x_i &= x_i-x_{i-1} \\ \xi_i &\in [x_{i-1},x_i] \end{aligned} \end{gathered}

リーマン和と区分求積法

不定積分

閉区間 [a,b][a,b] に実関数 ff が定義され、変数 x[a,b]x\in[a,b] をとるとき、閉区間 [a,x][a,x] の定積分を得る関数 FF を定義できる。このとき F(x)F(x)不定積分 (英:indefinite integral) という。

F(x)=axf(x) dx(x[a,b]) F(x) = \int_a^x f(x)~\mathrm dx \quad (x\in[a,b])

関連記事

Tags

#Ansible (3) #Bash (1) #Docker (1) #Git (2) #Hugo (2) #Molecule (1) #Python (1) #WSLtty (1) #アルゴリズム (4) #ビジネス用語 (1) #プログラミング (1) #位相空間論 (8) #初等数学 (20) #初等関数 (1) #実解析 (1) #幾何学 (3) #微分積分学 (18) #情報理論 (4) #抽象代数学 (14) #数理モデル (2) #数理論理学 (21) #機械学習 (3) #正規表現 (1) #測度論 (3) #特殊関数 (4) #確率論 (18) #組合せ論 (5) #統計学 (12) #線型代数学 (18) #複素解析学 (4) #解析学 (15) #論理学 (6) #順序集合論 (9)