Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Size: px
Start display at page:

Download "Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr."

Transcription

1 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 Conditional and Biconditional Statements.4 Logical Arguments.5 Open Statements and Quantifiers Notes: Statement: a sentence that can be assigned a truth value. Example: 5 is an odd number. Example: 6 is an odd number. Negation: If P represents a statement, P represents the statement with the opposite truth value. Compound statements can be formed with the logical connectives and, or, implies, if and only if. The truth value of a compound statement is determined by truth tables. These are arbitrary rules which everyone agrees on. In P = Q, P is called the hypothesis and Q is called the conclusion. Equivalences: for example, DeMorgan s Laws. Statements derived from P = Q: Converse, inverse, contrapositive. Necessary versus sufficient. Avoid using vague terms subject to misinterpretation. Logical argument: Given premises P through P n, deduce conclusion C. The argument is valid if and only if the statement P P n = C is true for all truth values assigned to the variables. Illustrate by proving that the sum of two odd numbers is an even number. Premises: m and n are odd. Conclusion: m + n is even. A quantified statement P (x, y, z,... ) whose truth depends on the value of the variables x, y, z,.... Associated ideas: universe of variable values, universal and existential statements and their negation.

2 Chapter 2: Deductive Mathematical Systems and Proofs Topics: 2. Deductive Mathematical Systems 2.2 Mathematical Proofs 2.2. Techniques for proving P = Q Additional Proof Techniques Conjectures, Proofs, and Disproofs The System of Rational Numbers and the System of Real Numbers Notes: Many mathematical theorems are stated in the following form: Theorem: n : P (n) = Q(n). Proof: Let n be an arbitrary element of the universe. Assume P (n) is true. Then argue that Q(n) is true. Define even numbers as natural numbers ending in a digit in {0, 2, 4, 6, 8}. Define odd numbers as natural numbers ending in a digit in {, 3, 5, 7, 9}. Every number is either even or odd, and cannot be both. Here are some typical theorems about natural numbers: Theorem: Every even natural number can be written in the form 2k for some k N. Logical Form: n : n is even = k N : n = 2k. Proof: Let n be given. If n is odd, the implication is true. If n is even, then by definition n = 0a + b where b {0, 2, 4, 6, 8}, and in every case n = 2k for some k N. Theorem: Every odd natural number can be written in the form 2k + for some k N. Logical Form: n : n is odd = k N : n = 2k +. Proof: Similar. Theorem: The square of an even number is even. Logical form: n Z : n is even = n 2 is even. Proof: Let n be given. If n is odd, the implication is true. If n is even, we must show that n 2 is also even. It is: n 2 = (2k) 2 = 2(2k 2 ). 2

3 This is a direct proof. Theorem: If the square of a number is even, the number must be even. Logical Form: n : n 2 even = n even. Proof: Let n be given. Assume n 2 is even. If n is odd then n 2 = (2k + ) 2 = 4k 2 + 4k + is odd, a contradiction, therefore n is even. The idea behind proof by contradiction is that a statement must be true or false. If a choice of truth value forces another statement to have both truth values, the choice is wrong. Another way to prove this theorem is to note that it is logically equivalent to its contrapositive, then to prove the contrapositive statement. Rational numbers are quotients of integers. Real numbers are numbers with decimal expansions. Theorem: 2 is not a rational number. Logical Form: a : b 0 : 2 a b. Proof: Let a and b be given. Suppose 2 = a. Let k be the largest common b factor of a and b, so that a = ka and b = kb where A and B have no common factor. Then 2 = A, and after cross-multiplying and examining the results, B we can see that A and B have common factor 2, a contradiction. Therefore 2 a. b 3

4 Chapter 3: Set Theory Topics: 3. Sets and Subsets 3.2 Set Operations 3.3 Additional Set Operations 3.4 Generalized Set Union and Intersection Terminology: set, element. List elements or give rule for belonging. When x is a variable and P (x) is a statement about x, then by {x : P (x)} we mean the set of all x for which P (x) is true. Empty set. Russell s Paradox: The set A = {} satisfies A A. Now consider the expression S = {A A A}. Then either S S or S S, both of which lead to a contradiction. So our idea of what constitutes a set is not well-defined. Interval notation. Union, intersection, set difference, complement. Set Inclusion: Quantified definitions of A B and A = B. Logical proofs of set statements, for example DeMorgan s Laws and others stated in review section. Indexed sets and their use in forming unions and intersections. Ordered pairs and the cartesian product of two sets. Ordered pair definition is (a, b) = {{a}, {a, b}}. Power set. 4

