Homework 1 Solutions

Size: px
Start display at page:

Download "Homework 1 Solutions"

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

More information

Thus, 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

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

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

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

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

Contribution of Problems

Contribution 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 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 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

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

Math 104: Homework 1 solutions

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

MATH FINAL EXAM REVIEW HINTS

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

HOMEWORK ASSIGNMENT 6

HOMEWORK 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 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

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

Suppose R is an ordered ring with positive elements P.

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

Axioms for the Real Number System

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

2. Introduction to commutative rings (continued)

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

4130 HOMEWORK 4. , a 2

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

1 Take-home exam and final exam study guide

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

1 Homework. Recommended Reading:

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

1. 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

1. 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 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

CHAPTER 8: EXPLORING R

CHAPTER 8: EXPLORING R CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed

More information

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

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

More information

M17 MAT25-21 HOMEWORK 6

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

More information

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

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

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

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

More information

Solutions Final Exam May. 14, 2014

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

More information

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

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

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

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

More information

In 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.

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

Real Analysis. Joe Patten August 12, 2018

Real 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 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

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.

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

Real Analysis - Notes and After Notes Fall 2008

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

More information

1. Continuous Functions between Euclidean spaces

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

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

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

More information

Homework 5. Solutions

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

Math 140A - Fall Final Exam

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

More information

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

Math 421, Homework #9 Solutions

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

INTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES

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

MA 1124 Solutions 14 th May 2012

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

Fundamentals of Pure Mathematics - Problem Sheet

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

A lower bound for X is an element z F such that

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

HOMEWORK ASSIGNMENT 5

HOMEWORK 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 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

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

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

Functional Equations

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

Hence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ

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

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

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

More information

Midterm Review Math 311, Spring 2016

Midterm 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 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

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

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

Math 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases:

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

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

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

More information

Math 328 Course Notes

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

The Heine-Borel and Arzela-Ascoli Theorems

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

More information

Math 117: Topology of the Real Numbers

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

More information

Definitions & Theorems

Definitions & Theorems Definitions & Theorems Math 147, Fall 2009 December 19, 2010 Contents 1 Logic 2 1.1 Sets.................................................. 2 1.2 The Peano axioms..........................................

More information

447 HOMEWORK SET 1 IAN FRANCIS

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

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

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)

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

Numbers, sets, and functions

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

A lower bound for X is an element z F such that

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

Thus f is continuous at x 0. Matthew Straughn Math 402 Homework 6

Thus 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 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

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

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

More information

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

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

More information

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

Discrete 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 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

SETS AND FUNCTIONS JOSHUA BALLEW

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

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

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

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

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

More information

Lecture Notes on Metric Spaces

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

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

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

MT804 Analysis Homework II

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

More information

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #12

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

Topological properties

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

More information

MATH 131A: REAL ANALYSIS (BIG IDEAS)

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

means 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.

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

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

Functional Analysis Exercise Class

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

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

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

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

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

MAS331: Metric Spaces Problems on Chapter 1

MAS331: 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 information

FINAL EXAM Math 25 Temple-F06

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

A Short Review of Cardinality

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

General Notation. Exercises and Problems

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

and problem sheet 6

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

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

THE REAL NUMBERS Chapter #4

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

Solutions for Homework Assignment 2

Solutions 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 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

Math 105A HW 1 Solutions

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

MATH 3150 Analysis I, Fall 2016

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

MATH 3300 Test 1. Name: Student Id:

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

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

Solutions to Homework Problems

Solutions 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 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