uncountable sums of positive numbers

let $I$ be a set and let $c$ be a mapping from $I$ to the nonnegative real numbers. Then we may define the sum as follows:

 $\sum_{i\in I}c_{i}=\sup_{s\subset I\atop\#s<\infty}\sum_{i\in s}c_{i}$

In words, we are taking the supremum over all sums over finite subsets of the index set. This agrees with the usual notion of sum when our set is countably infinite  , but generalizes this notion to uncountable index sets.

An important fact about this generalization  is that the sum can only be finite if the number of elements $i\in I$ such that $c_{i}>0$ is countable  . To demonstrate this fact, define the sets $s_{n}$ (where n is a nonnegative integer) as follows:

 $s_{0}=\{i\in I\mid c_{i}\geq 1\}$

when $n>0$,

 $s_{n}=\{i\in I\mid 1/n>c_{i}\geq 1/(n+1)\}$

If any of these sets is infinite   , then the sum will diverge  so, for the sum to be finite, all these sets must be finite. However, if these sets are all finite, then their union is countable. In other words, the number of indices for which $c_{i}>0$ will be countable.

This discussion can also be phrased in terms of Lesbegue integration with respect to counting measure. For this point of view, please see the entry support of integrable function with respect to counting measure is countable.

Title uncountable sums of positive numbers UncountableSumsOfPositiveNumbers 2013-03-22 15:44:47 2013-03-22 15:44:47 rspuzio (6075) rspuzio (6075) 5 rspuzio (6075) Definition msc 40-00 SupportOfIntegrableFunctionWithRespectToCountingMeasureIsCountable