Master of Arts In Mathematics
|
|
- Virgil Cox
- 5 years ago
- Views:
Transcription
1 ESTIMATING THE FRACTAL DIMENSION OF SETS DETERMINED BY NONERGODIC PARAMETERS A thesis submitted to the faculty of San Francisco State University In partial fulllment of The Requirements for The Degree Master of Arts In Mathematics by Joseph Paul Squillace San Francisco, California May 204
2 CERTIFICATION OF APPROVAL I certify that I have read Estimating the Fractal Dimension of Sets Determined by Nonergodic Parameters by Joseph Paul Squillace, and that in my opinion this work meets the criteria for approving a thesis submitted in partial fullment of the requirements for the degree: Master of Arts in Mathematics at San Francisco State University. Yitwah Cheung Associate Professor of Mathematics Eric Hayashi Professor of Mathematics Professor of Mathematics
3 ESTIMATING THE FRACTAL DIMENSION OF SETS DETERMINED BY NONERGODIC PARAMETERS Joseph Paul Squillace San Francisco, California 204 In 969, Veech introduced two subsets K (θ), K 0 (θ) of R/Z which are dened in terms of the continued fraction representation of θ R/Z. These subsets are known to give information about the dynamics of certain skew products of the unit circle. We show that the Hausdor dimension of the sets K i (θ) can achieve any value between 0 and, inclusive. I certify that the Abstract is a correct representation of the content of this thesis. Chair, Thesis Committee Date
4 TABLE OF CONTENTS List of Figures v Introduction Veech's Examples and a Billiard Interpretation of these Examples Upper Bound on Hausdor Dimension Reduction Specication of Self-Similar Covering A Self-similar covering of K i 0 0 (θ) Calculation A Nontrivial Example of θ Satisfying HdimK 0 (θ) = Example of θ for which HdimK (θ) = Falconer's Lower Bound Formula Lower Bound for HdimK (θ) HdimK i (θ) = δ Upper Bound Lower Bound Refefences iv
5 LIST OF FIGURES Table Page A Billiard table B α with a barrier of length α Unfolding of Billiard Table B α v
6 INTRODUCTION Let {x : 0 x < } be the compact group of real numbers modulo. Any irrational element θ in this set has a continued fraction representation a + a where (a i ) i= is a sequence of positive integers known as the terms or partial quotients ( ) m of the continued fraction. Take k n k to be the sequence of principal convergents k= of θ; that is, m k n k = [0; a, a 2,..., a k ] for each positive integer k. From the theory of continued fractions, we have n k+ = a k+ n k + n k () for k N, with n 0 := and n = a. Let (b k ) k N be a sequence of even integers satisfying b j a j+ for each j N. Given any integer m, ( ) m; b, b 2,... θ := mθ + b j n j θ mod denes a point of {x : 0 x < }. We call such a representation θ a θ expansion. From now on, we omit the mod notation. Veech [7] denes the sets j= K 0 (θ) := { m; b, b 2,... θ : b j is eventually even, lim j b j n j n j θ = 0} and
7 2 K (θ) := { m; b, b 2,... θ : b j is eventually even, } j= b j n j n j θ < where denotes the distance to the nearest integer. Clearly, K (θ) K 0 (θ). In Section 2 we nd an upper bound formula for the Hausdor dimension of K 0 (θ). In Section 4. we apply a result from [5] to obtain a lower bound formula for the Hausdor dimension of K (θ). Using these formulas, in Section 5 we show that for any δ [0, ] we can construct a number θ such that the Hausdor dimension of K i (θ) equals δ, where i = 0,.. Veech's Examples and a Billiard Interpretation of these Examples In [7], Veech constructs examples of minimal and not uniquely ergodic dynamical systems as follows (see [6]). Take two copies of the unit circle and mark o segment a J of length 2πα in the counterclockwise direction on each one with endpoint at 0. Now choose an irrational θ and consider the following dynamical system. Start with a point p in the rst circle. Rotate counterclockwise by 2πθ repeatedly until the the orbit lands in J; then switch to the corresponding point in the second circle, rotate by 2πθ until the rst time the point lands in J; switch back to the rst circle and so forth. Veech showed there exists irrational α for which this system is minimal and the Lebesgue measure is not uniquely ergodic. We may describe Veech's dynamical system by a ow on a surface arising from a billiard. Consider billiards in the table formed by a rectangle with a horizontal barrier of length α with one end touching 2 at the midpoint of a vertical side. We can identify the top half of the table as the positive side and the bottom half as the negative side.
8 3 Figure : A Billiard table B α with a barrier of length α. A standard unfolding of this billiard table is shown in Figure 2. We can view the new gure as having two (identied) barriers of length 2α. Figure 2: Unfolding of Billiard Table B α
9 4 (See [6]) If we consider the billiard ow in this rectangle with direction θ, there is an unfolding of this billiard such that the restriction of the ow to the map of rst return to the horizontal barrier is equivalent to the function described in the examples given by Veech. In [4], Cheung, Hubert, and Masur showed that if we x the parameter α then the dimension of the set of all θ for which this ow is not ergodic is either 0 or. Specically, Cheung, Hubert, and Masur show that the dimension is 2 2 if and only if k N log log q k+ q k < where {q k } k N is the sequence of denominators of the continued fraction representation of α. Our goal is to consider what happens in the case in which we x θ and allow α to vary. Moreover, the sets K (θ) and K 0 (θ) are known to give information (see [3]) about the dynamics of Veech's examples described above. 2 UPPER BOUND ON HAUSDORFF DIMENSION For A R n, we denote by HdimA the Hausdor dimension of A (see [4]). In Section 2. we give an upper bound for HdimK 0 (θ) by applying what Cheung [2] has dened as a self-similar covering to subsets which we call K0 i (θ) of K 0 (θ). In particular, the self-similar covering will give an upper bound for HdimK0 i (θ), and we show that this upper bound is also an upper bound for HdimK 0 (θ). The following denition is motivated by the fact that (i) Veech showed in [7] that if θ has bounded partial quotients (i.e., sup j N a j < ) then HdimK 0 (θ) = 0, and
10 5 (ii) Lothar Narins conjectured that HdimK (θ) = when a j. Denition. Let M N. An irrational θ with unbounded partial quotients is divergent relative to [, M] if the sequence of partial quotients formed by the terms that are greater than M diverges to. If θ is divergent relative to [, M], dene κ θ := {k i : a ki + > M} k 0 := min κ θ Theorem. Let θ be divergent relative to [, M], and let (k i ) i=0 enumerate the values of k satisfying a k+ > M. Then 2. Reduction HdimK 0 (θ) lim sup i log a ki + log n ki+ log n ki (2) We reduce computing an upper bound of HdimK 0 (θ) directly by introducing new sets K i 0 (θ) for nonnegative integers i. We will show that this suces for nding an upper bound of HdimK 0 (θ). Denition. Suppose θ is divergent relative to [, M]. K i 0 (θ) := { m; b, b 2,... θ K 0 (θ) : j > k i b j n j n j θ < } 4M
11 6 The sets K i 0 (θ) are nonempty for all suciently large i since, by denition of K 0 (θ), lim b j n j n j θ = 0 j Further, the next three lemmas along with the fact that we can nd an upper bound for HdimK i 0 (θ) that does not depend on i will furnish an upper bound for HdimK 0 (θ). Lemma. K 0 (θ) K0 i (θ) i=0 Proof. If y K 0 (θ), then there is a sequence m, b, b 2,... such that y = m; b, b 2,... θ, where b j n j n j θ 0. Hence, there is an i for which j > k i implies b j n j n j θ < 4M. y K i 0 (θ). Therefore Lemma 2. (Countable Stability) Hdim K0 i (θ) = sup { HdimK0 i (θ) : i 0 } i=0 Proof. For any set F R n and s 0, denote by H s (F ) the s-dimensional Hausdor measure of F (see [5]). HdimK i 0 (θ) Hdim i Ki 0 (θ) for each i, so sup i HdimK i 0 (θ)
12 7 Hdim i Ki 0 (θ). Conversely, let s = sup i HdimK i 0 (θ). It suces to show H s+ε i Ki 0 (θ) = 0 when ε > 0. Let δ > 0. For each i we can cover K i 0 (θ) by intervals A ij such that the sum of their radii by the power s + ε is less than 2 i δ. The union of all intervals A ij, over i and j, covers i Ki 0 (θ) and the sum of their radii raised by the power s + ε is less than δ. Therefore, H s+ε i Ki 0 (θ) = 0. Lemma 3. There exists an i 0 such that if j k i0, j κ θ and b j n j n j θ < 4M, then b j = 0. Proof. Take i 0 large enough such that k i0 min k θ. Since j κ θ, a j+ M. Hence 4M > b j n j n j θ > b j n j 2n j+ > b j 4a j+ Hence, a j+ > M b j. Since a j+ < M, b j = 0. A consequence of Lemma 3 is x K i 0 0 (θ) has a θ expansion m; b, b 2,... such that for all j > k i0 either a j+ > M or b j = 0.
13 8 2.2 Specication of Self-Similar Cover Given b i a i+ and an even b satisfying b a k+, dene by I (m; b, b 2,..., b k, b) the interval of length 8 n k centered at k mθ + b j n j θ + b n k θ j= Lemma 4. x I (m; b,... b k ) for any x K 0 (θ). Proof. Let x = m; b,... θ K 0 (θ). Since θ is between m k n k and m k+ n k+, it follows that m k θ m k n k m k+. n k+ Multiplying by m nk gives m k n k θ m k n k+. k n k+ n k Therefore, n k θ m k n k θ m m k+ k n k = n k+ n k+ We also note that since n k+2 > 2n k we have n k+ > 2 i n k+(2i+) and n k+2 > 2 i n k+(2i+2). Therefore, i=0 < i=0 2 n k+2. n k+(2i+) 2 i n k+, which is a geometric series that simplies to 2 n k+. Similarly, i= n k+(2i) <
14 9 Without loss of generality, suppose m = 0. Then k x b i n i θ = b j n j θ i= Therefore, x I (m; b,... b k ). = < j=k+ j=k+ b j n j θ b j n j+ j=k+ j=k+ a j+ n j+ n j j=k+ i=0 n k+(2i+) n k+ 4 n k+ n k+2 i= n k+2i Denition. (Section 3 of [2]) Let X be a metric space and J a countable set. Given σ J J and α J we let σ (α) denote the set of all α J such that (α, α ) σ. We say a sequence (α j ) j N of elements in J is σ-admissible if α j+ σ (α j ) for all j N; and we let J σ denote the set of all σ-admissible sequences in J. By a selfsimilar covering of X we mean a triple (B, J, σ) where B is a collection of bounded subsets of X, J a countable index set for B, and σ J J such that there is a map E : K 0 (θ) J σ that assigns to each x X a σ-admissible sequence ( ) αj x such j N that for all x X
15 0 (i) j= B ( α x j ) = {x}, and (ii) diam B ( α x j ) 0 as j, where B (α) denotes the element of B indexed by α. 2.3 A Self-similar covering of K i 0 0 (θ) We have access to a self-similar covering of K i 0 0 (θ). Dene J := { (m; b, b 2,..., b k ) : m Z, k κ θ, b j Z ( j k), b j a j+, if and b j = 0 if both k i0 < j < k, j κ θ } B := {I (β) : β J} and dene σ J J such that for each α ki = (m; b, b 2,..., b ki ) J we have σ (α ki ) = {( m; b, b 2,..., b ki+ 2, b ) : b a ki+ } dene Let J σ denote the set of all σ-admissible sequences in J. By Lemma 4 we can E : K 0 (θ) J σ x ( α x j ) j=0 where x I (α j ) = I (m; b,..., b j ) J 0 for each α j ( α x j ). Suppose x K i 0 0 (θ). Our triple satises (i) of the denition of a self-similar covering; apply Lemma 4 to As mentioned immediately after Theorem 3. of [2], we can take elements of B to be subsets of the ambient space X.
16 show x I (β j ) for all β j J 0. Since lim j diam I ( ) αj x = 0, j=0 I ( ) αj x = {x}. Thus, (ii) is also satised. Dene E i := I (m; b,..., b ki ) such that the union is over all nite sequences m, b,..., b ki, where k i κ θ and b j a j+ for each j, and dene E := i=0 E i 2.4 Calculation In this section we give an upper bound on HdimK i 0 0 (θ). The following lemma is a direct consequence of the denition of σ. Lemma 5. Let α J and k = α. #σ (α) a k+ (3) Proof. Let α be a sequence in J of length k i. Then α = (m; b,..., b ki ) where both j > k i0 and j κ θ imply b j = 0. Since α = k, α corresponds to an interval belonging to E i. Hence, the centers determined by the children of the intervals comprising E i are determined by all even integers b k satisfying b k a ki +.
17 2 For s 0, since the value of I (β) does not depend on the choice of β σ (α), a direct consequence of equation (3) is Further, for β σ (α) β σ(α) ( ) s ( ) s I (β) I (β) = #σ (α) (4) I (α) I (α) #σ (α) The critical value of s is s = ( ) s ( ) s I (β) nki #σ (α) I (α) n ki+ log #σ(α) log n ki+ log n ki. Let ε > 0, and let s = s + ε. Then β σ(α) ( ) s I (β) I (α) ( ) s nki n ki+ ( nki n ki+ ) ε #σ(α) (by (4)) Theorem 5.3 of [] implies HdimK 0 (θ) s. Since ε can be arbitrarily small, we have HdimK 0 (θ) s. Hence HdimK 0 (θ) lim sup i = lim sup i log #σ (α) log n ki + log n ki log a ki + (by (3)) log n ki+ log n ki
18 3 3 A NONTRIVIAL EXAMPLE OF θ SATISFYING HdimK 0 (θ) = 0 In [7], Veech showed that the Hausdor dimension of K i (θ) vanishes when θ has bounded partial quotients. Using our upper bound formula (2), we give an example for which sup j a j = and HdimK 0 (θ) = 0. Let 0 < δ be given and x M = 2 δ. We specify the continued fraction representation of θ recursively. We choose { } a, a 2,..., a k0 = M, where k 0 is the smallest index for which n δ k 0 > max 2M,. 2 δ Note that there exists an integer in between n δ k 0 and 2 δ n δ k 0 since n δ k 0 ( 2 δ ) >. Choose a k0 + Z such that n δ k 0 < a k0 + < 2n δ k 0. Recursively, given k i, dene δi log nki k i+ := k i + + log M (5) set a ki +2 = a ki +3 = = a ki+ = M, and choose a ki + such that n δ k i < a ki + < 2n δ k i. This completes the recursive denition of the sequence (a ki ) i 0. Moreover, a direct consequence of the denition of (5) is M k i+ k i n δi k i (6) Claim. Under the above construction, θ is divergent relative to [, M]. Proof. By construction of (a ki +) i 0, we have, for each i 0, a ki + > M and n δ k i < a ki + < 2n δ k i. Therefore a ki + diverges to. Theorem 2. Let θ be constructed as above. Then HdimK 0 (θ) = 0.
19 4 Proof. n ki+ > a ki+ n ki+ = Mn ki+ > Ma ki+ n ki+ 2 = M 2 n ki+ 2. = M k i+ k i n ki > n δi k i n ki (by (6)) = n δi+ k i Therefore, log n ki+ > (δi + ) log n ki, and this implies log n ki+ lim = (7) i log n ki Since θ is half-divergent, HdimK 0 (θ) lim sup i log a ki + log n ki+ log n ki (by (2)) log 2n δ k lim sup i i log n ki+ log n ki δ log n ki + log 2 lim sup i log n ki+ log n ki = δ lim sup log n i ki+ log n ki = 0 (by (7))
20 5 4 EXAMPLE OF θ FOR WHICH HdimK (θ) = 4. Falconer's Lower Bound Formula (See [4]) Let [0, ] = F 0 F F 2... be a decreasing sequence of sets, with each F k a union of a nite number of disjoint closed intervals (called kth level basic intervals), which each interval of F k containing at least two intervals of F k+, and the maximum length of kth level intervals tending to 0 as k. Then the set F = k=0 F k is a totally disconnected subset of [0, ]. The condition needed to apply Falconer's lower bound formula is ( ) Each (j )th level interval contains at least m j 2 jth level intervals (j =, 2,...) which are separated by gaps of at least γ j, where 0 < γ j+ < γ j for each j. Falconer's lower bound formula is HdimF lim inf k log (m 0 m m j ) log (m j+ γ j+ ) (8) 4.2 Lower Bound for HdimK (θ) Fix δ (0, ) and ε (0, δ). For the remainder of Section 4, let θ be an element for which there exists a k 0 suciently large so that n δ ε k 0 3, n ε k 0 9 and for all k k 0, n δ k < a k+ < 2n δ k, b k is even and b k < n δ ε k. Our strategy is to
21 6 construct an innite family of Cantor sets contained in K (θ), each of which satises the conditions needed to apply Falconer's lower bound formula, allowing us to give lower bounds of HdimK (θ) arbitrarily close to. Given b i a i+, dene by L (m; b, b 2,..., b k ) or L k the interval of length n k θ concentric with I (m; b,..., b k ). We require that for each k the length of the gaps between the intervals L k is constant. Hence, we have the following lemma. Lemma 6. The gaps between consecutive children intervals of L k are of length n k θ. Proof. The distance between the centers of adjacent intervals of L k+ is 2 n k θ. Between these centers is the gap between them as well as two half intervals of L k+. Hence, the size of the gap is n k θ. The following lemma gives a sucient condition for L k+ L k. Lemma 7. Suppose we are given m, b,..., b k, b. If b a k+ 8, then L (m; b,..., b k, b) L (m; b,..., b k ) Proof. We may suppose a k+ 9 since the claim is vacuously true otherwise. Let y L (m; b,..., b k, b), and let x be the center of the corresponding parent interval
22 7 Then L (m; b,..., b k ). Let us call x the center of the interval L (m; b,..., b k, b). x y x x + x y < b n k θ + n kθ 2 a k n k+ ( ak+ 4 2 = a k+ 4n k+ a k+ < 4a k+ n k = 4n k < n k θ 2 ) + 2 (since a k+ > 4) n k+ The following result was anticipated by Lothar Narins. Theorem 3. The number θ, as constructed in 4.2, satises the following: HdimK (θ) = Proof. Dene F j := L (m; b..., b k0 +j ) where the union is over all nite sequences such that m = b = = b k0 = 0. If k k 0, then
23 8 b k n δ ε k n δ ε k = nδ k n ε k < a k+ 8 so that, by Lemma 7, F j+ F j for j 0. Dene F (k 0, ε) := j=0 F j Lemma 8. F (k 0, ε) K (θ) Proof. If y F (k 0, ε), then we have a sequence of the form b, b 2,... such that y = m; b, b 2,..., b k0, b k0 +,... θ, where b = = b k0 = 0 and, by construction, each b k is even. We show that y satises the constraints imposed on elements of K (θ). b j n j n j θ j= j= j= n ε j= j n δ ε+ j n j+ n δ ε+ j n +δ j
24 9 Using the Ratio Test on the latter series, we have lim j n ε j n ε j+ = 0 ( ) ε nj lim j a j+ n j lim = 0 j a ε j+ Therefore, j= b j n j n j θ <. Hence y K (θ). For convenience, dene k j := k 0 + j. We show that F (k 0, ε) satises ( ). Denote by m j the number of children intervals L kj of F so that m j counts the number of even integers b satisfying b < n δ ε k j, so that m j = n δ ε k j Denote by γ j the length of the gaps between children intervals of L kj so that, by Lemma 6, γ j = nkj θ From basic continued fraction theory, < n k θ < (9) 2n k+ n k+ Since we have n kj +2 < 2n kj + for each j, we have 0 < γ k j + < γ kj for each j. By (9), lim j γ j = 0. It is the case that each interval L ( m; b,..., b kj ) contains at least 3 intervals of L kj and the gaps γ j decrease monotonically to 0 as j. Hence, the conditions for Falconer's lower bound formula (inequality 4.7 of [4]) are satised.
25 20 To simplify our calculation of the lower bound of HdimF (k 0, ε), we use the fact that k k 0 implies n k+ < (a k+ + ) n k < 3n +δ k Taking log of both sides of the expression n k+ < 3n +δ k gives log n k+ < ( + δ + log 3 ) log n k (0) log n k0 Further, m j+ = n δ ε k j+ > nδ-ε k j+ 2 and γ j+ = nkj+ θ > > > 2n kj+ + (by (9)) (since n k+ < 2a k+ n k ) 4a kj+ +n kj+ 8n +δ k j+ imply m j+ γ j+ > 6n +ε k j+ ()
26 2 Using Falconer's lower bound (8) gives HdimF (k 0, ε) lim inf j lim inf j lim inf j = lim inf j log (m 0 m j ) log (m j+ γ j+ ) (δ ε) ( ) log n k0 + log n k + + log n kj δ ε + ε ( δ ε + ε ( + ε) log n kj δ + log 3 log n k0 + δ + log 3 log n k0 ( + δ + log 3 ( +δ+ log 3 log n k0 +δ+ log 3 log n k0 ) ) j+ log n k0 ) j+ = δ ε ( ) ( + ε) δ + log 3 log n k0 HdimF (k 0, ε) as ε 0, k 0. Therefore, HdimK (θ) =.
27 22 5 HdimK i (θ) = δ Theorem 4. For any δ [0, ] there is a θ satisfying HdimK i (θ) = δ. The cases δ = 0 and δ = are handled by Theorem 2 and Theorem 3, respectively. Let us choose δ (0, ). Our strategy is to construct a half-divergent θ in terms of δ in a particular way which gives δ HdimK (θ) HdimK 0 (θ) δ Proof. Suppose M N 3. We construct a θ divergent relative to [, M]. In what follows we construct integers a k in terms of the indices k i by taking 3 a k+ M if k k i, (2) n δ k < a k+ < 2n δ k if k = k i Choose a, a 2,..., a k0 [3, M], where k 0 is large enough so that n δ k 0 > M. With this choice of k 0, a k+ > M when k = k i ; therefore, a k+ [3, M] if and only if k k i. Suppose we are given k i and that a, a 2,..., a ki, n, n 2,..., n ki + are dened according to (2). Choose k i+ to be the smallest k k i + such that n k < n 2 k i, and set a k+ [3, M] if k < k i+, n k n 2 k i, and set a k+ ( n δ k, ) 2nδ k if k = k i+
28 23 By this recursive denition, n ki+ n 2 k i and n ki+ < n 2 k i. If k i+ = k i +, then n ki+ = a ki +n ki + n ki < 2a ki +n ki < 4n +δ k i < (M + ) n 2 k i If k i+ > k i +, then k i+ is not of the form k j + for any j > i; for if j > i, then k j + > k j k i+. Therefore, in this case, we have a ki+ [3, M], so n ki+ = a ki+ n ki+ + n ki+ 2 < ( a ki+ + ) n ki+ < (M + ) n 2 k i Therefore, n 2 k i n ki+ < (M + ) n 2 k i (3) and n δ k i < a ki + < 2n δ k i Further, it will be used in the upper and lower bound calculations that (3) implies lim j log n kj log n kj+ = 2 (4)
29 24 5. Upper Bound As construction in Section 5, θ is divergent relative to [, M] since the subsequence (a ki +) i 0 of terms of (a k ) k which are larger than M also satisfy n δ k i < a ki + < 2n δ k i. Therefore, lim i a ki + =. Hence, HdimK 0 (θ) lim sup j lim sup j = lim sup j log a kj + log n kj+ log n kj (by (2)) log n δ k j + log 2 log n kj+ log n kj δ log n k j log n kj+ log n k j log n kj+ = δ (by (4)) Therefore, HdimK 0 (θ) δ. 5.2 Lower Bound Let ε (0, ). Choose k 0 k 0 suciently large such that k i k 0 implies a ε k i + < a ki+ 8. Dene F j := L ( ) m; b, b 2,... b k 0,..., b kj to be the union over all nite sequences of even terms b,... b kj such that if k = k i k 0 then b k is even and satises b k < a ε k+, otherwise bk = 0. WLOG, let m = 0. Dene
30 25 F ε = F (k 0, ε) := Lemma 7 implies F j+ F j for j N since if k i k 0, then b ki < a ε k i + j=0 F j a ε k i + < a k i+ 8 Lemma 9. F ε K (θ) Proof. Let y F ε. Then we are given a sequence of the form b, b 2,... such that y = m; b, b 2,..., b k 0, b k 0 +,... θ, b k is even and satises b k < a ε k+ if k = ki > k 0 and b k = 0 otherwise. Further, b j n j n j θ j= = a ε j+n j n j= j+ j= j= j= a ε j+n j a j+ n j a ε j+ n δ( ε) j
31 26 Proof. Using the Ratio Test on the latter series, we have n ( ε)δ j lim j n ( ε)δ j+ = 0 n ( ε)δ j lim j n ( ε)δ j+ lim j a ( ε)δ j+ Therefore, j= b j n j n j θ <. Hence y K (θ). Dene M j := a ε k j + so that M j is a lower bound on the number of intervals in F j+ contained in intervals of F j. Dene Γ j := nkj θ so that, by Lemma 6, Γ j is a lower bound on the gaps between the intervals of F j+. Since we have n kj+2 < 2n kj+ 2n kj + for each j, we have 0 < Γ j+ < Γ j for each j. Since < Γ j < n kj + for each j, lim j Γ j = 0. It is the case that each interval L ( m; b,..., b kj ) contains at least 3 intervals of Fkj+ and the gaps Γ j decrease monotonically to 0 as j. The conditions for Falconer's lower bound formula are satised.
32 27 To simplify our calculation of the lower bound of HdimF ε, we use the fact that and Γ j+ = nkj+ θ > > > 2n kj+ + (by (9)) 2 ( ) (n k+ < 2a k+ n k ) 2a kj+ +n kj+ 8n +δ k j+ M j+ = [ ] a ε k j+ + imply M j+ Γ j+ > Using Falconer's lower bound gives HdimF lim inf j = lim inf j log (M 0 M j ) log (M j+ Γ j+ ) aε k j+ + 2 > nδε k j+ 2 6n +δ δε k j+ (5) ε ( ) log a k0 + + log a k log a kj + (by (5)) ( + δ δε) log n kj+ ( ) log nk0 + log n k + + log n kj δε lim inf + δ δε j δε + δ δε δε + δ δε lim inf j log n kj+ ( ) 2 2 j+ (by (4))
33 28 HdimF (k 0, ε) δ as ε. Therefore, HdimK (θ) δ.
34 29 References [] Y. Cheung. Hausdor Dimension of the Set of Points on Divergent Trajectories of a Homogeneous Flow on a Product Space. Ergodic Theory and Dynamical Systems, 27 (2007), [2] Y. Cheung. Hausdor Dimension of the Set of Singular Pairs. Annals of Mathematics, 73 (20), [3] Y. Cheung, A. Eskin. Slow Divergence and Unique Ergodicity. Fields Institute Communications, 5 (2007), [4] Y. Cheung, P. Hubert, and H. Masur. Dichotomy for the Hausdor Dimension of the Set of Nonergodic Directions. Inventiones, 83 (200), [5] K. Falconer. Fractal Geometry: Mathematical Foundations and Applications. Chichester: John Wiley and Sons, 990. Print. [6] H. Masur and S. Tabachnikov. Rational Billiards and Flat Surfaces. Handbook of Dynamical Systems, Vol. A (2002), [7] W. Veech. Strict Ergodicity in Zero Dimensional Dynamical Systems and the Kronecker-Weyl Theorem Modulo 2. Transactions of the American Mathematical Society, 40 (969), -33.
UNIQUE ERGODICITY OF TRANSLATION FLOWS
UNIQUE ERGODICITY OF TRANSLATION FLOWS YITWAH CHEUNG AND ALEX ESKIN Abstract. This preliminary report contains a sketch of the proof of the following result: a slowly divergent Teichmüller geodesic satisfying
More informationMinimal nonergodic directions on genus 2 translation surfaces
Minimal nonergodic directions on genus 2 translation surfaces Yitwah Cheung Northwestern University Evanston, Illinois email: yitwah@math.northwestern.edu and Howard Masur University of Illinois at Chicago
More informationHomework 1 Real Analysis
Homework 1 Real Analysis Joshua Ruiter March 23, 2018 Note on notation: When I use the symbol, it does not imply that the subset is proper. In writing A X, I mean only that a A = a X, leaving open 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 informationA genus 2 characterisation of translation surfaces with the lattice property
A genus 2 characterisation of translation surfaces with the lattice property (joint work with Howard Masur) 0-1 Outline 1. Translation surface 2. Translation flows 3. SL(2,R) action 4. Veech surfaces 5.
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 informationAn Attempt To Understand Tilling Approach In proving The Littlewood Conjecture
An Attempt To Understand Tilling Approach In proving The Littlewood Conjecture 1 Final Report For Math 899- Dr. Cheung Amira Alkeswani Dr. Cheung I really appreciate your acceptance in adding me to your
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
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 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 informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
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 informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Hyperbolicity and Dimension CIRM, Luminy December 3rd 2013 Lingmin
More informationCorrelation dimension for self-similar Cantor sets with overlaps
F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider
More informationReal 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 informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Approximation and numeration Université Paris Diderot-Paris
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 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 informationA LATTICE POINT ENUMERATION APPROACH TO PARTITION IDENTITIES
A LATTICE POINT ENUMERATION APPROACH TO PARTITION IDENTITIES A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master of Arts
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 informationSpring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures
36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1
More informationCopyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.
.1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,
More informationMidterm 1. Every element of the set of functions is continuous
Econ 200 Mathematics for Economists Midterm Question.- Consider the set of functions F C(0, ) dened by { } F = f C(0, ) f(x) = ax b, a A R and b B R That is, F is a subset of the set of continuous functions
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationRearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton D
Rearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, U.K. R.J. Douglas, Isaac Newton
More informationINITIAL POWERS OF STURMIAN SEQUENCES
INITIAL POWERS OF STURMIAN SEQUENCES VALÉRIE BERTHÉ, CHARLES HOLTON, AND LUCA Q. ZAMBONI Abstract. We investigate powers of prefixes in Sturmian sequences. We obtain an explicit formula for ice(ω), the
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationNOTIONS OF DIMENSION
NOTIONS OF DIENSION BENJAIN A. STEINHURST A quick overview of some basic notions of dimension for a summer REU program run at UConn in 200 with a view towards using dimension as a tool in attempting to
More informationFirst In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018
First In-Class Exam Solutions Math 40, Professor David Levermore Monday, October 208. [0] Let {b k } k N be a sequence in R and let A be a subset of R. Write the negations of the following assertions.
More informationarxiv:math/ v2 [math.ds] 2 Oct 2007
TOPOLOGICAL DICHOTOMY AND STRICT ERGODICITY FOR TRANSLATION SURFACES arxiv:math/0607179v2 [math.ds] 2 Oct 2007 YITWAH CHEUNG, PASCAL HUBERT, HOWARD MASUR Abstract. In this paper the authors find examples
More informationS. Mrówka introduced a topological space ψ whose underlying set is the. natural numbers together with an infinite maximal almost disjoint family(madf)
PAYNE, CATHERINE ANN, M.A. On ψ (κ, M) spaces with κ = ω 1. (2010) Directed by Dr. Jerry Vaughan. 30pp. S. Mrówka introduced a topological space ψ whose underlying set is the natural numbers together with
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationFractal Geometry Mathematical Foundations and Applications
Fractal Geometry Mathematical Foundations and Applications Third Edition by Kenneth Falconer Solutions to Exercises Acknowledgement: Grateful thanks are due to Gwyneth Stallard for providing solutions
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 informationContents 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 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 informationBalance properties of multi-dimensional words
Theoretical Computer Science 273 (2002) 197 224 www.elsevier.com/locate/tcs Balance properties of multi-dimensional words Valerie Berthe a;, Robert Tijdeman b a Institut de Mathematiques de Luminy, CNRS-UPR
More informationSYMBOLIC CHARACTERIZATION OF COUNTEREXAMPLES TO LITTLEWOOD S CONJECTURE
SYMBOLIC CHARACTERIZATION OF COUNTEREXAMPLES TO LITTLEWOOD S CONJECTURE A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master
More informationAPPLICATIONS IN FIXED POINT THEORY. Matthew Ray Farmer. Thesis Prepared for the Degree of MASTER OF ARTS UNIVERSITY OF NORTH TEXAS.
APPLICATIONS IN FIXED POINT THEORY Matthew Ray Farmer Thesis Prepared for the Degree of MASTER OF ARTS UNIVERSITY OF NORTH TEXAS December 2005 APPROVED: Elizabeth M. Bator, Major Professor Paul Lewis,
More informationAbstract. 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 informationTILING PROBLEM FOR LITTLEWOOD S CONJECTURE
TILING PROBLEM FOR LITTLEWOOD S CONJECTURE A thesis submitted to the faculty of San Francisco State University In partial fulfillment of The Requirements for The Degree Master of Arts In Mathematics by
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationOur goal is to solve a general constant coecient linear second order. this way but that will not always happen). Once we have y 1, it will always
October 5 Relevant reading: Section 2.1, 2.2, 2.3 and 2.4 Our goal is to solve a general constant coecient linear second order ODE a d2 y dt + bdy + cy = g (t) 2 dt where a, b, c are constants and a 0.
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 informationIntroduction to Real Analysis
Introduction to Real Analysis Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Sets Sets are the basic objects of mathematics. In fact, they are so basic that
More informationClassication of greedy subset-sum-distinct-sequences
Discrete Mathematics 271 (2003) 271 282 www.elsevier.com/locate/disc Classication of greedy subset-sum-distinct-sequences Joshua Von Kor Harvard University, Harvard, USA Received 6 November 2000; received
More information1 Matrices and Systems of Linear Equations
Linear Algebra (part ) : Matrices and Systems of Linear Equations (by Evan Dummit, 207, v 260) Contents Matrices and Systems of Linear Equations Systems of Linear Equations Elimination, Matrix Formulation
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 informationProperties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationSOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS
LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D
More informationIGNACIO GARCIA, URSULA MOLTER, AND ROBERTO SCOTTO. (Communicated by Michael T. Lacey)
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 135, Number 10, October 2007, Pages 3151 3161 S 0002-9939(0709019-3 Article electronically published on June 21, 2007 DIMENSION FUNCTIONS OF CANTOR
More informationWeek 2: Sequences and Series
QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime
More informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
More informationChapter 2: Introduction to Fractals. Topics
ME597B/Math597G/Phy597C Spring 2015 Chapter 2: Introduction to Fractals Topics Fundamentals of Fractals Hausdorff Dimension Box Dimension Various Measures on Fractals Advanced Concepts of Fractals 1 C
More informationSTAT 7032 Probability Spring Wlodek Bryc
STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,
More informationn=1 f(t n x)µ(n) = o(m), where µ is the Möbius function. We do this by showing that enough of the powers of T are pairwise disjoint.
Möbius disjointness for interval exchange transformations on three intervals (with A. Eskin) We show that 3-IETs that satisfy a mild diophantine condition satisfy Sarnak s Möbius disjointness conjecture.
More informationResearch Article On Decomposable Measures Induced by Metrics
Applied Mathematics Volume 2012, Article ID 701206, 8 pages doi:10.1155/2012/701206 Research Article On Decomposable Measures Induced by Metrics Dong Qiu 1 and Weiquan Zhang 2 1 College of Mathematics
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 informationWHICH MEASURES ARE PROJECTIONS OF PURELY UNRECTIFIABLE ONE-DIMENSIONAL HAUSDORFF MEASURES
WHICH MEASURES ARE PROJECTIONS OF PURELY UNRECTIFIABLE ONE-DIMENSIONAL HAUSDORFF MEASURES MARIANNA CSÖRNYEI AND VILLE SUOMALA Abstract. We give a necessary and sufficient condition for a measure µ on the
More informationPUTNAM 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 informationMax-Planck-Institut fur Mathematik in den Naturwissenschaften Leipzig Uniformly distributed measures in Euclidean spaces by Bernd Kirchheim and David Preiss Preprint-Nr.: 37 1998 Uniformly Distributed
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 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 informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
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 informationThe Minimum Speed for a Blocking Problem on the Half Plane
The Minimum Speed for a Blocking Problem on the Half Plane Alberto Bressan and Tao Wang Department of Mathematics, Penn State University University Park, Pa 16802, USA e-mails: bressan@mathpsuedu, wang
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 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 informationRESEARCH STATEMENT-ERIC SAMANSKY
RESEARCH STATEMENT-ERIC SAMANSKY Introduction The main topic of my work is geometric measure theory. Specifically, I look at the convergence of certain probability measures, called Gibbs measures, on fractals
More informationJumping Sequences. Steve Butler 1. (joint work with Ron Graham and Nan Zang) University of California Los Angelese
Jumping Sequences Steve Butler 1 (joint work with Ron Graham and Nan Zang) 1 Department of Mathematics University of California Los Angelese www.math.ucla.edu/~butler UCSD Combinatorics Seminar 14 October
More informationContents. 4 Arithmetic and Unique Factorization in Integral Domains. 4.1 Euclidean Domains and Principal Ideal Domains
Ring Theory (part 4): Arithmetic and Unique Factorization in Integral Domains (by Evan Dummit, 018, v. 1.00) Contents 4 Arithmetic and Unique Factorization in Integral Domains 1 4.1 Euclidean Domains and
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 informationDiophantine approximation of beta expansion in parameter space
Diophantine approximation of beta expansion in parameter space Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Fields, France 19-25, September 2015 Outline 1 Background
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationHausdorff dimension of weighted singular vectors in R 2
Hausdorff dimension of weighted singular vectors in R 2 Lingmin LIAO (joint with Ronggang Shi, Omri N. Solan, and Nattalie Tamam) Université Paris-Est NCTS Workshop on Dynamical Systems August 15th 2016
More informationLinear Algebra (part 1) : Matrices and Systems of Linear Equations (by Evan Dummit, 2016, v. 2.02)
Linear Algebra (part ) : Matrices and Systems of Linear Equations (by Evan Dummit, 206, v 202) Contents 2 Matrices and Systems of Linear Equations 2 Systems of Linear Equations 2 Elimination, Matrix Formulation
More informationDetailed Proof of The PerronFrobenius Theorem
Detailed Proof of The PerronFrobenius Theorem Arseny M Shur Ural Federal University October 30, 2016 1 Introduction This famous theorem has numerous applications, but to apply it you should understand
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 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 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 information[4] T. I. Seidman, \\First Come First Serve" is Unstable!," tech. rep., University of Maryland Baltimore County, 1993.
[2] C. J. Chase and P. J. Ramadge, \On real-time scheduling policies for exible manufacturing systems," IEEE Trans. Automat. Control, vol. AC-37, pp. 491{496, April 1992. [3] S. H. Lu and P. R. Kumar,
More information3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers
Chapter 3 Real numbers The notion of real number was introduced in section 1.3 where the axiomatic denition of the set of all real numbers was done and some basic properties of the set of all real numbers
More informationLinear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space
Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationWalker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015
Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of
More informationLebesgue Measure on R n
8 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 informationCongurations of periodic orbits for equations with delayed positive feedback
Congurations of periodic orbits for equations with delayed positive feedback Dedicated to Professor Tibor Krisztin on the occasion of his 60th birthday Gabriella Vas 1 MTA-SZTE Analysis and Stochastics
More informationCOMPLEXITY OF SHORT RECTANGLES AND PERIODICITY
COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY VAN CYR AND BRYNA KRA Abstract. The Morse-Hedlund Theorem states that a bi-infinite sequence η in a finite alphabet is periodic if and only if there exists
More informationThe main results about probability measures are the following two facts:
Chapter 2 Probability measures The main results about probability measures are the following two facts: Theorem 2.1 (extension). If P is a (continuous) probability measure on a field F 0 then it has a
More information4th Preparation Sheet - Solutions
Prof. Dr. Rainer Dahlhaus Probability Theory Summer term 017 4th Preparation Sheet - Solutions Remark: Throughout the exercise sheet we use the two equivalent definitions of separability of a metric space
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 informationOn 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 information2 (Bonus). 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 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationPERFECT FRACTAL SETS WITH ZERO FOURIER DIMENSION AND ARBITRARY LONG ARITHMETIC PROGRESSION
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 42, 2017, 1009 1017 PERFECT FRACTAL SETS WITH ZERO FOURIER DIMENSION AND ARBITRARY LONG ARITHMETIC PROGRESSION Chun-Kit Lai San Francisco State
More informationLEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9
LBSGU MASUR AND L2 SPAC. ANNI WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationSolutions to Tutorial 1 (Week 2)
THE UNIVERSITY OF SYDNEY SCHOOL OF MATHEMATICS AND STATISTICS Solutions to Tutorial 1 (Week 2 MATH3969: Measure Theory and Fourier Analysis (Advanced Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More information