Well Ordering Principle

The Well-ordering Property

Theorem 1: the WOP

  • Every nonempty set of nonnegative integers has a smallest element
    • eg. set of natural numbers N has smallest element of 0

Factoring Primes

Claim 2:

  • Any positive integers m and n, the fraction can be written in lowest terms
    • as they are positive int, we can simplify the fraction by dividing with lowest terms

Theorem 3:

  • Every positive integer greater than 1 can be factored as a product of primes
    • 3 = 3* 1
    • 9 = 3 * 3
    • 10 = 2 * 5

Round-robin tournament

  • a competition where each player meets every other players, contrast with elimination (eliminated after certain losses)
  • beats , … , beats , beats
  • see the directed graph representation here,edges go from winner to loser

Claim 4 ❗️❗️❗️

  • If there is cycle length m () among players in round-robin tournament, there must be a cycle of three of these players
    • a cycle is a sequence of players such that beats , … , beats

Well Ordered Sets

Theorem 5:

  • For any nonnegative int n, the set of integers is well ordered
    • consider this is the set S
    • increase each element in the set by n not change relative order apply the WOP there is a smallest element in the set S (denote as m)
    • we get is the actual smallest element of S

Definition 6

  • lower bound of set S is , for every , is set of real numbers) b is the smallest number in S
  • upper bound of set S is , for every , is set of real numbers) b is the largest number in S

Corollary 7

  • any set of integers with a lower bound is well ordered

Infinite Decent Principle

Definition 8 (Infinite Descent Principle)

  • Let P is a property for nonnegative integers
  • Assume P(0) is true
  • for all , if is false, there exist an that is also false contradicting to the WOP
  • Then, is true for all , including
  • Example:
    • P(n): “n is a positive integer that is not divisible by any square number other than 1”
    • assume there exists a k satisfies P(n)
    • k is not divisible by any square number other than 1.
    • but every positive number is divisible by 1^2 (which is 1) there exists a smaller number m where m = k/ 1^2 = k satisfies P(n).
    • but this is still k and we are not actually finding a new number, contradicts that we could keep finding a smaller numbers satisfies P, leading to infinite descent
  • Core situation:
    • we can keep finding smaller and smaller natural numbers violating a property >< in a set of natural numbers, there is a smallest element (WOP)
    • if is true, there will be and infinite descent numbers of , contradicting with the WOP

Proposition 1:

  • There is no infinite strictly decreasing sequence of natural numbers

Fermat’s Last Theorem for n = 3, 4

Theorem 9:

  • The following equation has no positive integers solution

Theorem 10:

  • The following equation has no positive integers solution