geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...

, expansion is a

polytope In elementary geometry, a polytope is a geometric object with flat sides (''faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an -d ...

operation where

facets A facet is a flat surface of a geometric shape, e.g., of a cut gemstone. Facet may also refer to: Arts, entertainment, and media * ''Facets'' (album), an album by Jim Croce * ''Facets'', a 1980 album by jazz pianist Monty Alexander and his tri ...

are separated and moved radially apart, and new facets are formed at separated elements ( vertices, edges, etc.). Equivalently this operation can be imagined by keeping facets in the same position but reducing their size. The expansion of a

regular polytope In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, ...

creates a

uniform polytope In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons (the definition is different in 2 dimensions to exclude vert ...

, but the operation can be applied to any

convex polytope A convex polytope is a special case of a polytope, having the additional property that it is also a convex set contained in the n-dimensional Euclidean space \mathbb^n. Most texts. use the term "polytope" for a bounded convex polytope, and the wo ...

, as demonstrated for

polyhedra In geometry, a polyhedron (plural polyhedra or polyhedrons; ) is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices. A convex polyhedron is the convex hull of finitely many points, not all on t ...

Conway polyhedron notation In geometry, Conway polyhedron notation, invented by John Horton Conway and promoted by George W. Hart, is used to describe polyhedra based on a seed polyhedron modified by various prefix operations. Conway and Hart extended the idea of using o ...

(which represents expansion with the letter ). For polyhedra, an expanded polyhedron has all the

faces The face is the front of an animal's head that features the eyes, nose and mouth, and through which animals express many of their emotions. The face is crucial for human identity, and damage such as scarring or developmental deformities may affe ...

of the original polyhedron, all the faces of the

dual polyhedron In geometry, every polyhedron is associated with a second dual structure, where the vertices of one correspond to the faces of the other, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. ...

, and new square faces in place of the original edges.

Expansion of regular polytopes

According to

Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington to ...

, this multidimensional term was defined by

Alicia Boole Stott Alicia Boole Stott (8 June 1860 – 17 December 1940) was an Irish mathematician. Despite never holding an academic position, she made a number of valuable contributions to the field, receiving an honorary doctorate from the University of Groni ...

Coxeter, ''Regular Polytopes'' (1973), p. 123. p.210 for creating new polytopes, specifically starting from

s to construct new

s. The ''expansion'' operation is symmetric with respect to a regular polytope and its dual. The resulting figure contains the

of both the regular and its dual, along with various prismatic facets filling the gaps created between intermediate dimensional elements. It has somewhat different meanings by

dimension In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...

. In a

Wythoff construction In geometry, a Wythoff construction, named after mathematician Willem Abraham Wythoff, is a method for constructing a uniform polyhedron or plane tiling. It is often referred to as Wythoff's kaleidoscopic construction. Construction process ...

, an expansion is generated by reflections from the first and last mirrors. In higher dimensions, lower dimensional expansions can be written with a subscript, so e₂ is the same as t_0,2 in any dimension. By dimension: * A regular

polygon In geometry, a polygon () is a plane figure that is described by a finite number of straight line segments connected to form a closed ''polygonal chain'' (or ''polygonal circuit''). The bounded plane region, the bounding circuit, or the two toge ...

expands into a regular 2n-gon. ** The operation is identical to

truncation In mathematics and computer science, truncation is limiting the number of digits right of the decimal point. Truncation and floor function Truncation of positive real numbers can be done using the floor function. Given a number x \in \mathbb ...

for polygons, e = e₁ = t_0,1 = t and has Coxeter-Dynkin diagram . * A regular

polyhedron In geometry, a polyhedron (plural polyhedra or polyhedrons; ) is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices. A convex polyhedron is the convex hull of finitely many points, not all on th ...

(3-polytope) expands into a polyhedron with

vertex figure In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off. Definitions Take some corner or Vertex (geometry), vertex of a polyhedron. Mark a point somewhere along each connect ...

''p.4.q.4''. **This operation for polyhedra is also called

cantellation In geometry, a cantellation is a 2nd-order truncation in any dimension that bevels a regular polytope at its edges and at its vertices, creating a new facet in place of each edge and of each vertex. Cantellation also applies to regular tiling ...

, e = e₂ = t_0,2 = rr, and has Coxeter diagram . **: **: For example, a rhombicuboctahedron can be called an ''expanded cube'', ''expanded octahedron'', as well as a ''cantellated cube'' or ''cantellated octahedron''. * A regular 4-polytope (4-polytope) expands into a new 4-polytope with the original cells, new cells in place of the old vertices, p-gonal prisms in place of the old faces, and r-gonal prisms in place of the old edges. ** This operation for 4-polytopes is also called

runcination In geometry, runcination is an operation that cuts a regular polytope (or honeycomb) simultaneously along the faces, edges, and vertices, creating new facets in place of the original face, edge, and vertex centers. It is a higher order truncatio ...

, e = e₃ = t_0,3, and has Coxeter diagram . * Similarly a regular 5-polytope expands into a new 5-polytope with facets , , ×

prism Prism usually refers to: * Prism (optics), a transparent optical component with flat surfaces that refract light * Prism (geometry), a kind of polyhedron Prism may also refer to: Science and mathematics * Prism (geology), a type of sedimentary ...

s, × prisms, and ''×''

duoprism In geometry of 4 dimensions or higher, a double prism or duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an -polytope and an -polytope is an -polytope, wher ...

s. ** This operation is called

sterication In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons (the definition is different in 2 dimensions to exclude vert ...

, e = e₄ = t_0,4 = 2r2r and has Coxeter diagram . The general operator for expansion of a regular n-polytope is t_0,n-1. New regular facets are added at each vertex, and new prismatic polytopes are added at each divided edge, face, ...

ridge A ridge or a mountain ridge is a geographical feature consisting of a chain of mountains or hills that form a continuous elevated crest for an extended distance. The sides of the ridge slope away from the narrow top on either side. The line ...

, etc.

Notes

References

* * Coxeter, H. S. M., ''

Regular Polytopes In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, ...

''. 3rd edition, Dover, (1973) . * Norman Johnson ''Uniform Polytopes'', Manuscript (1991) ** N.W. Johnson: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. Dissertation, University of Toronto, 1966 {{Polyhedron_operators Euclidean geometry Polytopes

Expansion of regular polytopes

See also

Notes

References