解析概論/第9章/I

I．概括論

105．集合算

我々の目標は Euclid 空間の点集合にあるのだけれども，本節（§105-112）の概括論においては，まず抽象的に任意の集合を考察する．任意といっても，一つの集合 $\Omega$ を取って，それの部分集合のみを考察の対象とする．

以下，集合 $\Omega$ と，その元 $x$ とを，一つの空間 ($\Omega$) と，その空間の点 ($x$) とに当てはめて考えるならば，わかりよいだろう．もっとも，$\Omega$ をただちに一つの（抽象的）空間，$x$ をその空間の点と称することに，何等の差し障りもない．

$x$ が集合 $A$ の元であることを $x \in A$ と書く．$x \in A$ の否定を $x \notin A$ と書く．

$A$ が $B$ の部分集合なること（$x \in A$ ならば $x \in B$）を $A \subset B$ と書き，$A$ は $B$ に含まれるという．$A \subset B$ かつ $B \subset A$ のとき，集合 $A$ と $B$ とは相等しいという：記号 $A = B$．従って $A = B$ なる場合にも $A \subset B$ である．

合併（和）

集合 $A, B, \ldots$ のどれかに属する元の全部をもって，一つの集合を作ることができる．それを $A, B, \ldots$ の合併といい，$A \cup B \cup \cdots$ と書く．集合の合併は交換律および結合律に従う．

集合が有限個または可算個あるときには，それらに番号をつけて $A_n (n=1,2,\dots)$ と書いて，その全体を集合の列 $\{ A_n\}$ という．この列の集合の合併を $\textstyle \bigcup_{n=1}^{\infty}A_n$（あるいは略して $\textstyle \bigcup A_n$）と書くが，番号のつけ方は随意である．なかんずく，重要なのは $A_i, A_j (i \neq j)$ に共通の元がない場合で，そのとき $\{ A_n\}$ を単純列，またその合併を単純和と省略して，特に記号 $\textstyle +, \sum$ を用いる．

共通部分（積）

集合 $A, B, \ldots$ のどれにも属する元の全部をもって，一つの集合を作ることができる．それを $A, B, \ldots$ の共通部分または交わりといい，$A \cap B \cap \cdots$（または積の形に $AB\cdots$）と書く．集合列 $\{ A_n\}$ の場合には $\textstyle\bigcap_{n=1}^{\infty}A_n$ と書く．$A,B$ に共通の元がないときは，交わりはないが，陳述の便宜上，交わりは空集合であるといい，数字 $0$ を流用して，それを $0$ と書く．集合の積に関しても，交換律および結合律が成り立つ．

余集合

集合 $A$ に属しない$\Omega$ の元全体は一つの集合を成す．それを $A$ の余集合といい，それを $\mathrm{C}A$ と書くのが慣例であるが，本書ではおりおり簡明に $A'$ とも書く．

$\Omega$ の各元 $x$ は，$A$ か $A'$ か，どちらか一方に属する．すなわち $x \notin A$ は $x \in A'$ と同値である．もちろん，$(A')' = A$．

次の互に双対的なる二つの等式は明白であろう．

(1)

$(A \cup B)' = A' \cap B',\quad(A \cap B)' = A' \cup B'.$

無数の集合に関しても同様である．特に集合列に関しては

(2)

$\left(\bigcup A_n\right)' = \bigcap A'_n,\quad \left(\bigcap A_n\right)' = \bigcup A'_n.$

実際，$\textstyle x \in \bigcup A_n$ ならば或る $n$ に関して $x \in A_n$．故に $\textstyle x \in (\bigcup A_n)'$ はすべての $n$ に関して $x \notin A_n$ すなわち $x \in A'_n$ を意味する．従って $\textstyle x \in \bigcap A'_n$ を意味する．すなわち $\textstyle \bigcup A_n$ と $\textstyle \bigcup A'_n$ とは互に余集合である．$A_n$ に $A'_n$ を代用すれば，第二の等式を得る．

ファイル:図

集合の差

集合 $A$ に属して，$B$ に属しない元の全体を $A-B$ と書く．従って

(3)

$A-B = A-AB = AB' = B'-A',$

$B-A = B-AB = BA' = A'-B',$

$A \cup B = (A-B)+(B-A)+AB.$

最後の等式の右辺は単純和である．

$A \supset B$ なるときは，$A-B$ を $A$ に対する$B$ の余集合という．$A,B$ が $K$ に含まれるとき，$K$ に対する $A,B$ の余集合に関しても(1)は成り立つ（$\Omega$ に $K$ を代用してもよいから）．

分配律

集合の和と積との間には，互に双対的なる二つの分配律が成り立つ．すなわち

(4)

$\left. \begin{align} (A \cup B) \cap C = (A \cap C) \cup (B \cap C), \\ (A \cap B) \cup C = (A \cup C) \cap (B \cup C). \end{align} \right\}$

これらは合併および共通部分の意味から，(2)のようにして導かれる．また(2)を適用して，一方の等式の両辺の余集合を作れば，他の等式が得られる．ファイル:図

集合列に関しても分配律は成り立つ．すなわち

$\begin{align} \bigcap_i\bigg(\bigcup_j A_j^{(i)}\bigg) =\bigcup(A_{j_1}^{(1)}\cap A_{j_2}^{(2)}\cap A_{j_3}^{(3)}\cap\cdots),\\ \bigcup_i\bigg(\bigcap_j A_j^{(i)}\bigg) =\bigcap(A_{j_1}^{(1)}\cup A_{j_2}^{(2)}\cup A_{j_3}^{(3)}\cup\cdots). \end{align}\quad (j_1,j_2,\ldots = 1,2,3,\ldots)$

定理 81．

集合の積は和と差とで表わされる．すなわち，集合列に関していえば，

(5)

$\bigcap_{n\geqq 1}A_n=A_1-\bigcup_{n\geqq 2}(A_1-A_n).$

［証］

(3)による．

右辺$=A_1-\bigcup_{n\geqq 2}A_1A_n'$

分配律および(3)．

$=A_1-A_1\bigcup_{n\geqq 2}A_n'=A_1-\bigcup_{n\geqq 2}A_n'$

(3)および(2)による．

$=A_1\bigg(\bigcup_{n\geqq 2}A_n'\bigg)' =A_1\bigcap_{n\geqq 2}A_n$

$=\bigcap_{n\geqq 1}A_n.$

［注意］ 

集合列の合併 $\textstyle E=\bigcup E_n$ を単純和 $\textstyle E=\sum e_n, e_n\subset E_n$ に修正することができる．例えば $e_1=E_1,\,e_n=E_n-(E_1\cup E_2\cup\cdots\cup E_{n-1}),\,(n=2,3,\ldots)$ とすればよい．

集合の上・下極限

集合列 $\{A_n\}$ に関して，上極限 $\varlimsup$，下極限 $\varliminf$　および極限 $\lim$ を次のように定義する：

(6)

$\varlimsup A_n=\bigcap_{n\geqq 1}\bigg(\bigcup_{i\geqq n}A_i\bigg),\quad \varliminf A_n=\bigcup_{n\geqq 1}\bigg(\bigcap_{i\geqq n}A_i\bigg).$

$\varlimsup A_n=\varliminf A_n$ なるとき，それを $\lim A_n$ とする．

この定義からみえるように，$\varlimsup,\varliminf$ は $A_n$ の順序には関係しない．すなわち $\varlimsup A_n$ は無数の $A_n$ に共通なる元の全体で，$\varliminf A_n$ は有限個を除いたほかの全ての $A_n$ に共通な元の全体である（除かれる集合は元によって違いうる）．故に $\varliminf A_n\subset \varlimsup A_n$．

$\{A_n\}$が増大列，すなわち $A_1\subset A_2\subset\cdots\subset A_n\subset\cdots$ ならば，

(7)

$\lim A_n = \bigcup_{n\geqq 1}A_n,$

$\{A_n\}$ が減少列，すなわち $A_1\supset A_2\supset\cdots\supset A_n\supset\cdots$ ならば

(8)

$\lim A_n= \bigcap_{n\geqq 1}A_n$

であることは，定義によって明らかである．従ってまた一般に，

(9)

$\varlimsup A_n=\lim\bigcup_{i\geqq n}A_i,\quad \varliminf A_n=\lim\bigcap_{i\geqq n}A_i.$

また余集合に関して

$(\varlimsup A_n)'=\varliminf A_n',\quad (\varliminf A_n)'=\varlimsup A_n'.$

集合の定義函数（特徴函数）

集合 $E$ の各元 $x$ に，一つの数 $f(x)$ が対応するとき， $f$ を $E$ における点函数という．

特に $x\in A$ なるとき $\varphi(x)=1$，$x\in A'$（余集合）なるとき $\varphi(x)=0$ なる函数 $\varphi(x)$ を $A$ の定義函数という．逆に，$1$ または $0$ なる値のみをとる点函数 $\varphi(x)$ が $\Omega$ において与えられるならば，$\varphi(x)=1$ なる点 $x$ の全部を $A$ とすれば，$\varphi(x)$ はすなわち $A$ の定義函数で，また $\varphi'(x)=1-\varphi(x)$ は余集合 $A'$ の定義函数である．

集合列 $\{A_n\}$ において，$A_n$ の定義函数を $\varphi_n(x)$ とすれば，

$\sup\varphi_n(x),\quad \inf\varphi_n(x),\quad \varlimsup\varphi_n(x),\quad \varliminf\varphi_n(x),\quad \lim\varphi_n(x)$

は，それぞれ

$\bigcup A_n,\qquad \bigcap A_n,\qquad \varlimsup A_n,\qquad\varliminf A_n,\qquad\lim A_n$

の定義函数である．

---

106．加法的集合類（$\sigma$系）

$\Omega$ の部分集合の一類 M が次の条件に適合するとき， それを $\sigma$系（または加法的集合類）といい $\sigma$系 M に属する集合を M 集合系と略称する ．

1°．M集合の列 $\{e_n\}$ の合併はM集合である．すなわち

$e_n \in \text{M}\ (n=1,2,$…) ならば $\cup e_n \in \text{M}$．

2°．M集合の差はM集合である．すなわち

$e_1 \in \text{M},\ e_2\in \text{M}$ ならば $e_1-e_2 \in \text{M}$．

特に，空集合は $e_1-e_1$ として M に属する．

前節 (5)，(6) によって， $e_n\in \text{M}$ なるとき，$\cap e_n,\ \overline{\lim}e_n,\ \underline{\lim}e_n$ も M 集合である．

M の中に最大の集合 $\omega$ があるとき（すなわち$e \in \text{M}$ ならば $e \subset \omega$），M を 閉じた$\sigma$系 という．この場合には 2°を次の条件で置き換えてよい．

2'．M は $e$ と同時に，$\omega$ に対する $e$ の余集合 $e'$ を含む．

実際，$e_1 \in \text{M},\ e_2\in \text{M}$ ならば $e' \in \text{M}$ で， $e_1-e_2 =(e_1'\cup e_2)'\in \text{M}$．

