Math 42, Discrete Mathematics

Size: px
Start display at page:

Download "Math 42, Discrete Mathematics"

Transcription

1 c Fall 2018 last updated 10/10/2018 at 23:28:03 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications, 8th Ed., the ocial text adopted for this course.

2 basics Denition 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 A. The notation a / A means that a is not an element of the set A. Remarks Unordered means that the order in which we list items does not matter. So, for example etc. {1, 2, 3, 4} = {4, 3, 2, 1} = {2, 1, 3, 4}, We haven't specied what objects are, or even what a collection is. This ne print is mathematically important. But it's way beyond the level of this course. c R. P.

3 descriptions There are a number of ways of describing sets. Here are the most common: Roster Method. List the elements of the set between braces{ and }separated by commas. This method is most useful when the set doesn't have very many elements. Example: A = {red, green, blue, yellow}. Or B = {2, granite, topology, Proust}. (Nothing says the elements of the set must be alike in any way.) Ellipsis Method. When the elements of the set follow an obvious pattern, we can list the rst few elements followed by an ellipsis (...). Example: E = {2, 4, 6, 8, 10,...}. c R. P.

4 descriptions Set Builder Notation. Examples B = {x Q x = 1/n, 0 n Z} = {x Q : x = 1/n, 0 n Z} C = {2n + 1 n Z} = {2n + 1 : n Z} Remarks Some bookslike oursuse a vertical bar ( ), while others use a colon (:). I will likely be inconsistent in this class, sometimes using one style, sometimes the other. Note the subtle dierence between the two cases above. In the B" case, we want all elements from a given set that satisfy the condition stated after the vertical bar. In the C" case, we want all items of the form given before the vertical bar. c R. P.

5 Set Builder Notation Remark Note that repetition of elements is irrelevant. We list only the distinct elements of the set. Example {n 2 n Z} = {0 2, 1 2, ( 1) 2, 2 2, ( 2) 2,...} = {0, 1, 1, 4, 4,...} = {0, 1, 4,...} (1) c R. P.

6 : standard notation Some important setsand their notation. N = {0, 1, 2, 3,...}, the set of natural numbers. Z = {..., 2, 1, 0, 1, 2,...}, the set of integers. Z + = {1, 2, 3,...}, the set of positive integers. Q = {p/q p, q Z, q 0}, the set of rational numbers. R, the set of real numbers. R + = {x R x > 0}, the set of positive real numbers. C = {x + i y x, y R}, the set of complex numbers. c R. P.

7 : standard notation Some important sets of real numbers and their notation: (a, b) = {x R a < x < b} [a, b) = {x R a x < b} (a, b] = {x R a < x b} [a, b] = {x R a x b} Remark (a, b) is called an open interval. [a, b] is called a closed interval. [a, b) and (a, b] are called half-open intervals. Warning Pay careful attention to which type of numbers you are considering, e.g., real numbers vs. integers. For example, [0, 1) = {x R 0 x < 1} contains innitely many numbers, while {x Z 0 x < 1} contains just one. c R. P.

8 Equality of Denition Two sets are equal if and only if they have the same elements. That is, A = B if and only if ( a A a B) ( b B b A) Example {2n n Z} = {m Z m is divisible by 2} (2) To establish the truth of (2), show that any element in the left-hand set is in the right-hand set and any element in the right-hand set is in the left-hand set. c R. P.

9 Two Special Denition The set that has no elements at all is called the empty set (or null set) and is denoted by or {}. There is only one empty set. Denition A set that contains just one element is called a singleton set. {Juanita}, {0}, { }, { } are all (distinct) singleton sets. c R. P.

10 Subsets Denition A set A is a subset of B if and only every element of A is also an element of B. We denote this by A B. Remarks To show that A B, show that if x A, then x B. To show that A Bi.e., that A is not a subset of Bnd an x A such that x / B. Example Z + Z Q R C. All of these inclusions are, of course, strict inclusions. c R. P.

11 Subsets Remarks A = B if and only if A B and B A. S for every set S. S S for every set S. If A B and A B, we call A a proper subset of B. Example: Is 2Q = {2q q Q} a proper subset of Q? c R. P.

12 Size of a Set Denition If a set S has exactly n distinct elements, with n a nonnegative integer, we say that S is a nite set of cardinality n. We denote that cardinality of S by S, so S = n here. Remark If S has innitely many elements, i.e., more than n elements for any nonnegative integer n, we call S innite. We won't use the expression S =, since it turns out that there are dierent sizes of innity. c R. P.

