In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a sequence of ''n''
real number
In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
s can be understood as a
location in ''n''-
dimensional space. When ''n'' = 7, the set of all such locations is called 7-dimensional space. Often such a space is studied as a
vector space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
, without any notion of distance. Seven-dimensional
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
is seven-dimensional space equipped with a
Euclidean metric
In mathematics, the Euclidean distance between two points in Euclidean space is the length of the line segment between them. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, and therefore is oc ...
, which is defined by the
dot product
In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a Scalar (mathematics), scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. N ...
.
More generally, the term may refer to a seven-dimensional vector space over any
field, such as a seven-dimensional
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
vector space, which has 14 real dimensions. It may also refer to a seven-dimensional
manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
such as a
7-sphere, or a variety of other geometric constructions.
Seven-dimensional spaces have a number of special properties, many of them related to the
octonion
In mathematics, the octonions are a normed division algebra over the real numbers, a kind of Hypercomplex number, hypercomplex Number#Classification, number system. The octonions are usually represented by the capital letter O, using boldface or ...
s. An especially distinctive property is that a
cross product
In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in a three-dimensional oriented Euclidean vector space (named here E), and ...
can be defined only in three or seven dimensions. This is related to
Hurwitz's theorem, which prohibits the existence of algebraic structures like the
quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. The algebra of quater ...
s and octonions in dimensions other than 2, 4, and 8. The first
exotic spheres ever discovered were seven-dimensional.
Geometry
7-polytope
A
polytope
In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an ...
in seven dimensions is called a 7-polytope. The most studied are the
regular polytope
In mathematics, a regular polytope is a polytope whose symmetry group acts transitive group action, transitively on its flag (geometry), flags, thus giving it the highest degree of symmetry. In particular, all its elements or -faces (for all , w ...
s, of which there are only
three in seven dimensions: the
7-simplex,
7-cube, and
7-orthoplex. A wider family are the
uniform 7-polytopes, constructed from fundamental symmetry domains of reflection, each domain defined by a
Coxeter group. Each uniform polytope is defined by a ringed
Coxeter-Dynkin diagram. The
7-demicube is a unique polytope from the D
7 family, and
321,
231, and
132 polytopes from the E
7 family.
6-sphere
The
6-sphere or hypersphere in seven-dimensional Euclidean space is the six-dimensional surface equidistant from a point, e.g. the origin. It has symbol , with formal definition for the 6-sphere with radius ''r'' of
:
The volume of the space bounded by this 6-sphere is
:
which is 4.72477 × ''r''
7, or 0.0369 of the
7-cube that contains the 6-sphere
Applications
Cross product
A cross product, that is a vector-valued,
bilinear,
anticommutative and
orthogonal
In mathematics, orthogonality (mathematics), orthogonality is the generalization of the geometric notion of ''perpendicularity''. Although many authors use the two terms ''perpendicular'' and ''orthogonal'' interchangeably, the term ''perpendic ...
product of two vectors, is defined in seven dimensions. Along with the more usual
cross product
In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in a three-dimensional oriented Euclidean vector space (named here E), and ...
in three dimensions it is the only such product, except for trivial products.
Exotic spheres
In 1956,
John Milnor constructed an
exotic sphere in 7 dimensions and showed that there are at least 7 differentiable structures on the 7-sphere. In 1963 he showed that the exact number of such structures is 28.
See also
*
Euclidean geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry, ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small set ...
*
List of geometry topics
*
List of regular polytopes
References
* H.S.M. Coxeter: ''Regular Polytopes.'' Dover, 1973
*J.W. Milnor: ''On manifolds homeomorphic to the 7-sphere.'' Annals of Mathematics 64, 1956
External links
*
{{DEFAULTSORT:Seven-Dimensional Space
Dimension
Multi-dimensional geometry
7 (number)