MHB Proof of the Division Algorithm

Click For Summary
The discussion centers on the application of the well ordering principle (WOP) to subsets of non-negative integers in the context of the division algorithm. It confirms that since any subset of non-negative integers also adheres to the WOP, it is valid to apply the principle in this scenario. The conversation touches on the clarity of the concept, with one participant questioning if their understanding was overly pedantic. Ultimately, the dialogue reflects a light-hearted acknowledgment of occasional confusion regarding mathematical principles. The participants agree on the correctness of applying WOP to non-negative integers.
matqkks
Messages
282
Reaction score
5
In many books on number theory they define the well ordering principle (WOP) as:
Every non- empty subset of positive integers has a least element.
Then they use this in the proof of the division algorithm by constructing non-negative integers and applying WOP to this construction. Is it possible to apply the WOP to a subset of non-negative integers? Am I being too pedantic?
 
Mathematics news on Phys.org
It's rather obvious isn't it? "Applying the WOP to a subset of non-negative integers" would simply mean that, given X, a subset of the non-negative integers, any subset of X has a least member. And that is true because any subset of X is also a subset of the non-negative integers.

If that is not what you mean then please explain what you mean by "apply the WOP to a subset of non-negative integers".​

 
Last edited by a moderator:
Yes of course. I just had a senior moment.
Thanks.
 
There are those of use who live in "senior moments"! We are called "seniors".
 
Last edited by a moderator:

Thread 'Area of Overlapping Squares'

Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?
View full post »

Similar threads

Undergrad Proof of the Division Algorithm
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad Is an algorithm for a proof required to halt?
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad Is this proof of the least common multiple theorem in number theory valid?
  • · Replies 1 ·
Replies
1
Views
1K
Insights Fermat's Last Theorem
  • · Replies 105 ·
4
Replies
105
Views
8K
Challenge: Find the minimum amount of draws possible for a list of integers
  • · Replies 9 ·
Replies
9
Views
3K
Why must q be the least element for (q+1)a to be greater than b?
  • · Replies 2 ·
Replies
2
Views
1K
Undergrad Fair distribution, minimizing envy
  • · Replies 2 ·
Replies
2
Views
1K
MHB Is There a Mathematical Basis for an Infinite Number of Twin Primes?
  • · Replies 7 ·
Replies
7
Views
4K
Undergrad Is the proof of the KRK endgame theorem rigorous and original?
  • · Replies 13 ·
Replies
13
Views
2K
Prove every subset of countable set is either finite or else countable
  • · Replies 1 ·
Replies
1
Views
2K