ABAA

シグマの有限和とインテグラルが交換できるのは何故ですか?高校生で理解できる方法があればお願いします。

回答 1件

ベストアンサー

DoubleExpYui

高校生だと積分の定義は大体リーマン積分だと思います。


★区間a≦x≦ba\leqq x \leqq bで関数f(x)f(x)を積分することを考える。

このとき、区間a≦x≦ba\leqq x \leqq bをnn等分した点をa=x0,b=xna=x_0,b=x_nとしてx0,⋯ ,xnx_0,\cdots,x_nとすると、

∫abf(x)dx=lim⁡n→∞∑i=0n−1b−anf(xi)\int^b_af(x)dx=\lim_{n\to \infty}\sum_{i=0}^{n-1}\frac{b-a}{n}f(x_i)

である。★


ここまではわかるでしょうか?


さて、では積分∫ab∑j=0mfj(x)dx\int^b_a\sum_{j=0}^mf_j(x)dx

を考えます。


積分の定義からf(x)→∑j=0mfj(x)dxf(x) \to \sum_{j=0}^mf_j(x)dx

としてやれば

∫ab∑jmfi(x)dx=lim⁡n→∞∑i=0n−1b−an(∑j=0mfj(xi))\int^b_a\sum_j^mf_i(x)dx=\lim_{n\to \infty}\sum_{i=0}^{n-1}\frac{b-a}{n}\left( \sum_{j=0}^mf_j(x_i)\right)

となります。


さて、和の極限は極限の和と等しい。つまり、lim⁡(f(x)+g(x))=lim⁡f(x)+lim⁡g(x)\lim(f(x)+g(x))=\lim f(x)+\lim g(x)でしたので、jjに関する和は極限と順序交換出来て、

lim⁡n→∞∑i=0n−1b−an(∑j=0mfj(xi))=∑j=0m(lim⁡n→∞∑i=0n−1b−anfj(xi))\lim_{n\to \infty}\sum_{i=0}^{n-1}\frac{b-a}{n}\left( \sum_{j=0}^mf_j(x_i)\right)=\sum_{j=0}^m\left(\lim_{n\to \infty}\sum_{i=0}^{n-1}\frac{b-a}{n} f_j(x_i)\right)

です。


よって、再び積分の定義に戻って()内の極限を積分表示にしてやると、

∑j=0m(lim⁡n→∞∑i=0n−1b−anfj(xi))=∑j=0m∫abfj(x)dx\sum_{j=0}^m\left(\lim_{n\to \infty}\sum_{i=0}^{n-1}\frac{b-a}{n} f_j(x_i)\right)=\sum_{j=0}^m\int^b_af_j(x)dx

すなわち、

∫ab∑j=0mfj(x)dx=∑j=0m∫abfj(x)dx\int^b_a\sum_{j=0}^mf_j(x)dx=\sum_{j=0}^m\int^b_af_j(x)dx

となり、和と積分の順序交換が出来ました。


どうでしょうか。理解できそうですか?


補足

16行目訂正

誤:「和の極限は極限の和と等しい。」

正:「極限が収束するとき、和の極限は極限の和と等しい。」


積分を考えるので、まぁ収束しますが。定義はしっかり書かないといけませんので訂正しておきます。

  • ABAA
    お礼

    ありがとうございます。大変助かりました

関連する質問

関連する記事

質問する