1 測度の基本概念
1.1 測度の定義
1.1.1 可測空間
可測空間とは、集合とその上で「何が測れるか」を指定する可測集合族の組である。通常は（X, 𝓜）のように表され、X は基礎集合、𝓜 は σ-代数（σ体、σ-集合族とも呼ばれる）に相当する。σ-代数であることにより、可測集合の補集合が可測であり、可測集合の可算個の合併や共通部分も可測として扱えるため、測度や積分の操作が体系的に可能になる。
1.1.2 測度の公理（可算加法性など）
測度 μ とは、可測空間 (X, 𝓜) 上で定義された写像 μ: 𝓜 → [0, ∞] で、基本性質として少なくとも次を満たす。第一に空集合の測度が 0 であること、第二に互いに交わらない可測集合列 {A_n} に対し可算加法性 \[ \mu\left(\bigcup_{n=1}^{\infty} A_n\right)=\sum_{n=1}^{\infty}\mu(A_n) \] が成り立つことである。この可算加法性は、有限個ならば直感に沿う「足し算」を、無限個の合成へと拡張する役割を担う。これにより、集合を細かく分割して測るという考えが厳密に実装される。
1.1.3 空集合と自明な性質
空集合 ∅ は可測集合族に必ず含まれる（σ-代数の性質による）。測度の公理として μ(∅)=0 が課されるため、測り得る対象が存在しない場合に量がゼロになるという整合性が確保される。また、可測集合に対する補集合、差集合、和集合などの操作が σ-代数の閉性によって可測のまま維持される。これらは測度の計算を行う際の「安全な操作範囲」を規定する。
1.2 可測集合と可測写像
1.2.1 可測集合の扱い
可測集合とは、与えられた可測空間において σ-代数 𝓜 の元として定義される集合のことを指す。可測性の概念は単なる分類ではなく、測度を割り当てる際の土台になる。可測性が保証されることで、測度の値 μ(A) が意味を持つだけでなく、積分における「指示関数」や「集合上の制限」などの構成が整合的に働く。
1.2.2 可測写像の定義
可測写像とは、可測空間 (X, 𝓜) と (Y, 𝓝) の間の写像 f: X → Y であって、任意の可測集合 B∈𝓝 に対し逆像 f^{-1}(B) が 𝓜 の元になるものをいう。この条件は、像（順方向）で可測性が自動的に保証されない場合がある一方で、逆像は常に測定可能な形で扱えることを示す。したがって測度論では、可測性はしばしば「逆像が保たれるか」という形で定義される。
1.2.3 画像と逆像による可測性
画像（順方向）に関しては、可測集合の像が常に可測になるとは限らない。この不確実性を避けるため、理論の基礎では可測性を逆像で検討する。さらに、可測写像に関連して「押し出し」（プッシュフォワード）が導入され、逆像による定義を通じて像側の測度を組み立てる。結果として、逆像の可測性条件は、像に関する測度構成の出発点として機能する。
1.3 測度の例
1.1 離散測度
離散測度は可算集合上で特に素直に定義できる測度である。たとえば X が可算集合で、各点 {x} の測度を一定の規則で与えると、任意の集合 A の測度は A に含まれる点の個数（あるいは重みの和）として表される。無限集合でも値は [0, ∞] の範囲で許されるため、測れる量を「点の集まり」として自然に数える枠組みになる。
1.3.2 巾（長さ）測度と面積測度
ユークリッド空間における長さや面積に対応する測度が代表例である。実数直線 R では区間の長さを与える測度が「長さ測度」に相当し、平面 R^2 では長方形の面積から拡張された「面積測度」が対応する。連続空間では、単なる等間隔の数え上げでは不十分だが、区間や長方形といった幾何学的な形の測りを出発点にして、より複雑な集合へと測度を拡張していく。
1.3.3 カウント測度とルベーグ測度
カウント測度は、可算集合の各点を 1 として数えることで得られる測度として理解できる。より一般の空間では「長さ・面積・体積」の連続版としてルベーグ測度が中心的存在になる。ルベーグ測度は、開集合などの幾何学的に扱いやすい集合から始めて、極端に複雑な集合でも測度を割り当てられるように作られる。これにより、連続解析や確率論で現れる「ほぼ至る所」や「測度ゼロ」などの概念が精密化される。
2 測度の構成と拡張
2.1 生成と拡張の考え方
2.1.1 セミ環と環からの構成
測度をいきなり全ての可測集合族に定義するのは難しいため、まずは取り扱いやすい集合族から始める。その代表としてセミ環や環が用いられる。セミ環は、有限個の交差に安定であり、分解に関して扱いやすい性質を持つ集合族として定義される。環はさらに差集合などに対して閉性が強い。これらから測度を定めると、条件が適合する範囲では有限加法性が成立し、次第に σ-加法性へと拡張できる設計が可能になる。
2.1.1.1 カルテシアン積や基底集合の設計
積の空間で測度を作る際には、基底となる集合（たとえば区間の直積）をどのように選ぶかが重要になる。直積で生成される集合族は、扱いやすい形を維持しつつ、必要な可測集合へ到達するための足場になる。基底の選び方は、最終的に得られる測度が「空間の幾何や位相の自然性」に沿うよう工夫される。
2.1.2 パイプ関数による拡張の方針
パイプ関数（集合函数の拡張に用いる代表的な手法）は、狭い集合族で定義した量を、より広い範囲へ正則に延長する方針を与える。直感的には、まずは簡単な集合に対して測度に相当する値を与え、つぎにその値が無矛盾であるように外側・内側から近似していく。外測度や内部測度の構成に接続する点が重要である。
2.2 外測度と測度の構成
2.2.1 外測度の定義
外測度とは、全ての部分集合に対して（あるいは十分広い範囲で）「覆いで評価する」タイプの集合函数として定義される。典型的には、可測集合族の素朴な基本集合で近似するのではなく、対象集合を可算個の集合で覆い、その評価の和の下限として与える。外側からの制御により、定義域が広がっても値が破綻しにくい。
2.2.2 カラテオドリの可測性条件
カラテオドリの可測性条件は、外測度を用いて「測れる集合」を切り出す基準である。ある集合 A が可測であるとは、任意の集合 E について \[ \mu^*(E)=\mu^*(E\cap A)+\mu^*(E\cap A^c) \] が成り立つこと（外測度が A によって分解されること）として特徴づけられる。これにより、外測度で作られた評価が、あるクラスの集合に対しては測度として振る舞うようになる。
2.2.3 ルベーグ測度の生成
ルベーグ測度は、実数直線の区間長（およびそれに整合する基底集合）から外測度を作り、カラテオドリの条件で可測集合を決めることで得られる。最終的に、開集合などが持つ幾何学的な「大きさ」を矛盾なく拡張し、解析で必要になる σ-加法性が成立する。極めて複雑な集合に対しても測度が定義される点が、標準的解析の基盤になっている。
2.3 仕上げとしての拡張定理
2.3.1 一意性
拡張定理は、最初に与えた集合族上の値が矛盾なく測度として延長される場合、結果となる測度が一意に決まることを保証する。すなわち、同じ生成データ（例えばセミ環上の値）から作られる測度は、可測集合族が同じであれば一致する。これは理論の再現性を支える性質であり、構成法の選択に依存しないことを意味する。
2.3.2 完備化（零測集合の追加）
完備化とは、測度ゼロの集合を含める形で可測性を拡張し、極限過程で現れる微妙な集合の扱いを安定化させる操作である。測度の零集合が含まれるように可測集合族を調整すると、解析で重要な「ほぼ至る所」の概念が使いやすくなる。特に積分や収束定理の適用範囲が整理され、例外集合の扱いが単純化される。
2.3.3 σ加法性の維持
拡張の過程で最大の要点は、可算加法性が維持されることにある。外測度から可測集合を抽出し、測度として確定する段階では、分解規則がカラテオドリ条件によって保証される。さらに完備化や他の拡張を行う場合にも、零測集合の追加などを通じて測度構造が崩れないよう注意して設計される。
3 測度の性質と計算技法
3.1 基本的な性質
3.1.1 単調性
単調性とは、可測集合 A⊆B のとき μ(A)≤μ(B) が成り立つ性質である。これは、B を A とその補集合部分に分ければ交わりがない分解になり、可算加法性により導かれる。測度の大小関係が集合の包含関係と整合することで、評価のための基本テクニックが確立する。
3.1.2 連続性（上から・下から）
連続性には上からの連続性と下からの連続性がある。一般に、集合列 A_n が単調に増加して A へ近づくとき μ(A_n) は μ(A) へ収束する。同様に、単調減少で E へ収束する場合も、条件付きで対応する極限が成り立つ。これらは極限操作と測度の相性を保障し、収束定理や近似の正当化に直結する。
3.1.3 助変数としての可算和
測度は「和を足していく」だけでなく、補助的な変数分解の中で利用される。たとえば、複数の集合を和に分けたり、可算個の枠で覆って上から評価したりする際に、測度の加法構造が反復的に使われる。結果として、評価の計算が「可算和の形」に落ちるため、後の解析的議論に接続しやすくなる。
3.2 変数変換（写像による測度）
3.2.1 プッシュフォワード（押し出し）
プッシュフォワードは、可測写像 f: X→Y を通じて X 上の測度 μ を Y 上の測度 ν に移す操作である。定義の中心は、ν(B)=μ(f^{-1}(B)) として B の逆像を用いる点にある。これにより、像側で測度を計算する問題が、元の空間で逆像を通じて扱う問題へ変換される。
3.2.2 プルバック（引き戻し）
プルバックは、測度の「逆方向」の取り扱いに関わる考え方で、写像を介して集合の構造を引き戻し、可測性を保持したまま評価する。測度それ自体の逆像は通常そのままでは定義できない場合もあるが、可測関数や集合函数の形で引き戻すことで整合的な議論が可能になる。実務では、積分の変換式として現れることが多い。
3.2.3 ヤコビアンと測度の変換
滑らかな変換の場合、ヤコビアン（変数変換の行列式の絶対値）が測度の密度に係数として現れる。例えば R^n の正則変換 x↦y=f(x) により体積要素が変形されるとき、局所的な拡大縮小率を表すヤコビアンが積分の重みとして組み込まれる。測度論では、この事実をより一般の測度や可測関数の言葉へ翻訳して扱える。
3.3 一般的な評価と近似
3.3.1 外測度による評価
外測度は覆いに基づくため、測れないかもしれない対象も含めて上から評価できる利点がある。実際の計算では、ある集合の測度を直接扱うよりも、適切な基本集合で覆って外側の推定を作ることで上限を得る。後に可測性が確定できれば、その外測度が測度と一致する部分に落とし込む。
3.3.2 単調収束・連続性の利用
単調収束定理や測度の連続性を組み合わせることで、多くの評価が極限へ還元される。集合列の場合は測度の極限、関数列の場合は積分の極限として現れる。これにより、近似による議論が正当化され、複雑な対象でも簡単な段階的構成を経由して結論へ到達できる。
3.3.3 有限測度と局所有限測度
有限測度とは X 全体の測度が有限である測度を指す。一方、局所有限測度は任意の有界領域（あるいは適切な増大列）での測度が有限になるタイプである。連続空間の典型では、無限遠に向かう領域では測度が増大しうるため、局所有限という条件が自然に現れる。この区別は積分の定義域や収束論法の扱いに影響する。
4 測度論と積分への接続
4.1 級数・積分との関係
4.1.1 可測関数とその性質
| 可測関数とは、任意の実数 t に対して {x | f(x) > t} のような集合が可測集合族に入る関数である。可測性により、関数の「値がある範囲に入る集合」が測定可能になるため、測度を通じて関数の積分を定義できる。さらに、関数の振る舞いが極限操作と両立するかどうかを、可測性と連続性の補助条件によって整理する。 |
|---|
4.1.2 積分の考え方（概観）
積分は、関数が与える量を「領域全体で総計する」概念である。測度論では、まず非負可測関数に対し、集合上の単関数（有限個の値を取る関数）の積分を測度から定義し、そこから単関数の増大極限や近似で一般の関数へ拡張する。この構成は、和と極限の関係を体系的に扱える点が特徴である。
4.2 ルベーグ積分
4.2.1 単関数近似
ルベーグ積分の基本構成の一つは、任意の非負可測関数を単関数で点ごとに近似することである。たとえば関数値を段階的に区切った値を取る単関数を作り、近似が上からあるいは下から収束するように設計する。こうして定義した積分は、単関数で一致し、極限を介して一般の可測関数に拡張される。
4.2.2 和・極限と積分の交換
ルベーグ積分では、単調増加の関数列に対して積分と極限の交換が成立する。これは「局所的な足し算」を無限階層へ延長する保証として働く。結果として、複雑な積分は、より扱いやすい部分積分の極限として評価できるようになる。関数の積分が計算可能な形に分解されるという点で、解析全般の道具立てを支える。
4.2.3 可積分性の判定基準
可積分性は、積分が有限値として意味を持つかどうかの判定問題である。非負関数では「積分が有限」という条件がそのまま要件になり、符号付き関数では正・負の部分に分けた上で両者の扱いを整理する。さらに、測度がどのように増大するか、関数がどの程度減衰するかが重要であり、評価や近似の仕方により判定が実務上可能になる。
4.3 収束定理の位置づけ
4.3.1 単調収束定理
単調収束定理は、非負の可測関数列 {f_n} が点ごとに単調増加し、その極限が f であるとき、 \[ \int f_n \, d\mu \to \int f \, d\mu \] が成り立つことを述べる。測度論では最も基本的な交換則の一つであり、近似により積分を構成する際の正当化に用いられる。
4.3.2 有界収束定理
有界収束定理は、有界な可測関数列が点ごとに収束する状況で、積分の極限が成立するための枠組みを与える。ただし一般の測度空間では追加条件が必要になり得るため、単なる「有界ならいつも良い」という形ではなく、収束のタイプと測度条件の整合が問われる。
4.3.3 支配収束定理
支配収束定理は、点ごとの収束に加え、全ての f_n がある可積分な関数 g によって支配される場合に、積分と極限を交換できることを保証する。実際の解析では、直接の評価が難しい場合に「一様に抑え込む」形の支配関数を見つけ、定理で結論を導く。特に確率論では、ランダム変数の極限の議論に頻繁に用いられる。
5 測度の比較と同値性
5.1 絶対連続性
5.1.1 絶対連続の定義
絶対連続性とは、二つの測度 μ と ν の関係を、零集合の観点で比較する概念である。通常は「ν が 0 になる集合が μ に対しても 0 になる」ことを要求し、これが満たされるとき μ は ν に関して絶対連続、あるいは ν は μ に関して絶対連続と呼ばれる。零測集合の構造が似ているかどうかが本質であり、密度の存在につながる。
5.1.2 ラドン＝ニコディムの概念
ラドン＝ニコディムの枠組みでは、絶対連続性が成り立つとき、ある関数（密度）が測度の関係式を表すことが示される。具体的には、ν が μ に対して絶対連続であれば、ν は μ による積分として記述でき、密度関数が現れる。この概念は「測度間の変換を関数として表す」ことを可能にし、解析・確率の両方で重要になる。
5.2 特異性と分解
5.2.1 特異な測度の直観
特異性は、二つの測度が同じ領域で同時に「大きくなる」ことがない、という直観に基づく。形式的には、片方の測度が 0 となる領域にもう片方が集中するような状況を捉える概念である。密度による滑らかな関係とは異なり、測度の構造に局所的な極端さが含まれる場合に現れる。
5.2.2 測度の分解定理の考え方
測度分解定理は、任意の測度を「絶対連続部分」と「特異部分」に分けられるという考え方を与える。これにより、測度の違いを二系統に整理できるため、比較問題や積分変換の議論が見通し良くなる。密度が存在する部分では関数として扱い、集中する部分では特異性という別の記述で扱う。
5.3 密度（導関数）と計算
5.3.1 密度の意味
密度は、ある測度が別の基準測度に対してどの程度の「割合」で配分されるかを示す関数として理解される。ラドン＝ニコディムの意味での密度は、積分の重みとして現れるため、測度比較が計算可能な形に変換される。結果として、確率密度関数のような形が数学的に一般化された概念として位置づく。
5.3.2 密度に基づく積分の変形
密度が与えられると、ある測度に対する積分が基準測度での積分へ書き換えられる。典型的には \[ \int h \, d\nu = \int h \,\frac{d\nu}{d\mu}\, d\mu \] のような関係が成立する（適切な可積分性の条件のもと）。これにより、期待値や平均の計算が、密度を掛けた形に整理される。
5.3.3 実用例（形の整え方）
実用上の例として、測度を一度基準に揃えることで計算を簡潔化する操作が挙げられる。たとえば、確率論では分布の比較を密度で表し、積分の変形によって分布変換や期待値の評価を行う。密度の形が整うことで、冪級数や有界性の評価など、別の解析手法が適用しやすくなる。