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:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)