台 (測度論)のソースを表示

[[数学]]の分野で、ある[[可測空間|可測]]な[[位相空間]] (''X'',&nbsp;Borel(''X'')) 上の[[測度]] ''μ'' の'''台'''（だい、{{Lang-en-short|support}}）とは、その空間 ''X'' のどこでその測度が「生きている」かということに関する厳密な概念である。しばしば'''位相的台'''（topological support）や'''スペクトル'''（spectrum）と呼ばれることもある。そのような台は、すべての点のすべての[[開近傍|近傍]]が正の測度を持つような、''X'' の最大の（[[閉集合|閉]]）[[部分集合]]で定義される。

== 動機 ==

ある可測空間 (''X'',&nbsp;Σ) 上の（非負の）測度 ''μ'' は実際、函数 ''μ''&nbsp;:&nbsp;Σ&nbsp;→&nbsp;[0,&nbsp;+∞] と表すことが出来る。したがって、通常の[[関数の台|台]]の[[定義]]に従えば、''μ'' の台は次のような [[完全加法族|σ-代数]] Σ の部分集合となる。

:<math>\mathrm{supp} (\mu) := \overline{\{ A \in \Sigma \mid \mu (A) > 0 \}}.</math>

しかし、この定義にはいくらか不十分な点がある。実際、Σ 上の位相すら与えられていないのである。今我々が本当に知りたいことは、空間 ''X'' 内のどこにおいて測度 ''μ'' が非ゼロとなるかということである。次のような二つの例を考えよう。
# [[実数直線]] '''R''' 上の[[ルベーグ測度]] ''λ'' を考える。''λ'' が実数直線全体で「生きている」ことは明らかである。
# ある点 ''p''&nbsp;∈&nbsp;'''R''' に関する[[ディラック測度]] ''δ''<sub>''p''</sub> を考える。再び直感的に、測度 ''δ''<sub>''p''</sub> は点 ''p'' において「生きており」、その他のどこにおいても生きてはいないことが分かる。

以上の二つの例を考慮すれば、以下に述べる定義の候補はいずれも却下されることが分かり、次の節で述べる定義が採用される。

# ''μ'' がゼロとなるような点を除き、残りの部分 ''X''&nbsp;/&nbsp;{&nbsp;''x''&nbsp;∈&nbsp;''X''&nbsp;|&nbsp;''μ''({''x''})&nbsp;=&nbsp;0&nbsp;} を台として定義する場合。これはディラック測度 ''δ''<sub>''p''</sub> には適しているが、ルベーグ測度 ''λ'' には適さない。実際、任意の点のルベーグ測度はゼロであるため、この定義では ''λ'' の台は空集合となってしまう。

# [[狭義正測度]]の概念と比較することで、近傍の測度が正となるようなすべての点からなる集合

:::<math>\{ x \in X \mid \text{for some open } N_{x} \ni x, \mu(N_{x}) > 0 \}</math>

:を台と定義する（あるいはこの[[閉包 (位相空間論)|閉包]]で定義する）場合。これもまた適切ではないことが簡単に分かる。実際、すべての点 ''x''&nbsp;&isin;&nbsp;''X'' に対して ''N''<sub>''x''</sub>&nbsp;=&nbsp;''X'' とすれば、ゼロ測度を除くすべての測度の台が ''X'' 全体となってしまう。

しかし、「局所狭義正」（local strict positivity）の概念は、測度の台の定義として丁度良いものであることが、次節で分かる。

== 定義 ==

(''X'',&nbsp;''T'') をある[[位相空間]]とする。''X'' 上の[[ボレル代数|ボレル σ-代数]]、すなわち、すべての開集合 ''U''&nbsp;∈&nbsp;''T'' を含む ''X'' 上の最小の σ-代数を Borel(''X'') で表す。''μ'' を (''X'',&nbsp;Borel(''X'')) 上の測度とする。このとき、''μ'' の'''台'''（あるいは'''スペクトル'''）は、すべての[[近傍 (位相空間論)|開近傍]] ''N''<sub>''x''</sub> が正測度を持つような、''X'' 内のすべての点 ''x'' の集合で定義される。すなわち、

:<math>\mathrm{supp} (\mu) := \{ x \in X \mid x \in N_x \in T \implies \mu (N_x) > 0 \} </math>

で定義される。人によっては、この集合の閉包で定義することもある。しかし、そのような必要は無い。実際、次の節を参照されたい。また、そのような台の同値な定義として、次を満たすような最小の[[閉集合]] ''C''&nbsp;⊆&nbsp;''X''、というものがある。

