MAT1000 ASSIGNMENT 1. a k 3 k. x =

Size: px
Start display at page:

Download "MAT1000 ASSIGNMENT 1. a k 3 k. x ="

Transcription

1 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 k 3 k where a k = 0, 1 or 2. We also note that this decomposition is not unique since, for example 1/3 = 2/3k. We show that x C if and only if x has a representation as above where every a k is 0 or 2. Proof. Recall that be definition the Cantor set C = k=0 C k, where C 0 = [0, 1] and C k+1 is obtained from C k be removing the open middle-third subinterval of each of the disjoint intervals that constitute C k. First we use induction to show that for all non-negative integers k, if a is such that [a, b] is one of the disjoint intervals constituting C k, then a can be written as n=1 a n3 n, where a n {0, 2} for 0 < n k and a n = 0 for n > k. If k = 0 then C 0 = [0, 1] and 0 = n=1 0/3k as needed. Now we assume that the statement holds for k N and we show that it is also true for k + 1. Assume that s is such that [s, t] is one of the disjoint intervals constituting C k+1. If s is also an endpoint of a disjoint interval in C k then we know that s = n=1 a n3 n, where a n {0, 2} for 0 < n k and a n = 0 for n > k. Hence, a n {0, 2} for 0 < n k + 1 and a n = 0 for n > k + 1 as well. Now if s is not an endpoint of the interval in C k then by construction there is an interval [a, t] in C k such that [s, t] [a, t]. Furthermore, s a = 2(t a)/3 by construction of C. Since length of [a, t] is 3 k (on each step we reduce the length of disjoint intervals by a factor of 3), we have that s = a + 2/3 k+1. Using induction hypothesis, s = k n=1 a n3 n + 2/3 k+1. That is, s = n=1 a n3 n such that a n {0, 2} for 0 < n k + 1 and a n = 0 for n > k + 1 as claimed. Now we make an observation that C k consists of exactly 2 k disjoint intervals, which is exactly the number of points in [0, 1] of the form s = n=1 a n3 n, where a n {0, 2} for 0 < n k and a n = 0 for n > k. Therefore, this observation combined with our previous result implies that each such number is an endpoint of one of the disjoint intervals constituting C k. We also note that if s is an endpoint of an interval [s, t] in C k then t = s + 1/3 k = s + n=k+1 2/3n. That is, t = same as for s and the rest are equal to 2. n=1 a n3 n such that the first k of a n s are the Now if x = n=1 a n3 n such that a n {0, 2} for all n, then we have that s k = k n=1 a n3 n x = n=1 a n3 n k n=1 a n3 n + n=k+1 2/3n = t k for all k. That, is x [s k, t k ] C k for all k, which shows that x C. Date: September 29,

2 2 VITALY KUZNETSOV Conversely, assume that x C. Then for each k, there is an interval [x k, y k ] in C k containing x. First observe that the sequence x k converges to x since x x k < 2/3 k for each k N. Next we note that the previous results imply that for i < j, we can write x j = x i + j n=i+1 a n3 n with a n {0, 2}. Thus, x = lim k x k = lim k k n=1 a n3 n = n=1 a n3 n with a n {0, 2} for all n. (b) The Cantor-Lebesgue function is defined on C by F (x) = where x = a k3 k with a k {0, 2} and b k = a k 2. We show that F is well-defined and continuous on C, and moreover F (0) = 0 as well as F (1) = 1. Proof. To show that F is well-defined it suffices to show that a ternary representation of x = a k3 k with a k {0, 2} is unique. Assume x C and x = a k3 k = a k 3 k with a k, a k {0, 2}. For a contradiction, let a n a n for some n (and by well-ordering principle of natural numbers we can choose the smallest such n). Then by our result from part (a), we see that x lies in an interval [s, t] C n with s = n 1 a k3 k. At the same time it must also lie in the interval [a, b] C n with a = s + 2/3 n. We know that such intervals are disjoint which leads to contradiction. Thus, a k = a k for all k and F is well-defined. Next we show that F is continuous. It is enough to show that if x n is a sequence of points in C which converges to x, then F (x n ) converges to F (x). Fix ɛ > 0. Then there is n 0 N such that 1/2 n 0 < ɛ. Since x n converges to x there is n 1 > n 0 such that for all n > n 1, x x n < 1/3 n 1. Then x and x n must lie in the same interval in C n for all n > n 1. Therefore, ternary expansion in terms of 0 and 2 of x and x n must agree for the first n 1 digits. Thus, F (x) F (x n ) < k=n k = 2 n 1 < 2 n 0 < ɛ for all n > n 1, which implies that F (x n ) converges to F (x). This proves that F is continuous. Finally, using geometric series we have that 0 = 0/3k and 1 = F (0) = 0/2k = 0 and F (1) = 1/2k = 1. b k 2 k 2/3k, thus (c) We prove that F : C [0, 1] is surjective, that is, for every y [0, 1] there is x C such that F (x) = y. Proof. Let y [0, 1]. Then y has a binary expansion, that is y = b k2 k such that b k {0, 1}. We let a k = 2b k {0, 2}. By part (a), x = a k3 k C. Now we observe that by construction, F (x) = b k2 k = y, which shows that F is indeed surjective. (d) One can also extend F to be a continuous function on [0, 1] as follows. Note that if (a, b) is an open interval of the compliment of C, then F (a) = F (b). Hence we may define F to have the constant value F (a) in that interval. Proof. First we show that if (a, b) is an open interval of the compliment of C, then F (a) = F (b). If (a, b) is a subinterval of the compliment of C with endpoints in C, then this interval was removed from [0, 1] during construction of C on stage n + 1, for some n 0. In fact it was removed from some interval [s, t] C n. By part (a), we know that s = n a k3 k. Since the length of [s, t] is 1/3 n, a = s + 1/3 n+1 = n a k3 k + k=n+2 2/3k and b = n a k3 k + 2/3 n+1.

