19/04/25 09:58:54.05 naEY8mMF.net
嫁め
URLﾘﾝｸ(ja.wikipedia.org)
数え上げ測度
(抜粋)
数学、とくに解析学において、数え上げ測度（かぞえあげそくど、英: counting measure; 計数測度）とは、集合の元の個数を数えるという方法でその "大きさ"（あるいは "容積"）を測る、ルベーグ積分における測度の一種である。
定義
可測空間 S 上の数え上げ測度とは、任意の可測集合 A に対してその元の個数 |A| ∈ N ∪ {∞} を対応させる写像によって定義される測度のことである。ここで、N は自然数全体の成す集合 {0, 1, 2, ...} であり、A が有限でないならばその濃度に関わらず |A| = ∞ とする。
ここで、それが完全加法族である限りにおいて S 上の可測集合族 M の取り方によらず、
・
・
などの事実は定義から直ちにわかる
特に、任意の集合 A に対して μ(A) が定義できるので、可測集合族 M としては 2S 全体をとることができて、(S, 2S, μ) は測度空間になる。数え上げ測度が σ-有限であることと集合 S が可算であることは同値になる。
総和は積分である
数え上げ測度 μ を測度とする測度空間 (S, 2S, μ) が与えられたとき、S の任意の部分集合が μ-可測であるので、S 上の任意の実数値（あるいは複素数値）写像は可測関数ということになる。
μ-可測函数が数え上げ測度 μ に関して可積分であるとは、たかだか可算個の点で非零の値を持ち、それらの与える級数が絶対収束していることをいう。このような可積分関数の積分値は対応する級数の和の値ということになる。
高々可算な集合上の関数は、関数が値をとる空間における点列（実数値関数ならば実数の列）だと考えることができる。可積分性に関わる様々な条件を課すことでこのような点列を異なるクラスに分けることが出来る（Lp-空間やソボレフ空間など、函数空間も参照）。
他の測度との関係
数え上げ測度はどんな測度も数え上げ測度に対して絶対連続となる。また、数え上げ測度はすべての点に関するディラック測度の和として表すことができる。反対に、可算集合上の任意の測度の、数え上げ測度に対するラドン・ニコディム微分はその測度のディラック測度の重み付き和としての表示を与えている。