Mathematical concept
В математике , особенно в теории меры , считающая мера — это интуитивный способ измерить любое множество : «размером» подмножества считается количество элементов в подмножестве, если подмножество имеет конечное число элементов и бесконечность.
если подмножество бесконечно . [1]
Считающая мера может быть определена на любом измеримом пространстве (т. е. на любом множестве
вместе с сигма-алгеброй), но чаще всего используется на счетных множествах. [1]
В формальных обозначениях мы можем превратить любое множество
в измеримое пространство, взяв набор степеней
как сигма-алгебра
то есть все подмножества
являются измеримыми множествами.
Тогда счетная мера
на этом измеримом пространстве
это положительная мера
определяется
![{\displaystyle \mu (A)={\begin{cases}\vert A\vert &{\text{if }}A{\text{конечен}}\\+\infty &{\text{if }} A{\text{ бесконечен}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8681d8e9a092f05faaaf47db0f8d4cbea447752)
для всех
![{\displaystyle A\in \Sigma,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1aae6b26b1fb89e81482b908ca3f164985e58ea)
где
![{\displaystyle \vert A\vert }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e452c00372a18f4de3b3abf77377bfa176d628d)
обозначает
мощность множества
[2]
Счетная мера на
является σ-конечным тогда и только тогда, когда пространство
является счетным . [3]
Интеграция включена
со счетной мерой [ править ]
Возьмите меру пространства
, где
представляет собой совокупность всех подмножеств натуральных чисел и
счетная мера. Возьмите любое измеримое
. Как это определено на
,
можно представить точечно как
![{\ displaystyle f (x) = \ sum _ {n = 1} ^ {\ infty } f (n) 1 _ {\ {n \}} (x) = \ lim _ {M \ to \ infty } \ underbrace { \ \sum _{n=1}^{M}f(n)1_{\{n\}}(x)\ } _{\phi _{M}(x)}=\lim _{M\to \infty }\phi _{M}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08b0b080156ac4f07eb949b7997f2c517dcbc7ba)
Каждый
измеримо. Более того
. Еще дальше, поскольку каждый
это простая функция
![{\displaystyle \int _ {\mathbb {N} }\phi _{M}d\mu =\int _ {\mathbb {N} }\left(\sum _{n=1}^{M}f( n)1_{\{n\}}(x)\right)d\mu =\sum _{n=1}^{M}f(n)\mu (\{n\})=\sum _{ n=1}^{M}f(n)\cdot 1=\sum _{n=1}^{M}f(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f0cce8bbdcadc8264d1276efd5d3efa23cc4ba4)
Следовательно, по теореме о монотонной сходимости
![{\displaystyle \int _ {\mathbb {N} }fd\mu =\lim _ {M\to \infty } \int _ {\mathbb {N} }\phi _{M}d\mu =\lim _ {M\to \infty }\sum _{n=1}^{M}f(n)=\sum _{n=1}^{\infty }f(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82f47ed2f3dfc36144214b1ad9c55b53d6212996)
Обсуждение [ править ]
Счетная мера является частным случаем более общей конструкции. В указанных выше обозначениях любая функция
определяет меру
на
с помощью
![{\displaystyle \mu (A):=\sum _{a\in A}f(a)\quad {\text{for all }}A\subseteq X,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c39e84949b904cd9dcb9a5c6a147347019fbaa9a)
где возможно несчетная сумма действительных чисел определяется как
верхняя граница сумм по всем конечным подмножествам, то есть,
![{\displaystyle \sum _{y\,\in \,Y\!\ \subseteq \,\mathbb {R} }y\:=\ \sup _{F\subseteq Y,\,|F|<\infty }\left\{\sum _{y\in F}y\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05d444378123c1d9aa248c37aab38eea1711f20e)
принимая
![{\displaystyle f(x)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea78f54e69b72f398cf6077e61c50a05b532d4c0)
для всех
![{\displaystyle x\in X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
дает счетную меру.