Inductive Proofs and Inductive Definitions Jim Skon.

Slides:



Advertisements
Similar presentations
Recursive Definitions and Structural Induction
Advertisements

Induction and Recursion. Odd Powers Are Odd Fact: If m is odd and n is odd, then nm is odd. Proposition: for an odd number m, m k is odd for all non-negative.
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Induction and recursion
CSE115/ENGR160 Discrete Mathematics 04/03/12 Ming-Hsuan Yang UC Merced 1.
CS5371 Theory of Computation
Recursive Definitions Rosen, 3.4. Recursive (or inductive) Definitions Sometimes easier to define an object in terms of itself. This process is called.
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
CSE115/ENGR160 Discrete Mathematics 03/31/11
Discrete Structures Chapter 5: Sequences, Mathematical Induction, and Recursion 5.2 Mathematical Induction I [Mathematical induction is] the standard proof.
Module #1 - Logic 1 Based on Rosen, Discrete Mathematics & Its Applications. Prepared by (c) , Michael P. Frank. Modified By Mingwu Chen Induction.
1 Section 3.4 Recursive Definitions. 2 Recursion Recursion is the process of defining an object in terms of itself Technique can be used to define sequences,
1 Section 3.3 Mathematical Induction. 2 Technique used extensively to prove results about large variety of discrete objects Can only be used to prove.
1 Strong Mathematical Induction. Principle of Strong Mathematical Induction Let P(n) be a predicate defined for integers n; a and b be fixed integers.
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Induction and Recursion by: Mohsin tahir (GL) Numan-ul-haq Waqas akram Rao arslan Ali asghar.
Induction and recursion
Mathematical Maxims and Minims, 1988
Lecture 9. Arithmetic and geometric series and mathematical induction
Induction and recursion
Chapter 6 Mathematical Induction
Discrete Mathematics, 1st Edition Kevin Ferland
Mathematical Induction. F(1) = 1; F(n+1) = F(n) + (2n+1) for n≥ F(n) n F(n) =n 2 for all n ≥ 1 Prove it!
College Algebra Fifth Edition James Stewart Lothar Redlin Saleem Watson.
CSNB143 – Discrete Structure Topic 5 – Induction Part I.
Copyright © Peter Cappello Mathematical Induction Goals Explain & illustrate construction of proofs of a variety of theorems using mathematical induction.
Chapter 4: Induction and Recursion
Section 5.3. Section Summary Recursively Defined Functions Recursively Defined Sets and Structures Structural Induction.
INDUCTION AND RECURSION. PRINCIPLE OF MATHEMATICAL INDUCTION To prove that P(n) is true for all positive integers n, where P(n) is a propositional function,
March 3, 2015Applied Discrete Mathematics Week 5: Mathematical Reasoning 1Arguments Just like a rule of inference, an argument consists of one or more.
Module #13: Inductive Proofs Rosen 5 th ed., § inference of a generalized conclusion from particular instances 2. mathematical demonstration of the.
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
Section 3.3: Mathematical Induction Mathematical induction is a proof technique that can be used to prove theorems of the form:  n  Z +,P(n) We have.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
CS 103 Discrete Structures Lecture 13 Induction and Recursion (1)
(Finite) Mathematical Induction In our first lesson on sequences and series, you were told that How can we be certain that this will be true for all counting.
Mathematical Induction Section 5.1. Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If.
Mathematical Induction
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
1 CMSC 341 Math Review. 2 Exponents Identities (X A ) B = X AB X A * X B = X A+B X A / X B = X A-B X A + X B  X A+B.
Copyright © Cengage Learning. All rights reserved. Sequences and Series.
CompSci 102 Discrete Math for Computer Science March 13, 2012 Prof. Rodger Slides modified from Rosen.
Chapter 5. Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach.
Induction Practice CS1050. Prove that whenever n is a positive integer. Proof: Basis Case: Let n = 1, then.
Section 5.1. Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach a particular.
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
Mathematical Induction
Chapter 5 With Question/Answer Animations 1. Chapter Summary Mathematical Induction - Sec 5.1 Strong Induction and Well-Ordering - Sec 5.2 Lecture 18.
Mathematical Induction And Recursion Discrete Math Team KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) 1.
Fall 2002CMSC Discrete Structures1 Chapter 3 Sequences Mathematical Induction Recursion Recursion.
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
Chapter 4: Induction and Recursion
Chapter 3 The Real Numbers.
Induction and recursion
Induction and Recursion
Mathematical Induction Recursion
Chapter 5 Induction and Recursion
Notes 9.5 – Mathematical Induction
Induction and recursion
CSE 373 Data Structures and Algorithms
Applied Discrete Mathematics Week 9: Integer Properties
Induction (Section 3.3).
Follow me for a walk through...
Induction Chapter
Mathematical Induction
Mathematical Induction
Follow me for a walk through...
Copyright © Cengage Learning. All rights reserved.
Recursion.
Presentation transcript:

Inductive Proofs and Inductive Definitions Jim Skon

Mathematical Induction §Some theorems state that P(n) is true for some value n, say n = 1. §Other (more general!) theorems state that P(n) is true for all positive integers n. §This requires a proof of infinite cases!

Dominos Example §Consider the problem of showing if an infinite collection of dominos will all fall if the first one is pushed

Dominos Example §Let P(1) be the proposition that the first domino will fall. §Let P(n) be the proposition that the nth domino will fall. §Let each domino be exactly the same distance apart. §How do we know if they will ALL fall?

