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.
Cross-polytope
–
In geometry, a cross-polytope, orthoplex, hyperoctahedron, or cocube is a regular, convex polytope that exists in n-dimensions. A 2-orthoplex is a square, a 3-orthoplex is an octahedron. Its facets are simplexes of the dimension, while the cross-polytopes vertex figure is another cross-polytope from the previous dimension. The vertices of a cross-polytope are all the permutations of, the cross-polytope is the convex hull of its vertices. The n-dimensional cross-polytope can also be defined as the unit ball in the ℓ1-norm on Rn. In 1 dimension the cross-polytope is simply the line segment, in 2 dimensions it is a square with vertices, in 3 dimensions it is an octahedron—one of the five convex regular polyhedra known as the Platonic solids. Higher-dimensional cross-polytopes are generalizations of these, the cross-polytope is the dual polytope of the hypercube. The 1-skeleton of a n-dimensional cross-polytope is a Turán graph T, the 4-dimensional cross-polytope also goes by the name hexadecachoron or 16-cell. It is one of six convex regular 4-polytopes and these 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. The cross polytope family is one of three regular polytope families, labeled by Coxeter as βn, the two being the hypercube family, labeled as γn, and the simplices, labeled as αn. A fourth family, the infinite tessellations of hypercubes, he labeled as δn, the n-dimensional cross-polytope has 2n vertices, and 2n facets all of which are n−1 simplices. The vertex figures are all n −1 cross-polytopes, the Schläfli symbol of the cross-polytope is. The dihedral angle of the n-dimensional cross-polytope is δ n = arccos and this gives, δ2 = arccos = 90°, δ3 = arccos =109. 47°, δ4 = arccos = 120°, δ5 = arccos =126. 87°. The volume of the n-dimensional cross-polytope is 2 n n. Petrie polygon projections map the points into a regular 2n-gon or lower order regular polygons. A second projection takes the 2-gon petrie polygon of the dimension, seen as a bipyramid, projected down the axis. The vertices of a cross polytope are all at equal distance from each other in the Manhattan distance. Kusners conjecture states that this set of 2d points is the largest possible equidistant set for this distance, Regular complex polytopes can be defined in complex Hilbert space called generalized orthoplexes, βpn =22. 2p, or. Real solutions exist with p=2, i. e. β2n = βn =22.22 =, for p>2, they exist in C n
4.
Demihypercube
–
In geometry, demihypercubes are a class of n-polytopes constructed from alternation of an n-hypercube, labeled as hγn for being half of the hypercube family, γn. Half of the vertices are deleted and new facets are formed, the 2n facets become 2n -demicubes, and 2n -simplex facets are formed in place of the deleted vertices. They have been named with a prefix to each hypercube name, demicube, demitesseract. The demicube is identical to the tetrahedron, and the demitesseract is identical to the regular 16-cell. The demipenteract is considered semiregular for having regular facets. Higher forms dont have all regular facets but are all uniform polytopes, the vertices and edges of a demihypercube form two copies of the halved cube graph. Thorold Gosset described the demipenteract in his 1900 publication listing all of the regular and semiregular figures in n-dimensions above 3 and he called it a 5-ic semi-regular. It also exists within the semiregular k21 polytope family, the demihypercubes can be represented by extended Schläfli symbols of the form h as half the vertices of. The vertex figures of demihypercubes are rectified n-simplexes and they are represented by Coxeter-Dynkin diagrams of three constructive forms. Coxeter also labeled the third bifurcating diagrams as 1k1 representing the lengths of the 3 branches, an n-demicube, n greater than 2, has n*/2 edges meeting at each vertex. The graphs below show less edges at each vertex due to overlapping edges in the symmetry projection. Facets, Dn, n-1 = n + 2n The symmetry group of the demihypercube is the Coxeter group D n, has order 2 n −1 n. and is an index 2 subgroup of the hyperoctahedral group. It is generated by permutations of the axes and reflections along pairs of coordinate axes. Constructions as alternated orthotopes have the topology, but can be stretched with different lengths in n-axes of symmetry. The rhombic disphenoid is the example as alternated cuboid. It has three sets of edge lengths, and scalene triangle faces, Coxeter, editied by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, Olshevsky, George. Archived from the original on 4 February 2007
5.
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
6.
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
7.
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
8.
Triangle
–
A triangle is a polygon with three edges and three vertices. It is one of the shapes in geometry. A triangle with vertices A, B, and C is denoted △ A B C, in Euclidean geometry any three points, when non-collinear, determine a unique triangle and a unique plane. This article is about triangles in Euclidean geometry except where otherwise noted, triangles can be classified according to the lengths of their sides, An equilateral triangle has all sides the same length. An equilateral triangle is also a polygon with all angles measuring 60°. An isosceles triangle has two sides of equal length, some mathematicians define an isosceles triangle to have exactly two equal sides, whereas others define an isosceles triangle as one with at least two equal sides. The latter definition would make all equilateral triangles isosceles triangles, the 45–45–90 right triangle, which appears in the tetrakis square tiling, is isosceles. A scalene triangle has all its sides of different lengths, equivalently, it has all angles of different measure. Hatch marks, also called tick marks, are used in diagrams of triangles, a side can be marked with a pattern of ticks, short line segments in the form of tally marks, two sides have equal lengths if they are both marked with the same pattern. In a triangle, the pattern is no more than 3 ticks. Similarly, patterns of 1,2, or 3 concentric arcs inside the angles are used to indicate equal angles, triangles can also be classified according to their internal angles, measured here in degrees. A right triangle has one of its interior angles measuring 90°, the side opposite to the right angle is the hypotenuse, the longest side of the triangle. The other two sides are called the legs or catheti of the triangle, special right triangles are right triangles with additional properties that make calculations involving them easier. One of the two most famous is the 3–4–5 right triangle, where 32 +42 =52, in this situation,3,4, and 5 are a Pythagorean triple. The other one is a triangle that has 2 angles that each measure 45 degrees. Triangles that do not have an angle measuring 90° are called oblique triangles, a triangle with all interior angles measuring less than 90° is an acute triangle or acute-angled triangle. If c is the length of the longest side, then a2 + b2 > c2, a triangle with one interior angle measuring more than 90° is an obtuse triangle or obtuse-angled triangle. If c is the length of the longest side, then a2 + b2 < c2, a triangle with an interior angle of 180° is degenerate