3 We compute that F (a) = n b k2 k + k=n+2 2 k required. MAT1000 ASSIGNMENT 1 3 = n b k2 k + 2 n 1 = F (b) as Next we show that this extension of F is in fact continuous. It is immediate that F is continuous at x C, since there is a neighbourhood of x on which F is constant. Now assume x C and we wish to show that F is continuous at x. As before, it enough to show that if x n is a sequence that converges to x, then F (x n ) converges to F (x). If x n C, then let y n = x n. If x n C, then it lies in (s n, t n ) C c. In that case, let y n = s n if x < x n and y n = t n if x n < x. By construction, y n C and y n x x n x for all n. Therefore, y n is a sequence of points in C that converge to x. Hence, by continuity of F on C we must have that F (y n ) converges to F (x). We note that by construction we have that F (x n ) = F (y n ) for all n, which shows that F (x n ) converges to F (x) as required. Thus F is indeed continuous on [0, 1]. Question 2 (Exercise 4 on page 38). We construct a closed set Ĉ so that starting with [0, 1] at the k th stage of the construction one removes 2 k 1 centrally situated open intervals each of length l k with l 1 + 2l k 1 l k < 1. (a) We show that if 2 k 1 l k < 1 then m(ĉ) = 1 2 k 1 l k > 0. Proof. We consider a compliment of Ĉ in [0, 1], that is the set S = [0, 1] Ĉ. We know that the set S is a union of the collection {I α } α A of open intervals removed from [0, 1] during the construction of Ĉ. Each interval in this collection is disjoint from all the other intervals in the collection since each time we remove centrally situated intervals. Furthermore, this collection of open intervals is countable since on each stage of the construction we remove 2 k 1 intervals. Therefore, S is measurable as countable union of measurable sets and by countable additivity we have m(s) = α m(i α). Since each interval removed on the k th stage of the construction is of length l k this sum is equal to 2k 1 l k. Now we use the fact that [0, 1] is a disjoint union of Ĉ and S and countable additivity to conclude that 1 = m[0, 1] = m(ĉ)+m(s) = m(ĉ)+ 2k 1 l k (note that we implicitly use the fact that Ĉ is measurable as a compliment of measurable set). Finally, we write m(ĉ) = 1 2k 1 l k > 0 and the proof is complete. (b) We show that if x Ĉ then there exists a sequence of points {x n} n=1 such that x n Ĉ, yet x n x and x I n, where I n is a sub-interval in the compliment of Ĉ with I n 0. Proof. Let x Ĉ and define Ĉn to be the set containing all points of [0, 1] which has not been removed during the first n stages of the construction of Ĉ (this set is analogous to the set C n in the construction of the Cantor set). By construction, Ĉ n is a disjoint union of 2 n closed intervals. Note that there are exactly 2 n closed intervals in Ĉn since each interval in Ĉ n 1 gives a rise to two new intervals in Ĉn, that is on each step the number of intervals is twice the number of intervals on the previous step. Let [a, b] be one of these intervals in Ĉn such that x [a, b]. On the next stage of the construction an open interval (s, t) of length l n is removed from [a, b]. We take x n to be the midpoint of (s, t) and we let I n = (s, t). Note that the distance from x to x n is less than the length of the interval [a, b] since both of these points lie in it. On the other hand, by construction each of the intervals in Ĉn has equal length and using the fact that there are 2 n such intervals, we conclude that the