5 Chapter 4: Relations Topics: 4. Relations 4.2 The Order Relations <,, >, 4.3 Reflexive, Symmetric, Transitive, and Equivalence Relations Supplementary: the ring Z n. Notes: We will skip most of Section 4. and Section 4.2, and introduce some supplementary material. Let A and B be sets. A relation from A to B is any subset R of A B. Domain, codomain, range. Let A and B be sets. A function from A to B is relation f with the additional property that if (a, b) f and (a, c) f then b = c. In this case, we can use the notation f(a) to denote the second coordinate. We will study functions in more detail in Chapter 5. Relation on a set S: a subset R of S S. arb if and only (a, b) R. Often written a b. Reflexivity, symmetry, transitivity. Examples of relations: <,, a b, etc. Equivalence relation: reflexive, symmetric, transitive. How to remember these properties: () Alphabetical order R,S,T. (2) Number of elements involved,2,3. An equivelence relation: a b iff 3 (a b). Not an equivalence relation: A B iff A B. When is an equivalence relation, we can define equivalence classes. Theorem: a b [a] = [b]. Corollary: The set of distinct equivalence classes partitions the set. Example: Congruence modulo n partitions all integers into n equivalence classes. To decide which class a number falls in, find the remainder after division by n. In the case of a negative number, add n. The Ring Z n : Given [a] and [b] where 0 a, b {0,,..., n }, define [a] + [b] = [a + b] and [a][b] = [ab], where 0 a, b < n. 5

6 Theorem: The associative properties hold for addition and multiplication. Proof: () We have [a] + ([b] + [c]) = [a] + [r] = [a + r] and ([a] + [b]) + [c] = [s]+[c] = [s+c] where r, s {0,,..., n }. We must show [a+r] = [s+c]. Write b + c r = nj and a + b s = nk. Then (a + r) (s + c) = (a + b + c nj) (a + b nk + c) = nk nj = n(k j), as desired. (2) We have [a]([b][c]) = [a][bc] = [a][r] = [ar] and ([a][b])[c] = [s][c] = [sc] where r, s {0,,..., n }. We must show [ar] = [sc]. Write bc r = nj and ab s = nk. Then ar sc = a(bc nj) (ab nk)c = anj nkc = n(aj kc), as desired. Theorem: The distributive property holds. Proof: We have [a]([b]+[c]) = [a][b+c] = [a(b+c)] = [ab+ac] = [ab]+[ac] = [a][b] + [a][c]. Additive and multiplicative identities: [0] and []. Zero property: [0]x = [0] for all x Z n. An equation: solve [2]x + [3] = [4] when n = 5. Solution: Adding [2] to both sides, [2]x = [6]. Multiplying both sides by [3], [6]x = [8]. Therefore []x = [8] therefore x = [8] = [3]. An equation with no solution: [2]x = [3] when n = 6. Reason: suppose there is a solution. Multiplying through by [3], [0]x = [9], therefore [0] = [9], a contradiction. 6

7 Chapter 5: Functions Topics: 5. Functions 5.2 Onto Functions, One-to-One Functions, and One-to-One Correspondences 5.3 Inverse of a Function 5.4 Images and Inverse Images Notes: Function was defined in Chapter 4. Review the definition. Domain, codomain, range, image, inverse image. The quantified definitions of injective, surjective, and bijective function. Composition of functions. Associative property. A composition of injections is injective. A composition of surjections is surjective. A composition of bijections is bijective. (This last is useful for proving that two sets are in the same cardinality class.) Cancellation laws. The inverse of a bijective function. 7

