Schläfli orthoscheme
   HOME

TheInfoList



OR:

In
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, a Schläfli orthoscheme is a type of
simplex In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
. The orthoscheme is the generalization of the
right triangle A right triangle (American English) or right-angled triangle (British), or more formally an orthogonal triangle, formerly called a rectangled triangle ( grc, ὀρθόσγωνία, lit=upright angle), is a triangle in which one angle is a right an ...
to simplex figures of any number of dimensions. Orthoschemes are defined by a sequence of
edges Edge or EDGE may refer to: Technology Computing * Edge computing, a network load-balancing system * Edge device, an entry point to a computer network * Adobe Edge, a graphical development application * Microsoft Edge, a web browser developed by ...
(v_0v_1), (v_1v_2), \dots, (v_v_d) \, that are mutually
orthogonal In mathematics, orthogonality is the generalization of the geometric notion of ''perpendicularity''. By extension, orthogonality is also used to refer to the separation of specific features of a system. The term also has specialized meanings in ...
. They were introduced by
Ludwig Schläfli Ludwig Schläfli (15 January 1814 – 20 March 1895) was a Swiss mathematician, specialising in geometry and complex analysis (at the time called function theory) who was one of the key figures in developing the notion of higher-dimensional space ...
, who called them ''orthoschemes'' and studied their
volume Volume is a measure of occupied three-dimensional space. It is often quantified numerically using SI derived units (such as the cubic metre and litre) or by various imperial or US customary units (such as the gallon, quart, cubic inch). The de ...
in Euclidean,
hyperbolic Hyperbolic is an adjective describing something that resembles or pertains to a hyperbola (a curve), to hyperbole (an overstatement or exaggeration), or to hyperbolic geometry. The following phenomena are described as ''hyperbolic'' because they ...
, and
spherical A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the ce ...
geometries.
H. S. M. Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington t ...
later named them after Schläfli. As right triangles provide the basis for
trigonometry Trigonometry () is a branch of mathematics that studies relationships between side lengths and angles of triangles. The field emerged in the Hellenistic world during the 3rd century BC from applications of geometry to astronomical studies. T ...
, orthoschemes form the basis of a trigonometry of ''n'' dimensions, as developed by Schoute who called it
polygonometry Ordinary trigonometry studies triangles in the Euclidean plane . There are a number of ways of defining the ordinary Euclidean geometric trigonometric functions on real numbers, for example right-angled triangle definitions, unit circle defin ...
. J.-P. Sydler and
Børge Jessen Børge Christian Jessen (19 June 1907 – 20 March 1993) was a Denmark, Danish mathematician best known for his work in Mathematical analysis, analysis, specifically on the Riemann zeta function, and in geometry, specifically on Hilbert's third pr ...
studied orthoschemes extensively in connection with
Hilbert's third problem The third of Hilbert's list of mathematical problems, presented in 1900, was the first to be solved. The problem is related to the following question: given any two polyhedra of equal volume, is it always possible to cut the first into finitely m ...
. Orthoschemes, also called path-simplices in the
applied mathematics Applied mathematics is the application of mathematical methods by different fields such as physics, engineering, medicine, biology, finance, business, computer science, and industry. Thus, applied mathematics is a combination of mathematical s ...
literature, are a special case of a more general class of simplices studied by Fiedler, and later rediscovered by
Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington to ...
. These simplices are the
convex hull In geometry, the convex hull or convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space ...
s of
trees In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, including only woody plants with secondary growth, plants that are u ...
in which all edges are mutually perpendicular. In an orthoscheme, the underlying tree is a
path A path is a route for physical travel – see Trail. Path or PATH may also refer to: Physical paths of different types * Bicycle path * Bridle path, used by people on horseback * Course (navigation), the intended path of a vehicle * Desire p ...
. In three dimensions, an orthoscheme is also called a
birectangular tetrahedron In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), 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 o ...
(because its path makes two right angles at vertices each having two right angles) or a
quadrirectangular tetrahedron In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), 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 o ...
(because it contains four right angles).


Properties

