RED. Fall 2016 Student Submitted Sample Questions

Size: px
Start display at page:

Download "RED. Fall 2016 Student Submitted Sample Questions"

Transcription

1 RED Fall 2016 Student Submitted Sample Questions Name: Last Update: November 22, 2016 The questions are divided into three sections: True-false, Multiple Choice, and Written Answer. I will add questions to the end of each section, so the number of a question should never change you can refer to T/F question 5 no matter when you download the file (as long as it is after five questions have been put in). 1. True-False Questions 1. True or false: Let A = {1, 2, 3, 4}, let B = {6, 7} and let f : A B be given by f = {(1, 7), (2, 6), (3, 7), (4, 7)}. Then f is surjective. (Solution) True. The function is surjective because every element in B has at least one ordered pair. 2. Let A = {1, 2, 3, 4}, and B = {Russia, China, USA, Mexico} and let f : A B then A and B have the same cardinality. (Solution) True. Cardinality means that the two sets have equal number of elements, thus regardless of what the elements are they are equal in number in this example. 3. Let R be a relation on the set of people where arb implies that person a and person b share a grandparent. Then R is an equivalence relation. Proof. This statement is false. R is not transitive because I can share a grandparent with my cousin on their mom s side, and they can share a grandparent with a cousin on their dad s side, and we are not necessarily related. This statement is reflexive and symmetric, but not transitive, so not an equivalence relation. 4. There is a greatest cardinality. Proof. This statement is false. For any set, a larger cardinality can be found by taking the power set of the set. Therefore, no largest cardinality exists. 5. Let A and B be sets. If there is a surjective but not a bijective function f : A B, then A < B. Proof. False. Let the set A = {1, 2, 3} and the set B = {1, 2}. Define f : A B by f(1) = 1, f(2) = 1, and f(3) = 2. The function f is surjective, but is not bijective. However, A > B. 6. Define f : R R by f(x) = x 2 + 2x + 1. The function is injective. Proof. False. Consider f( 2) = f(1) = 3, so f is not injective. 7. Let A = {2, 3, 4, 5, 6} and R be the relation defined by (does not divide). True/False: Relation R on set A is an equivalence relationship. Proof. False. This relationship will never be reflexive regardless of a set provided, because a number will always divide itself. 8. The set Q is countably infinite. 1

2 2 Proof. True by Corollary This is derived by using theorems (The set Q + is countably infinite) and theorem (If S and T are countable sets, then S T is countable). Q = Q + Q {0} 9. Define a relation R on N as arb if and only if a 2 b 2 0. Then R is transitive, but not symmetric. Answer: True Proof. To disprove symmetry, let a = 2, b = 1 Then a 2 b 2 = 4 1 = 3 is greater than 0, so arb Now b 2 a 2 = 1 4 = 3 is less than 0, so b does not relate to a. Therefore, R is not symmetric. To show transitivity, assume arb and brc Then a 2 b 2 0 and b 2 c 2 0 Adding these inequalities yeilds a 2 c 2 0 Hence, arc and R is transitive. 10. Define a function f : N R such that f(n) = n. f is a bijection. Answer: False Proof. See that 2 R, but there is no n N such that n = 2 Thus, f is not surjective, and thus not bijective. 11. Let be the relation defined on the set S of lines in the plane by l 1 l 2 if l 1 and l 2 have slopes m 1 and m 2 with m 1 = 1/m 2. Then the relation is not symmetric, but it is reflexive and transitive. Proof. This is false. All lines have the same slope as themselves. So they aren t perpendicular to themselves. Hence the relation isn t reflexive. 12. True or false. Let A = {1, 2, 3, 4, 5} and R = {(1, 1), (3, 3), (4, 4), (5, 5)}. This relation is reflexive, symmetric, and transitive. (a) solution: False. Proof. The relation is not reflexive. A relation is reflexive if xrx for EVERY x A. 13. True or false. The function f : R R by f(n) = n is bijective. Proof. True. Assume f(n 1 ) = f(n 2 ). So (n 1 ) 3 +6 = (n 2 ) Then, (n 1 ) 3 = (n 2 ) 3. Hence, (n 1 ) = (n 2 ) so f is injective. Let b R. Then f( 3 b 6) = ( 3 b 6) 3 +6 = b. Hence, f is surjective. Since f is both injective and surjective, f is bijective. 14. Let f : A B be a function. Then f is surjective B = Im(f). Solution: Proof. Let f be a function A B. Let f : Z to Z be the function given by f(x) = 2x. So 1 Z but 1 / f(x), so f(x) isn t surjective. However, Z = 2x. Hence the statement is false. 15. For a function, f: A B, B is in all cases considered the range of f.

