Eight-dimensional space

Source: Wikipedia, the free encyclopedia.

In

Euclidean metric
.

More generally the term may refer to an eight-dimensional vector space over any

8-sphere
, or a variety of other geometric constructions.

Geometry

8-polytope

A

Coxeter-Dynkin diagram. The 8-demicube is a unique polytope from the D8 family, and 421, 241, and 142
polytopes from the E8 family.

Regular and uniform polytopes in eight dimensions
(Displayed as orthogonal projections in each
Coxeter plane
of symmetry)
A8 B8 D8
altN=8-simplex
8-simplex

{3,3,3,3,3,3,3}
altN=8-cube
8-cube

{4,3,3,3,3,3,3}
altN=8-orthoplex
8-orthoplex

{3,3,3,3,3,3,4}

8-demicube

h{4,3,3,3,3,3,3}
E8

421

{3,3,3,3,32,1}

241

{3,3,34,1}

142

{3,34,2}

7-sphere

The 7-sphere or hypersphere in eight dimensions is the seven-dimensional surface equidistant from a point, e.g. the origin. It has symbol S7, with formal definition for the 7-sphere with radius r of

The volume of the space bounded by this 7-sphere is

which is 4.05871 × r8, or 0.01585 of the 8-cube that contains the 7-sphere.

Kissing number problem

The

kissing number problem has been solved in eight dimensions, thanks to the existence of the 421 polytope and its associated lattice. The kissing number in eight dimensions is 240
.

Octonions

The octonions are a

normed division algebra
over the real numbers, the largest such algebra. Mathematically they can be specified by 8-tuplets of real numbers, so form an 8-dimensional vector space over the reals, with addition of vectors being the addition in the algebra. A normed algebra is one with a product that satisfies

for all x and y in the algebra. A normed division algebra additionally must be finite-dimensional, and have the property that every non-zero vector has a unique multiplicative inverse. Hurwitz's theorem prohibits such a structure from existing in dimensions other than 1, 2, 4, or 8.

Biquaternions

The complexified quaternions , or "

isomorphic) to the Clifford algebra
and the
Pauli algebra. It has also been proposed as a practical or pedagogical tool for doing calculations in special relativity, and in that context goes by the name Algebra of physical space (not to be confused with the Spacetime algebra
, which is 16-dimensional.)

References

  • H.S.M. Coxeter:
    • H.S.M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York, 1973
  • Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995,
    • (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380–407, MR 2,10]
    • (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559-591]
    • (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
  • Table of the Highest Kissing Numbers Presently Known maintained by Gabriele Nebe and Neil Sloane (lower bounds)
  • ).
  • (Second printing)