MATH & MATH INTRODUCTION TO ANALYSIS EXERCISES FALL 2016 & SPRING Scientia Imperii Decus et Tutamen 1

Size: px
Start display at page:

Download "MATH & MATH INTRODUCTION TO ANALYSIS EXERCISES FALL 2016 & SPRING Scientia Imperii Decus et Tutamen 1"

Transcription

1 MATH & MATH INTRODUCTION TO ANALYSIS EXERCISES FALL 2016 & SPRING 2017 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155 Union Circle Denton, Texas office telephone: ; office fax: ; office kallman@unt.edu August 17, Taken from the coat of arms of Imperial College London.

2 Fall 2016 Exercise 1. Prove that A = A, A B = B A, A c B c = A B, (A B) c = A c B = A B c, A (B C) = (A B) (A C), and (A B) C = A (B C). This proves that the set of subsets of a given set U form a commutative ring with identity with * = and + =. Exercise 2. (a, b) = (c, d) if and only if a = c and b = d. Exercise 3. A relation R X X with domain(r) = X is an equivalence relation if and only if R = R 1 = R R. Exercise 4. Let = E R and let s R. Then s = sup(e) = lub(e) if and only if: (i) x s for all x E; (ii) for each ϵ > 0, there exists x E such that x > s ϵ; and s = inf(e) = glb(e) if and only if: (iii) x s for all x E; (iv) for each ϵ > 0, there exists x E such that x < s + ϵ. Exercise 5 (Principle of Strong Induction). Let S N have the following two properties: (i) 1 S; (ii) m + 1 S if m N satisfies r S for all r N with r m. Then S = N. Hint: Use the Well-Ordering Property of N. Exercise 6. Prove the following slight but useful generalization of the Recursion Theorem: Let S be a set, a S, and φ : N S S. Then there exists one and only one function f : N S such that f(1) = a and f(n + 1) = φ(n, f(n)). Exercise 7. Prove the Laws of Exponents. Hint: Fix x, y, and m and induct on n, considering the cases n = 0, n > 0, and n < 0 separately. 1

3 Exercise 8. Let 0 < λ < 1. Let E = {λ n n N}. Prove that glb(e) = 0. Exercise 9. Define s 1 = 1/2 and inductively define s n+1 = s n + 1/2 n+1. Let E = {s n n N}. Find lub(e). Exercise 10. Let x R. Then x = lub({q Q q < x}) = lub({q Q q x}) = glb({q Q q > x}) = glb({q Q q x}). Exercise 11. If x R, let A = {q Q q x} and let B = {q Q q > x}. Prove that the pair A, B forms a Dedekind cut of Q. The same is true if A = {q Q q < x} and B = {q Q q x}. Note that these two cases are the same if x is irrational. Prove that if A, B is a Dedekind cut of R, then A = A Q and B = B Q is a Dedekind cut of Q. Finally, prove that if A, B is a Dedekind cut of Q, then there is a unique x R such that the pair A, B has one of the two forms listed above. This exercise gives a hint on how to construct R from Q. This exercise is the basis for the theorem that any two ordered fields which are Dedekind complete, i.e., with the property that any nonempty set with an upper bound has a least upper bound, are isomorphic. Thus there is at most one object satisfying Axioms I - VIII. Exercise 12. Let F 1, F 2 be fields and φ : F 1 F 2 satisfy φ(a + b) = φ(a) + φ(b) and φ(ab) = φ(a)φ(b) for all a, b F 1. Prove that if there is some a 0 F 1 such that φ(a 0 ) 0, then φ is one-to-one, φ(1) = 1, φ( a) = φ(a), φ(a 1 ) = φ(a) 1 for all 0 a F 1, and φ(f 1 ) is a subfield of F 2. If φ(f 1 ) = F 2, then φ is said to be a (field) isomorphism. If F 1 = F 2 and φ(f 1 ) = F 1, then φ is said to be a (field) automorphism. Let φ : R F R be a field isomorphism. Then F = R and φ is the identity. In particular, every field automorphism of R is the identity. Exercise 13. C cannot be ordered, i.e., there is no possible choice of P C such that Axiom VI and Axiom VII hold with R replaced by C. Hint: i P or i P. Exercise 14. [ ] a b Prove that the set F of 2 2 matrices of the form, where a, b R, is a field. Prove [ ] b a a b that the mapping φ : C F, φ : (a, b), onto F, is a field isomorphism. Prove b a 2

