{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Proof\n\nLet $T = \\sum_{n=0}^{\\infty} \\abs{a_n}$, and let $t_K = \\sum_{k=0}^{K} \\abs{a_k}$ and $s_K = \\sum_{k=0}^{K} a_k$. The series $\\sum a_n$ converges, with sum $A$, since [[absolutely convergent series converge|0Y123X48GA]]. Let $B_N = \\sum_{n=0}^{N} a_{\\sigma(n)}$ be the partial sums of the [[rearrangement|0HRJ2Y74T3]].\n\n1. By the [[criterion for nonnegative series|0MX1HZBBXJ]], $t_K \\le T$ for every $K$.\n2. Let $N$ be a natural number and let $K = \\max \\set{\\sigma(0), \\dots, \\sigma(N)}$. Since $\\sigma$ is injective, the indices $\\sigma(0), \\dots, \\sigma(N)$ are distinct elements of $\\set{0, \\dots, K}$.\n3. So $\\sum_{n=0}^{N} \\abs{a_{\\sigma(n)}} \\le t_K \\le T$, because the terms are nonnegative.\n4. The partial sums of $\\sum \\abs{a_{\\sigma(n)}}$ are bounded above by $T$. By the same criterion, the rearrangement [[converges absolutely|0W3K3QPEWT]].\n5. Let $\\varepsilon \u003e 0$. Since $t_M \\to T$ and $s_M \\to A$, there is $M$ with $T - t_M \u003c \\varepsilon$ and $\\abs{s_M - A} \u003c \\varepsilon$, by the definition of the [[limit|0XKWSSY8P2]].\n6. Since $\\sigma$ is surjective, each of $0, 1, \\dots, M$ equals $\\sigma(n)$ for some $n$. Let $N_0$ be the largest of these $M + 1$ values of $n$.\n7. Let $N \\ge N_0$. Then $\\set{0, \\dots, M} \\subseteq \\sigma(\\set{0, \\dots, N})$. Let $D = \\sigma(\\set{0, \\dots, N}) \\setminus \\set{0, \\dots, M}$, a finite set of indices larger than $M$.\n8. Since $\\sigma$ is injective, $B_N = \\sum_{k \\in \\sigma(\\set{0, \\dots, N})} a_k = s_M + \\sum_{k \\in D} a_k$.\n9. Let $K$ be an integer at least $M$ and every element of $D$. By the [[triangle inequality|03HF5PMY5T]] and step 1, $\\abs{\\sum_{k \\in D} a_k} \\le \\sum_{k=M+1}^{K} \\abs{a_k} = t_K - t_M \\le T - t_M \u003c \\varepsilon$.\n10. By steps 5, 8 and 9, $\\abs{B_N - A} \\le \\abs{s_M - A} + \\abs{\\sum_{k \\in D} a_k} \u003c 2\\varepsilon$ for all $N \\ge N_0$.\n11. So $B_N \\to A$. The rearrangement converges absolutely, and its sum is $A$.\n\n## Idea\n\nFix a long initial block $a_0, \\dots, a_M$ whose sum is close to $A$ and whose tail of absolute values is small. A long enough partial sum of the rearrangement contains this whole block, plus some terms from the tail. Those extra terms have small total size, so they cannot move the sum much.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "kind": "proof",
    "msc": [
      "40A05"
    ],
    "name": "Proof that rearrangements of an absolutely convergent series have the same sum",
    "proves": "0J76TP9FGD",
    "sources": [
      {
        "locator": "Proof of the theorem",
        "url": "https://en.wikipedia.org/wiki/Absolute_convergence"
      }
    ],
    "tag": "Y7PDDFZZC3",
    "uses": [
      "0W3K3QPEWT",
      "0HRJ2Y74T3",
      "0MX1HZBBXJ",
      "03HF5PMY5T",
      "0XKWSSY8P2",
      "0Y123X48GA"
    ]
  },
  "kind": "proof",
  "link": "https://math2.tamnd.com/node/Y7PDDFZZC3/",
  "links": [
    {
      "field": "proves",
      "target": "0J76TP9FGD"
    },
    {
      "field": "uses",
      "target": "0W3K3QPEWT"
    },
    {
      "field": "uses",
      "target": "0HRJ2Y74T3"
    },
    {
      "field": "uses",
      "target": "0MX1HZBBXJ"
    },
    {
      "field": "uses",
      "target": "03HF5PMY5T"
    },
    {
      "field": "uses",
      "target": "0XKWSSY8P2"
    },
    {
      "field": "uses",
      "target": "0Y123X48GA"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/Y7PDDFZZC3.md",
  "msc": [
    "40A05"
  ],
  "name": "Proof that rearrangements of an absolutely convergent series have the same sum",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/Y7P/Y7PDDFZZC3.md",
  "status": null,
  "tag": "Y7PDDFZZC3",
  "uri": "m2://Y7PDDFZZC3",
  "url": "https://math2.tamnd.com/wiki/proof-that-rearrangements-of-an-absolutely-convergent-series-have-the-same-sum/",
  "writing": {
    "tag": "Y7PDDFZZC3",
    "kind": "proof",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}