Review for Final Exam

Size: px
Start display at page:

Download "Review for Final Exam"

Transcription

1 Review for Final Exam Note: Warning, this is probably not exhaustive and probably does contain typos (which I d like to hear about), but represents a review of most of the material covered in Chapters 1-11 inclusive that we covered in class or on the assignments. In each section, review by reading over the material, and looking over the corresponding assignment or odd numbered problems in the text. This is an expanded version of the Midterm II review. 1 Chapter 1: Sets Definition 1 A set is a collection of objects. Its members are called elements. We usually denote sets with capital letters and element with lowercase letters. a A iff a is an element of the set A. a A iff a is not an element of A. Note: If there are a finite number of elements in a set A, then the order of elements in the list is irrelevant. Also an element can only appear once in any set. Definition 2 The empty set or null set is denoted by. It is the set with no elements. 1.1 Describing Sets We can describe sets with a finite number of elements by just listing them. i.e A = {a 1,..., a n }. We can also sometimes just describe sets by listing elements if the pattern they follow is obvious. eg. N = {1, 2, 3,...}. In other cases, we might want a new approach. A common one is to write S = {x : p(x)}. Here S is the set of all x satisfying property p(x). For commonly used sets, we try to use the same names. Here are some examples: N = {1, 2, 3,...} is the set of natural numbers. Z = {..., 3, 2, 1, 0, 1, 2, 3,...} is the set of integers. Q = { a b : a, b Z, b 0} is the set of rational numbers. R is the set of real numbers and I = {x R : x Q} is the set of irrational numbers. 1

2 C = {a + bi : a, b R} is the set of complex numbers where i = 1. a < b both real numbers define a bunch of intervals on the real line. (a, b) = {x R : a < x < b} is the open interval. [a, b] = {x R : a x b} is the closed interval. (a, b] = {x R : a < x b} and [a, b) = {x R : a x < b} are half-closed intervals. Definition 3 A set S is called finite if it has a finite number of elements. If S has n elements, we write S = n and say S has cardinality S. If S is not finite, it is called infinite. We won t define the cardinality of an infinite set until Chapter Subsets and Set Operations Definition 4 Let A, B be 2 sets. A is a subset of B, written A B iff x A implies x B. Note that A and A A for all sets A. Two sets A and B are equal, A = B, if they have exactly the same elements. Note that A = B if and only if A B and B A. A is a proper subset of B, written as A B if A B but A B. A universal set is just a set which contains a bunch of other sets under discussion as subsets. A Venn diagram is a diagram of sets. Usually the universal set is depicted as a rectangle and the sets inside are depicted as circles. It is a useful picture of set relations. P(A) = {X : X A} is the power set of A consisting of all subsets of a set A. Warning: A set can be both an element of another set and a subset of another set. It is important to note how many brackets are involved. Eg. A = {a, {a}}. Here {a} A and {a} A. Definition 5 Let A, B be sets, subsets of some universal set U. 2

3 The intersection of A and B is The union of A and B is The complement of A is is A B = {x : x A and x B} A B = {x : x A or x B} A = {x U : x A} The relative complement or set difference of A and B is The Cartesian product of A B is A B = {x : x A and x B} A B = {(x, y) : x A and y B} Venn diagrams are useful for picturing the above concepts. Results on Cardinalities Let A, B be finite sets. Then If A B =, A B = A + B. In general, A = A B + A B and A B = A + B A. P(A) = 2 A. A B = A B. If 0 k n = A, then for A(k) = {X P(A) : X = k}, ( ) n n! A(k) = = k (n k)!k! 3

4 1.3 Indexed Collections of Sets and Partitions of Sets Definition 6 Let I be an index set (finite or infinite) and let {S α : α I} be a collection of sets. The union of {S α : α I} is the set α I S α = {x : x S α for some α I} The intersection of {S α : α I} is the set α I S α = {x : x S α for all α I} Definition 7 Two sets A, B are called disjoint if A B =. A collection of sets S is called pairwise disjoint if each pair of distinct sets in the collection are disjoint. Definition 8 A partition of a nonempty set A can be defined in a number of equivalent ways. Here are A partition of A is a collection S of pairwise disjoint nonempty subsets of A with the property that each element of A belong to some set in S. 2. A partition of A is a collection S of nonempty subsets of A such that every element of A belongs to exactly one set in S. 3. A partition of A is a collection S of subsets of A satisfying: X if X S. X, Y S implies X = Y or X Y =. X S X = A. Note that the number of parts or the size of the partition is the number of subsets in the collection S above. 4

5 2 Chapter 2: Logic Definition 9 A statement is a declarative sentence which is either true or false, not both. Each statement has a truth value: T if true and F if false. We use capital letters P, Q R to denote statements or P i, Q i, R i, i = 1,..., n. An open statement over a domain S is a statement P (x) for each x S. This could be written as P (x 1,..., x n ) if the domain S = S 1 S 2 S n. A truth table for statements P 1,..., P n is a table with 2 n rows that records all 2 n possible combinations of truth values of the statements P 1,..., P n. Usually the first n statements are independent statements and the subsequent statements R 1,..., R m all depend on the truth values of P 1,..., P n. 2.1 Combining Statements into New Statements Definition 10 Let P, Q be statements. The following are statements that are dependent on P and/or Q. The book calls these compound statements. The negation of P is not P and is written as P. Its truth values are the opposite of those of P. The truth table is in Fig 2.2 of the text. The disjunction of P and Q is the statement P or Q and is written P Q. It is true if and only if at least one of P or Q is true. See Figure 2.3. The conjunction of P and Q is the statement P and Q and is written P Q. It is true if and only if both P and Q are true. See Figure 2.4. The implication is the statement P Q. Its most common description is If P, then Q. But there are other equivalent expressions in English which you should know: If P then Q; Q if P ; P implies Q; P only if Q; 5