4 that φ is an isomorphism of R with the set of 2 2 diagonal matrices and that φ(z) = φ(z) t. What is det(φ(a, b))? Exercise 15. [ ] w z Consider the set H of 2 2 matrices with complex entries of the form. The elements z w of H are called quaternions. Prove that H is closed under matrix addition and multiplication. Prove that the set of diagonal quaternions is isomorphic to the field C[ and that ] the adjoint w z operation extends the complex conjugation operation. If q H, q = 0, find an z w explicit expression for det(q) and for q 1. Check that H satisfies all of Axioms I - V except that multiplication is not commutative. This proves that H forms a noncommutative division ring. Exercise 16. Let x 1 and let E = { n x n N}. Prove that 1 = glb(e). Hint: Let ϵ > 0. Use Bernoulli s Inequality to prove that there is some n N such that x < (1 + ϵ) n. Next, if 0 < x 1 and E = { n x n N}, prove that 1 = lub(e). Exercise 17 (Chebyshev s Inequality). Let a 1 a 2 a n and b 1 b 2 b n be real numbers. Prove that ( n i=1 a i)( n k=1 b k) n n j=1 a jb j and that we have equality if and only if either a 1 = a n or b 1 = b n. Hint: First prove that 0 n n i=1 k=1 (a i a k )(b i b k ). Exercise 18. If a 1, a 2,..., a n are all positive, then ( n j=1 a j)( n j=1 1 a j ) n 2 and we have equality if and only if a 1 = a 2 = = a n. If a, b, and c are positive and a + b + c = 1, then (1/a 1)(1/b 1)(1/c 1) 8 and we have equality if and only if a = b = c = 1/3. Exercise 19. If a 1, a 2,..., a n are positive real numbers, then n a 1 a 2 an n a 1 a 2... a n. When does equality hold in this inequality? The left hand side of this inequality is called the harmonic mean of a 1, a 2,..., a n. Exercise 20. Let A be a nonempty set and let X = {0, 1}. Prove that there exits a bijection f : P(A) X A. 3

5 Exercise 21. Finite Axiom of Choice: Given a finite collection A of pairwise disjoint nonempty sets, there exists a set C having exactly one element in common with each element of A, i.e, such that for each A A, the set C A contains a single element. Prove the Finite Axiom of Choice without using the Axiom of Choice. Exercise 22. Let I be a finite set and for each ι I let A ι be a finite set. Then ι I A ι and ι I A ι are finite sets. Exercise 23. Let A be an infinite set and let B A be a finite subset. Then A B is infinite. Let A be an uncountable set and let B A be a countable subset. Then A B is uncountable. Exercise 24. Let A be an infinite set and let B be a countable set. Then A A B. Exercise 25. Let A be an uncountable set and let B A be a countable subset. Then A B A. Exercise 26. Let A and B be sets. Then A B A B if both A and B have at least two distinct elements. Exercise 27. Let a, b R, a < b. Prove that [a, b and a, b] are neither open nor closed. Exercise 28. Let X be a set, let d 1 and d 2 be two metrics on X, and let T 1 and T 2 be the corresponding topologies on X. We say that d 1 and d 2 are (topologically) equivalent if and only if T 1 = T 2. This notion of (topological) equivalence is an equivalence relation on the set of metrics on X. Note that d 1 and d 2 are (topologically) equivalent if and only if T 1 = T 2 T 1 T 2 and T 2 T 1. Prove that T 1 T 2 if and only if the following condition holds: ( ) if a X and δ > 0, then there exists ϵ > 0 such that B d2 (a, ϵ) B d1 (a, δ). Prove that if T 1 T 2, then (X, d 1 ) is compact if (X, d 2 ) is compact. Suppose that there exists C > 0 such that d 1 (x, y) Cd 2 (x, y) for all x, y X. Prove that T 1 T 2. 4