* All 2-faces are right triangles. * All
facets A facet is a flat surface of a geometric shape, e.g., of a cut gemstone. Facet may also refer to: Arts, entertainment, and media * ''Facets'' (album), an album by Jim Croce * ''Facets'', a 1980 album by jazz pianist Monty Alexander and his tri ...
of a ''d''-dimensional orthoscheme are (''d'' − 1)-dimensional orthoschemes. * The d
dihedral angle A dihedral angle is the angle between two intersecting planes or half-planes. In chemistry, it is the clockwise angle between half-planes through two sets of three atoms, having two atoms in common. In solid geometry, it is defined as the uni ...
s that are disjoint from edges of the path have
acute angle In Euclidean geometry, an angle is the figure formed by two rays, called the '' sides'' of the angle, sharing a common endpoint, called the ''vertex'' of the angle. Angles formed by two rays lie in the plane that contains the rays. Angles are ...
s; the remaining \tbinom dihedral angles are all
right angle In geometry and trigonometry, a right angle is an angle of exactly 90 Degree (angle), degrees or radians corresponding to a quarter turn (geometry), turn. If a Line (mathematics)#Ray, ray is placed so that its endpoint is on a line and the ad ...
s. * The
midpoint In geometry, the midpoint is the middle point of a line segment. It is equidistant from both endpoints, and it is the centroid both of the segment and of the endpoints. It bisects the segment. Formula The midpoint of a segment in ''n''-dimens ...
of the longest
edge Edge or EDGE may refer to: Technology Computing * Edge computing, a network load-balancing system * Edge device, an entry point to a computer network * Adobe Edge, a graphical development application * Microsoft Edge, a web browser developed by ...
is the center of the
circumscribed sphere In geometry, a circumscribed sphere of a polyhedron is a sphere that contains the polyhedron and touches each of the polyhedron's vertices. The word circumsphere is sometimes used to mean the same thing, by analogy with the term ''circumcircle' ...
. * The case when , v_0v_1, =, v_1v_2, =\cdots = , v_v_d, is a generalized
Hill tetrahedron In geometry, the Hill tetrahedra are a family of space-filling tetrahedra. They were discovered in 1896 by M. J. M. Hill, a professor of mathematics at the University College London, who showed that they are scissor-congruent to a cube. Const ...
. * Every
hypercube In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ...
in ''d''-dimensional space can be dissected into ''d''! congruent orthoschemes. A similar dissection into the same number of orthoschemes applies more generally to every
hyperrectangle In geometry, an orthotopeCoxeter, 1973 (also called a hyperrectangle or a box) is the generalization of a rectangle to higher dimensions. A necessary and sufficient condition is that it is congruent to the Cartesian product of intervals. If all of ...
but in this case the orthoschemes may not be congruent. * Every
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 -faces (for all , where is the dimension of the polytope) — cells, f ...
can be dissected radially into ''g'' congruent orthoschemes that meet at its center, where ''g'' is the ''order'' of the regular polytope's symmetry group. * In 3- and 4-dimensional Euclidean space, every
convex polytope A convex polytope is a special case of a polytope, having the additional property that it is also a convex set contained in the n-dimensional Euclidean space \mathbb^n. Most texts. use the term "polytope" for a bounded convex polytope, and the wo ...
is scissor congruent to an orthoscheme. * Every orthoscheme can be trisected into three smaller orthoschemes. * In 3-dimensional hyperbolic and spherical spaces, the volume of orthoschemes can be expressed in terms of the
Lobachevsky function In mathematics, the Clausen function, introduced by , is a transcendental, special function of a single variable. It can variously be expressed in the form of a definite integral, a trigonometric series, and various other forms. It is intimately ...
, or in terms of
dilogarithm In mathematics, Spence's function, or dilogarithm, denoted as , is a particular case of the polylogarithm. Two related special functions are referred to as Spence's function, the dilogarithm itself: :\operatorname_2(z) = -\int_0^z\, du \textz ...
s.


Dissection into orthoschemes

Hugo Hadwiger Hugo Hadwiger (23 December 1908 in Karlsruhe, Germany – 29 October 1981 in Bern, Switzerland) was a Swiss mathematician, known for his work in geometry, combinatorics, and cryptography. Biography Although born in Karlsruhe, Germany, Hadwige ...
conjectured in 1956 that every simplex can be
dissected Dissection (from Latin ' "to cut to pieces"; also called anatomization) is the dismembering of the body of a deceased animal or plant to study its anatomical structure. Autopsy is used in pathology and forensic medicine to determine the cause ...
into finitely many orthoschemes. The conjecture has been proven in spaces of five or fewer dimensions, but remains unsolved in higher dimensions. Hadwiger's conjecture implies that every convex polytope can be dissected into orthoschemes.


Characteristic simplex of the general regular polytope

Coxeter identifies various orthoschemes as the characteristic simplexes of the polytopes they generate by reflections. The characteristic simplex is the polytope's fundamental building block. It can be replicated by reflections or rotations to construct the polytope, just as the polytope can be dissected into some integral number of it. The characteristic simplex is
chiral Chirality is a property of asymmetry important in several branches of science. The word ''chirality'' is derived from the Greek (''kheir''), "hand", a familiar chiral object. An object or a system is ''chiral'' if it is distinguishable from ...
(it comes in two mirror-image forms which are different), and the polytope is dissected into an equal number of left- and right-hand instances of it. It has dissimilar edge lengths and faces, instead of the equilateral triangle faces of the regular simplex. When the polytope is regular, its characteristic simplex is an orthoscheme, a simplex with only right triangle faces. Every regular polytope has its characteristic orthoscheme which is its
fundamental region Given a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each o ...
, the irregular simplex which has exactly the same
symmetry Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definit ...
characteristics as the regular polytope but captures them all without repetition. For a regular ''k''-polytope, the Coxeter-Dynkin diagram of the characteristic ''k-''orthoscheme is the ''k''-polytope's diagram without the generating point ring. The regular ''k-''polytope is subdivided by its symmetry (''k''-1)-elements into ''g'' instances of its characteristic ''k''-orthoscheme that surround its center, where ''g'' is the ''order'' of the ''k''-polytope's
symmetry group In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient ...
.


See also

* 3-orthoscheme (
tetrahedron In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), 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 o ...
with right-triangle faces) * 4-orthoscheme (
5-cell In geometry, the 5-cell is the convex 4-polytope with Schläfli symbol . It is a 5-vertex four-dimensional object bounded by five tetrahedral cells. It is also known as a C5, pentachoron, pentatope, pentahedroid, or tetrahedral pyramid. It i ...
with right-triangle faces) *
Goursat tetrahedron In geometry, a Goursat tetrahedron is a tetrahedral fundamental domain of a Wythoff construction. Each tetrahedral face represents a reflection hyperplane on 3-dimensional surfaces: the 3-sphere, Euclidean 3-space, and hyperbolic 3-space. Coxeter ...
*
Order polytope In mathematics, the order polytope of a finite partially ordered set is a convex polytope defined from the set. The points of the order polytope are the monotonic functions from the given set to the unit interval, its vertices correspond to the uppe ...


References

{{DEFAULTSORT:Schlafli orthoscheme Polytopes