{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $H$ be a complex [[Hilbert space|HM2HHE3J51]] with [[algebra of bounded operators|BMDG4JQPEH]] $B(H)$.\nLet $A$ be a subalgebra of $B(H)$ that is closed under the [[adjoint|6HSJBJ8TTQ]].\nLet $B$ be the closure of $A$ in the [[strong operator topology|KHJ2G2R5G7]].\nFor a set $X \\subseteq B(H)$ write $X_1 = \\set{T \\in X : \\|T\\| \\le 1}$ and $X_{sa}$ for its self-adjoint elements.\nThen:\n\n1. $A_1$ is strongly dense in $B_1$;\n2. $(A_{sa})_1$ is strongly dense in $(B_{sa})_1$;\n3. if $A$ is a C*-algebra that contains $I$, then the [[unitary|MM0EJ2GDE4]] elements of $A$ are strongly dense in the unitary elements of $B$.\n\n## Remarks\n\nOne may replace $A$ by its norm closure, which does not change the strong closure of its unit ball, so $A$ may be taken to be a C*-algebra.\nThe key step uses the function $f(t) = 2t/(1 + t^2)$.\nThe map $T \\mapsto f(T)$ is strongly continuous on self-adjoint operators.\nAlso, $f$ maps $\\R$ into $[-1, 1]$ and restricts to a homeomorphism of $[-1, 1]$ onto itself.\nWrite an element of $(B_{sa})_1$ as $f(S)$ with $S$ self-adjoint in $B$.\nApproximate $S$ strongly by self-adjoint elements $S_i$ of $A$.\nThen the elements $f(S_i)$ of $(A_{sa})_1$ tend strongly to $f(S)$.\nThis gives part 2; part 1 follows by applying part 2 to the self-adjoint $2 \\times 2$ operator matrix with entries $0, T, T^*, 0$.\n\nWithout the theorem, an element of $B_1$ is a strong limit of a net in $A$, but the norms along the net might be unbounded.\nSuch nets are hard to use, since multiplication is jointly strongly continuous only on bounded sets.\nKaplansky's theorem says that elements of $B$ of norm at most $1$ are strong limits of elements of $A$ of norm at most $1$.\nWhen $H$ is separable, the strong topology on bounded sets is metrizable, so one can then even use sequences.\n\n## Explanations\n\n### L1 human\n\nWhen an algebra of operators is completed by taking strong limits, new elements appear.\nThis theorem says that each new element of size at most one can be reached by elements of the original algebra that also have size at most one.\nSo no \"blow-up\" is needed to approximate.\n\n### L2 human\n\nThe theorem is used together with the [[bicommutant theorem|BSA6GFT8SQ]].\nIf $A$ is a unital C*-algebra on $H$, then the unit ball of $A$ is strongly dense in the unit ball of the von Neumann algebra $A''$.\nThis is how properties such as approximate finite dimensionality pass from a C*-algebra to the von Neumann algebra it generates.\nIt also shows that the unit ball of $A''$ is the closure of the unit ball of $A$ in the weak operator topology, which is compact.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "PSFWQVZ0FS"
    ],
    "kind": "statement",
    "msc": [
      "46L10",
      "46L05"
    ],
    "name": "Kaplansky density theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q1209546",
      "wikipedia": "Kaplansky density theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Kaplansky_density_theorem"
      }
    ],
    "tag": "TDTMMY7RK1",
    "uses": [
      "HM2HHE3J51",
      "BMDG4JQPEH",
      "6HSJBJ8TTQ",
      "KHJ2G2R5G7",
      "MM0EJ2GDE4"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/TDTMMY7RK1/",
  "links": [
    {
      "field": "about",
      "target": "PSFWQVZ0FS"
    },
    {
      "field": "uses",
      "target": "HM2HHE3J51"
    },
    {
      "field": "uses",
      "target": "BMDG4JQPEH"
    },
    {
      "field": "uses",
      "target": "6HSJBJ8TTQ"
    },
    {
      "field": "uses",
      "target": "KHJ2G2R5G7"
    },
    {
      "field": "uses",
      "target": "MM0EJ2GDE4"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/TDTMMY7RK1.md",
  "msc": [
    "46L10",
    "46L05"
  ],
  "name": "Kaplansky density theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/TDT/TDTMMY7RK1.md",
  "status": null,
  "tag": "TDTMMY7RK1",
  "uri": "m2://TDTMMY7RK1",
  "url": "https://math2.tamnd.com/wiki/kaplansky-density-theorem/",
  "writing": {
    "tag": "TDTMMY7RK1",
    "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
      }
    ]
  }
}