Difference between revisions of "Diophantine approximation, metric theory of"
(Importing text file) |
JobFrancis (talk | contribs) |
||
Line 1: | Line 1: | ||
+ | |||
The branch in number theory whose subject is the study of metric properties of numbers with special approximation properties (cf. [[Diophantine approximations|Diophantine approximations]]; [[Metric theory of numbers|Metric theory of numbers]]). One of the first theorems of the theory was Khinchin's theorem [[#References|[1]]], [[#References|[2]]] which, in its modern form [[#References|[3]]], may be stated as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325801.png" /> be a monotone decreasing function, defined for integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325802.png" />. Then the inequalities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325803.png" /> have an infinite number of solutions in integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325804.png" /> for almost-all real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325805.png" /> if the series | The branch in number theory whose subject is the study of metric properties of numbers with special approximation properties (cf. [[Diophantine approximations|Diophantine approximations]]; [[Metric theory of numbers|Metric theory of numbers]]). One of the first theorems of the theory was Khinchin's theorem [[#References|[1]]], [[#References|[2]]] which, in its modern form [[#References|[3]]], may be stated as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325801.png" /> be a monotone decreasing function, defined for integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325802.png" />. Then the inequalities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325803.png" /> have an infinite number of solutions in integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325804.png" /> for almost-all real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d0325805.png" /> if the series | ||
Line 49: | Line 50: | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. [A.Ya. Khinchin] Khintchine, "Zur metrischen Theorie der diophantischen Approximationen" ''Math. Z.'' , '''24''' (1926) pp. 706–714</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.Ya. [A.Ya. Khinchin] Khintchine, "Kettenbrüche" , Teubner (1956) (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> J.W.S. Cassels, "An introduction to diophantine approximation" , Cambridge Univ. Press (1957)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> J.W.S. Cassels, "Some metrical theorems in diophantine approximation I" ''Proc. Cambridge Philos. Soc.'' , '''46''' : 2 (1950) pp. 209–218</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> V.G. Sprindzhuk, "Mahler's problem in metric number theory" , Amer. Math. Soc. (1969) (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> V.G. Sprindzhuk, "New applications of analytic and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d03258054.png" />-adic methods in Diophantine approximations" , ''Proc. Internat. Congress Mathematicians (Nice, 1970)'' , '''1''' , Gauthier-Villars (1971) pp. 505–509</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A. Baker, "On a theorem of Sprindžuk" ''Proc. Roy. Soc. Ser. A'' , '''292''' : 1428 (1966) pp. 92–104</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> W. Schmidt, "Metrische Sätze über simultane Approximation abhängiger Grössen" ''Monatsh. Math.'' , '''68''' : 2 (1964) pp. 154–166</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> V.G. Sprindzhuk, "The method of trigonometric sums in the metric theory of diophantine approximations of dependent quantities" ''Proc. Steklov Inst. Math.'' , '''128''' : 2 (1972) pp. 251–270 ''Trudy Mat. Inst. Steklov.'' , '''128''' : 2 (1972) pp. 212–228</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> V.G. Sprindzhuk, "The metric theory of Diophantine approximations" , ''Current problems of analytic number theory'' , Minsk (1974) pp. 178–198 (In Russian)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. [A.Ya. Khinchin] Khintchine, "Zur metrischen Theorie der diophantischen Approximationen" ''Math. Z.'' , '''24''' (1926) pp. 706–714</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.Ya. [A.Ya. Khinchin] Khintchine, "Kettenbrüche" , Teubner (1956) (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> J.W.S. Cassels, "An introduction to diophantine approximation" , Cambridge Univ. Press (1957)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> J.W.S. Cassels, "Some metrical theorems in diophantine approximation I" ''Proc. Cambridge Philos. Soc.'' , '''46''' : 2 (1950) pp. 209–218</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> V.G. Sprindzhuk, "Mahler's problem in metric number theory" , Amer. Math. Soc. (1969) (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> V.G. Sprindzhuk, "New applications of analytic and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032580/d03258054.png" />-adic methods in Diophantine approximations" , ''Proc. Internat. Congress Mathematicians (Nice, 1970)'' , '''1''' , Gauthier-Villars (1971) pp. 505–509</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A. Baker, "On a theorem of Sprindžuk" ''Proc. Roy. Soc. Ser. A'' , '''292''' : 1428 (1966) pp. 92–104</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> W. Schmidt, "Metrische Sätze über simultane Approximation abhängiger Grössen" ''Monatsh. Math.'' , '''68''' : 2 (1964) pp. 154–166</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> V.G. Sprindzhuk, "The method of trigonometric sums in the metric theory of diophantine approximations of dependent quantities" ''Proc. Steklov Inst. Math.'' , '''128''' : 2 (1972) pp. 251–270 ''Trudy Mat. Inst. Steklov.'' , '''128''' : 2 (1972) pp. 212–228</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> V.G. Sprindzhuk, "The metric theory of Diophantine approximations" , ''Current problems of analytic number theory'' , Minsk (1974) pp. 178–198 (In Russian)</TD></TR></table> | ||
+ | * <nowiki>http://essaywritingservice.co/</nowiki> |
Revision as of 09:45, 9 January 2013
The branch in number theory whose subject is the study of metric properties of numbers with special approximation properties (cf. Diophantine approximations; Metric theory of numbers). One of the first theorems of the theory was Khinchin's theorem [1], [2] which, in its modern form [3], may be stated as follows. Let be a monotone decreasing function, defined for integers
. Then the inequalities
have an infinite number of solutions in integers
for almost-all real numbers
if the series
![]() | (1) |
diverges, and have only a finite number of solutions if this series converges (here and in what follows, is the distance from
to the nearest integer, i.e.
![]() |
where min is taken over all integers ; the term "almost-all" refers to Lebesgue measure in the respective space). The theorem describes the accuracy of the approximation of almost-all real numbers by rational fractions. For example, for almost-all
there exists an infinite number of rational approximations
satisfying the inequality
![]() |
whereas the inequality
![]() |
has for any an infinite number of solutions only for a set of numbers
of measure zero.
The generalization of this theorem to simultaneous approximations [3] is as follows. The system of inequalities
![]() | (2) |
has a finite or infinite number of solutions for almost-all depending on whether the series
![]() | (3) |
converges or diverges.
More extensive generalizations refer to systems of inequalities in several integer variables [5].
A distinguishing feature of Khinchin's theorem and its many generalizations is the fact that the property of "convergence-divergence" of series of the types (1), (3) serves as a criterion of the corresponding order of the approximation applying to a set of numbers of measure zero or to almost-all numbers. It is a kind of "zero-one" law for the metric theory of Diophantine approximations. Another characteristic of these generalizations is the fact that the metric property of the numbers involved refers to a measure defined throughout the space containing the numbers which participate in the approximation, and that the measure of the space is defined as the product of the measures in the coordinate spaces. For instance, in the case of system (2) one speaks about an approximation of "independent" numbers and about the Lebesgue measure in
(
times). In this connection this part of the theory received the name of metric theory of Diophantine approximations of independent variables. It has been fairly thoroughly developed, but a number of unsolved problems still (1988) remain. One such problem concerns the conditions which must be imposed on a sequence of measurable sets
,
in the interval
for the convergence or divergence of the series
to correspond to the condition
to be satisfied a finite or infinite number of times for almost-all
. A similar problem arises for the system of numbers
[4].
The metric theory of Diophantine approximations of dependent variables, which is of a later date, immediately gave rise to several fundamental and characteristic problems [5]. The first one originated in the theory of transcendental numbers (Mahler's conjecture) and concerned simultaneous rational approximations to a system of numbers for almost-all
for any fixed natural number
. A recent result obtained on this subject runs as follows. Let
be a monotone decreasing function for which the series
![]() |
converges. Then the system of inequalities
![]() |
has only a finite number of solutions in integers for almost-all
[7].
This theorem confirms that it is possible to approximate by rational numbers almost-all the points of a curve . Considerations of more general manifolds in
will yield similar results.
If almost-all (in the sense of the measure on ) points
of the manifold
are such that the system (2) with
has a finite number of solutions in integers
for any
,
is said to be extremal, i.e. almost-all points permit only the worst simultaneous approximation by rational numbers. Schmidt's theorem says that if
is a curve in
with non-zero curvature at almost-all its points, it is extremal [8].
The method of trigonometric sums (cf. Trigonometric sums, method of; see also Vinogradov method) makes it possible to detect extremality of very general manifolds in
, under the condition that the topological dimension
. If, on the other hand,
, the extremal manifold cannot be quite general, and its structure should be fairly definite [9].
References
[1] | A. [A.Ya. Khinchin] Khintchine, "Zur metrischen Theorie der diophantischen Approximationen" Math. Z. , 24 (1926) pp. 706–714 |
[2] | A.Ya. [A.Ya. Khinchin] Khintchine, "Kettenbrüche" , Teubner (1956) (Translated from Russian) |
[3] | J.W.S. Cassels, "An introduction to diophantine approximation" , Cambridge Univ. Press (1957) |
[4] | J.W.S. Cassels, "Some metrical theorems in diophantine approximation I" Proc. Cambridge Philos. Soc. , 46 : 2 (1950) pp. 209–218 |
[5] | V.G. Sprindzhuk, "Mahler's problem in metric number theory" , Amer. Math. Soc. (1969) (Translated from Russian) |
[6] | V.G. Sprindzhuk, "New applications of analytic and ![]() |
[7] | A. Baker, "On a theorem of Sprindžuk" Proc. Roy. Soc. Ser. A , 292 : 1428 (1966) pp. 92–104 |
[8] | W. Schmidt, "Metrische Sätze über simultane Approximation abhängiger Grössen" Monatsh. Math. , 68 : 2 (1964) pp. 154–166 |
[9] | V.G. Sprindzhuk, "The method of trigonometric sums in the metric theory of diophantine approximations of dependent quantities" Proc. Steklov Inst. Math. , 128 : 2 (1972) pp. 251–270 Trudy Mat. Inst. Steklov. , 128 : 2 (1972) pp. 212–228 |
[10] | V.G. Sprindzhuk, "The metric theory of Diophantine approximations" , Current problems of analytic number theory , Minsk (1974) pp. 178–198 (In Russian) |
- http://essaywritingservice.co/
Diophantine approximation, metric theory of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Diophantine_approximation,_metric_theory_of&oldid=19083