Notas sobre induccin y recursin

Pablo Bez Echevarra

pab_24n@outlook.com

Lgica - Facultad de Ingeniera - Udelar Julio de 2013

UNIVERSIDAD DE LA REPUBLICA
URUGUAY

ndice
1. Introduccin 3

2. Deniciones inductivas 3 2.1. Forma general de una denicin inductiva . . . . . . . . . . . . . . . 3 2.2. Interpretacin de las reglas . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2.1. Interpretacin constructiva . . . . . . . . . . . . . . . . . . . . 5 2.2.2. Interpretacin declarativa . . . . . . . . . . . . . . . . . . . . 6 2.2.3. Equivalencia de las interpretaciones constructiva y declarativa 6 2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3. Principio de Induccin Primitiva (PIP) 3.1. Enunciado formal y demostracin . . . . . . . . . . . . . . . . . . . . 3.2. Ejemplo de aplicacin . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3. Pertenencia a un conjunto denido inductivamente . . . . . . . . . . 4. Esquema de Recursin Primitiva (ERP) 4.1. Denicin inductiva libre . . . . . . . . . . . . . . . 4.2. Esquema de recursin primitiva para X . . . . . . 4.3. Ejemplo de aplicacin . . . . . . . . . . . . . . . . . 4.4. Ejercicio 1 del Examen de Lgica de Julio de 2013 10 10 11 12 13 13 18 20 21

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

1.

Introduccin

El objetivo de estas notas es brindar a los estudiantes de Lgica un material de apoyo para los primeros temas del curso (induccin y recursin) para los cuales no hay un libro de cabecera en donde aclararse las dudas e interrogantes que a uno le surgen leyendo las diapositivas. Ojal estos apuntes sirvan para dicho propsito.

2.
2.1.

Deniciones inductivas
Forma general de una denicin inductiva

Para denir inductivamente un conjunto, llmese X , se sigue el siguiente procedimiento: se especica un conjunto U llamado Universo conocido de antemano, y se dan ciertas reglas (tamben llamadas clusulas) que pueden ser de dos tipos: Base: dicen que ciertos elementos del Universo pertenecen al conjunto X . Son de la forma: X . Inductivas: dicen que si ciertos elementos del Universo pertenecen a X entonces otro elemento, formado de alguna manera a partir de los anteriores, tambin pertenece a X . Son de la forma: Si 1 , . . . , n X entonces F ( 1 , . . . , n ) X . De esta manera, de aqu en ms, trabajaremos con una denicin inductiva genrica, que es la siguiente: Forma general de de una denicin inductiva Sea U el conjunto Universo y X U denido inductivamente por 1) r) r+1) r+t) 1 X r X Si 1 , . . . , a1 X entonces F1 (1 , . . . , a1 ) X Si 1 , . . . , at X entonces Ft (1 , . . . , at ) X

donde i j , i j y Fk U ak U son funciones, ak Z+ , k = 1, . . . , t.

En la denicin precedente hay r reglas base y t reglas inductivas. Observar que 3

cada regla base introduce un nico elemento del Universo al conjunto X . Eso podra llegar a ser una limitacin: por ejemplo, considrese la siguiente denicin inductiva de N N (como subconjunto de R2 ): i ii Si n N entonces (n, 0) N N Si (n, m) N N entonces (n, m + 1) N N

La clusula i es una clusula base (o un conjunto de clusulas base) y no inductiva porque no supone que tenemos elementos de N N sino de otro conjunto denido previamente (el de los nmeros naturales). De esta manera, la regla i, siendo una regla base, est introduciendo al conjunto que queremos denir, que es N N, tantos elementos como tiene N (en vez de uno solo). Naturalmente, para ajustarla a la denicin general que acabamos de dar, uno podra sustituirla por: i ii iii (0 , 0 ) N N (1 , 0 ) N N (2 , 0 ) N N

pero en tal caso, hemos dejado de tener un nmero nito de reglas base. Para evitar este inconveniente, se puede sustituir el conjunto de reglas base por una nica regla que sea: B0 X donde B0 (nito o no) es el conjunto de elementos del Universo que queremos tener en X como punto de partida.

2.2.

Interpretacin de las reglas

Iniciaremos este tema con una Definicin 1. Dada una denicin inductiva como en la seccin anterior y un elemento U , se llama secuencia de formacin para a una secuencia 1 , . . . , n de elementos del Universo tales que n = y cada elemento de la secuencia, o bien resulta de una regla base, o bien de aplicarle una regla inductiva a elementos anteriores en la secuencia. Dos observaciones (que aparentemente no tienen conexin entre s): No todos los elementos del Universo tienen asociada una secuencia de formacin.

