Successor Ordinal

From Cantor's Attic
Revision as of 13:49, 16 September 2021 by BartekChom (Talk | contribs) (Category:Order theory)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


A successor ordinal, by definition, is an ordinal $\alpha$ that is equal to $\beta + 1$ for some ordinal $\beta$.

The successor function, denoted as $\beta+1$, $\operatorname{suc} \beta$, or $\beta ^+$ is defined on the ordinals as $\beta \cup \{ \beta \}$

Properties of the successor

There are no ordinals between $\beta$ and $\beta + 1$.

The union $\bigcup \beta$ can be thought of as an inverse successor function, because $\bigcup ( \beta + 1 ) = \beta$. All limit ordinals are equal to their union.