“Plesiohedron”的意思、由来-开放百科全书

In geometry, a plesiohedron is a special kind of space-filling polyhedron, defined as the Voronoi cell of a symmetric Delone set.

Three-dimensional Euclidean space can be completely filled by copies of any one of these shapes, with no overlaps. The resulting honeycomb will have symmetries that take any copy of the plesiohedron to any other copy.

The plesiohedra include such well-known shapes as the cube, hexagonal prism, rhombic dodecahedron, and truncated octahedron.

Although there are only a finite number of combinatorially distinct types of plesiohedron, the complete list is not known. The largest number of faces that a plesiohedron can have is also unknown, but this maximum number of faces is at least 38 and at most 92.

Definition

A set

of points in Euclidean space is a Delone set if there exists a number

such that every two points of

are at least at distance

apart from each other and such that every point of space is within distance

of at least one point in

. So

fills space, but its points never come too close to each other. For this to be true,

must be infinite.

Additionally, the set

is symmetric (in the sense needed to define a plesiohedron) if, for every two points

and

, there exists a rigid motion of space that takes

and

. That is, the symmetries of

act transitively on

.^[1]

The Voronoi diagram of any set

of points partitions space into regions called Voronoi cells that are nearer to one given point of

than to any other. When

is a Delone set, the Voronoi cell of each point

is a convex polyhedron. The faces of this polyhedron lie on the planes that perpendicularly bisect the line segments from

to other nearby points of

.^[1]

When

is symmetric as well as being Delone, the Voronoi cells must all be congruent to each other, for the symmetries of

must also be symmetries of the Voronoi diagram. In this case, the Voronoi diagram forms a honeycomb in which there is only a single prototile shape, the shape of these Voronoi cells. This shape is called a plesiohedron. The tiling generated in this way is isohedral, meaning that it not only has a single prototile ("monohedral") but also that any copy of this tile can be taken to any other copy by a symmetry of the tiling.^[2]

As with any space-filling polyhedron, the Dehn invariant of a plesiohedron is necessarily zero.^[3]

Examples

The plesiohedra include the five parallelohedra. These are polyhedra that can tile space in such a way that every tile is symmetric to every other tile by a translational symmetry, without rotation. Equivalently, they are the Voronoi cells of lattices, as these are the translationally-symmetric Delone sets. Plesiohedra are a special case of the stereohedra, the prototiles of isohedral tilings more generally.^[2] For this reason (and because Voronoi diagrams are also known as Dirichlet tesselations) they have also been called "Dirichlet stereohedra"^[6]

There are only finitely many combinatorial types of plesiohedron, but a complete classification of them is unknown. Notable individual plesiohedra include:

Many other plesiohedra are known. Two different ones with the largest known number of faces, 38, were discovered by crystallographer Peter Engel.^[2]^[8] On the other hand, analysis of the possible symmetries of three-dimensional space shows that every plesiohedron, and more generally every stereohedron, has at most 92 faces. It follows that the number of combinatorially distinct types of plesiohedron is finite. However, closing the gap between the examples with 38 faces and the upper bound of 92 faces remains an open problem.^[9]^[10]

The Voronoi cells of points uniformly spaced on a helix fill space, are all congruent to each other, and can be made to have arbitrarily large numbers of faces.^[11] However, the points on a helix are not a Delone set and their Voronoi cells are not bounded polyhedra.

References