Las reglas pueden ser interpretadas como condiciones o requisitos que debe reunir el conjunto X que se est deniendo. En tal sentido, algunos subconjuntos del Universo vericarn las reglas y habr otros que no. Ocurrir frecuentemente que haya ms de un subconjunto del Universo que verique las reglas. Si hay muchos subconjuntos que cumplen con las reglas, es menester preguntarse cul de todos ellos es el que se est deniendo. Pues bien, en relacin a la pregunta cul es exactamente el conjunto que denen las reglas? hay dos puntos de vista (los cuales probaremos que son equivalentes entre s) llamados: Interpretacin Constructiva e Interpretacin Declarativa. 2.2.1. Interpretacin constructiva

Se llama conjunto XC denido inductivamente por las reglas, al conjunto de los elementos del Universo que tienen una secuencia de formacin. La idea es partir de un subconjunto B0 U (el cual se especica mediante la reglas base) e ir agrandndolo sucesivamente mediante la aplicacin de las reglas inductivas hasta llegar a un conjunto que bien podramos llamar lmite en un sentido que explicitaremos a continuacin.

U B0 B1 B2 B3

Figura 1: Sucesin de conjuntos {Bn }.

Deniendo

ai Bn+1 = Bn Fi (Bn ) i=1

se cumple que {Bn }n0 es una sucesin montona creciente B0 B1 Bn Bn+1 y por lo tanto XC = l m Bn
n

(Notar que Bi es el conjunto de elementos del Universo para los cuales existe una secuencia de formacin de longitud i + 1). 2.2.2. Interpretacin declarativa

Se llama conjunto XD denido inductivamente por las reglas, a la interseccin de todos los subconjuntos del Universo que las verican. En smbolos, si P (U ) representa el conjunto de partes de U (o conjunto potencia) y si se llama R a la familia de subconjuntos de U que satisface las reglas, la armacin en cursiva sera: XD = R
RR

Algunas observaciones: El Universo siempre cumple con las reglas, por tanto R . No es difcil probar que XD , denido de esta manera, cumple con las reglas (se deja como un ejercicio para el lector). Todo subconjunto Y del Universo que verique las reglas contiene a XD , esto es, XD Y . En efecto, si Y cumple con las reglas entonces Y R luego XD = Y (RR{Y } R) luego XD implica Y . Como XD verica las reglas y cualquier otro subconjunto Y del Universo que verica las reglas cumple XD Y (esto no es ms que la conjuncin de las dos observaciones anteriores), podemos armar que XD es el mnimo conjunto que las verica. 2.2.3. Equivalencia de las interpretaciones constructiva y declarativa

Es momento de presentar el principal resultado de esta seccin: Teorema 1. La interpretacin constructiva y la interpretacin declarativa denen el mismo conjunto, es decir, son equivalentes.

Demostracin. La prueba consiste en probar, mediante la doble inclusin, que XC = XD .  XD XC Si XC satisface las reglas, como XD es el mnimo conjunto que las satisface, se tendra XD XC . Luego basta probar que XC cumple con las reglas.  Consideremos una regla base, de la forma: X . La secuencia que slo est formada por es una secuencia de formacin para , luego XC .  Consideremos ahora una regla inductiva, de la forma: Si 1 , . . . , n X entonces F (1 , . . . , n ) X . Si 1 , . . . , n XC entonces existe una secuencia de formacin para cada uno de estos elementos. Concatenando las n secuencias de formacin, cada una terminando en i para i = 1, . . . , n y agregando de ltimo F (1 , . . . , n ) hemos construido una secuencia de formacin para F (1 , . . . , n ), luego F (1 , . . . , n ) XC .  XC XD Considrese la siguiente propiedad (concerniente a los nmeros naturales): P (n) = ( U admite una secuencia de formacin de longitud n XD ) Probar que P (n) es cierta para cualquier n 1 demuestra la inclusin XC XD porque cualquier elemento XC tendr una secuencia de formacin de algn largo 1. Se har por induccin fuerte en n.  Paso base. Probemos P (1). Si U admite una secuencia de formacin de largo 1, entonces necesariamente resulta de aplicar una regla base (pues no hay elementos anteriores en la secuencia). Si R R entonces R satisface las reglas, en particular las reglas base. As R, R R luego RR R = XD .  Paso inductivo. Sea n un nmero natural arbitrario y supongamos que se cumple P (m) para todo m < n. Nuestro objetivo es probar P (n). Tomemos U tal que admite una secuencia de formacin de longitud n. Tenemos que probar que XD = RR R. Para ello tomamos R R y probaremos que R. Por denicin de secuencia de formacin, se distinguen dos casos: o bien resulta de una regla base (1) o bien se obtiene aplicando una 7

