An uncountable sum that equals $1$ but could not be written as a countable subsum Let $\{ x_i : i \in I \}$ be a family of numbers $x_i \in \mathbb R$ with $I$ an arbitrary index set. We say that this family is summable with value $s$ (and write $s = \sum_{i \in I} x_i$ then) if for every $\varepsilon > 0$ there exists some finite set $I_{\varepsilon}$ such that for every finite superset $J \subseteq I$, i.e. such that $I_{\varepsilon} \subseteq J$, we have
$$
 \left| \sum_{i \in J} x_i - s \right| < \varepsilon.
$$
Does there exists a family of numbers $\{x_i : i \in I\}$ with uncountable $I$ such that $\sum_{i \in I} x_i = 1$ and such that for every countable $J \subseteq I$ we have
$$
 \sum_{j \in J} x_j < 1
$$
i.e. the countable "sub"-sums have a strictly smaller value?
 A: You cannot find such a sequence. Take a look at my answer in 
on-a-necessary-and-sufficient-condition-for-sum-k-in-mathbbza-k-l-a-k-i
If $\sum_{i\in I}x_i=1$, then $\sum_{i\in I}|x_i|\le C$. This implies that $x_i=0$ for all but countably many $i$. To see this let $I_k=\{i\in I:\, |x_i|\ge \frac1k\}$. Then for every finite set $F$ of $I_k$,
$$\frac1k \text{card} F\le \sum_{i\in F}|x_i|\le C,$$
which shows that $\text{card} F\le k C$. In turn, $I_k$ must have only finitely many elements. Hence, ${i\in I: x_i\ne 0}=\cup_k I_k$ is countable. So the infinite sum is just a series.
A: If $\sum_{i\in I} x_i$ converges as a sum in $\Bbb R$ then $I(x_i{\neq0}):=\{i\in I\mid x_i\neq0\}$ has to be countable. This is because
$$I_{\neq0}=\bigcup_{n\in\Bbb N} I(x_i{>\frac1n})\cup I(x_i{<\frac{-1}n})$$
and if this were uncountable, there would have to be one term in the union that is uncountable (since a countable union of countable things is countable).
This means you've got an $n$ so that infinitely many elements are larger than $1/n$ (or infinitely many are smaller than $-1/n$). Well for any finite $I_\epsilon$ you can consider $J_k=I_\epsilon\cup \{k\cdot n\text{ elements of }I(>\frac1n)\}$ and then $\sum_{i\in J_k}x_i>\sum_{i\in I_\epsilon} x_i +k$, where you can make $k$ as big as you like.
But you can have uncountable sums in other spaces.
For example if you consider the space of functions $\Bbb R\to\Bbb R$, this is a topological vector space equipped with a family of semi-norms $\{\|\cdot\|_r\mid r\in\Bbb R\}$ where $\|f\|_r:=|f(r)|$. If you let $\delta_{r}$ be the function that is one when $x=r$ and $0$ otherwise you have that
$$\sum_{r\in \Bbb R} f(r)\delta_r$$
converges to $f$ for any function in this topology. For example
$$\sum_{r\in\Bbb R}\delta_r$$
converges to the constant function $1$ and none of the uncountably many summands are zero elements.
A: Assume that
$$ \sum_{i\in I} |x_i| < \infty, $$
and define $J_n = \{i \in I: |x_i| \geq 1/n$}, for $n > 0$, and $J_{\infty} = \{i\in I: x_i \neq 0\}$. By assumption, $J_n$ must be a finite set for all $n$, so
$J_\infty = \bigcup_{n = 1}^{\infty}J_n$ is countable.
