Supplementary Notes for W. Rudin: Principles of Mathematical Analysis

Size: px
Start display at page:

Download "Supplementary Notes for W. Rudin: Principles of Mathematical Analysis"

Transcription

1 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 especially since Chapter is quite condensed. These notes include solutions of Exercises 3 6, Chapter because these help in understanding the abstract compactness notion in.3, and makes it more useful in analysis. Since the course is preceded by which deals with the techniques of differential equations without proofs it seems very desirable to go through Exercise 7 in Ch. 5 and Exercise 5, Ch. 7. This gives concrete applications of the general theory in the course, consolidating For reasons of time some omissions seem advisable. This includes the Appendix in Ch., and the section on Rectifiable Curves in Ch. 6. Also taking α(x) = x throughout Chapter 6 seems practical. The notions are then familiar and quite a bit of time is saved. The book has a number of exercises of considerable theoretical interest. However, they are sometimes too difficult to assign to students and as a result they are often omitted altogether. Occasional unproved statements in the text may also baffle the beginner. It is the purpose of these notes to remedy this situation to some extent. Some of this material, like Lusin s Example, related to 3.44, is of course optional. Chapter On p. we define for each x R, x > 0 the set E = {n 0 + n n k 0 k : k = 0,,...}, where for each k, n k is the largest integer such that Proposition. x = supe. n 0 + n n k 0 k x. (Proof not given on p.): We must prove that if y < x then y is not an upper bound of E. Let r k = x [ n 0 + n n ] k 0. k Then r k 0. We shall prove by induction on k that () r k < 0 k. This is clear if k = 0. Assume () for k. If n k+ < 9 then r k+ < 0 k+ (proving ()) because otherwise we could replace n k+ by n k+ +. If n k+ = 9 then r k+ = r k 9 0 k+ < 0 k 9 0 k+ = 0 k+

2 proving () in this case too. Now choose p Q such that 0 < p < x y and then an integer k > 0 such that 0 k < p < x y. Then y < x 0 k < x r k. Since x r k E, y is not an upper bound of E. The following exercise is an analog of Exercise 5. Exercise 5a. Let A be a bounded set of real number x > 0 and A = {x : x = A}. Then () supa = /inf(a ). Proof: The upper bounds of A are just the reciprocals of the lower bounds of A. The least of the former are thus the reciprocals of the largest of the latter. Thus () holds. Exercise 6. Solution (a) If m > 0 then p > 0 and (3) (b m ) q = (b p ) n = b mq. If m < 0 then p < 0 and b m = ( b) m so by (3) (b m ) q = ( ( b) m ) q = ( b) mq = b mq. Similarly (b p ) n = b np. Thus (b m ) n and (b p ) q have the same nq th power so must coincide. (b) By definition if p,q J, α p q = (α p ) q so (4) ( α p q ) q = α p. Let r = m/n, s = p/q and raise the numbers b m n + q = b mq+np nq and b m n b p q to the nq th power. Using (4) the result is the same in both cases. By the uniqueness in Theorem., (5) b r+s = b r b s. (c) Since b > we have b m n > for m,n J because b m n leads to b m. Thus if r Q, t Q,t r we have by (5) (6) b r = b t b r t b t so supb(r) = b r. Hence we define for x R We shall prove b x = supb(x). (7) sup b t = inf t x,t Q r x,r Q br.

3 We have by (6). Let L be the difference between the right and left side in (7). Suppose L > 0. Select n J so large that b x ( b n ) < L (see p. 58). Then select r,t Q such that x < r < n + x, x n < t < x. Then r t < n so b r b t = b t (b r t ) b x (b r t ) < L, which is a contradiction, proving (7). (d) We have supb(x + y) = sup{b t : t Q, t x + y}. The last set contains {b r+s : r x,s y,r,s Q} so by (5) and since r and s are independent this equals Hence supb(x + y) sup{b r b s : r x,s y}, sup{b r : r x}sup{b s : s y}. (8) b x+y b x b y. By Exercise 5a above and (7) (s,t being in Q) (9) b x = supb t = t x If b x b y were < b x+y then by (8) (9) This contradiction proves b x+y = b x b y. Chapter inf t x b t = inf s x b s = b x. b y = b x (b x b y ) < b x (b x+y ) b y. In connection with Theorem. the following result is useful. The proof is quite similar. Theorem.a If E X and E α X for each α, then If f : X Y is a mapping then If F Y, F β Y for each β then E ( α E α ) = α (E E α ), E ( α E α ) = α (E E α ). f( α E α ) = α f(e α ), f( α E α ) α f(e α ). f ( β F β ) = β f (F β ), f ( β F β ) = β f (F β ) f (F c ) = (f (F)) c, f(f (F)) F, E f (f(e)). Remark There are examples such that 3

