Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Size: px
Start display at page:

Download "Lecture Notes 1 Basic Concepts of Mathematics MATH 352"

Transcription

1 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11, 2007; Time: 15:24 1 Textbook: R. J. Bond and W. J. Keane, An Introduction to Abstract Mathematics, Brooks/Cole, 1999

2 Contents 1 Logic LECTURE 1. Statements Proof Statements Quantifiers Negations Homework LECTURE 2. Compound Statements Conjunctions and Disjunctions Truth Tables Negating Conjunctions and Disjunctions Logically Equivalent Statements Tautologies and Contradictions Homework LECTURE 3. Implications Truth Table for an Implication Proving Statements Containing Implications Negating an Implication: Counterexamples Necessary and Sufficient Conditions Homework LECTURE 4. Contrapositive and Converse Contrapositive Converse Biconditional Proof by Contradiction Homework I

3 II CONTENTS 2 Sets LECTURE 5. Sets and Subsets The Notion of a Set Subsets Complements Homework LECTURE 6. Combining Sets Unions and Intersections De Morgan s Laws Cartesian Products Homework LECTURE 7. Collection of Sets Power Set Indexing Sets Partitions The Pigeonhole Principle Cantor Set Homework Functions LECTURE 8. Definition and Basic Properties Image of a Function Inverse Image Homework LECTURE 9. Surjective and Injective Functions Surjective Functions Injective Functions Bijective Functions Homework LECTURE 10. Composition and Inverse Functions Composition of Functions Inverse Functions Homework Binary Operations and Relations LECTURE 11. Binary Operations Associate and Commutative Laws Identities absmath.tex; June 11, 2007; 15:24; p. 1

4 CONTENTS III Inverses Closure Groups Homework LECTURE 12. Equivalence Relations Relations Properties of Relations Equivalence Relations Equivalence Classes Partial and Linear Ordering Homework The Integers LECTURE 13. Axioms and Basic Properties The Axioms of the Integers Inequalities The Well-Ordering Principle Homework LECTURE 14. Induction Induction: A Method of Proof Other Forms of Induction The Binomial Theorem Homework LECTURE 15. The Division Algorithm Divisors and Greatest Common Divisors Euclidean Algorithm Relatively Prime Integers Homework LECTURE 16. Primes and Unique Factorization Prime Numbers Unique Factorization Euclid Theorem Homework LECTURE 17. Congruences Congruences and Their Properties The Set of Congruence Classes Homework absmath.tex; June 11, 2007; 15:24; p. 2

5 IV CONTENTS 6 Infinite Sets LECTURE 19. Countable Sets Numerically Equivalent Sets Countable Sets Unions of Countable Sets The Rationals are Countable Cartesian Products of Countable Sets Homework LECTURE 20. Uncountable Sets Uncountable Sets Cantor Theorem Continuum Hypothesis Schroeder-Bernstein Theorem Homework LECTURE 21. Collections of Sets Russell s Paradox Countable Unions of Countable Sets Homework The Real and Complex Numbers LECTURE 22. Fields Fields Elementary Properties of Fields Ordered Fields Finite Fields Homework LECTURE 23. The Real Numbers Bounded Sets Least Upper Bound and Greatest Lower Bound The Archimedean Principle Incompleteness of Rationals Homework LECTURE 24. The Complex Numbers Complex Numbers Conjugation and Absolute Value Solutions of Equations Polar Form Complex Roots absmath.tex; June 11, 2007; 15:24; p. 3

6 CONTENTS V Homework Bibliography 113 absmath.tex; June 11, 2007; 15:24; p. 4

7 VI CONTENTS absmath.tex; June 11, 2007; 15:24; p. 5

8 Chapter 1 Logic 1.1 LECTURE 1. Statements Proof Mathematics is an attempt to determine which statements are true and which are not. Inductive reasoning Deductive reasoning Conjecture is a not verified statement Proof is the verification of a statement. Axioms are statements that are accepted as given. Propositions are the logical deductions from the axioms. Theorems are particularly important propositions. Proof is the logic, the arguments, used to make deductions Example An integer m is a multiple of an integer n if m = kn for some integer k. 1

9 2 CHAPTER 1. LOGIC Statements Definition true or false. A statement is any declarative sentence that is either Example A variable is a symbol that stands for an undetermined number. Definition An open sentence is any declarative sentence containing one or more variables that is not a statement but becomes a statement when the variables are assigned values. Notation: P(x), P(x, y) Quantifiers A universal quantifier is a phrase for every, for all, etc Notation: Example An existential quantifier is a phrase there is, there exists, etc Notation: Example A bound variable is a variable to which a quantifier is applied. A variable that is not bound is a free variable. Notation: The symbol is read such that Remark: The order in which quantifiers appear in a statement is important. Example absmath.tex; June 11, 2007; 15:24; p. 6

10 1.1. LECTURE 1. STATEMENTS Negations Example Definition false. The negation of a statement P is the statement P is Notation: The negation of P is denoted by the symbol P, read not P Alternative ways to express P: P is not true, or It is not true that P Remark. Exactly one of P and P is true; the other is false. Example Negation of a statement with a universal quantifier Example Negation of a statement with an existential quantifier Example Basic Rules of negating statements with quantifiers absmath.tex; June 11, 2007; 15:24; p. 7

11 4 CHAPTER 1. LOGIC The negation of the statement For all x, P(x) is the statement For some x, P(x) ( x, P(x)) x P(x) The negation of the statement For some x, P(x) is the statement For all x, P(x) ( x, P(x)) x, P(x) Example ( x, y P(x, y)) x y, P(x, y) Definition (Archimedean Principle) For every real number x, there is an integer n such that n > x Homework Read Introduction for the Student and to the Chapter 1; pp. xv-xix, 1. Reading: Sect 1.1 Exercises: 1.1[9,11,D5] absmath.tex; June 11, 2007; 15:24; p. 8

12 1.2. LECTURE 2. COMPOUND STATEMENTS LECTURE 2. Compound Statements Conjunctions and Disjunctions Compound statements are statements built up from two or more statements. Definition is the statement Notation: The conjunction of a statement P and a statement Q Both P and Q are true. P Q, read P and Q Definition is the statement The disjunction of a statement P and a statement Q P is true or Q is true. Notation: P Q, read P or Q Remarks. Similarly for open sentences, P(x) Q(x) etc. Example Truth Tables Statement forms are expressions of the form P Q, P Q, or P, where P and Q are variables representing unspecified statements. Statement forms are not statements but they become statements when the variables P and Q are specified, that is, replaced by statements. Truth tables are tables of truth values of the statement forms. absmath.tex; June 11, 2007; 15:24; p. 9

13 6 CHAPTER 1. LOGIC Example P Q P Q T T T T F F F T F F F F Remarks Example P Q P Q T T T T F T F T T F F F P P T F F T Negating Conjunctions and Disjunctions Example P Q P Q P Q P Q T T F F T T T F F T F T F T T F F T F F T T F F P Q (P Q) (P Q) P Q P Q T T F F F F T F T F T F F T T F T F F F T T T T That is, (P Q) P Q (P Q) P Q These statement forms mean the same thing. Example absmath.tex; June 11, 2007; 15:24; p. 10

