1
大学数学基礎議論
文献あり

ルベーグ積分論 柴田良弘著での不明点について

847
2

はじめに

数弱が記すので間違っている議論をしている可能性があります.その際はご指摘頂ければ幸いです.

ルベーグ積分論 柴田良弘著での不明点について挙げていこうと思います.

定理4.2.10の証明箇所【解決済み】

4.2 非負関数に対するルベーグ積分におけるp.97の定理4.2.10の証明で理解が及ばなかった点を記そうと思います.

定理4.2.10の証明の中で下記の記述があります.

Ej:={xX|f(x)>1/j}とおくと, {xX|f(x)>0}=j=1Ejである.

0μ({xX|f(x)>0})j=1Nμ(Ej)

ここでわからないのが下記の箇所です.自分なりに考えてみたのですがわかりませんでした.

μ({xX|f(x)>0})j=1Nμ(Ej) (1)

以下, 自分なりに考えたことです.

測度の性質から

ABm(A)m(B)

つまり, 式(1)は下記を想定していそうです.

j=1EjE1E2EN

しかし, 下記のほうが直観的には正しそうです.

E1E2ENj=1Ej


子葉さんのご指摘で下記の誤植であると考えれば理解ができました.お時間を割いて下さりありがとうございます.この場を借りてお礼申し上げます.

Ej:={xX|f(x)>1/j}とおくと, {xX|f(x)>0}=j=1Ejである.

0μ({xX|f(x)>0})j=1μ(Ej)

ルベーグ積分論 柴田良弘著 p.25の定理2.1.4の劣加法性より明らか.

劣加法性
  • 任意の集合列E1,E2,,En,に対して

μ(n=1En)n=1μ(En)

定理4.2.10の誤植

定理4.2.10では下記のように定理が記載されていますが, 誤植と思われる個所があったので記載します.

定理4.2.10

fPL+(X)とする.Xfdx=0であるための必要十分条件は a.e.xXに対してf(x)=0である.

定理4.2.10

fPL+(X)とする.Xfdμ=0であるための必要十分条件は a.e.xXに対してf(x)=0である.

定理6.2.6 Hahnの分解定理の証明箇所【未解決】

p. 184の定理6.2.6 Hahnの分解定理で不明な点があったので備忘録として残します.

書籍では下記のような記述がありますが,証明が納得ができませんでした.特に赤字の部分がわかりませんでした.

一般性を失うことなくすべてのEMに対してF(E)<なることを仮定してよい. 実際, 定義6.2.1(ii)からもしあるEMに対してF(E)=であればすべてのGMに対し<F(G)であるのでFF.

ちなみに定義6.2.1は下記のように記載されています.

定義6.2.1 集合関数

F:MR=R{,}Σ上の集合関数であるとは

(i) F(ϕ)=0

(ii)Fは多くとも+,のいずれしかとらない

(iii){Ej}j=1Mの互いに交わらない集合列とするとき

F(j=1Ej)=j=1F(Ej)
が成立する.

定理6.2.6 Hahnの分解定理の証明箇所【未解決】

p. 185の定理6.2.6 Hahnの分解定理で不明な点があったので備忘録として残します.

書籍では下記のような記述がありますが,証明部分が納得ができませんでした.特に赤字の部分がわかりませんでした.

PjQjPjF

参考文献

[1]
ルベーグ積分論, 柴田良弘
投稿日:2021109
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

hdk105
hdk105
14
14878
計測・制御・情報に興味があります. 備忘録として残していきます.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 定理4.2.10の証明箇所【解決済み】
  3. 定理4.2.10の誤植
  4. 定理6.2.6 Hahnの分解定理の証明箇所【未解決】
  5. 定理6.2.6 Hahnの分解定理の証明箇所【未解決】
  6. 参考文献