Today we've seen the notion of summability in class.
We say that the sequence $(a_i)_{i \in I} $ where $a_i \in \mathbb{R}$ is summable iff: $$S((a_i)_{i \in I}) = \sup \{ \sum_{j \in J} a_j \mid J \subset I, J \text{ finite} \} \in \mathbb{R}$$
I know that the notion of summability is there in order to prevent the Riemann rearrangement theorem for series that converge but not absolutely.
From here, it makes sens. Then during the lesson we prove some properties like associativity, linearity, "packet summation"...
And after all of this using the above notion of summable (which is a lot of work for "obvious" facts) we prove the following (assuming there is a bijection $f : \mathbb{N} \to I$) :
$$S((a_i)_{i \in I}) = \sum_{i = 0}^\infty \mid a_{f(i)} \mid $$
And here I don't understand at all why we did so much work and effort to defined the notion of summability whereas this is exactly the same as absolutely convergent ?
That's why I don't understand at all now why we defined this definition of summability while it's equivalent to the notion : absolutelty convergent.
Thank you !
What if there isn't a bijection between $I$ and $\mathbb{N}$?
This more abstract notion of summability lets us take "uncountable sums." Now, this turns out to not actually be that interesting a notion:
That is, a summable sequence is always going to be essentially countable.
But that's a nontrivial fact (and see below for a sketch of a proof). On the face of it, the more abstract definition lets us go beyond the usual notion. And while in this particular setting that's not very interesting, the idea of building up to a very large infinitary operation - that is, not necessarily $\mathbb{N}$-indexable - via looking at its finite pieces is useful in a number of contexts.
So I would say that the real value of the more abstract definition above is that it frees us from the seemingly-arbitrary restriction to $\mathbb{N}$-indexed sums. While not super useful here (although there can be situations where it simplifies notation in proofs), it's an important conceptual generalization to be capable of.
How do we prove the fact $(*)$ above?
Well, the key point is that $\mathbb{R}$ is separable - it has a countable dense subset (namely $\mathbb{Q}$). This lets us do some clever "bounding" tricks:
Suppose that $(a_i)_{i\in I}$ is summable but $\{i\in I: a_i\not=0\}$ is uncountable. WLOG every $a_i$ is positive (why is this WLOG?).
For each positive rational $q$, let $$J_q=\{i\in I: a_i>q\}.$$ We have $I=\bigcup_{q\in\mathbb{Q}_{>0}}J_q$; since a countable union of countable sets is countable, we must have $J_q$ be uncountable for some (not unique of course) $q\in\mathbb{Q}_{>0}$.
But if $X\subseteq J_q$ is finite, we have $\sum_{i\in X}a_q\ge \vert X\vert\cdot q$; taking larger and larger $X$s, we get unboundedly large values for these sums. So we don't have summability.