σ-代数と測度

σ-代数は測定可能な集合を定め、測度はそれらの各々に整合性のあるサイズを割り当てる。これらが一体となって、すべての積分論が構築される可測空間を形成する。

Definition

σ-代数は、補集合と可算和に関して閉じている部分集合の集まりであり、測度はσ-代数上の可算加法的な非負集合関数である。このペアは、長さ、面積、体積、確率を一般化する測度空間を形成する。

Scope

このトピックでは、σ-代数と開集合によって生成されるボレルσ-代数、可測関数、可算加法性を持つ測度の公理、外測度とカラテオドリの構成、ルベーグ測度の構築、完備性と零集合、単調列に沿った測度の連続性について扱う。

Core questions

• どのような集合の集まりが、整合性のあるサイズの概念を支えることができるのか？
• ユークリッド空間上のルベーグ測度は、外測度からどのように構築されるのか？
• 可算加法性は、有限加法性では不可能などのような貢献をするのか？
• なぜ測度は、絶対的にすべての部分集合に定義できないのか？

Key theories

カラテオドリの拡張定理

外測度は、その可測集合のσ-代数上で真の可算加法的な測度に制限される。これは、より単純な集合関数からルベーグ測度や抽象空間上の測度を生成する構成である。

非可測集合の存在

選択公理を仮定すると、実数直線には、平行移動不変な可算加法的な測度がサイズを割り当てることができない部分集合が存在する。これが、すべての部分集合ではなくσ-代数が必要とされる理由である。

Clinical relevance

測度空間は確率論の形式的な基礎であり、σ-代数は観測可能な事象を符号化し、測度は確率分布である。この同じ枠組みは、積分、統計学と金融におけるランダム性の厳密な扱い、および解析学における関数空間の定義を支えている。

History

ボレルは1898年頃に区間から構築される集合のσ-代数を導入し、ルベーグは1902年に直線上の測度を定義した。カラテオドリの外測度法は、この構成を抽象空間に一般化し、ヴィタリの1905年の例は非可測集合を示した。

Key figures

• Constantin Caratheodory
• Emile Borel
• Henri Lebesgue

Seminal works

• folland1999
• axler2020

Frequently asked questions

なぜ直線のすべての部分集合を測定しないのですか？

選択公理を用いると、ヴィタリ集合のような、平行移動不変性と可算加法性を持つサイズを割り当てることができない集合を構築できるため、測定はσ-代数に限定されます。

可算加法性の役割は何ですか？

可算加法性、すなわち可算個の互いに素な和集合の測度が個々の測度の和であるという性質は、測度が極限と良好に相互作用することを可能にし、積分の収束定理を可能にするものです。