Difference between revisions of "Natural Numbers:Postulates"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
 
(5 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
==Formal definitions==
 
==Formal definitions==
 
+
=== Peano's Axioms ===
 
Many properties of the natural numbers can be derived from the five Peano axioms:
 
Many properties of the natural numbers can be derived from the five Peano axioms:
 +
# 0 is a natural number.
 +
# Every natural number has a successor which is also a natural number.
 +
# 0 is not the successor of any natural number.
 +
# If the successor of <math> x </math> equals the successor of <math> y </math>, then <math> x</math> equals <math> y</math>.
 +
# The axiom of induction: If a statement is true of 0, and if the truth of that statement for a number implies its truth for the successor of that number, then the statement is true for every natural number.
  
==Peano's Axioms for the Natural Numbers==
+
These are not the original axioms published by Peano, but are named in his honor.  Some forms of the Peano axioms have 1 in place of 0.  In ordinary arithmetic, the successor of <math> x</math> is <math> x + 1</math>. Replacing axiom 5 by an axiom schema, one obtains a (weaker) first-order theory called ''Peano arithmetic''.
# 1 is a natural number.
 
# For every natural number <math> n </math>, the successor to <math> n </math>, (<math> n + 1 </math>), is also a natural number.
 
# 1 is not a successor to any natural number.
 
# If two numbers <math> n_1 </math> and <math> n_2 </math> have the same successor, then <math> n_1 = n_2 </math>.
 
# If a set <math> S </math> contains 1, and also contains the successor of every element <math> n </math> in <math> S </math>, then every natural number is in <math> S </math>.
 
 
 
These axioms are used to build the set of natural numbers <math> \N = \{1, 2, 3,..., n, n + 1,...\} </math>. They are not the original axioms published by Peano, but are named in his honor.  Some forms of the Peano axioms have 1 in place of 0.  In ordinary arithmetic, the successor of <math> x</math> is <math> x + 1</math>. Replacing axiom 5 by an axiom schema, one obtains a (weaker) first-order theory called ''Peano arithmetic''.
 
  
 
===Constructions based on set theory===
 
===Constructions based on set theory===
Line 16: Line 14:
 
====Von Neumann ordinals====
 
====Von Neumann ordinals====
  
In the area of mathematics called set theory, a specific construction defines the natural numbers as follows:
+
In the area of mathematics called set theory, a specific construction due to John von Neumann defines the natural numbers as follows:
 
* Set <math>\O = \{\}</math>, the empty set,
 
* Set <math>\O = \{\}</math>, the empty set,
* Define {{math|''S''(''a'') {{=}} ''a'' ∪ {{mset|''a''}}}} for every set {{math|''a''}}. {{math|''S''(''a'')}} is the successor of {{math|''a''}}, and {{math|''S''}} is called the successor function.
+
* Define <math>S(a) = a \cup \{a\}</math> for every set <math>a</math>. <math>S(a)</math> is the successor of <math>a</math>, and <math>S</math> is called the successor function.
 
* By the axiom of infinity, there exists a set which contains 0 and is closed under the successor function. Such sets are said to be  ''inductive''. The intersection of all such inductive sets is defined to be the set of natural numbers. It can be checked that the set of natural numbers satisfies the Peano axioms.
 
* By the axiom of infinity, there exists a set which contains 0 and is closed under the successor function. Such sets are said to be  ''inductive''. The intersection of all such inductive sets is defined to be the set of natural numbers. It can be checked that the set of natural numbers satisfies the Peano axioms.
 
* It follows that each natural number is equal to the set of all natural numbers less than it:
 
* It follows that each natural number is equal to the set of all natural numbers less than it:
Line 31: Line 29:
 
Also, with this definition, different possible interpretations of notations like {{math|ℝ<sup>''n''</sup>}} ({{math|''n''}}-tuples versus mappings of {{math|''n''}} into {{math|ℝ}}) coincide.
 
Also, with this definition, different possible interpretations of notations like {{math|ℝ<sup>''n''</sup>}} ({{math|''n''}}-tuples versus mappings of {{math|''n''}} into {{math|ℝ}}) coincide.
  
Even if one [[finitism|does not accept the axiom of infinity]] and therefore cannot accept that the set of all natural numbers exists, it is still possible to define any one of these sets.
+
Even if one does not accept the axiom of infinity and therefore cannot accept that the set of all natural numbers exists, it is still possible to define any one of these sets.
 
 
====Zermelo ordinals<!--'Zermelo ordinal' and 'Zermelo ordinals' redirects here-->====
 
  
Although the standard construction is useful, it is not the only possible construction. [[Ernst Zermelo]]'s construction goes as follows:<ref name="Levy"/>
+
====Zermelo ordinals====
* Set {{math|0 {{=}} {{mset| }}}}
 
* Define {{math|''S''(''a'') {{=}} {{mset|''a''}}}},
 
* It then follows that
 
:*{{math|0 {{=}} {{mset| }}}},
 
:*{{math|1 {{=}} {{mset|0}} {{=}} {{mset|{{mset| }}}}}},
 
:*{{math|2 {{=}} {{mset|1}} {{=}} {{mset|{{mset|{{mset| }}}}}}}},
 
:*{{math|''n'' {{=}} {{mset|''n''−1}} {{=}} {{mset|{{mset|{{mset|...}}}}}}}}, etc.
 
:Each natural number is then equal to the set containing just the natural number preceding it. This is the definition of '''Zermelo ordinals'''. Unlike von&nbsp;Neumann's construction, the Zermelo ordinals do not account for infinite ordinals.
 
  
 +
Although the standard construction is useful, it is not the only possible construction. Ernst Zermelo's construction goes as follows:
 +
*Set <math>0 = \{ \}</math>
 +
*Define <math>S(a) = \{a\}</math>,
 +
*It then follows that
 +
:*<math>0 = \{ \}</math>,
 +
:*<math>1 = \{0\} = \{\{ \}\}</math>,
 +
:*<math>2 = \{1\} = \{\{\{ \}\}\}</math>,
 +
:*<math>n = \{n-1\} = \{\{\{...\}\}\}</math>, etc.
 +
:Each natural number is then equal to the set containing just the natural number preceding it. This is the definition of Zermelo ordinals. Unlike von Neumann's construction, the Zermelo ordinals do not account for infinite ordinals.
  
 
==Resources==
 
==Resources==
 
* [https://link-springer-com.libweb.lib.utsa.edu/content/pdf/10.1007%2F978-1-4419-7127-2.pdf Course Textbook], pages 196-201
 
* [https://link-springer-com.libweb.lib.utsa.edu/content/pdf/10.1007%2F978-1-4419-7127-2.pdf Course Textbook], pages 196-201
 +
 +
== Licensing ==
 +
Content obtained and/or adapted from:
 +
* [https://en.wikipedia.org/wiki/Natural_number Natural number, Wikipedia] under a CC BY-SA license

Latest revision as of 17:54, 30 January 2022

Formal definitions

Peano's Axioms

Many properties of the natural numbers can be derived from the five Peano axioms:

  1. 0 is a natural number.
  2. Every natural number has a successor which is also a natural number.
  3. 0 is not the successor of any natural number.
  4. If the successor of equals the successor of , then equals .
  5. The axiom of induction: If a statement is true of 0, and if the truth of that statement for a number implies its truth for the successor of that number, then the statement is true for every natural number.

These are not the original axioms published by Peano, but are named in his honor. Some forms of the Peano axioms have 1 in place of 0. In ordinary arithmetic, the successor of is . Replacing axiom 5 by an axiom schema, one obtains a (weaker) first-order theory called Peano arithmetic.

Constructions based on set theory

Von Neumann ordinals

In the area of mathematics called set theory, a specific construction due to John von Neumann defines the natural numbers as follows:

  • Set , the empty set,
  • Define for every set . is the successor of , and is called the successor function.
  • By the axiom of infinity, there exists a set which contains 0 and is closed under the successor function. Such sets are said to be inductive. The intersection of all such inductive sets is defined to be the set of natural numbers. It can be checked that the set of natural numbers satisfies the Peano axioms.
  • It follows that each natural number is equal to the set of all natural numbers less than it:
,
,
,
,
, etc.

With this definition, a natural number is a particular set with elements, and if and only if is a subset of . The standard definition, now called definition of von Neumann ordinals, is: "each ordinal is the well-ordered set of all smaller ordinals."

Also, with this definition, different possible interpretations of notations like n (n-tuples versus mappings of n into ) coincide.

Even if one does not accept the axiom of infinity and therefore cannot accept that the set of all natural numbers exists, it is still possible to define any one of these sets.

Zermelo ordinals

Although the standard construction is useful, it is not the only possible construction. Ernst Zermelo's construction goes as follows:

  • Set
  • Define ,
  • It then follows that
  • ,
  • ,
  • ,
  • , etc.
Each natural number is then equal to the set containing just the natural number preceding it. This is the definition of Zermelo ordinals. Unlike von Neumann's construction, the Zermelo ordinals do not account for infinite ordinals.

Resources

Licensing

Content obtained and/or adapted from: