Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Zonohedron

From Wikipedia, the free encyclopedia
Convex polyhedron projected from hypercube

Ingeometry, azonohedron is aconvex polyhedron that iscentrally symmetric, every face of which is apolygon that is centrally symmetric (azonogon). Any zonohedron may equivalently be described as theMinkowski sum of a set of line segments in three-dimensional space, or as a three-dimensionalprojection of ahypercube. Zonohedra were originally defined and studied byE. S. Fedorove, a Russiancrystallographer. More generally, in any dimension, the Minkowski sum of line segments forms apolytope known as azonotope.

Zonohedra that tile space

[edit]

The original motivation for studying zonohedra is that theVoronoi diagram of anylattice forms aconvex uniform honeycomb in which the cells are zonohedra. Any zonohedron formed in this way cantessellate 3-dimensional space and is called aprimaryparallelohedron. Each primary parallelohedron is combinatorially equivalent to one of five types: therhombohedron (including thecube),hexagonal prism,truncated octahedron,rhombic dodecahedron, and therhombo-hexagonal dodecahedron.

Zonohedra from Minkowski sums

[edit]
Minkowski addition of four line-segments. The left-hand pane displays four sets, which are displayed in a two-by-two array. Each of the sets contains exactly two points, which are displayed in red. In each set, the two points are joined by a pink line-segment, which is the convex hull of the original set. Each set has exactly one point that is indicated with a plus-symbol. In the top row of the two-by-two array, the plus-symbol lies in the interior of the line segment; in the bottom row, the plus-symbol coincides with one of the red-points. This completes the description of the left-hand pane of the diagram. The right-hand pane displays the Minkowski sum of the sets, which is the union of the sums having exactly one point from each summand-set; for the displayed sets, the sixteen sums are distinct points, which are displayed in red: The right-hand red sum-points are the sums of the left-hand red summand-points. The convex hull of the sixteen red-points is shaded in pink. In the pink interior of the right-hand sumset lies exactly one plus-symbol, which is the (unique) sum of the plus-symbols from the right-hand side. The right-hand plus-symbol is indeed the sum of the four plus-symbols from the left-hand sets, precisely two points from the original non-convex summand-sets and two points from the convex hulls of the remaining summand-sets.
A zonotope is the Minkowski sum of line segments. The sixteen dark-red points (on the right) form the Minkowski sum of the four non-convex sets (on the left), each of which consists of a pair of red points. Their convex hulls (shaded pink) contain plus-signs (+): The right plus-sign is the sum of the left plus-signs.

Let{v0,v1,}{\displaystyle \{v_{0},v_{1},\dots \}} be a collection of three-dimensionalvectors. With each vectorvi{\displaystyle v_{i}} we may associate aline segment{xivi0xi1}{\textstyle \{x_{i}v_{i}\mid 0\leq x_{i}\leq 1\}}. TheMinkowski sum{ixivi0xi1}{\textstyle \{\textstyle \sum _{i}x_{i}v_{i}\mid 0\leq x_{i}\leq 1\}} forms a zonohedron, and all zonohedra that contain the origin have this form. The vectors from which the zonohedron is formed are called itsgenerators. This characterization allows the definition of zonohedra to be generalized to higher dimensions, giving zonotopes.

Each edge in a zonohedron is parallel to at least one of the generators, and has length equal to the sum of the lengths of the generators to which it is parallel. Therefore, by choosing a set of generators with no parallel pairs of vectors, and by setting all vector lengths equal, we may form anequilateral version of any combinatorial type of zonohedron.

By choosing sets of vectors with high degrees of symmetry, we can form in this way, zonohedra with at least as much symmetry. For instance, generators equally spaced around the equator of a sphere, together with another pair of generators through the poles of the sphere, form zonohedra in the form ofprism over regular2k{\displaystyle 2k}-gons: thecube,hexagonal prism,octagonal prism,decagonal prism,dodecagonal prism, etc.Generators parallel to the edges of an octahedron form atruncated octahedron, and generators parallel to the long diagonals of a cube form arhombic dodecahedron.[1]

The Minkowski sum of any two zonohedra is another zonohedron, generated by the union of the generators of the two given zonohedra. Thus, the Minkowski sum of a cube and a truncated octahedron forms thetruncated cuboctahedron, while the Minkowski sum of the cube and the rhombic dodecahedron forms thetruncated rhombic dodecahedron. Both of these zonohedra aresimple (three faces meet at each vertex), as is thetruncated small rhombicuboctahedron formed from the Minkowski sum of the cube, truncated octahedron, and rhombic dodecahedron.[1]

