Conventions for Natural Numbers: Debate & Axioms

In summary: They are the only numbers that are not members of any other set.In summary, there is no consistent convention when it comes to including 0 in the natural numbers. Some people prefer to include it, while others prefer to exclude it. However, either way is okay as long as you are consistent.
  • #1
tauon
90
0
what is the convention you adhere to when it comes to natural numbers?
for example there is a long standing debate about 0... should we define [tex]\mathbb N = \{0,1,2,...\}[/tex] or instead [tex]\mathbb N = \{1,2,3,...\}[/tex]

and more about this, considering Peano's Axioms than we could choose [tex]\mathbb N =\{-7,-6,-5,...,0,1,2,3,...\}[/tex] -define the successor function [tex]\phi[/tex] as [tex]\phi (n) = n + 1[/tex] and "verifying" the axioms for this set is quite easy.

so is there any real point(!) with the natural numbers? :D
 
Physics news on Phys.org
  • #2
There is, I think, no consistent convention. I prefer including 0 in N and calling {1,2,...} the "whole numbers" since you can't have "a whole nothing".

Specifically, addressing your point about Peano's construction you start with 0 and the successor function and define the naturals as identified with the power of that function applied to 0.

[tex] n \equiv \phi^n(0) = \phi(\phi(\phi(...\phi(0)...)))[/tex] (with n instances of phi)

Since we include our starting point in our set we would allow that zeroth power. Invoking an inverse successor and axiom that the system is closed under it as well we get all the integers similarly defined notationally via symbolic powers. Your point about starting at -7 is just a relabeling of the starting point but breaking the power identification above. This identification really relates cardinal numbers (how many instances of phi) with the ordinals (how far past our starting point) and we see the distinction is in whether we are counting positions or counting steps.

I think the main issue is whether we are using the natural numbers as cardinal or ordinal numbers. I would suggest the following convention and notation:

The "natural cardinals" are
[tex]\mathbb{N}=\{0,1,2, \ldots\}[/tex]
since these are all possible cardinalities of finite sets.

The "natural ordinals" are
[tex] \mathcal{N}=\{1^{st},2^{nd},3^{rd},\ldots\}[/tex]
since we don't want to bastardize the semantics by speaking of a zeroth element.

As to their "point" yes, the main point is their use as a standard index set for countably infinite sets. As such either is fine but some formulas may appear simpler with either case as the index set to say avoid (n-1)'s or (n+1)'s in the expressions. Typically if you're going to invoke them by name or symbol you should footnote a clarification of your preferred convention.

BTW: A typical construction of the cardinal numbers is to define the empty set as 0 and then n = {0,1,2,...(n-1)} defined recursively.

The more universally accepted definition of the cardinal numbers is as the equivalence classes of sets of the same cardinality (using existence of a bijection as an equivalence relation). This can be troublesome because it invokes a "set of all sets" out of which these equivalence classes are pulled and that gets too close to Russell's paradox. At the very least you must first construct all sets before you can construct the cardinals.

The nice thing about the naturals (including 0) is it is also the first transfinite cardinal in the above direct construction. The problem however is that this construction can't get past aleph0 since it is fundamentally ordinal in process. Hence the "equivalence class" definition better generalizes past the finite. The troubles are dealt with as I said by carefully constructing all your sets first then constructing their cardinality classes.
 
  • #3
I don't think there's really any debate about it. It really doesn't matter whether or not you include 0, as long as you're consistent.

As for Peano's Axioms, one of the axioms is to assume 0 (an arbitrary constant symbol) is a natural number. If you want to reaximoize (yes, i invented a word) to assume -7 is a natural number, and then use the successor function, that's fine.
 
  • #4
tauon said:
and more about this, considering Peano's Axioms than we could choose [tex]\mathbb N =\{-7,-6,-5,...,0,1,2,3,...\}[/tex] -define the successor function [tex]\phi[/tex] as [tex]\phi (n) = n + 1[/tex] and "verifying" the axioms for this set is quite easy.
Even the axiom that says there is an element that isn't a successor? And what about the induction axiom?
 
  • #5
It's true that many, apparently distinct, structures satisfy the Second-Order (where the induction axiom says "For any set X...") Peano Axioms; all three that you mention do (I would advise against the third one, because the negative integers are construted from the naturals). The point is that all these structures are isomorphic; therefore mathematically indistinguishable, so you must look for reasons in the definition of [tex]\mathbb N[/tex] from more basic entities (sets), or in their use in constructing other mathematical entities.

So, regarding the inclusion of the zero or not, I prefer to include it, because:

(1) If you construct the naturals from set theory, then you start from the empty set, which is taken as 0, and obtain the others by applying successive applications of the successor function.

(2) Also from the Set Theory point of view, the naturals are a very special type of sets: the finite ordinals, and the first of these is the empty set (cardinals are a particular type of ordinals, not the reverse) so, it makes sense to start from zero to have a neat theory for the ordinals sets (that continues beyond [tex]\mathbb N[/tex] into the transfinite).

(3) When you construct ([tex]\mathbb Z[/tex]) from [tex]\mathbb N[/tex], it's easier (and neater) if you already have the 0.

Why the two distinct "definitions"? The reason is historical: people who work in Analysis usually leave the 0 out, because they don't really mind how things below [tex]\mathbb R[/tex] are defined and they don't regard 0 as a "natural" quantity (this is how Poincaré, one of Peano's greatest detractors, viewed things). On the other hand, people more close to foundational issues definitely prefer the one with the 0, by the above reasons (and a few more).
 
  • #6
I'm sorry for the very very late reply (I've been busy).

