Sigma aditividad
En matemáticas, aditividad (específicamente aditividad finita) y sigma aditividad (también llamada aditividad contable) de una función (a menudo una medida) definida en los subconjuntos de un conjunto dado, son abstracciones de cómo se suman propiedades intuitivas de medida (longitud, área, volumen) de un conjunto cuándo se consideran objetos múltiples.
Aditividad es una condición más débil que σ-aditividad, y σ-aditividad implica aditividad.
un álgebra de conjuntos y sea
una función (ver recta real extendida).
se llama aditiva o aditiva finita si cuando
son conjuntos disjuntos en
Una consecuencia de esto es que una función aditiva no puede tomar los valores
no está definida.
Se puede probar por inducción que para cualquier colección finita de conjuntos disjuntos
, una función aditiva satisface:
una σ-álgebra de conjuntos y sea
se llama σ-aditiva o aditiva numerable si cuando
es una sucesión de conjuntos disjuntos dos a dos, se tiene:
Cualquier función σ-aditiva es aditiva pero no viceversa.
una σ-álgebra de conjuntos,
se llama 𝜏-aditiva si para cualquier familia ordenada de conjuntos abiertos medibles
{\displaystyle {\mathcal {G}}\subseteq {\mathcal {A}}\cap {\mathcal {T}}}
es una medida regular interna (con respecto a conjuntos compactos), entonces
definida sobre el conjunto potencia de los números reales, definida como:
{\displaystyle \mu (A)={\begin{cases}1&{\mbox{ if }}0\in A\\0&{\mbox{ if }}0\notin A.\end{cases}}}
es una secuencia de conjuntos disjuntos de números reales, entonces ninguno de los conjuntos contiene al 0, o precisamente uno de ellos lo contiene.
En cualquier caso, la igualdad se mantiene.
Un ejemplo de una función aditiva que no es σ-aditiva se obtiene considerando μ, definido sobre los conjuntos de Lebesgue de los números reales por la fórmula donde λ denota la medida de Lebesgue y lim el límite de Banach .
Se puede verificar que esta función es aditiva usando la linealidad del límite.
Que esta función no es σ-aditiva se demuestra considerando la secuencia de conjuntos disjuntos para n = 0, 1, 2,. .
La unión de estos conjuntos son todos los reales positivos, y μ aplicado a la unión es entonces uno, mientras que μ aplicado a cualquiera de los conjuntos individuales es cero, por lo que la suma de μ ( An ) también es cero, lo que demuestra el contraejemplo.
Se pueden definir funciones aditivas con valores en cualquier monoide aditivo (por ejemplo, cualquier grupo o más comúnmente un espacio vectorial ).
Para la sigma-aditividad, uno necesita además que el concepto de límite de una secuencia se defina en ese conjunto.
Por ejemplo, las medidas espectrales son funciones sigma-aditivas con valores en un álgebra de Banach .
Otro ejemplo, también de la mecánica cuántica, es la medida positiva valorada por el operador .
