En matemáticas, específicamente en teoría de medidas, la medida de conteo es una forma intuitiva de poner una medida en cualquier conjunto: el "tamaño" de un subconjunto se considera el número de elementos en el subconjunto si el subconjunto tiene un número finito de elementos e infinito
si el subconjunto es infinito. [1]
La medida de conteo se puede definir en cualquier espacio mensurable (es decir, cualquier conjunto
junto con sigma-álgebra) pero se usa principalmente en conjuntos contables. [1]
En notación formal, podemos convertir cualquier conjunto
en un espacio medible tomando el conjunto de potencias de
como el álgebra sigma
es decir, todos los subconjuntos de
son conjuntos medibles. Entonces la medida de conteo
en este espacio mensurable
es la medida positiva
definido por
para todos
dónde
denota la cardinalidad del conjunto
[2]
La medida de conteo en
es σ-finito si y sólo si el espacio
es contable. [3]
Integración en
con medida de conteo
Toma el espacio de medida
, dónde
es el conjunto de todos los subconjuntos de los naturales y
la medida de conteo. Tome cualquier mensurable
. Como se define en
,
se puede representar puntualmente como
Cada
es mensurable. Además
. Aún más, como cada
es una función sencilla
Por tanto, según el teorema de convergencia monótona
Discusión
La medida de conteo es un caso especial de una construcción más general. Con la notación anterior, cualquier función
define una medida
en
a través de
donde la suma posiblemente incontable de números reales se define como el supremo de las sumas de todos los subconjuntos finitos, es decir,
Tomando
para todos
da la medida de conteo.
Referencias
- ↑ a b Counting Measure en PlanetMath.
- ↑ Schilling, René L. (2005). Measures, Integral and Martingales. Cambridge University Press. p. 27. ISBN 0-521-61525-9.
- ↑ Hansen, Ernst (2009). Measure Theory (Fourth edición). Department of Mathematical Science, University of Copenhagen. p. 47. ISBN 978-87-91927-44-7.
Control de autoridades | - Proyectos Wikimedia
Datos: Q247204 |
---|
Datos: Q247204