1. ^{{citation | last = Aurenhammer | first = Franz | authorlink = Franz Aurenhammer | date = September 1991 | doi = 10.1145/116873.116880 | issue = 3 | journal = ACM Computing Surveys | pages = 345–405 | title = Voronoi diagrams—a survey of a fundamental geometric data structure | volume = 23}}. See especially section 1.2.1, "Regularly Placed Sites", pp. 354–355.
2. ^¹²³⁴{{citation | last1 = Grünbaum | first1 = Branko | author1-link = Branko Grünbaum | last2 = Shephard | first2 = G. C. | author2-link = Geoffrey Colin Shephard | doi = 10.1090/S0273-0979-1980-14827-2 | issue = 3 | journal = Bulletin of the American Mathematical Society | mr = 585178 | pages = 951–973 | series = New Series | title = Tilings with congruent tiles | volume = 3 | year = 1980}}.
3. ^{{citation | last1 = Lagarias | first1 = J. C. | author1-link = Jeffrey Lagarias | last2 = Moews | first2 = D. | doi = 10.1007/BF02574064 | issue = 3-4 | journal = Discrete and Computational Geometry | mr = 1318797 | pages = 573–583 | title = Polytopes that fill

and scissors congruence | volume = 13 | year = 1995}}.
4. ^{{citation | last = Erdahl | first = R. M. | doi = 10.1006/eujc.1999.0294 | issue = 6 | journal = European Journal of Combinatorics | mr = 1703597 | pages = 527–549 | title = Zonotopes, dicings, and Voronoi's conjecture on parallelohedra | volume = 20 | year = 1999}}. Voronoi conjectured that all tilings of higher dimensional spaces by translates of a single convex polytope are combinatorially equivalent to Voronoi tilings, and Erdahl proves this in the special case of zonotopes. But as he writes (p. 429), Voronoi's conjecture for dimensions at most four was already proven by Delaunay. For the classification of three-dimensional parallelohedra into these five types, see {{harvtxt|Grünbaum|Shephard|1980}}.
5. ^{{citation | last = Pugh | first = Anthony | contribution = Close-packing polyhedra | contribution-url = https://books.google.com/books?id=IDDxpYQTR7kC&pg=PA48 | mr = 0451161 | pages = 48–50 | publisher = University of California Press, Berkeley, Calif.-London | title = Polyhedra: a visual approach | year = 1976}}.
6. ^{{citation | last1 = Delone | first1 = B. N. | author1-link = Boris Delaunay | last2 = Dolbilin | first2 = N. P. | last3 = Štogrin | first3 = M. I. | journal = Trudy Matematicheskogo Instituta imeni V. A. Steklova | mr = 558946 | pages = 109–140, 275 | title = Combinatorial and metric theory of planigons | volume = 148 | year = 1978}}.
7. ^{{citation | last = Schoen | first = Alan H. | date = June–July 2008 | issue = 6 | journal = Notices of the American Mathematical Society | page = 663 | title = On the graph (10,3)-a | url = http://www.ams.org/notices/200806/tx080600663p.pdf | volume = 55}}.
8. ^{{citation | last = Engel | first = Peter | doi = 10.1524/zkri.1981.154.3-4.199 | issue = 3-4 | journal = Zeitschrift für Kristallographie, Kristallgeometrie, Kristallphysik, Kristallchemie | mr = 598811 | pages = 199–215 | title = Über Wirkungsbereichsteilungen von kubischer Symmetrie | volume = 154 | year = 1981| bibcode = 1981ZK....154..199E }}.
9. ^{{citation | last = Shephard | first = G. C. | authorlink = Geoffrey Colin Shephard | doi = 10.2307/3616930 | issue = 448 | journal = The Mathematical Gazette | page = 117 | title = 69.14 Space Filling with Identical Symmetrical Solids | volume = 69 | year = 1985}}.
10. ^¹{{citation | last1 = Sabariego | first1 = Pilar | last2 = Santos | first2 = Francisco | author2-link = Francisco Santos Leal | doi = 10.1007/s13366-011-0010-5 | issue = 2 | journal = Beiträge zur Algebra und Geometrie | mr = 2842627 | pages = 237–263 | title = On the number of facets of three-dimensional Dirichlet stereohedra IV: quarter cubic groups | volume = 52 | year = 2011| arxiv = 0708.2114}}.
11. ^{{citation | last1 = Erickson | first1 = Jeff | last2 = Kim | first2 = Scott | author2-link = Scott Kim | arxiv = math/0106095 | contribution = Arbitrarily large neighborly families of congruent symmetric convex 3-polytopes | mr = 2034721 | pages = 267–278 | publisher = Dekker, New York | series = Monogr. Textbooks Pure Appl. Math. | title = Discrete geometry | volume = 253 | year = 2003| bibcode = 2001math......6095E}}.

Definition

Examples

References

External links