4 (i) f(a B) f(a) f(b), (ii) f(e c ) (f(e)) c, (iii) f(f (F)) F, (iv) f (f(e)) E. For (i) take a case when A B =. For (ii) take a case when f maps X onto Y. For (iii) take a case when F = Y and f a constant map. For (iv) take a case when E is a single point and f a constant map. Notation If A X, B X, we write A B = {x A : x / B}. Theorem.7 (Improved version.) Let X be a metric space and E X. Then (a) p E if and only if each neighborhood N of p intersects E (i.e., N E ). (b) E is closed. (c) E = E if and only if E is closed. (d) E F for every closed set F X such that E F. (e) Anticipating Definition 3. we have Proof p E if and only if there exists a sequence (p n ) E such that p n p. (a) If p E then either p E or p is a limit point of E. In both cases each neighborhood N of p intersects E. On the other hand suppose p / E. Then p / E. Thus there exists a neighborhood N of p such that N (E p) =. But p / E so N E = proving a). (b) If p / E then by a) there exists a neighborhood N of p such that N E =. We claim that N E = (which would show X E open). Otherwise there is a q E N. But then N is an open set containing q so by a) N E which is a contradiction. (c) If E = E then by b), E is closed. If E is closed then by definition E E so E E. (d) If F is closed and F E, then F F so F E whence F E. (e) Let p E. Using a) we can for each n J pick a point p n N /n (p) E. Then d(p n,p) < n so p n p. On the other hand if (p n ) is a sequence in E such that p n p then p E by a). Theorem.37 (Improved version.) A space X is compact if and only if each infinite subset has a limit point. The only if part is proved in the text. The if part is Exercise 6 which we shall prove along with Exercises 3, 4. Exercise 3(Stronger version.) Let X be a metric space. Then X is separable if and only if X has a countable base. 4

5 Proof: First assume X has a countable dense subset P = {p,p,...}. Consider the countable collection N of neighborhoods N r (p i ), r Q, i J. Let G be open and x G. Then N ρ (x) G for some ρ Q. Since P is dense in X, i.e., P=X, P N ρ/ (x) contains some p i. Then d(p i,x) < ρ/ so x N ρ/ (p i ). If y N ρ/ (p i ) then d(x,y) d(x,p i )+d(p i,y) < ρ so y G. Thus x N ρ/ (p i ) G so G is the union of some members of N. Thus N is a countable base. Conversely, suppose {V i } i J is any countable base for X. Pick x i V i for each i and let F = {x,x,...}. Then F = X because otherwise the open set X F would be the union of some of the V i contradicting x i F. Exercise 4. Let X be a metric space in which each infinite subset has a limit point. Then X is separable. Proof: Let δ > 0 and let x X. Pick x X (if possible) such that d(x,x ) δ. Having chosen x,...,x j choose x j+ (if possible) such that d(x i,x j+ ) δ for i j. This process has to stop because otherwise the set E = (x,x,...) would be an infinite subset of X without limit points. Consequently X is covered by finitely many sets N δ (x i ). Now take δ = n (n =,,...). The construction gives: n =, x,...,x j X = j i= N (x i ) n =, x,...,x j X = j i= N (x i ), etc. Let S consist of these centers x ki k J, i j k. Then S is dense in X (i.e., S = X). In fact let x X and N r (x) any neighborhood of x. Choose k such that k < r and x ki such that x N (x ki ). Then x ki N (x) N r (x) so N r (x) S as claimed. k k Exercise 6. Let X be a metric space in which every infinite subset has a limit point. Then X is compact. Proof: By Exercises 3 and 4, X has a countable base {B i } i J. Let {G α } α A be any open covering of X. If x X then x G α for some α and thus there is a B i such that x B i G α. Let {B i } i I be the sub-collection of {B i } i J consisting of those B i which are contained in some G α. For each B i (i I) let G i be one of the G α containing B i. Then (0) X = i I G i. Thus we have obtained a countable subcovering of the {G α}α A. We shall now show that a suitable finite collection of the G i covers X, thus proving the compactness of X. Let I = {i,i,...}. If no finite sub-collection of {G i } i I covers X then for each n whereas by (0) F n = (G i G in ) c, () F n =. 5

