積分法

積分法は、微分法とともに微分積分学で対をなす主要な分野である。

説明での数式の書き方は広く普及しているライプニッツの記法に準ずる。

実数直線上の区間 [//a//, //b//]}} 上で定義される実変数 //x//}} の関数 //f//}} の定積分

は、略式的に言えば //f//}} のグラフと //x//}} 軸、および //x// =}} //a//}} と //x// =}} //b//}} で囲まれる //xy//}} 平面の領域の符号付面積として定義される。

「積分」という術語は、原始関数すなわち、微分して与えられた関数 //f//}} となるような別の関数 //F//}} の概念を指すこともあり、その場合不定積分と呼び、

のように書く。

積分法の原理は17世紀後半にニュートンとライプニッツが独立に定式化した。微分積分学の基本定理の発見により、それまで全く別々に発展していた積分法と微分法は深く関連付けられることになる。定理の主張は、//f//}} が閉区間 [//a//, //b//]}} 上の実数値連続関数ならば、//f//}} の原始関数 //F//}} が既知であるとき、その区間上における //f//}} の定積分は

で与えられるというものである。こうして積分と微分が微分積分学の基本的な道具となり、科学や工学において様々な応用が成された。微分積分学の創始者たちは、積分を無限小の幅を持つ矩形の無限和と考えたが、数学的に厳密な積分の定義を与えたのはリーマンである。その定義は、曲線で囲まれた領域を薄い短冊に分解して領域の面積を近似する限定的な手順に基づくものであった。19世紀に入ってから、より洗練された積分の概念が現れ始め、積分が行える領域や関数の種類が一般化されていく。線積分は二変数や三変数の関数に対して定義され、積分区間 [//a//, //b//]}} を平面や空間の二点を繋ぐある種の曲線で置き換えるものになっている。同様に面積分は曲線ではなく三次元空間内の曲面を考えることで得られる。また、微分形式の積分は現代的な微分幾何学において基本的な役割を演じる。これらの積分の一般化はもとは物理学の要請から生じたものであり、多くの物理法則の定式化に重要な役割を果たした。

これらを含め、現代的な積分の概念は様々に存在する。最も流布している積分論は、ルベーグの創始した、ルベーグ積分と呼ばれる数学的な抽象論であろう。

1. 歴史
-----

図形の面積や体積の求積法は、特殊なものに限れば古代からいくつも知られており、その起源は定かではないが、積分法の起源としては古代ギリシアの数学書ユークリッド原論にもある取り尽くし法などのいくつかの技法に求めることができるだろう。取り尽くし法はある領域の面積を無数の三角形で覆い尽くすことによって求めようとするものである。古代ギリシャでは、三角形を最も基本的な図形と捉えていたため、このような三角形による求積法が盛んであった。しかしたとえば、放物線がある弦によって切り取られる面積を計算するような場合でさえ、いくらやっても三角形で覆い尽くすことはできないため、実際にはほとんどの領域で無限和の計算をすることになる。この困難に対してアルキメデスは、今で言うε-δ論法によりこの問題を回避したようである。

1635年にカヴァリエリの原理が発表され、後にエヴァンジェリスタ・トリチェリ、ピエール・ド・フェルマーが同原理の考えを用い、回転体や多項式で表される図形の求積を行った。

17世紀後半になってライプニッツとニュートンらにより微分法が発見されると、極めて技巧的な手段に頼っていた求積法は、原始関数と微分積分法の基本公式による一般的な方法で解かれることになる。18世紀にはベルヌーイらやオイラーなどによる無限小解析の発展・整備によって計算技巧は大いに発達したが、19世紀に入るとフーリエ級数の厳密な研究などを通して、初めて積分自体の意味を問わなければならない状況が生じるようになった。実際、積分の厳密な定義は、リーマンによって論文「任意関数の三角級数による表現の可能性について」の中で最初に与えられた。

20世紀に入ってすぐ、やはりフーリエ級数についてなど様々な解析学上の問題に刺激されて、ルベーグは、面積や体積とは何かということに就いて深く考察することにより測度論を展開し、現在ルベーグ積分論と呼ばれているものをつくった。リーマン積分可能な関数はルベーグ積分可能であるという意味では、ルベーグ積分はリーマンのそれの一般化になっている。ルベーグが測度論を用いて展開したルベーグ積分は、彼の測度論がもつ極限との親和性と抽象性から、確率論、ヒルベルト空間論、調和解析など極めて広範な応用をもち、これらは物理学や工学などで基本的な道具として用いられることとなる。

ルベーグ積分以後もさらなる一般化がされた積分法がいくつか存在する。

2. 導入
-----

積分は実用上の様々な状況に現れる。水泳プールが矩形状で、底面が平坦かつその長さ幅および深さが分かっているなら、プールに張ることのできる水の体積やプールの表面積やプールの縁の長さを容易に求めることができる。しかし、プールが卵形の丸い底面を持つ場合には、そういった量はどれも積分を用いる必要を生じる。実用上はこういった自明な例では近似法を用いれば十分であるかもしれないが、例えば精密工学ではそれらの要素の厳密値そのものが要求されることになる。

手始めに、//x// =}} 0}} から //x// =}} 1}} までの間で //f//  =}} sqrt によって与えられる曲線 //y// =}} //f// }} を考え、

//x// =}} 0}} から //x// =}} 1}} までの区間において //f//}} の下にある領域の面積はいくらかという問いを立てて、この面積を //f//}} の積分と呼んで

で書き表す。最初の近似として、各辺が //x// =}} 0}} から //x// =}} 1}} までと //y// =}} //f//  =}} 0}} および //y// =}} //f//  =}} 1}} で張られるような単位正方形を考えると、その面積はちょうど 1}} である。実際には積分の真の値はこれよりも小さい。近似矩形の幅を減らせばよりよい結果が得られるはずであるから、近似のための分点を 1/5}} 、2/5}} … と 1}} までに亘ってとり、区間を横断的に5つの短冊に分け、各短冊の右上の端点を各曲線の小片の高さ sqrt 、sqrt … に合わせていくと、それらの矩形の面積の和をとることで、所期の積分の先ほどよりもよい近似値が

のように得られることになる。一方、各短冊の左上の端点を各曲線の小片の高さ 0}} 、sqrt … に合わせた場合の、それらの矩形の面積の和は同様の計算で近似値が 0.5497}} となる。

