{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "11GMR0F2Q8"
    },
    {
      "field": "uses",
      "target": "18KPYRRPZY"
    },
    {
      "field": "uses",
      "target": "273NZSYWZA"
    },
    {
      "field": "uses",
      "target": "2FE4P23NVC"
    },
    {
      "field": "uses",
      "target": "3TVXB7X266"
    },
    {
      "field": "uses",
      "target": "4D8CDGZNHE"
    },
    {
      "field": "uses",
      "target": "4TXG13F5N0"
    },
    {
      "field": "uses",
      "target": "5RF055GK4N"
    },
    {
      "field": "uses",
      "target": "5S7FCJMCD7"
    },
    {
      "field": "uses",
      "target": "6FE7JZ2VF1"
    },
    {
      "field": "uses",
      "target": "6QS7X5GVMY"
    },
    {
      "field": "uses",
      "target": "7KS1W5K54S"
    },
    {
      "field": "uses",
      "target": "8TV0DJBBAY"
    },
    {
      "field": "uses",
      "target": "9BS2PM0227"
    },
    {
      "field": "uses",
      "target": "9K11FXYX5S"
    },
    {
      "field": "uses",
      "target": "9NMMRYKBNG"
    },
    {
      "field": "uses",
      "target": "A1G25R99PY"
    },
    {
      "field": "uses",
      "target": "A8R7V30ANX"
    },
    {
      "field": "uses",
      "target": "BMDG4JQPEH"
    },
    {
      "field": "uses",
      "target": "BSA6GFT8SQ"
    },
    {
      "field": "uses",
      "target": "BW678BX9ZX"
    },
    {
      "field": "uses",
      "target": "C37R11WREF"
    },
    {
      "field": "uses",
      "target": "C8TTRMVVS7"
    },
    {
      "field": "uses",
      "target": "CGEXQ8BAH5"
    },
    {
      "field": "uses",
      "target": "CM3KYNZZJ6"
    },
    {
      "field": "uses",
      "target": "CSMF0WVH67"
    },
    {
      "field": "uses",
      "target": "DE42T92C4R"
    },
    {
      "field": "uses",
      "target": "DEK2SCEDJ2"
    },
    {
      "field": "uses",
      "target": "DJHVKR63H5"
    },
    {
      "field": "uses",
      "target": "DVGQB92HPJ"
    },
    {
      "field": "uses",
      "target": "ECS1GDJ734"
    },
    {
      "field": "uses",
      "target": "EM8Q0636YT"
    },
    {
      "field": "uses",
      "target": "EVXPTK4P0J"
    },
    {
      "field": "uses",
      "target": "F12V24NF4R"
    },
    {
      "field": "uses",
      "target": "F8R88XFMQK"
    },
    {
      "field": "uses",
      "target": "J5YNTHQMFX"
    },
    {
      "field": "uses",
      "target": "JB02WZSDDW"
    },
    {
      "field": "uses",
      "target": "KH7EPKDCH3"
    },
    {
      "field": "uses",
      "target": "KR4KX354JN"
    },
    {
      "field": "uses",
      "target": "MM07SS0PB4"
    },
    {
      "field": "uses",
      "target": "N528CFDN46"
    },
    {
      "field": "uses",
      "target": "N8SFMS441V"
    },
    {
      "field": "uses",
      "target": "NKTAN9XBZA"
    },
    {
      "field": "uses",
      "target": "NVFF58NEKV"
    },
    {
      "field": "uses",
      "target": "NX8AMNXWG8"
    },
    {
      "field": "uses",
      "target": "NXV8S3145K"
    },
    {
      "field": "uses",
      "target": "NZ4NY8SK1C"
    },
    {
      "field": "uses",
      "target": "NZ8WECT409"
    },
    {
      "field": "uses",
      "target": "P93WWQ6BBB"
    },
    {
      "field": "uses",
      "target": "PPT1ZSSHBN"
    },
    {
      "field": "uses",
      "target": "QAWDC7SWKC"
    },
    {
      "field": "uses",
      "target": "QD23PJR6RP"
    },
    {
      "field": "uses",
      "target": "QEKVW55VV7"
    },
    {
      "field": "uses",
      "target": "RDE658H8Z4"
    },
    {
      "field": "uses",
      "target": "RMEF8T6C0E"
    },
    {
      "field": "uses",
      "target": "S805N6Z8G7"
    },
    {
      "field": "uses",
      "target": "SB8PFJCJBC"
    },
    {
      "field": "uses",
      "target": "SEVHW7TPPZ"
    },
    {
      "field": "uses",
      "target": "TDTMMY7RK1"
    },
    {
      "field": "uses",
      "target": "THX29SKKPB"
    },
    {
      "field": "uses",
      "target": "TTC40N49M6"
    },
    {
      "field": "uses",
      "target": "V1C28937NX"
    },
    {
      "field": "uses",
      "target": "V2H578D4RT"
    },
    {
      "field": "uses",
      "target": "VX7BFH22GX"
    },
    {
      "field": "uses",
      "target": "X71XRPJR7D"
    },
    {
      "field": "uses",
      "target": "X8K0Z7484R"
    },
    {
      "field": "uses",
      "target": "X9XRGMDCQZ"
    },
    {
      "field": "uses",
      "target": "XDQ8CF0EZD"
    },
    {
      "field": "uses",
      "target": "Y730CQ2J1F"
    },
    {
      "field": "uses",
      "target": "YB7Q3EK0ND"
    },
    {
      "field": "uses",
      "target": "YGR48AJMFD"
    },
    {
      "field": "uses",
      "target": "YQ626FK82G"
    },
    {
      "field": "uses",
      "target": "Z4ZM26BJHN"
    },
    {
      "field": "uses",
      "target": "Z8CW6Z2K7N"
    },
    {
      "field": "uses",
      "target": "ZXJ7FJ3WCE"
    },
    {
      "field": "instance_of",
      "target": "1TJ8TNH331"
    },
    {
      "field": "specializes",
      "target": "4CK2GSRAGD"
    },
    {
      "field": "about",
      "target": "7KS1W5K54S"
    },
    {
      "field": "about",
      "target": "J5YNTHQMFX"
    },
    {
      "field": "about",
      "target": "NKTAN9XBZA"
    },
    {
      "field": "about",
      "target": "NX8AMNXWG8"
    },
    {
      "field": "about",
      "target": "TTC40N49M6"
    },
    {
      "field": "defines",
      "target": "PYYXEXMARY"
    }
  ],
  "body": "\n## Summary\n\nA Hilbert space is an [[inner product space|0QVNCJXRY3]] that is complete for the [[norm induced by its inner product|0MFJJV97RJ]].\nSo it is a [[Banach space|06GZ956657]] whose geometry has angles and orthogonality, as in Euclidean space.\nEvery Hilbert space has an orthonormal basis, and every closed subspace has an orthogonal complement.\nEvery continuous linear functional is the inner product with a fixed vector.\nHilbert spaces are the setting of Fourier series, of spectral theory and of quantum mechanics.\n\n## Explanations\n\n### L1 human\n\nA Hilbert space is a space of vectors, possibly of infinite dimension, where lengths and angles work as in the plane.\nThe theorem of Pythagoras and orthogonal projections still make sense.\nCompleteness means that a sequence whose terms get closer and closer always has a limit in the space.\nThe main example is $\\ell^2$, the sequences $(x_1, x_2, \\dots)$ with $\\sum \\abs{x_n}^2$ finite.\nAnother is the space $L^2$ of square-integrable functions, where Fourier series live.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "46C05"
    ],
    "name": "Hilbert space",
    "same_as": {
      "wikidata": "Q190056",
      "wikipedia": "Hilbert space"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hilbert_space"
      }
    ],
    "specializes": [
      "06GZ956657",
      "0QVNCJXRY3"
    ],
    "tag": "HM2HHE3J51"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/HM2HHE3J51/",
  "links": [
    {
      "field": "specializes",
      "target": "06GZ956657"
    },
    {
      "field": "specializes",
      "target": "0QVNCJXRY3"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/HM2HHE3J51.md",
  "msc": [
    "46C05"
  ],
  "name": "Hilbert space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/HM2/HM2HHE3J51.md",
  "status": null,
  "tag": "HM2HHE3J51",
  "uri": "m2://HM2HHE3J51",
  "url": "https://math2.tamnd.com/wiki/hilbert-space/",
  "writing": {
    "tag": "HM2HHE3J51",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}