COMP 2711H: Lecture 4
Date: 2024-09-09 02:14:53
Reviewed:
Topic / Chapter: Infinite Descent and more PProofs
summary
βQuestions
Notes
Infinite Descent (cont.)
-
Relationship between three
- infinite descent: implies well-ordering
- well-ordering: implies induction
- π¨βπ« can we assume the reverse?
-
Well-ordering: implies infinite descent
- let be an infinite seq. of numbers
- then
- has a minimum
- as is non-empty
- and
- then cannot be smaller than
- as is the minimum
- thus, there can't be an infinite sequence of that is always decreasing
-
Induction: implies well-ordering
- let
- and does not have minimum (proof by contradiction)
- to be proven by induction
- : for ,
- unless: is the minimum element in
- and it cannot be in
- unless: 0 becomes the min. element of
- assuming ,
- suppose
- which means:
- however, all elements is not in
- becomes the minimum element in !
- thus: the inductive assumption is wrong: and
- finally,
- i.e.
- contradicts our initial assumption: being non-empty
- thus, every non-empty subset of has a minimum element
- : for ,
Fibonacci Numbers
-
Fibonacci numbers
- e.g.
Problems
-
Problem 1
- base cases
- prove
-
Problem 2
- base case:
- then:
-
Problem 3
- π¨βπ« simply subtract the result of (2) from result of (1)
-
Problem 4
-
- i.e.
- or: they are relatively prime
- with well-ordering & infinite descent
-
- to be proven:
- proof by contradiction: assume
- let be the smallest element of
-
- i.e. divides both
- and
- if
- then also
- however: is supposed to be the "smallest element" in
- thus: contradiction, and is empty
- or: using infinite descent
- (continued from above) ...
- infinite sequence & decreasing -> impossible!
- also: using induction
- base case holds:
- induction:
- proof by contradiction
- (hopefully )
- i.e. divides both
- then for , also
- but, as
- π¨βπ« any of three will work, but just that one will be more human-intuitive!
-
-
Problem 5:
- by induction, so base case:
- assume , then:
-
Problem 6
- let , then has subsets
- base case: , then has only 1 subset:
- , so it holds
- proof by induction
- let be a set of size
- any s.t. is of size too
- then, has two groups of subsets, one including and those that are not
- each of size
- together: of size
-
Problem 7
- let be a non-empty finite set
- let
- let
- prove that
- base case:
- let be a set of size
- let with
- let
- subsets without :
- odd:
- even:
- subsets with :
- odd:
- even:
- and
-
Problem 8
- suppose: we have a class of students
- let
- in how many ways can we choose and ?
- π¨βπ«
- if
- if
- 3 choices
- if
- 9 choices (as grade of a student is independent of another)
- assume: for , there are ways
- induction
- there are ways to allocate first students
- and 3 ways to allocate the last student
- as they are independent (in this course), there are ways
-
Problem 9
- reducing game / game of Nim with two heaps
- given
- players, in turn, choose either and decreases it
- if one can't make move: then the player loses
- assuming ideal play
- if then player 2 wins
- if then player 1 wins
- and assume as the order doesn't matter
- base case:
- player 2 wins
- using induction on
- with
- if player 1 reduces to
- player 2 can also make to
- strong induction
- proving
- consists of:
- holds
-
- i.e. more stuff & requirements
- prove that player 2 wins
- , player 2 wins
- player 2: can copy player 1's move
- i.e. player 2 makes equal
- can also be proven with infinite descent
- game: ends at some point (i.e. when )
- and player 2 wins it