{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $H$ be a [[Hilbert space|HM2HHE3J51]] over $\\R$ or $\\C$ with inner product $\\ip{\\cdot}{\\cdot}$.\nLet $A \\colon H \\to H$ be a [[linear map|0NRYHJPQG2]] defined on all of $H$.\nAssume that\n$$\\ip{Ax}{y} = \\ip{x}{Ay} \\qquad \\text{for all } x, y \\in H.$$\nThen $A$ is bounded, that is, $A$ is a [[continuous linear map|03TM135G0N]].\n\n## Remarks\n\nProof idea: by the [[closed graph theorem|GXM8BX8YM7]], it suffices to show that $A$ is [[closed|VM7B38PA87]].\nIf $x_n \\to x$ and $A x_n \\to z$, then for every $y \\in H$,\n$$\\ip{z}{y} = \\lim \\ip{A x_n}{y} = \\lim \\ip{x_n}{Ay} = \\ip{x}{Ay} = \\ip{Ax}{y},$$\nso $z = Ax$.\n\nExample: if $A$ is given on $\\ell^2$ by a real symmetric infinite matrix and is defined on all of $\\ell^2$, the theorem says $A$ is automatically bounded.\n\nCompleteness of $H$ is needed.\nOn the space of finitely supported sequences with the $\\ell^2$ inner product, the diagonal map $(x_n) \\mapsto (n x_n)$ is defined everywhere and symmetric.\nIt is unbounded, since it sends the $n$-th unit vector to $n$ times itself.\n\n## Explanations\n\n### L1 human\n\nIn quantum mechanics, observables are represented by symmetric operators, and many of them, such as position and momentum, are unbounded.\nThe theorem says that such an unbounded symmetric operator can never be defined on the whole Hilbert space.\nSo domains are unavoidable in the theory of unbounded operators.\n\n### L2 human\n\nThe theorem is a short application of the closed graph theorem, and it is one reason why the theory of unbounded self-adjoint operators works with dense, proper domains.\nIt also shows that a bounded operator is self-adjoint exactly when it is symmetric on all of $H$; no extra boundedness hypothesis is needed.\nA related form: a linear map $A \\colon H \\to H$ that has a formal adjoint $B \\colon H \\to H$, with $\\ip{Ax}{y} = \\ip{x}{By}$ for all $x, y$, is bounded, by the same proof.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "03TM135G0N"
    ],
    "kind": "statement",
    "msc": [
      "47B25",
      "47A05"
    ],
    "name": "Hellinger–Toeplitz theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q1472120",
      "wikipedia": "Hellinger–Toeplitz theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hellinger%E2%80%93Toeplitz_theorem"
      }
    ],
    "tag": "ZXJ7FJ3WCE",
    "uses": [
      "HM2HHE3J51",
      "0NRYHJPQG2",
      "03TM135G0N",
      "GXM8BX8YM7",
      "VM7B38PA87"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/ZXJ7FJ3WCE/",
  "links": [
    {
      "field": "about",
      "target": "03TM135G0N"
    },
    {
      "field": "uses",
      "target": "HM2HHE3J51"
    },
    {
      "field": "uses",
      "target": "0NRYHJPQG2"
    },
    {
      "field": "uses",
      "target": "03TM135G0N"
    },
    {
      "field": "uses",
      "target": "GXM8BX8YM7"
    },
    {
      "field": "uses",
      "target": "VM7B38PA87"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/ZXJ7FJ3WCE.md",
  "msc": [
    "47B25",
    "47A05"
  ],
  "name": "Hellinger–Toeplitz theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZXJ/ZXJ7FJ3WCE.md",
  "status": null,
  "tag": "ZXJ7FJ3WCE",
  "uri": "m2://ZXJ7FJ3WCE",
  "url": "https://math2.tamnd.com/wiki/hellinger-toeplitz-theorem/",
  "writing": {
    "tag": "ZXJ7FJ3WCE",
    "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
      }
    ]
  }
}