3 3 (a) T (b) F Proof. False, B is only the range of f when f is surjective. B is the codomain in all cases. 16. There are exactly six different functions f : {a, b, c} {0, 1}. Proof. False, there are eight, 17. Let A={1,2,3,4,5}, and B={1,2,3,4,5,6,7,8}. Define f : A B by f ={(1,6),(2,2),(3,6),(4,7),(5,1)}. Then f is injective. Proof. False; two elements from the domain map to the same element in the codomain. 18. N = Q = Z? Proof. True; all of these sets are countably infinite. 19. Let S = {1, 2, 3} and S X. Then X = 3 if and only if X S Proof. True. By the Schreder-Bernstein Theorem we know that if S X and X S then X = S 20. If f is surjective then g(f(x)) is surjective. Proof. False. Let A = {1, 2}, B = {3} and C = {4, 5} f(x) = {(1, 3), (2, 3)} g(x) = {(3, 4)} g(f(x)) = {(1, 4), (2, 4)} Since 5 is not a second component of g(f(x)) then it is not surjective. 21. Let f : A B be a function, where A = {15, 27, 38} and B = {5, 6, 7, 8}. Then f is surjective. Proof. False. Because A < B, f cannot be surjective. 22. Let A be an infinite set. If A B, then A < B. Proof. False. Let A = N and B = Z. Then A B, but A = B because there exists a bijection f : Z N given by { 2n if n 0 f(n) = 1 2n if n < [5, 5000] = R Proof. True. R = [0, 1]. There exists a bijection between [0, 1] and [5, 5000] given by f(x) = 4995x + 5. So [0, 1] = [5, 5000].

4 4 Therefore, [5, 5000] = R. 24. True/False: Let R be an equivalence relation on a set A = {1, 2, 3, 4, 5} given by R = {(1, 1), (1, 5), (2, 2), (2, 3), (3, 2), (3, 3), (4, 4), (5, 1), (5, 5)}. The set of equivalence classes of R is {{1,4,5},{2,3}}. Proof. False. The set of equivalence classes is {{1.5}, {2, 3}, {4}}.

5 5 2. Multiple Choice Questions 1. Which of the following is a bijection from: (0, 2) (c, d) a) f(x) = (d c)x + d b) f(x) = cx + 2 c) f(x) = (c d)x + c d) f(x) = ( d c 2 )x + c (Solution): D, if we take the slope of the coordinates we get d c 2 and then the x intercept is located at c when x = 0 which gives us the function of f(x) = ( d c 2 )x+c 2. Let A = {1, 2, 3, 4} and the function is defined as: f : A A f = {(1, 2), (2, 3), (3, 4), (4, 1)} Find f f a) f = {(1, 3), (2, 4), (3, 1), (4, 2)} b) f = {(1, 2), (2, 4), (3, 2), (2, 4)} c) f = {(2, 1), (4, 2), (1, 3), (4, 2)} d) f = {(1, 3), (2, 3), (3, 1), (4, 2)} (Solution): A, if we write out the set we can see f is given then follow that pattern going from one set to the next. For example with (1, 2) we get and (2, 3) we get and (3, 4) we get and (4, 1) we get and end with f = {(1, 3), (2, 4), (3, 1), (4, 2)} 3. Suppose f : R {0, 1}. What can we infer from the domain and codomain of f? (a) f is surjective. (b) f is not injective. (c) f is bijective. (d) both (a) and (b). (e) both (a) and (c). Proof. (b) is the correct answer. Since R > {0, 1}, f cannot be injective. Also, f could be a function such as f(x) = 0, so f is not necessarily surjective, ruling out the other options. 4. If a relation is a reflexive function, what must it also be? (a) bijective (b) an equivalence relation (c) transitive (d) symmetric (e) surjective (f) all of the above (g) three of the above (h) two of the above (i) none of the above Proof. The answer is (f). Let f : A A be our reflexive function. Then f contains all ordered pairs (a, a) for a A. Since is is a function, it contains only one ordered pair for each element of A, so this is all that it contains. Hence, the function is given by f(a) = a for all a A. This is bijective, hence, surjective. It is also clearly symmetric and transitive, hence an equivalence relation. 5. Which of the following relations is not a function from A = {a, b, c, d} to B = {1, 2, 3, 4, 5}?

6 6 (a) f = {(a, 1), (b, 2), (c, 3), (d, 4)} (b) f = {(a, 2), (c, 3), (c, 4), (d, 5)} (c) f = {(a, 3), (b, 4), (c, 5), (d, 1)} (d) f = {(a, 2), (b, 3), (c, 5), (d, 5)} Proof. The answer is (b) because c A is the first component in more than one element of f. Therefore, it is not a function. 6. Define f : Z Z by f(x) = x + 5. Which of the following best describes the function? (a) f if injective. (b) f is surjective. (c) f is bijective. (d) f is neither injective nor surjective. Proof. The answer is (c). Suppose f(x) = f(y). So x + 5 = y + 5. Then x = y. Therefore, f is injective. Suppose b Z Let x = b 5. Then f(b 5) = b 5+5 = b. Hence, f is surjective. Because f is injective and surjective, then f is bijective. 7. Let f be a function mapping R R show below. Choose the best description for this function. 30 f : {3x} (a) neither injective nor surjective (b) injective only (c) surjective only (d) bijective x Proof. (d) The function is bijective. 8. Let f be a function mapping R R show below. Choose the best description for this function.