6 Of course we have () F F F n. We select x i F i for each i and let E = {x,x,...}. For each x E let N x denote the set of indices p for which x F p. Then N x = J. x E If E were finite some N x would be infinite and x would belong to F p for infinitely many p whence by () x would belong to F p for all p. This would contradict () so we conclude that E is an infinite subset of X. By assumption it has a limit point z. Let N be any neighborhood of z. Then N (E z) so N E. Thus N intersects some F n so by () N F. Since N was arbitrary we have z F. But F is closed so z F. Now consider the sequence F F 3 F n (with F removed) and E = E x = {x,x 3,...}. The point z is still a limit point of E so by the argument above z F. Continuing we deduce z F i contradicting (). This proves that X is compact. Corollary. Let X be a metric space. The following conditions are equivalent: (i) X is compact. (ii) Each sequence (x n ) in X has a convergent subsequence. (iii) Each infinite subset of X has a limit point. Proof: (i) (ii): This is Theorem 3.6(a). (ii) (iii): Let E X be an infinite subset. Let (x n ) be a sequence of different points in E. By (ii) it has a subsequence (x ni ) converging to a limit x. Then each N r (x) contains infinitely many x ni. Since x ni = x for at most one i this implies N r (x) (E x) so x is a limit point of E. Part (iii) (i) was Exercise 6. Chapter 3 Exercise. Every sequence (x n ) in R has a monotone subsequence. Proof: This is clear if (x n ) is unbounded. If x n is bounded it has a subsequence converging to say x. Considering x n x we may assume x = 0. Considering signs we may assume all terms positive. A positive sequence converging to 0 clearly has a decreasing subsequence. Exercise 3. Solution: We have s =, s n+ = + s n. (s n ) is increasing by induction: If s n+ s n 0 then Also s n < by induction since + <. s n+ s n+ = ( + s n+ ) ( + s n ) 0. 6