13 The Power Set of S Denition Given a set S, the power set of S, denoted by P(S), is the set of all subsets of S. P( ) = { } P({a}) = {, {a}} P({a, b}) = {, {a}, {b}, {a, b}} P({a, b, c}) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} Remark If S = n, then P(S) = 2 n. c R. P.

14 Denition Given sets A 1, A 2,..., A n, the ordered n-tuple (a 1, a 2,..., a n ) is an ordered string of elements such that a i A i for i = 1, 2,..., n. Remarks An ordered n-tuple is not a set. Order matters, as does repetition. (1, 2, 3, 3) (3, 3, 2, 1) (1, 2, 3) If n = 2, we say ordered pair." For n = 3, ordered triple." For n = 4, ordered quadruple'.... But for n = 21, we say ordered 21-tuple." Denition The Cartesian product of the sets A 1, A 2,..., A n, denoted by A 1 A 2 A n, is the set of all ordered n-tuples (a 1, a 2,..., a n ) such that a i A i for i = 1, 2,..., n. c R. P.

15 Cartesian ProductsExamples Example Suppose A = {red, green, blue} and B = {0, 1}. Then A B = {(red, 0), (red, 1), (green, 0), (green, 1), (blue, 0), (blue, 1)} (3) B A = {(0, red), (1, red), (0, green), (1, green), (0, blue), (1, blue)} (4) As we see by comparing (3) with (4), it's not generally true that A B = B A. c R. P.

16 Cartesian ProductsExamples Example Suppose A = {a, b} and B = {0, 1}, and C = {α, β}. Then A B C = {(a, 0, α), (a, 0, β), (a, 1, α), (a, 1, β) (5) (b, 0, α), (b, 0, β), (b, 1, α), (b, 1, β)} but (A B) C = {((a, 0), α), ((a, 0), β), ((a, 1), α), ((a, 1), β) ((b, 0), α), ((b, 0), β), ((b, 1), α), ((b, 1), β)} (6) Again, by comparing (5) with (6), we see that A B C (A B) C c R. P.

17 Relations Denition A subset R A B is called a relation from A to B. A subset R A A is called a relation on A. If (a, b) R we write arb; if (a, b) / R we write a Rb. Examples 1. Let R 1 = {(n, m) n divides m evenly} Z + Z +. Then 2R 1 6, but 3 R 1 5. We could call this relation instead of R 1. So 2 6, but Given a set X, dene a relation R 2 on its powerset P(X) by R 2 = {(A, B) B A} P(X) P(X). Then {1, 2}R 2 {2}, but {1} R 2 {1, 2}. We could call this relation instead of R 2. So {1, 2} {2}, but {1} {1, 2}. c R. P.

18 Storing Subsets in a Computer Suppose we have an n-element set S = {a 1, a 2,..., a n } and we want to store some of its subsets eciently in a computer. As the book points out, we can completely describe a subset by simply giving a string of 0's and 1's as follows: Step 1 First list the elements in the set in a specic order: a 1, a 2,..., a n. Step 2 For each subset A S, generate k 1, k 2,..., k n an n-digit string of 0's and 1's such that k i = 1 if a i A and k i = 0 if a i / A. Example Suppose S = {red, green, blue}. Then let a 1 = red, a 2 = green, a 3 = blue. So the subset A = {red, blue} would be stored as 101, while the subset B = {blue, green} would be stored as 011. (Note that the order in which we list items in B doesn't aect the way in which it's stored digitally.) c R. P.

19 Cardinality of P(S) From the preceding discussion, we can get a proof of the conjecture we made earlier that if S = n, then P(S) = 2 n. Fact If A 1, A 2,..., A n are all nite sets, then A 1 A 2... A n = A 1 A 2 A n. So if A i = A for all i and A = m, then A A = m n. In the example under consideration, we have A i = {0, 1} i, so the number of subsets of Swhich is the number of n-digit strings of 0's and 1'sis just A 1 A 2... A n = 2 n. c R. P.

20 Union, Intersection, Dierence, Complement Denitions Let A and B be sets. The union of the sets A and B, denoted by A B, is the set that contains those elements that are either in A or in B, or in both. The intersection of the sets A and B, denoted by A B, is the set containing those elements that are in both A and B. The dierence of A and B, denoted by A B, is the set containing those elements of A that are not in B. The dierence of A and B is also called the complement of B with respect to A. If U is the universal set, U A, the complement of A with respect to U, is called simply the complement of A. It is denoted by Ā. c R. P.

