出典: フリー百科事典『ウィキペディア(Wikipedia)』
| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "ルベーグ外測度" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年8月) |
数学におけるルベーグ外測度(ルベーグがいそくど、英: Lebesgue exterior measure, Lebesgue outer measure)は、 Rn の各部分集合に対しそれが占める体積に相当する非負拡大実数を対応付ける集合函数である。
現代的なルベーグ測度の構成は、この外測度の概念を通じて与えられる。
- 区間
に対し ![{\displaystyle \mu ^{*}(I)=(b_{1}-a_{1})(b_{2}-a_{2})\dotsb (b_{n}-a_{n}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26745940b7c7085ac5b94ec5920e18c7c66ab789)
- 特に
![{\textstyle \mu ^{*}(\emptyset )=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb7be6460e95e8811c5531af192dffe3c9f1981b)
- 劣加法性:
![{\displaystyle \mu ^{*}{\Big (}\bigcup _{j=1}^{\infty }E_{j}{\Bigr )}\leq \sum _{j=1}^{\infty }\mu ^{*}(E_{j}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91e863aad579b08c96e30d5580ac6a945ea836dc)
- 特に単調性:
![{\textstyle A\subseteq B\implies \mu ^{*}(A)\leq \mu ^{*}(B).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9b5cd36cf3f91be9c64fb5cfad2dfa5a2a0d2a6)
- 平行移動不変性:
と置けば ![{\displaystyle \mu ^{*}(A)=\mu ^{*}(A_{\lambda }).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6bb8352c5c0a247d2530441e937e519ebcfac46)
- 線型変換 T: Rn → Rn に対し
と書けば ![{\displaystyle \mu ^{*}(TA)=|T|\mu ^{*}(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1e4d54bed259bb0bae091a0a5ddb85a92c62260)
が成り立つ。ただし |T| は変換の行列式である。
基本集合
に対し、その体積を
と定義する。
全体集合 Rn を区間の可算列によって被覆できる(なんとなれば
が成立することをみればよい)から、Rn の任意の部分集合 E が上記の基本集合の可算合併で被覆できることは明らかな事実である。そこで E のルベーグ外測度を
![{\displaystyle \mu ^{*}(E):=\inf {\Big \{}\sum _{j=1}^{\infty }{\hbox{vol}}(I_{j}):\bigcup I_{j}\supseteq E{\Bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/578da474114337e076c7e1538d55dff2f9b2d592)
と定義する。ただし下限 inf は
E を被覆する任意の基本集合列
Ij にわたってとるものとする。
これにより外測度
が定まる。
零集合[編集]
Rn の部分集合 E がルベーグ測度零またはルベーグ零集合であるとは、そのルベーグ外測度の値が零となるときに言う。これはルベーグの測度論においては、外測度零の任意の集合が可測でありかつその任意の部分集合が測度零であるという形で生じる。
関連項目[編集]
外部リンク[編集]