{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Proof\n\nWe apply the theorem on uniform limits and integration to the partial sums.\n\n1. Let $a \u003c b$, and let each $f_n \\colon [a, b] \\to \\R$ be Riemann integrable. Let $s_N = \\sum_{n=0}^{N} f_n$ be the partial sums of the [[series|0MRE6XRE5V]], and let $s$ be its sum.\n2. By [[linearity of the integral|080RWVVSB6]] and induction on $N$, each $s_N$ is Riemann integrable, and $\\int_a^b s_N = \\sum_{n=0}^{N} \\int_a^b f_n$.\n3. By hypothesis, the series converges uniformly on $[a, b]$. That is, $s_N \\to s$ uniformly on $[a, b]$.\n4. By steps 2 and 3, the theorem that [[uniform limits commute with integration|0BWGW68B66]] applies to $(s_N)$.\n5. It gives that $s$ is Riemann integrable, and $\\int_a^b s_N \\to \\int_a^b s$ as $N \\to \\infty$.\n6. By step 2, $\\int_a^b s_N$ is the $N$-th partial sum of the series $\\sum_n \\int_a^b f_n$. By step 5 and the definition of the [[sum of a series|0K0H5E3Z5N]], this series converges, and\n$$\\sum_{n=0}^{\\infty} \\int_a^b f_n(x) \\, dx = \\lim_{N \\to \\infty} \\int_a^b s_N(x) \\, dx = \\int_a^b \\sum_{n=0}^{\\infty} f_n(x) \\, dx.$$\n\n## Idea\n\nFinite sums can be integrated term by term, by linearity. Uniform convergence lets the limit of the partial sums pass through the integral. So the integral of the sum is the sum of the integrals.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "kind": "proof",
    "msc": [
      "40A30",
      "26A42"
    ],
    "name": "Proof of term-by-term integration",
    "proves": "0YBY3VYX0K",
    "sources": [
      {
        "locator": "Theorem 6.2.4",
        "url": "https://www.jirka.org/ra/html/sec_liminter.html"
      }
    ],
    "tag": "PV073ATZBQ",
    "uses": [
      "0MRE6XRE5V",
      "080RWVVSB6",
      "0BWGW68B66",
      "0K0H5E3Z5N"
    ]
  },
  "kind": "proof",
  "link": "https://math2.tamnd.com/node/PV073ATZBQ/",
  "links": [
    {
      "field": "proves",
      "target": "0YBY3VYX0K"
    },
    {
      "field": "uses",
      "target": "0MRE6XRE5V"
    },
    {
      "field": "uses",
      "target": "080RWVVSB6"
    },
    {
      "field": "uses",
      "target": "0BWGW68B66"
    },
    {
      "field": "uses",
      "target": "0K0H5E3Z5N"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/PV073ATZBQ.md",
  "msc": [
    "40A30",
    "26A42"
  ],
  "name": "Proof of term-by-term integration",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PV0/PV073ATZBQ.md",
  "status": null,
  "tag": "PV073ATZBQ",
  "uri": "m2://PV073ATZBQ",
  "url": "https://math2.tamnd.com/wiki/proof-of-term-by-term-integration/",
  "writing": {
    "tag": "PV073ATZBQ",
    "kind": "proof",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}