{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Example\n\nLet $P \\subset \\R^d$ be a convex polytope, that is, the [[convex hull|0FQSDC2EQ2]] of finitely many points.\nA face of $P$ is $P$ itself, the empty set, or a set $P \\cap H$ for a supporting hyperplane $H$.\nHere $H$ is supporting when $P$ lies in one closed half-space bounded by $H$.\nThe *face lattice* of $P$ is the set of all faces of $P$, ordered by inclusion.\nIt is a [[lattice|WH4SFAACAS]]: the meet of two faces is their intersection, and the join is the smallest face that contains both.\nIt is [[graded|1C7TKGTB2F]] by $\\operatorname{rank}(F) = \\dim F + 1$, with the empty face of rank $0$ and $P$ of rank $\\dim P + 1$.\nIt is an [[Eulerian poset|N1Q0BJAEFX]].\n\nCheck for a square $Q$.\nThe faces are the empty face, $4$ vertices, $4$ edges and $Q$ itself, so the lattice has $10$ elements.\nTwo vertices have the empty face as meet; two adjacent vertices have their common edge as join, and two opposite vertices have $Q$ as join.\nIn the interval from the empty face to $Q$, the elements of even rank are the empty face and the $4$ edges.\nThe elements of odd rank are the $4$ vertices and $Q$.\nThere are five of each, as the Eulerian condition asks.\n\n## Remarks\n\nThe face lattice records the [[combinatorial type|879SBTVE7V]] of the polytope: two polytopes are combinatorially equivalent exactly when their face lattices are isomorphic.\nThe face lattice of a $d$-simplex is the lattice of all subsets of its $d + 1$ vertices.\nAbstract polytopes are defined by taking some properties of face lattices as axioms.\n\n## Explanations\n\n### L1 human\n\nList all the pieces of a polytope: its vertices, edges, two-dimensional faces and so on, together with the empty set and the whole polytope.\nOrder them by \"is contained in\".\nFor a square you get the empty set at the bottom, four corners, four sides, and the square at the top.\nThis diagram forgets the exact shape and keeps only how the pieces fit together.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "WH4SFAACAS",
      "N1Q0BJAEFX"
    ],
    "kind": "example",
    "msc": [
      "52B05",
      "06B05"
    ],
    "name": "Face lattice",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Abstract_polytope"
      }
    ],
    "tag": "XDZQYX6AQ3",
    "uses": [
      "879SBTVE7V",
      "0FQSDC2EQ2",
      "1C7TKGTB2F"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/XDZQYX6AQ3/",
  "links": [
    {
      "field": "instance_of",
      "target": "WH4SFAACAS"
    },
    {
      "field": "instance_of",
      "target": "N1Q0BJAEFX"
    },
    {
      "field": "uses",
      "target": "879SBTVE7V"
    },
    {
      "field": "uses",
      "target": "0FQSDC2EQ2"
    },
    {
      "field": "uses",
      "target": "1C7TKGTB2F"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/XDZQYX6AQ3.md",
  "msc": [
    "52B05",
    "06B05"
  ],
  "name": "Face lattice",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/XDZ/XDZQYX6AQ3.md",
  "status": null,
  "tag": "XDZQYX6AQ3",
  "uri": "m2://XDZQYX6AQ3",
  "url": "https://tamnd.github.io/math2/wiki/face-lattice/",
  "writing": {
    "tag": "XDZQYX6AQ3",
    "kind": "example",
    "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
      }
    ]
  }
}