今日はとても寒く、秋らしい天気だ。一般に秋になると、「〇〇の秋」という言葉を聞くけれども、〇〇に好きな言葉を入れれば秋らしくなるので不思議である。
さて、趣味のTwitterを眺めていると、測度論がわからないというツイートを見た。私は一応測度論のTAをやっているので、今回は測度論をざっくりわかりやすくまとめることにした。測度論は解析系や統計系では必須の道具である。私は解析系の人間なので、今回はルベーグ積分の基本であるFubiniの定理や単調収束定理、ルベーグの収束定理、積分記号下での微分をゴールに解説をすることにした。
以下、この記事のメニューである。
【追記:2021年08月12日】
本記事は非常にあっさりした記事となっております.もう少しきちんと理解したい方は次の記事を参照してください:
watanabeckeiich.hatenablog.com
【追記ここまで】
0.測度論の心
測度論は一般に難しいと言われる。測度論の授業では抽象的な話がどうしても先行してしまうから、最初の数回の授業で挫折してしまうことが多いようだ(実際私はそうだった)。
しかし、ざっくりいってしまえば、測度論の試みは、集合の「サイズ」を測ることである。その「サイズ」の性質や、測り方を数学的に厳密に考えようというのが測度論である。 その測度論を基礎につくられたのがルベーグ積分である。
ルベーグ積分は、「へんてこな」関数も積分できるようになる、上手い積分である。ルベーグ積分を導入することによって、例えば2重積分の積分順序を変更する際、リーマン積分のときよりもチェックすべき条件が簡単になるというメリットがある。
要は測度論という難しい道具を導入することで、いろいろな問題が考えやすくなるということである。
1.測度の定義
ここでは測度の定義について扱う。測度とは集合の「サイズ」である。測度の定義の前に測る対象となる集合族の性質(完全加法族)を定める。これを定めておくことでいろいろな議論がスムーズにいく。完全加法族の定義を述べた後に測度や測度空間について定義して最後に測度の性質について述べる。
1-1.完全加法族
を のある部分集合からなる集合族とする。 が 上の完全加法族(- 加法族)とは次の二つの性質を満たすときをいう。
(1)
(2) の集合列 に対し .
1-2.測度
を の完全加法族とする。写像 [ ] が次の二つの条件を満たすとき を 上の測度という。
(1)
(2)互いに交わらない の集合列 に対し
が成り立つ。
1-3.測度空間
を集合、 を 上の完全加法族、 を 上の測度のとき、 を測度空間という。
また測度空間 が完備であるとは、 のとき任意の に対し かつ が成立するときをいう。
1-4.測度の性質
以下5つの測度の性質はある意味当たり前な結果であるが、これらは我々の通常の感覚が正しいことを保証する。
を測度空間とする。このとき(1)~(5)が成り立つ。
(1) が ならば
.
(2) かつ ならば である。これより特に である。また < または < のとき である。
(3) の集合列 に対して
.
(4) の集合列 が単調増加、すなわち ならば
.
(5) の集合列 が単調減少、すなわち でありかつ < ならば
.
2.ルベーグ積分の定義
ここではルベーグ積分の定義について扱う。高校までの積分はリーマン積分と呼ばれるもので、これは考える領域を短冊のように細かく「縦に」分割することで積分を定義した。一方でルベーグ積分は考える領域を玉ねぎのように「横に」スライスし、分割することで積分を定義する。つまり、ルベーグ積分では定義域ではなく値域を分割する。こうすることで、例えば、定義域が 有理数全体 のような「変な」関数もきちんと積分できるようになる。
本来ならルベーグ積分に入る前に、外測度やルベーグ測度や可測関数などについていろいろ学習しないといけないが、あんまり気にしなくても先程述べた測度の性質さえわかっていればなんとかなるので、ここでは省略する。
2-1.特性関数
集合 に対し
と定義する。このとき を の特性関数という。
2-2.階段関数
を 上ルベーグ可測集合とする。正の実数 と に対して
なる関数 を階段関数という。
(注) 上ルベーグ可測集合とは、 上で集合で「ちゃんと」測度が定まる、つまり、領域のサイズがきちんと決まるような領域と考えて大丈夫。
2-3.ルベーグ積分の定義
と定義する。ただし、 かつ は のルベーグ測度(= の体積)である。
上で定義された実数値関数 が を満たすとする。 に対しある階段関数の列 で なるものが存在するとき、 を非負のルベーグ可測関数という。このとき のルベーグ積分を
で定義する。
正負両方の値をとる に関しては とおき、 がルベーグ可測関数のとき、 はルベーグ可測関数という。 であり、
<
が複素数値関数である場合を考える。 の実部、虚部をそれぞれ とすると、
である。 がルベーグ可測関数であるとき はルベーグ可測関数といい、 がルベーグ可積分であるとき はルベーグ可積分という。このとき のルベーグ積分を
と定義する。
2-4.リーマン積分とルベーグ積分との関係
と の両方が(広義積分も含めて)リーマン積分可能であるならば はルベーグ積分可能でありかつ両積分値は一致する。
つまり と の両方が(広義積分も含めて)リーマン積分可能であることさえチェックできれば、リーマン積分はルベーグ積分とみなすことができ、3節に挙げる重要な定理を用いることができる。
ここで注意すべきことはルベーグ積分可能ならばリーマン積分可能であるとは限らないことである。
2-5.almost everywhere
集合 の元が高々可算個しかない場合、 の測度を とし、測度が0であるような集合を零集合という。
ある性質 がルベーグ可測集合 のほとんどいたるところで成立するとは、ある性質 が成立しないような の点の集合が零集合のときをいい、 である性質 が成立するという。
例えば、 が で成立するとは、 とおくとき、 が成立するときをいう。このとき
と書く。
3.重要な定理
ここではよく用いる定理を紹介する。それぞれの定理の証明は大変難しいのでここでは省略する。気になる人は柴田良弘著『ルベーグ積分論』を参照してほしい。ルベーグ積分を勉強するなら和書の中ではこの本が一番。洋書だと Gerald B.Folland 著『Real Analysis』か Elias M.Stein, Rami Shakarchi 著『Real Analysis』のどちらかがおすすめ。個人的には後者の方が読みやすいと思う。
3-1.ルベーグの収束定理
をルベーグ可測集合とする。 上で定義されたルベーグ積分可能な関数列 が
<
なるものが存在する。
(2)
を満たす。
が成り立つ。
3-2.単調収束定理
非負のルベーグ可測関数列 が単調増加列、すなわち、 がルベーグ可測かつ とする。また とおく。このとき は非負のルベーグ可測関数かつ
が成り立つ。
3-3.積分記号下での微分
かつ はルベーグ可測集合とする。関数 を とする。さらに各 に対し は の関数として 上ルベーグ積分可能であり、各 に対し は 上の関数として 上微分可能であるとする。また、 上で定義されたルベーグ積分可能関数 ですべての に対し
が成立するとする。このとき は で偏微分可能で、
が成り立つ。
3-4.Fubiniの定理
を 上ルベーグ可測集合、 を 上ルベーグ可測集合とする。 は 上で定義された関数とする。 が 上ルベーグ積分可能ならば
4.終わりに
測度論の講義はFubiniの定理などの重要な定理の紹介や使い方の説明で終わることが多い。Fubiniの定理の後に続く発展的な事項としてはRadon-Nikodymの定理が挙げられる。さらに解析系ならLebesgue空間やSobolev空間の理論やBochner積分、統計系なら確率論等が挙げられるが、それらはどの分野を専門にするかによって必要であったり必要でなかったりするので、何を勉強すればいいかは指導教員から指示があると思う。
最後に測度論、Lebesgue積分の参考になる本やサイトなどを挙げておく。また、私が学部4年の前期にLebesgue空間についてノート(PDF)があるのでほしい方は連絡ください。(2017年09月01日追記:PCをかえたら文字化けしてしまいました。よってPDFを渡すことができません。もし、何か聞きたいことがあったら遠慮なくコメント欄にコメントをください)
《 参考書 》
私の指導教員である柴田先生の本。ほとんどいたるところ行間がない(行間がないということはそれだけ悩まずに読み進めることができる)。様々なことがかなり詳しく書いてある。特に本の後半は実解析を意識して書かれている。ところどころ誤植があるが、先生のホームページに訂正や補足についてのPDFが置いてある。
・『解析入門(6)』松坂和夫著
解析入門〈6〉 重積分/重積分の変数変換/微分形式とその積分/ルベーグ積分 (岩波オンデマンドブックス)
- 作者: 松坂和夫
- 出版社/メーカー: 岩波書店
- 発売日: 2016/07/12
- メディア: オンデマンド (ペーパーバック)
- この商品を含むブログを見る
定期試験前にざっと勉強したい人はこの本のルベーグ積分の章を勉強するのがいいと思う。薄いながらきっちり説明、証明が書いてある(ただし証明が大変な定理の証明は省略されている)。柴田著の『ルベーグ積分論』がハードだと感じる人はこの本がおすすめ。
・『物理・工学のためのルベーグ積分入門』松浦武信,高橋宣明,吉田正広著
少し古い本だけれども、大学の図書館にはあるはず。この本はルベーグ積分とは何か、ということを「ざっくり」わかりやすく語り口調で書かれている。前提とする知識が少ないので、学部1年でも読むことはできると思う。ただし、「ざっくり」とした説明なので、ちゃんと勉強したい人には向いていない。
最近出版された本。早くわかりそうに見えて実は結構難しい。特に証明はクセがあって私は読みにくかった。ただし証明の部分を読み飛ばせばわかりやすくまとまっているので、とりあえず結果だけ網羅したい人はこの本がおすすめ。薄い本の割には中身が濃い。
・"Real Analysis: Measure Theory, Integration, And Hilbert Spaces" Elias M.
Real Analysis: Measure Theory, Integration, And Hilbert Spaces (Princeton Lectures in Analysis)
- 作者: Elias M.
Stein,Rami Shakarchi - 出版社/メーカー: Princeton Univ Pr
- 発売日: 2005/03/14
- メディア: ハードカバー
- この商品を含むブログを見る
具体例が多くわかりやすい。洋書が苦でなければこの本で勉強するのがいいと思う。特に図が豊富である。柴田著の『ルベーグ積分論』と同様に実解析を意識した構成になっている。柴田著の『ルベーグ積分論』が Fourier Multiplier の理論をゴールとしているのに対して、この本はHilbert 空間の理論をゴールとしている。前提とする知識は少ないので、「超」意識高い学部1年とか2年はこの本にチャレンジしてもいいと思う。
・"Real Analysis: Modern Techniques and Their Applications" Gerald B. Folland 著
はっきりいって難しいが、どんな定理にもちゃんと証明がついている。特にルベーグ積分の極座標変換についてきちんと証明が書かれた本はこれだけだと思う。とはいえ、勉強する用の本ではないので、吉田耕作著の "Functional Analysis" と同様に、いざというときの辞書でいいと思う。
ちなみに、有名な伊藤清三著の『ルベーグ積分入門』、高木貞治著の『解析概論』はわかりにくいのでおすすめしません。
《 ウェブサイト 》
インターネットには測度論のPDFがいろいろ落ちているが中でも慶應大の服部先生のものが一番詳しくわかりやすいのでおすすめである。特に院試の問題についての問題、解答もアップされているのは大変ありがたい。
http://web.econ.keio.ac.jp/staff/hattori/kaiseki1.pdf
・大学院入試問題と解答
最後まで読んでいただき、ありがとうございました。では。