6 P is sufficient for Q; Q is necessary for P. P Q has the most surprising truth table. In fact P Q is only false if P is true and Q is false. This is extremely important. See Figure 2.5. The implication Q P is called the converse of P Q. The biconditional P Q is P is equivalent to Q or P if and only if Q or P is a necessary and sufficient condition for Q. The operations,,,, are logical connectives. Note: One could do any of the above operations for each statement in an open sentence over a domain S. eg. P (x) Q(x) for x S etc. Then one would have to decide on the truth value of the compound statement for each x S. Definition 11 Let P 1,..., P n be independent statements. A tautology is a compound statement R depending on P 1,..., P n such that for all 2 n choices of the truth values of P 1,..., P n, the truth value of R is true. A contradiction is a compound statement R depending on P 1,..., P n such that for all 2 n choices of the truth values of P 1,..., P n, the truth value of R is false. Two compound statements R and S depending on P 1,..., P n are logically equivalent, written R S if and only if for all 2 n choices of the truth values of P 1,..., P n, the truth values of R and S are the same. You can then prove that R S by simply checking their values in a truth table are equal. 2.2 Results on Logical Equivalence Instead of using a truth table to prove compound statements are logically equivalent, you can combine the following results that were already verified by truth table. Theorem 1 For statements P, Q and R, 6

7 1. Commutative Laws (a) P Q Q P (b) P Q Q P. 2. Associative Laws (a) P (Q R) (P Q) R (b) P (Q R) (P Q) R. 3. Distributive Laws (a) P (Q R) (P Q) (P R) (b) P (Q R) (P Q) (P R). 4. DeMorgan s Laws (a) (P Q) ( P ) ( Q) (b) (P Q) ( P ) ( Q). The following is very important although it really just summarises the truth values of the implication. Theorem 2 For statements P, Q, P Q ( P ) Q. Its negation is a consequence: (P Q) P ( Q). P Q (P Q) (Q P ). P Q ( Q) ( P ) (this is the contrapositive of the first implication). Any other logical equivalences can be derived from those above rules. 2.3 Quantified Statements We can convert an open sentence over a domain, P (x), x S into a single statement in 2 ways. This process is called quantification. Definition 12 Let P (x), x S be a statement for each x S. Then 1. The universal quantifier gives the statement x S, P (x) which translates as: For all x S, P (x) is true. 7

8 2. The existential quantifier gives the statement x S, P (x) which translates as: There exists x S such that P (x) is true. It is important to be able to translate back and forth from English to logic. The only other result in this section is: Theorem 3 Let P (x) be a statement for each x S. 1. ( x S, P (x)) ( x S, (P (x))) 2. ( x S, P (x)) ( x S, (P (x))) Loosely speaking, this means that these quantifiers are opposites. Note that this continues to work if there is more than one variable involved. That is Theorem 4 Let P (x 1, x 2,..., x n ) be a statement for each x i S i. 1. ( x i S i, P (x 1,..., x n )) ( x i S i, (P (x 1,..., x n ))) 2. ( x i S i, P (x 1,..., x n )) ( x i S i, (P (x 1,..., x n ))) You should be able to translate quantified statements and their negations between English and logic and back. Definition 13 x S, P (x) Q(x) means that open sentence P (x) is characterised by open sentence Q(x) over the domain S. 3 Chapter 3 In Chapter 3, we learn proof techniques to prove the statement x S, P (x) Q(x) where P (x), Q(x) are statements for each x S. 1. Trivial Proof : In this method, we simply prove that Q(x) is true for all x S. Then the implication P (x) Q(x) is true for all x S, no matter the truth value of P (x). 8

9 2. Vacuous Proof : In this method, we simply prove that P (x) is false for all x S. Then the implication P (x) Q(x) is true for all x S, no matter the truth value of Q(x). 3. Direct Proof : In this most common method of proof, we assume for each x S, P (x) is true and deduce that Q(x) is true. 4. Proof by Contrapositive: In this useful method of proof, we prove instead the contrapositive: i.e. x S, (Q(x)) (P (x)). That is, for each x S, we assume Q(x) is false and deduce that then P (x) is false. 5. Proof by Cases: Here, instead of proving x S, P (x) Q(x), we first write S = n i=1s i and for each i = 1,..., n, we prove x S i, P (x) Q(x) by some method of proof mentioned earlier (or even proof by contradiction, which we didn t do until Ch 5). Note that all the proofs in this chapter were about even and odd integer and parity. Definitions are given in the section on Chapter 4 which also talks about more situations to which one might apply these proof techniques. 4 Chapter 4 In Chapter 4, we use the 3 main proof techniques of Chapter 3: Direct Proof, Proof by Contrapositive, Proof by Cases to prove results of 3 main types: 1. Divisibility of Integers and Congruence Modulo a positive integer 2. Inequalities and Absolute Value 3. Set Operations including Cartesian Products 4.1 Divisibility of Integers and Congruence Definition 14 For a, b Z, a 0, a divides b iff b = ka for some k Z. We write a b and also say that b is a multiple of a or a is a divisor of b. We write a b if a doesn t divide b. Note that for a Z, 2 a iff a is even. Its contrapositive says 2 a iff a is odd. 9

10 Results: 1. (Transitivity) Let a, b, c Z, a 0, b 0. If a b and b c then a c. 2. Let a, b, c, d Z and a 0, c 0. Then ac bd. 3. Let a, b, c, x, y Z and a 0. If a b and a c then a (bx + cy) (i.e. a divides b and c implies that a divides any linear combo of b and c.) Theorem 5 For integers x, y Z, 2 xy if and only if 2 x or 2 y. Corollary: For x Z, 2 x 2 if and only if 2 x. Definition 15 A prime number is a positive integer p > 1 whose only positive divisors are 1 and p. Note: Although we will not prove this until Ch 11, it is in fact true that if p is a prime, for integers x, y Z, p xy if and only if p x or p y. This implies that for x Z, p x 2 if and only if p x. We did prove this for p = 2, 3, 5 by case work. Definition 16 For a, b Z and n N, n 2, we say a is congruent to b modulo n, written a b mod n iff n (a b). Note that for n = 2, a b mod 2 means that a and b have the same parity (i.e. are both even or both odd). If a b mod 2 we say they have opposite parity. Basic Results: Let a, b, c, d, n Z, n (Reflexive) a a mod n. 2. (Symmetric) If a b mod n then b a mod n. 3. (Transitive) If a b mod n and b c mod n then a c mod n. 4. (Additive) If a b mod n and c d mod n then a + c b + d mod n. 5. (Multiplicative) If a b mod n and c d mod n then ac bd mod n. 10

