Geometry of numbers is the part of
number theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
which uses
geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
for the study of
algebraic number
In mathematics, an algebraic number is a number that is a root of a function, root of a non-zero polynomial in one variable with integer (or, equivalently, Rational number, rational) coefficients. For example, the golden ratio (1 + \sqrt)/2 is ...
s. Typically, a
ring of algebraic integers is viewed as a
lattice in
and the study of these lattices provides fundamental information on algebraic numbers. initiated this line of research at the age of 26 in his work ''The Geometry of Numbers''.
The geometry of numbers has a close relationship with other fields of mathematics, especially
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
and
Diophantine approximation
In number theory, the study of Diophantine approximation deals with the approximation of real numbers by rational numbers. It is named after Diophantus of Alexandria.
The first problem was to know how well a real number can be approximated ...
, the problem of finding
rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (for example,
The set of all ...
s that approximate an
irrational quantity.
Minkowski's results
Suppose that
is a
lattice in
-dimensional Euclidean space
and
is a convex centrally symmetric body.
Minkowski's theorem, sometimes called Minkowski's first theorem, states that if
, then
contains a nonzero vector in
.
The successive minimum
is defined to be the
inf of the numbers
such that
contains
linearly independent vectors of
.
Minkowski's theorem on
successive minima, sometimes called
Minkowski's second theorem, is a strengthening of his first theorem and states that
:
Later research in the geometry of numbers
In 1930–1960 research on the geometry of numbers was conducted by many
number theorists (including
Louis Mordell,
Harold Davenport
Harold Davenport FRS (30 October 1907 – 9 June 1969) was an English mathematician, known for his extensive work in number theory.
Early life and education
Born on 30 October 1907 in Huncoat, Lancashire, Davenport was educated at Accringto ...
and
Carl Ludwig Siegel). In recent years, Lenstra, Brion, and Barvinok have developed combinatorial theories that enumerate the lattice points in some convex bodies.
Subspace theorem of W. M. Schmidt
In the geometry of numbers, the
subspace theorem was obtained by
Wolfgang M. Schmidt in 1972. It states that if ''n'' is a positive integer, and ''L''
1,...,''L''
''n'' are
linearly independent
In the theory of vector spaces, a set of vectors is said to be if there exists no nontrivial linear combination of the vectors that equals the zero vector. If such a linear combination exists, then the vectors are said to be . These concep ...
linear
In mathematics, the term ''linear'' is used in two distinct senses for two different properties:
* linearity of a '' function'' (or '' mapping'');
* linearity of a '' polynomial''.
An example of a linear function is the function defined by f(x) ...
forms in ''n'' variables with
algebraic coefficients and if ε>0 is any given real number, then the non-zero integer points ''x'' in ''n'' coordinates with
:
lie in a finite number of
proper subspaces of Q
''n''.
Influence on functional analysis
Minkowski's geometry of numbers had a profound influence on
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
. Minkowski proved that symmetric convex bodies induce
norms in finite-dimensional vector spaces. Minkowski's theorem was generalized to
topological vector space
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space that is als ...
s by
Kolmogorov, whose theorem states that the symmetric convex sets that are closed and bounded generate the topology of a
Banach space
In mathematics, more specifically in functional analysis, a Banach space (, ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and ...
.
Researchers continue to study generalizations to
star-shaped sets and other
non-convex sets.
[Kalton et al. Gardner]
References
Bibliography
* Matthias Beck, Sinai Robins. ''
Computing the continuous discretely: Integer-point enumeration in polyhedra'',
Undergraduate Texts in Mathematics
Undergraduate Texts in Mathematics (UTM) () is a series of undergraduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are small yellow books of a stand ...
, Springer, 2007.
*
*
*
J. W. S. Cassels. ''An Introduction to the Geometry of Numbers''. Springer Classics in Mathematics, Springer-Verlag 1997 (reprint of 1959 and 1971 Springer-Verlag editions).
*
John Horton Conway
John Horton Conway (26 December 1937 – 11 April 2020) was an English mathematician. He was active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to many b ...
and
N. J. A. Sloane, ''Sphere Packings, Lattices and Groups'', Springer-Verlag, NY, 3rd ed., 1998.
* R. J. Gardner, ''Geometric tomography,'' Cambridge University Press, New York, 1995. Second edition: 2006.
*
P. M. Gruber, ''Convex and discrete geometry,'' Springer-Verlag, New York, 2007.
* P. M. Gruber, J. M. Wills (editors), ''Handbook of convex geometry. Vol. A. B,'' North-Holland, Amsterdam, 1993.
*
M. Grötschel,
Lovász, L.,
A. Schrijver: ''Geometric Algorithms and Combinatorial Optimization'', Springer, 1988
* (Republished in 1964 by Dover.)
*
Edmund Hlawka, Johannes Schoißengeier, Rudolf Taschner. ''Geometric and Analytic Number Theory''. Universitext. Springer-Verlag, 1991.
*
*
C. G. Lekkerkererker. ''Geometry of Numbers''. Wolters-Noordhoff, North Holland, Wiley. 1969.
*
*
Lovász, L.: ''An Algorithmic Theory of Numbers, Graphs, and Convexity'', CBMS-NSF Regional Conference Series in Applied Mathematics 50, SIAM, Philadelphia, Pennsylvania, 1986
*
*
*
Wolfgang M. Schmidt. ''Diophantine approximation''. Lecture Notes in Mathematics 785. Springer. (1980
996 with minor corrections
*
*
* Rolf Schneider, ''Convex bodies: the Brunn-Minkowski theory,'' Cambridge University Press, Cambridge, 1993.
* Anthony C. Thompson, ''Minkowski geometry,'' Cambridge University Press, Cambridge, 1996.
*
Hermann Weyl
Hermann Klaus Hugo Weyl (; ; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, ...
. Theory of reduction for arithmetical equivalence . Trans. Amer. Math. Soc. 48 (1940) 126–164.
* Hermann Weyl. Theory of reduction for arithmetical equivalence. II . Trans. Amer. Math. Soc. 51 (1942) 203–231.
{{Number theory-footer