|
|
1行目: |
1行目: |
− | [[File:Integral example.svg|thumb|関数の定積分は、そのグラフによって囲まれる領域の符号付面積として表すことができる。]]
| + | '''積分法'''(せきぶんほう、{{lang-en-short|integral calculus}}) |
− | [[File:Что такое интеграл Анимация.gif|thumb|積分とは何か?(アニメーション)]]
| |
| | | |
− | '''積分法'''(せきぶんほう、{{lang-en-short|integral calculus}})は、[[微分法]]と共に[[微分積分学]]で対を成す主要な分野である。
| + | <i>x</i> の定義域を <i>a</i>≦<i>x</i>≦<i>b</i> ,<i>x</i> の関数を <i>f</i>(<i>x</i>) とするとき,<i>f</i>(<i>x</i>)=<i>dF</i>(<i>x</i>)/<i>dx</i> を満たす関数 <i>F</i>(<i>x</i>) が存在すれば,<i>F</i>(<i>x</i>) を <i>f</i>(<i>x</i>) の[[不定積分]]あるいは[[原始関数]]といい,<i>F</i>(<i>x</i>)=∫<i>f</i>(<i>x</i>)<i>dx</i> と書く。記号 ∫ を積分記号といい,この <i>F</i>(<i>x</i>) を求めることを積分するという。また区間 [<i>a</i>,<i>b</i>] で定義された <i>x</i> の関数 <i>f</i>(<i>x</i>) のリーマン和 <i>S<sub>n</sub></i> が一定の有界な[[極限値]]に近づくとき,この極限値を |
| + | [[ファイル:06386400 siki15.gif|フレームなし]] と書き,これを [<i>a</i>,<i>b</i>] における[[定積分]]あるいは単に積分といい,これを求めることを積分するという。与えられた関数の不定積分あるいは定積分を求めるための算法を積分法といい,積分法およびこれに関連した理論や応用を研究する数学の分科を積分学という。また,微分方程式を解くことを,積分するといったり,その解を積分といったりすることもある。 |
| | | |
− | [[実数直線]]上の[[区間 (数学)|区間]] [''a'', ''b''] 上で定義される[[実変数]] ''x'' の関数 ''f'' の'''定積分''' (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie)
| + | {{テンプレート:20180815sk}} |
− | : <math>\int_a^b f(x)\,dx</math>
| |
− | は、略式的に言えば ''f'' のグラフと ''x''-軸、および ''x'' = ''a'' と ''x'' = ''b'' で囲まれる ''xy''-平面の領域の符号付[[面積]]として定義される。
| |
− | | |
− | 「'''積分'''」(integral) という術語は、[[原始関数]]すなわち、微分して与えられた関数 ''f'' となるような別の関数 ''F'' の概念を指すこともあり、その場合[[不定積分]]と呼んで
| |
− | :<math>F = \int f(x)\,dx</math>
| |
− | のように書く。
| |
− | | |
− | 積分法の原理は17世紀後半に[[アイザック・ニュートン|ニュートン]]と[[ゴットフリート・ライプニッツ|ライプニッツ]]が独立に定式化した。[[微分積分学の基本定理]]の発見により、それまで全く別々に発展していた積分法と[[微分法]]は深く関連付けられることになる。定理の主張は、''f'' が[[閉区間]] [''a'', ''b''] 上の実数値連続関数ならば、''f'' の原始関数 ''F'' が既知であるとき、その区間上の ''f'' の定積分は
| |
− | :<math>\int_a^b f(x)\,dx = F(b) - F(a)</math>
| |
− | で与えられるというものである。こうして積分と微分が微分積分学の基本的な道具となり、[[科学]]および[[工学]]において様々な応用が成された。微分積分学の創始者たちは、積分を[[無限小]]の幅を持つ矩形の無限和と考えたが、数学的に厳密な積分の定義を与えたのは[[ベルンハルト・リーマン|リーマン]]である。その定義は、曲線で囲まれた領域を薄い短冊に分解して領域の面積を近似する限定的な手順に基づくものであった。19世紀に入ってから、より洗練された積分の概念が現れ始め、積分が行える領域や関数の種類が一般化されていく。[[線積分]]は二変数や三変数の関数に対して定義され、積分区間 [''a'', ''b''] を平面や空間の二点を繋ぐある種の[[曲線]]で置き換えるものになっている。同様に[[面積分]]は曲線ではなく三次元空間内の[[曲面]]を考えることで得られる。また、[[微分形式]]の積分は現代的な[[微分幾何学]]において基本的な役割を演じる。これらの積分の一般化はもとは[[物理学]]の要請から生じたものであり、多くの物理法則(特に[[古典電磁気学]]の諸法則)の定式化に重要な役割を果たした。
| |
− | | |
− | これらを含め、現代的な積分の概念は様々に存在する。最も流布している積分論は、[[アンリ・ルベーグ|ルベーグ]]の創始した、[[ルベーグ積分]]と呼ばれる数学的な抽象論であろう。
| |
− | | |
− | == 歴史 ==
| |
− | 図形の面積や体積の求積法は、特殊なものに限れば古代からいくつも知られており、その起源は定かではないが、積分法の起源としては[[古代ギリシア]]の数学書[[ユークリッド原論]]にもある'''[[取り尽くし法]]'''(積尽法、窄出法、英: method of exhaustion, 仏: méthode des anciens, 独: Exhaustionsmethode, 拉: methodus exhaustionibus)などのいくつかの技法に求めることができるだろう。取り尽くし法はある領域の面積を無数の[[三角形]]で覆い尽くすことによって求めようとするものである。古代ギリシャでは、三角形を最も基本的な図形と捉えていたため、このような三角形による求積法が盛んであった。しかしたとえば、放物線(古くは抛物線とも)がある弦によって切り取られる面積を計算するような場合でさえ、いくらやっても三角形で覆い尽くすことはできないため、実際にはほとんどの領域で[[総和|無限和]]の計算をすることになる。この困難に対して[[アルキメデス]]は、今で言う[[イプシロン-デルタ論法| ε-δ ]]式の論法によりこの問題を回避したようである。
| |
− | | |
− | 時代が下り、17世紀になって[[ゴットフリート・ライプニッツ|ライプニッツ]]と[[アイザック・ニュートン|ニュートン]]らにより微分法が発見されると、極めて技巧的な手段に頼っていた求積法は、[[原始関数]]と微分積分法の基本公式による一般的な方法で解かれることになる。18世紀にはベルヌーイらや[[レオンハルト・オイラー|オイラー]]などによる無限小解析の発展・整備によって計算技巧は大いに発達したが、19世紀に入るとフーリエ級数の厳密な研究などを通して、初めて積分自体の意味を問わなければならない状況が生じるようになった。実際、積分の厳密な定義は、[[ベルンハルト・リーマン|リーマン]]によって論文「任意関数の三角級数による表現の可能性について」([[1854年]])の中で最初に与えられた。
| |
− | | |
− | 20世紀に入ってすぐ、やはりフーリエ級数についてなど様々な解析学上の問題に刺激されて、[[アンリ・ルベーグ|ルベーグ]]は、面積や体積とは何かということに就いて深く考察することにより[[測度論]]を展開し、現在ルベーグ積分論と呼ばれているものをつくった。リーマン積分可能な関数(ただし広義積分は含めない)はルベーグ積分可能であるという意味では、ルベーグ積分はリーマンのそれの一般化になっている。ルベーグが測度論を用いて展開した[[ルベーグ積分]]は、彼の測度論がもつ極限との親和性と抽象性から、[[確率論]]、[[ヒルベルト空間論]]、[[調和解析]]など極めて広範な応用をもち、これらは物理学や工学などで基本的な道具として用いられることとなる。
| |
− | | |
− | ルベーグ積分以後もさらなる一般化がされた積分法がいくつか存在する。
| |
− | | |
− | == 導入 ==
| |
− | 積分は実用上の様々な状況に現れる。水泳プールが矩形状で、底面が平坦かつその長さ幅および深さが分かっているなら、プールに張ることのできる水の体積やプールの表面積やプールの縁の長さを容易に求めることができる。しかし、プールが卵形(楕円形)の丸い底面を持つ場合には、そういった量はどれも積分を用いる必要を生じる。実用上はこういった自明な例では近似法を用いれば十分であるかもしれないが、例えば(任意の領域の)[[精密工学]]ではそれらの要素の厳密値そのものが要求されることになる。
| |
− | | |
− | [[File:Integral approximations.svg|thumb|right|√''x'' の 0 から 1 までの積分の近似:5つの<span style="color:#fec200">■</span>は右上の点を標本点として上からの評価を与え、12 個の<span style="color:#009246">■</span>は左上の点を標本点として下からの評価を与える。]]
| |
− | 手始めに、''x'' = 0 から ''x'' = 1 までの間で {{math|''f'' (''x'') {{=}} {{sqrt|''x''}} }} によって与えられる曲線 {{math|''y'' {{=}} ''f'' (''x'')}} を考え、
| |
− | : 0 から 1 までの区間において ''f'' の下にある領域の面積はいくらか
| |
− | という問いを立てて、この(未知の)面積を ''f'' の'''積分'''と呼んで
| |
− | :<math> \int_0^1 \sqrt x\,dx</math>
| |
− | で書き表す。最初の近似として、各辺が ''x'' = 0 から ''x'' = 1 までと ''y'' = ''f''(0) = 0 および ''y'' = ''f''(1) = 1 で張られるような単位正方形を考えると、その面積はちょうど 1 である。実際には積分の真の値はこれよりも小さい。近似矩形の幅を減らせばよりよい結果が得られるはずであるから、近似のための分点を <sup>1</sup>⁄<sub>5</sub>, <sup>2</sup>⁄<sub>5</sub>, … と 1 までに亘ってとり、区間を横断的に5つの短冊に分け、各短冊の右上の端点を各曲線の小片の高さ {{math|{{sqrt|{{分数|1|5}}}}}}, {{math|{{sqrt|{{分数|2|5}}}}}}, … に合わせていくと、それらの矩形の面積の和をとることで、所期の積分の先ほどよりもよい近似値が
| |
− | :<math>\textstyle \sqrt {\frac {1} {5}} \left ( \frac {1} {5} - 0 \right ) + \sqrt {\frac {2} {5}} \left ( \frac {2} {5} - \frac {1} {5} \right ) + \cdots + \sqrt {\frac {5} {5}} \left ( \frac {5} {5} - \frac {4} {5} \right ) \approx 0.7497.</math>
| |
− | | |
− | のように得られることになる。一方、各短冊の左上の端点を各曲線の小片の高さ0, {{math|{{sqrt|{{分数|1|5}}}}}}, … に合わせた場合の、それらの矩形の面積の和は同様の計算で近似値が0.5497となる。
| |
− | | |
− | 関数 ''f'' の値に隣り合う分点の差を掛けたものを無限個足し合わせることになる点に注意すれば、分点の数をどんどん多くしていくのは容易である。そうして分点がどんどん近くなるような刻み幅にしていくとしてもそれは真の値になることはない。
| |
− | | |
− | 5つの小区間を12に増やせば面積の近似値は前者の右上の端点を用いる計算の場合0.7036、後者の左上の端点を用いる計算の場合0.6203 となりその差分はより小さいものが得られる。鍵となる考え方は、分点の差に関数値を掛けて「無限個」足し合わせるということを、無限に細かい(あるいは無限小の)刻み幅に関数値を掛けた足し合わせに読み替えることである。
| |
− | | |
− | 「実際の積分計算」に対しては、ニュートンとライプニッツによる[[微分積分学の基本定理]](微分と積分の基本的なつながりを示す定理)が利用される。これを先ほどの平方根関数 {{math|''f'' (''x'') {{=}} ''x''{{msup|{{分数|1|2}}}} }} の例に適用すれば、その[[原始関数]] {{math|''f'' (''x'') {{=}} {{Sfrac|2|3}}''x''{{msup|{{分数|3|2}}}} }} に対し、単に ''F''(1) − ''F''(0) を計算すればよい(0, 1 は区間 [0, 1] の境界である)。従って、この曲線の下側の面積の「真の値」は、機械的に
| |
− | :<math> \int_0^1 \sqrt x \,dx = \int_0^1 x^{1/2} \,dx = F(1)- F(0) = \frac{2}{3}</math>
| |
− | と計算することができる(ここでは、冪関数 ''f''(''x'') = ''x''<sup>''q''</sup> (''q'' ≠ −1) に対する[[原始関数]]の一般公式 ''F''(''x'') = (''x''<sup>''q''+1</sup>)/(''q'' + 1) を用いた)。
| |
− | | |
− | 前述したとおり、短冊に分割した計算の結果は分割数を増やすほどこの値に近づく。
| |
− | | |
− | 積分の記法
| |
− | :<math> \int f(x)\,dx</math>
| |
− | は関数値 ''f''(''x'') に'''微分'''(微小変分)と呼ばれる無限小の刻み幅 ''dx'' を掛けたものたちの重み付き和を ''s'' を引き伸ばした ∫ によって表したものと見ることができる(掛け算の記号は普通は省略される)。
| |
− | | |
− | 歴史的には、初期の無限小を厳密に解釈する試みが失敗したあと、リーマンが重み付き和の極限として積分を厳密に定義したものであって、それゆえに ''dx'' は差(つまり区間の幅)の極限を示唆したものということになる。リーマンの積分法には区間の制限や連続性の要求などからくる欠点があったことを契機として、新たな積分の定義が考え出された。特に[[ルベーグ積分]]は非常に柔軟な方法で「測度」の概念を拡張する方法に基づくものである。ルベーグ積分の記法
| |
− | :<math>\int_A f(x)\, d\mu</math>
| |
− | は、各値に割り当てられた重みが μ となるような関数値の分割から得られる重み付き和を示唆するものである。ここに ''A'' は積分領域を表す。
| |
− | | |
− | [[微分幾何学]]で考察される「[[多様体]]上の微積分」には、微積分でよく使われている記法に別な解釈を与えることができる。この立場では、''f''(''x'') と ''dx'' は[[微分形式]] ω = ''f''(''x'') ''dx'' として理解され、新たに[[外微分]]と呼ばれる[[微分作用素]] ''d'' が導入されて、微積分学の基本定理はより一般の[[ストークスの定理]]
| |
− | :<math> \int_{A} d\omega = \int_{\part A}\omega</math>
| |
− | として述べることができる。ストークスの定理から[[グリーンの定理]]、ガウスの[[発散定理]]および微積分学の基本定理が導出できる。
| |
− | | |
− | もう少し新しいところでは、[[超準解析]]のような新しい現代的な手法を通じて、無限小が厳密な意味を持って再登場している。これらの方法は黎明期の直観を正当化するのみならず、新たな数学を切り開くものとなった。
| |
− | | |
− | これらの積分の概念の間には差異はあるけれども、多くの部分では重なっている。例えば、楕円形の水泳プールの表面積は、プールを幾何学的に楕円として扱って、無限小の和あるいはリーマン積分やルベーグ積分として計算しても、微分形式を備えた多様体として計算しても、結果として得られる値は皆同一である。
| |
− | | |
− | == 厳密な定義 ==
| |
− | 積分のきちんとした定義は様々な仕方があり、それらの全てが同値なわけではない。異なる定義が用いられるのは、その殆どが別な定義では積分が定義できない特別な場合に別な扱いを与えるためであるが、それだけでなく時に教育上の理由が介在することもある。最も広く用いられる積分法はリーマン積分とルベーグ積分である。
| |
− | | |
− | === リーマン積分 ===
| |
− | {{main|リーマン積分}}
| |
− | [[file:Integral_Riemann_sum.png|thumb|right|リーマン和]]
| |
− | | |
− | {{mvar|a, b}} を {{math|''a'' < ''b''}} なる実数とするとき、[[区間 (数学)|区間]] 区間 {{math|1=''E'' = [''a'', ''b'']}} の[[区間の分割|分割]]とは、
| |
− | : <math>a = x_0 < x_1 < \cdots < x_n = b</math>
| |
− | となる点の組 {{math|(''x''{{sub|0}}, …, ''x{{sub|n}}'')}} のこと、あるいは
| |
− | : <math>E = E_1 \cup \cdots \cup E_n \quad(E_i := [x_{i-1}, x_i])</math>
| |
− | となる小区間からなる集合 {{math|1=Δ = {{mset|''E{{sub|i}}''}}}} のことである。各 {{mvar|x{{sub|i}}}} を区間 {{mvar|E}} の分点、各 {{mvar|E{{sub|i}}}} を区間 {{mvar|E}} の小区間または'''切片''' {{lang|en|(segment)}} という。また、分割 {{math|Δ}} の各切片について {{math|''ξ{{sub|i}}'' ∈ ''E{{sub|i}}''}} をあわせて考えるとき、{{math|1=Δ* = {{mset|(''E{{sub|i}}'', ''ξ{{sub|i}}'')}}}} を点付き分割 {{en|(tagged partition)}} という。
| |
− | | |
− | [[file:Riemann_sum_convergence.png|thumb|right|リーマン和が収斂する様子の模式図]]
| |
− | | |
− | 区間 {{mvar|E}} の点付き分割 {{math|1=Δ* = {{mset|1=(''E{{sub|i}}'', ''ξ{{sub|i}}'') : ''E{{sub|i}}'' = [''x''{{sub|''i''−1}}, ''x{{sub|i}}''], ''ξ{{sub|i}}'' ∈ ''E{{sub|i}}''}}}} があたえられたとき、
| |
− | :<math>\sum_{i=1}^n f(\xi_i)\delta x_i \quad(\delta x_i := x_i - x_{i-1})</math>
| |
− | の形の和を、{{mvar|f}} の点付き分割 {{math|Δ*}} に関する'''リーマン和'''という。
| |
− | | |
− | 分点の個数 {{math|''n'' + 1}} を十分大きく、切片の長さ {{math|{{abs|Δ}} {{coloneqq}} max{{mset|''δx{{sub|i}}''}}}} を十分小さくするような任意の分割に関して、リーマン和の極限が有限に確定するならば、その極限を関数 {{mvar|f}} のリーマン積分と称する。またこのとき、{{mvar|f}} は(区間 {{math|[''a'', ''b'']}} で)積分可能あるいは可積分(より厳密にはリーマン積分可能あるいはリーマン可積分)であるという。
| |
− | | |
− | {{seealso|ダルブー積分}}
| |
− | リーマン和、リーマン積分に関連してダルブー(過剰・不足)和、ダルブー(上・下)積分を考察することは有効である。
| |
− | | |
− | 区間 {{math|1=''E'' = [''a'', ''b'']}} の分割 {{math|1=Δ = {{mset|''E{{sub|i}}''}}}} に対して、
| |
− | : <math>m_i := \inf\{f(x)\mid x\in E_i\},\quad M_i := \sup\{f(x)\mid x\in E_i\}</math>
| |
− | とおくとき、
| |
− | [[File:Darboux.svg|thumb|right|ある分割に対する下ダルブー和および上ダルブー和]]
| |
− | | |
− | : <math>s_{\Delta} = \sum^{n-1}_{i=0} m_i\delta x_i,\quad
| |
− | S_{\Delta} = \sum^{n-1}_{i=0} M_i\delta x_i</math>
| |
− | をそれぞれ、分割 {{math|Δ}} に関する {{mvar|f}} の'''下ダルブー和'''(不足和)、'''上ダルブー和'''(過剰和)という<ref>{{citation|title=A Course in Real Analysis|author= Hugo D. Junghenn|url={{google books|id=nE63BgAAQBAJ|page=107|text=Darboux+sums|plainurl=1}}|page=107}}</ref>。このとき、{{math|''m'' {{coloneqq}} min{{mset|''m{{sub|i}}''}}}}, {{math|''M'' {{coloneqq}} max{{mset|''M{{sub|i}}''}}}} とすれば
| |
− | : <math> m(b-a) \le s_{\Delta} \le \sum_{\Delta} f(\xi_i)\delta x_i \le S_{\Delta} \le M(b-a)</math>
| |
− | が満たされることは明らかである。とくに、{{mvar|f}} が有界ならば(分割 {{math|Δ}} のとり方に依らず)各辺の値はいずれも有限値となる。
| |
− | | |
− | ダルブーの定理は下ダルブー和 {{math|''s''{{sub|Δ}}}} の {{math|Δ}} に関する上限 {{mvar|s}}, 上ダルブー和 {{math|''S''{{sub|Δ}}}} の下限 {{mvar|S}} の存在をいうもので、リーマン和の極限に対して
| |
− | : <math>s \le \lim_{|\Delta|\to 0}\sum_{\Delta} f(\xi_i)\delta x_i \le S</math>
| |
− | なる評価が得られる。ここに現れた {{mvar|s}} を'''ダルブー下積分'''といい、{{mvar|S}} を'''ダルブー上積分'''という。しばしば、{{math|1=''s'' = ⨜{{su|b=''a''|p=''b''}} ''f''(''x'')''dx''}}, {{math|1=''S'' = ⨛{{su|b=''a''|p=''b''}} ''f''(''x'')''dx''}} のようにも書かれる<ref>{{cite book|和書|author=E.ハイラー、G.ヴァンナー|title=解析教程|translator=蟹江幸博|publisher=シュプリンガー・ジャパン|volume=下巻|edition=新装版|year=2006}}({{google books|id=zML3A8iCmeUC|page=63|title=解析教程 下}})</ref>。すなわち記号的に、
| |
− | : <math>\underline{\int_{a}\!\!\!\!}^{\ \;b}f(x)\,dx\le \int_a^b f(x)\,dx\le \,\bar{\!\int_a\;}^{\!_{\scriptstyle b}} f(x)\,dx.</math>
| |
− | | |
− | これから明らかなように、それらが相等しく {{math|1=''s'' = ''S''}} となることは、リーマン積分が存在することの必要十分条件であり、上積分・下積分の何れかが存在しないか存在しても一致しないときは "リーマン積分不能" である。
| |
− | | |
− | === ルベーグ積分 ===
| |
− | {{main|ルベーグ積分}}
| |
− | [[Image:RandLintegrals.png|thumb|250px|リーマン=ダルブー積分(青)とルベーグ積分(赤)]]
| |
− | | |
− | リーマン積分は広い範囲の関数や応用上重要な状況(および理論的に興味深い状況)では定義されないことも多い。例えば、鉄骨の密度を積分してその質量を得ることはリーマン積分で容易に求められるが、その上に静止している鉄球にまでは適応することができない。これが動機となって、より広い範囲の関数を積分することのできる新しい定義が生み出された{{Harv|Rudin|1987}}。特にルベーグ積分は、重み付き和の重み付けの方に注目することによってきわめて柔軟な性質を持つに至った。
| |
− | | |
− | ルベーグ積分の定義は[[測度]] μ を考えることから始まる。最も単純な場合は、区間 A = [''a'', ''b''] の[[ルベーグ測度]] μ(''A'') を区間の幅 μ(''A'') := ''b'' − ''a'' で定義するもので、従ってルベーグ積分は、(狭義)リーマン積分と(両者が存在する限りは)一致する。より複雑な場合には、連続性も持たず、区間とは全く類似点の無いような、高度に断片化した様々な集合も測度を測ることができる。
| |
− | | |
− | このような柔軟性を十分に引き出すために、ルベーグ積分は重み付き和に対してリーマン積分とは「逆」なアプローチをとる。{{Harvtxt|Folland|1984|loc=p. 56}}に言わせると、「''f'' のリーマン積分を計算するには領域 [''a'', ''b''] を小区間に分割する」が、一方ルベーグ積分は「実質的に ''f'' の値域を分割する」ものである。
| |
− | | |
− | よくある仕方では、まず[[可測集合]] ''A'' の[[指示関数]]の積分の定義を
| |
− | :<math>\int 1_{\!A}\,d\mu = \mu(A)</math>
| |
− | で与え、これを線型に拡張して、''n'' 個の異なる非負の値をとる可測[[単関数]] ''s'' に対して
| |
− | :<math>\begin{align}
| |
− | \int s \, d\mu &{}= \int\left(\sum_{i=1}^{n} a_i 1_{\!A_i}\right) d\mu \\
| |
− | &{}= \sum_{i=1}^{n} a_i\int 1_{\!A_i} \, d\mu = \sum_{i=1}^{n} a_i \, \mu(A_i)
| |
− | \end{align}</math>
| |
− | と定める(ただし、可測集合 ''A''<sub>''i''</sub> たちは disjoint で、''A''<sub>''i''</sub> の単関数 ''s'' による像が定数 ''a''<sub>''i''</sub> であるものとした)。''E'' を可測集合とすれば、その上での積分を
| |
− | :<math> \int_E s \, d\mu = \sum_{i=1}^{n} a_i \, \mu(A_i \cap E)</math>
| |
− | とおき、任意の非負値[[可測関数]] ''f'' については、下から ''f'' を近似する単関数 ''s'' の[[上限]]
| |
− | :<math>\int_E f \, d\mu = \sup\int_E s \, d\mu</math>
| |
− | として ''f'' の積分を定義する。さらに一般の可測関数 ''f'' に対しては、それを正部分 ''f''<sup>+</sup> と負部分 ''f''<sup>−</sup>
| |
− | :<math>\begin{align}
| |
− | f^+(x) &{}= \begin{cases}
| |
− | f(x), & \text{if } f(x) > 0 \\
| |
− | 0, & \text{otherwise}
| |
− | \end{cases} \\[5pt]
| |
− | f^-(x) &{}= \begin{cases}
| |
− | -f(x), & \text{if } f(x) < 0 \\
| |
− | 0, & \text{otherwise}
| |
− | \end{cases}
| |
− | \end{align}</math>
| |
− | に分割して、|''f''| := ''f''<sup>+</sup> + ''f''<sup>−</sup> に対し
| |
− | :<math>\int_E |f| \, d\mu < \infty</math>
| |
− | なるとき、''f'' はルベーグ可積分であるといい、''f'' の積分を
| |
− | :<math>\int_E f \, d\mu = \int_E f^+ \, d\mu - \int_E f^- \, d\mu</math>
| |
− | によって定める。
| |
− | | |
− | 可測関数が定義される測度空間が[[局所コンパクト空間|局所コンパクト]]な[[位相空間]](よくあるのは実数全体の成す集合 '''R''')でもあるとき、測度はその位相と適当な意味で両立するもの([[ラドン測度]]: たとえばルベーグ測度などはそう)を考える。そのような測度に関する積分は、[[関数の台|コンパクト台]]付き[[連続関数]]の積分からはじめるような別な定義の仕方ができる。もっと具体的に述べれば、コンパクト台付き連続関数の全体は[[ベクトル空間]]を成し、自然な位相を入れることができて、その空間上の'''任意の'''[[線型汎関数]]を連続にするような(ラドン)測度を入れることができる。従って、コンパクト台付き函関数における測度の値はその関数の積分によっても定義できる。そこからさらに測度(=積分)をもっと一般の関数へ連続性によって拡張して、指示関数の積分として集合の測度を定めるのである。これは {{Harvtxt|Bourbaki|2004}} の取ったやり方であり、また他にも一定数の文献がこのやり方をしている。詳細は[[ラドン測度]]の項へ譲る。
| |
− | | |
− | === その他の積分 ===
| |
− | ; リーマン=スティルチェス積分
| |
− | : [[リーマン=スティルチェス積分]]は有界変動の関数 φ を使ったリーマン積分の拡張。
| |
− | :: <math>\int_{a}^{b} f(x) d\varphi(x) = \lim \sum f(\xi)\delta\varphi</math>
| |
− | : φ(''x'') = ''x'' のときは通常のリーマン積分であり、φ が可微分で φ' が連続なら、密度を持つリーマン積分
| |
− | :: <math>\int_{a}^{b} f(x)d\varphi(x) = \int_{a}^{b} f(x)\varphi'(x)dx</math>
| |
− | : の形になる。
| |
− | ; ルベーグ=スティルチェス積分
| |
− | : [[ルベーグ=スティルチェス積分]]は[[ルベーグ積分]]やリーマン=スティルチェス積分の拡張。加法的集合関数の変動が定める測度に関するルベーグ式の積分
| |
− | :: <math>\int_X f(x)\,d\Phi(x)</math>
| |
− | : であり、[[ヨハン・ラドン]]が詳しく調べた。
| |
− | ; ダニエル積分
| |
− | : [[ダニエル積分]]は積分を[[線型汎関数]]として定義する。これは測度の概念を必ずしも必要としないにもかかわらず、ルベーグ積分やルベーグ=スティルチェス積分を含む広範な積分概念を与える。
| |
− | ; リーマン型積分
| |
− | : 通常のリーマン積分は、積分区間の分割の幅を一様に 0 に近づけたときの対応するリーマン和の極限として定義されるが、リーマン和の取り方や分割の幅の縮めかたを変えることによってさまざまな積分を定義でき、このように定義される積分をリーマン型積分という。たとえば、[[マクシェイン積分]]、[[ヘンストック・クルツヴァイル積分]]などの[[ゲージ積分]]がリーマン型積分である。
| |
− | ; ヤング積分
| |
− | : [[ヤング積分]]はリーマン=スティルチェス積分の一般化で、[[有界変動函数|有界変動]]関数を用いる代わりに非有界な変動の関数を用いたもの。
| |
− | ; 確率積分
| |
− | : [[伊藤積分]]や[[ストラトノヴィッチ積分]]などの[[ウィーナー過程|ブラウン運動]]を伴う確率過程に対する積分
| |
− | ; 不変積分
| |
− | : [[数論]]や[[表現論]]の周辺分野でよく用いられる、[[局所コンパクト群]]上で定義される不変測度([[ハール測度]])に関するルベーグ式の積分。ルベーグ積分は、実数全体が加法に関して成す局所コンパクトアーベル群 '''R''' 上の不変測度としてルベーグ測度をとった不変積分である(この場合の不変は平行移動不変性を指して言う)。
| |
− | | |
− | == 性質 ==
| |
− | === 被積分関数に関する線型性 ===
| |
− | 有界閉区間 [''a'', ''b''] 上のリーマン可積分関数全体の成す集合は、[[点ごとの加法]] ((''f'' + ''g'')(''x'') := ''f''(''x'') + ''g''(''x'')) とスカラー乗法 ((α''f'')(''x'') := α''f''(''x'')) のもとでベクトル空間になり、そのような関数に対して積分をとる操作
| |
− | :<math> f \mapsto \int_a^b f \,dx</math>
| |
− | はこのベクトル空間上の[[線型汎関数]]になる。これはつまり、ひとつは可積分関数の全体が[[線型結合]]をとる操作に関して閉じていること、そしてもうひとつ
| |
− | :<math> \int_a^b (\alpha f + \beta g)(x)\,dx = \alpha\int_a^b f(x)\,dx + \beta\int_a^b g(x)\,dx</math>
| |
− | のように、線型結合の積分が積分の線型結合として表されることを言っているものである。
| |
− | | |
− | 同様に、測度 μ を持つ[[測度空間]] ''E'' 上の実数値ルベーグ可積分関数全体の成す集合は、線型結合について閉じていて線型空間を成し、ルベーグ積分をとる操作
| |
− | : <math> f\mapsto \int_E f d\mu </math>
| |
− | はその線型空間上の線型汎関数、すなわち
| |
− | :<math> \int_E (\alpha f + \beta g)\,d\mu = \alpha\int_E f\,d\mu + \beta\int_E g\,d\mu</math>
| |
− | を満たす。
| |
− | | |
− | より一般に、測度空間 (''E'', μ) 上で定義され[[局所コンパクト空間|局所コンパクト]][[位相体]] ''K'' 上の局所コンパクト[[完備距離空間|完備]][[位相線型空間]] ''V'' に値を持つ[[可測関数]] ''f'': ''E'' → ''V'' 全体の成すベクトル空間を考えるとき、各関数 ''f'' に対して ''V'' の元若しくは記号 ∞ を割り当てる写像
| |
− | :<math>I\colon f\mapsto I(f):=\int_E f d\mu</math>
| |
− | で線型結合と両立する(つまり ''I''(α''f'' + β''g'') = α''I''(''f'') + β''I''(''g'') を満たす)ものとして、抽象積分を定義することができる。この状況下で、積分が有限(すなわち割り当てられる値が ''V'' の元)であるような関数全体の成す部分空間を考えても、線型性は保たれる。このような形で最も重要な特別な場合が生じるのは、''K'' が[[実数]]体 '''R''', 複素数体 '''C''' 若しくは[[p進数| ''p''-進数]]体 '''Q'''<sub>''p''</sub> の有限次拡大([[代数体]])かつ ''V'' が[[ハメル次元|有限次元]]ベクトル空間であるときであり、また ''K'' = '''C''' かつ ''V'' が複素[[ヒルベルト空間]]であるときである。
| |
− | | |
− | 線型性に、何らかの自然な連続性と、ある種の「単純な」関数のクラスに対する正規性とを併せて考えることにより、積分の別な定義法を与えることができる。このようなやり方をするものに(集合 ''X'' 上の実数値関数の場合の)[[ダニエル積分]]があり、また[[ニコラブルバキ|ブルバキ]]により局所コンパクト位相線型空間に値をとる関数にまで一般化されたものがある。積分の公理的な特徴づけについては {{Harv|Hildebrandt|1953}} を参照されたい。
| |
− | | |
− | === 積分不等式 ===
| |
− | ; 平均値の定理
| |
− | : <math>\inf_{a\le x\le b}\{f(x)\} \le \frac{1}{b-a}\int_{a}^{b}f(x)\,dx \le \sup_{a\le x\le b}\{f(x)\}</math>
| |
− | ; 被積分関数に対する積分の単調性
| |
− | : <math>f(x) \le g(x) \mbox{ for }\forall x\in [a,b] \Rightarrow \int_a^b f(x)dx \le \int_a^b g(x)dx </math>
| |
− | ; 積分区間に対する積分の単調性
| |
− | : <math>f(x) \ge 0 \mbox{ for }\forall x\in [a,b],\quad [c,d]\subseteq [a,b] \Rightarrow \int_c^d f(x)dx \le \int_a^b f(x)dx</math>
| |
− | | |
− | === その他の性質 ===
| |
− | ; 積分区間に対する加法性
| |
− | : <math>\int_{a}^{\xi}f(x)\,dx + \int_{\xi}^{b}f(x)\,dx = \int_{a}^{b}f(x)\,dx</math>
| |
− | ; 置換積分法
| |
− | :(''a'' = ''x''(α), ''b'' = ''x''(β) なる条件の下)
| |
− | : <math>\int_{a}^{b} f(x)dx = \int_{\alpha}^{\beta} f(x(t)) {dx \over dt} dt.</math>
| |
− | ; 部分積分法
| |
− | : <math>\int_{a}^{b} f'(x)g(x) dx = [f(x)g(x)]_{a}^{b} - \int_{a}^{b} f(x)g'(x) dx.</math>
| |
− | | |
− | === いくつかの注意 ===
| |
− | ''a'' < ''b'' ならば、''a'' を下端、''b'' を上端とするリーマン積分は区間 [''a'', ''b''] の分割からさだまるリーマン和の極限として定義されるが、''a'' > ''b'' のときは区間 [''a'', ''b''] 自体が存在しないのでそのままではリーマン和も考えることができない。しかし規約として ''a'' > ''b'' のときは
| |
− | : <math>\int_a^b f(x)dx := -\int_b^a f(x)dx</math>
| |
− | あるいはもっと記号的に
| |
− | : <math>\int_a^b := -\int_b^a</math>
| |
− | であるものとすることがしばしば行われる。この規約の元では区間に対する加法性
| |
− | : <math>\int_a^b = \int_a^\gamma + \int_\gamma^b</math>
| |
− | は分点 γ が γ < ''a'', ''a'' ≤ γ < ''b'', ''b'' ≤ γ のいずれであるかに関わらず成立する。もっと一般に、向き付けられた ''d''-次元多様体 ''M'' が与えられたとき、その向きを逆にして得られる多様体を ''M''<sup>op</sup> とし、ω を微分 ''d''-形式とすれば
| |
− | : <math>\int_M \omega = -\int_{M^\text{op}}\omega</math>
| |
− | が成り立つ。これに対し、ルベーグ積分の文脈では '''R''' の有限区間 ''E'' = [''a'', ''b''] 上の積分
| |
− | : <math>\int_E f(x)dx = \int_{[a,b]} f(x)dx := \int_{\mathbb{R}}\chi_E(x)f(x)dx</math>
| |
− | とは、''E'' の指示関数 χ<sub>''E''</sub> における汎関数 ''dx'' の値であり、''b'' < ''a'' ならば ''E'' は空集合で χ<sub>''E''</sub> が恒等的に 0 となるから積分値は 0 である。
| |
− | | |
− | == 微分積分学の基本定理 ==
| |
− | {{main|微分積分学の基本定理}}
| |
− | '''微分積分学の基本定理'''は[[微分法]]と積分法が互いに逆の演算であることを述べるもので、連続関数を積分したものを微分すると、もとの関数に戻ることを示している。これにより、第二基本定理とも呼ばれる重要な帰結として、[[原始関数]]が既に知られている関数の定積分の計算はその原始関数を用いて計算できるようになる。
| |
− | | |
− | 特に、これらの定理は ''f'' が [''a'', ''b''] 上で連続である限り成立する。不連続関数や多変数関数への一般化は必ずしも正しくないが、一定の条件下では様々存在し、例えば[[ストークスの定理]]などはそのようなものとして理解することができる。
| |
− | | |
− | === 基本定理の主張 ===
| |
− | ; 第一基本定理: ''f'' を[[閉区間]] [''a'', ''b''] 上で定義された[[実数]]値可積分関数、''F'' を [''a'', ''b''] 上の各点 ''x'' に対して<div style="margin: 1ex 2em;"><math>
| |
− | F(x) = \int_a^x f(t)\,dt
| |
− | </math></div>で定義される関数とすると、''F'' は [''a'', ''b''] 上[[連続関数|連続]]である。さらに ''f'' が [''a'', ''b''] 上の点 ''x'' で連続ならば ''F'' は ''x'' において[[可微分]]で、''F''′ = ''f''(''x'') が成立する。
| |
− | ; 第二基本定理: ''f'' を閉区間 [''a'', ''b''] 上で定義される実数値可積分関数で、''F'' が [''a'', ''b''] の各点 ''x'' で ''F''′(''x'') = ''f''(''x'') となる関数(つまり、''f'' の[[原始関数]])とすると、<div style="margin: 1ex 2em;"><math>
| |
− | \int_a^b f(t)\,dt = F(b) - F(a)
| |
− | </math></div>が成立する。
| |
− | | |
− | == 一般化 ==
| |
− | === 広義リーマン積分 ===
| |
− | {{main|広義積分}}
| |
− | 無限区間における積分('''無限積分''')、無限大に発散する点を含む区間における積分('''異常積分'''、''improper integral'')など。極限により定まる。
| |
− | | |
− | : <math>\begin{align}
| |
− | \int_{a}^{\infty} f(x) dx & := \lim_{r \to \infty} \int_{a}^{r} f(x)dx,\\
| |
− | \int_{-\infty}^{\infty} f(x) dx & := \lim_{s \to -\infty\atop r \to \infty} \int_{s}^{r} f(x)dx,\\
| |
− | \int_{0}^{1} {dx \over x^2} & :=
| |
− | \lim_{\varepsilon \to +0} \int_{\varepsilon}^{1} {dx \over x^2}.
| |
− | \end{align}</math>
| |
− | | |
− | これらの極限値が有限値に定まるとき、'''広義リーマン積分可能'''であるという。一方、広義リーマン積分可能でなくとも極限のとりかたを限定するとき極限値が有限確定に存在することがある。たとえば
| |
− | : <math>\int_{-1}^{1} {1 \over x} =
| |
− | \lim_{\varepsilon_1 \to -0} \int_{-1}^{\varepsilon_1} {dx \over x} +
| |
− | \lim_{\varepsilon_2 \to +0} \int_{\varepsilon_2}^{1} {dx \over x}
| |
− | </math>
| |
− | はいわゆる −∞ + ∞ の形の不定形であり、ε<sub>1</sub>, ε<sub>2</sub> の 0 への近づきかたにより値が異なるため、広義リーマン積分可能でない。しかしながら ε<sub>1</sub> = −ε<sub>2</sub> という特殊な場合には
| |
− | : <math>\mbox{p.v.}\int_{-1}^{1} {1 \over x} =
| |
− | \lim_{\varepsilon \to +0}
| |
− | \left(
| |
− | \int_{-1}^{-\varepsilon} {dx \over x} + \int_{\varepsilon}^{1} {dx \over x}
| |
− | \right)
| |
− | = 0</math>
| |
− | となる。このように上下から同等の速さで特異点に近づける極限で現れる値を[[コーシーの主値]]という。
| |
− | | |
− | === 重積分 ===
| |
− | {{main|重積分}}
| |
− | [[File:Volume under surface.png|right|thumb|曲面の下にある体積としての二重積分]]
| |
− | 区間以外の積分領域を考えることもできる。一般に写像 ''f'' の集合 ''E'' 上でとった積分を
| |
− | :<math>\int_E f(x) \, dx</math>
| |
− | で表す。このとき、''x'' として必ずしも実数でないほかの適当な量、例えば '''R'''<sup>3</sup> の[[幾何ベクトル|ベクトル]]などである場合を考えることができる。[[フビニの定理]]によれば、そのような積分が'''[[逐次積分]]'''(累次積分)として書けることが示される。すなわち、重積分は座標ごとに順番に積分して計算することができる。
| |
− | | |
− | 一変数の正値関数の積分が関数のグラフと ''x''-軸との間の領域の[[面積]]を表すのと同様に、二変数の正値関数 ''f''(''x'', ''y'') の'''二重積分'''は関数の定義する曲面 ''z'' = ''f''(''x'', ''y'') と関数の定義域を含む平面との間の領域の[[体積]]を表す(同じ体積はこの領域を表す三次元の定数関数 ''F''(''x'', ''y'', ''z'' = ''f''(''x'', ''y'')) = 1 の'''三重積分'''としても求められる)。同じことはさらに変数の数を増やしても成立し、積分は高次元の[[超体積]]を表すことになるが、三次元より高次元の場合は視覚化は困難である。
| |
− | | |
− | 例えば、辺長が 4 × 6 × 5 の[[直方体]]の体積は以下の二通りの方法で求めることができる。
| |
− | * 直方体の底面である ''xy''-平面上の領域 ''D'' 上で定数関数 ''f''(''x'', ''y'') = 5 の二重積分<div style="margin: 1ex 2em;"><math>
| |
− | \iint_D 5\,dx\,dy
| |
− | </math></div>は所期の直方体の体積を与える。例えば、直方体の底面矩形が ''x'', ''y'' の不等式 2 ≤ ''x'' ≤ 6, 3 ≤ ''y'' ≤ 9 で与えられているならば、上の二重積分は<div style="margin: 1ex 2em;"><math>
| |
− | \int\limits_3^9\!\!\int\limits_2^6 5\,dx\,dy
| |
− | </math></div>のことと読み替えることができる。このあと、積分を ''x'' と ''y'' のいづれから先に計算すべきなのかであるが、この例では内側の積分、つまり ''x'' に対応する区間で ''x'' に関する積分を先に行う。内側の積分を ''F''(''b'') − ''F''(''a'') を計算する方法などで求めた後は、得られた結果を残りの変数に関して再び積分すれば、底面と上面に挟まれた領域(つまり所期の直方体)の体積が求められる。
| |
− | * 直方体自身の上で取った定数関数 1 の三重積分<div style="margin: 1ex 2em;"><math>
| |
− | \iiint\limits_\text{cuboid} 1 \, dx\, dy\, dz
| |
− | </math></div>としても所期の体積が計算できる。
| |
− | | |
− | === 線積分 ===
| |
− | {{main|線積分}}
| |
− | [[File:Line-Integral.gif|right|thumb|線積分は曲線に沿って元を足し合わせる]]
| |
− | 積分の概念はもっと一般の積分領域にも拡張することができる。例えば曲線や曲面を積分領域とする積分は、それぞれ線積分や面積分と呼ばれる。これらは[[ベクトル場]]を扱うような物理学に応用を持つ。
| |
− | | |
− | '''線積分'''は[[曲線]]に沿って評価された関数の積分である。線積分にも様々なものがあり、特に閉曲線に関する線積分を'''周回積分'''などとも呼ぶ。
| |
− | | |
− | 積分の対象となる関数は[[スカラー場]]であるかもしれないし、[[ベクトル場]]であるかもしれない。線積分の値というのは、曲線上の各点における場の値に曲線上の適当なスカラー関数(普通は[[弧長]]、あるいはベクトル場に対しては曲線における接ベクトルとの内積)を重みとして掛けたものの和である。この重み付けこそが、線積分と通常の[[区間 (数学)|区間]]上で定義される積分とを区別するものである。物理学における簡単な公式の多くは、線積分を用いることで自然に連続的な類似対応物に書き換えることができる。例えば、力学における[[仕事 (物理学)|仕事]]が[[力 (物理学)|力]] '''F''' と移動距離 '''s''' との積(ベクトル量としての点乗積)
| |
− | :<math>W=\mathbf{F\cdot s}</math>
| |
− | に等しいという事実から、[[電場]]や[[重力場]]のような[[ベクトル場]] '''F''' 内の曲線に沿って動く物体に対して、その物体が場によって及ぼされる仕事の総計が、'''s''' から '''s''' + ''d'''''s''' まで移動する間に受ける仕事を足し合わせると考えることにより、線積分
| |
− | :<math>W=\int_C \mathbf{F}\cdot d\mathbf{s}</math>
| |
− | で求められる。
| |
− | | |
− | === 面積分 ===
| |
− | {{main|面積分}}
| |
− | [[File:Surface integral illustration.svg|right|thumb|面積分は曲面を微小な面素に分割して足し合わせることの極限として定義される。]]
| |
− | '''面積分'''は空間内の[[曲面]]の上で定義される定積分で、[[線積分]]の二次元的な類似物である。積分される関数はやはり[[スカラー場]]かもしれないし[[ベクトル場]]かもしれない。面積分の値というのは、曲面上の各点における場の値の総和であり、曲面を面素に分割することによって得られるリーマン和の極限として構成される。
| |
− | | |
− | 面積分の応用例としては、曲面 ''S'' 上のベクトル場 '''v'''(つまり、''S'' の各点 ''x'' に対して '''v'''(''x'') がベクトル)が与えられているとき、''S'' を通過する流体で ''x'' における流体の速度が '''v'''('''x''') で与えられる状況を考えればよい。[[流束]]は単位時間当たりに ''S'' を通過する流体の量として定義される。流束を求めるためには、各点で '''v''' と単位[[法ベクトル]]との[[点乗積]]をとる必要があり、その結果得られたスカラー場を曲面上で積分した
| |
− | :<math>\int_S {\mathbf v}\cdot \,d{\mathbf {S}}</math>
| |
− | が流束の値を与える('''S''' は ''S'' の適当な向きの単位法ベクトル場)。この例における流体の流束は、水や空気の流束あるいは電束や磁束といった物理的なものを想定することができる。このように面積分は[[物理学]]、特に[[電磁気学]]の[[古典論]]に応用を持つ。
| |
− | | |
− | === 微分形式の積分 ===
| |
− | {{main|微分形式の積分}}
| |
− | [[微分形式]]は[[多変数解析]]や[[微分幾何学]]および[[テンソル論]]などの分野で用いられる数学的概念である。現代的な意味での微分形式は、その全体が[[外微分]]と[[楔積]]に関して([[エリ・カルタン]]の導入した意味での)[[外積代数]]を成すものとして理解される。
| |
− | | |
− | '''R'''<sup>''n''</sup> の[[開集合]] Ω 上で定義される 0-形式(0-次微分形式)とは単に(ここでは)Ω 上の[[滑らかな関数]] ''f'' のことである。'''R'''<sup>''n''</sup> の ''m''-[[ハメル次元|次元]]の部分空間 ''S'' 上での ''f'' の積分を
| |
− | :<math>\int_S f\,dx^1 \cdots dx^m</math>
| |
− | のように書く(上付きの数字は単に添字であって、冪指数の意味ではない)。微分形式の文脈では、''dx''<sup>1</sup> から ''dx''<sup>''n''</sup> までを、[[リーマン和]]のように積分についている符牒ではなく、それ自体を形式的な対象として扱う。すなわち、これらはそれぞれ[[余ベクトル]](1-形式、双対ベクトル)として捉えられ、「密度」を[[測度|測るもの]]と考えることができる(したがって一般の意味で積分することができる)。''dx''<sup>1</sup>, …,''dx''<sup>''n''</sup> は'''基本'''[[線型形式| 1-'''形式''']]と呼ばれる。
| |
− | | |
− | 微分形式に対する[[外積代数|楔積]] "∧" は[[双線型写像|双線型]]な「乗法」で、基本 1-形式に対する'''交代性'''
| |
− | : <math>dx^a \wedge dx^a = 0</math>
| |
− | を満足するものである。線型性と結合性を用いれば、この交代性から ''dx''<sup>''b''</sup> ∧ ''dx''<sup>''a''</sup> = −''dx''<sup>''a''</sup> ∧ ''dx''<sup>''b''</sup> が出ることに注意せよ。これはまた、楔積を取った結果が[[向き]]を持つことを保証するものでもある。
| |
− | | |
− | 二つの基本 1-形式の楔積として得られる微分形式を'''基本''' 2-'''形式'''と呼び、同様に ''dx''<sup>''a''</sup> ∧ ''dx''<sup>''b''</sup> ∧ ''dx''<sup>''c''</sup> なる形で書ける微分形式を'''基本''' 3-'''形式'''と定める。以下同様に基本形式を定めるが、一般に ''k''-形式(''k''-次'''微分形式''')とは基本 ''k''-形式に滑らかな関数 ''f'' による重み付けを行った重み付き和をいう。すなわち、''k''-形式の全体は、基本 ''k''-形式を基底ベクトルとする[[ベクトル空間]]を成し、その係数体として 0-形式の全体がとれる。''k''-形式同士の楔積は、基本 ''k''-形式の楔積を線型に拡張したものとして自然に定義できる。'''R'''<sup>''n''</sup> 上で、互いに線型独立な余ベクトルは高々 ''n''-個しか取れないから、従って ''k'' > ''n'' のとき ''k''-形式は常に 0 に等しいことが交代性から従う。
| |
− | | |
− | 微分形式の演算には、楔積に加えて、[[外微分]]作用素 ''d'' もある。これは ''k''-形式を (''k''+1)-形式へ写す作用素で、'''R'''<sup>''n''</sup> 上の ''k''-形式 ω = ''f'' ''dx''<sup>α</sup> への ''d'' の作用は、
| |
− | :<math>d\omega = \sum_{i=1}^n \frac{\partial f}{\partial x_i} dx^i \wedge dx^{\alpha}</math>
| |
− | で与えられる(α は ''k''-次の[[多重指数]])。一般の ''k''-形式へはこれを線型に拡張する。
| |
− | | |
− | これをもう少し一般にしたやり方で、自然に座標を用いない[[多様体]]上の積分ができるようになり、また[[微分積分学の基本定理]]の自然な一般化として(広義の)[[ストークスの定理]]と呼ばれる定理が得られる。ストークスの定理は、一般の ''k''-形式 ω に対して
| |
− | :<math>\int_{\Omega} d\omega = \int_{\partial\Omega} \omega</math>
| |
− | が成り立つことを主張するものである。ただし ∂Ω は ω の積分領域 Ω の[[境界 (位相空間論)|境界]]である。ω が 0-形式で Ω が実数直線内の閉区間である場合が[[微分積分学の基本定理]]にあたる。また、ω が 1-形式で Ω が平面上の二次元の領域であるときが[[グリーンの定理]]であり、同様に 2-形式あるいは 3-形式と[[ホッジ双対]]を考えて(狭義の)[[ストークスの定理 (ベクトル解析)|ストークスの定理]]あるいは[[発散定理]]を得ることができる。このように微分形式は、積分を統一的に扱ための強力な方法を与えるものであることが分かる。
| |
− | | |
− | === 総和法 ===
| |
− | しばしば積分の離散版として総和(和分)を捉える事が行われる。たとえば無限個の数の[[相加平均]]を積分として「解釈」して定式化することができるし、ルベーグ積分の文脈では[[数え上げ測度]]に関する積分として実際に総和が現れる。
| |
− | | |
− | == 脚注 ==
| |
− | {{reflist}}
| |
− | | |
− | == 参考文献 ==
| |
− | {{参照方法|date=2015年12月}}
| |
− | * [[ベルンハルト・リーマン]]、[[足立恒雄]]・[[杉浦光夫]]・[[長岡亮介]]訳『リーマン論文集』[[朝倉書店]]、2004年 ISBN 978-4-254-114607
| |
− | * [[猪狩惺]]『実解析入門』[[岩波書店]]
| |
− | * [[新井仁之]]『ルベーグ積分講義』[[日本評論社]]
| |
− | * {{Cite book
| |
− | | 和書
| |
− | | last1 = 杉浦
| |
− | | first1 = 光夫
| |
− | | year = 1980
| |
− | | title = 解析入門I
| |
− | | series = 基礎数学2
| |
− | | publisher = 東京大学出版会
| |
− | | isbn = 978-4-13-062005-5
| |
− | | ref = harv
| |
− | }}
| |
− | * {{Cite book
| |
− | | 和書
| |
− | | last1 = 伊藤
| |
− | | first1 = 清三
| |
− | | year = 2008
| |
− | | title = ルベーグ積分入門
| |
− | | series = 数学選書4
| |
− | | edition = 第46版
| |
− | | publisher = 裳華房
| |
− | | isbn = 978-4-7853-1304-3
| |
− | | ref = harv
| |
− | }}
| |
− | * {{Citation | last=Apostol | first=Tom M. | author-link=Tom M. Apostol | title=Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra | year=1967 | edition=2nd | publisher=[[John Wiley & Sons|Wiley]] | isbn=978-0-471-00005-1}}
| |
− | * {{Citation | last=Bourbaki| first=Nicolas | author-link=Nicolas Bourbaki | title=Integration I | year=2004 | publisher=[[Springer Science+Business Media|Springer Verlag]] | isbn=3-540-41129-1}}. In particular chapters III and IV.
| |
− | * {{Citation | last=Burton | first=David M. | title=The History of Mathematics: An Introduction | edition=6th | year=2005<!--November 8--> | publisher=[[McGraw-Hill]] | isbn=978-0-07-305189-5 | page=359}}
| |
− | * {{Citation | last=Cajori | first=Florian | author-link=Florian Cajori | title=A History Of Mathematical Notations Volume II | year=1929 | publisher=[[Open Court Publishing Company|Open Court Publishing]] | url=http://www.archive.org/details/historyofmathema027671mbp | isbn=978-0-486-67766-8 | pages=247–252}}
| |
− | * {{Citation | last1=Charron | first1=Gilles | last2= Parent | first2=Pierre | author-link=Gilles Charron | title = Calcul intégral manuel | publisher=[[Beauchemin]] | year=2004 }}
| |
− | * {{Citation | last1=Dahlquist | first1=Germund | author1-link=Germund Dahlquist | last2=Björck | first2=Åke | title=Numerical Methods in Scientific Computing, Volume I | publisher=[[Society for Industrial and Applied Mathematics|SIAM]] | location=Philadelphia | year=2008 | url=http://www.mai.liu.se/~akbjo/NMbook.html | chapter=Chapter 5: Numerical Integration}}
| |
− | * {{Citation | last = Folland | first = Gerald B.| title=Real Analysis: Modern Techniques and Their Applications | edition=1st | publisher=[[John Wiley & Sons]] | year = 1984 | isbn=978-0-471-80958-6 }}
| |
− | * {{Citation | last=Fourier | first=Jean Baptiste Joseph | author-link=Joseph Fourier | title=Théorie analytique de la chaleur | year=1822 | publisher=Chez Firmin Didot, père et fils | url=http://books.google.com/books?id=TDQJAAAAIAAJ | page=§231}}<br />Available in translation as {{citation | last=Fourier | first=Joseph | title=The analytical theory of heat | year=1878<!--original 1822--> | publisher=[[Cambridge University Press]] | url=http://www.archive.org/details/analyticaltheory00fourrich | others=Freeman, Alexander (trans.) | pages=200–201}}
| |
− | * {{Citation | editor-last=Heath | editor-first=T. L. | editor-link=T. L. Heath | title = The Works of Archimedes | year = 2002 | publisher = [[Dover Publications|Dover]] | isbn = 978-0-486-42084-4 | url = http://www.archive.org/details/worksofarchimede029517mbp }}<br />(Originally published by [[Cambridge University Press]], 1897, based on J. L. Heiberg's Greek version.)
| |
− | * {{Citation | last=Hildebrandt | first=T. H. | author-link= | title=Integration in abstract spaces | journal=[[Bulletin of the American Mathematical Society]] | volume=59 | number=2 | year=1953 | pages=111–139 | url=http://projecteuclid.org/euclid.bams/1183517761 | issn=0273-0979}}
| |
− | * {{Citation | last1=Kahaner | first1=David | last2=Moler | first2=Cleve | author2-link=Cleve Moler | last3=Nash | first3=Stephen | title=Numerical Methods and Software | year=1989 | publisher=[[Prentice Hall]] | chapter=Chapter 5: Numerical Quadrature | isbn=978-0-13-627258-8 }}
| |
− | * {{Citation | last=Leibniz | first=Gottfried Wilhelm | author-link=Gottfried Wilhelm Leibniz | title=Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band | editor-last=Gerhardt | editor-first=Karl Immanuel | place=Berlin | publisher=Mayer & Müller | year=1899 | url=http://name.umdl.umich.edu/AAX2762.0001.001}}
| |
− | * {{Citation | last=Miller | first=Jeff | title=Earliest Uses of Symbols of Calculus | url=http://jeff560.tripod.com/calculus.html | accessdate=2009-11-22}}
| |
− | * {{Citation | last1=O’Connor | first1=J. J. | last2=Robertson | first2=E. F. | title=A history of the calculus | year=1996 | url=http://www-history.mcs.st-andrews.ac.uk/HistTopics/The_rise_of_calculus.html | accessdate=2007-07-09 }}
| |
− | * {{Citation | last=Rudin | first=Walter | author-link=Walter Rudin | title=Real and Complex Analysis | year=1987 | edition=International | publisher=[[McGraw-Hill]] | chapter=Chapter 1: Abstract Integration | isbn=978-0-07-100276-9}}
| |
− | * {{Citation | last=Saks | first=Stanisław | author-link=Stanisław Saks | title=Theory of the integral | url=http://matwbn.icm.edu.pl/kstresc.php?tom=7&wyd=10&jez= | edition= English translation by L. C. Young. With two additional notes by Stefan Banach. Second revised | publisher= Dover | place=New York | year=1964 }}
| |
− | * {{Citation | last=Salas | first=S.L. | author-link=S.L. Salas | title = Calculus: Einführung in die Differential- und Integralrechnung | publisher=[[Spektrum Akademischer Verlag]] | year=1994 | isbn=978-3-86025-1300}}
| |
− | * {{Citation | last1=Stoer | first1=Josef | last2=Bulirsch | first2=Roland | year=2002 | title=Introduction to Numerical Analysis | edition=3rd | publisher=[[Springer Science+Business Media|Springer]] | chapter=Chapter 3: Topics in Integration | isbn=978-0-387-95452-3 }}.
| |
− | * {{Citation | author=W3C | year=2006<!--January--> | title=Arabic mathematical notation<!--W3C Interest Group Note 31--> | url=http://www.w3.org/TR/arabic-math/}}
| |
− | * ビラン・ドゥ・アーン:「定積分表」、現代工学社(1977年4月15日)。
| |
− | * Daniel Zwillinger:"Handbook of Integration",AK Peters,ISBN 0-86720-293-9 (1992).
| |
− | * Daniel Zwillinger (Ed.): "Standard Mathematical Tables and Formulae",CRC Press,ISBN 1-43983548-9 (2011).
| |
− | * I. S. Gradshteyn and M. Ryzhik, edited by Daniel Zwillinger and Victor Moll: "Table of Integrals, Series, and Products" (8th ed.),Academic Press、ISBN 978-0123849335 (2014年10月2日).
| |
− | | |
− | == 関連項目 ==
| |
− | * [[微分法]]
| |
− | * [[不定積分]]
| |
− | * [[積分方程式]]
| |
− | * [[ガウス求積]]
| |
− | * [[積分器]]
| |
− | * [[記号積分]]
| |
− | *[[置換積分]]
| |
− | | |
− | == 外部リンク ==
| |
− | * {{MathWorld|urlname=Integral|title=Integral}}
| |
− | * {{PlanetMath|urlname=DefiniteIntegral|title=definite integral}}
| |
− | * [http://www.khanacademy.org/video/introduction-to-definite-integrals?playlist=Calculus] by [[Khan Academy]]
| |
− | | |
− | === オンライン本 ===
| |
− | * Keisler, H. Jerome, [http://www.math.wisc.edu/~keisler/calc.html Elementary Calculus: An Approach Using Infinitesimals], University of Wisconsin
| |
− | * Stroyan, K.D., [http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm A Brief Introduction to Infinitesimal Calculus], University of Iowa
| |
− | * Mauch, Sean, [http://www.its.caltech.edu/~sean/book/unabridged.html ''Sean's Applied Math Book''], CIT, an online textbook that includes a complete introduction to calculus
| |
− | * Crowell, Benjamin, [http://www.lightandmatter.com/calc/ ''Calculus''], Fullerton College, an online textbook
| |
− | * Garrett, Paul, [http://www.math.umn.edu/~garrett/calculus/ Notes on First-Year Calculus]
| |
− | * Hohenwarter, Markus; Schmidtpott, Sandra. [http://www.geogebra.org/de/wiki/index.php/Integralrechnung ''Einführung in die Integralrechnung''], Online-Lehrbuch und Aufgaben
| |
− | * Hussain, Faraz, [http://www.understandingcalculus.com Understanding Calculus], an online textbook
| |
− | * Kowalk, W.P., [http://einstein.informatik.uni-oldenburg.de/20910.html ''Integration Theory''], University of Oldenburg. A new concept to an old problem. Online textbook
| |
− | * Rudolph, Dennis, [http://www.frustfrei-lernen.de/mathematik/integralrechnung.html ''Integralrechnung''], Online-Lehrbuch
| |
− | * Sloughter, Dan, [http://math.furman.edu/~dcs/book Difference Equations to Differential Equations], an introduction to calculus
| |
− | * [http://numericalmethods.eng.usf.edu/topics/integration.html Numerical Methods of Integration] at ''Holistic Numerical Methods Institute''
| |
− | * P.S. Wang, [http://www.lcs.mit.edu/publications/specpub.php?id=660 Evaluation of Definite Integrals by Symbolic Manipulation] (1972) - a cookbook of definite integral techniques
| |
− | | |
− | {{Integral}}
| |
| {{DEFAULTSORT:せきふんほう}} | | {{DEFAULTSORT:せきふんほう}} |
| [[Category:積分法|*]] | | [[Category:積分法|*]] |