7 Exercise 6. Solution: We have α > 0, x > α and ) x n+ = (x n + α n =,3,.... xn Show (x n ) is decreasing and that x n α. For this note that ( x n+ = xn ) α ) xn + α, xn x n+ = (x n αxn. The first relation shows by induction that x n > α and them the second relation shows that (x n ) is decreasing. The definition then shows x n α. Exercise 7. Solution: Here one proceeds similarly using the relations Lusin s Example (Compare Theorem 3.44.) x n+ α = ( α )( α x n ) + x n x n+ x n = (α x + α + x n). n There exists a power series Σa n z n with a n 0 and radius of convergence, diverging everywhere on the circle z =. Proof: Let g m (z) = + z + z m h m (z) = g m (z) + z m g m (e πi/m z) + + z mk g m (e πik/m z) + z m(m ) g m (e πi(m )/m z). Notice that when the individual terms in h m (z) are written out as polynomials in z there is no overlap. Thus h m (z) becomes a polynomial in z (of degree (m+)(m )) in which each coefficient has absolute value. Also if e iϕ The graph of sin x shows Thus Consider now the circular arc g m (e iϕ ) = emiϕ e iϕ = sin mϕ sin ϕ. π x sin x x for 0 x π. g m (e iϕ ) π mϕ ϕ = π m for ϕ π m. A = {e iϕ : ϕ π m }. For each point e iϕ on z = we can find an integer k such that e πki m e iϕ A. In fact the arcs e πki m A (0 k m) cover the circle. It follows that ) (3) Max 0 k m g m ( e πk m i z m for z =. π 7

8 Consider now the series m= m z + + +(m ) h m (z) = n a n z n. Again there is no overlap for different m because the m th term contains powers of z of degree at most (m ) + (m + )(m ) which is less than m which is the lowest degree of z appearing in the (m + ) th term. Now suppose the series did converge at a point z with z =. Then the sequence of terms a n z n must converge to 0. This remains true for each subsequence. The absence of overlaps noted thus implies lim m This would contradict (3). ( ) z + + +(m ) Max 0 k m z mk g m e πki m z = 0. m Corollary. There exists a power series n c nz n with radius of convergence which converges for z = but diverges everywhere else on the circle z =. Proof: With Σa n z n as in Lusin s example put g(z) = a 0 a 0 z + a z a z 3 + a z 4 a z 5 +. Clearly we have convergence for z =. If we had convergence at a point z then the series would also converge and so would the series a 0 ( z) + a z ( z) + a 0 + a z + a z 4 + contradicting the theorem. Exercise 9. Solution (cf. Mattuck: Introduction to Analysis). The Cantor set C is given as follows: C 0 = [0,], C = C 0 ( 3, ) 3, C = C ( 9, ( 9) 7 9, 8 9), etc. and C = n C n. Now represent each x = C 0 by infinite decimal expansion with base 3, i.e., x = α α = α 3 + α 3 +. Here we avoid as much as possible: we replace each ternary decimal ending with by an equivalent ternary decimal ending with an infinite string of. Then 0 if 0 x 3 α = if 3 < x < 3 if 3 x Thus C = {x C 0 : α }. Similarly α is found by taking the interval of length /3 containing x and dividing it into three subintervals of length /9. Then α = 0, or according to which of. 8

9 these intervals contain x just as above. Thus Continuing in this way we see that C = {x C 0 : α,α }. C = {x x = α 3 + α α n 3 n +, each α i }. Exercise 4. (Completion of a metric space.) We prove Part d) before Part c). (a) Easy from the definition. (b) If {p n } {p n} and {q n } {q n} then and exchanging p n and p n,q n and q n d(p m,q n) d(p n,p n ) + d(p n,q n ) + d(q n,q n) d(p n,q n) d(p n,q n ) d(p n,p n ) + d(q n,q n ) so (P,Q) is well defined. Note that if (P,Q) = 0 then {p n } {q n } so P = Q. The inequality (P,R) (P,Q) + (Q,R) is easy. (d) With the notation indicated we have (P p,p q ) = lim d(p,q) = d(p,q), n so the mapping ϕ : p P p from X into X is distance preserving. If {p n } P then by b) (P,P p ) = lim d(p,p n). n In particular, (P pm,p) = lim d(p m,p n ) n so since {p n } is Cauchy sequence, (4) lim m (P p m,p) = 0. Thus given any Cauchy sequence {p n } and ǫ > 0 there is a constant sequence whose equivalence class is within ǫ of the equivalence class of {p n }. This means that ϕ(x) is dense in X. (c) X is complete. Let P,P,... be a Cauchy sequence in X. Given ǫ > 0 choose for each n (by (4)) a p n such that (P pn,p n ) < ǫ. We now prove that P p,p p,... is a Cauchy sequence in X. In fact (P pm,p pr ) (P pm,p m ) + (P m,p r ) + (P r,p pr ) ǫ + (P m,p r ) + ǫ. The left hand side equals d(p m,p r ) so the inequality shows that (p n ) is a Cauchy sequence in X. Let P denote its equivalence class. Since (P,P m ) (P,P pm ) + (P pm,p m ) we deduce from (4) that (P,P m ) 0 proving c). (e) If X was complete to begin with let P X and select {p n } P. Then {p n } is a Cauchy sequence in X so p n p for some p X. Then {p} {p n }, so P p = P, i.e., ϕ(p) = P. 9

