zbMATH — the first resource for mathematics

Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
A remarkable class of algebraic integers. Proof of a conjecture of Vijayaraghavan. (English) Zbl 0063.06657

Author’s introduction: Let θ be a number greater than 1, θ a positive number, and let (λθ n ) be the fractional part of λθ n (n=1,2,). The distribution of the values of (λθ n ) is of importance in a number of problems and .has been attracting attention for a long time. In 1935, J. F. Koksma [Compos. Math. 2, 250–258 (1935; Zbl 0012.01401, JFM 61.0205.01)] established that, for a given λ, the sequence of numbers λθ n (n=1,2,) is uniformly distributed in the interval (0,1), when θ does not belong to an exceptional set of measure zero (depending on λ).

In 1938, C. Pisot [Ann. Sc. Norm. Super. Pisa, II. Ser. 7, 205–248 (1938; Zbl 0019.15502, JFM 64.0994.01)] studied the exceptional values of θ; he considered especially the values of θ such that, for some λ, (λθ n ) has no limit points other than 0 or 1, and more particularly the values of θ for which there exists a λ0 such that the series 0 sin 2 πλθ n converges. He proved the following outstanding result: if θ is such that there exists a λ0 such that the series 0 sin 2 πλθ n converges, then θ is an algebraic integer whose conjugates have their moduli all less than 1, and λ is an algebraic number of the field K(θ); conversely, if θ is an algebraic integer of the above described type, there exist values of λ, such that 0 sin 2 πλθ n < and one can take, in particular, λ=1.

The class of algebraic integers defined above has been studied independently in 1940 by T. Vijayaraghavan [J. Lond. Math. Soc. 15, 159–160 (1940; Zbl 0027.16201, JFM 66.1217.01)]. In 1943, the author [Trans. Am. Math. Soc. 54, 218–228 (1943); ibid. 56, 32–49 (1944; Zbl 0060.18604)] has proved that a symmetrical perfect set of the Cantor type and of constant ratio of dissection ξ is a set of uniqueness for trigonometrical series if and only if ξ is the reciprocal of an algebraic integer of the above class and has proposed to call these algebraic integers: Pisot-Vijayaraghavan numbers.

The problem of the distribution of the Pisot-Vijayaraghavan numbers in the interval (1,) seems to have remained open and the purpose of this paper is to give a solution of this problem.

In his paper quoted above, Vijayaraghavan states: “It seems to me to be improbable that the set S (the set of Pisot-Vijayaraghavan numbers) could be dense everywhere in some interval, or be dense in itself”. We prove that the double conjecture of Vijayaraghavan is true. In fact we prove that the set of Pisot-Vijayaraghavan numbers is a closed set. Since it is denumerable it follows that it is: (1) nowhere dense; (2) not dense in itself; (3) reducible, i.e., all its derived sets after a certain rank (finite or transfinite) are empty.

11R06Special algebraic numbers