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.
Cube
–
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. The cube is the only regular hexahedron and is one of the five Platonic solids and it has 6 faces,12 edges, and 8 vertices. The cube is also a square parallelepiped, an equilateral cuboid and it is a regular square prism in three orientations, and a trigonal trapezohedron in four orientations. The cube is dual to the octahedron and it has cubical or octahedral symmetry. The cube has four special orthogonal projections, centered, on a vertex, edges, face, the first and third correspond to the A2 and B2 Coxeter planes. The cube can also be represented as a tiling. This projection is conformal, preserving angles but not areas or lengths, straight lines on the sphere are projected as circular arcs on the plane. In analytic geometry, a surface with center and edge length of 2a is the locus of all points such that max = a. For a cube of length a, As the volume of a cube is the third power of its sides a × a × a, third powers are called cubes, by analogy with squares. A cube has the largest volume among cuboids with a surface area. Also, a cube has the largest volume among cuboids with the same linear size. They were unable to solve this problem, and in 1837 Pierre Wantzel proved it to be impossible because the root of 2 is not a constructible number. The cube has three uniform colorings, named by the colors of the faces around each vertex,111,112,123. The cube has three classes of symmetry, which can be represented by coloring the faces. The highest octahedral symmetry Oh has all the faces the same color, the dihedral symmetry D4h comes from the cube being a prism, with all four sides being the same color. The lowest symmetry D2h is also a symmetry, with sides alternating colors. Each symmetry form has a different Wythoff symbol, a cube has eleven nets, that is, there are eleven ways to flatten a hollow cube by cutting seven edges. To color the cube so that no two adjacent faces have the color, one would need at least three colors
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.
Square
–
In geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles. It can also be defined as a rectangle in which two adjacent sides have equal length, a square with vertices ABCD would be denoted ◻ ABCD. e. A rhombus with equal diagonals a convex quadrilateral with sides a, b, c, d whose area is A =12 =12. Opposite sides of a square are both parallel and equal in length, all four angles of a square are equal. All four sides of a square are equal, the diagonals of a square are equal. The square is the n=2 case of the families of n-hypercubes and n-orthoplexes, a truncated square, t, is an octagon. An alternated square, h, is a digon, the perimeter of a square whose four sides have length ℓ is P =4 ℓ and the area A is A = ℓ2. In classical times, the power was described in terms of the area of a square. This led to the use of the square to mean raising to the second power. The area can also be calculated using the diagonal d according to A = d 22. In terms of the circumradius R, the area of a square is A =2 R2, since the area of the circle is π R2, in terms of the inradius r, the area of the square is A =4 r 2. Because it is a polygon, a square is the quadrilateral of least perimeter enclosing a given area. Dually, a square is the quadrilateral containing the largest area within a given perimeter. Indeed, if A and P are the area and perimeter enclosed by a quadrilateral, then the isoperimetric inequality holds,16 A ≤ P2 with equality if. The diagonals of a square are 2 times the length of a side of the square and this value, known as the square root of 2 or Pythagoras constant, was the first number proven to be irrational. A square can also be defined as a parallelogram with equal diagonals that bisect the angles, if a figure is both a rectangle and a rhombus, then it is a square. If a circle is circumscribed around a square, the area of the circle is π /2 times the area of the square, if a circle is inscribed in the square, the area of the circle is π /4 times the area of the square. A square has an area than any other quadrilateral with the same perimeter
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.
Octagon
–
In geometry, an octagon is an eight-sided polygon or 8-gon. A regular octagon has Schläfli symbol and can also be constructed as a truncated square, t. A truncated octagon, t is a hexadecagon, t, the sum of all the internal angles of any octagon is 1080°. As with all polygons, the external angles total 360°, the midpoint octagon of a reference octagon has its eight vertices at the midpoints of the sides of the reference octagon. A regular octagon is a figure with sides of the same length. It has eight lines of symmetry and rotational symmetry of order 8. A regular octagon is represented by the Schläfli symbol, the internal angle at each vertex of a regular octagon is 135°. The area of an octagon of side length a is given by A =2 cot π8 a 2 =2 a 2 ≃4.828 a 2. In terms of the circumradius R, the area is A =4 sin π4 R2 =22 R2 ≃2.828 R2. In terms of the r, the area is A =8 tan π8 r 2 =8 r 2 ≃3.314 r 2. These last two coefficients bracket the value of pi, the area of the unit circle. The area can also be expressed as A = S2 − a 2, where S is the span of the octagon, or the second-shortest diagonal, and a is the length of one of the sides, or bases. This is easily proven if one takes an octagon, draws a square around the outside and then takes the corner triangles and places them with right angles pointed inward, the edges of this square are each the length of the base. Given the length of a side a, the span S is S = a 2 + a + a 2 = a ≈2.414 a. The area is then as above, A =2 − a 2 =2 a 2 ≈4.828 a 2, expressed in terms of the span, the area is A =2 S2 ≈0.828 S2. Another simple formula for the area is A =2 a S, more often the span S is known, and the length of the sides, a, is to be determined, as when cutting a square piece of material into a regular octagon. From the above, a ≈ S /2.414, the two end lengths e on each side, as well as being e = a /2, may be calculated as e = /2. The circumradius of the octagon in terms of the side length a is R = a
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.
16-cell
–
In four-dimensional geometry, a 16-cell is a regular convex 4-polytope. It is one of the six regular convex 4-polytopes first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century and it is also called C16, hexadecachoron, or hexdecahedroid. It is a part of an family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the tesseract, conways name for a cross-polytope is orthoplex, for orthant complex. The 16-cell has 16 cells as the tesseract has 16 vertices and it is bounded by 16 cells, all of which are regular tetrahedra. It has 32 triangular faces,24 edges, and 8 vertices, the 24 edges bound 6 squares lying in the 6 coordinate planes. The eight vertices of the 16-cell are, all vertices are connected by edges except opposite pairs. The Schläfli symbol of the 16-cell is and its vertex figure is a regular octahedron. There are 8 tetrahedra,12 triangles, and 6 edges meeting at every vertex and its edge figure is a square. There are 4 tetrahedra and 4 triangles meeting at every edge, the 16-cell can be decomposed into two similar disjoint circular chains of eight tetrahedrons each, four edges long. Each chain, when stretched out straight, forms a Boerdijk–Coxeter helix and this decomposition can be seen in a 4-4 duoantiprism construction of the 16-cell, or, Schläfli symbol ⨂ or ss, symmetry, order 64. The 16-cell can be dissected into two octahedral pyramids, which share a new octahedron base through the 16-cell center, one can tessellate 4-dimensional Euclidean space by regular 16-cells. This is called the 16-cell honeycomb and has Schläfli symbol, hence, the 16-cell has a dihedral angle of 120°. The dual tessellation, 24-cell honeycomb, is made of by regular 24-cells, together with the tesseractic honeycomb, these are the only three regular tessellations of R4. Each 16-cell has 16 neighbors with which it shares a tetrahedron,24 neighbors with which it only an edge. Twenty-four 16-cells meet at any vertex in this tessellation. A 16-cell can constructed from two Boerdijk–Coxeter helixes of eight chained tetrahedra, each folded into a 4-dimensional ring, the 16 triangle faces can be seen in a 2D net within a triangular tiling, with 6 triangles around every vertex. The purple edges represent the Petrie polygon of the 16-cell, the cell-first parallel projection of the 16-cell into 3-space has a cubical envelope
16.
Convex polytope
–
A convex polytope is a special case of a polytope, having the additional property that it is also a convex set of points in the n-dimensional space Rn. Some authors use the terms polytope and convex polyhedron interchangeably. In addition, some require a polytope to be a bounded set. The terms bounded/unbounded convex polytope will be used whenever the boundedness is critical to the discussed issue. Yet other texts treat a convex n-polytope as a surface or -manifold, Convex polytopes play an important role both in various branches of mathematics and in applied areas, most notably in linear programming. A comprehensive and influential book in the subject, called Convex Polytopes, was published in 1967 by Branko Grünbaum, in 2003 the 2nd edition of the book was published, with significant additional material contributed by new writers. In Grünbaums book, and in other texts in discrete geometry. Grünbaum points out that this is solely to avoid the repetition of the word convex. A polytope is called if it is an n-dimensional object in Rn. Many examples of bounded convex polytopes can be found in the article polyhedron, a convex polytope may be defined in a number of ways, depending on what is more suitable for the problem at hand. Grünbaums definition is in terms of a set of points in space. Other important definitions are, as the intersection of half-spaces and as the hull of a set of points. This is equivalent to defining a bounded convex polytope as the hull of a finite set of points. Such a definition is called a vertex representation, for a compact convex polytope, the minimal V-description is unique and it is given by the set of the vertices of the polytope. A convex polytope may be defined as an intersection of a number of half-spaces. Such definition is called a half-space representation, there exist infinitely many H-descriptions of a convex polytope. However, for a convex polytope, the minimal H-description is in fact unique and is given by the set of the facet-defining halfspaces. A closed half-space can be written as an inequality, a 1 x 1 + a 2 x 2 + ⋯ + a n x n ≤ b where n is the dimension of the space containing the polytope under consideration
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.
Polycube
–
A polycube is a solid figure formed by joining one or more equal cubes face to face. Polycubes are the analogues of the planar polyominoes. The Soma cube, the Bedlam cube, the Diabolical cube, the Slothouber–Graatsma puzzle, like polyominoes, polycubes can be enumerated in two ways, depending on whether chiral pairs of polycubes are counted as one polycube or two. For example,6 tetracubes have mirror symmetry and one is chiral, unlike polyominoes, polycubes are usually counted with mirror pairs distinguished, because one cannot turn a polycube over to reflect it as one can a polyomino. In particular, the Soma cube uses both forms of the chiral tetracube, Polycubes are classified according to how many cubical cells they have, Polycubes have been enumerated up to n=16. More recently, specific families of polycubes have been investigated, as with polyominoes, polycubes may be classified according to how many symmetries they have. Polycube symmetries were first enumerated by W. F. Lunnon in 1972, most polycubes are asymmetric, but many have more complex symmetry groups, all the way up to the full symmetry group of the cube with 48 elements. Numerous other symmetries are possible, for example, there are seven forms of 8-fold symmetry Twelve pentacubes are flat. Of the remaining 17, five have mirror symmetry, and the other 12 form six chiral pairs, the types of the flats are 5-1-1, 4-2-1, 3-3-1, 3-2-1. The 3-D types are 4-2-2, 3-2-2, 2-2-2, a polycube may have up to 24 orientations in the cubic lattice, or 48 if reflection is allowed. Of the pentacubes, two flats have mirror symmetry in all three axes, these have only three orientations, ten have one mirror symmetry, these have 12 orientations. Each of the remaining 17 pentacubes has 24 orientations, the tesseract has eight cubes as its facets, and just as the cube can be unfolded into a hexomino, the tesseract can be unfolded into an octacube. Salvador Dalí used this shape in his 1954 painting Crucifixion and it is described in Robert A. Heinleins 1940 short story And He Built a Crooked House, in honor of Dalí, this octacube has been called the Dalí cross. More generally, out of all 3811 different free octacubes,261 are unfoldings of the tesseract, although the cubes of a polycube are required to be connected square-to-square, the squares of its boundary are not required to be connected edge-to-edge. It is also not required that the boundary of a form a manifold. For instance, one of the pentacubes has two cubes that meet edge-to-edge, so that the edge between them is the side of four boundary squares and that is, in this case the boundary forms a polyominoid. Every k-cube with k <7 as well as the Dalí cross can be unfolded to a polyomino that tiles the plane. The structure of a polycube can be visualized by means of a graph that has a vertex for each cube
22.
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
23.
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
24.
Four-dimensional space
–
For example, the volume of a rectangular box is found by measuring its length, width, and depth. More than two millennia ago Greek philosophers explored in detail the implications of this uniformity, culminating in Euclids Elements. However, it was not until recent times that a handful of insightful mathematical innovators generalized the concept of dimensions to more than three. The idea of adding a fourth dimension began with Joseph-Louis Lagrange in the mid 1700s, in 1880 Charles Howard Hinton popularized these insights in an essay titled What is the Fourth Dimension. Which was notable for explaining the concept of a cube by going through a step-by-step generalization of the properties of lines, squares. The simplest form of Hintons method is to draw two ordinary cubes separated by a distance, and then draw lines between their equivalent vertices. This form can be seen in the accompanying animation whenever it shows a smaller inner cube inside a larger outer cube, the eight lines connecting the vertices of the two cubes in that case represent a single direction in the unseen fourth dimension. Higher dimensional spaces have become one of the foundations for formally expressing modern mathematics and physics. Large parts of these topics could not exist in their current forms without the use of such spaces, calendar entries for example are usually 4D locations, such as a meeting at time t at the intersection of two streets on some building floor. In list form such a meeting place at the 4D location. Einsteins concept of spacetime uses such a 4D space, though it has a Minkowski structure that is a bit more complicated than Euclidean 4D space, when dimensional locations are given as ordered lists of numbers such as they are called vectors or n-tuples. It is only when such locations are linked together into more complicated shapes that the richness and geometric complexity of 4D. A hint of that complexity can be seen in the animation of one of simplest possible 4D objects. Lagrange wrote in his Mécanique analytique that mechanics can be viewed as operating in a four-dimensional space — three dimensions of space, and one of time, the possibility of geometry in higher dimensions, including four dimensions in particular, was thus established. An arithmetic of four dimensions called quaternions was defined by William Rowan Hamilton in 1843 and this associative algebra was the source of the science of vector analysis in three dimensions as recounted in A History of Vector Analysis. Soon after tessarines and coquaternions were introduced as other four-dimensional algebras over R, one of the first major expositors of the fourth dimension was Charles Howard Hinton, starting in 1880 with his essay What is the Fourth Dimension. Published in the Dublin University magazine and he coined the terms tesseract, ana and kata in his book A New Era of Thought, and introduced a method for visualising the fourth dimension using cubes in the book Fourth Dimension. Hintons ideas inspired a fantasy about a Church of the Fourth Dimension featured by Martin Gardner in his January 1962 Mathematical Games column in Scientific American, in 1886 Victor Schlegel described his method of visualizing four-dimensional objects with Schlegel diagrams
25.
Cell (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
26.
Hypercube
–
In geometry, a hypercube is an n-dimensional analogue of a square and a cube. A unit hypercubes longest diagonal in n-dimensions is equal to n, an n-dimensional hypercube is also called an n-cube or an n-dimensional cube. The term measure polytope is also used, notably in the work of H. S. M. Coxeter, the hypercube is the special case of a hyperrectangle. A unit hypercube is a hypercube whose side has one unit. Often, the hypercube whose corners are the 2n points in Rn with coordinates equal to 0 or 1 is called the unit hypercube, a hypercube can be defined by increasing the numbers of dimensions of a shape,0 – A point is a hypercube of dimension zero. 1 – If one moves this point one unit length, it will sweep out a line segment,2 – If one moves this line segment its length in a perpendicular direction from itself, it sweeps out a 2-dimensional square. 3 – If one moves the square one unit length in the perpendicular to the plane it lies on. 4 – If one moves the cube one unit length into the fourth dimension and this can be generalized to any number of dimensions. The 1-skeleton of a hypercube is a hypercube graph, a unit hypercube of n dimensions is the convex hull of the points given by all sign permutations of the Cartesian coordinates. It has a length of 1 and an n-dimensional volume of 1. An n-dimensional hypercube is also regarded as the convex hull of all sign permutations of the coordinates. This form is chosen due to ease of writing out the coordinates. Its edge length is 2, and its volume is 2n. Every n-cube of n >0 is composed of elements, or n-cubes of a dimension, on the -dimensional surface on the parent hypercube. A side is any element of -dimension of the parent hypercube, a hypercube of dimension n has 2n sides. The number of vertices of a hypercube is 2 n, the number of m-dimensional hypercubes on the boundary of an n-cube is E m, n =2 n − m, where = n. m. and n. denotes the factorial of n. For example, the boundary of a 4-cube contains 8 cubes,24 squares,32 lines and 16 vertices and this identity can be proved by combinatorial arguments, each of the 2 n vertices defines a vertex in a m-dimensional boundary. There are ways of choosing which lines that defines the subspace that the boundary is in, but, each side is counted 2 m times since it has that many vertices, we need to divide with this number
27.
Oxford English Dictionary
–
The Oxford English Dictionary is a descriptive dictionary of the English language, published by the Oxford University Press. The second edition came to 21,728 pages in 20 volumes, in 1895, the title The Oxford English Dictionary was first used unofficially on the covers of the series, and in 1928 the full dictionary was republished in ten bound volumes. In 1933, the title The Oxford English Dictionary fully replaced the name in all occurrences in its reprinting as twelve volumes with a one-volume supplement. More supplements came over the years until 1989, when the edition was published. Since 2000, an edition of the dictionary has been underway. The first electronic version of the dictionary was available in 1988. The online version has been available since 2000, and as of April 2014 was receiving two million hits per month. The third edition of the dictionary will probably appear in electronic form, Nigel Portwood, chief executive of Oxford University Press. As a historical dictionary, the Oxford English Dictionary explains words by showing their development rather than merely their present-day usages, therefore, it shows definitions in the order that the sense of the word began being used, including word meanings which are no longer used. The format of the OEDs entries has influenced numerous other historical lexicography projects and this influenced later volumes of this and other lexicographical works. As of 30 November 2005, the Oxford English Dictionary contained approximately 301,100 main entries, the dictionarys latest, complete print edition was printed in 20 volumes, comprising 291,500 entries in 21,730 pages. The longest entry in the OED2 was for the verb set, as entries began to be revised for the OED3 in sequence starting from M, the longest entry became make in 2000, then put in 2007, then run in 2011. Despite its impressive size, the OED is neither the worlds largest nor the earliest exhaustive dictionary of a language, the Dutch dictionary Woordenboek der Nederlandsche Taal is the worlds largest dictionary, has similar aims to the OED and took twice as long to complete. Another earlier large dictionary is the Grimm brothers dictionary of the German language, begun in 1838, the official dictionary of Spanish is the Diccionario de la lengua española, and its first edition was published in 1780. The Kangxi dictionary of Chinese was published in 1716, trench suggested that a new, truly comprehensive dictionary was needed. On 7 January 1858, the Society formally adopted the idea of a new dictionary. Volunteer readers would be assigned particular books, copying passages illustrating word usage onto quotation slips, later the same year, the Society agreed to the project in principle, with the title A New English Dictionary on Historical Principles. He withdrew and Herbert Coleridge became the first editor, on 12 May 1860, Coleridges dictionary plan was published and research was started
28.
Charles Howard Hinton
–
Charles Howard Hinton was a British mathematician and writer of science fiction works titled Scientific Romances. He was interested in higher dimensions, particularly the fourth dimension and he is known for coining the word tesseract and for his work on methods of visualising the geometry of higher dimensions. Hinton taught at Cheltenham College while he studied at Balliol College, Oxford, from 1880 to 1886, he taught at Uppingham School in Rutland, where Howard Candler, a friend of Edwin Abbott Abbotts, also taught. Hinton also received his M. A. from Oxford in 1886, in 1880 Hinton married Mary Ellen, daughter of Mary Everest Boole and George Boole, the founder of mathematical logic. The couple had four children, George, Eric, William, in 1883 he went through a marriage ceremony with Maud Florence, by whom he had had twin children, under the assumed identity of John Weldon. He was subsequently convicted of bigamy and spent three days in prison, losing his job at Uppingham, in 1887 Charles moved with Mary Ellen to Japan to work in a mission before accepting a job as headmaster of the Victoria Public School. In 1893 he sailed to the United States on the SS Tacoma to take up a post at Princeton University as an instructor in mathematics, in 1897, he designed a gunpowder-powered baseball pitching machine for the Princeton baseball teams batting practice. The machine was versatile, capable of variable speeds with an adjustable breech size, at the end of his life, Hinton worked as an examiner of chemical patents for the United States Patent Office. At age 54, he died unexpectedly of a hemorrhage on 30 April 1907. After Hintons sudden death his wife, Mary Ellen, committed suicide in Washington, in an 1880 article entitled What is the Fourth Dimension. Hinton calls the casting out the self, equates it with the process of sympathizing with another person. Hinton created several new words to describe elements in the fourth dimension, according to OED, he first used the word tesseract in 1888 in his book A New Era of Thought. He also invented the words kata and ana to describe the two opposing fourth-dimensional directions. Hintons Scientific romances, including What is the Fourth Dimension. and A Plane World, were published as a series of nine pamphlets by Swan Sonnenschein & Co. during 1884–1886. In the introduction to A Plane World, Hinton referred to Abbotts recent Flatland as having similar design, Abbott used the stories as a setting wherein to place his satire and his lessons. But we wish in the first place to know the physical facts, Hintons world existed along the perimeter of a circle rather than on an infinite flat plane. He extended the connection to Abbotts work with An Episode on Flatland, Hinton was one of the many thinkers who circulated in Jorge Luis Borgess pantheon of writers. Hinton is mentioned in Borges short stories Tlön, Uqbar, Orbis Tertius, There Are More Things and El milagro secreto, many of ideas Ouspensky presents in Tertium Organum mention Hintons works
29.
A New Era of Thought
–
A New Era of Thought is a non-fiction work written by Charles Howard Hinton, was published in 1888 and reprinted in 1900 by Swan Sonnenschein & Co. Ltd. A New Era of Thought is about the dimension and its implications on human thinking. It influenced the work of P. D and it is prefaced by Alicia Boole and H. John Falk. A New Era of Thought is inspired by Platos allegory of the cave and is influenced by the works of Immanuel Kant, Carl Friedrich Gauss, the book has xvi and 230 pages. A New Era of Thought consists of two parts, the first part is a collection of philosophical and mathematical essays on the fourth dimension. They teach the possibility of thinking four-dimensionally and about the religious, in the second part Hinton develops a system of coloured cubes. These cubes serve as model to get a four-dimensional perception as a basis of four-dimensional thinking and this part describes how to visualize a tessaract by looking at several 3-D cross sections of it. The system of cubic models in A New Era of Thought is a forerunner of the models in Hintons book The Fourth Dimension. Preface Table of Contents Introductory Note to Part I Part I Introduction Chapter I, relation of Lower and Higher Space. Space the Scientific Basis of Altruism and Religion, Appearances of a Cube to a Plane-being. Further Appearances of a Cube to a Plane-being, genesis of a Tessaract, its Representation in Three-space. Representation of Three-space by Names and in a Plane, the Means by which a Plane-being would Acquire a Conception of our Figures. A Tessaractic Figure and its Projections, appendices A.100 Names used for Plane Space. B.216 Names used for Cubic Space, C.256 Names used for Tessaractic Space. List of Colours, Names and Symbols, Exercises on Shapes of Three Dimensions. G. Exercises on Shapes of Four Dimensions, drawings of the Cubic Sides and Sections of the Tessaract with Colours and Names. Hintons writings contains some abridged passages of the first part of A New Era of Thought, a New Era of Thought from Australian National Library A New Era of Thought from Google Books
30.
Ancient Greek
–
Ancient Greek includes the forms of Greek used in ancient Greece and the ancient world from around the 9th century BC to the 6th century AD. It is often divided into the Archaic period, Classical period. It is antedated in the second millennium BC by Mycenaean Greek, the language of the Hellenistic phase is known as Koine. Koine is regarded as a historical stage of its own, although in its earliest form it closely resembled Attic Greek. Prior to the Koine period, Greek of the classic and earlier periods included several regional dialects, Ancient Greek was the language of Homer and of fifth-century Athenian historians, playwrights, and philosophers. It has contributed many words to English vocabulary and has been a subject of study in educational institutions of the Western world since the Renaissance. This article primarily contains information about the Epic and Classical phases of the language, Ancient Greek was a pluricentric language, divided into many dialects. The main dialect groups are Attic and Ionic, Aeolic, Arcadocypriot, some dialects are found in standardized literary forms used in literature, while others are attested only in inscriptions. There are also several historical forms, homeric Greek is a literary form of Archaic Greek used in the epic poems, the Iliad and Odyssey, and in later poems by other authors. Homeric Greek had significant differences in grammar and pronunciation from Classical Attic, the origins, early form and development of the Hellenic language family are not well understood because of a lack of contemporaneous evidence. Several theories exist about what Hellenic dialect groups may have existed between the divergence of early Greek-like speech from the common Proto-Indo-European language and the Classical period and they have the same general outline, but differ in some of the detail. The invasion would not be Dorian unless the invaders had some relationship to the historical Dorians. The invasion is known to have displaced population to the later Attic-Ionic regions, the Greeks of this period believed there were three major divisions of all Greek people—Dorians, Aeolians, and Ionians, each with their own defining and distinctive dialects. Often non-west is called East Greek, Arcadocypriot apparently descended more closely from the Mycenaean Greek of the Bronze Age. Boeotian had come under a strong Northwest Greek influence, and can in some respects be considered a transitional dialect, thessalian likewise had come under Northwest Greek influence, though to a lesser degree. Most of the dialect sub-groups listed above had further subdivisions, generally equivalent to a city-state and its surrounding territory, Doric notably had several intermediate divisions as well, into Island Doric, Southern Peloponnesus Doric, and Northern Peloponnesus Doric. The Lesbian dialect was Aeolic Greek and this dialect slowly replaced most of the older dialects, although Doric dialect has survived in the Tsakonian language, which is spoken in the region of modern Sparta. Doric has also passed down its aorist terminations into most verbs of Demotic Greek, by about the 6th century AD, the Koine had slowly metamorphosized into Medieval Greek
31.
Regular polytope
–
In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or j-faces — cells, faces and so on — are also transitive on the symmetries of the polytope, Regular polytopes are the generalized analog in any number of dimensions of regular polygons and regular polyhedra. The strong symmetry of the regular polytopes gives them an aesthetic quality that interests both non-mathematicians and mathematicians, classically, a regular polytope in n dimensions may be defined as having regular facets and regular vertex figures. These two conditions are sufficient to ensure that all faces are alike and all vertices are alike, note, however, that this definition does not work for abstract polytopes. A regular polytope can be represented by a Schläfli symbol of the form, with regular facets as, Regular polytopes are classified primarily according to their dimensionality. They can be classified according to symmetry. For example, the cube and the regular octahedron share the same symmetry, indeed, symmetry groups are sometimes named after regular polytopes, for example the tetrahedral and icosahedral symmetries. Three special classes of regular polytope exist in every dimensionality, Regular simplex Measure polytope Cross polytope In two dimensions there are many regular polygons. In three and four dimensions there are more regular polyhedra and 4-polytopes besides these three. In five dimensions and above, these are the only ones, see also the list of regular polytopes. The idea of a polytope is sometimes generalised to include related kinds of geometrical object, some of these have regular examples, as discussed in the section on historical discovery below. A concise symbolic representation for regular polytopes was developed by Ludwig Schläfli in the 19th Century, the notation is best explained by adding one dimension at a time. A convex regular polygon having n sides is denoted by, so an equilateral triangle is, a square, and so on indefinitely. A regular star polygon which winds m times around its centre is denoted by the fractional value, a regular polyhedron having faces with p faces joining around a vertex is denoted by. The nine regular polyhedra are and. is the figure of the polyhedron. A regular 4-polytope having cells with q cells joining around an edge is denoted by, the vertex figure of the 4-polytope is a. A five-dimensional regular polytope is an, the dual of a regular polytope is also a regular polytope. The Schläfli symbol for the dual polytope is just the original written backwards, is self-dual, is dual to, to
32.
Hyperoctahedral group
–
In mathematics, a hyperoctahedral group is an important type of group that can be realized as the group of symmetries of a hypercube or of a cross-polytope. It was named by Alfred Young in 1930, groups of this type are identified by a parameter n, the dimension of the hypercube. As a Coxeter group it is of type Bn = Cn, as a wreath product it is S2 ≀ S n where S n is the symmetric group of degree n. As a permutation group, the group is the symmetric group of permutations π either of the set or of the set such that π = −π for all i. As a matrix group, it can be described as the group of n×n orthogonal matrices whose entries are all integers, the representation theory of the hyperoctahedral group was described by according to. In three dimensions, the group is known as O×S2 where O≅S4 is the octahedral group. Geometric figures in three dimensions with this group are said to have octahedral symmetry, named after the regular octahedron. In 4-dimensions it is called a symmetry, after the regular 16-cell. In two dimensions, the group structure is the abstract dihedral group of order eight, describing the symmetry of a square. Multiplying these together yields a third map C n →, the kernel of the first map is the Coxeter group D n. In the other direction, the center is the subgroup of scalar matrices, geometrically, in dimension 2 these groups completely describe the hyperoctahedral group, which is the dihedral group Dih4 of order 8, and is an extension 2. V. In general, passing to the subquotient is the group of the projective demihypercube. The hyperoctahedral subgroup, Dn by dimension, The chiral hyper-octahedral symmetry, is the direct subgroup, another notable index 2 subgroup can be called hyper-pyritohedral symmetry, by dimension, These groups have n orthogonal mirrors in n-dimensions. The group homology of the group is similar to that of the symmetric group. This is easily seen directly, the −1 elements are order 2, and all conjugate, as are the transpositions in S n, and these are two separate classes. These elements generate the group, so the only non-trivial abelianizations are to 2-groups, the maps are explicitly given as the product of the signs of all the elements, and the sign of the permutation. Multiplying these together yields a third map, and together with the trivial map these form the 4-group. The second homology groups, known classically as the Schur multipliers, were computed in and they are, H2 = {0 n =0,1 Z /2 n =22 n =33 n ≥4
33.
Hyperprism
–
In geometry, a prism is a polyhedron comprising an n-sided polygonal base, a second base which is a translated copy of the first, and n other faces joining corresponding sides of the two bases. All cross-sections parallel to the bases are translations of the bases, prisms are named for their bases, so a prism with a pentagonal base is called a pentagonal prism. The prisms are a subclass of the prismatoids, a right prism is a prism in which the joining edges and faces are perpendicular to the base faces. This applies if the faces are rectangular. If the joining edges and faces are not perpendicular to the base faces, for example a parallelepiped is an oblique prism of which the base is a parallelogram, or equivalently a polyhedron with six faces which are all parallelograms. A truncated prism is a prism with nonparallel top and bottom faces, some texts may apply the term rectangular prism or square prism to both a right rectangular-sided prism and a right square-sided prism. A right p-gonal prism with rectangular sides has a Schläfli symbol ×, a right rectangular prism is also called a cuboid, or informally a rectangular box. A right square prism is simply a box, and may also be called a square cuboid. A right rectangular prism has Schläfli symbol ××, an n-prism, having regular polygon ends and rectangular sides, approaches a cylindrical solid as n approaches infinity. The term uniform prism or semiregular prism can be used for a prism with square sides. A uniform p-gonal prism has a Schläfli symbol t, right prisms with regular bases and equal edge lengths form one of the two infinite series of semiregular polyhedra, the other series being the antiprisms. The dual of a prism is a bipyramid. The volume of a prism is the product of the area of the base, the volume is therefore, V = B ⋅ h where B is the base area and h is the height. The volume of a prism whose base is a regular n-sided polygon with side s is therefore. The surface area of a prism is 2 · B + P · h, where B is the area of the base, h the height. The surface area of a prism whose base is a regular n-sided polygon with side length s and height h is therefore. The rotation group is Dn of order 2n, except in the case of a cube, which has the symmetry group O of order 24. The symmetry group Dnh contains inversion iff n is even, a prismatic polytope is a higher-dimensional generalization of a prism
34.
Duoprism
–
In geometry of 4 dimensions or higher, a duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an n-polytope and an m-polytope is an -polytope, the lowest-dimensional duoprisms exist in 4-dimensional space as 4-polytopes being the Cartesian product of two polygons in 2-dimensional Euclidean space. More precisely, it is the set of points, P1 × P2 = where P1, such a duoprism is convex if both bases are convex, and is bounded by prismatic cells. Four-dimensional duoprisms are considered to be prismatic 4-polytopes, a duoprism constructed from two regular polygons of the same edge length is a uniform duoprism. An alternative, more concise way of specifying a particular duoprism is by prefixing with numbers denoting the base polygons, for example,3, other alternative names, q-gonal-p-gonal prism q-gonal-p-gonal double prism q-gonal-p-gonal hyperprism The term duoprism is coined by George Olshevsky, shortened from double prism. John Horton Conway proposed a similar name proprism for product prism, the duoprisms are proprisms formed from exactly two polytopes. A 4-dimensional uniform duoprism is created by the product of a regular n-sided polygon and it is bounded by n m-gonal prisms and m n-gonal prisms. For example, the Cartesian product of a triangle and a hexagon is a duoprism bounded by 6 triangular prisms and 3 hexagonal prisms, when m and n are identical, the resulting duoprism is bounded by 2n identical n-gonal prisms. For example, the Cartesian product of two triangles is a duoprism bounded by 6 triangular prisms, when m and n are identically 4, the resulting duoprism is bounded by 8 square prisms, and is identical to the tesseract. The m-gonal prisms are attached to each other via their m-gonal faces, similarly, the n-gonal prisms are attached to each other via their n-gonal faces, and form a second loop perpendicular to the first. These two loops are attached to each other via their square faces, and are mutually perpendicular, as m and n approach infinity, the corresponding duoprisms approach the duocylinder. As such, duoprisms are useful as non-quadric approximations of the duocylinder, a cell-centered perspective projection makes a duoprism look like a torus, with two sets of orthogonal cells, p-gonal and q-gonal prisms. The p-q duoprisms are identical to the q-p duoprisms, but look different in these projections because they are projected in the center of different cells, vertex-centered orthogonal projections of p-p duoprisms project into symmetry for odd degrees, and for even degrees. There are n vertices projected into the center, for 4,4, it represents the A3 Coxeter plane of the tesseract. The 5,5 projection is identical to the 3D rhombic triacontahedron, the regular skew polyhedron, exists in 4-space as the n2 square faces of a n-n duoprism, using all 2n2 edges and n2 vertices. The 2n n-gonal faces can be seen as removed, like the antiprisms as alternated prisms, there is a set of 4-dimensional duoantiprisms, 4-polytopes that can be created by an alternation operation applied to a duoprism. The alternated vertices create nonregular tetrahedral cells, except for the special case, the 16-cell is the only convex uniform duoantiprism. The duoprisms, t0,1,2,3, can be alternated into, ht0,1,2,3, the duoantiprisms, which cannot be made uniform in general
35.
Cartesian product
–
In Set theory, a Cartesian product is a mathematical operation that returns a set from multiple sets. That is, for sets A and B, the Cartesian product A × B is the set of all ordered pairs where a ∈ A and b ∈ B, products can be specified using set-builder notation, e. g. A table can be created by taking the Cartesian product of a set of rows, If the Cartesian product rows × columns is taken, the cells of the table contain ordered pairs of the form. More generally, a Cartesian product of n sets, also known as an n-fold Cartesian product, can be represented by an array of n dimensions, an ordered pair is a 2-tuple or couple. The Cartesian product is named after René Descartes, whose formulation of analytic geometry gave rise to the concept, an illustrative example is the standard 52-card deck. The standard playing card ranks form a 13-element set, the card suits form a four-element set. The Cartesian product of these sets returns a 52-element set consisting of 52 ordered pairs, Ranks × Suits returns a set of the form. Suits × Ranks returns a set of the form, both sets are distinct, even disjoint. The main historical example is the Cartesian plane in analytic geometry, usually, such a pairs first and second components are called its x and y coordinates, respectively, cf. picture. The set of all such pairs is thus assigned to the set of all points in the plane, a formal definition of the Cartesian product from set-theoretical principles follows from a definition of ordered pair. The most common definition of ordered pairs, the Kuratowski definition, is =, note that, under this definition, X × Y ⊆ P, where P represents the power set. Therefore, the existence of the Cartesian product of any two sets in ZFC follows from the axioms of pairing, union, power set, let A, B, C, and D be sets. × C ≠ A × If for example A =, then × A = ≠ = A ×, the Cartesian product behaves nicely with respect to intersections, cf. left picture. × = ∩ In most cases the above statement is not true if we replace intersection with union, cf. middle picture. Other properties related with subsets are, if A ⊆ B then A × C ⊆ B × C, the cardinality of a set is the number of elements of the set. For example, defining two sets, A = and B =, both set A and set B consist of two elements each. Their Cartesian product, written as A × B, results in a new set which has the following elements, each element of A is paired with each element of B. Each pair makes up one element of the output set, the number of values in each element of the resulting set is equal to the number of sets whose cartesian product is being taken,2 in this case
36.
Hyperrectangle
–
In geometry, an n-orthotope is the generalization of a rectangle for higher dimensions, formally defined as the Cartesian product of intervals. A three-dimensional orthotope is also called a rectangular prism, rectangular cuboid. A special case of an n-orthotope, where all edges are equal length, is the n-cube, the dual polytope of an n-orthotope has been variously called a rectangular n-orthoplex, rhombic n-fusil, or n-lozenge. It is constructed by 2n points located in the center of the rectangular faces. An n-fusils Schläfli symbol can be represented by a sum of n line segments. A 1-fusil is a line segment and its plane cross selections in all pairs of axes are rhombi. Minimum bounding box Coxeter, Harold Scott MacDonald
37.
Convex hull
–
In mathematics, the convex hull or convex envelope of a set X of points in the Euclidean plane or in a Euclidean space is the smallest convex set that contains X. With the latter definition, convex hulls may be extended from Euclidean spaces to arbitrary real vector spaces, they may also be generalized further, to oriented matroids. The algorithmic problem of finding the convex hull of a set of points in the plane or other low-dimensional Euclidean spaces is one of the fundamental problems of computational geometry. A set of points is defined to be if it contains the line segments connecting each pair of its points. The convex hull of a given set X may be defined as The minimal convex set containing X The intersection of all convex sets containing X The set of all combinations of points in X. The union of all simplices with vertices in X and it is not obvious that the first definition makes sense, why should there exist a unique minimal convex set containing X, for every X. Thus, it is exactly the unique minimal convex set containing X. Each convex set containing X must contain all convex combinations of points in X, in fact, according to Carathéodorys theorem, if X is a subset of an N-dimensional vector space, convex combinations of at most N +1 points are sufficient in the definition above. If the convex hull of X is a set, then it is the intersection of all closed half-spaces containing X. The hyperplane separation theorem proves that in case, each point not in the convex hull can be separated from the convex hull by a half-space. However, there exist convex sets, and convex hulls of sets, more abstractly, the convex-hull operator Conv has the characteristic properties of a closure operator, It is extensive, meaning that the convex hull of every set X is a superset of X. It is non-decreasing, meaning that, for two sets X and Y with X ⊆ Y, the convex hull of X is a subset of the convex hull of Y. It is idempotent, meaning that for every X, the hull of the convex hull of X is the same as the convex hull of X. The convex hull of a point set S is the set of all convex combinations of its points. For each choice of coefficients, the convex combination is a point in the convex hull. Expressing this as a formula, the convex hull is the set. The convex hull of a point set S ⊊ R n forms a convex polygon when n =2. Each point x i in S that is not in the hull of the other points is called a vertex of Conv . In fact, every convex polytope in R n is the hull of its vertices
38.
Rotations in 4-dimensional Euclidean space
–
In mathematics, the group of rotations about a fixed point in four-dimensional Euclidean space is denoted SO. The name comes from the fact that it is the orthogonal group of order 4. In this article rotation means rotational displacement, for the sake of uniqueness rotation angles are assumed to be in the segment except where mentioned or clearly implied by the context otherwise. A fixed plane is a plane for which every vector in the plane is unchanged after the rotation, an invariant plane is a plane for which every vector in the plane, although it may be affected by the rotation, remains in the plane after the rotation. Four-dimensional rotations are of two types, simple rotations and double rotations, a simple rotation R about a rotation centre O leaves an entire plane A through O fixed. Every plane B that is orthogonal to A intersects A in a certain point P. Each such point P is the centre of the 2D rotation induced by R in B, all these 2D rotations have the same rotation angle α. Half-lines from O in the axis-plane A are not displaced, half-lines from O orthogonal to A are displaced through α, all other half-lines are displaced through an angle < α. For each rotation R of 4-space, there is at least one pair of orthogonal 2-planes A and B each of which are invariant, hence R operating on either of these planes produces an ordinary rotation of that plane. For almost all R, the rotation angles α in plane A and β in plane B — both assumed to be nonzero — are different, the unequal rotation angles α and β satisfying -π < α, β < π are almost* uniquely determined by R. Assuming that 4-space is oriented, then the orientations of the 2-planes A and B can be consistent with this orientation in two ways. If the rotation angles are unequal, R is sometimes termed a double rotation, *Assuming that 4-space is oriented, then an orientation for each of the 2-planes A and B can be chosen to be consistent with this orientation of 4-space in two equally valid ways. If the angles from one choice of orientations of A and B are. If the rotation angles of a rotation are equal then there are infinitely many invariant planes instead of just two, and all half-lines from O are displaced through the same angle. Such rotations are called isoclinic or equiangular rotations, or Clifford displacements, beware, not all planes through O are invariant under isoclinic rotations, only planes that are spanned by a half-line and the corresponding displaced half-line are invariant. Assuming that an orientation has been chosen for 4-dimensional space. Now assume that only the rotation angle α is specified, then there are in general four isoclinic rotations in planes OUX and OYZ with rotation angle α, depending on the rotation senses in OUX and OYZ. We make the convention that the senses from OU to OX
39.
Dimension
–
In physics and mathematics, the dimension of a mathematical space is informally defined as the minimum number of coordinates needed to specify any point within it. Thus a line has a dimension of one only one coordinate is needed to specify a point on it – for example. The inside of a cube, a cylinder or a sphere is three-dimensional because three coordinates are needed to locate a point within these spaces, in classical mechanics, space and time are different categories and refer to absolute space and time. That conception of the world is a space but not the one that was found necessary to describe electromagnetism. The four dimensions of spacetime consist of events that are not absolutely defined spatially and temporally, Minkowski space first approximates the universe without gravity, the pseudo-Riemannian manifolds of general relativity describe spacetime with matter and gravity. Ten dimensions are used to string theory, and the state-space of quantum mechanics is an infinite-dimensional function space. The concept of dimension is not restricted to physical objects, high-dimensional spaces frequently occur in mathematics and the sciences. They may be parameter spaces or configuration spaces such as in Lagrangian or Hamiltonian mechanics, in mathematics, the dimension of an object is an intrinsic property independent of the space in which the object is embedded. This intrinsic notion of dimension is one of the ways the mathematical notion of dimension differs from its common usages. The dimension of Euclidean n-space En is n, when trying to generalize to other types of spaces, one is faced with the question what makes En n-dimensional. One answer is that to cover a ball in En by small balls of radius ε. This observation leads to the definition of the Minkowski dimension and its more sophisticated variant, the Hausdorff dimension, for example, the boundary of a ball in En looks locally like En-1 and this leads to the notion of the inductive dimension. While these notions agree on En, they turn out to be different when one looks at more general spaces, a tesseract is an example of a four-dimensional object. The rest of this section some of the more important mathematical definitions of the dimensions. A complex number has a real part x and an imaginary part y, a single complex coordinate system may be applied to an object having two real dimensions. For example, an ordinary two-dimensional spherical surface, when given a complex metric, complex dimensions appear in the study of complex manifolds and algebraic varieties. The dimension of a space is the number of vectors in any basis for the space. This notion of dimension is referred to as the Hamel dimension or algebraic dimension to distinguish it from other notions of dimension
40.
Network topology
–
Network topology is the arrangement of the various elements of a computer network. Essentially, it is the structure of a network and may be depicted physically or logically. Distances between nodes, physical interconnections, transmission rates, or signal types may differ between two networks, yet their topologies may be identical, an example is a local area network. Conversely, mapping the data flow between the components determines the topology of the network. Two basic categories of network topologies exist, physical topologies and logical topologies, the cabling layout used to link devices is the physical topology of the network. This refers to the layout of cabling, the locations of nodes, a networks logical topology is not necessarily the same as its physical topology. For example, the twisted pair Ethernet using repeater hubs was a logical bus topology carried on a physical star topology. Token ring is a ring topology, but is wired as a physical star from the media access unit. Logical topologies are often associated with media access control methods. Some networks are able to change their logical topology through configuration changes to their routers. The study of network topology recognizes eight basic topologies, point-to-point, bus, star, ring or circular, mesh, tree, hybrid, the simplest topology with a dedicated link between two endpoints. Easiest to understand, of the variations of point-to-point topology, is a point-to-point communications channel that appears, to the user, a childs tin can telephone is one example of a physical dedicated channel. Using circuit-switching or packet-switching technologies, a point-to-point circuit can be set up dynamically, switched point-to-point topologies are the basic model of conventional telephony. The value of a permanent point-to-point network is unimpeded communications between the two endpoints, the value of an on-demand point-to-point connection is proportional to the number of potential pairs of subscribers and has been expressed as Metcalfes Law. In local area networks where bus topology is used, each node is connected to a single cable and this central cable is the backbone of the network and is known as the bus. A signal from the travels in both directions to all machines connected on the bus cable until it finds the intended recipient. If the machine address does not match the address for the data. Alternatively, if the matches the machine address, the data is accepted
41.
Parallel computing
–
Parallel computing is a type of computation in which many calculations or the execution of processes are carried out simultaneously. Large problems can often be divided into smaller ones, which can then be solved at the same time, there are several different forms of parallel computing, bit-level, instruction-level, data, and task parallelism. Parallelism has been employed for years, mainly in high-performance computing. As power consumption by computers has become a concern in recent years, parallel computing has become the dominant paradigm in computer architecture, specialized parallel computer architectures are sometimes used alongside traditional processors, for accelerating specific tasks. Communication and synchronization between the different subtasks are typically some of the greatest obstacles to getting good parallel program performance, a theoretical upper bound on the speed-up of a single program as a result of parallelization is given by Amdahls law. Traditionally, computer software has been written for serial computation, to solve a problem, an algorithm is constructed and implemented as a serial stream of instructions. These instructions are executed on a central processing unit on one computer, only one instruction may execute at a time—after that instruction is finished, the next one is executed. Parallel computing, on the hand, uses multiple processing elements simultaneously to solve a problem. This is accomplished by breaking the problem into independent parts so that each processing element can execute its part of the algorithm simultaneously with the others. The processing elements can be diverse and include such as a single computer with multiple processors, several networked computers, specialized hardware. Frequency scaling was the dominant reason for improvements in performance from the mid-1980s until 2004. The runtime of a program is equal to the number of instructions multiplied by the time per instruction. Maintaining everything else constant, increasing the frequency decreases the average time it takes to execute an instruction. An increase in frequency thus decreases runtime for all compute-bound programs. However, power consumption P by a chip is given by the equation P = C × V2 × F, where C is the capacitance being switched per clock cycle, V is voltage, increases in frequency increase the amount of power used in a processor. Moores law is the observation that the number of transistors in a microprocessor doubles every 18 to 24 months. Despite power consumption issues, and repeated predictions of its end, with the end of frequency scaling, these additional transistors can be used to add extra hardware for parallel computing. Optimally, the speedup from parallelization would be linear—doubling the number of processing elements should halve the runtime, however, very few parallel algorithms achieve optimal speedup
42.
Rhombic dodecahedron
–
In geometry, the rhombic dodecahedron is a convex polyhedron with 12 congruent rhombic faces. It has 24 edges, and 14 vertices of two types and it is a Catalan solid, and the dual polyhedron of the cuboctahedron. The rhombic dodecahedron is a zonohedron and its polyhedral dual is the cuboctahedron. The long diagonal of each face is exactly √2 times the length of the diagonal, so that the acute angles on each face measure arccos. Being the dual of an Archimedean polyhedron, the rhombic dodecahedron is face-transitive, meaning the symmetry group of the solid acts transitively on the set of faces. In elementary terms, this means that for any two faces A and B there is a rotation or reflection of the solid that leaves it occupying the region of space while moving face A to face B. The rhombic dodecahedron is one of the nine edge-transitive convex polyhedra, the others being the five Platonic solids, the cuboctahedron, the icosidodecahedron, the rhombic dodecahedron can be used to tessellate three-dimensional space. It can be stacked to fill a space much like hexagons fill a plane and this polyhedron in a space-filling tessellation can be seen as the Voronoi tessellation of the face-centered cubic lattice. It is the Brillouin zone of body centered cubic crystals, some minerals such as garnet form a rhombic dodecahedral crystal habit. Honey bees use the geometry of rhombic dodecahedra to form honeycombs from a tessellation of cells each of which is a hexagonal prism capped with half a rhombic dodecahedron, the rhombic dodecahedron also appears in the unit cells of diamond and diamondoids. In these cases, four vertices are absent, but the chemical bonds lie on the remaining edges, the graph of the rhombic dodecahedron is nonhamiltonian. The last two correspond to the B2 and A2 Coxeter planes, the rhombic dodecahedron is a parallelohedron, a space-filling polyhedron. Other symmetry constructions of the dodecahedron are also space-filling. For example, with 4 square faces, and 60-degree rhombic faces and it be seen as a cuboctahedron with square pyramids augmented on the top and bottom. In 1960 Stanko Bilinski discovered a second rhombic dodecahedron with 12 congruent rhombus faces and it has the same topology but different geometry. The rhombic faces in this form have the golden ratio, another topologically equivalent variation, sometimes called a trapezoidal dodecahedron, is isohedral with tetrahedral symmetry order 24, distorting rhombic faces into kites. It has 8 vertices adjusted in or out in sets of 4. Variations can be parametrized by, where b is determined from a for planar faces and this polyhedron is a part of a sequence of rhombic polyhedra and tilings with Coxeter group symmetry
43.
Pascal's triangle
–
In mathematics, Pascals triangle is a triangular array of the binomial coefficients. In the Western world, it is named after French mathematician Blaise Pascal, although other mathematicians studied it centuries before him in India, Persia, China, Germany, the rows of Pascals triangle are conventionally enumerated starting with row n =0 at the top. The entries in each row are numbered from the beginning with k =0 and are usually staggered relative to the numbers in the adjacent rows. The triangle may be constructed in the manner, In row 0. Each entry of each subsequent row is constructed by adding the number above and to the left with the number above and to the right, treating blank entries as 0. For example, the number in the first row is 1. The entry in the nth row and kth column of Pascals triangle is denoted, for example, the unique nonzero entry in the topmost row is =1. With this notation, the construction of the previous paragraph may be written as follows, = +, for any integer n. This recurrence for the coefficients is known as Pascals rule. Pascals triangle has higher dimensional generalizations, the three-dimensional version is called Pascals pyramid or Pascals tetrahedron, while the general versions are called Pascals simplices. The pattern of numbers that forms Pascals triangle was known well before Pascals time, centuries before, discussion of the numbers had arisen in the context of Indian studies of combinatorics and of binomial numbers and Greeks study of figurate numbers. From later commentary, it appears that the coefficients and the additive formula for generating them. Halayudha also explained obscure references to Meru-prastaara, the Staircase of Mount Meru, in approximately 850, the Jain mathematician Mahāvīra gave a different formula for the binomial coefficients, using multiplication, equivalent to the modern formula = n. r. At around the time, it was discussed in Persia by the Persian mathematician. It was later repeated by the Persian poet-astronomer-mathematician Omar Khayyám, thus the triangle is referred to as the Khayyam triangle in Iran. Several theorems related to the triangle were known, including the binomial theorem, Khayyam used a method of finding nth roots based on the binomial expansion, and therefore on the binomial coefficients. Pascals triangle was known in China in the early 11th century through the work of the Chinese mathematician Jia Xian, in the 13th century, Yang Hui presented the triangle and hence it is still called Yang Huis triangle in China. In the west, the binomial coefficients were calculated by Gersonides in the early 14th century, petrus Apianus published the full triangle on the frontispiece of his book on business calculations in 1527
44.
Graphical projection
–
Graphical projection is a protocol, used in technical drawing, by which an image of a three-dimensional object is projected onto a planar surface without the aid of numerical calculation. The projection is achieved by the use of imaginary projectors, the projected, mental image becomes the technician’s vision of the desired, finished picture. By following the protocol the technician may produce the picture on a planar surface such as drawing paper. The protocols provide a uniform imaging procedure among people trained in technical graphics, the orthographic projection is derived from the principles of descriptive geometry and is a two-dimensional representation of a three-dimensional object. It is the type of choice for working drawings. Within parallel projection there is a known as Pictorials. Pictorials show an image of an object as viewed from a direction in order to reveal all three directions of space in one picture. Parallel projection pictorial instrument drawings are used to approximate graphical perspective projections. Because pictorial projections inherently have this distortion, in the instrument drawing of pictorials, great liberties may then be taken for economy of effort, parallel projection pictorials rely on the technique of axonometric projection. Axonometric projection is a type of projection used to create a pictorial drawing of an object. There are three types of axonometric projection, isometric, dimetric, and trimetric projection. In isometric pictorials, the direction of viewing is such that the three axes of space appear equally foreshortened, and there is an angle of 120° between them. As the distortion caused by foreshortening is uniform the proportionality of all sides and lengths are preserved, and this enables measurements to be read or taken directly from the drawing. Approximations are common in dimetric drawings, in trimetric pictorials, the direction of viewing is such that all of the three axes of space appear unequally foreshortened. The scale along each of the three axes and the angles among them are determined separately as dictated by the angle of viewing, approximations in Trimetric drawings are common. In oblique projections the parallel projection rays are not perpendicular to the plane as with orthographic projection. In both orthographic and oblique projection, parallel lines in space appear parallel on the projected image, because of its simplicity, oblique projection is used exclusively for pictorial purposes rather than for formal, working drawings. In an oblique pictorial drawing, the angles among the axes as well as the foreshortening factors are arbitrary
45.
Cuboid
–
In geometry, a cuboid is a convex polyhedron bounded by six quadrilateral faces, whose polyhedral graph is the same as that of a cube. By Eulers formula the numbers of faces F, of vertices V, in the case of a cuboid this gives 6 +8 =12 +2, that is, like a cube, a cuboid has 6 faces,8 vertices, and 12 edges. Along with the rectangular cuboids, any parallelepiped is a cuboid of this type, in a rectangular cuboid, all angles are right angles, and opposite faces of a cuboid are equal. By definition this makes it a rectangular prism, and the terms rectangular parallelepiped or orthogonal parallelepiped are also used to designate this polyhedron. The terms rectangular prism and oblong prism, however, are ambiguous, the square cuboid, square box, or right square prism is a special case of the cuboid in which at least two faces are squares. It has Schläfli symbol ×, and its symmetry is doubled from to, the cube is a special case of the square cuboid in which all six faces are squares. It has Schläfli symbol, and its symmetry is raised from, to, if the dimensions of a rectangular cuboid are a, b and c, then its volume is abc and its surface area is 2. The length of the diagonal is d = a 2 + b 2 + c 2. Cuboid shapes are used for boxes, cupboards, rooms, buildings. Cuboids are among those solids that can tessellate 3-dimensional space, the shape is fairly versatile in being able to contain multiple smaller cuboids, e. g. sugar cubes in a box, boxes in a cupboard, cupboards in a room, and rooms in a building. A cuboid with integer edges as well as integer face diagonals is called an Euler brick, a perfect cuboid is an Euler brick whose space diagonal is also an integer. It is currently unknown whether a perfect cuboid actually exists, the number of different nets for a simple cube is 11, however this number increases significantly to 54 for a rectangular cuboid of 3 different lengths. Hyperrectangle Trapezohedron Weisstein, Eric W. Cuboid, rectangular prism and cuboid Paper models and pictures