|
|
|
|
Polytope
|
| |
|
| |
In geometry, polytope is a generic term that can refer to a two-dimensional polygon, a three-dimensional polyhedron, or any of the various generalizations thereof, including generalizations to higher dimensions (such as a polychoron in four dimensions) and other abstractions (such as unbounded polytopes, apeirotopes, tessellations, and abstract polytopes).
When referring to an n-dimensional generalization, the term n-polytope is used.
Discussion
Ask a question about 'Polytope' Start a new discussion about 'Polytope' Answer questions from other users |
Encyclopedia
In geometry, polytope is a generic term that can refer to a two-dimensional polygon, a three-dimensional polyhedron, or any of the various generalizations thereof, including generalizations to higher dimensions (such as a polychoron in four dimensions) and other abstractions (such as unbounded polytopes, apeirotopes, tessellations, and abstract polytopes).
When referring to an n-dimensional generalization, the term n-polytope is used. For example, a polygon is a 2-polytope, a polyhedron is a 3-polytope, and a polychoron is a 4-polytope.
The term was coined by the mathematician Hoppe, writing in German, and was later and introduced to English by Alicia Boole Stott, the daughter of logician George Boole.
History
The concept of a polytope originally began with polygons and polyhedra, both of which have been known since ancient times:
It was not until the 19th century that higher dimensions were discovered and geometers learned to construct analogues of polygons and polyhedra in them. The first hint of higher dimensions seems to have come in 1927, with Möbius' discovery that two mirror-image soilds can be superimposed by rotating one of them through a fourth dimension. By the 1850's, a handful of other mathematicians such as Cayley and Grassman had considered higher dimensions. Ludwig Schläfli was the first of these to consider analogues of polygons and polyhedra in such higher spaces. In 1852 he described the six convex regular 4-polytopes, but his work was not published until 1901, six years after his death. By 1854, Bernhard Riemann's Habilitationsschrift had firmly established the geometry of higher dimensions, and thus the concept of n-dimensional polytopes was made acceptable. Scahläfli's polytopes were rediscovered many times in the following decades.
In 1882 Hoppe, writing in German, coined the word polytope to refer to this more general concept of polygons and polyhedra. In due course, Alicia Boole Stott introduced "polytope" into the English language.
In 1895, Thorold Gosset not only rediscovered Scahläfli's regular polytopes, but also investigated the ideas of semiregular polytopes and space-filling tesselations in higher dimensions. Polytopes were also studied in non-Euclidean spaces such as hyperbolic space.
During the early part of the 20th century, higher-dimensional spaces became fashionable, and together with the idea of higher polytopes, inspired artists such as Picasso to create the movement known as cubism.
An important milestone was reached in 1948 with H. S. M. Coxeter's book Regular Polytopes, summarising work to date and adding findings of his own. Branko Grünbaum published his influential work on Convex Polytopes in 1967.
More recently, the concept of a polytope has been further generalized. In 1952 Shephard developed the idea of complex polytopes in complex space, where each real dimension has an imaginary one associated with it. Coxeter went on to publish his book, Regular Complex Polytopes, in 1974. Complex polytopes do not have closed surfaces in the usual way, and are better understood as incidence complexes. This idea, and others concerning the abstract combinatorial properties relating vertices, edges, faces and so on, led to the theory of abstract polytopes as partially-ordered sets, or posets, of such elements. McMullen and Schulte published their book Abstract Regular Polytopes in 2002.
Enumerating the less regular polytopes in four or more dimensions remains an outstanding problem. The Uniform Polychora Project was founded by Norman Johnson, John Horton Conway, and others in an attempt to eventually classify all uniform polytopes (generalizations of the Archimedean solids) in n dimensions, both convex and non-convex.
In modern times, polytopes and related concepts have found many important applications in fields as diverse as computer graphics, optimization, search engines, cosmology and numerous other fields.
Properties
A polytope may be convex. The convex polytopes are the simplest kind of polytopes, and form the basis for different generalizations of the concept of polytopes.
A polytope may be regular. The regular polytopes are a class of highly-symmetrical and aesthetically-pleasing polytopes, including the Platonic solids, which have been studied extensively since ancient times.
A non-convex polytope may be self-intersecting; this class of polytopes include the star polytopes.
Elements
An n-dimensional polytope is bounded by a number of (n−1)-dimensional facets. These facets are themselves polytopes, whose facets are (n−2)-dimensional ridges of the original polytope. Every ridge arises as the intersection of two facets (but the intersection of two facets need not be a ridge). Ridges are once again polytopes whose facets give rise to (n−3)-dimensional boundaries of the original polytope, and so on. These bounding sub-polytopes may be referred to as faces, or specifically k-dimensional faces or k-faces. A 0-dimensional face is called a vertex, and consists of a single point. A 1-dimensional face is called an edge, and consists of a line segment. A 2-dimensional face consists of a polygon, and a 3-dimensional face, sometimes called a cell, consists of a polyhedron.
Dimension
of element | Element name
(in a d-polytope) |
|---|
| 0 | Vertex | | 1 | Edge | | 2 | Face | | 3 | Cell | | | | | n | n-face - elements order n = 2, 3, ..., d - 1 | | | | | d - 3 | Peak - (d-3)-face | | d - 2 | Ridge or subfacet - (d-2)-face | | d - 1 | Facet - (d-1)-face | | d | Body - d-face |
Note that this terminology is not fully standardized. Existing literature uses terms that are not entirely consistent across different authors. To give just a few examples: Some authors use face to refer to a facet while others use face to denote a 2-face specifically, some sources use edge to refer to a ridge, while H. S. M. Coxeter uses cell to denote facet.
Different approaches to defining polytopes
The term polytope is a broad term that covers a wide class of objects, and different definitions are attested in mathematical literature. Many of these definitions are not equivalent, resulting in different sets of objects being called polytopes. They represent different approaches of generalizing the convex polytopes to include other objects with similar properties and aesthetic beauty.
For example, one approach begins with the 0-dimensional vertex as a 0-polytope (vertices). A 1-dimensional 1-polytope (edge) is constructed by two 0-polytopes. Then 2-polytopes (polygons) are defined as objects whose facets (edges) are 1-polytopes, and 3-polytopes (polyhedra) are defined as objects whose facets (faces) are 2-polytopes, and so forth.
A polytope may also be regarded as a tessellation of some given manifold. Under this definition, plane tilings and space tilings are considered to be polytopes, and convex polytopes are regarded to be tilings of elliptic space. Tilings of hyperbolic space are also included under this definition.
An alternative approach defines a polytope as a set of points that admits a simplicial decomposition. In this definition, a polytope is the union of finitely many simplices, with the additional property that, for any two simplices that have a nonempty intersection, their intersection is a vertex, edge, or higher dimensional face of the two. However this definition does not allow star polytopes with interior structures, and so is restricted to certain areas of mathematics.
The theory of abstract polytopes attempts to detach polytopes from the space containing them, considering their purely combinatorial properties. This allows the definition of the term to be extended to include objects for which it is difficult to define clearly a natural underlying space.
Self-dual polytopes
In 2 dimensions, all regular polygons (regular 2-polytopes) are self-dual.
In 3 dimensions, the tetrahedron is self-dual, as well as canonical polygonal pyramids and elongated pyramids.
In higher dimensions, every regular n-simplex, with Schlafli symbol , is self-dual.
In addition, the 24-cell in 4 dimensions, with Schlafli symbol , is self-dual.
Uses
In the study of optimization, linear programming studies the maxima and minima of linear functions constricted to the boundary of an -dimensional polytope.
See also
External links
- - application of polytopes to a database of articles used to support custom news feeds via the Internet - (Business Week Online)
-
|
| |
|
|
