Homework 1 Solutions
|
|
- Jeffrey Gilmore
- 5 years ago
- Views:
Transcription
1 MATH 171 Spring 2016 Problem 1 Homework 1 Solutions (If you find any errors, please send an to farana at stanford dot edu) Presenting your arguments in steps, using only axioms of an ordered field, (listed as Axioms 1-12 in the text, on pages 10-12) and stating which property is used at each step, prove the following: i) ( 1)a = a. Solution. By the definition of the additive inverse a (Axiom 5), we need to check that a + ( 1)a = 0 = ( 1)a + a. As addition is commutative (Axiom 3) it is enough to check that a + ( 1)a = 0. As multiplication distributes over addition (Axiom 11) we have a + ( 1)a = a(1 + ( 1)). By the definition of the additive inverse 1 (Axiom 5) we have 1+( 1) = 0. It follows that a+( 1)a = a0. It remains to show that a0 = 0. This is Theorem 3.4 of the textbook. As it is a good exercise, we also present a proof here. By definition of the additive identity (Axiom 4) we have 0 = In particular a0 = a(0 + 0). As multiplication distributes over addition (Axiom 11) we have a(0 + 0) = a0 + a0. It follows that a0 = a0+a0. Adding the multiplicative inverse (a0) on both sides of the previous equality we get a0+( (a0)) = (a0+a0)+( (a0)). As additions is associative (Axiom 2) we can group the terms in the right hand side of the previous equality to get a0+( (a0)) = a0+(a0+( (a0))). Now by the definition of the additive inverse (a0) (Axiom 5) we have a0+( (a0)) = 0. Using this in the equality a0 + ( (a0)) = a0 + (a0 + ( (a0))) we get 0 = a But a0 + 0 = a0 by the definition of additive identity (Axiom 4). We then see that a0 = 0. Recall that we had a + ( 1)a = a0. Using the fact a0 = 0 just proved we get a + ( 1)a = 0, which is precisely what we wanted to show. ii) a > 0 1/a > 0. Solution. Notice that a > 0 implies a 0 (Axiom 12). It follows that a has a multiplicative inverse 1/a (Axiom 10). Exactly one of the following must hold: a < 0, a = 0, or a > 0 (Axiom 12). We must discard the first two cases. Suppose by contradiction that 1/a < 0, i.e. (1/a) > 0. Axiom 12 ensures that ( (1/a))a > 0. Now notice that ( (1/a))a = (( 1)(1/a))a by Part i). By associativity of multiplication (Axiom 7) we have (( 1)(1/a))a = ( 1)((1/a)a). Notice that (1/a)a = 1 by the definition of the multiplicative inverse 1/a (Axiom 12). It follows that ( 1)((1/a)a) = ( 1)1. By the definition of the multiplicative identity 1 (Axiom 9) we have ( 1)1 = 1. It follows from these calculations that ( (1/a))a = 1. We would then have 1 > 0. This contradicts the fact 1 > 0 (Theorem 4.2) and Axiom 12. Suppose now that 1/a = 0. Multiplying this equality by a we get (1/a)a = 0a. Notice that (1/a)a = 1 by the definition of the multiplicative inverse 1/a (Axiom 12). By the same arguments as in Part i) (or Theorem 3.4 of the textbook) we see that 0a = 0. We would 1
2 then have 1 = 0, contradicting the definition of the multiplicative identity 1 (Axiom 9). It follows that 1/a > 0, which is what we wanted to prove. iii) The complex numbers, C, do not form an ordered field; that is, there is no subset P C such that Axiom 12 holds. Solution. Suppose by contradiction there exists a subset P C such that Axiom 12 holds. Let i = 1 C. Then Axiom 12 ensures i > 0, i = 0, or i < 0. We show none of these can happen. Suppose first that i > 0. Then Axiom 2 ensures ii > 0. But ii = 1. We would then get 1 > 0. This a contradiction with the fact 1 > 0 (Theorem 4.2) and Axiom 12. Suppose now that i = 0. Then, using the same arguments as in Part i), we have 1 = ii = i0 = 0. It follows that 1 = 0. Adding 1 to both sides of the equality we get ( 1)+1 = 1. But ( 1)+1 = 0 by the definition of the additive inverse 1 (Axiom 5). It follows that 1 = 0, contradicting the definition of the multiplicative identity 1 (Axiom 9). Suppose now that i < 0, i.e. i > 0. Then Axiom 2 ensures ( i)( i) > 0. Using Part i) we see that ( i)( i) = (( 1)i)( i). As multiplication is commutative (Axiom 8) we deduce (( 1)i)( i) = (i( 1))( i). As multiplication is associative (Axiom 7) we have (i( 1))( i) = i(( 1)( i)). Using Part i) again we see that ( 1)( i) = ( i). We claim ( i) = i. By the definition of additive inverses (Axiom 5) we need tot check that ( i) + i = 0 = i + ( i). But this is true precisely because of the definition of the additive invere i (Axiom 5). The previous calculations show that ( i)( i) = i 2. We know that i 2 = 1. We would then have 1 > 0. This contradicts the fact 1 > 0 (Theorem 4.2) and Axiom 12. We conlcude that C is not an ordered field. Problem 2 Prove that every positive real number a > 0 has a positive square root. (Hint: Let S = {x R: x > 0 and x 2 < a}, and begin by showing that S is non empty and bounded above.) Proof. As the hint suggests we consider the set S = {x R: x > 0 and x 2 < a}. We claim S. Indeed, let r = min{1, a}. Consider any x R such that 0 < x < r. Then x > 0 and x 2 < 1 a = a, so that x S. We claim that S is bounded above by t = max{1, a}. Indeed, let y S and suppose by contradiction that y > t. Then y 2 > t 2 > 1a = a, contradicting the fact that y S. The least upper bound axiom (Axiom 13) ensures the existence of a least upper bound s of the set S. We claim that s 2 = a. Notice that s r > 0 because x S for all x R such that 0 < x < r. Notice also that s t because t is an upper bound of S. We show that s 2 a. Suppose by contradiction that s 2 < a. Consider an arbitrary small number 0 < ε < 1. Notice that (s + ε) 2 = s 2 + 2sε + ε 2 s 2 + 2tε + ε = s 2 + (2t + 1)ε. As s 2 < a we can find 0 < ε < 1 small enough so that s 2 + (2t + 1)ε < a. It follows that s + ε S. As s + ε > s this contradicts the fact that s is an upper bound of S. This proves that s 2 a. We now show that s 2 a. Suppose by contradiction that s 2 > a. Consider an arbitrary small number 0 < ε < 1. Notice that (s ε) 2 = s 2 2sε + ε 2 > s 2 2tε. As s 2 < a we can find 0 < ε < 1 small enough so that s 2 2tε > a. In particular (s ε) 2 > a. We claim that (s ɛ) is an upper bound of S. Suppose 2
3 by contradiction there existed some x S such that (s ɛ) < x. It follows that (s ɛ) 2 < x 2 < a, which contradicts the fact (s ε) 2 > a. We then see that s ε is an upper bound of S. As s ε < s this contradicts the fact that s is the least upper bound of S. This proves that s 2 a. We conclude that s 2 = a. Problem 3 Let X be a set of real numbers with least upper bound a. Prove that if ε > 0, there exists x X such that a ε < x a. Solution. As a is a least upper bound of X, it is in particular an upper bound of X, i.e. x a for all x X. Suppose by contradiction that the property we are trying to prove does not hold. Then for some ε > 0 and for all x X we cannot have a ε < x a. As we have x a for all x X this implies that a ε x for all x X. But then a ɛ is by definition an upper bound of X. Notice also that a ɛ < a because ɛ > 0. This contradicts the fact that a is the least upper bound of X. We conclude that the desired property holds. Problem 4 Let X and Y be sets of real numbers with least upper bounds a and b, respectively. Prove that a + b is the least upper bound of the set X + Y = {x + y x X, y Y } Solution. We first show that a + b is an upper bound of X + Y. Let x X and y Y be arbitrary, so that x + y is an arbitrary element of X + Y. As a is a least upper bound of X it is in particular an upper bound of X. Then we must have x a. By the same argument y b. It follows that x + y a + b. We see then that a + b is an upper bound of X + Y. We now show that a + b is the least upper bound of X + Y. Let c R be an arbitrary upper bound of X + Y, i.e. x + y c for all x X and y Y. We show that a + b c. Fix for now some arbitrary y Y. Notice that x c y for all x X, i.e. c y is an upper bound of X. As a is the least upper bound of X we then have a c y. As y Y was arbitrary this holds for all y Y. Then we have y c a for all y Y, i.e. c a is an upper bound of Y. As b is the least upper bound of Y we get b c a. It follows that a+b c, which is what we wanted to prove. Problem 5 Prove that the set of real numbers as defined by axioms 1 to 13 is unique in the following sense: If R is a set which satisfies axioms 1 to 13, there exists a one to one function f from R onto R 3
4 which satisfies f(x + y) = f(x) + f(y) f(xy) = f(x)f(y) f(x) < f(y) if and only if x < y for all x, y R for all x, y R for x, y R Proof. Following Definition 6.3 we see that R has a set of positive integers P. By the same arguments as in Section 6 it makes sense to denote P := {1, 2,... } with elements presented in increasing order. We define { } p Q := q P, p P P {0} q We consider the map f : Q Q given by f (p/q) = p /q. It is straightforward to check that this map is well defined and bijective. We now extend this map in the following way: let f : R R be the map given by f(x) := lub{f(r) r < x, r Q}. We claim that f has the desired properties. Surjectiveness and injectiveness are easy to check using the fact that elements of R and R can be approximated by elements of Q and Q respectively as in Theorem 7.8. We focus on checking the arithmetic properties of f. It is straightforward to check that such properties hold for elements x, y Q. We extend such properties to elements x, y R. Let x, y R. We show that f(x + y) = f(x) + f(y). Using Problem 4 we see that f(x) + f(y) = lub{f(r) r < x, r Q} + lub{f(r ) r < y, r Q} = lub{f(r) + f(r ) r < x, r < y, r, r Q} = lub{f(r + r ) r < x, r < y, r, r Q} = lub{f(r) r < x + y, r Q} = f(x + y). The same argument with multiplication instead of addition and with special care regarding signs shows that f(xy) = f(x)f(y). Suppose now that x < y. By Theorem 7.8 we can find a rational numbers r 1, r 2 Q such that x < r 1 < r 2 < y. Notice then that f(x) = lub{f(r) r < x, r Q} f(r 1 ) < f(r 2 ) lub{f(r) r < y, r Q} = f(y). It follows that f(x) < f(y). Suppose now that f(x) < f(y). Then theorem 7.8 applied to R and Q lets us find r = p /q Q such that f(x) < r < f(y). We claim that r := p/q Q is such that x < r < y. Suppose by contradiction that r x. Then, by what was proved just before, we have r = f(r) f(x), which contradicts the fact f(x) < r. The same argument shows that r < f(y). We conclude that x < y. This completes the proof of the desired properties. Problem 6 Prove that if {a n } is an increasing sequence which is not bounded, then lim n a n =. Solution. Recall that a sequence {b n } is bounded if there exists some M R such that b n M for all n N. Then, {a n } being not bounded, for all M N there exists an n M N such that a nm > M. But a n is increasing, so we must have a k > M for all k n M. This is exact the defintion of lim n a n =. 4
5 Problem 7 Prove the nested interval theorem: If {[a n, b n ]} is a sequence of closed intervals such that [a n, b n ] [a n+1, b n+1 ] for n = 1, 2,... then [a n, b n ] is nonvoid. Find a necessary and sufficient condition that n=1 [a n, b n ] contains exactly one point. Solution. Notice that the sequence {a n } is increasing, while the sequence {b n } is decreasing. Notice also that the sequence {a n } is bounded above by b 1, while the sequence {b n } is bounded below by a 1. Then both sequences {a n } and {b n } converge (Theorem 16.2), say a n a and b n b. Notice also that a b, as is seen by taking limits in the inequality a n b n. It follows that [a, b] = [a n, b n ]. We conclude that [a n, b n ] is nonvoid. We claim that, in the setting above, n=1 [a n, b n ] contains exactly one point if and only if lim n b n a n = 0. Indeed, notice that lim n b n a n = 0 if and only if lim n b n lim n a n = 0 if and only if a b = 0 if and only if a = b if and only if [a, b] = {a} if and only if n=1 [a n, b n ] = {a}. Problem 8 Let 0 α < 1, and let f be a function from R into R which satisfies f(x) f(y) α x y for all a, y R Let a 1 R, and let a n+1 = f(a n ) for n = 1, 2,.... Prove that {a n } is a Cauchy sequence. Solution. We first explore a bit before choosing specific ε s. Notice that for any k N we have a k+1 a k = f k (a 1 ) f k 1 (a 1 ) α f k 1 (a 1 ) f k 2 (a 1 ) α k 1 f(a 1 ) (a 1 ). Consider arbitrary n, m N with m > n. Using the triangle inequality, the previous fact, and the fact that the geometric series of 0 α < 1 converges, we see that a m a n = m 1 k=n a k+1 a k m 1 k=n a k+1 a k m 1 k=n αk 1 f(a 1 ) (a 1 ) = f(a 1 ) (a 1 ) ( m 1 k=n αk 1 ) f(a 1 ) (a 1 ) ( k=n αk 1 ) = f(a 1 ) (a 1 ) α n 1 /(1 α). Consider the constant C = f(a 1 ) (a 1 ) /(1 α). Then we have a m a n Cα n 1 for any n, m N. As 0 α < 1 we know that α n 1 0 when n. But then, given ε > 0, we can always find N N such that for all n N we have α n 1 ε/c. It follows that for all n, m N we have a m a n ε. This shows that the sequence {a n } is a Cauchy sequence. Problem 9 Consider the set of rational numbers. Call two Cauchy sequences of rationals {a n } and {b n } equivalent, denoted {a n } {b n }, if lim n a n b n = 0. 5
6 a) Show that is an equivalence relation (symmetric, reflexive, and transitive). Solution. For any Cauchy sequence of rational numbers {a n } we have {a n } {a n }, because lim n a n a n = lim n 0 = 0. Let {a n } and {b n } be Cauchy sequences of rational numbers such that {a n } {b n }, i.e. lim n a n b n = 0. Then lim n b n a n = lim n a n b n = 0, so that {b n } {a n }. Now let {a n }, {b n }, and {c n } be Cauchy sequences of rational numbers such that {a n } {b n } and {b n } {c n }, i.e. lim n a n b n = 0 and lim n b n c n = 0. Notice then that lim n a n c n = lim n a n b n +b n c n lim n ( a n b n + b n c n ) = lim n a n b n + lim n b n c n = = 0, so that lim n a n c n = 0. It follows that {a n } {c n }. We conclude that is an equivalence relation. b) Define R to be the set of equivalence classes of Cauchy sequences of rationals. If x, y R, define x+y and xy, showing that you definition is independent of choices within an equivalence class. Solution. Let x = [{x n }] and y = [{y n }] be elements of R. We define x + y to be the equivalence class of the Cauchy sequence of rational numbers {x n + y n }, i.e. x + y = [{x n + y n }]. Notice that {x n + y n } is indeed a Cauchy sequence. Given ε > 0 let N 1 N be such that x m x n ε/2 for all n, m N 1 and N 2 N be such that y m y n ε/2 for all n, m N 2. Consider N = max{n 1, N 2 } N. Notice then that for all n, m N we have x m + y m (x n + y n ) = x m x n + y m y n = x m x n + y m y n ε/2 + ε/2 = ε. As ε > 0 was arbitrary, it follows that {x n + y n } is a Cauchy sequence. Notice that the equivalence class x + y = [{x n + y n }] is indepenendent of the choice of representatives {x n } of x and {y n } of y. Indeed, let {x n } {x n} and {y n } {y n} be arbitrary Cauchy sequences of rational numbers. We need to show that {x n + y n } {x n + y n}. For this notice that lim n x n y n (x n + y n) = lim n x n x n + y n y n lim n x n x n + y n y n = lim n x n x n + lim n y n y n = = 0. It follows that {x n + y n } {x n + y n}, and so x + y is independent of the choices of representatives within each equivalence class. Let x = [{x n }] and y = [{y n }] be elements of R. We define xy to be the equivalence class of the Cauchy sequence of rational numbers {x n y n }, i.e. xy = [{x n y n }]. Notice that {x n y n } is indeed a Cauchy sequence. As {x n } and {y n } are Cauchy sequences they are in particular bounded. Let M 1 N be such that x n M 1 for all n N and M 2 N be such that y n M 2 for all n N. Given ε > 0 let N 1 N be such that x m x n ε/2m 2 for all n, m N 1 and N 2 N be such that y m y n ε/2m 1 for all n, m N 2. Consider N = max{n 1, N 2 } N. Notice then that for all n, m N we have x m y m x n y n = x m y m x m y n + x m y n x n y n x m y m x m y n + x m y n x n y n = x m y m y n + y n x m x n M 1 ε/2m 1 + M 2 ε/2m 2 = ε. As ε > 0 was arbitrary, it follows that {x n y n } is a Cauchy sequence. Notice that the equivalence class xy = [{x n y n }] is indepenendent of the choice of representatives {x n } of x and {y n } of y. Indeed, let {x n } {x n} and {y n } {y n} be arbitrary Cauchy sequences of rational numbers. We need to show that {x n y n } {x ny n}. For this notice that lim n x n y n (x ny n) = lim n x n y n x n y n + x n y n x ny n lim n x n y n x n y n + x n y n x ny n = lim n x n y n y n + y n x n x n = lim n x n y n y n + lim n y n x n x n = = 0, where we used the fact that the sequences {x n } and {y n} are bounded (because they are Cauchy). It follows that {x n y n } {x ny n}, and so xy is independent of the choices of representatives within each 6
7 equivalence class. Problem 10 Let R be defined as in the previous problem. a) Show that R satisfies field Axioms 5 and 10: the existence of additive and multiplicative inverses. (It satisfies the other field axioms but you do not have to prove that). Solution. It is straightforward to check that the additive identity of R is given by the class of the constant sequence with value 0. We denote such class by 0. Let [{x n }] be an arbitrary element of R. We claim that [{ x n }] is the additive inverse of [{x n }] in R. Notice that { x n } is a Cauchy sequence of rational numbers so that [{ x n }] is indeed an element of R. From the definition of the operation + in R we see that [{x n }] + [{ x n }] = [{x n x n }] = [{0}] = 0 = [{0}] = [{ x n + x n }] = [{ x n }] + [{x n }]. It follows that [{ x n }] is indeed the additive inverse of [{x n }] in R. It is straightforward to check that the multiplicative identity of R is given by the class of the constant sequence with value 1. We denote such class by 1. Let [{x n }] be an arbitrary element of R 0. We claim that [{1/x n }] is the multiplicative inverse of [{x n }] in R. Here we consider the sequence {1/x n } as taking the value 1 whenever x n = 0. We first show that {1/x n } is a Cauchy sequence of rational numbers so that [{1/x n }] is indeed an element of R. To check this consider 1/x n 1/x m = x m x n / x n x m. Notice that {x n } does not converge to 0, else [{x n }] = 0. It follows that x nk = x nk 0 > δ for some δ > 0 and a sequence n k of positive integers. As {x n } is Cauchy there exists N 1 N such that x n x m < δ/2 for all n, m N 1. Considering any k N such that n k N we see that x n = x nk + x n x nk x nk x n x nk > δ δ/2 = δ/2 for all n N 1. Notice then that for all n, m N 1 we have 1/x n 1/x m = x m x n / x n x m < x n x m δ 2. As {x n } is Cauchy we can find N 2 N such that x n x m < ɛ/δ 2 for all n, m N 2. Consider N := max{n 1, N 2 }. Then 1/x n 1/x m < ɛ for all n, m N. It follows that {1/x n } is a Cauchy sequence of rational numbers. From the definition of the operation in R we see that [{x n }] [{1/x n }] = [{x n (1/x n )}] = [{1}] = 1 = [{1}] = [{(1/x n ) x n }] = [{1/x n }] [{x n }]. It follows that [{1/x n }] is indeed the multiplicative inverse of [{x n }] in R. b) Descibe a set P R of positive elements and show that it satisfies the order axiom, Axiom 12. Proof. Let P be the subset of R given by: P := {[{x n }]: {x n } is a Cauchy sequence of positive rational numbers bounded below from 0} By bounded below from 0 we mean x n > c for all n N and some c > 0. It is clear that x + y and xy are in P whenever x, y are in P. It remains to show that for any given x = [{x n }] R exactly one of the following three holds: x P, x = 0, or x P. It is easy to check that 7
8 x P if and only if there exists some N N and c > 0 such that x n > c for all n N. Analogously one checks that x P if and only if there exists some N N and c < 0 such that x n < c for all n N. It is clear then that the conditions x P, x = 0, or x P are mutually exclusive. It remains to check that any x R satisfies one of such conditions. Let x R be arbitrary. If x = 0 then we are done. Suppose that x 0. Notice that {x n } does not converge to 0, else [{x n }] = 0. It follows that x nk = x nk 0 > δ for some δ > 0 and a sequence n k of positive integers. As {x n } is Cauchy there exists an N 1 N such that x n x m < δ/2 for all n, m N. Considering any k N such that n k N we see that x n = x nk + x n x nk x nk x n x nk > δ δ/2 = δ/2 for all n N. In particular the x n with n N are either all positive or all negative ( x n x m < δ/2 for all n, m N). If all are positive we then have x n > δ/2 for all n N, i.e. x P. If all are negative we then have x n < δ/2 for all n N, i.e. x P. It follows that the set P satisfies the desired conditions. 8
Numerical Sequences and Series
Numerical Sequences and Series Written by Men-Gen Tsai email: b89902089@ntu.edu.tw. Prove that the convergence of {s n } implies convergence of { s n }. Is the converse true? Solution: Since {s n } is
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More information(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)
MATH 111 Optional Exam 3 lutions 1. (0 pts) We define a relation on Z as follows: a b if a + b is divisible by 3. (a) (1 pts) Prove that is an equivalence relation. (b) (8 pts) Determine all equivalence
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationContinuity. 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 informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationMATH 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 informationMath 104: Homework 1 solutions
Math 10: Homework 1 solutions 1. The basis for induction, P 1, is true, since 1 3 = 1. Now consider the induction step, assuming P n is true and examining P n+1. By making use of the result (1 + +... +
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationHOMEWORK ASSIGNMENT 6
HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly
More informationContinuity. 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 informationSets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions
Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.
More informationSuppose R is an ordered ring with positive elements P.
1. The real numbers. 1.1. Ordered rings. Definition 1.1. By an ordered commutative ring with unity we mean an ordered sextuple (R, +, 0,, 1, P ) such that (R, +, 0,, 1) is a commutative ring with unity
More informationAxioms for the Real Number System
Axioms for the Real Number System Math 361 Fall 2003 Page 1 of 9 The Real Number System The real number system consists of four parts: 1. A set (R). We will call the elements of this set real numbers,
More information2. Introduction to commutative rings (continued)
2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of
More information4130 HOMEWORK 4. , a 2
4130 HOMEWORK 4 Due Tuesday March 2 (1) Let N N denote the set of all sequences of natural numbers. That is, N N = {(a 1, a 2, a 3,...) : a i N}. Show that N N = P(N). We use the Schröder-Bernstein Theorem.
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
More information1 Homework. Recommended Reading:
Analysis MT43C Notes/Problems/Homework Recommended Reading: R. G. Bartle, D. R. Sherbert Introduction to real analysis, principal reference M. Spivak Calculus W. Rudin Principles of mathematical analysis
More information1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N
Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems
More informationMATH 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 informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationMath 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 informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More informationMATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.
MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions. Uniform continuity Definition. A function f : E R defined on a set E R is called uniformly continuous on E if for every
More informationSequences. 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 informationSolutions 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 informationMATH 13 SAMPLE FINAL EXAM SOLUTIONS
MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationIn last semester, we have seen some examples about it (See Tutorial Note #13). Try to have a look on that. Here we try to show more technique.
MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #4 Part I: Cauchy Sequence Definition (Cauchy Sequence): A sequence of real number { n } is Cauchy if and only if for any ε >
More informationReal Analysis. Joe Patten August 12, 2018
Real Analysis Joe Patten August 12, 2018 1 Relations and Functions 1.1 Relations A (binary) relation, R, from set A to set B is a subset of A B. Since R is a subset of A B, it is a set of ordered pairs.
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationAssignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.
Assignment-1 (Due 11/21) 1. Consider the sequence of functions f n (x) = x n on [, 1]. (a) Show that each function f n is uniformly continuous on [, 1]. Solution: Any continuous function on a compact set
More informationReal 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 information1. Continuous Functions between Euclidean spaces
Math 441 Topology Fall 2012 Metric Spaces by John M. Lee This handout should be read between Chapters 1 and 2 of the text. It incorporates material from notes originally prepared by Steve Mitchell and
More informationIowa 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 informationHomework 5. Solutions
Homework 5. Solutions 1. Let (X,T) be a topological space and let A,B be subsets of X. Show that the closure of their union is given by A B = A B. Since A B is a closed set that contains A B and A B is
More informationMath 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 informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES You will be expected to reread and digest these typed notes after class, line by line, trying to follow why the line is true, for example how it
More informationMA 1124 Solutions 14 th May 2012
MA 1124 Solutions 14 th May 2012 1 (a) Use True/False Tables to prove (i) P = Q Q = P The definition of P = Q is given by P Q P = Q T T T T F F F T T F F T So Q P Q = P F F T T F F F T T T T T Since the
More informationFundamentals of Pure Mathematics - Problem Sheet
Fundamentals of Pure Mathematics - Problem Sheet ( ) = Straightforward but illustrates a basic idea (*) = Harder Note: R, Z denote the real numbers, integers, etc. assumed to be real numbers. In questions
More informationA lower bound for X is an element z F such that
Math 316, Intro to Analysis Completeness. Definition 1 (Upper bounds). Let F be an ordered field. For a subset X F an upper bound for X is an element y F such that A lower bound for X is an element z F
More informationHOMEWORK ASSIGNMENT 5
HOMEWORK ASSIGNMENT 5 DUE 1 MARCH, 2016 1) Let f(x) = 1 if x is rational and f(x) = 0 if x is irrational. Show that f is not continuous at any real number. Solution Fix any x R. We will show that f is
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationMathematics 220 Workshop Cardinality. Some harder problems on cardinality.
Some harder problems on cardinality. These are two series of problems with specific goals: the first goal is to prove that the cardinality of the set of irrational numbers is continuum, and the second
More informationFunctional Equations
Functional Equations Henry Liu, 22 December 2004 henryliu@memphis.edu Introduction This is a brief set of notes on functional equations. It is one of the harder and less popular areas among Olympiad problems,
More informationHence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ
Matthew Straughn Math 402 Homework 5 Homework 5 (p. 429) 13.3.5, 13.3.6 (p. 432) 13.4.1, 13.4.2, 13.4.7*, 13.4.9 (p. 448-449) 14.2.1, 14.2.2 Exercise 13.3.5. Let (X, d X ) be a metric space, and let f
More informationIowa 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 informationMidterm Review Math 311, Spring 2016
Midterm Review Math 3, Spring 206 Material Review Preliminaries and Chapter Chapter 2. Set theory (DeMorgan s laws, infinite collections of sets, nested sets, cardinality) 2. Functions (image, preimage,
More informationMATH 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 informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationMath 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10
Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10 Inductive sets (used to define the natural numbers as a subset of R) (1) Definition: A set S R is an inductive
More informationMath 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases:
Math 34 Summer 06 Midterm Exam Solutions. Complete the definitions of the following words or phrases: (a) A sequence (a n ) is called a Cauchy sequence if and only if for every ɛ > 0, there exists and
More informationconverges 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 informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationThe 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 informationMath 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 informationDefinitions & Theorems
Definitions & Theorems Math 147, Fall 2009 December 19, 2010 Contents 1 Logic 2 1.1 Sets.................................................. 2 1.2 The Peano axioms..........................................
More information447 HOMEWORK SET 1 IAN FRANCIS
7 HOMEWORK SET 1 IAN FRANCIS For each n N, let A n {(n 1)k : k N}. 1 (a) Determine the truth value of the statement: for all n N, A n N. Justify. This statement is false. Simply note that for 1 N, A 1
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationName (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)
MTH299 - Homework 1 Question 1. exercise 1.10 (compute the cardinality of a handful of finite sets) Solution. Write your answer here. Question 2. exercise 1.20 (compute the union of two sets) Question
More informationNumbers, sets, and functions
Chapter 1 Numbers, sets, and functions 1.1. The natural numbers, integers, and rational numbers We assume that you are familiar with the set of natural numbers the set of integers and the set of rational
More informationA lower bound for X is an element z F such that
Math 316, Intro to Analysis Completeness. Definition 1 (Upper bounds). Let F be an ordered field. For a subset X F an upper bound for X is an element y F such that A lower bound for X is an element z F
More informationThus f is continuous at x 0. Matthew Straughn Math 402 Homework 6
Matthew Straughn Math 402 Homework 6 Homework 6 (p. 452) 14.3.3, 14.3.4, 14.3.5, 14.3.8 (p. 455) 14.4.3* (p. 458) 14.5.3 (p. 460) 14.6.1 (p. 472) 14.7.2* Lemma 1. If (f (n) ) converges uniformly to some
More informationMaths 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 informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
More informationADDENDUM 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 informationDiscrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27
CS 70 Discrete Mathematics for CS Spring 007 Luca Trevisan Lecture 7 Infinity and Countability Consider a function f that maps elements of a set A (called the domain of f ) to elements of set B (called
More informationMetric 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 informationSETS AND FUNCTIONS JOSHUA BALLEW
SETS AND FUNCTIONS JOSHUA BALLEW 1. Sets As a review, we begin by considering a naive look at set theory. For our purposes, we define a set as a collection of objects. Except for certain sets like N, Z,
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationMT804 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 informationMATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #12
MATH0 Introduction to Analysis (007 Fall and 008 Spring) Tutorial Note #1 Limit (Part ) Recurrence Relation: Type 1: Monotone Sequence (Increasing/ Decreasing sequence) Theorem 1: Monotone Sequence Theorem
More informationTopological 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 informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationmeans is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.
1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for
More informationProblem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1
Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically
More informationFoundations of Mathematics MATH 220 FALL 2017 Lecture Notes
Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationMAS331: Metric Spaces Problems on Chapter 1
MAS331: Metric Spaces Problems on Chapter 1 1. In R 3, find d 1 ((3, 1, 4), (2, 7, 1)), d 2 ((3, 1, 4), (2, 7, 1)) and d ((3, 1, 4), (2, 7, 1)). 2. In R 4, show that d 1 ((4, 4, 4, 6), (0, 0, 0, 0)) =
More informationFINAL EXAM Math 25 Temple-F06
FINAL EXAM Math 25 Temple-F06 Write solutions on the paper provided. Put your name on this exam sheet, and staple it to the front of your finished exam. Do Not Write On This Exam Sheet. Problem 1. (Short
More informationA Short Review of Cardinality
Christopher Heil A Short Review of Cardinality November 14, 2017 c 2017 Christopher Heil Chapter 1 Cardinality We will give a short review of the definition of cardinality and prove some facts about the
More informationGeneral Notation. Exercises and Problems
Exercises and Problems The text contains both Exercises and Problems. The exercises are incorporated into the development of the theory in each section. Additional Problems appear at the end of most sections.
More informationand problem sheet 6
2-28 and 5-5 problem sheet 6 Solutions to the following seven exercises and optional bonus problem are to be submitted through gradescope by 2:0AM on Thursday 9th October 207. There are also some practice
More informationMath 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 4 Solutions Please write neatly, and in complete sentences when possible.
Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 4 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 2.6.3, 2.7.4, 2.7.5, 2.7.2,
More informationTHE REAL NUMBERS Chapter #4
FOUNDATIONS OF ANALYSIS FALL 2008 TRUE/FALSE QUESTIONS THE REAL NUMBERS Chapter #4 (1) Every element in a field has a multiplicative inverse. (2) In a field the additive inverse of 1 is 0. (3) In a field
More informationSolutions for Homework Assignment 2
Solutions for Homework Assignment 2 Problem 1. If a,b R, then a+b a + b. This fact is called the Triangle Inequality. By using the Triangle Inequality, prove that a b a b for all a,b R. Solution. To prove
More informationIntroduction 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 informationMath 105A HW 1 Solutions
Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S
More informationMATH 3150 Analysis I, Fall 2016
MATH 3150 Analysis I, Fall 2016 Arthur J. Parzygnat These are my personal notes. This is not a substitute for Abbott s book. You will not be responsible for any Remarks in these notes. However, everything
More informationMATH 3300 Test 1. Name: Student Id:
Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationSolutions to Homework Problems
Solutions to Homework Problems November 11, 2017 1 Problems II: Sets and Functions (Page 117-118) 11. Give a proof or a counterexample of the following statements: (vi) x R, y R, xy 0; (x) ( x R, y R,
More informationPrinciples 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