Axiom:Peano's Axioms

From ProofWiki
(Redirected from Axiom:Dedekind-Peano Axioms)
Jump to: navigation, search

Axioms

Peano's Axioms are a set of properties which can be used to serve as a basis for logical deduction of the properties of the natural numbers.

Peano's Axioms are intended to reflect the intuition behind $\N$, the mapping $s: \N \to \N: s \left({n}\right) = n + 1$ and $0$ as an element of $\N$.


Let there be given a set $P$, a mapping $s: P \to P$, and a distinguished element $0$.

Historically, the existence of $s$ and the existence of $0$ were considered the first two of Peano's Axioms. The other three are as follows:


Formulation 1

\((P3)\)   $:$     \(\displaystyle \forall m, n \in P:\) \(\displaystyle \map s m = \map s n \implies m = n \)    $s$ is injective             
\((P4)\)   $:$     \(\displaystyle \forall n \in P:\) \(\displaystyle \map s n \ne 0 \)    $0$ is not in the image of $s$             
\((P5)\)   $:$     \(\displaystyle \forall A \subseteq P:\) \(\displaystyle \paren {0 \in A \land \paren {\forall z \in A: \map s z \in A} } \implies A = P \)    Principle of Mathematical Induction:             
Any subset $A$ of $P$, containing $0$ and             
closed under $s$, is equal to $P$             


Formulation 2

\((P3)\)   $:$     \(\displaystyle \forall m, n \in P:\) \(\displaystyle \map s m = \map s n \implies m = n \)    $s$ is injective             
\((P4)\)   $:$   \(\displaystyle \Img s \ne P \)    $s$ is not surjective             
\((P5)\)   $:$     \(\displaystyle \forall A \subseteq P:\) \(\displaystyle \paren {\paren {\exists x \in A: \neg \exists y \in P: x = \map s y} \land \paren {\forall z \in A: \map s z \in A} } \)    Principle of Mathematical Induction:             
\(\displaystyle \implies A = P \)    Any subset $A$ of $P$, containing an element not             
in the image of $s$ and closed under $s$,             
is equal to $P$             


Terminology

Successor Mapping

Let $\struct {P, s, 0}$ be a Peano structure.


Then the mapping $s: P \to P$ is called the successor mapping on $P$.


Non-Successor Element

Let $\left({P, s, 0}\right)$ be a Peano structure.


Then the element $0 \in P$ is called the non-successor element.

This is justified by Axiom $(P4)$, which stipulates that $0$ is not in the image of the successor mapping $s$.


Peano Structure

Such a set $P$, together with the successor mapping $s$ and non-successor element $0$ as defined above, is known as a Peano structure.


Also defined as

Some treatments of this topic define the non-successor element (or primal element) to be $1$ and not $0$.

The treatments are similar, but the $1$-based system results in an algebraic structure which has no identity element for addition, and so no zero for multiplication.


Also known as

Peano's Axioms are also known as the Peano Axioms, the Dedekind-Peano Axioms and the Peano Postulates.


Also see

  • Results about Peano's axioms can be found here.


Source of Name

This entry was named for Giuseppe Peano.


Historical Note

Peano's axioms were formulated by Giuseppe Peano, and were later refined by Richard Dedekind.


According to 1960: Paul R. Halmos: Naive Set Theory:

[These] assertions ... are known as the Peano axioms; they used to be considered as the fountainhead of all mathematical knowledge.

It is worth pointing out that the Peano axioms can be deduced to hold for the minimal infinite successor set as defined by the Axiom of Infinity from the Zermelo-Fraenkel axioms.

Thus they are now rarely considered as axiomatic as such.

However, in their time they were groundbreaking.