関数 //f//}} の値に隣り合う分点の差を掛けたものを無限個足し合わせることになる点に注意すれば、分点の数をどんどん多くしていくのは容易である。そうして分点がどんどん近くなるような刻み幅にしていくとしてもそれは真の値になることはない。

5つの小区間を12に増やせば面積の近似値は前者の右上の端点を用いる計算の場合 0.7036}} 、後者の左上の端点を用いる計算の場合 0.6203}} となりその差分はより小さいものが得られる。鍵となる考え方は、分点の差に関数値を掛けて「無限個」足し合わせるということを、無限に細かい刻み幅に関数値を掛けた足し合わせに読み替えることである。

「実際の積分計算」に対しては、ニュートンとライプニッツによる微分積分学の基本定理が利用される。これを先ほどの平方根関数 //f//  =}} //x//sup の例に適用すれば、その原始関数 //f//  =}} sfrac に対し、単に両端の値を代入した原始関数の差 //F//  − //F// }} を計算すればよい。従って、定積分は、機械的に

と計算することができる。

前述したとおり、短冊に分割した計算の結果は分割数を増やすほどこの値に近づく。

積分の記法

は関数値 //f// }} に微分と呼ばれる無限小の刻み幅 d//x//}} を掛けたものたちの重み付き和を //S//}} を引き伸ばした によって表したものと見ることができる。

