{
  "aliases": null,
  "backlinks": [
    {
      "field": "instance_of",
      "target": "7RP8XW5YH3"
    },
    {
      "field": "defines",
      "target": "CWP26Y1TCZ"
    },
    {
      "field": "about",
      "target": "MZM1AFXY82"
    }
  ],
  "body": "\n## Summary\n\nA double series $\\sum_{m,n} a_{m,n}$ adds the terms of a [[double sequence|B70G8FYPG0]].\nIts partial sums are sums over rectangles $\\set{0, \\ldots, M} \\times \\set{0, \\ldots, N}$, and it converges when these tend to a limit as $M$ and $N$ both grow.\nDouble series arise from products of series, from power series in two variables, and from sums over lattices.\nWhen the terms are absolutely summable, the double sum equals each iterated sum, by [[Fubini's theorem for series|WW53KG71KH]].\nThe exact definition is in [[double series|CWP26Y1TCZ]].\n\n## Explanations\n\n### L1 human\n\nA double series adds up all the numbers of an infinite table.\nOne adds the entries in a growing rectangle in the top-left corner and asks whether these sums settle down.\nFor example, the table with entries $1/(2^m 3^n)$ has rectangle sums that approach $2 \\cdot \\tfrac32 = 3$.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "40B05"
    ],
    "name": "Double series",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Series_(mathematics)"
      }
    ],
    "tag": "PAXCH4FFSV"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/PAXCH4FFSV/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/PAXCH4FFSV.md",
  "msc": [
    "40B05"
  ],
  "name": "Double series",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PAX/PAXCH4FFSV.md",
  "status": null,
  "tag": "PAXCH4FFSV",
  "uri": "m2://PAXCH4FFSV",
  "url": "https://math2.tamnd.com/wiki/double-series/",
  "writing": {
    "tag": "PAXCH4FFSV",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}