1.
Tetrahedron
–
In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ordinary convex polyhedra, the tetrahedron is the three-dimensional case of the more general concept of a Euclidean simplex. The tetrahedron is one kind of pyramid, which is a polyhedron with a polygon base. In the case of a tetrahedron the base is a triangle, like all convex polyhedra, a tetrahedron can be folded from a single sheet of paper. For any tetrahedron there exists a sphere on which all four vertices lie, a regular tetrahedron is one in which all four faces are equilateral triangles. It is one of the five regular Platonic solids, which have known since antiquity. In a regular tetrahedron, not only are all its faces the same size and shape, regular tetrahedra alone do not tessellate, but if alternated with regular octahedra they form the alternated cubic honeycomb, which is a tessellation. The regular tetrahedron is self-dual, which means that its dual is another regular tetrahedron, the compound figure comprising two such dual tetrahedra form a stellated octahedron or stella octangula. This form has Coxeter diagram and Schläfli symbol h, the tetrahedron in this case has edge length 2√2. Inverting these coordinates generates the dual tetrahedron, and the together form the stellated octahedron. In other words, if C is the centroid of the base and this follows from the fact that the medians of a triangle intersect at its centroid, and this point divides each of them in two segments, one of which is twice as long as the other. The vertices of a cube can be grouped into two groups of four, each forming a regular tetrahedron, the symmetries of a regular tetrahedron correspond to half of those of a cube, those that map the tetrahedra to themselves, and not to each other. The tetrahedron is the only Platonic solid that is not mapped to itself by point inversion, the regular tetrahedron has 24 isometries, forming the symmetry group Td, isomorphic to the symmetric group, S4. The first corresponds to the A2 Coxeter plane, the two skew perpendicular opposite edges of a regular tetrahedron define a set of parallel planes. When one of these intersects the tetrahedron the resulting cross section is a rectangle. When the intersecting plane is one of the edges the rectangle is long. When halfway between the two edges the intersection is a square, the aspect ratio of the rectangle reverses as you pass this halfway point. For the midpoint square intersection the resulting boundary line traverses every face of the tetrahedron similarly, if the tetrahedron is bisected on this plane, both halves become wedges
2.
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
3.
Triangle
–
A triangle is a polygon with three edges and three vertices. It is one of the shapes in geometry. A triangle with vertices A, B, and C is denoted △ A B C, in Euclidean geometry any three points, when non-collinear, determine a unique triangle and a unique plane. This article is about triangles in Euclidean geometry except where otherwise noted, triangles can be classified according to the lengths of their sides, An equilateral triangle has all sides the same length. An equilateral triangle is also a polygon with all angles measuring 60°. An isosceles triangle has two sides of equal length, some mathematicians define an isosceles triangle to have exactly two equal sides, whereas others define an isosceles triangle as one with at least two equal sides. The latter definition would make all equilateral triangles isosceles triangles, the 45–45–90 right triangle, which appears in the tetrakis square tiling, is isosceles. A scalene triangle has all its sides of different lengths, equivalently, it has all angles of different measure. Hatch marks, also called tick marks, are used in diagrams of triangles, a side can be marked with a pattern of ticks, short line segments in the form of tally marks, two sides have equal lengths if they are both marked with the same pattern. In a triangle, the pattern is no more than 3 ticks. Similarly, patterns of 1,2, or 3 concentric arcs inside the angles are used to indicate equal angles, triangles can also be classified according to their internal angles, measured here in degrees. A right triangle has one of its interior angles measuring 90°, the side opposite to the right angle is the hypotenuse, the longest side of the triangle. The other two sides are called the legs or catheti of the triangle, special right triangles are right triangles with additional properties that make calculations involving them easier. One of the two most famous is the 3–4–5 right triangle, where 32 +42 =52, in this situation,3,4, and 5 are a Pythagorean triple. The other one is a triangle that has 2 angles that each measure 45 degrees. Triangles that do not have an angle measuring 90° are called oblique triangles, a triangle with all interior angles measuring less than 90° is an acute triangle or acute-angled triangle. If c is the length of the longest side, then a2 + b2 > c2, a triangle with one interior angle measuring more than 90° is an obtuse triangle or obtuse-angled triangle. If c is the length of the longest side, then a2 + b2 < c2, a triangle with an interior angle of 180° is degenerate
4.
Dimensions
–
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
5.
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
6.
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
7.
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
8.
Affinely independent
–
A Euclidean space is an affine space over the reals, equipped with a metric, the Euclidean distance. Therefore, in Euclidean geometry, a property is a property that may be proved in affine spaces. In an affine space, there is no distinguished point that serves as an origin, hence, no vector has a fixed origin and no vector can be uniquely associated to a point. In an affine space, there are instead displacement vectors, also called translation vectors or simply translations, thus it makes sense to subtract two points of the space, giving a translation vector, but it does not make sense to add two points of the space. Likewise, it makes sense to add a displacement vector to a point of an affine space, Any vector space may be considered as an affine space, and this amounts to forgetting the special role played by the zero vector. In this case, the elements of the space may be viewed either as points of the affine space or as displacement vectors or translations. When considered as a point, the vector is called the origin. Adding a fixed vector to the elements of a subspace of a vector space produces an affine subspace. One commonly says that this affine subspace has been obtained by translating the linear subspace by the translation vector, in finite dimensions, such an affine subspace is the solution set of an inhomogeneous linear system. The displacement vectors for that space are the solutions of the corresponding homogeneous linear system. Linear subspaces, in contrast, always contain the origin of the vector space, the dimension of an affine space is defined as the dimension of the vector space of its translations. An affine space of one is an affine line. An affine space of dimension 2 is an affine plane, an affine subspace of dimension n –1 in an affine space or a vector space of dimension n is an affine hyperplane. The following characterization may be easier to understand than the formal definition. Imagine that Alice knows that a point is the actual origin. Two vectors, a and b, are to be added, similarly, Alice and Bob may evaluate any linear combination of a and b, or of any finite set of vectors, and will generally get different answers. However, if the sum of the coefficients in a combination is 1, then Alice. If Alice travels to λa + b then Bob can similarly travel to p + λ + = λa + b, under this condition, for all coefficients λ + =1, Alice and Bob describe the same point with the same linear combination, despite using different origins
9.
Linearly independent
–
These concepts are central to the definition of dimension. A vector space can be of finite-dimension or infinite-dimension depending on the number of independent basis vectors. The definition of linear dependence and the ability to determine whether a subset of vectors in a space is linearly dependent are central to determining a basis for a vector space. Thus, v1 is shown to be a combination of the remaining vectors. This implies that no vector in the set can be represented as a combination of the remaining vectors in the set. In other words, a set of vectors is independent if the only representations of 0 → as a linear combination of its vectors is the trivial representation in which all the scalars ai are zero. In order to allow the number of linearly independent vectors in a space to be countably infinite. More generally, let V be a space over a field K. A set X of elements of V is linearly independent if the corresponding family x∈X is linearly independent. Equivalently, a family is dependent if a member is in the span of the rest of the family. The trivial case of the empty family must be regarded as independent for theorems to apply. A set of vectors which is independent and spans some vector space. For example, the space of all polynomials in x over the reals has the subset as a basis. A geographic example may help to clarify the concept of linear independence, a person describing the location of a certain place might say, It is 3 miles north and 4 miles east of here. This is sufficient information to describe the location, because the geographic coordinate system may be considered as a 2-dimensional vector space, the person might add, The place is 5 miles northeast of here. Although this last statement is true, it is not necessary, in this example the 3 miles north vector and the 4 miles east vector are linearly independent. That is to say, the north vector cannot be described in terms of the east vector, and vice versa. The third 5 miles northeast vector is a combination of the other two vectors, and it makes the set of vectors linearly dependent, that is, one of the three vectors is unnecessary
10.
5-cell
–
In geometry, the 5-cell is a four-dimensional object bounded by 5 tetrahedral cells. It is also known as a C5, pentachoron, pentatope, pentahedroid and it is a 4-simplex, the simplest possible convex regular 4-polytope, and is analogous to the tetrahedron in three dimensions and the triangle in two dimensions. The pentachoron is a four dimensional pyramid with a tetrahedral base, the regular 5-cell is bounded by regular tetrahedra, and is one of the six regular convex 4-polytopes, represented by Schläfli symbol. Pentachoron 4-simplex Pentatope Pentahedroid Pen Hyperpyramid, tetrahedral pyramid The 5-cell is self-dual and its maximal intersection with 3-dimensional space is the triangular prism. Its dihedral angle is cos−1, or approximately 75. 52°, the 5-cell can be constructed from a tetrahedron by adding a 5th vertex such that it is equidistant from all the other vertices of the tetrahedron. The simplest set of coordinates is, with edge length 2√2, a 5-cell can be constructed as a Boerdijk–Coxeter helix of five chained tetrahedra, folded into a 4-dimensional ring. The 10 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 5-cell. The A4 Coxeter plane projects the 5-cell into a regular pentagon, the four sides of the pyramid are made of tetrahedron cells. Many uniform 5-polytopes have tetrahedral pyramid vertex figures, Other uniform 5-polytopes have irregular 5-cell vertex figures, the symmetry of a vertex figure of a uniform polytope is represented by removing the ringed nodes of the Coxeter diagram. The compound of two 5-cells in dual configurations can be seen in this A5 Coxeter plane projection, with a red and this compound has symmetry, order 240. The intersection of these two 5-cells is a uniform birectified 5-cell, the pentachoron is the simplest of 9 uniform polychora constructed from the Coxeter group. It is in the sequence of regular polychora, the tesseract, 120-cell, of Euclidean 4-space, all of these have a tetrahedral vertex figure. It is similar to three regular polychora, the tesseract, 600-cell of Euclidean 4-space, and the order-6 tetrahedral honeycomb of hyperbolic space, all of these have a tetrahedral cell. T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 H. S. M. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, 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, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D
11.
Point (geometry)
–
In modern mathematics, a point refers usually to an element of some set called a space. More specifically, in Euclidean geometry, a point is a primitive notion upon which the geometry is built, being a primitive notion means that a point cannot be defined in terms of previously defined objects. That is, a point is defined only by some properties, called axioms, in particular, the geometric points do not have any length, area, volume, or any other dimensional attribute. A common interpretation is that the concept of a point is meant to capture the notion of a location in Euclidean space. Points, considered within the framework of Euclidean geometry, are one of the most fundamental objects, Euclid originally defined the point as that which has no part. This idea is easily generalized to three-dimensional Euclidean space, where a point is represented by a triplet with the additional third number representing depth. Further generalizations are represented by an ordered tuplet of n terms, many constructs within Euclidean geometry consist of an infinite collection of points that conform to certain axioms. This is usually represented by a set of points, As an example, a line is a set of points of the form L =. Similar constructions exist that define the plane, line segment and other related concepts, a line segment consisting of only a single point is called a degenerate line segment. In addition to defining points and constructs related to points, Euclid also postulated a key idea about points, in spite of this, modern expansions of the system serve to remove these assumptions. There are several inequivalent definitions of dimension in mathematics, in all of the common definitions, a point is 0-dimensional. The dimension of a space is the maximum size of a linearly independent subset. In a vector space consisting of a point, there is no linearly independent subset. The zero vector is not itself linearly independent, because there is a non trivial linear combination making it zero,1 ⋅0 =0, if no such minimal n exists, the space is said to be of infinite covering dimension. A point is zero-dimensional with respect to the covering dimension because every open cover of the space has a refinement consisting of a open set. The Hausdorff dimension of X is defined by dim H , = inf, a point has Hausdorff dimension 0 because it can be covered by a single ball of arbitrarily small radius. Although the notion of a point is considered fundamental in mainstream geometry and topology, there are some systems that forgo it, e. g. noncommutative geometry. More precisely, such structures generalize well-known spaces of functions in a way that the operation take a value at this point may not be defined
12.
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
13.
Convex set
–
In convex geometry, a convex set is a subset of an affine space that is closed under convex combinations. For example, a cube is a convex set, but anything that is hollow or has an indent, for example. The boundary of a set is always a convex curve. The intersection of all convex sets containing a given subset A of Euclidean space is called the hull of A. It is the smallest convex set containing A, a convex function is a real-valued function defined on an interval with the property that its epigraph is a convex set. Convex minimization is a subfield of optimization that studies the problem of minimizing convex functions over convex sets, the branch of mathematics devoted to the study of properties of convex sets and convex functions is called convex analysis. The notion of a set can be generalized as described below. Let S be a space over the real numbers, or, more generally. A set C in S is said to be if, for all x and y in C and all t in the interval. In other words, every point on the segment connecting x and y is in C. This implies that a set in a real or complex topological vector space is path-connected. Furthermore, C is strictly convex if every point on the segment connecting x and y other than the endpoints is inside the interior of C. A set C is called convex if it is convex. The convex subsets of R are simply the intervals of R, some examples of convex subsets of the Euclidean plane are solid regular polygons, solid triangles, and intersections of solid triangles. Some examples of convex subsets of a Euclidean 3-dimensional space are the Archimedean solids, the Kepler-Poinsot polyhedra are examples of non-convex sets. A set that is not convex is called a non-convex set, the complement of a convex set, such as the epigraph of a concave function, is sometimes called a reverse convex set, especially in the context of mathematical optimization. If S is a set in n-dimensional space, then for any collection of r, r >1. Ur in S, and for any nonnegative numbers λ1, + λr =1, then one has, ∑ k =1 r λ k u k ∈ S
14.
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
15.
Topology
–
In mathematics, topology is concerned with the properties of space that are preserved under continuous deformations, such as stretching, crumpling and bending, but not tearing or gluing. This can be studied by considering a collection of subsets, called open sets, important topological properties include connectedness and compactness. Topology developed as a field of study out of geometry and set theory, through analysis of such as space, dimension. Such ideas go back to Gottfried Leibniz, who in the 17th century envisioned the geometria situs, Leonhard Eulers Seven Bridges of Königsberg Problem and Polyhedron Formula are arguably the fields first theorems. The term topology was introduced by Johann Benedict Listing in the 19th century, by the middle of the 20th century, topology had become a major branch of mathematics. It defines the basic notions used in all branches of topology. Algebraic topology tries to measure degrees of connectivity using algebraic constructs such as homology, differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to geometry and together they make up the geometric theory of differentiable manifolds. Geometric topology primarily studies manifolds and their embeddings in other manifolds, a particularly active area is low-dimensional topology, which studies manifolds of four or fewer dimensions. This includes knot theory, the study of mathematical knots, Topology, as a well-defined mathematical discipline, originates in the early part of the twentieth century, but some isolated results can be traced back several centuries. Among these are certain questions in geometry investigated by Leonhard Euler and his 1736 paper on the Seven Bridges of Königsberg is regarded as one of the first practical applications of topology. On 14 November 1750 Euler wrote to a friend that he had realised the importance of the edges of a polyhedron and this led to his polyhedron formula, V − E + F =2. Some authorities regard this analysis as the first theorem, signalling the birth of topology, further contributions were made by Augustin-Louis Cauchy, Ludwig Schläfli, Johann Benedict Listing, Bernhard Riemann and Enrico Betti. Listing introduced the term Topologie in Vorstudien zur Topologie, written in his native German, in 1847, the term topologist in the sense of a specialist in topology was used in 1905 in the magazine Spectator. Their work was corrected, consolidated and greatly extended by Henri Poincaré, in 1895 he published his ground-breaking paper on Analysis Situs, which introduced the concepts now known as homotopy and homology, which are now considered part of algebraic topology. Unifying the work on function spaces of Georg Cantor, Vito Volterra, Cesare Arzelà, Jacques Hadamard, Giulio Ascoli and others, Maurice Fréchet introduced the metric space in 1906. A metric space is now considered a case of a general topological space. In 1914, Felix Hausdorff coined the term topological space and gave the definition for what is now called a Hausdorff space, currently, a topological space is a slight generalization of Hausdorff spaces, given in 1922 by Kazimierz Kuratowski
16.
Combinatorics
–
Combinatorics is a branch of mathematics concerning the study of finite or countable discrete structures. Many combinatorial questions have historically been considered in isolation, giving an ad hoc solution to a problem arising in some mathematical context. In the later twentieth century, however, powerful and general methods were developed. One of the oldest and most accessible parts of combinatorics is graph theory, Combinatorics is used frequently in computer science to obtain formulas and estimates in the analysis of algorithms. A mathematician who studies combinatorics is called a combinatorialist or a combinatorist, basic combinatorial concepts and enumerative results appeared throughout the ancient world. Greek historian Plutarch discusses an argument between Chrysippus and Hipparchus of a rather delicate enumerative problem, which was shown to be related to Schröder–Hipparchus numbers. In the Ostomachion, Archimedes considers a tiling puzzle, in the Middle Ages, combinatorics continued to be studied, largely outside of the European civilization. The Indian mathematician Mahāvīra provided formulae for the number of permutations and combinations, later, in Medieval England, campanology provided examples of what is now known as Hamiltonian cycles in certain Cayley graphs on permutations. During the Renaissance, together with the rest of mathematics and the sciences, works of Pascal, Newton, Jacob Bernoulli and Euler became foundational in the emerging field. In modern times, the works of J. J. Sylvester and Percy MacMahon helped lay the foundation for enumerative, graph theory also enjoyed an explosion of interest at the same time, especially in connection with the four color problem. In the second half of the 20th century, combinatorics enjoyed a rapid growth, in part, the growth was spurred by new connections and applications to other fields, ranging from algebra to probability, from functional analysis to number theory, etc. These connections shed the boundaries between combinatorics and parts of mathematics and theoretical science, but at the same time led to a partial fragmentation of the field. Enumerative combinatorics is the most classical area of combinatorics and concentrates on counting the number of combinatorial objects. Although counting the number of elements in a set is a rather broad mathematical problem, fibonacci numbers is the basic example of a problem in enumerative combinatorics. The twelvefold way provides a framework for counting permutations, combinations and partitions. Analytic combinatorics concerns the enumeration of combinatorial structures using tools from complex analysis, in contrast with enumerative combinatorics, which uses explicit combinatorial formulae and generating functions to describe the results, analytic combinatorics aims at obtaining asymptotic formulae. Partition theory studies various enumeration and asymptotic problems related to integer partitions, originally a part of number theory and analysis, it is now considered a part of combinatorics or an independent field. It incorporates the bijective approach and various tools in analysis and analytic number theory, graphs are basic objects in combinatorics
17.
Simplicial complex
–
In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their n-dimensional counterparts. Simplicial complexes should not be confused with the abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely combinatorial counterpart to a complex is an abstract simplicial complex. A simplicial complex K is a set of simplices that satisfies the conditions,1. Any face of a simplex from K is also in K.2, the intersection of any two simplices σ1, σ2 ∈ K is either ∅ or a face of both σ1 and σ2. Note that the empty set is a face of every simplex, see also the definition of an abstract simplicial complex, which loosely speaking is a simplicial complex without an associated geometry. A simplicial k-complex K is a complex where the largest dimension of any simplex in K equals k. For instance, a simplicial 2-complex must contain at least one triangle, a pure or homogeneous simplicial k-complex K is a simplicial complex where every simplex of dimension less than k is a face of some simplex σ ∈ K of dimension exactly k. Informally, a pure 1-complex looks like its made of a bunch of lines, an example of a non-homogeneous complex is a triangle with a line segment attached to one of its vertices. A facet is any simplex in a complex that is not a face of any larger simplex, a pure simplicial complex can be thought of as a complex where all facets have the same dimension. Sometimes the term face is used to refer to a simplex of a complex, for a simplicial complex embedded in a k-dimensional space, the k-faces are sometimes referred to as its cells. The term cell is used in a broader sense to denote a set homeomorphic to a simplex. The underlying space, sometimes called the carrier of a complex is the union of its simplices. Let K be a complex and let S be a collection of simplices in K. The closure of S is the smallest simplicial subcomplex of K that contains each simplex in S. Cl S is obtained by adding to S each face of every simplex in S. The star of S is the union of the stars of each simplex in S, for a single simplex s, the star of s is the set of simplices having a face in s. The link of S equals Cl St S − St Cl S and it is the closed star of S minus the stars of all faces of S. In algebraic topology, simplicial complexes are useful for concrete calculations
18.
Abstract simplicial complex
–
In the context of matroids and greedoids, abstract simplicial complexes are also called independence systems. A family Δ of non-empty finite subsets of a set S is a simplicial complex if, for every set X in Δ. The vertex set of Δ is defined as V = ∪Δ, the elements of the vertex set are called the vertices of the complex. So for every vertex v of Δ, the set is a face of the complex, the maximal faces of Δ are called facets of the complex. The dimension of a face X in Δ is defined as dim = |X| −1, faces consisting of an element are zero-dimensional. The dimension of the complex dim is defined as the largest dimension of any of its faces, the complex Δ is said to be finite if it has finitely many faces, or equivalently if its vertex set is finite. Also, Δ is said to be if it is finite-dimensional. In other words, Δ is pure if dim is finite, in this view, one-element facets of a complex correspond to isolated vertices that do not have any incident edges. A subcomplex of Δ is a simplicial complex L such that every face of L belongs to Δ, a subcomplex that consists of all of the subsets of a single face of Δ is often called a simplex of Δ. The d-skeleton of Δ is the subcomplex of Δ consisting of all of the faces of Δ that have dimension at most d, in particular, the 1-skeleton is called the underlying graph of Δ. The 0-skeleton of Δ can be identified with its vertex set, the link of a face Y in Δ, often denoted Δ/Y or lkΔ, is the subcomplex of Δ defined by Δ / Y, =. Note that the link of the empty set is Δ itself and we can associate to an abstract simplicial complex K a topological space |K|, called its geometric realization, which is the carrier of a simplicial complex. Now give |K| the subspace topology, alternatively, let K denote the category whose objects are the faces of K and whose morphisms are inclusions. Next choose an order on the vertex set of K. For any face X ∈ K of dimension n, let F = Δn be the standard n-simplex, the order on the vertex set then specifies a unique bijection between the elements of X and vertices of Δn, ordered in the usual way e0 < e1 <. If Y ⊂ X is a face of dimension m < n, define F → F to be the unique affine linear embedding of Δm as that distinguished face of Δn, such that the map on vertices is order preserving. We can then define the geometric realization |K| as the colimit of the functor F, if K is finite, then we can describe |K| more simply. Choose an embedding of the set of K as an affinely independent subset of some Euclidean space RN of sufficiently high dimension N
19.
William Kingdon Clifford
–
William Kingdon Clifford FRS was an English mathematician and philosopher. Building on the work of Hermann Grassmann, he introduced what is now termed geometric algebra, the operations of geometric algebra have the effect of mirroring, rotating, translating, and mapping the geometric objects that are being modelled to new positions. Clifford algebras in general and geometric algebra in particular, have been of increasing importance to mathematical physics, geometry. Clifford was the first to suggest that gravitation might be a manifestation of an underlying geometry, in his philosophical writings he coined the expression mind-stuff. Born at Exeter, William Clifford showed great promise at school and he went on to Kings College London and Trinity College, Cambridge, where he was elected fellow in 1868, after being second wrangler in 1867 and second Smiths prizeman. Being second was a fate he shared with others who became famous mathematicians, including William Thomson, in 1870, he was part of an expedition to Italy to observe the solar eclipse of December 22,1870. During that voyage he survived a shipwreck along the Sicilian coast, in 1871, he was appointed professor of mathematics and mechanics at University College London, and in 1874 became a fellow of the Royal Society. He was also a member of the London Mathematical Society and the Metaphysical Society, on 7 April 1875 Clifford married Lucy Lane. In 1876, Clifford suffered a breakdown, probably brought on by overwork and he taught and administered by day, and wrote by night. A half-year holiday in Algeria and Spain allowed him to resume his duties for 18 months and he went to the island of Madeira to recover, but died there of tuberculosis after a few months, leaving a widow with two children. Born eleven days later, Albert Einstein would go on to develop the theory of gravity that Clifford had suggested nine years earlier. Clifford enjoyed entertaining children and wrote a collection of fairy stories, Clifford and his wife are buried in Londons Highgate Cemetery just north of the grave of Karl Marx, and near the graves of George Eliot and Herbert Spencer. Clifford was above all and before all a geometer, the discovery of non-Euclidean geometry opened new possibilities in geometry in Cliffords era. The field of differential geometry was born, with the concept of curvature broadly applied to space itself as well as to curved lines and surfaces. Clifford was very impressed by Bernhard Riemann’s 1854 essay On the hypotheses which lie at the bases of geometry. In 1870 he reported to the Cambridge Philosophical Society on the curved space concepts of Riemann, Cliffords translation of Riemanns paper was published in Nature in 1873. His report at Cambridge, On the Space-Theory of Matter, was published in 1876, Clifford elaborated elliptic space geometry as a non-Euclidean metric space. Equidistant curves in space are now said to be Clifford parallels
20.
Algebraic topology
–
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a group is again a free group. Below are some of the areas studied in algebraic topology, In mathematics. The first and simplest homotopy group is the group, which records information about loops in a space. Intuitively, homotopy groups record information about the shape, or holes. In homology theory and algebraic topology, cohomology is a term for a sequence of abelian groups defined from a co-chain complex. That is, cohomology is defined as the study of cochains, cocycles. Cohomology can be viewed as a method of assigning algebraic invariants to a space that has a more refined algebraic structure than does homology. Cohomology arises from the algebraic dualization of the construction of homology, in less abstract language, cochains in the fundamental sense should assign quantities to the chains of homology theory. A manifold is a space that near each point resembles Euclidean space. Typically, results in algebraic topology focus on global, non-differentiable aspects of manifolds, knot theory is the study of mathematical knots. While inspired by knots that appear in daily life in shoelaces and rope, in precise mathematical language, a knot is an embedding of a circle in 3-dimensional Euclidean space, R3. A simplicial complex is a space of a certain kind, constructed by gluing together points, line segments, triangles. Simplicial complexes should not be confused with the abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely combinatorial counterpart to a complex is an abstract simplicial complex. A CW complex is a type of space introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, an older name for the subject was combinatorial topology, implying an emphasis on how a space X was constructed from simpler ones
21.
Pieter Hendrik Schoute
–
Pieter Hendrik Schoute was a Dutch mathematician known for his work on regular polytopes and Euclidean geometry. In 1886 he became member of the Royal Netherlands Academy of Arts, oConnor, John J. Robertson, Edmund F. Pieter Hendrik Schoute, MacTutor History of Mathematics archive, University of St Andrews. Pieter Hendrik Schoute, Analytical treatment of the polytopes regularly derived from the regular polytopes,1911, published by J. Muller in Amsterdam, Written in English. -82 pages Pieter Hendrik Schoute at the Mathematics Genealogy Project
22.
Latin
–
Latin is a classical language belonging to the Italic branch of the Indo-European languages. The Latin alphabet is derived from the Etruscan and Greek alphabets, Latin was originally spoken in Latium, in the Italian Peninsula. Through the power of the Roman Republic, it became the dominant language, Vulgar Latin developed into the Romance languages, such as Italian, Portuguese, Spanish, French, and Romanian. Latin, Italian and French have contributed many words to the English language, Latin and Ancient Greek roots are used in theology, biology, and medicine. By the late Roman Republic, Old Latin had been standardised into Classical Latin, Vulgar Latin was the colloquial form spoken during the same time and attested in inscriptions and the works of comic playwrights like Plautus and Terence. Late Latin is the language from the 3rd century. Later, Early Modern Latin and Modern Latin evolved, Latin was used as the language of international communication, scholarship, and science until well into the 18th century, when it began to be supplanted by vernaculars. Ecclesiastical Latin remains the language of the Holy See and the Roman Rite of the Catholic Church. Today, many students, scholars and members of the Catholic clergy speak Latin fluently and it is taught in primary, secondary and postsecondary educational institutions around the world. The language has been passed down through various forms, some inscriptions have been published in an internationally agreed, monumental, multivolume series, the Corpus Inscriptionum Latinarum. Authors and publishers vary, but the format is about the same, volumes detailing inscriptions with a critical apparatus stating the provenance, the reading and interpretation of these inscriptions is the subject matter of the field of epigraphy. The works of several hundred ancient authors who wrote in Latin have survived in whole or in part and they are in part the subject matter of the field of classics. The Cat in the Hat, and a book of fairy tales, additional resources include phrasebooks and resources for rendering everyday phrases and concepts into Latin, such as Meissners Latin Phrasebook. The Latin influence in English has been significant at all stages of its insular development. From the 16th to the 18th centuries, English writers cobbled together huge numbers of new words from Latin and Greek words, dubbed inkhorn terms, as if they had spilled from a pot of ink. Many of these words were used once by the author and then forgotten, many of the most common polysyllabic English words are of Latin origin through the medium of Old French. Romance words make respectively 59%, 20% and 14% of English, German and those figures can rise dramatically when only non-compound and non-derived words are included. Accordingly, Romance words make roughly 35% of the vocabulary of Dutch, Roman engineering had the same effect on scientific terminology as a whole
23.
Point (mathematics)
–
In modern mathematics, a point refers usually to an element of some set called a space. More specifically, in Euclidean geometry, a point is a primitive notion upon which the geometry is built, being a primitive notion means that a point cannot be defined in terms of previously defined objects. That is, a point is defined only by some properties, called axioms, in particular, the geometric points do not have any length, area, volume, or any other dimensional attribute. A common interpretation is that the concept of a point is meant to capture the notion of a location in Euclidean space. Points, considered within the framework of Euclidean geometry, are one of the most fundamental objects, Euclid originally defined the point as that which has no part. This idea is easily generalized to three-dimensional Euclidean space, where a point is represented by a triplet with the additional third number representing depth. Further generalizations are represented by an ordered tuplet of n terms, many constructs within Euclidean geometry consist of an infinite collection of points that conform to certain axioms. This is usually represented by a set of points, As an example, a line is a set of points of the form L =. Similar constructions exist that define the plane, line segment and other related concepts, a line segment consisting of only a single point is called a degenerate line segment. In addition to defining points and constructs related to points, Euclid also postulated a key idea about points, in spite of this, modern expansions of the system serve to remove these assumptions. There are several inequivalent definitions of dimension in mathematics, in all of the common definitions, a point is 0-dimensional. The dimension of a space is the maximum size of a linearly independent subset. In a vector space consisting of a point, there is no linearly independent subset. The zero vector is not itself linearly independent, because there is a non trivial linear combination making it zero,1 ⋅0 =0, if no such minimal n exists, the space is said to be of infinite covering dimension. A point is zero-dimensional with respect to the covering dimension because every open cover of the space has a refinement consisting of a open set. The Hausdorff dimension of X is defined by dim H , = inf, a point has Hausdorff dimension 0 because it can be covered by a single ball of arbitrarily small radius. Although the notion of a point is considered fundamental in mainstream geometry and topology, there are some systems that forgo it, e. g. noncommutative geometry. More precisely, such structures generalize well-known spaces of functions in a way that the operation take a value at this point may not be defined
24.
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
25.
Pascal's triangle
–
In mathematics, Pascals triangle is a triangular array of the binomial coefficients. In the Western world, it is named after French mathematician Blaise Pascal, although other mathematicians studied it centuries before him in India, Persia, China, Germany, the rows of Pascals triangle are conventionally enumerated starting with row n =0 at the top. The entries in each row are numbered from the beginning with k =0 and are usually staggered relative to the numbers in the adjacent rows. The triangle may be constructed in the manner, In row 0. Each entry of each subsequent row is constructed by adding the number above and to the left with the number above and to the right, treating blank entries as 0. For example, the number in the first row is 1. The entry in the nth row and kth column of Pascals triangle is denoted, for example, the unique nonzero entry in the topmost row is =1. With this notation, the construction of the previous paragraph may be written as follows, = +, for any integer n. This recurrence for the coefficients is known as Pascals rule. Pascals triangle has higher dimensional generalizations, the three-dimensional version is called Pascals pyramid or Pascals tetrahedron, while the general versions are called Pascals simplices. The pattern of numbers that forms Pascals triangle was known well before Pascals time, centuries before, discussion of the numbers had arisen in the context of Indian studies of combinatorics and of binomial numbers and Greeks study of figurate numbers. From later commentary, it appears that the coefficients and the additive formula for generating them. Halayudha also explained obscure references to Meru-prastaara, the Staircase of Mount Meru, in approximately 850, the Jain mathematician Mahāvīra gave a different formula for the binomial coefficients, using multiplication, equivalent to the modern formula = n. r. At around the time, it was discussed in Persia by the Persian mathematician. It was later repeated by the Persian poet-astronomer-mathematician Omar Khayyám, thus the triangle is referred to as the Khayyam triangle in Iran. Several theorems related to the triangle were known, including the binomial theorem, Khayyam used a method of finding nth roots based on the binomial expansion, and therefore on the binomial coefficients. Pascals triangle was known in China in the early 11th century through the work of the Chinese mathematician Jia Xian, in the 13th century, Yang Hui presented the triangle and hence it is still called Yang Huis triangle in China. In the west, the binomial coefficients were calculated by Gersonides in the early 14th century, petrus Apianus published the full triangle on the frontispiece of his book on business calculations in 1527
26.
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
27.
Cross-polytope
–
In geometry, a cross-polytope, orthoplex, hyperoctahedron, or cocube is a regular, convex polytope that exists in n-dimensions. A 2-orthoplex is a square, a 3-orthoplex is an octahedron. Its facets are simplexes of the dimension, while the cross-polytopes vertex figure is another cross-polytope from the previous dimension. The vertices of a cross-polytope are all the permutations of, the cross-polytope is the convex hull of its vertices. The n-dimensional cross-polytope can also be defined as the unit ball in the ℓ1-norm on Rn. In 1 dimension the cross-polytope is simply the line segment, in 2 dimensions it is a square with vertices, in 3 dimensions it is an octahedron—one of the five convex regular polyhedra known as the Platonic solids. Higher-dimensional cross-polytopes are generalizations of these, the cross-polytope is the dual polytope of the hypercube. The 1-skeleton of a n-dimensional cross-polytope is a Turán graph T, the 4-dimensional cross-polytope also goes by the name hexadecachoron or 16-cell. It is one of six convex regular 4-polytopes and these 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. The cross polytope family is one of three regular polytope families, labeled by Coxeter as βn, the two being the hypercube family, labeled as γn, and the simplices, labeled as αn. A fourth family, the infinite tessellations of hypercubes, he labeled as δn, the n-dimensional cross-polytope has 2n vertices, and 2n facets all of which are n−1 simplices. The vertex figures are all n −1 cross-polytopes, the Schläfli symbol of the cross-polytope is. The dihedral angle of the n-dimensional cross-polytope is δ n = arccos and this gives, δ2 = arccos = 90°, δ3 = arccos =109. 47°, δ4 = arccos = 120°, δ5 = arccos =126. 87°. The volume of the n-dimensional cross-polytope is 2 n n. Petrie polygon projections map the points into a regular 2n-gon or lower order regular polygons. A second projection takes the 2-gon petrie polygon of the dimension, seen as a bipyramid, projected down the axis. The vertices of a cross polytope are all at equal distance from each other in the Manhattan distance. Kusners conjecture states that this set of 2d points is the largest possible equidistant set for this distance, Regular complex polytopes can be defined in complex Hilbert space called generalized orthoplexes, βpn =22. 2p, or. Real solutions exist with p=2, i. e. β2n = βn =22.22 =, for p>2, they exist in C n
28.
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
29.
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
30.
Triangle number
–
A triangular number or triangle number counts the objects that can form an equilateral triangle, as in the diagram on the right. The nth triangular number is the number of dots composing a triangle with n dots on a side and it represents the number of distinct pairs that can be selected from n +1 objects, and it is read aloud as n plus one choose two. Carl Friedrich Gauss is said to have found this relationship in his early youth, however, regardless of the truth of this story, Gauss was not the first to discover this formula, and some find it likely that its origin goes back to the Pythagoreans 5th century BC. The two formulae were described by the Irish monk Dicuil in about 816 in his Computus, the triangular number Tn solves the handshake problem of counting the number of handshakes if each person in a room with n +1 people shakes hands once with each person. In other words, the solution to the problem of n people is Tn−1. The function T is the analog of the factorial function. In the limit, the ratio between the two numbers, dots and line segments is lim n → ∞ T n L n =13, Triangular numbers have a wide variety of relations to other figurate numbers. Most simply, the sum of two triangular numbers is a square number, with the sum being the square of the difference between the two. Algebraically, T n + T n −1 = + = + = n 2 =2, alternatively, the same fact can be demonstrated graphically, There are infinitely many triangular numbers that are also square numbers, e. g.1,36,1225. Some of them can be generated by a recursive formula. All square triangular numbers are found from the recursion S n =34 S n −1 − S n −2 +2 with S0 =0 and S1 =1. Also, the square of the nth triangular number is the same as the sum of the cubes of the integers 1 to n and this can also be expressed as ∑ k =1 n k 3 =2. The sum of the all triangular numbers up to the nth triangular number is the nth tetrahedral number, more generally, the difference between the nth m-gonal number and the nth -gonal number is the th triangular number. For example, the sixth heptagonal number minus the sixth hexagonal number equals the triangular number,15. Every other triangular number is a hexagonal number, knowing the triangular numbers, one can reckon any centered polygonal number, the nth centered k-gonal number is obtained by the formula C k n = k T n −1 +1 where T is a triangular number. The positive difference of two numbers is a trapezoidal number. Triangular numbers correspond to the case of Faulhabers formula. Alternating triangular numbers are also hexagonal numbers, every even perfect number is triangular, given by the formula M p 2 p −1 = M p 2 = T M p where Mp is a Mersenne prime
31.
Coxeter-Dynkin diagram
–
In geometry, a Coxeter–Dynkin diagram is a graph with numerically labeled edges representing the spatial relations between a collection of mirrors. It describes a kaleidoscopic construction, each node represents a mirror. An unlabeled branch implicitly represents order-3, each diagram represents a Coxeter group, and Coxeter groups are classified by their associated diagrams. Dynkin diagrams correspond to and are used to root systems. Branches of a Coxeter–Dynkin diagram are labeled with a number p. When p =2 the angle is 90° and the mirrors have no interaction, if a branch is unlabeled, it is assumed to have p =3, representing an angle of 60°. Two parallel mirrors have a branch marked with ∞, in principle, n mirrors can be represented by a complete graph in which all n /2 branches are drawn. In practice, nearly all interesting configurations of mirrors include a number of right angles, diagrams can be labeled by their graph structure. The first forms studied by Ludwig Schläfli are the orthoschemes which have linear graphs that generate regular polytopes, plagioschemes are simplices represented by branching graphs, and cycloschemes are simplices represented by cyclic graphs. Every Coxeter diagram has a corresponding Schläfli matrix with matrix elements ai, j = aj, as a matrix of cosines, it is also called a Gramian matrix after Jørgen Pedersen Gram. All Coxeter group Schläfli matrices are symmetric because their root vectors are normalized. It is related closely to the Cartan matrix, used in the similar but directed graph Dynkin diagrams in the cases of p =2,3,4, and 6. The determinant of the Schläfli matrix, called the Schläflian, and its sign determines whether the group is finite, affine and this rule is called Schläflis Criterion. The eigenvalues of the Schläfli matrix determines whether a Coxeter group is of type, affine type. The indefinite type is further subdivided, e. g. into hyperbolic. However, there are multiple non-equivalent definitions for hyperbolic Coxeter groups and we use the following definition, A Coxeter group with connected diagram is hyperbolic if it is neither of finite nor affine type, but every proper connected subdiagram is of finite or affine type. A hyperbolic Coxeter group is compact if all subgroups are finite, Finite and affine groups are also called elliptical and parabolic respectively. Hyperbolic groups are also called Lannér, after F. Lannér who enumerated the compact groups in 1950
32.
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
33.
5-simplex
–
In five-dimensional geometry, a 5-simplex is a self-dual regular 5-polytope. It has six vertices,15 edges,20 triangle faces,15 tetrahedral cells and it has a dihedral angle of cos−1, or approximately 78. 46°. It can also be called a hexateron, or hexa-5-tope, as a 6-facetted polytope in 5-dimensions, the name hexateron is derived from hexa- for having six facets and teron for having four-dimensional facets. By Jonathan Bowers, a hexateron is given the acronym hix, the hexateron can be constructed from a 5-cell by adding a 6th vertex such that it is equidistant from all the other vertices of the 5-cell. These construction can be seen as facets of the 6-orthoplex or rectified 6-cube respectively and it is first in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 13k series. A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral dihedron and it is first in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 3k1 series. A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral hosohedron, the 5-simplex, as 220 polytope is first in dimensional series 22k. The regular 5-simplex is one of 19 uniform polytera based on the Coxeter group, the 5-simplex can also be considered a 5-cell pyramid, constructed as a 5-cell base in a 4-space hyperplane, and an apex point above the hyperplane. The five sides of the pyramid are made of 5-cell cells, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 H. S. M. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, 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, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. 5D uniform polytopes x3o3o3o3o - hix, archived from the original on 4 February 2007. Polytopes of Various Dimensions, Jonathan Bowers Multi-dimensional Glossary
34.
6-simplex
–
In geometry, a 6-simplex is a self-dual regular 6-polytope. It has 7 vertices,21 edges,35 triangle faces,35 tetrahedral cells,21 5-cell 4-faces and its dihedral angle is cos−1, or approximately 80. 41°. It can also be called a heptapeton, or hepta-6-tope, as a 7-facetted polytope in 6-dimensions, the name heptapeton is derived from hepta for seven facets in Greek and -peta for having five-dimensional facets, and -on. Jonathan Bowers gives a heptapeton the acronym hop, the regular 6-simplex is one of 35 uniform 6-polytopes based on the Coxeter group, all shown here in A6 Coxeter plane orthographic projections. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, 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, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. 6D uniform polytopes x3o3o3o3o - hix, archived from the original on 4 February 2007. Polytopes of Various Dimensions Multi-dimensional Glossary
35.
7-simplex
–
In 7-dimensional geometry, a 7-simplex is a self-dual regular 7-polytope. It has 8 vertices,28 edges,56 triangle faces,70 tetrahedral cells,56 5-cell 5-faces,28 5-simplex 6-faces and its dihedral angle is cos−1, or approximately 81. 79°. It can also be called an octaexon, or octa-7-tope, as an 8-facetted polytope in 7-dimensions, the name octaexon is derived from octa for eight facets in Greek and -ex for having six-dimensional facets, and -on. Jonathan Bowers gives an octaexon the acronym oca, the Cartesian coordinates of the vertices of an origin-centered regular octaexon having edge length 2 are, More simply, the vertices of the 7-simplex can be positioned in 8-space as permutations of. This construction is based on facets of the 8-orthoplex and this polytope is a facet in the uniform tessellation 331 with Coxeter-Dynkin diagram, This polytope is one of 71 uniform 7-polytopes with A7 symmetry. Polytopes of Various Dimensions Multi-dimensional Glossary
36.
8-simplex
–
In geometry, an 8-simplex is a self-dual regular 8-polytope. It has 9 vertices,36 edges,84 triangle faces,126 tetrahedral cells,126 5-cell 4-faces,84 5-simplex 5-faces,36 6-simplex 6-faces and its dihedral angle is cos−1, or approximately 82. 82°. It can also be called an enneazetton, or ennea-8-tope, as a 9-facetted polytope in eight-dimensions, the name enneazetton is derived from ennea for nine facets in Greek and -zetta for having seven-dimensional facets, and -on. This construction is based on facets of the 9-orthoplex and this polytope is a facet in the uniform tessellations,251, and 521 with respective Coxeter-Dynkin diagrams, This polytope is one of 135 uniform 8-polytopes with A8 symmetry. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, 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, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. 8D uniform polytopes x3o3o3o3o3o3o3o - ene, Polytopes of Various Dimensions Multi-dimensional Glossary
37.
9-simplex
–
In geometry, a 9-simplex is a self-dual regular 9-polytope. It has 10 vertices,45 edges,120 triangle faces,210 tetrahedral cells,252 5-cell 4-faces,210 5-simplex 5-faces,120 6-simplex 6-faces,45 7-simplex 7-faces and its dihedral angle is cos−1, or approximately 83. 62°. It can also be called a decayotton, or deca-9-tope, as a 10-facetted polytope in 9-dimensions, the name decayotton is derived from deca for ten facets in Greek and -yott, having 8-dimensional facets, and -on. This construction is based on facets of the 10-orthoplex, Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, 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, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. 9D uniform polytopes x3o3o3o3o3o3o3o3o - day, Polytopes of Various Dimensions Multi-dimensional Glossary
38.
10-simplex
–
In geometry, a 10-simplex is a self-dual regular 10-polytope. Its dihedral angle is cos−1, or approximately 84. 26° and it can also be called a hendecaxennon, or hendeca-10-tope, as an 11-facetted polytope in 10-dimensions. The name hendecaxennon is derived from hendeca for 11 facets in Greek and -xenn, having 9-dimensional facets and this construction is based on facets of the 11-orthoplex. The 2-skeleton of the 10-simplex is topologically related to the 11-cell abstract regular polychoron which has the same 11 vertices,55 edges, but only 1/3 the faces. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, 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, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. 10D uniform polytopes x3o3o3o3o3o3o3o3o3o - ux, Polytopes of Various Dimensions Multi-dimensional Glossary
39.
Isosceles triangle
–
In geometry, an isosceles triangle is a triangle that has two sides of equal length. By the isosceles triangle theorem, the two angles opposite the sides are themselves equal, while if the third side is different then the third angle is different. By the Steiner–Lehmus theorem, every triangle with two angle bisectors of equal length is isosceles, in an isosceles triangle that has exactly two equal sides, the equal sides are called legs and the third side is called the base. The angle included by the legs is called the vertex angle, the vertex opposite the base is called the apex. In the equilateral triangle case, since all sides are equal, any side can be called the base, if needed, and the term leg is not generally used. A triangle with two equal sides has exactly one axis of symmetry, which goes through the vertex angle. Thus the axis of symmetry coincides with the bisector of the vertex angle, the median drawn to the base, the altitude drawn from the vertex angle. Whether the isosceles triangle is acute, right or obtuse depends on the vertex angle, in Euclidean geometry, the base angles cannot be obtuse or right because their measures would sum to at least 180°, the total of all angles in any Euclidean triangle. The Euler line of any triangle goes through the orthocenter, its centroid. In an isosceles triangle with two equal sides, the Euler line coincides with the axis of symmetry. This can be seen as follows, if the vertex angle is acute, then the orthocenter, the centroid, and the circumcenter all fall inside the triangle. In an isosceles triangle the incenter lies on the Euler line, the Steiner inellipse of any triangle is the unique ellipse that is internally tangent to the triangles three sides at their midpoints. For any isosceles triangle with area T and perimeter p, we have 2 p b 3 − p 2 b 2 +16 T2 =0. By substituting the height, the formula for the area of a triangle can be derived from the general formula one-half the base times the height. This is what Herons formula reduces to in the isosceles case, if the apex angle and leg lengths of an isosceles triangle are known, then the area of that triangle is, T =2 = a 2 sin cos . This is derived by drawing a line from the base of the triangle. The bases of two right triangles are both equal to the hypotenuse times the sine of the bisected angle by definition of the term sine. For the same reason, the heights of these triangles are equal to the times the cosine of the bisected angle
40.
Equilateral triangle
–
In geometry, an equilateral triangle is a triangle in which all three sides are equal. In the familiar Euclidean geometry, equilateral triangles are also equiangular and they are regular polygons, and can therefore also be referred to as regular triangles. Thus these are properties that are unique to equilateral triangles, the three medians have equal lengths. The three angle bisectors have equal lengths, every triangle center of an equilateral triangle coincides with its centroid, which implies that the equilateral triangle is the only triangle with no Euler line connecting some of the centers. For some pairs of triangle centers, the fact that they coincide is enough to ensure that the triangle is equilateral, in particular, A triangle is equilateral if any two of the circumcenter, incenter, centroid, or orthocenter coincide. It is also equilateral if its circumcenter coincides with the Nagel point, for any triangle, the three medians partition the triangle into six smaller triangles. A triangle is equilateral if and only if any three of the triangles have either the same perimeter or the same inradius. A triangle is equilateral if and only if the circumcenters of any three of the triangles have the same distance from the centroid. Morleys trisector theorem states that, in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, a version of the isoperimetric inequality for triangles states that the triangle of greatest area among all those with a given perimeter is equilateral. That is, PA, PB, and PC satisfy the inequality that any two of them sum to at least as great as the third. By Eulers inequality, the triangle has the smallest ratio R/r of the circumradius to the inradius of any triangle, specifically. The triangle of largest area of all those inscribed in a circle is equilateral. The ratio of the area of the incircle to the area of an equilateral triangle, the ratio of the area to the square of the perimeter of an equilateral triangle,1123, is larger than that for any other triangle. If a segment splits an equilateral triangle into two regions with equal perimeters and with areas A1 and A2, then 79 ≤ A1 A2 ≤97, in no other triangle is there a point for which this ratio is as small as 2. For any point P in the plane, with p, q, and t from the vertices A, B. For any point P on the circle of an equilateral triangle, with distances p, q. There are numerous triangle inequalities that hold with equality if and only if the triangle is equilateral, an equilateral triangle is the most symmetrical triangle, having 3 lines of reflection and rotational symmetry of order 3 about its center. Its symmetry group is the group of order 6 D3
41.
Regular tetrahedron
–
In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ordinary convex polyhedra, the tetrahedron is the three-dimensional case of the more general concept of a Euclidean simplex. The tetrahedron is one kind of pyramid, which is a polyhedron with a polygon base. In the case of a tetrahedron the base is a triangle, like all convex polyhedra, a tetrahedron can be folded from a single sheet of paper. For any tetrahedron there exists a sphere on which all four vertices lie, a regular tetrahedron is one in which all four faces are equilateral triangles. It is one of the five regular Platonic solids, which have known since antiquity. In a regular tetrahedron, not only are all its faces the same size and shape, regular tetrahedra alone do not tessellate, but if alternated with regular octahedra they form the alternated cubic honeycomb, which is a tessellation. The regular tetrahedron is self-dual, which means that its dual is another regular tetrahedron, the compound figure comprising two such dual tetrahedra form a stellated octahedron or stella octangula. This form has Coxeter diagram and Schläfli symbol h, the tetrahedron in this case has edge length 2√2. Inverting these coordinates generates the dual tetrahedron, and the together form the stellated octahedron. In other words, if C is the centroid of the base and this follows from the fact that the medians of a triangle intersect at its centroid, and this point divides each of them in two segments, one of which is twice as long as the other. The vertices of a cube can be grouped into two groups of four, each forming a regular tetrahedron, the symmetries of a regular tetrahedron correspond to half of those of a cube, those that map the tetrahedra to themselves, and not to each other. The tetrahedron is the only Platonic solid that is not mapped to itself by point inversion, the regular tetrahedron has 24 isometries, forming the symmetry group Td, isomorphic to the symmetric group, S4. The first corresponds to the A2 Coxeter plane, the two skew perpendicular opposite edges of a regular tetrahedron define a set of parallel planes. When one of these intersects the tetrahedron the resulting cross section is a rectangle. When the intersecting plane is one of the edges the rectangle is long. When halfway between the two edges the intersection is a square, the aspect ratio of the rectangle reverses as you pass this halfway point. For the midpoint square intersection the resulting boundary line traverses every face of the tetrahedron similarly, if the tetrahedron is bisected on this plane, both halves become wedges
42.
Power of two
–
In mathematics, a power of two means a number of the form 2n where n is an integer, i. e. the result of exponentiation with number two as the base and integer n as the exponent. In a context where only integers are considered, n is restricted to values, so we have 1,2. Because two is the base of the numeral system, powers of two are common in computer science. Written in binary, a power of two always has the form 100…000 or 0. 00…001, just like a power of ten in the decimal system, a word, interpreted as an unsigned integer, can represent values from 0 to 2n −1 inclusively. Corresponding signed integer values can be positive, negative and zero, either way, one less than a power of two is often the upper bound of an integer in binary computers. As a consequence, numbers of this show up frequently in computer software. For example, in the original Legend of Zelda the main character was limited to carrying 255 rupees at any time. Powers of two are used to measure computer memory. A byte is now considered eight bits (an octet, resulting in the possibility of 256 values, the prefix kilo, in conjunction with byte, may be, and has traditionally been, used, to mean 1,024. However, in general, the term kilo has been used in the International System of Units to mean 1,000, binary prefixes have been standardized, such as kibi meaning 1,024. Nearly all processor registers have sizes that are powers of two,32 or 64 being most common, powers of two occur in a range of other places as well. For many disk drives, at least one of the size, number of sectors per track. The logical block size is almost always a power of two. Numbers that are not powers of two occur in a number of situations, such as video resolutions, but they are often the sum or product of two or three powers of two, or powers of two minus one. For example,640 =512 +128 =128 ×5, put another way, they have fairly regular bit patterns. A prime number that is one less than a power of two is called a Mersenne prime, for example, the prime number 31 is a Mersenne prime because it is 1 less than 32. Similarly, a number that is one more than a positive power of two is called a Fermat prime—the exponent itself is a power of two. A fraction that has a power of two as its denominator is called a dyadic rational, the numbers that can be represented as sums of consecutive positive integers are called polite numbers, they are exactly the numbers that are not powers of two
43.
Tesseract
–
In geometry, the tesseract is the four-dimensional analog of the cube, the tesseract is to the cube as the cube is to the square. Just as the surface of the consists of six square faces. The tesseract is one of the six convex regular 4-polytopes, the tesseract is also called an 8-cell, C8, octachoron, octahedroid, cubic prism, and tetracube. It is the four-dimensional hypercube, or 4-cube as a part of the family of hypercubes or measure polytopes. In this publication, as well as some of Hintons later work, the tesseract can be constructed in a number of ways. As a regular polytope with three cubes folded together around every edge, it has Schläfli symbol with hyperoctahedral symmetry of order 384, constructed as a 4D hyperprism made of two parallel cubes, it can be named as a composite Schläfli symbol ×, with symmetry order 96. As a 4-4 duoprism, a Cartesian product of two squares, it can be named by a composite Schläfli symbol ×, with symmetry order 64, as an orthotope it can be represented by composite Schläfli symbol × × × or 4, with symmetry order 16. Since each vertex of a tesseract is adjacent to four edges, the dual polytope of the tesseract is called the hexadecachoron, or 16-cell, with Schläfli symbol. The standard tesseract in Euclidean 4-space is given as the hull of the points. That is, it consists of the points, A tesseract is bounded by eight hyperplanes, each pair of non-parallel hyperplanes intersects to form 24 square faces in a tesseract. Three cubes and three squares intersect at each edge, there are four cubes, six squares, and four edges meeting at every vertex. All in all, it consists of 8 cubes,24 squares,32 edges, the construction of a hypercube can be imagined the following way, 1-dimensional, Two points A and B can be connected to a line, giving a new line segment AB. 2-dimensional, Two parallel line segments AB and CD can be connected to become a square, 3-dimensional, Two parallel squares ABCD and EFGH can be connected to become a cube, with the corners marked as ABCDEFGH. 4-dimensional, Two parallel cubes ABCDEFGH and IJKLMNOP can be connected to become a hypercube and it is possible to project tesseracts into three- or two-dimensional spaces, as projecting a cube is possible on a two-dimensional space. Projections on the 2D-plane become more instructive by rearranging the positions of the projected vertices, the scheme is similar to the construction of a cube from two squares, juxtapose two copies of the lower-dimensional cube and connect the corresponding vertices. Each edge of a tesseract is of the same length, the regular complex polytope 42, in C2 has a real representation as a tesseract or 4-4 duoprism in 4-dimensional space. 42 has 16 vertices, and 8 4-edges and its symmetry is 42, order 32. It also has a lower construction, or 4×4, with symmetry 44
44.
Simplicial homology
–
In algebraic topology, simplicial homology formalizes the idea of the number of holes of a given dimension in a simplicial complex. This generalizes the number of connected components, simplicial homology arose as a way to study topological spaces whose building blocks are n-simplices, the n-dimensional analogs of triangles. This includes a point, a segment, a triangle. By definition, such a space is homeomorphic to a simplicial complex, such a homeomorphism is referred to as a triangulation of the given space. Many topological spaces of interest can be triangulated, including every smooth manifold, by Cairns, simplicial homology is defined by a simple recipe for any abstract simplicial complex. It is a fact that simplicial homology only depends on the associated topological space. As a result, it gives a way to distinguish one space from another. Singular homology is a theory which is more commonly used by mathematicians today. Singular homology is defined for all spaces, and it agrees with simplicial homology for spaces which can be triangulated. A key concept in defining simplicial homology is the notion of an orientation of a simplex, thus every simplex has exactly two orientations, and switching the order of two vertices changes an orientation to the opposite orientation. Let S be a simplicial complex, a simplicial k-chain is a finite formal sum ∑ i =1 N c i σ i, where each ci is an integer and σi is an oriented k-simplex. In this definition, we declare that each oriented simplex is equal to the negative of the simplex with the opposite orientation, the group of k-chains on S is written Ck. This is an abelian group which has a basis in one-to-one correspondence with the set of k-simplices in S. To define a basis explicitly, one has to choose an orientation of each simplex, one standard way to do this is to choose an ordering of all the vertices and give each simplex the orientation corresponding to the induced ordering of its vertices. Let σ = be an oriented k-simplex, viewed as an element of Ck. In Ck, elements of the subgroup Z k = ker ∂ k are referred to as cycles, a direct computation shows that ∂2 =0. In geometric terms, this says that the boundary of anything has no boundary, equivalently, the abelian groups form a chain complex. Another equivalent statement is that Bk is contained in Zk, the kth homology group Hk of S is defined to be the quotient abelian group H k = Z k / B k
45.
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
46.
11-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 ∨
47.
12-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 ∨