Convergence of Series of a Net's terms I'm working through Dr. Pete Clark's convergence notes here: http://alpha.math.uga.edu/~pete/convergence.pdf
and I've been thinking about Exercise 3.2.2 (a) and I am completely stumped.
The exercise says to show that a series converges only if it has at most countably many non-zero terms. I would like to start to argue by contradiction, and suppose that a net $(x_{\alpha})$ has uncountably non-zero terms.  I'm drawing a blank on how I can build divergence of the series, based on the definition:
A series $\sum_{\alpha\in I}x_{i}$ is said to unconditionally converge to $x$ if for all $\epsilon > 0$, there exists a finite $J\subset I$ such that whenever $K$ is a finite subset of $I$ such that $I\supset K\supset J$, we have $|\sum_{\alpha\in K}x_{\alpha} - x| < \epsilon$.
 A: Your definition of unconditional convergence to $x$ should read as follows:

$\sum_{\alpha\in I}x_\alpha$ converges unconditionally to $x$ if for each $\epsilon>0$ there is a finite $J(\epsilon)\subseteq I$ such that whenever $I\supseteq K\subseteq J(\epsilon)$ and $K$ is finite, we have $\left|x-\sum_{\alpha\in K}x_\alpha\right|<\epsilon$.

You said that you want to show that $\sum_{\alpha\in I}x_\alpha$ converges unconditionally iff $S=\{\alpha\in I:x_\alpha\ne 0\}$ is at most countable; the problem actually asks only for the implication $(\Rightarrow)$. There's a good reason for this: the other implication is false, as you may see by taking $I=\Bbb N$ and $x_i=1$ for each $i\in I$.
Your idea of assuming $S$ is uncountable to prove the true $(\Rightarrow)$ implication is fine. Suppose that $S$ is uncountable, and for each $n\in\Bbb N$ let $S_n=\{\alpha\in S:|x_\alpha|\ge 2^{-n}\}$. Since $S$ is uncountable, there must be some $n\in\Bbb N$ such that $S_n$ is uncountable. Now split $S_n$ into $S_n^+=S_n\cap(0,\to)$ and $S_n^-=S_n\cap(\leftarrow,0)$, the positive and negative halves of $S_n$; at least one of these must be uncountable, say $S_n^\sigma$. Now let $J$ be any finite subset of $I$. For any $k\in\Bbb N$ you can expand $J$ to a finite sets $K_k\supseteq J$ by adding $k$ elements of $S_n^\sigma$ to to $J$; what happens to the sequence of sums 
$$\left\langle\sum_{\alpha\in K_k}x_\alpha:k\in\Bbb N\right\rangle$$ 
when you do this?
