Lema del punto fijo para funciones normales
El lema del punto fijo para funciones normales o teorema del punto fijo de Veblen es un teorema básico de la teoría axiomática de conjuntos que afirma cualquier función normal tiene una cantidad arbitrariamente grande puntos fijos,[1] demostrado por Oswald Veblen en 1908.
Introducción y enunciado editar
Una función normal es una función f definida en la clase de los ordinales que satisface que:
- f es estrictamente creciente: f(α) < f(β) siempre que α < β.
- f es continua: para cada ordinal límite λ, f(λ) = sup { f(α) : α < λ }.
Se puede demostrar que si f es normal entonces f conmuta con el operador de supremo; y para cualquier conjunto no vacío A de ordinales,
- f(sup A) = sup {f(α) : α ∈ A }.
De hecho, si sup A es un ordinal sucesor entonces sup A es un elemento de A y la igualdad se sigue del carácter creciente de f. Si sup A es un ordinal límite entonces la igualdad se sigue de la propiedad de conitnuidad de f.
Un punto fijo de una función normal es un ordinal β tal que f(β) = β.
El lema de punto fijo afirma que la clase de los puntos fijos de cualquier función normal es no-vacía, de hecho es un conjunto no acotado, dado cualquier ordinal α, existe un ordinal β tal que β ≥ α y f(β) = β.
La continuidad de una función normal implica que la clase de puntos fijos es cerrada (es decir, el supremo de cualquier subconjunto de la clase de puntos fijos es también un punto fijo). Por tanto el lema del punto fijo es equivalente a la afirmación de que los puntos fijos de una función normal forman una clase cerrada y no acotada.
Demostración editar
El primer paso para demostrar el lema es comprobar que f(γ) ≥ γ para todos los ordinales γ y que f conmuta con el operador de supremo. Dado esos resultados, se define por recursión una secuencia creciente <αn> (n < ω) escogiendo α0 = α, y αn+1 = f(αn) para n ∈ ω. Sea β = sup {αn : n ∈ ω}, y así β ≥ α. Más aún, puesto que f conmuta con el operador de supremo:
- f(β) = f(sup {αn : n < ω})
- = sup {f(αn) : n < ω}
- = sup {αn+1 : n < ω}
- = β.
Esta última igualdad se suge del hecho de que la secuencia <αn> es creciente.
Ejemplo de aplicación editar
La función f : Ord → Ord, f(α) = אα es normal (ver alef). Por tanto, existe un ordinal Θ tal que Θ = אΘ. De hecho, el lema muestra que existe toda una clase, cerrada y no acotada de tales Θ.
Referencias editar
- ↑ Levy 1979: p. 117.
Bibliografía editar
- Levy, A. (1979). Basic Set Theory. Springer. Republished, Dover, 2002. ISBN 0-486-42079-5.
- Veblen, O. (1908). «Continuous increasing functions of finite and transfinite ordinals». Trans. Amer. Math Soc. (American Mathematical Society) 9 (3): 280-292. doi:10.2307/1988605. Available via JSTOR..
Datos: Q5456327
