可測集合
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/25 15:39 UTC 版)
集合には '長さ' や '重さ' が定まるものがある。例えば、区間 [0, 1]は長さ1を持つと思われる。; もっと一般的に、区間[a, b] (a ≤ b) は長さ b − a を持つと思われる。このような区間を一様な密度の金属棒と見ると、同じように重さも定義可能である。集合 [0, 1] ∪ [2, 3] は長さ1の二つの区間の合併であるので、この集合の全長は2と考える。重さで考えても同様に2と考えられる。ここで自然に次の問題が発生する: 実数直線の任意の部分集合 E に対して、必ず '重さ' や '全長'は得られるのか? 例えば、[0, 1] 上の有理数集合はどんな重さになるであろうか。有理数集合は実数直線の中で稠密なので、非負の値が適切であろう。重さに最も近い一般化はσ-加法性を持つルベーグ測度である。この測度は [a, b] の長さに b − a を割り当て、可算集合である有理数全体の集合には 0 を割り当てる。ルベーグ測度が定められる集合をルベーグ可測集合と呼ぶ。しかし、ルベーグ測度の構成(カラテオドリの拡張定理を使う)自体からは不可測集合の存在は明らかに分かることではない。その問題に対する答えは選択公理を仮定するかどうかをも問うことになる。
※この「可測集合」の解説は、「ヴィタリ集合」の解説の一部です。
「可測集合」を含む「ヴィタリ集合」の記事については、「ヴィタリ集合」の概要を参照ください。
- 可測集合のページへのリンク