4 4 VITALY KUZNETSOV length of [a, b] is bounded above by 2 n. Therefore, we obtain a sequence {x n } n=1 such that x n x < 2 n, x n Ĉ and x n I n [0, 1] Ĉn for all n. It follows that this sequence converges to x and it remains to verify that I n vanishes as n. We know that the series n=1 2n 1 l n converge and hence it must be the case that lim n 2 n 1 l n = 0. We observe that 0 l n 2 n 1 l n and by Squeeze theorem we conclude that I n = l n 0 as n as desired. Remark: The sequence of intervals I n constructed in the proof above has the following property. For all n, if J is an open interval which contains x n and is a subset of the compliment of Ĉ, then it must be the case J I n = (s, t). This is the case, since we always remove centrally situated open intervals when constructing Ĉ and this implies that endpoints s and t will never be removed and will remain in Ĉ. This observation will be used in the next proof. (c) We show that as consequence of (b), Ĉ is perfect and it contains no open interval. Proof. We have seen earlier that the compliment S of Ĉ in [0, 1] is a union of open intervals and hence it is open. Therefore, Ĉ is closed in [0, 1] and it implies that it is also closed in R. Therefore, to show that Ĉ is perfect we only need to verify that it has no isolated points. For a contradiction, assume that x is an isolated point of Ĉ. Then there exist r > 0 such that (x r, x + r) Ĉ = {x}. Now let {x n} n=1 be a sequence of points in S converging to x satisfying properties in (b). Since x n x as n, there exists n 0 N such that for all n n 0, x x n < r. That is, for all n n 0, x n lies either in (x r, x) or (x, x + r). Hence, by the remark we have made earlier, for all n n 0, I n contains either of these two intervals which implies that the length of each I n with n n 0 is at least r > 0. However, this contradicts the fact that I n 0 as n. Therefore, we conclude that Ĉ has no isolated points and is perfect. Now we prove that Ĉ contains no open interval. We assume otherwise and derive a contradiction. Let (a, b) Ĉ and consider the midpoint x of (a, b). Since x Ĉ, by part (b) we know that there exist a sequence {x n } n=1 such that x n Ĉ and x n x. Then there exists n N such that x x n < b a which implies that x 2 n (a, b) Ĉ. This is a contradiction since x n Ĉ by assumption. Thus, we conclude that Ĉ contains no open interval. (d) We show that Ĉ is uncountable.1 Proof. To show that Ĉ is uncountable we will construct a surjection f : Ĉ [0, 1] and since [0, 1] is uncountable it will complete the proof. Let x Ĉ and [a, b] be one of the disjoint intervals in Ĉn 1, n > 1 such that x [a, b]. On the next stage of the construction of Ĉ an open interval (s, t) is removed from [a, b], resulting in disjoint intervals [a, s] and [s, t] lying in Ĉn. We let In 0 = [a, s] and In 1 = [s, t]. Since x Ĉ Ĉn it must lie in one of these intervals. We define a n = 0 if x In 0 and a n = 1 otherwise. Finally, we set f(x) = n=1 a n2 n (Note that this series converge since n=1 a n2 n n=1 2 n = 1 and f is well-defined). 1 Note that my original argument was only valid in the case when Ĉ has positive measure and was based on a simple fact that any set of positive measure is uncountable. I would like to thank Mustazee Rahman for this correction.

