高校で習わない積分の定義

タイトル通りです(笑) 高校で習った定義に触れながら,本来の定義を学びましょう。 高校数学では以下のように学習したと思います。 高校数学における積分の定義 不定積分を微分の逆操作であると定義する。すなわち, \[ F'(x) = f(x) ~\mbox{のとき,}~ \int f(x) ~dx = F(x) + C ~~~(C:\mbox{積分定数}) \] と定義する。また,定積分は,$\displaystyle \int f(x) ~dx = F(x)$ として, \[ \int_a^b f(x) ~dx = F(b) - F(a) \] で定義する。 さて,ここから面積による積分の定義と微積分学の基本定理の証明を見てみましょう。 初めて見ると,紙面だけではキツいかもしれません。 数学の先生等に聞きながら,理解するといいと思います。 大事なのは 積分は面積から定義される 最初に定積分から定義する という点です。こうすることで, 「積分は微分の逆操作である(微積分学の基本定理)」 を 証明することができます 。 積分すると面積が求まるのはなぜ?と疑問に思っていた方も多いと思いますが,「そのように定義されているから」というごく当たり前の理由です。 ちなみに高校数学では,積分すると面積が求められるという「性質」として学習をするため,誤解を招きやすい分野でもあります。 まずは定積分の定義から リーマン和の極限値による定積分の定義 $f(x):$ 開区間 $[a,~b]$ で定義された有界関数 $[a,~b]$ を $n$ 個に細分化し,その分点を $a$ に近い方から順に $ x_0,~ x_1,~ x_2,~\cdots,~x_n $ とする $[x_{k-1},~x_k]$ に属する任意の $x$ 軸上の点の座標を $(\xi_k,~0)$ とする リーマン和 : $\displaystyle S_n = \sum_{k=1}^n (x_k - x_{k-1}) f(\xi_k)$ リーマン和の極限値 $\displaystyle \lim_{n\to \infty} S_n$ が存在するとき,その極限値を $f(x)$ の $ a \leqq x \leqq b $...