6 Let (X, d), (Y, ρ) be metric spaces. Define functions d 1, d 2, and d 3 : (X Y ) (X Y ) [0, + by d 1 ((x 1, y 1 ), (x 2, y 2 )) = d(x 1, x 2 )+ρ(y 1, y 2 ), d 2 ((x 1, y 1 ), (x 2, y 2 )) = max(d(x 1, x 2 ), ρ(y 1, y 2 )), and d 3 ((x 1, y 1 ), (x 2, y 2 )) = d(x 1, x 2 ) 2 + ρ(y 1, y 2 ) 2. Prove that d 1, d 2, and d 3 are (topologically) equivalent metrics. Also prove that B d2 ((x, y), δ) = B d (x, δ) B ρ (y, δ). Exercise 29. Let a, b, c [0, + be such that a b + c. Prove that a b + c 1+a 1+b d(x,y) 1+c 1+d(x,y). Let (X, d) be a metric space. Define a function ρ : X X [0, + by ρ(x, y) =. Prove that ρ is a metric on X which is equivalent to d and that X is bounded with respect to ρ. The same is true if ρ(x, y) = min(d(x, y), 1). Exercise 30. Let (X, d) be a metric space and = A X. The diameter of A, denoted diam(a), is defined to be lub{d(a 1, a 2 ) a 1, a 2 A}. Prove that diam(a) < + if and only if A is bounded. Exercise 31. Let C > 0 and a R n. Prove that B = {x R n x a C} is compact. Hint: prove that B is closed and is a subset of a compact set. Exercise 32 (Squeeze Theorem or Pinching Theorem or Sandwich Theorem). Let p Z and let (a n ) + n=p, (b n ) + n=p and (c n ) + n=p be three sequences in R such that a n b n c n for all n p and such that a n L and c n L as n +. Then b n L as n +. Exercise 33. Let (X, d) and (Y, ρ) be complete metric spaces and let d 1, d 2, and d 3 be the metrics defined on X Y in Exercise 28. Then X Y is complete with repect to d 1, d 2, and d 3. Exercise 34. If two series eventually agree, then they either both converge or both diverge. Exercise 35. Compute n 1 1/[(n + 1) n + n n + 1]. Hint: Rationalize denominators and telescope. Exercise 36. If m, n N, then 1 + m k=1 and induction. ( n+k k ) = ( n+m+1 m ). Hint: Write 1 as ( n+1 0 ), use Proposition??, Exercise 37. Suppose that (X, d) is a metric space and A Y X. Then cl Y (A) = cl X (A) Y. 5

7 Exercise 38. Let X be a set and d 1 and d 2 two metrics on X with corresponding topologies T 1 and T 2. Prove that T 1 T 2 if and only if the following condition holds: ( ) if {x n } n p X is a sequence, x X and d 2 (x n, x) 0 as n +, then d 1 (x n, x) 0 as n +. Exercise 39. Let (X, d) be a complete metric space and A a totally bounded subset of X. Then cl X (A) is compact. 6

8 Spring 2017 Exercise 40. Let (x n ) + n=p R #. If x R # is the limit of a subsequence of (x n ) + n=p, then lim inf n + x n x lim sup n + x n. Prove that both lim sup n + x n and lim inf n + x n are limits of a subsequence of (x n ) + n=p. Exercise 41. Let (x n ) + n=p R. If x R is a limit point of the elements of the sequence (x n ) + lim inf n + x n x lim sup n + x n. n=p, then Exercise 42. Let (x n ) + n=p and (y n ) + n=p be sequences in R # such that x n y n for all n N p. Then lim inf n + x n lim inf n + y n and lim sup n + x n lim sup n + y n. Exercise 43. Let (x n ) + n=p R #. Then lim sup n + x n = lim inf n + ( x n ) and lim inf n + x n = lim sup n + ( x n ). Exercise 44. Let L R and (x n ) + n=p, (y n ) + n=p [L, + ] R #. Then lim sup n + (x n +y n ) lim sup n + x n + lim sup n + y n. Exercise 45. Prove that l/ l l! e as l +. Hint: consider al = l l /l!. Exercise 46. cos(z) = z2l l 0 ( 1)l, sin(z) = z2l+1 (2l)! l 0 ( 1)l, cos(z) = cos( z), sin( z) = sin(z), (2l+1)! exp(iz) = cos(z) + i sin(z), and exp( iz) = cos(z) i sin(z) for all z C. Furthermore exp(0) = 1, exp(1) = e, cos(0) = 1 and sin(0) = 0. Exercise 47. Let (c n ) + n=1 [0, + satisfy 0 < c n+1 c n for all n 1 and n 1 c n < +. Prove there exist two divergent series n 1 a n and n 1 b n so that a 1 a 2 a 3 > 0, b 1 b 2 b 3 > 0 and c n = min(a n, b n ) for all n 1. Exercise 48. Suppose that n 0 a n and n 0 b n are two absolutely convergent series and that n 0 c n is their Cauchy product. Then n 0 c n is absolutely convergent, n 0 c n ( n 0 a n )( n 0 b n ), and n 0 c n = ( n 0 a n)( n 0 b n). 7

9 Exercise 49. (z n ) + n=p C, z C, z n z = z n z. w, z C = exp(z) 0, exp( z) = 1/ exp(z), exp(z) = exp(z), cos(z) = cos(z), sin(z) = sin(z), cos 2 (z) + sin 2 (z) = 1, cos(w + z) = cos(w) cos(z) sin(w) sin(z), cos(w z) = cos(w) cos(z) + sin(w) sin(z), sin(w + z) = sin(w) cos(z) + cos(w) sin(z), sin(w z) = sin(w) cos(z) cos(w) sin(z), sin(2z) = 2 sin(z) cos(z), and cos(2z) = cos 2 (z) sin 2 (z) = 2 cos 2 (z) 1 = 1 2 sin 2 (z). n Z = (exp(z)) n = exp(nz). t R = exp(t) > 0, cos(t) and sin(t) R, and exp(it) = 1. Furthermore s, t R and s < t = exp(s) < exp(t) (i.e., exp is strictly increasing on R), cos(t) 1 and sin(t) 1. Finally, n Z and z C = (cos(z) + i sin(z)) n = cos(nz) + i sin(nz) (de Moivres Theorem or de Moivres Formula). Exercise 50. Let X be a set and n 1. If f BF(X, C n ), define f = sup x X f(x) [0, + >. f is called the (uniform) norm of f. If f, g BF(X, C n ) and λ C, prove that f + g f + g, f = 0 f = 0, and λf = λ f. If f, g BF(X, C n ) define d(f, g) = f g. Prove that d is a metric on BF(X, C n ). Sequences convergent with respect this metric are said to be uniformly convergent. Prove that the mapping f f, BF(X, C n ) R, is uniformly continuous. Exercise 51. If (X, d) is a metric space and n 1, then CF(X, C n ) and BCF(X, C n ) are vector spaces over C and CF(X, R n ) and BCF(X, R n ) are vector spaces over R. Furthermore, CF(X, C) and BCF(X, C) are algebras over C and CF(X, R) and BCF(X, R) are algebras over R. Finally, BF(X, C n ) is a complete metric space and BCF(X, C n ) and BCF(X, R n ) are closed topological subspaces and therefore are themselves complete. Hint: Use the fact that C n is a complete metric space and Theorem??. Exercise 52. If (X, d) is a metric space, A X is connected and A C cl X (A) X, then C is connected. Exercise 53. Let X be a set, let d and ρ be two metrics on X with corresponding topologies T d and T ρ and let i : (X, d) (X, ρ), i : x x be the natural identification mapping. Then T ρ T d if and only if i is continuous. Furthermore d and ρ are equivalent metrics if and only if i is a homeomorphism. 8

10 Exercise 54. If I R is an interval and f : I R is continous and one-to-one, then f is strictly monotone on I. Exercise 55. Let f : [a, b] [c, d] be monotone, one-to-one and onto. Prove that f is continuous. Exercise 56. Let a, b and c C. Then: (i) a b+c = a b a c if a > 0; (ii) (ab) c = a c b c if a > 0 and b > 0; (iii) a b > 0 if a > 0 and b R, in which case log(a b ) = b log(a); (iv) (a b ) c = a bc if a > 0 and b R. Exercise 57. If a, b > 0, prove the following statements: (i) lim x + x a / exp(bx) = 0; (ii) lim x + log(x)/x a = 0; (iii) lim x 0 x a log(x) = 0. Exercise 58. If a, b R and a > 0, prove the following statements: (i) lim h 0 ((a h 1)/h) = log(a) (h C); (ii) lim h 0 ((a z+h a z )/h) = log(a)a z (z, h C); (iii) lim n + n( n a 1) = log(a); (iv) lim h 0 (1 + bh) 1/h = e b (h R); (v) lim n + (1 + b/n) n = e b. Exercise 59. Calculate D(x x ) (x > 0). Exercise 60. Let a > 0, a 1, b R, x > 0, and y > 0. Then: (1) log a (1) = 0; (2) log a (a) = 1; (3) log e (x) = log(x); (4) log a (xy) = log a (x) + log a (y); (5) log a (1/x) = log a (x); (6) log a (x/y) = log a (x) log a (y); 9

11 (7) log a (x b ) = b log a (x); (8) (log a ) (x) = 1/x log(a); (9) (d/dx)(log x (a)) = log(a)/x log 2 (x); (10) a log a (b) = b if b > 0; (11) log a (a x ) = x Exercise 61. Generalize Bernoulli s Inequality (Theorem??) as follows. Let α R, 0 α 1, be fixed. Then x R, x > 1, x 0 = (1 + x) α > 1 + αx if α < 0 or α > 1 and (1 + x) α < 1 + αx if 0 < α < 1. Exercise 62. Prove that sin(2π/12) = sin(π/6) = cos(π/3) = cos(2π/6) = 1/2 and that sin(2π/6) = sin(π/3) = cos(π/6) = cos(2π/12) = 3/2. Exercise 63. cos(2π/10) = cos(π/5) = (1 + 5)/4. Hint: Let θ = π/10 and find a cubic equation satisfied by cos(2θ). Conclude that cos(2π/5) = ( 1 + 5)/4. Exercise 64. Prove that C (R) and C 0 (R) are algebras over R which are closed under translations (T a (φ)(x) = φ(x + a)), scalings (S λ (φ)(x) = φ(λx), λ 0), and differentiation. C (R) is closed under composition but C 0 (R) is not. Let P (x) be a polynomial with coefficients in R. Then lim t 0 P (1/t) exp( 1/t) = 0. Let ψ(t) = 0 if t 0 and let ψ(t) = exp( 1/t) if t > 0. Then ψ C (R). Define φ(x) = ψ(1 x 2 ) for x R. Then φ(0) = 1/e > 0, φ 0, and φ C 0 (R) (actually φ 0 outside of [ 1, 1]). Exercise 65. Evaluate lim x + (e x + x) 1/x. Exercise 66. Evaluate lim x 1 [ x x 1 1 log(x) ]. Exercise 67. Let I R be an interval and let f, g : I C, λ C, t I, and (Df)(t) and (Dg)(t) exist. Then D(λf)(t), D(fg)(t) and D(f/g)(t) (if g(t) 0) exist and D(λf)(t) = λd(f)(t), (D(fg))(t) = (Df)(t)g(t) + f(t)(dg)(t) and D(f/g)(t) = [(Df)(t)g(t) f(t)(dg)(t)]/g(t) 2 provided g(t) 0. 10

12 Exercise 68. Consider the statements: (i) f R(α, [a, b]); (ii) there exists L R such that for every ϵ > 0, there exists a δ > 0 such that if P = {a = x 0 x 1 x n = b} is any partition of [a, b] with P < δ = L 1 l n f(τ l) α l < ϵ for all choices of τ l [x l 1, x l ]. Then (ii) = (i), in which case L = b a (ii) is true if α is continuous, in which case L = b a fdα. Exercise 69. Prove fdα, (i) = (ii) is false in general, and (i) = Theorem 1 (Bliss Theorem). Let [a, b] R 1 be a closed bounded interval, k 1 a positive integer, ψ a continuous function R-valued function on the cube [a, b] k, and P = {a = t 0 < t 1 < < t n 1 < t n = b} a partition of [a, b]. Let ϕ(t) = ψ(t,..., t). ϕ : [a, b] R 1 is a continuous function. Sums of the form 1 l n ψ(τ l,1,..., τ l,k )(t l t l 1 ), where (τ l,1,..., τ l,k ) [t l 1, t l ] k is arbitrary, converge to b ϕ(t)dt as P 0. a 11

MATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1

MATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1 MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155

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

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

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

(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y

(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y () Consider A = { q Q : q 2 2} as a subset of the metric space (Q, d), where d(x, y) = x y. Then A is A) closed but not open in Q B) open but not closed in Q C) neither open nor closed in Q D) both open

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More 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

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

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

ANALYSIS WORKSHEET II: METRIC SPACES

ANALYSIS WORKSHEET II: METRIC SPACES ANALYSIS WORKSHEET II: METRIC SPACES Definition 1. A metric space (X, d) is a space X of objects (called points), together with a distance function or metric d : X X [0, ), which associates to each pair

More information

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S. Appendix A Number Axioms P. Danziger 1 Number Axioms 1.1 Groups Definition 1 A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b and c S 0. (Closure) 1. (Associativity)

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

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

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

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

CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS

CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS In this chapter we deal with the problem of extending a linear functional on a subspace Y to a linear functional on the

More information

Functional Analysis HW #3

Functional Analysis HW #3 Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform

More information

TEST CODE: PMB SYLLABUS

TEST CODE: PMB SYLLABUS TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional

More information

ASSIGNMENT-1 M.Sc. (Previous) DEGREE EXAMINATION, DEC First Year MATHEMATICS. Algebra. MAXIMUM MARKS:30 Answer ALL Questions

ASSIGNMENT-1 M.Sc. (Previous) DEGREE EXAMINATION, DEC First Year MATHEMATICS. Algebra. MAXIMUM MARKS:30 Answer ALL Questions (DM1) ASSIGNMENT-1 Algebra MAXIMUM MARKS:3 Q1) a) If G is an abelian group of order o(g) and p is a prime number such that p α / o(g), p α+ 1 / o(g) then prove that G has a subgroup of order p α. b) State

