Face (geometry) - Formal Definition

Formal Definition

In convex geometry, a face of a polytope P is the intersection of any supporting hyperplane of P and P. From this definition it follows that the set of faces of a polytope includes the polytope itself and the empty set. For example, a polyhedron R3 is entirely on one hyperplane of R4. If R4 were spacetime, the hyperplane at t = 0 supports and contains the entire polyhedron. Thus, by the formal definition, the polyhedron is a face of itself.

All of the following are the n-faces of a 4-dimensional polytope:

  • 4-face – the 4-dimensional 4-polytope itself
  • 3-face – any 3-dimensional cell
  • 2-face – any 2-dimensional polygonal face (using the common definition of face)
  • 1-face – any 1-dimensional edge
  • 0-face – any 0-dimensional vertex
  • the empty set.

Read more about this topic:  Face (geometry)

Famous quotes containing the words formal and/or definition:

    The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.
    Edgar Lee Masters (1869–1950)

    It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.”
    Jane Adams (20th century)