7 7 10 f : { 1 2 x3 + 2x 2 } x 5 10 (a) neither injective nor surjective (b) injective only (c) surjective only (d) bijective Proof. (c) The function is surjective but not injective. 9. Let f be a function mapping R R show below. Choose the best description for this function. 10 f : {x 2 } x 5 10 (a) neither injective nor surjective (b) injective only (c) surjective only (d) bijective Proof. (a): The function is neither injective nor surjective. 10. Which of the following does NOT have the same cardinality as N? (a) {n N : 5 n} (b) Z (c) Q (d) {x R : x is a possible 5-digit zip code} (e) None of the above Answer: d - there are only 100,000 possible zip codes which is finite.

8 8 11. Define a relation R by arb if a b. Then R is... (a) Transitive Only (b) Reflexive Only (c) Symmetric Only (d) Transitive and Reflexive (e) Transitive and Symmetric (f) Symmetric and Reflexive (g) Transitive, Reflexive, and Symmetric (h) None of the above Answer: b Proof. See that a does not relate to a because a a is false. Hence, R is not reflexive. Also, let a = 0, b = 1, c = 0 Then arb and brc but a = c, so a does not relate to c Hence, R is not transitive. Now, assume arb, then a b So b a, and bra Hence, R is symmetric. 12. Let R be an equivalence relation on the set A = {1, 2, 3, 4, 5, 6}. Assume 2R4, 1R6 and 4R5. Let R be a subset of A A, what is the smallest possible set that R could be? (a) {(1, 1), (1, 6), (2, 2), (2, 4), (3, 3), (4, 4), (4, 5), (5, 5), (6, 6)} (b){(1, 1), (1, 6), (2, 2), (2, 4), (3, 3), (4, 2), (4, 4), (4, 5), (5, 4), (5, 5), (6, 1), (6, 6)} (c){(1, 1), (1, 6), (2, 2), (2, 4), (2, 5), (3, 3), (4, 2), (4, 4), (4, 5), (5, 2), (5, 4), (5, 5), (6, 1), (6, 6)} (d){(1, 1), (1, 6), (2, 2), (2, 4), (2, 5), (4, 2), (4, 4), (4, 5), (5, 2), (5, 4), (5, 5), (6, 1), (6, 6)} Proof. The correct answer is C. It provides the smallest possible equivalence relation on A. R is reflexive, symmetric, and transitive. 13. Which group of relations are all reflexive? (a),, < (b),, = (c), >, (d) =,, Proof. The correct answer is B. All of these are reflexive because x x, x x and x = x. 14. Let A = {x Z : x 3}, and let f : A Z be the function given by f(x) = 7x+2. What are the domain and range f(x)? (a) Domain {0, 1, 2, 3}; Range {2, 9, 16, 23}. (b) Domain { 3, 2, 1, 0, 1, 2, 3}; Range { 19, 12, 5, 2, 9, 16, 23}. (c) Domain { 19, 12, 5, 2, 9, 16, 23}; Range { 3, 2, 1, 0, 1, 2, 3}. (d) Domain { 3, 2, 1, 0, 1, 2, 3}; Range {Z}. Proof. The domain of f(x) is the set A = { 3, 2, 1, 0, 1, 2, 3}. When you plug in a A, you get the range of f(x). Therefore Im(f) = { 19, 12, 5, 2, 9, 16, 23}. Hence (b) is correct. 15. Which (if any) of the following functions are well defined? (a) f 1 : Let f 1 from Z 10 Z 5 be the function given by f(a) = f([a]), a Z 10, [a] Z 5.

9 9 (b) f 2 : Let f 2 from Z 4 Z 8 be the function given by f(a) = f([a]), a Z 4, [a] Z 8. (c) f 3 : Let f 3 from Z 5 Z 10 be the function given by f(a) = f([a]), a Z 5, [a] Z 10. (d) b and c (e) none of the above Proof. Let elt of Z 10 = a and elt of Z 5 = [a]. Assume a = b. Then arb, and a b (mod 1)0. So a b = 10k, k Z, and a b = 5(2)k, k Z. Hence a b (mod 5). Hence [a] = [b], and f 1 is well defined. Proof. Let elt of Z 4 = a and elt of Z 8 = [a]. Let a = 0 and b = 4. Then 0 = 0 and 4 = 0, but [0] [4]. Hence f 2 isn t well-defined. Proof. Let elements of Z 5 = a and elements of Z 10 = [a]. Let a = 0 and b = 5. Then 0 = 0 and 5 = 0, but [0] [5]. Hence f 3 isn t well-defined. Hence (a) is correct. 16. Consider the relation R = {(3, 3), (4, 4), (2, 3), (3, 2), (2, 4)} on set A = {2, 3, 4}. Is R reflexive? Symmetric? Transitive? (a) Reflexive (b) Symmetric (c) Transitive (d) both (a) and (c) (e) both (b) and (c) (f) None of the above Proof. d, none of the above. There is no (2, 2), so it can t be reflexive. There is no (4, 2), so it can t be reflexive since (2, 4) is a member of the set A. (2, 3) and (3, 2) are members of A, but there is no (2, 2) so R is not transitive either. 17. For two finite sets A = {1, 2, 3, 4, 5, 6} and B = {1, 2, 3}, how many functions f : A B can be made? (a) 58 (b) 241 (c) 729 (d) 1245 Proof. c, the number of functions that can be made will the cardinality of the codomain to the power of the cardinality of the domain: 3 6 = If there exists a bijection f : A B, then (a) A = B. (b) f is injective. (c) f is invertible. (d) All the the above.

