TL:DR; Para conjuntos arbitrarios (no necesariamente contables) tenemos dos nociones: Integral de Lebesgue con respecto a la medida de conteo y suma de la familia indexada por este conjunto. ¿Son equivalentes estas dos nociones?
Para un conjunto arbitrario $X$ podemos definir medida de recuento simplemente poniendo $\mu(A)=|A|$ . (Es decir, si $A$ es finito entonces $\mu(A)$ es simplemente el número de elementos de $A$ ; de lo contrario, es $+\infty$ .) De esta manera obtenemos un $\sigma$ -medida aditiva en $\mathcal P(X)$ y es posible trabajar con Integral de Lebesgue con respecto a esta medida.
Si la integral $$\int f \;\mathrm{d} \mu$$ de una función $f\colon X\to\mathbb R$ existe, es natural interpretar esta integral como una suma de los valores $f(x)$ sobre todo $x\in X$ .
También existe una noción (más o menos estándar) de suma de valores en un conjunto dado que incluye conjuntos incontables. Permítanme recordar brevemente la definición. (A continuación añadiré algunos enlaces a otras entradas de este sitio donde se puede encontrar esta definición).
Definición. Dejemos que $f\colon X\to\mathbb R$ sea una función y $S\in\mathbb R$ . Decimos que $$\sum_{x\in X} f(x) = S$$ si y sólo si para cada $\varepsilon>0$ existe un conjunto finito $F_0$ tal que para todos los conjuntos finitos $F\supseteq F_0$ tenemos $\left| \sum\limits_{x\in F} f(x) - S \right| < \varepsilon$ . $$(\forall \varepsilon>0) (\exists F_0\text{ finite }) \left(F\text{ is finite and }F\supseteq F_0 \Rightarrow \left| \sum\limits_{x\in F} f(x) - S \right| < \varepsilon \right)$$
Algunas observaciones adicionales:
- Podemos modificar la definición anterior de forma natural para poder decir cuando $\sum f(x)=+\infty$ y $\sum f(x)=-\infty$ .
- Si trabajamos con valores no negativos, es decir, $f(x)\ge0$ entonces obtenemos una definición equivalente mucho más sencilla $$\sum_{x\in X} f(x) = \sup \{\sum_{x\in F} f(x); F\text{ is finite}\}.$$
- Este tipo de suma también se define en el artículo de Wikipedia sobre series: Sumas sobre conjuntos de índices arbitrarios ( revisión actual ).
- Esta definición puede interpretarse muy bien utilizando la convergencia de las redes. Tomamos el conjunto dirigido formado por subconjuntos finitos de $X$ ordenados por inclusión. Para cada uno de estos conjuntos finitos tenemos el valor $s_F=\sum_{x\in F} f(x)$ . La suma definida anteriormente es igual a $S$ si $S$ es el límite de esta red.
- Con esta definición, la distinción entre convergencia condicional y absoluta deja de tener sentido. (Lo cual es natural, ya que no tomamos ningún tipo de ordenamiento en $X$ en cuenta). En particular, en el caso $X=\mathbb N$ esto corresponde a la definición de suma de absolutamente convergente serie. (Al menos si trabajamos con valores reales. En contextos más generales, puede ocurrir que convergencia incondicional y convergencia absoluta puede ser diferente. Esta definición de suma corresponde a la convergencia incondicional).
- Se puede demostrar una variante del criterio de Cauchy para dichas sumas.
- La misma definición puede utilizarse en contextos más generales. (Probablemente siga siendo necesario que la estructura sea al menos un grupo topológico si se espera que la suma se comporte razonablemente).
Pregunta. ¿Es la suma definida anteriormente equivalente a la noción de integral de Lebesgue con respecto a la medida de recuento?
En particular, me gustaría saber:
- ¿Surgen algunos problemas si trabajamos con conjuntos incontables, en lugar de sólo con los contables?
- ¿Hay algún problema específico si también permito valores negativos?
Les agradecería a ambos las referencias a algunos textos que traten la relación entre estas dos nociones. Y, por supuesto, una prueba (o un esbozo de prueba) si es lo suficientemente sencilla como para que quepa en un post en este sitio.
He comprobado si se menciona algo al respecto en el artículo de la Wikipedia Medida de recuento . Este tipo de suma se menciona allí, pero en un contexto ligeramente diferente. El revisión actual del artículo de la Wikipedia dice que:
La medida de recuento es un caso especial de una construcción más general. Con la notación anterior, cualquier función $f \colon X \to [0, \infty)$ define una medida $\mu$ en $(X, \Sigma)$ a través de $$\mu(A):=\sum_{a \in A} f(a)\, \forall A\subseteq X,$$ donde la suma posiblemente incontable de números reales se define como el sup de las sumas sobre todos los subconjuntos finitos, es decir, $$\sum_{y \in Y \subseteq \mathbb R} y := \sup_{F \subseteq Y, |F| < \infty} \left\{ \sum_{y \in F} y \right\}.$$ Tomando $f(x)=1$ para todos $x$ ' en $X$ produce la medida de recuento.
Algunos enlaces relacionados:
- Hay varios posts donde se da la definición de suma sobre suma arbitraria (posiblemente incontable), incluyendo algunas propiedades y referencias. Por ejemplo, en las siguientes preguntas: La suma de un número incontable de números positivos... , ¿Se produce alguna vez en matemáticas una suma incontable, con una suma finita? , Uso de $\sum $ para un conjunto de indexación incontable , Busco una referencia (libro de texto) para un problema de análisis elemental sobre sumas incontables , Referencia para series en conjuntos infinitos arbitrarios . (Y para cada uno de ellos puedes encontrar un montón de posts más sobre este tema si miras las preguntas relacionadas y enlazadas en la barra lateral).
- Demostración de que la medida de recuento y la suma coinciden para funciones no negativas sobre $\mathbb N$ se puede encontrar aquí: Integración con respecto a la medida de recuento.
- Aunque esta respuesta afirma que la medida de recuento no es $\sigma$ -aditivo si $X$ no es contable, no veo realmente por qué debería ser así. (No estoy seguro, pero es posible que el cartel quisiera decir $\sigma$ -finito...) De hecho, hay otra pregunta en este sitio donde la respuesta da una prueba para la aditividad contable: Prueba de la medida de recuento .
0 votos
De vez en cuando me he preguntado esto. ¡Gran post! Espero que alguien pueda responder afirmativamente. Aquí hay una pregunta posiblemente tonta. ¿Podría considerar algún espacio de Banach y trabajar esto allí ya que la convergencia absoluta e incondicional podría ser diferente?
0 votos
@CameronWilliams Definitivamente la noción de suma sobre un conjunto arbitrario se puede definir de la misma manera en los espacios de Banach. (De hecho, esto se hace en algunas de las referencias dadas en esta respuesta . Por ejemplo, Dixmier trabaja con espacios normados). Como no sé mucho sobre la integración de funciones vectoriales, no puedo decir si existe la posibilidad de que la pregunta que he formulado tenga también sentido en ese contexto. Es decir, si podríamos tratar la suma como algún tipo de integral. (Pero mi opinión sería que probablemente sí).