21 Denition Two sets A and B are called disjoint if A B =. Fact If A and B are disjoint, then A B = A + B. (7) Remark Since A = (A B) (A B) and since this is a disjoint union, i.e., the union of disjoint sets, then Similarly, B = B A + B A. A = A B + A B. (8) c R. P.

22 Cardinality of a Union We now note that any union A B can actually be written as a disjoint union: A B = (A B) B. (9) Now we can apply (7) to (9) to get A B = A B + B = ( A A B ) + B = A + B A B. (10) c R. P.

23 Set IdentitiesExample Fact If A, B, and C are sets, then Proof. A (B C) = (A B) (A C) (11) If x A (B C), then x A and x B C. So x A and either x B or x C. That means that either (x A and x B) or (x A and x C). So x (A B) or x (A C), and hence x (A B) (A C). Thus the left-hand set in (11) is contained in the right-hand set. Now if y (A B) (A C), then either y (A B) or y (A C). In the former case, y A (B C) since B (B C). In the latter case, y A (B C) since C (B C). Thus in either case y A (B C), as desired. c R. P.

24 Set IdentitiesExample Fact If A and B are sets, then (A B) = Ā B. (12) Proof. Let x (A B). Then x / (A B). This implies that x / A and x / B, and so x Ā and x B. Thus x (Ā B). So the left-hand set in (12) is contained in the right-hand set. Now if y (Ā B), then y Ā and y B. So y / A and y / B, and therefore y / (A B). Hence y (A B), as desired. c R. P.

25 Denition of a Function Denition A function f : X Y consists of 1. A set X of inputs of the function; X is called the domain of the function. 2. A set Y of potential outputs of the function; Y is called the codomain of the function. 3. A rule that associates to each element x of the domain a unique element f(x) of the codomain. Examples 1. f 1 : R R given by f 1 (x) = x f 2 : R + R given by f 2 (x) = x f 3 : R + R + given by f 3 (x) = x f 4 : Z + Z + given by f 4 (x) = x f 5 : R + R + given by f 5 (x) = x 3. c R. P.

26 Denition Two functions f and g are called equal if 1. domain(f)=domain(g) 2. codomain(f)=codomain(g) 3. f(x) = g(x) for all x domain(f) = domain(g). Remark None of the functions f 1,..., f 5 above is equal to any other. c R. P.

27 Images & Preimages Denitions Given a function f : X Y If f(x) = y, we call y the image of x under f. If f(x) = y, we call x a preimage of y (under f). If A X, we dene f(a), the image of the subset A, by f(a) = {f(x) x A} f(x), the set of all outputs of f, is called the range of the function. Note that we say the image of x but a preimage of y. That's because images are unique but preimages might not be. c R. P.

28 Preimages of Denition Given a function f : X Y and B Y, dene f 1 (B), the inverse image (or preimage) of B by f 1 (B) = {x X : f(x) B}. Warning The notation f 1 (B)" does not in any way imply the existence of an inverse for the function f. Just like a red herring is neither red nor a herring, the f 1 in f 1 (B) is just a part of the notation. In particular, f 1 (B) is dened for any function f, whether or not it is invertible. c R. P.

29 Preimages of Fact Given a function f : X Y and B 1, B 2 Y, then f 1 (B 1 B 2 ) = f 1 (B 1 ) f 1 (B 2 ). (13) Proof. x f 1 (B 1 B 2 ) f(x) B 1 B 2 f(x) B 1 f(x) B 2 x f 1 (B 1 ) x f 1 (B 2 ) x f 1 (B 1 ) f 1 (B 2 ) (14) On an exam, don't use. Instead, rst show f 1 (B 1 B 2 ) f 1 (B 1 ) f 1 (B 2 ) and then show f 1 (B 1 ) f 1 (B 2 ) f 1 (B 1 B 2 ). c R. P.

30 One-to-One Denition A function f : X Y is called one-to-one (written 1-1) if f(x 1 ) = f(x 2 ) implies x 1 = x 2. Equivalently, f is 1-1 if x 1 x 2 implies f(x 1 ) f(x 2 ). A one-to-one function is called an injection or injective. Symbolically, f is one-to-one if x 1 x 2 (f(x 1 ) = f(x 2 ) x 1 = x 2 ). (15) Example Referring to the examples above f 1 is not 1-1, but f 2,..., f 5 are all 1-1. c R. P.

