User:Dfeuer/Generalized Sums of Positive Elements are Increasing
Jump to navigation
Jump to search
Theorem
Let $(G, +, \le)$ be an abelian totally ordered group.
Let $\{x_i : i \in I \}$ be an indexed set of (weakly) positive elements of $G$.
Let $J \subseteq I$.
Suppose that the generalized sums $\sum\{x_i: i\in I\}$ and $\sum\{x_j: j\in J\}$ both converge.
Then $\sum\{x_j:j \in J\} \le \sum\{x_i: i\in I\}$.
Proof
Follows from the fact that a generalized sum of positive elements converges to the supremum of the set of finite subsums and the fact that suprema are increasing.