$\Omega$ の部分集合の任意の一組 $S$ があたえらるとき，$S$に属する集合から，列の合併および引算（差を作ること） によって，次から次へと週ずる集合の全体は，一つの$\sigma$系を成すであろう．それは$S$を含む最小の$\sigma$系（$S$から生ずる$\sigma$系）である．

$\Omega$のすべての集合は一つの$\sigma$系を成すが，それは$S$を含む．このように$S$を含む$\sigma$系は確かに存在するから，$S$を含むすべての$\sigma$系の共通部分は，すなわち$S$から生ずる$\sigma$系である．

$S$に属する集合列の合併として生ずる集合を一般的に$S_{\sigma}$，またその交わりとして生ずる集合を$S_{\delta}$というように書けば，$S_{\sigma},S_{\sigma\delta},S_{\sigma\delta\sigma},\cdots,S_{\delta},S_{\delta\sigma},S_{\delta\sigma\delta},\cdots,$ またそのようにして，すでに生じた一組の $T$ からさらに生ずる$T_{\sigma},T_{\delta},\cdots$は，みなこの$\sigma$系に属する． （故にこの最小$\sigma$系でも，ほとんど無際涯というべきで，いささか心もとない．すでにできている$\sigma$系ならば安心である！）

---

107．M 函数

σ 系 $\mathrm{M}$ に属するある M 集合 $e$ において，点函数 $f(x)$ が定義されているとする．すなわち $x$ は集合 $e$ の元である： $x\in e, e\in \mathrm{M}.$ そのとき，一つの実数 $a$ に関して，$f(x)>a$ なる $x$ の全体の集合 $E$ は一般には必らずしも M 集合を成さないであろう．もしも，その集合 $E$ が各〻の実数 $a$ に関して M 集合ならば，$f(x)$ を M 函数と略称する．

これより後，或る指定された性質 $P$ を有する（または条件 $P$ に適合する）点 $x$ の全体の集合を

$\{x; P\}$　または　$E\{x; P\}$

と書く．例えば，上記 M 函数の定義においては，集合 $E$ を定義する条件 $P$ は

$x\in e,\quad e\in\mathrm{M},\quad f(x)>a$

で，$f(x)$ が M 函数であるとは，すなわち，すべての実数 $a$ に関して

$E\{x; x\in e, e\in\mathrm{M}, f(x)>a\}\in\mathrm{M}$

となることである．今ここでは集合 $E$ の元は $x$，ただしその $x$ は $x\in e$ で $e\in\mathrm{M}$ であるが，これらは当然として省略すれば，簡明に

(1)

$E\{f(x)>a\}\in\mathrm{M}.$

さて，すべての実数 $a$ に関して

(2)

$E\{f(x)>a\},\quad E\{f(x)\geqq a\},\quad E\{f(x)\leqq a\},\quad E\{f(x)<a\}$

が M 集合なることは，同等なる条件である．――第一と第三と，また第二と第四とは $e$ に対して互に余集合だから，もちろんだが，

$\begin{align} E\{f(x)\geqq a\}&=\bigcap_{n\geqq 1}E\!\left\{f(x)>a-\frac1n\right\},\\ E\{f(x)\leqq a\}&=\bigcap_{n\geqq 1}E\!\left\{f(x)>a+\frac1n\right\} \end{align}$

だから，すべてが同等である．故に M 函数の定義において，(2) の四つの集合のうち，どれを取ってもよい．

$f(x)$ が M 函数ならば，$E\{f(x)=a\}=E\{f(x)\geqq a\}-E\{f(x)>a\}$ は M 集合である．逆は成り立たない．

$\begin{align} x&\in E\{f(x)\geqq 0\}\\[5pt] x&\in E\{f(x)< 0\} \end{align}$	なるとき	$\begin{align} f^+(x)&=f(x),\\[5pt] f^+(x)&=0, \end{align}$	$\left.\begin{align} f^-(x)&=0\\[5pt] f^-(x)&=-f(x) \end{align}\right\}$
	なるとき

として，$f^+(x),f^-(x)$ を $f(x)$ の正の部分，負の部分という．すなわち $f(x)=f^+(x)-f^-(x)$ であるが，$f$ が M 函数ならば，$f^+,f^-$ も M 函数である．

定理 82．

$f(x)$ が M 函数なるためには，(1) において， $a$ を有理数だけに限っても十分である（あるいは，一般に実数の範囲内に稠密に分布される数，例えば小数部の桁数が有限なる十進数に限ってもよい）．

［証］

$a$ に収束する単調減少の有理数列を $r_n$ とすれば，$\textstyle E\{f(x)>a\}=\bigcup_n E\{f(x)>r_n\}$ だから．

次の定理は，証明の手段として，しばしば応用される．

定理 83．

正なる（負でない） M 函数 $f(x)$ は階段的なる M 函数の増大列 $\{f_n(x)\}$ の極限である．階段的なる函数とはその函数の取る相異なる値が有限個に限ること（値域が有限集合なること）をいう．

［証］

$f(x)$ の値を十進数で書き表して，小数点の上下共に $n$ 位で打切って，それを $f_n(x)$ の値とすればよい．$f_n(x)$ は多くとも $10^{2n}$ この相異なる値を取る．すなわち階段的だから，それが M 函数であることをみるには，$f_n(x)$ のとる各〻の値 $a$ に関し $E\{f_n(x)=a\}$ が M 集合であることを確かめればよいが，この集合は $\textstyle \sum_{h=0}^\infty E\!\left\{a+10^nh\leqq f(x)<a+\frac1{10^n}+10^nh\right\}$ に等しいから，よろしい．$\textstyle f_n(x)\leqq f_{n+1}(x),\lim_{n\to\infty}f_n(x)=f(x)$ は明白である．

一定の M 集合 $e$ を共通の定義域として有する函数のみを考察するとき，次の諸定理が成り立つ．

定理 84．

$f,g$ が M 函数ならば，

$E\{f(x)>g(x)\}\in \mathrm{M}.$

［証］

$f(x)>g(x)$ ならば，$f(x)>r>g(x)$ なる有理数 $r$ がある．よって

$E\{f(x)>g(x)\}=\bigcup_r(E\{f(x)>r\}\cap E\{g(x)<r\})\in\mathrm{M}.$

定理 85．

M 函数は実係数を持って環を成す．すなわち $f(x),g(x)$ が M 函数ならば，

(1º)　$af(x)$，（$a$ は実数），　(2º)　$f(x)+g(x)$，　(3º)　$f(x)\cdot g(x)$

も M 函数である．有限個の函数の和および積に関しても同様．

［証］

(1º)

$af(x)$，特に $-f(x)$ に関しては明白．

(2º)

$E\{f(x)+g(x)>a\}=E\{f(x)>a-g(x)\}$ で，$a-g(x)$ が M 函数であることは明白だから（定理 84）．

(3º)

$fg=\tfrac14((f+g)^2-(f-g)^2)$ だから，一般に M 函数の平方が M 函数であることを示せばよいが，$E\{f^2>a\}$ は，$a>0$ ならば $E\{f>\sqrt a\}\cup E\{f<-\sqrt a\}$，$a=0$ ならば $E\{f\gtrless 0\}$，また $a<0$ ならば，$e$ だから，よろしい．

定理 86．

M 函数の列 $\{f_n(x)\}$ に関して

$\sup f_n(x),\quad \inf f_n(x),\quad \varlimsup f_n(x),\quad \varliminf f_n(x),$

従って，それが存在するとき，$\lim f_n(x)$ も M 函数である．

［証］

$\sup f_n(x)=g(x)$ と置けば $\textstyle \{g(x)>a\}=\bigcup E\{f_n(x)>a\}\in\mathrm{M}$．$\inf$ も同様．また $\textstyle g_n(x)=\sup_{i\geqq n}f_i(x)$ と置けば，$g_n(x)$ は M 函数で減少列をなす．従って $\varlimsup f_n(x)=\lim g_n(x)=\inf g_n(x)$ は M 函数である．$\varliminf$ も同様（または $\varliminf f_n(x)=-\varlimsup(-f_n(x))$ から）．

（証終）

函数値が極限として定義される場合に順応するために，便宜上 $+\infty,-\infty$ を函数値として許容する．これは場合の区別から生ずる煩雑を緩和して，陳述を簡明にする手段にほかならない．そこで $\pm\infty$ と差別するために，個々の実数 $a$ を有限という．函数 $f(x)$ は有限とは，それが $+\infty$ または $-\infty$ なる値を取らないことをいう．故に有限は有界とは違う．なお運用上，次の規約を設ける．

$\begin{align} & +\infty>a,\quad -\infty<a.\\ & a+(\pm\infty)=(\pm\infty)+a=\pm\infty,\quad \pm\infty-a=\pm\infty.\\ & (+\infty)+(+\infty)=+\infty,\quad (-\infty)+(-\infty)=-\infty.\\ & a\cdot(\pm\infty)=(\pm\infty)\cdot a =\begin{cases}\pm\infty,&(a>0),\\ \mp\infty,&(a<0).\end{cases}\\ & 0\cdot(\pm\infty)=(\pm\infty)=0. \end{align}$

これらは便宜上の規約である．特に，最後の規約は後に至って便利である． $(+\infty)-(+\infty),(-\infty)-(-\infty)$ は無意味とする．$+\infty$ を略して $\infty$ とも書く．

［附記］ 