31 One-to-One Denition Suppose we are given a function f : R R. The function f is called increasing if f(x) f(y) whenever x < y; we call f strictly increasing if f(x) < f(y) whenever x < y. Decreasing and strictly decreasing functions are dened similarly. Fact If f : R R is strictly increasing (resp., strictly decreasing) then f is 1-1. Proof. We need to show that if x 1 x 2 then f(x 1 ) f(x 2 ). But since we're dealing with real numbers, if x 1 x 2 then either x 1 < x 2 or x 2 < x 1. Assume that x 1 < x 2. Then f strictly increasing implies that f(x 1 ) < f(x 2 ), and so f(x 1 ) f(x 2 ). The proofs in the other cases proceed similarly. c R. P.

32 Onto Denition A function f : X Y is called onto if for each y Y, there exists an x X with f(x) = y. An onto function is called a surjection or surjective. Symbolically, f is onto if y Y x X f(x) = y. (16) Example Referring to the examples above f 3 and f 5 are onto, but the others are not. c R. P.

33 Refuting Injectivity We can use (15) to determine when a function fails to be one-to-one. f is not 1-1 if x 1 x 2 (f(x 1 ) = f(x 2 ) x 1 = x 2 ) x 1 x 2 (f(x 1 ) = f(x 2 ) x 1 = x 2 ) x 1 x 2 (f(x 1 ) f(x 2 ) x 1 = x 2 ) x 1 x 2 (f(x 1 ) = f(x 2 ) x 1 x 2 ) (17) That is, f is not 1-1 if there exist x 1 x 2 with f(x 1 ) = f(x 2 ). c R. P.

34 Refuting Surjectivity We can use (16) to determine when a function fails to be onto. f is not onto if y Y x X f(x) = y y Y x X (f(x) = y) y Y x X f(x) y (18) That is, f is not onto if there exists a y Y such that the equation f(x) = y has no solution. c R. P.