Inductive Proof §We want to prove we can knock all the domino’s down: 1. (Basis Step): I can push over the first one. 2. (The Inductive Step): For all the domino’s, if domino n falls, then domino n + 1 will also fall §Therefore, I can knock down ALL the domino’s. (by knocking over the first!)

Dominos Example §If we can show: l That we can knock the first one over l That the distance between any two adjacent dominos is the right distance so that if one falls, so will the next. §Then we KNOW that if we push over the first one, they all must fall!

Mathematical Induction Example §Let P(n) be the proposition: §Prove the theorem that:  n: P(n).

Inductive Proof Example §Since there are infinite positive integers, we cannot simply substitute each possible value of n and check. § However suppose that: 1. (basis) we can show P(1) is true, and 2. (induction) if P(k) holds for some positive integer n, then it also holds for P(k + 1). § Then P(n) must hold for all n  1!

Mathematical Induction §P(1) is called the basis §P(k) is called the inductive hypothesis. §If we can show then P(1) is true, and if we can show P(k) being true implies the next case P(k+1 ) is also true, then  i: P(i).

Inductive Proof Example 1. Basis: P(1) Prove P(1): Let n = 1. Then or 1 = 1, which is true!

Inductive Proof Example 2. Induction: P(k)  P(k + 1). Assume P(k) is true for some value k (Inductive Hypothesis): Prove that P(k + 1) will also be true:

Inductive Proof Example Prove that P(k)  P(k + 1) P(k + 1): Rewrite

Inductive Proof Example Substitute using P(k) (Inductive Hypothesis) P(k + 1) (want to prove) P(k) (Assumed true)

Inductive Proof Example Showing this true will prove P(k + 1) Same!

Inductive Proof Example §Since the proposition P(1) is true, and since the proposition P(k + 1) is always true if true if P(k) is true, the proposition P(n) is true for all n  1.

Mathematical Induction §Mathematical Induction allows us to prove all cases simply by proving only two subcases: 1. Basis Step: The proposition is true for P(1). 2. The Inductive Step: If the proposition P(k) is true, then the proposition P(k+1) is true, e.g. P(k)  P(k+1). The inductive hypothesis P(k) is used to show that P(k+1) is true

Mathematical Induction §Formally:  [P(1)   i:(P(i)  P(i+1))]  i: P(i). §Note we ARE NOT showing P(n) is true, rather that IF P(n) is true, then P(n+1) is too.

Inductive Proof Example §Suppose we wish to prove n < 2 n for all positive integers.

Inductive Proof Example §Proof that n < 2 n for all n  1 1. Basis: Let n = 1. Then 1 < 2 1 or 1 < 2. True!

Inductive Proof Example Proof that n < 2 n for all n  1 2. Induction: Inductive Hypothesis: Assume k < 2 k for some positive integer k  1 Prove: that k + 1 < 2 k+1 is true

Inductive Proof Example §Prove k + 1 < 2 k + 1 using k < 2 k Assume k < 2 k k + 1 < 2 k + 1 (add 1 to each side) 2 k + 1  2 k + 2 k 2 k + 2 k = 2 k+1 Thus k + 1 < 2 k+1

Examples 1. Prove: 2. Prove: 3. Prove: n = 2 n+1 - 1

Examples 4. Use the fact that for all real numbers to prove that: For all real numbers x 1, x 2,..., x n

Recursive Definitions §A recursive definition consists of two parts. 1) A basis clause. This tells us that certain elements belong to the set in question. 2) An inductive clause. This tells us how to use elements that are in the set to get to other elements that are in the set.

Recursive Definitions §Example: Define a function f: I  I as follows: 1. (Basis) f(0) = 2 2. (Induction) f(n+1) = 3f(n) - 3 §Use this definition: l f(0) = 2 l f(1) = 3f(0)-3 = 3(2) - 3 = = 3 l f(2) = 3f(1)-3 = 3(3) - 3 = = 6 l f(3) = 3f(2)-3 = 3(6) - 3 = = 15

Fibonacci numbers §Define a function f: I  I as follows: 1. (Basis) f(0) = 0, f (1) = 1 2. (Induction) f(n) = f(n-1) + f(n-2)

Recursively defined sets §Consider a definition of the set S 1. (Basis) 3  S 2. (Induction) if x  S and y  S then x + y  S §Consider a definition of the set S 1. (Basis) 2  S and 5  S 2. (Induction) if x  S and y  S then x  y  S

Set of well-formed expressions § Let V be the set of real numbers and valid variable names. 1) V   S 2) If x, y  S then (i) (-x)  S (ii) (x + y)  S (iii) (x - y)  S (iv) (x / y)  S (v) (x * y)  S

Recursive Definitions §The basis gives the basic building blocks §The inductive clause tells how the pieces can be assembled.

Recursive Definitions §Example: 1. Basis:f(0) = 3 2. Induction: f(n+1) = 2 f(n) + 3 §Find: f(0), f(1), f(2), f(3), and f(4)

Recursive Definitions §Factorials - f(n) = n! §Basis: f(0) = 1 §Induction: f(n+1) = (n + 1) f(n) §Find: f(0), f(1), f(2), f(3), and f(4)

Recursive Definitions §Exponents - define a n where a is a nonzero real and n is a non-negative integer. §Basis:a 0 = 1 §Induction:a n+1 = a n a

Recursive Definitions §Sequences - Give the recursive definitions of the sequence {a n }, where n = 1, 2, 3, 4,... a. a n = 6n b. a n = 2n + 1 c. a n = 10 n d. a n = 5