8 Chapter 6: Mathematical Induction Topics: 6. Mathematical Induction 6.2 The Well-Ordering Principle and the Fundamental Theorem of Arithmetic Notes: Mathematical Induction: Let the universe be U = {n Z : n a}. The statement n : P (n) is equivalent to the statement P (a) ( n : P (n) = P (n + )). Base case is P (a), induction hypothesis is P (n). Examples: Sum of consecutive integers. Sum of consecutive powers. Number of subsets of a set. Example: For x 0 and n N, ( + x) n + nx. Strong Mathematical Induction: Let the universe be U = {n Z : n a}. The statement n : P (n) is equivalent to the statement P (a) ( n : P () P (n) = P (n + )). Base case is P (a), induction hypothesis is P () P (n). Applications of Mathematical Induction: Some Number Theory Review the definitions of natural number and integer. Define greatest common divisor of two natural numbers. Theorem: When a > b, gcd(a, b) = gcd(a b, b). Proof: Any common divisor of a and b is a common divisor of a b and b, and vice-versa. Theorem: Given a, b N there exist x, y Z such that gcd(a, b) = ax + by. 8

9 Proof: By strong induction on a + b. Base case is trivial using a = b =, x =, y = 0. Assume true whenever a + b < n. Now suppose a + b = n. If a = b we can use x =, y = 0. If a > b, we have gcd(a, b) = gcd(a b, b) = (a b)x + by = ax + b(y x). Use a similar argument if a < b. Prime number: A natural number with exactly two divisors. Corollary: When a, p N and p is prime and p a, there is a solution to ax + pb =. Theorem: If p ab and p is prime then p a or p b. Proof: If p a, we re done. If p a, write ab = pk. Then px + ay = pxb + aby = b pxb + pky = b p b. Corollary: If p a a n then p a i for some i. Proof: Induction on n. Theorem: Every n 2 is prime or a product of primes. Proof: By induction on n. Base case n = 2 is true. Assume for all integers n. If n + is prime, fine. If it is not prime, factor as two integers in {2,..., n}. Each factor prime or a product of primes, hence so is n +. Theorem: There are infinitely many primes. Proof: If not, let the primes be p,..., p n. Then x = p p n + is divisible by one of these. Contradiction. Theorem: If p,..., p m and q,..., q n are primes and p p m = q q n then both lists contain the same distribution of primes. Proof: By induction on m. When m =, p q i for some i, which forces p = q i. Dividing through by p we see that there are no other q j since their product is greater than. 9

10 Now assume true for a given m. Suppose p p m+ = q q n. Then p = q i for some i. Dividing through by p, we can use the induction hypothesis to say that the remaining prime distributions are the same. Theorem: 2 is irrational. Proof: Suppose 2 = p p m q q n. Then 2q 2 q 2 n = p 2 p 2 m. This is impossible because 2 appears an odd number of times on the left and an even number of time on the right. Theorem: (75) 3 is irrational. Proof: At some point we get to q 3 q 3 n = p 3 p 3 m. Impossible because the left product contains + 3j factors of 3 and the right product contains 3k factors of 3, therefore + 3j = 3k, a contradiction. Or: the left product contains 2+3j factors of 5 and the right product contains 3k factors of 5, therefore 2 + 3j = 3k, a contradiction. 0

11 Chapter 7: Cardinalities of Sets Topics: 7. Finite Sets 7.2 Denumerable and Countable Sets 7.3 Uncountable Sets Notes: This chapter does not contain a chapter review. Definition: A is a finite set if and only if there is a bijection f : A {, 2,..., n} for some n. Notation: A = n. Counting the elements of A gives rise to f. Definition: A is an infinite set if and only if it is not a finite set. Definition: A is a countably infinite set (denumerable set) if and only if there there is a bijection f : A N. Notation: A = ℵ 0. Note that A = ℵ 0 if and only if it is possible to list the elements of A sequentially. Examples of countably infinite sets: N, Z, kn, N N (one way to do this is to organize the pairs (a, b) by the size of a + b). Theorem: P (N) ℵ 0. Proof: Let S, S 2, S 3,... be any infinite sequence of distinct subsets of N. Then the set X = {n N : n S n } is not any of these sets. So you cannot list all the subsets of N sequentially. Theorem: If a, a 2, a 3,... is an infinite sequence, and if A = {a i : i N} is infinite, then A is countably infinite. Proof: The list of distinct elements in A is a n, a n2, a n3,..., where n < n 2 < n 3 <. Corollary: Q is countably infinite. Proof: List the elements of N N sequentially as (a, b ), (a 2, b 2 ), (a 3, b 3 ),.... Then the sequence a b, a 2 b 2, a 3 b 3,...

