Limiting behaviour of large Frobenius numbers. V.I. Arnold
|
|
- Lucy Thompson
- 5 years ago
- Views:
Transcription
1 Limiting behaviour of large Frobenius numbers by J. Bourgain and Ya. G. Sinai 2 Dedicated to V.I. Arnold on the occasion of his 70 th birthday School of Mathematics, Institute for Advanced Study, Princeton, ew Jersey, U.S.A. 2 Mathematics Department, Princeton University, Princeton, ew Jersey, U.S.A.
2 . Introduction Consider n-tuples a = a, a 2,..., ) of positive integers which are co-prime, i.e., the largest common divisor lcd) of all a j is. Frobenius number F a) of a is the smallest F such that any integer t F can be written in the form t = n x j a j j= with non-negative integers x j. V.I. Arnold in [] introduced the ensembles of a for which a + a = σ tend to infinity and studied the behaviour of F a) under the limit transition σ. In particular, he formulated the hypothesis according to which F a) grows for typical a as σ + n. Other hypotheses and results of Arnold can be found in [2]. In this paper we consider different ensembles of large a and study the same question of the growth of F a) in these ensembles. amely, take and denote by Ω the set of all a for which a j, j =, 2,..., n, and lcd a) =. Using elementary probability methods one can show that the limit lim Ω n exists and is positive see, for example, [3]). It gives the probability of a Ω in the ensemble of all possible n-tuples a with entries less than. Below P denotes the uniform probability distribution on Ω. We study in this paper the behaviour of F a) for typical a in the sense of P ) as. he case n = 2 follows easily from the famous result of Sylvester according to which F a) = a )a 2 ) see [5]). his implies that F a) has the limiting distribution as. 2 Below in Sections 2 and 3 we consider the next case n = 3. Based on some facts from the theory of continued fractions we prove heorem. As there exists the limiting distribution of 3/2 F a). he proofs of the needed facts will be a subject of another paper by C. Ulcigrai and one of us Ya. Sinai). It is hopeless to write down explicitly the limiting distribution in heorem. Probably the methods of this paper can be used for estimating its decay at infinity. Below we introduce another function F a) about which we prove in Lemma that in typical situations it behaves as F a). But F a) is much easier for the analysis of the problem because it is formulated as a max-min problem. In Section 2 we discuss the case n = 3 when lcda i, a j ) = for at lease one pair a i, a j. In Section 3 we discuss the general case of n = 3.
3 In Section 4 we consider n > 3. heorem 2 of this section shows that for slightly modified ensembles the distributions of are uniformly in ) bounded in the sense that F a) + n P,α { F a) + n } D ɛd) where Ω,α is the ensemble of a for which a j α,, j n and P,α is the uniform distribution in this ensemble, 0 < α < is the fixed number, ɛd) does not depend on and ɛd) 0 ad D. In Appendix we prove a general Lemma which was used in an earlier version of this paper and can have different applications. amely, we show that l { α : M m= e 2πimα DM ln M } ɛ D) where l is the Lebesgue measure on [0, ] and ɛ D) does not depend on M, ɛ D) 0 as D. he analysis of the behaviour of M M m= e 2πimα importance but we do not go further in this direction. as function of M for typical α is of some ow we give the defintion of the function F a) and prove Lemma which shows in what sense F a) and F a) are equivalent. For any a Ω introduce the arithmetic progression Π r = {r + m, m 0}, 0 r <. Consider the equality x a + x 2 a x n = r + mx,..., x n ) which shows that x a + x 2 a x n r mod ). ) Here x j 0 are integers. Put m r = min 0 x,x 2,...,x n < mx, x 2,..., x n ) and denote F a) = max r r + m r ). Lemma. F a) F a) F a) provided that F a) > 0. Proof. ake t F a). hen t Π r for some r, 0 r <, i.e., t = r + m. herefore t = r + m r + m m r ) = x a + + x n + m m r ) 2
4 for some 0 x j <, j =,..., n. Since t F a) we have x a + +x n F a) and m m r. his gives the needed representation of t and the inequality F a) F a). o prove the inequality from the other side, take r such that F a) = r + m r = max r r + m r ). We shall show that t = r + m r ) cannot be represented in the form t = y a + + y n with non-negative y j, j n. Indeed, if such representation is possible we would have y a + + y n = r + m for some m m r and by definition of t t = y a + + y n + y n = r + m + y n = r + m r ). herefore m + y n = m r proved.. Since m m r this is possible only if y n < 0. Lemma is Certainly, instead of we could take any other a j. In a typical situation we expect that x grow as n. herefore typically F a) F a). he financial support from SF, Grant o given to the second author is highly appreciated. 2. he case n = 3 and lcda i, a j ) = for some a i, a j Without any loss of generality we may assume that i =, j = 3. In this case the maxmin problem for F a) can be solved more or less explicitly. Write for positive integers x, x 2 or x a + x 2 a 2 = r + mx, x 2 )a 3 2) x a + x 2 a 2 r mod a 3 ) 3) 3
5 where 0 r < a 3. Since a, a 3 are co-prime there exists a, a < a 3 for which a a mod a 3 ). It follows easily from the estimates of Kloosterman sums that for any fixed 0 < α < α 2 < and α a α 2 the inverse a is asymptotically uniformly distributed on [,..., a 3 ]. Presumably this is also true in our ensemble. Rewrite 3) as follows: where r ra mod a 3 ), a 2 = a a 2 mod a 3 ) and x + a 2 x 2 r mod a 3 ) 4) a 2 x 2 r x ) mod a 3 ) 5) he equation 5) has atural geometric interpretation. Consider S = [0,,..., a 3 ] as a discrete circle. he shift R by a 2 mod a 3 ) is the rotation of the circle S and {a 2 x 2 } is the orbit under the action of R of the point zero. hen 5) means that r x belongs to this orbit. From Lemma F a) = max r min x a +x 2 a 2 r mod a 3 ) 0 x, x 2 < a 3 x a + x 2 a 2 ) = = 3/2 max r = 3/2 max r min x a +x 2 a 2 r mod a 3 ) min x +x 2 a 2 r mod a 3 ) x a + x 2 a 2 x a + x 2 a 2 ) ). 6) First we localize our ensemble. Choose α = α, α 2, α 3 ), 0 < α j < for j =, 2, 3 and ɛ > 0 and define Ω,α,ɛ Ω as a subset of those a = a, a 2, a 3 ) for which a j α j ɛ. hen P,α,ɛ is the notation for the uniform probability distribution on Ω,α,ɛ. heorem will follow if we prove heorem wrt to the distribution P,α,ɛ see also the end of this section). In the ensemble Ω,α,ɛ the ratios a, a 2 are ɛ-close to α, α 2. We shall use some facts from the theory of continued fractions and from the theory of rotations of the circle see [5]). ake ρ = a 2 a 3 and expand it into continued fraction: 4
6 ρ = h + h 2 + h h s0 7) where h j are integers. Let ρ s = h + h = p s q s + h s be the s-approximant of ρ. One can find odd intervals 2p ) = {0,,..., m 2p } and even intervals 2p {a 3 m 2p,..., a 3 }, p, such that if 2p ) j = R j 2p ), 2p) j = R j 2p) then the intervals 2p ) j, 0 j < q 2p and 2p) j, 0 j < q 2p are pair-wise disjoint and their union gives the whole circle S. his means that 2p ) j, 2p) j, constitute some partition of S which we denote by η p). he partitions η p) increase, η p+) η p). heir exact structure depends on the elements of the continued fraction 7). We shall show that in 6) it is enough to consider x D, x2 D where D is sufficiently large depending on ρ see below). ake s such that q s < q s. If x 2 > D choose k so that qs +k x 2 < q s +k +. Clearly, k increases of D increases. Put x = x + a 2 q s +k p s +k a 3 ) = x + a 3 ρ q s +k p s +k ), x 2 = x 2 q s +k. It is easy to see that and x + a 2 x 2 x + a 2 x 2 mod a 3 ) x a + x 2 a2 = x a + x 2 a2 + + a 3ρ q s + k p s + k ) a q s +k a2. 8) 5
7 he expression a 3ρ q s + k p s + k ) a = a 3 ρ q s + k p s + k ) a decreases as k takes values increases because ρ q s +k p s +k ) behaves as q s. On the other hand, q s +k +k O) and increases as k increases. herefore, the sum of the last two terms in 8) becomes negative if k is large enough. Since in 6) we are interested in the minimal values of x 2, x 2 = x 2 q s +k give smaller values for the expression 6). hus it is enough to consider x 2 D for sufficiently large D depending on ρ. Let us show that x 2 > D2 for another sufficiently large D2. Indeed, take k 2 so that q s k 2 < D2 qs k 2 + and consider the partition η s k 2 ). ake any element = [y, y 2 ] of this partition and for r = y 2 the value of x are y 2 y ), y 2 y )+l, y 2 y ) + l + l 2,... where l, l 2,... are the lengths of the elements of η s k 2 ) which follow. If x 2 D2 x qs k 2 + then it is clear that min of a + x 2 a 2 is attained at x = y 2 y. On the other hand, for r consider an element of the partition η s ) containing r. ake x =. It is clear that x 2 q s + and x a + x 2 a 2 is much smaller than in the previous case. hus D2 x2 D. In the above mentioned paper by C. Ulcigrai and the second author [6], in preparation) the following problem was considered. ake large R and some fixed number k. For any irrational ρ consider q s such that q s R < q s and h s k,..., h s,..., h s+k. In [7] it is proven that with respect to the Gauss density there exists the joint limiting distribution of ln 2+ρ) q s /R, q s /R, h s k,..., h s,..., h s+k. Presumably, the same limiting distribution appears for any probability distribution P,α,ɛ but we do not consider this question in more detail. For any s and k, consider the elements, of η s k) which contain 0 for the point 0 is the right end-point while for it is the left end-point). he partitions η s k+), η s k+2),..., η s+k) generate a finite partition of which we denote by ν. he structure of this partition is determined by h s k, h s k+,..., h s+k. Denote by the finite set of endpoints of elements of ν. ake b = a 3 a 2 and = a 2 mod a 3 ). Denote f k = max y min x +a 2 x 2 y mod a 3 ) a 2 x 2 x a + x ) 2 a 2. he same arguments as before show with P,α,ɛ -probability tending to as k the solution of the main max-min problem for F is given by f k. In this sense it is a function of q s R, qs R and h s k,..., h s+k and has a limiting distribution as. 6
8 3. he case n = 3 and arbitrary b ij = lcda i, a j ) Since all a j have no common divisors, b 3 and b 23 are co-prime. Again for given r, 0 r < a 3, we consider the equation x a + x 2 a 2 = r + mx, x 2 )a 3. We write a = b 3 a, a 2 = b 23 a 2, a 3 = b 3 b 23 a 3. Clearly a and a 3, a 2 and a 3 are co-prime. Let First we consider the equation r = r b 3 b 23 + r, 0 r < b 3 b 23, x = b 23 x + x, 0 x < b 23, x 2 = b 3 x 2 + x 2, 0 x 2 < b 3, a = b 23 a + a, 0 a < b 23, a 2 = b 3 a 2 + a 2, 0 a 2 < b 3. x b 3 a + x 2b 23 a 2 r mod b 3 b 23 ). 9) We can find unique solution which we denote by x, x 2 such that x a + x 2a 2 = r + tb 3 b 23 where t can take values 0 or. After that we consider the equation which remains after dividing both sides of 8) by b 3 b 23 : x a + a 2a 2 = r x a x 2a 2 t + ma 3. 0) Denote r = r x a x 2a 2 + t. Clearly x a x 2a 2 + t can take finitely many values depending only on {b ij }. It is easy to see that the limits of probabilities of these values exist as. 7
9 he equation 9) is similar to 6) because a and a 3 are co-prime. We can write x + x 2a 2a ) = r a ) + m a 3 and use the same arguments as in Section 2. In particular, we consider the expansion of a 2a ) into continued fraction, take s for which q s, q s < and find the value of s for which s) + qs number gives the limiting distribution of 3/2 F a). takes its minimum. he limiting distribution of the last 4. he case n > 3 For n > 3 our result is weaker. Again we consider the equation or x a + x 2 a x n = r + m ) x a + x 2 a 2 + x n r mod ). 2) he left-hand side is the orbit of the abelian group generated by n ) commuting rotations R j where R j is the shift mod of S = {0,,..., } by a j, j n. We shall prove the following theorem. heorem 2. Consider the ensemble Ω,α Ω such that α < a j, j n, where 0 < α < is a fixed number. ake the set D Ω,α of a, a 2,..., ) Ω,α such that for any r S the equation 2) has a solution with 0 x j D n. hen P,α ) ɛd) D where ɛd) 0 as D. Here P,α is the uniform probability distribution on Ω,α. Proof. It is easy to see that a n m=0 { exp 2πim r } { exp 2πi n j= ma j x j } = if 2) holds 0 if 2) fails 8
10 ake M > 0 and consider the weight on Z cx) = x M M, 0 x 2M 0 otherwise. o show that 2) has a solution for any r S, it will suffice to show that for any r Z a r) = x,x 2,...,x n Z cx ) cx 2 ) cx n ) a n exp { 2πim n j= a j x j } m=0 { exp 2πimr } 0. 3) We write Z a r) = a n m=0 { exp 2πi mr } n { cx) exp 2πi ma } j x. a j= n x Z It is easy to check that x Z cx) e 2πiθx = e 2πiMθ 2M + { } 2 sin π2m + )θ 4) 2 sin πθ for any θ. Separating in 3) the contribution of m = 0 and m 0 we can write Z a r) = M n + Z a ) r) = M n + a n m= mr 2πi e an n j= x Z cx) e 2πi ) ma j an x. We shall consider M = A n. herefore M n view of 4) for Z a ) r) we have the estimate = An. In our case α an. In Z ) a a n m= n j= sin π2m + )θj 2 sin πθ j ) 2 2M + 5) 9
11 where θ j = ma j. his estimate does not depend on r. herefore, if we show that the expectation of the rhs of 5) is bounded by some constant then the Chebyshev inequality gives the statement of the theorem. It is easy to check that ) 2 sin π2m + )θj 2 sin πθ j sin πmaj C )) 2 + M 2 for some absolute constant C. herefore Z ) a C 2 a n m= n j= M ) 2 sin πm a j + M 2 = C 2 a n m= n j= M ma. 6) j 2 + M for another absolute constant C 2. In the last formula is the distance till the nearest integer number. Let us average the rhs of 6) wrt P,α, i.e., consider Z 2) = n+ α a n m= α a,..., lcda,...,an) = n j= M ma. 7) j 2 + M Assume that m as = b/q for some b q and b, q) =. hen the rhs of 7) can be written n q= q b q b,q)= α a,...,an lcda,...,,q) = n j= M b a. 8) q j 2 + M If lcda,...,, q) = then certainly a k is not a multiple of q for some k =,..., n. Hence 0
12 α a,..., n j= M b q a j 2 + M n k= α a,..., a k / qz n j= M b q a j 2 + M = = n ) α a a qz M ba q 2 + M α a M b q a 2 + M ) n 2 9) ow we shall estimate both sums in 9). Lemma 2. i) If q > M then α a M b q a 2 + M ; ii) If q M then α a M b q a 2 + M M q ; iii) If q M then α a a / qz M ba q 2 + M q M. Proof. Partition [α, ] onto approximately α) intervals I q γ of the length q. Denote by π q the quotient map Z Z/qZ. hen for each I γ we have {π q ba) a I γ } = Z q and herefore the sum {π q ba) a I γ, π q a) 0} = Z q {0}. α a M b q a 2 + M
13 behaves as q q z=0 q ) M z q 2 + M and for another absolute constant C 3 if q M and q z=0 M z q 2 + M C 3q if q < M. q z=0 M z q 2 + M C 3M his gives the statements i) and ii) of the lemma. For q < M the sum q z= M z q 2 + M q2 M. Lemma is proven. Return back to 9). For q M Lemma 2 shows that it is not more than n while ) n 2 ) n 3 for q < M it is not more than q M n M q = M q n. Substituting these estimates into 7) we get assuming n > 3 Z 2) n+ M q q b q b,q) = n + + n+ q M q b q b,q) = 2 ) n 3 M n < q
14 M n 3 < C 4 + C 4 q M q n 3 < C 4 + M ) n 2 for another constant C 4. hus Z 2) is bounded. his implies the statement of the theorem. heorem 2 shows that in any ensemble Ω,α the family of probability distributions of F a)/ + n is weakly compact. However, it does not imply the existence of the limiting distribution of F a)/ + n but gives only the existence of limiting points. References [] V.I. Arnold, Weak asymptotics for the number of solutions of Diophantine problems, Funct. Anal. Appl., 33:4 999), [2] V.I. Arnold, Arithmetical turbulence of self-similar fluctuations statistics of large Frobenius numbers of additive semi-groups of integers, Preprint IC/2006/037, ICP, Miramare, Funct. Anal., Appl., 24:3 990), -8. [3] L.B. Koralov and Ya. G. Sinai, Probability heory and Random Processes, Springer- Verlag, in press). [4] J.J. Sylvester, Mathematical questions with their solutions, Educational imes, 4, 884), 2. [5] Ya. G. Sinai, opics in Ergodic heory, Princeton University Press, 994. [6] Ya. G. Sinai and C. Ulcigrai, Renewal-type Limit heorem for the Gauss Map and Continued Fractions, in preparation). 3
15 Appendix. Below we prove some estimate which was not used in the previous proofs but is of some independent interest. A similar statement was proven by A. Kochergin private communication). Lemma Let for 0 < α < S α) = t= exp{2πitα} and A D) = {α : S α) D ln }. hen la D)) ɛ D) where ɛ D) 0 as D, where l is the Lebesgue measure. Proof. ake { two positive numbers } C, C 2, < C < 2C < C 2, introduce the intervals k) = α : α Ck+, k = 0,,..., K. Without any loss of generality we may C k assume that C K+ =. Clearly, K ln ln C. Consider B,k C, C 2 ) = {α : ν,k α) C 2 C k } where ν M,k α) is the number of m, m M, such that {mα} M k), and B C, C 2 ) = K k=0 B,k C, C 2 ). hen for α B C, C 2 ) S α) = t= exp{2πitα} K k=0 2πC k ν,k α) C 2 2π K + ) C 2 ln 2π ln C. 4
16 his is the needed inequality with D = C 2 2π ln C. hus we have to estimate the measure of the complement of B C, C 2 ). Clearly l B C, C 2 )) K l B,k C, C 2 )) k=0 where B is the complement to B. Let χ k α) be the indicator of B,k C, C 2 ). hen ν,k C, C 2 ) = χ k tα) t= and by Chebyshev inequality = l l{α : ν,k α) C 2 C k } = l { α : = t= { α : } χ k tα) C 2 C k t= ) χ k tα) Ck C ) [ ) ] 2 E χ k tα) Ck C ) t= C 2 C + ) 2 C 2k E j= j)eχ k α)χ k jα) C 2 C + ) 2 C 2k C 2 C + )C k ) C k C ) ) he expectation is taken with respect to the Lebesgue measure. We shall estimate the last sum. It will be done separately in four steps.. } Step : j < C. Here Eχ k α)χ kjα) Eχ k α) = Ck C ) and j<c M j) since C 2 > 2C. [ Eχ k α)χ k jα) C 2 C + ) 2 C 2k C k C ) ) 2 ] Ck C ))C C 2k C 2 C + ) 2 C k+ 5
17 Step 2: C j < C k+. In this case Eχ k α)χ k jα) = 0 and therefore there is nothing to estimate. Indeed, χ k α) is the indicator of the set k). [ he function χ k jα)] is C the indicator of the arithmetic progression of the intervals k j + s, C k+ j j + s, j s 0. From our condition on j it follows that k) can intersect only with the interval for which t = 0 this intersection is empty. Step 3: C k+ j 3 C k C ). he number 3 does not play any essential role and can be replaced by any bigger number. Here k) intersects with not more than three intervals from the above mentioned arithmetic progression. herefore Eχ k α)χ k jα) 3Ck and j [ j) Eχ k α)χ k jα) j C 2 C + ) 2 C 2k C k C ) ) 2 ] 3C k C 2 C + ) 2 C 2k C k+ 3 j C kc ) j 3 C k+ 2 C k C 2 C + ) 2 C k C ) = C k C 2 his is the estimate which we need. Step 4: j 3. In this case Eχ C kc ) kα)χ k jα) is close to Eχ k α)) 2 C k = C ) Indeed, we can increase k) by adding an interval near each end-point so that the [ ] new set k) will consist of an integer number of intervals s, s+. herefore j j Eχ k α)χ k jα) l k)) Ck C ) = l 2 k)) + 2Ck C ) j l k)) + 2 ) C k C ) j ) 2. and 3 C k C ) j [ j) Eχ k α)χ k jα) 6 C 2 C + ) 2 C 2k C k C ) ) 2 ]
18 3 C k C ) j j)2c k C ) jc 2 C + ) 2 C 2k 2C k C ) C 2 C + ) 2 C k ln Ck C ) 3 = 4C )k ln C C 2 C 2 + ) 2 C k. ow we can finish the proof of the Lemma. From all our estimates it follows that l { α : ν,k α) C 2 C k } 4 ln C C k C k and therefore his implies the statement of the lemma. k l{α : ν,k α) C 2 C k } const ln C C. March 20, 2007:gpp 7
A new approach to the study of the 3D-Navier-Stokes System
Contemporary Mathematics new approach to the study of the 3D-Navier-Stokes System Yakov Sinai Dedicated to M Feigenbaum on the occasion of his 6 th birthday bstract In this paper we study the Fourier transform
More informationMath 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9
Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9 Section 0. Sets and Relations Subset of a set, B A, B A (Definition 0.1). Cartesian product of sets A B ( Defintion 0.4). Relation (Defintion 0.7). Function,
More informationSeries 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 informationOn the smoothness of the conjugacy between circle maps with a break
On the smoothness of the conjugacy between circle maps with a break Konstantin Khanin and Saša Kocić 2 Department of Mathematics, University of Toronto, Toronto, ON, Canada M5S 2E4 2 Department of Mathematics,
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationErgodic Theory. Constantine Caramanis. May 6, 1999
Ergodic Theory Constantine Caramanis ay 6, 1999 1 Introduction Ergodic theory involves the study of transformations on measure spaces. Interchanging the words measurable function and probability density
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationMath 172 HW 1 Solutions
Math 172 HW 1 Solutions Joey Zou April 15, 2017 Problem 1: Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other words, given two distinct points x, y C, there
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationC.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series
C.7 Numerical series Pag. 147 Proof of the converging criteria for series Theorem 5.29 (Comparison test) Let and be positive-term series such that 0, for any k 0. i) If the series converges, then also
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationNotes 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 informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationProblem 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 informationCriteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman
Criteria for existence of semigroup homomorphisms and projective rank functions George M. Bergman Suppose A, S, and T are semigroups, e: A S and f: A T semigroup homomorphisms, and X a generating set for
More informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationDaniel M. Oberlin Department of Mathematics, Florida State University. January 2005
PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 Daniel M. Oberlin Department of Mathematics, Florida State University January 005 Fix a dimension d and for x R d and r > 0, let Sx, r) stand
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Birkhoff s Ergodic Theorem extends the validity of Kolmogorov s strong law to the class of stationary sequences of random variables. Stationary sequences occur naturally even
More informationSimultaneous Distribution of the Fractional Parts of Riemann Zeta Zeros
Simultaneous Distribution of the Fractional Parts of Riemann Zeta Zeros Kevin Ford, Xianchang Meng, and Alexandru Zaharescu arxiv:1511.06814v2 [math.n] 1 Sep 2016 Abstract In this paper, we investigate
More informationSIMPLE RANDOM WALKS ALONG ORBITS OF ANOSOV DIFFEOMORPHISMS
SIMPLE RANDOM WALKS ALONG ORBITS OF ANOSOV DIFFEOMORPHISMS V. YU. KALOSHIN, YA. G. SINAI 1. Introduction Consider an automorphism S of probability space (M, M, µ). Any measurable function p : M (0, 1)
More informationConvex Feasibility Problems
Laureate Prof. Jonathan Borwein with Matthew Tam http://carma.newcastle.edu.au/drmethods/paseky.html Spring School on Variational Analysis VI Paseky nad Jizerou, April 19 25, 2015 Last Revised: May 6,
More informationSolutions 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 informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationERGODIC AND ARITHMETICAL PROPERTIES OF GEOMETRICAL PROGRESSION S DYNAMICS AND OF ITS ORBITS
MOSCOW MATHEMATICAL JOURNAL Volume 5, Number 1, January March 2005, Pages 5 22 ERGODIC AND ARITHMETICAL PROPERTIES OF GEOMETRICAL PROGRESSION S DYNAMICS AND OF ITS ORBITS V. ARNOLD Abstract. The multiplication
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationThe Nearest Doubly Stochastic Matrix to a Real Matrix with the same First Moment
he Nearest Doubly Stochastic Matrix to a Real Matrix with the same First Moment William Glunt 1, homas L. Hayden 2 and Robert Reams 2 1 Department of Mathematics and Computer Science, Austin Peay State
More informationReal 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 informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationON SUMS OF PRIMES FROM BEATTY SEQUENCES. Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD , U.S.A.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A08 ON SUMS OF PRIMES FROM BEATTY SEQUENCES Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD 21252-0001,
More informationPrime Numbers and Irrational Numbers
Chapter 4 Prime Numbers and Irrational Numbers Abstract The question of the existence of prime numbers in intervals is treated using the approximation of cardinal of the primes π(x) given by Lagrange.
More informationDeviation Measures and Normals of Convex Bodies
Beiträge zur Algebra und Geometrie Contributions to Algebra Geometry Volume 45 (2004), No. 1, 155-167. Deviation Measures Normals of Convex Bodies Dedicated to Professor August Florian on the occasion
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationMATH 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 informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationbe a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n
Rend. Lincei Mat. Appl. 8 (2007), 295 303 Number theory. A transcendence criterion for infinite products, by PIETRO CORVAJA and JAROSLAV HANČL, communicated on May 2007. ABSTRACT. We prove a transcendence
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationStrictly Positive Definite Functions on the Circle
the Circle Princeton University Missouri State REU 2012 Definition A continuous function f : [0, π] R is said to be positive definite on S 1 if, for every N N and every set of N points x 1,..., x N on
More informationSolutions to Unique Readability Homework Set 30 August 2011
s to Unique Readability Homework Set 30 August 2011 In the problems below L is a signature and X is a set of variables. Problem 0. Define a function λ from the set of finite nonempty sequences of elements
More informationOnline Appendix. j=1. φ T (ω j ) vec (EI T (ω j ) f θ0 (ω j )). vec (EI T (ω) f θ0 (ω)) = O T β+1/2) = o(1), M 1. M T (s) exp ( isω)
Online Appendix Proof of Lemma A.. he proof uses similar arguments as in Dunsmuir 979), but allowing for weak identification and selecting a subset of frequencies using W ω). It consists of two steps.
More informationSZEGÖ ASYMPTOTICS OF EXTREMAL POLYNOMIALS ON THE SEGMENT [ 1, +1]: THE CASE OF A MEASURE WITH FINITE DISCRETE PART
Georgian Mathematical Journal Volume 4 (27), Number 4, 673 68 SZEGÖ ASYMPOICS OF EXREMAL POLYNOMIALS ON HE SEGMEN [, +]: HE CASE OF A MEASURE WIH FINIE DISCREE PAR RABAH KHALDI Abstract. he strong asymptotics
More informationJOINT LIMIT THEOREMS FOR PERIODIC HURWITZ ZETA-FUNCTION. II
Annales Univ. Sci. Budapest., Sect. Comp. 4 (23) 73 85 JOIN LIMI HEOREMS FOR PERIODIC HURWIZ ZEA-FUNCION. II G. Misevičius (Vilnius Gediminas echnical University, Lithuania) A. Rimkevičienė (Šiauliai State
More information1 Cheeger differentiation
1 Cheeger differentiation after J. Cheeger [1] and S. Keith [3] A summary written by John Mackay Abstract We construct a measurable differentiable structure on any metric measure space that is doubling
More informationNotes 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 informationCHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic
CHAPER 1 MAHEMAICAL LOGIC 1.1 undamentals of Mathematical Logic Logic is commonly known as the science of reasoning. Some of the reasons to study logic are the following: At the hardware level the design
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationGROWTH IN GROUPS I: SUM-PRODUCT. 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define
GROWTH IN GROUPS I: SUM-PRODUCT NICK GILL 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define } A + {{ + A } = {a 1 + + a n a 1,..., a n A}; n A } {{ A} = {a
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationIn 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 informationarxiv:math/ v2 [math.nt] 3 Dec 2003
arxiv:math/0302091v2 [math.nt] 3 Dec 2003 Every function is the representation function of an additive basis for the integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx,
More informationMATHS 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 informationOn Bank-Laine functions
Computational Methods and Function Theory Volume 00 0000), No. 0, 000 000 XXYYYZZ On Bank-Laine functions Alastair Fletcher Keywords. Bank-Laine functions, zeros. 2000 MSC. 30D35, 34M05. Abstract. In this
More informationPRIME NUMBER THEOREM
PRIME NUMBER THEOREM RYAN LIU Abstract. Prime numbers have always been seen as the building blocks of all integers, but their behavior and distribution are often puzzling. The prime number theorem gives
More informationMathematical Hydrodynamics
Mathematical Hydrodynamics Ya G. Sinai 1. Introduction Mathematical hydrodynamics deals basically with Navier-Stokes and Euler systems. In the d-dimensional case and incompressible fluids these are the
More informationChapter 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 informationMath212a1411 Lebesgue measure.
Math212a1411 Lebesgue measure. October 14, 2014 Reminder No class this Thursday Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous
More informationOn the modification of the universality of the Hurwitz zeta-function
ISSN 392-53 Nonlinear Analysis: Modelling and Control, 206, Vol. 2, No. 4, 564 576 http://dx.doi.org/0.5388/na.206.4.9 On the modification of the universality of the Hurwitz zeta-function Antanas Laurinčikas,
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationON THE GAPS BETWEEN ZEROS OF TRIGONOMETRIC POLYNOMIALS
Real Analysis Exchange Vol. 8(), 00/003, pp. 447 454 Gady Kozma, Faculty of Mathematics and Computer Science, Weizmann Institute of Science, POB 6, Rehovot 76100, Israel. e-mail: gadyk@wisdom.weizmann.ac.il,
More informationHomework #5 Solutions
Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationUniqueness for Weak Solutions to Navier Stokes We proved the following existence result for Navier-Stokes:
Uniqueness for Weak Solutions to Navier Stokes We prove the following existence result for Navier-Stokes: heorem (Existence of a weak solution, n 4) For every f L 0, : V each u 0 H there exists at least
More informationSolving a linear equation in a set of integers II
ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.
More informationMathematical 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 informationINVARIANT MEASURES FOR CERTAIN LINEAR FRACTIONAL TRANSFORMATIONS MOD 1
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 27, Number 2, Pages 3439 3444 S 0002-99399905008-X Article electronically published on July 20, 999 INVARIANT MEASURES FOR CERTAIN LINEAR FRACTIONAL
More informationMAT1000 ASSIGNMENT 1. a k 3 k. x =
MAT1000 ASSIGNMENT 1 VITALY KUZNETSOV Question 1 (Exercise 2 on page 37). Tne Cantor set C can also be described in terms of ternary expansions. (a) Every number in [0, 1] has a ternary expansion x = a
More informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationMeasures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.
Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation
More informationEfficient packing of unit squares in a square
Loughborough University Institutional Repository Efficient packing of unit squares in a square This item was submitted to Loughborough University's Institutional Repository by the/an author. Additional
More informationSPECTRAL PROPERTIES AND NODAL SOLUTIONS FOR SECOND-ORDER, m-point, BOUNDARY VALUE PROBLEMS
SPECTRAL PROPERTIES AND NODAL SOLUTIONS FOR SECOND-ORDER, m-point, BOUNDARY VALUE PROBLEMS BRYAN P. RYNNE Abstract. We consider the m-point boundary value problem consisting of the equation u = f(u), on
More informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
More informationBALANCING GAUSSIAN VECTORS. 1. Introduction
BALANCING GAUSSIAN VECTORS KEVIN P. COSTELLO Abstract. Let x 1,... x n be independent normally distributed vectors on R d. We determine the distribution function of the minimum norm of the 2 n vectors
More information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 204 Cauchy and Runge Under the Same Roof. These notes can be used as an alternative to Section 5.5 of Chapter 2 in the textbook. They assume the theorem on winding numbers of the
More informationA class of non-convex polytopes that admit no orthonormal basis of exponentials
A class of non-convex polytopes that admit no orthonormal basis of exponentials Mihail N. Kolountzakis and Michael Papadimitrakis 1 Abstract A conjecture of Fuglede states that a bounded measurable set
More informationPoint Sets and Dynamical Systems in the Autocorrelation Topology
Point Sets and Dynamical Systems in the Autocorrelation Topology Robert V. Moody and Nicolae Strungaru Department of Mathematical and Statistical Sciences University of Alberta, Edmonton Canada, T6G 2G1
More informationBoston College, Department of Mathematics, Chestnut Hill, MA , May 25, 2004
NON-VANISHING OF ALTERNANTS by Avner Ash Boston College, Department of Mathematics, Chestnut Hill, MA 02467-3806, ashav@bcedu May 25, 2004 Abstract Let p be prime, K a field of characteristic 0 Let (x
More informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
More informationFirst-Return Integrals
First-Return ntegrals Marianna Csörnyei, Udayan B. Darji, Michael J. Evans, Paul D. Humke Abstract Properties of first-return integrals of real functions defined on the unit interval are explored. n particular,
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationSOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO /4
SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO. 2 2003/4 1 SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL
More informationShih-sen Chang, Yeol Je Cho, and Haiyun Zhou
J. Korean Math. Soc. 38 (2001), No. 6, pp. 1245 1260 DEMI-CLOSED PRINCIPLE AND WEAK CONVERGENCE PROBLEMS FOR ASYMPTOTICALLY NONEXPANSIVE MAPPINGS Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou Abstract.
More informationEigenvalues, random walks and Ramanujan graphs
Eigenvalues, random walks and Ramanujan graphs David Ellis 1 The Expander Mixing lemma We have seen that a bounded-degree graph is a good edge-expander if and only if if has large spectral gap If G = (V,
More informationStandard 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 informationMINKOWSKI THEORY AND THE CLASS NUMBER
MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More information= 10 such triples. If it is 5, there is = 1 such triple. Therefore, there are a total of = 46 such triples.
. Two externally tangent unit circles are constructed inside square ABCD, one tangent to AB and AD, the other to BC and CD. Compute the length of AB. Answer: + Solution: Observe that the diagonal of the
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationSome questions and remarks about SL(2, R) cocycles. to Anatole Katok for his 60 th birthday
Some questions and remarks about SL(2, R cocycles to Anatole Katok for his 6 th birthday. There have been many deep results about cocycle maps in recent years, especially in the quasiperiodic case with
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More information1 Lesson 1: Brunn Minkowski Inequality
1 Lesson 1: Brunn Minkowski Inequality A set A R n is called convex if (1 λ)x + λy A for any x, y A and any λ [0, 1]. The Minkowski sum of two sets A, B R n is defined by A + B := {a + b : a A, b B}. One
More information2. Two binary operations (addition, denoted + and multiplication, denoted
Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between
More informationFusing o-minimal structures
Fusing o-minimal structures A.J. Wilkie Mathematical Institute University of Oxford 24-29 St Giles Oxford OX1 3LB UK May 3, 2004 Abstract In this note I construct a proper o-minimal expansion of the ordered
More information