数え上げ測度のソースを表示

{{出典の明記| date = 2023年3月}}
[[数学]]、とくに[[解析学]]において、'''数え上げ測度'''（かぞえあげそくど、{{lang-en-short|counting measure}}; 計数測度）とは、[[集合]]の元の個数を数えるという方法でその "大きさ"（あるいは "容積"）を測る、[[ルベーグ積分]]における[[測度論|測度]]の一種である。

== 定義 ==
[[可測空間]] ''S'' 上の'''数え上げ測度'''とは、任意の可測集合 ''A'' に対してその元の個数 |''A''| &isin; '''N''' &cup; {&infin;} を対応させる写像によって定義される測度のことである。ここで、'''N''' は[[自然数]]全体の成す集合 {0, 1, 2, ...} であり、''A'' が有限でないならばその[[濃度 (数学)|濃度]]に関わらず |''A''| = &infin; とする。

ここで、それが[[完全加法族]]である限りにおいて ''S'' 上の可測集合族 '''M''' の取り方によらず、
# |&Oslash;| = 0 かつ任意の ''A'' &isin; '''M''' に対し |''A''| &ge; 0 が成立する、
# {''A''<sub>''n''</sub>}<sub>''n''&isin;'''N'''</sub> &sub; '''M''' が、''A''<sub>''n''</sub> &cap; ''A''<sub>''m''</sub> = &Oslash; (''n'' &ne; ''m'') を満たすならば<div style="margin:1ex auto 1ex 2em"><math>\left|\bigcup_{n \in \mathbb{N}} A_n\right| = \sum_{n \in \mathbb{N}} |A_n|</math></div>が成立する
などの事実は定義から直ちにわかる（2. は一つでも有限でないものがあれば両辺が &infin; として一致するという意味で成り立つから、全て有限のときを確かめればよいがこちらも明らかであろう）。

特に、任意の集合 ''A'' に対して &mu;(''A'') が定義できるので、可測集合族 '''M''' としては 2<sup>''S''</sup> 全体をとることができて、(''S'', 2<sup>''S''</sup>, &mu;) は測度空間になる。数え上げ測度が [[σ有限測度|&sigma;-有限]]であることと集合 ''S'' が[[可算集合|可算]]であることは同値になる。

== 総和は積分である ==
数え上げ測度 &mu; を測度とする[[測度空間]] (''S'', 2<sup>''S''</sup>, &mu;) が与えられたとき、''S'' の任意の部分集合が &mu;-[[可測]]であるので、''S'' 上の任意の実数値（あるいは複素数値）写像は[[可測関数]]ということになる。&mu;-可測函数が数え上げ測度 &mu; に関して[[ルベーグ積分|可積分]]であるとは、たかだか可算個の点で非零の値を持ち、それらの与える級数が絶対収束していることをいう。このような可積分関数の積分値は対応する級数の和の値ということになる。

高々[[可算無限集合|可算]]な集合上の[[関数 (数学)|関数]]は、関数が値をとる空間における点列（[[実数]]値関数ならば[[実数]]の列）だと考えることができる。可積分性に関わる様々な条件を課すことでこのような点列を異なるクラスに分けることが出来る（[[ルベーグ空間|''L''<sup>''p''</sup>-空間]]や[[ソボレフ空間]]など、[[函数空間]]も参照）。