regla inductiva a elementos anteriores en la secuencia (2). El caso (1) es inmediato. En el caso (2), cada uno de esos elementos anteriores admite una secuencia de formacin de longitud < n luego por hiptesis de induccin estn en XD luego en R, puesto que XD R. Hemos llegado a que se obtiene aplicando una regla inductiva a elementos de R, pero como R satisface las reglas (en particular las inductivas), tambin ha de pertencer a R.

2.3.

Ejemplos

En esta seccin presentaremos algunos ejemplos tiles que utilizaremos a lo largo del texto. Ejemplo 2.1 (Conjunto de los nmeros naturales). Muchos libros de clculo, como por ejemplo el Calculus de Apostol o el de Spivak, no introducen a los nmeros reales de forma constructiva (esto es, empezando primero con los nmeros naturales a partir de los axiomas de Peano, luego siguiendo con los enteros negativos, despus con los racionales y por ltimo los irracionales) sino que suponen que existen ciertos objetos, llamados nmeros reales, que satisfacen una lista de 10 axiomas agrupados en tres grandes grupos: 6 axiomas de cuerpo, 3 axiomas de orden ms el axioma del supremo o del extremo superior. Una vez caracterizado R mediante axiomas, presentan al conjunto N de los nmeros naturales como subconjunto de R mediante la siguiente denicin inductiva: i ii 0N Si n N entonces (n + 1) N

Observar que aqu el Universo es R, que es un conjunto conocido de antemano. En caso contrario la denicin anterior carecera de sentido pues naturalmente, supone denidos el cero, el uno y la suma. Es decir, tal denicin es vlida siempre que se suponga denido un conjunto mayor como R o Z. Si no, no. Ejemplo 2.2 (Lenguajes denidos sobre un alfabeto). Un alfabeto es un conjunto nito (no vaco) de smbolos. Denotamos un alfabeto arbitrario con la letra . Una palabra (tambin llamada tira o cadena ) sobre un alfabeto es cualquier secuencia nita de elementos de . Asimismo admitimos la existencia de una nica palabra que no tiene smbolos, la cual se denomina palabra vaca y se denota con . Por

ejemplo, si = {a, b}, las siguientes son palabras sobre : aba ababaaa aaaab Notar que es una palabra y no un smbolo del alfabeto. El conjunto de todas las palabras sobre un alfabeto (incluyendo la palabra vaca), se denota por . Por ejemplo, si = {a, b, c} entonces = {, a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, . . . } Un lenguaje L sobre un alfabeto es cualquier subconjunto de (casos extremos: L = y L = ). Dicho de otra manera, un lenguaje es un conjunto de palabras. Algunos lenguajes pueden denirse inductivamente. Por ejemplo, sea = {a, b, c} y denido por i ii iii a Si y entonces bcb

Notar que de la misma manera en que, en la denicin de los naturales se daba por denido el cero como neutro de la suma, en esta denicin se da por denida la palabra vaca como neutro de la concatenacin de dos cadenas. Ejemplo 2.3 (Una posible denicin de Z). Supongamos que se desea denir el conjunto de los nmeros enteros Z, como subconjunto de R, mediante reglas. Podra hacerse as: i 0Z ii Si k Z entonces k + 1 Z iii Si k Z entonces k 1 Z Notar que, a diferencia de las deniciones inductivas de los ejemplos anteriores, no hay una nica forma de construir un nmero entero. Por ejemplo, para llegar a 2, puede hacerse as:
i

0 1 2
ii ii ii ii

ii

ii

O tambin:

0 1 2 1 0 1 2

iii

iii

El hecho de que el proceso de formacin de un elemento no est unvocamente determinado, acarrea algunos problemas que veremos ms adelante. 9

3.
3.1.

Principio de Induccin Primitiva (PIP)

Enunciado formal y demostracin

El Principio de Induccin Primitiva es un teorema que se enuncia para cada conjunto con una denicin inductiva como la que se present en la seccin 2.1. Teorema 2. Dado X como en la seccin 2.1, sea P () una propiedad referida a un elemento de X . Si (1) (r) (r+1) (r+t) P (1 ) se cumple P (r ) se cumple Si P (1 ), . . . , P (a1 ) se cumple, P (F1 (1 , . . . , a1 )) se cumple Si P (1 ), . . . , P (at ) se cumple, P (Ft (1 , . . . , at )) se cumple

entonces se cumple P () para todo X . A la vericacin de (1), . . . , (r) se le llama paso base y a la vericacin de (r+1), . . . , (r+t) paso inductivo. Demostracin. Sea S = {x U x X P (x) se cumple}. Veriquemos que S cumple con las reglas.  i S, i = 1, . . . , r puesto que i X por la regla base i) y P (i ) se cumple por hiptesis (i).  Si 1 , . . . , aj S entonces Fj (1 , . . . , aj ) S, j = 1, . . . , t. En efecto, 1 , . . . , aj X S P (1 ), . . . , P (aj ) se cumple
regla r+j)

