Successor function

Short description: Elementary operation on a natural number

For other uses, see Successor (disambiguation).

In mathematics, the successor function or successor operation sends a natural number to the next one. The successor function is denoted by S, so S(n)=n+1. For example, S(1)=2 and S(2)=3. The successor function is one of the basic components used to build a primitive recursive function.

Successor operations are also known as zeration in the context of a zeroth hyperoperation. In this context, the extension of zeration is addition, which is defined as repeated succession.

## Overview

The successor function is part of the formal language used to state the Peano axioms, which formalise the structure of the natural numbers. In this formalisation, the successor function is a primitive operation on the natural numbers, in terms of which the standard natural numbers and addition are defined.[1] 1 is defined to be S(0), 2 is S(1), etc.; and addition on natural numbers is defined recursively by:

m+0=m
m+S(n)=S(m+n)

This can be used to compute the addition of any two natural numbers. For example:

5+2

=5+S(1)
=5+S(S(0))
=S(5+S(0))
=S(S(5+0))
=S(S(5))
=S(6)
=7.

Several constructions of the natural numbers within set theory have been proposed. For example, John von Neumann constructs the number 0 as the empty set and the successor of n as the set n∪{n}. The axiom of infinity then guarantees the existence of a set that contains 0 and is closed with respect to S. The smallest such set is denoted by ℕ, and its members are called natural numbers.[2]

The successor function is the level-0 foundation of the infinite Grzegorczyk hierarchy of hyperoperations, used to build addition, multiplication, exponentiation, tetration, etc. It was studied in 1986 in an investigation involving generalization of the pattern for hyperoperations.[3]

It is also one of the primitive functions used in the characterization of computability by recursive functions.

## See also

* Successor ordinal
* Successor cardinal
* Increment and decrement operators
* Sequence

## References

1. ↑ Steffen, Bernhard; Rüthing, Oliver; Huth, Michael (2018). Mathematical Foundations of Advanced Informatics--Volume 1: Inductive Approaches. Springer. p. 121. doi:10.1007/978-3-319-68397-3. ISBN 978-3-319-68397-3. https://books.google.com/books?id=CIBSDwAAQBAJ&pg=PA121.
2. ↑ Halmos, Chapter 11
3. ↑ Rubtsov, C.A.; Romerio, G.F. (2004). "Ackermann's Function and New Arithmetical Operations". http://www.rotarysaluzzo.it/Z_Vecchio_Sito/filePDF/Iperoperazioni (1).pdf.

* Paul R. Halmos (1968). Naive Set Theory. Nostrand.

* v
* t
* e

Hyperoperations

Primary|

* Successor (0)
* Addition (1)
* Multiplication (2)
* Exponentiation (3)
* Tetration (4)
* Pentation (5)

Inverse for left argument|

* Subtraction (1)
* Division (2)
* nth root (3)
* Super-root (4)

Inverse for right argument|

* Subtraction (1)
* Division (2)
* Logarithm (3)
* Super-logarithm (4)

Related articles|

* Ackermann function
* Bowers's operators
* Conway chained arrow notation
* Grzegorczyk hierarchy
* Knuth's up-arrow notation
* Steinhaus–Moser notation

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Successor function. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Successor_function&oldid=4227002"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template