{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $H$ be an infinite-dimensional [[separable|0Z2P41SVDP]] real [[Hilbert space|HM2HHE3J51]].\nLet $M$ be a smooth [[Hilbert manifold|R8DMMW0E9M]] modelled on $H$ whose underlying topological space is metrizable and separable.\nThen $M$ is [[diffeomorphic|0KZZ70ZHXP]] to an [[open subset|02BH3MCBQB]] of $H$.\n\n## Remarks\n\nThe theorem is due to Eells and Elworthy.\nThe idea is to embed $M$ as a closed submanifold of $H$ and to take an open tubular neighbourhood $U$ of it.\nThen $U$ is a bundle over $M$ with Hilbert space fibres, which turns out to be trivial, so $U$ is diffeomorphic to $M \\times H$.\nFinally, in this separable infinite-dimensional setting $M \\times H$ is diffeomorphic to $M$.\nExample: the unit sphere $S$ of $H$ is a Hilbert manifold of this kind, and it is in fact diffeomorphic to $H$ itself, which is the open subset $H \\subseteq H$.\nThe infinite dimension is needed: the sphere $S^n$ is a compact $n$-manifold, and a non-empty open subset of $\\R^n$ is never compact.\nSo $S^n$ is not diffeomorphic to an open subset of $\\R^n$.\n\n\n## Explanations\n\n### L1 human\n\nIn finite dimension, a sphere cannot be flattened into a piece of the plane; it is closed up on itself.\nIn a separable infinite-dimensional Hilbert space there is so much room that every manifold of the same kind fits inside the space as an open region.\nSo every separable Hilbert manifold is, up to diffeomorphism, just an open subset of the space it is modelled on.\n\n### L2 human\n\nThe theorem reduces questions about separable Hilbert manifolds to questions about open subsets of $H$.\nIt is a key step in the classification of such manifolds: two of them are diffeomorphic as soon as they are homotopy equivalent.\nThis is very different from finite dimension, where homotopy equivalent manifolds are often not diffeomorphic.\nIt is one reason why infinite-dimensional manifolds of maps, such as path spaces, are studied mainly through their homotopy type.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "R8DMMW0E9M"
    ],
    "kind": "statement",
    "msc": [
      "58B05",
      "57N20",
      "46T05"
    ],
    "name": "Open embedding theorem for Hilbert manifolds",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hilbert_manifold"
      }
    ],
    "tag": "JWCDDMJE3K",
    "uses": [
      "R8DMMW0E9M",
      "HM2HHE3J51",
      "0Z2P41SVDP",
      "0KZZ70ZHXP",
      "02BH3MCBQB"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/JWCDDMJE3K/",
  "links": [
    {
      "field": "about",
      "target": "R8DMMW0E9M"
    },
    {
      "field": "uses",
      "target": "R8DMMW0E9M"
    },
    {
      "field": "uses",
      "target": "HM2HHE3J51"
    },
    {
      "field": "uses",
      "target": "0Z2P41SVDP"
    },
    {
      "field": "uses",
      "target": "0KZZ70ZHXP"
    },
    {
      "field": "uses",
      "target": "02BH3MCBQB"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/JWCDDMJE3K.md",
  "msc": [
    "58B05",
    "57N20",
    "46T05"
  ],
  "name": "Open embedding theorem for Hilbert manifolds",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/JWC/JWCDDMJE3K.md",
  "status": null,
  "tag": "JWCDDMJE3K",
  "uri": "m2://JWCDDMJE3K",
  "url": "https://tamnd.github.io/math2/wiki/open-embedding-theorem-for-hilbert-manifolds/",
  "writing": {
    "tag": "JWCDDMJE3K",
    "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
      }
    ]
  }
}