10 10 (e) None of the above. Solution: (d). They have the same cardinality since there exists a bijection. Since there is a bijection, the function also has to also be injective. An bijective function is also invertible. 19. Let R be a relation on {1,2,3,4}. Select the most true statement. (a) R={(1,1), (2,2), (3,3)} is reflexive. (b) R={(1,1), (1,2), (2,1), (2,2), (3,3), (1,3), (3,1), (2,3), (3,2)} is symmetric. (c) R={(1,1), (1,2), (2,1), (2,2), (3,3), (1,3), (3,1), (2,3), (3,2)} is transitive. (d) R={(1,1), (1,2), (2,1), (2,2), (3,3), (1,3), (3,1), (2,3), (3,2)} is reflexive (e) Three of the above (f) Two of the above Solution: (f). In (b), whenever we have xry, it follows that yrx, so R is symmetric. In (c), (xry yrz) = xrz is true for all values in the set, so the relation is transitive. 20. Let R be an equivalence relation on the set {a, b, c} given by R = {(a, b), (b, a), (a, a), (b, b), (c, c)}. What are all the equivalence classes of R? (a) [a], [b] (b) There are no equivalence classes of R. (c) [c] (d) [a], [c] Proof. D Since [a] = [b], D contains all the equivalence classes of X. 21. Which of the following sets has the greatest cardinality? (a) N (b) Z (c) {0, 1} (d) P(( 3, 2)) Proof. D We proved that (a, b) = (0, 1) = R Therefore, using Theorem 31.5 ( 3, 2) < P(( 3, 2)). 22. Which of the functions below are injective? (a) f : R { 2} R {1}, f(x) = x 1 x+2 (b) g : R R, g(x) = x 2 (c) h : Z N, h(x) = x (d) two of the above (e) none of the above Proof. Correct Answer: (a) Let f(x) = f(y). Then x 1 x+2 = y 1 y+2, so (x 1)(y + 2) = (y 1)(x + 2), so xy y + 2x 2 = xy x + 2y 2, then 3x = 3y, so x = y, Therefore, f is injective. Proof. Let g(x) = g(y). Then let x = 2 and y = 2. Therefore g is not injective. Proof. Let h(x) = h(y). Then let x = 1 and y = 1. Therefore h is not injective. 23. Let R be a relation on A, where a, b, c A. Which of the below are necessary for an equivalence relation? (more than one bubble can be selected)

11 11 (a) arb if a = b (b) arb if a and b have the same parity. (c) arb if bra (d) arb and brc implies arc (e) none of the above Proof. a - definition of reflexive, c - definition of symmetric, d - definition of transitive. 24. Let f be a function f : N Z defined by f(x) = 3x + 2. Which of the following is true? (a) f is injective (b) f is surjective (c) f is bijective (d) All of the above are true (e) none of the above are true Proof. (a) is correct.f(x) = f(y), so 3x + 2 = 3y + 2, then 3x = 3y, so x = y. (b) is not true, since no x N can give any negative numbers in Z from the function. 25. Let n N and let R be a relation on Z given by arb if a b (mod n). Which of the following is true? (a) The relation is reflexive (b) The relation is symmetric (c) The relation is transitive (d) The relation is an equivalence relation (e) All of the Above (f) None of the Above Proof. (e) is correct. The relation a b (mod n) is an equivalence relation. Therefore it is reflexive, symmetric, and transitive.

12 12 3. Written Answer Questions 1. Prove or disprove that the following function is bijective: f(x) = 2x + 1 x f = R {0} R {0} (Solution): Show that it is injective and surjective. Proof of injective: 2x + 1 x = 2y + 1 y 2xy + y = 2xy + x y = x Thus is can be seen that because y = x it is injective. Proof of surjective: let b = 2x+1 x and solve for x, we will then get the following which can be proven to show surjectivity: f ( ) 1 = 2 1 b b 2 1 b (b 2) = 1 = b Thus for each b and x we can show that we will get a surjective function. So it can be seen that because the function is injective and surjective that it is bijective. 2. Prove or disprove: There are as many real numbers as complex numbers. Proof. This statement is true. Let C be the set of all complex numbers, and let f : C R = f(a) = c 1 r 1 c 2 r 2 c 3 r d 1 s 1 d 2 s 2 d 3 s 3..., where c n is equal to the n th digit of the whole number portion of the complex component of a C, d n is equal to the n th digit of the decimal portion of the complex component of a C, r n is equal to the n th digit of the whole number portion of the real component of a C, and s n is equal to the n th digit of the decimal portion of the real component of a C. We will show that C = R by showing that f is a bijection. First, assume f(a) = f(b). Then every digit of a and b are the same in both the complex and real parts, so a = b, and f is injective. Next, for every number in R, we can build it by using a number in C. So, f is surjective. Therefore, f is bijective, so C = R. 3. For a Z, denote the congruence class of a modulo 6 by ā, and the congruence class of a modulo 3 by [a]. Define f : Z 6 Z 3 by f(ā) = [a]. Prove that f is well defined. Proof. Assume ā = b. Then a b (mod 6). So 6 a b. Then a b = 6k = 3(2k) for some k Z. Therefore, a b (mod 3). So [a] = [b]. Hence, f(ā) = [a] is well defined. 4. Let A = {2, 3, 4, 5, 6}. Write out the relation R that expresses (does not divide) on the set A. Proof. R = {(2, 3), (2, 5), (3, 2), (3, 4), (3, 5), (4, 2), (4, 3), (4, 5), (4, 6), (5, 2), (5, 3), (5, 4), (5, 6), (6, 2), (6, 3), (6, 4), (6, 5)}

