Namespaces
Variants
Actions

Transcendency, measure of

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 11J82 [MSN][ZBL]

transcendence measure

A function characterizing the deviation of a given transcendental number from a set of algebraic numbers of bounded degree and bounded height under a change of bounds on these parameters. For a transcendental number $\omega$ and natural numbers $n$ and $H$, the measure of transcendency is

$$w_n(\omega;H)=\min|P(\omega)|,$$

where the minimum is taken over all non-zero integer polynomials of degree not exceeding $n$ and height not exceeding $H$. It follows from Dirichlet's "box" principle (cf. Dirichlet principle) that the following always holds:

$$w_n(\omega;H)<c_1^nH^{-n},$$

where $c_1$ depends only on $\omega$. In many cases it is possible to obtain not only a proof of the transcendency of a number $\omega$ but also a lower bound for the measure of transcendency in terms of the degree, and logarithmic or exponential functions of $n$ and $H$. For example, Hermite's method of proof of transcendency of $e$ enables one to obtain the inequality

$$w_n(e;h)>H^{-n-(c_2n^2\ln n)/\ln\ln H},$$

where $c_2>0$ is an absolute constant and $H\geq H_0(n)$. For any fixed $n$ and $\epsilon>0$,

$$w_n(\omega;H)>c_3H^{-n-\epsilon},\quad c_3=c_3(\omega;n,\epsilon)$$

for almost-all (in the sense of Lebesgue) real numbers $\omega$ (see Mahler problem). Transcendental numbers can be classified on the basis of the difference in asymptotic behaviour of $w_n(\omega;H)$ under unrestricted variation of $n$ and $H$ (see [3]).

References

[1] A.O. Gel'fond, "Transcendental and algebraic numbers" , Dover, reprint (1960) (Translated from Russian)
[2] P.L. Cijsouw, "Transcendence measures" , Univ. Amsterdam (1972) (Dissertation)
[3] A. Baker, "Transcendental number theory" , Cambridge Univ. Press (1975)


Comments

References

[a1] A.B. Shidlovskii, "Transcendental numbers" , de Gruyter (1989) (Translated from Russian)
How to Cite This Entry:
Transcendency, measure of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Transcendency,_measure_of&oldid=35742
This article was adapted from an original article by V.G. Sprindzhuk (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article