12 contains all positive rational numbers, therefore Q + = { a i b i : i N} is countable, therefore Q is contable. Theorem: If A is countably infinite and B A is infinite, then B is countably infinite. Proof: If the elements of A are a, a 2, a 3,... then the elements of B are a n, a n2, a n3,... where n < n 2 < n 3 <. Theorem: c ℵ 0. Proof: If suffices to show that R contains a subset X that is not countably infinite. Let X be the set of real numbers of the form 0.a a 2 a 3, where a i {0, } for each i. There is a one-to-one corerspondence between X and P (N). Since P (N) is not countably infinite, neither is X. Theorem: If A = ℵ 0 and B = ℵ 0 then A B = ℵ 0. Proof: The elements of A B can be listed a, b, a 2, b 2,.... Corollary: The set of irrational numbers is not countably infinite. Proof: Since k 2 is irrational for all k N, there are infinitely many irrational numbers. Let I be the set of irrational numbers. If I = ℵ 0 then since R = I Q, c = ℵ 0, a contradiction. Therefore I ℵ 0. Theorem: If A = ℵ 0 and B = ℵ 0 then A B = ℵ 0. Proof: Q Q = {(i, j ), (i 2, j 2 ), (i 3, j 3 ),... } A B = {(a i, b j ), (a i2, b j2 ), (a i3, b j3 ),... }. Equivalence class on sets: A B if and only if there is a bijection f : A B. Definition: A = B if and only if A B. We say that A and B have the same cardinality iff A = B. Definition: A B if and only if there is an injective function f : A B. So for example N < P (N) and N < c. Some facts about cardinality: () A B and B C implies A C. Reason: composition of injective functions. 2

