In mathematics, Kronecker's theorem is a theorem about diophantine approximation, introduced by .
Kronecker's approximation theorem had been firstly proved by L. Kronecker in the end of the 19th century. It has been now revealed to relate to the idea of n-torus and Mahler measure since the later half of the 20th century. In terms of physical systems, it has the consequence that planets in circular orbits moving uniformly around a star will, over time, assume all alignments, unless there is an exact dependency between their orbital periods.
Kronecker's theorem is a result about Diophantine approximations that generalizes Dirichlet's approximation theorem to multiple variables.
The Kronecker approximation theorem is classically formulated as follows.
In plainer language, the first condition states that the tuple can be approximated arbitrarily well by linear combinations of the s (with integer coefficients) and integer vectors.
For the case of a and , Kronecker's theorem can be stated as follows. For any with irrational and there exist integers and with , such that
In the case of N numbers, taken as a single N-tuple and point P of the torus
the closure of the subgroup <P> generated by P will be finite, or some torus T′ contained in T. The original Kronecker's theorem (Leopold Kronecker, 1884) stated that the necessary condition for
which is that the numbers x<sub>i</sub> together with 1 should be linearly independent over the rational numbers, is also sufficient. Here it is easy to see that if some linear combination of the x<sub>i</sub> and 1 with non-zero rational number coefficients is zero, then the coefficients may be taken as integers, and a character ÃÂ of the group T other than the trivial character takes the value 1 on P. By Pontryagin duality we have T′ contained in the kernel of ÃÂ, and therefore not equal to T.
In fact a thorough use of Pontryagin duality here shows that the whole Kronecker theorem describes the closure of <P> as the intersection of the kernels of the ÃÂ with
This gives an (antitone) Galois connection between monogenic closed subgroups of T (those with a single generator, in the topological sense), and sets of characters with kernel containing a given point. Not all closed subgroups occur as monogenic; for example a subgroup that has a torus of dimension âÂÂ¥ 1 as connected component of the identity element, and that is not connected, cannot be such a subgroup.
The theorem leaves open the question of how well (uniformly) the multiples mP of P fill up the closure. In the one-dimensional case, the distribution is uniform by the equidistribution theorem.