Gateway Arch

In mathematics, Minkowski's theorem is the statement that any convex set in Rⁿ which is symmetric with respect to the origin and with volume greater than 2ⁿ d(L) contains a non-zero lattice point. The theorem was proved by Hermann Minkowski in 1889 and became the foundation of the branch of number theory called the geometry of numbers.

Formulation

Suppose that L is a lattice of determinant d(L) in the n-dimensional real vector space Rⁿ and S is a convex subset of Rⁿ that is symmetric with respect to the origin, meaning that if x is in S then −x is also in S. Minkowski's theorem states that if the volume of S is strictly greater than 2ⁿ d(L), then S must contain at least one lattice point other than the origin.

Example

The simplest example of a lattice is the set Zⁿ of all points with integer coefficients; its determinant is 1. For n = 2, the theorem claims that a convex figure in the plane symmetric about the origin and with area greater than 4 encloses at least one lattice point in addition to the origin. The area bound is sharp: if S is the interior of the square with vertices (±1, ±1) then S is symmetric and convex, has area 4, but the only lattice point it contains is the origin. This observation generalizes to every dimension n.

Proof

The following argument proves Minkowski's theorem for the special case of L=Z². It can be generalized to arbitrary lattices in arbitrary dimensions.

Consider the map $f:S\to \mathbb {R} ^{2},(x,y)\mapsto (x{\bmod {2}},y{\bmod {2}})$. Intuitively, this map cuts the plane into 2 by 2 squares, then stacks the squares on top of each other. Clearly $f(S)$ has area ≤ 4. Suppose f were injective, which means the pieces of S cut out by the squares stack up in a non-overlapping way. Since f is locally area-preserving, this non-overlapping property would make it area-preserving for all of S, so the area of f(S) would be the same as that of S, which is greater than 4. That is not the case, so f is not injective, and $f(p_{1})=f(p_{2})$ for some pair of points $p_{1},p_{2}$ in S. Moreover, we know from the definition of f that $p_{2}=p_{1}+(2i,2j)$ for some integers i and j, where i and j are not both zero.

Then since S is symmetric about the origin, $-p_{1}$ is also a point in S. Since S is convex, the line segment between $-p_{1}$ and $p_{2}$ lies entirely in S, and in particular the midpoint of that segment lies in S. In other words,

${\frac {1}{2}}\left(-p_{1}+p_{2}\right)={\frac {1}{2}}\left(-p_{1}+p_{1}+(2i,2j)\right)=(i,j)$

lies in S. (i,j) is a lattice point, and is not the origin since i and j are not both zero, and so we have found the point we're looking for.

Applications

An application of this theorem is the result that every class in the ideal class group of a number field K contains an integral ideal of norm not exceeding a certain bound, depending on K, called Minkowski's bound: the finiteness of the class number of an algebraic number field follows immediately.

Minkowski's theorem is also useful to prove the Lagrange's four square theorem, which states that every natural number can be written as the sum of the squares of four natural numbers.

See also

• Pick's theorem
• Dirichlet's unit theorem
• Minkowski's second theorem

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 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.
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 (Republished in 1964 by Dover.)
• Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
  
  my web-site http://himerka.com/
• Edmund Hlawka, Johannes Schoißengeier, Rudolf Taschner. Geometric and Analytic Number Theory. Universitext. Springer-Verlag, 1991.
• C. G. Lekkerkerker. Geometry of Numbers. Wolters-Noordhoff, North Holland, Wiley. 1969.
• Wolfgang M. Schmidt. Diophantine approximation. Lecture Notes in Mathematics 785. Springer. (1980 [1996 with minor corrections])
• Wolfgang M. Schmidt.Diophantine approximations and Diophantine equations, Lecture Notes in Mathematics, Springer Verlag 2000.
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• Rolf Schneider, Convex bodies: the Brunn-Minkowski theory, Cambridge University Press, Cambridge, 1993.
• Template:Planetmath reference
• Stevenhagen, Peter. Number Rings.
• Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
  
  my web-site http://himerka.com/