|
|
1行目: |
1行目: |
− | [[数学]](特に[[測度論]])における'''ラドン測度'''(ラドンそくど、{{lang-en-short|''Radon measure''}})は、{{仮リンク|ヨハン・ラドン|en|Johann Radon}}に因んで名づけられた、[[ハウスドルフ空間]] ''X'' 上の[[ボレル集合]]の成す[[完全加法族]]上の[[測度]]で[[局所有限測度|局所有限]]かつ[[内部正則測度|内部正則]]であるものをいう。
| + | {{テンプレート:20180815sk}} |
− | | |
− | == 動機 ==
| |
− | [[位相空間]]の上に測度が定められるとき、その測度が空間の位相と何らかの意味で両立するような、よい測度の概念はあるかというのがよくある問題意識である。その位相空間の[[ボレル集合]]上の測度を定義することは一つの方法であるが、これには一般にいくつか問題があって、例えばそのような測度には[[台 (測度論)|台]]が上手く定義できるとは限らない。あるいは、測度論を[[局所コンパクト]][[ハウスドルフ空間]]に制限して考え、測度として(いくつかの文献ではラドン測度の定義に採用されている)[[コンパクト台]]付き[[連続関数]]の空間上の正値[[線型汎関数]]に対応するものだけを考える方法もある。こうすれば病的な問題を孕まないよい理論が得られるが、そのままでは局所コンパクトでない空間に対して適用できない。
| |
− | | |
− | ラドン測度の理論は局所コンパクト空間のよくあるよい性質のほとんどを有しているが、任意のハウスドルフ空間に適用することができる。ラドン測度の定義の考え方は、正値汎関数に対応する局所コンパクト空間上の測度を特徴付ける何らかの性質を見つけることであり、それらの性質を勝手なハウスドルフ空間上のラドン測度の定義として利用することにある。
| |
− | | |
− | == 諸定義 ==
| |
− | 以下、''m'' はハウスドルフ空間 ''X'' 上のボレル集合の成す完全加法族上の測度とする。
| |
− | | |
− | * 測度 ''m'' が'''内部正則''' {{lang|en|(''inner regular'')}} 若しくは'''緊密''' {{lang|en|(''tight'')}} であるとは、任意のボレル集合 ''B'' の測度 ''m''(''B'') が ''B'' に含まれるコンパクト集合 ''K'' の測度 ''m''(''K'') の[[上限]]として得られるときに言う。
| |
− | * 測度 ''m'' が'''外部正則''' {{lang|en|(''outer regular'')}} であるとは、任意のボレル集合 ''B'' の測度 ''m''(''B'') が ''B'' を含む開集合 ''U'' の測度 ''m''(''U'') の[[下限]]として得られるときに言う。
| |
− | * 測度 ''m'' が'''局所有限''' {{lang|en|(''locally finite'')}} であるとは、各点が測度有限なる近傍を持つときに言う。
| |
− | | |
− | 内部正則かつ局所有限であるような測度 ''m'' を'''ラドン測度'''と呼ぶ。
| |
− | | |
− | <div style="margin: 1ex 2em;">注: ラドン測度の理論をハウスドルフでない空間へ拡張することは可能である。それには本質的に上で用いた「コンパクト」をすべて「コンパクト閉」に取り替えればよいが、しかしこのように拡張することに応用の余地はそれほど無いと思われる。</div>
| |
− | | |
− | == 局所コンパクト空間上のラドン測度 ==
| |
− | 下敷きとなる測度空間が[[局所コンパクト空間]]であるとき、ラドン測度は[[コンパクト台]]付き[[連続写像]]全体の成す空間上の[[連続線型汎関数]]の言葉で定義することができる。これにより、測度と積分の理論を[[関数解析学]]を用いて展開することができる。これはブルバキ{{harv|Bourbaki|2004}}および一定数の文献に見られるやり方である。
| |
− | | |
− | === 測度 ===
| |
− | 以下、''X'' は局所コンパクトな位相空間を表すものとする。''X'' 上のコンパクト台付き実数値連続関数の全体は[[ベクトル空間]] '''K'''(''X'') を成し、これに自然な[[局所凸位相]]を入れることができる。実際、'''K'''(''X'') は台がコンパクト集合 ''K'' に含まれる連続関数の成す部分空間 '''K'''(''X'', ''K'') の合併であって、各空間 '''K'''(''X'', ''K'') は[[一様収束の位相]]が入って[[バナッハ空間]]になるが、位相空間の合併というのは位相空間の[[帰納極限]]の特別な場合であって、然るに空間 '''K'''(''X'') は空間族 '''K'''(''X'', ''K'') から誘導される帰納極限位相が入るのである。
| |
− | | |
− | 測度 ''m'' が ''X'' 上のラドン測度ならば、写像
| |
− | : <math>I\colon f \mapsto \int f\, dm </math>
| |
− | は '''K'''(''X'') から '''R''' への'''連続'''な正値線型写像になる。ここで、正値性というのは ''f'' が非負値関数である限りにおいて ''I''(''f'') ≥ 0 となることを意味し、また連続性は上記の帰納極限位相に関して言うが、次の条件
| |
− | : ''X'' の任意のコンパクト部分集合 ''K'' に対し、定数 ''M''<sub>''K''</sub> が存在して、''X'' 上の実数値連続関数 ''f'' でその台が ''K'' に含まれるようなもの全てに対して<div style="margin: 1ex 2em"><math>
| |
− | |I(f)| \leq M_K \sup_{x\in X} |f(x)|
| |
− | </math></div>とすることができる。
| |
− | とも同値である。逆に、[[リースの表現定理]]によって、'''K'''(''X'') 上の各'''正値'''線型形式からラドン測度に関する積分が生じるから、従ってそれは '''K'''(''X'') 上の'''連続'''正値線型形式である。
| |
− | | |
− | '''実数値ラドン測度'''は '''K'''(''X'') 上の(正値とは限らない)「任意の」連続線型形式として定義される(これはちょうど二つのラドン測度の差になっている)。これは実数値ラドン測度の全体と[[局所凸空間]] '''K'''(''X'') の[[双対空間]]との同一視を与える。例えば、sin(''x'')''dx'' は実数値ラドン測度になるが、少なくとも一方が有限な二つの測度の差として書くことはできないから、符号付測度に拡張することさえできない。
| |
− | | |
− | いくつかの文献では(正値)ラドン測度を '''K'''(''X'') 上の正値線型形式として定義する古いやり方が用いられる({{harvtxt|Bourbaki|2004}}, {{harvtxt|Hewitt|Stromberg|1965}},{{harvtxt|Dieudonné|1970}} 等を参照)。この設定では、上で述べた意味でのラドン測度を「正値測度」と呼び、上記の意味での実数値ラドン測度を「(実)測度」と呼ぶ用語法を用いるが普通である。
| |
− | | |
− | === 積分 ===
| |
− | 局所コンパクト空間上の測度論を関数解析の観点から完全に構築するには、測度(積分)をコンパクト台付き連続関数から拡張する必要がある。これにはいくつかの段階を踏んで、任意の実または複素数値関数に対して拡張を行う。
| |
− | # [[下半連続]]正値(実数値)関数 ''g'' の'''上積分''' μ*(''g'') を、''h'' ≤ ''g'' なるコンパクト台付き連続関数 ''h'' に対する正の数 μ(''h'') の[[上限]](無限大となる場合を許す)として定義する。
| |
− | # 任意の正値(実数値)関数 ''f'' に対する上積分 μ*(''f'') を ''g'' ≥ ''f'' なる下半連続関数 ''g'' の上積分 μ*(''g'') の下限として定義する。
| |
− | # ベクトル空間 ''F'' = ''F''(''X'', μ) を ''X'' 上の関数 ''f'' でその絶対値の上積分 μ*(|''f''|) が有限となるようなもの全体の成す空間として定義する。絶対値の上積分は ''F'' 上の[[半ノルム]]を定め、その半ノルムの誘導する位相に関して ''F'' は[[完備空間]]になる。
| |
− | # '''可積分関数'''全体の成す空間 ''L''<sup>1</sup>(''X'', μ) をコンパクト台付き連続関数全体の成す空間の ''F'' の中での[[閉包 (位相空間論)|閉包]]として定義する。
| |
− | # 可積分関数の空間 ''L''<sup>1</sup>(''X'', μ) に属する関数の'''積分'''を(μ が ''L''<sup>1</sup>(''X'', μ) の位相に関して連続であることを確かめた後)連続性による拡張と定義する。
| |
− | # 集合の[[指示関数]]の積分が存在すれば、それをその集合の測度と定める。
| |
− | | |
− | このような段階を踏んで得られた理論が、ラドン測度を ''X'' 上の各[[ボレル集合]]に数を割り当てる関数として定義することから始めて得られる理論と一致することを確認することができる。
| |
− | | |
− | '''R''' 上の[[ルベーグ測度]]をこのように関数解析的な構成によって導入する方法がいくつかある。一つは、[[ダニエル積分]]やコンパクト台付き連続関数に対する[[リーマン積分]](あるいは初等的な積分の定義に対するどのような積分についても)のような初等的な積分に依拠するものである。それら初等的な積分によって定義される、先ほど述べた意味での測度は、ちょうどルベーグ積分になる。いま一つは、リーマン積分やダニエル積分やそれに類する理論に依ることなしに、[[ハール測度]]の一般論をまず展開し、'''R''' 上のハール測度 λ で正規化条件 λ([0, 1]) = 1 を満足するものとしてルベーグ測度を定めればよい。
| |
− | | |
− | == 例 ==
| |
− | ラドン測度の例には以下のようなものが挙げられる。
| |
− | * ユークリッド空間上の[[ルベーグ測度]]
| |
− | * 任意の[[局所コンパクト群]]上の[[ハール測度]]
| |
− | * 任意の位相空間上の[[ディラック測度]]
| |
− | * '''R'''<sup>''n''</sup> にボレル位相とボレル集合族を考えた場合の[[ガウス測度]]
| |
− | * 任意の[[ポーランド空間]]上の[[ボレル集合]]の成す完全加法族の上の[[確率測度]]。この例は先の例の一般化であるばかりでなく、局所コンパクト空間上の多くの測度を含み、例えば区間 [0, 1] 上の実数値連続関数全体の成す集合上の[[ウィーナー測度]]などはこれにあたる。
| |
− | | |
− | 以下はラドン測度でないものの例である。
| |
− | * ユークリッド空間上の[[数え上げ測度]]。これは局所有限でない。
| |
− | * [[最小の非可算順序数]]以下の[[順序数]]全体の成す空間に[[順序位相]]を入れたものはコンパクト内装空間になる。この空間の測度を、非可算閉集合を含む集合で 1 となりそれ以外では 0 であるものと定めると、これはボレル測度になるがラドンではない。
| |
− | * ''X'' を半開区間 [0, 1) に半開区間族 { [''a'', ''b'') | 0 ≤ ''a'' < ''b'' ≤ 1} の生成する位相を入れたものとする。この距離空間上の標準ルベーグ測度は、内部正則でなく、コンパクト集合は高々可算であるから、ラドン測度にならない。
| |
− | | |
− | == 基本性質 ==
| |
− | === 緩増加ラドン測度 ===
| |
− | 空間 ''X'' 上のラドン測度 ''m'' が与えられたとき、ボレル集合上の別の測度 ''M'' が
| |
− | : <math>M(B) = \inf_V\, m(V)</math>
| |
− | とおいて定まる(ただし、inf は ''B'' ⊂ ''V'' ⊂ ''X'' なる開集合 ''V'' を全て亘ってとる)。この測度 ''M'' は外部正則かつ局所有限で、さらに開集合に対しては内部正則になる。これはコンパクト開集合上で ''m'' に一致し、また ''m'' はコンパクト集合上で ''M'' と一致するような唯一の内部正則測度として ''M'' から再現することができる。測度 ''m'' が'''{{訳語疑問点範囲|緩増加|date=2011年11月}}''' {{lang|en|(''moderated'')}} であるとは、 ''M'' が σ-有限であることをいい、この場合測度 ''m'' は測度 ''M'' と同じになる(''m'' が σ-有限であることは ''M'' が σ-有限であることを導かないから、緩増加性は σ-有限性よりも強い条件である)。
| |
− | | |
− | [[強リンデレフ空間]]上では、任意のラドン測度が緩増加である。
| |
− | | |
− | === ラドン空間 ===
| |
− | {{main|ラドン空間}}
| |
− | 空間が'''ラドン空間'''であるとは、任意の有限ボレル測度がラドン測度であるときにいう。また、'''強ラドン空間'''であるとは、任意の局所有限ボレル測度がラドン測度となるときにいう。任意の[[ススリン空間]]は強ラドンであり、さらにその任意のラドン測度が緩増加になる。
| |
− | | |
− | === 双対性 ===
| |
− | 局所コンパクトハウスドルフ空間の上で、ラドン測度はコンパクト台付き連続関数全体の成す空間上の正値線型汎関数に対応する。この性質がラドン測度を定義する主な動機となったことを鑑みれば、これは別に驚くことではない。
| |
− | | |
− | === 距離空間構造 ===
| |
− | ''X'' 上の(正値)ラドン測度全体の成す[[錐 (線型代数学)|点付き錐]] '''M'''<sub>+</sub>(''X'') には、二つの測度 ''m''<sub>1</sub>, ''m''<sub>2</sub> の間の'''ラドン距離''' ρ を
| |
− | :<math>\rho (m_{1}, m_{2}) := \sup_f\int_{X}f\,d(m_{1} - m_{2})</math>
| |
− | で定義することにより、[[完備距離空間]]の構造を与えることができる。ただし、sup は ''f'': ''X'' → [−1, 1](⊂ '''R''') なる連続関数 ''f'' の全てに亘ってとる。この距離にはいくつか制約があり、例えば ''X'' 上の確率ラドン測度全体の成す空間
| |
− | :<math>\mathbf{P}(X) := \{ m \in \mathbf{M}_{+} (X)\mid m (X) = 1 \}</math>
| |
− | はラドン距離に関して[[点列コンパクト]]にならない(つまり、確率測度の任意の列がラドン距離に関して収束する部分列を持つことは保証されない)。これはある種の応用において障害となる。他方、''X'' がコンパクト距離空間ならば、'''P'''(''X'') は[[ワッサースタイン距離]]に関してコンパクト距離空間となる。
| |
− | | |
− | ラドン距離に関する収束は{{仮リンク|測度の弱収束|en|Convergence_of_measures#Weak_convergence_of_measures}}
| |
− | :<math>\rho (m_{n}, m) \to 0 \implies m_{n} \rightharpoonup m</math>
| |
− | を含意するが、逆は一般には成り立たない。ラドン距離に関する測度の収束を、弱収束に対照するものという意味で'''強収束'''と呼ぶことがある。
| |
− | | |
− | == 参考文献 ==
| |
− | * {{citation | last=Bourbaki| first=Nicolas |authorlink=ニコラ・ブルバキ| title=Integration I | year=2004 | publisher=[[Springer Verlag]] | isbn=3-540-41129-1}}.
| |
− | *: ブルバキの用語法は独特で、正値ラドン測度をブルバキでは「正値測度」といい、「測度」は(本質的に)二つのラドン測度の差を指し、必ずしも[[符号付測度]]にはならない。
| |
− | * {{citation |first=Jean|last=Dieudonné|authorlink=ジャン・デュドネ|title=Treatise on analysis|volume=2|publisher=Academic Press|year=1970}}
| |
− | *: デュドネも「測度」はブルバキの語法を採用し、ブルバキよりも少し使いやすい扱いを含む。
| |
− | * {{citation|last1=Hewitt|first1=Edwin|last2=Stromberg|first2=Karl|title=Real and abstract analysis|year=1965|publisher=Springer-Verlag}}.
| |
− | *{{citation | last= König | first= Heinz | title= Measure and integration: an advanced course in basic procedures and applications | publisher = New York: Springer | date= 1997 | isbn= 3540618589}}
| |
− | *{{citation | authorlink = ローラン・シュヴァルツ | last= Schwartz | first= Laurent | title= Radon measures on arbitrary topological spaces and cylindrical measures | publisher= Oxford University Press | date= 1974 | isbn= 0195605160}}
| |
− | | |
− | == 外部リンク ==
| |
− | * {{MathWorld|urlname=RadonMeasure|title=Radon Measure}}
| |
− | * {{PlanetMath|urlname=RadonMeasure|title=Radon measure}}
| |
− | * {{springer|author=R.A Minlos|id=r/r077170|title=Radon measure}}
| |
− | | |
− | {{デフォルトソート:らとんそくと}}
| |
− | [[Category:測度論]]
| |
− | [[Category:積分法]]
| |
− | [[Category:数学に関する記事]]
| |