MAT115A-21 COMPLETE LECTURE NOTES

Size: px
Start display at page:

Download "MAT115A-21 COMPLETE LECTURE NOTES"

Transcription

1 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 the rational, real, and complex numbers (to be defined later). One of the main focuses of current number theory research is the study of prime numbers, i.e. natural numbers p which are only divisible by 1 and p. In a very precise sense, prime numbers are the building blocks of the integers (as we shall see), and therefore any decent study of Z must study primes as well. Properties of prime numbers were studied by the Greeks (and even before). For example, the Greeks proved that there are infinitely many primes. Although prime numbers have a simple definition, and therefore have been studied for thousands of years, there are very basic questions about them that are still open (meaning unsolved). For example the famous open Twin Prime Conjecture states that there are infinitely many twin prime pairs, i.e. pairs (p, p + 2) such that both p and p + 2 are prime. In this course we won t attempt to solve the TPC, but we will study and prove many interesting results about primes. In another direction, primes are used very heavily in cryptography. The RSA cryptosystem, used, for example, any time you purchase something online using a credit card, uses the assumption that it is faster for a computer to multiply together two huge primes, than to factor the product of those primes (without knowing the factors beforehand). In this course we ll discuss RSA, among other algorithms which also use primes. This course also functions as an introduction to rigorous mathematics, i.e. mathematics in which you prove all of your results. Although no non-set theory course can be fully rigorous, we will try to assume as little background as possible and prove all of our results from that starting point, while still making sure we learn all of the desired number theory material. In the spirit of this method, all solutions to homework problems should be in the format of a proof Definition 1: Set 2. Sets A set is a collection of things. These things are called elements of the set. If A is a set and x is an element of A, write x A. If x is not an element of A, write x / A. 1

2 MAT115A-21 COMPLETE LECTURE NOTES 2 Example 1: Sets (1) We can define sets by listing their elements. If we want to define C to be the set containing 1, 2, 3, then we write C := {1, 2, 3}. In this case 1 C, but 4 / C. (2) Even when there are infinitely many elements in a set, we can still define them by listing their elements implicitly. For example, the set of natural numbers is defined to be and the set of integers is defined to be N := {1, 2, 3,...}, Z := {..., 3, 2, 1, 0, 1, 2, 3,...}. For convenience, we also define the set of nonnegative integers to be Z 0 = {0, 1, 2, 3,...} (3) We can define sets using sentences as well: For example, Let E be the set of even natural numbers. We could also define E by implicitly listing its elements as before. Note 1: Rigorous Foundations E := {2, 4, 6,...}. The rigorous mathematics underlying the previous definitions is called set theory. It s totally awesome, but is a topic for another course. For this course we ll have to make do with a somewhat intuitive understanding of a set. Note 2: Russel s Paradox It is possible to obtain a paradox when defining sets. Russel s famous paradox arises when one tries to define the set S of all sets which do not contain themselves. Then either S S or S / S provides a contradiction, which violates the law of excluded middle: either something is true, or it is not true. However the sets we define in this class will not run into this issue (because they will either be subsets of the real or complex numbers or sets of functions between the real and complex numbers), so this issue is better left to a set theory course. Definition 2: Set Containment Let A and B be sets. We say that A is a subset of B (or A is contained in B) if every element of A is also an element of B. In this case we write either A B or B A. If A is not contained in B, we write A B. If A B and B A, we say that A and B are equal and write A = B. This means that A contains the exact same elements as B. If A is not equal to B, we write A B. This means either that A B or that B A. If A B but A B, then we say that A is strictly contained in B and write A B. Example 2: Set Containment In the notation of the previous example, we have the following set containments. (1) E N Z. (2) C E, since 1 C but 1 / E, and also E C since 4 E but 4 / C. (3) Z N since 1 Z but 1 N, hence N Z.

3 Exercise 1: Examples of Set Containment MAT115A-21 COMPLETE LECTURE NOTES 3 For each part below, give examples (different from the ones given in the lecture notes) of sets A and B that satisfy the required conditions. (1) A B. (2) A B. (3) A B and B A. Proof. Homework. Definition 3: Empty Set The empty set, denoted by, is the set which contains no elements. Proposition 1: Empty Set is Contained in all Sets The empty set is contained in all sets. Proof. Since there are no elements in the empty set, the statement every element of is also an element of A is vacuously true for every set A. Therefore the empty set is contained in all other sets. That is, for any set A, we have A. Definition 4: Finite Union and Intersection Let A and B be sets. The union of A and B is defined as the set A B := {x : x A or x B}. The intersection of A and B is defined as the set Example 3: Finite Union and Intersection Let C = {1, 2, 3}. (1) C E = {1, 2, 3, 4, 6, 8, 10,...}. (2) C E = {2}. (3) For any set A, we have the following results. (a) A = A. (b) A =. A B := {x : x A and x B}. Definition 5: Disjoint Sets Two sets A and B are said to be disjoint if A B =. This means that A and B have no elements in common. Example 4: Disjoint Sets The sets A = {4, 6, 11} and C = {1, 2, 3} are disjoint, since they have no elements in common. However the sets B = {3, 4, 7} and C are not disjoint, since B C = {3}.

4 MAT115A-21 COMPLETE LECTURE NOTES 4 Exercise 2: Distributive Properties of Finite Unions and Intersections Let A, B, and C be sets. Show that the following properties hold. (1) (Union distributes over intersection). A (B C) = (A B) (A C). (2) (Intersection distributes over union). A (B C) = (A B) (A C). Proof. Recall from Definition 2 that if S and T are sets, then S = T means that both S T and T S. (1) ( ). If x A (B C) then either x A or x B C. If x A, then x A B and x A C. If x B C then x B and x C, hence x A B and x A C. Hence in both cases, x (A B) (A C). ( ). If x (A B) (A C) then we have both that x A B and that x A C. If x A, then x A (B C). On the other hand, if x / A, then it must be that x B and that x C. Therefore x B C, and hence x A (B C) as well. (2) Homework. Definition 6: Infinite Union and Intersection Let A 1, A 2, A 3,... be a list of infinitely many sets, one for each natural number. The union of A 1, A 2, A 3,... is defined as the set A n := {x : x A n for some n}. n=1 The intersection of A 1, A 2, A 3,... is defined as the set A n := {x : x A n for all n}. n=1 Example 5: Infinite Union and Intersection Let A 1 = N = {1, 2, 3,...} A 2 = {2, 3, 4,...} A 3 = {3, 4, 5,...}. A n = {n, n + 1, n + 2,...} = {k N : n k}. Note that this collection of sets is nested, meaning that A 1 A 2 A Hence we have that A n = N. n=1 Furthermore, we have that A n =. n=1 To see this, note that if k n=1 A n, then k A n for all n N. However if k A n, then k n. Therefore k n for all n N. No natural number satisfies this, therefore there are no such k in n=1 A n.