Fj (1 , . . . , aj ) X P (Fj (1 , . . . , aj )) se cumple

1 , . . . , aj

hiptesis (r+j)

Como Fj (1 , . . . , aj ) X y P (Fj (1 , . . . , aj )) se cumple, se tiene que Fj (1 , . . . , aj ) S . Hemos probado que S satisface las reglas. Como X es el menor conjunto que satisface las reglas, X S . Luego P () se cumple para todo X .

10

3.2.

Ejemplo de aplicacin

Primero que nada, enunciemos el PIP para el caso particular en que X = N con la denicin del ejemplo 2.1. Notar que, dado que se ha demostrado ya el caso general, ste no es ms que un corolario. Corolario 3.1 (Principio de induccin primitiva para N). Sea P (n) una propiedad referida a un nmero natural n. Si i. P (0) se cumple ii. Si P (n) se cumple, P (n + 1) se cumple entonces se cumple P (n) para todo n N. Este principio, como ya es sabido de los cursos de matemtica, se puede usar para probar propiedades concernientes a los nmeros naturales. Ejemplo 3.1. Probar que la suma de los primeros n nmeros naturales impares es igual a n2 . Demostracin. Elegimos como propiedad P (n) = (2 k 1 ) = n
n 2

k=1

2 Que P (0) es cierta es trivial, pues la identidad resulta 0 k=1 (2k 1) = 0 1 (notar que la sumatoria es vaca ).

Supongamos ahora que se cumple P (n) y demostremos P (n + 1). Se tiene que

n +1 k=1

(2k 1) = (2k 1) + (2(n + 1) 1) = n + (2n + 2 1) = n + 2n + 1

2 k=1 2

(1) (2) (3) (4)

= (n + 1)

donde en (2) se aplic la hiptesis inductiva y en (4) la frmula del cuadrado de un binomio.
1

En un grupo abeliano aditivo (o multiplicativo), una sumatoria (resp. productoria) que no tiene trminos se llama vaca y suele reducirse al neutro del grupo (en el caso de R con la suma, el cero).

11

3.3.

Pertenencia a un conjunto denido inductivamente

Trataremos en esta seccin algunas cuestiones prcticas al momento de resolver ejercicios. Para demostrar que un elemento pertenece a un conjunto inductivo normalmente se construye una secuencia de formacin. Para demostrar que un elemento NO pertenece a un conjunto inductivo se pueden seguir tres estrategias: 1. Suponer que el elemento tiene una secuencia de formacin y llegar a un absurdo. Ejemplo 3.2. Considere la denicin inductiva del ejemplo 2.2. Demuestre que bcbb / . Demostracin. Por absurdo, supongamos que existe una secuencia de formacin para bcbb. Como bcbb no es ni a, slo puede resultar de aplicar la regla iii. Luego bcbb = bcb para ciertos elementos , que aparecern antes en la secuencia. Por comparacin de las cadenas bcbb y bcb no cabe otra posibilidad que = y = b. Pero ninguna regla permite introducir una b en (basta ver que no est entre las reglas base y la nica regla inductiva introduce palabras con al menos una c), contradiccin. 2. Probar (por induccin primitiva) que todo elemento del conjunto satisface una propiedad y notar que el elemento considerado no la cumple. Ejemplo 3.3. Sea = {a, b} y denido por i ii Demuestre que bab / . Demostracin. Una manera posible puede ser probar por induccin en que todas sus palabras tienen la misma cantidad de letras a que de letras b, o que tienen largo par. Como bab no cumple ninguna de estas propiedades, se concluye que bab / . 3. Mostrar que el conjunto resultante de quitar dicho elemento sigue satisfaciendo las reglas. 12 Si w entonces wab

Ejemplo 3.4. Sea P ROP el alfabeto conformado por smbolos de proposicin p0 , p1 , . . . conectivos , , , , , y parntesis (, ). Se dene el lenguaje de la lgica proposicional P ROP (P ROP ) de la siguiente manera: (i) (ii) (iii) (iv) (v) (vi) pi P ROP (i N), P ROP Si , P ROP entonces ( ) P ROP Si , P ROP entonces ( ) P ROP Si , P ROP entonces ( ) P ROP Si , P ROP entonces ( ) P ROP Si X entonces () P ROP

