http://www.freeassociations.org/
晩年のパーソンズによるルーマン批判 : 関本洋司のブログより
http://yojiseki.exblog.jp/6653410/数学において関数の積分はその関数と x 軸の間の図形の面積とみなすことができる。ルベーグ積分(ルベーグせきぶん、Lebesgue integral)とは、より広い種類の関数が積分できるように拡張したものである。ルベーグ積分においては、被積分関数は連続である必要はなく、至るところ不連続でもよいし、関数値として無限大をとることがあってもよい。さらに、関数の定義域も拡張され、測度空間と呼ばれる空間で定義された関数を被積分関数とすることもできる。
このような積分の拡張が必要となった背景には、フーリエ級数などの関数列の極限として表される関数に対して、積分と極限操作が可換となるかどうかをリーマン積分で考えるために非常に繊細な議論が必要だったということがある。この点について、ルベーグ積分では、関数列の極限が被積分関数として適当かどうかを考える必要がなく、積分と極限操作の交換も簡単な十分条件が分かっている。
ルベーグ積分の名前は、数学者のアンリ・ルベーグ(Henri Lebesgue、1875年 - 1941年)に由来している。
積分を厳密なものにしようという動きは、19世紀に始まる。ベルンハルト・リーマンが提案したリーマン積分は大きな前進であった。リーマンは関数の積分を「簡単に計算できる積分」で近似することによって定義した。この定義による積分は、それまで解答が知られていた問題に対して予想通りの結果をもたらしたし、他の問題に対しても新しい結果を与えることになった。
しかし、リーマン積分は関数列の極限との相性が悪く、そのような極限と積分が同時にあらわれるような局面では困難な解析を必要とする場合があった。それに対して、ルベーグ積分においては、積分記号のもとでの極限がより扱いやすくなっている。ルベーグ積分では、リーマンとは異なる形の「簡単に計算できる積分」を考えており、このことがルベーグ積分がリーマン積分よりよく振舞う理由となっている。さらに、ルベーグ積分ではリーマン積分より広い種類の関数に対して積分を定義することが可能になっている。例えば、無理数で 0 を有理数で 1 をとる関数(ディリクレの関数)はリーマン積分では積分が定義されないが、ルベーグ積分では積分できる。
以下ルベーグ積分のよく知られた構成法を示す。この方法は二つの章に分けられる。
この二つの章の内容は、直感的には円柱や三角柱の体積を計算する前に底面積を計算し、ついで、高さをかけるという作業に似ている。すべての平面図形の面積を定義するのが最初の章であり、その図形を底面とする複雑な立体の体積を計算するのが第二の章である。
当初、測度論は線分、平面図形、立体などの長さ、面積、体積などの精密な解析のために考え出されたものである。特に 実数全体の集合R の部分集合について、その部分集合の長さとは何か、という問いに対して整然とした解答を与えるものであった。 集合論の発展によって、自然な加法性を持ち、平行移動不変になるように、実数体R のすべての部分集合に長さを定義することが不可能であることがわかった。このことにより、可測集合と呼ばれる種類の部分集合にのみ長さを定義する必要が生まれた。
当然であるが、リーマン積分においても長さというものを暗黙に使用している。そうではあるが、実際のところは、リーマン積分では長方形 [a, b] × [c, d] の面積が (b - a)(d - c) で計算できることだけを基礎としている。リーマン積分は積分を近似するための「簡単に計算できる積分」として、このような長方形を並べたものだけを使っており、測度に関するより深い議論を必要としなかったのである。
現代では測度と積分は公理的に定義される。測度というのは、集合 X の適当な条件を満たす部分集合の族 Σ 上で定義された適当な条件を満たす関数 μ であれば何でもよく、X がユークリッド空間であったり、Σ の元が面積を計算したい図形であったりする必要はないし、μ の値が面積とかけ離れたものでもよい。そこで、ユークリッド空間の図形の面積を与える測度は特別にルベーグ測度という名前がついている。測度が満たすべき適当な条件については測度論を参照されたい。
測度空間として (X, M, μ) が与えられたとする。例えば、X としてユークリッド空間、M をルベーグ可測集合全体、μ としてルベーグ測度などが考えられる。確率論においては測度空間としてμ(X)=1であるような測度空間(確率空間)を使う。
ルベーグ積分において、被積分関数になる関数は可測関数と呼ばれる関数である。X上で定義された実数または±∞に値をとる関数 f が可測関数あるいはM-可測関数であるとは、任意の実数aについて(a,+∞]=(a,+∞)∪{+∞}のfによる逆像がMに属すること:
が成り立つことである。複素数値関数は、その実部と虚部が共に可測関数のとき、可測関数あるいはM-可測関数であるという。このように関数の可測性を定めれば、可測関数の全体からなる集合は代数的な操作(和、差、積、商、実数倍または複素数倍)に関して閉じていることが分かる。可測関数の全体の集合は、実数体または複素数体の上の線型空間を成すことも分かる。また、完全加法族Mの性質から、R∪{+∞,-∞}の全ての部分集合Iの可測関数fによる逆像f-1(I)もMに属することも分かる。重要なことは、多くの関数列の極限に関して閉じていることである。例えば、可測関数の列 fk に対して
で与えられる関数もまた可測関数になる。従って、可測関数列が各点収束していれば極限関数もまた可測関数である。
可測関数 f に対して、そのX上での測度μについての積分
を以下の手順で構成する。
以上の準備を基に、実数値可測関数 f がルベーグ可積分であるとは
を充たす事である。このときfのμによる積分を
によって定める。
複素数値可測関数の積分は、その実部uと虚部vがルベーグ可積分であるならば、u,vの積分をα,βとするとき、α+iβで定義される。
可測集合E⊆Xでのfのルベーグ積分はf1EのX上での積分として定義される。
積分の定義方法の違いを直感的に理解できるように、山の(海抜より上の部分の)体積を計算する例を考えよう。この山の境界ははっきりと定まっているとする(これが積分範囲である)。
有理数体 Q の定義関数 1Q(ディリクレの関数)を考える。この関数は至るところ不連続である。
ルベーグ積分においては零集合の上でのみ異なる値をとる関数を区別しない。 正確に言うと、関数 f と g がほとんど至るところ等しいとは
をみたすことであり、
とも書く。
ルベーグ積分は以下の性質を持っている。
線型性: 可積分関数 f、g と実数 a、b に対して、af + bg も可積分になり
単調性: 0≤f≤g ならば
単調収束定理: {fk}k∈N を非負値可測関数の増大列とする。つまり
このとき
が成立する。
注意: 左辺または右辺の一方が正の無限大に発散すれば、もう一方の辺も同様である。
ファトゥーの補題: {fk}k∈N を非負値可測関数の列とする。このとき
が成立する。
この定理においては左辺が正の無限大に発散すれば、右辺も正の無限大に発散する。
ルベーグの収束定理: {fk}k∈N を可測関数の列で f に概収束するとし、可積分関数 g によって、 任意の k に対して|fk| ≤ g a.e.と上下から押さえられているとする。このとき、極限関数f も可積分であり
が成立する。
可測関数についての分布関数の広義リーマン積分によってルベーグ積分を定義することもある。
(X,Σ,μ)を測度空間、E∈Σとするとき、任意のt≧0と非負値Σ-可測関数fに対して、Eの点で, そこでの値>tなる点全体の集合の測度をfの分布関数L(t)=μ({x∈E : f(x)>t})といい、その無限区間[0,+∞)での広義リーマン積分(=I とする)を、非負値Σ-可測関数fの可測集合E上でのルベーグ積分という。即ち、
.
f(x)が有界(∃M≧0,∀x∈E, |f(x)|≦M)であるとき、t≧Mならば、L(t)=0である。このとき、fの本質的上限(essential supremum)ess sup(f)=inf{t∈R : L(t)=0}=mとすれば、定義式の広義リーマン積分は有界な閉区間[0,m]上でのL(t)のリーマン積分に等しくなる:
.
これはリーマン積分の積分区間についての加法性などから分かる。
fが有界ならばこの積分 I は必ず存在する。fが有界でない場合や、或る t に対してL(t)=+∞である場合にも、+∞も値として許せば、 I は必ず存在する。非負値Σ-可測関数の積分から、上記と全く同様に実数値Σ-可測関数と複素数値Σ-可測関数の積分も定義される。
この積分 I が有限値(I <+∞)であるとき、fはE上でルベーグ可積分またはルベーグ積分可能であるという。
この定義によるルベーグ積分に於いても、上記と同じ性質、例えば線型性や単調性、単調収束定理、ファトゥの補題、ルベーグの収束定理などが成り立つ。
測度論を全く使わない方法としては、リーマン積分はコンパクトな台を持つ任意の連続関数に対して定まっているので、関数解析の手法を用いることでより一般の関数にこの積分を拡張する方法がある。Cc を R 上定義された実数値関数でコンパクトな台を持つもの全体とする。ノルムをリーマン積分を用いて
により定める。
これにより Cc は線形ノルム空間となる。距離空間の完備化(Hausdorff completions)によって完備な空間に拡張したものを L1 とする。この空間はルベーグ可積分な関数からなる空間と(ほとんど至るところ等しい関数は同一視したとして)同型となる。さらに、リーマン積分は Cc 上の連続な線形汎関数であり、Cc は L1 の稠密な部分空間であるから、L1 上の線形汎関数にただ一通りに拡張できる。 この拡張は、ルベーグ積分と一致する。
この方法の問題点は可測関数を完備化により抽象的に得られた空間の点として定めていることであり、この抽象的な点を関数として表現する方法が自明ではないことである。とりわけ、関数列の各点収束と積分との関係を示すことは非常に難しい。This approach can be generalised to build the theory of integration with respect to Radon measures on locally compact spaces. It is the approach adopted by Bourbaki (2004); for more details see Radon measures on locally compact spaces.
ディリクレの関数(ディリクレの-かんすう)とは、実数全体の成す集合 R上で定義される次のような関数のことである。
ただし、Q は有理数全体の成す集合である。 式から分かるように、この関数はいたるところで不連続である。さらに、
が成り立つから、(sup∫ を上積分、inf∫ を下積分という)ディリクレの関数はリーマン積分不可能であることが分かる。(ルベーグ積分は可能で、その値は 0 である。これは、可算無限集合である Q はルベーグ測度に関して零集合であることによる)
____
数学の実解析の分野において、リーマン積分(リーマンせきぶん、英:Riemann integral)とは、区間上の関数の積分の最初の厳密な定式化であり、ベルンハルト・リーマンによって創始された[1]。多くの関数や実際的な応用に対しては、リーマン積分は微分積分学の基本定理による計算や数値積分による近似計算が可能である。
リーマン積分は Rn の有界集合上の関数に対して定義されるが、積分範囲にある種の極限を考えることにより、広義リーマン積分が定義される。広義リーマン積分との対比で、通常のリーマン積分を狭義リーマン積分とも呼ぶ。
リーマン積分は積分の多くの性質を示すのに有効であるが、積分と極限との交換に関係する性質を示すには理論的困難を伴うなど、いくつかの技術的欠点がある。この為こうした欠点を補うべくリーマン=スティルチェス積分やルベーグ積分など積分概念の別の定式化方法も提案されている。
同じ海の体積でも
海の深さから測るのと(ルベーグ)
海の広さから測るのと(リーマン)
道具を使い分けましょう、ということ
________________
/|・・・・・・・・・・・・・・・/|
/・|・・・・・・・・・・・・・・/・|
/・・|・・・・・・・・・・・・・/・・|
/___|___________ /・・・|
|・・・・|・⇩・・・・・・・・・|・⇩・・|
|・・・・|・・・・・・・・・・・|・・・・|
|・・・・|・・・・・・⇩・・・・|・・・・|
|・・・⇩|・・・・・・・・・・・|・・・・|
|・・・・|___________|____|
|・・・/|(・・)・・・・・・・|(・)/|
|・・/・|・・・・・(・・)・・|・・/ |
|・/(・)・・・・・・・・・・・|・/ |
|/___|___________|/・ |
| | ・ | |
| | ・ ・ | ・ |
| ・| ・ | |
| | ・ | |
1| ・| ・ | |
| | | ・ |
| |_/\___/\___|____|y
| / / \ / \ |/\ /
| /・ \__// \ |--/
| / /\ \____/ | / 1
|/__--___________|/
________________
/|・・・・・・・・・・・・・・・/|
/・|・・・・・・・・・・・・・・/・|
/・・|・・・・・・・・・・・・・/・・|
/___|___________ /・・・|
|・・・・|・・・・・・・・・・・|・・・・|
|・・・・|・・・・・・・・・・・|・・・・|
|・・・・|・・・・・・・・・・・|・・・・|
|・・・・|・・・・・・・・・・・|・・・・|
|・・・・|___________|____|
|・・・/|・・・・・・・・・・・|(・)/|
|・・/・|・・・・・(・・)・・|・・/ |
|・/・・|・・・・・・・・・・・|・/ |
|/___|___________|/・ |
| | | |
| | ・ | ・ |
| | ・ | |
| | | |
| | ・ | |
| | | ・ |
| |______/\___|____|
| / / \ |/\ /
| / / \ |--/
| / \____/ | /
|/_______________|/