これに準じて，無限級数 $\textstyle\sum a_n$ の項にも $+\infty,-\infty$ を許容する．級数 $\textstyle\sum a_n$ の項に $+\infty$ または $-\infty$ が含まれる場合には，$+\infty$ をも込めて，$\textstyle\sum a_n$ のすべての正の項の和を $s$ とし，$-\infty$ をも込めて，すべての負の項の和を $-t$ とするとき，$s-t$ が $\infty-\infty$ となる場合を除いて，$\textstyle\sum a_n$ の値は確定で，$s-t$ を $\textstyle\sum a_n$ の値と規約する． M 函数 $f(x)$ が有限でないときにも

$\begin{align} E\{f(x)<+\infty\}&=\bigcup_{n\geqq 1}E\{f(x)<n\}\in\mathrm{M}.\\ E\{f(x)>-\infty\}&=\bigcup_{n\geqq 1}E\{f(x)>-n\}\in\mathrm{M}.\\ E\{f(x)=+\infty\}&=\mathrm{C}E\{f(x)<+\infty\}\in\mathrm{M}.\\ E\{f(x)=-\infty\}&=\mathrm{C}E\{f(x)>-\infty\}\in\mathrm{M}. \end{align}$

$\mathrm{C}$ は $e$ に対する余集合の記号である．

［注意］ 

定理 82 以下の定理は函数値として $\pm\infty$ を許容した場合にも成り立つ．ただし，定理 85 は $\pm\infty$ を顧慮して主張を緩和することを要する．

任意の集合 $E$ において与えられた点函数 $f(x)$ に対応する $E$ 内の集合

(3)

$E(t)=E\{f(x)\geqq t\}$

を $t$ の函数とみるとき，それは単調減少，すなわち

$t'<t$　なるとき　$E(t')\supset E(t)$

であるが，なお (3) によれば

(4)

$\left.\begin{matrix} E(t)=\displaystyle\bigcap_{t'<t}E(t'),\\[10pt] E(-\infty)=E\qquad E(\infty)=\displaystyle\bigcap_{t'<\infty}E(t'). \end{matrix}\right\}$

今逆に条件 (4) に適合する集合 $E(t)$ が $E$ において与えられているとすれば，それから (3) に適合する点函数 $f(x)$ を定義することができる．それには $x_0\in E(t)$ なる $t$ の上限が $t_0$ なるとき，$f(x_0)=t_0$ とすればよい．――それは明白であろう．実際，$x_0\in E(t)$ ならば，$t\leqq t_0=f(x_0)$，従って $x_0\in E\{f(x)\geqq t\}$．故に $E(t)\subset E\{f(x)\geqq t\}$．また $x_0\in E\{f(x)\geqq t\}$ ならば，$f(x_0)\geqq t$，すなわち $t_0\geqq t$ だから，$t>t'$ なら $x_0\in E(t')$．従って (4) から $x_0\in E(t)$．故に $E\{f(x)\geqq t\}\subset E(t)$．すなわち (3) が成り立つ．

$t_0=\infty$ なるときは，$f(x_0)=\infty$ とするのであるが，そのときには，すべての $t$ に関して $x_0\in E(t)$ だから (3) は $t=\infty$ でも成り立つ．また $t=-\infty$ ならば，(3) は $E=E$ となる．

$t_0$ が有限なるときには，$x_0\in E(t)$ なる $t$ は実数の一つの切断の下組で，$t_0$ がその下組の最大数である．それは $x_0\in E(t_0)$ を意味する．

さて，すべての有理数 $r$（あるいは，実数内に稠密に分布されている数の可算集合に属する $r$）に対応して，$E$ 内に集合 $e_r$ が与えられているとき，任意の実数 $t$ および $t=\infty$ に対して

(5)

$E(t)=\bigcap_{r<t}e_r$

によって $E(t)$ を定義し，また $E(-\infty)=E$ とすれば，$E(t)$ は条件 (4) に適合する．実際，$t\ne-\infty$ のとき $t'<t$ とすれば，

$E(t)=\bigcap_{r<t}e_r\cdot\bigcap_{t'\leqq r<t}e_r\subset E(t'),$

従って

$E(t)\subset \bigcap_{t'<t}E(t').$

