大学数学基礎議論

文献あり

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

初心者,ルベーグ積分

847

はじめに

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

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

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

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

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

$E_{j} := {x \in X | f (x) > 1 / j}$ とおくと, ${x \in X | f (x) > 0} = ⋃_{j = 1}^{\infty} E_{j}$ である.

$0 \leq μ ({x \in X | f (x) > 0}) \leq \sum_{j = 1}^{N} μ (E_{j})$

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

$μ ({x \in X | f (x) > 0}) \leq \sum_{j = 1}^{N} μ (E_{j}) \dots (1)$

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

測度の性質から

$A \subset B ⟹ m (A) \leq m (B)$

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

$⋃_{j = 1}^{\infty} E_{j} \subset E_{1} \cup E_{2} \cup \dots \cup E_{N}$

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

$E_{1} \cup E_{2} \cup \dots \cup E_{N} \subset ⋃_{j = 1}^{\infty} E_{j}$

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

$E_{j} := {x \in X | f (x) > 1 / j}$ とおくと, ${x \in X | f (x) > 0} = ⋃_{j = 1}^{\infty} E_{j}$ である.

$0 \leq μ ({x \in X | f (x) > 0}) \leq \sum_{j = 1}^{\infty} μ (E_{j})$

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

劣加法性

任意の集合列 $E_{1}, E_{2}, \dots, E_{n}, \dots$ に対して

$μ (⋃_{n = 1}^{\infty} E_{n}) \leq \sum_{n = 1}^{\infty} μ (E_{n})$

定理4.2.10の誤植

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

定理4.2.10

$f \in P L^{+} (X)$ とする. $\int_{X} f d x = 0$ であるための必要十分条件は a.e. $x \in X$ に対して $f (x) = 0$ である.

定理4.2.10

$f \in P L^{+} (X)$ とする. $\int_{X} f d μ = 0$ であるための必要十分条件は a.e. $x \in X$ に対して $f (x) = 0$ である.

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

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

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

一般性を失うことなくすべての $E \in M$ に対して $F (E) < \infty$ なることを仮定してよい. 実際, 定義6.2.1(ii)からもしある $E \in M$ に対して $F (E) = \infty$ であればすべての $G \in M$ に対し $- \infty < F (G)$ であるので $F のかわりに - F を考えて証明すればよいからである .$

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

定義6.2.1 集合関数

$F : M \to \overset{―}{R} = R \cup {- \infty, \infty}$ が $Σ$ 上の集合関数であるとは

(i) $F (ϕ) = 0$

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

(iii) ${E_{j}}_{j = 1}^{\infty}$ を $M$ の互いに交わらない集合列とするとき

$F (⋃_{j = 1}^{\infty} E_{j}) = \sum_{j = 1}^{\infty} F (E_{j})$
が成立する.

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

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

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

$よって P_{j} のかわりに Q_{j} をとってはじめから P_{j} は F に対して正であると仮定してよい$

参考文献

[1]

ルベーグ積分論, 柴田良弘

投稿日：2021年10月9日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

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

投稿者

hdk105

14908

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

他の人のコメント

コメントはありません。

読み込み中

hdk105

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

はじめに
定理4.2.10の証明箇所【解決済み】
定理4.2.10の誤植
定理6.2.6 Hahnの分解定理の証明箇所【未解決】
定理6.2.6 Hahnの分解定理の証明箇所【未解決】
参考文献

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

はじめに

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

定理4.2.10の誤植

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

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

参考文献

この記事を高評価した人

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

投稿者

コメント

他の人のコメント

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