More than 3 years have passed since last update.

ルベーグ積分の自分用メモ

Posted at 2021-07-20

これは何

$X$の部分集合族$\mathfrak{R}$で、集合の和と差を取る演算について閉じているようなものを$X$上の集合環という
$\mathfrak{R}$が加算和について閉じているなら$\sigma$環という
$\mathfrak{R}$が$X$上の集合環（$\sigma$集合環）で、$X \in \mathfrak{R}$なら$X$を集合体（$\sigma$集合体）という

$\mathfrak{R}$を$X$の部分集合族とするとき、$A \in \mathfrak{R}$に$\mathbb{R} \cup \lbrace \pm \infty \rbrace$を対応させる写像$\varphi$を集合関数という
$\varphi(A)$が有限の場合$\varphi$は有限、$\varphi(A)$が非負の場合$\varphi$を非負という
$A, B \in \mathfrak{R}, A \cap B = \Phi$とするとき $\varphi(A \cup B) = \varphi(A) + \varphi(B)$となるとき、$\varphi$は加法的という
$\varphi$が加算個の交わらない集合族$(A_n)$に関して$\varphi \left( \cup_{n=1}^{\infty} A_n \right) = \sum_{n=1}^{\infty}\varphi(A_n)$となるとき、$\varphi$は$\sigma$加法的という

$\mathbb{R}^p$の開区間、閉区間の有限個の和集合として表される集合を初等集合という
初等集合全体の集合$\mathscr{O}$は1つの集合環をなす
$\mathbb{R}^p$の閉区間$I= [a_1, b_1] \times \cdots \times [a_p, b_p]$に対して$m(I) = \prod_{i=1}^{p} (b_i - a_i)$と定義すると、$m$は有限、非負、加法的

初等集合の集合環$\mathscr{O}$上の非負、有限、加法的な集合関数$\mu$が次の条件を満たす時、正則な加法的関数という
- 任意の$A \in \mathscr{O}$、任意の$\epsilon > 0$に対し、$F \in \mathscr{O}, G \in \mathscr{O}, F \subset A \subset G$かつ$\mu(G) - \epsilon \lt \mu(A) \lt \mu(F) + \epsilon$を満たす閉集合$F$、開集合$G$が存在する
$\mathscr{O}$に属する開集合、閉集合を初等開集合、初等閉集合という
$E \subset \mathbb{R}^p$に対し、$(A_n)$が初等開集合の列で$E \subset \cup_{n=1}^{\infty} A_n$となるとき、$(A_n)$を初等加算開被覆という
$E \subset \mathbb{R}^p$、$(A_n)$を$E$の初等可算開被覆、$\mu$を正則な加法的関数とする時、下記を$E$の外測度と定義する
- $\mu^*(E) = \inf \left\lbrace \sum_{n=1}^{\infty} \mu(A_n) \mid E \subset \cup_{n=1}^{\infty} A_n\right\rbrace $
正則な加法的関数というのは、初等集合専用の面積のようなもの
外測度というのは、一般の集合の面積を初等集合の面積で外側から近似したもの
- このままだと外側度は$\sigma$可算的ではないので、そうするためにもう一捻り必要

$\mu$可測集合全体の集合を$\mathfrak{M}(\mu)$で表す
$\mathfrak{M}(\mu)$は$\mathbb{R}^p$上の$\sigma$環であり、$\mu^*$は$\mathfrak{M}(\mu)$上で$\sigma$加法的

$X$を任意の集合、$\mathcal{A}$を$X$の任意の部分集合族とするとき、$\mathcal{A}$を含む$X$上の最小の$\sigma$環が存在する
- これを$\mathcal{A}$で生成される$\sigma環$と呼ぶ
$\mathbb{R}^p$の開集合全体の集合を$\mathcal{O}$とし、$\mathcal{O}$で生成される$\sigma$環$\mathcal{B}$をボレル集合族という
加算個の開集合の共通部分と加算個の閉集合の和集合はそれぞれボレル集合になる
- 前者を$G_{\delta}$集合、後者を$F_{\sigma}$集合という
任意のボレル集合は$\mu$可測である

$X$を一つの集合、$\mathfrak{R}$を$X$上の$\sigma$環があるとき、$(X, \mathfrak{R})$を可測空間という
- $\mathfrak{R}$に属する集合を可測集合、$X$を台集合という
$(X, \mathfrak{R})$上の非負かつ$\sigma$加法的な集合関数$\mu$が与えられた時、$(X, \mathfrak{R}, \mu)$を測度空間という
- $\mu$を測度という

$A$を可測集合とし、$f$を$A$上の実数値関数とするとき、$A(f(x)>a) := \lbrace x \in A \mid f(x) > a \rbrace$が可測なら、$f$は$A$上で可測であるという
$f$, $g$を$A$上で可測な関数とすると、その和と積も可測である

$lim_{n \to \infty}f_n(x) = f(x)$で$|f_n(x) \leq \varphi(x)|$となる積分可能な非負関数$\varphi$があるとき、$lim_{n \to \infty} \int_A f_n(x) d\mu = \int_A f(x) d\mu = $