Demuestre que / P ROP . Este ejemplo fue extrado del libro Logic and Structure (tercera edicin) del matemtico Dirk van Dalen (pg. 8). Demostracin. Supongamos que P ROP . Nuestro objetivo ser probar que Y = P ROP { } tambin satisface (i), (ii), . . . , (vi). Es claro que como pi , P ROP tambin , pi Y . Sean , Y . Luego , P ROP y como P ROP satisface (ii), (iii), (iv), (v) entonces ( ) Y ya que por las formas de las expresiones ( ) (mirar, por ejemplo, en los parntesis). En lo anterior usamos para denotar cualquiera de los smbolos , , , . Anlogamente se prueba que Y cumple (vi). Como Y satisface todas las reglas, se tiene que P ROP no es el menor conjunto que las satisface, absurdo. Para demostrar que dos conjuntos dados por reglas son iguales, lo ms sencillo es probar por induccin que cada conjunto verica las reglas del otro (vase Ej. 9 del Prctico 1).

4.
4.1.

Esquema de Recursin Primitiva (ERP)

Denicin inductiva libre

El Esquema de Recursin Primitiva, al igual que el Principio de Induccin Primitiva, es un teorema que se formula para cada conjunto inductivo. Pero antes de enunciarlo, debemos introducir la siguiente

13

Definicin 2. Una denicin inductiva como la de la seccin 2.1 se dice que es libre si verica las siguientes condiciones: [1]. La restriccin de Fj a X aj U aj es inyectiva para todo j = 1, . . . , , t. O sea, , . . . , a X: dados 1 , . . . , aj , 1 j
Fj (1 , . . . , aj ) = Fj (1 , . . . , a ) j

1 = 1 , . . . , aj = a j

Si un elemento es obtenido a partir de una regla inductiva, los elementos a los que se aplica dicha regla para producirlo, son nicos. [2]. Fi (X ai ) Fj (X aj ) = , i j No hay dos reglas inductivas distintas que permitan generar el mismo elemento. [3]. B0 es realmente bsico, o sea, si 1 , . . . , aj X se tiene que Fj (1 , . . . , aj ) / B0 , j = 1, . . . , t Un elemento de una regla base no puede ser obtenido mediante la aplicacin de una regla inductiva. Si la denicin inductiva de X es libre, existe para X otro teorema llamado Esquema de Recursin Primitiva (ERP), el cual brinda un mecanismo para denir funciones que tengan a X como dominio. Bsicamente, para denir una funcin f X B la idea es: Asignar un valor a cada elemento dado por una regla base2 . Para cada clusula inductiva de la forma: Si 1 , . . . , n X entonces F (1 , . . . , n ) X , dar un mtodo para calcular f (F (1 , . . . , n )) a partir de f (1 ), . . . , f (n ) y eventualmente, 1 , . . . , n . Esta idea se recoge en el Teorema 3. Veamos ahora algunos ejemplos pensados para convencerse de que las tres condiciones exigidas en la denicin anterior son necesarias para que dicho teorema sea vlido. Las dos ltimas pueden resumirse en una sola: para todo elemento del conjunto hay una nica regla que permite formarlo.
2 Observar que asignar un valor a cada elemento dado por una regla base no es otra cosa que denir por extensin una funcin h B0 B , donde B0 es el conjunto dado por las reglas base. Si B0 fuera innito, en vez de denir individualmente la imagen de cada elemento de B0 , lo que se hace es dar una frmula general para h para luego hacer que f B0 = h.

14

Ejemplo 4.1 (Denicin inductiva que satisface [1] y [2] pero no [3]). Supongamos que = {a, b} y est denido por i ii iii iv v vi a b aa Si w entonces awa Si w entonces bwb

Es claro que es el conjunto de los palndromos, es decir las palabras que resultan iguales ledas de adelante hacia atrs que de atrs hacia adelante. Pero hay un detalle: el conjunto B0 = {, a, b, aa} no es realmente bsico, pues aa puede obtenerse aplicando la regla v a w = . Qu problema acarrea esto? Imaginemos que se tienen las siguientes ecuaciones recursivas: f ( ) = 0 f (a) = 0 f (b) = 0 f (aa) = 0 f (awa) = 1 + f (w) f (bwb) = 1 + f (w) La idea es que f (w) represente el mnimo n tal que w Bn siendo Bn el denido en la seccin 2.2.1 (intuitivamente, el nmero de pasos inductivos necesarios para obtener w). Pero estas ecuaciones no denen una funcin, pues por un lado f (aa) = 0 y por otro f (aa) = f (aa) = 1 + f () =1+0 =1 Notar, sin embargo, que la denicin inductiva de cumple con [1] porque si w, w entonces awa = aw a implica necesariamente w = w , y de la misma manera, bwb = bw b implica w = w . Y tambin cumple con [2] pues las palabras de que resultan de aplicar la clusula v empiezan (y terminan) con a mientras 15

