{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $X$, $S$ and $Y$ be [[smooth manifolds|F45VQ47GPV]] without boundary, and let $Z \\subseteq Y$ be an embedded [[submanifold|VKFW27WXEZ]].\nLet $F \\colon X \\times S \\to Y$ be a smooth map that is [[transverse|A2PDZ8GA9C]] to $Z$.\nFor $s \\in S$, let $f_s \\colon X \\to Y$ be the map $f_s(x) = F(x, s)$.\nThen $f_s$ is transverse to $Z$ for all $s$ outside a [[set of measure zero|VQQM4Y550T]] in $S$.\n\n## Remarks\n\nSince $F$ is transverse to $Z$, the preimage $W = F^{-1}(Z)$ is a submanifold of $X \\times S$.\nLet $\\pi \\colon W \\to S$ be the restriction of the projection.\nA short linear algebra argument shows that $f_s$ is transverse to $Z$ exactly when $s$ is a regular value of $\\pi$.\nBy [[Sard's theorem|Z7R8J71SJN]], the critical values of $\\pi$ form a set of measure zero, which gives the theorem.\n\nExample: let $X$ be a submanifold of $Y = \\R^n$, let $S = \\R^n$ and let $F(x, s) = x + s$.\nFor each $x$, the map $s \\mapsto x + s$ is a submersion, so $F$ is transverse to every submanifold $Z$.\nThe theorem says that for almost every translation vector $s$, the translate $X + s$ meets $Z$ transversally.\n\nThe transversality of $F$ is needed: if $F(x, s) = f(x)$ does not depend on $s$ and $f$ is not transverse to $Z$, then no $f_s$ is transverse to $Z$.\n\n## Explanations\n\n### L1 human\n\nTwo curves in the plane may touch tangentially, but a tiny shift separates them or makes them cross cleanly.\nThe theorem makes this precise: if a family of maps moves in enough directions, then almost every member of the family meets a given submanifold cleanly, that is, transversally.\n\n### L2 human\n\nThe theorem is the main step in proving that transversality is generic.\nIn the Thom transversality theorem one builds, locally, a family of perturbations of a given map by adding polynomials, checks that the family is transverse, and applies the parametric theorem.\nIt also gives the transversality homotopy theorem: every smooth map into a manifold can be perturbed by an arbitrarily small homotopy to a map transverse to a given submanifold.\nIn infinite dimension the same argument works with the Sard–Smale theorem in place of Sard's theorem.\nThis is how moduli spaces in gauge theory and symplectic topology are made smooth for generic data.\n\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "A2PDZ8GA9C"
    ],
    "kind": "statement",
    "msc": [
      "57R35",
      "58A05",
      "57R45"
    ],
    "name": "Parametric transversality theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Transversality_theorem"
      }
    ],
    "tag": "PJ4DQ435XK",
    "uses": [
      "F45VQ47GPV",
      "VKFW27WXEZ",
      "A2PDZ8GA9C",
      "VQQM4Y550T",
      "Z7R8J71SJN"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/PJ4DQ435XK/",
  "links": [
    {
      "field": "about",
      "target": "A2PDZ8GA9C"
    },
    {
      "field": "uses",
      "target": "F45VQ47GPV"
    },
    {
      "field": "uses",
      "target": "VKFW27WXEZ"
    },
    {
      "field": "uses",
      "target": "A2PDZ8GA9C"
    },
    {
      "field": "uses",
      "target": "VQQM4Y550T"
    },
    {
      "field": "uses",
      "target": "Z7R8J71SJN"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/PJ4DQ435XK.md",
  "msc": [
    "57R35",
    "58A05",
    "57R45"
  ],
  "name": "Parametric transversality theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PJ4/PJ4DQ435XK.md",
  "status": null,
  "tag": "PJ4DQ435XK",
  "uri": "m2://PJ4DQ435XK",
  "url": "https://tamnd.github.io/math2/wiki/parametric-transversality-theorem/",
  "writing": {
    "tag": "PJ4DQ435XK",
    "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
      }
    ]
  }
}