## [Recurrencia Transfinita](/es/node/60216) Definición Un método para definir funciones, sucesiones o clases indexadas por números ordinales especificando el valor en cero, la regla para ordinares sucesores en términos de valores anteriores y el valor en un ordinal límite como una función (a menudo supremo, unión o límite) de los valores en ordinales menores. ## Principio Principio Construir objetos paso a paso a lo largo de la clase bien ordenada de ordinales: caso base, regla de sucesor que referencia etapas previas y regla de etapa límite que combina coherentemente todos los valores anteriores en los ordinales límite. ## Demostración Demostración Definir f en los ordinales por f(0)=0, f(α+1)=f(α)+1, y para un límite λ poner f(λ)=sup{f(β): β<λ}. Esto produce una sucesión creciente con valores ordinales definida en todo ordinal por recurrencia transfinita. ## Aplicación incorrecta Aplicación incorrecta Intentar definir el valor en un ordinal límite únicamente en función del propio índice límite (definición circular) u omitir una regla para límites puede producir construcciones indefinidas o mal planteadas. ## Consecuencia Consecuencia La recurrencia transfinita genera objetos bien definidos en todos los ordinales cuando las reglas de sucesor y de límite están bien especificadas; sustenta construcciones como la jerarquía acumulativa de conjuntos y los rangos de relaciones bien fundadas. ## Inversión Inversión Invertir la bien-ordenación (tratar de iterar 'hacia atrás' a través de los ordinales) es imposible porque los ordinales no admiten cadenas descendentes infinitas; una inversión ingenua rompe el principio recursivo. ## Límite Límite Se aplica a índices bien ordenados (ordinales); no puede aplicarse directamente a órdenes parciales arbitrarios sin estructura adicional (como bien fundación); hay que distinguir recursiones de tamaño clase frente a tamaño conjunto según el marco fundacional. ## Tensión semántica Tensión semántica Tensión entre la recursión finita ordinaria y la recursión transfinita en el tratamiento de las etapas límite: la recursión finita las omite, mientras que la transfinita debe especificar un comportamiento coherente en límites, lo cual es sutil y sensible a fundamentos. ## Síntesis Síntesis La recurrencia transfinita generaliza las definiciones inductivas finitas a todos los ordinales dando prescripciones de base, sucesor y límite para que en cada etapa de la cadena bien ordenada se defina un objeto único, permitiendo construcciones indexadas por ordinales.