Normal function

Normal function

In axiomatic set theory, a function f : Ord → Ord is called normal (or a normal function) iff it is continuous (with respect to the order topology) and strictly monotonically increasing. This is equivalent to the following two conditions:

  1. For every limit ordinal γ (i.e. γ is neither zero nor a successor), f(γ) = sup {f(ν) : ν < γ}.
  2. For all ordinals α < β, f(α) < f(β).

Contents

Examples

A simple normal function is given by f(α) = 1 + α; note however that f(α) = α + 1 is not normal. If β is a fixed ordinal, then the functions f(α) = β + α, f(α) = β × α and f(α) = βα (for β > 1) are all normal.

More important examples of normal functions are given by the aleph numbers f(\alpha) = \aleph_\alpha which connect ordinal and cardinal numbers, and by the beth numbers f(\alpha) = \beth_\alpha.

Properties

If f is normal, then for any ordinal α,

f(α) ≥ α.[1]

Proof: If not, choose γ minimal such that f(γ) < γ. Since f is strictly monotonically increasing, f(f(γ)) < f(γ), contradicting minimality of γ.

Furthermore, for any non-empty set S of ordinals, we have

f(sup S) = sup f(S).

Proof: "≥" follows from the monotonicity of f and the definition of the supremum. For "≤", set δ = sup S and consider three cases:

  • if δ = 0, then S = {0} and sup f(S) = f(0);
  • if δ = ν + 1 is a successor, then there exists s in S with ν < s, so that δ ≤ s. Therefore, f(δ) ≤ f(s), which implies f(δ) ≤ sup f(S);
  • if δ is a nonzero limit, pick any ν < δ, and an s in S such that ν < s (possible since δ = sup S). Therefore f(ν) < f(s) so that f(ν) < sup f(S), yielding f(δ) = sup {f(ν) : ν < δ} ≤ sup f(S), as desired.

Every normal function f has arbitrarily large fixed points; see the fixed-point lemma for normal functions for a proof. One can create a normal function g : Ord → Ord, called the derivative of f, where g(α) is the α-th fixed point of f.[2]

Notes

  1. ^ Johnstone 1987, Exercise 6.9, p. 77
  2. ^ Johnstone 1987, Exercise 6.9, p. 77

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Normal (mathematics) — In mathematics, normal can have several meanings:* Surface normal, a vector (or line) that is perpendicular to a surface. * Normal component, the component of a vector that is perpendicular to a surface. ** Normal curvature, of a curve on a… …   Wikipedia

  • Function pointer — A function pointer is a type of pointer in C, C++, D, and other C like programming languages, and Fortran 2003.[1] When dereferenced, a function pointer can be used to invoke a function and pass it arguments just like a normal function. In… …   Wikipedia

  • Normal-scaled inverse gamma distribution — Normal scaled inverse gamma parameters: location (real) (real) (real) (real) support …   Wikipedia

  • Normal-gamma distribution — Normal gamma parameters: location (real) (real) (real) (real) support …   Wikipedia

  • Normal-inverse Gaussian distribution — Normal inverse Gaussian (NIG) parameters: μ location (real) α tail heavyness (real) β asymmetry parameter (real) δ scale parameter (real) support …   Wikipedia

  • Normal-exponential-gamma distribution — Normal Exponential Gamma parameters: μ ∈ R mean (location) shape scale support: pdf …   Wikipedia

  • function — [fuŋk′shən] n. [OFr < L functio < pp. of fungi, to perform < IE base * bheug , to enjoy > Sans bhuṅktē, (he) enjoys] 1. the normal or characteristic action of anything; esp., any of the natural, specialized actions of a system, organ …   English World dictionary

  • normal — [nôr′məl] adj. [L normalis < norma, a rule: see NORM] 1. conforming with or constituting an accepted standard, model, or pattern; esp., corresponding to the median or average of a large group in type, appearance, achievement, function,… …   English World dictionary

  • Normal order (disambiguation) — Normal order may refer to: Normal order of creation and annihilation operators in theoretical physics Normal order evaluation in computer science Normal order of an arithmetic function in number theory This disambiguation page lists articles… …   Wikipedia

  • Normal science — is a concept originated by Thomas Samuel Kuhn and elaborated in The Structure of Scientific Revolutions. The term refers to the routine work of scientists experimenting within a paradigm, slowly accumulating detail in accord with established… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”