que las que resultan de aplicar la clusula vi empiezan (y terminan) con b. Si se eliminara la clusula iv entonces la denicin s sera libre. Si no se considera palndromo entonces se podra eliminar la clusula i y agregar en su lugar una que diga que bb . Ejemplo 4.2 (Denicin inductiva que satisface [1] y [3] pero no [2]). Sea = {a, b} y dado por i ii Si w entonces aw iii Si w entonces wb Aqu el problema radica en que, por ejemplo, ab puede obtenerse aplicando ii a w = b o aplicando iii a w = a. Entonces, por ejemplo, estas ecuaciones recursivas f () = 1 f (aw) = f (w)2 f (wb) = 2f (w)2 no denen una funcin pues se tendra que, por un lado f (ab) = f (b)2 = f (b)2 = (2f ()2 ) = (2 12 ) =4 y por otro f (ab) = 2f (a)2 = 2f (a)2 = 2 f ( ) 2 = 2 12 =2 Ejemplo 4.3 (Denicin inductiva que satisface [2] y [3] pero no [1]). Sea A R dado por: i 2 A ii 2A iii Si a A entonces a2 A 16
2 2

Resulta evidente que A = {2, 2, 4, 16, 256, . . . } = {2, 2} {22 n 1}. Esta denicin cumple [2] (pues hay una nica regla inductiva) y tambin [3]. En efecto, para cualquier elemento de A se cumple que hay una nica regla que permite formarlo, ya que si no es 2 ni 2 slo puede provenir de aplicar la regla iii. Y si es 2 proviene de aplicar ii y si es 2 proviene de aplicar i, no hay ms posibilidades. El problema con esta dencin radica en que 4 = (2)2 y tambin 4 = 22 , es decir, no hay nico elemento al que aplicar una regla inductiva para obtener 4. Esto no signica que no se pueda denir una funcin por recursin. Por ejemplo, supngase que se desea denir la funcin identidad. La forma natural de hacerlo sera: Id(2) = 2 Id(2) = 2 Id (a2 ) = Id(a)2 , a 2, 2 Observar que estas ecuaciones recursivas s denen una funcin puesto que, ya sea que se calcule Id(4) como Id(4) = Id (22 ) = Id(2)2 = 22 =4 o por medio de Id(4) = Id ((2)2 ) = Id(2)2 = (2)2 =4 se obtiene 4, que es el resultado esperado. Sin embargo, es muy fcil dar ecuaciones recursivas siguiendo este mismo esquema que no denan una funcin. Por ejemplo, f (2) = 2 f (2) = 2 f (a2 ) = 2f (a), a 2, 2 Ahora s se suscita un problema al momento de computar f (4) ya que no se sabe si ha de ser f (4) = 2f (2) = 4 o bien f (4) = 2f (2) = 4. Y esta indeterminacin ocurre para cualquier elemento de A, ya que su imagen quedar dependiendo de f (4) en ltimo trmino. 17

4.2.

Esquema de recursin primitiva para X

Teorema 3. Sea X con una denicin inductiva libre, B un conjunto arbitrario y bi B, i = 1, . . . , r gj X aj B aj B funcin, j = 1, . . . , t entonces existe, y es nica, una funcin f X B , tal que f (i ) = bi , i = 1, . . . , r f (Fj (1 , . . . , aj )) = gj (1 , . . . , aj , f (1 ), . . . , f (aj )), j = 1, . . . , t

Demostracin. La demostracin est dividida en dos partes, existencia y unicidad. Existencia Denamos f como un conjunto f X B de pares ordenados, de la siguiente manera: i ii (i , bi ) f , i = 1, . . . , r Si (1 , c1 ), . . . , (aj , caj ) f entonces (Fj (1 , . . . , aj ), gj (1 , . . . , aj , c1 , . . . , caj )) f ,

j = 1 , . . . , t

Probemos ahora, por induccin en X , la siguiente propiedad: P (x) = (b B )((x, b) f ) (b, b B )((x, b) f (x, b ) f b = b ) Observar que este predicado se compone de dos partes, por un lado (b B )((x, b) f ) que podramos llamar existencia de la imagen de x, y por otro (b, b B )((x, b) f (x, b ) f b = b ) que podramos llamar unicidad de la imagen de x.  Paso base. Sea i {1, . . . , r}. Hay que probar P (i ).  Existencia de la imagen: (b B )((i , b) f ) Por denicin de f , basta tomar b = bi .