5 MAT1000 ASSIGNMENT 1 5 Now we show that f is surjective. Let y [0, 1] be arbitrary. Then y has a binary expansion n=1 a n2 n where a n {0, 1}. Note that the sequence {a n } n=1 induces a nested sequence of intervals In an constructed as above starting with I 0 = [0, 1]. By Nested Intervals Theorem, n=1in an is non-empty. Furthermore, since each In an is one of the disjoint intervals in Ĉn, we know from part (b) that In an < 2 n and hence In an 0 as n. Therefore, Nested Intervals Theorem tells us that in this case n=1in an = {x} for some unique real number x. Note that x Ĉ since x Ĉn for all n. Moreover, by definition of f we have that f(x) = y and this proves that f is surjective. Question 3 (Exercise 5 on page 39). Suppose E is a given set and O n is the open set O n = {x : d(x, E) < 1/n} (a) If E is compact, then m(e) = lim n m(o n ). Proof. We start with an observation that O n+1 O n since if x O n+1 then d(x, E) < 1 < n+1 1 and hence x O n n. Also, each O n is measurable since each O n is an open set. Thus, O n s form a decreasing sequence of measurable sets. Therefore, if we show that E = n=1 O n and m(o 1 ) < then the desired conclusion will follow from downward measure continuity. We first show that E = n=1 O n. To simplify the notation we will write O = n=1 O n. If x E then d(x, E) = inf y E x y = 0 < 1/n for all n N. Thus, x O n for all n N and hence x O, which shows that E O. On the other hand, if x O n then d(x, E) = inf y E x y < 1/n and hence there exists y n E such that x y n < 1/n. Therefore, if x O then for all n N there exists y n E such that x y n < 1/n. Note that the sequence y n converges to x by construction and this implies that x E since E is compact (and hence it is closed). Thus we conclude that O E and it follows that O = E. It remains to show that m(o 1 ) <. We will do so by showing that O 1 is bounded and the conclusion will follow since every bounded measurable set has a finite measure. Since E is compact it is bounded and thus it is contained in some ball B r where r is the radius of the ball. Consider now B r+2 which is a ball of radius r + 2 centred at the same point as B r. We claim that O 1 B r+2, that is no point of O 1 lies outside of B r+2. For a contradiction, assume x Br+2 c O 1. In this case we must have that d(x, B r ) 2 since d(b r, Br+2) c = inf z y = 2 and infinum is taken over all y B r, x Br+2. c However, since E B r and x O 1 we have that 1 > d(x, E) d(x, B r ) 2 which is a contradiction. Therefore, O 1 is bounded and the proof is complete. (b) We give an example when conclusion in (a) fails for E which is closed and unbounded or for E which is open and bounded. Example 1. We first give an example when conclusion in (a) fails when E is closed and unbounded. First consider E = N. Note that E is closed in R since its compliment (, 0) k=0 (k, k + 1) which is open (as a union of open sets). Furthermore, the set E is unbounded, since any ball (interval) in R contains finitely many natural numbers and hence can not contain the whole E. We notice that for an arbitrary positive ɛ we can cover E with cubes [k ɛ, k + ɛ ]. That is, E 2 k+1 2 k+1 k=0 [k ɛ, k + ɛ ] for any ɛ > 0. 2 k+1 2 k+1 Therefore, by monotonicity and subaddivity we have m(e) k=0 m([k ɛ, k + ɛ ]) 2 k+1 2 k+1 k=0 ɛ2 k = 2ɛ and since ɛ was arbitrary we conclude that m(e) = 0. On the other hand, we have O n = {x : d(x, E) < 1/n} = k=0 (k 1/n, k + 1/n). For all n > 1 this

6 6 VITALY KUZNETSOV union is disjoint and we can use additivity to write m(o n ) = k=0 2/n >. Therefore, m(e) = 0 lim n m(o n ) as desired. Example 2. Now we give an example when conclusion in (a) fails with E being open and bounded. Since Q is countable let q 1, q 2, q 3,... be an enumeration of Q [0, 1]. We define E = (q k 1, q 2 k+2 k + 1 ). We note that E is open as a union of open intervals 2 k+2 and it is bounded since E [ 1, 2]. Furthermore, by subadditivity m(e) m(q k 1, q 2 k+2 k + 1 ) = 2 k+2 2 k 1 = 1/2. On the other hand, since Q [0, 1] is dense in [0, 1], we know that for any x [0, 1] there is q Q [0, 1] such that x q < 1/n. In other words, d(x, E) < 1/n for any x [0, 1] which implies that [0, 1] O n for all n. Therefore, by monotonicity 1 = m([0, 1]) m(o n ) for all n, which implies that 1 lim n m(o n ). Thus, m(e) 1/2 < 1 lim n m(o n ) as desired.