歴史的には、初期の無限小を厳密に解釈する試みが失敗したあと、リーマンが重み付き和の極限として積分を厳密に定義したものであって、それゆえに d//x//}} は差の極限を示唆したものということになる。リーマンの積分法には区間の制限や連続性の要求などからくる欠点があったことを契機として、新たな積分の定義が考え出された。特にルベーグ積分は非常に柔軟な方法で「測度」の概念を拡張する方法に基づくものである。ルベーグ積分の記法

は、各値に割り当てられた重みが //μ//}} となるような関数値の分割から得られる重み付き和を示唆するものである。ここに //A//}} は積分領域を表す。

微分幾何学で考察される「多様体上の微積分」には、微積分でよく使われている記法に別な解釈を与えることができる。この立場では、//f// }} と d//x//}} は微分形式 //ω// =}} //f//  d//x//}} として理解され、新たに外微分と呼ばれる微分作用素 d}} が導入されて、微積分学の基本定理はより一般のストークスの定理：

として述べることができる。ストークスの定理からグリーンの定理、ガウスの発散定理および微積分学の基本定理が導出できる。

もう少し新しいところでは、超準解析のような新しい現代的な手法を通じて、無限小が厳密な意味を持って再登場している。これらの方法は黎明期の直観を正当化するのみならず、新たな数学を切り開くものとなった。

これらの積分の概念の間には差異はあるけれども、多くの部分では重なっている。例えば、楕円形の水泳プールの表面積は、プールを幾何学的に楕円として扱って、無限小の和あるいはリーマン積分やルベーグ積分として計算しても、微分形式を備えた多様体として計算しても、結果として得られる値は皆同一である。

3. 厳密な定義
--------

積分のきちんとした定義は様々な仕方があり、それらの全てが同値なわけではない。異なる定義が用いられるのは、その殆どが別な定義では積分が定義できない特別な場合に別な扱いを与えるためであるが、それだけでなく時に教育上の理由が介在することもある。最も広く用いられる積分法はリーマン積分とルベーグ積分である。

3.1. リーマン積分
-----------

実数 //a//}} 、//b//}} が //a// < //b//}} であるとき、区間 //E// =}} [//a//, //b//]}} の分割とは、

となる点の組 (//x//sub のこと、あるいは

となる小区間からなる集合 1=Δ = mset のことである。各 xsub を区間 E}} の分点、各 Esub を区間 E}} の小区間または切片 en という。また、分割 Δ}} の各切片について //ξsub をあわせて考えるとき、1=Δ* = mset を点付き分割 }} という。//

区間 E}} の点付き分割 1=Δ* = mset があたえられたとき、

の形の和を、f}} の点付き分割 Δ*}} に関するリーマン和という。

分点の個数 //n// + 1}} を十分大きく、切片の長さ abs を十分小さくするような任意の分割に関して、リーマン和の極限が有限に確定するならば、その極限を関数 f}} のリーマン積分と称する。またこのとき、f}} は積分可能あるいは可積分であるという。

リーマン和、リーマン積分に関連してダルブー和、ダルブー積分を考察することは有効である。

区間 1=//E// = [//a//, //b//]}} の分割 1=Δ = mset に対して、

とおくとき、

をそれぞれ、分割 Δ}} に関する f}} の下ダルブー和、上ダルブー和という。このとき、//m// coloneqq}} minmset, //M// coloneqq}} maxmset とすれば

が満たされることは明らかである。とくに、f}} が有界ならば各辺の値はいずれも有限値となる。

ダルブーの定理は下ダルブー和 //s//sub の Δ}} に関する上限 s}}, 上ダルブー和 //S//sub の下限 S}} の存在をいうもので、リーマン和の極限に対して

なる評価が得られる。ここに現れた s}} をダルブー下積分といい、S}} をダルブー上積分という。しばしば、1=//s// = ⨜su, 1=//S// = ⨛su のようにも書かれる。すなわち記号的に、