逆に $\textstyle x\in\bigcap_{t'<t}E(t')$ とする．今 $r<t$ として，$r<t'<t$ なる $t'$ を取れば，$x\in E(t')$ だから，(5) によって $x\in e_r$．$r<t$ の $r$ は任意の有理数だから $x\in E(t)$．故に (4) が成り立つ．

もしも $e_r$ が M 集合ならば，(5) は M 集合の列の共通部分だから，$E(t)$ が M 集合，従ってそれから定義される点函数 $f(x)$ が M 函数である．

---

108．集合の測度

集合の一類 $\mathrm{M}$（$\mathrm{M}$ は σ 系をなさなくてもよい）に属する各集合 $e$ に実数または $\pm\infty$ を対応せしめる函数 $f(e)$ が定義されているとき，$f$ を $\mathrm{M}$ における集合函数という．σ 系 $\mathrm{M}$ における集合函数に関し $\textstyle e=\sum e_n, e_n\in\mathrm{M},$ が単純和なるとき，下記 (1) の右辺が確定（401 頁，［附記］参照）で

(1)

$f(e)=\sum f(e_n)$

ならば，$f(e)$ は加法的であるという．$\textstyle\sum e_n$ は交換律に従うから，級数 $\textstyle\sum f(e_n)$ は絶対収束をする．ここで絶対収束とは，無条件収束の意味，すなわち，級数 $\textstyle\sum f(e_n)$ が項の順序および括り方に無関係に，一定の値（$\pm\infty$ をも込めて）を有することをいう．

(1) が無限列に関して成り立つことを強調するためには，‘完全に加法的’ともいうが，我々はむしろ (1) が有限列に関してのみ成り立つことを，‘弱い意味で加法的’ということにする．

さて，次のように測度の定義を立てる．

定義．

閉じた σ 系 $\mathrm{M}$ における集合函数 $\mu(e)$ が完全に加法的で常に正なる（負でない）とき，$\mu(e)$（または $\mu e$ とも書く）をもって，$e$ の測度とする．$\mu(e)$ の値として $\infty$ をも許容するが，$\mu(e)=\infty$ なるときは，$e$ は $\mu(e_n)$ が有限なる集合 $e_n$ の増大列の極限（合併）として，‘到達される’とする．（すなわち $e_n\uarr e,\mu(e_n)<\infty$ なる集合列 $\{e_n\}$ の存在を仮定する．）

差し越しながら，この仮定のもとで $\mu(e_n)\to\infty$ となる（下記定理 87）．

$e_1\supset e_2$ ならば，$e_1=(e_1-e_2)+e_2$ は単純和だから，定義によって $\mu(e_1)=\mu(e_1-e_2)+\mu(e_2)$．また，定義によって $\mu(e_1-e_2)\geqq 0$ だから，$\mu(e_1)\geqq \mu(e_2)$．すなわち $\mu$ は‘単調増大’である．

$\mathrm{M}$ は閉じた σ 系であるから，最大集合 $\omega$ を有する，故に $\mu(e)=\infty$ なる $e$ がある場合には，$\omega\supset e$ から $\mu(\omega)=\infty$．従って仮定によって $e_n\uarr\omega,\mu(e_n)<\infty(\lim\mu(e)\to\infty)$ なる集合列 $\{e_n\}$ が存在する．そのとき $e=e\omega,ee_n\uarr e$ で，$\mu(ee_n)\leqq\mu(e_n)<\infty$．すなわち $\{ee_n\}$ が定義の末端に述べた集合列である．

空集合に関しては，$\mu(0)=0$．――実際，定義によって $\mu(e)<\infty$ なる $e$ はある．従って $e=e+0$ から，$\mu(e)=\mu(e)+\mu(0)$．$\mu(e)<\infty$ だから $\mu(0)=0$．

これらは定義の言葉尻であるが，重要なのは $\mu$ の完全加法性である．完全加法性は連続性を意味する．すなわち次の定理が成り立つ．

定理 87．

(1º)

$e_1\subset e_2\subset\cdots\subset e_n\subset\cdots,\lim e_n=e$ とすれば，$\textstyle \lim_{n\to\infty}\mu(e_n)=\mu(e)$.

［証］

$e=e_1+(e_2-e_1)+\cdots+(e_n-e_{n-1})+\cdots$

から

$\mu(e)=\mu(e_1)+\mu(e_2-e_1)+\cdots+\mu(e_n-e_{n-1})+\cdots.$

$\mu(e_n)$ がすべて有限ならば，$\mu(e_n-e_{n-1})=\mu(e_n)-\mu(e_{n-1})$ だから，

$\begin{align} \mu(e) &=\mu(e_1)+\lim_{n\to\infty}\{\mu(e_2)-\mu(e_1)+\cdots+\mu(e_n)-\mu(e_{n-1})\}\\ &=\mu(e_1)+\lim_{n\to\infty}\{\mu(e_n)-\mu(e_1)\}=\lim_{n\to\infty}\mu(e_n). \end{align}$

$\mu(e_i)=\infty$ ならば，$\mu(e_n)=\infty\,(n>i),\mu(e)=\infty$．すなわち $\mu(e)=\lim\mu(e_n)$．

(2º)

$e_1\supset e_2\supset\cdots\supset e_n\supset\cdots,\lim e_n=e$ とすれば，$\mu(e_1)<\infty$ なる仮定の下において，$\textstyle\lim_{n\to\infty}\mu(e_n)=\mu(e)$．

［証］

$e_1$ に対する $e_n,e$ の余集合を $e_n',e'$ とすれば

$e_1'\subset e_2'\subset\cdots\subset e_n'\subset\cdots,\quad \lim e_n'=e'$

だから，(1º) によって，$\lim\mu(e_n')=\mu(e')$．さて $\mu(e_1)\ne\infty$ だから $\mu(e_n')=\mu(e_1-e_n)=\mu(e_1)-\mu(e_n),\mu(e')=\mu(e_1)-\mu(e)$．故に

$\lim(\mu(e_1)-\mu(e_n))=\mu(e_1)-\mu(e).$

$\mu(e_1)\ne\infty$ を用いて，$\lim\mu(e_n)=\mu(e)$．

［注意］ 

或る $i$ に関して $\mu(e_i)<\infty$ ならば，(2º) は成り立つが，すべての $n$ に関して $\mu(e_n)=\infty$ なるとき，$\mu(e)=\infty$ は保証されない．

(3º)

一般の集合列 $e_n$ において

$E_n=\bigcap_{i=n}^\infty e_i$

と置けば，$E_n$ は増大列で，$\lim E_n=\varliminf e_n$ だから，(1º) によって $\mu(\varliminf e_n)=\lim\mu E_n$． さて $e_n\subset e_n,\mu E_n\leqq\mu e_n,\lim\mu E_n\leqq\varliminf\mu e_n$ だから，

(2)

$\mu(\varliminf e_n)\leqq \varliminf \mu e_n.$

同様に

$E_n=\bigcup_{i=n}^\infty e_i$

と置けば，$E_n$ は減少列で，$\varlimsup e_n=\lim E_n$ だから，(2º) によって，$\mu(\varlimsup e_n)=\lim\mu E_n$． こんどは $E_n\supset e_n,\mu E_n\geqq \mu e_n,\lim\mu E_n\geqq\varlimsup\mu e_n$ から，

(3)

$\mu(\varlimsup e_n)\geqq\varlimsup \mu e_n.$

ただし，ここでは $\textstyle\mu E_1=\mu(\bigcup e_n)<\infty$ を仮定する．

(4º)

$\lim e_n=e$ ならば

$e=\varlimsup e_n=\varliminf e_n$

だから，(2)，(3) から

$\varlimsup\mu e_n\leqq\mu e\leqq\varliminf\mu e_n.$

もちろん $\varlimsup\mu e_n\geqq\varliminf\mu e_n$ だから，等号が成り立って，

$\varlimsup\mu e_n=\lim\mu e_n=\varliminf\mu e_n,$

すなわち

(4)

$\mu e=\lim\mu e_n.$

ただし，ここでも (3) と同様に $\textstyle\mu(\bigcup e_n)<\infty$ とする．

［注意］ 

弱い意味の加法性を仮定すれば，(1º) または (2º) から完全加法性が導かれる．――今 $\textstyle e=\sum e_n$ を単純和とすれば，$\textstyle e_n'=e-\sum_{i=1}^n e_1$ と置いて $e_n'\darr 0$ を得る．従って $\mu e<\infty$ とすれば，(2º) から $\lim\mu e_n'=0$．さて弱い意味の加法性から

$\mu e_n'=\mu e-\sum_{i=1}^n\mu e_i,$　従って　$\mu e=\sum_{i=1}^\infty \mu e_i.$

を得る．それが完全加法性である．次に $\mu(e)=\infty$ ならば，定義の規約のもとで，任意の $M>0$ に対して，$e_0\subset e, M<\mu e_0<\infty$ なる $e_0$ があるが，$\textstyle e_0=e_0e=\sum_{n=1}^\infty e_0e_n$ だから，上記のように $\textstyle \mu e_0=\sum_{n=1}^\infty \mu e_0e_n\leqq\sum_{i=1}^\infty \mu e_n$．すなわち $\textstyle \mu e_n > M$．$M$ は任意だから $\textstyle \sum \mu e_n=\infty, \mu e=\sum\mu e_n=\infty$． また (1º) から (2º) が導かれるから，(1º) からも完全加法性が得られる．

---

109．積分

閉じた σ 系 $\mathrm{M}$ において測度 $\mu e$ と，集合 $E$ における点函数 とが与えられているとき，$E$ における $f(x)$ の積分を次のように定義する．

1º．

$f(x)\geqq 0$ なるとき，

$(\Delta)$

$E=e_1+e_2+\cdots+e_n$

を $E$ の任意の分割とする．すなわち $E$ を $e_i\,(i=1,2,\ldots,n)$ の有限単純和とする．そのとき，$e_i$ における $f(x)$ の値の下限を

$v_i=\inf_{x\in e_i}f(x)$

として，和

$s_\Delta = \sum_{i=1}^n v_i\mu e_i$

を作る．そうして，全ての分割 $\Delta$ に関する上限 $\sup s_{\Delta}$ を集合 $E$ の上の $f(x)$ の積分といい，それを

$\int_E f(x)\,d\mu$

と書く．ただし，$s_\Delta$ として $\infty$ を許容するが，その場合，$v_i$ または $\mu e_i$ が $\infty$ なるとき，規約 $0\cdot \infty= \infty\cdot 0= 0$（401 頁）を適用する．

2º．

$f(x)$ の符号が一定でない場合には，それを正･負の部分（400頁）に分けて，$f(x)=f^+(x)-f^-(x)$ として，

$\int_E f(x)\,d\mu = \int_E f^+(x)\,d\mu - \int_E f^-(x)\,d\mu$

によって積分を定義する．右辺の二つの積分がともに $\infty$ で，右辺が $\infty-\infty$ の形になる場合だけを除いて，この定義は有効で，積分の値は確定する．

このように定義された積分の値が有限であるとき，$f(x)$ は $E$ の上で積分有限（積分可能）であるという．

次の定理は積分の定義から，ただちに，得られるものである．

1．

$E=E_1+\cdots+E_p$ が単純和で，$E$ の上で $\textstyle \int_E f(x)d\mu$ が確定ならば

$\int_E f(x)\,d\mu= \sum_{i=1}^p f(x)\,d\mu.$

［証］

$p=2$ としてよい．また積分の定義 2．によって$f\geqq 0$ としてよい．さて $\textstyle E=\sum_{i=1}^n e_i$ を $E$ の分割 $\Delta$ として，

$e_i^{(1)}=E_1\cap e_i,\quad e_i^{(2)}=E_2\cap e_i\quad (i=1,2,\ldots,n)$

とすれば

$E_1=\sum e_i^{(1)},\quad E_2=\sum e_i^{(2)}$

は $E_1,E_2$ の分割である．それらを $\Delta_1,\Delta_2$ と書けば

$s_\Delta\leqq s_{\Delta_1}+s_{\Delta_2}\leqq \int_{E_1}+\int_{E_2}.$

$\Delta$ は任意だから，上限へ行って

$\int_E\leqq \int_{E_1}+\int_{E_2}.$

逆に $E_1,E_2$ の任意の分割を $\Delta_1,\Delta_2$ とすれば，それを合わせて $E$ の一つの分割 $\Delta$ が得られて

$s_{\Delta_1}+s_{\Delta_2}=s_\Delta\leqq \int_E.$

$\Delta_1,\Delta_2$ は任意だから上限へ行って

$\int_{E_1}+\int_{E_2}\leqq\int_E.$

故に

$\int_E=\int_{E_1}+\int_{E_2}.$

2．

$E$ において $f(x)$ が階段的で，互に異なる有限個の値 $a_1,\ldots,a_p$ を取り，

$E_i=E\{f(x)=a_i\}\quad (i=1,2,\ldots,p)$

とする．然らば $\textstyle E=\sum_{i=1}^p E_i$ は単純和だから，1．によって

$\int_E f(x)\,d\mu= \sum_{i=1}^p\int_{E_i}f(x)\,d\mu = \sum_{i=1}^p a_i\mu E_i.$

$E_i$ において $f(x)$ は定数に等しいから，$\textstyle \int_{E_i}=a_i\mu E_i$．これは積分の定義によって明白であろう．

ここで $f$ が M 函数であることを用いた．そのために $E_i$ が M 集合で，$\mu E_i$ が確定する．

3．

$E$ において $f(x)\leqq g(x)$ ならば，両辺の積分確定のとき，

(1)

$\int_E f(x)\,d\mu\leqq \int_E g(x)\,d\mu.$

［証］

$E_1=E\{0\leqq f(x)\leqq g(x)\},\, E_2=E\{f(x)< 0\leqq g(x)\},\,E_3=E\{f(x)\leqq g(x)< 0\}$ とすれば，$E=E_1+E_2+E_3$ は単純和である．さて $E_1$ では積分の定義 1．から (1) を得る．$E_2$ では積分の定義 2．から，(1) の左辺は $\leqq 0$，右辺は $\geqq 0$ だからよい．また $E_3$ では $\textstyle \int_{E_3}f(x)\,d\mu= -\int_{E_3}f^-(x)\,d\mu; \int_{E_3}g(x)\,d\mu= -\int_{E_3}g^-(x)\,d\mu$ で，$0<g^-(x)\leqq f^-(x)$ だから，(1) が成り立つ．故に 1．によって $E$ において (1) が成り立つ．

4．

$\textstyle \int_E f(x)\,d\mu$ が有限なるためには，$\textstyle \int_E|f(x)|d\mu$ が有限なることが必要かつ十分である｡

［証］

$E_1=E\{f(x)\geqq 0\},\, E_2=E\{f(x)< 0\},\,E=E_1+E_2,$ とすれば，1．によって

$\int_E|f(x)|d\mu = \int_{E_1}|f(x)|d\mu+\int_{E_2}|f(x)d\mu.$

故に，$f$ の正，負の部分 $f^+,f^-$（400頁）を用いて，

(2)

$\int_E|f(x)|d\mu = \int_{E_1}f^+(x)d\mu + \int_{E_2}f^-(x)d\mu.$

さて，(2) の左辺が有限なることは，その右辺の二つの積分が有限なることと同等であり，それは，$\textstyle \int_E f(x)d\mu$ が有限なることと同等であるから，4． が得られる．

5．

［平均値の定理］．$E$ において $f(x)$ は有界で，$m\leqq f(x)\leqq M$，また $g(x)$ は積分有限とすれば，$m,M$ の中間の或る値 $c$ をもって $(m\leqq c\leqq M)$

$\int_E f(x)|g(x)|\,d\mu= c\int_E |g(x)|\,d\mu.$

$m|g|\leqq f|g|\leqq M|g|$ だから，3．によって

$m\int_E |g|d\mu\leqq \int_E f|g|d\mu\leqq M\int_E |g|d\mu.$

さて 4．によって左右両端は有限だから，表記の等式を得る．

6．

$\mu E=0$ ならば，$\textstyle \int_E f(x)\,d\mu=0$．

積分の定義 2．によって $f\geqq 0$ としてよい．$E$ の任意の分割 $\Delta$ において，$\mu E=0$ から $\mu e_i=0$，従って（$v_i=\infty$ でも）$s_\Delta=0$．

7．

$\textstyle \int_E f(x)d\mu$ が有限ならば，$E\{f(x)=\pm\infty\}$ の測度は $0$ である．

この場合，$f^+(x),f^-(x)$ の積分が有限である．よって $f\geqq 0$ としてよい．もしも $E_1=E\{f=\infty\}$ に関して $\mu E_1\ne 0$ とするならば，$E_1$ を一つの成分とする $E$ の分割 $\Delta$ において，すでに $s_\Delta=\infty$．従って $\textstyle \int_E=\infty$．それは矛盾である．

8．

$\textstyle \int_E f(x)\,d\mu$ が有限なるとき，$e_n=E\{|f(x)|\geqq n\}$ とすれば，

$n\to\infty$　のとき　$\mu e_n\to 0.$

［証］

この場合，4．によって $\textstyle \int_E |f(x)|d\mu$ は有限である．また，任意の $n$ に関し，1．，3．によって

$\int_E|f(x)|d\mu\geqq \int_{e_n}|f(x)|d\mu\geqq \int_{e_n}n\,d\mu=n\,\mu e_n.$

故に $n\to\infty$ のとき $\mu e_n\to 0$．

上記 6．，7．，8．に関連して，次の定理を記録しておく．それは後に至って，一般的の見地から証明されるであろう（419 頁，6．および［注意］参照）．

9．

$\textstyle \int_E f(x)d\mu$ が有限で $e\subset E$ ならば

$\mu e\to 0$　のとき　$\int_e f(x)d\mu\to 0.$

---

110．積分の性質

積分の性質を続けて述べる．

定理 88．

（予備定理）$E$ において $\{f_n(x)\}$ を正なる函数の増大列とし $\textstyle f(x)=\lim_{n\to\infty}f_n(x)$ とすれば

(1)

$\lim_{n\to\infty}\int_E f_n(x)\,d\mu=\int_E f(x)\,d\mu.$

［証］

仮定によって $f(x)\geqq f_n(x)\geqq 0$，従って（前節 3．）

$\int_E f(x)\,d\mu\geqq \int_E f_n(x)\,d\mu,$

$n\to\infty$ の極限へ行って

$\int_E f(x)\,d\mu \geqq \lim_{n\to\infty} f_n(x)\,d\mu.$

故に反対の向きの不等式を証明すればよい．そのために，$E$ の分割 $\textstyle\sum e_i\,(n=1,2,\ldots,p)$ において，$\textstyle v_i=\inf_{x\in e_i}f(x),\,s_\Delta=\sum v_i\,\mu e$ として

(2)

$\lim_{n\to\infty}\int_{e_1}f_n(x)\,d\mu\geqq v_i\,\mu e_i$

を示そう．それができれば，前節 1．によって

$\lim_{n\to\infty}\int_E f_n(x)\,d\mu\geqq s_\Delta$

が得られるが，分割 $\Delta$ は任意だから，上限へ行って

$\lim_{n\to\infty}\int_E f_n(x)\,d\mu\geqq\int_E f(x)\,d\mu,$

従って (1) を得る． よって，記号簡略のために，(2) において $e_i=e,v_i=v$，すなわち $\textstyle v=\inf_{x\in e}f(x)\geqq 0$ と書いて

(3)

$\lim\int_e f_n(x)\,d\mu\geqq v\,\mu e$

を証明する．$v=0$ ならば，（$\mu e=\infty$ でも）右辺は $0$ で，左辺は $\geqq 0$ だから，問題はない．同様に，$\mu e=0$ ならば，（$v=\infty$ でも）問題はない．よって，$v>0,\mu e>0$ とする．

(I)

$\mu(e)<\infty$ なる場合．

(1º)

$v<\infty$ とする．$v>\varepsilon>0$ として，$e_n=e\cdot E\{f_n(x)>v-\varepsilon\}$ と置く．然らば，$\{f_n(x)\}$ は増大列であったから，$e_1\subset e_2\subset\cdots\subset e_n\subset\cdots$ で，$\textstyle\lim e_n=\bigcup e_n=e$．――なぜなら： $x_0\in e$ とすれば，或る $n$ 以上，$f_n(x_0)>v-\varepsilon$，従って $x_0\in e_n$ だから．故に

（定理 87）

$\lim\mu e_n=\mu e,$

従って $n>N$ なるとき

$\mu e-\mu e_n<\varepsilon,$

（前節 1．）

$\int_e f_n(x)\,d\mu\geqq \int_{e_n}f_n(x)\,d\mu$

（前節 3．）

$\geqq (x-\varepsilon)\mu e_n$

$\begin{align} & > (v-\varepsilon)(\mu e-\varepsilon)\\ & > v\,\mu e-\varepsilon(v+\mu e). \end{align}$

$\varepsilon>0$ は任意だから，(3) を得る．

(2º)

$v=\infty$ とする．この場合には，$m>0$ として，

$e_n=e\cdot E\{f_n(x)>m\}$

と置けば，前と同様に $e=\lim e_n$ だから，$\varepsilon>0$ に対して十分大きく $n$ を取れば，

$\int_e f_n(x)\,d\mu\geqq\int_{e_n}f_n(x)\,d\mu\geqq m\,\mu e_n\geqq m\,\mu e-\varepsilon m.$

$\varepsilon$ は任意だから，

$\int_e f_n(x)\,d\mu\geqq m\,\mu e.$

$m>0$ も任意，また $\mu e>0$ としたから，$\textstyle\lim_{n\to\infty}\int_e f_n(x)\,d\mu=\infty$ で，(3) が成り立つ（$\infty=\infty$）．

(II)

$\mu e=\infty$ ならば，$v\infty$ として上記(1º) の記号を用いて，$\lim e_n=e$ から，$\lim\mu e_n=\infty$（定理 87，(1º)）．従って

$\int_e f_n(x)\,d\mu\geqq\int_{e_n}f_n(x)\,d\mu\geqq(v-\varepsilon)\mu e_n$

から，$\textstyle\lim\int_e f_n(x)\,d\mu=\infty$，すなわち (3) が $\infty=\infty$ の意味で成り立つ．$v=\infty$ でも同様．

定理 89．

積分は函数に関して線型である．詳しくいえば，任意の実係数 $a_i$ をもって

$\int_E(a_1f_1+a_2f_2+\cdots+a_nf_n)\,d\mu =a_1\int_E f_1\,d\mu+a_2\int_E f_2\,d\mu+\cdots+a_n\int_E f_n\,d\mu.$

ただし右辺の中の項に $+\infty$ と $-\infty$ が同時に出ていてはいけない．特に，右辺の各積分が有限なるとき，左辺も有限で，等式が成り立つのである．

［証］

二つの函数 $f,g$ に関して，次の式を証明すれば十分である：

(4)

$\int_E(f+g)\,d\mu=\int_E f\,d\mu+\int_E g\,d\mu.$

(1º)

$f\geqq 0,g\geqq 0$ が階段的で，それぞれ有限個の相異なる値 $a_i,b_j\,(i=1,2,\ldots,p;j=1,2,\ldots,q)$ を取るとする．

$E_i=E\{f(x)=a_i\},\quad E'_j=E\{g(x)=b_j\}$

として，$E_i\cap E'_j=e_{i,j}$ と置けば，$\textstyle E_i\sum_{j=1}^q e_{ij},\,E'_j=\sum_{i=1}^p e_{ij},\,E=\sum e_{i,j}$ は単純和で，$e_{i,j}$ において $f(x)=a_i,g(x)=b_j$．よって（§109，2．）

(5)

$\int_E f(x)\,d\mu=\sum_{i=1}^p a_i\,\mu E_i,\quad \int_E g(x)\,d\mu=\sum_{j=1}^q b_j\,\mu E'_j,$

$\begin{align} \int_E(f+g)d\mu &= \sum_{i,j}(a_i+b_j)\mu e_{ij} = \sum_i\Bigl(a_i\sum_j\mu e_{ij}\Bigr)+\sum_j\Bigl(b_j\sum_i\mu e_{ij}\Bigr)\\ &=\sum_i a_i\,\mu E_i + \sum_j b_j\,\mu E'_n. \end{align}$

(5) と比較して (4) を得る．

(2º)

$f\geqq 0,g\geqq 0$ なるとき，$f_n\to f,g_n\to g$ を定理83（401 頁，［注意］参照）の階段函数とすれば，(1º) によって

$\int_E(f_n+g_n)\,d\mu=\int_E f_n\,d\mu+\int_E g_n\,d\mu.$

これから定理 88によって (4) を得る．

(3º)

一般の場合． $f,g,f+g$ に符号に従って，$E$ を六つの集合に分割すれば，その中に空集合もありうるが，§109，1．によって，各部分集合に関して (4) を証明すればよい．よって，$E$ において，例えば $f\geqq 0,g<0,f+g\geqq 0$ とする．然らば $f=(f+g)-g$ から，(2º) によって

$\int_E f\,d\mu=\int_E(f+g)\,d\mu+\int_E(-g)\,d\mu.$

移行して (4) を得る．その他の場合も同様である．

定理 90． ［項別積分の定理］

函数列 $\{f_n(x)\}$ に関して $f_n(x)\to f(x)$，かつ

(6)

$|f_n(x)|\leqq S(x)\quad(n=1,2,\ldots)$

なる積分有限なる $S(x)$ が存在すれば（特に $\mu E<\infty,|f_n(x)|<c$（定数）ならば），

(7)

$\lim_{n\to\infty}\int_E f_n(x)\,d\mu=\int_E f(x)\,d\mu.$

各積分が有限で，等式が成り立つのである．

［証］

仮定 (6) によって，$f_n(x)$ は積分有限である．また §109，6．，7．によって，$S(x)\ne\infty$ と仮定してよい． まず一般に $g_n(x)\geqq 0,\,h_n(x)=\inf(g_n(x),g_{n+1}(x),\ldots)\geqq 0$ と置けば，$\varliminf g_n(x)=\lim h_n(x)$ で，$h_n(x)$ は増大列だから，定理 88によって，

$\int_E\varliminf g_n(x)\,d\mu=\int_E\lim h_n(x)\,d\mu=\lim\int_E h_n(x)\,d\mu.$

$g_n(x)\geqq h_n(x)$ だから

$\int_E g_n(x)\,d\mu\geqq \int_E h_n(x)\,d\mu,$

従って

$\varliminf\int_E g_n(x)\,d\mu\geqq\lim\int_E h_n(x)\,d\mu.$

すなわち

(8)

$\int_E\varliminf g_n(x)\,d\mu\leqq\varliminf\int_E g_n(x)\,d\mu.$

これを $S(x)+f_n(x)\geqq 0$ に適用すれば（上記の仮定 $S(x)\ne\infty$ を用いて），

$\int_E S(x)\,d\mu + \int_E\varliminf f_n(x)\,d\mu \leqq \int_E S(x)\,d\mu + \varliminf\int_E f_n(x)\,d\mu.$

両辺から有限なる $\textstyle\int_E S(x)\,d\mu$ を引いて，

(9)

$\int_E\varliminf f_n(x)\,d\mu\leqq\varliminf\int_E f_n(x)\,d\mu.$

同様に $S(x)-f_n(x)\geqq 0$ から，

$\int_E\varliminf(-f_n)\,d\mu\leqq\varliminf\int_E(-f_n)\,d\mu,$

すなわち

$-\int_E\varlimsup f_n\,d\mu\leqq -\varlimsup\int_E f_n\,d\mu,$

すなわち

(10)

$\int_E\varlimsup f_n\,d\mu\geqq \varlimsup\int_E f_n\,d\mu.$

以上仮定 (6) のみを用いた．さて $\lim f_n(x)=f(x)$ のはずであるから，(9)，(10) から

$\varlimsup\int_E f_n\,d\mu\leqq\int_E f(x)\,d\mu\leqq\varliminf\int_E f_n\,d\mu.$

もとより $\textstyle \varlimsup\int_E f_n\,d\mu\geqq\varliminf\int_E f_n\,d\mu$ だから，等式が成り立って，(7) を得る．

（証終）

定理 90 が上記のように寛大な条件の下において成り立つことは，Lebesgue の理論の著しい成功というべきであろう．

定理 91．

積分は集合函数として加法的である．すなわち，$\textstyle E=\sum_{n=1}^\infty E_n$ が単純和ならば，

(11)

$\int_E f(x)\,d\mu=\sum_{n=1}^\infty\int_{E_n}f(x)\,d\mu.$

左辺の積分は有限でなくてもよい（無意味でなければよい）．

［証］

$f(x)\geqq 0$ としてよい．また $\textstyle \tilde{E}_n=\sum_{n=1}^n E_i$とすれば（§109，1．），

$\int_{\tilde{E}_n}f(x)\,d\mu=\sum_{i=1}^n\int_{E_i}f(x)\,d\mu.$

故に

(12)

$\int_{\tilde{E}_n}f(x)\,d\mu\to\int_E f(x)\,d\mu$

を示せばよい．さて

$\begin{align} x&\in\tilde{E}_n\\ x&\in E-\tilde{E}_n \end{align}$	のとき	$\left.\begin{align} f_n(x)&=f(x),\\ f_n(x)&=0 \end{align}\ \right\}$	とすれば， $\int_{\tilde{E}_n}f(x)\,d\mu=\int_E f_n(x)\,d\mu.$
	のとき

