在测度论中，计数测度是可以定义在任意集合上的测度，它将每个集合含有的元素个数作为这个集合的测度。准确来说，对于任何一个可测空间\left ( \Omega , \mathcal F\right)，我们都可以定义这个可测空间上的测度\mu，使得对于任意可测集E\in \mathcal{F}，\mu ( E )就是集合E中含有的元素个数，即
\mu(E)=\begin{cases}
\vert E \vert & \vert E \vert
这里\vert E \vert表示集合的基数。
特别地，可测空间(\Omega,\mathcal{F})上的计数测度是σ-有限的当且仅当\Omega是可数集。
参考文献
评论 (0)