10 Chapter 4 Remark 4.3. Given any countable subset E of (a, b) there exists a function f monotonic on (a, b) discontinuous at each point of E and at no other point of (a,b). In fact if n c n is convergent and c n > 0 then the text states that f(x) = c n, x n<x where E consists of the points x,x,..., is such a function. We shall prove this in the following steps: (a) f is increasing. (b) f is continuous at each x (a, b) outside E. (c) f(x) = f(x ) for all x. (d) f(x + n ) f(x n ) = c n. (a) This part is obvious. (b) Here we separate two cases. (i) x / E and x is not a limit point of E. (ii) x / E and x is a limit point of E. In case (i) there is a neighborhood N δ (x) such that N δ (x) E =. Then f(y) = x n<y c n is constant for y (x δ,x + δ), hence continuous at x. In case (ii) let ǫ > 0 and N a number such that N+ c n < ǫ. Let δ > 0 be such that 0 < δ < x x n for n =,...,N. Then if x k (x δ,x + δ) we have k > N. Let y (x δ,x + δ). Then f(y) = c n, f(x) = c n. x n<y Since x k (x δ,x + δ) implies k > N the sums above differ by at most k>n c k which is < ǫ. Thus f(x) f(y) < ǫ if y (x δ,x + δ) so f is continuous at x. (c) Here the relation remains to be proved for x = x n E. Again we consider the two cases (i) x n is an isolated point of E. (ii) x n is a limit point of E. x n<x 0

11 In case (i) choose δ > 0 such that N δ (x n ) E = x n. Then if x n δ < y < x n we have f(x n ) = c k = c k = f(y) x k <x n x k <y so f(x n ) = f(x n ). In case (ii) let ǫ > 0 be given and choose N such that k>n c k < ǫ and then choose δ > 0 such that 0 < δ < x n x m for m =,,...,N, m n. Then if x k E (x n δ,x n ) we have k > N. Thus if y (x n δ,x n ) f(x n ) = c k = c k + x k <x n x k <y y x k <x n c k f(y) + k>n c k f(y) + ǫ. Hence 0 f(x n ) f(y) ǫ so f(x n ) = f(x n ) also in this case. (d) Again we consider two separate cases: (i) x n isolated in E. (ii) x n limit point of E. so In case (i) select δ > 0 such that N δ (x n ) E =. Then if y (x n,x n + δ) f(y) = c k = c n + c k = c n + f(x n ) x k <y x k <x n f(x + n ) = c n + f(x n ) = c n + f(x n ). In the case (ii) let ǫ > 0 be given and select N such that k>n c k < ǫ. Again select δ > 0 such that δ < x n x m for m =,,...,N, m n. If x k E (x n,x n + δ) then k > N. Thus if y (x n,x n + δ) so again f(x + n ) = f(x n) + c n. f(y) = c k = c k + c n + x k <y x k <x n = f(x n ) + c n + η where η < ǫ x n<x k <y c k Exercise 5. A continuous open mapping of R into R is monotonic.

12 Proof: First we show that f is one-to-one. If not suppose x < x and f(x ) = f(x ). Let y and z be points in [x,x ] where f takes its maximum and minimum, respectively. If y (x,x ) then f(y) is an end point of f((x,x )) contradicting the openness of f. Similarly z (x,x ) is impossible. Thus both y and z are end points of [x,x ] so since f(x ) = f(x ), f is constant in [x,x ], contradicting the openness of f. Thus f is one-to-one. Consider any x < x and assume f(x ) < f(x ). We shall prove f increasing on [x,x ]. If not, select x 3 < x 4 in the interval such that f(x 3 ) > f(x 4 ). Put y i = f(x i ) ( i 4). If y 3 y then y 4 < y so by Theorem 4.3 f takes the value y 3 on (x 4,x ). This contradicts the one-to-one property. Thus y 3 > y > y so f takes the value y on (x,x 3 ) contradicting x 3 < x. The argument applies to x = n, x = n and shows f monotonic on ( n,n). Hence f is monotonic on R. Chapter 5 Exercise. (Generalized.) Let X be a complete metric space and f : X X a contractive map, i.e., there is a constant k < such that d(f(x),f(y)) k d(x,y) for all x,y X. Then f has a fixed point. Proof (Richard Palais): By the triangle inequality so d(x,y) d(x,f(x)) + d(f(x),f(y)) + d(f(y),y) d(x, y) [d(x,f(x)) + d(f(y),y)]. k Replace here x by the iterate f (n) (x), y by f (m) (x). Then d(f (n) (x),f (m) (x)) k [d(f(n) (x),f (n+) (x)) + d(f (m) (x),f (m+) (x))] k (kn + k m )d(x,f(x)). Thus for each x X f (n) (x) is a Cauchy sequence and its limit is a fixed point for f. Exercise 5. b) Here one has only x n+ x n (not necessarily x n+ < x n as the text states). In fact the case f(x) = x shows this. In b) one can use the fact that f (x) 0 implies that the curve always lies above its tangent: In fact by the mean value theorem there exists some ξ between x and x and some η between ξ and x such that f(x) [f(x ) + f (x )(x x )] = (f (ξ) f (x ))(x x ) Thus f(x ) 0 and by induction f(x n ) 0. = f (η)(ξ x )(x x ) 0.