:<math>U \in T \text{ and } U \cap C \neq \varnothing \implies \mu (U \cap C) > 0.</math>

すなわち、そのような台との共通部分が空でないようなすべての開集合は、正測度を持つということである。

== 性質 ==

* 空間 ''X'' 上のある測度 ''μ'' が狭義正であるための[[必要十分条件]]は、その台が supp(''μ'')&nbsp;=&nbsp;''X'' となることである。''μ'' が狭義正で ''x''&nbsp;∈&nbsp;''X'' を任意の点とするとき、''x'' の任意の開近傍は[[開集合]]であるため正の測度を持つ。したがって ''x''&nbsp;∈&nbsp;supp(''μ'') であり、supp(''μ'')&nbsp;=&nbsp;''X'' となる。逆に、supp(''μ'')&nbsp;=&nbsp;''X'' であるなら、すべての空でない開集合は（その内部のある点で台の要素となるようなものの開近傍であることより）正の測度を持つ。したがって、''μ'' は狭義正である。
* 測度の台は ''X'' 内の[[閉集合]]である。なぜならば、その補集合は測度 0 であるような開集合の合併だからである。
* 一般に、非ゼロの測度の台は空集合となることもあり得る（後述の例を参照）。しかし、''X'' が[[ハウスドルフ空間|ハウスドルフ位相空間]]で、''µ'' が[[ラドン測度]]であるなら、台の外側のある[[可測集合]] ''A'' の測度はゼロとなる。すなわち、次が成り立つ。
::<math>A \subseteq X \setminus \mathrm{supp} (\mu) \implies \mu (A) = 0.</math>
: この逆は一般に成り立たない。例えば、''&mu;''({''x''})&nbsp;=&nbsp;0 となるようなある点 ''x''&nbsp;&isin;&nbsp;supp(''&mu;'') が存在する場合（ルベーグ測度の場合）には成り立たない。
: したがって、「台の外での積分」は必要ないことになる。すなわち、任意の[[可測函数]] ''f''&nbsp;:&nbsp;''X''&nbsp;→&nbsp;'''R''' or '''C''' に対して、次が成り立つ。
::<math>\int_{X} f(x) \, \mathrm{d} \mu (x) = \int_{\mathrm{supp} (\mu)} f(x) \, \mathrm{d} \mu (x).</math>
* ある測度の「台」の概念と、ある[[ヒルベルト空間]]上の[[自己共役作用素]]の[[スペクトル (関数解析学)|スペクトル]]の概念は密接に関連している。実際、<math>\mu</math> が直線 <math>\mathbb{R}</math> 上の[[正則測度|正則ボレル測度]]であるとき、乗算作用素 <math>(Af)(x)=xf(x)</math> はその自然な定義域
::<math>D(A)=\{f \in L^2(\mathbb{R}, d\mu) \mid xf(x)\in L^2(\mathbb{R}, d\mu)\}</math>
:上の自己共役作用素であり、そのスペクトルは恒等函数 <math>x \mapsto x</math> の[[本質的値域]]と一致する。この集合はまさしく <math>\mu</math> の台である<ref>Mathematical methods in Quantum Mechanics with applications to Schrödinger Operators</ref>。

== 例 ==
=== ルベーグ測度 ===

実数直線 '''R''' 上のルベーグ測度 ''λ'' と、ある任意の点 ''x''&nbsp;∈&nbsp;'''R''' を考える。このとき、''x'' の任意の開近傍 ''N''<sub>''x''</sub> は、ある ''ε''&nbsp;&gt;&nbsp;0 に対する開[[区間 (数学)|区間]] (''x''&nbsp;&minus;&nbsp;''ε'',&nbsp;''x''&nbsp;+&nbsp;''ε'') を含む。この区間はルベーグ測度 2''ε''&nbsp;&gt;&nbsp;0 となるため、''λ''(''N''<sub>''x''</sub>)&nbsp;≥&nbsp;2''ε''&nbsp;&gt;&nbsp;0 となる。''x''&nbsp;∈&nbsp;'''R''' は任意だったので、supp(''λ'')&nbsp;=&nbsp;'''R''' が成り立つ。

=== ディラック測度 ===