Zonohedra from arrangements

[edit]

TheGauss map of any convex polyhedron maps each face of the polygon to a point on the unit sphere, and maps each edge of the polygon separating a pair of faces to agreat circle arc connecting the corresponding two points. In the case of a zonohedron, the edges surrounding each face can be grouped into pairs of parallel edges, and when translated via the Gauss map any such pair becomes a pair of contiguous segments on the same great circle. Thus, the edges of the zonohedron can be grouped intozones of parallel edges, which correspond to the segments of a common great circle on the Gauss map, and the 1-skeleton of the zonohedron can be viewed as theplanar dual graph to an arrangement of great circles on the sphere. Conversely any arrangement of great circles may be formed from the Gauss map of a zonohedron generated by vectors perpendicular to the planes through the circles.

Any simple zonohedron corresponds in this way to asimplicial arrangement, one in which each face is a triangle. Simplicial arrangements of great circles correspond via central projection to simplicialarrangements of lines in theprojective plane. There are three known infinite families of simplicial arrangements, one of which leads to the prisms when converted to zonohedra, and the other two of which correspond to additional infinite families of simple zonohedra. There are also many sporadic examples that do not fit into these three families.[2]

It follows from the correspondence between zonohedra and arrangements, and from theSylvester–Gallai theorem which (in itsprojective dual form) proves the existence of crossings of only two lines in any arrangement, that every zonohedron has at least one pair of oppositeparallelogram faces. (Squares, rectangles, and rhombuses count for this purpose as special cases of parallelograms.) More strongly, every zonohedron has at least six parallelogram faces, and every zonohedron has a number of parallelogram faces that is linear in its number of generators.[3]

Types of zonohedra

[edit]

Anyprism over a regular polygon with an even number of sides forms a zonohedron. These prisms can be formed so that all faces are regular: two opposite faces are equal to the regular polygon from which the prism was formed, and these are connected by a sequence of square faces. Zonohedra of this type are thecube,hexagonal prism,octagonal prism,decagonal prism,dodecagonal prism, etc.

In addition to this infinite family of regular-faced zonohedra, there are threeArchimedean solids, allomnitruncations of the regular forms:

In addition, certainCatalan solids (duals of Archimedean solids) are again zonohedra:

Others with congruent rhombic faces:

There are infinitely many zonohedra with rhombic faces that are not all congruent to each other. They include:

zonohedronimagenumber of
generators
regular faceface
transitive
edge
transitive
vertex
transitive
Parallelohedron
(space-filling)
simple
Cube
4.4.4
Cube3YesYesYesYesYesYes
Hexagonal prism
4.4.6
Hexagonal prism4YesNoNoYesYesYes
2n-prism (n > 3)
4.4.2n
2n prismn + 1YesNoNoYesNoYes
Truncated octahedron
4.6.6
Truncated octahedron6YesNoNoYesYesYes
Truncated cuboctahedron

4.6.8
Truncated cuboctahedron9YesNoNoYesNoYes
Truncated icosidodecahedron
4.6.10
Truncated icosidodecahedron15YesNoNoYesNoYes
ParallelepipedParallelepiped3NoYesNoNoYesYes
Rhombic dodecahedron
V3.4.3.4
Kepler's rhombic dodecahedron4NoYesYesNoYesNo
Bilinski dodecahedronBilinski's rhombic dodecahedron4NoNoNoNoYesNo
Rhombic icosahedronRhombic icosahedron5NoNoNoNoNoNo
Rhombic triacontahedron
V3.5.3.5
Rhombic triacontehedron6NoYesYesNoNoNo
Rhombo-hexagonal dodecahedronrhombo-hexagonal dodecahedron5NoNoNoNoYesNo
Truncated rhombic dodecahedronTruncated Rhombic dodecahedron7NoNoNoNoNoYes

Dissection of zonohedra

[edit]

Every zonohedron withn{\displaystyle n} zones can be partitioned into(n3){\displaystyle {\tbinom {n}{3}}}parallelepipeds, each having three of the same zones, and with one parallelepiped for each triple of zones.[4]

TheDehn invariant of any zonohedron is zero. This implies that any two zonohedra with the samevolume can bedissected into each other. This means that it is possible to cut one of the two zonohedra into polyhedral pieces that can be reassembled into the other.[5]

Zonohedrification

[edit]

Zonohedrification is a process defined byGeorge W. Hart for creating a zonohedron from another polyhedron.[6][7]