Hurkyl said:
Even the axiom that says there is an element that isn't a successor?
of course. [tex]Ran \phi=\{-6,-5,...,0,1,2,...\}[/tex] i.e. [tex]\forall n\in\mathbb N, \phi(n)\not = -7.[/tex] qed
Hurkyl said:
And what about the induction axiom?
you only need to prove that the set is well-ordered , then the induction axiom follows from that.
 
  • #7
JSuarez said:
So, regarding the inclusion of the zero or not, I prefer to include it, because:

(1) If you construct the naturals from set theory, then you start from the empty set, which is taken as 0, and obtain the others by applying successive applications of the successor function.

however ultimately irrelevant it may be (since we can always "shut up and compute"), I am inclined to refuse to call the set constructed starting with the empty set as a set of natural numbers (although it's all fine with the peano axioms)... "no elements" isn't really a number of elements, definitely not what we (or should I say "I" instead) intuitively think about when we ponder about natural numbers.

I like to say it's a set of ordinals (as you also pointed out), [tex]\omega[/tex]

but again, perhaps this is ultimately pointless convention on my part (the inverse may also be true).

JSuarez said:
(3) When you construct ([tex]\mathbb Z[/tex]) from [tex]\mathbb N[/tex], it's easier (and neater) if you already have the 0.

hmmm,
consider this construction

on [tex]\mathbb N \times \mathbb N[/tex] we define the equivalence relation [tex]\equiv[/tex] as:

[tex](m,n)\equiv(m',n') \Leftrightarrow m+n'=n+m'[/tex]

[tex]\mathbb Z[/tex] will be [tex]\frac{\mathbb N\times\mathbb N}{\equiv}[/tex] with addition and multiplication defined as:

[tex]\hat{(m,n)}+\hat{(m',n')}=\hat{(m+m',n+n')}[/tex]
[tex]\hat{m,n)}*\hat{(m',n')}=\hat{(mm'+nn',mn'+nm')}[/tex]

with [tex]\hat{(1,1)}\equiv 0[/tex] and [tex]\hat{(2,1)}\equiv 1[/tex]

I think this is a pretty straightforward and neat construction without 0 as a natural number (appearing only for the integers)...
 
  • #8
anyway, thanks everyone for the input... I guess I'm just circling around conventions. :rolleyes:
 
  • #9
tauon said:
of course. [tex]Ran \phi=\{-6,-5,...,0,1,2,...\}[/tex] i.e. [tex]\forall n\in\mathbb N, \phi(n)\not = -7.[/tex] qed
Oh whoops -- I misread and thought your set was left-infinite as well.
 
  • #10
tauon said:
"no elements" isn't really a number of elements, definitely not what we (or should I say "I" instead) intuitively think about when we ponder about natural numbers.
IMO, you ought to really consider whether this really is how you want your intuitive notion of "number" to behave, or if your thought is being influenced by a quirk of English grammar.
 
  • #11
I like to say it's a set of ordinals (as you also pointed out)

The best way (and the actual definition of [tex]\omega[/tex]) is the set of all finite ordinals, and [tex]\emptyset[/tex] is a finite ordinal. Now, given [tex]n \in \omega[/tex], every initial segment of it (that is, any [tex]m<n[/tex]) will also be a finite ordinal, so it must belong to [tex]\omega[/tex], and [tex]0[/tex] is one of those initial segments.
 

1. What are "Conventions for Natural Numbers"?

"Conventions for Natural Numbers" refers to the set of rules and principles that govern the way we understand and use natural numbers in mathematics. These conventions include the definitions, properties, and operations associated with natural numbers.

2. Why is there a debate about conventions for natural numbers?

There is a debate about conventions for natural numbers because different mathematicians and philosophers have different perspectives on how we should understand and use natural numbers. Some argue for a more ontological approach, seeing natural numbers as existing independently of human thought, while others take a more instrumentalist approach, viewing natural numbers as simply useful tools for solving mathematical problems.

3. What are some commonly accepted axioms for natural numbers?

Some commonly accepted axioms for natural numbers include the Peano axioms, which define the basic properties of natural numbers such as the successor function and induction, and the Von Neumann construction, which defines natural numbers as sets based on the concept of ordinal numbers.

4. How do conventions for natural numbers impact mathematical proofs?

Conventions for natural numbers play a crucial role in mathematical proofs as they provide the foundation for reasoning and making deductions about natural numbers. By following accepted conventions, mathematicians are able to build upon existing knowledge and formulate new theorems and proofs.

5. Are there any alternative conventions for natural numbers?

Yes, there are alternative conventions for natural numbers, such as the Church-Rosser system, which defines natural numbers based on the concept of computation, and the surreal numbers, which extend the traditional system of natural numbers to include infinite and infinitesimal numbers.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
4
Views
4K
  • Set Theory, Logic, Probability, Statistics
Replies
7
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
13
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
17
Views
4K
Replies
3
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
457
  • Set Theory, Logic, Probability, Statistics
Replies
16
Views
3K
  • Calculus and Beyond Homework Help
Replies
3
Views
503
  • Set Theory, Logic, Probability, Statistics
Replies
0
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
28
Views
5K
Back
Top