Computability and Logic: ejercicios correspondientes al capítulo 1

[1.1] Asuma que f es una función uno-a-uno de A en B y f -1 su función inversa. Muestre

que [a] f -1 es total si y solo si f es sobreyectiva, y conversamente, [b] f -1 es sobreyectiva
si y sólo si f es total1.

Parte [a]
:
(1) f -1 es total Sup
(2) (bB)(aA)( f -1(b)=a) Def. total
(3) (aA)( f -1(b1)=a) -elim
(4) f -1(b1)=a1 Sup
(5) f (a1)=b1 Def. f -1
(6) (aA)( f (a)=b1) -intro
(7) Si f -1(b1)=a1, entonces (aA)( f (a)=b1) Lógica proposicional
(8) (aA)( f (a)=b1) -elim
(9) (bB)(aA)( f (a)=b) -intro
(10) f es sobreyectiva Def. sobreyectividad
(11) Si f -1 es total, f es sobreyectiva Lógica proposicional

:
(1) f es sobreyectiva Sup
(2) (bB)(aA)( f (a)=b) Def. sobreyectividad
(3) (aA)( f (a)=b1) -elim
(4) (!aA)( f (a)=b1) f es uno-a-uno2
(5) (aA)( f -1(b1)=a) Def. f -1
(6) (bB)(aA)( f -1(b)=a) -intro

1 Intentaré hacer el ejercicio [1.1] parte [a] con el mayor nivel posible de rigurosidad. A medida que
avancemos, las pruebas serán cada vez más informales.
2 Uso aquí el símbolo !x para representar la expresión “existe exactamente un x”. Si el símbolo de identidad

forma parte del lenguaje es sencillo definir este cuantificador en términos de los cuantificadores usuales y la
identidad del siguiente modo: !x(x) =df x((x)  y((y)  x=y)).
(7) f -1 es total Def. total
(8) Si f es sobreyectiva, f -1 es total Lógica Proposicional

Parte [b]
:
(1) f -1 es sobreyectiva Sup
(2) f -1 es uno-a-uno porque f es una función3
(3) f -1-1 es total por  de la parte [a]
(4) (aA)(bB)( f -1-1(a)=b) Def. total
(5) (bB)( f -1-1(a1)=b) -elim
(6) (bB)( f -1(b)=a1) Def. f -1
(7) (bB)( f (a1)=b) Def. f -1
(8) (aA)(bB)( f (a)=b) -intro
(9) f es total Def. total
(10) Si f -1 es sobreyectiva, f es total Lógica Proposicional

:
(1) f es total Sup
(2) f -1 no es sobreyectiva Sup (razonamos por el absurdo)
(3) (aA)(bB)( f -1(b)a) Def. sobreyectividad
(4) (bB)( f -1(b)a1) Sup para un objeto a1 arbitrario
(5) f (a1)=indefinido or (aA)(a1a  f (a)=f (a1) ) Def. f -1
(6) f (a1)=indefinido Sup (razonamiento por casos)
(7) f no es total Def. total
(8)  Lógica Proposicional
(9) (aA)(a1a  f (a)=f (a1) ) Sup
(10) f no es uno-a-uno Def. uno-a-uno
(11)  Lógica Proposicional
(12) f -1 es sobreyectiva Lógica Proposicional

3 Pruébelo.
[1.2] Asuma que f es una función de A en B y g es una función de B en C. Muestre que:
[a] Si f y g son ambas totals, gf es total
[b] Si f y g son ambas sobreyectivas, gf es sobreyectiva.
[c] Si f y g son ambas uno-a-uno, gf es uno-a-uno.

Parte [a]
(1) f es total y g es total Sup
(2) (aA)(bB)(f (a)=b) Def. total
(3) (bB)(cC)(g(a)=b) Def. total
(4) (bB)(f (a1)=b) -elim
(5) f (a1)=b1 Sup para un objeto b1 arbitrario
(6) (cC)(g(b1)=c) -elim
(7) (cC)(g(f (a1))=c) Sustitución de idénticos, (5) y(6)
(8) (aA)(cC)(g(f (a))=c) -intro
(9) gf es total Def. total

Parte [b]
(1) f es sobreyectiva y g es sobreyectiva Sup
(2) (bB)(aA)(f (a)=b) Def. sobreyectividad
(3) (cC)(bB)(g (b)=c) Def. sobreyectividad
(4) (bB)(g (b)=c1) -elim
(5) g (b1)=c1 Sup para un objeto b1 arbitrario
(6) (aA)(f (a)=b1) -elim
(7) (aA)(g(f (a))=c1) Sustitución de idénticos, (5) y(6)
(8) (cC)(aA)(g(f (a))=c) -intro
(9) gf es sobreyectiva Def. sobreyectividad