13 13 5. Prove the cardinality of (, ) is the same as the cardinality of (0, ) Proof. First, note that (, ) = R We need to show that there exists a bijection from one set to the other. Define f : (, ) (0, ) as f(x) = e x where x (, ) Assume f(x 1 ) = f(x 2 ) Then e x1 = e x2. Taking the natural logarithm of both sides, we see that x 1 = x 2, Hence f is injective. Let b (0, ), there exists an x (, ) such that f(x) = b. Namely x = log b (, ) We see f(log(b) = e log b = b, so f is surjective. Therefore, f is a bijection, proving that the cardinality of (, ) is the same as the cardinality of (0, ). 6. Prove or disprove. Let f : N Z be given f(n) = 2 n 2. Then f is a bijection. Disproof. Since x 2 0 for all x R, we see that f(x) = 2 x 2 2. Hence, there is not value of x for which f(x) = 3, so f is not surjective. 7. Prove for Z 7, when A = 3 and B = 2, x A, y B, x + y = 5. Proof. Let a A, b B. Then a 3 (mod 7), so a 3 = 7k. Also b 2 (mod 7), so b 2 = 7l. Note k, l Z.So (a + b) 5 = 7(k + l), and a + b 5 (mod 7). Moreover a + b = 5. So x + y = 5. Hence the statement is true. 8. Prove or disprove that the set of complex numbers, C, is not countable. Proof. We know that R C. This means, by definition, that if x R then x C. Therefore, there exists an injection f : R C by the rule f(x) = x. Because this injection exists we can say that R C. Therefore, the set of complex numbers is not countable. 9. Prove or disprove: R and (0, ) have the same cardinality. If true, give a bijection as a formula. Proof. This is a true statement. We need a function f such that f : R (0, ). Consider the function f(x) = e x. The domain of f(x) is R, and the codomain (range) is (0, ), so this is indeed a function such that f : R (0, ). We assume the function is injective and let e a = e b. Then ln(e a ) = ln(e b ). And a ln(e) = b ln(e), so a = b. Therefore, our function is injective. Our function is also surjective since e ln(c) = c for all c > 0. Therefore, f is bijective, and it follows that R and (0, ) have the same cardinality. Additionally, since (0, ) R and R is infinitely uncountable, (0, ) is also infinitely uncountable. Therefore they have the same cardinality. 10. Prove the following is a bijective function.

14 14 f : R R Where f(x) = 3x + 12 Proof. Assume f(x) = f(y) Then 3x + 12 = 3y x = 3y x = y Therefore f is injective. Now, Let f( b 12 3 ) = 3( b 12 3 ) + 12 So, b = b Then f is surjective. Since f is surjective and injective, it is bijective. 11. Prove or disprove: the union of two countably infinite sets is countably infinite. Proof. Let S, T be countably infinite sets, where s S and t T Then let S T be written as follows: {s 1, t 1, s 2, t 2,...}. Starting from the left hand side, assign s 1 = 1, t 1 = 2, s 2 = 3... then each element of S T maps to exactly one element of N. Therefore the set S T is countably infinite. 12. Prove that the set Z is countably infinite. Proof. Let f be a function on Z N be defined by { 2n n > 0 f(n) = (2n 1) x 0 This function is a bijection on f : Z N. Therefore, Z = N, so Z is countably infinite.

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

MATH 433 Applied Algebra Lecture 14: Functions. Relations. MATH 433 Applied Algebra Lecture 14: Functions. Relations. Cartesian product Definition. The Cartesian product X Y of two sets X and Y is the set of all ordered pairs (x,y) such that x X and y Y. The Cartesian

More information

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which Review Problems for Midterm Exam II MTH 99 Spring 014 1. Use induction to prove that for all n N. 1 + 3 + + + n(n + 1) = n(n + 1)(n + ) Solution: This statement is obviously true for n = 1 since 1()(3)

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

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam RED Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam Note that the first 10 questions are true-false. Mark A for true, B for false. Questions 11 through 20 are multiple choice

More information

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A

More information

LESSON RELATIONS & FUNCTION THEORY

LESSON RELATIONS & FUNCTION THEORY 2 Definitions LESSON RELATIONS & FUNCTION THEORY Ordered Pair Ordered pair of elements taken from any two sets P and Q is a pair of elements written in small brackets and grouped together in a particular

More information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

RED. Name: Math 290 Fall 2016 Sample Exam 3

RED. Name: Math 290 Fall 2016 Sample Exam 3 RED Name: Math 290 Fall 2016 Sample Exam 3 Note that the first 10 questions are true false. Mark A for true, B for false. Questions 11 through 20 are multiple choice. Mark the correct answer on your ule

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017 Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a

More information

MAD 3105 PRACTICE TEST 2 SOLUTIONS

MAD 3105 PRACTICE TEST 2 SOLUTIONS MAD 3105 PRACTICE TEST 2 SOLUTIONS 1. Let R be the relation defined below. Determine which properties, reflexive, irreflexive, symmetric, antisymmetric, transitive, the relation satisfies. Prove each answer.

More information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...

More information

Math 300: Final Exam Practice Solutions

Math 300: Final Exam Practice Solutions Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a

More information

Discussion Summary 10/16/2018

Discussion Summary 10/16/2018 Discussion Summary 10/16/018 1 Quiz 4 1.1 Q1 Let r R and r > 1. Prove the following by induction for every n N, assuming that 0 N as in the book. r 1 + r + r 3 + + r n = rn+1 r r 1 Proof. Let S n = Σ n

More information

Lecture 7: Relations

Lecture 7: Relations Lecture 7: Relations 1 Relation Relation between two objects signify some connection between them. For example, relation of one person being biological parent of another. If we take any two people at random,

More information

Reading 11 : Relations and Functions

Reading 11 : Relations and Functions CS/Math 240: Introduction to Discrete Mathematics Fall 2015 Reading 11 : Relations and Functions Instructor: Beck Hasti and Gautam Prakriya In reading 3, we described a correspondence between predicates

More information

Chapter 1. Sets and Mappings

Chapter 1. Sets and Mappings Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

Selected problems from past exams

Selected problems from past exams Discrete Structures CS2800 Prelim 1 s Selected problems from past exams 1. True/false. For each of the following statements, indicate whether the statement is true or false. Give a one or two sentence

More information

Relations. P. Danziger. We may represent a relation by a diagram in which a line is drawn between two elements if they are related.

Relations. P. Danziger. We may represent a relation by a diagram in which a line is drawn between two elements if they are related. - 10 Relations P. Danziger 1 Relations (10.1) Definition 1 1. A relation from a set A to a set B is a subset R of A B. 2. Given (x, y) R we say that x is related to y and write xry. 3. If (x, y) R we say

More information

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Spring

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Spring c Dr Oksana Shatalov, Spring 2016 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set

More information

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

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

More information

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

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Chapter 4 Functions Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Definition 2 Let A and B be sets. A function from A to B is a relation f between A and B such that

More information

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2016 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from the set A to the set B is a correspondence that assigns to

More information

9 FUNCTIONS. 9.1 The Definition of Function. c Dr Oksana Shatalov, Fall

9 FUNCTIONS. 9.1 The Definition of Function. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2018 1 9 FUNCTIONS 9.1 The Definition of Function DEFINITION 1. Let X and Y be nonempty sets. A function f from the set X to the set Y is a correspondence that assigns to each

More information

Cardinality and ordinal numbers

Cardinality and ordinal numbers Cardinality and ordinal numbers The cardinality A of a finite set A is simply the number of elements in it. When it comes to infinite sets, we no longer can speak of the number of elements in such a set.

More information

Writing Assignment 2 Student Sample Questions

Writing Assignment 2 Student Sample Questions Writing Assignment 2 Student Sample Questions 1. Let P and Q be statements. Then the statement (P = Q) ( P Q) is a tautology. 2. The statement If the sun rises from the west, then I ll get out of the bed.

More information

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland Discrete Mathematics W. Ethan Duckworth Fall 2017, Loyola University Maryland Contents 1 Introduction 4 1.1 Statements......................................... 4 1.2 Constructing Direct Proofs................................

More information

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010) http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product

More information

Section 4.4 Functions. CS 130 Discrete Structures

Section 4.4 Functions. CS 130 Discrete Structures Section 4.4 Functions CS 130 Discrete Structures Function Definitions Let S and T be sets. A function f from S to T, f: S T, is a subset of S x T where each member of S appears exactly once as the first

More information

QUESTION BANK II PUC SCIENCE

QUESTION BANK II PUC SCIENCE QUESTION BANK II PUC SCIENCE I. Very Short answer questions. (x9=9). Define Symmetric relation. Ans: A relation R on the set A is said to be symmetric if for all a, b, A, ar b Implies bra. i.e. (a, b)

More information

Relations, Functions, and Sequences

Relations, Functions, and Sequences MCS-236: Graph Theory Handout #A3 San Skulrattanakulchai Gustavus Adolphus College Sep 13, 2010 Relations, Functions, and Sequences Relations An ordered pair can be constructed from any two mathematical

More information

REVIEW FOR THIRD 3200 MIDTERM

REVIEW FOR THIRD 3200 MIDTERM REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =

More information

Cartesian Products and Relations

Cartesian Products and Relations Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) : (a A) and (b B)}. The following points are worth special