Homework 1 Real Analysis

Homework 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 information

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

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

More information

Real Variables: Solutions to Homework 3

Real Variables: Solutions to Homework 3 Real Variables: Solutions to Homework 3 September 3, 011 Exercise 0.1. Chapter 3, # : Show that the cantor set C consists of all x such that x has some triadic expansion for which every is either 0 or.

More information

Math 172 HW 1 Solutions

Math 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 information

MATH 202B - Problem Set 5

MATH 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 information

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

Indeed, 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 information

Lebesgue Measure and The Cantor Set

Lebesgue Measure and The Cantor Set Math 0 Final year project Lebesgue Measure and The Cantor Set Jason Baker, Kyle Henke, Michael Sanchez Overview Define a measure Define when a set has measure zero Find the measure of [0, ], I and Q Construct

More information

Measures and Measure Spaces

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

More information

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

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

More information

consists of two disjoint copies of X n, each scaled down by 1,

consists of two disjoint copies of X n, each scaled down by 1, Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant

More information

II - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define

II - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define 1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1

More information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

More information

Topological properties of Z p and Q p and Euclidean models

Topological 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 information

Lebesgue Measure on R n

Lebesgue 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 information

THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE

THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY by arxiv:170109087v1 [mathca] 9 Jan 017 MAGNUS D LADUE 0 Abstract In [1] Grossman Turett define the Cantor game In [] Matt Baker proves several results

More information

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even. 1. Show that if A and B are countable, then A B is also countable. Hence, prove by contradiction, that if X is uncountable and a subset A is countable, then X A is uncountable. Solution: Suppose A and

More information

Measures. Chapter Some prerequisites. 1.2 Introduction

Measures. 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 information

Real Analysis Notes. Thomas Goller

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

More information

Solutions to Tutorial 8 (Week 9)

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

More information

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

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

More information

Chapter 4. Measure Theory. 1. Measure Spaces

Chapter 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

Introduction to Real Analysis Alternative Chapter 1

Introduction 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 information

Math 426 Homework 4 Due 3 November 2017

Math 426 Homework 4 Due 3 November 2017 Math 46 Homework 4 Due 3 November 017 1. Given a metric space X,d) and two subsets A,B, we define the distance between them, dista,b), as the infimum inf a A, b B da,b). a) Prove that if A is compact and

More information

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6 MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction

More information

Introduction to Hausdorff Measure and Dimension

Introduction 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 information

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

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

More information

arxiv: v2 [math.ca] 4 Jun 2017

arxiv: v2 [math.ca] 4 Jun 2017 EXCURSIONS ON CANTOR-LIKE SETS ROBERT DIMARTINO AND WILFREDO O. URBINA arxiv:4.70v [math.ca] 4 Jun 07 ABSTRACT. The ternary Cantor set C, constructed by George Cantor in 883, is probably the best known

More information

Spaces of continuous functions

Spaces of continuous functions Chapter 2 Spaces of continuous functions 2.8 Baire s Category Theorem Recall that a subset A of a metric space (X, d) is dense if for all x X there is a sequence from A converging to x. An equivalent definition

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