18

 Unicidad de la imagen: (b, b B )((i , b) f (i , b ) f b = b ) Por [3] de la denicin 2, cualesquiera sean 1 , . . . , aj X se tiene que i Fj (1 , . . . , aj ), j luego (i , b) y (i , b ) slo pueden resultar de una regla base. Como hay una nica regla base que introduce un par con i como primer componente, no cabe otra posibilidad que b = b = bi .  Paso inductivo. Sea j {1, . . . , t}. Supongamos P (1 ), . . . , P (aj ) y hay que probar P (Fj (1 , . . . , aj )).  Existencia de la imagen: (b B ) ((Fj (1 , . . . , aj ), b) f ) Por hiptesis inductiva, sabemos que (c1 B )((1 , c1 ) f ) (c2 B )((2 , c2 ) f ) (caj B )((aj , caj ) f ) luego por denicin de f , (Fj (1 , . . . , aj ), gj (1 , . . . , aj , c1 , . . . , caj )) f En consecuencia, basta tomar b = gj (1 , . . . , aj , c1 , . . . , caj ) B .  Unicidad de la imagen: (b, b B ) ((Fj (1 , . . . , aj ), b) f (Fj (1 , . . . , aj ), b ) f b = b ) Sea = Fj (1 , . . . , aj ). Como X se tiene alguna de estas posibilidades: a. = i para algn i b. = Fk (1 , . . . , a ), k {1, . . . , t} para ciertos 1 , . . . , a X k k El caso a) no puede ocurrir por [3] de la denicin 2. En cuanto al caso b), si k j imposible, pues se tendra entonces que Fj (X aj ) Fk (X ak ), pero Fj (X aj ) Fk (X ak ) = por la condicin [2] de la denicin 2. Ahora bien, si k = j la condicin [1] de la denicin 2 implica 1 = 1 , . . . , aj = a . j 19

Esto muestra que (, b), (, b ) fueron obtenidos a partir de pares que tenan a 1 , . . . , aj como primeras componentes. Supongamos que (, b) fue obtenido a partir de (1 , c1 ), . . . , (aj , caj ) y que (, b ) fue obtenido a partir de (1 , c 1 ), . . . , (aj , caj ). Por hiptesis de induccin,
(i , ci ) f (i , c i) f

ci = c i