$f_n(x)$ は増大列で，$f(x)$ に収束するから，(12) が成り立つ（定理 88）．

以上，積分の最も重要な性質を述べたが，ここで，積分の定義そのものを反省してみよう．我々は $E$ を分割して $e_i$ における $f(x)\geqq 0$ の下限 $v_i$ をもって $\textstyle s_\Delta=\sum v_i\,\mu e_i$ を作って，その上限として積分を定義したが，同様の立脚点において，$e_i$ における $f(x)$ の上限 $u_i$ をもって，和 $\textstyle S_\Delta=\sum u_i\,\mu e_i$ を作り，$S_\Delta$ の下限として積分を定義することも考えられる．しかし，$\mu E$ は有限，また $E$ において $f(x)$ は有界（$0\leqq f(x)<m$）なる根幹的の場合においては，このような定義からも積分は結局同一に帰する．

今，実数の区間 $[0,m]$ に目盛り

$0=a_0<a_1<\cdots<a_n=m,\quad\max(a_i-a_{i-1})=\delta$

をして

$E_i=E\{a_i\leqq f(x)< a_{i+1}\},\quad E=\sum_{i=1}^{n-1}E_i$

とすれば，$E$ のこの分割 $\Delta$ に関しては

$s_\Delta\geqq\sum a_i\,\mu E_i,\quad S_\Delta\leqq\sum a_{i+1}\,\mu E_i.$

