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 formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.
    Simon Hoggart (b. 1946)

    ... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.
    Adrienne Rich (b. 1929)