Well-ordering of Natural Numbers

  • Thread starter dmuthuk
  • Start date
  • #1
41
0
I am trying to prove that the set of natural numbers is well-ordered using induction. I am assuming of course that the natural numbers are defined as as the smallest inductive set (of the type specified by the Axiom of Infinity) and that the usual order is defined by [tex]n<m[/tex] iff [tex]n\in m[/tex]. I have an argument in mind, but since I am still getting used to induction, I am not sure sometimes if I am using it the right way. I mean I have used it a lot before, but have never thought about it seriously.

So, let [tex]S\subset\mathbb{N}[/tex] be defined as follows: [tex]n\in S[/tex] iff every subset of [tex]\mathbb{N}[/tex] that contains [tex]n[/tex] as an element has a smallest element. Then, since [tex]0=\emptyset[/tex] is an element of every number, it is the smallest element of every set that contains it. Next, we can assume that [tex]n\in S[/tex] and prove that every set containing [tex]n^+[/tex] also has a smallest element. I will leave out the details here, but I was wondering if I can use induction in this manner.

The reason I am a little unsure about this is because I am used to using induction to prove statements like "the sum of the first [tex]n[/tex] numbers is always [tex]\frac{n(n+1)}{2}[/tex]".
 
Last edited:

Answers and Replies

  • #2
morphism
Science Advisor
Homework Helper
2,015
4
I think that will be fine. (You might need to use strong induction -- at least the argument I have in mind does -- but strong induction is implied by regular induction.)
 
  • #3
41
0
Thanks. I have actually been reading Halmos' Naive Set Theory, and I just started learning about "transfinite induction". I wonder if strong induction is connected with this. I know that transfinite induction is equivalent to mathematical induction for [tex]\mathbb{N}[/tex].
 
  • #4
morphism
Science Advisor
Homework Helper
2,015
4
It is related to transfinite induction, but this relation isn't relevant here. In a proof using regular induction for [itex]\mathbb{N}[/itex], you prove in the inductive step that if P(k) is true then P(k+1) is true; if you were using strong induction, on the other hand, you'd prove that if P(i), P(i+1), ..., P(k) are all true, then P(k+1) is true. It's really the same idea, except you're using the fact that your proposition is true for all previous cases instead of only the preceding one.
 
  • #5
matt grime
Science Advisor
Homework Helper
9,395
3
Transfinite induction pertains to using ordinals strictly larger than N, so it is of no use here.
 
  • #6
41
0
In connection with the Well-ordering Theorem, I have come across this notion called "continuation", and it is a bit confusing. The definition in Halmos goes something like this:

A well-ordered set [tex]A[/tex] is said to be a continuation of a well-ordered set [tex]B[/tex] if [tex]B\subset A[/tex], [tex]B[/tex] is an initial segement of [tex]A[/tex] and [tex]B[/tex] has the same ordering as [tex]A[/tex].

Now, I am assuming that "initial segment of [tex]A[/tex]" means "initial segment of some element of [tex]A[/tex]". Secondly, I would think that the subset criterion follows from the initial segment criterion, and hence it is redundant. However, does this definition assume that both [tex]A[/tex] and [tex]B[/tex] are included in some larger poset [tex]X[/tex]? If that is the case, then, an initial segment of an element in [tex]A[/tex] is not necessarily a subset of [tex]A[/tex], but I doubt that the definition assumes anything like that. Furthermore, I was under the impression that when we speak of one ordered set being a "subset" of another, it automatically inherits the ordering of the larger set since an ordered set is really a pair [tex]\{A,R\}[/tex], where [tex]R[/tex] is the order relation on [tex]A[/tex]. This could just be an issue with convention.
 
  • #7
matt grime
Science Advisor
Homework Helper
9,395
3
This seems like it ought to be a remarkarbly obvious definition: what is a welol ordered set? it is just elements

x_1, x_2, x_3,..., x_n for a finite ordinal

x_1,... for the first infinite ordinal

x_1,x_2,......
y_1,y_2,......y_n for the ordinal w+n and so on. (Ok, you can't draw uncountable ordinals like this, but that is all that is going on.)



A is a continuation of B if you can get B by just removing all things after a certain point. Surely.

I don't know how it would be possible for an _element_ of a well ordered set to have 'an initial segment'
 
  • #8
41
0
Well, I haven't studied ordinal numbers just yet. I understand that well-ordered sets are just ordered sets for which every non-empty subset has a least element. By definition, if [tex]X[/tex] is an ordered set, the initial segment determined by [tex]x\in X[/tex] is the set [tex]s(x)=\{y\in X: y<x\}[/tex]. I am not sure if this is a standard definition, but at least it is the one I have come across in Halmos' book.

In fact, my problem with the definition is independent of "well-ordering" since it could have been applied to any ordered set. I believe my confusion arises from the definition of ordered sets that I am currently using. As I mentioned earlier, the definition I am thinking about is that of a pair [tex]\{A,R\}[/tex], where [tex]A[/tex] is the set considered, and [tex]R[/tex] is a particular subset of [tex]A\times A[/tex] that satisfies the order axioms. Given this model, what does it mean for one ordered set to be a "subset" of another? I suppose one way to define it is: [tex]\{A,R\}[/tex] is a subset of [tex]\{B,T\}[/tex] if [tex]A\subset B[/tex]. This way, the ordering of [tex]A[/tex] need not be the same as the ordering of [tex]A[/tex] within [tex]B[/tex]. So, it needs to be specified. I think this is the usual approach. However, we could also have required that [tex]R\subset T[/tex] in the definition. Then, when we speak of subsets of ordered sets, we can automatically assume that they inherit the ordering from the larger set.

In any case, I am just trying to understand these ideas more precisely to avoid ambiguity.
 
Last edited:
  • #9
3
0
Thanks for this, very helpfull


___________________________________

http://www.free-training-tutorial.com/ordering-numbers-games.html" [Broken]
 
Last edited by a moderator:

Related Threads on Well-ordering of Natural Numbers

  • Last Post
Replies
2
Views
5K
Replies
2
Views
954
Replies
19
Views
9K
  • Last Post
Replies
12
Views
4K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
10
Views
3K
Replies
2
Views
3K
  • Last Post
Replies
1
Views
960
Top