ルベーグ測度とは
一体なんなんでしょう?
数学において、ルベーグ測度(Lebesgue measure)とはユークリッド空間上の長さ、面積、体積の概念を拡張したものである。体積には「直和集合の体積は元の体積の和」という性質(加法性)がある。この性質を保ちながらより複雑な集合に対しても「体積」を定めることができるよう体積の概念を拡張できる。このような拡張は一意である。実解析、特にルベーグ積分で用いられる。体積と同様ルベーグ測度は∞ をとりうる。解析学で普通に考えられる集合にはすべてルベーグ測度が与えられる。しかし、選択公理によってRnの部分集合でルベーグ測度を与えることができない(無理に与えると加法性が成り立たない)ものが存在することを証明できる。ルベーグ測度が与えられる集合をルベーグ可測という。以下の説明ではルベーグ可測な集合A の測度をλ(A)で表す。
例
閉区間[a, b]の測度はb−aである。同様に開区間 (a, b) の測度も閉区間との差の測度が0であることから、b−aである。
A として、[a, b]と[c, d]の直積(デカルト積)とすれば、Aの測度は、面積(b−a)(d−c)である。
カントール集合は、測度0の非可算集合の例である。
性質
Rn のルベーグ測度は次のような性質を持つ。
いきなりですが…、
東京の新宿、池袋、鶯谷、立川、といえば…。
正解はデリヘルサイトでございます!!!!
ホームページ作成に関する情報も網羅!
HPはかなり良いものを作ってくれます!!
渋谷なら不動産がおすすめ!まずはご覧アレ!
Aを区間の直積、 I1 × I2 × ... × Inとする。このときAはルベーグ可測で である。ただしここで、 |I| は区間Iの長さを意味している。
Aを非交和のルベーグ可測集合の無限を含む高々可算個の和集合とするとき、Aはルベーグ可測でλ(A)は、各集合の測度の和(もしくは、無限級数)に等しい。
Aがルベーグ可測ならば、Aの補集合も可測である。
任意のルベーグ可測集合Aについてλ(A) ? 0である。
ルベーグ可測集合A、Bについて、AがBの部分集合ならば λ(A) ? λ(B)である。
可算個のルベーグ可測集合の和集合や共通部分は、ルベーグ可測である。
Rn の開集合や閉集合(参考:距離空間)はルベーグ可測である。
λ(A) = 0 となるルベーグ可測集合A(零集合)について、Aの部分集合はすべて零集合である。
Aをルベーグ可測集合、x をRnの成分とする。x によるAの平行移動をA + x = {a + x : a ∈ A}と定義するとき、A + xはルベーグ可測でA と測度が同じである。
以上の性質は、次のように簡潔に要約される:
ルベーグ可測集合全体は全ての区間の直積を含むσ-代数 となり、λ はを満足する唯一の完備な平行移動不変な測度である。
(以上、ウィキペディアより引用)
難しいですね。。