 Solution

Assume first that the original nonnegative series converges to $S$. Its partial sums $s_m$ increase to $S$. Write $t_N={\sum }_{n=1}^N{a}_{g(n)}$ for the partial sums of the rearrangement of a series. Since $g$ is an injection, the indices $g(1),\dots ,g(N)$ are distinct, soThus $(t_N)$ is an increasing bounded sequence, and the bounded monotone sequence theorem gives $t_N\to T\le S$.

For any fixed $m$, surjectivity of $g$ givesFor $N\ge N_m$, nonnegativity implies $t_N\ge s_m$. Taking limits of sequences first in $N$ and then in $m$ gives $T\ge S$. Hence $T=S$.

Conversely, $g^{-1}$ is a bijection, and the original series is the rearrangement of a series of $\sum b_n$ defined by $g^{-1}$. The same argument proves its convergence whenever $\sum b_n$ converges. Both series converge together, and their sums are equal.