(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 information

Mid Term-1 : Practice problems

Mid Term-1 : Practice problems Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to

More information

The Lebesgue Integral

The Lebesgue Integral The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters

More information

M17 MAT25-21 HOMEWORK 6

M17 MAT25-21 HOMEWORK 6 M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 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 information

FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS

FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS MIDTERM SOLUTIONS. Let f : R R be the map on the line generated by the function f(x) = x 3. Find all the fixed points of f and determine the type of their

More information

Real Analysis Chapter 1 Solutions Jonathan Conder

Real Analysis Chapter 1 Solutions Jonathan Conder 3. (a) Let M be an infinite σ-algebra of subsets of some set X. There exists a countably infinite subcollection C M, and we may choose C to be closed under taking complements (adding in missing complements

More information

CHAPTER I THE RIESZ REPRESENTATION THEOREM

CHAPTER I THE RIESZ REPRESENTATION THEOREM CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals

More information

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ALEXANDER KUPERS Abstract. These are notes on space-filling curves, looking at a few examples and proving the Hahn-Mazurkiewicz theorem. This theorem

More information

Chapter 2 Metric Spaces

Chapter 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 information

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Chapter 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 information

Lebesgue Measure on R n

Lebesgue 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 information

Chapter 1.6, Page 37 Problem 2: (a) Prove that x is in the Cantor set iff x has a ternary expansion that uses only 0 s and 2 s.

Chapter 1.6, Page 37 Problem 2: (a) Prove that x is in the Cantor set iff x has a ternary expansion that uses only 0 s and 2 s. Chapter.6, Page 37 Problem : (a) Prove that x is in the Cantor set iff x has a ternary expansion that uses only 0 s and s. (b) The Cantor-Lebesgue function is defined on the Cantor set by writing x s ternary

More information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem 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 information

Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that

Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall 2014 Problem. 1 Give an example of a mapping f : X Y such that 1. f(a B) = f(a) f(b) for some A, B X. 2. f(f 1 (A)) A for

More information

JORDAN CONTENT. J(P, A) = {m(i k ); I k an interval of P contained in int(a)} J(P, A) = {m(i k ); I k an interval of P intersecting cl(a)}.

JORDAN CONTENT. J(P, A) = {m(i k ); I k an interval of P contained in int(a)} J(P, A) = {m(i k ); I k an interval of P intersecting cl(a)}. JORDAN CONTENT Definition. Let A R n be a bounded set. Given a rectangle (cartesian product of compact intervals) R R n containing A, denote by P the set of finite partitions of R by sub-rectangles ( intervals

More information

CHAPTER 8: EXPLORING R

CHAPTER 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 information

Spring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures

Spring 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 information

Iowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v

Iowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v Math 501 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 015 Exam #1 Solutions This is a take-home examination. The exam includes 8 questions.

More information

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

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

More information

Quick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1

Quick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1 Quick Tour of the Topology of R Steven Hurder, Dave Marker, & John Wood 1 1 Department of Mathematics, University of Illinois at Chicago April 17, 2003 Preface i Chapter 1. The Topology of R 1 1. Open

More information

MAT 544 Problem Set 2 Solutions

MAT 544 Problem Set 2 Solutions MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.

More information

Maths 212: Homework Solutions

Maths 212: Homework Solutions Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then

More information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

More information

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

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

More information

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,

More information

1.4 Outer measures 10 CHAPTER 1. MEASURE

1.4 Outer measures 10 CHAPTER 1. MEASURE 10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets

More information

REAL ANALYSIS I HOMEWORK 4

REAL ANALYSIS I HOMEWORK 4 REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =

More information

Measure Theory and Lebesgue Integration. Joshua H. Lifton

Measure Theory and Lebesgue Integration. Joshua H. Lifton Measure Theory and Lebesgue Integration Joshua H. Lifton Originally published 31 March 1999 Revised 5 September 2004 bstract This paper originally came out of my 1999 Swarthmore College Mathematics Senior

More information

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning

More information

+ ε /2N) be the k th interval. k=1. k=1. k=1. k=1

+ ε /2N) be the k th interval. k=1. k=1. k=1. k=1 Trevor, Angel, and Michael Measure Zero, the Cantor Set, and the Cantor Function Measure Zero : Definition : Let X be a subset of R, the real number line, X has measure zero if and only if ε > 0 a set

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

3 COUNTABILITY AND CONNECTEDNESS AXIOMS 3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first

More information

MORE ON CONTINUOUS FUNCTIONS AND SETS

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

More information

2 Topology of a Metric Space

2 Topology of a Metric Space 2 Topology of a Metric Space The real number system has two types of properties. The first type are algebraic properties, dealing with addition, multiplication and so on. The other type, called topological

More information

FUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as

FUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=

More information

MT804 Analysis Homework II

MT804 Analysis Homework II MT804 Analysis Homework II Eudoxus October 6, 2008 p. 135 4.5.1, 4.5.2 p. 136 4.5.3 part a only) p. 140 4.6.1 Exercise 4.5.1 Use the Intermediate Value Theorem to prove that every polynomial of with real

More information

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

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

More information

MATHS 730 FC Lecture Notes March 5, Introduction

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

More information

Chapter 1 The Real Numbers

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

More information

We 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

We 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 information

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

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

More information

Math 117: Topology of the Real Numbers

Math 117: Topology of the Real Numbers Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few

More information

DRAFT MAA6616 COURSE NOTES FALL 2015

