Hyperrectangle

From Wikipedia, the free encyclopedia

Template:Short description

Page Module:Infobox/styles.css has no content.

Hyperrectangle
Orthotope
Lua error in package.lua at line 80: module 'Module:InfoboxImage/data' not found.
A rectangular cuboid is a 3-orthotope
TypePrism
Faces2n
Edgesn × 2n−1
Vertices2n
Schläfli symbol{}×{}×···×{} = {}n[1]
Coxeter diagramTemplate:CDD···Template:CDD
Symmetry group[2n−1], order 2n
Dual polyhedronRectangular n-fusil
Propertiesconvex, zonohedron, isogonal
Projections of k-cells onto the plane (from k{1,,6}). Only the edges of the higher-dimensional cells are shown.

In geometry, a hyperrectangle (also called a box, hyperbox, k-cell or orthotope[2]), is the generalization of a rectangle (a plane figure) and the rectangular cuboid (a solid figure) to higher dimensions. A necessary and sufficient condition is that it is congruent to the Cartesian product of finite intervals.[3] This means that a k-dimensional rectangular solid has each of its edges equal to one of the closed intervals used in the definition. Every k-cell is compact.[4][5]

If all of the edges are equal length, it is a hypercube. A hyperrectangle is a special case of a parallelotope.

Formal definition

For every integer i from 1 to k, let ai and bi be real numbers such that ai<bi. The set of all points x=(x1,,xk) in k whose coordinates satisfy the inequalities aixibi is a k-cell.[6]

Intuition

A k-cell of dimension k3 is especially simple. For example, a 1-cell is simply the interval [a,b] with a<b. A 2-cell is the rectangle formed by the Cartesian product of two closed intervals, and a 3-cell is a rectangular solid.

The sides and edges of a k-cell need not be equal in (Euclidean) length; although the unit cube (which has boundaries of equal Euclidean length) is a 3-cell, the set of all 3-cells with equal-length edges is a strict subset of the set of all 3-cells.

Types

A four-dimensional orthotope is likely a hypercuboid.[7]

The special case of an n-dimensional orthotope where all edges have equal length is the n-cube or hypercube.[2]

By analogy, the term "hyperrectangle" can refer to Cartesian products of orthogonal intervals of other kinds, such as ranges of keys in database theory or ranges of integers, rather than real numbers.[8]

Dual polytope

Page Module:Infobox/styles.css has no content.

n-fusil
Lua error in package.lua at line 80: module 'Module:InfoboxImage/data' not found.
Example: 3-fusil
TypePrism
Faces2n
Vertices2n
Schläfli symbol{}+{}+···+{} = n{}[1]
Coxeter diagramTemplate:CDD ... Template:CDD
Symmetry group[2n−1], order 2n
Dual polyhedronn-orthotope
Propertiesconvex, isotopal

The dual polytope of an n-orthotope has been variously called a rectangular n-orthoplex, rhombic n-fusil, or n-lozenge. It is constructed by 2n points located in the center of the orthotope rectangular faces.

An n-fusil's Schläfli symbol can be represented by a sum of n orthogonal line segments: { } + { } + ... + { } or n{ }.

A 1-fusil is a line segment. A 2-fusil is a rhombus. Its plane cross selections in all pairs of axes are rhombi.

n Example image
1
Line segment
{ }
Template:CDD
2
Rhombus
{ } + { } = 2{ }
Template:CDD
3
Rhombic 3-orthoplex inside 3-orthotope
{ } + { } + { } = 3{ }
Template:CDD

See also

Notes

Page Template:Reflist/styles.css has no content.

  1. ^ a b N.W. Johnson: Geometries and Transformations, (2018) Template:ISBN Chapter 11: Finite symmetry groups, 11.5 Spherical Coxeter groups, p.251
  2. ^ a b Coxeter, 1973
  3. ^ Template:Harvcoltxt
  4. ^ Template:Harvcoltxt
  5. ^ Template:Harvcoltxt
  6. ^ Template:Harvcoltxt
  7. ^ Page Module:Citation/CS1/styles.css has no content.Hirotsu, Takashi (2022). "Normal-sized hypercuboids in a given hypercube". arXiv:2211.15342 [math.CO].
  8. ^ See e.g. Page Module:Citation/CS1/styles.css has no content.Zhang, Yi; Munagala, Kamesh; Yang, Jun (2011), "Storing matrices on disk: Theory and practice revisited" (PDF), Proc. VLDB, 4 (11): 1075–1086, doi:10.14778/3402707.3402743.

References

Lua error in package.lua at line 80: module 'Module:Navbox/configuration' not found.