More information

First In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018

First In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018 First In-Class Exam Solutions Math 40, Professor David Levermore Monday, October 208. [0] Let {b k } k N be a sequence in R and let A be a subset of R. Write the negations of the following assertions.

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

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

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

CHAPTER VIII HILBERT SPACES

CHAPTER VIII HILBERT SPACES CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)

More information

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Selçuk Demir WS 2017 Functional Analysis Homework Sheet Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there

More information

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

More information

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c. Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

L p Spaces and Convexity

L p Spaces and Convexity L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function

More information

Properties of the Integers

Properties of the Integers Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More 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

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology

More information

2 Sequences, Continuity, and Limits

2 Sequences, Continuity, and Limits 2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs

More information

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

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

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

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of

More information

Homework in Topology, Spring 2009.

Homework in Topology, Spring 2009. Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher

More information

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information

University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics

University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics Examiners: D. Burbulla, P. Glynn-Adey, S. Homayouni Time: 7-10

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

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be

More information

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information

Part IV. Rings and Fields

Part IV. Rings and Fields IV.18 Rings and Fields 1 Part IV. Rings and Fields Section IV.18. Rings and Fields Note. Roughly put, modern algebra deals with three types of structures: groups, rings, and fields. In this section we

More information

Introduction to Real Analysis