5 MAT115A-21 COMPLETE LECTURE NOTES 5 Exercise 3: Distributive Properties of Infinite Unions and Intersections Let A and B n for each n N be sets. Show that the following properties hold. (1) (Union distributes over infinite intersection). A ( n=1 B n) = n=1 (A B n). (2) (Intersection distributes over infinite union). A ( n=1 B n) = n=1 (A B n). Proof. Homework. Exercise 4: Further Properties of Unions and Intersections of Sets Decide which of the following represent true statements about the nature of sets. If a statement is true, prove it. For any that are false, provide a specific example where the statement in question does not hold. (1) If A 1 A 2 A 3... are all sets containing an infinite number of elements, then the intersection n=1 A n is infinite as well. (2) If A 1 A 2 A 3... are finite, nonempty sets, then the intersection n=1 A n is finite and nonempty. (3) A (B C) = (A B) C. (4) A (B C) = (A B) C. (5) A (B C) = (A B) (A C). Proof. Homework. Exercise 5: Example of Infinite Unions Produce an infinite collection of sets A 1, A 2, A 3,... with the property that every A i has an infinite number of elements, A i A j = for all i j, and i=1 A i = N. Proof. Homework. Definition 7: Complement of a Set Let A B. The complement of A in B is the set of elements of B which are not in A. Symbolically, we write B A := {x B : x / A}. Example 6: Complement of a Set We have that E N, and that is the set of all odd natural numbers. N E = {1, 3, 5,...}, Exercise 6: Finite De Morgan s Laws Let A and B be subsets of a set X. Show that the following set equalities hold. (1) X (A B) = (X A) (X B). (2) X (A B) = (X A) (X B). These properties are sometimes called De Morgan s Laws. Proof.

6 MAT115A-21 COMPLETE LECTURE NOTES 6 (1) ( ). If x X (A B), then x is not contained in A B, hence either x / A or x / B. Therefore x (X A) (X B). ( ). If x (X A) (X B), then either x X A or x X B. Hence either x is not in A or x is not in B. In either case, x is not in A B, and therefore x X (A B). (2) Homework. Exercise 7: Infinite De Morgan s Laws Let A n for each n N be subsets of a set X. Show that the following set equalities hold. (1) X ( n=1 A n) = n=1 (X A n). (2) X ( n=1 A n) = n=1 (X A n). These properties are also referred to as De Morgan s Laws. Proof. Homework Cartesian Products of Sets Definition 8: Cartesian Product Given two sets A and B, define their cartesian product to be the set of ordered pairs A B := {(a, b) : a A, b B}. Note 3: Notation Here the word ordered means that the order matters. For example in N N, the elements (1, 2) and (2, 1) are not equal. Example 7: Cartesian Product of the Natural Numbers Recall the set of natural numbers N = {1, 2, 3,...}. The cartesian product N N of N with itself is often drawn as a 2-dimensional grid. Examples of elements of N N are (1, 1), (1, 2), (2, 1), etc. Exercise 8: Cartesian Product of Unions and Intersections For the following statements, prove or find a counterexample. Let X and Y be sets, with A, B X and C, D Y. (1) (A B) (C D) = (A C) (B D). (2) (A B) (C D) = (A C) (B D). Proof. Homework

7 MAT115A-21 COMPLETE LECTURE NOTES 7 Definition 9: Function 4. Functions Given two sets A and B, a function, or map, from A to B, written f : A B is a subset of A B which satisfies the following conditions. (F1) (Uniqueness). If, for some x A, (x, y) and (x, z) are both in f, then y = z. (F2) (Existence). For all x A, there exists some element y B such that (x, y) f. To express that the uniqueness condition is satisfied, we often say that f is well defined, or that f passes the vertical line test. Note 4: How to think about a function Although technically a function f from A to B is defined to be a particular kind of subset of A B, we almost always think of it as a rule which assigns to each element x of A the unique element y of B such that (x, y) f. In this framework, we often denote this unique element as f(x). Also, sometimes we write x y, and say x maps to y to mean f(x) = y. Definition 10: Domain, Codomain, Image Suppose that f : A B is a function. A is called the domain of f. B is called the codomain of f. The set defined by is called the image or range of f. f(a) := {y B : y = f(x) for some x A} B Example 8: Functions We define a function f : N E by Explicitly, this means that f is the subset of N E f(k) = 4k. f = {(k, 4k) k N}. The domain of f is N and the codomain is E. The image (or range) of f is the elements of E which are multiples of 4, i.e. f(a) = {4, 8, 12,...} E = {2, 4, 6,...}. Example 9: The Identity Function Given a set A, the identity function on A is defined by 1 A : A A 1 A (x) = x. Explicitly, 1 A is the subset of A A given by 1 A = {(x, x) x A}.

