{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Proof\n\nWe use the Cauchy criterion for series.\n\n1. By the definition of [[absolute convergence|0W3K3QPEWT]], the series $\\sum \\abs{a_n}$ converges. Let $T$ be its sum.\n2. Let $\\varepsilon \u003e 0$. By the [[Cauchy criterion for series|06PVXMY0TH]] applied to $\\sum \\abs{a_n}$, there is $N$ with $\\sum_{k=m+1}^{n} \\abs{a_k} \u003c \\varepsilon$ for all $n \u003e m \\ge N$.\n3. For such $m$ and $n$, the [[triangle inequality|03HF5PMY5T]], applied repeatedly, gives $\\abs{\\sum_{k=m+1}^{n} a_k} \\le \\sum_{k=m+1}^{n} \\abs{a_k} \u003c \\varepsilon$.\n4. By the Cauchy criterion for series again, $\\sum a_n$ converges. Let $S$ be its sum and $s_N = \\sum_{n=0}^{N} a_n$.\n5. Let $t_N = \\sum_{n=0}^{N} \\abs{a_n}$. By the [[criterion for nonnegative series|0MX1HZBBXJ]], $T = \\sup_N t_N$, so $t_N \\le T$ for all $N$.\n6. By the triangle inequality, $\\abs{s_N} \\le t_N \\le T$. So $-T \\le s_N \\le T$ for every $N$.\n7. Since $s_N \\to S$ and [[limits preserve non-strict inequalities|0N32V0E3XJ]], $-T \\le S \\le T$.\n8. So $\\abs{\\sum_{n=0}^{\\infty} a_n} = \\abs{S} \\le T = \\sum_{n=0}^{\\infty} \\abs{a_n}$.\n\n## Idea\n\nA block of terms $a_{m+1} + \\cdots + a_n$ is never larger in absolute value than the same block of absolute values. If the blocks of absolute values become small, so do the original blocks, and the Cauchy criterion gives convergence.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "kind": "proof",
    "msc": [
      "40A05"
    ],
    "name": "Proof that absolutely convergent series converge",
    "proves": "0Y123X48GA",
    "sources": [
      {
        "locator": "Alternative proof using the Cauchy criterion and triangle inequality",
        "url": "https://en.wikipedia.org/wiki/Absolute_convergence"
      }
    ],
    "tag": "5VRNB5BEET",
    "uses": [
      "0W3K3QPEWT",
      "06PVXMY0TH",
      "03HF5PMY5T",
      "0MX1HZBBXJ",
      "0N32V0E3XJ"
    ]
  },
  "kind": "proof",
  "link": "https://math2.tamnd.com/node/5VRNB5BEET/",
  "links": [
    {
      "field": "proves",
      "target": "0Y123X48GA"
    },
    {
      "field": "uses",
      "target": "0W3K3QPEWT"
    },
    {
      "field": "uses",
      "target": "06PVXMY0TH"
    },
    {
      "field": "uses",
      "target": "03HF5PMY5T"
    },
    {
      "field": "uses",
      "target": "0MX1HZBBXJ"
    },
    {
      "field": "uses",
      "target": "0N32V0E3XJ"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/5VRNB5BEET.md",
  "msc": [
    "40A05"
  ],
  "name": "Proof that absolutely convergent series converge",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/5VR/5VRNB5BEET.md",
  "status": null,
  "tag": "5VRNB5BEET",
  "uri": "m2://5VRNB5BEET",
  "url": "https://math2.tamnd.com/wiki/proof-that-absolutely-convergent-series-converge/",
  "writing": {
    "tag": "5VRNB5BEET",
    "kind": "proof",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}