Introduction to Real Analysis Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:

More information

Problem Set 6: Solutions Math 201A: Fall a n x n,

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

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

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

Lecture Notes Introduction to Ergodic Theory

Lecture Notes Introduction to Ergodic Theory Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

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

Chapter 2. Real Numbers. 1. Rational Numbers

Chapter 2. Real Numbers. 1. Rational Numbers Chapter 2. Real Numbers 1. Rational Numbers A commutative ring is called a field if its nonzero elements form a group under multiplication. Let (F, +, ) be a filed with 0 as its additive identity element

More information

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More 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

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

INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION TO REAL ANALYTIC GEOMETRY INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E

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

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0 4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for

More information

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Awards Screening Test. February 25, Time Allowed: 90 Minutes Maximum Marks: 40

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Awards Screening Test. February 25, Time Allowed: 90 Minutes Maximum Marks: 40 NATIONAL BOARD FOR HIGHER MATHEMATICS Research Awards Screening Test February 25, 2006 Time Allowed: 90 Minutes Maximum Marks: 40 Please read, carefully, the instructions on the following page before you

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

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

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure

More information

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,

More information

8 Complete fields and valuation rings

8 Complete fields and valuation rings 18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a

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

Analysis-3 lecture schemes

Analysis-3 lecture schemes Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space

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