Parte [c]
(1) f es uno-a-uno y g es uno-a-uno Sup
(2) (xA)(yA)(xy  f (x)  f (y)) Def. uno-a-uno
(3) (xB)(yB)(xy  g (x)  g (y)) Def. uno-a-uno
(4) a1a2 Sup para a1,a2  A
(5) a1a2  f (a1)  f (a2) -elim
(6) f (a1)  f (a2)  g(f (a1))  g(f (a2)) -elim (B es el codominio de f)
(7) g(f (a1))  g(f (a2)) MP (dos veces)
(8) a1a2  g(f (a1))  g(f (a2)) Lógica Proposicional
(9) (xA)(yA)(xy  g(f (x))  g(f (y))) -intro
(10) gf es uno-a-uno Def. uno-a-uno

[1.3] Muestre que:

[a] A es equinumeroso con A (AA)
[b] Si AB, entonces BA
[c] Si AB y BC, entonces AC

Parte [a]
Sea f : AA la función de identidad id(x)=x. Tenemos que mostrar que id es una función
total uno-a-uno de A sobre A.

f es total: Asuma que ai  A. Luego como A es también el codominio de la función, id(ai)

está definido y id(ai) = ai. Con lo cual,
(yA)(id(ai)=y). Como ai es un miembro arbitrario de A, tenemos
(xA)(yA)(id(x)=y)
Luego, id es total.

Uno-a-uno: Asuma que a1a2 para a1,a2  A. Por la definición de id tenemos:

id(a1) = a1  a2 = id(a2)
Por lo tanto, id(a1)  id(a2). Como a1 y a2 son objetos arbitrarios de A, podemos inferir
(xA)(yA)(xy  id(x)  id(y)).
Luego, id es uno-a-uno.

Sobreyectividad: Sea ai un miembro arbitrario del codominio A. Como A es también el

dominio, tenemos id(ai)= ai. De esto podemos inferir que
(xA)(id(x)=ai)
Pero ai es un miembro arbitrario de A, con lo cual
(yA)(xA)(id(x)=y)
Luego id es sobreyectiva.

Parte [b]
Asuma que AB. Esto quiere decir que hay una función total, uno-a-uno f de A sobre B.
Por el ejercicio [1.1], parte [a], si f es uno-a-uno y sobreyectiva, f -1 es total, y por la
parte [b], si f es uno-a-uno y total, f -1 es sobreyectiva. Por lo tanto, f -1 es una función
total, uno-a-uno de B sobre A. Luego, BA.

Part [c]
Asuma que AB y BC. Esto quiere decir que hay una función total, uno-a-uno f de A
sobre B y hay una función total, uno-a-uno g de B sobre C. Para mostrar que AC
podemos usar la composición gf de las funciones f y g. Por el ejercicio [1.2], partes [a],
[b] y [c], podemos inferir que gf es una función total, uno-a-uno de A sobre C.

[1.4] Muestre que todo conjunto enumerable es o bien finito o bien equinumeroso con el
conjunto de todos los enteros positivos.

Podemos probar algo equivalente: para todo conjunto enumerable no finito A, se cumple
que AP+ (donde P+ es el conjunto de todos los enteros positivos)4.
Asumamos que A es enumerable y no finito. Luego podemos listar los miembros de A del
siguiente modo:
A={a1,a2,a3,…}

4 La estrategia de prueba descansa en la equivalencia lógica entre las siguientes dos formas de enunciado:
(a) x(A(x)  (B(x)  C(x)))
(b) x((A(x)  B(x))  C(x))
Sea f : AP+ una función tal que f (ai)=i.
La función es obviamente total, uno-a-uno y sobreyectiva (pruébelo!).

[1.5] Muestre que los siguientes dos conjuntos son equinumerosos:

[a] El conjunto A de los números racionales positivos tal que el denominador es una
potencia de 2, esto es, el conjunto de racionales m/n donde n = 1 o 2 o 4 o 8 o alguna
potencia de 2 más grande, y m < n.
[b] El conjunto B de aquellos conjuntos de enteros positivos que son o finitos o cofinitos.

La estrategia será la siguiente. Mostraremos que A y B son enumerables. Dado que son
obviamente no finitos, podemos aplicar el ejercicio [1.4] para mostrar que ambos son
equinumerosos con el conjunto P+ de los enteros positivos. Por el ejercicio [1.3] esto es
suficiente para mostrar que son equinumerosos entre sí, dado que si AP+ y BP+, la parte
[b] puede usarse para obtener P+B, y la parte [c] nos da AB.

