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