さて

$0 \leqq \sum a_{i+1}\,\mu E_i-\sum a_i\,\mu E_i = \sum(a_{i+1}-a_i)\mu E_i\leqq \delta\sum\mu E_i=\delta\cdot\mu E.$

従って

$0\leqq S_\Delta-s_\Delta\leqq\delta\cdot\mu E.$

$\Delta$ は特別な分割であるが，一般に二つの分割 $\Delta^{(1)},\Delta^{(2)}$ を合併して分割 $\Delta^{(3)}$ が作られる．すなわち

$\Delta^{(1)}\colon\quad E=\sum_i e_i^{(1)},\qquad \Delta^{(2)}\colon\quad E=\sum_j e_j^{(1)},$

$\Delta^{(3)}\colon\quad E=\sum_{i,j} e_i^{(1)}e_j^{(2)}.$

そうすれば，

$S_{\Delta^{(1)}}\geqq S_{\Delta^{(3)}}\geqq s_{\Delta^{(3)}}\geqq s_{\Delta^{(2)}},$

すなわち

$S_{\Delta^{(1)}}\geqq s_{\Delta^{(2)}}.$

$\Delta^{(1)},\Delta^{(2)}$ は任意だから

$\inf S\geqq \sup s.$

よって，上記の $S_\Delta, s_\Delta$ を用いて

$0\leqq\inf S-\sup s\leqq S_\Delta -s_\Delta \leqq\delta\,\mu E.$

$\delta$ は任意に取れるから

$\inf S=\sup s=\int_E f(x)\,d\mu.$