これから明らかなように、それらが相等しく 1=//s// = //S//}} となることは、リーマン積分が存在することの必要十分条件であり、上積分・下積分の何れかが存在しないか存在しても一致しないときは　"リーマン積分不能" である。

3.2. ルベーグ積分
-----------

リーマン積分は広い範囲の関数や応用上重要な状況では定義されないことも多い。例えば、鉄骨の密度を積分してその質量を得ることはリーマン積分で容易に求められるが、その上に静止している鉄球にまでは適応することができない。これが動機となって、より広い範囲の関数を積分することのできる新しい定義が生み出されたRudin。特にルベーグ積分は、重み付き和の重み付けの方に注目することによってきわめて柔軟な性質を持つに至った。

ルベーグ積分の定義は測度 //μ//}} を考えることから始まる。最も単純な場合は、区間 //A// =}} [//a//, //b//]}} のルベーグ測度 //μ//}} を区間の幅 //μ// Coloneqq}} //b// − //a//}} で定義するもので、従ってルベーグ積分は、リーマン積分と一致する。より複雑な場合には、連続性も持たず、区間とは全く類似点の無いような、高度に断片化した様々な集合も測度を測ることができる。

このような柔軟性を十分に引き出すために、ルベーグ積分は重み付き和に対してリーマン積分とは「逆」なアプローチをとる。Follandに言わせると、「 //f//}} のリーマン積分を計算するには領域 [//a//, //b//]}} を小区間に分割する」が、一方ルベーグ積分は「実質的に //f//}} の値域を分割する」ものである。

よくある仕方では、まず可測集合 //A//}} の指示関数の積分の定義を

で与え、これを線型に拡張して、//n//}} 個の異なる非負の値をとる可測単関数 //s//}} に対して

と定める。また //E//}} を可測集合とすれば、その上での積分を、

とおき、任意の非負値可測関数 //f//}} については、下から //f//}} を近似する単関数 //s//}} の上限：

として //f//}} の積分を定義する。さらに一般の可測関数 //f//}} に対しては、それを正部分 //f//sup と負部分

に分割して、|//f//| := //f//+ + //f//− に対し

なるとき、//f// はルベーグ可積分であるといい、//f// の積分を

によって定める。

可測関数が定義される測度空間が局所コンパクトな位相空間でもあるとき、測度はその位相と適当な意味で両立するものを考える。そのような測度に関する積分は、コンパクト台付き連続関数の積分からはじめるような別な定義の仕方ができる。もっと具体的に述べれば、コンパクト台付き連続関数の全体はベクトル空間を成し、自然な位相を入れることができて、その空間上の任意の線型汎関数を連続にするような測度を入れることができる。従って、コンパクト台付き函関数における測度の値はその関数の積分によっても定義できる。そこからさらに測度をもっと一般の関数へ連続性によって拡張して、指示関数の積分として集合の測度を定めるのである。これは Bourbaki の取ったやり方であり、また他にも一定数の文献がこのやり方をしている。詳細はラドン測度の項へ譲る。

3.3. その他の積分
-----------

