Given a convergent series of positive rationals, how many subseries can converge to the same number?

Yes, consider this series:

$$1+\frac12+\frac12+1+\frac14+\frac18+\frac18+\frac14+\frac1{16}+\frac1{32}+\frac1{32}+\frac1{16}+\cdots=4$$

There are uncountably many subsequences that sum to $2$. From each quadruplet of the form $2a+a+a+2a$, we may select either $2a+a$ or $a+2a$.


The series $$\frac3{5^1}+\frac2{5^1}+\frac1{5^1}+\frac3{5^2}+\frac2{5^2}+\frac1{5^2}+\frac3{5^3}+\frac2{5^3}+\frac1{5^3}+\cdots=\frac32$$ has continuum many subseries converging to $\frac34.$


Hmm... Why so complicated? $ \def\lfrac#1#2{{\large\frac{#1}{#2}}} $

$\dfrac12 + \dfrac12 + \dfrac14 + \dfrac14 + \dfrac18 + \dfrac18 + \cdots = 2$.

$\dfrac12 + \dfrac14 + \dfrac18 + \cdots = 1 < 2$. (Just pick one of each pair.)

Better still, for every positive real $r < 2$, there are uncountably many subseries that converge to it! Here is a sketch of the proof. First pick some subseries converging to $r$. If it is finite, replace the last term $\lfrac1{2^k}$ by $\lfrac1{2^{k+1}}+\lfrac1{2^{k+2}}+\lfrac1{2^{k+3}}+\cdots$. So we can assume the subseries has infinitely many terms. Now if the subseries omits some term from infinitely many pairs of the original series, then we are clearly done. If not, the subseries includes every term from some point onwards, but must omit some term before that, and hence we can change the subseries to use the last omitted term in place of one of every pair after that. We now have a subseries with infinitely many terms that do not come in pairs, and hence as before we are done!


If you want a sequence with distinct terms, that is easy to obtain from the above. Simply replace each pair $(\lfrac1{2^k}+\lfrac1{2^k})$ by $(\lfrac1{2^k}+\lfrac1{2^k·7}+\lfrac6{2^k·7})$. By basic number theory, no two rationals of the form $\lfrac{6^a}{2^k·7^b}$ can be the same unless $k,a,b$ are the same. Then use the same argument as above, treating $(\lfrac1{2^k·7}+\lfrac6{2^k·7})$ the same as $\lfrac1{2^k}$ in the original.