ディラック測度 ''δ''<sub>''p''</sub> の場合、''x''&nbsp;∈&nbsp;'''R''' とし、次の二つの場合を考える。
# ''x''&nbsp;=&nbsp;''p'' であるなら、''x'' のすべての開近傍 ''N''<sub>''x''</sub> は ''p'' を含み、したがって ''δ''<sub>''p''</sub>(''N''<sub>''x''</sub>)&nbsp;=&nbsp;1&nbsp;&gt;&nbsp;0 となる；
# 一方、''x''&nbsp;≠&nbsp;''p'' であるなら、''x'' を含む十分小さな開球 ''B'' で ''p'' を含まないようなものが存在する。このとき ''δ''<sub>''p''</sub>(''B'')&nbsp;=&nbsp;0 となる。

以上より、supp(''δ''<sub>''p''</sub>) は[[単集合]] {''p''} の閉包、すなわち {''p''} 自身であると結論付けられる。

実際、実数直線上のある測度 ''μ'' がある点 ''p'' に対するディラック測度 ''δ''<sub>''p''</sub> であるための[[必要十分条件]]は、''μ'' の台が単集合 {''p''} であることである。したがって、実数直線上のディラック測度は、[[分散 (確率論)|分散]]がゼロであるような唯一つの測度である。

=== 一様分布 ===

次のように定義される、実数直線 '''R''' 上の測度 ''μ'' を考える。
:<math>\mu (A) := \lambda (A \cap (0, 1))</math>
これはすなわち、開区間 (0,&nbsp;1) 上の[[連続一様分布|一様測度]]である。ディラック測度に関する議論と同様に、supp(''μ'')&nbsp;=&nbsp;[0,&nbsp;1] であることが分かる。ここで境界上の点 0 および 1 は台に含まれることに注意されたい。すなわち、0（あるいは 1）を含む任意の開集合は、(0,&nbsp;1) と共通部分を持つような 0（あるいは 1）に関するある開区間を含むものであり、したがって正の ''μ''-測度を持つ。

=== 台が空であるような非ゼロの測度 ===

「開区間」によって生成される位相を伴うすべての可算順序からなる空間は、局所コンパクトハウスドルフ空間である。非有界な閉部分集合を含むボレル集合に対しては 1 となり、その他のボレル集合に対しては 0　となるような測度は、台が空であるようなボレル確率測度である。

あるコンパクトなハウスドルフ空間上では、非ゼロ測度の台は常に空ではないが、測度 0 となることがある。このような例の一つとして、前述の例に第一非可算順序 Ω を加えることが考えられる。このとき、測度の台は単一の点 Ω となり、その測度は 0 である。

== 符号付測度および複素測度 ==

''μ''&nbsp;:&nbsp;Σ&nbsp;→&nbsp;[&minus;∞,&nbsp;+∞] をある[[符号付測度]]とする。[[ハーンの分解定理]]を用いることで、

:<math>\mu = \mu^{+} - \mu^{-} </math>

と書ける。但し ''μ''<sup>±</sup> はいずれも非負の測度である。このとき ''μ'' の'''台'''は

:<math>\mathrm{supp} (\mu) := \mathrm{supp} (\mu^{+}) \cup \mathrm{supp} (\mu^{-}) </math>

と定義される。同様に、''μ''&nbsp;:&nbsp;Σ&nbsp;→&nbsp;'''C''' が[[複素測度]]であるなら、その'''台'''はその実部および虚部のそれぞれの台の[[合併 (集合論)|合併]]で定義される。

== 参考文献 ==

{{reflist}}

* {{cite book | author=Ambrosio, L., Gigli, N. & Savaré, G. | title=Gradient Flows in Metric Spaces and in the Space of Probability Measures | publisher=ETH Zürich, Birkhäuser Verlag, Basel | year=2005 | isbn=3-7643-2428-7 }}
* {{cite book
|     last = Parthasarathy
|    first = K. R.
|    title = Probability measures on metric spaces
|publisher = AMS Chelsea Publishing, Providence, RI
|     year = 2005
|     isbn = 0-8218-3889-X
|    page = xii+276
}} {{MathSciNet|id=2169627}} (See chapter 2, section 2.)
* {{cite book
|     last = Teschl
|    first = Gerald
|    title = Mathematical methods in Quantum Mechanics with applications to Schrödinger Operators
|publisher = AMS 
|     year = 2009
|      url = http://www.mat.univie.ac.at/~gerald/ftp/book-schroe/
}}(See chapter 3, section 2)

{{DEFAULTSORT:たいそくとろん}}
[[Category:測度論]]
[[Category:数学に関する記事]]