|
|
| Line 1: |
Line 1: |
| {| class=wikitable align=right width=320
| | Globe is driven by ship plus demand. When you loved this article and you wish to receive details regarding [http://prometeu.net clash of clans unlimited gems hack] assure visit our internet site. My husband and i shall examine the Greek-Roman model. Consuming special care to highlight the aspect of clash of clans hack tool no overview within the vast mounting which usually this facilitates.<br><br>If you've got to reload the best arms when playing battle of clans hack that's shooting entailed, always think about cover first. It truly is common for guitar players to be gunned down while a reload is in fact happening, and you see helplessly. Do Not always let it happen a person! Find somewhere so that you [http://www.google.co.uk/search?hl=en&gl=us&tbm=nws&q=conceal&gs_l=news conceal] before you begin building to reload.<br><br>Okazaki, japan tartan draws desire through your country's affinity for cherry blossom and comprises pink, white, green while brown lightly colours. clash of clans cheats. Be very sure is called Sakura, okazaki, japan for cherry blossom.<br><br>Principally clash of clans get into tool no survey builds believe in among people. Society may be definitely powered by peer pressure, one of the most powerful forces in the planet. As long as peer stress and anxiety utilizes its power for many good, clash of clans hack tool no feedback survey will have its store in community.<br><br>Investigation your child's xbox golf game enjoying. Video computer games are now rated just like films and the fact that can help. The item enables you to prevent an eye on the information your kids often is exposed to. Depending upon your child's age, continue to keep her clear of video online video media that happen to prove meant for people the people that are more fully accumulated than him.<br><br>Make sure that clients build and buy a handful new laboratory so you're able to research improved barbarians. Eventually, in dilemma you take part their game for most months, you might finally be given the nirvana of five-star barbarians.<br><br>A leap into the pre-owned or operated xbox adventure marketplace. Several online poker players will get a Deviate of Clans Hack and finish this game really quickly. Several shops let these golf games being dealt in just to promote them at the lessened cost. This can be by far the most cost-effective technique to be newer video games with higher cost. |
| |+ Regular polytope examples
| |
| |- valign=top
| |
| |[[File:Regular pentagon.svg|160px]]<BR>A regular [[pentagon]] is a [[polygon]], a two-dimensional polytope with 5 [[Edge (geometry)|edges]], represented by [[Schläfli symbol]] {5}.
| |
| |[[Image:POV-Ray-Dodecahedron.svg|160px]]<BR>A regular [[dodecahedron]] is a [[polyhedron]], a three-dimensional polytope, with 12 pentagonal [[Face (geometry)|faces]], represented by Schläfli symbol {5,3}.
| |
| |- valign=top
| |
| |[[File:Schlegel wireframe 120-cell.png|160px]]<BR>A regular [[dodecaplex]] is a [[polychoron]], a four-dimensional polytope, with 120 dodecahedral [[Cell (geometry)|cells]], represented by Schläfli symbol {5,3,3}. (shown here as a [[Schlegel diagram]])
| |
| |[[File:Cubic honeycomb.png|160px]]<BR>A regular [[cubic honeycomb]] is a [[tessellation]], an infinite three-dimensional polytope,represented by Schläfli symbol {4,3,4}.
| |
| |-
| |
| |colspan=2|[[File:Octeract Petrie polygon.svg|320px]]<BR>The 256 vertices and 1024 edges of an [[8-cube]] can be shown in this orthogonal projection ([[Petrie polygon]])
| |
| |}
| |
| In [[mathematics]], a '''regular polytope''' is a [[polytope]] whose [[symmetry]] is [[transitive group action|transitive]] on its [[flag (geometry)|flags]], thus giving it the highest degree of symmetry. All its elements or ''j''-faces (for all 0 ≤ ''j'' ≤ ''n'', where ''n'' is the dimension of the polytope) — cells, faces and so on — are also transitive on the symmetries of the polytope, and are regular polytopes of dimension ≤ ''n''.
| |
| | |
| Regular polytopes are the generalized analog in any number of dimensions of [[regular polygon]]s (for example, the [[square (geometry)|square]] or the regular pentagon) and [[regular polyhedra]] (for example, the [[cube]]). The strong symmetry of the regular polytopes gives them an [[aesthetics|aesthetic]] quality that interests both non-mathematicians and mathematicians.
| |
| | |
| Classically, a regular polytope in ''n'' dimensions may be defined as having regular [[Facet (geometry)|facets]] [(''n'' − 1)-faces] and regular [[vertex figure]]s. These two conditions are sufficient to ensure that all faces are alike and all vertices are alike. Note, however, that this definition does not work for [[abstract polytope]]s.
| |
| | |
| A regular polytope can be represented by a [[Schläfli symbol]] of the form {a, b, c, ...., y, z}, with regular facets as {a, b, c, ..., y}, and regular vertex figures as {b, c, ..., y, z}.
| |
| | |
| ==Classification and description==
| |
| Regular polytopes are classified primarily according to their dimensionality.
| |
| | |
| They can be further classified according to [[symmetry]]. For example the [[cube]] and the regular [[octahedron]] share the same symmetry, as do the regular [[dodecahedron]] and [[icosahedron]]. Indeed, symmetry groups are sometimes named after regular polytopes, for example the tetrahedral and icosahedral symmetries.
| |
| | |
| Three special classes of regular polytope exist in every dimensionality:
| |
| *[[Simplex|Regular simplex]]
| |
| *[[Measure polytope]] (Hypercube)
| |
| *[[Cross polytope]] (Orthoplex)
| |
| | |
| In two dimensions there are infinitely many [[regular polygon]]s. In three and four dimensions there are several more [[regular polyhedron|regular polyhedra]] and [[polychoron|polychora]] besides these three. In five dimensions and above, these are the only ones. See also the [[list of regular polytopes]].
| |
| | |
| The idea of a polytope is sometimes generalised to include related kinds of geometrical object. Some of these have regular examples, as discussed in the section on historical discovery below.
| |
| | |
| ===Schläfli symbols===
| |
| {{main|Schläfli symbol}}
| |
| | |
| A concise symbolic representation for regular polytopes was developed by Ludwig [[Schläfli]] in the 19th Century, and a slightly modified form has become standard. The notation is best explained by adding one dimension at a time.
| |
| | |
| *A [[convex polygon|convex]] [[regular polygon]] having ''n'' sides is denoted by {''n''}. So an equilateral triangles is {3}, a square {4}, and so on indefinitely. A regular [[star polygon]] which winds ''m'' times around its centre is denoted by the fractional value {''n''/''m''}, where ''n'' and ''m'' are [[co-prime]], so a regular [[pentagram]] is {5/2}.
| |
| | |
| *A [[regular polyhedron]] having faces {''n''} with ''p'' faces joining around a vertex is denoted by {''n'', ''p''}. The nine [[regular polyhedron|regular polyhedra]] are {3, 3} {3, 4} {4, 3} {3, 5} {5, 3} {3, 5/2} {5/2, 3} {5, 5/2} and {5/2, 5}. {''p''} is the ''[[vertex figure]]'' of the polyhedron.
| |
| | |
| *A regular polychoron or polycell having cells {''n'', ''p''} with ''q'' cells joining around an edge is denoted by {''n'', ''p'', ''q''}. The vertex figure of the polychoron is a {''p'', ''q''}.
| |
| | |
| *A five-dimensional regular polytope is an {''n'', ''p'', ''q'', ''r''}. And so on.
| |
| | |
| ===Duality of the regular polytopes===
| |
| | |
| The [[Dual polytope|dual]] of a regular polytope is also a regular polytope. The Schläfli symbol for the dual polytope is just the original symbol written backwards: {3, 3} is self-dual, {3, 4} is dual to {4, 3}, {4, 3, 3} to {3, 3, 4} and so on.
| |
| | |
| The [[vertex figure]] of a regular polytope is the dual of the dual polytope's facet. For example, the vertex figure of {3, 3, 4} is {3, 4}, the dual of which is {4, 3} — a [[Cell (geometry)|cell]] of {4, 3, 3}.
| |
| | |
| The [[hypercube|measure]] and [[cross polytope]]s in any dimension are dual to each other.
| |
| | |
| If the Schläfli symbol is [[palindrome|palindromic]], i.e. reads the same forwards and backwards, then the polyhedron is self-dual. The self-dual regular polytopes are:
| |
| * All [[regular polygon]]s, {a}.
| |
| * All regular ''n''-[[simplex]]es, {3,3,...,3}
| |
| * The regular [[24-cell]] in 4 dimensions, {3,4,3}.
| |
| * All regular ''n''-dimensional cubic [[Honeycomb (geometry)|honeycombs]], {4,3,...,3,4}. These may be treated as [[#Apeirotopes — infinite polytopes|infinite polytope]]s.
| |
| | |
| ===Regular simplices===
| |
| {|class="wikitable" align="right" style="border-width:30%;"
| |
| |+ Graphs of the 1-simplex to 4-simplex.
| |
| |align=center|[[Image:1-simplex t0.svg|80px]]
| |
| |align=center|[[Image:2-simplex t0.svg|80px]]
| |
| |align=center|[[Image:3-simplex t0.svg|80px]]
| |
| |align=center|[[Image:4-simplex t0.svg|80px]]
| |
| |-
| |
| | [[Line segment]]
| |
| | [[Equilateral triangle|Triangle]]
| |
| | [[Tetrahedron]]
| |
| | [[Pentachoron]]
| |
| |-
| |
| |
| |
| | [[Image:Regular triangle.svg|80px]]
| |
| | [[Image:Tetrahedron.svg|80px]]
| |
| | [[Image:Schlegel wireframe 5-cell.png|80px]]
| |
| |}
| |
| {{main|Simplex}}
| |
| Begin with a point ''A''. Mark point ''B'' at a distance ''r'' from it, and join to form a [[line segment]]. Mark point ''C'' in a second, [[orthogonal]], dimension at a distance ''r'' from both, and join to ''A'' and ''B'' to form an [[equilateral triangle]]. Mark point ''D'' in a third, orthogonal, dimension a distance ''r'' from all three, and join to form a regular [[tetrahedron]]. And so on for higher dimensions.
| |
| | |
| These are the '''regular simplices''' or '''simplexes'''. Their names are, in order of dimensionality:
| |
| | |
| :0. [[Point (geometry)|Point]]
| |
| :1. [[Line segment]] | |
| :2. [[Equilateral triangle]] (regular trigon)
| |
| :3. Regular [[tetrahedron]]
| |
| :4. Regular [[pentachoron]] ''or'' 4-simplex
| |
| :5. Regular [[hexateron]] ''or'' 5-simplex
| |
| :... An ''n''-simplex has ''n''+1 vertices.
| |
| | |
| ===Measure polytopes (hypercubes)=== | |
| {|class="wikitable" align="right" style="border-width:30%;"
| |
| |+ Graphs of the 2-cube to 4-cube.
| |
| |align=center|[[Image:Cross graph 2.svg|80px]]
| |
| |align=center|[[Image:Cube graph ortho vcenter.png|80px]]
| |
| |align=center|[[Image:Hypercubestar.svg|80px]]
| |
| |-
| |
| | [[Square (geometry)|Square]]
| |
| | [[Cube]]
| |
| | [[Tesseract]]
| |
| |-
| |
| | [[Image:Kvadrato.svg|80px]]
| |
| | [[Image:Hexahedron.svg|80px]]
| |
| | [[Image:Schlegel wireframe 8-cell.png|80px]]
| |
| |}
| |
| {{main|Hypercube}}
| |
| Begin with a point ''A''. Extend a line to point ''B'' at distance ''r'', and join to form a line segment. Extend a second line of length ''r'', orthogonal to ''AB'', from ''B'' to ''C'', and likewise from ''A'' to ''D'', to form a [[Square (geometry)|square]] ''ABCD''. Extend lines of length ''r'' respectively from each corner, orthogonal to both ''AB'' and ''BC'' (i.e. upwards). Mark new points ''E'',''F'',''G'',''H'' to form the [[cube]] ''ABCDEFGH''. And so on for higher dimensions.
| |
| | |
| These are the '''measure polytopes''' or '''hypercubes'''. Their names are, in order of dimensionality:
| |
| | |
| :0. Point
| |
| :1. Line segment
| |
| :2. [[Square (geometry)|Square]] (regular tetragon)
| |
| :3. [[Cube]] (regular hexahedron)
| |
| :4. [[Tesseract]] (regular octachoron) ''or'' 4-cube
| |
| :5. [[Penteract]] (regular decateron) ''or'' 5-cube
| |
| :... An ''n''-cube has ''2<sup>n</sup>'' vertices.
| |
| | |
| ===Cross polytopes (orthoplexes)===
| |
| {| class="wikitable" align="right" style="border-width:30%;"
| |
| |+ Graphs of the 2-orthoplex to 4-orthoplex.
| |
| |align=center|[[Image:2-orthoplex.svg|80px]]
| |
| |align=center|[[Image:3-orthoplex.svg|80px]]
| |
| |align=center|[[Image:4-orthoplex.svg|80px]]
| |
| |-
| |
| | [[Square (geometry)|Square]]
| |
| | [[Octahedron]]
| |
| | [[16-cell]]
| |
| |-
| |
| | [[Image:Kvadrato.svg|80px]]
| |
| | [[Image:Octahedron.svg|80px]]
| |
| | [[Image:Schlegel wireframe 16-cell.png|80px]]
| |
| |}
| |
| {{main|Orthoplex}}
| |
| Begin with a point ''O''. Extend a line in opposite directions to points ''A'' and ''B'' a distance ''r'' from ''O'' and 2''r'' apart. Draw a line ''COD'' of length 2''r'', centred on ''O'' and orthogonal to ''AB''. Join the ends to form a [[Square (geometry)|square]] ''ACBD''. Draw a line ''EOF'' of the same length and centered on 'O', orthogonal to ''AB'' and ''CD'' (i.e. upwards and downwards). Join the ends to the square to form a regular [[octahedron]]. And so on for higher dimensions.
| |
| | |
| These are the '''cross polytopes''' or '''orthoplexes'''. Their names are, in order of dimensionality:
| |
| | |
| :0. Point
| |
| :1. Line segment
| |
| :2. Square (regular tetragon)
| |
| :3. Regular [[octahedron]]
| |
| :4. Regular hexadecachoron ([[16-cell]]) ''or'' 4-orthoplex
| |
| :5. Regular triacontakaiditeron ([[Pentacross]]) ''or'' 5-orthoplex
| |
| :... An ''n''-orthoplex has ''2n'' vertices.
| |
| | |
| ==History of discovery==<!-- This section is linked from [[Polyhedron]] -->
| |
| | |
| ===Convex polygons and polyhedra===
| |
| | |
| The earliest surviving mathematical treatment of regular polygons and polyhedra comes to us from [[ancient Greece|ancient Greek]] mathematicians. The five [[Platonic solid]]s were known to them. [[Pythagoras]] knew of at least three of them and [[Theaetetus (mathematician)|Theaetetus]] (ca. 417 B.C. – 369 B.C.) described all five. Later, [[Euclid]] wrote a systematic study of mathematics, publishing it under the title ''[[Euclid's Elements|Elements]]'', which built up a logical theory of geometry and [[number theory]]. His work concluded with mathematical descriptions of the five [[Platonic solid]]s.
| |
| | |
| :{| class="wikitable"
| |
| |-
| |
| |colspan=5 align=center|'''[[Platonic solid]]s'''
| |
| |-
| |
| |align=center|[[Image:Tetrahedron.jpg|75px]]
| |
| |align=center|[[Image:Hexahedron.jpg|75px]]
| |
| |align=center|[[Image:Octahedron.svg|75px]]
| |
| |align=center|[[Image:POV-Ray-Dodecahedron.svg|75px]]
| |
| |align=center|[[Image:Icosahedron.jpg|75px]]
| |
| |-
| |
| |[[Tetrahedron]]||[[Cube]]||[[Octahedron]]||[[Dodecahedron]]||[[Icosahedron]]
| |
| |}
| |
| | |
| ===Star polygons and polyhedra===
| |
| | |
| Our understanding remained static for many centuries after Euclid. The subsequent history of the regular polytopes can be characterised by a gradual broadening of the basic concept, allowing more and more objects to be considered among their number. [[Thomas Bradwardine]] (Bradwardinus) was the first to record a serious study of star polygons. Various star polyhedra appear in Renaissance art, but it was not until [[Johannes Kepler]] studied the [[small stellated dodecahedron]] and the [[great stellated dodecahedron]] in 1619 that he realised these two were regular. [[Louis Poinsot]] discovered the [[great dodecahedron]] and [[great icosahedron]] in 1809, and [[Augustin Cauchy]] proved the list complete in 1812. These polyhedra are known as collectively as the [[Kepler-Poinsot polyhedron|Kepler-Poinsot polyhedra]].
| |
| | |
| :''Main article [[Regular polyhedron#History|Regular polyhedron - History]]''.
| |
| | |
| :{| class="wikitable"
| |
| |-
| |
| |colspan=4 align=center|'''[[Kepler-Poinsot polyhedron|Kepler-Poinsot polyhedra]]'''
| |
| |-
| |
| |align=center|[[Image:SmallStellatedDodecahedron.jpg|75px]]
| |
| |align=center|[[Image:GreatStellatedDodecahedron.jpg|75px]]
| |
| |align=center|[[Image:GreatDodecahedron.jpg|75px]]
| |
| |align=center|[[Image:GreatIcosahedron.jpg|75px]]
| |
| |-
| |
| |[[Small stellated dodecahedron|Small stellated<br>dodecahedron]]||[[Great stellated dodecahedron|Great stellated<br>dodecahedron]]||[[Great dodecahedron]]||[[Great icosahedron]]
| |
| |}
| |
| | |
| ===Higher-dimensional polytopes===
| |
| | |
| [[Image:8-cell-simple.gif|right|thumb|A 3D projection of a rotating tesseract. This tesseract is initially oriented so that all edges are parallel to one of the four coordinate space axes. The rotation takes place in the xw plane.]]
| |
| It was not until the 19th century that a Swiss mathematician, [[Ludwig Schläfli]], examined and characterised the regular polytopes in higher dimensions. His efforts were first published in full in (Schläfli, 1901), six years posthumously, although parts of it were published in (Schläfli, 1855), (Schläfli, 1858). Interestingly, between 1880 and 1900,
| |
| Schläfli's results were rediscovered independently by at least nine
| |
| other mathematicians — see (Coxeter, 1948, pp143–144) for more details. Schläfli called such a figure a "polyschem" (in English, "polyscheme" or "polyschema"). The term "polytope" was introduced by Hoppe in 1882, and first used in English by [[Alicia Boole Stott|Mrs. Stott]] some twenty years later. The term "polyhedroids" was also used in earlier literature (Hilbert, 1952).
| |
| | |
| Coxeter (1948) is probably the most comprehensive printed treatment of Schläfli's and similar results to date. Schläfli showed that there are six [[convex regular 4-polytope|regular convex polytopes in 4 dimensions]]. Five of them can be seen as analogous to the Platonic solids: the [[4-simplex]] (or pentachoron) to the [[tetrahedron]], the [[hypercube]] (or [[tesseract]]) to the [[cube]], the [[4-orthoplex]] (or hexadecachoron or [[16-cell]]) to the [[octahedron]], the [[120-cell]] to the [[dodecahedron]], and the [[600-cell]] to the [[icosahedron]]. The sixth, the [[24-cell]], can be seen as a transitional form between the hypercube and 16-cell, analogous to the way that the [[cuboctahedron]] and the [[rhombic dodecahedron]] are transitional forms between the cube and the octahedron.
| |
| | |
| In five and more dimensions, there are exactly three regular polytopes, which correspond to the tetrahedron, cube and octahedron: these are the [[Regular polytope#Regular simplices|regular simplices]], [[Regular polytope#Measure polytopes|measure polytopes]] and [[Regular polytope#Cross polytopes|cross polytopes]]. Descriptions of these may be found in the [[List of regular polytopes]]. Also of interest are the [[Schläfli-Hess polychoron|nonconvex regular 4-polytopes]], partially discovered by Schläfli.
| |
| | |
| By the end of the 19th century, mathematicians such as [[Arthur Cayley]] and [[Ludwig Schläfli]] had developed the theory of regular polytopes in four and higher dimensions, such as the [[tesseract]] and the [[24-cell]].
| |
| | |
| The latter are difficult (though not impossible) to visualise, but still retain the aesthetically pleasing symmetry of their lower dimensional cousins. The [[tesseract]] contains 8 cubical cells. It consists of two cubes in parallel hyperplanes with corresponding vertices cross-connected in such a way that the 8 cross-edges are equal in length and orthogonal to the 12+12 edges situated on each cube. The corresponding faces of the two cubes are connected to form the remaining 6 cubical faces of the [[tesseract]]. The [[24-cell]] can be derived from the [[tesseract]] by joining the 8 vertices of each of its cubical faces to an additional vertex to form the four-dimensional analogue of a pyramid. Both figures, as well as other 4-dimensional figures, can be directly visualised and depicted using 4-dimensional stereographs.<ref name="Brisson">{{Citation | last = Brisson | first = David W. | contribution = Visual Comprehension in n-Dimensions | editor-last = Brisson | editor-first = David W. | title = Hypergraphics: Visualizing Complex Relationships in Art, Science and Technology | series = AAAS Selected Symposium | volume = 24 | pages = 109–145 | publisher = AAAS | place = Washington, D.C. | year = 1978 }}</ref>
| |
| | |
| Harder still to imagine are the more modern [[abstract polytope|abstract regular polytopes]] such as the [[57-cell]] or the [[11-cell]]. From the mathematical point of view, however, these objects have the same aesthetic qualities as their more familiar two and three-dimensional relatives.
| |
| | |
| At the start of the 20th century, the definition of a regular polytope was as follows.
| |
| *A regular polygon is a polygon whose edges are all equal and whose angles are all equal.
| |
| *A regular polyhedron is a polyhedron whose faces are all congruent regular polygons, and whose [[vertex figure]]s are all congruent and regular.
| |
| *And so on, a regular ''n''-polytope is an ''n''-dimensional polytope whose (''n'' − 1)-dimensional faces are all regular and congruent, and whose vertex figures are all regular and congruent.
| |
| | |
| This is a "recursive" definition. It defines regularity of higher dimensional figures in terms of regular figures of a lower dimension. There is an equivalent (non-recursive) definition, which states that a polytope is regular if it has a sufficient degree of symmetry.
| |
| | |
| * An ''n''-polytope is regular if any set consisting of a vertex, an edge containing it, a 2-dimensional face containing the edge, and so on up to ''n''−1 dimensions, can be mapped to any other such set by a symmetry of the polytope.
| |
| | |
| So for example, the cube is regular because if we choose a vertex of the cube, and one of the three edges it is on, and one of the two faces containing the edge, then this triplet, or '''[[Flag (geometry)|flag]]''', (vertex, edge, face) can be mapped to any other such flag by a suitable symmetry of the cube. Thus we can define a regular polytope very succinctly:
| |
| *A regular polytope is one which is transitive on its flags.
| |
| | |
| In the 20th century, some important developments were made. The [[symmetry]] [[group (mathematics)|group]]s of the classical regular polytopes were generalised into what are now called [[Coxeter group]]s. Coxeter groups also include the symmetry groups of regular [[tessellation]]s of space or of the plane. For example, the symmetry group of an infinite [[chessboard]] would be the Coxeter group [4,4].
| |
| | |
| ===Apeirotopes — infinite polytopes===
| |
| | |
| {{main|Regular skew polyhedron}}
| |
| | |
| In the first part of the 20th century, Coxeter and Petrie discovered three infinite structures {4, 6}, {6, 4} and {6, 6}. They called them regular skew polyhedra, because they seemed to satisfy the definition of a regular polyhedron — all the vertices, edges and faces are alike, all the angles are the same, and the figure has no free edges. Nowadays, they are called infinite polyhedra or apeirohedra. The regular tilings of the plane {4, 4}, {3, 6} and {6, 3} can also be regarded as infinite polyhedra.
| |
| | |
| In the 1960s [[Branko Grünbaum]] issued a call to the geometric community to consider more abstract types of regular polytopes that he called ''polystromata''. He developed the theory of polystromata, showing examples of new objects he called [[apeirogon|regular apeirotopes]], that is, regular polytopes with [[infinity|infinitely]] many faces. A simple example of an [[apeirogon]] {∞} would be a zig-zag. It seems to satisfy the definition of a regular polygon — all the edges are the same length, all the angles are the same, and the figure has no loose ends (because they can never be reached). More importantly, perhaps, there are symmetries of the zig-zag that can map any pair of a vertex and attached edge to any other. Since then, other regular apeirogons and higher apeirotopes have continued to be discovered.
| |
| | |
| ===Regular complex polytopes===
| |
| | |
| {{main|Complex polytope}}
| |
| | |
| A [[complex number]] has a real part, which is the bit we are all familiar with, and an imaginary part, which is a multiple of the square root of minus one. A complex [[Hilbert space]] has its x, y, z, etc. coordinates as complex numbers. This effectively doubles the number of dimensions. A polytope constructed in such a unitary space is called a '''[[complex polytope]]'''.
| |
| | |
| ===Abstract polytopes===
| |
| | |
| {{main|Abstract polytope}}
| |
| | |
| [[Image:Hemicube2.PNG|right|frame|The [[Hemi-cube (geometry)|Hemicube]] is derived from a cube by equating opposite vertices, edges, and faces. It has 4 vertices, 6 edges, and 3 faces.]]
| |
| | |
| Grünbaum also discovered the [[11-cell]], a four-dimensional [[Dual polyhedron|self-dual]] object whose facets are not icosahedra, but are "hemi-icosahedra" — that is, they are the shape one gets if one considers opposite faces of the icosahedra to be actually the ''same'' face (Grünbaum, 1977). The hemi-icosahedron has only 10 triangular faces, and 6 vertices, unlike the icosahedron, which has 20 and 12.
| |
| | |
| This concept may be easier for the reader to grasp if one considers the relationship of the cube and the hemicube. An ordinary cube has 8 corners, they could be labeled A to H, with A opposite H, B opposite G, and so on. In a hemicube, A and H would be treated as the same corner. So would B and G, and so on. The edge AB would become the same edge as GH, and the face ABEF would become the same face as CDGH. The new shape has only three faces, 6 edges and 4 corners.
| |
| | |
| The 11-cell cannot be formed with regular geometry in flat (Euclidean) hyperspace, but only in positively-curved (elliptic) hyperspace.
| |
| | |
| A few years after Grünbaum's discovery of the [[11-cell]], [[H. S. M. Coxeter]] independently discovered the same shape. He had earlier discovered a similar polytope, the [[57-cell]] (Coxeter 1982, 1984).
| |
| | |
| By 1994 Grünbaum was considering polytopes abstractly as combinatorial sets of points or vertices, and was unconcerned whether faces were planar. As he and others refined these ideas, such sets came to be called '''[[abstract polytope]]s'''. An abstract polytope is defined as a partially ordered set (poset), whose elements are the polytope's faces (vertices, edges, faces etc.) ordered by ''containment''. Certain restrictions are imposed on the set that are similar to properties satisfied by the classical regular polytopes (including the Platonic solids). The restrictions, however, are loose enough that regular tessellations, hemicubes, and even objects as strange as the 11-cell or stranger, are all examples of regular polytopes.
| |
| | |
| A geometric polytope is understood to be a ''realization'' of the abstract polytope, such that there is a one-to-one mapping from the abstract elements to the geometric. Thus, any geometric polytope may be described by the appropriate abstract poset, though not all abstract polytopes have proper geometric realizations.
| |
| | |
| The theory has since been further developed, largely by Egon Schulte and [[Peter McMullen]] (McMullen, 2002), but other researchers have also made contributions.
| |
| | |
| ====Regularity of abstract polytopes====
| |
| Regularity has a related, though different meaning for [[abstract polytope]]s, since angles and lengths of edges have no meaning.
| |
| | |
| The definition of regularity in terms of the transitivity of flags as given in the introduction applies to abstract polytopes.
| |
| | |
| Any classical regular polytope has an abstract equivalent which is regular, obtained by taking the set of faces. But non-regular classical polytopes can have regular abstract equivalents, since abstract polytopes don't care about angles and edge lengths, for example. And a regular abstract polytope may not be realisable as a classical polytope.
| |
| | |
| ''All polygons'' are regular in the abstract world, for example, whereas only those having equal angles and edges of equal length are regular in the classical world.
| |
| | |
| ====Vertex figure of abstract polytopes====
| |
| | |
| The concept of ''vertex figure'' is also defined differently for an [[abstract polytope]]. The vertex figure of a given abstract ''n''-polytope at a given vertex ''V'' is the set of all abstract faces which contain ''V'', including ''V'' itself. More formally, it is the abstract section
| |
| | |
| : ''F''<sub>''n''</sub> / ''V'' = {''F'' | ''V'' ≤ ''F'' ≤ ''F''<sub>''n''</sub>}
| |
| | |
| where ''F''<sub>''n''</sub> is the maximal face, i.e. the notional ''n''-face which contains all other faces. Note that each ''i''-face, ''i'' ≥ 0 of the original polytope becomes an (''i'' − 1)-face of the vertex figure.
| |
| | |
| Unlike the case for Euclidean polytopes, an abstract polytope with regular facets and vertex figures ''may or may not'' be regular itself – for example, the square pyramid, all of whose facets and vertex figures are regular abstract polygons.
| |
| | |
| The classical vertex figure will, however, be a realisation of the abstract one.
| |
| | |
| == Constructions ==
| |
| === Polygons ===
| |
| | |
| The traditional way to construct a regular polygon, or indeed any other figure on the plane, is by [[compass and straightedge]]. Constructing some regular polygons in this way is very simple (the easiest is perhaps the equilateral triangle), some are more complex, and some are impossible ("not constructible"). The simplest few regular polygons that are impossible to construct are the ''n''-sided polygons with ''n'' equal to 7, 9, 11, 13, 14, 18, 19, 21,...
| |
| | |
| [[Constructible polygon|Constructibility]] in this sense refers only to ideal constructions with ideal tools. Of course reasonably accurate approximations can be constructed by a range of methods; while theoretically possible constructions may be impractical.
| |
| | |
| === Polyhedra ===
| |
| | |
| Euclid's ''Elements'' gave what amount to ruler-and-compass constructions for the five Platonic solids. (See, for example, [http://www.dform.com/projects/euclid/home.html Euclid's Elements].) However, the merely practical question of how one might draw a straight line in space, even with a ruler, might lead one to question what exactly it means to "construct" a regular polyhedron. (One could ask the same question about the polygons, of course.)
| |
| [[Image:icosahedron flat.svg|thumb|[[Net (polyhedron)|Net]] for [[icosahedron]]]]
| |
| The English word "construct" has the connotation of systematically building the thing constructed. The most common way presented to construct a regular polyhedron is via a [[Net (polyhedron)|fold-out net]]. To obtain a fold-out net of a polyhedron, one takes the surface of the polyhedron and cuts it along just enough edges so that the surface may be laid out flat. This gives a plan for the net of the unfolded polyhedron. Since the Platonic solids have only triangles, squares and pentagons for faces, and these are all constructible with a ruler and compass, there exist ruler-and-compass methods for drawing these fold-out nets. The same applies to star polyhedra, although here we must be careful to make the net for only the visible outer surface.
| |
| | |
| If this net is drawn on cardboard, or similar foldable material (for example, sheet metal), the net may be cut out, folded along the uncut edges, joined along the appropriate cut edges, and so forming the polyhedron for which the net was designed. For a given polyhedron there may be many fold-out nets. For example, there are 11 for the cube, and over 900000 for the dodecahedron. Some interesting fold-out nets of the cube, octahedron, dodecahedron and icosahedron are available [http://www.progonos.com/furuti/MapProj/Normal/ProjPoly/projPoly.html here].
| |
| | |
| Numerous children's toys, generally aimed at the teen or pre-teen age bracket, allow experimentation with regular polygons and polyhedra. For example, [[klikko]] provides sets of plastic triangles, squares, pentagons and hexagons that can be joined edge-to-edge in a large number of different ways. A child playing with such a toy could re-discover the Platonic solids (or the [[Archimedean solid]]s), especially if given a little guidance from a knowledgeable adult.
| |
| | |
| In theory, almost any material may be used to construct regular polyhedra. Instructions for building [[origami]] models may be found [http://www1.zetosa.com.pl/~burczyk/origami/galery1-en.htm here], for example. They may be carved out of wood, modeled out of wire, formed from stained glass. The imagination is the limit.
| |
| | |
| === Higher dimensions ===
| |
| [[Image:Tesseract2.svg|thumb|[[Net (polytope)|Net]] for [[tesseract]]]]
| |
| [[Image:Hypercube.svg|thumb|A perspective projection ([[Schlegel diagram]]) for tesseract]]
| |
| [[Image:24cell section anim.gif|right|frame|An animated cut-away cross-section of the [[24-cell]].]]
| |
| In higher dimensions, it becomes harder to say what one means by "constructing" the objects. Clearly, in a 3-dimensional universe, it is impossible to build a physical model of an object having 4 or more dimensions. There are several approaches normally taken to overcome this matter.
| |
| | |
| The first approach, suitable for four dimensions, uses four-dimensional stereography.<ref name="Brisson"/> Depth in a third dimension is represented with horizontal relative displacement, depth in a fourth dimension with vertical relative displacement between the left and right images of the stereograph.
| |
| | |
| The second approach is to embed the higher-dimensional objects in three-dimensional space, using methods analogous to the ways in which three-dimensional objects are drawn on the plane. For example, the fold out nets mentioned in the previous section have higher-dimensional equivalents. Some of these may be viewed at [http://www.weimholt.com/andrew/polytope.shtml]. One might even imagine building a model of this fold-out net, as one draws a polyhedron's fold-out net on a piece of paper. Sadly, we could never do the necessary folding of the 3-dimensional structure to obtain the 4-dimensional polytope, or [[polychoron]], because of the constraints of the physical universe. Another way to "draw" the higher-dimensional shapes in 3 dimensions is via some kind of projection, for example, the analogue of either [[Orthographic projection|orthographic]] or [[perspective (graphical)|perspective]] projection. Coxeter's famous book on polytopes (Coxeter, 1948) has some examples of such orthographic projections. Other examples may be found on the web (see for example [http://mathworld.wolfram.com/600-Cell.html]). Note that immersing even 4-dimensional polychora directly into two dimensions is quite confusing. Easier to understand are 3-d models of the projections. Such models are occasionally found in science museums or mathematics departments of universities (such as that of the [[Université Libre de Bruxelles]]).
| |
| | |
| The intersection of a four (or higher) dimensional regular polytope with a three-dimensional hyperplane will be a polytope (not necessarily regular). If the hyperplane is moved through the shape, the three-dimensional slices can be combined, [[animation|animated]] into a kind of four dimensional object, where the fourth dimension is taken to be time. In this way, we can see (if not fully grasp) the full four-dimensional structure of the four-dimensional regular polytopes, via such cutaway cross sections. This is analogous to the way a [[CAT scan]] reassembles two-dimensional images to form a 3-dimensional representation of the organs being scanned. The ideal would be an animated [[hologram]] of some sort, however, even a simple animation such as the one shown can already give some limited insight into the structure of the polytope.
| |
| | |
| Another way a three-dimensional viewer can comprehend the structure of a four-dimensional polychoron is through being "immersed" in the object, perhaps via some form of [[virtual reality]] technology. To understand how this might work, imagine what one would see if space were filled with cubes. The viewer would be inside one of the cubes, and would be able to see cubes in front of, behind, above, below, to the left and right of himself. If one could travel in these directions, one could explore the array of cubes, and gain an understanding of its geometrical structure. An [[Cubic honeycomb|infinite array of cubes]] is not a polytope in the traditional sense. In fact, it is a tessellation of 3-dimensional ([[Euclidean space|Euclidean]]) space. However, a 4-dimensional polychoron can be considered a tessellation of a 3-dimensional [[non-Euclidean]] space, namely, a tessellation of the surface of a four-dimensional [[sphere]] (a 4-dimensional [[spherical tiling]]).
| |
| | |
| [[Image:Hyperbolic orthogonal dodecahedral honeycomb.png|thumb|left|[[Order-4 dodecahedral honeycomb|A regular dodecahedral honeycomb]], {5,3,4}, of hyperbolic space projected into 3-space.]]
| |
| Locally, this space seems like the one we are familiar with, and therefore, a virtual-reality system could, in principle, be programmed to allow exploration of these "tessellations", that is, of the 4-dimensional regular polytopes. The mathematics department at [[University of Illinois at Urbana-Champaign|UIUC]] has a number of pictures of what one would see if embedded in a [[tessellation]] of [[hyperbolic space]] with dodecahedra. Such a tessellation forms an example of an infinite abstract regular polytope.
| |
| | |
| Normally, for abstract regular polytopes, a mathematician considers that the object is "constructed" if the structure of its [[symmetry group]] is known. This is because of an important theorem in the study of abstract regular polytopes, providing a technique that allows the abstract regular polytope to be constructed from its symmetry group in a standard and straightforward manner.
| |
| | |
| == Regular polytopes in nature ==
| |
| | |
| For examples of polygons in nature, see:
| |
| {{Main|Polygon}}
| |
| | |
| Each of the Platonic solids occurs naturally in one form or another:
| |
| | |
| {{Main|Regular polyhedron}}
| |
| | |
| Higher polytopes can obviously not exist in a three-dimensional world. However this might not rule them out altogether. In [[cosmology]] and in [[string theory]], physicists commonly model the Universe as having many [[E8 (mathematics)#Applications|more dimensions]]. It is possible that the Universe itself has the form of some higher polytope, regular or otherwise. Astronomers have even [[Homology sphere#Cosmology|searched]] the sky in the last few years, for tell-tale signs of a few regular candidates, so far without definite results.
| |
| | |
| == See also ==
| |
| * [[List of regular polytopes]]
| |
| * [[Johnson solid]]
| |
| * [[Bartel Leendert van der Waerden]]
| |
| | |
| == References ==
| |
| <references />
| |
| * (Coxeter, 1948) Coxeter, H. S. M.; ''[[Regular Polytopes (book)|Regular Polytopes]]'', (Methuen and Co., 1948).
| |
| * (Coxeter, 1974) Coxeter, H. S. M.; ''Regular Complex Polytopes'', (Cambridge University Press, 1974).
| |
| * (Coxeter, 1982) Coxeter, H. S. M.; ''Ten Toroids and Fifty-Seven hemi-Dodecahedra'' Geometrica Dedicata '''13''' pp87–99.
| |
| * (Coxeter, 1984) Coxeter, H. S. M.; ''A Symmetrical Arrangement of Eleven hemi-Icosahedra'' Annals of Discrete Mathematics '''20''' pp103–114.
| |
| * (Coxeter, 1999) Coxeter, H. S. M.; Du Val, P.; Flather, H. T.; Petrie, J. F.; ''The Fifty-Nine Icosahedra'' (Tarquin Publications, Stradbroke, England, 1999)
| |
| * (Cromwell, 1997) Cromwell, Peter R.; ''Polyhedra'' (Cambridge University Press, 1997)
| |
| * (Euclid) Euclid, ''Elements'', English Translation by Heath, T. L.; (Cambridge University Press, 1956).
| |
| * (Grünbaum, 1977) Grünbaum, B.; Regularity of Graphs, Complexes and Designs, ''Problèmes Combinatoires et Théorie des Graphes, Colloquium Internationale CNRS, Orsay'', '''260''' pp191–197.
| |
| * (Grünbaum, 1994) B. Grünbaum, Polyhedra with hollow faces, ''Proc of NATO-ASI Conference on Polytopes ... etc. ... (Toronto 1993)'', ed T. Bisztriczky et al., Kluwer Academic pp. 43–70.
| |
| * (Hilbert, 1952) Hilbert, D.; Cohn-Vossen, S. ''Geometry and the imagination'', (Chelsea, 1952) p144.
| |
| * (Haeckel, 1904) Haeckel, E.; ''[[Kunstformen der Natur]]'' (1904). Available as Haeckel, E.; ''Art forms in nature'' (Prestel USA, 1998), ISBN 3-7913-1990-6, or online at http://caliban.mpiz-koeln.mpg.de/~stueber/haeckel/kunstformen/natur.html
| |
| * (Lindemann, 1987) Lindemann F.; ''Sitzunger Bayerische Akademie Der Wissenschaften'' '''26''' (1987) pp625–768.
| |
| * (McMullen, 2002) [[Peter McMullen|McMullen, P.]]; Schulte, S.; ''Abstract Regular Polytopes''; (Cambridge University Press, 2002)
| |
| * (Sanford, 1930) Sanford, V.; ''A Short History Of Mathematics'', (The Riverside Press, 1930).
| |
| * (Schläfli, 1855), Schläfli, L.; ''Reduction D'Une Integrale Multiple Qui Comprend L'Arc Du Cercle Et L'Aire Du Triangle Sphérique Comme Cas Particulières'', Journal De Mathematiques '''20''' (1855) pp359–394.
| |
| * (Schläfli, 1858), Schläfli, L.; ''On The Multiple Integral ''∫''<sup>''n''</sup>''dx'' ''dy'' ... ''dz'', Whose Limits Are <math>p_1 =a_1 x+b_1y+ \cdots +h_1z\ge 0,</math> <math>p_2 > 0, \ldots , p_n > 0</math> and <math>x^2+y^2+\cdots+z^2<1</math>'' Quarterly Journal Of Pure And Applied Mathematics '''2''' (1858) pp269–301, '''3''' (1860) pp54–68, 97–108.
| |
| * (Schläfli, 1901), Schläfli, L.; ''Theorie Der Vielfachen Kontinuität'', Denkschriften Der Schweizerischen Naturforschenden Gesellschaft '''38''' (1901) pp1–237.
| |
| * (Shephard, 1952) Shephard, G.C.; Regular Complex Polytopes, ''Proc. London Math. Soc.'' Series 3, '''2''' (1952) pp82–97.
| |
| * (Smith, 1982) Smith, J. V.; ''Geometrical And Structural Crystallography'', (John Wiley and Sons, 1982).
| |
| * (Van der Waerden, 1954) Van der Waerden, B. L.; ''Science Awakening'', (P Noordhoff Ltd, 1954), English Translation by Arnold Dresden.
| |
| * [[Duncan MacLaren Young Sommerville|D. M. Y. Sommerville]], ''An Introduction to the Geometry of '''n''' Dimensions.'' New York, E. P. Dutton, 1930. 196 pp. (Dover Publications edition, 1958) Chapter X: The Regular Polytopes
| |
| | |
| == External links ==
| |
| * {{GlossaryForHyperspace | anchor=Regular | title=Regular polytope }}
| |
| *[http://www.software3d.com/Stella.php Stella: Polyhedron Navigator] Tool for exploring 3D polyhedra, 4D polytopes, and printing nets
| |
| * [http://caliban.mpiz-koeln.mpg.de/~stueber/haeckel/kunstformen/natur.html Ernst Haeckel's ''Kunstformen der Natur'' online (German)]
| |
| * [http://www.progonos.com/furuti/MapProj/Normal/ProjPoly/projPoly.html Interesting fold-out nets of the cube, octahedron, dodecahedron and icosahedron]
| |
| | |
| {{Polytopes}}
| |
| | |
| [[Category:Polytopes]]
| |
| [[Category:Symmetry]]
| |
| [[Category:Multi-dimensional geometry]]
| |