Documentos de Académico
Documentos de Profesional
Documentos de Cultura
VARIANTES A
RECURSIN PARA
Hay muchas versiones o variantes de Recursin para ( en ZF ), veamos
algunas. Estas solamente las enunciaremos y daremos una sugerencia para su
demostracin.
a). Si A es una clase, a A y G 1 : A A, entonces hay una nica funcin f 1
tal que
f1 : A
I) f 1 0 a
II) n f 1 n G 1 f 1 n, n
Observacin:
f 1 0 a
f 1 1 G 1 f 1 0, 0
G 1 a, 0
f 1 2 G 1 f 1 1, 1
G 1 G 1 a, 0, 1
f 1 3 G 1 f 1 2, 2
G1
G 1 G 1 a, 0, 1 , 2
Para una prueba de a), solo hay que rehacer la prueba original.
Ejemplo: El factorial de un natural:
!:
I) 0! 1
II) n ! n! n
En este caso: A , a 1 y G 1 : , con G 1 p, q p q para toda p, q .
Teora de Conjuntos I
Variantes a Recursin
n a
n
Si a es un conjunto y g :
n f 3 n gf 3 n
Observacin:
f 3 0 gf 3 0 gf 3 g g0 y f 3 1 gf 3 1 g0, g0
Para la prueba de c) se puede usar a). Sugerencia: Sea G 1 : S A,
G 1 x, n x n, gx, Por a), hay f 1 : S tal que f 1 0 y
f 1 n Gf 1 n, n. Finalmente, sea f 3 f 1 .
Ejemplo: Para obtener la Sucesin de Fibonacci: 1,1,2,3,5,8,13,..., basta tomar:
a yg :
gt
, sea
si DOMt 0
si DOMt 1
tn tn 1
Teora de Conjuntos I
Variantes a Recursin
F0 g0 1
F1 gF 1 1
F2 gF 2 F 20 F 21 F0 F1 1 1 2
F3 gF 3 F 21 F 22 F1 F2 1 2 3
F4 F2 F3 2 3 5
Podramos decir, hay una nica funcin F : tal que
1. F0 1 y F1 1
2. n Fn 2 Fn Fn 1
f 4 n gf 4 n, n
gx, n
si x, n DOMg
en otro caso