Normas APPA

Cuando hablamos de la "longitud” de un subconjunto de ℝ, el "área" de un sub

conjunto de ℝ2 , el "volumen"de un subconjunto de ℝ3 , etc., estamos asignando un

número a un conjunto. La idea de asignar un número a un conjunto puede y se

generalizará más allá de estos ejemplos, pero considere primero la idea de “encontrar la

longitud" de un 𝐴 ⊆ ℝ dado. ¿Qué propiedades son intrínsecas a la "longitudi Primero,

"longitud negativa" no tiene sentido lógico, por lo que "longitud" no es negativa; si

permitimos discusiones sobre la "longitud"de intervalos ilimitados -y parece natural

permitir tales discusiones- nos veríamos obligados a permitir +∞ como una "longitud".

En segundo lugar, si 𝐴 ⊆ ℝ se puede escribir como 𝐴 = ⋃𝑛  𝐴𝑛 donde los 𝐴𝑛 son

subintervalos disjuntos no vacíos de 𝐴, pensaría que la "longitud" de 𝐴 debería ser igual

a la suma de las "longitudes" de los componentes 𝐴𝑛 , independientemente de si hay una

cantidad finita de 𝐴𝑛 o una cantidad contable 𝐴𝑛 's. No tenemos que considerar el caso

de cuando hay innumerables subintervalos disjuntos no vacíos, ya que tal caso es

1
imposible. Si se permite hablar sobre "la longitud de ∅,", la opción lógica es cero. Por

supuesto, también tenemos que discutir qué 𝐴 ⊆ ℝ tienen una "longitud" bien definida.

Estas propiedades de "longitud"se abstraerán y estudiarán por sí solas sin

depender de un marco euclidiano. La abstracción de la situación anterior definiendo lo

que se llama medidas y probando ciertos hechos importantes sobre ellas.

Definición. Una medida [contablemente aditiva] [en 𝒜] es una función

̅ con
𝜇: 𝒜 → ℝ

(M1) 𝜇(𝐴) ≥ 0 para cada 𝐴 ∈ 𝒜,

(M2) 𝜇(∅) = 0, y

(M3) Para cualquier secuencia de conjuntos disjuntos 𝐴1 , 𝐴2 , ⋯ ∈ 𝒜 con

⋃∞ ∞ ∞
𝑛=1  𝐴𝑛 ∈ 𝒜, la igualdad 𝜇(⋃𝑛=1  𝐴𝑛 ) = ∑𝑛=1  𝜇 se obtiene (𝐴𝑛 )
 Cuando 𝐴 ∈ 𝒜, nos referiremos a 𝜇(𝐴) como la 𝜇-medida de 𝐴 o simplemente la

medida de 𝐴 cuando no pueda surgir confusión.

La propiedad (M1) se llama no negatividad, y se debe tener en cuenta que se

permite +∞ como valor posible para la medida de un conjunto 𝐴 ∈ 𝒜.

La propiedad (M3) se llama aditividad contable y es la propiedad clave en lo que

respecta a la definición. Equivalentemente decimos que 𝜇 es contablemente aditivo. La

igualdad en (M3) debe interpretarse de una de tres maneras: (i) tanto 𝜇(⋃∞
𝑛=1  𝐴𝑛 ) como

∑∞ ∞
𝑛=1  𝜇(𝐴𝑛 ) son finitos, donde la convergencia de la serie ∑𝑛=1  𝜇(𝐴𝑛 ) es convergencia en

el sentido habitual del cálculo; (ii) tanto 𝜇(⋃∞ ∞

𝑛=1  𝐴𝑛 ) como ∑𝑛=1  𝜇(𝐴𝑛 ) son +∞ con

𝜇(𝐴𝑛 ) < +∞ para cada 𝑛 ∈ ℕ, es decir, ∑∞

𝑛=1  𝜇(𝐴𝑛 ) diverge en el sentido habitual del

cálculo; y (iii) tanto 𝜇(⋃∞ ∞

𝑛=1  𝐴𝑛 ) como ∑𝑛=1  𝜇(𝐴𝑛 ) son +∞, donde 𝜇(𝐴𝑁 ) = +∞ para

algunos 𝑁 ∈ ℕ. En los tres casos estamos tratando con una suma infinita de términos

no negativos; un resultado estándar del análisis nos dice que la convergencia o

divergencia no se ve afectada de ninguna manera al sumar en un orden diferente.

(Vestrup, 2009, p.36)

Referencias

Vestrup, E. M. (2009).The theory of measures and integration.

John Wiley & Sons.