Wythoff symbol
In geometry, the Wythoff symbol represents a Wythoff construction of a uniform polyhedron or plane tiling, from a Schwarz triangle. It was first used by Coxeter, Longuet-Higgins and Miller in their enumeration of the uniform polyhedra. A Wythoff symbol consists of a vertical bar, it represents one uniform polyhedron or tiling, although the same tiling/polyhedron can have different Wythoff symbols from different symmetry generators. For example, the regular cube can be represented by 3 | 4 2 with Oh symmetry, 2 4 | 2 as a square prism with 2 colors and D4h symmetry, as well as 2 2 2 | with 3 colors and D 2 h symmetry. With a slight extension, Wythoff's symbol can be applied to all uniform polyhedra. However, the construction methods do not lead to all uniform tilings in Euclidean or hyperbolic space. In three dimensions, Wythoff's construction begins by choosing a generator point on the triangle. If the distance of this point from each of the sides is non-zero, the point must be chosen to be an equal distance from each edge.
A perpendicular line is dropped between the generator point and every face that it does not lie on. The three numbers in Wythoff's symbol, p, q and r, represent the corners of the Schwarz triangle used in the construction, which are π / p, π / q and π / r radians respectively; the triangle is represented with the same numbers, written. The vertical bar in the symbol specifies a categorical position of the generator point within the fundamental triangle according to the following: p | q r indicates that the generator lies on the corner p, p q | r indicates that the generator lies on the edge between p and q, p q r | indicates that the generator lies in the interior of the triangle. In this notation the mirrors are labeled by the reflection-order of the opposite vertex; the p, q, r values are listed before the bar. The one impossible symbol | p q r implies the generator point is on all mirrors, only possible if the triangle is degenerate, reduced to a point; this unused symbol is therefore arbitrarily reassigned to represent the case where all mirrors are active, but odd-numbered reflected images are ignored.
The resulting figure has rotational symmetry only. The generator point can either be off each mirror, activated or not; this distinction creates 8 possible forms, neglecting one where the generator point is on all the mirrors. The Wythoff symbol is functionally similar to the more general Coxeter-Dynkin diagram, in which each node represents a mirror and the arcs between them – marked with numbers – the angles between the mirrors. A node is circled. There are seven generator points with each set of p, q, r: There are three special cases: p q | – This is a mixture of p q r | and p q s |, containing only the faces shared by both. | p q r – Snub forms are given by this otherwise unused symbol. | p q r s – A unique snub form for U75 that isn't Wythoff-constructible. There are 4 symmetry classes of reflection on the sphere, three in the Euclidean plane. A few of the infinitely many such patterns in the hyperbolic plane are listed. Point groups: dihedral symmetry, p = 2, 3, 4 … tetrahedral symmetry octahedral symmetry icosahedral symmetry Euclidean groups: *442 symmetry: 45°-45°-90° triangle *632 symmetry: 30°-60°-90° triangle *333 symmetry: 60°-60°-60° triangleHyperbolic groups: *732 symmetry *832 symmetry *433 symmetry *443 symmetry *444 symmetry *542 symmetry *642 symmetry...
The above symmetry groups only include the integer solutions on the sphere. The list of Schwarz triangles includes rational numbers, determine the full set of solutions of nonconvex uniform polyhedra. In the tilings above, each triangle is a fundamental domain, colored by and odd reflections. Selected tilings created by the Wythoff con
Geometry
Geometry is a branch of mathematics concerned with questions of shape, relative position of figures, the properties of space. A mathematician who works in the field of geometry is called a geometer. Geometry arose independently in a number of early cultures as a practical way for dealing with lengths and volumes. Geometry began to see elements of formal mathematical science emerging in the West as early as the 6th century BC. By the 3rd century BC, geometry was put into an axiomatic form by Euclid, whose treatment, Euclid's Elements, set a standard for many centuries to follow. Geometry arose independently in India, with texts providing rules for geometric constructions appearing as early as the 3rd century BC. Islamic scientists expanded on them during the Middle Ages. By the early 17th century, geometry had been put on a solid analytic footing by mathematicians such as René Descartes and Pierre de Fermat. Since and into modern times, geometry has expanded into non-Euclidean geometry and manifolds, describing spaces that lie beyond the normal range of human experience.
While geometry has evolved throughout the years, there are some general concepts that are more or less fundamental to geometry. These include the concepts of points, planes, surfaces and curves, as well as the more advanced notions of manifolds and topology or metric. Geometry has applications to many fields, including art, physics, as well as to other branches of mathematics. Contemporary geometry has many subfields: Euclidean geometry is geometry in its classical sense; the mandatory educational curriculum of the majority of nations includes the study of points, planes, triangles, similarity, solid figures and analytic geometry. Euclidean geometry has applications in computer science and various branches of modern mathematics. Differential geometry uses techniques of linear algebra to study problems in geometry, it has applications in physics, including in general relativity. Topology is the field concerned with the properties of geometric objects that are unchanged by continuous mappings. In practice, this means dealing with large-scale properties of spaces, such as connectedness and compactness.
Convex geometry investigates convex shapes in the Euclidean space and its more abstract analogues using techniques of real analysis. It has close connections to convex analysis and functional analysis and important applications in number theory. Algebraic geometry studies geometry through the use of multivariate polynomials and other algebraic techniques, it has applications including cryptography and string theory. Discrete geometry is concerned with questions of relative position of simple geometric objects, such as points and circles, it shares many principles with combinatorics. Computational geometry deals with algorithms and their implementations for manipulating geometrical objects. Although being a young area of geometry, it has many applications in computer vision, image processing, computer-aided design, medical imaging, etc; the earliest recorded beginnings of geometry can be traced to ancient Mesopotamia and Egypt in the 2nd millennium BC. Early geometry was a collection of empirically discovered principles concerning lengths, angles and volumes, which were developed to meet some practical need in surveying, construction and various crafts.
The earliest known texts on geometry are the Egyptian Rhind Papyrus and Moscow Papyrus, the Babylonian clay tablets such as Plimpton 322. For example, the Moscow Papyrus gives a formula for calculating the volume of a truncated pyramid, or frustum. Clay tablets demonstrate that Babylonian astronomers implemented trapezoid procedures for computing Jupiter's position and motion within time-velocity space; these geometric procedures anticipated the Oxford Calculators, including the mean speed theorem, by 14 centuries. South of Egypt the ancient Nubians established a system of geometry including early versions of sun clocks. In the 7th century BC, the Greek mathematician Thales of Miletus used geometry to solve problems such as calculating the height of pyramids and the distance of ships from the shore, he is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. Pythagoras established the Pythagorean School, credited with the first proof of the Pythagorean theorem, though the statement of the theorem has a long history.
Eudoxus developed the method of exhaustion, which allowed the calculation of areas and volumes of curvilinear figures, as well as a theory of ratios that avoided the problem of incommensurable magnitudes, which enabled subsequent geometers to make significant advances. Around 300 BC, geometry was revolutionized by Euclid, whose Elements considered the most successful and influential textbook of all time, introduced mathematical rigor through the axiomatic method and is the earliest example of the format still used in mathematics today, that of definition, axiom and proof. Although most of the contents of the Elements were known, Euclid arranged them into a single, coherent logical framework; the Elements was known to all educated people in the West until the middle of the 20th century and its contents are still taught in geometry classes today. Archimedes of Syracuse used the method of exhaustion to calculate the area under the arc of a parabola with the summation of an infinite series, gave remarkably accurate approximations of Pi.
He studied the sp
Dual polyhedron
In geometry, any polyhedron is associated with a second dual figure, 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. Such dual figures remain combinatorial or abstract polyhedra, but not all are geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron. Duality preserves the symmetries of a polyhedron. Therefore, for many classes of polyhedra defined by their symmetries, the duals belong to a symmetric class. Thus, the regular polyhedra – the Platonic solids and Kepler–Poinsot polyhedra – form dual pairs, where the regular tetrahedron is self-dual; the dual of an isogonal polyhedron, having equivalent vertices, is one, isohedral, having equivalent faces. The dual of an isotoxal polyhedron is isotoxal. Duality is related to reciprocity or polarity, a geometric transformation that, when applied to a convex polyhedron, realizes the dual polyhedron as another convex polyhedron.
There are many kinds of duality. The kinds most relevant to elementary polyhedra are polar reciprocity and topological or abstract duality; the duality of polyhedra is defined in terms of polar reciprocation about a concentric sphere. Here, each vertex is associated with a face plane so that the ray from the center to the vertex is perpendicular to the plane, the product of the distances from the center to each is equal to the square of the radius. In coordinates, for reciprocation about the sphere x 2 + y 2 + z 2 = r 2, the vertex is associated with the plane x 0 x + y 0 y + z 0 z = r 2; the vertices of the dual are the poles reciprocal to the face planes of the original, the faces of the dual lie in the polars reciprocal to the vertices of the original. Any two adjacent vertices define an edge, these will reciprocate to two adjacent faces which intersect to define an edge of the dual; this dual pair of edges are always orthogonal to each other. If r 0 is the radius of the sphere, r 1 and r 2 the distances from its centre to the pole and its polar, then: r 1.
R 2 = r 0 2 For the more symmetrical polyhedra having an obvious centroid, it is common to make the polyhedron and sphere concentric, as in the Dorman Luke construction described below. However, it is possible to reciprocate a polyhedron about any sphere, the resulting form of the dual will depend on the size and position of the sphere; the choice of center for the sphere is sufficient to define the dual up to similarity. If multiple symmetry axes are present, they will intersect at a single point, this is taken to be the centroid. Failing that, a circumscribed sphere, inscribed sphere, or midsphere is used. If a polyhedron in Euclidean space has an element passing through the center of the sphere, the corresponding element of its dual will go to infinity. Since Euclidean space never reaches infinity, the projective equivalent, called extended Euclidean space, may be formed by adding the required'plane at infinity'; some theorists prefer to say that there is no dual. Meanwhile, Wenninger found a way to represent these infinite duals, in a manner suitable for making models.
The concept of duality here is related to the duality in projective geometry, where lines and edges are interchanged. Projective polarity works well enough for convex polyhedra, but for non-convex figures such as star polyhedra, when we seek to rigorously define this form of polyhedral duality in terms of projective polarity, various problems appear. Because of the definitional issues for geometric duality of non-convex polyhedra, Grünbaum argues that any proper definition of a non-convex polyhedron should include a notion of a dual polyhedron. Any convex polyhedron can be distorted into a canonical form, in which a unit midsphere exists tangent to every edge, such that the average position of the points of tangency is the center of the sphere; this form is unique up to congruences. If we reciprocate such a canonical polyhedron about its midsphere, the dual polyhedron will share the same edge-tangency points and so must be canonical, it is the canonical dual, the two together form a canonical dual pair.
When a pair of polyhedra cannot be obtained by reciprocation from each other, they may be called duals of each other as long as the vertices of one correspond to the faces of the other, the edges of one correspond to the edges of the other, in an incidence-preserving way. Such pairs of polyhedra are abstractly dual; the vertices and edges of a convex polyhedron form a graph, embedded on a topological sphere, the surface of the polyhedron. The same graph can be projected to form
Cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. The cube is one of the five Platonic solids, it has 6 faces, 12 edges, 8 vertices. The cube is a square parallelepiped, an equilateral cuboid and a right rhombohedron, it is a regular square prism in three orientations, a trigonal trapezohedron in four orientations. The cube is dual to the octahedron, it has octahedral symmetry. The cube is the only convex polyhedron; the cube has four special orthogonal projections, centered, on a vertex, edges and normal to its vertex figure. The first and third correspond to the B2 Coxeter planes; the cube can be represented as a spherical tiling, projected onto the plane via a stereographic projection. This projection is conformal, preserving angles but not lengths. Straight lines on the sphere are projected as circular arcs on the plane. For a cube centered at the origin, with edges parallel to the axes and with an edge length of 2, the Cartesian coordinates of the vertices are while the interior consists of all points with −1 < xi < 1 for all i.
In analytic geometry, a cube's surface with center and edge length of 2a is the locus of all points such that max = a. For a cube of edge length a: As the volume of a cube is the third power of its sides a × a × a, third powers are called cubes, by analogy with squares and second powers. A cube has the largest volume among cuboids with a given surface area. A cube has the largest volume among cuboids with the same total linear size. For a cube whose circumscribing sphere has radius R, for a given point in its 3-dimensional space with distances di from the cube's eight vertices, we have: ∑ i = 1 8 d i 4 8 + 16 R 4 9 = 2. Doubling the cube, or the Delian problem, was the problem posed by ancient Greek mathematicians of using only a compass and straightedge to start with the length of the edge of a given cube and to construct the length of the edge of a cube with twice the volume of the original cube, they were unable to solve this problem, in 1837 Pierre Wantzel proved it to be impossible because the cube root of 2 is not a constructible number.
The cube has three uniform colorings, named by the colors of the square faces around each vertex: 111, 112, 123. The cube has three classes of symmetry, which can be represented by vertex-transitive coloring the faces; the highest octahedral symmetry Oh has all the faces the same color. The dihedral symmetry D4h comes from the cube being a prism, with all four sides being the same color; the lowest symmetry D2h is a prismatic symmetry, with sides alternating colors, so there are three colors, paired by opposite sides. Each symmetry form has a different Wythoff symbol. A cube has eleven nets: that is, there are eleven ways to flatten a hollow cube by cutting seven edges. To color the cube so that no two adjacent faces have the same color, one would need at least three colors; the cube is the cell of the only regular tiling of three-dimensional Euclidean space. It is unique among the Platonic solids in having faces with an number of sides and it is the only member of that group, a zonohedron; the cube can be cut into six identical square pyramids.
If these square pyramids are attached to the faces of a second cube, a rhombic dodecahedron is obtained. The analogue of a cube in four-dimensional Euclidean space has a special name—a tesseract or hypercube. More properly, a hypercube is the analogue of the cube in n-dimensional Euclidean space and a tesseract is the order-4 hypercube. A hypercube is called a measure polytope. There are analogues of the cube in lower dimensions too: a point in dimension 0, a line segment in one dimension and a square in two dimensions; the quotient of the cube by the antipodal map yields the hemicube. If the original cube has edge length 1, its dual polyhedron has edge length 2 / 2; the cube is a special case in various classes of general polyhedra: The vertices of a cube can be grouped into two groups of four, each forming a regular tetrahedron. These two together form the stella octangula; the int
Allotropy
Allotropy or allotropism is the property of some chemical elements to exist in two or more different forms, in the same physical state, known as allotropes of the elements. Allotropes are different structural modifications of an element. For example, the allotropes of carbon include diamond, graphite and fullerenes; the term allotropy is used for elements only, not for compounds. The more general term, used for any crystalline material, is polymorphism. Allotropy refers only to different forms of an element within the same phase. For some elements, allotropes have different molecular formulae despite difference in phase. Other elements do not maintain distinct allotropes in different phases; the concept of allotropy was proposed in 1841 by the Swedish scientist Baron Jöns Jakob Berzelius. The term is derived from Greek, Modern άλλοτροπἱα, meaning'variability, changeableness'. After the acceptance of Avogadro's hypothesis in 1860, it was understood that elements could exist as polyatomic molecules, two allotropes of oxygen were recognized as O2 and O3.
In the early 20th century, it was recognized that other cases such as carbon were due to differences in crystal structure. By 1912, Ostwald noted that the allotropy of elements is just a special case of the phenomenon of polymorphism known for compounds, proposed that the terms allotrope and allotropy be abandoned and replaced by polymorph and polymorphism. Although many other chemists have repeated this advice, IUPAC and most chemistry texts still favour the usage of allotrope and allotropy for elements only. Allotropes are different structural forms of the same element and can exhibit quite different physical properties and chemical behaviours; the change between allotropic forms is triggered by the same forces that affect other structures, i.e. pressure and temperature. Therefore, the stability of the particular allotropes depends on particular conditions. For instance, iron changes from a body-centered cubic structure to a face-centered cubic structure above 906 °C, tin undergoes a modification known as tin pest from a metallic form to a semiconductor form below 13.2 °C.
As an example of allotropes having different chemical behaviour, ozone is a much stronger oxidizing agent than dioxygen. Elements capable of variable coordination number and/or oxidation states tend to exhibit greater numbers of allotropic forms. Another contributing factor is the ability of an element to catenate. Examples of allotropes include: Among the metallic elements that occur in nature in significant quantities half are allotropic at ambient pressure: Li, Be, Na, Ca, Ti, Mn, Fe, Co, Sr, Y, Zr, Sn, La, Ce, Pr, Nd, Sm, Gd, Tb, Dy, Yb, Hf, Tl, Th, Pa and U; some phase transitions between allotropic forms of technologically relevant metals are those of Ti at 882 °C, Fe at 912 °C and 1394 °C, Co at 422 °C, Zr at 863 °C, Sn at 13 °C and U at 668 °C and 776 °C. Cerium, samarium and ytterbium have three allotropes. Praseodymium, neodymium and terbium have two allotropes. Plutonium has six distinct solid allotropes under "normal" pressures, their densities vary within a ratio of some 4:3, which vastly complicates all kinds of work with the metal.
A seventh plutonium allotrope exists at high pressures. The transuranium metals Np, Am, Cm are allotropic. Promethium, americium and californium have three allotropes each. In 2017, the concept of nanoallotropy was proposed by Prof. Rafal Klajn of the Organic Chemistry Department of the Weizmann Institute of Science. Nanoallotropes, or allotropes of nanomaterials, are nanoporous materials that have the same chemical composition, but differ in their architecture at the nanoscale; such nanoallotropes may help create ultra-small electronic devices and find other industrial applications. The different nanoscale architectures translate into different properties, as was demonstrated for surface-enhanced Raman scattering performed on several different nanoallotropes of gold. A two-step method for generating nanoallotropes was created. Isomer Polymorphism Superdense carbon allotropes Chisholm, Hugh, ed.. "Allotropy". Encyclopædia Britannica. Cambridge University Press. "Untitled". Archived from the original on January 31, 2008.
Retrieved January 6, 2017. CS1 maint: BOT: original-url status unknown Allotropes – Chemistry Encyclopedia
Molecular geometry
Molecular geometry is the three-dimensional arrangement of the atoms that constitute a molecule. It includes the general shape of the molecule as well as bond lengths, bond angles, torsional angles and any other geometrical parameters that determine the position of each atom. Molecular geometry influences several properties of a substance including its reactivity, phase of matter, color and biological activity; the angles between bonds that an atom forms depend only weakly on the rest of molecule, i.e. they can be understood as local and hence transferable properties. The molecular geometry can be determined by diffraction methods. IR, microwave and Raman spectroscopy can give information about the molecule geometry from the details of the vibrational and rotational absorbance detected by these techniques. X-ray crystallography, neutron diffraction and electron diffraction can give molecular structure for crystalline solids based on the distance between nuclei and concentration of electron density.
Gas electron diffraction can be used for small molecules in the gas phase. NMR and FRET methods can be used to determine complementary information including relative distances, dihedral angles and connectivity. Molecular geometries are best determined at low temperature because at higher temperatures the molecular structure is averaged over more accessible geometries. Larger molecules exist in multiple stable geometries that are close in energy on the potential energy surface. Geometries can be computed by ab initio quantum chemistry methods to high accuracy; the molecular geometry can be different as a solid, in solution, as a gas. The position of each atom is determined by the nature of the chemical bonds by which it is connected to its neighboring atoms; the molecular geometry can be described by the positions of these atoms in space, evoking bond lengths of two joined atoms, bond angles of three connected atoms, torsion angles of three consecutive bonds. Since the motions of the atoms in a molecule are determined by quantum mechanics, one must define "motion" in a quantum mechanical way.
The overall quantum mechanical motions translation and rotation hardly change the geometry of the molecule. In addition to translation and rotation, a third type of motion is molecular vibration, which corresponds to internal motions of the atoms such as bond stretching and bond angle variation; the molecular vibrations are harmonic, the atoms oscillate about their equilibrium positions at the absolute zero of temperature. At absolute zero all atoms are in their vibrational ground state and show zero point quantum mechanical motion, so that the wavefunction of a single vibrational mode is not a sharp peak, but an exponential of finite width. At higher temperatures the vibrational modes may be thermally excited, but they oscillate still around the recognizable geometry of the molecule. To get a feeling for the probability that the vibration of molecule may be thermally excited, we inspect the Boltzmann factor β ≡ exp , where Δ E is the excitation energy of the vibrational mode, k the Boltzmann constant and T the absolute temperature.
At 298 K, typical values for the Boltzmann factor β are: β = 0.089 for ΔE = 500 cm−1. When an excitation energy is 500 cm−1 about 8.9 percent of the molecules are thermally excited at room temperature. To put this in perspective: the lowest excitation vibrational energy in water is the bending mode. Thus, at room temperature less than 0.07 percent of all the molecules of a given amount of water will vibrate faster than at absolute zero. As stated above, rotation hardly influences the molecular geometry. But, as a quantum mechanical motion, it is thermally excited at low temperatures. From a classical point of view it can be stated that at higher temperatures more molecules will rotate faster, which implies that they have higher angular velocity and angular momentum. In quantum mechanical language: more eigenstates of higher angular momentum become thermally populated with rising temperatures. Typical rotational excitation energies are on the order of a few cm−1; the results of many spectroscopic experiments are broadened because they involve an averaging over rotational states.
It is difficult to extract geometries from spectra at high temperatures, because the number of rotational states probed in the experimental averaging increases with increasing temperature. Thus, many spectroscopic observations can only be expected to yield reliable molecular geometries at temperatures close to absolute zero, because at higher temperatures too many higher rotational states are thermally populated. Molecules, by definition, are most held together with covalent bonds involving single, and/or triple bonds, where a "bond
Polyhedron
In geometry, a polyhedron is a solid in three dimensions with flat polygonal faces, straight edges and sharp corners or vertices. The word polyhedron comes from as poly - + - hedron. A convex polyhedron is the convex hull of finitely many points on the same plane. Cubes and pyramids are examples of convex polyhedra. A polyhedron is a 3-dimensional example of the more general polytope in any number of dimensions. Convex polyhedra are well-defined, with several equivalent standard definitions. However, the formal mathematical definition of polyhedra that are not required to be convex has been problematic. Many definitions of "polyhedron" have been given within particular contexts, some more rigorous than others, there is not universal agreement over which of these to choose; some of these definitions exclude shapes that have been counted as polyhedra or include shapes that are not considered as valid polyhedra. As Branko Grünbaum observed, "The Original Sin in the theory of polyhedra goes back to Euclid, through Kepler, Poinsot and many others... at each stage... the writers failed to define what are the polyhedra".
There is general agreement that a polyhedron is a solid or surface that can be described by its vertices, edges and sometimes by its three-dimensional interior volume. One can distinguish among these different definitions according to whether they describe the polyhedron as a solid, whether they describe it as a surface, or whether they describe it more abstractly based on its incidence geometry. A common and somewhat naive definition of a polyhedron is that it is a solid whose boundary can be covered by finitely many planes or that it is a solid formed as the union of finitely many convex polyhedra. Natural refinements of this definition require the solid to be bounded, to have a connected interior, also to have a connected boundary; the faces of such a polyhedron can be defined as the connected components of the parts of the boundary within each of the planes that cover it, the edges and vertices as the line segments and points where the faces meet. However, the polyhedra defined in this way do not include the self-crossing star polyhedra, their faces may not form simple polygons, some edges may belong to more than two faces.
Definitions based on the idea of a bounding surface rather than a solid are common. For instance, O'Rourke defines a polyhedron as a union of convex polygons, arranged in space so that the intersection of any two polygons is a shared vertex or edge or the empty set and so that their union is a manifold. If a planar part of such a surface is not itself a convex polygon, O'Rourke requires it to be subdivided into smaller convex polygons, with flat dihedral angles between them. Somewhat more Grünbaum defines an acoptic polyhedron to be a collection of simple polygons that form an embedded manifold, with each vertex incident to at least three edges and each two faces intersecting only in shared vertices and edges of each. Cromwell gives a similar definition but without the restriction of three edges per vertex. Again, this type of definition does not encompass the self-crossing polyhedra. Similar notions form the basis of topological definitions of polyhedra, as subdivisions of a topological manifold into topological disks whose pairwise intersections are required to be points, topological arcs, or the empty set.
However, there exist topological polyhedra. One modern approach is based on the theory of abstract polyhedra; these can be defined as ordered sets whose elements are the vertices and faces of a polyhedron. A vertex or edge element is less than an edge or face element when the vertex or edge is part of the edge or face. Additionally, one may include a special bottom element of this partial order and a top element representing the whole polyhedron. If the sections of the partial order between elements three levels apart have the same structure as the abstract representation of a polygon these ordered sets carry the same information as a topological polyhedron. However, these requirements are relaxed, to instead require only that sections between elements two levels apart have the same structure as the abstract representation of a line segment. Geometric polyhedra, defined in other ways, can be described abstractly in this way, but it is possible to use abstract polyhedra as the basis of a definition of geometric polyhedra.
A realization of an abstract polyhedron is taken to be a mapping from the vertices of the abstract polyhedron to geometric points, such that the points of each face are coplanar. A geometric polyhedron can be defined as a realization of an abstract polyhedron. Realizations that forgo the requirement of planarity, that impose additional requirements of symmetry, or that map the vertices to higher dimensional spaces have been considered. Unlike the solid-based and surface-based definitions, this works well for star polyhedra. However, without additional restrictions, this definition allows degenerate or unfaithful polyhedra (for instance, by mapp