Principles of Real Analysis I Fall I. The Real Number System

Principles of Real Analysis I Fall I. The Real Number System 21-355 Principles of Real Analysis I Fall 2004 I. The Real Number System The main goal of this course is to develop the theory of real-valued functions of one real variable in a systematic and rigorous

More information

1 Holomorphic functions

1 Holomorphic functions Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative

More information

Introductory Analysis 2 Spring 2010 Exam 1 February 11, 2015

Introductory Analysis 2 Spring 2010 Exam 1 February 11, 2015 Introductory Analysis 2 Spring 21 Exam 1 February 11, 215 Instructions: You may use any result from Chapter 2 of Royden s textbook, or from the first four chapters of Pugh s textbook, or anything seen

More information

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction Copyright & License Copyright c 2007 Jason Underdown Some rights reserved. statement sentential connectives negation conjunction disjunction implication or conditional antecedant & consequent hypothesis

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

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

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1 MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and

More information

Qualifying Exam Logic August 2005

Qualifying Exam Logic August 2005 Instructions: Qualifying Exam Logic August 2005 If you signed up for Computability Theory, do two E and two C problems. If you signed up for Model Theory, do two E and two M problems. If you signed up

More information

4 Choice axioms and Baire category theorem

4 Choice axioms and Baire category theorem Tel Aviv University, 2013 Measure and category 30 4 Choice axioms and Baire category theorem 4a Vitali set....................... 30 4b No choice....................... 31 4c Dependent choice..................

