測度論とは?
そくどろん
測度論とは、長さ・面積・確率などの「大きさ」を厳密に定義するための数学の理論体系で、現代の解析学・確率論の基礎をなします。
測度論(Measure Theory)は、集合に対して「大きさ(測度)」を厳密に割り当てる方法を研究する数学の一分野です。直線上の長さ、平面上の面積、空間の体積といった概念を一般化し、より複雑な集合に対しても矛盾なく「大きさ」を定義することを目指します。
19世紀末から20世紀初頭にかけて、アンリ・ルベーグらによって厳密に整備されました。従来のリーマン積分では扱えなかった不連続関数や複雑な集合に対しても積分を定義できるルベーグ積分の理論が、測度論の中心的な成果です。
測度論の基本概念は次のように構成されます。
- σ-加法族(σ-algebra):集合族に可算和・補集合演算の閉性を要求する構造
- 測度(measure):σ-加法族上で定義される非負値関数で、可算加法性を満たすもの
- 可測関数:測度空間の上で「ルベーグ積分可能」な性質を持つ関数
確率論との関係は特に深く、確率空間は「測度が全体で1になる測度空間」として定式化されます。これにより、確率変数・期待値・収束定理などが測度論の言葉で厳密に扱えるようになり、現代確率論の基礎となっています。
機械学習・統計学・物理学(量子力学の数学的定式化)など、広範な分野において理論的基盤として機能する重要な理論体系です。
使い方・例文
「連続分布の期待値を厳密に計算するため、測度論に基づくルベーグ積分を用いた」のように、確率・解析の厳密な定式化を求める文脈で登場します。
この用語をシェア
最終更新: