{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "JTCKJWTFEN"
    }
  ],
  "body": "\n## Summary\n\nThe strong dual space of a topological vector space $E$ is its [[continuous dual|4A82S5FVRT]] $E'$ with a certain topology.\nIt is the topology of uniform convergence on the [[bounded subsets|3BAJ8ZTVPX]] of $E$.\nFor a normed space this is just the norm topology of the dual norm.\nThe strong dual is the default topology on $E'$ in the theory of reflexivity.\nA locally convex space $E$ is reflexive when the canonical map from $E$ to the strong dual of its strong dual is a topological isomorphism.\n\n## Explanations\n\n### L1 human\n\nThere are several ways to say that two continuous linear forms are close.\nThe weakest asks that they agree nearly at each single vector.\nThe strong one asks that they agree nearly, uniformly, on every bounded set of vectors.\nFor a normed space, being close on the unit ball is the same as being close in the dual norm, so the strong dual is the usual normed dual.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "46A20"
    ],
    "name": "Strong dual space",
    "same_as": {
      "wikidata": "Q96406607",
      "wikipedia": "Strong dual space"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Strong_dual_space"
      }
    ],
    "specializes": [
      "4A82S5FVRT"
    ],
    "tag": "RG52DZ1A8Y"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/RG52DZ1A8Y/",
  "links": [
    {
      "field": "specializes",
      "target": "4A82S5FVRT"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/RG52DZ1A8Y.md",
  "msc": [
    "46A20"
  ],
  "name": "Strong dual space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/RG5/RG52DZ1A8Y.md",
  "status": null,
  "tag": "RG52DZ1A8Y",
  "uri": "m2://RG52DZ1A8Y",
  "url": "https://math2.tamnd.com/wiki/strong-dual-space/",
  "writing": {
    "tag": "RG52DZ1A8Y",
    "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
      }
    ]
  }
}