35 An Interesting Function Let us dene a function ϕ : Z + Z by ϕ(n) = { n 2 n 1 2 if if n is even n is odd Show that ϕ is 1-1. Show that ϕ is onto. Denition A function f : X Y is called a one-to-one correspondence (or a bijection) if it is both one-to-one and onto. So ϕ is a bijection between the positive integers and all of the integers. Thus there are just as many positive integers as there are integers altogether! c R. P.

36 Inverses of Suppose f : X Y is a bijection, i.e., a one-to-one and onto function. We can dene a new function g : Y X as follows: 1. The domain of g will be Y, the codomain of f; the codomain of g will be X, the domain of f. So all we need now to complete the denition of g is a rule that assigns to each element of Y a unique element of X. 2. So take y Y. Since f is onto, there exists an x X such that f(x) = y. But since f is one-to-one, for each y Y there is only one such x X. We dene g(y) = x, i.e., that x, the one such that y = f(x). Remark The function g dened as above is called an inverse of f. c R. P.

37 Compositions of functions Denition Suppose k : X Y and h : Y Z are two functions. We dene the function h k : X Z, the composition of the functions h and k, by (h k)(x) = h(k(x)) for x X. (19) Remark Note that the denition given by (19) makes sense because for each x X, k(x) Y, the domain of the function h. c R. P.

38 Inverses of Recall that, given a bijection f : X Y, we dened a function g : Y X such that g(y) = x, where f(x) = y. In other words, f(g(y)) = y (20) for all y Y. Denition For any set A, dene the identity function ι A : A A by setting ι A (a) = a, a A. Using this denition, we can rewrite (20) as f g = ι Y (21) c R. P.

39 Inverses of So what about g(f(x))? To nd the value of g at a certain input, we need the element of X that gets sent by f to that input. So what element in X gets sent to f(x)? x gets sent to f(x)! So for all x X. And, as above, we can interpret (22) as g(f(x)) = x (22) g f = ι X. (23) c R. P.

40 Uniqueness of Inverses Fact If f : X Y has an inverse g : Y Xi.e., g satises (20) and (22)then g is unique. Proof. Suppose g 1 : Y X and g 2 : Y X are two functions satisfying (20) and (22) and suppose g 1 g 2. That means that there exists some y 0 Y with g 1 (y 0 ) g 2 (y 0 ). But now applying (20) to both g 1 and g 2, we get f(g 1 (y 0 )) = y 0 = f(g 2 (y 0 )). (24) But (24) and the assumption that g 1 (y 0 ) g 2 (y 0 ) contradict the assumption that f is one-to-one, a necessary condition for f's having an inverse. c R. P.

41 Finding an Inverse Example Given the function f(x) = x 3 x+1, nd its inverse if you can. If you can't, tell why not. Remark I said Given the function...," but I didn't say anything about the domain and codomain of f. In mathematics, especially when dealing with real functions, we often get lazy and give only the rule of assignment for the function, usually by giving a formula. In that case, we take the domain of the function to be the set of all real numbers for which the formula makes sense. In that case, what would the domain of this f be? domain(f) = {x R x 1} c R. P.

42 Finding an Inverse Example How do we nd an inverse for a function f? We write y = f(x) and try to solve for x in terms of y. y = x 3 x + 1 y(x + 1) = x 3 yx + y = x 3 y + 3 = x yx y + 3 = x(1 y) 3 + y 1 y = x (25) c R. P.

43 Finding an Inverse Example Claim g(y) = x = 3 + y 1 y Remarks is the inverse for f. Note that we haven't yet proven that this g is an inverse for f. We assumed that f had an inverse. Why is that justied? It isn't! The g that we found is what any inverse must look like, but that doesn't mean that g is actually an inverse. We've only discovered necessary conditions on an inverse; they may not be sucient. To prove that g is an inverse for f we must verify that (20) and (22) both hold, i.e., that f(g(y)) = y for all y Y and g(f(x)) = x for all x X. c R. P.

44 Finding an Inverse Example Remarks Once again, we're being lazy. We need to specify the domain Y and codomain X for g. And once again, we take the domain of g to consist of all those real numbers y for which the formula makes sense. So Y = domain(g) = {y y 1} = R {1}. But this time we take the codomain of g to be X = R { 1}. c R. P.

45 Finding an Inverse Example We rst verify (20): as desired. f(g(y)) = g(y) 3 g(y) y 1 y 3 = 3 + y 1 y + 1 = (3 + y) 3(1 y) (3 + y) + (1 y) = 4y 4 = y, (26) c R. P.

46 Finding an Inverse Example Now verify (22): as desired. g(f(x)) = 3 + f(x) 1 f(x) = 3 + x 3 x+1 1 x 3 x+1 3(x + 1) + (x 3) = (x + 1) (x 3) = 4x 4 = x, (27) c R. P.

47 Finding an Inverse Example Remarks Another way to see that g is an inverse for f is to note that all the steps in the derivation (25) except that last are reversible. And even the last step is reversible as long as y 1. The fact that the last step in the derivation is not reversible when y = 1 reveals that the original function f : R { 1} R is not actually onto: 1 / f(r { 1}). So in order to claim that f is invertiblehas an inversewe must modify its codomain so that f : (R { 1}) (R {1}) c R. P.

48 Finding an Inverse Example Find the inverse of f : [0, ) R if f(x) = x. y = x y 2 = x (28) But is g : R [0, ) with g(y) = y 2 really an inverse for f? Check (22): g(f(x)) = (f(x)) 2 = ( x) 2 = x (29) for all x [0, ). What about (20)? f(g(y)) = g(y) = y 2 = y y (30) if y < 0. So g is not an inverse for f. (f is not onto.) c R. P.

49 Finding an Inverse Example Remark If we were to modify the codomain of f, changing it to [0, ) from R, then g : [0, ) [0, ) given by g(y) = y 2 would be an inverse for f because both (20) and (22) hold for the new f and the new g. With the modied codomain, f : [0, ) [0, ) is now onto as well as one-to-one. Of course technically we changed f to a new function when we changed its codomaineven though the rule f(x) = x stays the same. But sometimes we use the same namefafter we make such a change. c R. P.

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

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2. Chapter 2 Chapter Summary Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.6) Section 2.1 Section Summary Definition of sets Describing

More information

Math 42, Discrete Mathematics

Math 42, Discrete Mathematics c Fall 2018 last updated 12/05/2018 at 15:47:21 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications,

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

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

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Chapter 2 1 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Sequences and Summations Types of Sequences Summation

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

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

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

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

Mathematics Review for Business PhD Students Lecture Notes

Mathematics Review for Business PhD Students Lecture Notes Mathematics Review for Business PhD Students Lecture Notes Anthony M. Marino Department of Finance and Business Economics Marshall School of Business University of Southern California Los Angeles, CA 90089-0804

More information

Background for Discrete Mathematics

Background for Discrete Mathematics Background for Discrete Mathematics Huck Bennett Northwestern University These notes give a terse summary of basic notation and definitions related to three topics in discrete mathematics: logic, sets,

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

Propositional Logic, Predicates, and Equivalence

