nLab successor

Contents

Contents

Idea

The successor of something is the thing one step after it.

Successors of natural numbers

Given a natural number nn, the successor n +n^+ of nn is simply n+1n + 1. In a topos, a natural numbers object \mathbb{N} is equipped with a successor morphism \mathbb{N}\to\mathbb{N}, which, together with its zero element 11\to \mathbb{N}, is used to characterize its abstract universal property of recursion.

The formula n +n+1n^+ \coloneqq n + 1 may be usefully generalized to other types of numbers; for example, in the real numbers, the golden ratio Φ0.618\Phi \approx 0.618 is the positive number whose successor equals its reciprocal (or more commonly, the golden ratio ϕ1.618\phi \approx 1.618 is the common successor and reciprocal of Φ\Phi).

Successors in well-orderings and cardinals

Generalizing successors in \mathbb{N}, in any well-ordered set SS, the successor w +w^+ of an element ww is the least element of SS which is (strictly) greater than ww (if such an element exists). If SS has no maximal element, then the successor map ww +w \mapsto w^+ is always defined; it is sometimes used to make recursive definitions. We say that an element of a well-ordered set is a successor if it is the successor of something.

This notion is sometimes also used for some well-ordered proper classes, for example for the classes Ord\mathbf{Ord} of ordinal numbers and CardCard of cardinal numbers. (The latter is only well-ordered if we assume the axiom of choice.) Thus the successor ordinal of an ordinal α\alpha is the least ordinal greater than α\alpha, which, if we use the von Neumann definition of ordinals, is α{α}\alpha \cup \{\alpha\}. Similarly, the successor cardinal of a cardinal κ\kappa is the least cardinal greater than κ\kappa. We speak of “a successor ordinal” or “a successor cardinal” to mean an ordinal or cardinal which is the successor of some other ordinal or cardinal, respectively.

Note that if we identify a cardinal number with the least ordinal having that cardinality, as is common in material set theory, then the successor ordinal and the successor cardinal of that cardinal are different. For instance, the successor ordinal of ω= 0\omega = \aleph_0 is ω+1\omega+1 (which is not a cardinal), whereas its successor cardinal is 1\aleph_1 (which is an ordinal but not a successor ordinal).

For definitions by transfinite recursion?, one usually specifies the value at 00, the rule for recursion along the successor map, and a separate rule of recursion for the limiting ordinals (infinite ordinals which are not successors). (For example, the von Neumann hierarchy of well-founded pure sets is defined in that way.) One can (and in constructive mathematics must) also handle all three cases at once, and the successor function is used there as well.

In constructive mathematics, we take the successor of an ordinal to be α +α{α}\alpha^+ \coloneqq \alpha \cup \{\alpha\} again, but it's not clear in what sense this is the smallest ordinal strictly greater than α\alpha. (On the one hand, given any truth value PP, α Pα{αP}\alpha_P \coloneqq \alpha \cup \{\alpha \mid P\} satisfies αα Pα +\alpha \leq \alpha_P \leq \alpha^+, but we cannot prove that α P\alpha_P equals either α\alpha or α +\alpha^+; on the other hand, (α P) +(\alpha_P)^+ is provably strictly greater than α\alpha in a sense, but we cannot prove that α +(α P) +\alpha^+ \leq (\alpha_P)^+.)

Successors of material sets

In material set theory, the formula α +α{α}\alpha^+ \coloneqq \alpha \cup \{\alpha\} is generalized from von Neumann ordinals to arbitrary pure sets (or material sets with urelements). The successor X +X{X}X^+ \coloneqq X \cup \{X\} of a material set XX is the smallest material set that contains XX as both a subset and a member.

Last revised on December 23, 2020 at 21:32:13. See the history of this page for a list of all contributions to it.