Diferencia entre revisiones de «Número ordinal (teoría de conjuntos)»
Contenido eliminado Contenido añadido
m notación |
|||
Línea 88:
== Inducción transfinita ==
{{AP|Inducción transfinita}}
Los números ordinales poseen una propiedad similar al [[principio de inducción]] de los números naturales. Sin una colección de
{{teorema|1=Dada una fórmula φ(''<span class="texhtml">α</span>''), si se cumple:
*φ(0) es cierta,
Línea 99:
donde ''λ'' se refiere a un ordinal límite.
Una aplicación importante de este principio es la '''recursión transfinita''', que permite definir una [[función matemática|
{{teorema|1=Sean ''X'' un conjunto y ''G'' y ''H'' funciones definidas sobre los conjuntos. Entonces existe una única función definida sobre los ordinales ''F'', tal que:
*''F''(0) = ''X''
|