なお考慮すべきは，§109 で $E$ を有限列 $e_i$ に分割して $s_\Delta$ を定義したが，上に述べたような思想圏において， $E$ を無限単純列 $\textstyle\sum e_i$ に分割して，そのような分割 $\Delta'$ に関して $s_{\Delta'}$ を定義して，$\sup s_{\Delta'}$ をもって積分を定義することである．然るに，$\Delta'$ は $\Delta$ の再分と考えられるから，$s_{\Delta'}\geqq s_\Delta$ であるが，一方 $s_\Delta\leqq S_{\Delta'}\leqq S_\Delta$ であるから，$\textstyle\sup s_{\Delta'}=\int_E f(x)\,d\mu$ である．$S$ に関しても同様である．

Riemann 積分に関して §30 に述べた Darboux の和においては，このような結果は得られなかった．あそこでは，$f(x)$ を単に有界としたが，ここでは $f(x)$ を M 函数とした．あそこでは $\Delta$ をば，区間を区間への分割に限定したが，ここでは，M 集合 $E$ を自由に M 集合に分割することを許したのである．

§109 に述べた積分の定義は簡明であるが，なお Lebesgue の定義との連絡のために，次の定理をつけ加える．簡明のために正なる函数を考察する．

定理 92．

集合 $E$ において $f(x)\geqq 0$ とする．正数の範囲に目盛り

($\Delta$)

(13)

$0=l_0<l_1<\cdots<l_n<\cdots,\qquad\sup(l_n-l_{n-1})=\delta$

をつけて，

$e_n=E\{l_n\leqq f(x)< l_{n+1}\},\qquad e_\infty=E\{f(x)=\infty\}$

と書けば，$\mu(e_\infty)=0$ なる条件の下において，

(14)

$\int_E f(x)\,d\mu=\lim_{\delta\to0}\sum_{1\leqq n<\infty}l_n\,\mu e_n.$

Lebesgue は初め $\mu E$ も $f(x)$ も有界なる場合に，(14) の右辺の極限をもって，左辺の積分を定義したのである．

［証］

目盛り $\Delta$ に対応して，

$\begin{align} f_\Delta(x)&=l_n, & x&\in e_n & &(n=0,1,2,\ldots)\\ &=\infty & x&\in e_\infty \end{align}$

なる函数 $f_\Delta(x)$ を取れば，$x\in e_n$ のとき，

$f(x)-f_\Delta(x)<l_{n+1}-l_n\leqq\delta$

だから，$\delta\to 0$ のとき

(15)

$f_\Delta(x)\to f(x).$

一方（定理 91），

$\int_E f_\Delta(x)\,d\mu = \sum_{1\leqq n<\infty}\int_{e_n}f_\Delta(x)\,d\mu +\int_{e_\infty}f_\Delta(x)\,d\mu$

(16)

$=\sum_{1\leqq n<\infty} l_n\,\mu e_n,$

後段の等式は仮定 $\mu e_\infty=0$ による（§109，6．）．さて，ここで二つの場合を区別する．

(1º)

$f(x)$ の積分が有限ならば（定理 90 の $S(x)$ に $f(x)$ 自身を当てて），(15) によって

$\int_Ef(x)\,d\mu=\lim_{\delta\to0}\int_Ef_\Delta(x)\,d\mu.$

従って，(16) から (14) を得る．

(2º)

$\textstyle\int_E f(x)\,d\mu=\infty$ ならば，(14) の右辺も $\infty$ である．――この場合，(8) と同様に，

$\varliminf\int_E f_\Delta(x)\,d\mu\geqq \int_E\varliminf f_\Delta(x)\,d\mu$

だから，(15) によって

$\varliminf\int_E f_\Delta(x)\,d\mu\geqq\int_E f(x)\,d\mu=\infty.$

従って

$\lim_{\delta\to 0}\int_E f_\Delta(x)\,d\mu=\infty.$

［附記］ 

$E_t=E\{t\leqq f(x)\},\mu E_t=\psi(t)$ と置けば，$\psi(t)$ は単調減少であるが，$e_n=E_{l_n}-E_{l_{n+1}}$ だから，

$\sum l_n\,\mu e_n=\sum\psi(l_n)(l_n-l_{n-1})$

で，$\textstyle\lim\sum l_n\,\mu e_n$ すなわち積分 $\textstyle\int_E f(x)d\mu$ は Riemann 積分$(R)\int^\infty\psi(t)dt$ に等しい．

次の定理は後に至って応用されるが，それ自身としても興味あるものである．

§109，5．において $g(x)=1$ とすれば，$e$ において $a\leqq f(x)\leqq b$ なるとき，$\textstyle a\,\mu e\leqq \int_e f(x)d\mu\leqq b\,\mu e$ で，これが本来の平均値の定理ともいうべきものである．この関係は，加法的集合函数としての積分の特徴である．すなわち次の定理が成り立つ．

定理 93．

$\mu E$ が有限なる $E$ において，$f(x)$ は M 函数，$F(e)$ は加法的集合函数で，$-\infty\leqq a\leqq b\leqq\infty$ なるすべての $a,b$ に関して

(17)

$e\subset E\{a\leqq f(x)\leqq b\}$　なるとき　$a\,\mu e\leqq F(e)\leqq b\,\mu e$

ならば

$F(E)=\int_e f(x)\,d\mu.$

［注意］ 

$a,b$ がその値として $\pm\infty$ をとる場合，規約 $0\cdot\infty=0$ を適用する． $E\{f(x)\geqq 0\}$ と $E\{f(x)<0\}$ とを別々に考察すればよいから，$E$ において $f(x)\geqq 0$ と仮定してよい．然らば，(17) において $a=0$ として，$F(e)\geqq 0$ を得る．また $e_\infty=E\{f(x)=\infty\}$ とすれば，$\mu e_\infty>0$ の場合には，(17) において $a=\infty$ と置いて $F(e_\infty)=\infty$，従って $F(E)=\infty$．また $\textstyle\int_E f(x)d\mu=\infty$ だから，定理は $\infty=\infty$ の意味で成り立つ．よって $\mu e_\infty=0$ としてよいが，そのとき (17) において $a=\infty$ とすれば $F(e_\infty)=0$ を得る（規約 $0\cdot\infty=0$）．故に

(18)

$f(x)\geqq 0,\quad F(e)\geqq 0,\quad \mu e_\infty=0,\quad F(e_\infty)=0$

と仮定して証明すればよい．この仮定の下においては，$-\infty<a\leqq b<\infty$ なる $a,b$ に関して (17) を仮定すれば，定理は成り立つ．それを証明する．

［証］

(13) の目盛りに関して，前のように

$e_n=E\{l_n\leqq f(x)<l_{n+1}\},\quad\sup(l_{n+1}-l_n)=\delta$

と置けば，

$E=\sum_{0\leqq n<\infty} e_n+e_\infty.$

さて (17) から

$l_n\,\mu e_n\leqq F(e_n)\leqq l_{n+1}\,\mu e_n.$

$F(e)$ の加法性から，$F(e_\infty)=0$ を用いて

$\sum l_n\,\mu e_n\leqq F(E)\leqq \sum l_{n+1}\,\mu e_n.$

$\mu e_\infty=0$ によって，積分 $\textstyle\int_E f(x)d\mu$ も同じ限界内にあるから，$\mu e_n<\infty$ を用いて

$\left|F(E)-\int_E f(x)\,d\mu\right|\leqq \sum(l_{n+1}-l_n)\mu e_n\leqq\delta\sum\mu e_n\leqq\delta\,\mu E.$

$\delta>0$ は任意であるから，$\mu E<\infty$ を用いて，

$F(E)=\int_E f(x)\,d\mu.$

［注意］ 

$\mu E=\infty$ ならば，規約によって $E_n\uarr E,\mu E<\infty$，よって $\textstyle F(E_n)=\int_{E_n}f(x)d\mu$ から，$n\to\infty$ の極限へ行って標記の等式を得る．

---

111．加法的集合函数

σ 系 $\mathrm{M}$ における加法的集合函数 $F(e)$ の定義は既に述べた（403 頁），すなわち

(1º)

単純和 $\textstyle e=\sum e_n$ に関して $\textstyle F(e)=\sum F(e_n)$．

これより後，簡単のためこの定義に次の条件を追加する．

(2º)

一つの $\mathrm{M}$ 集合 $E$ の内で，$F(e)$ は有限である： $e\subset E, e\in \mathrm{M}$ ならば $F(e)\ne\pm\infty.$

この条件のために次の定理が成り立つ．

定理 94．

$F(e)$ は $E$ において有界である．すなわち一つの定数 $m$ をもって，$e\subset E$ なるとき，$|F(e)|<m$．

［証］

$|F(E)|=c$ と置けば定義の (2º) によって $c\ne\infty$，もしも $F(e)$ が有界でないとするならば，任意の $\eta>0$ をもって

$e_1\subset E,\quad |F(e_1)|> c+\eta$

なる $e_1$ が存在する．従って

$F(e_1)+F(E-e_1)=F(E)$

から

$|F(E-e_1)|>\eta.$

そうして $e_1$ または $E-e_1$ の内で $F$ は有界でないはずである．今両者のうちで $F$ が有界でないほうを改めて $e_1$ と書いて，同様の考察を継続すれば，

(1)

$e_1\supset e_2\supset\cdots\supset e_n\supset\cdots, \quad |F(e_n-e_{n+1})|>\eta$

なる集合列 $\{e_n\}$ を得る．そこで $e_0=\lim e_n$ とすれば

$e_1-e_0=\sum_{n=1}^\infty(e_n-e_{n+1})$

は単純和だから，

$F(e_1-e_0)=\sum F(e_n-e_{n+1})$

であるべきであるが，(1) によって右辺は収束しない．これは不合理である．

定理 95．

$F$ が加法的ならば，

$e_n\to e$　のとき　$F(e_n)\to F(e).$

［証］

$F$ が常に正： $F(e)\geqq 0$ なるときは，$F$ は有限であることを用いて，定理 87 で $\nu e$ に関して述べたのと同様である．$F$ の符号が一定でないときには，次の定理 96 によって $F\geqq 0$ の場合に帰する．

加法的集合函数 $F(e)$ が与えられているとき

(2)

$F^+(E)=\sup_{e\in E}F(e),\quad F^-(E)=\inf_{e\in E}F(e)$

によって，集合函数 $F^+,F^-$ が定義される．$e=0$ を空集合とすれば，$F(0)=0$ だから，上記の $sup$ は $\geqq 0$，$\inf$ は $\leqq 0$，従って

(3)

$F^+(E)\geqq 0,\quad F^-(E)\leqq 0.$

定義．

$F^+,F^-$ をそれぞれ $F$ の正の変動（または変分），負の変動といい，また $V(E)=F^+(E)+|F^-(E)|$ を $F(E)$ の絶対変動（または全変動）という．

定理 96．

$F(E)=F^+(E)+F^-(E).$

［証］

$E=E_1+E_2$ を単純和とすれば，

$F(E)=F(E_1)+F(E_2).$

$E_2\subset E$ だから，(2) によって

$F(E_2)\leqq F^+(E),\quad F(E_2)\geqq F^-(E).$

故に

$F(E)-F^-(E)\geqq F(E_1)\geqq F(E)-F^+(E).$

$E_1$ は $E$ の任意の部分集合（M 集合）だから，上限，下限へ行って

$F(E)-F^-(E)\geqq F^+(E),\quad F^-(E)\geqq F(E)-F^+(E).$

故に標記の等式が成り立つ．

定理 97．

$F^+,F^-,V$ は加法的である．

［証］

$\textstyle E=\sum E_n$ を単純和とし，$F^+(E)=g,F^+(E_n)=g_n$ と書いて，$\textstyle g=\sum g_n$ を証明する． 任意に $\varepsilon>0$ を取って $\textstyle \varepsilon=\sum \varepsilon_n,\varepsilon_n>0$ とする．然らば上限としての $F^+$ の意味によって，

$e_n\subset E_n,\quad F(e_n)>g_n-\varepsilon_n\quad(n=1,2,\ldots)$

なる $e_n$ がある．そこで $\textstyle e=\sum e_n$ とすれば，これも単純和で，$e\subset E$ だから，

$g\geqq F(e)=\sum F(e_n)>\sum g_n-\varepsilon.$

故に $\textstyle \sum g_n$ は収束するが，$\varepsilon>0$ は任意だから $\textstyle g\geqq \sum g_n$． 逆に $e\subset E, F(e)>g-\varepsilon, eE_n=e_n$ とすれば，$\textstyle e=\sum e_n$ は単純和で，

$g-\varepsilon < F(e)=\sum F(e_n) \leqq \sum g_n.$

$\varepsilon$ は任意だから $\textstyle g\leqq \sum g_n$．故に $\textstyle g=\sum g_n$．すなわち $F^+(E)$ は加法的である．従って $F^-=F-F^+, V=F^++|F^-|$ も加法的である．

定理 98．

上下限 $F^+(E),F^-(E)$ は $E$ 内で到達される．すなわち

1º

$E=P+N$ なる分割があって［Hahn の分割］，

$F^+(E)=F(P),\quad F^-(E)=F(N).$

2º

$e\subset P$ ならば，$F(e)\geqq 0$，$e\subset N$ ならば，$F(e)\leqq 0$．

3º

$e\subset E$ なる $e$ に関しては

$F^+(e)=F(eP),\quad F^-(e)=F(eN).$

［証］

(4)

$E=P+N,\quad F^+(N)=0,\quad F^-(P)=0$

なる $P,N$ の存在を示せばよい．そうすれば（定理 96）

$\begin{align} F(P)=F^+(P)+F^-(P)=F^+(P),\\F(N)=F^+(N)+F^-(N)=F^-(N). \end{align}$

また一方（定理 97）

$\begin{align} F^+(E)=F^+(P)+F^+(N)=F^+(P),\\F^-(E)=F^-(P)+F^-(N)=F^-(N) \end{align}$

だから 1º が得られる．

2º も (4) から得られる．実際，(4) から $F^-(P)=0$ だから，$e\subset P$ なるとき $F(e)\geqq 0$．同様に $F^+(N)=0$ だから，$e\subset N$ なるとき $F(e)\leqq 0$．

次に，$e'\subset eP$ ならば，2º によって $F(e')\geqq 0$，従って $F^-(eP)=0$．また $e'\subset eN$ ならば $F(e')\leqq 0$．故に $e=eP+eN$ は $e$ の Hahn 分割である．それが 3º である．

さて (4) を満足せしめる $P,N$ を求めよう．$F^+(E)=g$ と置く．そのとき $1$ より小なる一定の $\varepsilon$ に対して

$F(e_n)>g-\varepsilon^n\quad(1>\varepsilon>0)$

なる集合列 $e_n$ が $E$ 内にある．そうして

$F^+(e_n)>g-\varepsilon^n,\quad F^+(E-e_n)<\varepsilon^n.$

今

$P=\varliminf e_n,\quad N=E-P$

とする．然らば任意の $p$ に関して

$N=\varlimsup(E-e_n)\subset \bigcup_{p\leqq n<\infty}(E-e_n).$