11 4.2 Inequalities and Absolute Value Basic Results: Let x, y, z R. 1. Exactly one of the following is true: x < y,x = y or x > y. 2. (Antisymmetric) x y and y x implies that x = y. 3. (Transitive) x y and y z implies that x z. 4. (Additive) x y implies that x + z y + z. 5. If x y and z > 0 then xz yz. 6. If x y and z < 0 then xz yz. 7. If 0 < x y then 0 < 1 y 1 x. Definition 17 The absolute value of x R is written as x. x = x if x 0 and x = x if x < 0. Results: Let x, y R. 1. x 0 and x 2 = x. 2. xy = x y. 3. (Triangle inequality) x + y x + y. Result: x, y R, xy = 0 implies x = 0 or y = Set Operations including Cartesian Products See Chapter 1 for definitions of Set Operations. Result: A, B sets. A B = iff A = or B =. Result: A, B sets in some universal set U. Then A B and B A implies A = B. There are many set identities. But the above results and the following theorem (which is a direct analogue of the logic laws), are sufficient to prove any other set identity. Theorem 6 For sets A, B, C 1. (Commutativity) 11

12 (a) A B = B A (b) A B = B A. 2. (Associativity) (a) A (B C) = (A B) C (b) A (B C) = (A B) C 3. (Distributivity) (a) A (B C) = (A B) (A C) (b) A (B C) = (A B) (A C) 4. (DeMorgan s Laws) (a) A B = A B (b) A B = A B 5 Chapter 5 In Chapter 5, you learned the following proof techniques: 1. Counterexamples 2. Proof by Contradiction 3. Existence Proofs 4. Non-existence Proofs 5.1 Counterexamples Let P (x) be a statement for every x S. In this section, you need to disprove x S, P (x) by proving its negation x S, P (x). That is you need to find a counterexample in S, i.e. an element x of S for which P (x) is false. 5.2 Proof by Contradiction Here we prove a statement R by assuming that R is false, and showing that R implies a contradiction C. 12

13 Then, in symbols, we showed R C. But since C is a contradiction, C is false and R C is true then (looking at the truth table) we see that R must be false so that R is true. R above could be a quantified statement such as x S, P (x) or x S, P (x) Q(x), but in any case, we assume its negation R and find a contradiction to the hypotheses or known facts. The applications in this section use results from Chapter 4 (divisibility, congruence, real numbers, inequalities, set theory) or the following new application to rational versus irrational numbers: Recall that Q = { x : x, y Z, y 0} is the set of rationals and I = R Q y are the irrationals. Note that any x Q can be expressed as p where p and y q q are integers with no common positive integer divisor. Note that Q is closed under all arithmetic operations: That is if x, y Q, then x + y Q, x y Q, xy Q and x/y Q if also y 0. The same goes for the real numbers R. That is if x, y R, then x + y R, x y R, xy R and x/y R if also y 0. Contradiction gives a method to prove that certain numbers are irrationals. To prove a real number is irrational by contradiction, assume it is rational and find a contradiction. Theorem 7 2 I This was proved by contradiction, by assuming 2 = x/y where x/y is in lowest terms. The contradiction is obtained by using the fact that 2 x 2 implies 2 x and by contradicting the fact that x/y was in lowest terms. That is, by finding that 2 is a common divisor of x and y. Using the fact that for a prime p and x Z, p x 2 implies that p x, one could imitate this proof to show that p I for any prime p. In the assignment, you imitated this proof to show that 2n I if n Z is odd. Combining rationals and irrationals with arithmetic turns out badly for the rationals. One can use contradiction to prove: Result: x Q, a I, then x + a I, xa I, x/a I. 5.3 Existence Proofs Let S be a set. Let P (x) be a statement for each x S. Here we are proving x S, P (x). 13

14 Of course, one could always produce an example of an element x of S such that P (x) is true. This section points out that sometimes one can prove an existence statement as above without giving an explicit example. One example is Result: There exist a, b I such that a b Q. The proof takes a = b = 2 but does not decide whether or not a b is irrational, it just proves that if not, there exists c, d I with c d rational. Another example is the use of the Intermediate Value theorem in Calculus to find roots of continuous functions: Theorem 8 (IVT) If a < b are real numbers, and f : [a, b] R is a continuous function, then for any k between f(a) and f(b) there exists c (a, b) such that f(c) = k. This may be applied to find real roots to continuous functions (such as polynomial functions). For a continuous function f : R R, just find a, b R with f(a) < 0 < f(b) and then there must be a c between a and b with f(c) = 0. One could also use contradiction to show the uniqueness of such a root. See eg, 5.23 in the text. Existence proofs work sometimes well to prove statements about rationality or irrationality. 5.4 Disproving Existence Statements To disprove x S, P (x) just prove its negation: x S, P (x). No new techniques occur in this section. 6 Chapter 6: Induction Definition 18 A subset S of R is well-ordered if every subset of S has a least element. Well-Ordering Principle N is well-ordered. Other examples of well-ordered sets include: finite subsets of R, subsets of well-ordered sets, {x Z : x a} for some a Z. Non-examples of well-ordered sets include: Z, Q, R, [a, b]. This is the basis of the Principle of Mathematical Induction: Theorem 9 For a fixed m Z, let S = {i Z : i m}. For each n S, let P (n) be a statement. If 14