y esto para todo i = 1, . . . , aj . Luego, b = b = gj (1 , . . . , aj , c1 , . . . , caj ) Unicidad , satisfaciendo las ecuaciones recursivas. Supngase que existen dos funciones, f y f Se deja como ejercicio probar, por induccin en X , la siguiente propiedad: (x)) P (x) = (f (x) = f

4.3.

Ejemplo de aplicacin

Al igual que hicimos con el PIP, enunciaremos el ERP para el caso particular en que X = N con la denicin inductiva del ejemplo 2.1. Corolario 4.1 (Esquema de recursin primitiva para N). Sea B un conjunto arbitrario y f0 B fs N B B una funcin entonces existe, y es nica, una funcin F N B , tal que3 F (0) = f0 F (S (n)) = fs (n, F (n)) Cul es el sentido de este teorema? Simplemente nos dice que, para denir una funcin en los naturales, es suciente especicar su comportamiento en 0 y para n 1, dar una regla que nos permita deducir el valor de la funcin en S (n) a partir de su valor en el antecesor n. El Teorema de Recursin Primitiva para N asegura que cualesquiera sean el elemento f0 y la funcin fs , existe una nica F denida por recursin primitiva a partir de ellos.
3

S (n) es la funcin sucesor que dado n devuelve (n + 1).

20

Ejemplo 4.4. Supongamos que queremos denir una funcin exp2 N N tal que exp2 (n) = 2
0 12 ( n 1 ) 2 n2

Para jar ideas, calculemos exp2 (n) para valores bajos de n: exp2 (0) = 20 = 1 exp2 (1) = 212 = 211 = 2
0

exp2 (2) = 222 exp2 (3) = 2

120

= 222 = 16 = 2316 = 281474976710656

3222

120

Si pretendemos ser formales, dar una frmula para esta funcin en el lenguaje de la aritmtica con suma, producto y exponenciacin, puede ser una tarea compleja. Ahora bien, si tomamos f0 = 1 y fs N N N dada por fs (n, m) = 2S (n)m planteando exp2 (0) = f0 exp2 (S (n)) = fs (n, exp2 (n)) el teorema nos dice que existe una funcin exp2 denida a partir de estas ecuaciones por recursin primitiva, y es fcil ver que exp2 exp2 . As sabemos que exp2 es una funcin que existe, y tiene sentido denirla.

4.4.

Ejercicio 1 del Examen de Lgica de Julio de 2013

Para cerrar estas notas, veamos un ejercicio que requiera poner en prctica todos los conocimientos que hemos adquirido. Ejemplo 4.5. Considere el alfabeto = {0, 1}, el lenguaje , y la funcin #0 N tal que #0 () = 0 #0 (0w) = 1 + #0 (w) #0 (1w) = #0 (w) a. Dena la funcin QUITA1 que elimina todos los unos con los que empieza el argumento. Por ejemplo, QUITA1 (1111110111) = 0111, QUITA1 (0111) = 0111.

21

b. Demuestre que la cantidad de ceros que aparecen en w y en QUITA1 (w) es la misma. c. Dena la funcin COMPACTA que sustituye las apariciones de unos adyacentes por un nico uno. Por ejemplo, COMPACTA(1110111110001) = 1010001 Use la funcin QUITA1 . d. Demuestre que la cantidad de ceros que aparecen en w y en COMPACTA(w) es la misma. Resolucin. Antes de pasar a la resolucin de cada uno de los apartados, enunciemos el PIP y el ERP para , el cual implcitamente, aparece denido en el ejercicio como: i ii Si w entonces 0w iii Si w entonces 1w Principio de induccin primitiva para Sea P (w) una propiedad referida a una cadena w . Si i. P () se cumple ii. Si P (w) se cumple, P (0w) se cumple iii. Si P (w) se cumple, P (1w) se cumple entonces se cumple P (w) para todo w . Esquema de recursin primitiva para Sea B un conjunto arbitrario y f B f0 B B f1 B B entonces existe, y es nica, una funcin F B , tal que F () = f F (0w) = f0 (w, F (w)) F (1w) = f1 (w, F (w))

22

a. Aplicando el ERP para con f = y f0 , f1 tales que f0 (w1 , w2 ) = 0w1 y f1 (w1 , w2 ) = w2 , obtenemos QU IT A1 () = QU IT A1 (0w) = 0w QU IT A1 (1w) = QU IT A1 (w) b. Consideramos como propiedad P (w ) = #0 (w) = #0 (QU IT A1 (w))

P () es verdadera pues QU IT A1 () = (por denicin de QU IT A1 ). Supongamos P (w) y probemos P (0w). De nuevo, por denicin de QU IT A1 , se tiene que QU IT A1 (0w) = 0w luego aplicando #0 a ambos miembros, #0 (QU IT A1 (0w)) = #0 (0w) Notar que en este paso no fue necesario hacer uso de la hipteis inductiva. Supongamos P (w) y probemos P (1w). Se tiene que: #0 (QU IT A1 (1w)) = #0 (QU IT A1 (w)) = #0 (w) = #0 (1w) denicin de QU IT A1 hiptesis inductiva denicin de #0

c. Aplicando el ERP para con f = y f0 , f1 tales que f0 (w1 , w2 ) = 0w2 y f1 (w1 , w2 ) = 1QU IT A1 (w2 ), resulta COM P ACT A() = COM P ACT A(0w) = 0COM P ACT A(w) COM P ACT A(1w) = 1QU IT A1 (COM P ACT A(w)) d. Elegimos como propiedad P (w ) = #0 (w) = #0 (COM P ACT A(w))

P () es verdadera pues COM P ACT A() = (por denicin de COM P ACT A). Supongamos P (w) y probemos P (0w). Se tiene que: #0 (COM P ACT A(0w)) = #0 (0COM P ACT A(w)) = 1 + #0 (w) = #0 (0w) 23 denicin de COM P ACT A hiptesis inductiva denicin de #0 = 1 + #0 (COM P ACT A(w)) denicin de #0

Supongamos P (w) y probemos P (1w). Se tiene que: #0 (COM P ACT A(1w)) = #0 (1QU IT A1 (COM P ACT A(w))) denicin de COM P ACT A = #0 (QU IT A1 (COM P ACT A(w))) = #0 (COM P ACT A(w)) = #0 (w) = #0 (1w) denicin de #0 apartado b. hiptesis inductiva denicin de #0

Por ltimo, y aunque no lo pida el ejercicio, computemos (slo para ver cmo funciona la recursin) COM P ACT A(111010), usando la denicin recursiva del apartado c. COM P ACT A(111010) = 1QU IT A1 (COM P ACT A(11010)) = 1QU IT A1 (1QU IT A1 (COM P ACT A(1010))) = 1QU IT A1 (1QU IT A1 (1QU IT A1 (COM P ACT A(010)))) = 1QU IT A1 (1QU IT A1 (1QU IT A1 (0COM P ACT A(10)))) = 1QU IT A1 (1QU IT A1 (1QU IT A1 (01QU IT A1 (COM P ACT A(0))))) = 1QU IT A1 (1QU IT A1 (1QU IT A1 (01QU IT A1 (0COM P ACT A())))) = 1QU IT A1 (1QU IT A1 (1QU IT A1 (01QU IT A1 (0)))) = 1QU IT A1 (1QU IT A1 (1QU IT A1 (010))) = 1QU IT A1 (1QU IT A1 (1010)) = 1QU IT A1 (1010) = 1010

24