{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nA **connector** of a simplex is a connected set that touches all *n* faces of the simplex.\n\nA **connector-free covering** is a covering $C_1,\\ldots,C_n$ in which no $C_i$ contains a connector.\n\nAny KKM covering is a connector-free covering, since in a KKM covering, no $C_i$ even touches all *n* faces. However, there are connector-free coverings that are not KKM coverings. An example is illustrated at the right. There, the red set touches all three faces, but it does not contain any connector, since no connected component of it touches all three faces.\n\nA theorem of Ravindra Bapat, generalizing Sperner's lemma, implies the KKM lemma extends to connector-free coverings (he proved his theorem for $n=3$).\n\nThe connector-free variant also has a permutation variant, so that both these generalizations can be used simultaneously.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "KZ2A0234D6"
    ],
    "kind": "statement",
    "name": "Connector-free lemma (Bapat)",
    "role": "lemma",
    "sources": [
      {
        "locator": "Knaster–Kuratowski–Mazurkiewicz lemma, section Generalizations \u003e Connector-free lemma (Bapat)",
        "mention": "wikipedia://en/3963004#2R9L",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:3963004@r1362920252"
      }
    ],
    "tag": "GJSVJ2HT2Q"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/GJSVJ2HT2Q/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/GJSVJ2HT2Q.md",
  "msc": null,
  "name": "Connector-free lemma (Bapat)",
  "prov": null,
  "role": "lemma",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/GJS/GJSVJ2HT2Q.md",
  "status": null,
  "tag": "GJSVJ2HT2Q",
  "uri": "m2://GJSVJ2HT2Q",
  "url": "https://math2.tamnd.com/wiki/connector-free-lemma-bapat/",
  "writing": {
    "tag": "GJSVJ2HT2Q",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}