たとえば、可測空間 ('''N''', 2<sup>'''N'''</sup>) の場合<ref>'''N''' 上の実数値函数 ''a''  は ''a''<sub>''n''</sub> = ''a''(''n'') で一般項が与えられる実数列 (''a''<sub>''n''</sub>)<sub>''n''&isin;'''N'''</sub> と同一視される。</ref>を考えると、可測関数 ''a'' の数え上げ測度 &mu; による積分
: <math>\int_{\mathbb{N}} a(n)\, d\mu(n)</math>
の値は、任意の実数 ''t'' に対し ''A''<sub>''t''</sub> = {''n'' &isin; '''N''' | ''a''(''n'') = ''t''} とすると、''a''(''n'')&mu;(''A''<sub>''t''</sub>) = ''t''|''A''<sub>''t''</sub>| を任意の ''t'' について加え合わせたものである。これは、数列 (''a''<sub>''n''</sub>)<sub>''n''&isin;'''N'''</sub> を項の値で類別して、同じ値のものはその個数分加えるということであるから、結局は各項 ''a''<sub>''n''</sub> を一つずつ加えることとなり
: <math>\int_{\mathbb{N}} a(n)\, d\mu(n) = \sum_{n \in \mathbb{N}} a_n</math>
が成り立つことが確認できる。特に
: <math>\int_{\mathbb{N}} |a(n)|\, d\mu(n) = \sum_{n \in \mathbb{N}} |a_n|</math>
だから、関数 ''a'' が &mu; に関して（ルベーグの意味で）可積分であるとは右辺の級数が[[極限|絶対収束]]するということと同じである。さらに、&mu; に関する自乗可積分関数全体の成す集合 ''L''<sup>2</sup>('''N''', &mu;; '''R''') は（狭義の）'''ヒルベルト空間 ''l''<sup>2</sup>'''（係数を明示して ''l''<sup>2</sup>('''R''') などとも書く）とよばれ、内積
:<math>(a, b) 
  = \int_{\mathbb{N}} a(n)b(n)\,d\mu(n) 
  = \sum_{n=1}^{\infty} a_n b_n
</math>
(''a'' = (''a''<sub>''n''</sub>)<sub>''n''&isin;'''N'''</sub>, ''b'' = (''b''<sub>''n''</sub>)<sub>''n''&isin;'''N'''</sub> &isin; ''l''<sup> 2</sup>) の定めるノルムに関して完備なノルム空間（つまり広義の[[ヒルベルト空間]]）である。

また、&Lambda; = {1, 2, ..., ''n''} とおいて、同様のことを可測空間 (&Lambda;, 2<sup>&Lambda;</sup>) で考えると、&Lambda; 上の実数値関数とは実数の [[順序組|''n''-組]] '''x''' =  (''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>) のことで、その積分の値は有限和 ''x''<sub>1</sub> + ''x''<sub>2</sub> + &hellip; + ''x''<sub>''n''</sub> である。

このとき、'''x''' が &mu;-可積分であるとは '''x''' の絶対値ノルム（1-ノルム）が有限ということだから、'''x''' &isin; '''R'''<sup>''n''</sup> は常に積分可能である。つまり、&Lambda; 上の数え上げ測度 &mu; に関して可積分な実数値関数の空間 ''L''<sup>1</sup>(&Lambda;, &mu;; '''R''') は '''R'''<sup>''n''</sup> である。
同様に、1 &le; ''p'' &lt; &infin; となる ''p'' について、関数 '''x''' = (''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>)&isin; '''R'''<sup>''n''</sup> が ''p'' 乗可積分関数の空間 ''L''<sup>''p''</sup>(&Lambda;, &mu;; '''R''') に含まれる条件は '''R'''<sup>''n''</sup> における ''p'' 乗ノルム（''p''-ノルム）
:<math>||\mathbf{x}||_p = \left(\sum_{k=1}^n |x_k|^p\right)^{1/p}</math>
が有限であることになるから、 ''L''<sup>''p''</sup>(&Lambda;, &mu;; '''R''') = '''R'''<sup>''n''</sup> となる。

上で述べたことは、実数を複素数に取り替えた[[複素数]]列の場合においても、絶対値を複素数の絶対値とし、内積を[[エルミート内積]]に取り替えることで、そのまま通用する。複素数全体の集合 '''C''' は '''R''' と同様にその絶対値に関して完備だからである。

== 他の測度との関係 ==
数え上げ測度はどんな測度も数え上げ測度に対して絶対連続となる。また、数え上げ測度はすべての点に関する[[ディラック測度]]の和として表すことができる。反対に、可算集合上の任意の測度の、数え上げ測度に対する[[ラドン＝ニコディムの定理|ラドン・ニコディム微分]]はその測度のディラック測度の重み付き和としての表示を与えている。

== 関連項目 ==
* [[測度論]]
* [[ルベーグ積分]]
* [[ヒルベルト空間]]

== 注 ==
<references/>
{{DEFAULTSORT:かそえあけそくと}}
[[Category:測度論]]
[[Category:数学に関する記事]]