13 Chapter 7 Remark on (38) p.54. The sign determination in (38) is made as follows: Consider the intervals I : whose (disjoint) union is the half-open interval 4 m x 4 m δ m t < 4 m x I : 4 m x t < 4 m x + 4 m δ m I : 4 m x 4 m δ m t < 4 m x + 4 m δ m which has length. Exactly one of the intervals I, I contains an integer; if I does we take δ m > 0; if I does we take d m < 0. In the first case the interval and in the second case the interval [4 m x,4 m x + 4 m δ m ) contains no integer [4 m x + 4 m δ m, 4 m x) contains no integer. In both cases ϕ is linear on the interval in question and this results in the crucial fact that γ m = 4 m. Exercise 4. f(x) = (a) If x = 0 series diverges. +n x (b) If x = k for some k J some term is undefined so we have divergence. (c) If k < x < (k+) for some k =,,3 we write Since f(x) = k+ n= + n x + x x +. n k+ (5) (k + ) < x < k we have n + x n (k + ) and k+ converges. By Theorem 7.0 we have uniform convergence on each interval n (k+) (5). (d) If < x < we write (6) f(x) = + x + x Again n +. x n + x n x n so by Theorem 7.0 we have uniform convergence on < x <. 3

14 (e) Writing f in the form (6) it is clear that the series n + x converges uniformly on (0, ) since n + x > n. But what about the series (7) + n x? For this put f n (x) = n k= +k x. If we had uniform convergence of (7) on (0, ) then by Theorem 7. the sequence (A n ) given by (8) A n = lim x 0 f n (x) would converge. However A n = n so this is not the case. Thus (7) converges uniformly on each interval [α, ), α > 0 but not on (0, ). (f) Since the proofs above always involved absolute values we have absolute convergence except for x = k, (k =,,...) and x = 0. The function f is continuous except at these points. (g) Is f(x) bounded? No, if f(x) < K for all x then for x > 0 so by (8) A n K for each n which is false. f n (x) K for each n Then Exercise 4. To see that f(3 k t 0 ) = a k we write t 0 = k i=0 a i 3 i+ + a k 3 k+ + k+ 3 k t 0 = p + a k 3 + z a i 3 i+. where p is an integer and 0 z 3. If a k = 0 then f(3 k t 0 ) = 0 = a k and if a k = then f(3 k t 0 ) = = a k. Referring now to Exercise 9 in Chapter 3 we see that Φ does indeed map the Cantor set onto the unit square. Exercise 5 (Remark on Part b.) In general if F is a family of functions whose derivatives are uniformly bounded then by the mean-value theorem (5.0) the family F is equicontinuous. This does not quite work here since f n is not differentiable at the points x i = i/n. 4

15 However, we can proceed as follows: Let 0 x < y. Select the smallest i for which x x i and the largest k such that x i+k y. (If y x i the relation f n (x) f n (y) M y x is obvious.) Then f n (x) f n (y) = f n (x) f n (x i ) + f n (x i ) f n (x i+ ) + + f n (x i+k ) f n (y). We can use the mean-value theorem on each difference on the right giving an expression which is bounded by M x y. f n (ξ i)(x x i ) + f n (ξ i+)(x i x i+ ) + + f n (ξ i+k+)(x i+k y) 5

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

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

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

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

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

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

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

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