故に

$0\leqq F^+(N)\leqq \sum_{p\leqq n<\infty}F^+(E-e_n) <\sum_{n=p}^\infty \varepsilon^n =\frac{\varepsilon^n}{1-\varepsilon}.$

$1>\varepsilon>0$ で $p$ は任意だから，$p\to\infty$ の極限へ行って，$F^+(N)=0$． 一方，$F^+(e_n)\leqq g, F(e_n)=F^+(e_n)+F^-(e_n)>g-\varepsilon^n$ から，$-F(e_n)<\varepsilon^n$．よって 404 頁 (2) と同様に（あそこの $\mu$ に $-F^-$ をあてて），

$\varepsilon^n\geqq\varliminf(-F^-(e_n))\geqq -F^-(\varliminf e_n)=-F^-(P)\geqq 0.$

従って $n\to\infty$ に行って $F^-(P)=0$．

すなわち $P,N$ は (4) に適合する．

112．絶対連続性 特異性

σ 系 $\mathrm{M}$ における一つの測度 $\mu$ に基づいて，一般の加法的集合函数の連続性を考察するために，次の定義を立てる．

$E$ において加法的なる集合函数 $F(e)$ が

(1)

$\mu e=0$　なるとき　$F(e)=0$

なる条件を満たすとき，$F(e)$ を $E$ において絶対連続という．

また $F(e)$ が $E$ ないでほとんど常に $0$ なるとき，すなわち $\mu(e_0)=0$ なる一つの集合 $e_0$ 以外で常に $0$ なるとき，$F(e)$ を特異函数という．そのとき，$e=e_0e+(e-e_0)$ で $F(e-e_0)=0$ なのだから，$F(e)=F(e_0e)$．

次のことは定義によって明白であろう．

1．

絶対連続な函数 $F$ の正・負の成分 $F^+,F^-$ および絶対変分 $V$ は絶対連続である．

2．

絶対連続な函数は線型空間を成す．すなわち $F.G$ が絶対連続で，$a$ が任意の実数ならば，$aF,F+G$ も絶対連続である．一般に絶対連続な函数 $F_i\,(i=1,2,\ldots,n)$ の実係数 $a_i$ をもっての一次結合 $\textstyle \sum_{i=1}^n a_iF_i$ は絶対連続である．

3．

$E$ において絶対連続なる函数の列 $\{F_n(e)\}$ が，すべての $e\subset E$ に関して $F(e)$ に収束するならば，$F$ は絶対連続である．

4．

集合列 $E_n$ の各集合において $F$ が絶対連続ならば，$F$ は $E_n$ の合併 $\textstyle E=\bigcup E_n$ においても絶対連続である．

上記 1．-4．において‘絶対連続’を‘特異’で置き換えてもよい．

5．

$E$ において絶対連続で，かつ特異な函数は常に $0$ に等しい．

$F$ が特異ならば，$e_0\subset E,\mu e_0=0;\,F(e)=F(ee_0)$．その $F$ が絶対連続ならば，$\mu ee_0=0$ から，$F(ee_0)$．従って $F(e)=0$．

6．

積分 $\textstyle \int_e f(x)d\mu$ を集合 $e$ の函数とみて，それを不定積分という．不定積分が $E$ の上で有限ならば，$E$ 内の $e$ でも有限で，それは加法的であるが（定理 91），それは $E$ において絶対連続である（§109，6．）．

［注意］ 

上記の定義において，絶対連続という用語は奇異に感ぜられるであろう．この用語の由来は後に述べるが，ここで集合函数の連続性に関して手近な解説をしておこう．まず $F(e)$ が絶対連続ならば，$\mu e\to 0$ なるとき $F(e)\to 0$ なることを証明する．定理 96 によって $F(e)\geqq 0$ の場合を考察すればよいが，今間接法を用いるために，$\mu e_n\to 0$ で，しかも $F(e_n)\to 0$ ではないと仮定する．然らば $\{e_n\}$ の中に，或る数 $\eta >0$ に関して $F(e_n)>\eta>0$ なる $e_n$ が無数にあって，その中から $\mu e_n<\delta^n\,(0<\delta<1)$ なる $\{e_n\}$ を取り出すことができるであろう．それらの $e_n$ に関して $e_0\leqq \varlimsup e_n$ と置けば，$\textstyle e_0\subset \bigcup_{n\geqq p}e_n$，従って $\textstyle \mu e_0\leqq \sum_{n\geqq p}\mu e_n < \frac{\delta^p}{1-\delta}$．$p$ は任意だから，$\mu e_0~0$．故に絶対連続性の定義によって $F(e_0)=0$．然るに404 頁 (3) と同様に$F(e_0)=F(\varlimsup e_n)\geqq \varlimsup F(e_n)\geqq \eta>0$．これは不合理である．故に $\mu e_n\to 0$ ならば $F(e_n)\to 0$．すなわち $\mu e_n=0$ なるとき $F(e)=0$ なることは，$\mu e\to 0$ なるとき $F(e)\to 0$ なることを意味する．それを見越して，絶対連続の定義を既述のように立てたのである．$\mu e=0$ であっても，それは $e=0$，すなわち $e$ が空集合であるのではない．だから単に $\mu e\to 0$ からしてすでに $F(e)\to 0$ が保証されることは，高度の連続性といわねばならない．

定理 99．

$E$ の測度が有限なるとき（または一般に $E$ が有限測度の集合列の合併であるとき），$E$ において加法的なる集合函数は絶対連続な函数と特異函数との和として一意に表わされる［Lebesgue の分割］．

定理 100．

$E$ は前の通りとして，$E$ において加法的なる集合函数が絶対連続なるためには，それが或る点函数の不定積分であることが，必要かつ十分である［Radon-Nikodym の定理］．

［証］

定理 99，100 を一括して証明するために，$\mu E<\infty$，また $F(e)$ は $E$ において加法的として，$e\subset E$ なる $e$ に関し，

(2)

$F(e)=F(eH)L\int_e f(x)\,d\mu$

なる M 函数 $f(x)$ と $\mu H=0$ なる M 集合 $H\subset E$ との存在を証明する．然らば $e\subset E-H$，従って $eH=0$ なるとき，$\mathit{\Phi}(e)=F(eH)=0$ だから，$\mathit{\Phi}$ は特異函数で，また $\textstyle \int_e f(x)d\mu$ は絶対連続であるから（前頁，6．）定理 99 にいう Lebesgue の分割の可能性が確定する． また $\textstyle \mu E_n<\infty, E=\bigcup E_n$ ならば，それを単純和に直すことができるから，加法性によって $E$ においても (2) が成り立つ．Lebesgue の分割が一意的であることは簡明である．今

$F(e)=\mathit{\Phi}_1(e)+\mathit{\Psi}_1(e)=\mathit{\Phi}_2(e)+\mathit{\Psi}_2(e)$

で，$\mathit{\Phi_1,\Phi_2}$ は特異，$\mathit{\Psi_1,\Psi_2}$ を絶対連続とすれば，

$\mathit{\Phi_1-\Phi_2=\Psi_1-\Psi_2}$

において，左辺は特異，右辺は絶対連続だから，両辺は $0$ に等しい（前頁，5．）．

Lebesgue 分割が一意だから，(2) から定理 100 にいう条件の必要性がわかる．それが十分であることは既知である（§109，6．）．

さて，(2) の証明であるが，$F$ に関する Hahn の分割（定理 98）$E=P+N$ によって，例の通り $F(e)\geqq 0$ としてよい．仮定によって $\mu E<\infty$ だから，$r>0$ を任意の有理数として，$E$ において加法的なる $F(e)-r\mu e$ に Hahn の分割を適用して，

(3)

$e_r$ において $F(e)\geqq r\mu e$,　$e'_r$ において $F(e)\leqq r\mu e$

とする．ただし，$e'_r=E-e_r$．すなわち $'$ は $E$ に対する余集合（以下同様）．また，負（$\leqq$）なる有理数 $r$ に対して，$e_r=E$ と置く．然らば，$r\leqq 0$ なるときにも，(3) は成り立つ． 今，任意の実数 $t$ に対して

(4)

$E(t)=\bigcap_{r<t}e_r$

と置く（402頁）．然らば，(3) から，実数 $t$ に関して，

(5)

$E(t)$　において　$F(e)\geqq t\mu e,$

(6)

$E(t)'=\bigcup_{r<t}e'_r$　において　$F(e)\leqq t\mu e$

であるが，今

(7)

$H=E(\infty)=\bigcap_{r<\infty}e_r$

と置けば，任意の $r$ に対して (3) から

$F(H)\geqq r\mu H.$

$F(H)<\infty$ のはずだから，$\mu H=0$．故に $\mathit{\Phi}(e)=F(eH)$ は特異函数である．よって $H'=E=H$ と置けば

$F(e)=F(eH)+F(eH'),\quad \mu e=\mu eH'$

だから，(2) を得るには，

$F(eH')=\int_{eH'}f(x)\,d\mu = \int_e f(x)\,d\mu$

なる $f(x)$ が求められればよい．このような $f(x)$ は 402 頁に述べたようにして，$E(\infty)=E$ と置いて，(4)，(7) の集合 $E(t), -\infty\leqq t\leqq \infty$ から得られる． 実際，そのとき

(8)

$E(t)=E\{f(x)\geqq t\},\quad E'(s)=E\{f(x)<s\}$

であるが，(5)，(6) によって，$-\infty<t\leqq s<\infty$ なる $t,s$ と $e\subset H'$ なる $e$ に関して

(9)

$e\subset E\{t\leqq f(x)\leqq s\}$　なるとき　$t\mu e\leqq F(e)\leqq s\mu e.$

ここで，§110，(18) の仮定が，$H'$ において成り立つ．実際，(4)，(7) によって $E(0)=E,E(\infty)=H$ だから，(8) の前段の式によって，$H'$ において $0\leqq f(x)<\infty$，従ってあそこの $e_\infty=E(\infty)\cap H'$ は空集合となり，$\mu(e_\infty)=0,F(e_\infty)=0$ が成り立つ．$F(e)\geqq 0$ は仮定した．

さて，$H'\subset E$，従って $\mu H'< \infty$ だから，(9) によって，$e\subset H'$ なる $e$ に関して

$F(e)=\int_e f(x)\,d\mu$

を得る（定理 93，415 頁［注意］）．

---