PORTUGALIAE MATHEMATICA VOLUME 15 9 Saag 30 subsidieda por Publication subventionnée par Publication sponsored by JUNTA DE INVESTIGACAO MATEMATICA © SOCIEDADE PORTUGUESA DE MATEMATICA Edicso de «GAZETA DE MATEMATICA, LDA.» PORTUGALIAE MATHEMATICA HERMANN & C.t%, Editeurs Rua de Serpa Pinto, 17, 4.°-E. : 6, Rue de le Sorbonne USBOA (PORTUGAL) PARIS (5e™)PORTUGALIAE MATHEMATICA Vol. 15 — Fase, 4— 1956 A COMPLETENESS THEOREM * ny PAUL KOOSIS Institute of Mathematical Sciences — New York University, U.S. A. The theorem proved in this note, although immediately accessible from known results, has, so far as I am aware, never been explicitely stated in the literature. It may be of some interest in itself; for one thing it serves to clarify a certain obscurity in some papers of L. Scuwarrz ((1}, p. 157, lines 7-10 and footnote thereto ; also the last two paragraphs of § 16 of [2]). A very short proof can be given, based upon Leviysox's well known theorem ([3], ch. III, ef. also [4], ch. 8) on the density of the zeros of an entire function which is bounded on the real axis and of exponential growth elsewhere; it is, however, perhaps preferable to use an argument founded on the more familiar properties of analytic functions. ‘The latter course is followed here. Use is made of an elementary result given in (5, and applied there to a somewhat different problem. By the supporting interval of a measure of compact support is meant the smallest closed interval containing the support of that mea- sure. We indicate the Fourier transform of any measure by placing a circumflex over the symbol denoting it, e. g., m(Q) = [ eh=dme Tueorem. Let I be the supporting interval of @ measure m of com- pact support. Let ay(k = 0,1, +++) be the different zeros of mu(2), on occuring with multiplicity ne +1. If xX ler ee [m= 0, ce ng gh the set of functions X is uniformly complete on any interval J whose length is less than that of 1. * Received December 1956.112 PAUL KOOSIS Proor. Suppose that for some interval J with length J0. The argument used in the proof of the second theorem of $2. 3 in [3] ean now be applied to conclude the following: Given ¢>0 there is a & > 0 such that, for 2= tk +Re'4, jet FG] Zeonst. exp 2, O0 anda 6,00 for 4 tending to <> in the closed sector 6 Zarg(Qh—ik) 20 —f. ‘Tho same reasoning holds for the lower half plane, in particular, F(Q)—>0 as 1c along the negative imaginary axis. FQ) is there- fore bounded on the boundary of the sector 2 cargQ— ik) ZB, and, since F(?) is of order one at most, the Puragmiy-LINDELOF theorom shows that it is also bounded within that sector. Similarly, 1°Q) is bounded in the remaining sector : a —BZargQ—ik) 28n/2