1.
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
2.
Octahedron
–
In geometry, an octahedron is a polyhedron with eight faces, twelve edges, and six vertices. A regular octahedron is a Platonic solid composed of eight equilateral triangles, a regular octahedron is the dual polyhedron of a cube. It is a square bipyramid in any of three orthogonal orientations and it is also a triangular antiprism in any of four orientations. An octahedron is the case of the more general concept of a cross polytope. A regular octahedron is a 3-ball in the Manhattan metric, the second and third correspond to the B2 and A2 Coxeter planes. The octahedron 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. An octahedron with edge length √2 can be placed with its center at the origin and its vertices on the coordinate axes, the Cartesian coordinates of the vertices are then. In an x–y–z Cartesian coordinate system, the octahedron with center coordinates, additionally the inertia tensor of the stretched octahedron is I =. These reduce to the equations for the regular octahedron when x m = y m = z m = a 22, the interior of the compound of two dual tetrahedra is an octahedron, and this compound, called the stella octangula, is its first and only stellation. Correspondingly, an octahedron is the result of cutting off from a regular tetrahedron. One can also divide the edges of an octahedron in the ratio of the mean to define the vertices of an icosahedron. There are five octahedra that define any given icosahedron in this fashion, octahedra and tetrahedra can be alternated to form a vertex, edge, and face-uniform tessellation of space, called the octet truss by Buckminster Fuller. This is the only such tiling save the regular tessellation of cubes, another is a tessellation of octahedra and cuboctahedra. The octahedron is unique among the Platonic solids in having a number of faces meeting at each vertex. Consequently, it is the member of that group to possess mirror planes that do not pass through any of the faces. Using the standard nomenclature for Johnson solids, an octahedron would be called a square bipyramid, truncation of two opposite vertices results in a square bifrustum. The octahedron is 4-connected, meaning that it takes the removal of four vertices to disconnect the remaining vertices and it is one of only four 4-connected simplicial well-covered polyhedra, meaning that all of the maximal independent sets of its vertices have the same size
3.
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
4.
5-orthoplex
–
In five-dimensional geometry, a 5-orthoplex, or 5-cross polytope, is a five-dimensional polytope with 10 vertices,40 edges,80 triangle faces,80 tetrahedron cells,32 5-cell 4-faces. It has two constructed forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets and it is a part of an infinite family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 5-hypercube or 5-cube, pentacross, derived from combining the family name cross polytope with pente for five in Greek. Triacontaditeron - as a 32-facetted 5-polytope and this polytope is one of 31 uniform 5-polytopes generated from the B5 Coxeter plane, including the regular 5-cube and 5-orthoplex. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, 5D uniform polytopes x3o3o3o4o - tac. Archived from the original on 4 February 2007, Polytopes of Various Dimensions Multi-dimensional Glossary
5.
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
6.
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
7.
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
8.
Polytope
–
In elementary geometry, a polytope is a geometric object with flat sides, and may exist in any general number of dimensions n as an n-dimensional polytope or n-polytope. For example, a polygon is a 2-polytope and a three-dimensional polyhedron is a 3-polytope. Polytopes in more than three dimensions were first discovered by Ludwig Schläfli, the German term polytop was coined by the mathematician Reinhold Hoppe, and was introduced to English mathematicians as polytope by Alicia Boole Stott. The term polytope is nowadays a broad term that covers a class of objects. Many of these definitions are not equivalent, resulting in different sets of objects being called polytopes and they represent different approaches to generalizing the convex polytopes to include other objects with similar properties. In this approach, a polytope may be regarded as a tessellation or decomposition of some given manifold, an example of this approach defines a polytope as a set of points that admits a simplicial decomposition. However this definition does not allow star polytopes with interior structures, the discovery of star polyhedra and other unusual constructions led to the idea of a polyhedron as a bounding surface, ignoring its interior. A polyhedron is understood as a surface whose faces are polygons, a 4-polytope as a hypersurface whose facets are polyhedra and this approach is used for example in the theory of abstract polytopes. In certain fields of mathematics, the terms polytope and polyhedron are used in a different sense and this terminology is typically confined to polytopes and polyhedra that are convex. A polytope comprises elements of different dimensionality such as vertices, edges, faces, cells, terminology for these is not fully consistent across different authors. For example, some authors use face to refer to an -dimensional element while others use face to denote a 2-face specifically, authors may use j-face or j-facet to indicate an element of j dimensions. Some use edge to refer to a ridge, while H. S. M. Coxeter uses cell to denote an -dimensional element, the terms adopted in this article are given in the table below, An n-dimensional polytope is bounded by a number of -dimensional facets. These facets are themselves polytopes, whose facets are -dimensional ridges of the original polytope, Every ridge arises as the intersection of two facets. Ridges are once again polytopes whose facets give rise to -dimensional boundaries of the original polytope and these bounding sub-polytopes may be referred to as faces, or specifically j-dimensional faces or j-faces. A 0-dimensional face is called a vertex, and consists of a single point, a 1-dimensional face is called an edge, and consists of a line segment. A 2-dimensional face consists of a polygon, and a 3-dimensional face, sometimes called a cell, the convex polytopes are the simplest kind of polytopes, and form the basis for several different generalizations of the concept of polytopes. A convex polytope is defined as the intersection of a set of half-spaces. This definition allows a polytope to be neither bounded nor finite, Polytopes are defined in this way, e. g. in linear programming
9.
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
10.
Simplex
–
In geometry, a simplex is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. Specifically, a k-simplex is a polytope which is the convex hull of its k +1 vertices. More formally, suppose the k +1 points u 0, …, u k ∈ R k are affinely independent, then, the simplex determined by them is the set of points C =. For example, a 2-simplex is a triangle, a 3-simplex is a tetrahedron, a single point may be considered a 0-simplex, and a line segment may be considered a 1-simplex. A simplex may be defined as the smallest convex set containing the given vertices, a regular simplex is a simplex that is also a regular polytope. A regular n-simplex may be constructed from a regular -simplex by connecting a new vertex to all original vertices by the edge length. In topology and combinatorics, it is common to “glue together” simplices to form a simplicial complex, the associated combinatorial structure is called an abstract simplicial complex, in which context the word “simplex” simply means any finite set of vertices. A 1-simplex is a line segment, the convex hull of any nonempty subset of the n+1 points that define an n-simplex is called a face of the simplex. In particular, the hull of a subset of size m+1 is an m-simplex. The 0-faces are called the vertices, the 1-faces are called the edges, the -faces are called the facets, in general, the number of m-faces is equal to the binomial coefficient. Consequently, the number of m-faces of an n-simplex may be found in column of row of Pascals triangle, a simplex A is a coface of a simplex B if B is a face of A. Face and facet can have different meanings when describing types of simplices in a simplicial complex, see simplical complex for more detail. The regular simplex family is the first of three regular polytope families, labeled by Coxeter as αn, the two being the cross-polytope family, labeled as βn, and the hypercubes, labeled as γn. A fourth family, the infinite tessellation of hypercubes, he labeled as δn, an -simplex can be constructed as a join of an n-simplex and a point. An -simplex can be constructed as a join of an m-simplex, the two simplices are oriented to be completely normal from each other, with translation in a direction orthogonal to both of them. A 1-simplex is a joint of two points, ∨ =2, a general 2-simplex is the join of 3 points, ∨∨. An isosceles triangle is the join of a 1-simplex and a point, a general 3-simplex is the join of 4 points, ∨∨∨. A 3-simplex with mirror symmetry can be expressed as the join of an edge and 2 points, a 3-simplex with triangular symmetry can be expressed as the join of an equilateral triangle and 1 point,3. ∨ or ∨
11.
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
12.
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
13.
Unit sphere
–
Usually a specific point has been distinguished as the origin of the space under study and it is understood that a unit sphere or unit ball is centered at that point. Therefore one speaks of the ball or the unit sphere. For example, a sphere is the surface of what is commonly called a circle, while such a circles interior. Similarly, a sphere is the surface of the Euclidean solid known colloquially as a sphere, while the interior. A unit sphere is simply a sphere of radius one, the importance of the unit sphere is that any sphere can be transformed to a unit sphere by a combination of translation and scaling. In this way the properties of spheres in general can be reduced to the study of the unit sphere. In Euclidean space of n dimensions, the sphere is the set of all points which satisfy the equation x 12 + x 22 + ⋯ + x n 2 =1. The volume of the ball in n dimensions, which we denote Vn. It is V n = π n /2 Γ = { π n /2 /, I f n ≥0 i s e v e n, π ⌊ n /2 ⌋2 ⌈ n /2 ⌉ / n. I f n ≥0 i s o d d, where n. is the double factorial, the surface areas and the volumes for some values of n are as follows, where the decimal expanded values for n ≥2 are rounded to the displayed precision. The An values satisfy the recursion, A0 =0 A1 =2 A2 =2 π A n =2 π n −2 A n −2 for n >2. The Vn values satisfy the recursion, V0 =1 V1 =2 V n =2 π n V n −2 for n >1. The surface area of a sphere with radius r is An rn−1. For instance, the area is A = 4π r 2 for the surface of the ball of radius r. The volume is V = 4π r 3 /3 for the ball of radius r. More precisely, the unit ball in a normed vector space V. It is the interior of the unit ball of. The latter is the disjoint union of the former and their common border, the shape of the unit ball is entirely dependent on the chosen norm, it may well have corners, and for example may look like n, in the case of the norm l∞ in Rn
14.
L1-norm
–
Taxicab distance depends on the rotation of the coordinate system, but does not depend on its reflection about a coordinate axis or its translation. A circle is a set of points with a distance, called the radius. In taxicab geometry, distance is determined by a different metric than in Euclidean geometry, Taxicab circles are squares with sides oriented at a 45° angle to the coordinate axes. The image to the right shows why this is true, by showing in red the set of all points with a distance from a center. As the size of the city blocks diminishes, the points become more numerous, while each side would have length √2r using a Euclidean metric, where r is the circles radius, its length in taxicab geometry is 2r. Thus, a circles circumference is 8r, thus, the value of a geometric analog to π is 4 in this geometry. The formula for the circle in taxicab geometry is | x | + | y | =1 in Cartesian coordinates. A circle of radius 1 is the von Neumann neighborhood of its center, however, this equivalence between L1 and L∞ metrics does not generalize to higher dimensions. e. With its diagonals as coordinate axes, to reach from one square to another, only kings require the number of moves equal to the distance, rooks, queens and bishops require one or two moves. In solving a system of linear equations, the regularisation term for the parameter vector is expressed in terms of the ℓ1 -norm of the vector. This approach appears in the signal recovery framework called compressed sensing, Taxicab geometry can be used to assess the differences in discrete frequency distributions. For example, in RNA splicing positional distributions of hexamers, which plot the probability of each hexamer appearing at each given nucleotide near a splice site, each position distribution can be represented as a vector where each entry represents the likelihood of the hexamer starting at a certain nucleotide. A large L1-distance between the two vectors indicates a significant difference in the nature of the distributions while a small distance denotes similarly shaped distributions. This is equivalent to measuring the area between the two distribution curves because the area of each segment is the difference between the two curves likelihoods at that point. When summed together for all segments, it provides the same measure as L1-distance, normed vector space Metric Orthogonal convex hull Hamming distance Akritean distance Fifteen puzzle Random walk Manhattan wiring Eugene F. Krause. City-block metric on PlanetMath Weisstein, Eric W. Taxicab Metric, paul E. Black, Dictionary of Algorithms and Data Structures, NIST Taxi. - AMS column about Taxicab geometry TaxicabGeometry. net - a website dedicated to taxicab geometry research and information
15.
Line segment
–
In geometry, a line segment is a part of a line that is bounded by two distinct end points, and contains every point on the line between its endpoints. A closed line segment includes both endpoints, while a line segment excludes both endpoints, a half-open line segment includes exactly one of the endpoints. Examples of line include the sides of a triangle or square. More generally, when both of the end points are vertices of a polygon or polyhedron, the line segment is either an edge if they are adjacent vertices. When the end points both lie on a such as a circle, a line segment is called a chord. Sometimes one needs to distinguish between open and closed line segments, thus, the line segment can be expressed as a convex combination of the segments two end points. In geometry, it is defined that a point B is between two other points A and C, if the distance AB added to the distance BC is equal to the distance AC. Thus in R2 the line segment with endpoints A = and C = is the collection of points. A line segment is a connected, non-empty set, if V is a topological vector space, then a closed line segment is a closed set in V. However, an open line segment is an open set in V if and only if V is one-dimensional. More generally than above, the concept of a segment can be defined in an ordered geometry. A pair of segments can be any one of the following, intersecting, parallel, skew. The last possibility is a way that line segments differ from lines, in an axiomatic treatment of geometry, the notion of betweenness is either assumed to satisfy a certain number of axioms, or else be defined in terms of an isometry of a line. Segments play an important role in other theories, for example, a set is convex if the segment that joins any two points of the set is contained in the set. This is important because it transforms some of the analysis of sets to the analysis of a line segment. The Segment Addition Postulate can be used to add congruent segment or segments with equal lengths and consequently substitute other segments into another statement to make segments congruent. A line segment can be viewed as a case of an ellipse in which the semiminor axis goes to zero, the foci go to the endpoints. A complete orbit of this ellipse traverses the line segment twice, as a degenerate orbit this is a radial elliptic trajectory. In addition to appearing as the edges and diagonals of polygons and polyhedra, some very frequently considered segments in a triangle include the three altitudes, the three medians, the perpendicular bisectors of the sides, and the internal angle bisectors
16.
Polyhedron
–
In geometry, a polyhedron is a solid in three dimensions with flat polygonal faces, straight edges and sharp corners or vertices. The word polyhedron comes from the Classical Greek πολύεδρον, as poly- + -hedron, a convex polyhedron is the convex hull of finitely many points, not all on the same plane. Cubes and pyramids are examples of convex polyhedra, a polyhedron is a 3-dimensional example of the more general polytope in any number of dimensions. Convex polyhedra are well-defined, with several equivalent standard definitions, however, the formal mathematical definition of polyhedra that are not required to be convex has been problematic. Many definitions of polyhedron have been given within particular contexts, some more rigorous than others, some of these definitions exclude shapes that have often been counted as polyhedra or include shapes that are often not considered as valid polyhedra. As Branko Grünbaum observed, The Original Sin in the theory of polyhedra goes back to Euclid, the writers failed to define what are the polyhedra. Nevertheless, there is agreement that a polyhedron is a solid or surface that can be described by its vertices, edges, faces. Natural refinements of this definition require the solid to be bounded, to have a connected interior, and possibly also to have a connected boundary. However, the polyhedra defined in this way do not include the self-crossing star polyhedra, their faces may not form simple polygons, definitions based on the idea of a bounding surface rather than a solid are also common. If a planar part of such a surface is not itself a convex polygon, ORourke requires it to be subdivided into smaller convex polygons, cromwell gives a similar definition but without the restriction of three edges per vertex. Again, this type of definition does not encompass the self-crossing polyhedra, however, there exist topological polyhedra that cannot be realized as acoptic polyhedra. One modern approach is based on the theory of abstract polyhedra and these can be defined as partially ordered sets whose elements are the vertices, edges, and faces of a polyhedron. A vertex or edge element is less than an edge or face element when the vertex or edge is part of the edge or face, additionally, one may include a special bottom element of this partial order and a top element representing the whole polyhedron. However, these requirements are relaxed, to instead require only that the sections between elements two levels apart from line segments. Geometric polyhedra, defined in other ways, can be described abstractly in this way, a realization of an abstract polyhedron is generally taken to be a mapping from the vertices of the abstract polyhedron to geometric points, such that the points of each face are coplanar. A geometric polyhedron can then be defined as a realization of an abstract polyhedron, realizations that forgo the requirement of planarity, that impose additional requirements of symmetry, or that map the vertices to higher dimensional spaces have also been considered. Unlike the solid-based and surface-based definitions, this perfectly well for star polyhedra. However, without restrictions, this definition allows degenerate or unfaithful polyhedra
17.
Platonic solid
–
In three-dimensional space, a Platonic solid is a regular, convex polyhedron. It is constructed by congruent regular polygonal faces with the number of faces meeting at each vertex. Five solids meet those criteria, Geometers have studied the mathematical beauty and they are named for the ancient Greek philosopher Plato who theorized in his dialogue, the Timaeus, that the classical elements were made of these regular solids. The Platonic solids have been known since antiquity, dice go back to the dawn of civilization with shapes that predated formal charting of Platonic solids. The ancient Greeks studied the Platonic solids extensively, some sources credit Pythagoras with their discovery. In any case, Theaetetus gave a description of all five. The Platonic solids are prominent in the philosophy of Plato, their namesake, Plato wrote about them in the dialogue Timaeus c.360 B. C. in which he associated each of the four classical elements with a regular solid. Earth was associated with the cube, air with the octahedron, water with the icosahedron, there was intuitive justification for these associations, the heat of fire feels sharp and stabbing. Air is made of the octahedron, its components are so smooth that one can barely feel it. Water, the icosahedron, flows out of hand when picked up. By contrast, a highly nonspherical solid, the hexahedron represents earth and these clumsy little solids cause dirt to crumble and break when picked up in stark difference to the smooth flow of water. Moreover, the cubes being the regular solid that tessellates Euclidean space was believed to cause the solidity of the Earth. Of the fifth Platonic solid, the dodecahedron, Plato obscurely remarks. the god used for arranging the constellations on the whole heaven. Aristotle added an element, aithēr and postulated that the heavens were made of this element. Euclid completely mathematically described the Platonic solids in the Elements, the last book of which is devoted to their properties, propositions 13–17 in Book XIII describe the construction of the tetrahedron, octahedron, cube, icosahedron, and dodecahedron in that order. For each solid Euclid finds the ratio of the diameter of the sphere to the edge length. In Proposition 18 he argues there are no further convex regular polyhedra. Andreas Speiser has advocated the view that the construction of the 5 regular solids is the goal of the deductive system canonized in the Elements
18.
Bipyramid
–
An n-gonal bipyramid or dipyramid is a polyhedron formed by joining an n-gonal pyramid and its mirror image base-to-base. An n-gonal bipyramid has 2n triangle faces, 3n edges, and 2 + n vertices, the referenced n-gon in the name of the bipyramids is not an external face but an internal one, existing on the primary symmetry plane which connects the two pyramid halves. A right bipyramid has two points above and below the centroid of its base, nonright bipyramids are called oblique bipyramids. A regular bipyramid has a regular polygon internal face and is implied to be a right bipyramid. A right bipyramid can be represented as + P for internal polygon P, a concave bipyramid has a concave interior polygon. The face-transitive regular bipyramids are the dual polyhedra of the uniform prisms, a bipyramid can be projected on a sphere or globe as n equally spaced lines of longitude going from pole to pole, and bisected by a line around the equator. Bipyramid faces, projected as spherical triangles, represent the fundamental domains in the dihedral symmetry Dnh, the volume of a bipyramid is V =2/3Bh where B is the area of the base and h the height from the base to the apex. This works for any location of the apex, provided that h is measured as the distance from the plane which contains the base. The volume of a bipyramid whose base is a regular n-sided polygon with side length s and whose height is h is therefore, only three kinds of bipyramids can have all edges of the same length, the triangular, tetragonal, and pentagonal bipyramids. The rotation group is Dn of order 2n, except in the case of an octahedron, which has the larger symmetry group O of order 24. The digonal faces of a spherical 2n-bipyramid represents the fundamental domains of symmetry in three dimensions, Dnh, order 4n. The reflection domains can be shown as alternately colored triangles as mirror images, a scalenohedron is topologically identical to a 2n-bipyramid, but contains congruent scalene triangles. In one type the 2n vertices around the center alternate in rings above, in the other type, the 2n vertices are on the same plane, but alternate in two radii. The first has 2-fold rotation axes mid-edge around the sides, reflection planes through the vertices, in crystallography, 8-sided and 12-sided scalenohedra exist. All of these forms are isohedra, the second has symmetry Dn, order 2n. The smallest scalenohedron has 8 faces and is identical to the regular octahedron. The second type is a rhombic bipyramid, the first type has 6 vertices can be represented as, where z is a parameter between 0 and 1, creating a regular octahedron at z =0, and becoming a disphenoid with merged coplanar faces at z =1. For z >1, it becomes concave, self-intersecting bipyramids exist with a star polygon central figure, defined by triangular faces connecting each polygon edge to these two points
19.
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
20.
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
21.
N-skeleton
–
In other words, given an inductive definition of a complex, the n-skeleton is obtained by stopping at the n-th step. The 0-skeleton is a space, and the 1-skeleton a topological graph. The skeletons of a space are used in theory, to construct spectral sequences by means of filtrations. They are particularly important when X has infinite dimension, in the sense that the Xn do not become constant as n → ∞, in geometry, a k-skeleton of n-polytope P consists of all i-polytope elements of dimension up to k. Briefly speaking, a simplicial set K ∗ can be described by a collection of sets K i, i ≥0, together with face and degeneracy maps between them satisfying a number of equations. More precisely, the restriction functor i ∗, Δ o p S e t s → Δ ≤ n o p S e t s has a left adjoint, denoted i ∗. The n-skeleton of some simplicial set K ∗ is defined as s k n, = i ∗ i ∗ K. Moreover, the n-coskeleton is defined as c o s k n, = i. For example, the 0-skeleton of K is the constant simplicial set defined by K0, the 0-coskeleton is given by the Cech nerve ⋯ → K0 × K0 → K0. The above constructions work for more categories as well, provided that the category has fiber products. The coskeleton is needed to define the concept of hypercovering in homotopical algebra and algebraic geometry
22.
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
23.
4-polytope
–
In geometry, a 4-polytope is a four-dimensional polytope. It is a connected and closed figure, composed of lower-dimensional polytopal elements, vertices, edges, faces, each face is shared by exactly two cells. The two-dimensional analogue of a 4-polytope is a polygon, and the three-dimensional analogue is a polyhedron, topologically 4-polytopes are closely related to the uniform honeycombs, such as the cubic honeycomb, which tessellate 3-space, similarly the 3D cube is related to the infinite 2D square tiling. Convex 4-polytopes can be cut and unfolded as nets in 3-space, a 4-polytope is a closed four-dimensional figure. It comprises vertices, edges, faces and cells, a cell is the three-dimensional analogue of a face, and is therefore a polyhedron. Each face must join exactly two cells, analogous to the way in each edge of a polyhedron joins just two faces. Like any polytope, the elements of a 4-polytope cannot be subdivided into two or more sets which are also 4-polytopes, i. e. it is not a compound, the most familiar 4-polytope is the tesseract or hypercube, the 4D analogue of the cube. 4-polytopes cannot be seen in space due to their extra dimension. Several techniques are used to help visualise them, Orthogonal projection Orthogonal projections can be used to show various symmetry orientations of a 4-polytope. They can be drawn in 2D as vertex-edge graphs, and can be shown in 3D with solid faces as visible projective envelopes. Perspective projection Just as a 3D shape can be projected onto a flat sheet, sectioning Just as a slice through a polyhedron reveals a cut surface, so a slice through a 4-polytope reveals a cut hypersurface in three dimensions. A sequence of sections can be used to build up an understanding of the overall shape. The extra dimension can be equated with time to produce an animation of these cross sections. The topology of any given 4-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, and is zero for all 4-polytopes, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal 4-polytopes, like all polytopes, 4-polytopes may be classified based on properties like convexity and symmetry. Self-intersecting 4-polytopes are also known as star 4-polytopes, from analogy with the shapes of the non-convex star polygons. A 4-polytope is regular if it is transitive on its flags and this means that its cells are all congruent regular polyhedra, and similarly its vertex figures are congruent and of another kind of regular polyhedron
24.
Harold Scott MacDonald Coxeter
–
Harold Scott MacDonald Donald Coxeter, FRS, FRSC, CC was a British-born Canadian geometer. Coxeter is regarded as one of the greatest geometers of the 20th century and he was born in London but spent most of his adult life in Canada. He was always called Donald, from his third name MacDonald, in his youth, Coxeter composed music and was an accomplished pianist at the age of 10. He felt that mathematics and music were intimately related, outlining his ideas in a 1962 article on Mathematics and he worked for 60 years at the University of Toronto and published twelve books. He was most noted for his work on regular polytopes and higher-dimensional geometries and he was a champion of the classical approach to geometry, in a period when the tendency was to approach geometry more and more via algebra. Coxeter went up to Trinity College, Cambridge in 1926 to read mathematics, there he earned his BA in 1928, and his doctorate in 1931. In 1932 he went to Princeton University for a year as a Rockefeller Fellow, where he worked with Hermann Weyl, Oswald Veblen, returning to Trinity for a year, he attended Ludwig Wittgensteins seminars on the philosophy of mathematics. In 1934 he spent a year at Princeton as a Procter Fellow. In 1936 Coxeter moved to the University of Toronto, flather, and John Flinders Petrie published The Fifty-Nine Icosahedra with University of Toronto Press. In 1940 Coxeter edited the eleventh edition of Mathematical Recreations and Essays and he was elevated to professor in 1948. Coxeter was elected a Fellow of the Royal Society of Canada in 1948 and he also inspired some of the innovations of Buckminster Fuller. Coxeter, M. S. Longuet-Higgins and J. C. P. Miller were the first to publish the full list of uniform polyhedra, since 1978, the Canadian Mathematical Society have awarded the Coxeter–James Prize in his honor. He was made a Fellow of the Royal Society in 1950, in 1990, he became a Foreign Member of the American Academy of Arts and Sciences and in 1997 was made a Companion of the Order of Canada. In 1973 he got the Jeffery–Williams Prize,1940, Regular and Semi-Regular Polytopes I, Mathematische Zeitschrift 46, 380-407, MR2,10 doi,10. 1007/BF011814491942, Non-Euclidean Geometry, University of Toronto Press, MAA. 1954, Uniform Polyhedra, Philosophical Transactions of the Royal Society A246, arthur Sherk, Peter McMullen, Anthony C. Thompson and Asia Ivić Weiss, editors, Kaleidoscopes — Selected Writings of H. S. M. John Wiley and Sons ISBN 0-471-01003-01999, The Beauty of Geometry, Twelve Essays, Dover Publications, LCCN 99-35678, ISBN 0-486-40919-8 Davis, Chandler, Ellers, Erich W, the Coxeter Legacy, Reflections and Projections. King of Infinite Space, Donald Coxeter, the Man Who Saved Geometry, www. donaldcoxeter. com www. math. yorku. ca/dcoxeter webpages dedicated to him Jarons World, Shapes in Other Dimensions, Discover mag. Apr 2007 The Mathematics in the Art of M. C, escher video of a lecture by H. S. M
25.
Hypercubic honeycomb
–
In geometry, a hypercubic honeycomb is a family of regular honeycombs in n-dimensions with the Schläfli symbols and containing the symmetry of Coxeter group Rn for n>=3. The tessellation is constructed from 4 n-hypercubes per ridge, the vertex figure is a cross-polytope. Coxeter named this family as δn+1 for an n-dimensional honeycomb, there are two general forms of the hypercube honeycombs, the regular form with identical hypercubic facets and one semiregular, with alternating hypercube facets, like a checkerboard. A third form is generated by an operation applied to the regular form. The orthotopic honeycombs are a family topologically equivalent to the cubic honeycombs but with lower symmetry, the facets are hyperrectangles, also called orthotopes, in 2 and 3 dimensions the orthotopes are rectangles and cuboids respectively. Alternated hypercubic honeycomb Quarter hypercubic honeycomb Simplectic honeycomb Truncated simplectic honeycomb Omnitruncated simplectic honeycomb Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8 pp. 122–123,1973. Pp. 154–156, Partial truncation or alternation, represented by h prefix, h=, h=, h= p.296, Table II, Regular honeycombs, δn+1
26.
Dihedral angle
–
A dihedral angle is the angle between two intersecting planes. In chemistry it is the angle between planes through two sets of three atoms, having two atoms in common, in solid geometry it is defined as the union of a line and two half-planes that have this line as a common edge. In higher dimension, a dihedral angle represents the angle between two hyperplanes, a dihedral angle is an angle between two intersecting planes on a third plane perpendicular to the line of intersection. A torsion angle is an example of a dihedral angle. In stereochemistry every set of three atoms of a molecule defines a plane, when two such planes intersect, the angle between them is a dihedral angle. Dihedral angles are used to specify the molecular conformation, stereochemical arrangements corresponding to angles between 0° and ±90° are called syn, those corresponding to angles between ±90° and 180° anti. Similarly, arrangements corresponding to angles between 30° and 150° or between −30° and −150° are called clinal and those between 0° and ±30° or ±150° and 180° are called periplanar. The synperiplanar conformation is also known as the syn- or cis-conformation, antiperiplanar as anti or trans, for example, with n-butane two planes can be specified in terms of the two central carbon atoms and either of the methyl carbon atoms. The syn-conformation shown above, with an angle of 60° is less stable than the anti-configuration with a dihedral angle of 180°. For macromolecular usage the symbols T, C, G+, G−, A+, a Ramachandran plot, originally developed in 1963 by G. N. Ramachandran, C. Ramakrishnan, and V. Sasisekharan, is a way to visualize energetically allowed regions for backbone dihedral angles ψ against φ of amino acid residues in protein structure, the figure at right illustrates the definition of the φ and ψ backbone dihedral angles. In a protein chain three dihedral angles are defined as φ, ψ and ω, as shown in the diagram, the planarity of the peptide bond usually restricts ω to be 180° or 0°. The distance between the Cα atoms in the trans and cis isomers is approximately 3.8 and 2.9 Å, the cis isomer is mainly observed in Xaa–Pro peptide bonds. The sidechain dihedral angles tend to cluster near 180°, 60°, and −60°, which are called the trans, gauche+, the stability of certain sidechain dihedral angles is affected by the values φ and ψ. For instance, there are steric interactions between the Cγ of the side chain in the gauche+ rotamer and the backbone nitrogen of the next residue when ψ is near -60°. An alternative method is to calculate the angle between the vectors, nA and nB, which are normal to the planes. Cos φ = − n A ⋅ n B | n A | | n B | where nA · nB is the dot product of the vectors and |nA| |nB| is the product of their lengths. Any plane can also be described by two non-collinear vectors lying in that plane, taking their cross product yields a vector to the plane
27.
Binomial coefficient
–
In mathematics, any of the positive integers that occurs as a coefficient in the binomial theorem is a binomial coefficient. Commonly, a coefficient is indexed by a pair of integers n ≥ k ≥0 and is written. It is the coefficient of the xk term in the expansion of the binomial power n. The value of the coefficient is given by the expression n. k, arranging binomial coefficients into rows for successive values of n, and in which k ranges from 0 to n, gives a triangular array called Pascals triangle. The properties of binomial coefficients have led to extending the definition to beyond the case of integers n ≥ k ≥0. Andreas von Ettingshausen introduced the notation in 1826, although the numbers were known centuries earlier, the earliest known detailed discussion of binomial coefficients is in a tenth-century commentary, by Halayudha, on an ancient Sanskrit text, Pingalas Chandaḥśāstra. In about 1150, the Indian mathematician Bhaskaracharya gave an exposition of binomial coefficients in his book Līlāvatī, alternative notations include C, nCk, nCk, Ckn, Cnk, and Cn, k in all of which the C stands for combinations or choices. Many calculators use variants of the C notation because they can represent it on a single-line display, in this form the binomial coefficients are easily compared to k-permutations of n, written as P, etc. For natural numbers n and k, the binomial coefficient can be defined as the coefficient of the monomial Xk in the expansion of n, the same coefficient also occurs in the binomial formula, which explains the name binomial coefficient. This shows in particular that is a number for any natural numbers n and k. Most of these interpretations are easily seen to be equivalent to counting k-combinations, several methods exist to compute the value of without actually expanding a binomial power or counting k-combinations. It also follows from tracing the contributions to Xk in n−1, as there is zero Xn+1 or X−1 in n, one might extend the definition beyond the above boundaries to include =0 when either k > n or k <0. This recursive formula then allows the construction of Pascals triangle, surrounded by white spaces where the zeros, or the trivial coefficients, a more efficient method to compute individual binomial coefficients is given by the formula = n k _ k. = n ⋯ k ⋯1 = ∏ i =1 k n +1 − i i and this formula is easiest to understand for the combinatorial interpretation of binomial coefficients. The numerator gives the number of ways to select a sequence of k distinct objects, retaining the order of selection, the denominator counts the number of distinct sequences that define the same k-combination when order is disregarded. Due to the symmetry of the binomial coefficient with regard to k and n−k, calculation may be optimised by setting the limit of the product above to the smaller of k. This formula follows from the formula above by multiplying numerator and denominator by. As a consequence it involves many factors common to numerator and denominator and it is less practical for explicit computation unless common factors are first cancelled
28.
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
29.
Graph (discrete mathematics)
–
In mathematics, and more specifically in graph theory, a graph is a structure amounting to a set of objects in which some pairs of the objects are in some sense related. The objects correspond to mathematical abstractions called vertices and each of the pairs of vertices is called an edge. Typically, a graph is depicted in form as a set of dots for the vertices. Graphs are one of the objects of study in discrete mathematics, the edges may be directed or undirected. In contrast, if any edge from a person A to a person B corresponds to As admiring B, then this graph is directed, because admiration is not necessarily reciprocated. The former type of graph is called a graph and the edges are called undirected edges while the latter type of graph is called a directed graph. Graphs are the subject studied by graph theory. The word graph was first used in this sense by J. J. Sylvester in 1878, the following are some of the more basic ways of defining graphs and related mathematical structures. In one very common sense of the term, a graph is an ordered pair G = comprising a set V of vertices, nodes or points together with a set E of edges, arcs or lines, which are 2-element subsets of V. To avoid ambiguity, this type of graph may be described precisely as undirected, other senses of graph stem from different conceptions of the edge set. In one more general conception, E is a set together with a relation of incidence that associates with each two vertices. In another generalized notion, E is a multiset of unordered pairs of vertices, many authors call these types of object multigraphs or pseudographs. All of these variants and others are described more fully below, the vertices belonging to an edge are called the ends or end vertices of the edge. A vertex may exist in a graph and not belong to an edge, V and E are usually taken to be finite, and many of the well-known results are not true for infinite graphs because many of the arguments fail in the infinite case. Moreover, V is often assumed to be non-empty, but E is allowed to be the empty set, the order of a graph is |V|, its number of vertices. The size of a graph is |E|, its number of edges, the degree or valency of a vertex is the number of edges that connect to it, where an edge that connects to the vertex at both ends is counted twice. For an edge, graph theorists usually use the shorter notation xy. As stated above, in different contexts it may be useful to refine the term graph with different degrees of generality, whenever it is necessary to draw a strict distinction, the following terms are used
30.
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
31.
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
32.
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
33.
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
34.
2-polytope
–
In elementary geometry, a polygon /ˈpɒlɪɡɒn/ is a plane figure that is bounded by a finite chain of straight line segments closing in a loop to form a closed polygonal chain or circuit. These segments are called its edges or sides, and the points where two edges meet are the vertices or corners. The interior of the polygon is called its body. An n-gon is a polygon with n sides, for example, a polygon is a 2-dimensional example of the more general polytope in any number of dimensions. The basic geometrical notion of a polygon has been adapted in various ways to suit particular purposes, mathematicians are often concerned only with the bounding closed polygonal chain and with simple polygons which do not self-intersect, and they often define a polygon accordingly. A polygonal boundary may be allowed to intersect itself, creating star polygons and these and other generalizations of polygons are described below. The word polygon derives from the Greek adjective πολύς much, many and it has been suggested that γόνυ knee may be the origin of “gon”. Polygons are primarily classified by the number of sides, Polygons may be characterized by their convexity or type of non-convexity, Convex, any line drawn through the polygon meets its boundary exactly twice. As a consequence, all its interior angles are less than 180°, equivalently, any line segment with endpoints on the boundary passes through only interior points between its endpoints. Non-convex, a line may be found which meets its boundary more than twice, equivalently, there exists a line segment between two boundary points that passes outside the polygon. Simple, the boundary of the polygon does not cross itself, there is at least one interior angle greater than 180°. Star-shaped, the interior is visible from at least one point. The polygon must be simple, and may be convex or concave, self-intersecting, the boundary of the polygon crosses itself. Branko Grünbaum calls these coptic, though this term does not seem to be widely used, star polygon, a polygon which self-intersects in a regular way. A polygon cannot be both a star and star-shaped, equiangular, all corner angles are equal. Cyclic, all lie on a single circle, called the circumcircle. Isogonal or vertex-transitive, all lie within the same symmetry orbit. The polygon is cyclic and equiangular
35.
3-polytope
–
In geometry, a polyhedron is a solid in three dimensions with flat polygonal faces, straight edges and sharp corners or vertices. The word polyhedron comes from the Classical Greek πολύεδρον, as poly- + -hedron, a convex polyhedron is the convex hull of finitely many points, not all on the same plane. Cubes and pyramids are examples of convex polyhedra, a polyhedron is a 3-dimensional example of the more general polytope in any number of dimensions. Convex polyhedra are well-defined, with several equivalent standard definitions, however, the formal mathematical definition of polyhedra that are not required to be convex has been problematic. Many definitions of polyhedron have been given within particular contexts, some more rigorous than others, some of these definitions exclude shapes that have often been counted as polyhedra or include shapes that are often not considered as valid polyhedra. As Branko Grünbaum observed, The Original Sin in the theory of polyhedra goes back to Euclid, the writers failed to define what are the polyhedra. Nevertheless, there is agreement that a polyhedron is a solid or surface that can be described by its vertices, edges, faces. Natural refinements of this definition require the solid to be bounded, to have a connected interior, and possibly also to have a connected boundary. However, the polyhedra defined in this way do not include the self-crossing star polyhedra, their faces may not form simple polygons, definitions based on the idea of a bounding surface rather than a solid are also common. If a planar part of such a surface is not itself a convex polygon, ORourke requires it to be subdivided into smaller convex polygons, cromwell gives a similar definition but without the restriction of three edges per vertex. Again, this type of definition does not encompass the self-crossing polyhedra, however, there exist topological polyhedra that cannot be realized as acoptic polyhedra. One modern approach is based on the theory of abstract polyhedra and these can be defined as partially ordered sets whose elements are the vertices, edges, and faces of a polyhedron. A vertex or edge element is less than an edge or face element when the vertex or edge is part of the edge or face, additionally, one may include a special bottom element of this partial order and a top element representing the whole polyhedron. However, these requirements are relaxed, to instead require only that the sections between elements two levels apart from line segments. Geometric polyhedra, defined in other ways, can be described abstractly in this way, a realization of an abstract polyhedron is generally taken to be a mapping from the vertices of the abstract polyhedron to geometric points, such that the points of each face are coplanar. A geometric polyhedron can then be defined as a realization of an abstract polyhedron, realizations that forgo the requirement of planarity, that impose additional requirements of symmetry, or that map the vertices to higher dimensional spaces have also been considered. Unlike the solid-based and surface-based definitions, this perfectly well for star polyhedra. However, without restrictions, this definition allows degenerate or unfaithful polyhedra
36.
5-polytope
–
In five-dimensional geometry, a five-dimensional polytope or 5-polytope is a 5-dimensional polytope, bounded by facets. Each polyhedral cell being shared by exactly two 4-polytope facets, a 5-polytope is a closed five-dimensional figure with vertices, edges, faces, and cells, and 4-faces. A vertex is a point where five or more edges meet, an edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A cell is a polyhedron, and a 4-face is a 4-polytope, furthermore, the following requirements must be met, Each cell must join exactly two 4-faces. Adjacent 4-faces are not in the same four-dimensional hyperplane, the figure is not a compound of other figures which meet the requirements. The topology of any given 5-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, 5-polytopes may be classified based on properties like convexity and symmetry. Self-intersecting 5-polytopes are also known as star polytopes, from analogy with the shapes of the non-convex Kepler-Poinsot polyhedra. A uniform 5-polytope has a group under which all vertices are equivalent. The faces of a uniform polytope must be regular, a semi-regular 5-polytope contains two or more types of regular 4-polytope facets. There is only one figure, called a demipenteract. A regular 5-polytope has all identical regular 4-polytope facets, a prismatic 5-polytope is constructed by a Cartesian product of two lower-dimensional polytopes. A prismatic 5-polytope is uniform if its factors are uniform, the hypercube is prismatic, but is considered separately because it has symmetries other than those inherited from its factors. A 4-space tessellation is the division of four-dimensional Euclidean space into a grid of polychoral facets. Strictly speaking, tessellations are not polytopes as they do not bound a 5D volume, a uniform 4-space tessellation is one whose vertices are related by a space group and whose facets are uniform 4-polytopes. Regular 5-polytopes can be represented by the Schläfli symbol, with s polychoral facets around each face, the 5-demicube honeycomb, vertex figure is a rectified 5-orthoplex and facets are the 5-orthoplex and 5-demicube. Pyramidal 5-polytopes, or 5-pyramids, can be generated by a 4-polytope base in a 4-space hyperplane connected to a point off the hyperplane, the 5-simplex is the simplest example with a 4-simplex base
37.
6-polytope
–
In six-dimensional geometry, a six-dimensional polytope or 6-polytope is a polytope, bounded by 5-polytope facets. A 6-polytope is a closed figure with vertices, edges, faces, cells, 4-faces. A vertex is a point where six or more edges meet, an edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A 4-face is a polychoron, and a 5-face is a 5-polytope, furthermore, the following requirements must be met, Each 4-face must join exactly two 5-faces. Adjacent facets are not in the same five-dimensional hyperplane, the figure is not a compound of other figures which meet the requirements. The topology of any given 6-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, and is zero for all 6-polytopes, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, 6-polytopes may be classified by properties like convexity and symmetry. Self-intersecting 6-polytope are also known as star 6-polytopes, from analogy with the shapes of the non-convex Kepler-Poinsot polyhedra. A regular 6-polytope has all identical regular 5-polytope facets, a semi-regular 6-polytope contains two or more types of regular 4-polytope facets. There is only one figure, called 221. A uniform 6-polytope has a group under which all vertices are equivalent. The faces of a uniform polytope must be regular, a prismatic 6-polytope is constructed by the Cartesian product of two lower-dimensional polytopes. A prismatic 6-polytope is uniform if its factors are uniform, the 6-cube is prismatic, but is considered separately because it has symmetries other than those inherited from its factors. A 5-space tessellation is the division of five-dimensional Euclidean space into a grid of 5-polytope facets. Strictly speaking, tessellations are not 6-polytopes as they do not bound a 6D volume, a uniform 5-space tessellation is one whose vertices are related by a space group and whose facets are uniform 5-polytopes. Regular 6-polytopes can be generated from Coxeter groups represented by the Schläfli symbol with t 5-polytope facets around each cell, There are only three such convex regular 6-polytopes, - 6-simplex - 6-cube - 6-orthoplex There are no nonconvex regular polytopes of 5 or more dimensions. For the 3 convex regular 6-polytopes, their elements are, Here are six simple uniform convex 6-polytopes, the expanded 6-simplex is the vertex figure of the uniform 6-simplex honeycomb
38.
6-orthoplex
–
In geometry, a 6-orthoplex, or 6-cross polytope, is a regular 6-polytope with 12 vertices,60 edges,160 triangle faces,240 tetrahedron cells,192 5-cell 4-faces, and 64 5-faces. It has two constructed forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets and it is a part of an infinite family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 6-hypercube, or hexeract, hexacross, derived from combining the family name cross polytope with hex for six in Greek. A lowest symmetry construction is based on a dual of a 6-orthotope, cartesian coordinates for the vertices of a 6-orthoplex, centered at the origin are, Every vertex pair is connected by an edge, except opposites. This polytope is one of 63 uniform 6-polytopes generated from the B6 Coxeter plane, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D.1966 Klitzing, Richard. 6D uniform polytopes x3o3o3o3o4o - gee, archived from the original on 4 February 2007. Polytopes of Various Dimensions Multi-dimensional Glossary
39.
Uniform 7-polytope
–
In seven-dimensional geometry, a 7-polytope is a polytope contained by 6-polytope facets. Each 5-polytope ridge being shared by exactly two 6-polytope facets, a uniform 7-polytope is one which is vertex-transitive, and constructed from uniform 6-polytope facets. Regular 7-polytopes are represented by the Schläfli symbol with u 6-polytopes facets around each 4-face, There are exactly three such convex regular 7-polytopes, - 7-simplex - 7-cube - 7-orthoplex There are no nonconvex regular 7-polytopes. The topology of any given 7-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, There are 71 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. Norman Johnsons truncation names are given, bowers names and acronym are also given for cross-referencing. See also a list of A7 polytopes for symmetric Coxeter plane graphs of these polytopes, the B7 family has symmetry of order 645120. There are 127 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, see also a list of B7 polytopes for symmetric Coxeter plane graphs of these polytopes. The D7 family has symmetry of order 322560 and this family has 3×32−1=95 Wythoffian uniform polytopes, generated by marking one or more nodes of the D7 Coxeter-Dynkin diagram. Of these,63 are repeated from the B7 family and 32 are unique to this family, bowers names and acronym are given for cross-referencing. See also list of D7 polytopes for Coxeter plane graphs of these polytopes, the E7 Coxeter group has order 2,903,040. There are 127 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, see also a list of E7 polytopes for symmetric Coxeter plane graphs of these polytopes. Coxeter calls the first one a quarter 6-cubic honeycomb, however, there are 3 noncompact hyperbolic Coxeter groups of rank 7, each generating uniform honeycombs in 6-space as permutations of rings of the Coxeter diagrams. The reflective 7-dimensional uniform polytopes are constructed through a Wythoff construction process, and represented by a Coxeter-Dynkin diagram, an active mirror is represented by a ringed node. Each combination of active mirrors generates a unique uniform polytope, Uniform polytopes are named in relation to the regular polytopes in each family. Some families have two regular constructors and thus may be named in two equally valid ways, here are the primary operators available for constructing and naming the uniform 7-polytopes. The prismatic forms and bifurcating graphs can use the same truncation indexing notation, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 A. S. M
40.
7-orthoplex
–
In geometry, a 7-orthoplex, or 7-cross polytope, is a regular 7-polytope with 14 vertices,84 edges,280 triangle faces,560 tetrahedron cells,672 5-cells 4-faces,448 5-faces, and 128 6-faces. It has two constructed forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets and it is a part of an infinite family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 7-hypercube, or hepteract, heptacross, derived from combining the family name cross polytope with hept for seven in Greek. A lowest symmetry construction is based on a dual of a 7-orthotope, cartesian coordinates for the vertices of a 7-orthoplex, centered at the origin are, Every vertex pair is connected by an edge, except opposites. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, 7D uniform polytopes x3o3o3o3o3o4o - zee. Archived from the original on 4 February 2007, Polytopes of Various Dimensions Multi-dimensional Glossary
41.
Uniform 8-polytope
–
In eight-dimensional geometry, an eight-dimensional polytope or 8-polytope is a polytope contained by 7-polytope facets. Each 6-polytope ridge being shared by exactly two 7-polytope facets, a uniform 8-polytope is one which is vertex-transitive, and constructed from uniform 7-polytope facets. Regular 8-polytopes can be represented by the Schläfli symbol, with v 7-polytope facets around each peak, There are exactly three such convex regular 8-polytopes, - 8-simplex - 8-cube - 8-orthoplex There are no nonconvex regular 8-polytopes. The topology of any given 8-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, and is zero for all 8-polytopes, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, There are 135 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. Bowers-style acronym names are given in parentheses for cross-referencing, see also a list of 8-simplex polytopes for symmetric Coxeter plane graphs of these polytopes. The B8 family has symmetry of order 10321920, There are 255 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. See also a list of B8 polytopes for symmetric Coxeter plane graphs of these polytopes, the D8 family has symmetry of order 5,160,960. This family has 191 Wythoffian uniform polytopes, from 3x64-1 permutations of the D8 Coxeter-Dynkin diagram with one or more rings,127 are repeated from the B8 family and 64 are unique to this family, all listed below. See list of D8 polytopes for Coxeter plane graphs of these polytopes, the E8 family has symmetry order 696,729,600. There are 255 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, eight forms are shown below,4 single-ringed,3 truncations, and the final omnitruncation are given below. Bowers-style acronym names are given for cross-referencing, see also list of E8 polytopes for Coxeter plane graphs of this family. However, there are 4 noncompact hyperbolic Coxeter groups of rank 8, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 A. S. M. Miller, Uniform Polyhedra, Philosophical Transactions of the Royal Society of London, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 Wiley, Kaleidoscopes, Selected Writings of H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, N. W, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D
42.
8-orthoplex
–
It has two constructive forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets, with Schläfli symbol or Coxeter symbol 511. It is a part of an family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is an 8-hypercube, or octeract. A lowest symmetry construction is based on a dual of an 8-orthotope, cartesian coordinates for the vertices of an 8-cube, centered at the origin are, Every vertex pair is connected by an edge, except opposites. It is used in its alternated form 511 with the 8-simplex to form the 521 honeycomb, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. 8D uniform polytopes x3o3o3o3o3o3o4o - ek, archived from the original on 4 February 2007. Polytopes of Various Dimensions Multi-dimensional Glossary
43.
Uniform 9-polytope
–
In nine-dimensional geometry, a nine-dimensional polytope or 9-polytope is a polytope contained by 8-polytope facets. Each 7-polytope ridge being shared by exactly two 8-polytope facets, a uniform 9-polytope is one which is vertex-transitive, and constructed from uniform 8-polytope facets. Regular 9-polytopes can be represented by the Schläfli symbol, with w 8-polytope facets around each peak, There are exactly three such convex regular 9-polytopes, - 9-simplex - 9-cube - 9-orthoplex There are no nonconvex regular 9-polytopes. The topology of any given 9-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, - 9-orthoplex,611 - The A9 family has symmetry of order 3628800. There are 256+16-1=271 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, bowers-style acronym names are given in parentheses for cross-referencing. There are 511 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, eleven cases are shown below, Nine rectified forms and 2 truncations. Bowers-style acronym names are given in parentheses for cross-referencing, bowers-style acronym names are given in parentheses for cross-referencing. The D9 family has symmetry of order 92,897,280 and this family has 3×128−1=383 Wythoffian uniform polytopes, generated by marking one or more nodes of the D9 Coxeter-Dynkin diagram. Of these,255 are repeated from the B9 family and 128 are unique to this family, bowers-style acronym names are given in parentheses for cross-referencing. However, there are 4 noncompact hyperbolic Coxeter groups of rank 9, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 A. S. M. Miller, Uniform Polyhedra, Philosophical Transactions of the Royal Society of London, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, N. W, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. Dissertation, University of Toronto,1966 Klitzing, Richard, polytope names Polytopes of Various Dimensions, Jonathan Bowers Multi-dimensional Glossary Glossary for hyperspace, George Olshevsky
44.
9-orthoplex
–
It has two constructed forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets, with Schläfli symbol or Coxeter symbol 611. It is one of an family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 9-hypercube or enneract, cartesian coordinates for the vertices of a 9-orthoplex, centered at the origin, are, Every vertex pair is connected by an edge, except opposites. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, 9D uniform polytopes x3o3o3o3o3o3o3o4o - vee. Archived from the original on 4 February 2007, Polytopes of Various Dimensions Multi-dimensional Glossary