定積分
リーマン積分の定義
関数 \(f(x)\) は閉区間 \([a,b]\) 上で有界であるとします。
まず、閉区間の「分割」という概念を定義します。
閉区間 \([a,b]\) に属する点列 \(x_0,x_1,x_2,\cdots,x_n\) を \[ a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b \] となるようにとり、区間 \([a,b]\) を以下のような小さい閉区間 \[ [x_0,x_1],~[x_1,x_2],~\cdots,~[x_{n-1},x_n] \] に分けることを分割という。このような分割を \[ \varDelta:a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b \] と表す。
次に、分割の大きさについて定義します。
分割
\[
\varDelta:a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b
\]
に対して、各小区間 \([x_{i-1},x_i]\) の長さ \(x_i-x_{i-1}\) を考える。
この中で最も長いもの、すなわち
\[
|\varDelta|=\max_{1\le i\le n}(x_i-x_{i-1})
\]
を分割 \(\varDelta\) の大きさという。
この「分割の大きさ」は、分割の中でいちばん長い小区間の長さを表します。 つまり、どれくらい細かく分けたかを見るための目安になり、 \(|\varDelta|\) が小さいと、より細かく区間を分けたということです。
区間 \([a,b]\) の分割
\[
\varDelta:a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b
\]
に対して、各小区間 \([x_{i-1},x_i]\) ごとに任意の点 \(\xi_i\in[x_{i-1},x_i]\) を1つずつ選ぶ。
このとき、関数 \(f(x)\) に対して
\[
S(f,\varDelta,{\xi_i})=\sum_{i=1}^nf(\xi_i)(x_i-x_{i-1})
\]
をリーマン和という。
関数 \(f(x)\) は閉区間 \([a,b]\) 上で有界であるとする。
区間 \([a,b]\) の分割
\[
\varDelta:a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b
\]
に対して、各小区間 \([x_{i-1},x_i]\) ごとに任意の点 \(\xi_i\in[x_{i-1},x_i]\) を1つ選ぶ。このときのリーマン和は
\[
S(f,\varDelta,{\xi_i})=\sum_{i=1}^nf(\xi_i)(x_i-x_{i-1})
\]
である。このリーマン和における、分割の大きさ \(|\varDelta|\) を \(0\) に近づける極限
\[
\lim_{|\varDelta| \to 0}S(f,\varDelta,{\xi_i})
\]
がある一定の値に収束するならば、\(f(x)\) は \([a,b]\) 上でリーマン積分可能であるといい、この極限値を
\[
\int_a^b f(x)dx
\]
と書き、これを閉区間 \([a,b]\) における \(f(x)\) の定積分という。
リーマン積分可能性
閉区間 \(I\) 上の単調関数は、\(I\) 上でリーマン積分可能である。
証明
閉区間 \(I\) 上の連続関数は、\(I\) 上でリーマン積分可能である。
証明
演習問題
\(\displaystyle\int_{0}^{1}x^2dx\) を求めよ。
解答
\(n\in\mathbb{Z}\) として区間 \([0,1]\) を
\[
[0,1]=\left[0,\frac{1}{n}\right]\cup\left[\frac{1}{n},\frac{2}{n}\right]\cup\cdots\cup\left[\frac{n-1}{n},1\right]
\]
のように分割すると
\[
\varDelta x_k=\frac{k}{n}-\frac{k-1}{n}=\frac{1}{n}
\]
である。
区間 \(\displaystyle\left[\frac{k-1}{n},\frac{k}{n}\right]\) から点 \(\displaystyle\frac{k}{n}\) を選ぶと、\(x^2\) のリーマン和は
\[
\sum_{k=1}^n {\left(\frac{k}{n}\right)}^2\frac{1}{n}
\]
となる。
\[
|\varDelta| = \max_{1 \le k \le n} \varDelta x_k=\frac{1}{n}
\]
であり、\(|\varDelta| \to 0\) のとき \(n \to \infty\) であるから
したがって \[ \int_0^1x^2dx=\frac{1}{3} \]