{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $A = (a_{nk})_{n, k \\ge 0}$ be an infinite complex matrix.\nThe [[matrix method|RKFB6AHPBE]] given by $A$ is [[regular|BXVVXJQV8M]], that is, every convergent sequence $s$ is $A$-summable to $\\lim s_k$, if and only if:\n\n1. $\\sup_{n} \\sum_{k=0}^{\\infty} \\abs{a_{nk}} \u003c \\infty$;\n2. $\\lim_{n \\to \\infty} a_{nk} = 0$ for every $k$;\n3. $\\lim_{n \\to \\infty} \\sum_{k=0}^{\\infty} a_{nk} = 1$.\n\n## Remarks\n\nNecessity of conditions 2 and 3: apply $A$ to the constant sequence $1$ and to the unit sequence $e_k$.\nHere $e_k$ has $1$ in place $k$ and $0$ elsewhere, so it tends to $0$.\nNecessity of condition 1 uses the uniform boundedness principle, or a direct \"gliding hump\" construction of a null sequence with unbounded transform.\nSufficiency: write $s_k = L + r_k$ with $r_k \\to 0$; condition 3 handles $L$, and for $r$ one splits $\\sum_k a_{nk} r_k$ into finitely many terms, small by condition 2, and a tail, small by condition 1.\nExample: the Cesàro matrix $a_{nk} = \\frac{1}{n+1}$ for $k \\le n$ has row sums of absolute values equal to $1$, entries tending to $0$ and row sums $1$, so Cesàro summation is regular.\nNon-example: the matrix with $a_{nk} = 1$ for $k \\le n$ and $0$ otherwise violates condition 1, and indeed it sends the convergent sequence $s_k = \\frac{1}{k+1}$ to the divergent harmonic partial sums.\n\n## Explanations\n\n### L1 human\n\nA weighted-average method gives the right answer on every convergent sequence under three conditions.\nThe weights stay bounded in total size, each fixed weight fades away, and the weights in each row add up to nearly $1$.\n\n### L2 human\n\nThe theorem reduces regularity, a statement about all convergent sequences, to three checks on the matrix.\nIt is the standard tool for showing that Cesàro, Nörlund, Riesz and Euler methods are regular.\nThe [[Kojima–Schur theorem|JB8GQBVW6Q]] characterizes the wider class of matrices that only send convergent sequences to convergent sequences, and the Silverman–Toeplitz theorem is its special case with limits $0$ and $1$.\nThe [[Steinhaus theorem|NG1FPJQHA1]] shows that no regular matrix sums every bounded sequence.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "M6311DWJ1E",
      "29C7C41A52"
    ],
    "kind": "statement",
    "msc": [
      "40C05",
      "40D05"
    ],
    "name": "Silverman–Toeplitz theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q7516736",
      "wikipedia": "Silverman–Toeplitz theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Silverman–Toeplitz_theorem"
      }
    ],
    "tag": "S4J7SRPXMZ",
    "uses": [
      "RKFB6AHPBE",
      "BXVVXJQV8M"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/S4J7SRPXMZ/",
  "links": [
    {
      "field": "about",
      "target": "M6311DWJ1E"
    },
    {
      "field": "about",
      "target": "29C7C41A52"
    },
    {
      "field": "uses",
      "target": "RKFB6AHPBE"
    },
    {
      "field": "uses",
      "target": "BXVVXJQV8M"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/S4J7SRPXMZ.md",
  "msc": [
    "40C05",
    "40D05"
  ],
  "name": "Silverman–Toeplitz theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/S4J/S4J7SRPXMZ.md",
  "status": null,
  "tag": "S4J7SRPXMZ",
  "uri": "m2://S4J7SRPXMZ",
  "url": "https://math2.tamnd.com/wiki/silverman-toeplitz-theorem/",
  "writing": {
    "tag": "S4J7SRPXMZ",
    "kind": "statement",
    "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
      }
    ]
  }
}