More information

MATH 13 FINAL EXAM SOLUTIONS

MATH 13 FINAL EXAM SOLUTIONS MATH 13 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. T F

More information

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups HL Topic (Further Mathematics SL Topic 3) 9 This topic explores the fundamental nature of algebraic structures and the relationships between them. Included is an extension of the work covered in the Core

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2014 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set

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

Part IA Numbers and Sets

Part IA Numbers and Sets Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

Functions as Relations

Functions as Relations Functions as Relations Definition Recall that if A and B are sets, then a relation from A to B is a subset of A B. A function from A to B is a relation f from A to B with the following properties (i) The

More information

Math 2534 Solution to Test 3A Spring 2010

Math 2534 Solution to Test 3A Spring 2010 Math 2534 Solution to Test 3A Spring 2010 Problem 1: (10pts) Prove that R is a transitive relation on Z when given that mrpiff m pmod d (ie. d ( m p) ) Solution: The relation R is transitive, if arb and

More information

1. Decide for each of the following expressions: Is it a function? If so, f is a function. (i) Domain: R. Codomain: R. Range: R. (iii) Yes surjective.

1. Decide for each of the following expressions: Is it a function? If so, f is a function. (i) Domain: R. Codomain: R. Range: R. (iii) Yes surjective. Homework 2 2/14/2018 SOLUTIONS Exercise 6. 1. Decide for each of the following expressions: Is it a function? If so, (i) what is its domain, codomain, and image? (iii) is it surjective? (ii) is it injective?

