Lecture 13 3.2,3.3 Sequences & Summations Proof by Induction.

Slides:



Advertisements
Similar presentations
Extensible Networking Platform CSE 240 – Logic and Discrete Mathematics Review: Mathematical Induction Use induction to prove that the sum of the.
Advertisements

Mathematical Induction
PROOF BY CONTRADICTION
Lecture ,3.3 Sequences & Summations Proof by Induction.
Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an.
1.1The Principle of Mathematical Induction 1.2Divisibility Chapter Summary Case Study Mathematical Induction 1.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Mathematical Induction
Copyright © Cengage Learning. All rights reserved. CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION.
Homework 7 –Average: 70Median: 75 – Homework 8 –Average: 74Median:
Induction and recursion
Courtesy Costas Busch - RPI1 A Universal Turing Machine.
Sequence A list of objects arranged in a particular order.
Fall 2004COMP 3351 A Universal Turing Machine. Fall 2004COMP 3352 Turing Machines are “hardwired” they execute only one program A limitation of Turing.
A Very Practical Series 1 What if we also save a fixed amount (d) every year?
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.
2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/L5- CountingAndEnumeration.1 MAT 7003 : Mathematical Foundations (for Software Engineering) J Paul.
Mathematical Induction
Cardinality of Sets Section 2.5.
MATH 224 – Discrete Mathematics
Sequences & Summations CS 1050 Rosen 3.2. Sequence A sequence is a discrete structure used to represent an ordered list. A sequence is a function from.
Lecture 9. Arithmetic and geometric series and mathematical induction
Sequences and Summations
1 Introduction to Abstract Mathematics Chapter 4: Sequences and Mathematical Induction Instructor: Hayk Melikya 4.1- Sequences. 4.2,
MATH 224 – Discrete Mathematics
Section 2.4. Section Summary Sequences. Examples: Geometric Progression, Arithmetic Progression Recurrence Relations Example: Fibonacci Sequence Summations.
1 Lecture 3 (part 3) Functions – Cardinality Reading: Epp Chp 7.6.
Week 7 - Friday.  What did we talk about last time?  Set disproofs  Russell’s paradox  Function basics.
1 1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 15-1 Mälardalen University 2012.
Copyright © Cengage Learning. All rights reserved. CHAPTER 7 FUNCTIONS.
Basic Structures: Sets, Functions, Sequences, and Sums CSC-2259 Discrete Structures Konstantin Busch - LSU1.
Copyright © 2014 Curt Hill Cardinality of Infinite Sets There be monsters here! At least serious weirdness!
Induction Proof. Well-ordering A set S is well ordered if every subset has a least element. [0, 1] is not well ordered since (0,1] has no least element.
A Universal Turing Machine
Relations, Functions, and Countability
CS201: Data Structures and Discrete Mathematics I
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
Aim: How can the word ‘infinite’ define a collection of elements?
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.
INFIINITE SETS CSC 172 SPRING 2002 LECTURE 23. Cardinality and Counting The cardinality of a set is the number of elements in the set Two sets are equipotent.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
1 Linear Bounded Automata LBAs. 2 Linear Bounded Automata (LBAs) are the same as Turing Machines with one difference: The input string tape space is the.
Introduction to Real Analysis Dr. Weihu Hong Clayton State University 8/27/2009.
1 Turing’s Thesis. 2 Turing’s thesis: Any computation carried out by mechanical means can be performed by a Turing Machine (1930)
1 INFO 2950 Prof. Carla Gomes Module Induction Rosen, Chapter 4.
Lecture 4 Infinite Cardinals. Some Philosophy: What is “2”? Definition 1: 2 = 1+1. This actually needs the definition of “1” and the definition of the.
Inductive Proofs and Inductive Definitions Jim Skon.
1 Melikyan/DM/Fall09 Discrete Mathematics Ch. 7 Functions Instructor: Hayk Melikyan Today we will review sections 7.3, 7.4 and 7.5.
Section 3.2: Sequences and Summations. Def: A sequence is a function from a subset of the set of integers (usually the set of natural numbers) to a set.
CS 285- Discrete Mathematics
CSE 311: Foundations of Computing Fall 2013 Lecture 8: Proofs and Set theory.
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.
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Section 2.5. Cardinality Definition: A set that is either finite or has the same cardinality as the set of positive integers (Z + ) is called countable.
Week 8 - Monday.  What did we talk about last time?  Properties of functions  One-to-one  Onto  Inverses  Cardinality.
1 A Universal Turing Machine. 2 Turing Machines are “hardwired” they execute only one program A limitation of Turing Machines: Real Computers are re-programmable.
Sequences Lecture 11. L62 Sequences Sequences are a way of ordering lists of objects. Java arrays are a type of sequence of finite size. Usually, mathematical.
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
1 Mathematical Induction. 2 What is induction? A method of proof It does not generate answers: it only can prove them Three parts: Base case(s): show.
Advanced Algorithms Analysis and Design
Induction and recursion
Discrete Structures for Computer Science
Induction and recursion
ICS 253: Discrete Structures I
Formal Languages, Automata and Models of Computation
Induction Chapter
Advanced Analysis of Algorithms
Mathematical Induction
Presentation transcript:

Lecture ,3.3 Sequences & Summations Proof by Induction

Cardinality definition: Two sets have the same cardinality if and only if there is a one-to-one correspondence between them. This is simple for finite sets, but what if a set has infinite elements? definition: A set that is finite or has the same cardinality as the set of positive integers (Z+) is called countable. Example: Consider the sequence {an}, an = n^2, n={1,2,3,4...} Naively speaking, there seem to be much less elements in {an} than in Z+ (since we skip a lot). Infinity is weird! Here is the one-to-one mapping: infinity(intuitively: you can enumerate them)

cardinality Now what about the positive rational numbers: p/q with p,q integer, q not 0 ? ½ 2 3 1/3 ¼ 2/3 3/2 4 5 skip set of positive rational numbers are countable, in fact the set of all rational numbers is countable : 4 countable quadrants.

cardinality That was amazing? Now check this out: a proof that the real numbers are not countable! When a prove seems impossible, try to prove a contradiction. First this: unions of countable sets are countable intersections of countable sets are countable a subset of a countable set is countable. Prove: assume that the reals are countable,  the reals in (0,1) are countable (since it is a subset),  Thus there is a sequence that counts all reals as follows: 1: r1 = 0.d11 d12 d12 d : r2 = 0.d21 d22 d23 d : r3 = 0.d31 d32 d33 d34... etc. construct the number: r = 0.c1 c2 c3 c4... with ci=4 if dii not 4 ci = 5 if dii = 4 This is guaranteed to be different than any real in the list, so it isn’t in the list, so the list is not complete.  contradiction!  real in [0,1] are uncountable  all reals are uncountable.

3.3 Mathematical Induction If we want to prove propositions P(k) for all positive integers, we may use inductions. First we prove: P(1) is true. Then we prove P(k)  P(k+1). So, is P(100) true? yes, use “modus ponens” 99 times. P(1) P(1)  P(2) ____________ P(2) P(2)  P(3) ___________ P(3) until P(100). formally:

Examples prove that the sum of the first n odd positive integers is n^2. n=1: 1 = 1. assume it’s true for some k k-1 = k^2 is true. add 2k+1 on each side: k-1 + 2k+1= k^2 + 2k (k+1)-1 = (k+1)^2

Examples Prove that n < 2^n for positive integers n. P(1): 1 < 2 Inductive step: assume P(k) is correct, prove P(k+1) is correct. k < 2^k k+1 < 2^k + 1 < 2^k + 2^k = 2^(k+1) Note: we could of course also start our induction at another integer b. Example: Prove that 2^n = 4. P(4) = 2^4 = 16 < 4! = = 24. Induction: assume 2^k < k!  2 x 2^k < 2 x k! 2^(k+1) = 4). 2^(k+1) < (k+1)!

Strong Induction induction (I): strong induction (SI): they are equivalent

Strong Induction Example: Consider the game where there are 2 piles of n matches. Each player picks an arbitrary number of matches from one pile. The one who gets the last matches wins. Proposition: The player who starts second can always win. P(1): 2 piles with 1 match each. Second player always wins. Assume player 2 wins when we have 2 piles of k matches. Can player 2 win when we have 2 piles of k+1 matches?  Player 1 will have to take between 1 and k+1 matches from 1 pile. If he picks k+1 matches, player 2 wins by grabbing all matches from the other pile. If he picks between 1 and k matches, player two takes the same amount from the other pile reducing the problem to a smaller equivalent problem. Strong Induction  player 2 always wins

Examples Proposition: every positive integer n>2 can be written as the product of primes. P(2): product of itself (it’s prime). Assume k can be written as a product of primes. Can we prove it for k+1? two cases: k+1 = prime (thus it is a product of one number – itself). k+1 = a x b However since both a and b = 2, we know that a and b can be written as the product of primes  a x b is a product of primes.