Structure of R. Chapter Algebraic and Order Properties of R

Structure of R. Chapter Algebraic and Order Properties of R Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions

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

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS MATH. 4433. NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS TOMASZ PRZEBINDA. Final project, due 0:00 am, /0/208 via e-mail.. State the Fundamental Theorem of Algebra. Recall that a subset K

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. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

More information

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists

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

A LITTLE REAL ANALYSIS AND TOPOLOGY

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

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4) Real Analysis - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4) 1 The Real and Complex Number Set: a collection of objects. Proper subset: if A B, then call A a proper subset

More information

CHAPTER 9. Embedding theorems

CHAPTER 9. Embedding theorems CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:

More information

Math 140A - Fall Final Exam

Math 140A - Fall Final Exam Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

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

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1 Solution Sangchul Lee March, 018 1 Solution of Homework 7 Problem 1.1 For a given k N, Consider two sequences (a n ) and (b n,k ) in R. Suppose that a n b n,k for all n,k N Show that limsup a n B k :=

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

P-adic Functions - Part 1

P-adic Functions - Part 1 P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant

More information

Analysis Qualifying Exam

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

More information

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

Integration on Measure Spaces

Integration on Measure Spaces Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

More information

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

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

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

Math 5210, Definitions and Theorems on Metric Spaces

Math 5210, Definitions and Theorems on Metric Spaces Math 5210, Definitions and Theorems on Metric Spaces Let (X, d) be a metric space. We will use the following definitions (see Rudin, chap 2, particularly 2.18) 1. Let p X and r R, r > 0, The ball of radius

More information

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010 Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010 1. Real Number System 1.1. Introduction. Numbers are at the heart of mathematics. By now you must be fairly familiar with

More information

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More information

MAT1000 ASSIGNMENT 1. a k 3 k. x =

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

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

More information

Immerse Metric Space Homework

Immerse Metric Space Homework Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps

More information

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19 Introductory Analysis I Fall 204 Homework #9 Due: Wednesday, November 9 Here is an easy one, to serve as warmup Assume M is a compact metric space and N is a metric space Assume that f n : M N for each

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

convergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known

convergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known https://sites.google.com/site/anilpedgaonkar/ profanilp@gmail.com 218 Chapter 5 Convergence and Integration In this chapter we obtain convergence theorems. Convergence theorems will apply to various types

More information

Exam 2 extra practice problems

Exam 2 extra practice problems Exam 2 extra practice problems (1) If (X, d) is connected and f : X R is a continuous function such that f(x) = 1 for all x X, show that f must be constant. Solution: Since f(x) = 1 for every x X, either

More information

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

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

More information

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

ADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE

ADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE ADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE ANDREAS LEOPOLD KNUTSEN Abstract. These notes are written as supplementary notes for the course MAT11- Real Analysis, taught at the University

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

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

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions Math 50 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 205 Homework #5 Solutions. Let α and c be real numbers, c > 0, and f is defined

More information

Principle of Mathematical Induction

Principle of Mathematical Induction Advanced Calculus I. Math 451, Fall 2016, Prof. Vershynin Principle of Mathematical Induction 1. Prove that 1 + 2 + + n = 1 n(n + 1) for all n N. 2 2. Prove that 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1)

More information

MATH 117 LECTURE NOTES

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

More information

THEOREMS, ETC., FOR MATH 515

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

More information

The Heine-Borel and Arzela-Ascoli Theorems

The Heine-Borel and Arzela-Ascoli Theorems The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them

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

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

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

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

Math 117: Infinite Sequences

Math 117: Infinite Sequences Math 7: Infinite Sequences John Douglas Moore November, 008 The three main theorems in the theory of infinite sequences are the Monotone Convergence Theorem, the Cauchy Sequence Theorem and the Subsequence

More information

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1. Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence

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

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function

More information

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

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

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

Analysis I. Classroom Notes. H.-D. Alber