More information

Introduction to Proofs

Introduction to Proofs Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions

More information

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) LIOR SILBERMAN Version 1.0 compiled September 9, 2015. 1.1. List of examples. 1. RELATIONS Equality of real numbers: for some x,y R we have x = y. For other pairs

More information

Set Basics. P. Danziger

Set Basics. P. Danziger - 5 Set Basics P. Danziger 1 Set Basics Definition 1 (Cantor) A set is a collection into a whole of definite and separate objects of our intuition or thought. (Russell) Such that given an object x and

More information

5 FUNCTIONS. 5.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

5 FUNCTIONS. 5.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2017 1 5 FUNCTIONS 5.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from the set A to the set B is a correspondence that assigns to

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

PROBLEMS ON CONGRUENCES AND DIVISIBILITY

PROBLEMS ON CONGRUENCES AND DIVISIBILITY PROBLEMS ON CONGRUENCES AND DIVISIBILITY 1. Do there exist 1,000,000 consecutive integers each of which contains a repeated prime factor? 2. A positive integer n is powerful if for every prime p dividing

More information

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014 Functions and cardinality (solutions) 21-127 sections A and F TA: Clive Newstead 6 th May 2014 What follows is a somewhat hastily written collection of solutions for my review sheet. I have omitted some

More information

4) Have you met any functions during our previous lectures in this course?

4) Have you met any functions during our previous lectures in this course? Definition: Let X and Y be sets. A function f from the set X to the set Y is a rule which associates to each element x X a unique element y Y. Notation: f : X Y f defined on X with values in Y. x y y =

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

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS. 4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be

More information

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth Sets We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth century. Most students have seen sets before. This is intended

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

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. 2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is

More information

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9 1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions

More information

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics MATH10111 - Foundations of Pure Mathematics 9 RELATIONS 9.1 Reflexive, symmetric and transitive relations Let A be a set with A. A relation R on A is a subset of A A. For convenience, for x, y A, write

More information

Part IA. Numbers and Sets. Year

Part IA. Numbers and Sets. Year Part IA Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 19 Paper 4, Section I 1D (a) Show that for all positive integers z and n, either z 2n 0 (mod 3) or

More information

Functions Functions and Modeling A UTeach/TNT Course

Functions Functions and Modeling A UTeach/TNT Course Definition of a Function DEFINITION: Let A and B be sets. A function between A and B is a subset of A B with the property that if (a, b 1 )and(a, b 2 ) are both in the subset, then b 1 = b 2. The domain

More information

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion CHAPTER 1 Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition 1.1.1. A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is Related to b

More information

Functions. Given a function f: A B:

Functions. Given a function f: A B: Functions Given a function f: A B: We say f maps A to B or f is a mapping from A to B. A is called the domain of f. B is called the codomain of f. If f(a) = b, then b is called the image of a under f.

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

Binary Relation Review Questions

Binary Relation Review Questions CSE 191 Discrete Structures Fall 2016 Recursive sets Binary Relation Review Questions 1. For each of the relations below, answer the following three questions: Is the relation reflexive? Is the relation

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

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

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

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

More information

Some Function Problems SOLUTIONS Isabel Vogt Last Edited: May 24, 2013

Some Function Problems SOLUTIONS Isabel Vogt Last Edited: May 24, 2013 Some Function Problems SOLUTIONS Isabel Vogt Last Edited: May 24, 23 Most of these problems were written for my students in Math 23a/b at Harvard in 2/22 and 22/23. They cover basic function theory, countability,

