Orthant

Last updated
In two dimensions, there are four orthants (called quadrants) Cartesian coordinates 2D.svg
In two dimensions, there are four orthants (called quadrants)

In geometry, an orthant [1] or hyperoctant [2] is the analogue in n-dimensional Euclidean space of a quadrant in the plane or an octant in three dimensions.

Contents

In general an orthant in n-dimensions can be considered the intersection of n mutually orthogonal half-spaces. By independent selections of half-space signs, there are 2n orthants in n-dimensional space.

More specifically, a closed orthant in Rn is a subset defined by constraining each Cartesian coordinate to be nonnegative or nonpositive. Such a subset is defined by a system of inequalities:

ε1x1  0      ε2x2  0     · · ·     εnxn  0,

where each εi is +1 or 1.

Similarly, an open orthant in Rn is a subset defined by a system of strict inequalities

ε1x1 > 0      ε2x2 > 0     · · ·     εnxn > 0,

where each εi is +1 or −1.

By dimension:

John Conway and Neil Sloane defined the term n-orthoplex from orthant complex as a regular polytope in n-dimensions with 2n simplex facets, one per orthant. [3]

The nonnegative orthant is the generalization of the first quadrant to n-dimensions and is important in many constrained optimization problems.

See also

Related Research Articles

<span class="mw-page-title-main">Simplex</span> Multi-dimensional generalization of triangle

In geometry, a simplex 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. For example,

<span class="mw-page-title-main">Hypercube</span> Convex polytope, the n-dimensional analogue of a square and a cube

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, perpendicular to each other and of the same length. A unit hypercube's longest diagonal in n dimensions is equal to .

<span class="mw-page-title-main">Cross-polytope</span> Regular polytope dual to the hypercube in any number of dimensions

In geometry, a cross-polytope, hyperoctahedron, orthoplex, or cocube is a regular, convex polytope that exists in n-dimensional Euclidean space. A 2-dimensional cross-polytope is a square, a 3-dimensional cross-polytope is a regular octahedron, and a 4-dimensional cross-polytope is a 16-cell. Its facets are simplexes of the previous dimension, while the cross-polytope's vertex figure is another cross-polytope from the previous dimension.

<span class="mw-page-title-main">Convex polytope</span> Convex hull of a finite set of points in a Euclidean space

A convex polytope is a special case of a polytope, having the additional property that it is also a convex set contained in the -dimensional Euclidean space . Most texts use the term "polytope" for a bounded convex polytope, and the word "polyhedron" for the more general, possibly unbounded object. Others allow polytopes to be unbounded. The terms "bounded/unbounded convex polytope" will be used below whenever the boundedness is critical to the discussed issue. Yet other texts identify a convex polytope with its boundary.

<span class="mw-page-title-main">Runcinated 5-cell</span> Four-dimensional geometrical object

In four-dimensional geometry, a runcinated 5-cell is a convex uniform 4-polytope, being a runcination of the regular 5-cell.

<span class="mw-page-title-main">5-polytope</span> 5-dimensional geometric object

In geometry, a five-dimensional polytope is a polytope in five-dimensional space, bounded by (4-polytope) facets, pairs of which share a polyhedral cell.

<span class="mw-page-title-main">Uniform 9-polytope</span>

In nine-dimensional geometry, a nine-dimensional polytope or 9-polytope is a polytope contained by 8-polytope facets. Each 7-polytope ridge being shared by exactly two 8-polytope facets.

The 5-demicube honeycomb is a uniform space-filling tessellation in Euclidean 5-space. It is constructed as an alternation of the regular 5-cube honeycomb.

In geometry, a uniform k21 polytope is a polytope in k + 4 dimensions constructed from the En Coxeter group, and having only regular polytope facets. The family was named by their Coxeter symbol k21 by its bifurcating Coxeter–Dynkin diagram, with a single ring on the end of the k-node sequence.

The 7-demicubic honeycomb, or demihepteractic honeycomb is a uniform space-filling tessellation in Euclidean 7-space. It is constructed as an alternation of the regular 7-cubic honeycomb.

The 8-demicubic honeycomb, or demiocteractic honeycomb is a uniform space-filling tessellation in Euclidean 8-space. It is constructed as an alternation of the regular 8-cubic honeycomb.

3<sub> 21</sub> polytope

In 7-dimensional geometry, the 321 polytope is a uniform 7-polytope, constructed within the symmetry of the E7 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 7-ic semi-regular figure.

In geometry, the 222 honeycomb is a uniform tessellation of the six-dimensional Euclidean space. It can be represented by the Schläfli symbol {3,3,32,2}. It is constructed from 221 facets and has a 122 vertex figure, with 54 221 polytopes around every vertex.

Polyhedral combinatorics is a branch of mathematics, within combinatorics and discrete geometry, that studies the problems of counting and describing the faces of convex polyhedra and higher-dimensional convex polytopes.

<span class="mw-page-title-main">Stericated 5-simplexes</span>

In five-dimensional geometry, a stericated 5-simplex is a convex uniform 5-polytope with fourth-order truncations (sterication) of the regular 5-simplex.

<span class="mw-page-title-main">Cantellated 5-simplexes</span>

In five-dimensional geometry, a cantellated 5-simplex is a convex uniform 5-polytope, being a cantellation of the regular 5-simplex.

<span class="mw-page-title-main">6-polytope</span>

In six-dimensional geometry, a six-dimensional polytope or 6-polytope is a polytope, bounded by 5-polytope facets.

<span class="mw-page-title-main">Runcinated 5-simplexes</span>

In six-dimensional geometry, a runcinated 5-simplex is a convex uniform 5-polytope with 3rd order truncations (Runcination) of the regular 5-simplex.

<span class="mw-page-title-main">Simplectic honeycomb</span> Tiling of n-dimensional space

In geometry, the simplectic honeycomb is a dimensional infinite series of honeycombs, based on the affine Coxeter group symmetry. It is represented by a Coxeter-Dynkin diagram as a cyclic graph of n + 1 nodes with one node ringed. It is composed of n-simplex facets, along with all rectified n-simplices. It can be thought of as an n-dimensional hypercubic honeycomb that has been subdivided along all hyperplanes , then stretched along its main diagonal until the simplices on the ends of the hypercubes become regular. The vertex figure of an n-simplex honeycomb is an expanded n-simplex.

References

  1. Roman, Steven (2005). Advanced Linear Algebra (2nd ed.). New York: Springer. ISBN   0-387-24766-1.
  2. Weisstein, Eric W. "Hyperoctant". MathWorld .
  3. Conway, J. H.; Sloane, N. J. A. (1991). "The Cell Structures of Certain Lattices". In Hilton, P.; Hirzebruch, F.; Remmert, R. (eds.). Miscellanea Mathematica. Berlin: Springer. pp. 89–90. doi:10.1007/978-3-642-76709-8_5. ISBN   978-3-642-76711-1.

Further reading