Propositional Logic, Predicates, and Equivalence Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If

More information

Mathematics Review for Business PhD Students

Mathematics Review for Business PhD Students Mathematics Review for Business PhD Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

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

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

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

Sets McGraw-Hill Education

Sets McGraw-Hill Education Sets A set is an unordered collection of objects. The objects in a set are called the elements, or members of the set. A set is said to contain its elements. The notation a A denotes that a is an element

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

A set is an unordered collection of objects.

A set is an unordered collection of objects. Section 2.1 Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the elements, or members of the set. A set is said to contain

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

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

CHAPTER 1. Preliminaries. 1 Set Theory

CHAPTER 1. Preliminaries. 1 Set Theory CHAPTER 1 Preliminaries 1 et Theory We assume that the reader is familiar with basic set theory. In this paragraph, we want to recall the relevant definitions and fix the notation. Our approach to set

More information

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60 MATH 213 Chapter 2: Basic Structures Dr. Eric Bancroft Fall 2013 Dr. Eric Bancroft MATH 213 Fall 2013 1 / 60 Chapter 2 - Basics Structures 2.1 - Sets 2.2 - Set Operations 2.3 - Functions 2.4 - Sequences

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

Chapter 2 - Basics Structures

Chapter 2 - Basics Structures Chapter 2 - Basics Structures 2.1 - Sets Definitions and Notation Definition 1 (Set). A set is an of. These are called the or of the set. We ll typically use uppercase letters to denote sets: S, A, B,...

More information

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory

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

A Readable Introduction to Real Mathematics

A Readable Introduction to Real Mathematics Solutions to selected problems in the book A Readable Introduction to Real Mathematics D. Rosenthal, D. Rosenthal, P. Rosenthal Chapter 10: Sizes of Infinite Sets 1. Show that the set of all polynomials

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

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

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described

More information

Notes. Functions. Introduction. Notes. Notes. Definition Function. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y.

Notes. Functions. Introduction. Notes. Notes. Definition Function. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y. Functions Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall 2007 Computer Science & Engineering 235 Introduction to Discrete Mathematics Section 2.3 of Rosen cse235@cse.unl.edu Introduction

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

18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015)

18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015) 18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015) 1. Introduction The goal for this course is to provide a quick, and hopefully somewhat gentle, introduction to the task of formulating

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

ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Jan Stelovsky based on slides by Dr. Baek and Dr. Still Originals by Dr. M. P. Frank and Dr. J.L. Gross Provided by

More information

9/19/2018. Cartesian Product. Cartesian Product. Partitions

9/19/2018. Cartesian Product. Cartesian Product. Partitions Cartesian Product The ordered n-tuple (a 1, a 2, a 3,, a n ) is an ordered collection of objects. Two ordered n-tuples (a 1, a 2, a 3,, a n ) and (b 1, b 2, b 3,, b n ) are equal if and only if they contain

More information

CSCE 222 Discrete Structures for Computing

CSCE 222 Discrete Structures for Computing CSCE 222 Discrete Structures for Computing Sets and Functions Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Sets Sets are the most fundamental discrete structure on which all other discrete

More information

1 Basic Combinatorics

1 Basic Combinatorics 1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set

More information

COM S 330 Homework 05 Solutions. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem.

COM S 330 Homework 05 Solutions. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem. Problem 1. [5pts] Consider our definitions of Z, Q, R, and C. Recall that A B means A is a subset

More information

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference

More information

MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG

MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG Suggested Problems for Sets and Functions The following problems are from Discrete Mathematics and Its Applications by Kenneth H. Rosen. 1. Define the

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

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH. Winter CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition

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

Discrete Basic Structure: Sets

Discrete Basic Structure: Sets KS091201 MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) Discrete Basic Structure: Sets Discrete Math Team 2 -- KS091201 MD W-07 Outline What is a set? Set properties Specifying a set Often used sets The universal

More information

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018 About This Document This is the examples document for MTH 299. Basically it is a loosely organized universe of questions (examples) that we think are interesting, helpful, useful for practice, and serve

More information

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH WINTER CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Define and differentiate between important sets Use correct notation when describing sets: {...}, intervals

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

Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007 Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall 2007 1 / 42 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 2.1, 2.2 of Rosen Introduction I Introduction

More information

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1) Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +

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

Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006

Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006 Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 1 / 1 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 1.6 1.7 of Rosen Introduction I We ve already

More information

0 Logical Background. 0.1 Sets

