Geometry of numbers
Template:Short description Geometry of numbers is the part of number theory which uses geometry for the study of algebraic numbers. Typically, a ring of algebraic integers is viewed as a lattice in <math>\mathbb R^n,</math> and the study of these lattices provides fundamental information on algebraic numbers.<ref>MSC classification, 2010, available at http://www.ams.org/msc/msc2010.html, Classification 11HXX.</ref> Template:Harvs initiated this line of research at the age of 26 in his work The Geometry of Numbers.<ref>Template:Cite book</ref>
Template:Diophantine approximation graph.svg The geometry of numbers has a close relationship with other fields of mathematics, especially functional analysis and Diophantine approximation, the problem of finding rational numbers that approximate an irrational quantity.<ref>Schmidt's books. Template:Cite Geometric Algorithms and Combinatorial Optimization</ref>
Minkowski's resultsEdit
Template:Main article Suppose that <math>\Gamma</math> is a lattice in <math>n</math>-dimensional Euclidean space <math>\mathbb{R}^n</math> and <math>K</math> is a convex centrally symmetric body. Minkowski's theorem, sometimes called Minkowski's first theorem, states that if <math>\operatorname{vol} (K)>2^n \operatorname{vol}(\mathbb{R}^n/\Gamma)</math>, then <math>K</math> contains a nonzero vector in <math>\Gamma</math>.
The successive minimum <math>\lambda_k</math> is defined to be the inf of the numbers <math>\lambda</math> such that <math>\lambda K</math> contains <math>k</math> linearly independent vectors of <math>\Gamma</math>. Minkowski's theorem on successive minima, sometimes called Minkowski's second theorem, is a strengthening of his first theorem and states that<ref>Cassels (1971) p. 203</ref>
- <math>\lambda_1\lambda_2\cdots\lambda_n \operatorname{vol} (K)\le 2^n \operatorname{vol} (\mathbb{R}^n/\Gamma).</math>
Later research in the geometry of numbersEdit
In 1930–1960 research on the geometry of numbers was conducted by many number theorists (including Louis Mordell, Harold Davenport and Carl Ludwig Siegel). In recent years, Lenstra, Brion, and Barvinok have developed combinatorial theories that enumerate the lattice points in some convex bodies.<ref>Grötschel et al., Lovász et al., Lovász, and Beck and Robins.</ref>
Subspace theorem of W. M. SchmidtEdit
Template:Main article Template:See also In the geometry of numbers, the subspace theorem was obtained by Wolfgang M. Schmidt in 1972.<ref>Schmidt, Wolfgang M. Norm form equations. Ann. Math. (2) 96 (1972), pp. 526–551.
See also Schmidt's books; compare Bombieri and Vaaler and also Bombieri and Gubler.</ref> It states that if n is a positive integer, and L1,...,Ln are linearly independent linear 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
- <math>|L_1(x)\cdots L_n(x)|<|x|^{-\varepsilon}</math>
lie in a finite number of proper subspaces of Qn.
Influence on functional analysisEdit
Template:Main article Template:See also Minkowski's geometry of numbers had a profound influence on functional analysis. Minkowski proved that symmetric convex bodies induce norms in finite-dimensional vector spaces. Minkowski's theorem was generalized to topological vector spaces by Kolmogorov, whose theorem states that the symmetric convex sets that are closed and bounded generate the topology of a Banach space.<ref>For Kolmogorov's normability theorem, see Walter Rudin's Functional Analysis. For more results, see Schneider, and Thompson and see Kalton et al.</ref>
Researchers continue to study generalizations to star-shaped sets and other non-convex sets.<ref>Kalton et al. Gardner</ref>
ReferencesEdit
BibliographyEdit
- Matthias Beck, Sinai Robins. Computing the continuous discretely: Integer-point enumeration in polyhedra, Undergraduate Texts in Mathematics, Springer, 2007.
- Template:Cite journal
- Template:Cite book
- 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 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
- Template:Cite book (Republished in 1964 by Dover.)
- Edmund Hlawka, Johannes Schoißengeier, Rudolf Taschner. Geometric and Analytic Number Theory. Universitext. Springer-Verlag, 1991.
- Template:Citation
- C. G. Lekkerkererker. Geometry of Numbers. Wolters-Noordhoff, North Holland, Wiley. 1969.
- Template:Cite journal
- Lovász, L.: An Algorithmic Theory of Numbers, Graphs, and Convexity, CBMS-NSF Regional Conference Series in Applied Mathematics 50, SIAM, Philadelphia, Pennsylvania, 1986
- Template:Springer
- Template:Citation
- Wolfgang M. Schmidt. Diophantine approximation. Lecture Notes in Mathematics 785. Springer. (1980 [1996 with minor corrections])
- Template:Cite book
- Template:Cite book
- 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. Theory of reduction for arithmetical equivalence . Trans. Amer. Math. Soc. 48 (1940) 126–164. {{#invoke:doi|main}}
- Hermann Weyl. Theory of reduction for arithmetical equivalence. II . Trans. Amer. Math. Soc. 51 (1942) 203–231. {{#invoke:doi|main}}