{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $X$ be a [[Banach space|06GZ956657]] over $\\R$ or $\\C$, and let $X^*$ be its [[continuous dual space|4A82S5FVRT]].\nFor $r \u003e 0$ let $B_r = \\set{f \\in X^* : \\norm{f} \\le r}$.\nLet $K \\subseteq X^*$ be a [[convex set|02AS45T3H9]].\nIf $K \\cap B_r$ is [[closed|0ZCK8DQYN1]] in the weak* topology of $X^*$ for every $r \u003e 0$, then $K$ is closed in the weak* topology.\n\n## Remarks\n\nThe weak* topology is the [[weak topology|P6KHVSTPZV]] on $X^*$ given by the evaluations $f \\mapsto f(x)$ for $x \\in X$.\nThe proof introduces the bounded weak* topology, the finest topology that agrees with the weak* topology on each ball $B_r$.\nIt shows that this topology is locally convex and that its continuous linear functionals are again the evaluations at points of $X$; this step uses completeness of $X$.\nA convex set closed in the bounded weak* topology is then weak*-closed by the [[Hahn–Banach separation theorem|6GWMGFGFJJ]].\n\nA main corollary, the Banach–Dieudonné theorem, says that a linear subspace $M \\subseteq X^*$ is weak*-closed when $M \\cap B_1$ is weak*-closed.\nConvexity is needed: the theorem is a statement about convex sets, and a nonconvex set can meet each ball in a weak*-closed set without being weak*-closed.\nFor instance, in $\\ell^2$ (identified with its own dual), the set $\\set{\\sqrt{n}\\, e_n : n \\ge 1}$ meets each ball in a finite set but has $0$ in its weak closure.\nThe name Krein–Smulian theorem is also used for a second result: in a Banach space, the closed convex hull of a weakly compact set is weakly compact.\n\n## Explanations\n\n### L1 human\n\nThe weak* topology on a dual space is hard to test directly, because its closed sets are not described by sequences.\nThe theorem says that for convex sets it is enough to look at one ball at a time.\nIf every bounded piece of a convex set is weak*-closed, the whole set is weak*-closed.\n\n### L2 human\n\nThe theorem is used to check weak* closedness of subspaces and convex sets, for example to show that a subspace of a dual space is itself a dual space.\nWhen $X$ is separable, each ball $B_r$ with the weak* topology is metrizable, so the test reduces to weak* convergent sequences in bounded sets.\nIt is a companion of the [[Banach–Alaoglu theorem|1BXEJXQ2YT]], which gives weak* compactness of the balls $B_r$.\n",
  "commit": "efe85cee8dbc57d85bedbacfb97b99d1b7bee843",
  "front": {
    "about": [
      "P6KHVSTPZV",
      "02AS45T3H9"
    ],
    "kind": "statement",
    "msc": [
      "46A20",
      "46B10"
    ],
    "name": "Krein–Smulian theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Krein%E2%80%93Smulian_theorem"
      }
    ],
    "tag": "NYVHMQJP3E",
    "uses": [
      "06GZ956657",
      "4A82S5FVRT",
      "02AS45T3H9",
      "P6KHVSTPZV",
      "0ZCK8DQYN1"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/NYVHMQJP3E/",
  "links": [
    {
      "field": "about",
      "target": "P6KHVSTPZV"
    },
    {
      "field": "about",
      "target": "02AS45T3H9"
    },
    {
      "field": "uses",
      "target": "06GZ956657"
    },
    {
      "field": "uses",
      "target": "4A82S5FVRT"
    },
    {
      "field": "uses",
      "target": "02AS45T3H9"
    },
    {
      "field": "uses",
      "target": "P6KHVSTPZV"
    },
    {
      "field": "uses",
      "target": "0ZCK8DQYN1"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/NYVHMQJP3E.md",
  "msc": [
    "46A20",
    "46B10"
  ],
  "name": "Krein–Smulian theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/NYV/NYVHMQJP3E.md",
  "status": null,
  "tag": "NYVHMQJP3E",
  "uri": "m2://NYVHMQJP3E",
  "url": "https://math2.tamnd.com/wiki/krein-smulian-theorem/",
  "writing": {
    "tag": "NYVHMQJP3E",
    "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
      }
    ]
  }
}