0 Logical Background. 0.1 Sets 0 Logical Background 0.1 Sets In this course we will use the term set to simply mean a collection of things which have a common property such as the totality of positive integers or the collection of points

More information

Notes on ordinals and cardinals

Notes on ordinals and cardinals Notes on ordinals and cardinals Reed Solomon 1 Background Terminology We will use the following notation for the common number systems: N = {0, 1, 2,...} = the natural numbers Z = {..., 2, 1, 0, 1, 2,...}

More information

INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

INDEPENDENCE OF THE CONTINUUM HYPOTHESIS INDEPENDENCE OF THE CONTINUUM HYPOTHESIS CAPSTONE MATT LUTHER 1 INDEPENDENCE OF THE CONTINUUM HYPOTHESIS 2 1. Introduction This paper will summarize many of the ideas from logic and set theory that are

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

CIS 375 Intro to Discrete Mathematics Exam 2 (Section M001: Yellow) 10 November Points Possible

CIS 375 Intro to Discrete Mathematics Exam 2 (Section M001: Yellow) 10 November Points Possible Name: CIS 375 Intro to Discrete Mathematics Exam 2 (Section M001: Yellow) 10 November 2016 Question Points Possible Points Received 1 20 2 12 3 14 4 10 5 8 6 12 7 12 8 12 Total 100 Instructions: 1. This

More information

Math 42, Discrete Mathematics

Math 42, Discrete Mathematics c Fall 2018 last updated 12/10/2018 at 18:16:18 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications,

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

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

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!! CSCE 222 Discrete Structures for Computing Review for Exam 1 Dr. Hyunyoung Lee 1 Topics Propositional Logic (Sections 1.1, 1.2 and 1.3) Predicate Logic (Sections 1.4 and 1.5) Rules of Inferences and Proofs

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

Set theory. Math 304 Spring 2007

Set theory. Math 304 Spring 2007 Math 304 Spring 2007 Set theory Contents 1. Sets 2 1.1. Objects and set formation 2 1.2. Unions and intersections 3 1.3. Differences 4 1.4. Power sets 4 1.5. Ordered pairs and binary,amscdcartesian products

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

Introduction to Real Analysis

Introduction to Real Analysis Introduction to Real Analysis Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Sets Sets are the basic objects of mathematics. In fact, they are so basic that

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

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

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

AMB111F Notes 1: Sets and Real Numbers

AMB111F Notes 1: Sets and Real Numbers AMB111F Notes 1: Sets and Real Numbers A set is a collection of clearly defined objects called elements (members) of the set. Traditionally we use upper case letters to denote sets. For example the set

More information

Lecture Notes: Mathematical/Discrete Structures

Lecture Notes: Mathematical/Discrete Structures Lecture Notes: Mathematical/Discrete Structures Rashid Bin Muhammad, PhD. This booklet includes lecture notes, homework problems, and exam problems from discrete structures course I taught in Fall 2006

More information

With Question/Answer Animations. Chapter 2

With Question/Answer Animations. Chapter 2 With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of

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

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

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

Sets. Introduction to Set Theory ( 2.1) Basic notations for sets. Basic properties of sets CMSC 302. Vojislav Kecman

Sets. Introduction to Set Theory ( 2.1) Basic notations for sets. Basic properties of sets CMSC 302. Vojislav Kecman Introduction to Set Theory ( 2.1) VCU, Department of Computer Science CMSC 302 Sets Vojislav Kecman A set is a new type of structure, representing an unordered collection (group, plurality) of zero or

More information

MAT115A-21 COMPLETE LECTURE NOTES

MAT115A-21 COMPLETE LECTURE NOTES MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes

More information

In this initial chapter, you will be introduced to, or more than likely be reminded of, a

In this initial chapter, you will be introduced to, or more than likely be reminded of, a 1 Sets In this initial chapter, you will be introduced to, or more than likely be reminded of, a fundamental idea that occurs throughout mathematics: sets. Indeed, a set is an object from which every mathematical

More information

3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers

3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers Chapter 3 Real numbers The notion of real number was introduced in section 1.3 where the axiomatic denition of the set of all real numbers was done and some basic properties of the set of all real numbers

More information

PRELIMINARIES FOR GENERAL TOPOLOGY. Contents

PRELIMINARIES FOR GENERAL TOPOLOGY. Contents PRELIMINARIES FOR GENERAL TOPOLOGY DAVID G.L. WANG Contents 1. Sets 2 2. Operations on sets 3 3. Maps 5 4. Countability of sets 7 5. Others a mathematician knows 8 6. Remarks 9 Date: April 26, 2018. 2