First the vertices of any seed polyhedron are considered vectors from the polyhedron center. These vectors create the zonohedron which we call the zonohedrification of the original polyhedron. If the seed polyhedron hascentral symmetry, opposite points define the same direction, so the number of zones in the zonohedron is half the number of vertices of the seed. For any two vertices of the original polyhedron, there are two opposite planes of the zonohedrification which each have two edges parallel to the vertex vectors.

Examples
SymmetryDihedralOctahedralicosahedral
Seed
8 vertex
V4.4.6

6 vertex
{3,4}

8 vertex
{4,3}

12 vertex
3.4.3.4

14 vertex
V3.4.3.4

12 vertex
{3,5}

20 vertex
{5,3}

30 vertex
3.5.3.5

32 vertex
V3.5.3.5
Zonohedron
4 zone
4.4.6

3 zone
{4,3}

4 zone
Rhomb.12

6 zone
4.6.6

7 zone
Ch.cube

6 zone
Rhomb.30

10 zone
Rhomb.90

15 zone
4.6.10

16 zone
Rhomb.90

Zonotopes

[edit]

TheMinkowski sum ofline segments in any dimension forms a type ofpolytope called azonotope. Equivalently, a zonotopeZ{\displaystyle Z} generated by vectorsv1,...,vkRn{\displaystyle v_{1},...,v_{k}\in \mathbb {R} ^{n}} is given byZ={a1v1++akvk|(j)aj[0,1]}{\displaystyle Z=\{a_{1}v_{1}+\cdots +a_{k}v_{k}|\;\forall (j)a_{j}\in [0,1]\}}. Note that in the special case wherekn{\displaystyle k\leq n}, the zonotopeZ{\displaystyle Z} is a (possibly degenerate)parallelotope.

The facets of any zonotope are themselves zonotopes of one lower dimension; for instance, the faces of zonohedra arezonogons. Examples of four-dimensional zonotopes include thetesseract (Minkowski sums ofd mutually perpendicular equal length line segments), theomnitruncated 5-cell, and thetruncated 24-cell. Everypermutohedron is a zonotope.

Zonotopes and Matroids

[edit]

Fix a zonotopeZ{\displaystyle Z} defined from the set of vectorsV={v1,,vn}Rd{\displaystyle V=\{v_{1},\dots ,v_{n}\}\subset \mathbb {R} ^{d}} and letM{\displaystyle M} be thed×n{\displaystyle d\times n} matrix whose columns are thevi{\displaystyle v_{i}}. Then thevector matroidM_{\displaystyle {\underline {\mathcal {M}}}} on the columns ofM{\displaystyle M} encodes a wealth of information aboutZ{\displaystyle Z}, that is, many properties ofZ{\displaystyle Z} are purely combinatorial in nature.

For example, pairs of opposite facets ofZ{\displaystyle Z} are naturally indexed by the cocircuits ofM{\displaystyle {\mathcal {M}}} and if we consider theoriented matroidM{\displaystyle {\mathcal {M}}} represented byM{\displaystyle {M}}, then we obtain a bijection between facets ofZ{\displaystyle Z} and signed cocircuits ofM{\displaystyle {\mathcal {M}}} which extends to a poset anti-isomorphism between theface lattice ofZ{\displaystyle Z} and the covectors ofM{\displaystyle {\mathcal {M}}} ordered by component-wise extension of0+,{\displaystyle 0\prec +,-}. In particular, ifM{\displaystyle M} andN{\displaystyle N} are two matrices that differ by aprojective transformation then their respective zonotopes are combinatorially equivalent. The converse of the previous statement does not hold: the segment[0,2]R{\displaystyle [0,2]\subset \mathbb {R} } is a zonotope and is generated by both{2e1}{\displaystyle \{2\mathbf {e} _{1}\}} and by{e1,e1}{\displaystyle \{\mathbf {e} _{1},\mathbf {e} _{1}\}} whose corresponding matrices,[2]{\displaystyle [2]} and[1 1]{\displaystyle [1~1]}, do not differ by a projective transformation.

Tilings

[edit]

Tiling properties of the zonotopeZ{\displaystyle Z} are also closely related to the oriented matroidM{\displaystyle {\mathcal {M}}} associated to it. First we consider the space-tiling property. The zonotopeZ{\displaystyle Z} is said totileRd{\displaystyle \mathbb {R} ^{d}} if there is a set of vectorsΛRd{\displaystyle \Lambda \subset \mathbb {R} ^{d}} such that the union of all translatesZ+λ{\displaystyle Z+\lambda } (λΛ{\displaystyle \lambda \in \Lambda }) isRd{\displaystyle \mathbb {R} ^{d}} and any two translates intersect in a (possibly empty) face of each. Such a zonotope is called aspace-tiling zonotope. The following classification of space-tiling zonotopes is due to McMullen:[8] The zonotopeZ{\displaystyle Z} generated by the vectorsV{\displaystyle V} tiles space if and only if the corresponding oriented matroid isregular. So the seemingly geometric condition of being a space-tiling zonotope actually depends only on the combinatorial structure of the generating vectors.

