1.
Schlegel diagram
–
In geometry, a Schlegel diagram is a projection of a polytope from R d into R d −1 through a point beyond one of its facets or faces. The resulting entity is a subdivision of the facet in R d −1 that is combinatorially equivalent to the original polytope. Named for Victor Schlegel, who in 1886 introduced this tool for studying combinatorial and topological properties of polytopes, in dimensions 3 and 4, a Schlegel diagram is a projection of a polyhedron into a plane figure and a projection of a 4-polytope to 3-space, respectively. As such, Schlegel diagrams are used as a means of visualizing four-dimensional polytopes. The most elementary Schlegel diagram, that of a polyhedron, was described by Duncan Sommerville as follows, if it is projected from any external point, since each ray cuts it twice, it will be represented by a polygonal area divided twice over into polygons. It is always possible by suitable choice of the centre of projection to make the projection of one face completely contain the projections of all the other faces and this is called a Schlegel diagram of the polyhedron. The Schlegel diagram completely represents the morphology of the polyhedron, Sommerville also considers the case of a simplex in four dimensions, The Schlegel diagram of simplex in S4 is a tetrahedron divided into four tetrahedra. More generally, a polytope in n-dimensions has a Schegel diagram constructed by a perspective projection viewed from a point outside of the polytope, all vertices and edges of the polytope are projected onto a hyperplane of that facet. If the polytope is convex, a point near the facet will exist which maps the facet outside, and all other facets inside, so no edges need to cross in the projection. Net – A different approach for visualization by lowering the dimension of a polytope is to build a net, disconnecting facets and this maintains the geometric scale and shape, but makes the topological connections harder to see. Victor Schlegel Theorie der homogen zusammengesetzten Raumgebilde, Nova Acta, Ksl, deutsche Akademie der Naturforscher, Band XLIV, Nr. 4, Druck von E. Blochmann & Sohn in Dresden, Victor Schlegel Ueber Projectionsmodelle der regelmässigen vier-dimensionalen Körper, Waren. Regular Polytopes, Dover edition, ISBN 0-486-61480-8 Grünbaum, Branko, Kaibel, Volker, Klee, Victor, convex polytopes, New York & London, Springer-Verlag, ISBN 0-387-00424-6. George W. Hart, 4D Polytope Projection Models by 3D Printing Nrich maths – for the teenager
2.
Convex regular 4-polytope
–
In mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the analogs of the regular polyhedra in three dimensions and the regular polygons in two dimensions. Regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century, There are six convex and ten star regular 4-polytopes, giving a total of sixteen. The convex regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century, Schläfli discovered that there are precisely six such figures. Schläfli also found four of the regular star 4-polytopes and he skipped the remaining six because he would not allow forms that failed the Euler characteristic on cells or vertex figures. That excludes cells and vertex figures as, and, the six convex and ten star polytopes described are the only solutions to these constraints. There are four nonconvex Schläfli symbols that have cells and vertex figures, and pass the dihedral test. The regular convex 4-polytopes are the analogs of the Platonic solids in three dimensions and the convex regular polygons in two dimensions. Five of them may be thought of as close analogs of the Platonic solids, There is one additional figure, the 24-cell, which has no close three-dimensional equivalent. Each convex regular 4-polytope is bounded by a set of 3-dimensional cells which are all Platonic solids of the same type and these are fitted together along their respective faces in a regular fashion. The following tables lists some properties of the six convex regular 4-polytopes, the symmetry groups of these 4-polytopes are all Coxeter groups and given in the notation described in that article. The number following the name of the group is the order of the group, John Conway advocates the names simplex, orthoplex, tesseract, octaplex or polyoctahedron, dodecaplex or polydodecahedron, and tetraplex or polytetrahedron. The Euler characteristic for all 4-polytopes is zero, we have the 4-dimensional analog of Eulers polyhedral formula, the topology of any given 4-polytope is defined by its Betti numbers and torsion coefficients. The following table shows some 2-dimensional projections of these 4-polytopes, various other visualizations can be found in the external links below. The Coxeter-Dynkin diagram graphs are given below the Schläfli symbol. The Schläfli–Hess 4-polytopes are the set of 10 regular self-intersecting star polychora. They are named in honor of their discoverers, Ludwig Schläfli, each is represented by a Schläfli symbol in which one of the numbers is 5/2. They are thus analogous to the regular nonconvex Kepler–Poinsot polyhedra and their names given here were given by John Conway, extending Cayleys names for the Kepler–Poinsot polyhedra, along with stellated and great, he adds a grand modifier
3.
Face (geometry)
–
In solid geometry, a face is a flat surface that forms part of the boundary of a solid object, a three-dimensional solid bounded exclusively by flat faces is a polyhedron. In more technical treatments of the geometry of polyhedra and higher-dimensional polytopes, in elementary geometry, a face is a polygon on the boundary of a polyhedron. Other names for a polygonal face include side of a polyhedron, for example, any of the six squares that bound a cube is a face of the cube. Sometimes face is used to refer to the 2-dimensional features of a 4-polytope. With this meaning, the 4-dimensional tesseract has 24 square faces, some other polygons, which are not faces, are also important for polyhedra and tessellations. These include Petrie polygons, vertex figures and facets, any convex polyhedrons surface has Euler characteristic V − E + F =2, where V is the number of vertices, E is the number of edges, and F is the number of faces. This equation is known as Eulers polyhedron formula, thus the number of faces is 2 more than the excess of the number of edges over the number of vertices. For example, a cube has 12 edges and 8 vertices, in higher-dimensional geometry the faces of a polytope are features of all dimensions. A face of dimension k is called a k-face, for example, the polygonal faces of an ordinary polyhedron are 2-faces. In set theory, the set of faces of a polytope includes the polytope itself, for any n-polytope, −1 ≤ k ≤ n. For example, with meaning, the faces of a cube include the empty set, its vertices, edges and squares. Formally, a face of a polytope P is the intersection of P with any closed halfspace whose boundary is disjoint from the interior of P, from this definition it follows that the set of faces of a polytope includes the polytope itself and the empty set. In other areas of mathematics, such as the theories of abstract polytopes and star polytopes, abstract theory still requires that the set of faces include the polytope itself and the empty set. A cell is an element of a 4-dimensional polytope or 3-dimensional tessellation. Cells are facets for 4-polytopes and 3-honeycombs, examples, In higher-dimensional geometry, the facets of a n-polytope are the -faces of dimension one less than the polytope itself. A polytope is bounded by its facets, for example, The facets of a line segment are its 0-faces or vertices. The facets of a polygon are its 1-faces or edges, the facets of a polyhedron or plane tiling are its 2-faces. The facets of a 4D polytope or 3-honeycomb are its 3-faces, the facets of a 5D polytope or 4-honeycomb are its 4-faces
4.
Dodecahedron
–
In geometry, a dodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the dodecahedron, which is a Platonic solid. There are also three regular star dodecahedra, which are constructed as stellations of the convex form, all of these have icosahedral symmetry, order 120. The pyritohedron is a pentagonal dodecahedron, having the same topology as the regular one. The rhombic dodecahedron, seen as a case of the pyritohedron has octahedral symmetry. The elongated dodecahedron and trapezo-rhombic dodecahedron variations, along with the rhombic dodecahedra are space-filling, there are a large number of other dodecahedra. The convex regular dodecahedron is one of the five regular Platonic solids, the dual polyhedron is the regular icosahedron, having five equilateral triangles around each vertex. Like the regular dodecahedron, it has twelve pentagonal faces. However, the pentagons are not constrained to be regular, and its 30 edges are divided into two sets – containing 24 and 6 edges of the same length. The only axes of symmetry are three mutually perpendicular twofold axes and four threefold axes. Note that the regular dodecahedron can occur as a shape for quasicrystals with icosahedral symmetry. Its name comes from one of the two common crystal habits shown by pyrite, the one being the cube. The coordinates of the eight vertices of the cube are, The coordinates of the 12 vertices of the cross-edges are. When h =1, the six cross-edges degenerate to points, when h =0, the cross-edges are absorbed in the facets of the cube, and the pyritohedron reduces to a cube. When h = √5 − 1/2, the inverse of the golden ratio, a reflected pyritohedron is made by swapping the nonzero coordinates above. The two pyritohedra can be superimposed to give the compound of two dodecahedra as seen in the image here, the regular dodecahedron represents a special intermediate case where all edges and angles are equal. A tetartoid is a dodecahedron with chiral tetrahedral symmetry, like the regular dodecahedron, it has twelve identical pentagonal faces, with three meeting in each of the 20 vertices. However, the pentagons are not regular and the figure has no fivefold symmetry axes, although regular dodecahedra do not exist in crystals, the tetartoid form does
5.
2-face
–
In solid geometry, a face is a flat surface that forms part of the boundary of a solid object, a three-dimensional solid bounded exclusively by flat faces is a polyhedron. In more technical treatments of the geometry of polyhedra and higher-dimensional polytopes, in elementary geometry, a face is a polygon on the boundary of a polyhedron. Other names for a polygonal face include side of a polyhedron, for example, any of the six squares that bound a cube is a face of the cube. Sometimes face is used to refer to the 2-dimensional features of a 4-polytope. With this meaning, the 4-dimensional tesseract has 24 square faces, some other polygons, which are not faces, are also important for polyhedra and tessellations. These include Petrie polygons, vertex figures and facets, any convex polyhedrons surface has Euler characteristic V − E + F =2, where V is the number of vertices, E is the number of edges, and F is the number of faces. This equation is known as Eulers polyhedron formula, thus the number of faces is 2 more than the excess of the number of edges over the number of vertices. For example, a cube has 12 edges and 8 vertices, in higher-dimensional geometry the faces of a polytope are features of all dimensions. A face of dimension k is called a k-face, for example, the polygonal faces of an ordinary polyhedron are 2-faces. In set theory, the set of faces of a polytope includes the polytope itself, for any n-polytope, −1 ≤ k ≤ n. For example, with meaning, the faces of a cube include the empty set, its vertices, edges and squares. Formally, a face of a polytope P is the intersection of P with any closed halfspace whose boundary is disjoint from the interior of P, from this definition it follows that the set of faces of a polytope includes the polytope itself and the empty set. In other areas of mathematics, such as the theories of abstract polytopes and star polytopes, abstract theory still requires that the set of faces include the polytope itself and the empty set. A cell is an element of a 4-dimensional polytope or 3-dimensional tessellation. Cells are facets for 4-polytopes and 3-honeycombs, examples, In higher-dimensional geometry, the facets of a n-polytope are the -faces of dimension one less than the polytope itself. A polytope is bounded by its facets, for example, The facets of a line segment are its 0-faces or vertices. The facets of a polygon are its 1-faces or edges, the facets of a polyhedron or plane tiling are its 2-faces. The facets of a 4D polytope or 3-honeycomb are its 3-faces, the facets of a 5D polytope or 4-honeycomb are its 4-faces
6.
Pentagon
–
In geometry, a pentagon is any five-sided polygon or 5-gon. The sum of the angles in a simple pentagon is 540°. A pentagon may be simple or self-intersecting, a self-intersecting regular pentagon is called a pentagram. A regular pentagon has Schläfli symbol and interior angles are 108°, a regular pentagon has five lines of reflectional symmetry, and rotational symmetry of order 5. The diagonals of a regular pentagon are in the golden ratio to its sides. The area of a regular convex pentagon with side length t is given by A = t 225 +1054 =5 t 2 tan 4 ≈1.720 t 2. A pentagram or pentangle is a regular star pentagon and its sides form the diagonals of a regular convex pentagon – in this arrangement the sides of the two pentagons are in the golden ratio. The area of any polygon is, A =12 P r where P is the perimeter of the polygon. Substituting the regular pentagons values for P and r gives the formula A =12 ×5 t × t tan 2 =5 t 2 tan 4 with side length t, like every regular convex polygon, the regular convex pentagon has an inscribed circle. The apothem, which is the r of the inscribed circle. Like every regular polygon, the regular convex pentagon has a circumscribed circle. For a regular pentagon with successive vertices A, B, C, D, E, the regular pentagon is constructible with compass and straightedge, as 5 is a Fermat prime. A variety of methods are known for constructing a regular pentagon, one method to construct a regular pentagon in a given circle is described by Richmond and further discussed in Cromwells Polyhedra. The top panel shows the construction used in Richmonds method to create the side of the inscribed pentagon, the circle defining the pentagon has unit radius. Its center is located at point C and a midpoint M is marked halfway along its radius and this point is joined to the periphery vertically above the center at point D. Angle CMD is bisected, and the bisector intersects the axis at point Q. A horizontal line through Q intersects the circle at point P, to determine the length of this side, the two right triangles DCM and QCM are depicted below the circle. Using Pythagoras theorem and two sides, the hypotenuse of the triangle is found as 5 /2
7.
Edge (geometry)
–
For edge in graph theory, see Edge In geometry, an edge is a particular type of line segment joining two vertices in a polygon, polyhedron, or higher-dimensional polytope. In a polygon, an edge is a segment on the boundary. In a polyhedron or more generally a polytope, an edge is a segment where two faces meet. A segment joining two vertices while passing through the interior or exterior is not an edge but instead is called a diagonal. In graph theory, an edge is an abstract object connecting two vertices, unlike polygon and polyhedron edges which have a concrete geometric representation as a line segment. However, any polyhedron can be represented by its skeleton or edge-skeleton, conversely, the graphs that are skeletons of three-dimensional polyhedra can be characterized by Steinitzs theorem as being exactly the 3-vertex-connected planar graphs. Any convex polyhedrons surface has Euler characteristic V − E + F =2, where V is the number of vertices, E is the number of edges and this equation is known as Eulers polyhedron formula. Thus the number of edges is 2 less than the sum of the numbers of vertices and faces, for example, a cube has 8 vertices and 6 faces, and hence 12 edges. In a polygon, two edges meet at each vertex, more generally, by Balinskis theorem, at least d edges meet at every vertex of a convex polytope. Similarly, in a polyhedron, exactly two faces meet at every edge, while in higher dimensional polytopes three or more two-dimensional faces meet at every edge. Thus, the edges of a polygon are its facets, the edges of a 3-dimensional convex polyhedron are its ridges, archived from the original on 4 February 2007
8.
Vertex (geometry)
–
In geometry, a vertex is a point where two or more curves, lines, or edges meet. As a consequence of this definition, the point where two lines meet to form an angle and the corners of polygons and polyhedra are vertices. A vertex is a point of a polygon, polyhedron, or other higher-dimensional polytope. However, in theory, vertices may have fewer than two incident edges, which is usually not allowed for geometric vertices. However, a smooth approximation to a polygon will also have additional vertices. A polygon vertex xi of a simple polygon P is a principal polygon vertex if the diagonal intersects the boundary of P only at x and x, there are two types of principal vertices, ears and mouths. A principal vertex xi of a simple polygon P is called an ear if the diagonal that bridges xi lies entirely in P, according to the two ears theorem, every simple polygon has at least two ears. A principal vertex xi of a simple polygon P is called a mouth if the diagonal lies outside the boundary of P. Any convex polyhedrons surface has Euler characteristic V − E + F =2, where V is the number of vertices, E is the number of edges and this equation is known as Eulers polyhedron formula. Thus the number of vertices is 2 more than the excess of the number of edges over the number of faces, for example, a cube has 12 edges and 6 faces, and hence 8 vertices
9.
Vertex figure
–
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off. Take some vertex of a polyhedron, mark a point somewhere along each connected edge. Draw lines across the faces, joining adjacent points. When done, these form a complete circuit, i. e. a polygon. This polygon is the vertex figure, more precise formal definitions can vary quite widely, according to circumstance. For example Coxeter varies his definition as convenient for the current area of discussion, most of the following definitions of a vertex figure apply equally well to infinite tilings, or space-filling tessellation with polytope cells. Make a slice through the corner of the polyhedron, cutting all the edges connected to the vertex. The cut surface is the vertex figure and this is perhaps the most common approach, and the most easily understood. Different authors make the slice in different places, Wenninger cuts each edge a unit distance from the vertex, as does Coxeter. For uniform polyhedra the Dorman Luke construction cuts each connected edge at its midpoint, other authors make the cut through the vertex at the other end of each edge. For irregular polyhedra, these approaches may produce a figure that does not lie in a plane. A more general approach, valid for convex polyhedra, is to make the cut along any plane which separates the given vertex from all the other vertices. Cromwell makes a cut or scoop, centered on the vertex. The cut surface or vertex figure is thus a spherical polygon marked on this sphere, many combinatorial and computational approaches treat a vertex figure as the ordered set of points of all the neighboring vertices to the given vertex. In the theory of polytopes, the vertex figure at a given vertex V comprises all the elements which are incident on the vertex, edges, faces. More formally it is the -section Fn/V, where Fn is the greatest face and this set of elements is elsewhere known as a vertex star. A vertex figure for an n-polytope is an -polytope, for example, a vertex figure for a polyhedron is a polygon figure, and the vertex figure for a 4-polytope is a polyhedron. Each edge of the vertex figure exists on or inside of a face of the original polytope connecting two vertices from an original face
10.
Tetrahedron
–
In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ordinary convex polyhedra, the tetrahedron is the three-dimensional case of the more general concept of a Euclidean simplex. The tetrahedron is one kind of pyramid, which is a polyhedron with a polygon base. In the case of a tetrahedron the base is a triangle, like all convex polyhedra, a tetrahedron can be folded from a single sheet of paper. For any tetrahedron there exists a sphere on which all four vertices lie, a regular tetrahedron is one in which all four faces are equilateral triangles. It is one of the five regular Platonic solids, which have known since antiquity. In a regular tetrahedron, not only are all its faces the same size and shape, regular tetrahedra alone do not tessellate, but if alternated with regular octahedra they form the alternated cubic honeycomb, which is a tessellation. The regular tetrahedron is self-dual, which means that its dual is another regular tetrahedron, the compound figure comprising two such dual tetrahedra form a stellated octahedron or stella octangula. This form has Coxeter diagram and Schläfli symbol h, the tetrahedron in this case has edge length 2√2. Inverting these coordinates generates the dual tetrahedron, and the together form the stellated octahedron. In other words, if C is the centroid of the base and this follows from the fact that the medians of a triangle intersect at its centroid, and this point divides each of them in two segments, one of which is twice as long as the other. The vertices of a cube can be grouped into two groups of four, each forming a regular tetrahedron, the symmetries of a regular tetrahedron correspond to half of those of a cube, those that map the tetrahedra to themselves, and not to each other. The tetrahedron is the only Platonic solid that is not mapped to itself by point inversion, the regular tetrahedron has 24 isometries, forming the symmetry group Td, isomorphic to the symmetric group, S4. The first corresponds to the A2 Coxeter plane, the two skew perpendicular opposite edges of a regular tetrahedron define a set of parallel planes. When one of these intersects the tetrahedron the resulting cross section is a rectangle. When the intersecting plane is one of the edges the rectangle is long. When halfway between the two edges the intersection is a square, the aspect ratio of the rectangle reverses as you pass this halfway point. For the midpoint square intersection the resulting boundary line traverses every face of the tetrahedron similarly, if the tetrahedron is bisected on this plane, both halves become wedges
11.
Petrie polygon
–
In geometry, a Petrie polygon for a regular polytope of n dimensions is a skew polygon such that every consecutive sides belong to one of the facets. The Petrie polygon of a polygon is the regular polygon itself. For every regular polytope there exists an orthogonal projection onto a plane such that one Petrie polygon becomes a regular polygon with the remainder of the interior to it. The plane in question is the Coxeter plane of the group of the polygon. These polygons and projected graphs are useful in visualizing symmetric structure of the regular polytopes. John Flinders Petrie was the son of Egyptologist Flinders Petrie. He was born in 1907 and as a schoolboy showed remarkable promise of mathematical ability, in periods of intense concentration he could answer questions about complicated four-dimensional objects by visualizing them. He first noted the importance of the skew polygons which appear on the surface of regular polyhedra. When my incredulity had begun to subside, he described them to me, one consisting of squares, six at each vertex, in 1938 Petrie collaborated with Coxeter, Patrick du Val, and H. T. Flather to produce The Fifty-Nine Icosahedra for publication, realizing the geometric facility of the skew polygons used by Petrie, Coxeter named them after his friend when he wrote Regular Polytopes. In 1972, a few months after his retirement, Petrie was killed by a car attempting to cross a motorway near his home in Surrey. The idea of Petrie polygons was later extended to semiregular polytopes, the Petrie polygon of the regular polyhedron has h sides, where h+2=24/. The regular duals, and, are contained within the same projected Petrie polygon, three of the Kepler–Poinsot polyhedra have hexagonal, and decagrammic, petrie polygons. The Petrie polygon projections are most useful for visualization of polytopes of dimension four and this table represents Petrie polygon projections of 3 regular families, and the exceptional Lie group En which generate semiregular and uniform polytopes for dimensions 4 to 8. Coxeter, H. S. M. Regular Polytopes, 3rd ed, Section 4.3 Flags and Orthoschemes, Section 11.3 Petrie polygons Ball, W. W. R. and H. S. M. Coxeter Mathematical Recreations and Essays, 13th ed. The Beauty of Geometry, Twelve Essays, Dover Publications LCCN 99-35678 Peter McMullen, Egon Schulte Abstract Regular Polytopes, ISBN 0-521-81496-0 Steinberg, Robert, ON THE NUMBER OF SIDES OF A PETRIE POLYGON Weisstein, Eric W. Petrie polygon. Weisstein, Eric W. Cross polytope graphs, Weisstein, Eric W. Gosset graph 3_21
12.
Triacontagon
–
In geometry, a triacontagon or 30-gon is a thirty-sided polygon. The sum of any triacontagons interior angles is 5040 degrees, the regular triacontagon is a constructible polygon, by an edge-bisection of a regular pentadecagon, and can also be constructed as a truncated pentadecagon, t. A truncated triacontagon, t, is a hexacontagon, one interior angle in a regular triacontagon is 168°, meaning that one exterior angle would be 12°. The regular triacontagon has Dih30 dihedral symmetry, order 60, represented by 30 lines of reflection, Dih30 has 7 dihedral subgroups, Dih15, and. It also has eight more cyclic symmetries as subgroups, and, john Conway labels these lower symmetries with a letter and order of the symmetry follows the letter. He gives d with mirror lines through vertices, p with mirror lines through edges and these lower symmetries allows degrees of freedoms in defining irregular triacontagons. Only the g30 subgroup has no degrees of freedom but can seen as directed edges, a triacontagram is a 30-sided star polygon. There are 3 regular forms given by Schläfli symbols, and, there are also isogonal triacontagrams constructed as deeper truncations of the regular pentadecagon and pentadecagram, and inverted pentadecagrams, and. Other truncations form double coverings, t==2, t==2, t==2, the regular triacontagon is the Petrie polygon for three 8-dimensional polytopes with E8 symmetry, shown in orthogonal projections in the E8 Coxeter plane. It is also the Petrie polygon for two 4-dimensional polytopes, shown in the H4 Coxeter plane, the regular triacontagram is also the Petrie polygon for the great grand stellated 120-cell and grand 600-cell
13.
Coxeter group
–
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections. Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups, however, not all Coxeter groups are finite, and not all can be described in terms of symmetries and Euclidean reflections. Coxeter groups were introduced as abstractions of reflection groups, and finite Coxeter groups were classified in 1935, Coxeter groups find applications in many areas of mathematics. Examples of finite Coxeter groups include the groups of regular polytopes. The condition m i j = ∞ means no relation of the form m should be imposed, the pair where W is a Coxeter group with generators S = is called a Coxeter system. Note that in general S is not uniquely determined by W, for example, the Coxeter groups of type B3 and A1 × A3 are isomorphic but the Coxeter systems are not equivalent. A number of conclusions can be drawn immediately from the above definition, the relation m i i =1 means that 1 =2 =1 for all i, as such the generators are involutions. If m i j =2, then the r i and r j commute. This follows by observing that x x = y y =1, in order to avoid redundancy among the relations, it is necessary to assume that m i j = m j i. This follows by observing that y y =1, together with m =1 implies that m = m y y = y m y = y y =1. Alternatively, k and k are elements, as y k y −1 = k y y −1 = k. The Coxeter matrix is the n × n, symmetric matrix with entries m i j, indeed, every symmetric matrix with positive integer and ∞ entries and with 1s on the diagonal such that all nondiagonal entries are greater than 1 serves to define a Coxeter group. The Coxeter matrix can be encoded by a Coxeter diagram. The vertices of the graph are labelled by generator subscripts, vertices i and j are adjacent if and only if m i j ≥3. An edge is labelled with the value of m i j whenever the value is 4 or greater, in particular, two generators commute if and only if they are not connected by an edge. Furthermore, if a Coxeter graph has two or more connected components, the group is the direct product of the groups associated to the individual components. Thus the disjoint union of Coxeter graphs yields a product of Coxeter groups. The Coxeter matrix, M i j, is related to the n × n Schläfli matrix C with entries C i j = −2 cos , but the elements are modified, being proportional to the dot product of the pairwise generators
14.
Dual polyhedron
–
Such dual figures remain combinatorial or abstract polyhedra, but not all are also 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 classes of polyhedra defined by their symmetries. Thus, the regular polyhedra – the Platonic solids and Kepler-Poinsot polyhedra – form dual pairs, the dual of an isogonal polyhedron, having equivalent vertices, is one which is isohedral, having equivalent faces. The dual of a polyhedron is also isotoxal. Duality is closely related to reciprocity or polarity, a transformation that. 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 often defined in terms of polar reciprocation about a concentric sphere. 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 reciprocal to the face planes of the original. Also, any two adjacent vertices define an edge, and these will reciprocate to two adjacent faces which intersect to define an edge of the dual and this dual pair of edges are always orthogonal to each other. If r 0 is the radius of the sphere, and r 1 and r 2 respectively the distances from its centre to the pole and its polar, then, r 1. R2 = r 02 For the more symmetrical polyhedra having an obvious centroid, it is common to make the polyhedron and sphere concentric, 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. Failing that, a sphere, inscribed sphere, or midsphere is commonly used. If a polyhedron in Euclidean space has an element passing through the center of the sphere, 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 stick to Euclidean space and say there is no dual. Meanwhile, Wenninger found a way to represent these infinite duals, the concept of duality here is closely related to the duality in projective geometry, where lines and edges are interchanged
15.
600-cell
–
In geometry, the 600-cell is the convex regular 4-polytope with Schläfli symbol. It is also called a C600, hexacosichoron and hexacosidedroid, the 600-cell is regarded as the 4-dimensional analog of the icosahedron, since it has five tetrahedra meeting at every edge, just as the icosahedron has five triangles meeting at every vertex. It is also called a tetraplex and polytetrahedron, being bounded by tetrahedral cells and its boundary is composed of 600 tetrahedral cells with 20 meeting at each vertex. Together they form 1200 triangular faces,720 edges, and 120 vertices, the edges form 72 flat regular decagons. Each vertex of the 600-cell is a vertex of six such decagons, References, S. L. van Oss, F. Buekenhout and M. Parker. Its vertex figure is an icosahedron, and its dual polytope is the 120-cell and it has a dihedral angle of cos−1 = ~164. 48°. Each cell touches, in manner,56 other cells. One cell contacts each of the four faces, two cells contact each of the six edges, but not a face, and ten cells contact each of the four vertices, but not a face or edge. The vertices of a 600-cell centered at the origin of 4-space, with edges of length 1/φ, can be given as follows,16 vertices of the form, the remaining 96 vertices are obtained by taking even permutations of ½. Note that the first 16 vertices are the vertices of a tesseract, the eight are the vertices of a 16-cell. The final 96 vertices are the vertices of a snub 24-cell, when interpreted as quaternions, the 120 vertices of the 600-cell form a group under quaternionic multiplication. This group is called the binary icosahedral group and denoted by 2I as it is the double cover of the ordinary icosahedral group I. Each rotational symmetry of the 600-cell is generated by elements of 2IL and 2IR. The centre of RSG consists of the non-rotation Id and the central inversion -Id and we have the isomorphism RSG ≅ /. The order of RSG equals 120 ×120 /2 =7200, the binary icosahedral group is isomorphic to SL. The full symmetry group of the 600-cell is the Weyl group of H4 and this is a group of order 14400. It consists of 7200 rotations and 7200 rotation-reflections, the rotations form an invariant subgroup of the full symmetry group. The rotational symmetry group was described by S. L. van Oss, one can start by realizing the 600-cell is the dual of the 120-cell
16.
Convex set
–
In convex geometry, a convex set is a subset of an affine space that is closed under convex combinations. For example, a cube is a convex set, but anything that is hollow or has an indent, for example. The boundary of a set is always a convex curve. The intersection of all convex sets containing a given subset A of Euclidean space is called the hull of A. It is the smallest convex set containing A, a convex function is a real-valued function defined on an interval with the property that its epigraph is a convex set. Convex minimization is a subfield of optimization that studies the problem of minimizing convex functions over convex sets, the branch of mathematics devoted to the study of properties of convex sets and convex functions is called convex analysis. The notion of a set can be generalized as described below. Let S be a space over the real numbers, or, more generally. A set C in S is said to be if, for all x and y in C and all t in the interval. In other words, every point on the segment connecting x and y is in C. This implies that a set in a real or complex topological vector space is path-connected. Furthermore, C is strictly convex if every point on the segment connecting x and y other than the endpoints is inside the interior of C. A set C is called convex if it is convex. The convex subsets of R are simply the intervals of R, some examples of convex subsets of the Euclidean plane are solid regular polygons, solid triangles, and intersections of solid triangles. Some examples of convex subsets of a Euclidean 3-dimensional space are the Archimedean solids, the Kepler-Poinsot polyhedra are examples of non-convex sets. A set that is not convex is called a non-convex set, the complement of a convex set, such as the epigraph of a concave function, is sometimes called a reverse convex set, especially in the context of mathematical optimization. If S is a set in n-dimensional space, then for any collection of r, r >1. Ur in S, and for any nonnegative numbers λ1, + λr =1, then one has, ∑ k =1 r λ k u k ∈ S
17.
Isogonal figure
–
In geometry, a polytope is isogonal or vertex-transitive if, loosely speaking, all its vertices are equivalent. That implies that each vertex is surrounded by the kinds of face in the same or reverse order. Technically, we say that for any two vertices there exists a symmetry of the polytope mapping the first isometrically onto the second. Other ways of saying this are that the group of automorphisms of the polytope is transitive on its vertices, all vertices of a finite n-dimensional isogonal figure exist on an -sphere. The term isogonal has long used for polyhedra. Vertex-transitive is a synonym borrowed from modern ideas such as symmetry groups, all regular polygons, apeirogons and regular star polygons are isogonal. The dual of a polygon is an isotoxal polygon. Some even-sided polygons and apeirogons which alternate two edge lengths, for example a rectangle, are isogonal, all planar isogonal 2n-gons have dihedral symmetry with reflection lines across the mid-edge points. An isogonal polyhedron and 2D tiling has a kind of vertex. An isogonal polyhedron with all faces is also a uniform polyhedron. Geometrically distorted variations of uniform polyhedra and tilings can also be given the vertex configuration, isogonal polyhedra and 2D tilings may be further classified, Regular if it is also isohedral and isotoxal, this implies that every face is the same kind of regular polygon. Quasi-regular if it is also isotoxal but not isohedral, semi-regular if every face is a regular polygon but it is not isohedral or isotoxal. Uniform if every face is a polygon, i. e. it is regular, quasiregular or semi-regular. Noble if it is also isohedral and these definitions can be extended to higher-dimensional polytopes and tessellations. Most generally, all uniform polytopes are isogonal, for example, the dual of an isogonal polytope is called an isotope which is transitive on its facets. A polytope or tiling may be called if its vertices form k transitivity classes. A more restrictive term, k-uniform is defined as a figure constructed only from regular polygons. They can be represented visually with colors by different uniform colorings, edge-transitive Face-transitive Peter R. Cromwell, Polyhedra, Cambridge University Press 1997, ISBN 0-521-55432-2, p.369 Transitivity Grünbaum, Branko, Shephard, G. C
18.
Isotoxal figure
–
In geometry, a polytope, or a tiling, is isotoxal or edge-transitive if its symmetries act transitively on its edges. The term isotoxal is derived from the Greek τοξον meaning arc, an isotoxal polygon is an equilateral polygon, but not all equilateral polygons are isotoxal. The duals of isotoxal polygons are isogonal polygons, in general, an isotoxal 2n-gon will have Dn dihedral symmetry. A rhombus is a polygon with D2 symmetry. All regular polygons are isotoxal, having double the symmetry order. A regular 2n-gon is a polygon and can be marked with alternately colored vertices. An isotoxal polyhedron or tiling must be either isogonal or isohedral or both, regular polyhedra are isohedral, isogonal and isotoxal. Quasiregular polyhedra are isogonal and isotoxal, but not isohedral, their duals are isohedral and isotoxal, not every polyhedron or 2-dimensional tessellation constructed from regular polygons is isotoxal. An isotoxal polyhedron has the dihedral angle for all edges. There are nine convex isotoxal polyhedra formed from the Platonic solids,8 formed by the Kepler–Poinsot polyhedra, cS1 maint, Multiple names, authors list Coxeter, Harold Scott MacDonald, Longuet-Higgins, M. S. Miller, J. C. P. Uniform polyhedra, Philosophical Transactions of the Royal Society of London, mathematical and Physical Sciences,246, 401–450, doi,10. 1098/rsta.1954.0003, ISSN 0080-4614, JSTOR91532, MR0062446
19.
Isohedral figure
–
In geometry, a polytope of dimension 3 or higher is isohedral or face-transitive when all its faces are the same. More specifically, all faces must be not merely congruent but must be transitive, in other words, for any faces A and B, there must be a symmetry of the entire solid by rotations and reflections that maps A onto B. For this reason, convex polyhedra are the shapes that will make fair dice. They can be described by their face configuration, a polyhedron which is isohedral has a dual polyhedron that is vertex-transitive. The Catalan solids, the bipyramids and the trapezohedra are all isohedral and they are the duals of the isogonal Archimedean solids, prisms and antiprisms, respectively. The Platonic solids, which are either self-dual or dual with another Platonic solid, are vertex, edge, a polyhedron which is isohedral and isogonal is said to be noble. A polyhedron is if it contains k faces within its symmetry fundamental domain. Similarly a k-isohedral tiling has k separate symmetry orbits, a monohedral polyhedron or monohedral tiling has congruent faces, as either direct or reflectively, which occur in one or more symmetry positions. An r-hedral polyhedra or tiling has r types of faces, a facet-transitive or isotopic figure is a n-dimensional polytopes or honeycomb, with its facets congruent and transitive. The dual of an isotope is an isogonal polytope, by definition, this isotopic property is common to the duals of the uniform polytopes. An isotopic 2-dimensional figure is isotoxal, an isotopic 3-dimensional figure is isohedral. An isotopic 4-dimensional figure is isochoric, edge-transitive Anisohedral tiling Peter R. Cromwell, Polyhedra, Cambridge University Press 1997, ISBN 0-521-55432-2, p.367 Transitivity Olshevsky, George. Archived from the original on 4 February 2007
20.
Uniform 4-polytope
–
In geometry, a uniform 4-polytope is a 4-polytope which is vertex-transitive and whose cells are uniform polyhedra, and faces are regular polygons. 47 non-prismatic convex uniform 4-polytopes, one set of convex prismatic forms. There are also a number of non-convex star forms. Regular star 4-polytopes 1852, Ludwig Schläfli also found 4 of the 10 regular star 4-polytopes, discounting 6 with cells or vertex figures and this construction enumerated 45 semiregular 4-polytopes. 1912, E. L. Elte independently expanded on Gossets list with the publication The Semiregular Polytopes of the Hyperspaces, polytopes with one or two types of semiregular facets, Convex uniform polytopes,1940, The search was expanded systematically by H. S. M. Coxeter in his publication Regular and Semi-Regular Polytopes,1966 Norman Johnson completes his Ph. D. dissertation The Theory of Uniform Polytopes and Honeycombs under advisor Coxeter, completes the basic theory of uniform polytopes for dimensions 4 and higher. 1986 Coxeter published a paper Regular and Semi-Regular Polytopes II which included analysis of the unique snub 24-cell structure, 1998-2000, The 4-polytopes were systematically named by Norman Johnson, and given by George Olshevskys online indexed enumeration. Johnson named the 4-polytopes as polychora, like polyhedra for 3-polytopes, from the Greek roots poly,2004, A proof that the Conway-Guy set is complete was published by Marco Möller in his dissertation, Vierdimensionale Archimedische Polytope. Möller reproduced Johnsons naming system in his listing,2008, The Symmetries of Things was published by John H. He used his own ijk-ambo naming scheme for the indexed ring permutations beyond truncation and bitruncation, nonregular uniform star 4-polytopes, 2000-2005, In a collaborative search, up to 2005 a total of 1845 uniform 4-polytopes had been identified by Jonathan Bowers and George Olshevsky. Regular 4-polytopes are a subset of the uniform 4-polytopes, which satisfy additional requirements, Regular 4-polytopes can be expressed with Schläfli symbol have cells of type, faces of type, edge figures, and vertex figures. The existence of a regular 4-polytope is constrained by the existence of the regular polyhedra which becomes cells, there are 64 convex uniform 4-polytopes, including the 6 regular convex 4-polytopes, and excluding the infinite sets of the duoprisms and the antiprismatic hyperprisms. 5 are polyhedral prisms based on the Platonic solids 13 are polyhedral prisms based on the Archimedean solids 9 are in the self-dual regular A4 group family,9 are in the self-dual regular F4 group family. 15 are in the regular B4 group family 15 are in the regular H4 group family,1 special snub form in the group family. 1 special non-Wythoffian 4-polytopes, the grand antiprism, TOTAL,68 −4 =64 These 64 uniform 4-polytopes are indexed below by George Olshevsky. Repeated symmetry forms are indexed in brackets, in addition to the 64 above, there are 2 infinite prismatic sets that generate all of the remaining convex forms, Set of uniform antiprismatic prisms - sr× - Polyhedral prisms of two antiprisms. Set of uniform duoprisms - × - A product of two polygons, the 5-cell has diploid pentachoric symmetry, of order 120, isomorphic to the permutations of five elements, because all pairs of vertices are related in the same way. Facets are given, grouped in their Coxeter diagram locations by removing specified nodes, there is one small index subgroup +, order 60, or its doubling +, order 120, defining a omnisnub 5-cell which is listed for completeness, but is not uniform
21.
Net (polyhedron)
–
In geometry the net of a polyhedron is an arrangement of edge-joined polygons in the plane which can be folded to become the faces of the polyhedron. Polyhedral nets are an aid to the study of polyhedra and solid geometry in general. Many different nets can exist for a polyhedron, depending on the choices of which edges are joined. Conversely, a given net may fold into more than one different convex polyhedron, depending on the angles at which its edges are folded, additionally, the same net may have multiple valid gluing patterns, leading to different folded polyhedra. Shephard asked whether every convex polyhedron has at least one net and this question, which is also known as Dürers conjecture, or Dürers unfolding problem, remains unanswered. There exist non-convex polyhedra that do not have nets, and it is possible to subdivide the faces of every convex polyhedron so that the set of subdivided faces has a net, in 2014 Mohammad Ghomi showed that every convex polyhedron admits a net after an affine transformation. The shortest path over the surface between two points on the surface of a polyhedron corresponds to a line on a suitable net for the subset of faces touched by the path. The net has to be such that the line is fully within it. Other candidates for the shortest path are through the surface of a third face adjacent to both, and corresponding nets can be used to find the shortest path in each category, the geometric concept of a net can be extended to higher dimensions. The above net of the tesseract, the hypercube, is used prominently in a painting by Salvador Dalí. However, it is known to be possible for every convex uniform 4-polytope, Paper model Cardboard modeling UV mapping Weisstein, Eric W. Net. Regular 4d Polytope Foldouts Editable Printable Polyhedral Nets with an Interactive 3D View Paper Models of Polyhedra Unfolder for Blender Unfolding package for Mathematica
22.
Geometry
–
Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and 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, areas, and volumes. Geometry began to see elements of mathematical science emerging in the West as early as the 6th century BC. By the 3rd century BC, geometry was put into a form by Euclid, whose treatment, Euclids Elements. Geometry arose independently in India, with texts providing rules for geometric constructions appearing as early as the 3rd century BC, islamic scientists preserved Greek ideas and expanded on them during the Middle Ages. By the early 17th century, geometry had been put on a solid footing by mathematicians such as René Descartes. Since then, and into modern times, geometry has expanded into non-Euclidean geometry and manifolds, while geometry has evolved significantly throughout the years, there are some general concepts that are more or less fundamental to geometry. These include the concepts of points, lines, planes, surfaces, angles, 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, lines, planes, angles, triangles, congruence, similarity, solid figures, circles, Euclidean geometry also has applications in computer science, crystallography, and various branches of modern mathematics. Differential geometry uses techniques of calculus and linear algebra to 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 often means dealing with large-scale properties of spaces, convex geometry investigates convex shapes in the Euclidean space and its more abstract analogues, often using techniques of real analysis. It has close connections to convex analysis, optimization and functional analysis, algebraic geometry studies geometry through the use of multivariate polynomials and other algebraic techniques. It has applications in areas, including cryptography and string theory. Discrete geometry is concerned mainly with questions of relative position of simple objects, such as points. It shares many methods and principles with combinatorics, Geometry has applications to many fields, including art, architecture, physics, as well as to other branches of mathematics. The earliest recorded beginnings of geometry can be traced to ancient Mesopotamia, 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, later clay tablets demonstrate that Babylonian astronomers implemented trapezoid procedures for computing Jupiters position and motion within time-velocity space
23.
Hyperbolic manifold
–
In mathematics, a hyperbolic manifold is a space where every point looks locally like hyperbolic space of some dimension. They are especially studied in dimensions 2 and 3, where they are called hyperbolic surfaces and hyperbolic 3-manifolds, in these dimensions, they are important because most manifolds can be made into a hyperbolic manifold by a homeomorphism. This is a consequence of the theorem for surfaces and the geometrization theorem for 3-manifolds proved by Perelman. A hyperbolic n -manifold is a complete Riemannian n-manifold of constant sectional curvature -1, every complete, connected, simply-connected manifold of constant negative curvature −1 is isometric to the real hyperbolic space H n. As a result, the cover of any closed manifold M of constant negative curvature −1 is H n. Thus, every such M can be written as H n / Γ where Γ is a discrete group of isometries on H n. That is, Γ is a subgroup of S O1, n + R. The manifold has finite volume if and only if Γ is a lattice and its thick-thin decomposition has a thin part consisting of tubular neighborhoods of closed geodesics and ends which are the product of a Euclidean n-1-manifold and the closed half-ray. The manifold is of finite volume if and only if its part is compact
24.
Dihedral angle
–
A dihedral angle is the angle between two intersecting planes. In chemistry it is the angle between planes through two sets of three atoms, having two atoms in common, in solid geometry it is defined as the union of a line and two half-planes that have this line as a common edge. In higher dimension, a dihedral angle represents the angle between two hyperplanes, a dihedral angle is an angle between two intersecting planes on a third plane perpendicular to the line of intersection. A torsion angle is an example of a dihedral angle. In stereochemistry every set of three atoms of a molecule defines a plane, when two such planes intersect, the angle between them is a dihedral angle. Dihedral angles are used to specify the molecular conformation, stereochemical arrangements corresponding to angles between 0° and ±90° are called syn, those corresponding to angles between ±90° and 180° anti. Similarly, arrangements corresponding to angles between 30° and 150° or between −30° and −150° are called clinal and those between 0° and ±30° or ±150° and 180° are called periplanar. The synperiplanar conformation is also known as the syn- or cis-conformation, antiperiplanar as anti or trans, for example, with n-butane two planes can be specified in terms of the two central carbon atoms and either of the methyl carbon atoms. The syn-conformation shown above, with an angle of 60° is less stable than the anti-configuration with a dihedral angle of 180°. For macromolecular usage the symbols T, C, G+, G−, A+, a Ramachandran plot, originally developed in 1963 by G. N. Ramachandran, C. Ramakrishnan, and V. Sasisekharan, is a way to visualize energetically allowed regions for backbone dihedral angles ψ against φ of amino acid residues in protein structure, the figure at right illustrates the definition of the φ and ψ backbone dihedral angles. In a protein chain three dihedral angles are defined as φ, ψ and ω, as shown in the diagram, the planarity of the peptide bond usually restricts ω to be 180° or 0°. The distance between the Cα atoms in the trans and cis isomers is approximately 3.8 and 2.9 Å, the cis isomer is mainly observed in Xaa–Pro peptide bonds. The sidechain dihedral angles tend to cluster near 180°, 60°, and −60°, which are called the trans, gauche+, the stability of certain sidechain dihedral angles is affected by the values φ and ψ. For instance, there are steric interactions between the Cγ of the side chain in the gauche+ rotamer and the backbone nitrogen of the next residue when ψ is near -60°. An alternative method is to calculate the angle between the vectors, nA and nB, which are normal to the planes. Cos φ = − n A ⋅ n B | n A | | n B | where nA · nB is the dot product of the vectors and |nA| |nB| is the product of their lengths. Any plane can also be described by two non-collinear vectors lying in that plane, taking their cross product yields a vector to the plane
25.
Simplicial complex
–
In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their n-dimensional counterparts. Simplicial complexes should not be confused with the abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely combinatorial counterpart to a complex is an abstract simplicial complex. A simplicial complex K is a set of simplices that satisfies the conditions,1. Any face of a simplex from K is also in K.2, the intersection of any two simplices σ1, σ2 ∈ K is either ∅ or a face of both σ1 and σ2. Note that the empty set is a face of every simplex, see also the definition of an abstract simplicial complex, which loosely speaking is a simplicial complex without an associated geometry. A simplicial k-complex K is a complex where the largest dimension of any simplex in K equals k. For instance, a simplicial 2-complex must contain at least one triangle, a pure or homogeneous simplicial k-complex K is a simplicial complex where every simplex of dimension less than k is a face of some simplex σ ∈ K of dimension exactly k. Informally, a pure 1-complex looks like its made of a bunch of lines, an example of a non-homogeneous complex is a triangle with a line segment attached to one of its vertices. A facet is any simplex in a complex that is not a face of any larger simplex, a pure simplicial complex can be thought of as a complex where all facets have the same dimension. Sometimes the term face is used to refer to a simplex of a complex, for a simplicial complex embedded in a k-dimensional space, the k-faces are sometimes referred to as its cells. The term cell is used in a broader sense to denote a set homeomorphic to a simplex. The underlying space, sometimes called the carrier of a complex is the union of its simplices. Let K be a complex and let S be a collection of simplices in K. The closure of S is the smallest simplicial subcomplex of K that contains each simplex in S. Cl S is obtained by adding to S each face of every simplex in S. The star of S is the union of the stars of each simplex in S, for a single simplex s, the star of s is the set of simplices having a face in s. The link of S equals Cl St S − St Cl S and it is the closed star of S minus the stars of all faces of S. In algebraic topology, simplicial complexes are useful for concrete calculations
26.
K-face
–
In solid geometry, a face is a flat surface that forms part of the boundary of a solid object, a three-dimensional solid bounded exclusively by flat faces is a polyhedron. In more technical treatments of the geometry of polyhedra and higher-dimensional polytopes, in elementary geometry, a face is a polygon on the boundary of a polyhedron. Other names for a polygonal face include side of a polyhedron, for example, any of the six squares that bound a cube is a face of the cube. Sometimes face is used to refer to the 2-dimensional features of a 4-polytope. With this meaning, the 4-dimensional tesseract has 24 square faces, some other polygons, which are not faces, are also important for polyhedra and tessellations. These include Petrie polygons, vertex figures and facets, any convex polyhedrons surface has Euler characteristic V − E + F =2, where V is the number of vertices, E is the number of edges, and F is the number of faces. This equation is known as Eulers polyhedron formula, thus the number of faces is 2 more than the excess of the number of edges over the number of vertices. For example, a cube has 12 edges and 8 vertices, in higher-dimensional geometry the faces of a polytope are features of all dimensions. A face of dimension k is called a k-face, for example, the polygonal faces of an ordinary polyhedron are 2-faces. In set theory, the set of faces of a polytope includes the polytope itself, for any n-polytope, −1 ≤ k ≤ n. For example, with meaning, the faces of a cube include the empty set, its vertices, edges and squares. Formally, a face of a polytope P is the intersection of P with any closed halfspace whose boundary is disjoint from the interior of P, from this definition it follows that the set of faces of a polytope includes the polytope itself and the empty set. In other areas of mathematics, such as the theories of abstract polytopes and star polytopes, abstract theory still requires that the set of faces include the polytope itself and the empty set. A cell is an element of a 4-dimensional polytope or 3-dimensional tessellation. Cells are facets for 4-polytopes and 3-honeycombs, examples, In higher-dimensional geometry, the facets of a n-polytope are the -faces of dimension one less than the polytope itself. A polytope is bounded by its facets, for example, The facets of a line segment are its 0-faces or vertices. The facets of a polygon are its 1-faces or edges, the facets of a polyhedron or plane tiling are its 2-faces. The facets of a 4D polytope or 3-honeycomb are its 3-faces, the facets of a 5D polytope or 4-honeycomb are its 4-faces
27.
Equilateral triangle
–
In geometry, an equilateral triangle is a triangle in which all three sides are equal. In the familiar Euclidean geometry, equilateral triangles are also equiangular and they are regular polygons, and can therefore also be referred to as regular triangles. Thus these are properties that are unique to equilateral triangles, the three medians have equal lengths. The three angle bisectors have equal lengths, every triangle center of an equilateral triangle coincides with its centroid, which implies that the equilateral triangle is the only triangle with no Euler line connecting some of the centers. For some pairs of triangle centers, the fact that they coincide is enough to ensure that the triangle is equilateral, in particular, A triangle is equilateral if any two of the circumcenter, incenter, centroid, or orthocenter coincide. It is also equilateral if its circumcenter coincides with the Nagel point, for any triangle, the three medians partition the triangle into six smaller triangles. A triangle is equilateral if and only if any three of the triangles have either the same perimeter or the same inradius. A triangle is equilateral if and only if the circumcenters of any three of the triangles have the same distance from the centroid. Morleys trisector theorem states that, in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, a version of the isoperimetric inequality for triangles states that the triangle of greatest area among all those with a given perimeter is equilateral. That is, PA, PB, and PC satisfy the inequality that any two of them sum to at least as great as the third. By Eulers inequality, the triangle has the smallest ratio R/r of the circumradius to the inradius of any triangle, specifically. The triangle of largest area of all those inscribed in a circle is equilateral. The ratio of the area of the incircle to the area of an equilateral triangle, the ratio of the area to the square of the perimeter of an equilateral triangle,1123, is larger than that for any other triangle. If a segment splits an equilateral triangle into two regions with equal perimeters and with areas A1 and A2, then 79 ≤ A1 A2 ≤97, in no other triangle is there a point for which this ratio is as small as 2. For any point P in the plane, with p, q, and t from the vertices A, B. For any point P on the circle of an equilateral triangle, with distances p, q. There are numerous triangle inequalities that hold with equality if and only if the triangle is equilateral, an equilateral triangle is the most symmetrical triangle, having 3 lines of reflection and rotational symmetry of order 3 about its center. Its symmetry group is the group of order 6 D3
28.
Permutation
–
These differ from combinations, which are selections of some members of a set where order is disregarded. For example, written as tuples, there are six permutations of the set, namely and these are all the possible orderings of this three element set. As another example, an anagram of a word, all of whose letters are different, is a permutation of its letters, in this example, the letters are already ordered in the original word and the anagram is a reordering of the letters. The study of permutations of finite sets is a topic in the field of combinatorics, Permutations occur, in more or less prominent ways, in almost every area of mathematics. For similar reasons permutations arise in the study of sorting algorithms in computer science, the number of permutations of n distinct objects is n factorial, usually written as n. which means the product of all positive integers less than or equal to n. In algebra and particularly in group theory, a permutation of a set S is defined as a bijection from S to itself and that is, it is a function from S to S for which every element occurs exactly once as an image value. This is related to the rearrangement of the elements of S in which each element s is replaced by the corresponding f, the collection of such permutations form a group called the symmetric group of S. The key to this structure is the fact that the composition of two permutations results in another rearrangement. Permutations may act on structured objects by rearranging their components, or by certain replacements of symbols, in elementary combinatorics, the k-permutations, or partial permutations, are the ordered arrangements of k distinct elements selected from a set. When k is equal to the size of the set, these are the permutations of the set, fabian Stedman in 1677 described factorials when explaining the number of permutations of bells in change ringing. Starting from two bells, first, two must be admitted to be varied in two ways which he illustrates by showing 12 and 21 and he then explains that with three bells there are three times two figures to be produced out of three which again is illustrated. His explanation involves cast away 3, and 1.2 will remain, cast away 2, and 1.3 will remain, cast away 1, and 2.3 will remain. He then moves on to four bells and repeats the casting away argument showing that there will be four different sets of three, effectively this is an recursive process. He continues with five bells using the casting method and tabulates the resulting 120 combinations. At this point he gives up and remarks, Now the nature of these methods is such, in modern mathematics there are many similar situations in which understanding a problem requires studying certain permutations related to it. There are two equivalent common ways of regarding permutations, sometimes called the active and passive forms, or in older terminology substitutions and permutations, which form is preferable depends on the type of questions being asked in a given discipline. The active way to regard permutations of a set S is to them as the bijections from S to itself. Thus, the permutations are thought of as functions which can be composed with each other, forming groups of permutations
29.
Parity of a permutation
–
In mathematics, when X is a finite set of at least two elements, the permutations of X fall into two classes of equal size, the even permutations and the odd permutations. The sign or signature of a permutation σ is denoted sgn and defined as +1 if σ is even, the signature defines the alternating character of the symmetric group Sn. Another notation for the sign of a permutation is given by the more general Levi-Civita symbol, which is defined for all maps from X to X, the sign of a permutation can be explicitly expressed as sgn = N where N is the number of inversions in σ. Alternatively, the sign of a permutation σ can be defined from its decomposition into the product of transpositions as sgn = m where m is the number of transpositions in the decomposition. Although such a decomposition is not unique, the parity of the number of transpositions in all decompositions is the same, consider the permutation σ of the set which turns the initial arrangement 12345 into 34521. It can be obtained by three transpositions, first exchange the places of 1 and 3, then exchange the places of 2 and 4 and this shows that the given permutation σ is odd. Using the notation explained in the Permutation article, we can write σ = = =. There are many ways of writing σ as a composition of transpositions, for instance σ = . The identity permutation is an even permutation, furthermore, we see that the even permutations form a subgroup of Sn. This is the group on n letters, denoted by An. It is the kernel of the homomorphism sgn, the odd permutations cannot form a subgroup, since the composite of two odd permutations is even, but they form a coset of An. If n > 1 , then there are just as many even permutations in Sn as there are odd ones, consequently, a cycle is even if and only if its length is odd. This follows from formulas like = In practice, in order to determine whether a given permutation is even or odd, the permutation is odd if and only if this factorization contains an odd number of even-length cycles. Another method for determining whether a given permutation is even or odd is to construct the corresponding permutation matrix, the value of the determinant is the same as the parity of the permutation. Every permutation of odd order must be even, the permutation in A4 shows that the converse is not true in general. Since we cannot be left with just a single element in an incorrect position, given a permutation σ, we can write it as a product of transpositions in many different ways. We want to show that all of those decompositions have an even number of transpositions. Suppose we have two such decompositions, σ = T1 T2 and we want to show that k and m are either both even, or both odd
30.
Golden ratio
–
In mathematics, two quantities are in the golden ratio if their ratio is the same as the ratio of their sum to the larger of the two quantities. The figure on the right illustrates the geometric relationship, expressed algebraically, for quantities a and b with a > b >0, a + b a = a b = def φ, where the Greek letter phi represents the golden ratio. Its value is, φ =1 +52 =1.6180339887 …, A001622 The golden ratio is also called the golden mean or golden section. Other names include extreme and mean ratio, medial section, divine proportion, divine section, golden proportion, golden cut, the golden ratio appears in some patterns in nature, including the spiral arrangement of leaves and other plant parts. The golden ratio has also used to analyze the proportions of natural objects as well as man-made systems such as financial markets. Two quantities a and b are said to be in the golden ratio φ if a + b a = a b = φ, one method for finding the value of φ is to start with the left fraction. Through simplifying the fraction and substituting in b/a = 1/φ, a + b a =1 + b a =1 +1 φ, multiplying by φ gives φ +1 = φ2 which can be rearranged to φ2 − φ −1 =0. First, the line segment A B ¯ is about doubled and then the semicircle with the radius A S ¯ around the point S is drawn, now the semicircle is drawn with the radius A B ¯ around the point B. The arising intersection point E corresponds 2 φ, next up, the perpendicular on the line segment A E ¯ from the point D will be establish. The subsequent parallel F S ¯ to the line segment C M ¯, produces, as it were and it is well recognizable, this triangle and the triangle M S C are similar to each other. The hypotenuse F S ¯ has due to the cathetuses S D ¯ =1 and D F ¯ =2 according the Pythagorean theorem, finally, the circle arc is drawn with the radius 5 around the point F. The golden ratio has been claimed to have held a fascination for at least 2,400 years. But the fascination with the Golden Ratio is not confined just to mathematicians, biologists, artists, musicians, historians, architects, psychologists, and even mystics have pondered and debated the basis of its ubiquity and appeal. In fact, it is fair to say that the Golden Ratio has inspired thinkers of all disciplines like no other number in the history of mathematics. Ancient Greek mathematicians first studied what we now call the golden ratio because of its frequent appearance in geometry, the division of a line into extreme and mean ratio is important in the geometry of regular pentagrams and pentagons. Euclid explains a construction for cutting a line in extreme and mean ratio, throughout the Elements, several propositions and their proofs employ the golden ratio. The golden ratio is explored in Luca Paciolis book De divina proportione, since the 20th century, the golden ratio has been represented by the Greek letter φ or less commonly by τ. Timeline according to Priya Hemenway, Phidias made the Parthenon statues that seem to embody the golden ratio, plato, in his Timaeus, describes five possible regular solids, some of which are related to the golden ratio
31.
Adjacency matrix
–
In graph theory and computer science, an adjacency matrix is a square matrix used to represent a finite graph. The elements of the matrix indicate whether pairs of vertices are adjacent or not in the graph, in the special case of a finite simple graph, the adjacency matrix is a -matrix with zeros on its diagonal. If the graph is undirected, the matrix is symmetric. The relationship between a graph and the eigenvalues and eigenvectors of its matrix is studied in spectral graph theory. The adjacency matrix should be distinguished from the matrix for a graph. The diagonal elements of the matrix are all zero, since edges from a vertex to itself are not allowed in simple graphs and it is also sometimes useful in algebraic graph theory to replace the nonzero elements with algebraic variables. Loops may be counted either once or twice, as long as a consistent convention is followed, undirected graphs often use the latter convention of counting loops twice, whereas directed graphs typically use the former convention. In this case, the smaller matrix B uniquely represents the graph, B is sometimes called the biadjacency matrix. Formally, let G = be a graph with parts U = and V =. The biadjacency matrix is the r × s 0–1 matrix B in which bi, j =1 if and only if ∈ E. If G is a multigraph or weighted graph then the elements bi. An -adjacency matrix A of a graph has Ai, j = a if is an edge, b if it is not. The Seidel adjacency matrix is a -adjacency matrix and this matrix is used in studying strongly regular graphs and two-graphs. The distance matrix has in position the distance between vertices vi and vj, the distance is the length of a shortest path connecting the vertices. Unless lengths of edges are explicitly provided, the length of a path is the number of edges in it. The distance matrix resembles a high power of the adjacency matrix, the convention followed here is that each edge adds 1 to the appropriate cell in the matrix, and each loop adds 2. This allows the degree of a vertex to be found by taking the sum of the values in either its respective row or column in the adjacency matrix. In directed graphs, the in-degree of a vertex can be computed by summing the entries of the row
32.
Tesseract
–
In geometry, the tesseract is the four-dimensional analog of the cube, the tesseract is to the cube as the cube is to the square. Just as the surface of the consists of six square faces. The tesseract is one of the six convex regular 4-polytopes, the tesseract is also called an 8-cell, C8, octachoron, octahedroid, cubic prism, and tetracube. It is the four-dimensional hypercube, or 4-cube as a part of the family of hypercubes or measure polytopes. In this publication, as well as some of Hintons later work, the tesseract can be constructed in a number of ways. As a regular polytope with three cubes folded together around every edge, it has Schläfli symbol with hyperoctahedral symmetry of order 384, constructed as a 4D hyperprism made of two parallel cubes, it can be named as a composite Schläfli symbol ×, with symmetry order 96. As a 4-4 duoprism, a Cartesian product of two squares, it can be named by a composite Schläfli symbol ×, with symmetry order 64, as an orthotope it can be represented by composite Schläfli symbol × × × or 4, with symmetry order 16. Since each vertex of a tesseract is adjacent to four edges, the dual polytope of the tesseract is called the hexadecachoron, or 16-cell, with Schläfli symbol. The standard tesseract in Euclidean 4-space is given as the hull of the points. That is, it consists of the points, A tesseract is bounded by eight hyperplanes, each pair of non-parallel hyperplanes intersects to form 24 square faces in a tesseract. Three cubes and three squares intersect at each edge, there are four cubes, six squares, and four edges meeting at every vertex. All in all, it consists of 8 cubes,24 squares,32 edges, the construction of a hypercube can be imagined the following way, 1-dimensional, Two points A and B can be connected to a line, giving a new line segment AB. 2-dimensional, Two parallel line segments AB and CD can be connected to become a square, 3-dimensional, Two parallel squares ABCD and EFGH can be connected to become a cube, with the corners marked as ABCDEFGH. 4-dimensional, Two parallel cubes ABCDEFGH and IJKLMNOP can be connected to become a hypercube and it is possible to project tesseracts into three- or two-dimensional spaces, as projecting a cube is possible on a two-dimensional space. Projections on the 2D-plane become more instructive by rearranging the positions of the projected vertices, the scheme is similar to the construction of a cube from two squares, juxtapose two copies of the lower-dimensional cube and connect the corresponding vertices. Each edge of a tesseract is of the same length, the regular complex polytope 42, in C2 has a real representation as a tesseract or 4-4 duoprism in 4-dimensional space. 42 has 16 vertices, and 8 4-edges and its symmetry is 42, order 32. It also has a lower construction, or 4×4, with symmetry 44
33.
24-cell
–
In geometry, the 24-cell is the convex regular 4-polytope with Schläfli symbol. It is also called C24, icositetrachoron, octaplex, icosatetrahedroid, octacube, hyper-diamond or polyoctahedron, the boundary of the 24-cell is composed of 24 octahedral cells with six meeting at each vertex, and three at each edge. Together they have 96 triangular faces,96 edges, and 24 vertices, the vertex figure is a cube. In fact, the 24-cell is the unique convex self-dual regular Euclidean polytope which is neither a polygon nor a simplex, due to this singular property, it does not have a good analogue in 3 dimensions. A 24-cell is given as the hull of its vertices. The vertices of a 24-cell centered at the origin of 4-space, with edges of length 1, the first 8 vertices are the vertices of a regular 16-cell and the other 16 are the vertices of the dual tesseract. This gives an equivalent to cutting a tesseract into 8 cubical pyramids. This is equivalent to the dual of a rectified 16-cell, the analogous construction in 3-space gives the rhombic dodecahedron which, however, is not regular. We can further divide the last 16 vertices into two groups, those with an number of minus signs and those with an odd number. Each of groups of 8 vertices also define a regular 16-cell, the vertices of the 24-cell can then be grouped into three sets of eight with each set defining a regular 16-cell, and with the complement defining the dual tesseract. The vertices of the dual 24-cell are given by all permutations of, the dual 24-cell has edges of length √2 and is inscribed in a 3-sphere of radius √2. Another method of constructing the 24-cell is by the rectification of the 16-cell, the vertex figure of the 16-cell is the octahedron, thus, cutting the vertices of the 16-cell at the midpoint of its incident edges produce 8 octahedral cells. This process also rectifies the tetrahedral cells of the 16-cell which also become octahedra, a regular tessellation of 4-dimensional Euclidean space exists with 24-cells, called an icositetrachoric honeycomb, with Schläfli symbol. Hence, the angle of a 24-cell is 120°. The regular dual tessellation, has 16-cells, the 24 vertices of the 24-cell represent the root vectors of the simple Lie group D4. The vertices can be seen in 3 hyperplanes, with the 6 vertices of a cell on each of the outer hyperplanes and 12 vertices of a cuboctahedron on a central hyperplane. These vertices, combined with the 8 vertices of the 16-cell, represent the 32 root vectors of the B4, the 48 vertices of the union of the 24-cell and its dual form the root system of type F4. The 24 vertices of the original 24-cell form a system of type D4
34.
Icosidodecahedron
–
In geometry, an icosidodecahedron is a polyhedron with twenty triangular faces and twelve pentagonal faces. An icosidodecahedron has 30 identical vertices, with two triangles and two meeting at each, and 60 identical edges, each separating a triangle from a pentagon. As such it is one of the Archimedean solids and more particularly and its dual polyhedron is the rhombic triacontahedron. An icosidodecahedron can be split along any of six planes to form a pair of pentagonal rotundae, the icosidodecahedron can be considered a pentagonal gyrobirotunda, as a combination of two rotundae. In this form its symmetry is D5d, order 20, the wire-frame figure of the icosidodecahedron consists of six flat regular decagons, meeting in pairs at each of the 30 vertices. Convenient Cartesian coordinates for the vertices of an icosidodecahedron with unit edges are given by the permutations of. The icosidodecahedron has four special orthogonal projections, centered on a vertex, an edge, a face. The last two correspond to the A2 and H2 Coxeter planes, the icosidodecahedron can also be represented as a spherical tiling, and projected onto the plane via a stereographic projection. This projection is conformal, preserving angles but not areas or lengths, straight lines on the sphere are projected as circular arcs on the plane. The icosidodecahedron is a dodecahedron and also a rectified icosahedron. With orbifold notation symmetry of all of these tilings are wythoff construction within a fundamental domain of symmetry. The icosidodecahedron is related to the Johnson solid called a pentagonal orthobirotunda created by two pentagonal rotunda connected as mirror images, the icosidodecahedron can therefore be called a pentagonal gyrobirotunda with the gyration between top and bottom halves. Eight uniform star polyhedra share the same vertex arrangement, of these, two also share the same edge arrangement, the small icosihemidodecahedron, and the small dodecahemidodecahedron. The vertex arrangement is shared with the compounds of five octahedra. In four-dimensional geometry the icosidodecahedron appears in the regular 600-cell as the slice that belongs to the vertex-first passage of the 600-cell through 3D space. In other words, the 30 vertices of the 600-cell which lie at arc distances of 90 degrees on its circumscribed hypersphere from a pair of vertices, are the vertices of an icosidodecahedron. The wire frame figure of the 600-cell consists of 72 flat regular decagons, six of these are the equatorial decagons to a pair of opposite vertices. They are precisely the six decagons which form the wire frame figure of the icosidodecahedron, in the mathematical field of graph theory, a icosidodecahedral graph is the graph of vertices and edges of the icosidodecahedron, one of the Archimedean solids
35.
Arctic Circle
–
The Arctic Circle is the most northerly of the abstract five major circles of latitude as shown on maps of the Earth. The region north of this circle is known as the Arctic, the position of the Arctic Circle is not fixed, as of 7 April 2017, it runs 66°33′46. 6″ north of the Equator. Its latitude depends on the Earths axial tilt, which fluctuates within a margin of 2° over a 40, 000-year period, consequently, the Arctic Circle is currently drifting northwards at a speed of about 15 m per year. The word arctic comes from the Greek word ἀρκτικός and that from the word ἄρκτος, directly on the Arctic Circle these events occur, in principle, exactly once per year, at the June and December solstices, respectively. That is true at sea level, those limits increase with elevation above sea level, tens of thousands of years ago, waves of people migrated from eastern Siberia across the Bering Strait into North America to settle. Much later, in the period, there has been migration into some Arctic areas by Europeans. The largest communities north of the Arctic Circle are situated in Russia and Norway, Murmansk, Norilsk, Tromsø, rovaniemi in Finland is the largest settlement in the immediate vicinity of the Arctic Circle, lying slightly south of the line. In contrast, the largest North American community north of the Arctic Circle, of the Canadian and United States Arctic communities, Barrow, Alaska is the largest settlement with about 4,000 inhabitants. The Arctic Circle is roughly 16,000 kilometres, the area north of the Circle is about 20,000,000 km2 and covers roughly 4% of Earths surface. The Arctic Circle passes through the Arctic Ocean, the Scandinavian Peninsula, North Asia, Northern America, the land within the Arctic Circle is divided among eight countries, Norway, Sweden, Finland, Russia, the United States, Canada, Denmark, and Iceland. In the interior, summers can be warm, while winters are extremely cold
36.
Tropic of Capricorn
–
The Tropic of Capricorn is the circle of latitude that contains the subsolar point on the December solstice. It is thus the southernmost latitude where the Sun can be directly overhead and its northern equivalent is the Tropic of Cancer. The Tropic of Capricorn is one of the five major circles of latitude that mark maps of the Earth. As of 3 April 2017, its latitude is 23°26′13. 4″ south of the equator, the Tropic of Capricorn is the dividing line between the Southern Temperate Zone to the south and the tropics to the north. The northern hemisphere equivalent of the Tropic of Capricorn is the Tropic of Cancer, the position of the Tropic of Capricorn is not fixed, but rather it varies in a complex manner over time, see under circles of latitude for information. In southern Africa, where rainfall is more reliable, farming is possible, vegetation here is almost non-existent, though on the eastern slopes of the Andes rainfall is adequate for rainfed agriculture. In modern times the sun appears in the constellation Sagittarius during this time, the change is due to precession of the equinoxes. The word tropic itself comes from the Greek trope, meaning turn, change in direction or circumstances, referring to the fact that the sun appears to turn back at the solstices
37.
Antarctic Circle
–
The Antarctic Circle is the most southerly of the five major circles of latitude that mark maps of the Earth. The region south of this circle is known as the Antarctic, the position of the Antarctic Circle is not fixed, as of 9 April 2017, it runs 66°33′46. 6″ south of the Equator. Its latitude depends on the Earths axial tilt, which fluctuates within a margin of 2° over a 40, 000-year period, consequently, the Antarctic Circle is currently drifting southwards at a speed of about 15 m per year. Directly on the Antarctic Circle these events occur, in principle, exactly once per year, at the December and June solstices, respectively. That is true at sea level, those limits increase with elevation above sea level, in previous centuries some semi-permanent whaling stations were established on the continent, and some whalers would live there for a year or more. At least three children have been born in Antarctica, albeit in stations north of the Antarctic Circle, the Antarctic Circle is roughly 17,662 kilometres long. The area south of the Circle is about 20,000,000 km2, the continent of Antarctica covers much of the area within the Antarctic Circle
38.
Hopf fibration
–
In the mathematical field of topology, the Hopf fibration describes a 3-sphere in terms of circles and an ordinary sphere. Discovered by Heinz Hopf in 1931, it is an early example of a fiber bundle. Technically, Hopf found a continuous function from the 3-sphere onto the 2-sphere such that each distinct point of the 2-sphere comes from a distinct circle of the 3-sphere. Thus the 3-sphere is composed of fibers, where each fiber is a circle—one for each point of the 2-sphere. This fiber bundle structure is denoted S1 ↪ S3 → p S2, meaning that the fiber space S1 is embedded in the total space S3, the Hopf fibration, like any fiber bundle, has the important property that it is locally a product space. However it is not a fiber bundle, i. e. S3 is not globally a product of S2. This has many implications, for example the existence of this shows that the higher homotopy groups of spheres are not trivial in general. It also provides an example of a principal bundle, by identifying the fiber with the circle group. Stereographic projection of the Hopf fibration induces a structure on R3. Here each fiber projects to a circle in space, each torus is the stereographic projection of the inverse image of a circle of latitude of the 2-sphere. These tori are illustrated in the images at right, when R3 is compressed to a ball, some geometric structure is lost although the topological structure is retained. The loops are homeomorphic to circles, although they are not geometric circles, there are numerous generalizations of the Hopf fibration. By Adams theorem such fibrations can occur only in these dimensions, the Hopf fibration is important in twistor theory. For any natural n, an n-dimensional sphere, or n-sphere. For concreteness, the point can be taken to be the origin. With this convention, the n-sphere, Sn, consists of the points in Rn +1 with x12 + x22 + ⋯+ xn +12 =1, for example, the 3-sphere consists of the points in R4 with x12 + x22 + x32 + x42 =1. The Hopf fibration p, S3 → S2 of the 3-sphere over the 2-sphere can be defined in several ways, identify R4 with C2 and R3 with C × R by writing, ↔ = and ↔ =. Thus S3 is identified with the subset of all in C2 such that |z0|2 + |z1|2 =1, then the Hopf fibration p is defined by p =
39.
Clifford torus
–
In geometric topology, the Clifford torus is the simplest and most symmetric Euclidean space embedding of the cartesian product of two circles Sa1 and Sb1. It resides in R4, as opposed to R3, to see why R4 is required, note that if Sa1 and Sb1 each exist in their own independent embedding spaces Ra2 and Rb2, the resulting product space will be R4 rather than R3. Stated another way, the R3 torus is an asymmetric reduced-dimension projection of the maximally symmetric R4 Clifford torus, the relationship is similar to that of projecting the edges of a cube onto a sheet of paper. If Sa1 and Sb1 each has a radius of 1 /2 their Clifford torus product will fit perfectly within the unit 3-sphere S3, when mathematically convenient, the Clifford torus can be viewed as residing inside the complex coordinate space C2, since C2 is topologically equivalent to R4. The Clifford torus is an example of a torus, because it is isometric to a square with opposite sides identified. The unit circle S1 in R2 can be parameterized by an angle coordinate, in another copy of R2, take another copy of the unit circle S1 =. Then the Clifford torus is S1 × S1 =, since each copy of S1 is an embedded submanifold of R2, the Clifford torus is an embedded torus in R2 × R2 = R4. If R4 is given by coordinates, then the Clifford torus is given by x 12 + y 12 =1 /2 = x 22 + y 22 and this shows that in R4 the Clifford torus is a submanifold of the unit 3-sphere S3. It is easy to verify that the Clifford torus is a surface in S3. It is also common to consider the Clifford torus as a torus in C2. In two copies of C, we have the unit circles, S1 = and S1 =. Now the Clifford torus appears as S1 × S1 =, as before, this is an embedded submanifold, in the unit sphere S3 in C2. If C2 is given by coordinates, then the Clifford torus is given by | z 1 |2 =1 /2 = | z 2 |2. In the Clifford torus as defined above, the distance of any point of the Clifford torus to the origin of C2 is | e i θ |2 + | e i ϕ |2 =1. The set of all points at a distance of 1 from the origin of C2 is the unit 3-sphere, in fact, the Clifford torus divides this 3-sphere into two congruent solid tori. ) Since O acts on R4 by orthogonal transformations, we can move the standard Clifford torus defined above to other equivalent tori via rigid rotations and these are all called Clifford tori. The six-dimensional group O acts transitively on the space of all such Clifford tori sitting inside the 3-sphere, however, this action has a two-dimensional stabilizer since rotation in the meridional and longitudinal directions of a torus preserves the torus. Hence, there is actually a space of Clifford tori
40.
Triangular bipyramid
–
In geometry, the triangular bipyramid is a type of hexahedron, being the first in the infinite set of face-transitive bipyramids. It is the dual of the prism with 6 isosceles triangle faces. As the name suggests, it can be constructed by joining two tetrahedra along one face, although all its faces are congruent and the solid is face-transitive, it is not a Platonic solid because some vertices adjoin three faces and others adjoin four. The bipyramid whose six faces are all equilateral triangles is one of the Johnson solids, a Johnson solid is one of 92 strictly convex polyhedra that have regular faces but are not uniform. They were named by Norman Johnson, who first listed these polyhedra in 1966, as a Johnson solid with all faces equilateral triangles, it is also a deltahedron. The dual polyhedron of the bipyramid is the triangular prism, with five faces. Although the triangular prism has a form that is a polyhedron, the dual of the Johnson solid form of the bipyramid has rectangular rather than square faces. This polyhedron has 24 equilateral triangle faces, but it is not a Johnson solid because it has coplanar faces and it is a coplanar 24-triangle deltahedron. This polyhedron exists as the augmentation of cells in a gyrated alternated cubic honeycomb, larger triangular polyhedra can be generated similarly, like 9,16 or 25 triangles per larger triangle face, seen as a section of a triangular tiling. The triangular bipyramid can form a tessellation of space with octahedra or with truncated tetrahedra, trigonal bipyramidal molecular geometry Eric W. Weisstein, Triangular dipyramid at MathWorld. Conway Notation for Polyhedra Try, dP3
41.
Snub 24-cell
–
In geometry, the snub 24-cell or snub disicositetrachoron is a convex uniform 4-polytope composed of 120 regular tetrahedral and 24 icosahedral cells. Five tetrahedra and three icosahedra meet at each vertex, in total it has 480 triangular faces,432 edges, and 96 vertices. It is one of three semiregular 4-polytopes made of two or more cells which are Platonic solids, discovered by Thorold Gosset in his 1900 paper and he called it a tetricosahedric for being made of tetrahedron and icosahedron cells. Snub icositetrachoron Snub demitesseract Semi-snub polyoctahedron Sadi Tetricosahedric Thorold Gosset,1900 The snub 24-cell is related to the truncated 24-cell by an alternation operation and this is equivalent to removing 24 icosahedral pyramids from the 600-cell. The vertices of a snub 24-cell centered at the origin of 4-space, the 96 vertices of the snub 24-cell, together with the 24 vertices of a 24-cell, form the 120 vertices of the 600-cell. Each icosahedral cell is joined to 8 other icosahedral cells at 8 triangular faces in the corresponding to an inscribing octahedron. The remaining triangular faces are joined to tetrahedral cells, which occur in pairs that share an edge on the icosahedral cell, the tetrahedral cells may be divided into two groups, of 96 cells and 24 cells respectively. Conversely, the 600-cell may be constructed from the snub 24-cell by augmenting it with 24 icosahedral pyramids, the snub 24-cell can be obtained as a diminishing of the 600-cell at 24 of its vertices, in fact those of a vertex inscribed 24-cell. There is also a further such bi-diminishing, when the vertices of a vertex inscribed 24-cell would be diminished as well. Accordingly this one is known as the bi-24-diminished 600-cell, the snub 24-cell is also called a semi-snub 24-cell because it is not a true snub. The full snub 24-cell can also be constructed although it is not uniform, the snub 24-cell is the largest facet of the 4-dimensional honeycomb, the snub 24-cell honeycomb. The snub 24-cell is a part of the F4 symmetry family of uniform 4-polytopes, Snub 24-cell honeycomb T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 H. S. M. Coxeter. New York, Dover Publications Inc. pp. 151–152, 156–157, Snub icositetrachoron - Data and images 3. Convex uniform polychora based on the icositetrachoron - Model 31, George Olshevsky, 4D uniform polytopes s3s4o3o - sadi. 09,1250068 Print #11, Snub icositetrachoron net, George Olshevsky
42.
Icosahedral pyramid
–
The icosahedral pyramid is a four-dimensional convex polytope, bounded by one icosahedron as its base and by 20 triangular pyramid cells which meet at its apex. Since an icosahedron has a divided by edge length less than one. The regular 600-cell has icosahedral pyramids around every vertex, the dual to the icosahedral pyramid is the dodecahedral pyramid, seen as a dodecahedral base, and 20 regular pentagonal pyramids meeting at an apex. Archived from the original on 4 February 2007, richard Klitzing, Axial-Symmetrical Edge Facetings of Uniform Polyhedra