リーマン＝スティルチェス積分 リーマン＝スティルチェス積分は有界変動の関数 φ を使ったリーマン積分の拡張。 φ = //x// のときは通常のリーマン積分であり、φ が可微分で φ' が連続なら、密度を持つリーマン積分 の形になる。 ルベーグ＝スティルチェス積分 ルベーグ＝スティルチェス積分はルベーグ積分やリーマン＝スティルチェス積分の拡張。加法的集合関数の変動が定める測度に関するルベーグ式の積分 であり、ヨハン・ラドンが詳しく調べた。 ダニエル積分 ダニエル積分は積分を線型汎関数として定義する。これは測度の概念を必ずしも必要としないにもかかわらず、ルベーグ積分やルベーグ＝スティルチェス積分を含む広範な積分概念を与える。 リーマン型積分 通常のリーマン積分は、積分区間の分割の幅を一様に 0 に近づけたときの対応するリーマン和の極限として定義されるが、リーマン和の取り方や分割の幅の縮めかたを変えることによってさまざまな積分を定義でき、このように定義される積分をリーマン型積分という。たとえば、マクシェイン積分、ヘンストック・クルツヴァイル積分などのゲージ積分がリーマン型積分である。 ヤング積分 ヤング積分はリーマン＝スティルチェス積分の一般化で、有界変動関数を用いる代わりに非有界な変動の関数を用いたもの。 確率積分 伊藤積分やストラトノヴィッチ積分などのブラウン運動を伴う確率過程に対する積分 不変積分 数論や表現論の周辺分野でよく用いられる、局所コンパクト群上で定義される不変測度に関するルベーグ式の積分。ルベーグ積分は、実数全体が加法に関して成す局所コンパクトアーベル群 R 上の不変測度としてルベーグ測度をとった不変積分である。

4. 性質
-----

4.1. 被積分関数に関する線型性
-----------------

