Definiciones recursivas e induccién estructural INTRODUCCION A veces es ifiell defnirobjetos explicitamente y, sin embargo puede results seneilo denis enter ‘minos de ellos mis te proceso se Hama recursién, Por ejemplo, el dibujo mostrado ea In Fig +a 1 se a generacio recursivamente, Primero se da un dibujo original, Luego ve Heva‘a cabo un proceso de superposicién sucesiva de copies mis pequertas del dibujo centracias sobre el dibujo anterior. Podemos utilizar la recursién para dfinir sucesiones, funciones y conjuntos, En los estudios pre= viios hemos especiticado los términos de una sucesién usando una formula explicit. Por ejemplo, 1a suvesin de las potencias de 2 viene daca por a, = 2°. para n= (, 1,2, . No obstante, esta sucesién se puede definir también dando el primer ténmino de la sucesi6n, a, = 1, y una regla para ballar un tér- ino de la sucesi6n a partir del anterior. En este caso: a, , = 2a, para = 0, 1, 2, ... Cuando defini- ‘mos una sucesion recursivameme, especificando cémo encontrar los términos a partir de kérminos are teriores, se puede utilizar Ia induccicin para demostrar resultados relacionados con esta sucesi Cuando definimos conjuntos recursivamente, especificamos algunos elementos iniciales en un paso base y proporcionamos, en el paso recursive, una regla park consttuir nuevos elementos a par tir de los que ya tenemos. Para demostrar resullayios sobre conjuntos definidos recursivamente pleamos un método lamado induccidu estructufal FUNCIONES DEFINIDAS RECURSIVAMENTE Uitiizamos dos pasos para definir una funeién cuyo dominio es el conjuunto de Tos enteras no negatives. PASO BASE: Se especifica el valor de la funcién en cero, PASO RECURSIVO: Se proporcions une regla para abtener sa valor en wn entero 2 partir dest valores en enteros mds pe,jue'Tos ‘Tal definicidn se [lama definicin inductiva o recursiva.Figura 1. Un dibujo definido recursivamente