すみません流れぶったぎりで質問なんですが。


高々加算濃度の集合X上の測度mを考えたとします。
この時、Xの元に非負の実数値を対応させる関数f:X→[0,∞)で、
X上の任意の可測集合Aについて、
m(A)=Σ_x∈A f(x)
をみたすものが存在するか。

がわかる方はいらっしゃいますか??