13 (2) A = B and B = C implies A = C. Reason: composition of bijective functions. (3) A = A and B = B implies A B = A B. Reason: it s easy to construct a bijection. (3) A B and B A implies A = B. This is called the Schroeder- Bernstein Theorem. Proof of Schroeder-Bernstein Theorem: Let f : A B and g : B A be injective. Let A be the elements in A not in the range of g. Then set A 2 = g(f(a )), A 3 = g(f(a 2 ), A 4 = g(f(a 3 )), etc. Define h : A B by { f(a) a A i for some i h(a) = g (a) a A i for all i. h is injective: Suppose h(a ) = h(a 2 ). Case : f(a ) = f(a 2 ). Then a = a 2. Case 2: f(a ) = g (a 2 ). Then g(f(a )) = a 2. So we have a A i for some i, which places a 2 A i+, which is not possible. So this case does not occur. Case 3: g (a ) = f(a 2 ). Not possible either. Case 4: g (a ) = g (a 2 ). Then a = a 2. h is surjective: Let b B be given. Then g(b) A. Case : g(b) A i for all i. Then h(g(b)) = g (g(b)) = b. Case 2: g(b) A i for some i 2. Then g(b) = g(f(a)) for some a A i, therefore b = f(a). Theorem: [0, ) = P (N). Proof: P (N) is equinumerous with binary sequences, which can be mapped injectively into [0, ) using a decimal expansions. Conversely, each x [0, ) has a decimal expansion, and we can uniquely encode 0.b b 2 b 3 by a string of 0s and s (first 0 digits encodes b, second 0 digits encodes b 2, etc), hence [0, ) can be injectively mapped into binary sequences, hence into P (N). Notation: R = c. Theorem: c = [0, ). 3

14 Proof: [0, ) can be bijectively mapped into (0, ] via x x, and (0, ] can be bijectively mapped into [0, ) via x. So we have x [0, ) [0, ). We also have (0, ) R via x ln x. To complete the proof, we just need to show [0, ) (0, ). We use the following lemma. Lemma: If X is infinite and x 0 X then X X {x 0 }. Proof: Choose a sequence of elements x, x 2, x 3,... distinct from x 0. Define f : X X {x 0 } via { x x x i for all x f(x) = x i+ x = x i. One can check that f is a bijection. Corollary: P (N) = c. Cantor s Theorem: For all sets A, A < P (A). Proof: The injection that establishes A P (A) is a {a}. Now suppose A = P (A). Then we have P (A) = {f(a) : a A} for some bijection f : A P (A). Let X = {a A : a f(a)} P (A). If X = f(b) then b X b f(b), so X f(b), a contradiction. Hence A P (A). It is not known whether or not there exists a set X such that ℵ 0 < X < c. Continuum Hypothesis: No such X exists. Generalized Continuum Hypothesis: For all infinite sets A, there is no set X satisfying A < X < P (X). Exercise: R R R Solution: It suffices to prove B B B, where B is the set of binary sequences. A bijection is (a, b) (a, b, a 2, b 2,... ). 4

15 Chapter 8: Proofs from Real Analysis Topics: 8. Sequences 8.2 Limit Theorems for Sequences 8.3 Monotone Sequences and Subsequences 8.4 Cauchy Sequences Notes: There is no chapter review for this chapter. Also, we will skip the material on Cauchy Sequences since it is not put to any use. Trichotomy Law: for all a, b R, either a > b or a = b or a < b. These are mutually exclusive conditions. The absolute value of a rational number: { r r 0 r = r r < 0. Distance between two rational numbers: r s. Triangle Inequalities for Rational Numbers: r + s r + s and r s r s. Proof: r + s = (r + s)θ = rθ + sθ r + s where θ {, }. To prove the second inequality, for any u and v we have Setting u = r s, v = s, we obtain Reversing r and s we obtain u + v v u. r s r s. s r s r = r s. So r s r s. 5

16 Limit of a sequence Let x n R for all n, and let x R. Then we define lim x n = x n if and only if for all ɛ R + there exists N N such that x N x < ɛ, x N+ x < ɛ, x N+2 x < ɛ,.... In other words, x n x < ɛ for all n beyond a certain point. x n x. Notation: Example: lim n = 0. Let ɛ > 0 be given. We want to find N such that n n N implies < ɛ. We can use any natural number N. n ɛ Example: If a R and 0 < a < then lim n a n = 0. Proof: Let ɛ > ( 0 be) given. We wish to find N so that n > N implies a n < ɛ, n or equivalently a >. Write = + b where b > 0. We proved earlier ɛ a ( ) n that a = ( + b) n + nb. We wish to require + nb >. We just ɛ need any natural N satisfying N ɛ b = ɛ a. Example: a = 99 and ɛ =. Our formula yields N(an, ɛ) = 980, a gross overestimate according to the graph below: 0.30 a[n] = n

17 Notation: When (a n ) is a sequence which converges to a limit a we will denote by N(a n, ɛ) a number such that n N(a n, ɛ) = a n a < ɛ. We can summarize our last two examples by saying N( n, ɛ) = ɛ and N(a n, ɛ) = ɛ. a Example of a sequence that does not have a limit: x n = ( ) n. For any x R, every other value of x n x is. Properties of Convergent Sequences Lemma: A convergent sequence is bounded from above and from below. Proof: Suppose a n a. Then for n N, a n a <, which implies a < a n < a +. Therefore for all n we have min(a,..., a N, a ) a n max(a,..., a N, a + ). Sum rule: a k a and b k b implies a k + b k a + b. Details: a k + b k a b a k a + b k b 0. Say that n > N(a n, ɛ) = a n a < ɛ and n > N(b n, ɛ) = b n b < ɛ. Then we can use N(a n + b n, ɛ) = max ( N ( a n, ɛ 2 ), N ( b n, ɛ )). 2 Product rule: a k a and b k b implies a k b k ab. Details: a k b k ab = a k b k ab k + ab k ab a k a b k + a b k b a k a B + A b k b 0 where A and B are positive upper bounds for ( a n ) and ( b n ). We can use N(a n b n, ɛ) = max ( N ( a n, ɛ 2B ), N ( b n, ɛ 2A )). 7

18 Reciprocal rule: a k a and a k, a 0 implies a k. Details: a a k = a a k a a a k a k a 0, assuming a a (/2) a 2 k a. We can use 2 ( ) ( ( N, ɛ = max N a n, a ) )), N (a n, a 2 a n 2 2 ɛ. Quotient rule: a k a and b k b and b k, b 0 implies a k b k a. Details: b this follows from product rule and reciprocal rule. Assuming A is a positive upper bound for ( a k ) and B is a positive upper bound for ( b k ), we can use ( ) ( an ( ɛ ) ( )) ɛ N, ɛ = max N a n,, N,. b n 2B b n 2A Example: Let x n = n 2 5n+. To prove lim n x n = 0 using an ɛ-n argument, apply limit properties to x n = n 2 5 n + n 2. We have N(, ɛ) =, and an upper bound for ( ) is, hence using the n ɛ n product rule we have N( ( n, ɛ) = N 2 n, ɛ ) = 2 2 ɛ. Note that for n 6, 5 n + n 2 > 6, hence x n 0 < 6 n 2. So a solution is N(x n, ɛ) = max(6, 3ɛ ). Example: Let a n = (2 + n )2. To prove that lim n (2 + n )2 = 4 using an ɛ-n argument, observe that for all n. We have n ( 2n Exercise: Compute N )., ɛ n 3 3n 2 3 N(a n, ɛ) = N((2 + /n)(2 + /n), ɛ) = N(2 + n, ɛ 6 ) = N( n, ɛ 6 ) = 6 ɛ. 8

19 Exercise: Assume that (a n ) converges to a and that ( a n ) has positive upper bound A. Prove that for k N, N(a k n, ɛ) = N(a n, ɛ 2 k A k ) (hint: use induction). Using this, find N so that n > N = (2 + n ) < 0. Theorem: Suppose that (x n ) converges to a and (x n ) converges to b. Then a = b. Proof: If a > b then beyond a certain point x n a < a b and x 2 n b < a b which implies that beyond a certain point a b = a b = a x n +x n b a x n + x n b < a b 2 + a b 2 a contradiction. Therefore a b. Similarly, b a, therefore a = b. 2, = a b, Theorem: If a n b n c n for all n and lim n a n = lim n c n = L, then lim n b n = L. Solution: Let ɛ > 0 be given. Beyond a certain point a n > L ɛ and c n < L ɛ, hence L ɛ < a n b n c n < L + ɛ, hence b n L < ɛ. Bounded Monotonic Sequences Definition. Example: Let s n = n 2. The sequence (s n ) is bounded and monotonic increasing. Reason: k s 2 k = + i=0 (2 i + ) + 2 (2 i + 2) (2 i+ ) + k 2 i=0 2 i 2 k = + 22i 2. Hence the subsequence (s 2 k) is bounded above + 2, hence the entire sequence is bounded above by this number since the sequence is increasing. The sequence is plotted below through s

20 Example: Let s n = n. The sequence (s k) is unbounded. Reason: We have s 2 k = + k i=0 2 i i k i+ i=0 2 i 2 i+ = + k 2. Since (s 2 k) is unbounded, (s n ) is unbounded and does not converge. The sequence is plotted below through s Theorem: Every increasing and bounded sequence in R converges to a limit. Proof: Proved in Math

21 Therefore ( n k= ) converges to a limit, which we call k 2 k= shown using methods of complex analysis (Math 5) that k= It can be k 2 = π2 k 2 6 Remark: More generally, every subset of R that has an upper bound has a least upper bound in R. Hence R forms a complete ordered field. This is not true of the rational numbers. For example, the decimal expansion of 2 yields an increasing sequence of rational numbers bounded above by 2 but does not have a rational least upper bound. In fact, the least upper bound is 2, which is irrational. Bolzano-Weierstrass Theorem: Every bounded sequence in R has a convergent subsequence. Proof: If suffices to find a monotonic subsequence. If (x i ) has a a strictly increasing subsequence, we re done. Now suppose (x i ) does not have a strictly increasing subsequence. Then for any k the sequence (x k, x k+,... ) must have a maximum element, otherwise it yields a strictly increasing subsequence of (x i ). Let x k be the maximum element of (x, x 2,..., ), let x k2 be the maximum element of (x k +, x k +2,... ), let x k3 be the maximum element of (x k2 +, x k2 +2,... ). We have x k x k2 x k3, therefore (x ki ) is a decreasing subsequence of (x i ). 2

22 Chapter 9: Proofs from Group Theory Topics: 9. Binary Operations and Algebraic Structures 9.2 Groups Subgroups and Cyclic Groups Notes: Examples of groups: Z 7 under addition, Z 7 under multiplication. Give the operation tables. Group in general: a set and a binary operation on the set. The binary operation must be associative, there must be an identity element, and every element should have an inverse. Some examples of sets with binary opertions are given in Exercises 9., pp Some examples of groups are given in Exercises 9.2, pp Z n is always a group under addition. Z 6 is not a group under multiplication. Reason: identity is [] but [2] does not exist. Z p is always a group under multiplication. Reason: For a p, p a, so there is a solution to px + ay =. Therefore [a][y] = [], and moreover [y] Z p since [y] [0]. Groups also arise as automorphisms of a geometric figure. Example: automorphisms of a square. The elements of the group are functions from {, 2, 3, 4} to {, 2, 3, 4} that preserve the edges 2, 23, 34, 4. The operation table for D 4 shows that the group is not Abelian. For example, σ = (, 2, 3, 4) D 4 and τ = (, 2)(3, 4) D 4, yet στ = (3, )(2, 4) and τσ = ()(2, 4)(3). A subgroup of a group is simply a subset that forms its own group using the same group operation. Cyclic subgroup generated by g: g = {g n : n Z}. Cyclic subgroups are always abelian. (, 2, 3, 4) is an abelian subgroup of S 4. D 4 is a non-abelian subgroup of S 4. 22

23 Some examples of subgroups are given in Exercises 9.3, pp We can derive theorems about numbers by thinking in terms of groups. For example, given any g in a finite group G, the list g, g 2, g 3,... must eventually repeat itself, so that g i = g j where i < j, which implies g j i = e. The least positive value of k such that g k = e is called the order of g. It is a theorem that o(g) o(g) when G is finite. To prove this, form the function σ : G G via σ(a) = ga. Then σ is a permutation. If we write it in cycle structure, we will see that all the cycles have length equal to o(g). Since all the elements of G are present in the cycles, O(G) = k o(g) where k is the number of cycles of σ. Example: Let G = Z 7 and g = [2]. Then σ = ([], [2], [4])([3], [6], [5]). We can see that o(g) = 3 divides o(g) = 6. There are some order problems in Exercises

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

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

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

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

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

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

Foundations Revision Notes

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

More information

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

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

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

More information

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

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

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

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

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

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

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

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

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

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

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

Fundamentals of Pure Mathematics - Problem Sheet

Fundamentals of Pure Mathematics - Problem Sheet Fundamentals of Pure Mathematics - Problem Sheet ( ) = Straightforward but illustrates a basic idea (*) = Harder Note: R, Z denote the real numbers, integers, etc. assumed to be real numbers. In questions

More information

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

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

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

More information

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

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

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

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

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

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

INFINITY: CARDINAL NUMBERS

INFINITY: CARDINAL NUMBERS INFINITY: CARDINAL NUMBERS BJORN POONEN 1 Some terminology of set theory N := {0, 1, 2, 3, } Z := {, 2, 1, 0, 1, 2, } Q := the set of rational numbers R := the set of real numbers C := the set of complex

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

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

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

More information

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

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

More information

Section 0. Sets and Relations

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

More information

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

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

More information

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1. Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence

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

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

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

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

A Semester Course in Basic Abstract Algebra

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

More information

A Logician s Toolbox

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

More information

Topics in Logic and Proofs

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

More information

Definitions & Theorems

Definitions & Theorems Definitions & Theorems Math 147, Fall 2009 December 19, 2010 Contents 1 Logic 2 1.1 Sets.................................................. 2 1.2 The Peano axioms..........................................

More information

ABOUT THE CLASS AND NOTES ON SET THEORY

ABOUT THE CLASS AND NOTES ON SET THEORY ABOUT THE CLASS AND NOTES ON SET THEORY About the Class Evaluation. Final grade will be based 25%, 25%, 25%, 25%, on homework, midterm 1, midterm 2, final exam. Exam dates. Midterm 1: Oct 4. Midterm 2:

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

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

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

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 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.

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

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS Combinatorics Go over combinatorics examples in the text Review all the combinatorics problems from homewor Do at least a couple of extra

More information

Discrete Mathematics. Benny George K. September 22, 2011

Discrete Mathematics. Benny George K. September 22, 2011 Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and

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

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

Part IA. Numbers and Sets. Year

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

More information

Foundations of Discrete Mathematics

Foundations of Discrete Mathematics Foundations of Discrete Mathematics Chapter 0 By Dr. Dalia M. Gil, Ph.D. Statement Statement is an ordinary English statement of fact. It has a subject, a verb, and a predicate. It can be assigned a true

More information

Discrete Mathematics

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

More information

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

Week 2: Sequences and Series

Week 2: Sequences and Series QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime

More information

Solutions to Assignment 1

Solutions to Assignment 1 Solutions to Assignment 1 Question 1. [Exercises 1.1, # 6] Use the division algorithm to prove that every odd integer is either of the form 4k + 1 or of the form 4k + 3 for some integer k. For each positive

More information

MAT115A-21 COMPLETE LECTURE NOTES

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

More information

HANDOUT AND SET THEORY. Ariyadi Wijaya

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

More information

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

Introduction to Real Analysis

Introduction to Real Analysis Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

MATH 2200 Final Review

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

More information

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

A Short Review of Cardinality

A Short Review of Cardinality Christopher Heil A Short Review of Cardinality November 14, 2017 c 2017 Christopher Heil Chapter 1 Cardinality We will give a short review of the definition of cardinality and prove some facts about the

More information

MATH 3300 Test 1. Name: Student Id:

MATH 3300 Test 1. Name: Student Id: Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your

More information

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

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

More information

There are seven questions, of varying point-value. Each question is worth the indicated number of points.

There are seven questions, of varying point-value. Each question is worth the indicated number of points. Final Exam MAT 200 Solution Guide There are seven questions, of varying point-value. Each question is worth the indicated number of points. 1. (15 points) If X is uncountable and A X is countable, prove

More information

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati Important 1. No questions about the paper will be entertained during

More information

Math 109 September 1, 2016

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

More information

NUMBERS. Michael E. Taylor

NUMBERS. Michael E. Taylor NUMBERS Michael E. Taylor Contents 1. Peano arithmetic 2. The integers 3. Prime factorization and the fundamental theorem of arithmetic 4. The rational numbers 5. Sequences 6. The real numbers 7. Irrational

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

Set, functions and Euclidean space. Seungjin Han

Set, functions and Euclidean space. Seungjin Han Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,

More information

Some Basic Notations Of Set Theory

Some Basic Notations Of Set Theory Some Basic Notations Of Set Theory References There are some good books about set theory; we write them down. We wish the reader can get more. 1. Set Theory and Related Topics by Seymour Lipschutz. 2.

More information

Cardinality and ordinal numbers

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

More information

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

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

More information

REVIEW OF ESSENTIAL MATH 346 TOPICS

REVIEW OF ESSENTIAL MATH 346 TOPICS REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations

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

1 of 8 7/15/2009 3:43 PM Virtual Laboratories > 1. Foundations > 1 2 3 4 5 6 7 8 9 6. Cardinality Definitions and Preliminary Examples Suppose that S is a non-empty collection of sets. We define a relation

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

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

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

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime. PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

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

Logic. Facts (with proofs) CHAPTER 1. Definitions

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

More information

Solutions to Practice Final

Solutions to Practice Final s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (

More information

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

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

More information

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

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

1 Take-home exam and final exam study guide

1 Take-home exam and final exam study guide Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number

More information

Infinite constructions in set theory

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

More information

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.

More information

MATH1240 Definitions and Theorems

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

More information

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