In mathematics, Minkowski's second theorem is a result in the geometry of numbers about the values taken by a norm on a lattice and the volume of its fundamental cell. It is named so because it is a strengthening of Minkowski's theorem.
Let be a closed convex centrally symmetric body of positive finite volume in -dimensional Euclidean space . The gauge or distance Minkowski functional attached to is defined by
Conversely, given a norm on we define to be
Let be a lattice in . The successive minima of or on are defined by setting the -th successive minimum to be the infimum of the numbers such that contains linearly-independent vectors of . We have .
The successive minima satisfy
A basis of linearly independent lattice vectors can be defined by (warning : it may be not a basis of the lattice, but only a basis of the ambient space).
The lower bound is proved by considering the convex polytope with vertices at , which has an interior enclosed by and a volume which is times an integer multiple of a primitive cell of the lattice (as seen by scaling the polytope by along each basis vector to obtain -simplices with lattice point vectors), the integer being the index of the -span of the family as a subgroup of the lattice.
To prove the upper bound, consider functions sending points in to the centroid of the subset of points in that can be written as for some real numbers . Then the coordinate transform has a Jacobian determinant . If and are in the interior of and (with ) then with , where the inclusion in (specifically the interior of ) is due to convexity and symmetry. But lattice points in the interior of are, by definition of , always expressible as a linear combination of , so any two distinct points of cannot be separated by a lattice vector. Therefore, must be enclosed in a primitive cell of the lattice (which has volume ), and consequently .