Another family of tilings associated to the zonotopeZ{\displaystyle Z} are thezonotopal tilings ofZ{\displaystyle Z}. A collection of zonotopes is a zonotopal tiling ofZ{\displaystyle Z} if it a polyhedral complex with supportZ{\displaystyle Z}, that is, if the union of all zonotopes in the collection isZ{\displaystyle Z} and any two intersect in a common (possibly empty) face of each. Many of the images of zonohedra on this page can be viewed as zonotopal tilings of a 2-dimensional zonotope by simply considering them as planar objects (as opposed to planar representations of three dimensional objects). The Bohne-Dress Theorem states that there is a bijection between zonotopal tilings of the zonotopeZ{\displaystyle Z} andsingle-element lifts of the oriented matroidM{\displaystyle {\mathcal {M}}} associated toZ{\displaystyle Z}.[9][10]

Volume

[edit]

Zonohedra, andn-dimensional zonotopes in general, are noteworthy for admitting a simple analytic formula for their volume.[11]

LetZ(S){\displaystyle Z(S)} be the zonotopeZ={a1v1++akvk|(j)aj[0,1]}{\displaystyle Z=\{a_{1}v_{1}+\cdots +a_{k}v_{k}|\;\forall (j)a_{j}\in [0,1]\}} generated by a set of vectorsS={v1,,vkRn}{\displaystyle S=\{v_{1},\dots ,v_{k}\in \mathbb {R} ^{n}\}}. Then the n-dimensional volume ofZ(S){\displaystyle Z(S)} is given by

TS:|T|=n|det(Z(T))|{\displaystyle \sum _{T\subset S\;:\;|T|=n}|\det(Z(T))|}

The determinant in this formula makes sense because (as noted above) when the setT{\displaystyle T} has cardinality equal to the dimensionn{\displaystyle n} of the ambient space, the zonotope is a parallelotope.

Note that whenk<n{\displaystyle k<n}, this formula simply states that the zonotope has n-volume zero.

See also

[edit]
  • Zonoid, the limit shape of a sequence of zonotopes

References

[edit]
  1. ^abEppstein, David (1996)."Zonohedra and zonotopes".Mathematica in Education and Research.5 (4):15–21.
  2. ^Grünbaum, Branko (2009)."A catalogue of simplicial arrangements in the real projective plane".Ars Mathematica Contemporanea.2 (1):1–25.doi:10.26493/1855-3974.88.e12.hdl:1773/2269.MR 2485643.
  3. ^Shephard, G. C. (1968). "Twenty problems on convex polyhedra, part I".The Mathematical Gazette.52 (380):136–156.doi:10.2307/3612678.JSTOR 3612678.MR 0231278.S2CID 250442107.
  4. ^Coxeter, H.S.M. (1948).Regular Polytopes (3rd ed.). Methuen. p. 258.
  5. ^Akiyama, Jin; Matsunaga, Kiyoko (2015), "15.3 Hilbert's Third Problem and Dehn Theorem",Treks Into Intuitive Geometry, Springer, Tokyo, pp. 382–388,doi:10.1007/978-4-431-55843-9,ISBN 978-4-431-55841-5,MR 3380801.
  6. ^"Zonohedrification".
  7. ^Zonohedrification, George W. Hart,The Mathematica Journal, 1999, Volume: 7, Issue: 3, pp. 374-389[1][2]
  8. ^McMullen, Peter (1975). "Space tiling zonotopes".Mathematika.22 (2):202–211.doi:10.1112/S0025579300006082.
  9. ^J. Bohne, Eine kombinatorische Analyse zonotopaler Raumaufteilungen, Dissertation, Bielefeld 1992; Preprint 92-041, SFB 343, Universität Bielefeld 1992, 100 pages.
  10. ^Richter-Gebert, J., & Ziegler, G. M. (1994). Zonotopal tilings and the Bohne-Dress theorem. Contemporary Mathematics, 178, 211-211.
  11. ^McMullen, Peter (1984-05-01)."Volumes of Projections of unit Cubes".Bulletin of the London Mathematical Society.16 (3):278–280.doi:10.1112/blms/16.3.278.ISSN 0024-6093.

External links

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Zonohedron&oldid=1261811976"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp