{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "A1G25R99PY"
    },
    {
      "field": "uses",
      "target": "BMDG4JQPEH"
    },
    {
      "field": "uses",
      "target": "BSA6GFT8SQ"
    },
    {
      "field": "uses",
      "target": "C37R11WREF"
    },
    {
      "field": "uses",
      "target": "CM3KYNZZJ6"
    },
    {
      "field": "uses",
      "target": "DJHVKR63H5"
    },
    {
      "field": "uses",
      "target": "F12V24NF4R"
    },
    {
      "field": "uses",
      "target": "N8SFMS441V"
    },
    {
      "field": "uses",
      "target": "NKTAN9XBZA"
    },
    {
      "field": "uses",
      "target": "NXV8S3145K"
    },
    {
      "field": "uses",
      "target": "P93WWQ6BBB"
    },
    {
      "field": "uses",
      "target": "SB8PFJCJBC"
    },
    {
      "field": "uses",
      "target": "TDTMMY7RK1"
    },
    {
      "field": "uses",
      "target": "V1C28937NX"
    },
    {
      "field": "uses",
      "target": "V2H578D4RT"
    },
    {
      "field": "uses",
      "target": "X71XRPJR7D"
    },
    {
      "field": "uses",
      "target": "X9XRGMDCQZ"
    },
    {
      "field": "defines",
      "target": "DEK2SCEDJ2"
    }
  ],
  "body": "\n## Summary\n\nThe adjoint of a bounded operator $T \\colon H \\to K$ between Hilbert spaces is the bounded operator $T^* \\colon K \\to H$ characterised by $\\ip{Tx}{y} = \\ip{x}{T^* y}$.\nIt extends the [[adjoint of a linear map|0R9NMSM1ZP]] between finite-dimensional inner product spaces, and the conjugate transpose of matrices.\nThe adjoint is used to define self-adjoint, normal, unitary and positive operators, and it makes the bounded operators on a Hilbert space a C*-algebra.\n\n## Explanations\n\n### L1 human\n\nThe adjoint lets one move an operator from one side of an inner product to the other.\nFor a complex matrix, it is the conjugate transpose.\nFor the right shift on square-summable sequences, which moves every entry one place to the right, the adjoint is the left shift, which deletes the first entry.\nOperators equal to their own adjoint play the role of real numbers among operators.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "47A05",
      "47B02"
    ],
    "name": "Hilbert space adjoint",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hermitian_adjoint"
      }
    ],
    "tag": "6HSJBJ8TTQ"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/6HSJBJ8TTQ/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/6HSJBJ8TTQ.md",
  "msc": [
    "47A05",
    "47B02"
  ],
  "name": "Hilbert space adjoint",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/6HS/6HSJBJ8TTQ.md",
  "status": null,
  "tag": "6HSJBJ8TTQ",
  "uri": "m2://6HSJBJ8TTQ",
  "url": "https://math2.tamnd.com/wiki/hilbert-space-adjoint/",
  "writing": {
    "tag": "6HSJBJ8TTQ",
    "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
      }
    ]
  }
}