More information

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................

More information

1. SET 10/9/2013. Discrete Mathematics Fajrian Nur Adnan, M.CS

1. SET 10/9/2013. Discrete Mathematics Fajrian Nur Adnan, M.CS 1. SET 10/9/2013 Discrete Mathematics Fajrian Nur Adnan, M.CS 1 Discrete Mathematics 1. Set and Logic 2. Relation 3. Function 4. Induction 5. Boolean Algebra and Number Theory MID 6. Graf dan Tree/Pohon

More information

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets Introduction In this short article, we will describe some basic notions on cardinality of sets. Given two

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

INTRODUCTION TO NETS. limits to coincide, since it can be deduced: i.e. x

INTRODUCTION TO NETS. limits to coincide, since it can be deduced: i.e. x INTRODUCTION TO NETS TOMMASO RUSSO 1. Sequences do not describe the topology The goal of this rst part is to justify via some examples the fact that sequences are not sucient to describe a topological

More information

A Semester Course in Basic Abstract Algebra

A Semester Course in Basic Abstract Algebra A Semester Course in Basic Abstract Algebra Marcel B. Finan Arkansas Tech University c All Rights Reserved December 29, 2011 1 PREFACE This book is an introduction to abstract algebra course for undergraduates

More information

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling Note: You are expected to spend 3-4 hours per week working on this course outside of the lectures and tutorials. In this time you are expected to review

More information

Section 0. Sets and Relations

Section 0. Sets and Relations 0. Sets and Relations 1 Section 0. Sets and Relations NOTE. Mathematics is the study of ideas, not of numbers!!! The idea from modern algebra which is the focus of most of this class is that of a group

More information

Discrete Mathematics. Thomas Goller. January 2013

Discrete Mathematics. Thomas Goller. January 2013 Discrete Mathematics Thomas Goller January 2013 Contents 1 Mathematics 1 1.1 Axioms..................................... 1 1.2 Definitions................................... 2 1.3 Theorems...................................

More information

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET DO FIVE OUT OF SIX ON EACH SET PROBLEM SET 1. THE AXIOM OF FOUNDATION Early on in the book (page 6) it is indicated that throughout the formal development set is going to mean pure set, or set whose elements,

More information

CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH. Fall CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Define and compute the cardinality of a set. Use functions to compare the sizes of sets. Classify sets

More information

RED. Fall 2016 Student Submitted Sample Questions

RED. Fall 2016 Student Submitted Sample Questions 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

More information

MATH 201 Solutions: TEST 3-A (in class)

MATH 201 Solutions: TEST 3-A (in class) MATH 201 Solutions: TEST 3-A (in class) (revised) God created infinity, and man, unable to understand infinity, had to invent finite sets. - Gian Carlo Rota Part I [5 pts each] 1. Let X be a set. Define

More information

CS100: DISCRETE STRUCTURES

CS100: DISCRETE STRUCTURES 1 CS100: DISCRETE STRUCTURES Computer Science Department Lecture 2: Functions, Sequences, and Sums Ch2.3, Ch2.4 2.3 Function introduction : 2 v Function: task, subroutine, procedure, method, mapping, v

More information

n CS 160 or CS122 n Sets and Functions n Propositions and Predicates n Inference Rules n Proof Techniques n Program Verification n CS 161

n CS 160 or CS122 n Sets and Functions n Propositions and Predicates n Inference Rules n Proof Techniques n Program Verification n CS 161 Discrete Math at CSU (Rosen book) Sets and Functions (Rosen, Sections 2.1,2.2, 2.3) TOPICS Discrete math Set Definition Set Operations Tuples 1 n CS 160 or CS122 n Sets and Functions n Propositions and

More information

1 Selected Homework Solutions

1 Selected Homework Solutions Selected Homework Solutions Mathematics 4600 A. Bathi Kasturiarachi September 2006. Selected Solutions to HW # HW #: (.) 5, 7, 8, 0; (.2):, 2 ; (.4): ; (.5): 3 (.): #0 For each of the following subsets

More information

Today s Topics. Methods of proof Relationships to logical equivalences. Important definitions Relationships to sets, relations Special functions

Today s Topics. Methods of proof Relationships to logical equivalences. Important definitions Relationships to sets, relations Special functions Today s Topics Set identities Methods of proof Relationships to logical equivalences Functions Important definitions Relationships to sets, relations Special functions Set identities help us manipulate

More information