Primero mostramos que el conjunto A es enumerable. Tomemos la función que muestra

que el conjunto de racionales positivos es enumerable (ejemplo 1.3 en el libro). Esa función
nos da la siguiente lista:
1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 2/4, 3/3, 4/2, 5/1, 1/6, ….
(La lista tiene repeticiones, pero eso no es importante). Ahora, siguiendo la estrategia del
ejemplo 1.11 del libro, borremos de la lista todos aquellos números racionales positivos
que no satisfacen las condiciones adicionales impuestas en [a]. Esto es suficiente para
mostrar que A es enumerable.

Para mostrar que B es enumerable, recordemos el ejemplo 1.10 del libro: el conjunto de
todos los conjuntos finitos de enteros positivos. El libro nos da la siguiente enumeración
de ese conjunto:
{1}, {2}, {3}, {1,2}, {1,1,1}, {4}, {2,1}, {1,1,2}, ….
(De nuevo, las repeticiones no importan). No es difícil usar esta enumeración para mostrar
que el conjunto de todos los conjuntos cofinitos de enteros positivos es enumerable:
P+/{1}, P+/{2}, P+/{3}, P+/{1,2}, P+/{1,1,1}, P+/{4}, P+/{2,1}, P+/{1,1,2}, .…
Finalmente, si aplicamos la estrategia del ejemplo 1.12 del libro, podemos obtener una
enumeración a partir de estas dos enumeraciones previas intercalando los miembros de
ambas listas:
{1}, P+/{1}, {2}, P+/{2}, {3}, P+/{3}, {1,2}, P+/{1,2}, {1,1,1}, P+/{1,1,1}, ….
Esto muestra que B es enumerable.

[1.6] Muestre que el conjunto de todos los subconjuntos finitos de un conjunto

enumerable es enumerable.

Sea A un conjunto enumerable. El conjunto de todos los subconjuntos finitos de A será

llamado B. O bien A es finito o bien A es infinito.

Si A es finito, A tiene n elementos (para algún número natural n). Esto quiere decir que el
conjunto B de todos los subconjuntos finitos de A no es otro que el conjunto de todos los
subconjuntos de A (i.e. el conjunto potencia de A). Luego, B tiene 2n elementos. Dado que
n es un número finito, 2n también es un número finito. Por lo tanto, B tiene un número
finito de miembros, con lo cual B es enumerable.

Si A no es un conjunto finito, podemos representar A por medio de la siguiente lista:

A = {a1, a2, a3,…}
Siguiendo el ejemplo 1.10, podemos dar la siguiente enumeración para el conjunto B:
{a1}, {a2}, {a3}, {a1,a2}, {a1,a1,a1}, {a4}, {a2,a1}, {a1,a1,a2}, …

[1.7] Sea A = {A1,A2,A3,…} una familia enumerable de conjuntos y asuma que cada Ai
para i =1,2,3, y así sucesivamente, es enumerable. Es A enumerable?

La respuesta es sí. Aunque una prueba rigurosa de este hecho requiere usar el Axioma de
Elección5, aquí podemos dar una prueba informal.

5Ver, por ejemplo, Enderton, H. (1977); Elements of Set Theory, Academic Press, New York (Capítulo 6,
Teorema 6Q, pp.159-60).
Asumamos, para simplificar la prueba, que cada Ai es no vacío6. Luego hay básicamente
dos posibilidades: (1) algunos de los miembros de A (quizás todos) son conjuntos finitos, y
(2) ningún miembro de A es un conjunto finito. Analicemos primero el caso (2). Como cada
Ai es enumerable y no finito, podemos representarlos de la siguiente forma:
A1 = {a11, a12, a13, …}
A2 = {a21, a22, a23, …}
A3 = {a31, a32, a33, …}
….
Esta figura es estructuralmente similar a la Figura 1-1 del libro. Usando la estrategia del
ejemplo 1.2, podemos dar la siguiente enumeración para A:
a11, a12, a21, a13, a22, a31, a14, a23, a32, ….

Con respecto al caso (1), nótese que todo conjunto B tal que B={B1,B2,B3,…} (donde
cada Bi es numerable) y tal que algunos de los miembros de B son finitos, es un
subconjunto de algún conjunto A donde cada miembro de A es infinito pero numerable.
Por el ejemplo 1.11 del libro, cualquier subconjunto de un conjunto numerable es también
numerable. Por lo tanto, B es numerable.

6 No hay ninguna cuestión importante que se pierda con esta simplificación.