NORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY

Size: px
Start display at page:

Download "NORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY"

Transcription

1 ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion Proof of Weyl s criterion 5.6. Polynomial sequences 7.7. Metric Theory.8. Quantitative aspects of uniform distribution: Discrepancy 2 References 5.. ormal numbers. Definition. A real number α, is simply normal to base, if in the decimal expansion α =.a a 2..., each digit occurs with the same frequency namely /: For any digit t {,,...,, 9}, lim # {n : a n = t} = We say that α is normal to base if for every k, every string t... t k of k digits t j {,,..., 9} appears with the same frequency, namely / k : lim # {n : a n+ = t, a n+2 = t 2,..., a n+k = t k } = k Date: March 25, 28.

2 2 We can naturally change base to any other base b 2, with the same definitions. Exercise. Show that a rational number is not normal to any base. The natural questions are: Is there a normal number?.2. Un-natural examples. Champernowne s number 933, []: Concatenate all natural numbers into a decimal expansion Copeland Erdős number 946 [2], conjectured by Champernowne: Concatenate all primes into a decimal expansion Davenport and Erdős 952 [3], conjectured by Copeland and Erdős: Let fx be any polynomial in x, all of whose values for x =, 2,... are positive integers. Then the decimal.ff2f3..., where fn is written in the scale of, is normal in base. Open Problem. Find a single example of a naturally occurring number which is normal to some base. For instance, is the golden ration ϕ = + 5/2 normal? It is conjectured that any real algebraic number is normal to all bases..3. ormality and uniform distribution. Let X = {x n } R/Z [, be a sequence of numbers on the unit circle. We say that X is uniformly distributed mod if for every subinterval I [,, the proportion of elements of X contained in I equals the length of I: lim # {n : x n I} = I. Likewise, if we take a sequence x n of real numbers, we use the fractional parts {x mod }. ote that a uniformly distributed sequence X [, is necessarily dense. The converse is not true: A standard example is the sequence of fractional parts {log n : n =,... } Exercise 2. Show that the sequence of fractional parts {{log n} : n =, 2,... } is dense in [,.

3 UIFORM DISTRIBUTIO 3 As we shall later see, if α R\Q is irrational, then the sequence {αn : n =, 2,... } is uniformly distributed mod. The relation to our previous discussion of normal numbers lies in the following observation: Proposition.. α is normal to base resp., base b if and only if the sequence {α n : n =, 2,... } is uniformly distributed modulo resp. αb n. Proof. It suffices to consider intervals I = [a, b with endpoints being finite decimals, i.e. of the form a =.a...a r, in fact when we only change the last digit exercise: why?. For simplicity, take I = [.23,, 24. ow note that if α =.a a 2..., then the fractional part of n α =.a n+ a n+2 a n+3..., so that { n α} I = [.23,, 24 a n+ =, a n+2 = 2, a n+3 = 3. Thus the number of n for which the fractional parts {α n } I is exactly equal to the number of occurrences of the string 23 in the first + 3 digits of α. ormality of α means that this number is asymptotically / 3. oting that the length of our interval I is / 3, we see that we get the number of n such that { n α} I is asymptotically I, which is what is required in the definition of uniform distribution. This observation shifts the focus from normality to the general context of uniform distribution of sequences. So far we have not proved that any sequence is uniformly distributed. Before doing so, we develop Weyl s breakthrough method for establishing this..4. Weyl s criterion 96. Theorem.2. Let X = {x n : n =, 2,... } R. Then X is uniformly distributed modulo if and only if for all integers k, lim e 2πikxn =. n= In what follows, we shall abbreviate ez := e 2πiz Example: We shall show that for any irrational α, the fractional parts of αn are u.d.: By Weyl s criterion, it suffices to show cancellation in the Weyl sums n= e2πikαn. But for this sequence, these are just

4 4 geometric progressions, so as long as kα / Z which is guaranteed by irrationality of α if k, so that Hence n= e 2πikαn = n= e 2πikαn 2 ekα e + kα ekα. ekα, as, so that Weyl s criterion is satisfied. Example: The sequence of fractional parts of log n is not uniformly distributed mod earlier we saw that it is dense mod. To see this, we need to see that Weyl s criterion does not hold. We will show that elog n n Indeed, we use summation by parts to evaluate the Weyl sum. Recall that for a differentiable function ft, and any sequence {a n }, we denote by At := n t the partial sums of the sequence, then the weighted sum n a nfn can be written as x a n fn = Axfx Atf tdt n x and more generally, if z < x then a n fn = Axfx Azfz z<n x a n x Exercise 3. Using summation by parts, show that log n = x log x x + Olog x n x for some constant C. n= n = log + C O z Atf tdt

5 UIFORM DISTRIBUTIO 5 We apply this with ft = e 2πi log t = t 2πi, and a n =, so that At = t to obtain n elog n = 2πi which is clearly not o. t 2πit 2πi dt = +2πi 2πi t 2πi dt + 2πi = +2πi 2πi +2πi + 2πi + O = +2πi + O log, + 2πi t 2πi {t}dt t dt.5. Proof of Weyl s criterion. The argument is all about approximating various functions by step functions and by trigonometric polynomials. For a periodic function f, we ask whether the following holds * lim fx n = n fxdx Lemma.3. Let X R/Z. The following are equivalent: The sequence X is uniformly distributed. 2 * holds for all continuous f. 3 * holds for all Riemann integrable f. Proof. Clearly 3 implies. For the converse, note that uniform distribution implies that * holds for all step functions, that is linear combinations of the indicator functions of intervals. But for any Riemann integrable function, by definition, given any ε >, there are step functions s f s + with s + s < ε. Choose ε > so that for all ε,. s + x n n= s + xdx < ε

6 6 and then fx n n= fxdx = + + fx n s + x n n= n= s + x n s + xdx s + xdx fxdx ow the first expression is non-positive, since f s +, so that the LHS is bounded above by the sum of the last two expressions. By., the second expression lies in ε, ε, and since s + s < ε, the third expression is in [, ε. Hence fx n n= Arguing with s + replaced by s will give and hence fx n n= fx n n= fxdx < 2ε. fxdx > 2ε. fxdx < 2ε. for all ε. Hence 3 holds. Since continuous functions are Riemann integrable, we have 3 2. For the implication 2, argue similarly, approximating the indicator function of an interval above and below by continuous functions. Proof of Weyl s criterion: Since the exponential functions e k x = eks are continuous, by the above Lemma uniform distribution implies that * holds for them, that is one direction follows. We need to show that assuming that * for fx = ekx, for all k k = is obvious, implies uniform distribution, and by the Lemma, it suffices to show * holds for continuous functions. ote that * for all ekx for all integer k implies * holds for all trigonometric polynomials, by linearity. By the Weierstrass approximation theorem, given a continuous function f, for any ε > there

7 UIFORM DISTRIBUTIO 7 is a trigonometric polynomial T x so that f T < ε. One then argues as in the Lemma that fx n fxdx fx n T x n n= + + n= n= T x n T x fx dx T xdx The first and third expressions are at most ε, since f T < ε, and the second expression is at most ε for all ε. Thus we have uniform distribution..6. Polynomial sequences. Weyl s criterion allows one to get a first step up on a number of problems. As an example, we present one of Weyl s original breakthroughs, namely that the sequence αn 2 is uniformly distributed mod for α irrational. However, unlike the linear case αn, this does not come for free, and needed some significant extra ideas. We start with Dirichlet s theorem on rational approximations. Lemma.4. Let x R be a real number. Then for any integer Q, there are integers a Z, q, with q Q so that x a q < qq In particular for the fractional part {qx} we get {qx} < /Q. If x is irrational, then we must have q as Q. Proof. We consider the Q + numbers {nx} [,, n Q. Dividing the unit interval [, into Q subintervals of length /Q, we use Dirichlet s box principle to deduce that at least one of these subintervals contains two points of the sequence, that is there are m n Q so that {nx} {mx} < Q Writing {mx} = mx M, {nx} = nx with M, Z we obtain nx mx M = n mx M < Q Taking q = n m [, Q] and a = ± M we obtain qx a < Q

8 8 as claimed. ow if x / Q is irrational, then {qx} and hence we cannot have {qx} < /Q for infinitely many Q s. Hence q as Q. Theorem.5. For irrational α, the sequence {αn 2 : n =, 2... } is uniformly distributed modulo. By Weyl s criterion, it suffices to show that for any nonzero integer k, the Weyl sums S := ekαn 2 = o k,α n= the implied constants are allowed to depend on α and k. We square out the sum S 2 = + 2R ekαn 2 m 2 m<n Writing n = m + h, with m + h, so that we obtain m<n n 2 m 2 = h2m + h = h 2 + 2hm, ekαn 2 m 2 = h= h= h ekαh 2 h m= m= eγ h m eα 2k h m where we have set γ := 2kα, which is irrational if and only if α is irrational. ow we sum the geometric progression, which is the inner sum: h m= h, eγ h m = min ehγ ehγ h+ ehγ, hγ where x := distx, Z. Thus we obtain S 2 + Hence it suffices to show that h= min, 2, else 2 sinπhγ. hγ h γ Z

9 Proposition.6. For γ / Q, h= UIFORM DISTRIBUTIO 9 min, = o 2 hγ Proof. We use Dirichlet s lemma to obtain coprime a, q, with q so that γ a q < q or γ = a q + θ, θ <. q Divide the range of summation [, ] into consecutive intervals of length q, plus perhaps an extra leftover interval. So if M q < Mq then writing h = qk + j, k < M, j =,..., q, we have γh = ah q + θh = aj q q where θ <. Thus h= min, hγ q M max θ < θh + ak + = aj q q + θ q j= q q max θ < i= min, min, aj q + θ q i q + θ q where we have changed variables aj mod q i mod q, as we may since a is coprime to q, so that as we vary over all residues j mod q, the set aj mod q varies over all residues i mod q recall aj + z only depends q on aj mod q. For at most one value of i mod q, we have i q + θ q < 2q and for that value we replace the corresponding term in the sum by. For the remaining i s, we have Hence we find q max θ < i= min, i q + θ q i q + θ q i 2q + q i= q/i + q log q

10 Therefore h= min, + q log q 2 hγ q q + log Recall that since γ is irrational, we have q as, and hence the above is o 2. An elaboration of the above argument gives Theorem.7. Let P x = a d x d + a d x d + + a x + a be a polynomial of degree d 2, with at least one of the ceofficients a d,..., a irrational the constant term a does not matter. Then the sequence {P n : n =, 2,... } is uniformly distributed mod..7. Metric Theory. Theorem.8. Let {an} be a sequence of distinct integers: an am if n m. Then for almost all α R, the sequence {αan} is uniformly distributed mod. ote that the proof does not provide a single example of such an α. As an example, we may take an = n, and find that almost all α are normal to base. Likewise, given any integer b 2, almost all α are normal to base b. Intersection this union of subsets having full measure shows that in fact almost all α are normal to any case b. Proof. By Weyl s criterion, it suffices to show that for almost all α, and any integer k, the normalized Weyl sums S kα; := ekαan tend to zero. In fact it suffices to show that given k, this holds for almost all α apriori depending on k. Replacing an by kan, it suffices to take k =, and we write S α; = Sα;. We may also restrict to α [, by periodicity. From now on we take = M 2, and first show that for almost all α, S α; M 2. ow one way to show this is to show that for almost all α, the series S α; M 2 2 < M= converges, since this forces the individual terms of the series to tend to zero. n=

11 UIFORM DISTRIBUTIO ext, note that by what we learnt in measure theory about the Lebesgue integral, it suffices to show that S α; M 2 2 dα < M= since for a function to be integrable, a necessary condition is that it is finite almost everywhere. By Fatou s Lemma, S α; M 2 2 dα S α; M 2 2 dα M= M= so it suffices to show that the sum of the integrals converges. squaring out the Weyl sum gives S α; M 2 2 dα = M 4 = M 4 M 2 M 2 m= n= M 2 M 2 m= n= e αam an dα δ am, an But since the an s are integers. ow and only now! we use the assumption that an are distinct, to deduce that only the diagonal terms survive, giving S α; M 2 2 dα = M 4 M 2 m= = M 2 and so we deduce that S α; M 2 2 dα < so that for almost all α, M= S α, M 2. Finally, we move from M 2 to general : Given, we can find M so that M 2 < M + 2, and then we claim that S α, = S α, M 2 + O and hence will deduce that for almost all α, Sα,.

12 2 Indeed assuming M 2, S α, S α, M 2 = n=m 2 + eαan M M 2 eαan 2 so that S α, S α, M 2 M 2 + M M 2 2 on trivially bounding ex as claimed. 2 M 2.8. Quantitative aspects of uniform distribution: Discrepancy. If a sequence X is uniformly distributed mod, it is in particular dense in the unit interval. This means that every subinterval of fixed length contains at least one point of the sequence, in fact the proportion of points falling into it is roughly the length of the interval. The next question is: What about shrinking intervals? That is, we ask that every interval of length at least /m contains at least one element from the first elements of the sequence {{x n } : n }, where m as. Definition. The discrepancy of the sequence X is D = sup #{n : x n I} I I [, Clearly if D then X is uniformly distributed; the converse also holds. Exercise 4. Show that / D. Recall that Weyl s criterion is that X is uniformly distributed if and only if all the normalized Weyl sums S k, := ekx n n tend to zero k. What is important is that we can use Weyl sums to estimate the discrepancy D. Theorem.9 Erdős-Turan. For any K and, D K K k S k,. k= n=

13 UIFORM DISTRIBUTIO Example: The linear case x n = αn mod. We want to use the Erdős-Turan inequality. We use the bound for the geometric series for irrational α S k, = ekαn kα n= and so by the Erdős-Turan inequality, D K + K k= so we need to estimate the sum K k= k S k, K + K k= k kα. Here the Diophantine type k kα of α plays a special role. We say that α is of bounded type, or badly approximable if there is some constant c = cα > so that qα > c q. This is a measure zero condition, and is equivalent to the continued fraction expansion of α to have bounded partial quotients: α = [a ; a, a 2,... ], with a k M. The main example are quadratic irrationalities: Lemma.. Let α = D, D > an integer which is not a perfect square. Then for any integers p, q p q D > c q 2, c = /3 D Proof. We may assume that p/q D < /, otherwise there is nothing to prove. Let fx = x 2 D which is the minimal polynomial of D. Then p q D = fp q p + D > fp/q 3 D q since < p/q + D = 2 D + p/q D < 2 D + / < 3 D. Moreover, fp/q = p2 Dq 2 q 2 q 2 because p 2 Dq 2 is an integer, which is not zero because D is irrational if D, hence is at least in absolute value. Altogether we obtain as claimed. p q D > 3 D q 2

14 4 ote: The argument extends to give Liouville s theorem, that for a real algebraic number of degree d, we have p/q α > c/q d with c = cα effectively computable. Roth s theorem improves that to p/q α > c/q 2+ε, for all ε >, with c = cα, ε > some constant not effective. Open Problem 2. A real algebraic number of degree d 3 is not of bounded type, equivalently the partial quotients in the continued fraction expansion are not bounded. Proposition.. Suppose that α is irrational of bounded type. Then D{αn}, log 2. ote: This can be improved to Olog /. Corollary.2. If α is of bounded type, then every interval of length α log 2 / contains an element of the form αn, n. Lemma.3. Suppose that α is irrational of bounded type. Then and At := k t GK := K k= kα k kα t log t. log K2 Proof. The key is that if α is of bounded type, then the points kα, ] are well spaced in the sense that 2 mα nα j, m n j Indeed, mα = mα M for M mα for some integer M; hence for a suitable L Z, mα nα = ±m ± nα L so that if m n j then mα nα m ± n α m + n 2j as claimed. Hence, an interval of length < /2K will contain at most one element of the form kα, k K.

15 UIFORM DISTRIBUTIO 5 We use this to bound the sum At by dividing the range of summation into intervals of length δ = /2t At = /δ j= k t kα jδ,j+δ] kα each interval contains at most one summand, and the summand is bounded above by /jδ, so that At /δ j= jδ δ log δ t log t. To bound GK, we use the bound on At and get rid of the factor /k by using summation by parts: Exercise 5. Suppose that α is irrational of bounded type, and set x = distx, Z. Let At := k t kα, We saw that At t log t. Show that GK := K GK log K 2. We can now bound the discrepancy: D K + K k= k S k, K + Taking K = gives D log 2 /. References K k= k= k kα k kα log K2 + K [] Champernowne, D. G. The Construction of Decimals ormal in the Scale of Ten. J. London Math. Soc. 8, 933. [2] Copeland, Arthur H.; Erdős, Paul. ote on normal numbers. Bull. Amer. Math. Soc. 52, [3] Davenport, H.; Erdős, P. ote on normal decimals. Canadian J. Math. 4,

Notes on Equidistribution

Notes on Equidistribution otes on Equidistribution Jacques Verstraëte Department of Mathematics University of California, San Diego La Jolla, CA, 92093. E-mail: jacques@ucsd.edu. Introduction For a real number a we write {a} for

More information

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R

More information

UPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE

UPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE uniform distribution theory DOI: 055/udt-207 002 Unif Distrib Theory 2 207), no2, 24 UPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE Christopher J White ABSTRACT We consider a class of double

More information

Abstract. 2. We construct several transcendental numbers.

Abstract. 2. We construct several transcendental numbers. Abstract. We prove Liouville s Theorem for the order of approximation by rationals of real algebraic numbers. 2. We construct several transcendental numbers. 3. We define Poissonian Behaviour, and study

More information

Fourier series, Weyl equidistribution. 1. Dirichlet s pigeon-hole principle, approximation theorem

Fourier series, Weyl equidistribution. 1. Dirichlet s pigeon-hole principle, approximation theorem (October 4, 25) Fourier series, Weyl equidistribution Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 25-6/8 Fourier-Weyl.pdf]

More information

Approximation exponents for algebraic functions in positive characteristic

Approximation exponents for algebraic functions in positive characteristic ACTA ARITHMETICA LX.4 (1992) Approximation exponents for algebraic functions in positive characteristic by Bernard de Mathan (Talence) In this paper, we study rational approximations for algebraic functions

More information

1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =

1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 = Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values

More information

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given

More information

Three hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00

Three hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00 Three hours MATH41112 THE UNIVERSITY OF MANCHESTER ERGODIC THEORY 31st May 2016 14:00 17:00 Answer FOUR of the FIVE questions. If more than four questions are attempted, then credit will be given for the

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

STRONG NORMALITY AND GENERALIZED COPELAND ERDŐS NUMBERS

STRONG NORMALITY AND GENERALIZED COPELAND ERDŐS NUMBERS #A INTEGERS 6 (206) STRONG NORMALITY AND GENERALIZED COPELAND ERDŐS NUMBERS Elliot Catt School of Mathematical and Physical Sciences, The University of Newcastle, Callaghan, New South Wales, Australia

More information

SOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1<j<co be

SOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1<j<co be SOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1

More information

NOTES ON IRRATIONALITY AND TRANSCENDENCE

NOTES ON IRRATIONALITY AND TRANSCENDENCE NOTES ON IRRATIONALITY AND TRANSCENDENCE Frits Beukers September, 27 Introduction. Irrationality Definition.. Let α C. We call α irrational when α Q. Proving irrationality and transcendence of numbers

More information

On Normal Numbers. Theodore A. Slaman. University of California Berkeley

On Normal Numbers. Theodore A. Slaman. University of California Berkeley 1/24 On Normal Numbers Theodore A. Slaman University of California Berkeley Joint work with Verónica Becher, and in part with Pablo Heiber, Yann Bugeaud and Jan Reimann CApril 29, 2015 2/24 Émile Borel

More information

7: FOURIER SERIES STEVEN HEILMAN

7: FOURIER SERIES STEVEN HEILMAN 7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

More information

Strong Normality of Numbers

Strong Normality of Numbers Strong Normality of Numbers Adrian Belshaw Peter Borwein... the problem of knowing whether or not the digits of a number like 2 satisfy all the laws one could state for randomly chosen digits, still seems...

More information

A NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS

A NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS A NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS MANFRED G. MADRITSCH Abstract. We consider a generalization of normal numbers to matrix number systems. In particular we show that the analogue of the

More information

1 Definition of the Riemann integral

1 Definition of the Riemann integral MAT337H1, Introduction to Real Analysis: notes on Riemann integration 1 Definition of the Riemann integral Definition 1.1. Let [a, b] R be a closed interval. A partition P of [a, b] is a finite set of

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.

3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text. 3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION

More information

A LeVeque-type lower bound for discrepancy

A LeVeque-type lower bound for discrepancy reprinted from Monte Carlo and Quasi-Monte Carlo Methods 998, H. Niederreiter and J. Spanier, eds., Springer-Verlag, 000, pp. 448-458. A LeVeque-type lower bound for discrepancy Francis Edward Su Department

More information

Series of Error Terms for Rational Approximations of Irrational Numbers

Series of Error Terms for Rational Approximations of Irrational Numbers 2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee

More information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

The Distribution of Generalized Sum-of-Digits Functions in Residue Classes

The Distribution of Generalized Sum-of-Digits Functions in Residue Classes Journal of umber Theory 79, 9426 (999) Article ID jnth.999.2424, available online at httpwww.idealibrary.com on The Distribution of Generalized Sum-of-Digits Functions in Residue Classes Abigail Hoit Department

More information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS

ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 151 158 ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARTŪRAS DUBICKAS Abstract. We consider the sequence of fractional parts {ξα

More information

Notes on Continued Fractions for Math 4400

Notes on Continued Fractions for Math 4400 . Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural

More information

Arithmetic progressions in sumsets

Arithmetic progressions in sumsets ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains

More information

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from

More information

Solutions Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014 Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,

More information

Character sums with Beatty sequences on Burgess-type intervals

Character sums with Beatty sequences on Burgess-type intervals Character sums with Beatty sequences on Burgess-type intervals William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bbanks@math.missouri.edu Igor E. Shparlinski Department

More information

DIGITAL EXPANSION OF EXPONENTIAL SEQUENCES

DIGITAL EXPANSION OF EXPONENTIAL SEQUENCES DIGITAL EXPASIO OF EXPOETIAL SEQUECES MICHAEL FUCHS Abstract. We consider the q-ary digital expansion of the first terms of an exponential sequence a n. Using a result due to Kiss und Tichy [8], we prove

More information

Analysis Qualifying Exam

Analysis Qualifying Exam Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,

More information

MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS

MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS You may not use notes, books, etc. Only the exam paper, a pencil or pen may be kept on your desk during the test. Calculators are not

More information

FINAL EXAM Math 25 Temple-F06

FINAL EXAM Math 25 Temple-F06 FINAL EXAM Math 25 Temple-F06 Write solutions on the paper provided. Put your name on this exam sheet, and staple it to the front of your finished exam. Do Not Write On This Exam Sheet. Problem 1. (Short

More information

Math 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.

Math 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx. Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped

More information

A Smorgasbord of Applications of Fourier Analysis to Number Theory

A Smorgasbord of Applications of Fourier Analysis to Number Theory A Smorgasbord of Applications of Fourier Analysis to Number Theory by Daniel Baczkowski Uniform Distribution modulo Definition. Let {x} denote the fractional part of a real number x. A sequence (u n R

More information

MATH 117 LECTURE NOTES

MATH 117 LECTURE NOTES MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set

More information

Roth s Theorem on 3-term Arithmetic Progressions

Roth s Theorem on 3-term Arithmetic Progressions Roth s Theorem on 3-term Arithmetic Progressions Mustazee Rahman 1 Introduction This article is a discussion about the proof of a classical theorem of Roth s regarding the existence of three term arithmetic

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

Roth s Theorem on Arithmetic Progressions

Roth s Theorem on Arithmetic Progressions September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper

More information

PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes

PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES Notes. x n+ = ax n has the general solution x n = x a n. 2. x n+ = x n + b has the general solution x n = x + (n )b. 3. x n+ = ax n + b (with a ) can be

More information

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

More information

Chapter 3 Continuous Functions

Chapter 3 Continuous Functions Continuity is a very important concept in analysis. The tool that we shall use to study continuity will be sequences. There are important results concerning the subsets of the real numbers and the continuity

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

Problem set 1, Real Analysis I, Spring, 2015.

Problem set 1, Real Analysis I, Spring, 2015. Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n

More information

McGill University Math 354: Honors Analysis 3

McGill University Math 354: Honors Analysis 3 Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The

More information

Standard forms for writing numbers

Standard forms for writing numbers Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,

More information

Chapter 1 The Real Numbers

Chapter 1 The Real Numbers Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus

More information

MORE ON CONTINUOUS FUNCTIONS AND SETS

MORE ON CONTINUOUS FUNCTIONS AND SETS Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly

More information

8. Dirichlet s Theorem and Farey Fractions

8. Dirichlet s Theorem and Farey Fractions 8 Dirichlet s Theorem and Farey Fractions We are concerned here with the approximation of real numbers by rational numbers, generalizations of this concept and various applications to problems in number

More information

Analytic Number Theory Solutions

Analytic Number Theory Solutions Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.

More information

MATH41112/ Ergodic Theory. Charles Walkden

MATH41112/ Ergodic Theory. Charles Walkden MATH42/62 Ergodic Theory Charles Walkden 4 th January, 208 MATH4/62 Contents Contents 0 Preliminaries 2 An introduction to ergodic theory. Uniform distribution of real sequences 4 2 More on uniform distribution

More information

Mathematical Methods for Physics and Engineering

Mathematical Methods for Physics and Engineering Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory

More information

Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett/

Hartogs Theorem: separate analyticity implies joint Paul Garrett  garrett/ (February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof

More information

CONTINUED FRACTIONS. 1. Finite continued fractions A finite continued fraction is defined by [a 0,..., a n ] = a 0 +

CONTINUED FRACTIONS. 1. Finite continued fractions A finite continued fraction is defined by [a 0,..., a n ] = a 0 + CONTINUED FRACTIONS Abstract Continued fractions are used in various areas of number theory and its applications They are seen in the extended Euclidean algorithm; in approximations (of numbers and functions);

More information

Math 229: Introduction to Analytic Number Theory The product formula for ξ(s) and ζ(s); vertical distribution of zeros

Math 229: Introduction to Analytic Number Theory The product formula for ξ(s) and ζ(s); vertical distribution of zeros Math 9: Introduction to Analytic Number Theory The product formula for ξs) and ζs); vertical distribution of zeros Behavior on vertical lines. We next show that s s)ξs) is an entire function of order ;

More information

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015 Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)

More information

Waring s problem, the declining exchange rate between small powers, and the story of 13,792

Waring s problem, the declining exchange rate between small powers, and the story of 13,792 Waring s problem, the declining exchange rate between small powers, and the story of 13,792 Trevor D. Wooley University of Bristol Bristol 19/11/2007 Supported in part by a Royal Society Wolfson Research

More information

Problem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.

Problem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A. Problem 1A Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1 (Hint: 1 1 (something)dz) Solution: The volume is 1 1 4xydz where x = y = 1 z 2 This integral has value 16/3 Problem 2A Let f(x)

More information

Solutions to Practice Final

Solutions to Practice Final s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (

More information

Fourth Week: Lectures 10-12

Fourth Week: Lectures 10-12 Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore

More information

Fourier Series. 1. Review of Linear Algebra

Fourier Series. 1. Review of Linear Algebra Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier

More information

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

Solutions to Tutorial 8 (Week 9)

Solutions to Tutorial 8 (Week 9) The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/

More information

MATH 5640: Fourier Series

MATH 5640: Fourier Series MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex

More information

arxiv: v1 [math.co] 8 Feb 2013

arxiv: v1 [math.co] 8 Feb 2013 ormal numbers and normality measure Christoph Aistleitner arxiv:302.99v [math.co] 8 Feb 203 Abstract The normality measure has been introduced by Mauduit and Sárközy in order to describe the pseudorandomness

More information

Notes on uniform convergence

Notes on uniform convergence Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean

More information

A Simpler Normal Number Construction for Simple Lüroth Series

A Simpler Normal Number Construction for Simple Lüroth Series 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 17 2014, Article 1461 A Simpler Normal Number Construction for Simple Lüroth Series J Vandehey University of Georgia at Athens Department of Mathematics

More information

MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6

MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS. Contents 1. Polynomial Functions 1 2. Rational Functions 6 MATH 2400 LECTURE NOTES: POLYNOMIAL AND RATIONAL FUNCTIONS PETE L. CLARK Contents 1. Polynomial Functions 1 2. Rational Functions 6 1. Polynomial Functions Using the basic operations of addition, subtraction,

More information

THE SUM OF DIGITS OF n AND n 2

THE SUM OF DIGITS OF n AND n 2 THE SUM OF DIGITS OF n AND n 2 KEVIN G. HARE, SHANTA LAISHRAM, AND THOMAS STOLL Abstract. Let s q (n) denote the sum of the digits in the q-ary expansion of an integer n. In 2005, Melfi examined the structure

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS

ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS Fizikos ir matematikos fakulteto Seminaro darbai, Šiaulių universitetas, 8, 2005, 5 13 ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS Boris ADAMCZEWSKI 1, Yann BUGEAUD 2 1 CNRS, Institut Camille Jordan,

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

More information

MATH 131A: REAL ANALYSIS (BIG IDEAS)

MATH 131A: REAL ANALYSIS (BIG IDEAS) MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.

More information

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X : MATH 337 Metric Spaces Dr. Neal, WKU Let X be a non-empty set. The elements of X shall be called points. We shall define the general means of determining the distance between two points. Throughout we

More information

THE SUM OF DIGITS OF PRIMES

THE SUM OF DIGITS OF PRIMES THE SUM OF DIGITS OF PRIMES Michael Drmota joint work with Christian Mauduit and Joël Rivat Institute of Discrete Mathematics and Geometry Vienna University of Technology michael.drmota@tuwien.ac.at www.dmg.tuwien.ac.at/drmota/

More information

Math 209B Homework 2

Math 209B Homework 2 Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact

More information

DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS

DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS A. LASJAUNIAS Avec admiration pour Klaus Roth 1. Introduction and Notation 1.1. The Fields of Power Series F(q) or F(K). Let p be

More information

Classical transcendental curves

Classical transcendental curves Classical transcendental curves Reinhard Schultz May, 2008 In his writings on coordinate geometry, Descartes emphasized that he was only willing to work with curves that could be defined by algebraic equations.

More information

Measures and Measure Spaces

Measures and Measure Spaces Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not

More information

The Mysterious World of Normal Numbers

The Mysterious World of Normal Numbers University of Alberta May 3rd, 2012 1 2 3 4 5 6 7 Given an integer q 2, a q-normal number is an irrational number whose q-ary expansion is such that any preassigned sequence, of length k 1, of base q digits

More information

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3 Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability

More information

A lattice point problem and additive number theory

A lattice point problem and additive number theory A lattice point problem and additive number theory Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract

More information

Properties of Entire Functions

Properties of Entire Functions Properties of Entire Functions Generalizing Results to Entire Functions Our main goal is still to show that every entire function can be represented as an everywhere convergent power series in z. So far

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

More information

(IV.C) UNITS IN QUADRATIC NUMBER RINGS

(IV.C) UNITS IN QUADRATIC NUMBER RINGS (IV.C) UNITS IN QUADRATIC NUMBER RINGS Let d Z be non-square, K = Q( d). (That is, d = e f with f squarefree, and K = Q( f ).) For α = a + b d K, N K (α) = α α = a b d Q. If d, take S := Z[ [ ] d] or Z

More information

A VERY BRIEF REVIEW OF MEASURE THEORY

A VERY BRIEF REVIEW OF MEASURE THEORY A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and

More information

Math 200 University of Connecticut

Math 200 University of Connecticut IRRATIONALITY OF π AND e KEITH CONRAD Math 2 University of Connecticut Date: Aug. 3, 25. Contents. Introduction 2. Irrationality of π 2 3. Irrationality of e 3 4. General Ideas 4 5. Irrationality of rational

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

Application of Ergodic Theory to Uniform distribution mod 1. Oleg Ivrii

Application of Ergodic Theory to Uniform distribution mod 1. Oleg Ivrii Application of Ergodic Theory to Uniform distribution mod 1 Oleg Ivrii February 13, 2008 Chapter 1 Ergodic Theory 1.1 The Setting Our setting will vary, but (, µ) will be some measure space and T a measure

More information

2. Metric Spaces. 2.1 Definitions etc.

2. Metric Spaces. 2.1 Definitions etc. 2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with

More information

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5 MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have

More information

Mathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013

Mathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013 Mathematics Principles of Analysis Solutions for Problem Set 5 Due: March 15, 013 A Section 1. For each of the following sequences, determine three different subsequences, each converging to a different

More information

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

On the Distribution of Multiplicative Translates of Sets of Residues (mod p)

On the Distribution of Multiplicative Translates of Sets of Residues (mod p) On the Distribution of Multiplicative Translates of Sets of Residues (mod p) J. Ha stad Royal Institute of Technology Stockholm, Sweden J. C. Lagarias A. M. Odlyzko AT&T Bell Laboratories Murray Hill,

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse December 11, 2007 8 Approximation of algebraic numbers Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer

More information