8 MAT115A-21 COMPLETE LECTURE NOTES 8 Definition 11: Equality of Functions Two functions f and g are equal when their domain and codomains are the same (say A and B respectively) and they are the same subset of A B. In other words f : A B and g : C D are equal if A = C and B = D and f(x) = g(x) for all x A = C. Definition 12: Injective, Surjective, Bijective Let A and B be sets. A function f : A B is injective or one-to-one or 1 1 if for all x, y A with f(x) = f(y), we have x = y. A function f : A B is surjective or onto if for all z B there exists x A with f(x) = z. A function f : A B is bijective if it is both injective and surjective. Exercise 9: Injections, Surjections, and Bijections Determine whether the following functions are surjective or injective. Prove your result. (1) f : Z Z defined by (2) f : Z N {0} defined by (3) f : Z Z defined by f(k) = f(n) = { k if k 0 k if k < 0. { k if k 0 k if k < 0. (4) f : Z Z defined by f(k) = 2k. f(k) = k. Proof. (1) (2) (3) (4) (Injectivity). This function is not injective since 1 1 in Z, yet f(1) = 1 = f( 1). (Surjectivity). This function is not surjective since for all k Z, f(k) 0, and therefore there does not exist a k Z with f(k) = 1. (Injectivity). This function is still not injective since 1 1 in Z, yet f(1) = 1 = f( 1). (Surjectivity). This function is now surjective, since given n N {0}, we have that n Z and f(n) = n. (Injectivity). This function is injective, since if f(m) = f(k), for some m, k Z, then 2m = 2k, and canceling 2 from both sides yields m = k. (Surjectivity). This function is not surjective since f(k) = 2k is even for all k Z, and therefore there does not exist a k Z with f(k) = 1. (Injectivity). This function is injective, since if f(m) = f(k), for some m, k Z, then m = k, and canceling 1 from both sides yields m = k. (Surjectivity). This function is surjective, since for any k Z, f( k) = ( k) = k.

9 MAT115A-21 COMPLETE LECTURE NOTES 9 Exercise 10: Injective, Surjective, and Bijective Give an example or each or prove that the request is impossible. (1) f : N N that is injective but not surjective. (2) f : N N that is surjective but not injective. (3) f : N Z that is injective and surjective. Proof. Homework. Exercise 11: Interpret Injective, Surjective, and Bijective as Subsets Interpret the definitions of an (1) injective, (2) surjective, (3) bijective, function in terms of the subset definition of a function. Proof. A function f : A B is a subset of A B which satisfies (F1) and (F2). (1) The function f is injective if and only if this subset has the following property. (B1) (Uniqueness). If, for y B, (x, y) and (z, y) are in f A B, then y = z. (2) The function f is surjective if and only if this subset has the following property. (B2) (Existence). For every y B, there exists some x A such that (x, y) f A B. (3) Homework. Definition 13: Composition of Functions Let A, B, C be sets and f : A B and g : B C be functions. The composition of f and g, denoted by g f is the function defined as follows. g f : A C (g f)(x) = g(f(x)) for all x A. Example 10: Composition of Functions Define the following two functions. f : Z Z 0 f(k) = k g : Z 0 E {0} g(k) = 2k Then the composition g f : Z E is given by (g f)(k) = g(f(k)) = g( k ) = 2 k.

10 MAT115A-21 COMPLETE LECTURE NOTES 10 Definition 14: Inverses Let f : A B be a function. A left inverse of f is a function l : B A such that l f : A A is equal to the identity map 1 A : A A. A right inverse of f is a function r : B A such that f r : B B is equal to the identity map 1 B : B B. An inverse of f is a function g : B A such that g is both a left inverse and a right inverse of f, i.e. such that g f = 1 A and f g = 1 B. Exercise 12: Inverses and Injectivity, Surjectivity, Bijectivity Let A and B be (nonempty) sets and let f : A B be a function. Prove the following three statements. (1) f is injective if and only if f has a left inverse. (2) f is surjective if and only if f has a right inverse. (3) f is bijective if and only if f has an inverse. Proof. (1) ( ). Suppose that f : A B is injective. Let z A be any element, which exists because A is nonempty. Therefore, explicitly, f is a subset of A B. We want to define a function g : B A, explicitly a subset of B A. We consider two cases. For every y f(a), by definition we have y = f(x) for some x A. Hence we choose any such x, and we let (y, x) be in g B A, i.e. g(y) = x. For every y / f(a), we let (y, z) be in g B A, i.e. g(y) = z. We must show that the subset g B A actually satisfies the required conditions to be a function. (F1). Given any y B, either y f(a) or y / f(a). In the former case, we have y = f(x) for some x and (y, x) g, and in the latter case we have that (y, z) g, as desired. (F2). Suppose that (y, v) = (y, w). If y f(a), then by definition v, w A are such that f(v) = y and f(w) = y. Therefore f(v) = y = f(w). Since f is injective we have that v = w as desired. If y / f(a), then both v and w are equal to z, and hence v = w as desired. ( ). Suppose that f : A B has a left inverse. By definition this means that there is some function g : B A such that g f = 1 A. Suppose that x, y A are such that f(x) = f(y). Then we compute f(x) = f(y) (1) = g(f(x)) = g(f(y)) (2) = 1 A (x) = 1 A (y) (3) = x = y, as desired. Here (1) follows from applying g to both sides of the equation, which we can do because f(x) and f(y) are in the domain B of g, (2) follows from the fact that g is a left inverse of f, and (3) follows from the definition of the identity function 1 A : A A. (2) Homework. (3) Homework.

11 MAT115A-21 COMPLETE LECTURE NOTES 11 Example 11: Bijections Consider the sets defined by X := {1, 2, 3} and Y := {a, b, c}. There are many bijections between these two sets. Here are two examples. (1) (2) f : X Y f(1) = a f(2) = b f(3) = c f : X Y f(1) = b f(2) = a f(3) = c Note 5: Thinking about Bijections A bijection f : A B gives an exact correspondence between the elements of A and the elements of B, so we often think of f as simply relabeling the elements of A by elements of B. In this sense, the sets A and B are equivalent

12 Theorem 1: Existence of the Real Numbers MAT115A-21 COMPLETE LECTURE NOTES Numbers There exists a set, denoted by R, whose elements are called real numbers, which satisfies the following properties. (1) Z R. (2) There exist functions + : R R R (called addition) and : R R R (called multiplication, and denoted by r, s rs) making R into a field. This means that these functions satisfy the following properties. (A1) (Additive Commutativity). For all r, s R, r + s = s + r. (A2) (Additive Associativity). For all r, s, t R, (r + s) + t = r + (s + t). (A3) (Additive Identity). There exists a unique element z R such that r + z = z + r = r for all r R. Such an element is called an additive identity. (A4) (Additive Inverses). For every r R, there exists s R, called an additive inverse of r, such that r + s = s + r = z. (M1) (Multiplicative Commutativity). For all r, s R, rs = sr. (M2) (Multiplicative Associativity). For all r, s, t R, (rs)t = r(st). (M3) (Multiplicative Identity). There exists a unique element e R such that er = re = r for all r R. Such an element is called a multiplicative identity. (M4) (Multiplicative Inverses). For every element r R {0}, there exists an element s, called a multiplicative inverse of r such that rs = sr = e. In this case we write s = 1 r, and for any t R, we denote ts by t r. (D1) (Multiplication Distributes over Addition): For all r, s, t R, r(s + t) = rs + rt. (I1) (Distinct Identities). The additive and multiplicative identities are distinct, i.e. z e in R. (3) The operations of addition and multiplication on R agree with the usual addition and multiplication of integers when restricted to Z. (4) There exists a total order < on R making (R, +,, <) an ordered field. This means that (O1) (Trichotomy). Given x, y R, exactly one of the following statements is true. x < y, x = y, y < x. (O2) (Transitivity). If x < y and y < z, then x < z. (OF3) For all x, y, z R, (i) If x < y then x + z < y + z. (ii) If 0 < x and 0 < y then 0 < xy. (5) The total order on R agrees with the usual total order on the integers, when restricted to Z. (6) Every nonnegative element of R has a unique square root which is positive. Note 6: Thinking About the Real Numbers The theorem above lists a ridiculous number of axioms, and a rigorous construction of R takes a lot of work, and must be left to an analysis course. For the purposes of this course, we ll have to be satisfied with the intuitive understanding of R that you have from calculus (or other previous math courses). Definition 15: The Rational Numbers A real number a is called rational if there exists n, m Z with m 0, such that a = n/m. In particular, all integers n can be written as n = n/1, and therefore are rational numbers. If a real number is not rational, it is called irrational. The set of all rational numbers is denoted by Q.

13 MAT115A-21 COMPLETE LECTURE NOTES 13 Note 7: Containment of Number Systems We have the following containment of the number systems we have introduced so far: N Z Q R. Theorem 2: The Well Ordering Principle Every nonempty subset of the natural numbers N has a least element. Note 8: Proof of the Well Ordering Principle To properly prove this, we would need a rigorous notion of the natural numbers from set theory. For this class we will have to accept this theorem without proof. Theorem 3: Irrationality of Root Two (Rosen Theorem 1.1) The real number 2 is irrational. Proof. We define a set S = {k 2 R k, k 2 N} N Now suppose, for contradiction, that 2 were rational. Then because 2 > 0 there exists some a, b N, such that 2 = a/b. We compute 2 = a/b = b 2 = a. Therefore both b and b 2 = a are in N, and so a = b 2 S This implies that S is a nonempty subset of N. By the Well Ordering Principle (Theorem 2) it follows that S has a least element, call it s. By definition of S, we can write s = t 2 where s, t N. We compute s 2 = t 2 2 = 2t N Therefore both s and s 2 N. Furthermore, we compute 2 > 1 = 2 1 > 0 = s( 2 1) > 0 = s 2 s > 0 = s 2 s N. Similarly, we have

14 MAT115A-21 COMPLETE LECTURE NOTES 14 2 > 1 = 2 1 > 0 = t( 2 1) > 0 = t 2 t > 0 = s t > 0 = s t N. But now we compute s 2 s = s 2 t 2 = (s t) 2 N. = (s t) 2 Therefore, we have that s t N and (s t) 2 N. Hence by definition of S, (s t) 2 S. But we have that 2 < 2 = 2 1 < 1 = s( 2 1) < s = s 2 s < s = s 2 t 2 < s = (s t) 2 < s, which contradicts that s is a least element of S, as desired Definition 16: Cardinality 6. Cardinality Two sets A and B have the same cardinality if there is a bijection f : A B. In this case we write A B. Note 9: Thinking about Cardinality We often think about cardinality as measuring the relative size of two sets, i.e. if A B, then we think of A and B as having the same size. Definition 17: Finite Set A set A is finite if A {1, 2,..., n} N for some n N.

15 MAT115A-21 COMPLETE LECTURE NOTES 15 Example 12: Cardinality (a) Denote the set of even natural numbers by E = {2, 4, 6, 8,...}. We claim that N E. Define a function (Injective). Compute f : N E f(n) = 2n. f(n) = f(m) = 2n = 2m = n = m. Therefore f is injective. (Surjective). Given any element x E, x is an even natural number, hence there exists some natural number n such that x = 2n = f(n). Hence f is surjective. Since f is both injective and surjective, it is a bijection. This shows that N E. (b) We claim that N Z. Define a function f : N Z using the following diagram Even though we haven t written an explicit formula for f, it is clear from this diagram that f is bijective. (c) The function f : ( 1, 1) R defined by f(x) = x x 2 1 is bijective, and therefore the interval ( 1, 1) has the same cardinality as the real numbers. Note 10: Cardinality vs. Containment In the previous example we showed that E N and that N Z, so we think of E, N, and Z as all having the same size. This can be a bit counterintuitive as E N Z, but this confusion is fixed by remembering that cardinality is simply one measure of size and containment is another Definition 18: Countable Sets 7. Countable Sets A set A is countable if there is an injection A N. Note that in this definition, finite sets are countable. If a set is countable, but not finite, we say it is countably infinite. An infinite set that is not countable is called uncountable. Example 13: Countable Sets Note that N itself is countable, since the identity function from N to itself is a bijection. By Example 12, both E and Z are countable.

16 Theorem 4: Cardinality of Q and R (1) The set of rational numbers Q is countable. (2) The set of real numbers R is uncountable. MAT115A-21 COMPLETE LECTURE NOTES 16 Proof. (1) We define a function f : N Q using the following diagram: One can see that all rational numbers will appear exactly once on this list, and hence f is a bijection, so Q is countable. (2) This proof will be left to an analysis course. Exercise 13: Subset of a Countable Set is Countable Show that if A B and B is countable, then A is countable. Exercise 14: Countable Union of Countable Sets is Countable (1) If A 1,..., A m are each countable sets, then the union A 1... A m is countable. (2) If A n is a countable set for each n N, then n=1 A n is countable. Exercise 15: Cardinality of I Use Theorem 4, Exercise 13, and Exercise 14 to show that the set I of irrational numbers is uncountable

17 Definition 19: The Floor and Ceiling Functions MAT115A-21 COMPLETE LECTURE NOTES The Floor and Ceiling Functions The floor function (also known as the greatest integer function), denoted by : R Z, assigns to a real number x R, the largest integer which is less than or equal to x. In other words, x is the unique integer which satisfies x x < x + 1. The integer x is also called the integral part of x. The ceiling function, denoted by : R Z, assigns to a real number x R, the smallest integer which is greater than or equal to x. In other words, x is the unique integer which satisfies x 1 < x x. Example 14: Basic Examples of the floor and ceiling functions (1) We have that 3/2 = 1 and that 3/2 = 2. (2) We have that 3/2 = 2 and 3/2 = 1. (3) For any k Z, we have that k = k and k = k. Exercise 16: Properties of the Floor and Ceiling Functions (1) Prove that for all x R and n N, x + n = x + n. (2) Provide a similar formula to that above for the ceiling function, and prove that this formula holds. Definition 20: Fractional Part of a Real Number We define a function { } : R [0, 1) by {x} = x x. The number {x} is called the fractional part of x. Note 11: Greatest Integer Plus Fractional Part We note that for any real number x, we can write x = x + {x}. Example 15: Fractional Part of a Real Number (1) We have that {3/2} = 3/2 3/2 = 3/2 1 = 1/2. (2) We have that { 3/2} = 3/2 3/2 = 3/2 ( 2) = 1/ Definition 21: Sequence A sequence of real numbers is a function f : N R. 9. Sequences

18 MAT115A-21 COMPLETE LECTURE NOTES 18 Note 12: Thinking about Sequences We often think of a sequence f : N R as, and denote it by, the list of numbers (f(1), f(2), f(3), f(4),...). We will also often denote a sequence f by the list (a n ) = (a 1, a 2, a 3,...), where a n = f(n). Example 16: Sequences (Rosen Example 1.7) (1) Let a n = n 2. Then the first few terms of the sequence (a n ) are 1, 4, 9, 25,.... (2) Let b n = 2{ n. Then the first few terms of the sequence (b n ) are 2, 4, 8, 16, if n is odd, (3) Let c n = 1 if n is even.. Then the first few terms of the sequence (c n) are 0, 1, 0, 1, 0,.... Definition 22: Geometric Progression A geometric progression (or geometric sequence) is a sequence of the form b n = ar n 1 for some a, r R. The number a is called the initial term and r is called the common ratio. The first few terms of such a geometric progression are a, ar, ar 2, ar 3,... Example 17: Geometric Progression (Rosen Example 1.8) If we let the initial term be 3 and the common ratio be 5, then the resulting geometric progression is given by b n = 3 5 n 1, and the first few terms are 3, 15, 75,... Definition 23: Arithmetic Progression An arithmetic progression (or arithmetic sequence) is a sequence of the form b n = a + d(n 1) for some a, d R. The number a is (again) called the initial term and d is called the common difference. The first few terms of such a geometric progression are a, a + d, a + 2d, a + 3d,... Example 18: Arithmetic Progression (Rosen Example 1.9) If we let the initial term be 4 and the common difference be 7, then the resulting geometric progression is given by b n = 4 + 7(n 1), and the first few terms are 4, 11, 18, 25,... Note 13: Finding a Formula In the previous examples, we started with a formula for a sequence and then wrote out the first few terms. We can sometimes go the other way as well: given the first few terms of a sequence, we can conjecture a formula for the sequence. Of course since we only know the first few terms, the formula may or may not hold for all of the terms. Furthermore, not every sequence is even given by a formula, so the task may, in fact, be impossible.

19 MAT115A-21 COMPLETE LECTURE NOTES 19 Example 19: Finding a Formula (Rosen Example 1.10) Consider a sequence whose first few terms are 5, 11, 29, 83, 245, 731, 2189, Notice that each term is approximately 3 times the previous term. We have that Therefore we conjecture the formula 3 1 = 3 = a 1 2, 3 2 = 9 = a 2 2, 3 3 = 27 = a 3 2, 3 4 = 81 = a 4 2, 3 5 = 243 = a 5 2, 3 6 = 729 = a 6 2, 3 7 = 6561 = a 7 2. which we can be sure holds at least for 1 n 7. a n = n, Exercise 17: Sequences and Cardinality Show that a subset of real numbers is countable if and only if it can be written as a sequence Definition 24: The Summation Symbol 10. Sums Given two integers m n, and a finite list a m, a m+1,..., a n of real numbers we define n a k = a m + a m a n. k=m The letter k is called the summation index. Note 14: Dummy Variables The index of summation is an example of a dummy variable. This means that we can replace it with any other variable and the meaning of the summation remains the same. For example n a k = k=m n a i. i=m

20 MAT115A-21 COMPLETE LECTURE NOTES 20 Example 20: Summation (Rosen Example 1.13) We compute a few different sums using the summation symbol defined above. (a) 5 j=1 j = = 15. (b) 5 j=1 2 = = 10. (c) 5 j=3 2j = = 62. (d) 5 k=3 k2 = = 50. (e) 2 k=0 3k = = 12. (f) 1 k= 2 k3 = ( 2) 3 + ( 1) = 8. Note 15: Summation over a Set Summation notation can also be used when the index of summation ranges over any finite subset of integers, as can be seen in the example below. Example 21: Summation over a Set (Rosen Example 1.14) (1) We compute j 10 j {n 2 n Z} 1 j + 1 = j {0,...,10} {n 2 n Z} = = 9 5 j {0,1,4,9} 1 j j + 1 = Proposition 2: Properties of Summation Notation We list some properties of the summation notation. (a) n j=m ca j = c n j=m a j, (b) n j=m (a j + b j ) = n j=m a j + n j=m b j, (c) n q i=m j=p a ib j = ( ( n i=m a q ) i) j=p b j = q n j=p i=m a ib j. Proof. (a) Let a m, a m+1,..., a n and c be real numbers. We compute n j=m ca j (1) = ca m + ca m ca n (2) = c(a m + a m a n ) (3) = c n a j. Here (1) and (3) follow from the definition of the summation symbol, and (2) follows from factoring c out of the sum. (b) Homework. (c) Homework. Exercise 18: Properties of the Summation Notation (a) Prove part (b) of Proposition 2. (b) Prove part (c) of Proposition 2. j=m

21 MAT115A-21 COMPLETE LECTURE NOTES 21 Proposition 3: Summing a Finite Geometric Series (Rosen Example 1.15) Suppose a, ar, ar 2,..., ar k,... is a geometric sequence in R. Then we have the following formula for the sum of the first n + 1 terms of this sequence. If r 1, then n j=0 arj = a(rn+1 1) r 1. If r = 1, then n j=0 arj = (n + 1)a. Proof. Suppose that r 1 and let S = n j=0 arj. We compute rs = r (1) = n ar j j=0 n j=0 n+1 (2) = (3) = ar j+1 ar k k=1 n ar k + (ar n+1 a) k=0 (4) = S + (ar n+1 a). Here (1) follows from Proposition 2, (2) follows from letting k = j + 1, (3) follows from adding and subtracting a, and removing ar n+1 from the summation, and (4) follows from our definition of S. Therefore, we have rs = S + (ar n+1 a) = rs S = (ar n+1 a) = S(r 1) = a(r n+1 1) (1) = S = a(rn+1 1) r 1 where (1) follows because we have assumed that r 1, and therefore r 1 0. If r = 1, we compute, n ar j = j=0 n a(1) j = j=0 n j=0 a = a + a a = (n + 1)a. }{{} n+1 Example 22: Summing a Finite Geometric Series (Rosen Example 1.16) Let a = 3, r = 5, and n = 6. Then from Proposition 3, it follows that 6 j=0 3( 5) j = 3(( 5)7 1) 5 1 = 39, 063.

22 MAT115A-21 COMPLETE LECTURE NOTES 22 Example 23: Summing Powers of Two (Rosen Example 1.17) We let a = 1 and r = 2, and compute the following formula for the sum of the first n + 1 powers of 2. n k=0 2 k = 1 (2n+1 1) 2 1 = 2 n+1 1. Definition 25: Telescoping Sum Given a sequence of real numbers a 0, a 1, a 2,... a n, a telescoping sum is a sum of the form n (a j a j 1 ). j=1 Proposition 4: Evaluating a Telescoping Sum If a 0, a 1, a 2,... a n is a sequence of real numbers, then we have the following identity for the associated telescoping sum. n (a j a j 1 ) = a n a 0. j=1 Proof. We compute n (a j a j 1 ) = (a 1 a 0 ) + (a 2 a 1 ) + (a 3 a 2 ) (a n a n 1 ) j=1 (1) = a n a 0, where (1) follows because for all 1 j n 1 we have both a j and a j in the sum, which cancel. Definition 26: Triangle Numbers (Rosen Example 1.18) The triangle numbers are the sequence of integers t 1, t 2,... defined by n t n = k. k=1 They are named because they t n is the number of dots in the triangular array of n rows with k dots in the kth row. Proposition 5: A Formula for the Triangle Numbers (Rosen Example 1.19) If t n = n k=1 k denotes the nth triangle number, then n(n + 1) t n =. 2 Proof. To begin, we compute the following identity for an integer k. (k + 1) 2 = k 2 + 2k + 1 = k = (k + 1)2 k

23 MAT115A-21 COMPLETE LECTURE NOTES 23 Now we compute t n = (1) = n k k=1 n ( (k + 1) 2 k 2 1 ) 2 2 n n ((k + 1) 2 k 2 ) k=1 (2) = 1 2 (3) = k=1 (n + 1)2 2 Here (1) follows from substituting k = (k+1)2 k 2 follows because n k=1 1 2 n 2 = (n + 1)2 n 1 2 = n2 + 2n + 1 n 1 2 = n2 + n 2 n(n + 1) = , (2) follows from Proposition 2 parts (a) and (b), and (3) (k+1) 2 k 2 2 is a telescoping sum, k=1 1 2 Definition 27: The Product Symbol 11. Products Given two integers m n, and a finite list a m, a m+1,..., a n of real numbers we define n a k = a m a m+1... a n. k=m The letter k is called the multiplication index. Example 24: Product (Rosen Example 1.20) We compute several examples using the product symbol. (a) 5 j=1 j = = 120. (b) 5 j=1 2 = = 25 = 32. (c) 5 j=1 2j = = 2 5 k=1 k = (d) 1 j= 3 j = ( 3) ( 2) ( 1) = 6. Definition 28: Factorial We define the factorial function as follows: Z 0 Z n n! = { 1 if n = 0 n j=1 j if n > 0

24 MAT115A-21 COMPLETE LECTURE NOTES 24 Example 25: Factorial (Rosen Example 1.21) We give several examples of the factorial function. (a) 1! = 1. (b) 4! = (c) 12! = = 479, 001, Induction Theorem 5: The Principle of (Mathematical) Induction (Rosen Theorem 1.5) Suppose that a subset S of N has the following two properties (I1) S contains 1, (I2) If k S, then k + 1 S. Then S = N. Proof. Let S N satisfy the two conditions (I1) and (I2), but suppose, for contradiction, that S N. Then T = N S is nonempty. By the Well Ordering Principle (Theorem 2), T has a least element, i.e. an element t T such that t n for all n T. Since 1 S by hypothesis, t > 1. Therefore t 1 is in N and cannot be in T since it is less than the least element of T. Therefore t 1 S. However by the second hypothesis, since t 1 S, it must be that t = (t 1) + 1 S as well, which contradicts that t T = N S.

25 MAT115A-21 COMPLETE LECTURE NOTES 25 Example 26: Summing Consecutive Odd Integers (Rosen Example 1.22) From the computation 1 = 1, = 4, = 9, = 16, = 25, = 36, one might conjecture that summing consecutive odd integers gives a square, or more precisely, that n (2j 1) = (2n 1) = n 2 j=1 for every positive integer n. We will prove this formula using induction. Let S be the set of all positive integers n for which the formula above holds. (Basis Step). First we show that (I1) holds for S. We compute 1 (2j 1) = 2 1 = 1 = 1 2. j=1 So indeed the formula holds for 1, and 1 S. (Inductive Step). Now we show that (I2) holds for S. Suppose that n S. Then by definition the formula holds for n, and so we have that n (2j 1) = n 2. j=1 Now we check that the formula holds for n + 1. We compute n+1 (2j 1) = (2n 1) + (2(n + 1) 1) j=1 = n (2j 1) + (2(n + 1) 1) j=1 (1) = n 2 + (2(n + 1) 1) = n 2 + 2n + 1 = (n + 1) 2. Here (1) follows because the formula holds for n. Therefore the formula holds for n+1, and hence n + 1 S, so (I2) is also satisfied. Because both (I1) and (I2) are satisfied (i.e. both the basis step and the inductive step hold), it follows from the Principle of Induction Theorem 5 that S = N. In other words, the formula holds for all positive integers.

26 MAT115A-21 COMPLETE LECTURE NOTES 26 Example 27: Factorial Growth (Rosen Example 1.23) We use induction to show that n! n n for all positive integers. Let S be the set of all positive integers for which the formula holds. (Basis Step). We compute 1! = 1 1 = 1 1. Therefore the formula holds for 1, so 1 S, and (I1) holds. (Inductive Step). Suppose that the formula holds for n. We compute (n + 1)! = n!(n + 1) (1) n n (n + 1) (2) (n + 1) n (n + 1) = (n + 1) ( n + 1). Here (1) holds because the formula holds for n, and (2) holds because n n + 1, and therefore n n (n + 1) n. Hence the formula holds for n + 1, so n + 1 S, and (I2) holds as well. By the Principle of Induction Theorem 5 that S = N, so the formula holds for all positive integers n. Theorem 6: The Principle of Strong (Mathematical) Induction (Rosen Theorem 1.6) Suppose that a subset S of N has the following two properties (SI1) S contains 1, (SI2) If 1, 2,..., k S, then k + 1 S. Then S = N. Proof. Let S N satisfy the two conditions (SI1) and (SI2).Define T = {n N 1 k n, k S}. Then because 1 S, it follows that 1 T, and hence that T satisfies (I1). Furthermore, if k T, then by definition 1, 2,..., k S, hence by (SI2), k +1 S as well. Therefore 1, 2,..., k, k +1 S, so k +1 T. Therefore T satisfies (SI2) as well. By the Principle of Induction Theorem 5, it follows that T = N. Therefore given any n N, n T, which means that for all 1 k n, k S. In particular n S. Since n was arbitrary, it follows that S = N, as desired.

27 MAT115A-21 COMPLETE LECTURE NOTES 27 Example 28: Postage (Rosen Example 1.24) We claim that any amount of postage more than 1 cent can be formed using just 2-cent and 3-cent stamps. Another way to formulate this claim is that for every positive integer n > 1, there exist a N (the number of 2-cent stamps) and b N (the number of 3-cent stamps) such that n = 2a + 3b. Let S be the set of all integers n 1 such that the formula holds for n > 1. (Basis Step). Taking a = 1 and b = 0, we find that 2 = 2a + 3b, and therefore 1 = 2 1 S. Hence (SI1) is holds for S. (Inductive Step). Suppose that 1, 2,..., n S. If n = 2, then taking a = 0 and b 3, we find that 3 = 2a + 3b, and therefore n = 2 = 3 1 S. If n 3, then because 1, 2,..., n S, the formula holds for 2, 3,..., n + 1, and hence in particular the formula holds for n, so there exist a, b N such that n = 2a + 3b = n + 2 = 2(a + 1) + 3b. Hence the formula holds for n + 2, and so n + 1 = (n + 2) 1 S. Therefore S satisfies (SI2) as well. Since S satisfies (SI1) and (SI2), by the Principle of Strong Induction Theorem 6 it follows that S = N. In other words, the formula holds for all positive integers greater than Theorem 7: The Recursion Theorem 13. Recursive Definitions Let X be a set, a X, and f : X X a function, there exists a unique function G : Z 0 X such that (R1) G(0) = a. (R2) G(n + 1) = f(g(n)) for all n 0. Proof. (Exitence). We define G : Z 0 X { a if n = 0 G(n) = f n (a) if n > 0 Clearly G satisfies (R1). To show that G satisfies (R2), note that if n = 0, then we compute as desired. Then if n > 0, we compute G(0 + 1) = G(1) = f(a) = f(g(0)), G(n + 1) = f n+1 (a) = f(f n (a)) = f(g(n)), again as desired. (Uniqueness). Suppose that both G : Z 0 X and H : Z 0 X satisfy (R1) and (R2). We show that G(n) = H(n) by induction. (Basis Step). If n = 0, then by (R1) we have that G(0) = a and also that H(0) = a. Therefore G(0) = H(0).

28 MAT115A-21 COMPLETE LECTURE NOTES 28 (Induction Step). Suppose that G(n) = H(n) for some n Z 0. Then we compute G(n + 1) (1) = f(g(n)) (2) = f(h(n)) (3) = H(n + 1), as desired. Here (1) and (3) follow from (R2), and (2) follows from the induction hypothesis. Definition 29: Recursively Defined Function The function G is called a recursively defined function. Example 29: Factorial (Rosen Exmaple 1.25) Let X = Z 0 Z 0, let a = (0, 1), and define f : X X f(x, y) = (x + 1, (x + 1)y). Then by Theorem 7, there exists a unique function G : Z 0 X such that Then we define a function G(0) = a = (0, 1) G(n + 1) = f(g(n)). And finally, we define π 2 : X X X (x, y) y. Then by the proof of Theorem 7, we have that! : Z 0 N n! = (π 2 G)(n) n! = π 2 (G(n)) = π 2 (f n (0, 1)) = π 2 (n, n (n 1) (n 2) ) = n (n 1) (n 2) , as desired. Note 16: Thinking About Recursive Definitions Although we have provided quite a formal definition of a recursively defined function, for the rest of the course we will use our typical, less formal, notion of a recursively defined function and be satisfied that we can always fall back on this definition when needed Definition 30: Fibonacci Numbers 14. The Fibonacci Numbers The Fibonacci sequence is defined recursively by f 1 = 1, f 2 = 1, and f n = f n 1 + f n 2 for n 3. The terms of this sequence are called Fibonacci numbers.

29 MAT115A-21 COMPLETE LECTURE NOTES 29 Example 30: Fibonacci Numbers We compute the first ten terms of the Fibonacci numbers. f 1 = 1 f 2 = 1 f 3 = f 1 + f 2 = = 2 f 4 = f 3 + f 2 = = 3 f 5 = f 4 + f 3 = = 5 f 6 = f 5 + f 4 = = 8 f 7 = f 6 + f 5 = = 13 f 8 = f 7 + f 6 = = 21 f 9 = f 8 + f 7 = = 34 f 10 = f 9 + f 8 = = 55. Proposition 6: Sum of the Fibonacci Numbers (Rosen Example 1.27) Let (f k ) be the Fibonacci sequence. Then we have the following formula for all integers n 1. n f k = f n+2 1 k=1 Proof. We provide two proofs. (Telescoping Sum Proof ). For all integers k 1, we compute Plugging this in to the sum in question yields f k+2 = f k+1 + f k = f k = f k+2 f k+1. n f k = k=1 n (f k+2 f k+1 ) k=1 (1) = f n+2 f 2 = f n+2 1. Here (1) follows from Proposition 4 because the sum is telescoping. (Induction Proof ). (Basis Step). When n = 1, we compute 1 f k = f 1 = 1 = 2 1 = f 3 f 1. k=1 (Induction Step). Suppose that the result holds for n, i.e. that Then we compute n f k = f n+2 1. k=1

30 MAT115A-21 COMPLETE LECTURE NOTES 30 ( n+1 n ) f k = f k + f n+1 k=1 k=1 (1) = (f n+2 1) + f n+1 = (f n+1 + f n+2 ) 1 (2) = f n+3 1, as desired. Here (1) follows from the induction hypothesis, and (2) follows from the definition of the Fibonacci sequence. Proposition 7: Growth of the Fibonacci Sequence (Rosen Example 1.28) Let (f k ) be the Fibonacci sequence, and let α = For n 3, we have that f n > α n 2. Proof. We ll use strong induction. (Basis Step). We do the cases n = 3 and n = 4. (n = 3). Note that 4 < 5 < 9, and hence 2 < 5 < 3. Therefore we have that f 3 = 2 > = α, as desired. (n = 4). One can check that α 2 = Since 2 < 5 < 3, we have that f 4 = 3 > = α 2, as desired. (Induction Step). The case of n = 4 was already done in the basis step. Now suppose that n 5. One can check that α is a root of the polynomial x 2 x 1, i.e. α 2 α 1 = 0, so we have that Therefore we compute α 2 = α + 1. α n 1 = α 2 α n 3 = (α + 1) α n 3 = α n 2 + α n 3 (1) < f n + f n 1 (2) = f n+1, as desired. Here (1) follows from the inductive hypothesis applied to f n and f n 1, which is satisfied for n 5 and n 1 4, and (2) follows from the definition of the Fibonacci sequence.

31 MAT115A-21 COMPLETE LECTURE NOTES 31 Theorem 8: Fibonacci Numbers and the Golden Ratio (Rosen Theorem 1.7) Let α = and β = For n a positive integer, the nth Fibonacci number is given by f n = 1 5 (α n β n ). Proof. Homework Definition 31: Divisibility 15. Divisibility Let a, b be integers with a 0. We say that a divides b, and write a b, if there is an integer c such that ac = b. If a divides b we say that a is a divisor or factor of b, and that b is a multiple of a. If a does not divide b, we write a b. Example 31: Divisibility (Rosen Example 1.29 We illustrate the concept of divisibility with the following computations. (1) , (2) 5 30, (3) , (4) 6 44, (5) 7 50, (6) 3 33, (7) Example 32: Divisors (Rosen Example 1.30) We illustrate the concept of divisors with the following computations. (1) The divisors of 6 are ±1, ±2, ±3, ±6. (2) The divisors of 17 are ±1 and ±17. (3) The divisors of 100 are ±1, ±2, ±4, ±5, ±10, ±20, ±25, ±50, ±100. Theorem 9: Transitivity of Divisibility (Rosen Theorem 1.8) If a, b, c are integers and a b, b c, then a c. Proof. Since a b, there exists some integer e such that ae = b. Similarly since b c, there exists some integer f such that bf = c. Putting these two equations together, we obtain the following equation. a(ef) = c. Therefore there is some integer, namely ef, such that a(ef) = c, so by definition a c. Example 33: Transitivity of Divisibility (Rosen Example 1.31) Since and , it follows from Theorem 9 that Indeed = 198.

32 MAT115A-21 COMPLETE LECTURE NOTES 32 Theorem 10: Divisibility of Integer Combinations (Rosen Theorem 1.9) Suppose that a, b, m, n are integers. If c a and c b, then c (ma + nb). Proof. Since c a, there exists some integer e such that ce = a. Similarly since c b, there exists some integer f such that cf = b. Plugging in these equations to the expression ma + nb, we obtain ma + nb = m(ce) + n(cf) = c(me + nf). Hence there is some integer, namely me + nf, such that c(me + nf) = ma + nb. Therefore c (ma + nb). Example 34: Divisibility of Integer Combinations (Rosen Example 1.32) We have that 3 21 and that 3 33, so by Theorem 10 we have that 3 6, since = = 6. Theorem 11: The Division Algorithm (Rosen Theorem 1.10) If a and b are integers with b > 0 (called the dividend and the divisor, respectively), then there exist unique integers q and r (called the quotient and remainder, respectively) such that a = bq + r and 0 r < b. Proof. Let a and b be integers with b > 0. (Existence). Define T = {a bk k Z and a bk 0}. If we consider the rational number a/b, there always exists an integer l Z such that l < a/b. In this case, we have l < a/b = bl < a = 0 < a bl. Therefore a bl T, so T is nonempty. By Theorem 2, it follows that T has a least element which we will denote by r = a bq T. These integers q and r will be our quotient and remainder, respectively, but we need to show that the desired properties hold. Since T only consists of nonnegative integers, it follows by construction that r 0. Now suppose, for contradiction, that r b. Then we compute r b = a bq b = a b(q + 1) 0. But this means that a b(q + 1) T, and since b > 0, we have that a b(q + 1) = r b < r, which contradicts that r is the least element of T. Therefore we have that 0 r < b. Then we have r = a bq = a = r + bq Therefore the integers q and r satisfy the desired conditions for the quotient and remainder.

33 MAT115A-21 COMPLETE LECTURE NOTES 33 (Uniqueness). Suppose we have two pairs of integers r 1, q 1 and r 2, q 2 such that 0 r 1, r 2 < b and a = q 1 b + r 1 a = q 2 b + r 2. Subtracting the second equation from the first yields 0 = (q 1 q 2 )b + (r 1 r 2 ) = r 2 r 1 = b(q 1 q 2 ). However we have that 0 r 1, r 2 < b, and hence that 0 r 2 < b b < r 1 0 = b < r 2 r 1 < b. Putting the equation and the inequalities together yields b < b(q 1 q 2 ) < b = 1 < q 1 q 2 < 1. Since q 1, q 2 Z and the only integer strictly between 1 and 1 is 0, we have that q 1 q 2 = 0 = q 1 = q 2. Plugging this back into the equation above, we obtain r 2 r 1 = b(q 1 q 2 ) = r 2 r 1 = 0 = r 1 = r 2. Therefore we have that r 1 = r 2 and q 1 = q 2, so indeed the quotient and remainder are unique. Corollary 1: Division with Remainder for all Divisors If a and b are integers with b 0 (the dividend and the divisor), then there exist unique integers q and r (the quotient and remainder) such that a = bq + r and 0 r < b. Proof. (Case 1 ). If b > 0, then we simply apply the division algorithm (Theorem 11) as stated. (Case 2 ). If b < 0, then we apply the division algorithm (Theorem 11) to b to obtain unique integers q and r such that a = q( b) + r and 0 r < b = b. Then moving the negative sign to q, we obtain unique integers q and r such that a = ( q)b + r and 0 r < b, as desired. Note 17: Nomenclature Sometimes the division algorithm is also known as division with remainder.

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

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

More information

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

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

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

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

CHAPTER 8: EXPLORING R

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

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

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

More information

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

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

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

More information

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

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

More information

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

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

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

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

More information

MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.

MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2. MATH 55 - HOMEWORK 6 SOLUTIONS Exercise Section 5 Proof (a) P () is the statement ( ) 3 (b) P () is true since ( ) 3 (c) The inductive hypothesis is P (n): ( ) n(n + ) 3 + 3 + + n 3 (d) Assuming the inductive

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

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

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

Week Some Warm-up Questions

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

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Principles of Real Analysis I Fall I. The Real Number System

Principles of Real Analysis I Fall I. The Real Number System 21-355 Principles of Real Analysis I Fall 2004 I. The Real Number System The main goal of this course is to develop the theory of real-valued functions of one real variable in a systematic and rigorous

More information

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

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

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

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

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

More information

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

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

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

More information

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

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

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

1 Basic Combinatorics

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

More information

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

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

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

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

Review 1. Andreas Klappenecker

Review 1. Andreas Klappenecker Review 1 Andreas Klappenecker Summary Propositional Logic, Chapter 1 Predicate Logic, Chapter 1 Proofs, Chapter 1 Sets, Chapter 2 Functions, Chapter 2 Sequences and Sums, Chapter 2 Asymptotic Notations,

More information

Finite and Infinite Sets

Finite and Infinite Sets Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following

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

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.

More information

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

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

Introduction to Abstract Mathematics

Introduction to Abstract Mathematics Introduction to Abstract Mathematics Notation: Z + or Z >0 denotes the set {1, 2, 3,...} of positive integers, Z 0 is the set {0, 1, 2,...} of nonnegative integers, Z is the set {..., 1, 0, 1, 2,...} of

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

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

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

More information

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

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

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

More information

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

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

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

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

Math Circle: Recursion and Induction

Math Circle: Recursion and Induction Math Circle: Recursion and Induction Prof. Wickerhauser 1 Recursion What can we compute, using only simple formulas and rules that everyone can understand? 1. Let us use N to denote the set of counting

More information

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

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

More information

Countability. 1 Motivation. 2 Counting

Countability. 1 Motivation. 2 Counting Countability 1 Motivation In topology as well as other areas of mathematics, we deal with a lot of infinite sets. However, as we will gradually discover, some infinite sets are bigger than others. Countably

More information

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

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

More information

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

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

Chapter 1 The Real Numbers

Chapter 1 The Real Numbers Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus

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

Numbers, sets, and functions

Numbers, sets, and functions Chapter 1 Numbers, sets, and functions 1.1. The natural numbers, integers, and rational numbers We assume that you are familiar with the set of natural numbers the set of integers and the set of rational

More information

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm.

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm. Announcements CS43: Discrete Structures Sequences, Summations, and Cardinality of Infinite Sets Işıl Dillig Homework is graded, scores on Blackboard Graded HW and sample solutions given at end of this

More information

Axioms for Set Theory

Axioms for Set Theory Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:

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

Math 3450 Homework Solutions

Math 3450 Homework Solutions Math 3450 Homework Solutions I have decided to write up all the solutions to prolems NOT assigned from the textook first. There are three more sets to write up and I am doing those now. Once I get the

More information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real

More information

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 105A HW 1 Solutions

Math 105A HW 1 Solutions Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S

More information

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

REVIEW FOR THIRD 3200 MIDTERM

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

More information

Introduction to Decision Sciences Lecture 6

Introduction to Decision Sciences Lecture 6 Introduction to Decision Sciences Lecture 6 Andrew Nobel September 21, 2017 Functions Functions Given: Sets A and B, possibly different Definition: A function f : A B is a rule that assigns every element

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

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

Real Analysis - Notes and After Notes Fall 2008

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

More information

The integers. Chapter 3

The integers. Chapter 3 Chapter 3 The integers Recall that an abelian group is a set A with a special element 0, and operation + such that x +0=x x + y = y + x x +y + z) =x + y)+z every element x has an inverse x + y =0 We also

More information

Structure of R. Chapter Algebraic and Order Properties of R

Structure of R. Chapter Algebraic and Order Properties of R Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions

More information

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

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

More information

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

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

More information

Sets, Models and Proofs. I. Moerdijk and J. van Oosten Department of Mathematics Utrecht University

Sets, Models and Proofs. I. Moerdijk and J. van Oosten Department of Mathematics Utrecht University Sets, Models and Proofs I. Moerdijk and J. van Oosten Department of Mathematics Utrecht University 2000; revised, 2006 Contents 1 Sets 1 1.1 Cardinal Numbers........................ 2 1.1.1 The Continuum

More information

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

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

More information

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

Math 511, Algebraic Systems, Fall 2017 July 20, 2017 Edition. Todd Cochrane

Math 511, Algebraic Systems, Fall 2017 July 20, 2017 Edition. Todd Cochrane Math 511, Algebraic Systems, Fall 2017 July 20, 2017 Edition Todd Cochrane Department of Mathematics Kansas State University Contents Notation v Chapter 0. Axioms for the set of Integers Z. 1 Chapter 1.

More information

Chapter 2 - Basics Structures

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

More information

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

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

2. Two binary operations (addition, denoted + and multiplication, denoted

2. Two binary operations (addition, denoted + and multiplication, denoted Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between

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

Functions. Given a function f: A B:

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

More information

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1 22M:132 Fall 07 J. Simon Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1 Chapter 1 contains material on sets, functions, relations, and cardinality that

More information

We want to show P (n) is true for all integers

We want to show P (n) is true for all integers Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to

More information

Topology Math Conrad Plaut

Topology Math Conrad Plaut Topology Math 467 2010 Conrad Plaut Contents Chapter 1. Background 1 1. Set Theory 1 2. Finite and Infinite Sets 3 3. Indexed Collections of Sets 4 Chapter 2. Topology of R and Beyond 7 1. The Topology

More information

Solutions to Homework Set 1

Solutions to Homework Set 1 Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement

More information

Chapter 0. Introduction: Prerequisites and Preliminaries

Chapter 0. Introduction: Prerequisites and Preliminaries Chapter 0. Sections 0.1 to 0.5 1 Chapter 0. Introduction: Prerequisites and Preliminaries Note. The content of Sections 0.1 through 0.6 should be very familiar to you. However, in order to keep these notes

More information

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

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets) MTH299 - Homework 1 Question 1. exercise 1.10 (compute the cardinality of a handful of finite sets) Solution. Write your answer here. Question 2. exercise 1.20 (compute the union of two sets) Question

More information

Full file at

Full file at INSTRUCTOR S SOLUTIONS MANUAL to accompany ELEMENTARY NUMBER THEORY AND ITS APPLICATIONS FIFTH EDITION Bart Goddard Kenneth H. Rosen AT&T Labs This work is protected by United States copyright laws and

More information

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

More information

Divisibility = 16, = 9, = 2, = 5. (Negative!)

Divisibility = 16, = 9, = 2, = 5. (Negative!) Divisibility 1-17-2018 You probably know that division can be defined in terms of multiplication. If m and n are integers, m divides n if n = mk for some integer k. In this section, I ll look at properties

More information

Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases

Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases September 22, 2018 Recall from last week that the purpose of a proof

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

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality. Some harder problems on cardinality. These are two series of problems with specific goals: the first goal is to prove that the cardinality of the set of irrational numbers is continuum, and the second

More information

Solutions to Homework Assignment 2

Solutions to Homework Assignment 2 Solutions to Homework Assignment Real Analysis I February, 03 Notes: (a) Be aware that there maybe some typos in the solutions. If you find any, please let me know. (b) As is usual in proofs, most problems

More information

Mathematics Review for Business PhD Students

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

More information