14 1.2. LECTURE 2. COMPOUND STATEMENTS Logically Equivalent Statements Statements and statement forms are logically equivalent if they are expressed in different ways but mean the same thing. Definition Two statements are logically equivalent or just equivalent if they are both true or both false. Definition Two statement forms are logically equivalent if the substitution of statements for the variables in the forms always yields logically equivalent statements. Notation. P Q read P is equivalent to Q Remark. If two statement forms have the same truth tables then they are logically equivalent. Examples. 1. (P Q) P Q 2. (P Q) P Q 3. ( x, P(x) x ( P(x)) 4. ( x P(x) x, ( P(x)) 5. ( x, (P(x) Q(x)) x (( P(x)) ( Q(x))) 6. ( x, (P(x) Q(x)) x (( P(x)) ( Q(x))) 7. ( x (P(x) Q(x)) x, (( P(x)) ( Q(x))) 8. ( x (P(x) Q(x)) x, (( P(x)) ( Q(x))) Examples. The statements and are not equivalent, that is For all x, P(x) or Q(x) For all x, P(x) or for all x, Q(x) x, (P(x) Q(x)) x, P(x) x, Q(x) absmath.tex; June 11, 2007; 15:24; p. 11

15 8 CHAPTER 1. LOGIC Proposition. Proof: Truth table. Example x (P(x) Q(x)) ( x P(x)) ( x Q(x))). One can construct compound statements and statement forms from three or more statements Proposition. Proof: (P Q) (P R) P (Q R) P Q R P Q P R (P Q) (P R) Q R P (Q R) T T T T T T T T T T F F T F T T T F T F T T T T T F F F F F F F F T T F F F T F F T F F F F T F F F T F F F T F F F F F F F F F Tautologies and Contradictions Tautology is a statement form that is always true no matter what statements are substituted for the variables. Remark. Each of the truth table values of a tautology is true. Example. P P is always true. Contradiction is a statement form that is always false no matter what statements are substituted for the variables. Remark. Each of the truth table values of a contradiction is false. Example. P P is always false. Negation of a tautology is a contradiction and vice versa. absmath.tex; June 11, 2007; 15:24; p. 12

16 1.2. LECTURE 2. COMPOUND STATEMENTS Homework Reading: Sect 1.2 Exercises: 1.2[4,11,12] absmath.tex; June 11, 2007; 15:24; p. 13

17 10 CHAPTER 1. LOGIC 1.3 LECTURE 3. Implications Theorems follow logically from prior propositions Propositions follow from axioms Axioms are statements that are taken without proof and that serve as the starting point Implications are statements of the form If..., then..., or For all..., if..., then.... Example The premise or the assumption of the statement is the if part. The conclusion is the then part. Definition is the statement Let P and Q be statements. The implication P Q If P is true, then Q is true. Notation. P Q (read P implies Q ) Example absmath.tex; June 11, 2007; 15:24; p. 14

18 1.3. LECTURE 3. IMPLICATIONS Truth Table for an Implication In the implication P Q, P might be unrelated to Q at all. P does not have to have caused Q The implication P Q means that in all circumstances under which P is true, Q is also true. In other words, implication P Q means that whenever P happens, Q also happens. The implication P Q is false only in the case if P is true and Q is false. The implication P Q cannot be false if P is false, even if Q is false. A false statement implies anything! Truth values of the statement form P Q: P Q P Q T T T T F F F T T F F T Examples Proving Statements Containing Implications Let P(x) and Q(x) be open sentences. The expression P(x) Q(x) is an open sentence that becomes a statement when the variable x is assigned a value a. Note that the expression x, P(x) Q(x) is a statement. We want to prove the statement x, P(x) Q(x). Proof: Assume that if the variable x is assigned the value a, then P(a) is true and proceed to prove Q(a). P(a) is the hypothesis absmath.tex; June 11, 2007; 15:24; p. 15

19 12 CHAPTER 1. LOGIC Q(a) is the conclusion Example Remark. Let P(n) be an open sentence. Once we say, Let n be an integer, then P(n) is a statement. Example Negating an Implication: Counterexamples In order to prove that a statement containing an implication is false it is necessary to prove that its negation is true. Example. The only way for an implication x, P(x) Q(x) to be false is that there is an assigned value a of the variable x such that P(a) is true and Q(a) is false. A value of a variable served to disprove a statement with a universal quantifier is a counterexample. Proposition. If P and Q are statement forms, then Proof: Find truth tables. (P Q) P Q If P(x) and Q(x) are open sentences, the negation of the statement is the statement or For all x, P(x) Q(x) There exists x such that P(x) Q(x), For some x, P(x) is true and Q(x) is false. absmath.tex; June 11, 2007; 15:24; p. 16

20 1.3. LECTURE 3. IMPLICATIONS 13 Formally ( x, P(x) Q(x)) x (P(x) Q(x)) The value assigned to the variable x that makes P(x) true and Q(x) false is a counterexample to the statement For all x, P(x) Q(x). Negation of an implication is not an implication! Necessary and Sufficient Conditions In the implication P Q (if P is true, then Q is true) P is a sufficient condition for Q. In order for Q to be true it is sufficient that P be true. If P Q is true, (it is true that if P is true then Q is true), then Q is a necessary condition for P. Q must be true in order for P to be true. In other words, if Q is false, then P is false. Proposition. The statement is equivalent to the statement Q P P Q. ( Q P) (P Q) Proof: Truth table. Remarks. If P Q is true then it is not necessary that P be true in order for Q to be true. absmath.tex; June 11, 2007; 15:24; p. 17

21 14 CHAPTER 1. LOGIC Also, Q is not a sufficient condition for P. That is, even if Q is true, P may be false. Example Homework Reading: Sect 1.3 Exercises: 1.3[3,13,15] absmath.tex; June 11, 2007; 15:24; p. 18

22 1.4. LECTURE 4. CONTRAPOSITIVE AND CONVERSE LECTURE 4. Contrapositive and Converse Contrapositive The statements P Q and Q P are logically equivalent (P Q) ( Q P) Check the truth tables To prove the statement P Q is the same as to verify the statement Q P This means: whenever Q is false, then P is false. In other words: if P is true, then Q cannot be false and, therefore, Q is true. Example Definition Let P and Q be two statements. The statement Q P is the contrapositive of the statement P Q. Example absmath.tex; June 11, 2007; 15:24; p. 19

23 16 CHAPTER 1. LOGIC Converse Example Definition The statement Q P is the converse of the statement P Q. Example The statements P Q and its converse Q P are not necessarily logically equivalent! (P Q) (Q P) If the implication P Q is true, its converse Q P could be false. Example Biconditional If the statement P Q and its converse Q P are both true, then the statements P and Q are either both true or both false. Then P is a necessary and sufficient condition for Q. Thus, P and Q are logically equivalent. Definition The statement P Q is the statement (P Q) (Q P). The symbol is called the biconditional. Notation. The statement P Q is read P if and only if Q. absmath.tex; June 11, 2007; 15:24; p. 20

24 1.4. LECTURE 4. CONTRAPOSITIVE AND CONVERSE 17 The word iff is the shorthand for the phrase if and only if. Theorem Let n be an integer. Then n is even if and only if n 2 is even. Theorem Let n be an integer. The following are equivalent statements: 1. n is even. Proof: 2. n 2 is even. Proposition. The statements and are logically equivalent. (P Q) ( P Q) (P Q) ( P Q) Proof: By examining the truth tables. Corollary Let n be an integer. Then n is odd if and only if n 2 is odd. Proof: Example Proof by Contradiction In order to prove an implication P Q one can prove its contrapositive Q P. Proof by contradiction. absmath.tex; June 11, 2007; 15:24; p. 21

25 18 CHAPTER 1. LOGIC Proving means that we Q P assume that Q is false, and prove that P is false, getting a contradiction that P and P cannot both be true. To prove a statement P by contradiction means to assume that P is false, and deduce a false statement Q from it. Theorem Let P be a statement and Q be a false statement. Then the statement is logically equivalent to P. Proof: Example P Q Homework Reading: Sect 1.4 Exercises: 1.4[2,17,21] absmath.tex; June 11, 2007; 15:24; p. 22

26 Chapter 2 Sets 2.1 LECTURE 5. Sets and Subsets The Notion of a Set The set is a basic undetermined concept which cannot be defined formally. The set is a collection of objects called the elements. Notation. Example Notation. x A (read x is in A). N = Z + the set of positive integers (natural numbers), Z the set of integers, Q = { m m, n Z, n 0} the set of rational numbers numbers, n R + the set of positive real numbers, R the set of real numbers, C the set of complex numbers. Example 19

27 20 CHAPTER 2. SETS Description of the set of all elements of the set U such that the open sentence P(x) is true statement A = {x U P(x)} So, A is the truth set of the open sentence P(x). The set U is a fixed set called a universal set. Example. The set of multiples of n nz = {m Z m = nk for some k Z} = {nk k Z} Definition A set I of real numbers is called an interval if I, I contains more than one element, and for every x, y I such that x < y, if z a real number such that x < z < y, then z I. Closed bounded interval Open bounded interval [a, b] = {x R a x b} (a, b) = {x R a < x < b} Half-open, half-closed bounded intervals (a, b] = {x R a < x b}, [a, b) = {x R a x < b} Unbounded intervals (, b] = {x R x b}, (a, ) = {x R a < x}, (, b) = {x R a x < b}, [a, ) = {x R a x}, Example Sets containing finitely many elements are called finite sets. The number of elements of a finite set is called the cardinality of the set. Notation. A Sets containing infinitely many elements are called infinite sets. Example absmath.tex; June 11, 2007; 15:24; p. 23

28 2.1. LECTURE 5. SETS AND SUBSETS Subsets Example Definition Let A and B be sets. A is a subset of B if every element of A is also an element of B. If the set B has an element that is not an element of its subset A then the subset A is called a proper subset. Notation. Example A B, (A is a subset of B). A B (A is a proper subset of B) Let U be an universal set. Then A B is the statement Example x U, if x A, then x B. Proposition Let A, B and C be sets. If A B and B C, then A C. Proof: Example Definition elements. Notation. A = B. Two sets A and B are equal if they have the same Two sets A and B are equal if and only if every element of A is an element of B and every element of B is an element of A (A = B) (A B A) The statement A B is false if there is an element of A such that it is not an element of B. Example absmath.tex; June 11, 2007; 15:24; p. 24

29 22 CHAPTER 2. SETS Complements Definition the set Let A and B be sets. The complement of A in B is B A = {x B x A}. Example The set A does not need to be a subset of the set B. Let U be a universal set. The the complement of A in U is simply called the complement of A. Notation. Ā = U A. The set that contains no elements is called the empty set. Notation. If U is an universal set, then = U and Ū =. Theorem Let U be a universal set and A and B be sets contained in U. Then Proof: Example Homework Reading: Sect 2.1 Exercises: 2.1[1,10,14] A B iff B Ā. absmath.tex; June 11, 2007; 15:24; p. 25

30 2.2. LECTURE 6. COMBINING SETS LECTURE 6. Combining Sets Unions and Intersections Definition The union of a set A and a set B is the set A B = {x x A x B}. Definition The intersection of a set A and a set B is the set A B = {x x A x B}. Example Two sets are disjoint if they do not have common elemets, that is their intersection is the empty set, Venn diagrams A B =. Theorem Let A, B and C are sets. Then 1. A B = B A, 2. A B = B A, 3. (A B) C = A (B C), 4. (A B) C = A (B C), 5. A (A B), 6. (A B) A, 7. A, 8. A = A, 9. A =. Proof: Proposition. Let A, B U. Then absmath.tex; June 11, 2007; 15:24; p. 26

31 24 CHAPTER 2. SETS 1. A B = A B. 2. A B A B = B Proof: Theorem Let A, B and C be sets. Then 1. A (B C) = (A B) (A C), Proof: 2. A (B C) = (A B) (A C) De Morgan s Laws Example Theorem Let U be a universal set and A, B U. Then Proof: 1. A B = Ā B, 2. A B = Ā B Cartesian Products Definition set The Cartesian product of a set A and a set B is the A B = {(a, b) a A, b B}. The Cartesian product is the set of ordered pairs (a, b), where the first element is from the set A and the second element is from B. Example Homework Reading: Sect 2.2 Exercises: 2.2[22,24] absmath.tex; June 11, 2007; 15:24; p. 27

32 2.3. LECTURE 7. COLLECTION OF SETS LECTURE 7. Collection of Sets Power Set Example Definition The power set of a set A is the set of all subsets of A. Notation. P(A) = {X X A}. Note that P(A) and A P(A). If the set A is finite, then the cardinality of the power set is P(A) = 2 A Example Indexing Sets Example The indexing set is the set of subscripts that are used to distinguish the sets in a collection of sets. Notation. where I = {1, 2,..., n}. S = {A i i I} = {A i } i I, Union of sets in a collection of sets n A i = {x U i I x A i } i=1 absmath.tex; June 11, 2007; 15:24; p. 28

33 26 CHAPTER 2. SETS Intersection of sets in a collection of sets n A i = {x U x A i i I} i=1 Example Infinite collection of sets. Union of sets in a collection of sets A i = {x U i N x A i } i=1 Intersection of sets in a collection of sets A i = {x U x A i i N} i=1 Example The collection of sets S = {A i } i I is increasing (or an ascending chain) if A 1 A 2 A 3 The collection of sets S = {A i } i I is decreasing (or an descending chain) if A 3 A 2 A 1. Example Let I be an indexing set and S = {A i } i I be a collec- Definition tion of sets. 1. The union of the collection is A i = {a a A for some i I} i I 2. The intersection of the collection is A i = {a a A for all i I} i I absmath.tex; June 11, 2007; 15:24; p. 29

34 2.3. LECTURE 7. COLLECTION OF SETS 27 Notation. Let S be a collection of sets. Then the union and the intersection are A S A and A S A Partitions Definition P(A) such that A partition of a set A is a subset P of the power set 1. if X P, thenx, 2. X P X = A, 3. if X, Y P and X Y, then X Y =. That is, a partition is a collection of non-empty disjoint subsets of A that cover the set A. Remark. A partition of a set divides the set into different disjoint nonempty subsets so that every element of the set is in one of the subsets and no element is in more than one. Example The Pigeonhole Principle Theorem Let A and B be finite disjoint sets. Then A B = A + B Proof: Rigorous proof later. Corollary Let S = {A i } n i=1 be a collection of finite mutually disjoint sets. Then n n A i = A i i=1 i=1 absmath.tex; June 11, 2007; 15:24; p. 30

35 28 CHAPTER 2. SETS Corollary Let A and B be finite sets. Then A B = A + B A B Pigeonhole Principle. If n objects are placed in k containers and n > k, then at least one container will have more than one object in it. Let S = {A i } n i=1 n i=1 A i. be a collection of finite mutually disjoint sets and A = If A = k and k > n, then, for some i, A i 2. Example Theorem Let S = {A i } n i=1 be a collection of finite mutually disjoint sets and A = n i=1 A i. If A > nr for some positive integer r, then, for some i, A i r + 1. Proof: Exercise. Example Cantor Set Let A = [0, 1]. Let A 1 = [0, 1 3 ] [ 2 3, 1] Let A 2 = [0, 1 9 ] [ 2 9, 3 9 ] [ 6 9, 7 9 ] [ 8 9, 1] Define A n by removing the middle third from each of the closed intervals that make the set A n 1. Each A n is the union of 2 n closed intervals Each interval that makes A n has length 1 3 n The total length of all intervals that make A n is ( 2 3 The collection of sets {A n } n=1 forms a descending chain ) n A n+1 A n, n N absmath.tex; June 11, 2007; 15:24; p. 31

36 2.3. LECTURE 7. COLLECTION OF SETS 29 The Cantor set is defined by C = n=1 A n The endpoints of all intervals in each of the sets A n are in C 0, 1, 1 3, 2 3, 1 9, 2 9, 7 9, 8 9, C Cantor set is infinite. Cantor set is bounded. The size (length) of the Cantor set is zero. Since the length of C is smaller than the length of A n for any n N, which is ( 2 3 )n. Thus it is smaller than ( 2 3 )n for any n, and is, therefore, zero. Cantor set is uncountable. So, it is larger than the set of integers Homework Reading: Sect 2.3 Exercises: 2.3[16,26,28] absmath.tex; June 11, 2007; 15:24; p. 32

37 30 CHAPTER 2. SETS absmath.tex; June 11, 2007; 15:24; p. 33

38 Chapter 3 Functions 3.1 LECTURE 8. Definition and Basic Properties Definition Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element of the set A one and only one element of the set B. The set A is the domain of f and the set B the codomain. Notation. f : A B and for each a A, f (a) = b or a f b. Example The identity function on A is the function i A : A A defined by i A (x) = x for any x A. It is also denoted by Id A or id A. 31

39 32 CHAPTER 3. FUNCTIONS Image of a Function Definition Let f : A B be a function and X A. The image of the set X under the function f is the set Diagram. Remark. f (X) = {y B y = f (x) for some x X} f ( ) = for any function f. Definition Let f : A B be a function. The image (or the range) of the function f is the set Remark. Diagram. Im( f ) = f (A) = {y B y = f (x) for some x A} Im( f ) B for any function f. Definition Let f : A B be a function. The graph of the function f is the set Diagram. Remark. Γ( f ) = {(a, b) A B b = f (a), a A} Γ( f ) A B. Remark. The functions f : A B and g : A f (A) such that g(x) = f (x) for any x A are different if f (A) B. Definition Two functions f and g are equal if they have the same domain and the same codomain and if f (x) = g(x) for any x in the domain. absmath.tex; June 11, 2007; 15:24; p. 34

40 3.1. LECTURE 8. DEFINITION AND BASIC PROPERTIES 33 Examples Sine function sin : R R, x sin sin(x) Greatest integer function. f : R Z, f (x) = [x] is the greatest integer x Finding the image of a function. If f : A B is a function and y B, then y Im( f ) if and only if there exists an element x A such that f (x) = y. Example. Theorem Intermediate Value Theorem. Let A, B R be subsets of real numbers and f : A B be a function. Let [a, b] A and f be continuous on the interval [a, b]. If y is a number between f (a) and f (b), then there is a real number x [a, b] such that f (x) = y. Without proof. Graphical illustration. Example Proposition Let A and B be sets and X and Y be subsets of A such that Let f : A B be a function. Then Proof: Easy. X Y A. f (X) f (Y). The converse of this proposition is false. Example. absmath.tex; June 11, 2007; 15:24; p. 35

41 34 CHAPTER 3. FUNCTIONS Proposition Let A and B be sets and X and Y be subsets of A. Let f : A B be a function. Then Proof: Example. 1. f (X Y) = f (X) f (Y). 2. f (X Y) f (X) f (Y) Inverse Image Definition Let A and B be sets and W be a subset of B. Let f : A B be a function. The the inverse image of the set W with respect to f is the set Diagram. f 1 (W) = {x A f (x) W} The inverse image f 1 (W) is the set of all elements of the domain of f that are mapped to elements of W. Remarks. Inverse image is a subset of the domain. f 1 (W) A W is not necessarily a subset of the image Im( f ) of the function f. The symbol f 1 does not refer to the inverse function, which might not even exist. Example Proposition Let A and B be sets and W and Z be subsets of B. Let f : A B be a function. Then Proof: 1. f 1 (W Z) = f 1 (W) f 1 (Z) 2. f 1 (W Z) = f 1 (W) f 1 (Z) absmath.tex; June 11, 2007; 15:24; p. 36

42 3.1. LECTURE 8. DEFINITION AND BASIC PROPERTIES 35 Proposition Let A and B be sets and f : A B be a function. If A is a finite set, then Im( f ) is a finite set and Proof: Easy. Example Homework Reading: Sect 3.1 Exercises: 3.1[2,4,11] Im( f ) A. absmath.tex; June 11, 2007; 15:24; p. 37

43 36 CHAPTER 3. FUNCTIONS 3.2 LECTURE 9. Surjective and Injective Functions Surjective Functions Definition Let f : A B be a function. Then f is surjective (or a surjection) if the image of f is equal to the codomain of f, that is Im( f ) = B. To prove that a function is surjective one needs to prove that for any element y in the codomain B there is an element in the domain x A such that f (x) = y. Diagram. Surjection is also called an onto mapping. Example Let A and B be sets. The function π : A B A defined by is a projection of A B onto A. π(a, b) = a To prove that the function f : A B is not surjective one needs to show that there exists an element y B in the codomain B such that for any element x A in the domain, f (x) y. Examples Injective Functions Example Definition Let f : A B be a function. Then f is injective (or an injection) if for any a 1, a 2 A, if a 1 a 2, then f (a 1 ) f (a 2 ). absmath.tex; June 11, 2007; 15:24; p. 38

44 3.2. LECTURE 9. SURJECTIVE AND INJECTIVE FUNCTIONS. 37 An injection takes different elements of the domain A to different elements of the codomain B. Injection is also called an one-to-one mapping. Diagram. Example To prove that a function f : A B is injective one needs to prove that Examples. for all a 1, a 2 A, if f (a 1 ) = f (a 2 ), then a 1 = a 2. To prove that a function f : A B is not injective one needs to show that there exist a 1, a 2 A such that a 1 a 2 and f (a 1 ) = f (a 2 ). (In other words, f maps two different elements of A to the same element of B.) Example Bijective Functions Definition A function that is both injective and surjective is bijective (or a bijection). Examples. Let A be a set. A bijection f : A A is a permuta- Definition tion of A. Example Homework Reading: Sect 3.2 Exercises: 3.2[2,13,17] absmath.tex; June 11, 2007; 15:24; p. 39

45 38 CHAPTER 3. FUNCTIONS 3.3 LECTURE 10. Composition and Inverse Functions Definition Let A and B be nonempty sets. The sets of all functions from A to B is denoted by If A = B, then we denote F(A, B) = { f f : A B}. F(A, A) = F(A) Composition of Functions Definition Let A, B, and C be nonempty sets, and let f F(A, B) and g F(B, C). The composition of f and g is the function g f F(A, C) defined by (g f )(x) = g( f (x)), x A Notation. The composition g f is also denoted simply by g f. If A = B = C, then both g f and f g are defined. Examples. Proposition Let f : A B be a function. Then f i A = i B f = f. Proof: Exercise. Proposition Let f F(A, B) and g F(B, C). Then: 1. If f and g are surjections, then g f is a surjection. 2. If f and g are injections, then g f is an injection. Proof: 3. If f and g are bijections, then g f is a bijection. absmath.tex; June 11, 2007; 15:24; p. 40

46 3.3. LECTURE 10. COMPOSITION AND INVERSE FUNCTIONS 39 Corollary Let A be a nonempty set. Let f and g be permutations of A. Then g f is a permutation of A. Proof: Exercise. Proposition Let A, B, C and D be nonempty sets. Let f F(A, B), g F(B, C), h F(C, D). Then Proof: (h g) f = h (g f ). Notation. One can write without ambiguity simply h g f = (h g) f = h (g f ). If we have n functions f 1, f 2,..., f n, then one can write f 1 f 2 f n for their composition Inverse Functions Definition Let A and B be nonempty sets and f F(A, B). Then f is invertible if there is a function f 1 F(B, A) such that and f f 1 = i B f 1 f = i A. If f 1 exists, it is called the inverse of f. If f is invertible, then f 1 is invertible and ( f 1 ) 1 = f Proposition There is only one function that can be the inverse of a function f. Proof: Let A be a set and i A : A A be the identity function. Then i A is invertible and i 1 A = i A. absmath.tex; June 11, 2007; 15:24; p. 41

47 40 CHAPTER 3. FUNCTIONS Examples. Theorem Let A and B be sets, and let f F(A, B). Then f is invertible if and only if f is a bijection. Proof: Examples Homework Reading: Sect 3.3 Exercises: 3.3[1,20] absmath.tex; June 11, 2007; 15:24; p. 42

48 Chapter 4 Binary Operations and Relations 4.1 LECTURE 11. Binary Operations Example Definition function Let A be a nonempty set. A binary operation is a f : A A A. Notation. f (a, b), a b, a b, a + b, a b, a b, The element f (a, b) must be in the set A. Examples Associate and Commutative Laws Definition A binary operation on A is associative if (a b) c = a (b c), a, b, c A Definition A binary operation on A is commutative if a b = b a, a, b A 41

49 42 CHAPTER 4. BINARY OPERATIONS AND RELATIONS To prove that an operation is associative or commutative one needs to prove the property for all elements of A. To prove that an operation is not associative or commutative one needs to show that the property does not hold for some elements of A. Examples. Union of sets on P(U) Intersection of sets on P(U) Composition of functions on F(A) Multiplication and addition on F(R) Matrix multiplication on M 2 (R) Matrix addition on M 2 (R) Identities Definition Let be a binary operation on the set A. An element e is an identity element of A with respect to if for any a A. a e = e a = a Not all sets have identity elements with respect to a given binary operation. Examples. Proposition If e is an identity element of the set A with respect to a binary operation on A, then e is unique. Proof: By contradiction. absmath.tex; June 11, 2007; 15:24; p. 43

50 4.1. LECTURE 11. BINARY OPERATIONS Inverses Definition Let be a binary operation on the set A with identity e. We say that a A is invertible with respect to if there exists b A such that If a b = b a = e. a b = b a = e, then b is an inverse of a with respect to. Examples. Proposition Let be an associative binary operation on a set A with an identity element e. If a A has an inverse with respect to, then that inverse is unique. Proof: Exercise. Notation. The inverse of a is denoted by a Closure Definition Let A be a nonempty set and X A. Let be a binary operation on the set A. If for any x, y X, we have x y X, then X is closed in A under. If X A is closed in A under, then is also a binary operation on X. Examples. To prove that X A is not closed under a binary operation, we need to prove that there exist x, y X such that x y X. Examples. absmath.tex; June 11, 2007; 15:24; p. 44

51 44 CHAPTER 4. BINARY OPERATIONS AND RELATIONS Groups Definition A set with a binary operation is a group if 1. the binary operation is associative, 2. there is an identity element, 3. every element has an inverse. Examples Homework Reading: Sect 4.1 Exercises: 4.1[2,5,19,22,36,37] absmath.tex; June 11, 2007; 15:24; p. 45

52 4.2. LECTURE 12. EQUIVALENCE RELATIONS LECTURE 12. Equivalence Relations Relations Definition A relation R on a set A is a subset of A A. Notation. If (a, b) R, then we write arb Examples Properties of Relations The relation R = {(a, a) a A} is called the diagonal of A A. Definition Let R be a relation on a set A. Then 1. R is reflexive if a A, ara, 2. R is symmetric if a, b A, if arb, then bra, 3. R is transitive if a, b, c A, if arb and brc, then arc, 4. R is antisymmetric if a, b A, if arb and bra, then a = b. Examples. absmath.tex; June 11, 2007; 15:24; p. 46

53 46 CHAPTER 4. BINARY OPERATIONS AND RELATIONS Equivalence Relations Definition it is A relation R on a set A is an equivalence relation if 1. reflexive, 2. symmetric and 3. transitive. Notation. An equivalence relation is denoted by a b read as a is equivalent to b Examples. Congruence mod n is a relation R on Z + defined by arb if a b = nk for some k Z written a b(mod n) Example Equivalence Classes Definition any a A the set Let be an equivalence relation on a set A. Then for [a] = {x A x a} is the equivalence class of a. Equivalence class of a is the set of all elements equivalent to a. absmath.tex; June 11, 2007; 15:24; p. 47

54 4.2. LECTURE 12. EQUIVALENCE RELATIONS 47 All elements of an equivalence class are equivalent to each other. Examples. An equivalence relation divides the set into disjoint equivalence classes. Theorem The set of equivalence classes of an equivalence relation on a nonempty set A forms a partition of A. Proof: 1. Equivalence classes are subsets of A. 2. Equivalence classes are nonempty. 3. Every element of A is in some equivalence class. 4. Different equivalence classes are disjoint. In other words, or if [a] [b], then [a] [b] =, if [a] [b], then a b and [a] = [b]. Theorem Let P be a partition of a nonempty set A. Let R be a relation on A defined by arb if a and b are in the same element of the partition. Then R is an equivalence relation. Proof: 1. R is reflexive. 2. R is symmetric. 3. R is transitive. There is a bijection between the set of all equivalence relations of A and the set of all partitions of A. absmath.tex; June 11, 2007; 15:24; p. 48

55 48 CHAPTER 4. BINARY OPERATIONS AND RELATIONS Partial and Linear Ordering Example. Ordering of the real numbers. arb if a b R is reflexive, transitive and antisymmetric. Definition R is A relation R on a set A is a partial ordering on A if 1. reflexive, 2. transitive and 3. antisymmetric. A set with a partial ordering is a partially ordered set. The relation < is not a partial ordering on R. Let A be a set and P(A) be the power set of A. Let R be a relation on P(A) defined by Then R is a partial ordering on P(A). XRY if X Y. Example. Linear ordering of real numbers. x, y R, either x y or y x. Definition Let A be a set and R be a partial ordering on A. Then R is a linear ordering on A if a, b A, either arb or bra. A set with a linear ordering is a linearly ordered set. Examples. absmath.tex; June 11, 2007; 15:24; p. 49

56 4.2. LECTURE 12. EQUIVALENCE RELATIONS Homework Reading: Sect 4.2 Exercises: 4.2[10,14,15,17] absmath.tex; June 11, 2007; 15:24; p. 50

57 50 CHAPTER 4. BINARY OPERATIONS AND RELATIONS absmath.tex; June 11, 2007; 15:24; p. 51

58 Chapter 5 The Integers 5.1 LECTURE 13. Axioms and Basic Properties The Axioms of the Integers Definition The set Z of integers is a set with two binary operations: addition, +, and multiplication,, with the properties A1 Associativity of addition: (x + y) + z = x + (y + z), x, y, z Z A2 Commutativity of addition: x + y = y + x, x, y Z A3 Additive identity: 0 Z such that x + 0 = x, x Z A4 Additive inverse: x Z, ( x) Z such that x + ( x) = 0 51

59 52 CHAPTER 5. THE INTEGERS Definition A5 Associativity of multiplication: (x y) z = x (y z), x, y, z Z A6 Commutativity of multiplication: A7 Multiplicative identity: A8 Distributivity: Notation. x y = y x, x, y Z 1 Z such that x 1 = x, x Z, and 1 0 x (y + z) = x y + x z, x, y, z Z x + ( y) = x y, x y = xy These properties of integers are axioms. The multiplicative inverses of integers do not exist, in general. The axiom 1 0 is needed for a nontrivial theory. If 1 = 0, then x = 0 for any x Z. Therefore, Z = {0} consists of only one element. Proposition Let a, b, c Z. Then P1 If a + b = a + c, then b = c P2 a0 = 0 Proof: P3 ( a)b = a( b) = (ab) P4 ( a) = a absmath.tex; June 11, 2007; 15:24; p. 52

60 5.1. LECTURE 13. AXIOMS AND BASIC PROPERTIES 53 Proposition Let a, b, c Z. Then P5 ( a)( b) = ab P6 a(b c) = ab bc Proof: P7 ( 1)a = a P8 ( 1)( 1) = 1 Definition The set of positive integers Z + is defined by Z + = {n Z n = 1 } + {{ + } 1} n Notation. Z + = N Definition The set Z + has the properties A9 Closure. Z + is closed with respect to addition and multiplication: if x, y Z +, then x + y Z + and xy Z + A10 Trichotomy Law. For every integer x Z exactly one of the following statements is true: 1. x Z +, 2. x Z +, 3. x = 0. Proposition If x Z and x 0, then x 2 Z +. Proof: Follows from closure of Z Inequalities Definition Let x, y Z. Then x < y if y x Z +. absmath.tex; June 11, 2007; 15:24; p. 53

61 54 CHAPTER 5. THE INTEGERS Notation. x < y is read x is less than y if x < y, then y > x if x < y or x = y, then x y if x > y or x = y, then x y if x y, then y x If x Z +, then x > 0. Proposition Let a, b, c Z. Q1 Exactly one of the following holds: Q4 If a > 0 and b < 0, then ab < 0. a < b, b < a or b = a. Q2 If a > 0, then a < 0. (If a < 0, then a > 0.) Q3 If a > 0 and b > 0, then a + b > 0 and ab > 0. Q5 If a < 0 and b < 0, then ab > 0. Q6 If a < b and b < c, then a < c. Q7 If a < b, then a + c < b + c. Q8 If a < b and c > 0, then ac < bc. Q9 If a < b and c < 0, then ac > bc. Proof: Exercise The Well-Ordering Principle Definition A11. The Well-Ordering Principle. Every nonempty subset of Z + has a smallest element. That is, if S is a nonempty subset of Z +, then there is a S such that a x for all x S. absmath.tex; June 11, 2007; 15:24; p. 54

62 5.1. LECTURE 13. AXIOMS AND BASIC PROPERTIES 55 Proposition There is no integer x such that 0 < x < 1. Proof: 1. By contradiction. 2. Suppose that a Z + is the smallest integer such that 0 < a < Then a 2 < a (contradiction). Corollary The number 1 is the smallest element of Z +. Proof: Exercise. Corollary The only integers having multiplicative inverses in Z are 1 and 1. Proof: By contradiction Homework Reading: Sect 5.1 Exercises: 5.1[1,9] absmath.tex; June 11, 2007; 15:24; p. 55

63 56 CHAPTER 5. THE INTEGERS 5.2 LECTURE 14. Induction Induction: A Method of Proof Induction is a method for proving statements about the positive integers. Let P(x) be an open sentence. The purpose of an induction proof is to show that the statement P(n) is true for every positive integer n Z +. Idea: 1. Verify (prove) that P(1) is true. 2. Given a positive integer k Z + for which P(k) is true, prove that P(k + 1) is true. 3. This establishes that P(n) is true for any n Z +. Theorem First Principle of Mathematical Induction. Let P(n) be a statement about the positive integer n. Suppose that 1. P(1) is true, and 2. If P(k) is true for a k Z +, then P(k + 1) is true. Then P(n) is true for any n Z +. Proof: By contradiction and the Well-Ordering Principle. The assumption that P(k) is true is the induction hypothesis. Examples Other Forms of Induction Theorem Modified Form of First Principle of Mathematical Induction Let P(n) be a statement about the integer n. Suppose that there is an integer n 0 Z such that 1. P(n 0 ) is true, and 2. If P(k) is true for an integer k n 0, then P(k + 1) is true. Then P(n) is true for any integer n n 0. absmath.tex; June 11, 2007; 15:24; p. 56

64 5.2. LECTURE 14. INDUCTION 57 Proof: Exercise. Example Theorem Second Principle of Mathematical Induction. P(n) be a statement about the positive integer n. Suppose that Let 1. P(1) is true, and 2. If, for a positive integer k Z +, P(i) is true for every positive integer i k, then P(k + 1) is true. Then P(n) is true for any positive integer n Z +. Proof: Exercise. A function f : Z + Z + is defined recursively if the value f (k) of f at a positive integer k is defined by the values f (1), f (2),..., f (k 1) of f at the preceding positive integers. f (k) = F( f (1),..., f (k 1)) This equation is a recursion, or a recursive relation. Example. Let f : Z + Z + be defined by f (1) = 1, f (2) = 5, and Then Proof: By induction. f (n + 1) = f (n) + 2 f (n 1). f (n) = 2 n + ( 1) n Restatement of the First Principle of Mathematical Induction in the language of the set theory. Theorem that Let S Z + be a subset of positive integers. Suppose 1. 1 S, and 2. If k S, then k + 1 S. Then S = Z +. absmath.tex; June 11, 2007; 15:24; p. 57

65 58 CHAPTER 5. THE INTEGERS Proof: Exercise. Example n k = k=1 n(n + 1) 2 Theorem Let A be a set and {B i } n i=1 be a finite collection of sets. Then n n A B i = ( ) A B i Proof: By induction The Binomial Theorem i=1 i=1 Definition Let n be a nonnegative integer. The factorial n! of n is defined by and 0! = 1, n! = n(n 1) 2 1 if n > 0. Definition Let n and r be nonnegative integers such that 0 r n. The binomial coefficient ( n r) is defined by ( ) n n! n(n 1) (n r + 1) = = r r!(n r)! r! Notation. ( ) n = Cr n r Note that ( ) 0 = 0 Also ( ) n = n ( ) n = 1 0 ( ) ( ) n n = k n k absmath.tex; June 11, 2007; 15:24; p. 58

66 5.2. LECTURE 14. INDUCTION 59 The binomial coefficient ( n r) is the number of ways to choose r objects from a collection of n objects. The binomial coefficient ( n r) is the number of subsets of r elements in a set with n elements. Identity. Let n, k Z + such that 1 k n. Then ( ) ( ) ( ) n + 1 n n = + k k k 1 Proof: Exercise. Theorem Let a, b Z and n Z +. Then n ( ) n (a + b) n = a n k b k k Proof: By induction. Example Corollary Let n Z be a nonnegative integer, n 0. Then n k=0 k=0 ( ) n = 2 n k Proof: Apply the binomial theorem to (1 + 1) n Homework Reading: Sect 5.2 Exercises: 5.2[1,2,4,26] absmath.tex; June 11, 2007; 15:24; p. 59

67 60 CHAPTER 5. THE INTEGERS 5.3 LECTURE 15. The Division Algorithm Divisors and Greatest Common Divisors Definition Let a and b be integers. We say b divides a if there is an integer c such that a = bc. The integer a is divisible by b and c. The integers b and c are factors of a. Notation. Example Proposition Let a, b, c Z. 1. If a 1, then a = 1 or a = 1. b a (read b divides a ) 2. If a b and b a, then a = b or a = b. 3. If a b and a c, then a (bx + cy) for any x, y Z. 4. If a b and b c, then a c. Proof: Exercise. Example Definition Let a and b be integers, not both zero. A common divisor of a and b is an integer c such that c divides both a and b. A greatest common divisor of a and b is a positive integer d such that 1. d is a common divisor of a and b, and 2. for any integer c, if c is a common divisor of a and b, then c divides d. Notation. The greatest common divisor (gcd) of two integers a and b is denoted by absmath.tex; June 11, 2007; 15:24; p. 60

68 5.3. LECTURE 15. THE DIVISION ALGORITHM 61 Note that for any a Z, a 0, Example gcd(a, b) = (a, b) gcd(a, 0) = a Theorem Division Algorithm. Let a be an integer and b be a positive integer. Then there exist unique integers q and r such that Proof: a = bq + r and 0 r < b. 1. Let S = {a bx x Z} and S 0 = {n S n 0}. 2. Show that S 0. (If a 0, then a S 0. If a < 0, then a ba S 0.) 3. Let r be the smallest element of S 0. Then r Also, r = a bq for some q Z. 5. Then r < b, since if r b, then r b < r is the smallest element of S 0 (contradiction). 6. Uniqueness. Assume q 1, r 1 and q 2, r 2 and show that q 1 = q 2 and r 1 = r 2. Theorem Let a and b be integers, not both zero. Then: 1. the greatest common divisor d of a and b exists and is unique, 2. there exist integers x and y such that Proof: d = ax + by. 1. Let S = {ax + by x, y Z} and S 0 = {n S n > 0}. 2. Then ±a, ±b S. So, S Let d be the smallest element of S 0. absmath.tex; June 11, 2007; 15:24; p. 61

69 62 CHAPTER 5. THE INTEGERS 4. Then d S. Hence d = ax + by for some x, y Z. 5. Also, there exist q, r Z such that a = dq + r and 0 r < d. 6. Since r = a(1 xq) + b( yq), then r S. 7. It is impossible that r > 0 since then r S 0 and r < d (contradiction). Therefore, r = So, a = dq, or d a. Similarly, d b. 9. Let c Z be a common divisor of a and b. Then a = cu and b = cv for some u, v Z. 10. Therefore, d = ax + by = c(ux + vy). So, c d. 11. Thus d = gcd(a, b). 12. Uniqueness. Exercise Euclidean Algorithm Lemma Let a and b be integers, not both zero. If there exist two integers q and r such that then Proof: a = bq + r and 0 r < b, gcd(a, b) = gcd(b, r) 1. Let d = gcd(a, b). 2. Then d r. 3. For any c Z, if c b and c r, then c a. 4. Since d = ax + by, then c d. Euclidean Algorithm is the following procedure for finding the gcd of two integers. absmath.tex; June 11, 2007; 15:24; p. 62

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

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

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

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

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

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

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

MATH1240 Definitions and Theorems

MATH1240 Definitions and Theorems MATH1240 Definitions and Theorems 1 Fundamental Principles of Counting For an integer n 0, n factorial (denoted n!) is defined by 0! = 1, n! = (n)(n 1)(n 2) (3)(2)(1), for n 1. Given a collection of n

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

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

Notation Index. gcd(a, b) (greatest common divisor) NT-16

Notation Index. gcd(a, b) (greatest common divisor) NT-16 Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9

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

Mathematical Reasoning & Proofs

Mathematical Reasoning & Proofs Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0

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 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

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

Math 109 September 1, 2016

Math 109 September 1, 2016 Math 109 September 1, 2016 Question 1 Given that the proposition P Q is true. Which of the following must also be true? A. (not P ) or Q. B. (not Q) implies (not P ). C. Q implies P. D. A and B E. A, B,

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

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

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

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

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

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

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

CS Discrete Mathematics Dr. D. Manivannan (Mani)

CS Discrete Mathematics Dr. D. Manivannan (Mani) CS 275 - Discrete Mathematics Dr. D. Manivannan (Mani) Department of Computer Science University of Kentucky Lexington, KY 40506 Course Website: www.cs.uky.edu/~manivann/cs275 Notes based on Discrete Mathematics

More information

Logic. Facts (with proofs) CHAPTER 1. Definitions

Logic. Facts (with proofs) CHAPTER 1. Definitions CHAPTER 1 Logic Definitions D1. Statements (propositions), compound statements. D2. Truth values for compound statements p q, p q, p q, p q. Truth tables. D3. Converse and contrapositive. D4. Tautologies

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

MATH FINAL EXAM REVIEW HINTS

MATH FINAL EXAM REVIEW HINTS MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any

More information

Analysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich

Analysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich Analysis 1 Lecture Notes 2013/2014 The original version of these Notes was written by Vitali Liskevich followed by minor adjustments by many Successors, and presently taught by Misha Rudnev University

More information

Equivalence of Propositions

Equivalence of Propositions Equivalence of Propositions 1. Truth tables: two same columns 2. Sequence of logical equivalences: from one to the other using equivalence laws 1 Equivalence laws Table 6 & 7 in 1.2, some often used: Associative:

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

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS 2013 MATH 122: Logic and Foundations Instructor and section (check one): K. Mynhardt [A01] CRN 12132 G. MacGillivray [A02] CRN 12133 NAME: V00#: Duration: 3

More information

Proofs. Joe Patten August 10, 2018

Proofs. Joe Patten August 10, 2018 Proofs Joe Patten August 10, 2018 1 Statements and Open Sentences 1.1 Statements A statement is a declarative sentence or assertion that is either true or false. They are often labelled with a capital

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

CSE 1400 Applied Discrete Mathematics Proofs

CSE 1400 Applied Discrete Mathematics Proofs CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4

More information

Analysis I. Classroom Notes. H.-D. Alber

Analysis I. Classroom Notes. H.-D. Alber Analysis I Classroom Notes H-D Alber Contents 1 Fundamental notions 1 11 Sets 1 12 Product sets, relations 5 13 Composition of statements 7 14 Quantifiers, negation of statements 9 2 Real numbers 11 21

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Chapter 5: The Integers

Chapter 5: The Integers c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition

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

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

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

Properties of the Integers

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

More information

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

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

More information

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Packet #1: Logic & Proofs. Applied Discrete Mathematics Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 3-13 Course Objectives At the conclusion of this course, you should

More information

MATH 363: Discrete Mathematics

MATH 363: Discrete Mathematics MATH 363: Discrete Mathematics Learning Objectives by topic The levels of learning for this class are classified as follows. 1. Basic Knowledge: To recall and memorize - Assess by direct questions. The

More information

Intro to Logic and Proofs

Intro to Logic and Proofs Intro to Logic and Proofs Propositions A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. Examples: It is raining today. Washington

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

HANDOUT AND SET THEORY. Ariyadi Wijaya

HANDOUT AND SET THEORY. Ariyadi Wijaya HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics

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

Mat 243 Exam 1 Review

Mat 243 Exam 1 Review OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for

More information

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University COMP 182 Algorithmic Thinking Proofs Luay Nakhleh Computer Science Rice University 1 Reading Material Chapter 1, Section 3, 6, 7, 8 Propositional Equivalences The compound propositions p and q are called

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

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

MATH 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

Math 10850, fall 2017, University of Notre Dame

Math 10850, fall 2017, University of Notre Dame Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need

More information

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Our main goal is here is to do counting using functions. For that, we

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

5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

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

1.4 Equivalence Relations and Partitions

1.4 Equivalence Relations and Partitions 24 CHAPTER 1. REVIEW 1.4 Equivalence Relations and Partitions 1.4.1 Equivalence Relations Definition 1.4.1 (Relation) A binary relation or a relation on a set S is a set R of ordered pairs. This is a very

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

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

Discrete Math Notes. Contents. William Farmer. April 8, Overview 3

Discrete Math Notes. Contents. William Farmer. April 8, Overview 3 April 8, 2014 Contents 1 Overview 3 2 Principles of Counting 3 2.1 Pigeon-Hole Principle........................ 3 2.2 Permutations and Combinations.................. 3 2.3 Binomial Coefficients.........................

More information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to

More information

3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas.

3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas. 1 Chapter 1 Propositional Logic Mathematical logic studies correct thinking, correct deductions of statements from other statements. Let us make it more precise. A fundamental property of a statement is

More information

Review 3. Andreas Klappenecker

Review 3. Andreas Klappenecker Review 3 Andreas Klappenecker Final Exam Friday, May 4, 2012, starting at 12:30pm, usual classroom Topics Topic Reading Algorithms and their Complexity Chapter 3 Logic and Proofs Chapter 1 Logic and Proofs

More information

Topics in Logic and Proofs

Topics in Logic and Proofs Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

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

MATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.

MATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false. MATH 3330 ABSTRACT ALGEBRA SPRING 2014 TANYA CHEN Dr. Gordon Heier Tuesday January 14, 2014 The Basics of Logic (Appendix) Definition. A statement is a declarative sentence that is either true or false.

More information

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

More information

Supplementary Material for MTH 299 Online Edition

Supplementary Material for MTH 299 Online Edition Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think

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 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31 Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15

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

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

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

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

Foundations of Mathematics

Foundations of Mathematics Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object

More information

Infinite constructions in set theory

Infinite constructions in set theory VI : Infinite constructions in set theory In elementary accounts of set theory, examples of finite collections of objects receive a great deal of attention for several reasons. For example, they provide

More information

7.11 A proof involving composition Variation in terminology... 88

7.11 A proof involving composition Variation in terminology... 88 Contents Preface xi 1 Math review 1 1.1 Some sets............................. 1 1.2 Pairs of reals........................... 3 1.3 Exponentials and logs...................... 4 1.4 Some handy functions......................

More information

MTH 299 In Class and Recitation Problems SUMMER 2016

MTH 299 In Class and Recitation Problems SUMMER 2016 MTH 299 In Class and Recitation Problems SUMMER 2016 Last updated on: May 13, 2016 MTH299 - Examples CONTENTS Contents 1 Week 1 3 1.1 In Class Problems.......................................... 3 1.2 Recitation

More information

Exercises for Unit VI (Infinite constructions in set theory)

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

More information

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

Automata Theory and Formal Grammars: Lecture 1

Automata Theory and Formal Grammars: Lecture 1 Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 1 Fall 2014 I. Foundational material I.1 : Basic set theory Problems from Munkres, 9, p. 64 2. (a (c For each of the first three parts, choose a 1 1 correspondence

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

Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

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

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

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

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

Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP)

Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP) Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning Terminology, Notations, Definitions, & Principles: Mathematical Proof and Proving (MPP) 1. A statement

More information

MATH 2200 Final LC Review

MATH 2200 Final LC Review MATH 2200 Final LC Review Thomas Goller April 25, 2013 1 Final LC Format The final learning celebration will consist of 12-15 claims to be proven or disproven. It will take place on Wednesday, May 1, from

More information

CSC Discrete Math I, Spring Propositional Logic

CSC Discrete Math I, Spring Propositional Logic CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)

More information

Mathematical Reasoning (Part I) 1

Mathematical Reasoning (Part I) 1 c Oksana Shatalov, Spring 2017 1 Mathematical Reasoning (art I) 1 Statements DEFINITION 1. A statement is any declarative sentence 2 that is either true or false, but not both. A statement cannot be neither

More information

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) (2011 Admission Onwards) I Semester Core Course FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK 1) If A and B are two sets

More information

1 Predicates and Quantifiers

1 Predicates and Quantifiers 1 Predicates and Quantifiers We have seen how to represent properties of objects. For example, B(x) may represent that x is a student at Bryn Mawr College. Here B stands for is a student at Bryn Mawr College

More information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

More information

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Review for the Final! Hyunyoung Lee! 1 Final Exam Section 501 (regular class time 8:00am) Friday, May 8, starting at 1:00pm in our classroom!! Section 502 (regular

More information

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT Lecture Notes on Discrete Mathematics October 15, 2018 2 Contents 1 Basic Set Theory 5 1.1 Basic Set Theory....................................... 5 1.1.1 Union and Intersection of Sets...........................

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