15 P (m) is true, and k S, P (k) P (k + 1) is true then n S, P (n) is true. This principle is useful for proving statements of the following form: For fixed m Z, let S = {i Z : i m} 1. Summation formulas, eg. 6.10, 6.38 from HW. 2. Inequalities that hold for n S., eg from HW, 6.14 from class. 3. Divisibility statements for integers that hold for all n S, eg from HW. 4. Extending results that are known for n = 2 to a result for all positive integers n 2.: eg from A6. There is a stronger form of the principle of mathematical induction which is useful for some statements: Theorem 10 (Strong Induction) For a fixed m Z, let S = {i Z : i m}. For each n S, let P (n) be a statement. If P (m) is true, and k S, P (m) P (m + 1) P (k) P (k + 1) is true then n S, P (n) is true. The main difference is that in the inductive step you get to assume that all the previous statements P (r), m r k are true, in order to prove that P (k + 1) is true. Strong induction is useful for proving statements of the following form: 1. Proving general formulas for recursion relations, eg from A6. 2. Showing that for 2 positive relatively prime integers a, b (i.e. two positive integers with only positive common divisor 1) that there exists m N such that for all n m, there exist x, y N such that ax + by = n. (eg. 6.44, or making change question from class.) 15

16 3. This allowed us to prove: For every 1 n N, n can be written as a product of prime numbers. 4. Geometric problems: such as the number of regions bounded by n lines in general position (done in class), the sum of the interior angles of an n-gon n 3 (done in class and 6.51), and Additional Problem 2 on A6. 5. Additional Problem 1 on A6. One other point from Chapter 6: As above, summation formulas over N can be proved by induction. One can use rules about summations to combine known formulas to get new ones. Summation Results: 1. Let a i, b i R for all i = 1,..., n for some n N. Let c R. Then n i=1 (a i + cb i ) = n i=1 a i + c( n i=1 b i). 2. n i=1 c = nc for c R. 3. n i=1 i = n(n+1) 2 for all n N. 4. n i=1 i2 = n(n+1)(2n+1) 6 for all n N. 7 Chapter is interesting to read as it talks about famous conjectures in mathematics, such as Fermat s Last Theorem, and the 4 colour problem. In 7.2, the topic is mixing the quantifiers and. Let P (x, y) be a statement for every x S and y T. We look at and x S, y T, P (x, y) x S, y T, P (x, y) The main points are: Never replace a by a or vice versa. The order of the quantifiers often changes the statement. usually, we have: That is, x S, y T, P (x, y) y T, x S, P (x, y) 16

17 The negations of the statements above are: and ( x S, y T, P (x, y)) x S, y T, P (x, y) ( x S, y T, P (x, y)) x S, y T, P (x, y) Be able to translate quantified statements symbolically, as in 7.8, 7.12 and to find their negations. The remaining 2 sections just cover Prove or Disprove a given statement. In each case, you must decide whether the statement is true or false, and prove either the statement if true, or its negation if false. No new techniques or facts are presented here, but it is good practice to look through some questions in this section to see if you understand the previous sections. 8 Equivalence Relations Definition 19 Let A and B be sets. A relation R from A to B is a subset of A B. That is R A B. The domain of R is the set The range of R is the set dom(r) = {a A : (a, b) R} ran(r) = {b B : (a, b) R} Note dom(r) A and ran(r) B. If (a, b) R, we write a R b and if (a, b) R, we write a R b. A relation on a set S is a relation from S to S or a subset of S S. Properties of Relations A relation R on a set S might have some of the following properties. R is reflexive if for all a S, a R a. R is symmetric if for a, b S, a R b b R a. R is transitive if for a, b, c S, (a R b) (b R c) a R c. 17

18 R is antisymmetric if for a, b S, (a R b) (b R a) a = b. Most of these properties are easy to check. The one that can be a bit tricky in finite cases is transitivity. Note that what you actually have to prove is that for all pairs (a, b) R, (b, c) R with a b and b c, we have (a, c) R. Definition 20 An equivalence relation on S is a relation R which is reflexive,symmetric and transitive. A partial order on S is a relation R which is reflexive,antisymmetric and transitive. Examples of Equivalence Relations S any set; for a, b S, a R b a = b. S = Z and let n Z, n 2. For a, b Z, a R b a b mod n. S = R R, (a, b), (c, d) S, (a, b) R (c, d) a 2 + b 2 = c 2 + d 2 Definition 21 For an equivalence relation R on S, the equivalence class of a S is [a] = {x S : x Ra} Theorems on Equivalence Relations and Classes Let R be a equivalence relation on a set S. 1. Let a, b S. Then a R b iff [a] = [b]. 2. Equivalence relations on S are in 1-1 correspondence with partitions of S. More precisely, if R is an equivalence relation on S. Then the set of distinct equivalence classes {[a i ] : i I} forms a partition of S. That is, [a i ] [a j ] = if i j. and S = i I [a i ]. Conversely if S has a partition {S α : α I} then R = α I S α S α is an equivalence relation with distinct equivalence classes {S α : α I}. [Here a R b iff a S α and b S α for some α I.] 3. Note that for a, b S, either [a] [b] = (if (a, b) R) or [a] = [b] (if (a, b) R). 18

19 4. To find distinct equivalence classes {[a i ] : i I} of an equivalence relation R on S, you need to show that if x S, then [x] = [a i ] for some i I (i.e. that x R a i ) and that [a i ] [a j ] = if i j (i.e. that (a i, a j ) R). Results for the Congruence Modulo n Equivalence Relation Let a, b Z and let n N, n 2. Set a R b iff a b mod n 1. The distinct equivalence classes are {[k] : 0 k n 1} Note that [k] = {nq + k : n Z} under this equivalence relation. These sets then partition Z. 2. Let Z n = {[x] : x Z} = {[k] : 0 k n 1}. We may define an addition and multiplication on Z n by setting x, y Z : [x] + [y] := [x + y], [x][y] := [xy] Note, that it is necessary to check that these operations on Z n are welldefined. That is, for x, x, y, y Z with [x] = [x ] and [y] = [y ], then check [x] + [y] = [x ] + [y ] and [x][y] = [x ][y ]. This follows from the additive and multiplicative properties of congruence modulo n which shows that [x + y] = [x + y ] and [xy] = [x y ]. Examples of Partial Orders S R. For x, y S, x R y iff x y. S N, For x, y S, x R y iff x y S = P(X) for some set X. For A, B S, A R B iff A B. For a partial order R on a finite set S, one can draw a picture of the partial order called a Hasse diagram. Let S be the vertices of the diagram. Connect a with a downward pointing arrow to b iff a R b and there does not exist a c S with a R c and c R b. 9 Chapter 9: Functions Definition 22 Let A, B be nonempty sets. Then a function f from A to B is a relation f with f({a}) = 1 for all a A. (See definition under relations: f({a}) = {b B : (a, b) f}.) That is, for each a A, there is exactly one b B with (a, b) f. This b is called f(a) or the image of a under f. We will later write a function as a map f : A B. 19