Analysis I. Classroom Notes. H.-D. Alber Analysis I Classroom Notes H-D Alber Contents 1 Fundamental notions 1 11 Sets 1 12 Product sets, relations 5 13 Composition of statements 7 14 Quantifiers, negation of statements 9 2 Real numbers 11 21

More information

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 4.3.5, 4.3.7, 4.3.8, 4.3.9,

More information

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose

More information

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 15: COMPLETENESS AND CONVEXITY LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other

More information

Notes on Complex Analysis

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

Dynamical Systems 2, MA 761

Dynamical Systems 2, MA 761 Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the

More information

Chapter 3 Continuous Functions

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

More information

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 Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014 Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10

More information

Notes on uniform convergence

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

More information

(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.

(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M. 1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the

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

CHAPTER 1. Metric Spaces. 1. Definition and examples

CHAPTER 1. Metric Spaces. 1. Definition and examples CHAPTER Metric Spaces. Definition and examples Metric spaces generalize and clarify the notion of distance in the real line. The definitions will provide us with a useful tool for more general applications

More information

van Rooij, Schikhof: A Second Course on Real Functions

van Rooij, Schikhof: A Second Course on Real Functions vanrooijschikhofproblems.tex December 5, 2017 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/ van Rooij, Schikhof: A Second Course on Real Functions Some notes made when reading [vrs].

More information

Introduction to Mathematical Analysis I. Second Edition. Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam

Introduction to Mathematical Analysis I. Second Edition. Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam Introduction to Mathematical Analysis I Second Edition Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam Introduction to Mathematical Analysis I Second Edition Beatriz Lafferriere Gerardo Lafferriere

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

CHAPTER 6. Limits of Functions. 1. Basic Definitions

CHAPTER 6. Limits of Functions. 1. Basic Definitions CHAPTER 6 Limits of Functions 1. Basic Definitions DEFINITION 6.1. Let D Ω R, x 0 be a limit point of D and f : D! R. The limit of f (x) at x 0 is L, if for each " > 0 there is a ± > 0 such that when x

More information

Exercises from other sources REAL NUMBERS 2,...,

Exercises from other sources REAL NUMBERS 2,..., Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},

More information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

Metric Spaces Math 413 Honors Project

Metric Spaces Math 413 Honors Project Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only

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

Metric Spaces Math 413 Honors Project

Metric Spaces Math 413 Honors Project Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only

More information

7 Convergence in R d and in Metric Spaces

7 Convergence in R d and in Metric Spaces STA 711: Probability & Measure Theory Robert L. Wolpert 7 Convergence in R d and in Metric Spaces A sequence of elements a n of R d converges to a limit a if and only if, for each ǫ > 0, the sequence a

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

MATH 140B - HW 5 SOLUTIONS

MATH 140B - HW 5 SOLUTIONS MATH 140B - HW 5 SOLUTIONS Problem 1 (WR Ch 7 #8). If I (x) = { 0 (x 0), 1 (x > 0), if {x n } is a sequence of distinct points of (a,b), and if c n converges, prove that the series f (x) = c n I (x x n

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

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

Sets, Functions and Metric Spaces

Sets, Functions and Metric Spaces Chapter 14 Sets, Functions and Metric Spaces 14.1 Functions and sets 14.1.1 The function concept Definition 14.1 Let us consider two sets A and B whose elements may be any objects whatsoever. Suppose that

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

CLASS NOTES FOR APRIL 14, 2000

CLASS NOTES FOR APRIL 14, 2000 CLASS NOTES FOR APRIL 14, 2000 Announcement: Section 1.2, Questions 3,5 have been deferred from Assignment 1 to Assignment 2. Section 1.4, Question 5 has been dropped entirely. 1. Review of Wednesday class

More information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions Summer Jump-Start Program for Analysis, 0 Song-Ying Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)

More information

Problem List MATH 5143 Fall, 2013

Problem List MATH 5143 Fall, 2013 Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was

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

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

Real Analysis - Notes and After Notes Fall 2008

Real Analysis - Notes and After Notes Fall 2008 Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start

More information

Solutions Final Exam May. 14, 2014

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

More information