Normal function
Template:Short description Template:One source In axiomatic set theory, a function Template:Math is called normal (or a normal function) if it is continuous (with respect to the order topology) and strictly monotonically increasing. This is equivalent to the following two conditions:
- For every limit ordinal Template:Mvar (i.e. Template:Mvar is neither zero nor a successor), it is the case that Template:Math.
- For all ordinals Template:Math, it is the case that Template:Math.
ExamplesEdit
A simple normal function is given by Template:Math (see ordinal arithmetic). But Template:Math is not normal because it is not continuous at any limit ordinal (for example, <math>f(\omega) = \omega+1 \ne \omega = \sup \{f(n) : n < \omega\}</math>). If Template:Mvar is a fixed ordinal, then the functions Template:Math, Template:Math (for Template:Math), and Template:Math (for Template:Math) are all normal.
More important examples of normal functions are given by the aleph numbers <math>f(\alpha) = \aleph_\alpha</math>, which connect ordinal and cardinal numbers, and by the beth numbers <math>f(\alpha) = \beth_\alpha</math>.
PropertiesEdit
If Template:Mvar is normal, then for any ordinal Template:Mvar,
- Template:Math.<ref>Template:Harvnb</ref>
Proof: If not, choose Template:Mvar minimal such that Template:Math. Since Template:Mvar is strictly monotonically increasing, Template:Math, contradicting minimality of Template:Mvar.
Furthermore, for any non-empty set Template:Mvar of ordinals, we have
Proof: "≥" follows from the monotonicity of Template:Mvar and the definition of the supremum. For "Template:Math", set Template:Math and consider three cases:
- if Template:Math, then Template:Math and Template:Math;
- if Template:Math is a successor, then there exists Template:Mvar in Template:Mvar with Template:Math, so that Template:Math. Therefore, Template:Math, which implies Template:Math;
- if Template:Mvar is a nonzero limit, pick any Template:Math, and an Template:Mvar in Template:Mvar such that Template:Math (possible since Template:Math). Therefore, Template:Math so that Template:Math, yielding Template:Math, as desired.
Every normal function Template:Mvar has arbitrarily large fixed points; see the fixed-point lemma for normal functions for a proof. One can create a normal function Template:Math, called the derivative of Template:Mvar, such that Template:Math is the Template:Mvar-th fixed point of Template:Mvar.<ref>Template:Harvnb</ref> For a hierarchy of normal functions, see Veblen functions.