20 Definition 23 Looking again at the definitions we made for relations: For a function f : A B and subsets A 0 A and B 0 B, f(a 0 ) = {f(a 0 ) B : a 0 A 0 } is the image of A 0 under f. In particular, the image of f is f(a). It is a subset of B and f 1 (B 0 ) = {a A : f(a) B 0 } is the preimage of B 0 under f. In particular, we will be interested in the fibre of b B under f given by f 1 ({b}) = {a A : f(a) = b}. Definition 24 (Properties of functions) Let f : A B be a function. f is 1-1 or injective iff for all x A, y A such that x y then f(x) f(y). That is distinct elements of A have distinct images under f in B. The contrapositive of this definition is very useful: f is 1-1 or injective iff for all x, y A, f(x) = f(y) implies that x = y. Another equivalent formulation is: f is 1-1 or injective iff for all b B, f 1 ({b}) 1. f is onto or surjective iff f(a) = B iff for all b B, there exists a A such that f(a) = b iff for all b B, f 1 ({b}) 1. Note that the 2nd formulation is what you usually use to check f is surjective. It is actually equivalent to B f(a) as f(a) B is automatic for any function. f is bijective iff f is surjective and injective. Note then that for all b B, f 1 ({b}) = 1. Lemma 1 A function f : R R is injective if it is either strictly increasing (i.e. x < y implies that f(x) < f(y)) or strictly decreasing (i.e. x < y implies that f(x) > f(y). Theorem 11 Let A and B be finite nonempty sets. Let f : A B be a function. Then (a) f(a) A and f(a) B. 20

21 (b) f is injective iff f(a) = A. So f is injective implies that A B (c) f is surjective iff f(a) = B. So f is surjective implies that A B. (d) (Pigeonhole principle) Now suppose A = B. Then f : A B is bijective iff f is injective iff f is surjective. Definition 25 A relation R from A to B gives an inverse relation R 1 from B to A given by R 1 = {(b, a) : (a, b) R} B A Definition 26 A function f : A B is called invertible iff f 1 is a function from B to A. Then f 1 : B A satisfies f 1 (b) = a iff f(a) = b. Theorem 12 Let A and B be nonempty sets. Then f : A B is bijective if and only if f is invertible. If so, f 1 : B A is the unique function such that f 1 (b) = a if and only if f(a) = b. Definition 27 The composite of two functions f : A B and g : B C is a function g f : A C such that (g f)(a) = g(f(a)) for a A. i A : A A is the identity function on A with i A (a) = a. Theorem 13 (Composites and inverses) Let f : A B, g : B C and h : C D be functions. 1. f i A = f and i B f = f. 2. (Associativity of composition) f (g h) = (f g) h. 3. If f : A B is a bijection then its inverse f 1 : B A satisfies f 1 f = i A and f f 1 = i B. If g : B A is another function such that g f = i A and f g = i B then g = f 1. So f 1 is unique. 4. If f and g are injective, then so is g f : A C. 5. If f and g are surjective, then so is g f : A C. 6. If f and g are bijective, then so is g f : A C. The inverse of g f is then (g f) 1 = f 1 g If f is bijective, then so is f 1. The inverse of f 1 is (f 1 ) 1 = f. 21

22 Definition 28 The set of permutations on the set I n = {1,..., n} is S n = {f : I n I n : f is bijective} Note that S n = n. Each element of n can be written as ( ) 1 2 n 1 n f = f(1) f(2) f(n 1) f(n) This notation makes it easy to compute for α, β S n α β S n and β 1 S n since α β(i) = α(β(i)) and β 1 (j) = i iff β(i) = j. 10 Chapter 10: Cardinality of Sets Theorem 14 Let S be a nonempty collection of nonempty sets. A relation R is defined on S by A R B iff there exists a bijective function from A to B. Then R is an equivalence relation on S. Definition 29 Two sets A and B have the same cardinality, written A = B, iff either A = B = or there exists a bijective function from A to B. We also say that A and B are numerically equivalent sets. Otherwise, A B. Note that for the equivalence relation given in the previous theorem, the equivalence class of A consists of all elements of with the same cardinality as B Denumerable Sets Definition 30 A set A is called denumerable iff A = N, that is iff there exists a bijective function f : N A. A set A is called countable iff A is either denumerable or finite. A set A is called uncountable iff A is not countable. Theorem 15 (Results about Denumerable Sets) 1. Z is denumerable 2. Q + and Q are denumerable. 3. Every infinite subset of a denumerable set is denumerable. 4. If A and B are denumerable sets, then A B is denumerable. 22

23 10.2 Uncountable Sets Theorem 16 The open interval (0, 1) is uncountable. Proposition 1 If A B are sets and A is uncountable, then B is uncountable. A consequence of this theorem is Corollary 1 R is uncountable But Theorem 17 (0, 1) and R are numerically equivalent. In fact it is true from your assignment 9 and class results that any nontrivial interval (of finite or infinite length, open or closed) is numerically equivalent to (0, 1) and so also to R. Recall that for a set A, 2 A = {f : A {0, 1} : f is a function} Note that the below theorem is clear for finite sets A as 2 A = 2 A = P(A) in the case A <. Theorem 18 For a set A, 2 A and P(A) are numerically equivalent. Definition 31 For sets A, B, we say that A B iff there exists a 1-1 function g : A B. Note that this generalises the result for finite sets A and B. Theorem 19 Let A and B be non-empty sets. (a) If f : A B is an injective function, then there exists a function g : B A (called a left inverse) with g f = i A. This function g is surjective. (b) If h : B A is surjective, then there exists a function k : A B (called a right inverse) with h k = i A. Then k is injective. (c) There exists an injective function f : A B iff there exists a surjective function g : B A. This means that we can also find the analogous definition: 23

24 Corollary 2 For non-empty sets A and B, A B iff there exists a surjective function g : A B The book emphasises A < B which is of course equivalent to A B and A B or that for sets A and B there exists an injective function from A to B but there does not exist a bijection between A and B. Equivalently, from the corollary, there exists a surjective function g : B A but there does not exist a bijection between A and B. Along these lines, we have the following result which is again clear for finite sets A: Definition 32 N = ℵ 0 and R = c. The following is an axiom which cannot be proved or disproved. The Continuum Hypothesis There exists no set S such that ℵ 0 < S < c. If a set is infinite, we have mostly talked about the denumerable sets and the sets which are numerically equivalent to R. In case you think this is it for the infinite cardinals, we have the following result which is clear for finite sets: Theorem 20 For a set A, A < P(A). It turns out though that Theorem 21 The sets P(N) and R are numerically equivalent. deduce that 2 N and R are numerically equivalent. We may This last theorem and other results follow from the innocent looking but powerful result: Theorem 22 (The Schröder-Bernstein Theorem) If A and B are sets such that A B and B A then A = B. Warning: Note that although this looks like the simple result for x, y R, x y and y x implies that x = y, it is not true that infinite cardinalities are real numbers. This is actually stating that if there is a 1-1 function f : A B and a 1-1 function g : B A, then there exists a bijective function from A to B. Equivalently, if there exists a 1-1 function f : A B and a surjection h : A B then there exists a bijection between A and B. A useful lemma used in proving this theorem is 24

25 Lemma 2 If f : A B and g : C D are 1-1 (resp bijective) functions where A C = and B D =, then we can piece together a 1-1 (resp bijective) function h : A C B D with h A = f and h C = g. A curiosity is the following last observation (which we will not use and did not prove!!!) Theorem 23 The following statements are equivalent: 1. For 2 sets A and B, exactly one of the following occurs: A = B, A < B or A > B. 2. (The Axiom of Choice) For every collection of pairwise disjoint sets, there exists at least one set that contains exactly one element of each of these nonempty sets. 11 Chapter 11: Number Theory Many of the results in this Chapter explain things that we had hints about from Chapter 4 and 5. Definition 33 A prime is an integer p 2 whose only positive integer divisors are 1 and p. An integer that is not prime is called composite. Thus a number n 2 is composite if and only if n = ab for some 1 < a < n and 1 < b < n. Note that many results about divisibility were proved earlier in the course. For example, we proved 11.2 in Ch 4 (See section on divisibility of integers). Here s something we proved earlier but wasn t recorded above: Theorem 24 Let a, b Z be nonzero. 1. If a b and b a then a = ±b. 2. If a b then a b. We also proved the important Division Algorithm in order to prove that congruence modulo n 2 gives an equivalence relation on Z with distinct equivalence classes {[i] : 0 i n 1}. Theorem 25 (Division Algorithm: General Form) For integers a and b with a 0, there exist unique integers q and r such that b = aq+r and 0 r < a. 25

26 Note that the result for positive integers a and b is really just formalising long division of b by a where q is the unique quotient and r is the unique remainder which is naturally less than a and non-negative. For general integers, it is easy to adjust the result from the positive integer case. Definition 34 For non-zero integers a, b, a common divisor c 0 is an integer with c a and c b. A greatest common divisor of nonzero integers a, b is d N such that d a and d b (i.e. d is a common divisor of a and b.) If d N is such that d a and d b then d d. Note: This is a slightly different definition from the one in the book but it is equivalent. First observe that the 2nd condition forces d to be larger than all other common divisors of a, b, since d d implies d d for positive integers. Second observe that greatest common divisors are unique by this definition: If we had 2 greatest common divisors of a, b, say d, d N then d d and d d and so d = d. We will then call the unique greatest common divisor of a and b, gcd(a, b). The Euclidean Algorithm below then guarantees the existence of gcd(a, b). Theorem 26 (Euclidean Algorithm) Let a, b Z be non-zero. Suppose 0 < a b. Then do a series of division algorithms as below: b = aq 0 + r 0, 0 r 0 < a (0) a = r 0 q 1 + r 1, 0 r 1 < r 0 (1) r 0 = r 1 q 2 + r 2, 0 r 2 < r 1 (2).. r k 2 = r k 1 q k + r k, 0 r k 1 < r k (k) r k 1 = r k q k+1, r k+1 = 0 (k + 1) If we assign also r 2 = b and r 1 = a, then the gcd of a and b exists and is computed as gcd(a, b) = r k where r k+1 = 0 is the first non-zero remainder above. This process must end as {r i } i 1 is a strictly decreasing sequence of positive integers less than or equal to a. 26

27 Note: gcd(a, b) = gcd( a, b ) = gcd( b, a ) for any non-zero integers a, b, so the Euclidean algorithm can always be used to find the gcd. Corollary 3 Let a, b Z be non-zero. There exist r, s Z such that ra + sb = gcd(a, b). Note that the Euclidean Algorithm can be used to recursively solve for r k = gcd(a, b) as an integer linear combination of a and b. Note also that the integers r and s above are not unique. The next few results are basically consequences of the Euclidean Algorithm and its corollary. Theorem 27 Let a, b, c Z, a, b non-zero. If a c and b c then It turns out that lcm(a, b) = ab. gcd(a,b) ab gcd(a, b) c Theorem 28 (Euclid s Lemma) Let a, b Z, where a 0. gcd(a, b) = 1 then a c. If a bc and Corollary 4 Let b, c Z and p a prime. If p bc then p b or p c. Corollary 5 Let a 1,..., a n Z and let p be prime. If p a 1 a n then p a i for some 1 i n. The existence of a prime factorisation was proven by strong induction earlier. The uniqueness of such a factorisation benefits from the corollary above of the Euclidean Algorithm. Theorem 29 (Fundamental Theorem of Arithmetic) Every integer n 2 can be written uniquely as a product of primes n = p 1 p k where p 1 p k are primes. Definition 35 The canonical factorisation of n 2 is n = p a 1 1 p a k k p 1 < < p k are distinct primes with multiplicities a i N. Corollary 6 Every integer greater than 1 has a prime factor where 27

28 Lemma 3 If n N is a composite number, then n has a prime factor p where p n. Note this lemma says that we can test whether a number n is prime by just checking that all the primes less than n are not divisors. The next two results clear up some questions posed in Chapter 5 about irrationality. Theorem 30 Let n N. Then n Q if and only if n Z. Corollary 7 If p is a prime, then p is irrational. The last result seems reasonable but requires proof: Theorem 31 The number of primes is infinite. 28

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

More information

INTRODUCTORY SET THEORY

INTRODUCTORY SET THEORY M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,

More information

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook. Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

More information

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

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

Lecture Notes on Discrete Mathematics

Lecture Notes on Discrete Mathematics Lecture Notes on Discrete Mathematics A. K. Lal September 26, 2012 2 Contents 1 Preliminaries 5 1.1 Basic Set Theory.................................... 5 1.2 Properties of Integers.................................

More information

The last three chapters introduced three major proof techniques: direct,

The last three chapters introduced three major proof techniques: direct, CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

More information

Handout #1: Mathematical Reasoning

Handout #1: Mathematical Reasoning Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

More information

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 Solutions CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

More information

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

More information

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

More information

8 Divisibility and prime numbers

8 Divisibility and prime numbers 8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

More information

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

Today s Topics. Primes & Greatest Common Divisors

Today s Topics. Primes & Greatest Common Divisors Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime

More information

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements. 3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but

More information

3. Mathematical Induction

3. Mathematical Induction 3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

More information

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors. The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

More information

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

More information

Geometric Transformations

Geometric Transformations Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Math 3000 Section 003 Intro to Abstract Math Homework 2

Math 3000 Section 003 Intro to Abstract Math Homework 2 Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these

More information

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

More information

Introduction to Modern Algebra

Introduction to Modern Algebra Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write

More information

This chapter is all about cardinality of sets. At first this looks like a

This chapter is all about cardinality of sets. At first this looks like a CHAPTER Cardinality of Sets This chapter is all about cardinality of sets At first this looks like a very simple concept To find the cardinality of a set, just count its elements If A = { a, b, c, d },

More information

Lectures on Number Theory. Lars-Åke Lindahl

Lectures on Number Theory. Lars-Åke Lindahl Lectures on Number Theory Lars-Åke Lindahl 2002 Contents 1 Divisibility 1 2 Prime Numbers 7 3 The Linear Diophantine Equation ax+by=c 12 4 Congruences 15 5 Linear Congruences 19 6 The Chinese Remainder

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

Lecture 16 : Relations and Functions DRAFT

Lecture 16 : Relations and Functions DRAFT CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence

More information

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

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

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work

More information

SECTION 10-2 Mathematical Induction

SECTION 10-2 Mathematical Induction 73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms

More information

Handout NUMBER THEORY

Handout NUMBER THEORY Handout of NUMBER THEORY by Kus Prihantoso Krisnawan MATHEMATICS DEPARTMENT FACULTY OF MATHEMATICS AND NATURAL SCIENCES YOGYAKARTA STATE UNIVERSITY 2012 Contents Contents i 1 Some Preliminary Considerations

More information

Math 223 Abstract Algebra Lecture Notes

Math 223 Abstract Algebra Lecture Notes Math 223 Abstract Algebra Lecture Notes Steven Tschantz Spring 2001 (Apr. 23 version) Preamble These notes are intended to supplement the lectures and make up for the lack of a textbook for the course

More information

Homework until Test #2

Homework until Test #2 MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such

More information

PROBLEM SET 6: POLYNOMIALS

PROBLEM SET 6: POLYNOMIALS PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other

More information

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

More information

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

More information

Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

More information

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory A revision by Jim Hefferon, St Michael s College, 2003-Dec of notes by W. Edwin Clark, University of South Florida, 2002-Dec L A TEX source compiled on January 5, 2004 by Jim Hefferon,

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

SUM OF TWO SQUARES JAHNAVI BHASKAR

SUM OF TWO SQUARES JAHNAVI BHASKAR SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted

More information

Number Theory: A Mathemythical Approach. Student Resources. Printed Version

Number Theory: A Mathemythical Approach. Student Resources. Printed Version Number Theory: A Mathemythical Approach Student Resources Printed Version ii Contents 1 Appendix 1 2 Hints to Problems 3 Chapter 1 Hints......................................... 3 Chapter 2 Hints.........................................

More information

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set. Section 2.5 Cardinality (another) Definition: The cardinality of a set A is equal to the cardinality of a set B, denoted A = B, if and only if there is a bijection from A to B. If there is an injection

More information

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

k, then n = p2α 1 1 pα k

k, then n = p2α 1 1 pα k Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures Number Theory Hungarian Style Cameron Byerley s interpretation of Csaba Szabó s lectures August 20, 2005 2 0.1 introduction Number theory is a beautiful subject and even cooler when you learn about it

More information

6.2 Permutations continued

6.2 Permutations continued 6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

More information

Lecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved

Lecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior

More information

Factoring Polynomials

Factoring Polynomials Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent

More information

Abstract Algebra Theory and Applications. Thomas W. Judson Stephen F. Austin State University

Abstract Algebra Theory and Applications. Thomas W. Judson Stephen F. Austin State University Abstract Algebra Theory and Applications Thomas W. Judson Stephen F. Austin State University August 16, 2013 ii Copyright 1997-2013 by Thomas W. Judson. Permission is granted to copy, distribute and/or

More information

WRITING PROOFS. Christopher Heil Georgia Institute of Technology

WRITING PROOFS. Christopher Heil Georgia Institute of Technology WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this

More information

Mathematics Review for MS Finance Students

Mathematics Review for MS Finance Students Mathematics Review for MS Finance 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

So let us begin our quest to find the holy grail of real analysis.

So let us begin our quest to find the holy grail of real analysis. 1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

More information

Answer Key for California State Standards: Algebra I

Answer Key for California State Standards: Algebra I Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.

More information

PYTHAGOREAN TRIPLES KEITH CONRAD

PYTHAGOREAN TRIPLES KEITH CONRAD PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

More information

9. POLYNOMIALS. Example 1: The expression a(x) = x 3 4x 2 + 7x 11 is a polynomial in x. The coefficients of a(x) are the numbers 1, 4, 7, 11.

9. POLYNOMIALS. Example 1: The expression a(x) = x 3 4x 2 + 7x 11 is a polynomial in x. The coefficients of a(x) are the numbers 1, 4, 7, 11. 9. POLYNOMIALS 9.1. Definition of a Polynomial A polynomial is an expression of the form: a(x) = a n x n + a n-1 x n-1 +... + a 1 x + a 0. The symbol x is called an indeterminate and simply plays the role

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

Number Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may

Number Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may Number Theory Divisibility and Primes Definition. If a and b are integers and there is some integer c such that a = b c, then we say that b divides a or is a factor or divisor of a and write b a. Definition

More information

3. Prime and maximal ideals. 3.1. Definitions and Examples.

3. Prime and maximal ideals. 3.1. Definitions and Examples. COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

More information

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12 CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

More information

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples Brian Hilley Boston College MT695 Honors Seminar March 3, 2006 1 Introduction 1.1 Mazur s Theorem Let C be a

More information

Page 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p.

Page 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p. Page 331, 38.2 Assignment #11 Solutions Factor the following positive integers into primes. a. 25 = 5 2. b. 4200 = 2 3 3 5 2 7. c. 10 10 = 2 10 5 10. d. 19 = 19. e. 1 = 1. Page 331, 38.4 Suppose a is a

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

More information

Mathematical Induction

Mathematical Induction Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

More information

Notes on Algebraic Structures. Peter J. Cameron

Notes on Algebraic Structures. Peter J. Cameron Notes on Algebraic Structures Peter J. Cameron ii Preface These are the notes of the second-year course Algebraic Structures I at Queen Mary, University of London, as I taught it in the second semester

More information

Discrete Mathematics. Hans Cuypers. October 11, 2007

Discrete Mathematics. Hans Cuypers. October 11, 2007 Hans Cuypers October 11, 2007 1 Contents 1. Relations 4 1.1. Binary relations................................ 4 1.2. Equivalence relations............................. 6 1.3. Relations and Directed Graphs.......................

More information

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any.

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. Algebra 2 - Chapter Prerequisites Vocabulary Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. P1 p. 1 1. counting(natural) numbers - {1,2,3,4,...}

More information

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).

