{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "3F94J43P2C"
    },
    {
      "field": "uses",
      "target": "3SKRBF4KG1"
    },
    {
      "field": "uses",
      "target": "6FE7JZ2VF1"
    },
    {
      "field": "uses",
      "target": "A1G25R99PY"
    },
    {
      "field": "uses",
      "target": "A8R7V30ANX"
    },
    {
      "field": "uses",
      "target": "ABS17CB1D2"
    },
    {
      "field": "uses",
      "target": "ADJZ99KY2Q"
    },
    {
      "field": "uses",
      "target": "EM8Q0636YT"
    },
    {
      "field": "uses",
      "target": "ENB0GT59ZC"
    },
    {
      "field": "uses",
      "target": "J9TBJSV9ER"
    },
    {
      "field": "uses",
      "target": "JEBP2FYZFM"
    },
    {
      "field": "uses",
      "target": "JEPDM5B5FC"
    },
    {
      "field": "uses",
      "target": "NHB3ZMN2BN"
    },
    {
      "field": "uses",
      "target": "PBSMWBFFZH"
    },
    {
      "field": "uses",
      "target": "Q5B5YGY7D6"
    },
    {
      "field": "uses",
      "target": "QD23PJR6RP"
    },
    {
      "field": "uses",
      "target": "SB8PFJCJBC"
    },
    {
      "field": "uses",
      "target": "THX29SKKPB"
    },
    {
      "field": "uses",
      "target": "V2H578D4RT"
    },
    {
      "field": "uses",
      "target": "VADXDK3TKM"
    },
    {
      "field": "uses",
      "target": "X9XRGMDCQZ"
    },
    {
      "field": "defines",
      "target": "97J0B6VVDT"
    },
    {
      "field": "about",
      "target": "A1G25R99PY"
    },
    {
      "field": "about",
      "target": "J9TBJSV9ER"
    },
    {
      "field": "about",
      "target": "JEBP2FYZFM"
    },
    {
      "field": "about",
      "target": "JEPDM5B5FC"
    },
    {
      "field": "about",
      "target": "SB8PFJCJBC"
    },
    {
      "field": "about",
      "target": "VADXDK3TKM"
    }
  ],
  "body": "\n## Summary\n\nA compact operator is a linear map between Banach spaces that sends bounded sets to relatively compact sets.\nCompact operators are the operators closest to finite-dimensional linear algebra: their nonzero spectrum consists of eigenvalues of finite multiplicity, which can accumulate only at $0$.\nThey include the [[finite-rank operators|Z8FABSYQTS]] and their norm limits, and integral operators with continuous kernels.\nThey are the setting of the Fredholm alternative and of the spectral theorem for compact self-adjoint operators.\n\n## Explanations\n\n### L1 human\n\nA compact operator squeezes the unit ball, which in infinite dimensions is very large, into a set that is almost finite-dimensional.\nTake the operator on sequences that multiplies the $n$-th entry by $1/n$.\nIt flattens the directions far out in the sequence more and more.\nSo, up to any given accuracy, the image of the unit ball is small in all but finitely many directions.\nThe identity on an infinite-dimensional space is not compact: it leaves the unit ball as large as it was.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "47B07"
    ],
    "name": "Compact operator",
    "same_as": {
      "wikidata": "Q1780743",
      "wikipedia": "Compact operator"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Compact_operator"
      }
    ],
    "specializes": [
      "03TM135G0N"
    ],
    "tag": "M2NEP1K5AE"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/M2NEP1K5AE/",
  "links": [
    {
      "field": "specializes",
      "target": "03TM135G0N"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/M2NEP1K5AE.md",
  "msc": [
    "47B07"
  ],
  "name": "Compact operator",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/M2N/M2NEP1K5AE.md",
  "status": null,
  "tag": "M2NEP1K5AE",
  "uri": "m2://M2NEP1K5AE",
  "url": "https://math2.tamnd.com/wiki/compact-operator/",
  "writing": {
    "tag": "M2NEP1K5AE",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}