DRAFT MAA6616 COURSE NOTES FALL 2015 Contents 1. σ-algebras 2 1.1. The Borel σ-algebra over R 5 1.2. Product σ-algebras 7 2. Measures 8 3. Outer measures and the Caratheodory Extension Theorem 11 4. Construction of Lebesgue measure 15 5.

More information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

More information

Continuum Probability and Sets of Measure Zero

Continuum Probability and Sets of Measure Zero Chapter 3 Continuum Probability and Sets of Measure Zero In this chapter, we provide a motivation for using measure theory as a foundation for probability. It uses the example of random coin tossing to

More information

Real Analysis Problems

Real Analysis Problems Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.

More information

Continuity. Matt Rosenzweig

Continuity. Matt Rosenzweig Continuity Matt Rosenzweig Contents 1 Continuity 1 1.1 Rudin Chapter 4 Exercises........................................ 1 1.1.1 Exercise 1............................................. 1 1.1.2 Exercise

More information

Defining the Integral

Defining 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 information

FUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions

FUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result

More information

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

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter 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 information

Solutions to Homework Assignment 2

Solutions to Homework Assignment 2 Solutions to Homework Assignment Real Analysis I February, 03 Notes: (a) Be aware that there maybe some typos in the solutions. If you find any, please let me know. (b) As is usual in proofs, most problems

More information

Math212a1413 The Lebesgue integral.

Math212a1413 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 information

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1 Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,

More information

COUNTABLE PRODUCTS ELENA GUREVICH

COUNTABLE PRODUCTS ELENA GUREVICH COUNTABLE PRODUCTS ELENA GUREVICH Abstract. In this paper, we extend our study to countably infinite products of topological spaces.. The Cantor Set Let us constract a very curios (but usefull) set known

More information

REVIEW OF ESSENTIAL MATH 346 TOPICS

REVIEW OF ESSENTIAL MATH 346 TOPICS REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

MATS113 ADVANCED MEASURE THEORY SPRING 2016

MATS113 ADVANCED MEASURE THEORY SPRING 2016 MATS113 ADVANCED MEASURE THEORY SPRING 2016 Foreword These are the lecture notes for the course Advanced Measure Theory given at the University of Jyväskylä in the Spring of 2016. The lecture notes can

More information

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.

More information

Numerical Sequences and Series

Numerical Sequences and Series Numerical Sequences and Series Written by Men-Gen Tsai email: b89902089@ntu.edu.tw. Prove that the convergence of {s n } implies convergence of { s n }. Is the converse true? Solution: Since {s n } is

More information

Measure and Category. Marianna Csörnyei. ucahmcs

Measure and Category. Marianna Csörnyei.   ucahmcs Measure and Category Marianna Csörnyei mari@math.ucl.ac.uk http:/www.ucl.ac.uk/ ucahmcs 1 / 96 A (very short) Introduction to Cardinals The cardinality of a set A is equal to the cardinality of a set B,

More information

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4 Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement

More information

U e = E (U\E) e E e + U\E e. (1.6)

U e = E (U\E) e E e + U\E e. (1.6) 12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy

More information

MASTERS EXAMINATION IN MATHEMATICS

MASTERS EXAMINATION IN MATHEMATICS MASTERS EXAMINATION IN MATHEMATICS PURE MATH OPTION, Spring 018 Full points can be obtained for correct answers to 8 questions. Each numbered question (which may have several parts) is worth 0 points.

More information

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is

More information

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2 Solution Sangchul Lee February 19, 2018 1 Solutions of Homework 1 Problem 1.2 Let A and B be nonempty subsets of R + :: {x R : x > 0} which are bounded above. Let us define C = {xy : x A and y B} Show

More information

Construction of a general measure structure

Construction of a general measure structure Chapter 4 Construction of a general measure structure We turn to the development of general measure theory. The ingredients are a set describing the universe of points, a class of measurable subsets along

More information

Lebesgue Integration on R n

Lebesgue Integration on R n Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration

More information

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT INTEGRATION CHAPTER ONE CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed

More information

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February

More information

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

More information

1 Lecture 4: Set topology on metric spaces, 8/17/2012

1 Lecture 4: Set topology on metric spaces, 8/17/2012 Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture : Set topology on metric spaces, 8/17/01 Definition 1.1. Let (X, d) be a metric space; E is a subset of X. Then: (i) x E is an interior

More information