More information

The Division Algorithm for Polynomials Handout Monday March 5, 2012

The Division Algorithm for Polynomials Handout Monday March 5, 2012 The Division Algorithm for Polynomials Handout Monday March 5, 0 Let F be a field (such as R, Q, C, or F p for some prime p. This will allow us to divide by any nonzero scalar. (For some of the following,

More information

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Metric Spaces Joseph Muscat 2003 (Last revised May 2009) 1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of

More information

Notes on Factoring. MA 206 Kurt Bryan

Notes on Factoring. MA 206 Kurt Bryan The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

More information

Theorem3.1.1 Thedivisionalgorithm;theorem2.2.1insection2.2 If m, n Z and n is a positive

Theorem3.1.1 Thedivisionalgorithm;theorem2.2.1insection2.2 If m, n Z and n is a positive Chapter 3 Number Theory 159 3.1 Prime Numbers Prime numbers serve as the basic building blocs in the multiplicative structure of the integers. As you may recall, an integer n greater than one is prime

More information

Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I. Ronald van Luijk, 2012 Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

More information

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

Overview of Number Theory Basics. Divisibility

Overview of Number Theory Basics. Divisibility Overview of Number Theory Basics Murat Kantarcioglu Based on Prof. Ninghui Li s Slides Divisibility Definition Given integers a and b, b 0, b divides a (denoted b a) if integer c, s.t. a = cb. b is called

More information

Discrete Mathematics, Chapter 4: Number Theory and Cryptography

Discrete Mathematics, Chapter 4: Number Theory and Cryptography Discrete Mathematics, Chapter 4: Number Theory and Cryptography Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 4 1 / 35 Outline 1 Divisibility

More information

MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

More information

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me SYSTEMS OF PYTHAGOREAN TRIPLES CHRISTOPHER TOBIN-CAMPBELL Abstract. This paper explores systems of Pythagorean triples. It describes the generating formulas for primitive Pythagorean triples, determines

More information

Comments on Quotient Spaces and Quotient Maps

Comments on Quotient Spaces and Quotient Maps 22M:132 Fall 07 J. Simon Comments on Quotient Spaces and Quotient Maps There are many situations in topology where we build a topological space by starting with some (often simpler) space[s] and doing

More information

Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

More information

Math 55: Discrete Mathematics

Math 55: Discrete Mathematics Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What

More information

Understanding Basic Calculus

Understanding Basic Calculus Understanding Basic Calculus S.K. Chung Dedicated to all the people who have helped me in my life. i Preface This book is a revised and expanded version of the lecture notes for Basic Calculus and other

More information

A Second Course in Mathematics Concepts for Elementary Teachers: Theory, Problems, and Solutions

A Second Course in Mathematics Concepts for Elementary Teachers: Theory, Problems, and Solutions A Second Course in Mathematics Concepts for Elementary Teachers: Theory, Problems, and Solutions Marcel B. Finan Arkansas Tech University c All Rights Reserved First Draft February 8, 2006 1 Contents 25

More information

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl) Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

More information

Math Workshop October 2010 Fractions and Repeating Decimals

Math Workshop October 2010 Fractions and Repeating Decimals Math Workshop October 2010 Fractions and Repeating Decimals This evening we will investigate the patterns that arise when converting fractions to decimals. As an example of what we will be looking at,

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information