More information

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked

More information

MA651 Topology. Lecture 9. Compactness 2.

MA651 Topology. Lecture 9. Compactness 2. MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More 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

CHAPTER V DUAL SPACES

CHAPTER V DUAL SPACES CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the

More information

i. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)

i. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.) Definition 5.5.1. A (real) normed vector space is a real vector space V, equipped with a function called a norm, denoted by, provided that for all v and w in V and for all α R the real number v 0, and

More information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real

More information

Section 18 Rings and fields

Section 18 Rings and fields Section 18 Rings and fields Instructor: Yifan Yang Spring 2007 Motivation Many sets in mathematics have two binary operations (and thus two algebraic structures) For example, the sets Z, Q, R, M n (R)

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

Problem 1A. Use residues to compute. dx x

Problem 1A. Use residues to compute. dx x Problem 1A. A non-empty metric space X is said to be connected if it is not the union of two non-empty disjoint open subsets, and is said to be path-connected if for every two points a, b there is a continuous

More information

Exercises for Unit VI (Infinite constructions in set theory)

Exercises for Unit VI (Infinite constructions in set theory) Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going

More information

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm SOME QUESTIONS FOR MATH 766, SPRING 2016 SHUANGLIN SHAO Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm f C = sup f(x). 0 x 1 Prove that C([0, 1]) is a

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

GS-2013 (Mathematics) TATA INSTITUTE OF FUNDAMENTAL RESEARCH. Written Test in MATHEMATICS December 9, 2012 Duration : Two hours (2 hours)

GS-2013 (Mathematics) TATA INSTITUTE OF FUNDAMENTAL RESEARCH. Written Test in MATHEMATICS December 9, 2012 Duration : Two hours (2 hours) MTH GS-2013 (Mathematics) TATA INSTITUTE OF FUNDAMENTAL RESEARCH WrittenTestinMATHEMATICSDecember9,2012 Duration:Twohours(2hours) Name: Ref.Code: Pleasereadallinstructionscarefullybeforeyouattemptthequestions.

More information

Math 3140 Fall 2012 Assignment #3

Math 3140 Fall 2012 Assignment #3 Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition

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

Bounded uniformly continuous functions

Bounded uniformly continuous functions Bounded uniformly continuous functions Objectives. To study the basic properties of the C -algebra of the bounded uniformly continuous functions on some metric space. Requirements. Basic concepts of analysis:

More information

MATH 31BH Homework 1 Solutions

MATH 31BH Homework 1 Solutions MATH 3BH Homework Solutions January 0, 04 Problem.5. (a) (x, y)-plane in R 3 is closed and not open. To see that this plane is not open, notice that any ball around the origin (0, 0, 0) will contain points

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

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

Some topics in analysis related to Banach algebras, 2

Some topics in analysis related to Banach algebras, 2 Some topics in analysis related to Banach algebras, 2 Stephen Semmes Rice University... Abstract Contents I Preliminaries 3 1 A few basic inequalities 3 2 q-semimetrics 4 3 q-absolute value functions 7

More information

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 1 November 2017

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

More information

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and

More information