有界閉区間 [//a//, //b//] 上のリーマン可積分関数全体の成す集合は、点ごとの加法  := //f// + //g//) とスカラー乗法  := α//f//) のもとでベクトル空間になり、そのような関数に対して積分をとる操作

はこのベクトル空間上の線型汎関数になる。これはつまり、ひとつは可積分関数の全体が線型結合をとる操作に関して閉じていること、そしてもうひとつ

のように、線型結合の積分が積分の線型結合として表されることを言っているものである。

同様に、測度 μ を持つ測度空間 //E// 上の実数値ルベーグ可積分関数全体の成す集合は、線型結合について閉じていて線型空間を成し、ルベーグ積分をとる操作

はその線型空間上の線型汎関数、すなわち

を満たす。

より一般に、測度空間  上で定義され局所コンパクト位相体 //K// 上の局所コンパクト完備位相線型空間 //V// に値を持つ可測関数 //f//: //E// → //V// 全体の成すベクトル空間を考えるとき、各関数 //f// に対して //V// の元若しくは記号 ∞ を割り当てる写像

で線型結合と両立するものとして、抽象積分を定義することができる。この状況下で、積分が有限であるような関数全体の成す部分空間を考えても、線型性は保たれる。このような形で最も重要な特別な場合が生じるのは、//K// が実数体 R, 複素数体 C 若しくは //p//-進数体 Q//p// の有限次拡大かつ //V// が有限次元ベクトル空間であるときであり、また //K// = C かつ //V// が複素ヒルベルト空間であるときである。

線型性に、何らかの自然な連続性と、ある種の「単純な」関数のクラスに対する正規性とを併せて考えることにより、積分の別な定義法を与えることができる。このようなやり方をするものにダニエル積分があり、またブルバキにより局所コンパクト位相線型空間に値をとる関数にまで一般化されたものがある。積分の公理的な特徴づけについては Hildebrandt を参照されたい。

4.2. 積分不等式
----------

平均値の定理 被積分関数に対する積分の単調性 積分区間に対する積分の単調性

4.3. その他の性質
-----------

積分区間に対する加法性 置換積分法 部分積分法

4.4. いくつかの注意
------------

//a// < //b// ならば、//a// を下端、//b// を上端とするリーマン積分は区間 [//a//, //b//] の分割からさだまるリーマン和の極限として定義されるが、//a// > //b// のときは区間 [//a//, //b//] 自体が存在しないのでそのままではリーマン和も考えることができない。しかし規約として //a// > //b// のときは

あるいはもっと記号的に

であるものとすることがしばしば行われる。この規約の元では区間に対する加法性

は分点 γ が γ < //a//, //a// ≤ γ < //b//, //b// ≤ γ のいずれであるかに関わらず成立する。もっと一般に、向き付けられた //d//-次元多様体 //M// が与えられたとき、その向きを逆にして得られる多様体を //M//op とし、ω を微分 //d//-形式とすれば

が成り立つ。これに対し、ルベーグ積分の文脈では R の有限区間 //E// = [//a//, //b//] 上の積分

とは、//E// の指示関数 χ//E// における汎関数 //dx// の値であり、//b// < //a// ならば //E// は空集合で χ//E// が恒等的に 0 となるから積分値は 0 である。

5. 微分積分学の基本定理
-------------

微分積分学の基本定理は微分法と積分法が互いに逆の演算であることを述べるもので、連続関数を積分したものを微分すると、もとの関数に戻ることを示している。これにより、第二基本定理とも呼ばれる重要な帰結として、原始関数が既に知られている関数の定積分の計算はその原始関数を用いて計算できるようになる。

特に、これらの定理は //f// が [//a//, //b//] 上で連続である限り成立する。不連続関数や多変数関数への一般化は必ずしも正しくないが、一定の条件下では様々存在し、例えばストークスの定理などはそのようなものとして理解することができる。

5.1. 基本定理の主張
------------

第一基本定理: //f// を閉区間 [//a//, //b//] 上で定義された実数値可積分関数、//F// を [//a//, //b//] 上の各点 //x// に対してで定義される関数とすると、//F// は [//a//, //b//] 上連続である。さらに //f// が [//a//, //b//] 上の点 //x// で連続ならば //F// は //x// において可微分で、//F//′ = //f// が成立する。 第二基本定理: //f// を閉区間 [//a//, //b//] 上で定義される実数値可積分関数で、//F// が [//a//, //b//] の各点 //x// で //F//′ = //f// となる関数とすると、が成立する。

6. 一般化
------

6.1. 広義リーマン積分
-------------

無限区間における積分、無限大に発散する点を含む区間における積分など。極限により定まる。

これらの極限値が有限値に定まるとき、広義リーマン積分可能であるという。一方、広義リーマン積分可能でなくとも極限のとりかたを限定するとき極限値が有限確定に存在することがある。たとえば

はいわゆる −∞ + ∞ の形の不定形であり、ε1, ε2 の 0 への近づきかたにより値が異なるため、広義リーマン積分可能でない。しかしながら ε1 = −ε2 という特殊な場合には

となる。このように上下から同等の速さで特異点に近づける極限で現れる値をコーシーの主値という。

6.2. 重積分
--------

区間以外の積分領域を考えることもできる。一般に写像 //f// の集合 //E// 上でとった積分を

で表す。このとき、//x// として必ずしも実数でないほかの適当な量、例えば R3 のベクトルなどである場合を考えることができる。フビニの定理によれば、そのような積分が逐次積分として書けることが示される。すなわち、重積分は座標ごとに順番に積分して計算することができる。

一変数の正値関数の積分が関数のグラフと //x//-軸との間の領域の面積を表すのと同様に、二変数の正値関数 //f// の二重積分は関数の定義する曲面 //z// = //f// と関数の定義域を含む平面との間の領域の体積を表す。同じことはさらに変数の数を増やしても成立し、積分は高次元の超体積を表すことになるが、三次元より高次元の場合は視覚化は困難である。

例えば、辺長が 4 × 6 × 5 の直方体の体積は以下の二通りの方法で求めることができる。

直方体の底面である //xy//-平面上の領域 //D// 上で定数関数 //f// = 5 の二重積分は所期の直方体の体積を与える。例えば、直方体の底面矩形が //x//, //y// の不等式 2 ≤ //x// ≤ 6, 3 ≤ //y// ≤ 9 で与えられているならば、上の二重積分はのことと読み替えることができる。このあと、積分を //x// と //y// のいずれから先に計算すべきなのかであるが、この例では内側の積分、つまり //x// に対応する区間で //x// に関する積分を先に行う。内側の積分を //F// − //F// を計算する方法などで求めた後は、得られた結果を残りの変数に関して再び積分すれば、底面と上面に挟まれた領域の体積が求められる。
直方体自身の上で取った定数関数 1 の三重積分としても所期の体積が計算できる。

6.3. 線積分
--------

積分の概念はもっと一般の積分領域にも拡張することができる。例えば曲線や曲面を積分領域とする積分は、それぞれ線積分や面積分と呼ばれる。これらはベクトル場を扱うような物理学に応用を持つ。

線積分は曲線に沿って評価された関数の積分である。線積分にも様々なものがあり、特に閉曲線に関する線積分を周回積分などとも呼ぶ。

積分の対象となる関数はスカラー場であるかもしれないし、ベクトル場であるかもしれない。線積分の値というのは、曲線上の各点における場の値に曲線上の適当なスカラー関数を重みとして掛けたものの和である。この重み付けこそが、線積分と通常の区間上で定義される積分とを区別するものである。物理学における簡単な公式の多くは、線積分を用いることで自然に連続的な類似対応物に書き換えることができる。例えば、力学における仕事が力 F と移動距離 s との積

に等しいという事実から、電場や重力場のようなベクトル場 F 内の曲線に沿って動く物体に対して、その物体が場によって及ぼされる仕事の総計が、s から s + //d//s まで移動する間に受ける仕事を足し合わせると考えることにより、線積分

で求められる。

6.4. 面積分
--------

面積分は空間内の曲面の上で定義される定積分で、線積分の二次元的な類似物である。積分される関数はやはりスカラー場かもしれないしベクトル場かもしれない。面積分の値というのは、曲面上の各点における場の値の総和であり、曲面を面素に分割することによって得られるリーマン和の極限として構成される。

面積分の応用例としては、曲面 //S// 上のベクトル場 vが与えられているとき、//S// を通過する流体で //x// における流体の速度が v で与えられる状況を考えればよい。流束は単位時間当たりに //S// を通過する流体の量として定義される。流束を求めるためには、各点で v と単位法ベクトルとの点乗積をとる必要があり、その結果得られたスカラー場を曲面上で積分した

が流束の値を与える。この例における流体の流束は、水や空気の流束あるいは電束や磁束といった物理的なものを想定することができる。このように面積分は物理学、特に電磁気学の古典論に応用を持つ。

6.5. 微分形式の積分
------------

微分形式は多変数解析や微分幾何学およびテンソル論などの分野で用いられる数学的概念である。現代的な意味での微分形式は、その全体が外微分と楔積に関して外積代数を成すものとして理解される。

R//n// の開集合 Ω 上で定義される 0-形式とは単にΩ 上の滑らかな関数 //f// のことである。R//n// の //m//-次元の部分空間 //S// 上での //f// の積分を

のように書く。微分形式の文脈では、//dx//1 から //dx////n// までを、リーマン和のように積分についている符牒ではなく、それ自体を形式的な対象として扱う。すなわち、これらはそれぞれ余ベクトルとして捉えられ、「密度」を測るものと考えることができる。//dx//1, …,//dx////n// は基本 1-形式と呼ばれる。

微分形式に対する楔積 "∧" は双線型な「乗法」で、基本 1-形式に対する交代性

を満足するものである。線型性と結合性を用いれば、この交代性から //dx////b// ∧ //dx////a// = −//dx////a// ∧ //dx////b// が出ることに注意せよ。これはまた、楔積を取った結果が向きを持つことを保証するものでもある。

二つの基本 1-形式の楔積として得られる微分形式を基本 2-形式と呼び、同様に //dx////a// ∧ //dx////b// ∧ //dx////c// なる形で書ける微分形式を基本 3-形式と定める。以下同様に基本形式を定めるが、一般に //k//-形式とは基本 //k//-形式に滑らかな関数 //f// による重み付けを行った重み付き和をいう。すなわち、//k//-形式の全体は、基本 //k//-形式を基底ベクトルとするベクトル空間を成し、その係数体として 0-形式の全体がとれる。//k//-形式同士の楔積は、基本 //k//-形式の楔積を線型に拡張したものとして自然に定義できる。R//n// 上で、互いに線型独立な余ベクトルは高々 //n//-個しか取れないから、従って //k// > //n// のとき //k//-形式は常に 0 に等しいことが交代性から従う。

微分形式の演算には、楔積に加えて、外微分作用素 //d// もある。これは //k//-形式を -形式へ写す作用素で、R//n// 上の //k//-形式 ω = //f//   //dx//α への //d// の作用は、

で与えられる。一般の //k//-形式へはこれを線型に拡張する。

これをもう少し一般にしたやり方で、自然に座標を用いない多様体上の積分ができるようになり、また微分積分学の基本定理の自然な一般化としてストークスの定理と呼ばれる定理が得られる。ストークスの定理は、一般の //k//-形式 ω に対して

が成り立つことを主張するものである。ただし ∂Ω は ω の積分領域 Ω の境界である。ω が 0-形式で Ω が実数直線内の閉区間である場合が微分積分学の基本定理にあたる。また、ω が 1-形式で Ω が平面上の二次元の領域であるときがグリーンの定理であり、同様に 2-形式あるいは 3-形式とホッジ双対を考えてストークスの定理あるいは発散定理を得ることができる。このように微分形式は、積分を統一的に扱ための強力な方法を与えるものであることが分かる。

6.6. 総和法
--------

しばしば積分の離散版として総和を捉える事が行われる。たとえば無限個の数の相加平均を積分として「解釈」して定式化することができるし、ルベーグ積分の文脈では数え上げ測度に関する積分として実際に総和が現れる。

7. 脚注
-----

8. 参考文献
-------

ベルンハルト・リーマン、足立恒雄・杉浦光夫・長岡亮介訳『リーマン論文集』朝倉書店、2004年 ISBN 978-4-254-114607
猪狩惺『実解析入門』岩波書店
新井仁之『ルベーグ積分講義』日本評論社
last=Bourbaki. In particular chapters III and IV.
last=Fourier
Available in translation as
editor-last=Heath

last1=Stoer .
ビラン・ドゥ・アーン:「定積分表」、現代工学社。
Daniel Zwillinger:"Handbook of Integration",AK Peters,ISBN 0-86720-293-9 .
Daniel Zwillinger : "Standard Mathematical Tables and Formulae",CRC Press,ISBN　1-43983548-9 .
I. S. Gradshteyn and M. Ryzhik, edited by Daniel Zwillinger and Victor Moll: "Table of Integrals, Series, and Products" ,Academic Press、ISBN 978-0123849335 .

9. 関連項目
-------

微分法
不定積分
積分方程式
ガウス求積
積分器
置換積分
部分積分
対数積分
微分積分学
解析学
原始関数の一覧
三角関数の原始関数の一覧
逆三角関数の原始関数の一覧
対数関数の原始関数の一覧
積の微分法則
商の微分法則

10. 外部リンク
---------

[1] by Khan Academy

10.1. オンライン本
------------

Keisler, H. Jerome, [2], University of Wisconsin
Stroyan, K.D., [3], University of Iowa
Mauch, Sean, [4], CIT, an online textbook that includes a complete introduction to calculus
Crowell, Benjamin, [5], Fullerton College, an online textbook
Garrett, Paul, [6]
Hohenwarter, Markus; Schmidtpott, Sandra. //[7]//, Online-Lehrbuch und Aufgaben
Hussain, Faraz, [8], an online textbook
Kowalk, W.P., [9], University of Oldenburg. A new concept to an old problem. Online textbook
Rudolph, Dennis, [10], Online-Lehrbuch
Sloughter, Dan, [11], an introduction to calculus
[12] at //Holistic Numerical Methods Institute//
P.S. Wang, [13]  - a cookbook of definite integral techniques