Proof: A logical argument establishing the truth of the theorem given the truth of the axioms and any previously proven theorems.


 Kenneth Summers
 2 years ago
 Views:
Transcription
1 Math Discrete Math 2.1 Direct Proofs and Counterexamples Notes Axiom: Proposition that is assumed to be true. Proof: A logical argument establishing the truth of the theorem given the truth of the axioms and any previously proven theorems. Theorem: Proposition that requires a proof. Lemma: Theorem that is not interesting on its own, but helps prove another theorem. Corollary: Theorem that follows directly from another theorem. The proof should be obvious. Theorems are usually of the form: x 1, x 2,..., x n, p(x 1, x 2,..., x n ) q(x 1, x 2,..., x n ). To prove this kind of statement directly (aka direct proof): (1) Assume x 1, x 2,..., x n are arbitrary in the domain of discourse. (2) Assume p(x 1, x 2,..., x n ) is true. (3) Show q(x 1, x 2,..., x n ) is true. 1
2 PROOF EXAMPLES... Consider these definitions: (1) An integer n is even if k Z such that n = 2k. (2) An integer n is odd if k Z such that n = 2k + 1. (3) An integer n is divisible by an integer k if m Z such that n = km. Prove the statement: m, n Z, if m, n are odd then then m + n is even. proof: Let m, n be odd integers. Then k 1, k 2 Z such that m = 2k and n = 2k Then m + n = (2k 1 + 1) + (2k 2 + 1) = 2k 1 + 2k = 2(k 1 + k 2 + 1). So m + n is even by definition since k 1 + k Z Prove the statement: m, n Z, if m, n are divisible by 3, then mn is divisible by 9. proof: Let m, n Z be divisible by 3. Then k 1, k 2 Z such that m = 3k 1 and n = 3k 2. Then mn = (3k 1 )(3k 2 ) = 9k 1 k 2. mn is divisible by 9 by definition since k 1 k 2 Z
3 Prove the statement: For all sets X, Y, Z prove that if X Y = X Z and X Y = X Z then Y = Z. proof: Let X, Y, Z be sets. Assume X Y = X Z and X Y = X Z. We need to show that Y and Z are subsets of each other: (Y is a subset of Z) Let y Y. Then y X Y. So y X Z. That means y X or y Z. If y Z there is nothing to show. Suppose y X. Then y X Y. So y X Z. Thus both cases in the disjunction lead to y Z. Hence Y Z. (Z is a subset of Y ) Reversing the argument should be obvious by symmetry. Therefore Y = Z. In this next example, the variables are real numbers: Prove the statement: ɛ > 0, M > 0 such that x > M 1 x 2 < ɛ. proof: Let ɛ > 0 be a real number. Set M = ɛ 1 2. Then x > M = 1 ɛ x < ɛ x 2 < ɛ. To disprove a universally quantified statement all that is needed is one counterexample. Disprove: For all sets X, Y we have that P(X Y ) P(X) P(Y ). Here is a counterexample. Let X = {1} and Y = {2}. Then X Y = {1, 2} P(X Y ). However, X Y P(X) and X Y P(Y ). Therefore X Y P(X) P(Y ).
4 Prove or disprove: For all sets X, Y we have that X Y = X Y. This statement is false. Lets find a counterexample. Let the universe for both X, Y be {1, 2} and thus U U contains (0, 0), (0, 1), (1, 0), (1, 1). Take both X and Y to be {1}. This gives us our counterexample. Prove or disprove: If two out of three integer terms in an equation are divisible by k N then the other term is as well. proof: Assume a and b are two of the three integer terms. By properties of equivalent equations, the equation can be solved for the third term. Then c, the third term equals a ± b or b ± a, which are both divisible by k using distribution. This is often called the 2 out of 3 principle. What about the following statement (ELFR): For all sets X, Y we have that X Y = (X Y ) (X Y ) (X Y ).
5 2.2 More Methods of Proof A proof by contradiction establishes that p is true by assuming that p is false and arriving at a contradiction, which is any proposition of the form r r. Formally, this indirect proof method is justified by the logical equivalence: p (( p) (r r)). Prove for all integers n, if n 2 is divisible by 5 then so is n. proof: Let n be an integer with n 2 divisible by 5. Assume that n is not divisible by 5. Then k Z and r {1, 2, 3, 4}, n = 5k + r. Then n 2 = 25k kr + r 2 and since r 2 is not divisible by 5 neither is n 2. This contradicts that n 2 is divisible by 5. Therefore n must be divisible by 5.. Prove that 5 is irrational. proof: Suppose 5 is rational. Then there exists integers a and b 0 such that 5 = a b is reduced. That is, a and b do not share any common factors apart from 1. Then 5b 2 = a 2. Thus a 2 is divisible by 5. That this implies a is divisible by 5. Therefore, a = 5k for some integer k. Then 5b 2 = (5k) 2 = 25k 2 b 2 = 5k 2. That implies that b 2 and therefore b is divisible by 5. But then a, b share the factor 5. This is a contradiction. Therefore, 5 is irrational. Prove the real numbers are uncountable. proof: It suffices to show that (0, 1) is uncountable. Lets prove it by contradiction. Suppose the real numbers are countable, which means there is a correspondence with the natural numbers. In particular, that means the decimal expansion of every real number in (0, 1) can be put into rows of an infinite matrix where the first column represents the tenths, the second column represents the hundredths, and so it goes. But then consider the following real number: Take the diagonal entries and add one modulo 10 to each entry. This represents a real number not found in any row of the matrix because in particular it does not match on the diagonal entry. That contradicts that the real number are countable. Therefore they are uncountable.
6 Prove there are infinitely many prime numbers. proof: Assume otherwise. Then n N such that p 1,..., p n N are a complete list of primes. Then q = p 1 p 2 p n + 1 cannot be divisible by any of the primes p i, which is a contradiction. A proof by contraposition occurs when one proves q p to justify the equivalent p q. It is often interchanged for a proof by contradiction. Prove: For all real numbers a, b if the product ab is an irrational number, then either a or b must be an irrational number. proof: Assume it is not the case that either a or b is irrational. Then a and b are both rational. That implies ab is rational, which means not irrational. This concludes the proof by contraposition. Prove: For any integers a and b, a + b 15 implies that a 8 or b 8. proof: Assume it is not the case that either a 8 or b 8. Then a and b are 7 or smaller, which makes a + b 14. This concludes the proof by contraposition.
7 A proof by cases is used when a hypothesis naturally divides itself into different cases. Prove: For real numbers a, b, a + b a + b. proof: Lets begin with the case where both a, b are nonnegative. Then a = a, b = b and a + b = a + b so we have equality. Now assume a 0 and b < 0. Then a = a and b = b. Also, (a b) b a + b < a b implies a + b a b = a + b. The proof is similar for a < 0 and b 0. Now assume a < 0 and b < 0. Then a = a, b = b and a+b = (a + b) = a + ( b) so we have equality. Prove: For every integer n prove n 2 n is even. proof: Case 1: n = 2m for some integer m. Then clearly n 2 n is even. Case 2: n = 2m + 1 for some integer m. Then n 2 n = n(n 1) is divisible by 2 since n 1 = 2m.
8 To prove p q, just prove both directions: p q and q p. To prove p q r (or more), just prove p q, q r, and r p. Prove the equivalence of the following three statements for sets A, B and C. Let U be the universal set. (1) A B = U, (2) A B =, (3) A B. proof: (1) (2) : Take the complement of both sides to get A B = U =. This implies, using DeMorgan s laws, A B =. (2) (3) : Let x A. Since A B =, we have that x B. Hence, x B = B. (3) (1) : Let x U. If x A then x A B. Suppose x A. Then x A implies x B. Then x A B. Hence A B = U. An existence proof provides a proof to the statement x, P (x), by exhibiting one element x in the domain of discourse for which P (x) can be shown to be true. An existence proof is constructive if it exhibits the element x that satisfies P (x) explicitly during the proof. Otherwise it is called nonconstructive.
9 Prove that there exists two irrational numbers a and b such that a b is rational. proof: Let x = y = 2. If x y is rational then we are done since 2 is irrational. Otherwise, x y is irrational. Then by setting a = x y and b = 2 we have that a b = (x y ) b = x by = ( 2) 2 2 = ( 2) 2 = 2, which is rational. Note that this proof is nonconstructive because it does not explicitly give an example of an irrational raised to an irrational being rational, but rather just argues the existence of such an exponential, by cases on the rationality of ( 2) 2.
10 2.4 Induction Principle of Mathematical induction: Suppose S(n) is a propositional function with domain of discourse equal to integers greater or equal to n 0. Suppose that (1) S(n 0 ) is true; (2) For all n n 0, if S(n) is true, then S(n + 1) is true. Then S(n) is true for every n n 0. Prove: For r 1, i=0 r i = 1 rn+1 1 r. proof: If n = 1 then 1 i=0 r i = 1 + r = 1 r2 1 r by factoring and canceling 1 r 0. Assume that Consider i=0 ( n+1 ) r i = r i i=0 = 1 rn+1 1 r i=0 r i = 1 rn+1 1 r. + r n+1 = 1 rn+1 1 r + r n+1 = + r n+1 1 r 1 r = 1 rn+1 + rn+1 r n+2 1 r 1 r = 1 rn+2 1 r
11 Prove: The sum of the first n odd natural numbers is n 2. proof: Base case is clear. 1 = 1 2. Assume Then (2i 1) = n 2. i=1 ( n+1 ) (2i 1) = (2i 1) + 2(n + 1) 1 = n 2 + 2n + 1 = (n + 1) 2. i=1 i=1 Define H k = k. Prove: H 2 n 1 + n 2. proof: If n = 1 then H 2 = 1.5 and 1 + n 2 = 1.5. Assume H 2 n 1 + n 2. Then H 2 n+1 = H 2 n n n n + 2 n 1 + n n n n + 2 n 1 + n n n n+1 = 1 + n n 2 = 1 + n + 1. n+1 2
12 (ELFRs) Prove that i = i=1 n(n + 1), 2 that i 2 = i=1 n(n + 1)(2n + 1), 6 and that ( ) 2 n(n + 1) i 3 =. 2 i=1
13 2.5 Strong Form of Induction and Well Ordering Property The strong form of induction is actually equivalent, so it is an alternate form of induction (nothing actually stronger): Strong Form of Mathematical induction: Suppose S(n) is a propositional function with domain of discourse equal to integers greater or equal to n 0. Suppose that (1) S(n 0 ) is true; (2) For all n n 0, if S(k) is true for all k, n 0 k < n then S(n) is true. Then S(n) is true for every integer n n 0. A chocolate bar consists of a number of squares (say, n) arranged in a rectangular pattern. You split the bar into small squares always breaking along the lines between the squares. What is the minimum number of breaks to separate the chocolate bar into its pieces? Claim: n 1 breaks. Base case: A bar made of two pieces takes 1 break. Assume for 2 k < n, a chocolate bar with k squares takes k 1 breaks. Consider a bar with n squares. Break it. Then you have two bars consisting of less than n squares each, say n 1 and n 2 squares respectively. Then those take n 1 1 and n 2 1 breaks respectively to separate into individual pieces. All told there are 1 + (n 1 1) + (n 2 1) = n 1 breaks Every amount of postage that is at least 12 cents can be made from 4cent and 5cent stamps. Base cases: 12 cents can be made from three 4cent stamps. 13 cents can be made from two 4cent stamps and a 5cent stamp. 14cents can be made from two 5cent stamps and a 4cent stamp. 15 cents can be made with three 5cent stamps. Let n N and n > 15. Assume for all natural numbers k such that 11 < k < n, k cents can be made with 4cent and 5cent stamps. Since 11 < n 4 < n, by induction n 4 cents can be made with 4cent and 5cent stamps. Hence n = 4 + (n 4) can too!
14 WellOrdering Property: Every nonempty set of nonnegative integers has a least element. This property is equivalent to the two forms of induction. QuotientRemainder Theorem: If d and n are integers, d > 0, then there exist unique integers q and r such that n = dq + r and 0 r < d. proof: Let X = {n dk n dk 0, k Z}. By selecting k Z so that k < n (integers d are unbounded) we have dk < n and therefore, n dk X. Thus X is nonempty. By the wellordering property, let r X be the smallest element. In particular r 0. Label by q the integer that satisfies n dq = r. Then n = dq + r. Now suppose r d. Then r d 0 and hence, n d(q + 1) = r d X and r d < r. But this contradicts that r is the smallest element of X. Thus 0 r < d. Now for uniqueness. Suppose r 1, r 2, q 1, q 2 Z and n = dq 1 + r 1 and 0 r 1 < d. n = dq 2 + r 2 and 0 r 2 < d. Then 0 = n n = d(q 1 q 2 ) + (r 1 r 2 ) d(q 1 q 2 ) = (r 2 r 1 ). But then d divides r 2 r 1 and since 0 r 1, r 2 < d, Then d(q 1 q 2 ) = 0 q 1 = q 2. d < r 2 r 1 < d r 1 = r 2.
Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.
Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More information2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.
2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then
More informationThe Foundations: Logic and Proofs. Chapter 1, Part III: Proofs
The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by MenGen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More informationMath 55: Discrete Mathematics
Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What
More informationWe now explore a third method of proof: proof by contradiction.
CHAPTER 6 Proof by Contradiction We now explore a third method of proof: proof by contradiction. This method is not limited to proving just conditional statements it can be used to prove any kind of statement
More informationBasic Proof Techniques
Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document
More informationdef: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true
More informationCS 441 Discrete Mathematics for CS Lecture 5. Predicate logic. CS 441 Discrete mathematics for CS. Negation of quantifiers
CS 441 Discrete Mathematics for CS Lecture 5 Predicate logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Negation of quantifiers English statement: Nothing is perfect. Translation: x Perfect(x)
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On wellordering and induction: (a) Prove the induction principle from the wellordering principle. (b) Prove the wellordering
More informationDiscrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof. Harper Langston New York University
Discrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof Harper Langston New York University Proof and Counterexample Discovery and proof Even and odd numbers number n from Z is called
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More informationThe last three chapters introduced three major proof techniques: direct,
CHAPTER 7 Proving NonConditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements
More informationMathematical Induction. Lecture 1011
Mathematical Induction Lecture 1011 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach
More informationSolutions for Practice problems on proofs
Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some
More informationSECTION 102 Mathematical Induction
73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationHomework until Test #2
MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such
More informationUndergraduate 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 informationSection 62 Mathematical Induction
6 Mathematical Induction 457 In calculus, it can be shown that e x k0 x k k! x x x3!! 3!... xn n! where the larger n is, the better the approximation. Problems 6 and 6 refer to this series. Note that
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H1088 Budapest, Múzeum krt. 68. CONTENTS 1. SETS Set, equal sets, subset,
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More information13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcsftl 2010/9/8 0:40 page 379 #385
mcsftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite
More informationInduction. Margaret M. Fleck. 10 October These notes cover mathematical induction and recursive definition
Induction Margaret M. Fleck 10 October 011 These notes cover mathematical induction and recursive definition 1 Introduction to induction At the start of the term, we saw the following formula for computing
More informationMODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.
MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationLecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved
Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior
More informationPythagorean Triples Pythagorean triple similar primitive
Pythagorean Triples One of the most farreaching problems to appear in Diophantus Arithmetica was his Problem II8: To divide a given square into two squares. Namely, find integers x, y, z, so that x 2
More informationThe Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.
The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,
More informationProblems on Discrete Mathematics 1
Problems on Discrete Mathematics 1 ChungChih Li 2 Kishan Mehrotra 3 Syracuse University, New York L A TEX at January 11, 2007 (Part I) 1 No part of this book can be reproduced without permission from
More informationMATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
More information3 0 + 4 + 3 1 + 1 + 3 9 + 6 + 3 0 + 1 + 3 0 + 1 + 3 2 mod 10 = 4 + 3 + 1 + 27 + 6 + 1 + 1 + 6 mod 10 = 49 mod 10 = 9.
SOLUTIONS TO HOMEWORK 2  MATH 170, SUMMER SESSION I (2012) (1) (Exercise 11, Page 107) Which of the following is the correct UPC for Progresso minestrone soup? Show why the other numbers are not valid
More informationAPPLICATIONS OF THE ORDER FUNCTION
APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More informationGROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.
Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the
More informationMath 3000 Section 003 Intro to Abstract Math Homework 2
Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these
More information= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without
More informationTHE DIMENSION OF A VECTOR SPACE
THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field
More informationMath212a1010 Lebesgue measure.
Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationGod created the integers and the rest is the work of man. (Leopold Kronecker, in an afterdinner speech at a conference, Berlin, 1886)
Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an afterdinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work
More informationApplications of Methods of Proof
CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The settheoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationThis chapter is all about cardinality of sets. At first this looks like a
CHAPTER Cardinality of Sets This chapter is all about cardinality of sets At first this looks like a very simple concept To find the cardinality of a set, just count its elements If A = { a, b, c, d },
More informationToday s Topics. Primes & Greatest Common Divisors
Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime
More informationGREATEST COMMON DIVISOR
DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their
More informationEvery Positive Integer is the Sum of Four Squares! (and other exciting problems)
Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer
More informationCartesian 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 informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationWRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
More informationNotes on Factoring. MA 206 Kurt Bryan
The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor
More informationMATH 289 PROBLEM SET 4: NUMBER THEORY
MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides
More informationCHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
More informationHomework 5 Solutions
Homework 5 Solutions 4.2: 2: a. 321 = 256 + 64 + 1 = (01000001) 2 b. 1023 = 512 + 256 + 128 + 64 + 32 + 16 + 8 + 4 + 2 + 1 = (1111111111) 2. Note that this is 1 less than the next power of 2, 1024, which
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
More informationIntroduction to Proofs
Chapter 1 Introduction to Proofs 1.1 Preview of Proof This section previews many of the key ideas of proof and cites [in brackets] the sections where they are discussed thoroughly. All of these ideas are
More informationApplications of Fermat s Little Theorem and Congruences
Applications of Fermat s Little Theorem and Congruences Definition: Let m be a positive integer. Then integers a and b are congruent modulo m, denoted by a b mod m, if m (a b). Example: 3 1 mod 2, 6 4
More informationDay 2: Logic and Proof
Day 2: Logic and Proof George E. Hrabovsky MAST Introduction This is the second installment of the series. Here I intend to present the ideas and methods of proof. Logic and proof To begin with, I will
More informationAnnouncements. CompSci 230 Discrete Math for Computer Science Sets. Introduction to Sets. Sets
CompSci 230 Discrete Math for Computer Science Sets September 12, 2013 Prof. Rodger Slides modified from Rosen 1 nnouncements Read for next time Chap. 2.32.6 Homework 2 due Tuesday Recitation 3 on Friday
More informationPROBLEM SET 7: PIGEON HOLE PRINCIPLE
PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More information1.1 Logical Form and Logical Equivalence 1
Contents Chapter I The Logic of Compound Statements 1.1 Logical Form and Logical Equivalence 1 Identifying logical form; Statements; Logical connectives: not, and, and or; Translation to and from symbolic
More informationPage 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p.
Page 331, 38.2 Assignment #11 Solutions Factor the following positive integers into primes. a. 25 = 5 2. b. 4200 = 2 3 3 5 2 7. c. 10 10 = 2 10 5 10. d. 19 = 19. e. 1 = 1. Page 331, 38.4 Suppose a is a
More informationA Hajós type result on factoring finite abelian groups by subsets II
Comment.Math.Univ.Carolin. 51,1(2010) 1 8 1 A Hajós type result on factoring finite abelian groups by subsets II Keresztély Corrádi, Sándor Szabó Abstract. It is proved that if a finite abelian group is
More informationStudent Outcomes. Lesson Notes. Classwork. Discussion (10 minutes)
NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 5 8 Student Outcomes Students know the definition of a number raised to a negative exponent. Students simplify and write equivalent expressions that contain
More informationDiscrete Mathematics: Solutions to Homework (12%) For each of the following sets, determine whether {2} is an element of that set.
Discrete Mathematics: Solutions to Homework 2 1. (12%) For each of the following sets, determine whether {2} is an element of that set. (a) {x R x is an integer greater than 1} (b) {x R x is the square
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationCmSc 175 Discrete Mathematics Lesson 10: SETS A B, A B
CmSc 175 Discrete Mathematics Lesson 10: SETS Sets: finite, infinite, : empty set, U : universal set Describing a set: Enumeration = {a, b, c} Predicates = {x P(x)} Recursive definition, e.g. sequences
More informationMathematical Induction. Mary Barnes Sue Gordon
Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by
More information1. LINEAR EQUATIONS. A linear equation in n unknowns x 1, x 2,, x n is an equation of the form
1. LINEAR EQUATIONS A linear equation in n unknowns x 1, x 2,, x n is an equation of the form a 1 x 1 + a 2 x 2 + + a n x n = b, where a 1, a 2,..., a n, b are given real numbers. For example, with x and
More informationA Course in Discrete Structures. Rafael Pass WeiLung Dustin Tseng
A Course in Discrete Structures Rafael Pass WeiLung Dustin Tseng Preface Discrete mathematics deals with objects that come in discrete bundles, e.g., 1 or 2 babies. In contrast, continuous mathematics
More informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More informationElementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,
More informationFundamentele Informatica II
Fundamentele Informatica II Answer to selected exercises 1 John C Martin: Introduction to Languages and the Theory of Computation M.M. Bonsangue (and J. Kleijn) Fall 2011 Let L be a language. It is clear
More information( ) which must be a vector
MATH 37 Linear Transformations from Rn to Rm Dr. Neal, WKU Let T : R n R m be a function which maps vectors from R n to R m. Then T is called a linear transformation if the following two properties are
More informationMath 223 Abstract Algebra Lecture Notes
Math 223 Abstract Algebra Lecture Notes Steven Tschantz Spring 2001 (Apr. 23 version) Preamble These notes are intended to supplement the lectures and make up for the lack of a textbook for the course
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2016 47 4. Diophantine Equations A Diophantine Equation is simply an equation in one or more variables for which integer (or sometimes rational) solutions
More informationMathematics Review for MS Finance Students
Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,
More information8 Primes and Modular Arithmetic
8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.
More informationTheory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras
Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture No. # 31 Recursive Sets, Recursively Innumerable Sets, Encoding
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationLemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.
Definition 51 Let S be a set bijection f : S S 5 Permutation groups A permutation of S is simply a Lemma 52 Let S be a set (1) Let f and g be two permutations of S Then the composition of f and g is a
More information5.1 Commutative rings; Integral Domains
5.1 J.A.Beachy 1 5.1 Commutative rings; Integral Domains from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 23. Let R be a commutative ring. Prove the following
More informationThe Fundamental Theorem of Arithmetic
The Fundamental Theorem of Arithmetic 1 Introduction: Why this theorem? Why this proof? One of the purposes of this course 1 is to train you in the methods mathematicians use to prove mathematical statements,
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationSet theory as a foundation for mathematics
Set theory as a foundation for mathematics Waffle Mathcamp 2011 In school we are taught about numbers, but we never learn what numbers really are. We learn rules of arithmetic, but we never learn why these
More informationNotes: Chapter 2 Section 2.2: Proof by Induction
Notes: Chapter 2 Section 2.2: Proof by Induction Basic Induction. To prove: n, a W, n a, S n. (1) Prove the base case  S a. (2) Let k a and prove that S k S k+1 Example 1. n N, n i = n(n+1) 2. Example
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationCHAPTER 2: METHODS OF PROOF
CHAPTER 2: METHODS OF PROOF Section 2.1: BASIC PROOFS WITH QUANTIFIERS Existence Proofs Our first goal is to prove a statement of the form ( x) P (x). There are two types of existence proofs: Constructive
More informationLecture 13  Basic Number Theory.
Lecture 13  Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are nonnegative integers. We say that A divides B, denoted
More informationSTUDENT S SOLUTIONS MANUAL ELEMENTARY NUMBER THEORY. Bart Goddard. Kenneth H. Rosen AND ITS APPLICATIONS FIFTH EDITION. to accompany.
STUDENT S SOLUTIONS MANUAL to accompany ELEMENTARY NUMBER THEORY AND ITS APPLICATIONS FIFTH EDITION Bart Goddard Kenneth H. Rosen AT&T Labs Reproduced by Pearson AddisonWesley from electronic files supplied
More informationProblem Set I: Preferences, W.A.R.P., consumer choice
Problem Set I: Preferences, W.A.R.P., consumer choice Paolo Crosetto paolo.crosetto@unimi.it Exercises solved in class on 18th January 2009 Recap:,, Definition 1. The strict preference relation is x y
More information