More information

Automata and Languages

Automata and Languages Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets

More information

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions How can we prove that a function f is one-to-one? Whenever you want to prove something, first take a look at the relevant definition(s): x, y A (f(x) = f(y) x = y) f:r R f(x) = x 2 Disproof by counterexample:

More information

Sets, Functions and Relations

Sets, Functions and Relations Chapter 2 Sets, Functions and Relations A set is any collection of distinct objects. Here is some notation for some special sets of numbers: Z denotes the set of integers (whole numbers), that is, Z =

More information

14 Equivalence Relations

14 Equivalence Relations 14 Equivalence Relations Tom Lewis Fall Term 2010 Tom Lewis () 14 Equivalence Relations Fall Term 2010 1 / 10 Outline 1 The definition 2 Congruence modulo n 3 Has-the-same-size-as 4 Equivalence classes

More information

A Logician s Toolbox

A Logician s Toolbox A Logician s Toolbox 461: An Introduction to Mathematical Logic Spring 2009 We recast/introduce notions which arise everywhere in mathematics. All proofs are left as exercises. 0 Notations from set theory

More information

Math 127 Homework. Mary Radcliffe. Due 29 March Complete the following problems. Fully justify each response.

Math 127 Homework. Mary Radcliffe. Due 29 March Complete the following problems. Fully justify each response. Math 17 Homework Mary Radcliffe Due 9 March 018 Complete the following problems Fully justify each response NOTE: due to the Spring Break, this homework set is a bit longer than is typical You only need

More information

Week Some Warm-up Questions

Week Some Warm-up Questions 1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after

More information

Math 3T03 - Topology

Math 3T03 - Topology Math 3T03 - Topology Sang Woo Park April 5, 2018 Contents 1 Introduction to topology 2 1.1 What is topology?.......................... 2 1.2 Set theory............................... 3 2 Functions 4 3

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

One-to-one functions and onto functions

One-to-one functions and onto functions MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are

More information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

More information

Axioms of separation

Axioms of separation Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically

More information

Relations MATH Relations. Benjamin V.C. Collins, James A. Swenson MATH 2730

Relations MATH Relations. Benjamin V.C. Collins, James A. Swenson MATH 2730 MATH 2730 Benjamin V.C. Collins James A. Swenson among integers equals a = b is true for some pairs (a, b) Z Z, but not for all pairs. is less than a < b is true for some pairs (a, b) Z Z, but not for

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

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

Section Summary. Definition of a Function.

Section Summary. Definition of a Function. Section 2.3 Section Summary Definition of a Function. Domain, Cdomain Image, Preimage Injection, Surjection, Bijection Inverse Function Function Composition Graphing Functions Floor, Ceiling, Factorial

More information

Foundations Revision Notes

Foundations Revision Notes oundations Revision Notes hese notes are designed as an aid not a substitute for revision. A lot of proofs have not been included because you should have them in your notes, should you need them. Also,

More information

Module 2: Language of Mathematics

Module 2: Language of Mathematics Module 2: Language of Mathematics Theme 1: Sets A set is a collection of objects. We describe a set by listing all of its elements (if this set is finite and not too big) or by specifying a property that

More information

XMA2C011, Annual Examination 2012: Worked Solutions

XMA2C011, Annual Examination 2012: Worked Solutions XMA2C011, Annual Examination 2012: Worked Solutions David R. Wilkins 1. (a) Let A, B and C be sets. Prove that A (B \ C) = (A B) \ (A C). We show that every element of A (B \ C) is an element of (A B)

More information

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

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

More information

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) CmSc 365 Theory of Computation 1. Relations Definition: Let A and B be two sets. A relation R from A to B is any set of ordered pairs

More information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics Dr. Thomas Baird January 7, 2013 Contents 1 Logic 2 1.1 Statements.................................... 2 1.1.1 And, Or, Not.............................. 2 1.1.2 Implication...............................

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

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

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

More information

Math Fall 2014 Final Exam Solutions

Math Fall 2014 Final Exam Solutions Math 2001-003 Fall 2014 Final Exam Solutions Wednesday, December 17, 2014 Definition 1. The union of two sets X and Y is the set X Y consisting of all objects that are elements of X or of Y. The intersection

More information

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Name (please print) Mathematics Final Examination December 14, 2005 I. (4) Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,

More information

Diskrete Mathematik Solution 6

Diskrete Mathematik Solution 6 ETH Zürich, D-INFK HS 2018, 30. October 2018 Prof. Ueli Maurer Marta Mularczyk Diskrete Mathematik Solution 6 6.1 Partial Order Relations a) i) 11 and 12 are incomparable, since 11 12 and 12 11. ii) 4

More information

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

More information

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant). Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any

More information

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

More information

Chapter12. Relations, Functions, and Induction

Chapter12. Relations, Functions, and Induction . Relations. Functions. Seuences.4 Mathematical Induction.5 Recurrence Relations Chapter Review Chapter Relations, Functions, and Induction In this chapter we introduce the concepts of a relation and a

More information

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005 POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1

More information