エゴロフの定理
前の講で各点収束と一様収束があって、可測関数が単関数で近似できるっていうのは各点収束だよねーという話があった。そんでもって、一様収束のほうが強い。で、X上で一様収束していなくても、Xの部分集合Y上でなら一様収束しているよねという例も考えられて、その説明がP142に書いてある。
そうなってくると、関数列が各点収束していて、一様収束していないとき、一様収束している場所の測度はどうなっているんだろうか、と考えたくなってくるらしい。そんな疑問に答えを出してくれるのがエゴロフの定理というやつらしい。定理自体はこういうものであった。
有界な測度空間上で定義された可測関数列
がfに各点収束しているとする。この時、任意の正数
に対して次の性質を満たす可測集合
が存在する。
(i)
(ii)上で、
のとき
はfに一様収束する。
この定理がさっきの「関数列が各点収束していて、一様収束していないとき、一様収束している場所の測度はどうなっているんだろうか」という疑問に答えてくれていて、のもとでなら一様収束をしない場所はいくらでも小さい集合に収めることができるよ、と言っている。
証明の流れはまた後で追うことにしよう。
エゴロフの定理の効果
前の講で可測関数は単関数で近似できる、っていうのがあったんだけど、エゴロフの定理を使うとそれを積分に持ち込んだようなことができるようになる。とすると、前の講であった通り
という形で近似ができる。この収束に対してエゴロフの定理を使うと、任意の正数
に対して、ある可測集合Hが存在して、
で
上で
は一様にf(x)に収束している。このことから
が成立する。limを積分の外にまで出せるというところに注目。
んーっと、たぶんこれが成立するとどういうすごいことができるのかが今一分かってないなー。
積分の基本定理
エルゴフの定理はXの測度が有限であるとか色々制限があったんだけど、その制約を外したのがこの積分の基本定理と呼ばれるもの。f(x)を測度空間上の可測関数で、
を満たすものとする。単関数の増加列
によって、f(x)は
と表わされているとする。この時任意の
に対して
が成立する。
過去の記録
- 第二講 数直線上の長さ - yasuhisa's blog
- 第三講 直線上の完全加法性の様相 - yasuhisa's blog
- 第四講 ふつうの面積概念 - yasuhisa's blog
- 第五講 ルベーク外測度 - yasuhisa's blog
- ルベーグ積分とはなんぞや - yasuhisa's blog
- ボレル集合体とはなんぞや - yasuhisa's blog
- ボレル集合体に対してもうちょい深める - yasuhisa's blog
- 集合列の上極限と下極限 - yasuhisa's blog
- 積分の2歩手前くらい(上極限集合と下極限集合の続き) - yasuhisa's blog
- いろいろ(先生に質問したところとか) - yasuhisa's blog
- 第13講 可測集合の周辺 - yasuhisa's blog
- 第14講 測度論の光と影 - yasuhisa's blog
- 第15講 リーマン積分 - yasuhisa's blog
- 第16講 ルベーグ積分へ向けて - yasuhisa's blog
- 第6講 ルベーグ内測度 - yasuhisa's blog
- 第17講 可測関数 - yasuhisa's blog
- 第18講 可測関数の積分 - yasuhisa's blog
- 第10講 可測集合族 - yasuhisa's blog