ドジソンの本棚

上の『大学数学』から数学記事検索が簡単にできます

ドジソンの本棚

本サイトはプロモーションを含みます

ルベーグ積分(測度)勉強メモ:有限加法性の証明

ルベーグ積分(測度)勉強メモ:有限加法性の証明~

f:id:Dodgson:20210117223343j:plain
どうも、ドジソンさんです。
今回は『有限加法性の証明』について。

 

※勉強したことの復習のついでに自分なりにまとめたものを載せときます。

当然ですが、無断転載は厳禁で。

勉強の際に参考にするのはご自由に。

 お勧めの本↓

間違い、ご指摘などがあれば(https://twitter.com/Dodgson_007)のDMにご連絡ください。

~~

Def

・任意のA∈Fに対して 0≦f(A)≦∞、また f(∅)=0(…①)

がある。

この時、 A_1,…A_n∈F , A_j ∩ A_k = ∅ (j≠k)、つまり非交差であるならば、

 f(\sum_{i=1}^n A_i)=\sum_{i=1}^n f(A_i)\

が成り立つ。

 

この証明。

 f(\sum_{n=1}^{∞}A_i)=\sum_{n=1}^{∞}f(A_i)\で、

任意の  n\ltmに対して A_m=∅とすると、 f(∅)=0(…①)より、

f(\sum_{i=1}^{n}A_i)+0=\sum_{i=1}^{n}f(A_i)+0\となるので、

f(\sum_{i=1}^{n}A_i)=\sum_{i=1}^{n}f(A_i)\

でいいだろう。

 

”有限”というのが着眼点か。

さて、次は単調性の証明でもしてみます(気が向いたら)。

余談。今回初めて数式のため、Tex記法を用いた。

慣れるまで数時間かかったんですね、ハイ

それでは、また。

 

 

 


Twitterやってます、フォローお願いします(https://twitter.com/Dodgson_007
・ブログで間違い箇所があれば、TwitterのDMで教えてください。