# 符号付き測度と Radon–Nikodym の定理：Hahn・Jordan・Lebesgue 分解から微積分学の基本定理まで > Hahn・Jordan 分解と Lebesgue 分解を示し、von Neumann の証明で Radon–Nikodym の定理を導く。Vitali の被覆補題から Lebesgue の微分定理を示し、有界変動・絶対連続関数と微積分学の基本定理を測度の言葉で証明する。 > https://rikai.mugen-giken.com/mathematics/real-analysis/radon-nikodym ## 0. この記事の要点 針金に沿って質量が分布しているとき、各点の「濃さ」（密度）が分かれば、区間ごとの質量は密度を足し合わせて求められます。では逆に、区間ごとの質量だけが分かっているとき、そこから密度を取り出せるでしょうか。この記事は、取り出せるための条件と、取り出した密度の性質を調べます。読み終えると、密度が存在する条件（Radon–Nikodym の定理）と、積分してから微分すると元に戻る関数の条件（微積分学の基本定理のルベーグ版）が分かります。 - 非負関数 $f$ を使って $\nu(E)=\int_E f\,d\mu$ と測度 $\nu$ を作るとき、$\mu(E)=0$ なら $\nu(E)=0$ になります（**絶対連続**）。**Radon–Nikodym の定理**はその逆で、$\sigma$-有限測度（全体を、測度が有限な可算個の部分に分けられる測度）$\nu$ が $\mu$ に絶対連続ならば、$\nu$ は必ずこの形に書けると主張します。密度 $f=d\nu/d\mu$ の存在を保証する定理で、[条件付き期待値](/mathematics/probability/conditional-expectation#def-cond-exp)の定義の土台です。 - 一般の $\nu$ は、$\mu$ に絶対連続な部分と、$\mu$ と**互いに特異**な部分に一意に分かれます（**Lebesgue 分解**）。符号付き測度は、正の部分と負の部分に分かれます（**Hahn 分解・Jordan 分解**）。 - Radon–Nikodym の定理の証明は、**von Neumann** によるもので、$L^2$ がヒルベルト空間であること（リースの表現定理。ヒルベルト空間上の連続な線形汎関数は内積で書ける、という定理）だけを使います。 - 実数直線上では、**Lebesgue の微分定理** $\frac{1}{2r}\int_{x-r}^{x+r}f\to f(x)$（ほとんどすべての $x$）が成り立ちます。証明の鍵は Vitali の被覆補題による極大不等式（点のまわりの $|f|$ の平均の最大値を抑える不等式）です。発展として、球を膨らませずに重なりの回数を次元だけで抑える $\mathbb{R}^n$ の **Besicovitch の被覆定理**も証明します。 - これらから、**有界変動関数**と**絶対連続関数**の理論が得られます。$F$ が絶対連続であることは $F(x)=F(a)+\int_a^x F'$ と書けることと同値で、連続な単調関数でもカントール関数のように $F'=0$ a.e. なのに増加するものがあることとの対比が、「絶対連続」の意味です。 ## 1. 動機 — 積分の「密度」を取り出す [ルベーグ積分の定義と収束定理](/mathematics/real-analysis/lebesgue-integral) では、[可測関数](/mathematics/real-analysis/lebesgue-integral#def-measurable-function) $f\ge0$ から出発して $E\mapsto\int_Ef\,d\mu$ を考えました。これは $E$ 上の「$f$ に比例する質量」を測る新しい測度です。確率論では密度関数 $f$ をもつ分布が代表例で、物理では質量分布や電荷分布の密度が対応します。逆に、与えられた測度 $\nu$ が密度をもつとは限らず、また密度をもつならそれを**取り出す**方法が欲しい。典型例が条件付き期待値で、$E[X\mid\mathcal{G}]$ は「$A\mapsto E[X;A]$ という $\mathcal{G}$ 上の測度の、$P|_{\mathcal{G}}$ に関する密度」として定義されます（[条件付き期待値](/mathematics/probability/conditional-expectation) の ）。この記事の がその主張の証明を与えます。 もう一つの動機は、微分と積分の関係です。$\mathbb{R}$ 上の $F(x)=\int_a^xf\,dm$ について、$F'=f$ はほとんどすべての $x$ で成り立つか。逆に、どんな関数 $F$ が $F(x)=F(a)+\int_a^xF'$ を満たすか。リーマン積分の微積分学の基本定理（[積分の基本定理と定積分](/mathematics/calculus/integration-and-ftc)）は $C^1$ 級の関数の話でした。ルベーグ積分では、答えが「絶対連続関数」とぴったり一致します。その証明は、$F$ から作る測度に Radon–Nikodym の定理を適用することで得られます。 ## 2. 絶対連続・特異・符号付き測度 $(X,\mathcal{M})$ を可測空間とし、$\mu,\nu$ をその上の測度とする。 - $\nu$ が $\mu$ に関して**絶対連続**であるとは、$\mu(E)=0$ となるすべての $E\in\mathcal{M}$ で $\nu(E)=0$ が成り立つことをいい、$\nu\ll\mu$ と書く。 - $\nu$ と $\mu$ が**互いに特異**であるとは、$\mathcal{M}$ の元 $Z$ で $\mu(Z)=0$ かつ $\nu(Z^{c})=0$ となるものが存在することをいい、$\nu\perp\mu$ と書く（$\nu$ が零集合 $Z$ に**集中している**ともいう）。 $\nu(E)=\int_Ef\,d\mu$ ならば、$\mu(E)=0$ のとき被積分関数 $f\mathbf{1}_E=0$ a.e. だから $\nu(E)=0$（）、すなわち $\nu\ll\mu$。他方、ディラック測度 $\delta_0$ はルベーグ測度 $m$ と互いに特異です（$Z=\{0\}$）。 $\nu$ が有限測度のとき、$\nu\ll\mu$ であることは、「任意の $\varepsilon>0$ に対し $\delta>0$ が存在し、$\mu(E)<\delta$ ならば $\nu(E)<\varepsilon$」と同値である。 ($\Leftarrow$) $\mu(E)=0$ なら、任意の $\varepsilon$ に対し $\mu(E)<\delta$ だから $\nu(E)<\varepsilon$。よって $\nu(E)=0$。($\Rightarrow$) 否定すると、ある $\varepsilon>0$ と $E_n$ で $\mu(E_n)<2^{-n}$、$\nu(E_n)\ge\varepsilon$ となるものがある。$F_k=\bigcup_{n\ge k}E_n$ は減少列で $\mu(F_k)\le\sum_{n\ge k}2^{-n}=2^{1-k}$、$\nu(F_k)\ge\varepsilon$。$F=\bigcap_kF_k$ は $\mu(F)\le\mu(F_k)\to0$ だから $\mu(F)=0$。一方 $\nu$ は有限だから上からの連続性（ (4)）により $\nu(F)=\lim\nu(F_k)\ge\varepsilon$。$\nu\ll\mu$ に反する。 可測空間 $(X,\mathcal{M})$ 上の**有限符号付き測度**とは、写像 $\nu:\mathcal{M}\to\mathbb{R}$ で $\nu(\emptyset)=0$ かつ、互いに素な $E_n\in\mathcal{M}$ について $\nu(\bigsqcup E_n)=\sum_n\nu(E_n)$ を満たすものをいう。右辺の級数は和の順序によらずに収束するので絶対収束する。集合 $P$ が $\nu$-**正**であるとは、$P$ の可測な部分集合 $E$ すべてで $\nu(E)\ge0$ となることをいい、$\nu$-**負**も同様に定める。 有限測度の差 $\nu_1-\nu_2$ は有限符号付き測度の例です。下からの連続性（ (3)）の証明は、そのまま符号付き測度に通ります。 ## 3. Hahn 分解と Jordan 分解 この節の目標は、符号付き測度の全体を「$\nu\ge0$ となる部分」と「$\nu\le0$ となる部分」に切り分けること（Hahn 分解）です。次の補題はその準備で、$\nu(E)>0$ の集合 $E$ から、どの部分集合を取っても負にならない部分を取り出せる、という主張です。証明の方針は、$E$ から負の値をもつ部分集合を、より大きく負になるものから順に削っていくことです。削った分の合計は有限なので、削る集合の負の度合いは次第に小さくなり、最後に残る部分には負の部分集合が残りません。 $\nu$ を有限符号付き測度とし、$E\in\mathcal{M}$ が $\nu(E)>0$ を満たすとする。このとき $\nu$-正な $P\subset E$ で $\nu(P)\ge\nu(E)$ となるものが存在する。 $E_0=E$ とし、$k=1,2,\ldots$ について次を行う。$E_{k-1}$ の可測部分集合 $F$ で $\nu(F)<0$ となるものがなければ止める。あれば、そのような $F$ のうち、$\nu(F)<-1/n$ となる最小の正整数 $n=n_k$ が存在するから、その条件を満たす $F_k\subset E_{k-1}$ を一つ選び、$E_k=E_{k-1}\setminus F_k$ とする。 $P=E\setminus\bigcup_kF_k$ とおく。$F_k$ は互いに素で $\nu(\bigsqcup F_k)=\sum\nu(F_k)$ は実数（$\nu$ は実数値）だから、この級数は収束し、特に $1/n_k<-\nu(F_k)\to0$、すなわち $n_k\to\infty$。また $\nu(P)=\nu(E)-\sum_k\nu(F_k)\ge\nu(E)>0$。 $P$ が正であることを示す。途中で止まった場合は $P=E_k$ に負の部分集合がないので正である。無限に続く場合、$F\subset P$ で $\nu(F)<0$ があるとする。$F\subset E_{k-1}$ がすべての $k$ で成り立つから、$n_k$ の最小性により $\nu(F)\ge-1/(n_k-1)$（$n_k\ge2$ のとき）。$k\to\infty$ で $\nu(F)\ge0$ となり矛盾する。 $\nu$ を有限符号付き測度とする。このとき $X=P\sqcup N$ となる可測集合 $P,N$ で、$P$ が $\nu$-正、$N$ が $\nu$-負であるものが存在する。もう一つの分解 $(P',N')$ があれば、$P\triangle P'$ のすべての可測部分集合の $\nu$ は $0$ である。 正集合の全体を $\mathcal{P}$ とし、$s=\sup_{P\in\mathcal{P}}\nu(P)$ とする（$\emptyset\in\mathcal{P}$）。正集合の列 $P_n$ を $\nu(P_n)\to s$ ととる。$G_n=P_n\setminus(P_1\cup\cdots\cup P_{n-1})\subset P_n$ は互いに素な正集合で、$Q=\bigcup_nP_n=\bigsqcup_nG_n$ も正集合（部分集合 $E\subset Q$ は $\nu(E)=\sum_n\nu(E\cap G_n)\ge0$）。$Q\setminus P_n$ は正集合 $Q$ の部分集合だから $\nu(Q\setminus P_n)\ge0$、よって $\nu(Q)\ge\nu(P_n)\to s$。一方 $\nu(Q)\le s$。ゆえに $\nu(Q)=s$（有限）。 $N=X\setminus Q$ が負であることを示す。$F\subset N$ で $\nu(F)>0$ があれば、 により正集合 $P'\subset F$、$\nu(P')>0$ がある。$Q\sqcup P'$ は正集合で $\nu(Q\sqcup P')=s+\nu(P')>s$ となり、$s$ の定義に反する。以上で $(P,N)=(Q,N)$ が分解を与える。 一意性：$E\subset P\setminus P'$ とすると、$E\subset P$ より $\nu(E)\ge0$、$E\subset N'$ より $\nu(E)\le0$。よって $\nu(E)=0$。$P'\setminus P$ も同様。 有限符号付き測度 $\nu$ は、互いに特異な二つの有限測度 $\nu^{+},\nu^{-}$ の差 $\nu=\nu^{+}-\nu^{-}$ としてただ一通りに書ける。$(P,N)$ を Hahn 分解とすると、$\nu^{+}(E)=\nu(E\cap P)$、$\nu^{-}(E)=-\nu(E\cap N)$ である。さらに、$\nu=\nu_1-\nu_2$（$\nu_1,\nu_2$ は有限測度）と書けるなら $\nu_1\ge\nu^{+}$、$\nu_2\ge\nu^{-}$ である。 $\nu^{\pm}$ は P, N の正負性から測度（非負、可算加法的）であり、$\nu^{+}(N)=0$、$\nu^{-}(P)=0$ だから互いに特異で、$\nu=\nu^{+}-\nu^{-}$。一意性：$\nu=\nu_1-\nu_2$、$\nu_1\perp\nu_2$ とし、$\nu_2(A)=0$、$\nu_1(A^{c})=0$ となる可測集合 $A$ をとる。$E\subset A$ で $\nu(E)=\nu_1(E)\ge0$、$E\subset A^{c}$ で $\nu(E)=-\nu_2(E)\le0$ だから、$(A,A^{c})$ も Hahn 分解で、 の一意性から $\nu_1(E)=\nu_1(E\cap A)=\nu(E\cap A)=\nu(E\cap P)=\nu^{+}(E)$。$\nu_2$ も同様。最後の不等式：$\nu^{+}(E)=\nu(E\cap P)=\nu_1(E\cap P)-\nu_2(E\cap P)\le\nu_1(E)$。$\nu^{-}\le\nu_2$ も同様。
P（f ≥ 0） P（f ≥ 0） N（f < 0） N（f < 0） x ν⁺ は山（色つき）の面積、ν⁻ は谷の面積
$|\nu|=\nu^{+}+\nu^{-}$ を $\nu$ の**全変動測度**と呼びます。 ## 4. Lebesgue 分解と Radon–Nikodym の定理 まず有限測度の場合に、$L^2$ の議論で一気に示します。 次の補題では、$\mu$ と $\nu$ を足した測度 $\lambda=\mu+\nu$ の $L^2$ 空間で、リースの表現定理を使います。これで $\nu(E)=\int_Eh\,d\lambda$ となる関数 $h$ が得られ、$h$ は $0$ 以上 $1$ 以下だと分かります。$h=1$ となる集合 $B$ が $\mu$-零集合で、$h<1$ の部分では $h/(1-h)$ が密度になります。この $h/(1-h)$ は、$1+h+h^2+\cdots$ という等比級数の和 $1/(1-h)$ を使って作ります。 $\mu,\nu$ を $(X,\mathcal{M})$ 上の有限測度とする。このとき可測集合 $B$ で $\mu(B)=0$ となるものと、可測関数 $f:X\to[0,\infty)$ で、すべての $E\in\mathcal{M}$ に対し $$ \nu(E)=\nu(E\cap B)+\int_Ef\,d\mu $$ を満たすものが存在する。 $\lambda=\mu+\nu$（有限測度）とする。$g\in L^2(\lambda)$（複素数値可測関数）に対し、$\int|g|\,d\nu\le\int|g|\,d\lambda\le\lambda(X)^{1/2}\|g\|_{L^2(\lambda)}$（コーシー・シュワルツ、）だから、$\Lambda(g)=\int g\,d\nu$ は $L^2(\lambda)$ 上の有界線形汎関数である。$L^2(\lambda)$ はヒルベルト空間（）だから、リースの表現定理（）により $y\in L^2(\lambda)$ で $\Lambda(g)=\int\bar{y}\,g\,d\lambda$ がすべての $g$ で成り立つ。$h=\bar{y}$ とおく。$g=\mathbf{1}_E$ を代入すると $$ \nu(E)=\int_Eh\,d\lambda\qquad(E\in\mathcal{M}). $$ 左辺は実数だから $\operatorname{Im}h$ の任意の可測集合上の積分は $0$ で、$E=\{\operatorname{Im}h>0\}$、$\{\operatorname{Im}h<0\}$ とすれば $\operatorname{Im}h=0$ $\lambda$-a.e.。$0\le\nu(E)\le\lambda(E)$ から $0\le h\le1$ $\lambda$-a.e. を得る：$E=\{h<0\}$ で $\lambda(E)>0$ なら $\int_Eh\,d\lambda<0\le\nu(E)$ となり矛盾、$E=\{h>1\}$ で $\lambda(E)>0$ なら $\nu(E)=\int_Eh\,d\lambda>\lambda(E)\ge\nu(E)$ となり矛盾。零集合上で $h$ を取り替えて、すべての $x$ で $0\le h(x)\le1$ としてよい。 有界可測関数 $g$ に対し、$\int g\,d\nu=\int gh\,d\lambda=\int gh\,d\mu+\int gh\,d\nu$ だから（すべて有限） $$ \int g(1-h)\,d\nu=\int gh\,d\mu .\tag{$\star$} $$ $B=\{h=1\}$、$A=\{h<1\}$ とする。$g=\mathbf{1}_B$ を $(\star)$ に代入すると左辺は $0$、右辺は $\mu(B)$ だから $\mu(B)=0$。$E\in\mathcal{M}$ とし、$g=(1+h+\cdots+h^{n})\mathbf{1}_E$（有界）を $(\star)$ に代入すると $$ \int_E(1-h^{n+1})\,d\nu=\int_E(h+h^{2}+\cdots+h^{n+1})\,d\mu . $$ $n\to\infty$ とする。$A$ 上では $h<1$ で $1-h^{n+1}\uparrow1$、$B$ 上では $1-h^{n+1}=0$ だから、左辺は単調収束定理（）により $\nu(E\cap A)$ に収束する。右辺の被積分関数は $A$ 上で $\sum_{k\ge1}h^k=h/(1-h)$ に増加し、$B$ 上は $\mu(B)=0$ で無視できるから、右辺は $\int_{E\cap A}\frac{h}{1-h}\,d\mu$ に収束する。$f=\frac{h}{1-h}\mathbf{1}_A$（有限値の非負可測関数）とおけば、$\nu(E\cap A)=\int_Ef\,d\mu$。$\nu(E)=\nu(E\cap A)+\nu(E\cap B)$ より主張を得る。 $\mu,\nu$ を $(X,\mathcal{M})$ 上の $\sigma$-有限測度とする。このとき、測度 $\nu_a,\nu_s$ で $$ \nu=\nu_a+\nu_s,\qquad\nu_a\ll\mu,\quad\nu_s\perp\mu $$ となるものがただ一組存在する。さらに可測関数 $f:X\to[0,\infty)$ で $\nu_a(E)=\int_Ef\,d\mu$ となるものが存在し、$f$ は $\mu$-a.e. で一意である。 **(存在)** $\mu,\nu$ が $\sigma$-有限だから、$X=\bigsqcup_nX_n$（互いに素な可測集合）で $\mu(X_n),\nu(X_n)<\infty$ となるものがとれる（$\mu$ の分割と $\nu$ の分割の共通部分を取る）。各 $n$ に を $X_n$ 上の有限測度 $\mu|_{X_n}$、$\nu|_{X_n}$ に適用し、$B_n\subset X_n$、$f_n$ を得る。$B=\bigsqcup B_n$、$f=\sum f_n\mathbf{1}_{X_n}$ とおき、$\nu_s(E)=\nu(E\cap B)$、$\nu_a(E)=\int_Ef\,d\mu$ と定める。$\mu(B)=\sum\mu(B_n)=0$、$\nu_s(B^{c})=0$ だから $\nu_s\perp\mu$。$\mu(E)=0$ なら $\nu_a(E)=0$ だから $\nu_a\ll\mu$。各 $X_n$ 上で補題により $\nu(E\cap X_n)=\nu(E\cap B_n)+\int_{E\cap X_n}f\,d\mu$ だから、$n$ について和をとると（ (2)）$\nu(E)=\nu_s(E)+\nu_a(E)$。 **(分解の一意性)** $\nu=\nu_a'+\nu_s'$ をもう一つの分解とし、$\nu_s$ が $\mu$-零集合 $Z$ に、$\nu_s'$ が $\mu$-零集合 $Z'$ に集中するとする。$W=Z\cup Z'$ は $\mu(W)=0$ で、$\nu_s(W^{c})=\nu_s'(W^{c})=0$。$\nu_a\ll\mu$ だから $\nu_a(E\cap W)=0$、$\nu_a'(E\cap W)=0$。したがって $\nu(E\cap W)=\nu_a(E\cap W)+\nu_s(E\cap W)=\nu_s(E\cap W)=\nu_s(E)$（最後は $\nu_s$ が $W$ に集中するため）、同様に $\nu(E\cap W)=\nu_s'(E)$。ゆえに $\nu_s=\nu_s'$。また $\nu_s(E\setminus W)=0$ から $\nu_a(E)=\nu_a(E\setminus W)=\nu(E\setminus W)$、同様に $\nu_a'(E)=\nu(E\setminus W)$ だから $\nu_a=\nu_a'$。 **($f$ の一意性)** $\nu_a(E)=\int_Ef\,d\mu=\int_Ef'\,d\mu$ とする。$\nu_a$ は $\sigma$-有限（$\nu$ より小さい）だから、$\nu_a(X_n)<\infty$ となる分割 $X_n$ が取れる。$X_n$ 上で $f,f'\in L^1$ で、$E=\{f>f'\}\cap X_n$ をとると $\int_E(f-f')\,d\mu=0$、被積分関数は $E$ 上で正だから $\mu(E)=0$（ (1)）。$\{f $\mu,\nu$ を $(X,\mathcal{M})$ 上の $\sigma$-有限測度とし、$\nu\ll\mu$ とする。このとき可測関数 $f:X\to[0,\infty)$ で $$ \nu(E)=\int_Ef\,d\mu\qquad(E\in\mathcal{M}) $$ を満たすものが存在し、$\mu$-a.e. で一意である。$f=\dfrac{d\nu}{d\mu}$ と書き、**Radon–Nikodym 微分**（密度）という。 の分解 $\nu=\nu_a+\nu_s$ をとる。$\nu_s$ は $\mu$-零集合 $Z$ に集中し、$\nu\ll\mu$ だから $\nu(E\cap Z)=0$、よって $\nu_s(E)=\nu_s(E\cap Z)\le\nu(E\cap Z)=0$。ゆえに $\nu=\nu_a$ で、密度の存在と一意性は そのもの。 これで、[条件付き期待値](/mathematics/probability/conditional-expectation) の （主張のみを引用していたもの）の証明が済みました。符号付き測度版は Jordan 分解から次のように従います。 $\mu$ を $\sigma$-有限測度、$\nu$ を有限符号付き測度で、$\mu(E)=0\Rightarrow\nu(E)=0$ とする。このとき $f\in L^1(\mu)$ が存在し、$\nu(E)=\int_Ef\,d\mu$（$E\in\mathcal{M}$）となる。$f$ は $\mu$-a.e. で一意である。 Hahn 分解 $(P,N)$ をとる。$\mu(E)=0$ なら $\mu(E\cap P)=0$ だから $\nu^{+}(E)=\nu(E\cap P)=0$。よって $\nu^{+}\ll\mu$、同様に $\nu^{-}\ll\mu$。 により有限測度 $\nu^{\pm}$ の密度 $f^{\pm}\ge0$ が存在し、$\int f^{\pm}d\mu=\nu^{\pm}(X)<\infty$ だから $f=f^{+}-f^{-}\in L^1(\mu)$、$\nu(E)=\int_Ef\,d\mu$。一意性：$\int_Ef\,d\mu=\int_Ef'\,d\mu$ が全 $E$ で成り立てば、$E=\{f>f'\}$ で $\int_E(f-f')=0$ から $\mu(E)=0$。 **(a) 確率密度。** $\mathbb{R}$ 上の確率測度 $\nu$ がルベーグ測度に絶対連続なら、$f=d\nu/dm$ が確率密度関数。連続型確率変数の分布はこの形である（[確率変数と期待値](/mathematics/probability/random-variables)）。 **(b) 離散と数え上げ測度。** $X=\mathbb{N}$ に数え上げ測度 $\mu$ を入れると、$\mu(E)=0$ なら $E=\emptyset$ だから、任意の測度 $\nu$ が $\mu$ に絶対連続で、密度は $f(n)=\nu(\{n\})$。離散確率分布の確率質量関数である。 **(c) 特異な例。** ディラック測度 $\delta_0$ はルベーグ測度に絶対連続でない（$m(\{0\})=0$ だが $\delta_0(\{0\})=1$）。 (d) のカントール測度は、連続（1 点の質量が $0$）なのにルベーグ測度に特異である。「連続」と「絶対連続」は全く別の概念である。 **(d) $\sigma$-有限性は必要。** $X=[0,1]$、$\mu$ を数え上げ測度（$\sigma$-有限でない）、$\nu=m$（ルベーグ測度）とすると $\nu\ll\mu$（$\mu(E)=0$ なら $E=\emptyset$）。しかし $m(E)=\int_Ef\,d\mu=\sum_{x\in E}f(x)$ となる $f$ は存在しない：$E=\{x\}$ で $f(x)=m(\{x\})=0$ となり、すべての $f(x)=0$ では $m([0,1])=0$ になってしまう。 ## 5. Lebesgue の微分定理 以下 $\mathbb{R}$ 上の[ルベーグ測度](/mathematics/real-analysis/lebesgue-measure#def-lebesgue-measure) $m$ を考え、$m^{*}$ を[ルベーグ外測度](/mathematics/real-analysis/lebesgue-measure#def-outer-measure)とします。開区間 $B=(c-\rho,c+\rho)$ に対し、$kB=(c-k\rho,c+k\rho)$（中心は同じで長さが $k$ 倍）と書きます。 この節の流れは次のとおりです。まず Vitali の被覆補題で、重なる区間の集まりから互いに素な区間を選び直し、選んだ区間を 5 倍にすれば元の区間すべてを覆えるようにします。これにより極大不等式が得られ、最後に、連続関数ならば微分定理が成り立つことと、可積分関数が連続関数で近似できることを合わせて微分定理を示します。補題の証明では、長い区間から順に選びます。選ばれなかった区間 $B$ は、最初に交わった $B_k$ の長さの 2 倍未満なので、$B_k$ の中心から $B_k$ の長さの $5/2$ 倍以内に収まり、これが 5 倍の理由です。 $\mathcal{B}$ を、ある有界区間 $J$ に含まれる開区間の族とする。このとき、互いに素な可算個（有限個でもよい）の $B_1,B_2,\ldots\in\mathcal{B}$ で $$ \bigcup_{B\in\mathcal{B}}B\subset\bigcup_j5B_j $$ となるものが存在する。 $\mathcal{B}_1=\mathcal{B}$ とし、$B_1\in\mathcal{B}_1$ を、長さが $\sup\{|B|:B\in\mathcal{B}_1\}$ の半分より大きいものとして選ぶ。$\mathcal{B}_{k+1}$ を、$B_1,\ldots,B_k$ のどれとも交わらない $\mathcal{B}$ の元の全体とし、空でなければ $B_{k+1}\in\mathcal{B}_{k+1}$ を同様に（長さが $\mathcal{B}_{k+1}$ の長さの上限の半分より大きいものとして）選ぶ。$B_j$ は互いに素で $J$ に含まれるから $\sum|B_j|\le|J|<\infty$、特に無限に続くとき $|B_j|\to0$。 $B\in\mathcal{B}$ をとる。すべての $B_j$ と交わらないとすると、$B\in\mathcal{B}_k$（全 $k$）で $|B|<2|B_k|\to0$ となり不可能（$|B|>0$）。そこで $B$ が交わる最初の $B_k$ をとる。$B\in\mathcal{B}_k$ だから $|B|<2|B_k|$。$y\in B\cap B_k$ をとると、$B$ の任意の点 $z$ は $|z-y|<|B|<2|B_k|$ で、$B_k$ の中心 $c_k$ について $|y-c_k|<|B_k|/2$ だから $|z-c_k|<2|B_k|+|B_k|/2<5|B_k|/2$。これは $5B_k$ の半幅 $5|B_k|/2$ に等しい。ゆえに $B\subset5B_k$。 極大関数は、点 $x$ を中心とする区間で $|f|$ の平均を取り、区間の幅を変えて得られる値の上限を、各点 $x$ ごとに返す関数です。可積分関数 $f\in L^1(\mathbb{R})$ に対して、**極大関数**を $$ (Mf)(x)=\sup_{r>0}\frac{1}{2r}\int_{x-r}^{x+r}|f(y)|\,dy $$ で定義します。 $f\in L^1(\mathbb{R})$、$t>0$ とする。任意の $R>0$ について $$ m^{*}\bigl(\{x\in(-R,R)\mid(Mf)(x)>t\}\bigr)\le\frac{5}{t}\|f\|_1 . $$ $E=\{x\in(-R,R)\mid Mf(x)>t\}$ とおく。$x\in E$ には、$\frac{1}{2r}\int_{x-r}^{x+r}|f|>t$ となる $r$ がある。このとき $2r<\|f\|_1/t=:L$。そのような開区間 $(x-r,x+r)$ の全体 $\mathcal{B}$ は $(-R-L,R+L)$ に含まれ、$E\subset\bigcup\mathcal{B}$。 の互いに素な $B_j$ をとると、$m^{*}(E)\le\sum_j|5B_j|=5\sum_j|B_j|\le\frac{5}{t}\sum_j\int_{B_j}|f|\le\frac{5}{t}\|f\|_1$（最後は $B_j$ が互いに素）。 $f\in L^1(\mathbb{R})$ ならば、ほとんどすべての $x$ で $$ \lim_{r\to0}\frac{1}{2r}\int_{x-r}^{x+r}|f(y)-f(x)|\,dy=0 . $$ 特にほとんどすべての $x$ で $\displaystyle\lim_{r\to0}\frac{1}{2r}\int_{x-r}^{x+r}f(y)\,dy=f(x)$。 証明の方針は、まず連続関数なら主張が成り立つことを確かめ、一般の $f$ を連続関数 $g$ で近似して、差 $f-g$ の部分を極大不等式で押さえる、というものです。 $\omega(x)=\limsup_{r\to0}\frac{1}{2r}\int_{x-r}^{x+r}|f(y)-f(x)|\,dy$ とおく。$t>0$、$R>0$ を固定し、$m^{*}(\{x\in(-R,R)\mid\omega(x)>2t\})=0$ を示す。 $\eta>0$ をとる。 (1) により、$g\in C_c(\mathbb{R})$ で $\|f-g\|_1<\eta$ となるものがある。連続関数 $g$ について $\frac{1}{2r}\int_{x-r}^{x+r}|g(y)-g(x)|\,dy\le\sup_{|y-x|\le r}|g(y)-g(x)|\to0$ だから $\omega_g\equiv0$。$|f(y)-f(x)|\le|(f-g)(y)|+|g(y)-g(x)|+|(g-f)(x)|$ を平均すると $$ \omega(x)\le M(f-g)(x)+0+|f-g|(x). $$ したがって $\{\omega>2t\}\subset\{M(f-g)>t\}\cup\{|f-g|>t\}$。 により前者の $(-R,R)$ との交わりの外測度は $\le5\eta/t$、後者は $t\mathbf{1}_{\{|f-g|>t\}}\le|f-g|$ の積分から測度 $\le\eta/t$。ゆえに $m^{*}(\{x\in(-R,R)\mid\omega(x)>2t\})\le6\eta/t$。$\eta$ は任意だから外測度は $0$。$t=1/n$、$R=n$ について和集合をとって $m^{*}(\{\omega>0\})=0$（可算劣加法性）。外測度零の集合は可測（）だから、$\omega=0$ a.e. である。最後の主張は $|\frac{1}{2r}\int f-f(x)|\le\frac{1}{2r}\int|f-f(x)|$ から。 $f\in L^1[a,b]$、$F(x)=\int_a^xf\,dm$ とすると、ほとんどすべての $x\in(a,b)$ で $F$ は微分可能で $F'(x)=f(x)$。 $f$ を $[a,b]$ の外で $0$ として $L^1(\mathbb{R})$ の元とみる。 の例外集合の外の $x\in(a,b)$ と $0<|h|<\min(x-a,b-x)$ について、$\frac{F(x+h)-F(x)}{h}-f(x)=\frac{1}{h}\int_x^{x+h}\bigl(f(y)-f(x)\bigr)dy$ で、絶対値は $\frac{1}{|h|}\int_{x-|h|}^{x+|h|}|f(y)-f(x)|\,dy=2\cdot\frac{1}{2|h|}\int_{x-|h|}^{x+|h|}|f-f(x)|\to0$。 ### 5.1. 発展：$\mathbb{R}^n$ の Besicovitch の被覆定理 は、選んだ区間を $5$ 倍に膨らませてはじめて全体を覆います。ルベーグ測度では $|5B|=5|B|$ なので困りませんが、一般の測度 $\mu$ では $\mu(5B)$ と $\mu(B)$ が比較できず、極大不等式が作れません。次の定理は、球を**膨らませずに**、重なりの回数を次元だけで決まる定数で抑えて覆います。代償は、各点がその点を**中心とする**球をもつという仮定です。以下 $\mathbb{R}^n$ のルベーグ測度を $m$ と書き、$\bar B(a,r)=\{x:|x-a|\le r\}$ とします。並進不変性と相似（、）から $m(\bar B(a,r))=\omega_nr^n$（$\omega_n=m(\bar B(0,1))>0$）です。 $n\ge1$ とし、$N_n=2(20^n+6^n+1)$ と置く。$\mathcal{F}$ を $\mathbb{R}^n$ の閉球 $\bar B(a,r)$（$r>0$）の族で、半径の上限が有限なものとし、$A\subset\mathbb{R}^n$ の各点 $a$ について、$a$ を中心とする球が $\mathcal{F}$ に属するとする。このとき $\mathcal{F}$ の部分族 $\mathcal{G}_1,\ldots,\mathcal{G}_{N_n}$ で、各 $\mathcal{G}_i$ は互いに交わらない可算個（有限個でもよい）の球からなり、 $$ A\subset\bigcup_{i=1}^{N_n}\ \bigcup_{B\in\mathcal{G}_i}B $$ となるものが存在する。 この節は発展で、次の §6 では使いません。証明の見通しは次のとおりです。ステップ 1 で、大きい球から順に、まだ覆えていない点を中心とする球を選びます。ステップ 2 では、後から選ぶ球に交わる、先に選んだ球の個数が次元だけで決まる定数以下であることを示します。半径が近い球とそうでない球に分け、前者は体積の比較で、後者は中心の方向が互いに離れることから数えます。ステップ 3 でこの個数の評価を使って、選んだ球を交わらない族に振り分け、ステップ 4 で有界でない場合に広げます。 $\mathcal{F}$ のうち中心が $A$ に属する球だけを考えれば十分なので、そうしておきます。 **ステップ 1（$A$ が有界な場合の選び方）.** $A\subset\bar B(0,R)$ とします。$A_1=A$ とし、$j\ge1$ について $A_j\ne\emptyset$ なら $D_j=\sup\{r:\bar B(a,r)\in\mathcal{F},\ a\in A_j\}$（$0\frac34D_j$ の球 $B_j=\bar B(a_j,r_j)\in\mathcal{F}$ を選び、$A_{j+1}=A\setminus(B_1\cup\cdots\cup B_j)$ とします。$A_j=\emptyset$ となったら止め、それまでに選んだ球の個数を $J$ とします（止まらなければ $J=\infty$）。次の 4 つが成り立ちます。 (a) $ir_i$ で、(a) から $\frac{r_i}3+\frac{r_j}3<\frac{r_i}{3}+\frac{4r_i}{9}、）と測度の可算加法性から $\sum_j\omega_n(r_j/3)^n\le\omega_n(R+D_1)^n<\infty$ です。以下の体積の比較も同じ式によります。 (d) $A\subset\bigcup_jB_j$。$J$ が有限なら $A_{J+1}=\emptyset$ がその意味です。$J=\infty$ のとき、$a\in A$ と $\bar B(a,r)\in\mathcal{F}$ を取り、(c) から $r_j<\frac34r$ となる $j$ を取ります。$a$ が $B_1,\ldots,B_{j-1}$ のどれにも属さないとすると $a\in A_j$ なので $D_j\ge r$、よって $r_j>\frac34r$ となり矛盾します。 **ステップ 2（先に選んだ球との交わりは $20^n+6^n$ 個以下）.** $k\le J$ を固定し、$I=\{j3r_k\}$ に分けます。 $I^1$: $j\in I^1$ なら $|a_j-a_k|\le r_j+r_k\le4r_k$ なので $\bar B(a_j,r_j/3)\subset\bar B(a_k,5r_k)$ です。(a) から $r_k<\frac43r_j$、すなわち $r_j/3>r_k/4$ です。これらの球は (b) により互いに交わらないので、体積を比べて $\#I^1\cdot\omega_n(r_k/4)^n\le\omega_n(5r_k)^n$、$\#I^1\le20^n$ です。 $I^2$: $ir_i$、(a) から $r_j<\frac43r_i$ です。$c=\langle x,y\rangle/(|x||y|)$ と置くと $|x-y|^2=(|x|-|y|)^2+2|x||y|(1-c)$ です。 - $|x|\ge|y|$ のとき: $0\le|x|-|y|0$ 以上です。よって $2|x||y|(1-c)>r_i^2-(r_i-\frac23r_j)^2=\frac43r_ir_j-\frac49r_j^2>\frac43r_ir_j-\frac{16}{27}r_ir_j=\frac{20}{27}r_ir_j$。 - $|y|>|x|$ のとき: $0<|y|-|x|r_i^2-(\frac43r_j-r_i)^2=\frac83r_j\bigl(r_i-\frac23r_j\bigr)>\frac83r_j\cdot\frac{r_i}{9}=\frac{8}{27}r_ir_j$。 どちらの場合も左辺は正なので $1-c>0$ で、$2|x||y|<\frac{32}9r_ir_j$ と合わせて $1-c>\frac{8}{27}\cdot\frac{9}{32}=\frac1{12}$ です。したがって単位ベクトル $u_j=(a_j-a_k)/|a_j-a_k|$（$j\in I^2$）は互いに $|u_i-u_j|^2=2(1-c)>\frac16>\bigl(\frac25\bigr)^2$ をみたし、球 $\bar B(u_j,1/5)$ は互いに交わらず $\bar B(0,6/5)$ に含まれます。体積を比べて $\#I^2\le6^n$ です。 **ステップ 3（色分け）.** $M=20^n+6^n$ と置きます。$B_1,B_2,\ldots$ を順に $M+1$ 個の族 $\mathcal{G}_1,\ldots,\mathcal{G}_{M+1}$ に振り分けます。$B_k$ の番が来たとき、ステップ 2 から $B_k$ と交わる先の球は $M$ 個以下なので、$B_k$ と交わる元をもたない族が少なくとも 1 つあり、その最初のものに $B_k$ を入れます。各 $\mathcal{G}_l$ は互いに交わらない球からなり、(d) から全体で $A$ を覆います。有界な場合は $M+1$ 個の族で済みました。 **ステップ 4（一般の場合）.** $D=\sup\{r:\bar B(a,r)\in\mathcal{F}\}<\infty$ と置き、$l\ge1$ について $A^l=A\cap\{3D(l-1)\le|x|<3Dl\}$ とします。各 $A^l$ は有界なので、中心が $A^l$ に属する球の族にステップ 1–3 を使い、$\mathcal{G}^l_1,\ldots,\mathcal{G}^l_{M+1}$ を得ます。$l+2\le l'$ なら、中心 $a\in A^l$, $b\in A^{l'}$ の球は $|b-a|\ge|b|-|a|>3D(l'-1)-3Dl\ge3D$ で、半径の和は $2D$ 以下なので交わりません。そこで $\mathcal{G}_i=\bigcup_{l\text{ 奇数}}\mathcal{G}^l_i$, $\mathcal{G}_{M+1+i}=\bigcup_{l\text{ 偶数}}\mathcal{G}^l_i$（$1\le i\le M+1$）と置けば、各族は互いに交わらない可算個の球からなり、合わせて $A$ を覆います。族の数は $2(M+1)=N_n$ です。 定数 $N_n$ は次元だけで決まり、球の大きさの比にも測度にもよりません。このため、$\mathbb{R}^n$ 上の任意の局所有限なボレル測度 $\mu$ について、$\mu$ が正の点で比 $\mu(E\cap\bar B(x,r))/\mu(\bar B(x,r))$ が $r\to0$ で $\mathbf{1}_E(x)$ に $\mu$-a.e. 収束する、という形の微分定理が、極大不等式 $\mu(\{M_\mu f>t\})\le N_n\|f\|_{L^1(\mu)}/t$ を経由して得られます（球を膨らませないので $\mu(5B)$ を $\mu(B)$ で抑える必要がない）。一方、中心の条件は外せません。中心を問わない球の族では、重なりの回数を一様に抑えることはできません。文献: L. C. Evans–R. F. Gariepy, *Measure Theory and Fine Properties of Functions*, 第 1.5 節; P. Mattila, *Geometry of Sets and Measures in Euclidean Spaces*, 第 2 章。 ## 6. 有界変動・絶対連続関数と微積分学の基本定理 閉区間 $[a,b]$ 上の関数 $F:[a,b]\to\mathbb{R}$ と、分割 $a=x_0 $F$ の $[a,x]$ 上の**全変動**を $V_a^xF=\sup\sum_{i=1}^n|F(x_i)-F(x_{i-1})|$ （$a=x_0<\cdots0$ に対して $\delta>0$ が存在し、互いに素な有限個の開区間 $(a_i,b_i)\subset[a,b]$ で $\sum(b_i-a_i)<\delta$ を満たすものについて $\sum|F(b_i)-F(a_i)|<\varepsilon$ となることをいう。 1. $a\le b\le c$ のとき $V_a^cF=V_a^bF+V_b^cF$。 2. $F$ が BV ならば $V(x)=V_a^xF$ と $V-F$ はともに単調増加で、$F=V-(V-F)$。 3. $F$ が絶対連続ならば BV であり、$V$ も絶対連続（特に連続）である。 (1) $[a,b]$ と $[b,c]$ の分割を連結すると $[a,c]$ の分割だから「$\ge$」。逆に $[a,c]$ の分割に点 $b$ を加えても和は（三角不等式により）減らず、$b$ で分けると $[a,b]$ と $[b,c]$ の分割の和の和になるから「$\le$」。 (2) $V(y)-V(x)=V_x^yF\ge0$ より $V$ は増加。また $|F(y)-F(x)|\le V_x^yF$ から $(V-F)(y)-(V-F)(x)=V_x^yF-(F(y)-F(x))\ge0$。 (3) $\varepsilon=1$ に対する $\delta$ をとると、長さ $<\delta$ の任意の区間 $I$ の任意の分割で $\sum|\Delta F|<1$、すなわち $V_I F\le1$。$[a,b]$ を長さ $<\delta$ の $N$ 個の区間に分ければ (1) から $V_a^bF\le N$。次に $V$ の絶対連続性：$\varepsilon>0$ に $F$ の $\delta$ をとり、互いに素な $(a_i,b_i)$ が $\sum(b_i-a_i)<\delta$ とする。各 $i$ で $[a_i,b_i]$ の分割を $\sum_j|\Delta F|>V_{a_i}^{b_i}F-\varepsilon/n$ ととる（$n$ は区間の個数）。これらの小区間全体は互いに素で長さの総和は $<\delta$ だから、$\sum_i\sum_j|\Delta F|<\varepsilon$。ゆえに $\sum_iV_{a_i}^{b_i}F<2\varepsilon$、すなわち $\sum_i|V(b_i)-V(a_i)|<2\varepsilon$。 $G:\mathbb{R}\to\mathbb{R}$ が増加かつ右連続なとき、 の測度を $\mu_G$ と書く（$\mu_G((c,d])=G(d)-G(c)$）。 Lebesgue–Stieltjes 測度は、増加関数 $G$ から区間 $(c,d]$ に長さ $G(d)-G(c)$ を割り当てて作る測度のことです。次の補題は、集合の測度がその集合を含むわずかに大きな開集合の測度で近似できる、という主張で、次の補題の証明で使います。 ボレル集合 $B$ と $\varepsilon>0$ に対し、開集合 $U\supset B$ で $\mu_G(U)<\mu_G(B)+\varepsilon$ となるものが存在する。有限なボレル測度はすべてこの性質をもつ。 $\mu_G(B)<\infty$ としてよい。構成（）により $\mu_G(B)=\mu^{*}(B)=\inf\sum\mu_0(I_j)$（$B\subset\bigcup I_j$、$I_j=(a_j,b_j]$ は h-区間）。$\sum\mu_0(I_j)<\mu_G(B)+\varepsilon/2$ となる被覆をとり、$G$ の右連続性で $b_j'>b_j$ を $G(b_j')-G(b_j)<\varepsilon2^{-j-1}$ ととる（$b_j=\infty$ のときは $(a_j,\infty)$ がすでに開集合なので何もしない）。$U=\bigcup(a_j,b_j')$ は開集合で $B\subset U$、$\mu_G(U)\le\sum(G(b_j')-G(a_j))<\mu_G(B)+\varepsilon$。有限ボレル測度 $\nu$ は $H(x)=\nu((-\infty,x])$ の定める $\mu_H$ と、π-系 $\{(-\infty,x]\}$ 上の値の一致と により一致するので、同じ性質をもつ。 $\nu$ を $\mathbb{R}$ 上の有限ボレル測度とし、$\nu\perp m$ とする。このとき、ほとんどすべての $x$ で $\displaystyle\lim_{r\to0}\frac{\nu((x-r,x+r))}{2r}=0$ である。 証明の方針は次のとおりです。$\nu\perp m$ より、$m(Z)=0$ となる集合 $Z$ で $\nu$ が $Z$ の外に質量をもたないものがあります。$Z$ の外の点で比が大きいものを調べます。$\nu$ は $Z^{c}$ に質量をもたないので、外正則性により $Z^{c}$ を $\nu$ の測度が小さい開集合 $U$ で包めます。比 $\nu(\text{区間})/(\text{区間の長さ})$ が大きい小さな区間を $U$ の中に取り、Vitali の被覆補題で互いに素なものを選ぶと、長さの総和は $\nu(U)$ の定数倍以下になります。したがって、そのような点の集合の外測度はいくらでも小さくできます。 $Z$ を $m(Z)=0$、$\nu(Z^{c})=0$ となるボレル集合とする。$t>0$、$R>0$ に対し $E=\{x\in(-R,R)\setminus Z\mid\limsup_{r\to0}\nu((x-r,x+r))/2r>t\}$ の外測度が $0$ であることを示す。$\varepsilon>0$ に対し、 により開集合 $U\supset Z^{c}$ で $\nu(U)<\varepsilon$ をとる。各 $x\in E$ には、いくらでも小さい $r<1$ で $\nu((x-r,x+r))>2tr$ となるものがあり、$r$ を小さくとって $(x-r,x+r)\subset U$ とできる。これらの区間の族は $(-R-1,R+1)$ に含まれ $E$ を覆うから、 により互いに素な $B_j$ で $m^{*}(E)\le5\sum|B_j|\le\frac{5}{t}\sum\nu(B_j)\le\frac{5}{t}\nu(U)<\frac{5\varepsilon}{t}$。$\varepsilon\to0$ で $m^{*}(E)=0$。$t=1/n$、$R=n$ について和集合をとれば、$Z^{c}$ のほとんどすべての点で極限が $0$。$m(Z)=0$ だから、ほとんどすべての $x$ で成り立つ。 $G:\mathbb{R}\to\mathbb{R}$ を増加かつ右連続とし、$\mu_G=\nu_a+\nu_s$ を $m$ に関する Lebesgue 分解（）、$g=d\nu_a/dm$ とする。このとき $G$ はほとんどすべての $x$ で微分可能で $G'(x)=g(x)$。また $a $\mu_G$ は有界区間で有限だから、$R>0$ について $(-R,R)$ に制限した測度で議論でき、$\sigma$-有限性も成り立つ。$h>0$ について $G(x+h)-G(x)=\mu_G((x,x+h])$、$G(x)-G(x-h)=\mu_G((x-h,x])$。$I$ をこのような長さ $h$ の区間とすると、$\nu_a(I)/h=\frac1h\int_Ig\,dm\to g(x)$ a.e.（$g\mathbf{1}_{(-R,R)}\in L^1(\mathbb{R})$ に を適用し、 と同じ評価を行う）。$\nu_s(I)/h\le\nu_s((x-2h,x+2h))/h\to0$ a.e.（ を $\nu_s|_{(-R,R)}$ に適用）。したがって両側の差分商が a.e. で $g(x)$ に収束する。後半は $\mu_G((a,b])=\nu_a((a,b])+\nu_s((a,b])$ と $\nu_a((a,b])=\int_a^bg\,dm$ から。 は右連続な増加関数についての定理でした。一般の増加関数は、不連続点（高々可算個）で値を取り替えれば右連続になるので、この仮定は外せます。 $f:\mathbb{R}\to\mathbb{R}$ が単調ならば、$f$ はほとんどすべての $x$ で微分可能である。さらに $f$ が増加関数なら $f'\ge0$ a.e. で、$a 減少関数は $-f$ に帰着するので、$f$ を増加関数とします（弱い意味の増加で、定数でもよい）。 **第 1 段：右連続な修正 $G$。** $f$ は実数値の増加関数なので、各 $x$ で $f(x-)=\sup_{yx}f(y)$ が有限で、$f(x-)\le f(x)\le f(x+)$ です。$G(x)=f(x+)$ と定めます。$G$ は増加で、右連続です。実際 $\varepsilon>0$ に対し $G(x)=\inf_{y>x}f(y)$ より $f(y)x$ が取れ、$xz}f(w)\le f(y)$）。また $G(y-)=\lim_{z\uparrow y}G(z)=f(y-)$ です（$f(z)\le G(z)\le f(z')$ が $z1/n$ となるものが $k$ 個 $x_1<\cdots により、零集合 $Z_1$ があって $x\notin Z_1$ では $G$ が微分可能です。$D$ は可算なので零集合（）です。$x\notin Z_1\cup D$ を取ります。$f$ は $x$ で連続だから $f(x)=G(x)$ です（第 1 段で $f(x-)=f(x)=f(x+)$）。$L=G'(x)$ とし、$00$ のとき、$f(x+h)\le G(x+h)$ と、$f(x+h)\ge f((x+h)-)=G((x+h)-)\ge G(x+sh)$ から $$ s\cdot\frac{G(x+sh)-G(x)}{sh}\ \le\ \frac{f(x+h)-f(x)}{h}\ \le\ \frac{G(x+h)-G(x)}{h}. $$ $h\downarrow0$ で右辺は $L$ に、左辺は $sL$ に収束するので、$sL\le\liminf\le\limsup\le L$ です。$s\uparrow1$ で右側微分係数が $L$ です。$h=-k<0$ のときは、$s>1$ を固定します。$f(x-k)\le G(x-k)$ と、$x-sk から $\int_a^{b'}f'\,dm=\int_a^{b'}G'\,dm\le G(b')-G(a)\le G(b-)-G(a)$ で、$G(b-)=f(b-)\le f(b)$、$G(a)\ge f(a)$ なので右辺は $\le f(b)-f(a)$ です。$b'\uparrow b$ として、単調収束定理（）で $\int_a^bf'\,dm\le f(b)-f(a)$ を得ます。 $F:[a,b]\to\mathbb{R}$ が有界変動ならば、$F$ はほとんどすべての $x\in[a,b]$ で微分可能で、$F'\in L^1[a,b]$ である。 (2) により $F=V-(V-F)$ で、$V$ と $V-F$ は増加関数です。$[a,b]$ の外で端点の値を延長した増加関数に を適用すれば、どちらもほとんど至るところ微分可能で、差の $F$ も同様です。可積分性は、$|F'|\le V'+(V-F)'$ a.e. と の積分の不等式により $\int_a^b|F'|\,dm\le V(b)-V(a)+(V-F)(b)-(V-F)(a)<\infty$ です。可測性は、$F'$ が差分商 $n\bigl(F(x+1/n)-F(x)\bigr)$ の a.e. 極限であることから従います。単調関数は $\{f>c\}$ が区間なので可測で、その差・平行移動・定数倍も可測、可測関数列の各点極限は可測です（）。 $F:[a,b]\to\mathbb{R}$ について、次の三つは同値である。 1. $F$ は絶対連続である。 2. ある $f\in L^1[a,b]$ が存在して、すべての $x\in[a,b]$ で $F(x)=F(a)+\int_a^xf\,dm$。 3. $F$ はほとんどすべての $x$ で微分可能で、$F'\in L^1[a,b]$、かつ $F(x)=F(a)+\int_a^xF'\,dm$。 このとき (2) の $f$ は $F'$ と a.e. で等しい。 **(2) ⇒ (1)。** $\nu(E)=\int_E|f|\,dm$ は有限測度で $\nu\ll m$ だから、 の $\varepsilon$-$\delta$ が成り立つ。互いに素な $(a_i,b_i)$ で $\sum(b_i-a_i)<\delta$ なら、$E=\bigsqcup(a_i,b_i)$ が $m(E)<\delta$ で、$\sum|F(b_i)-F(a_i)|\le\sum\int_{a_i}^{b_i}|f|=\nu(E)<\varepsilon$。 **(2) ⇒ (3)。** により $F'=f$ a.e.。 **(3) ⇒ (2)。** $f=F'$。 **(1) ⇒ (2)。** まず増加かつ絶対連続な $G$ について示す。$G$ を $[a,b]$ の外で定数（$xb$ で $G(b)$）として $\mathbb{R}$ に延長する。$G$ は連続だから右連続で、$\mu_G$ は有限測度、$\mu_G(\mathbb{R}\setminus(a,b])=0$（$\mu_G(\{b\})=0$ も連続性から）。$\mu_G\ll m$ を示す。$\mu_G(\mathbb{R}\setminus(a,b))=0$ だから、$m(E)=0$ のボレル集合 $E\subset(a,b)$ について $\mu_G(E)=0$ を示せば十分である。$\varepsilon>0$ に $G$ の絶対連続性の $\delta$ をとる。$m(E)=0$ だから、$E$ は総長 $<\delta$ の開区間で覆われ、その和集合 $U\subset(a,b)$ は互いに素な可算個の開区間 $(c_i,d_i)$ の和で $\sum(d_i-c_i)<\delta$。連続性より $\mu_G((c_i,d_i))=G(d_i)-G(c_i)$ で、有限個の和は絶対連続性により $<\varepsilon$。ゆえに $\mu_G(U)\le\varepsilon$、$\mu_G(E)\le\varepsilon$。$\varepsilon$ は任意なので $\mu_G(E)=0$。 により $g\ge0$ で $\mu_G(E)=\int_Eg\,dm$、特に $G(x)-G(a)=\mu_G((a,x])=\int_a^xg\,dm$（$\int_a^bg=G(b)-G(a)<\infty$ だから $g\in L^1$）。 一般の絶対連続な $F$ は、 により $F=V-(V-F)$。$V$ は絶対連続（かつ増加）、$V-F$ も絶対連続（絶対連続関数の差）で増加。上の結果を二つに適用すれば $F(x)-F(a)=\int_a^x(g_1-g_2)\,dm$。 カントール関数 $F:[0,1]\to[0,1]$（連続、単調増加、$F(0)=0$、$F(1)=1$、カントール集合 $C$ の補集合の各区間で定数）は、$[0,1]\setminus C$ の各区間で $F'=0$ で、$m(C)=0$ だから $F'=0$ a.e.。したがって $\int_0^1F'\,dm=0\ne1=F(1)-F(0)$。 の式でいえば、特異部分 $\nu_s=\mu_F$ が全質量 $1$ をもつ。 により $F$ は絶対連続でない。実際、$C$ は $n$ 段目で長さ $3^{-n}$ の $2^n$ 個の閉区間で覆え、各区間で $F$ は $2^{-n}$ ずつ増加するので、増加量の和は $1$ のままで、区間の総長は $(2/3)^n\to0$ になる。連続性だけでは微積分学の基本定理は成り立たず、絶対連続性が必要十分である。
1 0 1 F = 1/2
$F(x)=\sqrt{x}$（$[0,1]$）は $x=0$ で微分可能でない（$F'(x)=\frac{1}{2\sqrt{x}}$、$x\to0$ で発散）が、$F'\in L^1[0,1]$（$\int_0^1\frac{dx}{2\sqrt x}=1$）で $F(x)=\int_0^xF'$ が成り立つ（広義積分がルベーグ積分に一致する、）。 により絶対連続である。リプシッツ連続ではない絶対連続関数の例である。 ## 7. 演習 $\nu(E)=\int_Ef\,dm$（$f\in L^1(\mathbb{R})$ の符号付き測度）の Hahn 分解と Jordan 分解を求めよ。 $P=\{f\ge0\}$、$N=\{f<0\}$ が Hahn 分解を与える（$E\subset P$ なら $\nu(E)=\int_Ef\ge0$、$E\subset N$ なら $\le0$）。$\nu^{+}(E)=\int_Ef^{+}\,dm$、$\nu^{-}(E)=\int_Ef^{-}\,dm$。$P$ を $\{f>0\}$ に取ることもでき、分解は零集合 $\{f=0\}$ の分だけ不定であり、 の一意性と整合する。 $\nu=m|_{[0,1]}+\delta_{1/2}+\mu_F$（$\mu_F$ はカントール測度）の $m$ に関する Lebesgue 分解 $\nu_a,\nu_s$ と、$d\nu_a/dm$ を求めよ。 $\delta_{1/2}$ は零集合 $\{1/2\}$ に、$\mu_F$ は零集合 $C$ に集中するから、$\nu_s=\delta_{1/2}+\mu_F$ は $Z=C\cup\{1/2\}$（$m(Z)=0$）に集中して $m$ に特異。$m|_{[0,1]}$ は $m$ に絶対連続で密度 $\mathbf{1}_{[0,1]}$。よって $\nu_a=m|_{[0,1]}$、$d\nu_a/dm=\mathbf{1}_{[0,1]}$。一意性（）により、これが分解のすべてである。 $\nu\ll\mu\ll\lambda$ がすべて $\sigma$-有限測度とする。$\dfrac{d\nu}{d\lambda}=\dfrac{d\nu}{d\mu}\cdot\dfrac{d\mu}{d\lambda}$ $\lambda$-a.e. を示せ。 $\nu\ll\lambda$ は明らか。$f=d\nu/d\mu$、$g=d\mu/d\lambda$ とする。非負可測関数 $\varphi$ について $\int\varphi\,d\mu=\int\varphi g\,d\lambda$（$\varphi=\mathbf{1}_E$ で定義、単関数、単調収束定理で拡張）。$\varphi=f\mathbf{1}_E$ を代入して $\nu(E)=\int_Ef\,d\mu=\int_Efg\,d\lambda$。 の一意性から $d\nu/d\lambda=fg$ a.e.。 $f=\mathbf{1}_{[0,\infty)}$ について、 の極限が成り立たない点はどこか。その点で $\frac{1}{2r}\int_{-r}^{r}f$ は何に収束するか。 $x\ne0$ では十分小さい $r$ で $f$ は区間 $(x-r,x+r)$ 上で定数だから極限は成り立つ。$x=0$ では $f(0)=1$ だが $\frac1{2r}\int_{-r}^rf=\frac12$。よって定理の $\frac{1}{2r}\int|f-f(0)|=\frac12\not\to0$。この例外点は零集合 $\{0\}$ で、定理と矛盾しない。 ## 参考文献 - W. Rudin, *Real and Complex Analysis*, 3rd ed., McGraw–Hill, 1987 — Chapter 6（複素測度、Radon–Nikodym の定理の von Neumann の証明）、Chapter 7（微分）。 - G. B. Folland, *Real Analysis: Modern Techniques and Their Applications*, 2nd ed., Wiley, 1999 — Chapter 3（符号付き測度と微分）。 - E. M. Stein and R. Shakarchi, *Real Analysis: Measure Theory, Integration, and Hilbert Spaces*, Princeton University Press, 2005 — Chapter 3（微分と積分）。 - P. Billingsley, *Probability and Measure*, 3rd ed., Wiley, 1995 — Radon–Nikodym の定理と条件付き期待値の節。 - 伊藤清三『ルベーグ積分入門』裳華房、1963 — 測度の分解と微分を扱う章。 - 志賀浩二『ルベーグ積分30講』朝倉書店、1990。