Está en la página 1de 153

INTRODUCCION A LA LOGICA MATEMATICA

Por:

D IEGO A LEJANDRO M EJA G UZM AN I

U NIVERSIDAD FACULTAD
DE

DE

A NTIOQUIA
Y

C IENCIAS E XACTAS
DE

NATURALES

D EPARTAMENTO

M ATEM ATICAS

2009

NDICE I

GENERAL

1.. C ALCULO P ROPOSICIONAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1. S EM ANTICA : TABLAS


DE

5 6 12 18 26 29 30 38 44 58 66 75 75 82 90 99

V ERDAD

. . . . . . . . . . . . . . . . . . . . . . .

1.2. S INTAXIS : T EORA L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I 1.3. M E TODOS 1.4. T EOREMA 2.. C ALCULO


DE DE DE

D EMOSTRACI ON

. . . . . . . . . . . . . . . . . . . . . . . . .

C OMPLETEZ . . . . . . . . . . . . . . . . . . . . . . . . . . . .

P REDICADOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
DE

2.1. L ENGUAJES 2.2. T EORAS I


DE

P RIMER O RDEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

P RIMER O RDEN D EMOSTRACI ON

2.3. M E TODOS

DE

2.4. C UANTIFICADORES TPICOS . . . . . . . . . . . . . . . . . . . . . . . . . . . I 2.5. T EORAS I


CON I GUALDAD DE LA

. . . . . . . . . . . . . . . . . . . . . . . . . . . .
DE

3.. N OCIONES I NICIALES 3.1. D EFINICI ON 3.2. E SQUEMA


DE

T EORA I

C ONJUNTOS

. . . . . . . . . . . . . . . .

ZF

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . C OMPRENSI ON . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

AXIOM ATICO DE

3.3. O PERACIONES 3.4. U NIONES

INICIALES ENTRE CONJUNTOS

E INTERSECCIONES GENERALIZADAS

3.5. C ONJUNTOS 3.6. OTROS 4.. R ELACIONES

DEFINIDOS MEDIANTE OPERACIONES

. . . . . . . . . . . . . . . 105

AXIOMAS DE Y

ZF . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111

F UNCIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115

4.1. R ELACIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 4.2. P RODUCTO 4.3. F UNCIONES


CARTESIANO

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129

4.4. I MAGEN

DIRECTA E INVERSA

. . . . . . . . . . . . . . . . . . . . . . . . . . 145

BIBLIOGRAFA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153 I

Captulo 1

C lculo Proposicional a

Una de las componentes del lenguaje matem tico es escribir sus armaciones mediante los a conectivos l gicos (negaci n), o o

(disyunci n), o

(conjunci n), (implicaci n) y (equivo o

alencia) para hacer un seguimiento f cil y efectivo en las demostraciones. Este seguimiento correa sponde a las leyes (Tautologas) que se obtienen mediante el C lculo Proposicional, el cual consiste a en el estudio de las armaciones que se escriben mediante los conectivos l gicos mencionados y de o sus leyes que permiten obtener, mediante t cnicas y c lculos sencillos, armaciones siempre vere a daderas en ese lenguaje. El c lculo proposicional se presenta mediante dos enfoques: el sem ntico y el sint ctico. El a a a primero consiste en el conocido an lisis, por medio de tablas de verdad, para comprobar si una a armaci n dada es una tautologa o no. El segundo enfoque consiste en obtener las armaciones o verdaderas mediante un m todo demostrativo que se basa en axiomas y reglas de inferencia. La e diferencia de ambos enfoques es que en el primero se tiene en cuenta el signicado de las armaciones (la sem tica) mientras que, en el segundo, la verdad de las armaciones no dependen del a signicado, sino de las demostraciones, es decir, de la escritura (sintaxis). En general, todos los contenidos de la matem tica no se pueden reducir a tablas de verdad, a pues su contenido es altamente demostrativo. Por esta raz n damos prioridad fundamental en este o captulo (y en general, en casi todo el texto completo) a la forma demostrativa de la l gica (y las o matem ticas). La primera secci n de este captulo es un resumen de la parte sem tica (razonamiento a o a tablas de verdad) del c lculo proposicional, mientras que en las dem s secciones se explora su forma a a demostrativa (sintaxis), a la cual le daremos continuidad y prioridad en lo que sigue del texto. En la segunda secci n introducimos la teora L para el c lculo proposicional, en donde le damos un o a contenido axiom tico y demostrativo a la l gica. En la tercera secci n introducimos los m todos a o o e

de demostraci n para L, lo cual permite aligerar las pruebas y dar un contenido m s intuitivo sin o a perder la formalidad. Finalmente, la ultima secci n trata sobre el Teorema de Completez, el cual o arma que las tautologas son precisamente las armaciones que se pueden demostrar en L, lo cual garantiza de forma denitiva que en L tiene lugar todo el c lculo proposicional. a

1.1. Sem ntica: Tablas de Verdad a


As como el mismo idioma espa ol, el c lculo proposicional contiene una forma sem ntica y n a a una sintaxis. En la presente secci n resumimos la parte sem ntica, esto con el n de darle validez a o a su sintaxis, la cual se expone desde la secci n 1.2. o 1.1 Denici n. El C lculo Proposicional est compuesto de los siguientes elementos. o a a Letras Sentenciales Letras que representan armaciones. Conectivos L gicos Son (negaci n), o o (equivalencia). En la pr ctica, las letras sentenciales representan armaciones a las cuales se les puede asignar un a valor de verdad V (verdadero) o F (falso). Los conectivos l gicos act an como operadores entre las o u letras para obtener un valor de verdad seg n la asignaci n de valores de verdad dadas a las letras. A u o continuaci n ilustramos la tabla de verdad correspondiente a cada conectivo l gico. o o

(disyunci n), o

(conjunci n), (implicaci n) y o o

A V F

A F V

Cuadro 1.1: Tabla de verdad de la negaci n. o

A V V F F

B V F V F

AB V V V F

Cuadro 1.2: Tabla de verdad de la disyunci n. o

A V V F F

B V F V F

AB V F F F

Cuadro 1.3: Tabla de verdad de la conjunci n. o A V V F F B V F V F AB V F V V

Cuadro 1.4: Tabla de verdad de la implicaci n. o A V V F F B V F V F AB V F F V

Cuadro 1.5: Tabla de verdad de la equivalencia.

Algunas peculiaridades que encontramos sobre estas tablas son las siguientes: (1) La negaci n cambia el valor de verdad de una armaci n. o o (2) La disyunci n es falsa s lo cuando sus componentes son falsas. o o (3) La conjunci n es verdadera s lo cuando sus componentes son verdaderas. o o (4) La implicaci n es falsa s lo cuando el antecedente (A) es verdadero y el consecuente (B) es falo o so. Esto es debido a que, intuitivamente, una armaci n verdadera no tiene como consecuencia o una armaci n falsa. o (5) La equivalencia es verdadera s lo cuando sus componentes tienen el mismo valor de verdad. o Esto es debido a que, intuitivamente, dos armaciones equivalentes tienen el mismo signicado. Es bien sabido que, a partir de las tablas anteriores, se pueden obtener tablas de verdad de armaciones m s complejas, siempre y cuando tengan un sentido l gico. Por ejemplo, la armaci n a o o 7

(A B) (A C) tiene un sentido l gico, pues se puede interpretar adecuadamente, mientras o que A no lo tiene. Por lo tanto, llamamos Forma Sentencial (F.S.) a una armaci n con sentido o l gico1 . o 1.2 Ejemplo. Como se indic anteriormente, armaciones como (A B) (A C), A B y A o son F.S., mientras que A, AB y A no son F.S.. Encontramos dos diferencias cruciales aqu: (1) Las F.S. tienen sentido l gico y se prestan para interpretaciones obvias, mientras que las aro maciones que no son F.S. no, y (2) a las F.S. se les puede elaborar una tabla de verdad, mientras que a las armaciones que no son F.S. no se les puede elaborar dicha tabla. Por ejemplo, la tabla de verdad de (A B) (A C) es

A V V V V F F F F

B V V F F V V F F

C V F V F V F V F

A F F F F V V V V

AB V V F F V V V V

A C V F V F V V V V

(A B) (A C) V F F F V V V V

Cuadro 1.6: Tabla de verdad de la F.S. (A B) (A C)

En adelante, denotaremos por letras cursivas del tipo B, C, etc., a las F.S.. Entre las armaciones que se pueden construir con letras sentenciales y conectivos l gicos adquieren importancia las F.S., o pues son las que adaptan un valor de verdad y tienen un sentido l gico. M s all de esto, en l gica o a a o hay un grupo de armaciones que se destacan entre las F.S., las cuales inclumos en la siguiente denici n. o 1.3 Denici n (Tautologa, Contradicci n). Una F.S. B se llama Tautologa si su tabla de verdad o o toma el valor V bajo cualquier asignaci n de verdad a sus letras. Por otra parte, B se llama Cono tradicci n si su tabla de verdad toma el valor F bajo cualquier asignaci n de verdad a sus letras. o o
Estrictamente hablando, con sentido l gico resulta ambiguo y poco preciso para denir una Forma Sentencial, a o pesar de que es muy claro lo que se quiere decir. Ver el Ap ndice I para la denici n formal. e o
1

1.4 Ejemplo. Con tablas de verdad, es f cil chequear que a 1. A A es una tautologa. 2. (A B) (A B) es una contradicci n. o 3. A B no es tautologa ni contradicci n. o Las armaciones m s importantes del c lculo proposicional son las tautologas debido a que, al a a ser siempre verdaderas, son las leyes l gicas del pensamiento abstracto y el sentido com n, adem s o u a de que sobre estas se elaboran las demostraciones en matem ticas. a 1.5 Proposici n (Leyes del C lculo Proposicional). Las siguientes son tautologas (lo cual se o a chequea facilmente con tablas de verdad). (a) A A (Tercer Excludo). (b) A A. (c) (A A) A. (d) (A A) A. (e) A A (Doble negaci n). o (f) (A B) (A B). (g) (A B) (A B). (q) (A (B C)) ((A B) C) (h) (A B) [(A B) (B A)]. Leyes Conmutativas. (i) (A B) (B A). (j) (A B) (B A). Leyes Asociativas. (k) (A (B (l) (A (B

(n) ((A (B

C)) ((A B) (A C)).

Leyes D Morgan. (o) (A B) (A B). (p) (A B) (A B). Leyes para . (p) (A B) (B A) (Contrarrecpro co). (Ley

de Hip tesis). o (r) (A (B C)) (B (A C)) (Conmutatividad de Hip tesis). o (s) (A B) (A B) (Negaci n). o Leyes para . (t) (A B) (B A) (Conmutativa). (u) (A (B C)) ((A B) C) (Asociativa). (v) (A B) (A B) (Negaci n). o 9

C)) ((A B) C). C)) ((A B) C).

Leyes Distributivas. (m) ((A (B C)) ((A B) (A C)).

1.6 Observaci n. Seg n los incisos (f), (g) y (h) para construir el c lculo proposicional s lo es o u a o necesario considerar los conectivos l gicos y o dr en cuenta a partir de la secci n 1.2. a o Finalizamos esta secci n con una t cnica que determina el comportamiento de la tabla de verdad o e de una armaci n, lo cual ilustramos en el siguiente ejemplo. o 1.7 Ejemplo. (1) Veamos que (A (B C)) (A B) es una tautologa. Claramente, una tabla de verdad resuelve este asunto. Sin embargo, introducimos una t cnica con la cual no es e necesario elaborar una tabla de verdad. Seg n el diagrama al nal del p rrafo, hacemos este u a an lisis: a (a) Supongamos que la F.S. toma el valor F. Como es una implicaci n, entonces el antecedente o toma el valor V y el consecuente toma el valor F. (b) Analizemos el consecuente. Como es una implicaci n falsa, entonces su antecedente A es o V mientras que su consecuente B es F. Esto signica que las letras A y B toman el valor F. Con esto, analizemos A (B C) (el antecedente de la F.S.). Como este es V y A es F, entonces B C debe tomar el mismo valor de verdad de A, es decir, F. Esto signica que B y C son F y, por lo tanto, B es V. Del an lisis anterior se conluye que B toma simultaneamente los valores V y F (ver las letras a subrayadas) lo cual es imposible para una asignaci n de valores de verdad. Esta inconsistencia o se surge de suponer que la F.S. toma el valor F. Por lo tanto, la F.S. nunca toma el valor F, es decir, es una tautologa. (A (a) (b)
?

para denir los dem s conectivos. Esto se tena

C))

B)

V
? ?

F F V
? ? ? ?

F
?

N tese que para esto no tuvimos que construir la tabla de verdad de la F.S. sino razonar de o forma similar al m todo de Reducci n al Absurdo2 . e o (2) Veamos que (A (B (C (D (E G))))) (A B C

DE

G) es una con-

tradicci n. Procedamos de forma similar al ejemplo anterior. Supongamos que la F.S. toma el o
En este caso no se llama Reducci n al Absurdo, puesto que es un razonami nto sem ntico y no dentro de una teora, o e a como se ver en la secci n 1.3 y en el Captulo 2. a o
2

10

valor V. Como es una conjunci n, sus componentes toman el valor V. Luego, como A B C o

DE

G es verdadera, entonces sus componentes son verdaderas, por lo cual A, B, C, D

y E toman el valor V mientras que G toma el valor F. Pero, con estos valores, A (B (C (D (E G)))) es F cuando se dijo que es V. Esta inconsistencia indica que la F.S. nunca toma el valor de verdad V en su tabla, por lo cual es una contradicci n. o (A (B (C (D (E G))))) ( A V, F V V

B V

C V

D V

E V

G) V F

(3) Analizemos, como en el ejemplo anterior, a A (B C). Supongamos que toma el valor F por lo cual, seg n la tabla de la implicaci n, A es V y B C es F. Esto signica que B es V u o y C es F. A
?

(B
?

C)
?

A diferencia de los dos ejemplos anteriores, no llegamos a ninguna inconsistencia. Sin embargo, este an lisis permite concluir el comportamiento de la forma sentencial: esta s lo es F cuando a o A y B toman el valor V y C toma el valor F. Esto signica que, en las dem s asignaciones a de valores de verdad a las letras, la forma sentencial toma el valor V. Por tanto, esta no es una tautologa ni una contradicci n. o 1.8 Observaci n. La t cnica anterior es efectiva para ahorrar el trabajo de hacer tablas de verdad. o e Si en el ejemplo anterior hubi semos razonado con tablas de verdad, para la primera y ultima F.S. e habra que escribir una tabla de 8 las, mientras que para la segunda F.S. habra que escribir una tabla de 64 las. Sin embargo, esta t cnica no es efectiva para todos los casos, por ejemplo, para e ver que (A (B C)) ((A B) C) es una tautologa: si se supone que esta F.S. toma el valor F entonces A (B C) y (A B) C toman valores diferentes de verdad, lo cual lleva a analizar dos casos. Cada caso se divide en dos, de modo que al nal se terminan analizando 8 casos, lo cual equivale a hacer la tabla de verdad (que contiene 8 las). Luego en qu casos la e t cnica del ejemplo 1.7 es efectiva? Las siguientes son las pautas: e (a) Es efectivo suponer que la F.S. tiene el valor F cuando se compone, en su mayor parte, de y

(b) Es efectivo suponer que la F.S. tiene el valor V cuando se compone, en su mayor parte, de En otras situaciones, es preferible razonar por tablas de verdad. 11

Existe otra forma denitiva de comprobar si una armaci n es tautologa: por el m todo deo e mostrativo, con el cual siempre se razona en matem ticas. Este m todo es introducido en la pr xima a e o secci n. o

1.1 Ejercicio. Cuando A B es falsa, Qu se puede decir sobre el valor de verdad de las siguientes F.S.? e (a) A B (b) A B (c) A B (d) (A C) (B

C)

1.2 Ejercicio. Determine si las siguientes formas sentenciales son tautologas por el m todo del Ejemplo 1.7 e o por tablas de verdad. (a) ((A B) B) B (b) A (B (B A)) (c) ((A B) A) A (d) ((B C) (A B)) (A B)) (e) (A (B

C)) ((A B) B)

(f) (A B) (A (B A)) (g) (A B) (B A) (h) ((A B)) A

1.2. Sintaxis: Teora L


Es claro que los razonamientos fundamentales en matem ticas no est n basados en tablas de a a verdad, sino en demostraciones. Esto motiva el hecho de convertir el c lculo proposicional en una a teora puramente demostrativa la cual no dependa de tablas de verdad y en donde se pueda probar todo lo que es cierto all, es decir, las tautologas. A esta teora la llamamos L. Cabe advertir que, para el desarrollo completo de este captulo, no es permitido utilizar tablas de verdad ni las leyes de la secci n anterior hasta que se demuestre el Teorema de Completez o para L (secci n 1.4). Antes de ello, solo es permito razonar con axiomas, reglas de inferencia y o armaciones ya demostradas. 2.1 Denici n (Teora L). La Teora L est compuesta por los siguientes elementos. o a (1) Lenguaje. El lenguaje de L est compuesto por las letras may sculas A, B, C, etc. y los coneca u tivos l gicos y o

(2) F rmulas (bien formadas). Una f rmula de L es una armaci n escrita en el lenguaje de L o o o que tiene sentido l gico3 . Utilizamos letras cursivas del tipo B, C, etc. para denotar f rmulas de o o
3

Formalmente, se dene an logamente a Forma Sentencial, ver Ap ndice I. a e

12

L. Dados dos f rmulas B y C denimos las siguientes armaciones, las cuales son f rmulas. o o B C es B C B C es (B C) B C es (B C) (C B). (3) Axiomas. Dados B, C y D f rmulas de L, los siguientes son Axiomas de L o (A1) (B B) B. (A2) B (B C). (A3) (B C) (C

B).

(A4) (B C) [(D B) (D C)]. (4) Reglas de Inferencia. L solo tiene una regla de inferencia, llamada Modus Ponens (MP). (MP) B BC C. Esto signica que de B y B C se deduce C.

Con estos elementos es posible denir lo que signica una demostraci n en L. Cuando se trabaja o cualquier teora en matem ticas, una prueba se puede ver como una sucesi n nita de armaciones a o (o pasos) donde cada armaci n est justicada por una raz n (porque es un axioma, porque resulta o a o de aplicar un resultado ya probado, etc.). Puesto que en L solo contamos con axiomas y el Modus Ponens, una demostraci n en L se dene como o 2.2 Denici n (Demostraci n en L). Una demostraci n en L es una sucesi n nita de f rmulas o o o o o B1 , B2 , . . . , Bn tal que cada Bi cumple una de las siguientes condiciones: (i) Bi es un axioma de L o (ii) Bi se sigue por (MP) aplicado a f rmulas que la preceden en la sucesi n o o De una forma m s simple, una demostraci n en L es una justicaci n donde s lo se pueden aplicar a o o o axiomas de L y (MP) (y tambi n resultados probados en L, pues una aplicaci n de estos correspone o den a la repetici n de la prueba del resultado usado en la demostraci n dada). o o En matem ticas es muy com n razonar de la forma supongamos ... entonces ... donde la prueba a u se efectua de la misma forma que explicamos anteriormente, con la diferencia de que, adicional a los axiomas, se pueden utilizar hip tesis. En particular, en L se llevan a cabo demostraciones de o f rmulas bajo la suposici n de hip tesis. o o o 13

2.3 Denici n (Deducciones en L). Sea un conjunto de f rmulas de L (las cuales llamaremos o o hip tesis) y sea B una f rmula de L. Escribimos L B, lo cual se lee B se sigue (se demueso o tra, o se prueba) de las hip tesis . Esto signica, formalmente, que existe una sucesi n nita o o de f rmulas B1 , B2 , . . . , Bn donde Bn es B (la conclusi n) y tal que cada Bi cumple una de las o o siguientes condiciones (i) Bi es una hip tesis en , o (ii) Bi es un axioma de L o (iii) Bi se sigue por (MP) aplicado a f rmulas que la preceden en la sucesi n o o De una forma m s simple, L B signica que B se puede demostrar usando solo axiomas, a hip tesis de y (MP) (y tambi n resultados probados en L, pues una aplicaci n de estos correo e o sponden a la repetici n de la prueba del resultado usado en la demostraci n dada). o o 2.4 Denici n (Teorema de L). Una f rmula B de L es un Teorema de L si L B, es decir, B se o o puede demostrar en L sin necesidad de hip tesis. Para abreviar, escribimos L B para indicar que B o es un teorema de L Intuitivamente, un teorema de L se considera una f rmula cierta para la teora L, puesto que o son las armaciones que se pueden demostrar a partir de los axiomas de L. Por lo tanto, el objetivo de la construcci n de L es vericar que sus teoremas son precisamente las tautologas del c lculo o a proposicional. Para efectuar esta tarea no se pueden utilizar los resultados de la secci n anterior o (pues lo que se busca es ver que se pueden probar) sino los resultados que vayamos obteniendo paso a paso. En este punto del texto, comenzamos con las pruebas de ciertas leyes l gicas en L, lo cual o sirve como ejemplos para las deniciones 2.2, 2.3 y 2.4. Todas las letras cursivas de los enunciados corresponden a f rmulas de L. o L.1 Lema (Transitividad). B C, C D L B D. Seg n la denici n 2.3, = {B C, C D}, es decir, el conjunto de estas dos hip tesis, a u o o partir de las cuales se deduce B D mediante una demostraci n donde se permite utilizar solo o hip tesis, axiomas y (MP). o 14

Justicaci n. o B1 . B2 . B3 . B4 . B4 . B5 . BC Hip tesis o CD Hip tesis o (C D) [(B C) (B D)] (A4) (B C) (B D) B2 , B3 , (MP) (B C) (B D) Def. de BD B1 , B4 , (MP).

Seg n la denici n 2.3, B1 , B2 , B3 , B4 , B5 es la demostraci n para B C, C D L B D. u o o N tese que B4 aparece dos veces en la lista, pues de un paso al otro no se hizo un paso demostrativo, o sino que se utiliz la denici n de (ver 2.1(2)), lo cual signica que ambas son la misma f rmula. o o o En adelante, para enumerar una demostraci n, no utilizaremos una lista B1 , B2 , . . . , Bn como en el o Lema L.1 sino que usaremos simplemente n meros, como se indica a continuaci n. u o L.2 Lema. L B (C

B).

El resultado es claro a la intuici n respecto al axioma (A2), pero escencialmente no son la misma o f rmula. (A2) permite agregar una f rmula por disyunci n a la derecha, mientras que el Lema L.2 o o o permite agregar una f rmula por disyunci n a la izquierda. A pesar de que ambos signican lo o o mismo (por la conmutatividad de

), no son escencialmente lo mismo y, por lo tanto, as se tenga

(A2), se debe efectuar una demostraci n para L.2. o Justicaci n. o 1. B (B C) 2. (B C) (C 3. B (C B)

B)

(A2) (A3) 1, 2, L.1.

En esta demostraci n, seg n la denici n 2.2, el paso 3 no corresponde a un axioma o a aplio u o caci n de (MP), sino a la aplicaci n de un resultado ya probado. Esto es v lido para simplicar o o a la escritura de una demostraci n, pues aplicar un resultado probado equivale a reescribir su deo mostraci n. o L.3 Lema. L B B. Justicaci n. o 1. B (B B) (A2) 2. (B B) B (A1) 3. B B 1, 2, L.1.

15

L.4 Lema. C L B C. Justicaci n. o 1. 2. 3. 3. C Hip. C (B C) L.2 B C 1, 2, (MP) BC Def. de .

L.5 Lema (Tercer Excludo). L B B. Justicaci n. o 1. 1. 2. 3. BB L.3 B B Def. de (B B) (B B) (A3) B B 1, 2, (MP).

L.6 Lema (Doble negaci n). L B B. o Justicaci n. o 1. B B L.5 1. B B Def. de .

L.7 Lema (Contrarrecproco). L (B C) (C B). Justicaci n. o 1. 2. 3. 4. 5. 5. C C L.6 (C C) [(B C) (B C)] (A4) (B C) (B C) 1,2,(MP) (B C) (C B) (A3) (B C) (C B) 3,4,L.1 (B C) (C B) Def. de .

L.8 Lema. B C L (C D) (B D) L.9 Lema (Disyunci n de casos). B C, B D, C D L D. o M s general, se tiene B D, C D L (B C) D. a 16

Justicaci n. o 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. BD Hip. CD Hip. (C D) [(B C) (B D)] (A4) (B C) (B D) 2, 3, (MP) (B D) [(D B) (D D)] (A4) (D B) (D D) 1, 5, (MP) (B D) (D B) (A3) (B D) (D D) 7, 6, L.1 (D D) D (A1) (B D) D 8, 9, L.1 (B C) D 4, 10, L.1.

L.10 Lema. B (C D), B C L B D. Justicaci n. o 1. 2. 3. 4. 5. 5. 6. 7. B (C D) Hip. BC Hip. (C D) (B D) 2, L.8 B (B D) 1, 3, L.1 B (B D) (A2) B (B D) Def. de B B L.5 BD 4, 5, 6, L.9.

Probar los siguientes ejercicios en la Teora L. S lo es permitido utilizar los elementos de esta secci n. o o 1.3 Ejercicio. (a) L B (B C). (b) L C (B C). (c) B C L (B D) (C

(c) L (B (C

D)) (C

(B D)).

(d) L (B (C D)) (C (B D)). D). (e) L (B C) [(C D) (B D)]. Sugerencia: Utilice el Ejercicio 1.3(d) y el inciso anterior. 1.5 Ejercicio. (a) L B B. (b) L (C B) (B C). (c) L (B B) B. (d) L (B B) B. (e) L (B C) (B C). (f) L (B C) (B C).

(d) L (C D) [(B C) (B D)]. (e) Probar L.8. (f) B D, B D L D. 1.4 Ejercicio. Demostrar en L: (a) L (B (C D)) ((C (B D)) B). Sugerencia: Comience con D (B D). (b) L ((C (B D)) B) (C (B D)). Sugerencia: Pruebe B (C (B D)).

1.6 Ejercicio (Generalizaci n de la Disyunci n de Casos). B1 D, . . . , Bn D L (B1 o o

...

Bn ) D.

17

1.3. M todos de Demostraci n e o


En esta secci n introducimos los m todos de demostraci n para facilitar las pruebas en la Teora o e o L. Los razonamientos de la secci n anterior, aunque precisos, dejan poco lugar a la intuici n para o o ser desarrollados. Con los m todos de demostraci n, m s los primeros resultados de esta secci n, e o a o el desarrollo de las pruebas en L se puede basar en argumentos intuitivos que f cilmente se pueden a convertir en demostraciones.

B sicamente, los m todos de demostraci n para L son dos: el Teorema de la Deducci n (conoa e o o cido tambi n como el M todo Directo) y Reducci n al Absurdo. Los m todos de Disyunci n de e e o e o Casos y de Contrarrecproco son m s bien leyes l gicas, las cuales se arman en L.9, L.7 y en el a o Ejercicio 1.5(b) (L.13). Como t cnicas de demostraci n, veremos al nal de la secci n la forma de e o o razonar por equivalencias.

Dadas B y C f rmulas de L, es natural entender B L C como si suponemos B como hip tesis o o entonces probamos C. Esto es natural entenderse como si B entonces C. De este modo, es lo mismo armar B L C que L B C? Por ejemplo, cuando en aritm tica se va a probar e que n par n2 par se opta por suponer n par como hip tesis y demostrar n2 par. En general, o en matem ticas los teoremas se enuncian como implicaciones (causa y efecto), las cuales se dea muestran suponiendo el antecedente y probando el consecuente. Esto es lo que se conoce como el Teorema de la Deducci n, el cual enunciamos para la Teora L. o 3.1 Teorema (de la Deducci n). Sea un conjunto de f rmulas de L, B y C f rmulas de L. Si o o o , B L C entonces L B C. Justicaci n. Ver Ap ndice I. o e

En el enunciado anterior, representa hip tesis adicionales que se requieran para probar B C, o de modo que se toma B como hip tesis (adem s de las que est n en ) y se demuestra C. Esto es o a a muy util para demostrar enunciados donde el Teorema de la Deducci n se utiliza m s de una vez. o a Continuamos con la notaci n de letras cursivas para f rmulas de L. o o L.11 Lema. L B B. 18

Justicaci n. o 1. 2. 3. 3. 4. 5. 6. B Hip. B (B B) (A2) B B 1, 2, (MP) B B Def. de BB L.3 B B L.5 B 5, 4, 3, L.9.

Hemos probado B L B. Luego, por el Teorema de la Deducci n, L B B. o L.12 Lema. L (B D) [(B D) D]. Justicaci n. Del Ejercicio 1.3(f) se tiene que B D, B D L D. Al aplicar el Teorema de o la Deducci n se sigue que B D L (B D) D y, al aplicar el mismo Teorema por segunda o vez, se sigue que L (B D) [(B D) D]. Introduzcamos ahora el m todo de Reducci n al Absurdo. Este consiste en que, para probar una e o armaci n B, se toma B como hip tesis y se obtiene una contradicci n. Qu signica obtener o o o e una Contradicci n? la siguiente denici n da una respuesta natural. o o 3.2 Denici n (Conjunto inconsistente de hip tesis). Un conjunto de f rmulas de L es un cono o o junto inconsistente de hip tesis si existe una f rmula D de L tal que L D y L D. Intuitivao o mente, es inconsistente si logra probar una contradicci n, es decir, que prueba una armaci n y o o su negaci n simult neamente. o a 3.3 Proposici n. Un conjunto inconsistente de hip tesis demuestra cualquier f rmula. o o o Justicaci n. Sea un conjunto inconsistente de hip tesis, es decir, existe una f rmula D tal que o o o L D y L D. Sea C una f rmula arbitraria y veamos que L C. Esto se sigue de la siguiente o demostraci n en donde se toma a como conjunto de hip tesis. o o 1. 2. 3. 4. 5. D porque L D D porque L D D (D C) Ej. 1.3(a) DC 2, 3, (MP) C 1, 4, (MP).

3.4 Teorema (Reducci n al Absurdo). Sea un conjunto de hip tesis, B una f rmula. Si , B o o o forman un conjunto inconsistente de hip tesis, entonces L B. o 19

En principio, es un conjunto de hip tesis (que puede ser vaco) de donde se quiere probar o B. El m todo de Reducci n al Absurdo consiste en suponer a B como hip tesis, adem s de , y e o o a llegar a una contradicci n, es decir, que , B es un conjunto inconsistente de hip tesis. o o Justicaci n. Como , B es un conjunto inconsistente de hip tesis entonces, por Proposici n o o o 3.3, prueba cualquier f rmula. En particular, , B L B. Luego, L B B por Teorema de la o Deducci n. Veamos ahora que L B seg n la siguiente demostraci n en donde se toma a como o u o conjunto de hip tesis. o 1. 2. 3. 4. B B porque L B B BB L.3 B B L.5 B 3, 2, 1, L.9.

Por lo general, el Teorema de la Deducci n y Reducci n al Absurdo se combinan para obtener o o demostraciones. Los siguientes resultados son ejemplos de esto. L.13 Lema (Contrarrecproco). L (C B) (B C). Justicaci n. o 1. 2. 3. 4. C B Hip. B Hip. C Hip. (para reducci n al absurdo) o B 1, 3, (MP).

De 2. y 4. obtenemos que C B, B, C es un conjunto inconsistente de hip tesis. Luego, por o Reducci n al Absurdo, C B, B L C. Por Teorema de la Deducci n se sigue que C B L o o B C y, del mismo Teorema, conclumos que L (C B) (B C). L.14 Lema. (a) B, C L B C. (b) B C, C B L B C. Justicaci n. (a) o 1. 2. 3. 3. 4. 5. 5. 6. B Hip. C Hip. (B C) Hip. (para el absurdo) (B C) Def. de (B C) (B C) L.11 B C 3, 4, (MP) B C Def. de C 1, 5, (MP). 20

De 2. y 6. se sigue que B, C, (B C) es un conjunto inconsistente de hip tesis. Por Reducci n o o al Absurdo, obtenemos B, C L B C. (b) 1. 2. 3. 3. BC Hip. CB Hip. (B C) (C B) 1, 2, (a) BC Def. de .

L.15 Lema. (a) L (B C) B. (b) L (B C) C. Justicaci n. (a) o 1. 2. 2. 3. 4. B (B C) (A2) (B C) B 1, L.7, (MP) (B C) B Def. de B B L.11 (B C) B 2, 3, L.1.

(c) L (B C) (B C). (d) L (B C) (C B). (b) Demostraci n similar a la anterior. o (c) Inmediato de (a) y la denici n de . o (d) Inmediato de (b) y la denici n de . o

L.16 Lema. (a) L B B. (b) B C L C B. (c) B C, C D L B D. (d) B C L B C. (e) B C L (B D) (C Justicaci n. (a) o

(f) B C L (B D) (C

D).

(g) B C L (B D) (C D). (h) B C L (D B) (D C). D). (i) B C L (B D) (C D).

1. B B L.3 2. B B 1, 1, L.14. 21

(c) 1. 2. 3. 4. 5. 6. 7. 8. 9. (e) Veamos B C L (B D) (C

BC CD BC CB CD DC BD DB BD

Hip. Hip. 1, L.15, (MP) 1, L.15, (MP) 2, L.15, (MP) 2, L.15, (MP) 3, 5, L.1 6, 4, L.1 7, 8, L.14.

D). BC Hip. BD Hip. B 2, L.15, (MP) D 2, L.15, (MP) C 1, 3, (MP) CD 5, 4, L.14.

1. 2. 3. 4. 5. 6.

Hemos probado que B C, B D L C

D, por lo cual B C L (B D) (C

D) por

Teorema de la Deducci n. De la misma forma se prueba que C B L (C o De aqu es f cil concluir que B C L (B D) (C a (g) 1. 2. 3. 3. BC Hip. B C 1, (d) (B D) (C D) 2, (f) (B D) (C D) Def. de . D).

D) (B D).

(i) Veamos B C L (B D) (C D). 1. 2. 3. 4. BC Hip. BD Hip. CB 1, (b) C D 3, 2, (c).

Hemos probado B C, B D L C D de donde B C L (B D) (C D) por Teorema de la Deducci n. De (c) y el mismo Teorema, se sigue B C L (C D) (B D), o de donde B C L (B D) (C D) por L.14.

3.5 Observaci n. L.14(b) indica la t cnica usual para probar equivalencias en el c lculo proposio e a cional (en general, en matem ticas). Para probar B C es suciente demostrar dos armaciones, a 22

que B C y que C B. Ambas se pueden demostrar por Teorema de la Deducci n. La prueba de o L.16(a) es un ejemplo de esta t cnica, como lo ser n muchas demostraciones posteriores. e a

L.17 Lema. (a) L B B. (b) L (B B) B. (c) L (B B) B.

(d) L (B C) (C (e) L (B C) (C

B). B).

(f) L (B C) (C B).

L.18 Lema (Leyes DMorgan). (a) L (B C) (B C). (b) L (B C) (B C). Justicaci n. (a) o 1. 1. 2. 3. (b) 1. 2. 3. 4. 5. 5. (B C) (B C) L.17(a),L.16(f) (C B) (C B) L.17(a),L.16(f) (B C) (B C) 2, L.17(d),L.16(c) (B C) (B C) 1, 3, L.16(c) (B C) (B C) 4, L.16(d) (B C) (B C) Def. de . (B C) (B C) L.16(a) (B C) (B C) Def. de (B C) (B C) L.17(a),L.16(b) (B C) (B C) 1, 2, L.16(c).

L.19 Lema. (a) L (B (C (b) L (B (C (c) L (B (C (d) L (B (C


D)) ((B C) D). D)) ((B C) D). D)) [(B C) (B D)]. D)) [(B C) (B D)].

(f) L (B (C D)) (C (B D)). (g) L (B (C D)) ((B C) D). (h) L (B C) (C B). (i) L [(B C)] [(B) C]. (j) L (B (C D)) ((B C) D)

(e) L (B C) (B C).

En la justicaci n de este resultado introducimos otra t cnica de demostraci n llamada razono e o amiento por equivalencias. Debido a L.16 es v lido sustituir una f rmula equivalente dentro de a o 23

otra f rmula para generar f rmulas equivalentes y, por la transitividad de la equivalencia, se pueden o o hacer varias sustituciones y aplicaciones de las leyes l gicas probadas previamente para generar o demostraciones4 . Justicaci n. (b) Exponemos dos pruebas. La primera es o 1. 2. 3. 4. 5. (B (C D)) ((B C) D) (a) (B (C D)) ((B C) D) Ley DMorgan L.18 (B (C D)) ((B C) D) Ley DMorgan L.18 (B (C D)) ((B C) D) 3, L.16(d) (B (C D)) ((B C) D) Doble neg. L.17.

La segunda prueba est dada por el Teorema de la Deducci n y la Disyunci n de Casos. Veamos a o o que L (B (C

D)) ((B C) D). 1. 2. 3. 4. 5. 6. 7. 8. 9. B (C D) Hip. B (B C) (A2) (B C) ((B C) D) (A2) B ((B C) D) 2, 3, L.1 C (B C) L.2 C ((B C) D) 5, 3, L.1 D ((B C) D) L.2 (C D) ((B C) D) 6, 7, L.9 (B C) D 1, 4, 8, L.9.

Hemos probado B (C sigue L (B (C

D) L (B C) D. Por lo tanto, del Teorema de la Deducci n se o

D)) ((B C) D). De manera similar, se prueba el recproco.

(c) Procedamos a probar las dos implicaciones que permiten concluir la equivalencia. Para , 1. B (C 2. B 3. C D

D)

Hip. 1, L.15, (MP) 1, L.15, (MP).

Buscamos concluir (B C) (B D). Para esto, utilizemos la disyunci n C o por disyunci n de casos. o 4.1. 4.2. 4.3. 4.
4

D para razonar

C Hip. BC 2, 4.1, L.14 (B C) (B D) 4.2, (A2), (MP) C (B C) (B D) 4.1-4.3, TmaDed (3.1)

Ver el Apendice I para un resultado que justica completamente el criterio de sustituci n de f rmulas equivalentes. o o

24

5.1. 5.2. 5.3. 5. 6. Hemos probado B (C Deducci n. o

D Hip. BD 2, 5.1, L.14 (B C) (B D) 5.2, L.2, (MP) D (B C) (B D) 5.1-5.3, TmaDed 3.1 (B C) (B D) 3, 4, 5, L.9. D) L (B C) (B D), por lo se sigue por Teorema de la

Veamos ahora el recproco: 1. 2. 3. 4. 5. 6. 7. 8. (B C) (B D) Hip. C (C D) (A2) (C B) ((C D) B) 2, L.16(e)(ver prueba) (B C) (B (C D)) 3, L.17 D (C D) L.2 (D B) ((C D) B) 5, L.16(e)(ver prueba) (B D) (B (C D)) 6, L.17 (B (C D)) 1, 4, 7, L.9.

Hemos probado (B C) (B D) L B (C Deducci n. o (e)

D), por lo cual se sigue por Teorema de la

(B C) (B C) Def. de (B C) Ley DMorgan (B C) Doble neg.. (g) (B (C D)) (B (C D))) Def. de ((B C) D) (b) ((B C) D) Ley DMorgan ((B C) D) Def. de .

L.20 Lema. (a) B L (B C) C. (b) B L (B C) C.


1.7 Ejercicio. Probar los siguientes resultados. (a) (b),(d),(f) y (h) de L.16. (b) L.17. (c) (a) y (d) de L.19. (d) B C L (B C) C. (e) B C L (B C) B. 1.8 Ejercicio. Demostrar los siguientes enunciados. (a) (B C) (B C). (b) (B C) (B C). (c) (f) y (h) de L.19.

25

(d) L.20. (e) B, C L B C. (f) B B es una hip tesis inconsistente en L. o (g) (i) de L.19. (h) L (C (C D)) D. Sugerencia: Razone por disyunci n de casos con C C. o (i) (j) de L.19. 1.9 Ejercicio. Pruebe los siguientes enunciados mediante equivalencias. (a) L (B C) [(B C) (B C)].

(b) Utilize la equivalencia anterior y los Lemas de esta secci n para probar (i) y (j) de L.19. o 1.10 Ejercicio. Sea un conjunto de f rmulas. Juso tique los siguientes enunciados. (a) Si , B forman un conjunto inconsistente de hip tesis, entonces L B. o (b) Si , B, C forman un conjunto inconsistente de hip tesis, entonces L B C. o (c) Si existe una f rmula D tal que L D D, o entonces es un conjunto inconsistente.

1.4. Teorema de Completez


En la secci n anterior vimos c mo las principales leyes del c lculo croposicional se demuestran o o a en L, adem s que los m todos de demostraci n conocidos en matem ticas son v lidos para dicha a e o a a teora. Esto lleva a comparar esta parte formal del c lculo proposicional con su parte sem ntica a a (discutida en la secci n 1.1), para concluir, como se hace en esta secci n, que las tautologas son o o precisamente los teoremas de L. Esto es lo que se conoce como el Teorema de Completez en el sentido de que muestra que L es realmente el c lculo proposicional. a 4.1 Lema. Sean B y C formas sentenciales. Si B y B C son tautologas, entonces tambi n lo es C e Justicaci n. En tablas de verdad de B, B C y C, en cada la B y B C toman el valor V. Si o C tomase el valor F entonces, como B es V entonces B C toma el valor F, lo cual es imposible. Por lo tanto, C toma el valor V en cada la, por lo cual es una Taotologa. 4.2 Lema. Todo teorema de L es una tautologa. Justicaci n. Es f cil chequear, con tablas de verdad, que los axiomas de L son tautologas. Por o a otra parte, el Lema 4.1 indica que la aplicaci n de (MP) a tautologas genera tautologas. o Todo teorema B de L tiene una demostraci n en la cual solo se aplican axiomas y (MP) (Denio ciones 2.2 y 2.4) y, puesto que estos pasos generan tautologas (seg n el p rrafo anterior), el resul u a tado nal (B) es una tautologa. 4.3 Teorema (de Completez). Sea B una f rmula. B es una tautologa si y solo si L B (B es o teorema de L). Justicaci n. Ver Ap ndice I. o e 26

El Teorema anterior garantiza la conanza de razonar en L pues, como prueba todo lo que es verdad, no puede probar algo falso. Por lo tanto, la teora L es consistente, lo cual denimos y jus ticamos a continuaci n. o Por lo general, as como L, toda teora T se compone de un lenguaje, un conjunto de f rmulas o (bien formadas), un conjunto de axiomas y unas reglas de inferencia. De la misma forma se puede denir lo que signica demostraci n en T, T B y T B . o 4.4 Denici n (Consistencia de una Teora). Sea T una teora que contiene a en su lenguaje. o Decimos que T es una teora inconsistente si existe una f rmula D en el lenguaje de T tal que T D o y T D. De lo contrario, decimos que la teora es consistente. Intuitivamente, una teora consistente es aquella que no prueba contradicciones, lo cual da un ndice de conanza sobre la teora. El siguiente Teorema garantiza dicha conanza para L. 4.5 Teorema. L es una teora consistente. Justicaci n. Supongamos, por el contrario, que L es inconsistente, es decir, existe una f rmula D o o tal que L D y L D. Del Teorema de Completez se sigue que D y D son tautologas, es decir, siempre toman el valor V en sus tablas de verdad. Claramente, esto es imposible.
1.11 Ejercicio. Sea B una f rmula. Pruebe que las siguientes armaciones son equivalentes: o (i) B es una contradicci n. o (ii) B es una tautologa. (iii) L B. (iv) B es una hip tesis inconsistente de L. o 1.12 Ejercicio. Sea T una teora, B y C f rmulas de T. Sea T = T + C (la teora que resulta de a adir a C o n como axioma a T). Pruebe que T B si y solo si C T B. Sugerencia: Utilize la denici n de demostraci n o o para T y T .

27

28

Captulo 2

C lculo de Predicados a

Aunque el c lculo proposicional tiene gran poder para formalizar y estructurar las leyes l gicas a o de razonamiento, no es suciente para dar forma a una teora fuerte, en particular, a los fundamen tos de la matem tica. Esto se debe a que las f rmulas dentro de este c lculo contienen un valor de a o a verdad constante, cuando por lo general se presentan armaciones cuyo valor de verdad depende de una o m s variables. Por ejemplo, la persona x vive en Medelln o x + y = 0son armaciones a cuyo valor de verdad dependen de variables. Por lo tanto, es necesario extender el lenguaje y la teora del c lculo proposicional de modo a que pueda analizar armaciones con elementos m s complejos. Dicha extensi n, adem s de que a o a se constituye de conceptos simples, permite un panorama general sobre el cual se puede estructurar cualquier teora matem tica elemental, m s a n, permite formalizar la Teora de Conjuntos de a a u Zermelo-Fraenkel, dentro de la cual toma lugar toda la matem tica. a Un lenguaje de primer orden se presenta como un lenguaje elemental que puede describir una teora de primer orden, la cual es un modelo de estructura para gran cantidad de teoras matem ticas a fundamentales y donde los elementos del c lculo proposicional siguen siendo v lidos. Hay una a a teora de primer orden que llamaremos el c lculo de predicados, cuyos teoremas son verdaderos en a cualquier otra teora del mismo tipo. El objetivo central de este captulo es desarrollar los elementos del c lculo de predicados, ya que a estos son comunes en cualquier teora matem tica. En la primera secci n extendemos el lenguaje del a o c lculo proposicional a lenguajes de primer orden y, en la segunda secci n, denimos la estructura a o com n para teoras de primer orden y expondremos algunos teoremas del c lculo de predicados. u a En la tercera secci n presentamos los m todos de demostraci n para teoras de primer orden los o e o

cuales, aunque extienden los m todos de demostraci n para L, contienen algunas restricciones. En e o la cuarta secci n presentamos el razonamiento con cuanticadores tpicos, los cuales se presentan o m s comunmente en matem ticas. Finalizamos en la ultima secci n con los elementos fundamena a o tales de una teora que contiene el signo igual (=). As como el c lculo proposicional, el c lculo de predicados se puede analizar desde la sem ntica a a a y desde la sintaxis. Tambi n hay una versi n de teorema de completez que indica la equivalencia e o entre ambos enfoques. En este captulo s lo presentamos el an lisis desde la sintaxis, pues el trabajo o a desde la sem ntica demanda el conocimiento de elementos de la Teora de Modelos. a

2.1. Lenguajes de Primer Orden


Puesto que muchas armaciones en matem ticas no tienen un valor de verdad constante sino a que dependen de variables, modicamos el lenguaje del c lculo proposicional de modo que admita a armaciones con variables y cuanticadores. 1.1 Denici n (Lenguaje de primer orden). Un lenguaje de primer orden L se consituye de los o siguientes elementos. 1. Smbolos l gicos. Son , o

y .

2. Variables. Una cantidad innita contable de variables x1 , x2 , x3 , . . . las cuales representan inc gnio tas para objetos del lenguaje. Usualmente, usamos las letras x, y, z, u, v, w para denotar variables. 3. Constantes. Son objetos constantes del lenguaje. 4. Letras funcionales. Son operadores que, aplicados a objetos del lenguaje, generan nuevos objetos. 5. Letras predicativas. Son signos que permiten construir armaciones sin utilizar smbolos l gi o cos. Los elementos 1. y 2. son comunes para todos los lenguajes de primer orden. Por lo tanto, para denir un lenguaje de primer orden s lo basta indicar 3., 4. y 5.. o 1.2 Ejemplo. (1) Lenguaje de la aritm tica. El lenguaje de la aritm tica es LS := {0, s, +, , =}, e e donde 0 es una constante, s, + y son letras funcionales y = es letra predicativa. s denota la 30

operaci n sucesor donde s(x) es el n mero que le sigue a x. De esta forma, se dene 1 = s(0), o u 2 = s(1), 3 = s(2), etc tera. e Como se indica en la denici n 1.1, las letras funcionales s, + y denotan operaciones para o generar nuevos objetos. Por ejemplo, los objetos 1, 2, 3, . . . se generan a partir de la operaci n o s aplicada a 0, y x + 0, 4 1 y x x + y (x + s(z) + 1) son objetos del lenguaje generados por letras funcionales. La letra predicativa = tiene el n de la construcci n de armaciones. Por ejemplo, x + 0 = 0, o 1 = 0, 1 + 1 = 2 y x x + y (x + s(z) + 1) = 3 son armaciones construidas desde el smbolo = aplicado a objetos del lenguaje. Aunque los n meros 0, 1, 2, 3, . . . son objetos jos en ese lenguaje, el unico que se dene como u constante del lenguaje LS es 0 debido a que los dem s n meros se denen a partir de este y de a u la operaci n sucesor. o (2) Lenguaje de ZF. ZF denota la Teora de Conjuntos de Zermelo-Fraenkel (la cual describimos en detalle desde el captulo 3). El lenguaje de esta teora es LZF := {=, }, donde ambos = y son letras predicativas. Por ejemplo, x y y x = x son armaciones que se construyen con dichas letras. En principio, LZF no contiene constantes ni letras funcionales. Esto genera la pregunta de qu pasa con smbolos como , (uni n), (intersecci n) o (contenci n) con los cuales e o o o es fundamental la escritura de la teora de conjuntos. La raz n por la cual no es necesario in o clurlos al denir el lenguaje es que se presentan como smbolos secundarios, es decir, solo se necesita =, y algunos teoremas de la teora de conjuntos para denirlos. El ejemplo anterior aclara que un lenguaje de primer orden se presenta como un conjunto de smbolos que sirven de punto de partida para construir armaciones y objetos m s complejos. Por a lo general, un lenguaje se dene para asociarlo a una teora que se quiere describir, como sucede en el primer caso con la Aritm tica y en segundo con la Teora de Conjuntos. N tese que en estos e o ejemplos hemos utilizado constantemente dos expresiones: objetos del lenguaje y armaciones del lenguaje. Es importante distinguir entre ambas nociones para un lenguaje de primer orden, pues tienen diferente naturaleza. Las armaciones se presentan para relacionar objetos y dar un juicio sobre ellos, adem s, se les puede asignar un valor de verdad, mientras que a un objeto no. a A continuaci n vamos a dar una denici n precisa de lo que signica objeto y armaci n para o o o un lenguaje. En la pr ctica, se utiliza la palabra t rmino para denotar objetos y la palabra f rmula a e o 31

para denotar armaciones. N tese de los ejemplos anteriores que en los objetos construidos intero vienen variables, constantes y letras funcionales, los cuales son los elementos fundamentales para la construcci n de objetos. o 1.3 Denici n (T rmino). Dado un lenguaje de primer orden L, un t rmino de L es un objeto que o e e se construye a partir de variables, constantes y letras funcionales del lenguaje1 . 1.4 Ejemplo. Respecto al Ejemplo 1.2: (1) 0, 1, 2, 3, . . ., x + 0, 4 1, x x + y (x + s(z) + 1) y x son t rminos de LS . e (2) Los unicos t rminos de LZF son las variables, pues dicho lenguaje no contiene constantes ni e letras funcionales para generar otros t rminos. Sin embargo, objetos como y x y se denen e seg n teoremas de ZF, lo cual se aclara en el Captulo 3. u (3) Para cualquier lenguaje de primer orden, las variables y las constantes son t rminos. e Una f rmula en un lenguaje de primer orden se dene como una expresi n con sentido l gico o o o sobre t rminos del lenguaje. De manera similar al c lculo proposicional, en este tipo de armaciones e a intervienen conectivos l gicos, m s expresiones simples escritas a partir de las letras predicativas, o a las cuales llamamos f rmulas at micas. o o 1.5 Denici n (F rmula at mica). Dado un lenguaje de primer orden L, una f rmula at mica de o o o o o L es una armaci n constituda por una letra predicativa que relaciona t rminos de L. Este tipo de o e f rmula no tiene smbolos l gicos. o o 1.6 Ejemplo. Respecto al ejemplo 1.2: (1) x + 0 = 0, 1 = 0, 1 + 1 = 2 y x x + y (x + s(z) + 1) = 3 son f rmulas at micas de LS . o o x (x + 0 = 0) y x = 0 x = 0 no son f rmulas at micas, pues contienen smbolos l gicos. o o o (2) x = y, x = x y x y son ejemplos de f rmulas at micas de LZF . Armaciones como o o o o o x (x y x z) y (x x) no son f rmulas at micas, pues contienen smbolos l gicos. 1.7 Denici n (F rmula (bien fundada)). Una f rmula (bien fundada) de un lenguaje de primer o o o orden L es una expresi n con sentido l gico que se compone de f rmulas at micas y smbolos o o o o l gicos. Usamos las letras cursivas B, C, D, etc. para denotar f rmulas de un lenguaje de primer o o
1

Ver Apendice II para una denici n formal de t rmino. o e

32

orden2 . Dadas dos f rmulas B y C de L, denimos las siguientes f rmulas: o o BC BC BC x B B C (B C) (B C) (C B) x (B).

El smbolo se conoce como el cuanticador universal, es el cuanticador existencial. 1.8 Ejemplo. Respecto al ejemplo 1.2: (1) x (x + 0 = x), z ((z = 0) x + z = y) y 0 = 4 son f rmulas de LS . La segunda f rmula se o o suele denotar como x < y. (2) x x, z (z x z y) y x ((x y)) son f rmulas de LZF . La segunda f rmula se suele / o o denotar por x y. Smbolos como < y , aunque corresponden a su respectivo lenguaje, no se toman desde la deni ci n ya que se construyen a partir de los otros smbolos. o Intuitivamente, un t rmino representa un objeto del lenguaje, mientras que una f rmula es una e o armaci n (con sentido l gico) sobre los t rminos del lenguaje. Una f rmula de un lenguaje es o o e o cierta o falsa dependiendo de la teora donde se razone, hecho sobre el cual profundizamos en la secci n 2.2. o A continuaci n aclaramos algunas nociones respecto al uso de cuanticadores en un lenguaje o de primer orden. 1.9 Denici n. Sea L un lenguaje de primer orden. o (1) El alcance de un cuanticador dentro de una f rmula es la f rmula a la cual se aplica el cuano o ticador. (2) Dada f rmula B, decimos que una ocurrencia de x est ligada (o acotada) en B si est al alcanze o a a de un cuanticador de la forma x o x . De lo contrario, decimos que x es libre en B. Decimos a o que una variable no es libre en B si aparece ligada, o si no est en la f rmula.
2

Ver el Apendice II para una denici n formal. o

33

1.10 Ejemplo. (1) Consideremos las siguientes f rmulas del lenguaje LS : o C1 : x + 0 = x C2 : (z (x z = 0)) x = z + 3 C3 : y (x y + 6 = y + 5). En la f rmula C1 ambos x son libres. o En la f rmula C2 el alcance de z es x z = 0. Ambos x son libres en C2 , el primer z est ligado o a a z y el segundo z es libre. El alcance de y en C3 es x y + 6 = y + 5. Ambos y est n ligados a y y x es libre. a La variable u no es libre en las tres f rmulas debido a que no aparece. o (2) Consideremos las siguientes f rmulas del lenguaje LZF : o B1 B2 B3 B4 : : : : x (x y (x x)) (x (x = x)) y (x y x = x) x (z y x (x x)) x y x z.

En la f rmula B1 el alcance de x es x y (x x), los tres x est n ligados al cuanticador o a x y y es libre. En la f rmula B2 el alcance de x es x = x y el alcance de y es x y x = x, los dos o primeros x est n ligados a x mientras que el tercer, cuarto y quinto x son libres, pues no est n a a al alcance de ning n cuanticador con variable x. El unico y de B2 est ligado a y . u a En B3 el alcance de x es z y x (x x) y el alcance de x es x x. z y y son libres en B3 y los x est n ligados a x , pero no est n ligados a x (una variable solo puede estar ligada a a a un solo cuanticador, en este caso, al que est m s pr ximo). a a o En B4 las variables que aparecen son libres. La variable w no es libre en las cuatro f rmulas, ya que no aparece. o Sea L un lenguaje de primer orden. En la pr ctica, es usual destacar ciertas variables en una a f rmula. De este modo, si B es una f rmula de L y se quieren destacar las variables x y z, se escribe o o B(x, z) en vez de B para destacar dichas variables. 1.11 Ejemplo. (1) Respecto al Ejemplo 1.10(1) destacamos las variables de las siguientes f rmuo las: C1 (x) : x + 0 = x C2 (x, z) : (z (x z = 0)) x = z + 3 C3 (x, y) : y (x y + 6 = y + 5). 34

(2) Respecto al Ejemplo 1.10(2) destacamos las variables de las siguientes f rmulas: o B1 (y) : B2 (x) : B3 (x, w) : B4 (x, y, z, w) : x (x y (x x)) (x (x = x)) y (x y x = x) x (z y x (x x)) x y x z.

Por lo general se destacan las variables que son libres en una f rmula, aunque no es estrictao mente necesario. Se pueden destacar variables que no sean libres o que nisiquiera aparecen en la f rmula, adem s que no es obligaci n destacar una variable que sea libre o que est ligada. Destacar o a o e variables es m s una cuesti n de gusto y necesidad en una situaci n dada. a o o Una de las razones por las cuales se destaca una variable en una f rmula es para denotar sustio tuci n. En otras palabras, si L es un lenguaje de primer orden, B(x) una f rmula de L en donde se o o destaca la variable x y t es un t rmino de L, B(t) denota la f rmula que resulta de sustituir todos e o los x libres por t en B(x). 1.12 Ejemplo. Retomemos la notaci n del Ejemplo 1.11. o (1) Al jar C1 (x), C2 (x, z) y C(x, y) obtenemos las siguientes sustituciones C1 (3) : C1 (5 z) : C1 (x + y) : C2 (5, z) : C2 (x, 6) : C2 (z + 1, z) : C3 (0, y) : C3 (x, 852) : C3 (y, y) : 3+0 =3 5z+0 =5z (x + y) + 0 = x + y (z (5 z = 0)) 5 = z + 3 (z (x z = 0)) x = 6 + 3 (z ((z + 1) z = 0)) z + 1 = z + 3 y (0 y + 6 = y + 5) y (x y + 6 = y + 5) y (y y + 6 = y + 5).

(2) Al jar B1 (y), B2 (x), B3 (x, w) y B4 (x, y, z, w) obtenemos las siguientes sustituciones B1 (R) : B1 (x) : B2 () : B2 (x y) : B3 (A , w) : B3 (x, T ) : B4 (x, y, {x}, w) : B4 (x, y, z, (x y) z) : x (x R (x x)) x (x x (x x)) (x (x = x)) y ( y = ) (x (x = x)) y (x y y x y = x y) x (z y x (x x)) x (z y x (x x)) x y x {x} x y x z. 35

En la pr ctica, las sustituciones se aladas por no se dan en matem ticas porque da an la a n a n estructura y el signicado de una f rmula. Esto se debe a que estas sustituciones generan nuevas o variables ligadas, lo cual modica el signicado esencial de la f rmula. o 1.13 Denici n (T rmino libre para una f rmula). Sea L un lenguaje de primer orden, x una vario e o able, B(x) una f rmula de L y t un t rmino de L. Decimos que t es libre para x en B(x) si en B(t) o e no se generan nuevas variables ligadas. Esto signica, intuitivamente, que la sustituci n de t por los o x libres en B(x) no da an la estructura de la f rmula. n o 1.14 Ejemplo. Tomemos como referencia el Ejemplo 1.12. (1) 3 es libre para x en C1 (x), tambi n 5 z es libre para x en C1 (x). M s a n, cualquier t rmino e a u e de LS es libre para x en C1 (x), pues como dicha f rmula no tiene cuanticadores, cualquier o sustituci n por x no genera nuevas variables ligadas. El t rmino 5 es libre para x en C2 (x, z), o e pero z + 1 no es libre para x en C2 (x, z) ya que genera una nueva variable z ligada. Teniendo en cuenta el signicado de las f rmulas respecto a C2 (x, w), obtenemos o C2 (x, z) : Existe un n mero que multiplicado por x es igual a cero, y x es igual a z m s 3. u a C2 (5, z) : Existe un n mero que multiplicado por 5 es igual a cero, y 5 es igual a z m s 3. u a C2 (z + 1, z) : Existe un n mero que multiplicado por el mismo m s 1 es igual a cero, u a y z + 1 es igual a z m s 3. a N tese que en las dos primeras f rmulas se conserva la esencia de la f rmula, a diferencia que o o o se cambia el papel de x por 5, mientras que la ultima tiene una interpretaci n muy alejada. La o raz n de esto es que en C2 (z + 1, z) aparece una nueva variable ligada. o 0 es libre para x en C3 (x, y), 852 es libre para y en C3 (x, y), pero y no es libre para x en C3 (x, y), pues al sustituir, C3 (y, y) contiene una nueva variable ligada. (2) R es libre para y en B1 (y), pero x no es libre para y en B1 (y), pues en B1 (x) aparece una nueva x ligada. Comparemos el signicado de las f rmulas que resultan: o B1 (y) : y es un conjunto cuyos elementos no se pertenecen a s mismos. B1 (R) : R es un conjunto cuyos elementos no se pertenecen a s mismos. B1 (x) : todo conjunto se pertenece a s mismo si y solo si no se pertenece a s mismo. Es claro que en la ultima sustituci n la esencia de la f rmula cambia por completo. o o A es libre para x en B3 (x, w), pues B(A , w) es lo mismo que B3 (x, w) porque no hay x libres donde sustituir y, como no hay sustituci n, no aparecen nuevas variables ligadas. De la o misma f rma, T es libre para w en B3 (x, w), pues al sustituir T por w no cambia la f rmula ya o o que no hay ninguna w por la cual sustituir. Por esta raz n, cualquier t rmino es libre para x en o e 36

B3 (x, w), y para w en B3 (x, w). Cualquier t rmino es libre para cualquier variable en B4 (x, y, z, w), pues como dicha f rmula e o no tiene cuanticadores, cualquier sustituci n no genera variables ligadas. o La importancia de esta notaci n radica en un axioma que presentamos en la secci n 2.2 para el o o c lculo de predicados. Dado un lenguaje de primer orden L, B(x) una f rmula y t un t rmino de L, a o e se propone siguiente axioma x B(x) B(t) o siempre y cuando t sea libre para x en B(x). Esto se debe a que una sustituci n que altere la esencia de la f rmula puede generar contradicciones (damos un ejemplo en la pr xima secci n). Por lo o o o tanto, una sustituci n es permitida siempre que no altere la estructura de la f rmula, es decir, si el o o t rmino es libre para la variable por la cual se va a sustituir. Debido a esto, las sustituciones mare cadas por en el Ejemplo 1.12 no son permitidas en l gica y las evitaremos en lo que resta del texto. o Entre los t rminos y las f rmulas de un lenguaje de primer orden, se destacan los siguientes. e o 1.15 Denici n. Dado un lenguaje de primer orden L, llamamos t rmino cerrado de L a un t rmino o e e que no tiene variables. Llamamos sentencia o f rmula cerrada de L a una f rmula que no tiene o o variables libres. 1.16 Ejemplo. (1) Los t rminos 0, 1, 2, 3, . . ., 5 + 7, s(6) 8 son cerrados en LS , pues no contienen e variables. Las f rmulas 1 = 0, x (x + 0 = x) y x y (x y = 1) son sentencias en LS , pues no o contienen variables libres. (2) Las f rmulas x y [(z (z x z y)) x = y] y y x (x y) son sentencias en LZF , o pues no contienen variables libres. Para nalizar la secci n, presentamos la siguiente serie de generalidades. o 1.17 Proposici n. Sea L un lenguaje de primer orden. o (a) Un t rmino cerrado es libre para cualquier variable en cualquier f rmula de L. e o (b) Sea B una f rmula y t un t rmino de L. Si las variables de t no aparecen ligadas en B entonces o e t es libre para cualquier variable en B. (c) x es libre para x en cualquier f rmula de L. o 37

(d) Sea B una f rmula de L. Si x no aparece libre en B entonces cualquier t rmino es libre para x o e en B. Justicaci n. (a) Sea r un t rmino cerrado y B(x) una f rmula de L. Como r no contiene vario e o ables, es claro que en B(r) no aparecen nuevas variables ligadas. Por lo tanto, r es libre para x en B(x). (c) Sea B(x) una f rmula de L. Al sustituir x por x en B(x) resulta la misma f rmula, por lo cual o o no aparecen nuevas variables ligadas. Por lo tanto, x es libre para x en B(x).

2.1 Ejercicio. En las siguientes f rmulas de LS in- (vi) z + z es libre para w en D3 (w). o dique el alcance de cada cuanticador, las variables (vii) Cualquier t rmino es libre para z en D4 (w, z). e libres y las variables ligadas. (viii) D3 (w) es una sentencia. (a) D (w) : (0 + z = w).
1 z

(b) D2 (w) : w = 0 z (w = s(z)). (c) D3 (w) : w z (z = s(w)). (d) D4 (w, z) : w = 3 w (w z = 3).

(ix) D1 (w) es una sentencia. 2.3 Ejercicio. Justique (b) y (d) de la Proposici n o 1.17.

2.2 Ejercicio. Respecto al ejercicio anterior, indique 2.4 Ejercicio. Sea L un lenguaje de primer orden. Insi las siguientes armaciones son ciertas o no. En ca- dique si las siguientes armaciones son ciertas o no. En cada caso, d una justicaci n precisa. e o da caso justique su respuesta. (i) Si B es una f rmula de L entonces x no es libre o (i) x + 3 es libre para w en D1 (w). en x B. (ii) z z es libre para w en D1 (w). (ii) Considerando la f rmula x B, se puede cono (iii) 5 + x es libre para w en D2 (w). cluir que x no es libre en B. (iv) z es libre para w en D2 (w). (iii) Si z no gura libre en la f rmula B, entonces en o (v) Cualquier t rmino es libre para z en D2 (w). e z B no aparecen nuevas variables ligadas.

2.2. Teoras de Primer Orden


Una teora de primer orden es una estructura muy general en donde se puede formalizar cualquier teora matem tica elemental. El primer elemento que permite describir una teora de este tipo es un a lenguaje de primer orden, el cual se dene respecto a la teora que se desea construir. En la secci n o anterior dimos los ejemplos LS y LZF de lenguajes de primer orden, el primero para denir la teora de la aritm tica, el segundo para la teora de conjuntos de Zermelo-Fraenkel. e 2.1 Denici n (Teora de Primer Orden). Dado un lenguaje de primer orden L, una teora de primer o orden K sobre el lenguaje L est compuesta de los siguientes elementos. a 38

1. Lenguaje. El lenguaje L. 2. F rmulas (bien formadas). Las f rmulas de L. En este caso, decir f rmula de K signica lo o o o mismo que ser f rmula de L. An logamente, decir t rmino de K denota ser un t rmino de L. o a e e 3. Axiomas. Una teora de primer orden tiene dos tipos de axiomas. Axiomas l gicos. Dados B, C, D f rmulas, x variable y t un t rmino de L, los siguientes son o o e axiomas: (A1) (B B) B. (A2) B (B C). (A3) (B C) (C

B).

(A4) (B C) [(D B) (D C)]. (A5) (Particularizaci n) x B(x) B(t) siempre que t sea libre para x en B(x). o (A6) x (B C) (B x C) siempre que x no sea libre en B. Axiomas propios. Dependen de la teora. 4. Reglas de inferencia. S lo dos reglas de inferencia, Modus Ponens (MP) y Generalizaci n o o (GEN). (MP) B BC C (GEN) B x B

En la pr ctica, para denir una teora de primer orden s lo es necesario considerar dos elementos: a o el lenguaje de primer orden y los axiomas propios, puesto que las f rmulas se denen a partir del o lenguaje y los axiomas propios y reglas de inferencia son comunes a todas las teoras de primer orden que corresponden a un mismo lenguaje. De forma an loga al trabajo con la teora L, denimos lo que signica una prueba, deducci n y a o teorema para una teora de primer orden. 2.2 Denici n. Sea K una teora de primer orden, un conjunto de f rmulas de K y B una f rmula o o o de la misma teora. Escribimos K B para indicar que de las hip tesis en se demuestra B, lo o cual signica, formalmente, que B tiene una prueba nita donde cada paso est justicado por una a hip tesis en , un axioma de K o por una regla de inferencia ((MP) o (GEN)). De un modo m s o a t cnico, existe una sucesi n nita B1 , . . . , Bn de f rmulas de K donde Bn es B y cada Bi cumple e o o una de las siguientes condiciones 39

(i) Bi es hip tesis en , o (ii) Bi es axioma (l gico o propio) de K, o (iii) Bi se sigue por (MP) aplicado a f rmulas que la preceden en la sucesi n o o o (iv) Bi se sigue por (GEN) aplicado a una f rmula que la precede en la sucesi n. o o Por otra parte, decimos que B es teorema de K cuando K B, es decir, B se demuestra en K sin necesidad de hip tesis. Este concepto lo abreviamos como K B. o 2.3 Ejemplo (Aritm tica de Peano). Denimos como la aritm tica de Peano a la teora de primer e e orden S en el lenguaje LS cuyos axiomas propios son (S1) (S2) (S3) (S4) (S5) (S6) (S7) (S8) (S9) x = y (x = z y = z) x = y s(x) = s(y) (0 = s(x)) s(x) = s(y) x = y x+0=x x + s(y) = s(x + y) x0=0 x s(y) = x y + x [B(0) x (B(x) B(s(x)))] x B(x).

El axioma (S9) es el conocido principio de inducci n matem tica. En esta teora se tiene, por ejemo a plo, S x + (y + z) = (x + y) + z, S s(x) = x + 1 y S 1 + 1 = 2. En general, todos los resultados conocidos de la aritm tica de n meros naturales se pueden demostrar en esta teora. e u En el captulo 3 damos como ejemplo la teora ZF en donde se formaliza toda la matem tica. a En adelante, jemos un lenguaje de primer orden L. El inter s de este captulo es probar las e leyes l gicas m s generales que son teoremas de cualquier teora de primer orden en el lenguaje L. o a 2.4 Denici n (C lculo de Predicados). El c lculo de predicados en el lenguaje L es una teora de o a a primer orden en dicho lenguaje, la cual no tiene axiomas propios. Es claro que cualquier teorema del c lculo de predicados es un teorema de cualquier teora de primer orden en el lenguaje L, por lo a cual llamamos f rmula l gicamente v lida a un teorema del c lculo de predicados. o o a a El siguiente teorema justica que los resultados de L son v lidos en cualquier teora de primer a orden, excepto el Teorema de la Deducci n y Reducci n al Absurdo. Lo anterior se debe a que o o estos m todos de demostraci n tienen restricciones al usar f rmulas con cuanticadores, lo cual e o o desarrollamos en la secci n 2.3. o 40

2.5 Proposici n. Toda f rmula con estructura de tautologa es l gicamente v lida, es decir, es o o o a un teorema del c lculo de predicados (y, por lo tanto, de cualquier teora de primer orden en el a lenguaje L). Adem s, la prueba de una tautologa solo requiere los axiomas (A1)-(A4) y (MP). a Justicaci n. Del teorema de completez en L, cualquier tautologa es teorema de L, es decir, su o demostraci n se sigue de los axiomas (A1)-(A4) y (MP). Como cualquier teora de primer orden o contiene estos axiomas y la regla de inferencia (MP), entonces puede probar cualquier tautologa.

Siguiendo la idea de la secci n 1.4, damos la siguiente denici n en relaci n con la capacidad o o o de una teora de primer orden para no caer en contradicciones. o 2.6 Denici n. Una teora de primer orden K en el lenguaje L es inconsistente si existe una f rmula o C en K tal que K C y K C. De lo contario, decimos que la teora es consistente. 2.7 Corolario. Si K es una teora inconsistente en el lenguaje L, entonces puede probar cualquier f rmula del lenguaje L. o Justicaci n. Si K es una teora de primer orden inconsistente, existe una f rmula C tal que K C o o y K C. Dada una f rmula arbitraria D en el lenguaje L, veamos que K D seg n la siguiente o u demostraci n en K: o 1. 2. 3. 4. 5. C C C (C D) CD D K C K C Tautologa 2,3,(MP) 1,4,(MP).

Del corolario anterior se deduce que una teora de primer orden es consistente si existe una f rmula de su lenguaje que no pueda demostrar. El hecho anterior permite concluir el siguiente resulo tado pero, debido a los conocimientos avanzados que requiere su justicaci n, no lo demostraremos o en este texto. 2.8 Corolario. El c lculo de predicados en L es consistente. a Desde ahora, jamos una teora de primer orden K arbitraria en el lenguaje L. Los resultados que probaremos a continuaci n son f rmulas l gicamente v lidas. Las letras del tipo B, C, etc. o o o a denotan f rmulas de K y letras como t, r, s, etc. denotan t rminos de K. o e K.1 Lema. (a) K (x B) B. 41

(b) Si t es un t rmino libre para x en B(x), entonces K B(t) x B(x). e (c) K B x B. Demostraci n. (a) Destaquemos la variable x en B, de modo que B(x) es B o 1. (x B(x)) B(x) (A5) aplicado a x, el cual es libre para x en B(x) 1. (x B) B Notaci n B(x) B. o (b) 1. 2. 3. 4. 4. (x (B(x))) B(t) B(t) x (B(x)) B(t) B(t) B(t) x (B(x)) B(t) x B(x) (A5), pues t es libre para x en B(x) y, por lo tanto, en B(x) 1, de L (contrarrecproco) de L (doble negaci n) o 2, 3, de L (transitividad) Def. de .

(c) Destaquemos la variable x en B, de modo que B(x) es B 1. B(x) x B(x) (b) aplicado a x, el cual es libre para x en B(x) 1. B x B Notaci n B(x) B. o

El siguiente Lema est marcado con * debido a que su uso involucra una generalizaci n en x. a o Este hecho se tendr en cuenta en la secci n 2.3. a o K.2 Lema*. (a) B C K (x B) (x C). (b) B C K (x B) (x C). Demostraci n. (a) o 1. 2. 3. 4. 5. 6. (b) 1. 2. 3. 4. 4. BC C B (x (C)) (x (B)) (x (B)) (x (C)) (x B) x C 42 Hip. 1, contrarrecproco 2,(a) 3, contrarrecproco Def. de . BC (x B) B (x B) C x ((x B) C) [x ((x B) C)] [(x B) (x C)] (x B) (x C) Hip. K.1 1,2, transitividad 1,(GEN) (A6), x no es libre en x B 4,5,(MP). (c) B C K (x B) (x C). (d) B C K (x B) (x C).

(c) 1. 2. 3. 4. 5. 6. BC BC CB (x B) (x C) (x C) (x B) (x B) (x C) Hip. 1, de L 1, de L 2,(a) 3,(a) 4,5, de L.

(d) Prueba similar a (c), pero usando (b) en vez de (a).

El resultado anterior, junto con el Lema L.16, justica que en una teora de primer orden se puedan reemplazar f rmulas equivalentes en una demostraci n, lo cual hace que el razonamiento o o mediante equivalencias sea permitido. Ver el Apendice II para una justicaci n de este hecho. o

K.3 Lema. (a) K ((x B)) x (B).

(b) K ((x B)) x (B).

Demostraci n. En esta prueba razonamos mediante equivalencias. o (a) (x B) (x (B)) Def. de x (B) doble negaci n. o (b) x (B) x (B) Def. de (x B) doble negaci n y sustituci n (K.2). o o Hemos probado K (x (B)) (x B). Por la conmutatividad de (probada en L) se sigue el resultado.

Para nalizar la secci n, damos ejemplos de malas aplicaciones de los axiomas (A5) y (A6) en o donde no se tienen en cuenta sus restricciones. 2.9 Ejemplo. (a) x z ((x = z)) es un teorema de la aritm tica de Peano S. Al aplicar (A5) con e el t rmino z, se obtiene (x z ((x = z))) z ((z = z)) y, por (MP), conclumos que e z ((z = z)) es un teorema de la aritm tica de Peano, lo cual es falso (siempre que S sea e consistente). Dicha inconsistencia se sigue de una mala aplicaci n de (A5), pues z no es libre o para x en z ((x = z)) ya que, al sustituir z por x, se obtiene una nueva variable ligada. 43

(b) De (A6) (mal aplicado) se sigue que (x (x = 0 x + x = x)) (x = 0 x (x + x = x)) es un teorema de S. Como el antecedente de dicha implicaci n es teorema de S, entonces x = o 0 x (x + x = x) es teorema de la misma teora. Al generalizar dicha f rmula obtenemos o x (x = 0 x (x + x = x)), si aplicamos (A5) con 0 tenemos 0 = 0 x (x + x = x) y, por (MP), se sigue x (x + x = x). Luego, si aplicamos (A5) con el t rmino 1, obtenemos e 1 + 1 = 1, es decir, 2 = 1, lo cual es falso en la aritm tica de Peano. Dicha inconsistencia se e sigue de aplicar (A6) a la implicaci n x = 0 x+x = x en donde x es libre en el antecedente. o
Probar los siguientes ejercicios en la Teora K. No es permitido utilizar resultados de las secciones pos teriores. 2.5 Ejercicio. (a) K (x B) x B. (b) Si x no es libre en C, entonces K (x (B C)) ((x B) C). (c) K (x B) (x (B)). 2.6 Ejercicio. (a) K (x B) x (B C). (a) K (x B) B. (b) K (x B) B. (c) Proporcione ejemplos donde x sea libre en B y las equivalencias anteriores sean falsas.

2.8 Ejercicio. Decimos que las f rmulas B(x) y o B(y) son similares si ambas tienen la misma estruc(c) K x (B (C D)) x (B (C D)). tura y se diferencian solo que en donde aparece x libre en B(x), aparece y libre en B(y), y viceversa. Si (d) K (x (B C)) x (B C). B(x), B(y) son similares, entonces (e) K [y1 yn B] B Sugerencia: Proceder (a) K (x B(x)) (y B(y)). por inducci n sobre el n mero de variables. o u (b) K (x C) x (B C). 2.7 Ejercicio. Sea B una f rmula donde x no es libre. (b) K (x B(x)) (y B(y)). o

2.3. M todos de Demostraci n e o


De los resultados de L y de la secci n anterior, cualquier teora de primer orden cuenta con las o siguientes t cnicas de demostraci n: e o Razonamiento por equivalencias. Debido a L.16 y K.2. Disyunci n de casos. B C, B C, B D K D (el cual es un resultado de L). o Sin embargo, el teorema de la deducci n y reducci n al absurdo no se heredan de L a K debido o o a que el lenguaje de K es m s complejo. Por lo tanto, ambos m todos de demostraci n deben refora e o mularse para una teora de primer orden, lo cual se logra salvo cierta restricci n respecto al uso de o 44

la generalizaci n (GEN). o En esta secci n proponemos los siguientes m todos de demostraci n: o e o 1. Teorema de la Deducci n. o 2. Reducci n al absurdo. o 3. M todo de escogencia (m s que un m todo de demostraci n, es una t cnica que justica ciertos e a e o e pasos demostrativos). 3.1 Teorema (de la Deducci n para una teora de primer orden.). Sea un conjunto de f rmulas o o (hip tesis) de K, B y C f rmulas de K. Si , B K C y en la prueba de esto no se utiliza (GEN) o o sobre variables libres de B, entonces K B C. Justicaci n. Ver Apendice II. o La restricci n dada en este Teorema de la Deducci n se debe a que, al tomar B como hip tesis, o o o sus variables libres quedan jas y, por lo tanto, no es l gico generalizar sobre estas para probar o C. Esta restricci n no est tan presente en la pr ctica debido a que la experiencia e intuici n del o a a o matem tico hace que, a la hora de demostrar, nunca generalice variables libres que est n en una a a hip tesis. A continuaci n, ofrecemos una mala aplicaci n del Teorema de la Deducci n en la cual o o o o se viola su restricci n. o 3.2 Ejemplo. Consideremos la siguiente demostraci n en S. o 1. x = 0 Hip. 2. x (x = 0) 1,(GEN). Hemos probado x = 0 S x (x = 0). Sin tener en cuenta la restricci n, del Teorema de la o Deducci n se sigue S x = 0 x (x = 0), el cual es un resultado que genera inconsisteno cias en S. En efecto, al generalizar, x (x = 0 (x (x = 0))) y, al aplicar (A5) con 0, se sigue 0 = 0 x (x = 0) y, por (MP), x (x = 0) es un teorema de S, lo cual es imposible. Dicha inconsistencia se obtiene de aplicar Teorema de la Deducci n a una prueba donde se genero aliza en la variable libre de una hip tesis (x = 0). La raz n de esto es que, al suponer x = 0 como o o hip tesis, la variable x queda ja y se vuelve contraproducente generalizarla en una prueba donde o se espera aplicar el Teorema de la Deducci n. o 45

3.3 Ejemplo (Aplicaciones del Teorema de la Deducci n). (1) Probemos K.2(a) por medio del Teoo rema de la Deducci n. o 1. 2. 3. 4. 5. 6. BC x B (x B) B B C x C Hip. Hip. K.1 2,3,(MP) 1,4,(MP) 5,(GEN).

Hemos probado B C, x B K x C. En la prueba se utiliz (GEN) sobre la variable x (paso o o o 6) pero, como x no es libre en la hip tesis x B, podemos aplicarle el Teorema de la Deducci n y concluir B C K (x B) x C. Cabe aclarar que no se puede aplicar Teorema de la Deducci n para pasar la hip tesis B C como antecedente ya que es posible que x sea libre en o o B C. (2) Veamos K (x y B) (y x B). 1. 2. 3. 4. 5. 6. 7. x y B (x y B) y B y B (y B) B B x B y x B Hip. K.1 1,2,(MP) K.1 3,4,(MP) 5,(GEN) 6,(GEN).

Hemos probado x y B K y x B y en la prueba utilizamos (GEN) sobre las variables x y y. Como estas no son libres en la hip tesis x y B, por el Teorema de la Deducci n conclumos o o que K (x y B) (y x B). 3.4 Denici n (F rmulas similares). Decimos que las f rmulas B(x) y B(y) son similares si ambas o o o tienen la misma estructura y se diferencian solo que en donde aparece x libre en B(x), aparece y libre en B(y) y viceversa. De un modo m s t cnico, B(x) y B(y) son similares si se cumplen las a e siguientes condiciones (i) y es libre para x en B(x), (ii) y no es libre en B(x) y (iii) B(y) resulta de sustituir y por todas las x libres en B(x). 3.5 Ejemplo. En la aritm tica de Peano: e 46

(1) Consideremos la f rmula B(x) : x + y = 4. Luego, o B(y) : y + y = 4 B(z) : z + y = 4. Las f rmulas B(x) y B(z) son similares, pues corresponde a intercambiar x por z y preserva o la idea de que, al sumarse con y, resulta 4. Sin embargo, B(x) y B(y) no son similares, pues ambas no resultan de intercambiar x por y de una f rmula a otra, pues al cambiar x por y en o B(y) resulta x + x = 4, lo cual no es B(x). Por otra parte, x + x = 4 es similar a B(y). (2) Consideremos la f rmula C(x) : x = 0 z (z = x2 ). Luego, o C(w) : w = 0 z (z = w2 ) C(z) : z = 0 z (z = z 2 ). Las f rmulas C(x) y C(w) son similares, pues corresponden a intercambiar los x libres por w o entre ambas f rmulas. Sin embargo, C(x) y C(z) no son similares, pues en C(z) se da a la o n estructura de la f rmula C(x) (al aparecer una nueva variable ligada). o K.4 Lema. (a) Si x no es libre en B, entonces (i) K (x B) B. (ii) K (x B) B.

(b) (Cambio de variable en un cuanticador) Si B(x) y B(y) son similares, entonces (i) K (x B(x)) y B(y). Demostraci n. (a) o (ii) K (x B(x)) y B(y).

(i) Es claro que K (x B) B por K.1, de modo que resta probar el recpro 1. B Hip. 2. x B 1,(GEN).

co cuando x no es libre en B.

Hemos probado B K x B y en su prueba utilizamos (GEN) sobre x. Como x no es libre en la hip tesis, por Teorema de la Deducci n se sigue K B x B. o o (ii) Si x no es libre en B, es claro que tampoco es libre en B. Luego, 1. 2. 2. 3. 4. (x (B)) B ((x (B))) B (x B) B (B) B (x B) B 47 (i) 1, de L Def. de Doble negaci n o 2,3, transitividad.

(b)

(i) 1. 2. 3. 4. x B(x) (x B(x)) B(y) B(y) y B(y) Hip. (A5), al ser B(x) y B(y) similares, y es libre para x en B(x) 1,2,(MP) 3,(GEN).

Hemos probado x B(x) K y B(y) con una aplicaci n de (GEN) sobre y. Dado que B(x) o y B(y) son similares, y no es libre en B(x) y, por lo tanto, tampoco es libre en x B(x). Luego, por el Teorema de la Deducci n se sigue K (x B(x)) y B(y). El recproco se o demuestra de forma an loga. a (ii) Mediante equivalencias, x B(x) (x (B(x))) Def. de (y (B(y))) (i), como B(x) y B(y) son similares, tambi n lo son sus negaciones e y B(y) Def. de .

3.6 Ejemplo. (1) El Lema K.4(a) indica que los cuanticadores que no ligan variables se pueden eliminar de una f rmula. Por ejemplo, (x (x (x 0 = x))) x (x 0 = x), es decir, el o cuanticador x que no liga variables en la f rmula de la izquierda se puede eliminar gracias a o K.4(a). Por la misma raz n, x (1 + 5 4 = 6) (1 + 5 4 = 6). o Una aplicaci n errada de K.4(a) es x (x = x+x) x = x+x (lo cual es falso en la aritm tica o e de Peano), pues el cuanticador x liga variables y no se puede prescindir de el (se debe a que x es libre en x = x + x). (2) El Lema K.4(b) indica que es permitido cambiar la variable de un cuanticador junto con las variables que liga (siempre que la estructura de la f rmula no se vea afectada). Por ejemplo, de o dicho resultado, (y (y + 0 = 4)) z (z + 0 = 4) (x y (y + x = 0)) w y (y + w = 0). Intuitivamente, cada par de f rmulas asociado por equivalencias tienen el mismo signicado, o lo cual indica que no es importante la variable donde se cuantica una f rmula respecto a su o signicado. Una aplicaci n herrada de K.2(b) es (x y (y + x = 0)) y y (y + y = 0), pues al cambiar o la variable x por y se da a la estructura de la f rmula, lo cual se debe a que y (y + x = 0) y n o y (y + y = 0) no son similares. 48

El m todo de reducci n al absurdo, as como el Teorema de la Deducci n, tiene la restricci n e o o o de que en la prueba de la contradicci n no se aplique generalizaci n sobre variables libres de la o o hip tesis que se toma para el absurdo. Del mismo modo, dicha generalizaci n no es permitida o o porque las variables libres en una hip tesis quedan jas. o 3.7 Teorema (Reducci n al Absurdo). Sea un conjunto de f rmulas de K, B una f rmula de K. Si o o o existe una f rmula D tal que , B K D D en cuya prueba no se aplica (GEN) sobre variables o libres de B, entonces K B. Justicaci n. Veamos primero que , B K B: o 1. 2. 3. 4. 5. 6. D D D D D (D B) DB B pues , B K D D 1, de L 1, de L tautologa 3,4,(MP) 2,5,(MP).

En la justicaci n del paso 1 se tiene, del enunciado, que no contiene generalizaciones sobre vario ables libres de B. Luego, la prueba (anterior) de , B K B no tiene aplicaciones de generalizaci n sobre variables libres de B y, por lo tanto, de B. Del Teorema de la deducci n se sigue o o K (B B) y, como (B B) B es una tautologa, conclumos que K B. 3.8 Ejemplo. Sea E(x, y) una f rmula cuyas variables libres son las se aladas y tal que y es libre o n para x en E(x, y). Veamos que K x (E(x, y) E(x, y)) por reducci n al absurdo. o 1. 2. 3. 4. 5. x(E(x, y) E(x, x)) x (E(x, y) E(x, x)) [x (E(x, y) E(x, x))] (E(y, y) E(y, y)) E(y, y) E(y, y) E(y, y) E(y, y) Hip. 1, doble negaci n o (A5) 2,3,(MP) tautologa (B B) (B B).

Hemos probado x (E(x, y) E(x, x)) K E(y, y) E(y, y) sin utilizar (GEN). Luego, por Reducci n al Absurdo, se sigue K x (E(x, y) E(x, y)). o El resultado anterior formaliza dos paradojas conocidas en matem ticas. a (1) La paradoja del barbero. Considere un pueblo donde hay un barbero cuyo criterio de trabajo es el siguiente: el barbero presta su servicio precisamente a las personas que no se afeitan a s mismas. La pregunta es entonces, qui n afeita al barbero? Si el barbero se afeita a s mismo, e seg n su criterio de trabajo entonces no se afeitara a s mismo. Esta inconsistencia indica, por u 49

lo tanto, que el barbero no se afeita a s mismo, pero, bajo su criterio, entonces se afeita a s mismo, lo cual es, de nuevo, una inconsistencia. Esta paradoja en el lenguaje se puede formalizar de esta forma: considere E(x, y) :y afeita a x. Si llamamos y al barbero, su criterio de trabajo es x (E(x, y) E(x, x)), lo cual vimos que es falso para el c lculo de predicados. Por lo tanto, no puede existir un barbero en el pueblo a que pueda acomodarse a dicho criterio de trabajo. (2) La paradoja de Russell. En teora de conjuntos, considere el conjunto y = {x / x x} (x y / / denota (x y)). Esto signica que y es el conjunto de objetos que no se pertenecen a s mis mos. En este caso nos preguntamos, y y o y y? Si y y se sigue, mediante la denici n / o de y, que y no se pertenece a s mismo, es decir, y y, lo cual es una inconsistencia. Por lo / tanto, y y, lo cual a su vez signica que y se pertenece a s mismo, es decir, y y, lo cual es / contradictorio. Aparentemente, lo anterior reeja una contradicci n en la teora de conjuntos, pero no es as. o En realidad, el razonamiento anterior permite concluir que no se puede denir el conjunto {x / x x} (en el captulo 3 trataremos este problema en detalle). Una raz n para esto es / o que y = {x / x x} signica que x (x y x x) y luego, si denotamos E(x, y) : x y, / / lo anterior se traduce en x (E(x, y) E(x, x)), lo cual es falso para el c lculo de predicados. a A continuaci n, introducimos el m todo de escogencia para teoras de primer orden mediante o e un ejemplo que deje comprender su intuici n. o 3.9 Ejemplo. Veamos que x (B C), x B K x C. En la siguiente demostraci n, encontramos o un paso que intuitivamente es claro pero que a n no corresponde a las propiedades que tenemos u para el c lculo de predicados. Destacaremos la variable x en todas las f rmulas. a o 1. 2. 3. 4. 5. 6. 7. x (B(x) C(x)) x B(x) B(c) B(c) C(c) C(c) C(c) x C(x) x C(x) Hip. Hip. de 2, como existe un objeto que cumple B(x), llamamos c a dicho objeto 1,(A5),(MP) 3,4,(MP) K.1(b) 5,6,(MP).

Notese que para el paso 3 no tenemos ning n resultado que lo justique, aunque intuitivamente dice u algo que es claro para el signicado del cuanticador : decir que existe un objeto que satisface cierta propiedad debe permitir hacer un razonamiento con dicho objeto. Para que este tipo de proceder sea v lido en el c lculo de predicados, debemos proponer un resultado que lo justique. a a 50

Esto es lo que vamos a denir precisamente como el m todo de escogencia, pues se est escogiendo e a un objeto que existe y que satisface una propiedad. 3.10 Denici n (Regla C y M todo de Escogencia). Una aplicaci n de Regla C en una demostraci n o e o o consiste en pasar, de una f rmula del tipo x B(x) a B(c). Una prueba por m todo de escogencia es o e una demostraci n que contiene regla C y tal que se satisfacen las siguientes condiciones: o (1) Al aplicar regla C, el objeto c es, t cnicamente, una nueva constante que no gura en el lenguaje e de la teora. (2) Despu s de aplicar regla C a x B(x), no se puede generalizar sobre variables libres de x B(x) e en lo que sigue de la prueba. (3) Regla C se puede aplicar nitas veces en una demostraci n. Sin embargo, en cada aplicaci n no o o se puede repetir la constante escogida. Es decir, si x B(x) y y C(y) aparecen en una prueba, al aplicar regla C a la primera f rmula se sigue B(c) donde c es una constante que no est en o a el lenguaje de la teora. Luego, si aplicamos regla C a y C(y) se sigue C(d) donde d es una constante que no est en el lenguaje de la teora y no es c (aunque, en algunos casos, podra a probarse c = d). No es apropiado aplicar regla C y concluir C(c), pues se estara repitiendo la escogencia de c cuando ya se tom para x B(x). Intuitivamente, esto se debe a que el objeto o que satisface B(x) no necesariamente es el mismo que satisface C(x). (4) Los axiomas y reglas de inferencia de la teora se pueden aplicar para f rmulas que contienen o constantes que aparecen por regla C. (5) La conclusi n de una demostraci n donde se utiliza regla C no debe contener las constantes o o generadas por su aplicaci n. Esto se debe a que dichas constantes no est n en el lenguaje de la o a teora. 3.11 Teorema (M todo de Escogencia). Sea un conjunto de hip tesis y B una f rmula. Si a e o o partir de se demuestra B con aplicaciones de Regla C tal que se cumplan las condiciones (1)-(5), entonces K B. Justicaci n. Supongamos primero que prueba a B donde s lo hay una aplicaci n de regla C o o o que cumple (1)-(5) del m todo de escogencia. Sea z D(z) la f rmula a la cual se le aplica regla e o C en dicha prueba, de modo que en alg n paso de la prueba se tiene D(c). Lo anterior reeja los u siguientes hechos: 51

(i) K z D(z), pues la f rmula a la que se le aplica regla C debe ser demostrable. o (ii) Si en vez de considerar la regla C se justica el paso D(c) como una nueva hip tesis, obteno emos , D(c) K B.3 En la demostraci n para , D(c) K B (en (ii)) podemos cambiar todas las c por una nueva variable o w que no aparezca en ninguna f rmula de la demostraci n. Con ese cambio, se sigue , D(w) K B. o o Por la condici n (5) del m todo de escogencia la f rmula B permanece intacta, pues no contiene o e o niguna c. De esto tambi n se deduce que w no es libre en B. e Seg n la condici n (2) del m todo de escogencia, en la prueba de B no se aplica generalizaci n u o e o sobre variables libres de z D(z) y, luego, tampoco hay generalizaci n sobre variables libres de o D(w) en la prueba de , D(w) K B. Por lo tanto, por el Teorema de la Deducci n se sigue que o K D(w) B. La siguiente demostraci n justica entonces que K B: o 1. 2. 3. 4. 5. 6. D(w) B w (D(w) B) (w D(w)) B z D(z) w D(w) B pues K D(w) B 1,(GEN) 2, Ejercicio 2.5(b), w no es libre en B, (MP) (i) 4,K.4(b), D(z) y D(w) son similares 3,5,(MP).

Mediante un argumento inductivo, supongamos que una prueba es v lida cuando contiene n aplicaa ciones de regla C que cumplen (1)-(5), de donde basta justicar que una prueba con n + 1 aplicaciones de regla C que cumplen (1)-(5) tambi n es v lida. En efecto, si prueba a B mediante n + 1 e a aplicaciones de regla C, sea zn+1 Dn+1 (zn+1 ) la n + 1- sima f rmula a la cual se le aplica regla C e o en la prueba, de donde se genera Dn+1 (cn+1 ) donde cn+1 es una nueva constante. De forma an loga a al caso de una sola aplicaci n de regla C, al cambiar todos los cn+1 de los pasos de la demostraci n o o por una variable w que no gure en toda la prueba, se obtiene que de , D(w) se prueba B mediante n aplicaciones de regla C (las cuales se conservan por la condici n (3)). Por la hip tesis, se tiene o o una prueba v lida y por tanto , D(w) K B. Luego, siguiendo las mismas lneas de la prueba del a caso de una sola regla C, se concluye K B. 3.12 Ejemplo. (1) En el Ejemplo 3.9 el paso 3. se justica por Regla C donde c es una nueva constante que no est en el lenguaje de la teora. Luego, como en esta prueba se cumplen las a
3 Esto es un abuso de la notaci n, pues D(c) no se puede considerar como hip tesis ya que su escritura supera el o o lenguaje de la teora K. En un sentido estricto, debe considerarse K una teora de primer orden cuyo lenguaje es el de K m s la constante c y cuyos axiomas son los de K permitidos para f rmulas en el lenguaje extendido. a o

52

condiciones (1)-(5) para el m todo de escogencia, conclumos que x (B C), x B K x C. e Debido a que en dicha prueba no se utiliza (GEN), al aplicar Teorema de la Deducci n dos o veces conclumos K (x (B C)) ((x B) x C). (2) Veamos que K (x y B) y x B. Destaquemos las variables x y y en B. 1. 2. 3. 4. 5. 6. 7. x y B(x, y) y B(c, y) B(c, d) B(c, d) x B(x, d) x B(x, d) x B(x, d) y x B(x, y) y x B(x, y) Hip. 1, Regla C, c nueva constante 2, Regla C, d nueva constante (no puede escogerse c otra vez) K.1(b) 3,4,(MP) K.1(b) 5,6,(MP).

Como el uso de la regla C es correcto en esta prueba, se sigue x y B K y x B. Luego, como en la prueba no se us (GEN), por Teorema de la Deducci n conclumos K (x y B) y x B. o o (3) (Mala aplicaci n de regla C donde se viola la condici n (2)) La f rmula (x y B) y x B no o o o es l gicamente v lida. En la aritm tica de Peano, consideremos B : x < y, de donde la f rmula o a e o anterior se traduce en (x y (x < y)) y x (x < y). El antecedente dice que para cualquier n mero existe otro mayor que el, el cual es verdad en S, pero el consecuente es falso, pues dice u existe un n mero m s grande que todos. Por lo tanto, dicha implicaci n es falsa. u a o Sin embargo, un mal uso de la regla C puede generar una demostraci n de lo anterior: o 1. 2. 3. 4. 5. 6. x y B(x, y) y B(x, y) B(x, c) x B(x, c) (x B(x, c)) y x B(x, y) y x B(x, y) Hip. 1,K.1(a),(MP) 2, Regla C, c nueva constante 3,(GEN) K.1(b) 4,5,(MP).

En el paso 4 se utiliza una generalizaci n sobre x, variable que puede ser libre en la f rmula o o del paso 2 (a quien se le aplica regla C). Esto viola la condici n (2) del m todo de escogencia o e y, por lo tanto, la anterior no es una demostraci n v lida. o a (4) (Mala aplicaci n de regla C donde se viola la condici n (3)) ((x B) (x C)) x (B C) no o o es l gicamente v lida. En la aritm tica de Peano, consideremos B : x es par y C : x es o a e impar. El antecedente de la f rmula establece que existe un n mero par y existe un n mero o u u impar, lo cual es cierto en la aritm tica, pero el consecuente existe un n mero par e impares e u falso. En este caso, ((x B) (C)) x (B C) es falso en la aritm tica. e 53

Un mal uso de la regla C puede generar una prueba de lo anterior: 1. 2. 3. 4. 5. 6. 7. (x B(x)) (x C(x)) x B(x) x C(x) B(c) C(c) B(c) C(c) x (B(x) C(x)) Hip. 1, de L 1, de L 2, Regla C, c nueva constante 3, Regla C 4y5 6,K.1(b),(MP).

Notemos que en el paso 5 se aplica regla C por segunda vez, de modo que, seg n (3) del m todo u e de escogencia, debe tomarse otra constante que no sea c, lo cual no se tuvo en cuenta. Por lo tanto, la prueba anterior no es v lida. a K.5 Lema. (a) K (x (B C)) ((x B) (x C)). (b) K (x (B C)) ((x B) (x C)). Demostraci n. (a) Probemos cada implicaci n de la equivalencia. o o 1. 2. 3. 4. 5. 6. 7. x (B C) BC B C x B x C (x B) (x C) Hip. 1,K.1,(MP) de 2 de 2 3,(GEN) 4,(GEN) 5 y 6.

Hemos probado x (B C) K (x B) (x C) con generalizaci n sobre x. Como x no es lio bre en la hip tesis x (B C), por Teorema de la Deducci n se sigue . Veamos ahora el o o recproco. 1. 2. 3. 4. 5. 6. 7. (x B) (x C) x B x C B C BC x (B C) Hip. de 1 de 1 2,K.1,(MP) 3,K.1,(MP) 4y5 6,(GEN).

Hemos probado (x B) (x C) K x (B C) con una generalizaci n sobre x pero, como x no o es libre en (x B) (x C), por el Teorema de la Deducci n se sigue . o 54

(b) Damos dos pruebas de este hecho, la primera por equivalencias: x (B C) (x ((B C))) (x (B C)) ((x (B)) (x (C))) ((x (B))) (x (C)) (x B) (x C) Def. de Ley DMorgan (a) Ley DMorgan Def. de .

La segunda prueba consiste en probar cada implicaci n sin usar (a) ni la denici n de . o o 1. 2. 3. 4. 5. 6. 7. 8. 9. x (B(x) C(x)) B(c) C(c) B(c) x B(x) (x B(x)) ((x B(x)) (x C(x))) B(c) ((x B(x)) (x C(x))) C(c) x C(x) (x C(x)) ((x B(x)) (x C(x))) C(c) ((x B(x)) (x C(x))) (x B(x)) (x C(x)) Hip. 1, Regla C, c nueva constante K.1(b) de L 3,4, transitividad K.1(b) de L 6,7, transitividad 2,5,8, disy. de casos.

Como en esta prueba no se us generalizaci n, del Teorema de la Deducci n se sigue . o o o Veamos el recproco: 1. 2. 3. 4. 5. B (B C) (x B) x (B C) C (B C) (x C) x (B C) ((x B) (x C)) x (B C) de L 1,K.2 de L 3,K.2 2,4, disy. de casos.

K.6 Lema. (a) K (x (B C)) ((x B) (x C)). (b) K ((x B) (x C)) (x (B C)) En el Ejemplo 3.12(4) vimos que el recproco de (a) no es l gicamente v lido. Lo mismo o a sucede con el recproco de (b) y el mismo ejemplo sirve. Sea B : x es pary C : x es impar, de donde x (B C) es cierta en la aritm tica (todo n mero es par o impar) pero (x B) (x C) es e u falsa (todos los n meros son pares o todos los n meros son impares). Por lo tanto, la implicaci n u u o (x (B C)) ((x B) (x C)) es falsa en S. K.7 Lema. Si x no es libre en B entonces

55

(a) K (x (B C)) (B x C). (b) K (x (B C)) (B x C).

(c) K (x (B C)) (B x C). (d) K (x (B C)) (B x C).

Demostraci n. (a) Probemos las dos implicaciones. o 1. 2. 3. 4. x (B C) x ((B) C) (B) x C B x C Hip. tautologa (B C) ((B) C) 2,(A6) (x no es libre en B),(MP) tautologa (B C) ((B) C).

Como no se us generalizaci n, del Teorema de la Deducci n se sigue . Veamos el o o o recproco: 1. B x C Hip. 2. (x B) x C K.4(a), x no es libre en B 3. x (B C) 2,K.6,(MP). Como no se us generalizaci n, del Teorema de la Deducci n se sigue . o o o (d) Mediante equivalencias: x (B C) (x B) (x C) K.5 B (x C) K.4(a), x no es libre en B

K.8 Lema. (a) K (x y B) y x B. (b) K (x y B) y x B. (c) K (x y B) y x B. Demostraci n. (a) La prueba del Ejemplo 3.3(2) justica ambas implicaciones de la equivalencia. o (b) Directo del Ejemplo 3.12(2) (el recproco se prueba de forma an loga). a (c) 1. 2. 3. 4. 5. x y B(x, y) y B(c, y) B(c, y) x B(x, y) y x B(x, y) Hip. 1, Regla C, c nueva constante 2,K.1,(MP) 3,K.1(b),(MP) 4,(GEN).

Hemos probado x y B K y x B mediante m todo de escogencia con generalizaci n sobre y, e o la cual es v lida porque y no es libre en la f rmula que se aplica regla C (x y B). Luego, como a o y no es libre en la hip tesis, por el Teorema de la Deducci n se sigue el resultado. o o

56

En el Ejemplo 3.12(3) vimos que el recproco de (c) no es l gicamente v lido. Otro ejemplo que o a verica esto es con la f rmula B(x, y) :la llave x abre la puerta y. (c) signica que si existe una o llave que abre todas las puertas, entonces toda puerta tiene una llave que la abre, pero su recproco dice si toda puerta tiene una llave que la abre, entonces existe una llave que abre todas las puertas, lo cual puede ser falso en vista de que no a todas las puertas las abre la misma llave.
2.9 Ejercicio. Probar los siguientes enunciados. (a) Si x no es libre en B, entonces (i) K (x (B C)) (B x C). (ii) K (x (B C)) (B x C). (b) Si x no es libre en C, entonces (i) K (x (B C)) ((x B) C). (ii) K (x (B C)) ((x B) C). 2.13 Ejercicio. Demuestre que las siguientes armaciones son teoremas de K. (a) [(x B) x C] x (B C). (b) (x (B C)) ((x B) x C). (c) (x (B C)) ((x B) x C). (d) (x (B C)) ((x C) x B). (e) y (B y B).

2.10 Ejercicio. Indique por qu la siguiente prueba (f) ((x B) C) ((x B) x C). e no es v lida en K. a (g) [(x (B (C D))) x (B C)] x (B D). 1. x (B(x) C(x)) Hip. (h) (x x B) x B. 2. x B(x) Hip. 3. B(d) C(d) 1, Regla C (i) (x ((x B) C)) ((x B) (x C)). 4. B(d) 2, Regla C (j) (x ((x B) C)) ((x B) (x C)). 5. C(d) 3,4,(MP) 6. x C(x) 5,K.1(b),(MP). (k) ( (B C)) (( B) ( C)).
x x x

Adem s, de un ejemplo para vericar que (l) ((x B) x C) x (B C). a o (x (B C)) ((x B) x C) no es l gicamente 2.14 Ejercicio. Si x no es libre en C y y no es libre v lida. a en B, pruebe que 2.11 Ejercicio. (a) Probar el Lema K.6. (a) K (x y (B C)) ((x B) y C). (b) Probar (b) y (c) del Lema K.7. (b) K (x y (B C)) ((x B) y C). 2.12 Ejercicio. Sea E(x, y) una f rmula cuyas vario ables libres son las se aladas y tal que sustituciones (c) K (x y (B C)) ((x B) y C). n de x o y por x, y o z son permitidas. Demostrar que 2.15 Ejercicio. Sea un conjunto de hip tesis. o (a) K (x y E(x, y)) x E(x, x). (b) K [x y (E(x, y) E(y, x))] x E(x, x). (c) K x (E(x, x) y E(x, y)). (d) K

(a) Si B es una sentencia y C es una f rmula tal que o , B K C, entonces K B C. (b) Si , B, C K D D en cuya prueba no se utiliza (GEN) sobre variables libre de B y de C, entonces K B C. 2.16 Ejercicio. Sea C una sentencia tal que C no se puede demostrar en K. Justique que (a) K es consistente.

x y (E(x, y) E(y, x))

x y z ((E(x, y) E(y, z)) E(x, z)) x y (E(x, y) E(x, x)). (e) K y x (E(x, y) E(x, x)).

(f) Relacionar el inciso anterior con la paradoja del (b) La teora que resulta de a adir C a los axiomas n barbero y la paradoja de Russell. de K es consistente.

57

2.4. Cuanticadores Tpicos


A la hora de formular armaciones en matem ticas, muchas veces se quiere expresar una a propiedad que cumplen todos o alg n objeto de un conjunto determinado. De este modo, al utilizar u un cuanticador, este queda restringido a dicho conjunto, de modo que vara la forma de expresar las f rmulas. Para estos nes, proponemos la siguiente notaci n. o o 4.1 Denici n (Cuanticadores tpicos o acotados). Dado B y C denimos las siguientes f rmulas: o o
x B x B

C es x (B C). C es x C . B los llamamos cuanticadores tpicos o acotados. Su

A los cuanticadores del tipo

x B

x B

funci n es expresar, intuitivamente, las siguientes armaciones o


x B x B

C : Todos los objetos que satisfacen B tambi n cumplen C. e C : Existe un objeto que satisface B tal que cumple C.

La denici n del cuanticador existencial acotado surge de forma an loga a como se dene o a respecto a . En la pr ctica es m s com n utilizar la siguiente equivalencia para dicho cuanticador, a a u la cual da sentido a su signicado intuitivo. K.9 Lema. K Demostraci n. o
x B

C x (B C).
x B

C x C B (x (B C)) x ((B C)) x (B C) x (B C)

Def. de x B Def. de x B K.3 Negaci n de o Doble negaci n. o

4.2 Ejemplo. Los siguientes ejemplos (excepto el primero) corresponden a la teora ZF donde toma lugar la matem tica b sica. Fijamos la siguiente notaci n a a o xU B es xU B es
x H(x) x xU x xU

B. B.

(1) (Ejemplo intuitivo) Consideremos H(x) : x es humano, M (x) : x es mortal y A(x) : x es un animal. La armaci n o M (x) signica todos los seres humanos son mortales,
x A(x)

lo cual expresa lo mismo que x (H(x) M (x)).

H(x) signica alg n animal es huu

mano o, lo que es lo mismo, x (A(x) H(x)) (seg n K.9). u 58

(2) xA (x B) signica que todos los elementos de A est n en B lo cual signica que A B. a Seg n la denici n de cuanticadores acotados, la f rmula anterior es x (x A x B). u o o (3)
z zB

x (x z)) signica que existe un subconjunto de B que no tiene elementos lo cual /

equivale a B. De K.9, la f rmula quivale a z (z B x (x z)). o / (4) nZ kZ (n + (n + 1) = 2k + 1) signica que la suma de un entero y su sucesor es impar, lo cual se expresa con cuanticadores acotados. Por denici n de cuanticadores acotados y el o Lema K.9, esta f rmula equivale a n (n Z k (k Z n + (n + 1) = 2k + 1)). o Las propiedades que cumplen las f rmulas con cuanticadores acotados son muy similares a las o que cumplen con cuanticadores no acotados (x y x ). En lo que resta de la secci n, vamos a dar o las versiones de los resultados de las dos secciones anteriores para cuanticadores acotados. K.10 Lema (Relativo a (A5) y K.1). Sea t un t rmino libre para x en B y en C. e (a) K B(t) (b) K B
x B x B(x)

C(x) C(t).

(c) K (B(t) C(t)) (d) K (B C)


x B

x B(x)

C(x).

C C.

C.

Preservamos la notaci n de colocar un asterisco (*) a un resultado (e incluso ejercicio) que o involucre generalizaci n a la hora de su aplicaci n. o o K.11 Lema* (Relativo a K.2). Los siguientes enunciados justican la sustituci n de f rmulas equivo o alentes dentro de cuanticadores tpicos4 . (a) B (C D) K (b) B (C D) K (c) B (C D) K (d) B (C D) K
x B x B x B x B

C C C C

x B x B x B x B

D. D. D. D.

(e) C D K (f) C D K (g) C D K (h) C D K

x B x B x B x B

C C C C

x B x B x B x B

D. D. D. D.

Demostraci n. (a) Es f cil ver que B (C D) L (B C) (B D). Luego, o a 1. B (C D) 2. (B C) (B D) 3. (x (B C)) x (B D) 3. x C x D B B


4

Hip. 1, resultado de L 2,K.2 Def. de x . B

Ver tambi n el Ejercicio 2.19. e

59

(c) 1. 2. 3. 4. 5. 6. 7. 8. (f) 1. C D Hip. 2. B (C D) 1, de L x x 3. B C B D 2,(b). B (C D) (C D) (C D) (C D) (D C) B (C D) B (D C) x x B C B D x x B D B C x x B C B D Hip. Tautologa Tautologa 1,2,transitividad 1,3,transitividad 4,(a) 5,(a) de 6 y 7.

K.12 Lema (Relativo a K.3). (a) K (b) K


x B

x B

x B

(C).

x B

(C).
x B

Demostraci n. (a) o (b)


x B

C x (C) Def. de x B B x (C) Doble negaci n. o B C x (B C) x ((B C)) x (B C) x (C) B Def. de x B K.3 Negaci n de o K.9.

En matem ticas es muy com n demostrar armaciones del tipo a u nP (n P ), nP mP (n + m P ) y nP (n2

x B

C como, por ejemplo,

P ) donde P = {n Z / kZ (n = 2k)}

(el conjunto de enteros pares). El procedimiento usual para demostrar armaciones de este tipo es suponer B como hip tesis y concluir C, lo cual es garantizado por el siguiente resultado. o 4.3 Proposici n* (Variaci n usual del Teorema de la Deducci n). Sea un conjunto de f rmulas. o o o o Si , B K C y en esta prueba no se utiliza generalizaci n sobre variables libres de B, entonces o K
x B

C.

Justicaci n. Del Teorema de la Deducci n se sigue K B C. Luego, al aplicar (GEN) sobre o o x, obtenemos K x (B C) lo cual es lo mismo que K 60
x B

C.

El Lema K.4 arma que se pueden eliminar, en una f rmula, los cuanticadores que no ligan o variables. En una f rmula del tipo o
x B

C es posible que el cuanticador no ligue variables en C,

pero su eliminaci n no se puede tomar a la ligera debido a que este involucra a B. Sin embargo, es o posible concebir su eliminaci n bajo cierta hip tesis. o o K.13 Lema (Relativo a K.4). Si x no es libre en C, entonces (a) K (x B)
x B

C C .

(b) K (x B)

x B

C C .

Demostraci n. (a) Destaquemos la variable x en la f rmula B. No la destacamos en C ya que x o o no es libre en dicha f rmula. o 1. x B(x) Hip. 2. B(c) 1, Regla C, c nueva contante Probemos (en esta implicaci n no es necesaria la hip tesis 1). o o 3.1. 3.2. 3.3. 3.3. 3. Ahora probemos .
x 4.1. B(x) C x 4.2. B(c) B(x) C C 4.3. C x 4. B(x) C C x 5. B(x) C C

C BC x (B C) x B C C x C B

Hip. 3.1, de L 3.2,(GEN) Def. de x B 3.1-3.3,TmaDed.

No hay problema al aplicar el Teorema de la Deducci n, pues x no es libre en la hip tesis C. o o

Hip. K.10, no hay sustituci n en C ya que x no es libre all o 2,4.1,4.2,(MP) 4.1-4.3,TmaDed. de 3 y 4.

Se ha probado x B K

x B

C C con una aplicaci n de (GEN) sobre x. Como x no es libre o

en x B, del Teorema de la Deducci n se sigue el resultado. o Otra forma de probar el resultado, con la hip tesis 1, es la siguiente o
x B

C x (B C) (x B) C (x B) C C

Def. de x B Ejercicio 2.9, x no es libre en C Def. de 1,Eliminaci n de falsas en una disyunci n. o o


x B

Note que en esta prueba no se usa (GEN), as que la implicaci n K (x B) o es directa del Teorema de la Deducci n. o

C C

61

4.4 Ejemplo. Los siguientes ejemplos tienen lugar en ZF. (a) En la f rmula xZ (n2 1 = 2) el existe no liga variables en n2 1 = 2. Como x (x Z) o es cierto, entonces xZ (n2 1 = 2) n2 1 = 2 por el resultado anterior. (b) En la f rmula o la f rmula o
x x=x

(0 = 1) el cuanticador universal no liga variables en 0 = 1. Sin embargo,


x x=x

x x=x

(0 = 1) 0 = 1 es falsa, pues 0 = 1 es falsa y

(0 = 1) es verdadera

(x = x 0 = 1 es cierta porque tiene antecedente falso, por lo cual x (x = x 0 = 1) por (GEN)). Al observar el Lema K.13 la hip tesis x (x = x) es falsa, por lo cual no se garantiza o la eliminaci n del cuanticador acotado. o K.14 Lema (Relativo a K.5). (a) K (b) K
x B x B x B

(C

D)

x B

x B

D .

(C

D)

x B

D .

Demostraci n. (a) o
x B

(C

D) x (B (C D)) x (B (C D)) x ((B C) (B D)) x ((B C) (B D)) (x (B C)) (x (B D)) x C x D B B

Def. de x B Def. de Ley distributiva Def. de K.5 Def. de x . B

(b)
x B

(C

D) x (B (C D)) x ((B C) (B D)) (x (B C)) (x (B D)) x C x D B B

K.9 Ley distributiva K.5 K.9.

K.15 Lema (Relativo a K.6). (a) K (b) K


x B

x B

(C

D)

x B

x B

D .

x B

x B

(C

D).

El siguiente resultado est en relaci n al Lema K.7. Sin embargo, en algunos casos se requiere a o la misma hip tesis del Lema K.13 por su uso al efectuar la prueba. o K.16 Lema (Relativo a K.7). Sea x una variable que no es libre en C. (a) K
x B

(C

D) C

x B

D . 62

(b) K (x B) (c) K
x B

x B

(C

D) C
x B

x B

D .

(C

D) C
x B

D .
x B

(d) K (x B) Demostraci n. (a) o


x B

(C

D) C

D .

(C

D) x (B (C D)) x (B C D) x (C B D) x (C (B D)) C x (B D) C x D B

Def. de x B Def. de Asociatividad y conmutatividad de Def. de K.7, x no es libre en C Def. de x . B

(d) Tomemos x B como hip tesis y procedamos por equivalencias: o


x B

(C

D) C

x x B C B x B D

D K.14 K.13 e hip tesis. o

Al nal el resultado se justica por el Teorema de la Deducci n. o

K.17 Lema (Relativo a K.8). Sea x una variable no libre en C y y una variable no libre en B. (a) K (b) K (c) K
x B x B x B y C y C y C

D D D

y C y C y C

x B x B x B

D. D. D.

La raz n de la condici n en este Lema es que uno de los cuanticadores acotados no ligue la o o f rmula que est debajo del otro. Si x fuera libre en C entonces en o a estaran ligadas por
x B x B y C

D las x libres en C

, mientras que en

y C

x B

D las x se conservaran libres en C, d ndose a

as una diferencia estructural entre ambas f rmulas. Una situaci n an loga sucede si y es libre en B. o o a Demostraci n. (a) Presentamos dos formas de demostrar este inciso, la primera por doble implio caci n mediante el Teorema de la Deducci n. Debido a que vamos a probar armaciones con o o cuanticadores universales acotados, consideraremos hip tesis para utilizar la Proposici n 4.3. o o 1. x y D Hip. B C 2. C Hip. 3. B Hip. 4. y D 1,3,K.10(c),(MP) C 5. D 2,4,K.10(c),(MP). 63

Hemos probado

x B

y C

D, C, B K D. Como en la prueba no hubo generalizaci n, de la o


x B y C

Proposici n 4.3 se sigue o

D, C K

x B

D, lo cual involucra (GEN) sobre x. Como x


x B x y B C y C D,

no es libre en C, de la aplicaci n del mismo resultado se sigue o cual involucra (GEN) sobre y. x no es libre en la hip tesis o
x B

D K

y C

x B

D lo

pues el cuanticador

liga todas las x. El cuanticador

y C

liga las y que aparecen libres en C y D, pero, como

o y no es libre en B, entonces y tampoco es libre en la hip tesis. Por lo tanto, las generalizaciones en x y y no violan la restricci n para aplicar el Teorema de la Deducci n y concluir o o K
x B y C

D
x B y C

y C

x B

D. El recproco se demuestra de manera an loga. a Def. de x B Def. de y C Ejercicio 2.9, y no es libre en B K.8 Tautologa Ejercicio 2.9, x no es libre en C Def. de x B Def. de y . C

La segunda demostraci n la ejecutamos mediante equivalencias: o D x B y D C x (B y (C D)) x y (B (C D)) y x (B (C D)) y x (C (B D)) y (C x (B D)) y C x D B y x D B C

(c) Procedamos mediante Teorema de la Deducci n y la Proposici n 4.3, pues en el consecuente o o prima un cuanticador universal acotado. Destacamos las variables x y y en las f rmulas pero, o como y no es libre en B y x no es libre en C, no es necesario destacar y en B ni x en C.
y x Hip. 1. B(x) C(y) D(x, y) 2. C(y) Hip. y 3. x B(x) C(y) D(x, y) 1,K.9

4. 5. 6. 7. 8. 9. 10. Hemos probado


x B

y B(c) C(y) D(c, y) B(c) y D(c, y) C(y) D(c, y) B(c) D(c, y) x (B(x) D(x, y)) x B(x) D(x, y) y C

3,Regla C, c nueva constante de 4 de 4 2,6,K.10(c),(MP) de 5 y 7 8,K.1(b),(MP) 9,K.9.


x B y C

D, C K
x B

x B y C

D sin utilizar (GEN). Luego

D K

y C

x B

por Proposici n 4.3, donde surge una aplicaci n de (GEN) sobre y. Como y no es libre en B o o entonces tampoco es libre en la implicaci n. o D por lo cual, por Teorema de la Deducci n, se concluye o

64

2.17 Ejercicio*. Pruebe que C K 2.18 Ejercicio. Demostrar (a) Lema K.10. (b) K (x B) (c) K
x B x B x C x B

x B

C.

(d)

(C D) C libre en C.

x B

x B

D cuando x no es

(e) (a), (b) y (c) del Lema K.17 sin la condici n de o las variables no libres escrita en el enunciado. C . 2.24 Ejercicio. Probar los siguientes enunciados. (a) Si x no es libre en C, entonces (i) K
x B

C B.

2.19 Ejercicio*. Probar (a) (b), (d), (e), (g) y (h) del Lema K.11. (b) B C K (c) B C K (d) B C K (e) B C K
x C x B x B x B x B x C x C x C

(C D) C
x B

x B

D .

D D D D

D. D. D. D.

(ii) K (x B) x B (C D) C (b) Si x no es libre en D, entonces (i) K


x B

D .

(C D)

x B

C D .

x 2.20 Ejercicio. Sea un conjunto de f rmulas. Si o B C D . existe una f rmula D tal que , B, C K D D y o o en esta prueba no se utiliza generalizaci n sobre vari- 2.25 Ejercicio. Demostrar (la aplicaci n de los siguo x ientes resultados involucra (GEN) sobre x, excepto ables libres de B y C, entonces K B C. (a) y (b)): 2.21 Ejercicio. Sea B(x) similar a B(y) y C(x) sim(a) K (x C) x C. B ilar a C(y). Probar:

(ii) K (x B) x B (C D)

(a) K (b) K

x B(x) x B(x)

C(x) C(x)

y B(y) y B(y)

C(y) . C(y) .

(b) K

x B

C x C.
x B

(c) C B K

C x C.
x B

2.22 Ejercicio. Demostrar: (a) (b) del Lema K.13. (b) Lema K.15. (c) (b) y (c) del Lema K.16. (d) (b) del Lema K.17. (e) K (x B)
x B x B

(d) (C) B K (e) B K (f) B K


x B x B

C x C.

C x C. C x C.

2.26 Ejercicio. Si x no es libre en C, pruebe que C . (a) K x (b) K x (c) K x (d) K


y C y C y C y C

D D D

y C y C y C

x D. x D. x D.
y C

2.23 Ejercicio. En cada caso, establezca un contraejemplo para vericar que las siguientes armaciones no son l gicamente v lidas. o a (a) (b) (c)
x B x B x B

x B

C.

x D x

D.

C C cuando x no es libre en C.

x B

(C D) C libre en C.

D cuando x no es

Sugerencia: Tome un B adecuado tal que los cuanticadores con x se puedan cambiar con cuanticadores tpicos con x y B (ver Ejercicio 2.25(e) y (f) para una idea).

65

2.5. Teoras con Igualdad


En esta secci n modelamos el tipo de teoras de primer orden que contienen el signo = de modo o que su uso en la teora corresponde a lo que intuitivamente signica. Dados dos t rminos t y s, la e interpretaci n de t = s denota que t y s representan el mismo objeto y esto permite que se pueo da intercambiar t por s en ecuaciones y f rmulas de forma consistente. Sin embargo, para que el o signo = se comporte de esta forma en una teora de primer orden, debe cumplir ciertos axiomas y propiedades que desarrollamos a continuaci n. o Antes de presentar los axiomas para el signo =, jamos una nueva notaci n. Si B es una f rmula, o o con B(x) se destaca la presencia de la x en B y, si t es un t rmino, B(t) denota la sustituci n de t por e o todos los x libres en B(x). Sin embargo, en esta secci n estamos interesados en hacer sustituciones o de t rminos por variables, pero no que se tengan que sustituir todas las variables libres sino solo e algunas, al gusto de quien escribe la demostraci n. Para este caso, escribimos B(x, x) para destacar o la variable x en B y denotamos por B(x, t) la f rmula que resulta de sustituir t por algunas x libres o (las que se deseen) en B(x, x). 5.1 Ejemplo. (a) Consideremos la f rmula B(x, x) : x3 + x2 + x + 1 = 0. Si queremos sustituir o y por la primera y la ultima x en B(x, x), utilizamos B(x, y) para y 3 + x2 + y + 1 = 0. (b) Sea C(w, w) : w = w + 1. Si tomamos el t rmino 0 y no queremos sustituir 0 por ninguna w en e C(w, w), seg n la notaci n jada C(w, 0) es w = w + 1. u o La nalidad de la notaci n anterior es para formular la armaci n de que objetos iguales o o se pueden sustituir en una f rmula. En la pr ctica, este tipo de sustituciones se realiza seg n la o a u o situaci n, no es necesario sustituir todas las presencias de un objeto de una f rmula por alguno que o sea igual a el. Esto, en t rminos iniciales, se presenta como el principio (A8) para una teora con e igualdad. 5.2 Denici n (Teora con Igualdad). Sea L un lenguaje de primer orden que contiene la letra o predicativa =, K una teora de primer orden en el lenguaje L. Decimos que K es una teora con igualdad si las siguientes armaciones son teoremas de K para cualquier f rmula B: o (A7) x (x = x) (A8) (Sustituci n) x = y (B(x, x) B(x, y)), siempre que las sustituciones de y por x en o B(x, x) no generen nuevas variables ligadas. 66

Como notaci n, escribimos t = s para denotar (t = s). o 5.3 Ejemplo. (a) La aritm tica de Peano S es una teora con igualdad, pues sus axiomas permiten e demostrar (A7) y (A8). Si suponemos x = y en esta teora, seg n (A8) se sigue, en caso de u sustituir y por el primer y tercer x, que x3 + x2 + x + 1 = 0 y 3 + x2 + y + 1 = 0. (b) ZF es una teora con igualdad. En el captulo 3 discutimos este asunto. En adelante, jamos K una teora con igualdad. I.1 Lema. Sean t, s y r t rminos de K. e (a) K t = t. (b) K t = s s = t. (c) K (t = r r = s) t = s. Demostraci n. (a) o 1. x (x = x) (A7) 2. t = t 1,(A5),(MP). (b) Sean u y v variables que no guran en t ni en s (las cuales podemos tomar porque el lenguaje contiene innitas variables). Probemos primero que K u v (u = v v = u). 1. 2. 3. 4. 5. u=v u = v (u = u v = u) u=uv =u u=u v=u Hip. (A8) al sustituir v por la primera u en la f rmula u = u o 1,2,(MP) (a) 3,4,(MP).

Como en la prueba no se utiliz (GEN), K u = v v = u se sigue por el Teorema de la o Deducci n. Luego, al aplicar (GEN) dos veces, se sigue K u v (u = v v = u). Ahora o probemos el enunciado de (b): 1. u v (u = v v = u) ya probado 2. v (t = v v = t) 1,(A5),(MP), como v no aparece en t, la sustituci n no genera o nuevas variables ligadas 3. t = s s = t 2,(A5),(MP), como v no aparece en t, no hay sustituciones de s por v adem s de las se aladas. a n

67

El (A8) solo permite hacer sustituci n de variables mediante una sola implicaci n, pero, de o o un modo m s general, una teora con igualdad permite sustituir cualquier tipo de t rminos iguales y a e genera f rmulas equivalentes, criterio el cual se utiliza todo el tiempo en matem ticas (de una forma o a implcita e intuitiva). I.2 Lema (Criterio de sustituci n para f rmulas). Sean t y s t rmino de K, B(t, t) una f rmula y o o e o B(t, s) la f rmula que resulta de sustituir s por los t deseados en B(t, t), de modo que la sustituci n o o no genere nuevas variables ligadas. Entonces K t = s (B(t, t) B(t, s)). Demostraci n. Considere u y v variables que no guran en t, s ni en B(t, t). Sea B(u, u) la f rmula o o que resulta cambiar todas las u por t en B(t, t). Sea B(u, v) la f rmula que resulta de cambiar todas o las u por t y todas las v por s en B(t, s). Veamos primero que K u v (u = v (B(u, u) B(u, v))). 1. 2. 3. 4. 5. 6. 7. u=v u = v (B(u, u) B(u, v)) B(u, u) B(u, v) v=u v = u (B(u, v) B(u, u)) B(u, v) B(u, u) B(u, u) B(u, v) Hip. (A8) 1,2,(MP) 2,I.1(b),(MP) (A8), al restablecer las u que se cambiaron por v en B(u, u) 4,5,(MP) de 3 y 6.

Del Teorema de la Deducci n y dos veces (GEN) se sigue K u v (u = v (B(u, u) B(u, v))). o Ahora veamos el enunciado de este Lema. 1. u v (u = v (B(u, u) B(u, v))) ya probado 2. v (t = v (B(t, t) B(t, v))) 1,(A5),(MP), como v no aparece en t, la sustituci n no o genera nuevas variables ligadas 3. t = s (B(t, t) B(t, s)) 2,(A5),(MP), como v no aparece en t, no hay sustituciones de s por v adem s de las se aladas. a n

5.4 Ejemplo. (1) En la aritm tica de Peano es claro que 3 2 + 1 = 7. Luego, del Lema I.2 se sigue e que (3 2 + 1) 7 = 49 7 7 = 49 al sustituir 3 2 + 1 por 7, los cuales son t rminos iguales. e (2) En ZF, si A = se sigue x A A x A por el Lema I.2. La sustituci n de t rminos iguales va m s all de la sustituci n en f rmulas. Dentro de un objeto o e a a o o se pueden sustituir t rminos iguales para generar otro objeto igual a el, seg n el siguiente criterio. e u 68

I.3 Lema (Criterio de sustituci n para t rminos). Sean t y s t rminos de K, T (t, t) un t rmino de o e e e K. Si T (t, s) denota el t rmino que resulta de sustituir s por los t deseados en T (t, t), entonces e K t = s T (t, t) = T (t, s). Demostraci n. Denotemos por B(t, t) a T (t, t) = T (t, t) y por B(t, s) a T (t, t) = T (t, s). o 1. 2. 3. 4. 4. 5. 5. t=s t = s (B(t, t) B(t, s)) B(t, t) B(t, s) T (t, t) = T (t, t) B(t, t) B(t, s) T (t, t) = T (t, s) Hip. I.2 1,2,(MP) I.1(a) por notaci n o 3,4,sustituci n de equivalentes o por notaci n. o

Del Teorema de la Deducci n se sigue el resultado. o 5.5 Ejemplo. Veamos en la aritm tica que 3 (5 + 8 9) = 231. e 1) 2) 3) 4) 5) 6) 7) 8 9 = 72 5 + 8 9 = 5 + 72 5 + 72 = 77 5 + 8 9 = 77 3 (5 + 8 9) = 3 77 3 77 = 231 3 (5 + 8 9) = 231 dado por hecho 1,I.3 al sustituir en el t rmino 5 + 8 9 e dado por hecho 2,3,I.1(c),(MP) 4,I.3 al sustituir en el t rmino 3 (5 + 8 9) e dado por hecho 5,6,I.1(c).

En la pr ctica no es usual la estructura anterior para justicar la igualdad en 7. De un modo m s a a agil, se procede como sigue: 3 (5 + 8 9) = 3 (5 + 72) I.3 al sustituir 77 por 8 9 debido a que son iguales = 3 77 I.3 al sustituir 5 + 72 por 77 debido a que son iguales = 231 dado por hecho. Al nal, la igualdad queda justicada por la transitividad de =. Para dar n al captulo, presentamos una notaci n importante en matem ticas dada para teoras o a con igualdad. 5.6 Denici n (Existencia unica). Sea C(x) similar a C(y). Denimos o !x C(x) !x B(x) C(x) como (x C(x)) x y ((C(x) C(y)) x = y) como !x (B(x) C(x)).

Intuitivamente, la primera f rmula signica que existe un unico objeto que cumple C(x), la segunda o que existe un unico objeto que cumple B(x) tal que C(x). ! es el cuanticador de existencia unica, 69

!x B(x)

su cuanticador tpico correspondiente. Una f rmula de existencia unica se divide en dos o

partes: existencia, es x C(x) lo cual denota que alguien cumple la propiedad C(x); unicidad, es x y ((C(x) C(y)) x = y) lo cual denota que no hay m s de un objeto que cumple la propiedad. a Combinando ambas, se tiene que solo un unico objeto satisface la propiedad C(x). Un cuanticador tpico de existencia unica tambi n se divide en existencia y unicidad, como se e ilustra en el siguiente enunciado. I.4 Lema. Si B(x) y C(x) son similares a B(y) y C(y), respectivamente, entonces K !x C(x) B(x) x C(x) B(x)

x B(x)

y ((C(x) C(y)) x = y) . B(y)

Demostraci n. o
!x B(x) !x C(x) !x (B(x) C(x)) Def. de B(x) (x (B(x) C(x))) x y ((B(x) C(x) B(y) C(y)) x = y) Def. de !. x B(x)

De K.9 es claro que x (B(x) C(x)) las unicidades.

C(x), de modo que resta probar la equivalencia entre

x y ((B(x) C(x) B(y) C(y)) x = y) x y ((B(x) B(y) C(x) C(y)) x = y) x y (B(x) (B(y) ((C(x) C(y)) x = y))) x (B(x) y (B(y) ((C(x) C(y)) x = y))) y x B(x) B(y) ((C(x) C(y)) x = y)

tautologa tautologa Ejercicio 2.9 Def. de x . B

Para los ejemplos en Teora de Conjuntos, usamos la notaci n !xU C(x) para o

!x xU

C(x).

5.7 Ejemplo. (a) En el captulo 3 probamos que ZF !y x (x y), es decir, que existe un unico / conjunto que no tiene elementos. Dicho conjunto es el que se dene como el vaco. (b) ZF !zR xR (x + z = x), es decir, el neutro de la suma de n meros reales es unico. Dicho u neutro se conoce como el 0. (c) ZF xQ [x = 0 !yQ (x y = 1)], es decir, todo n mero racional x diferente de 0 tiene un u unico inverso multiplicativo, el cual se conoce como x1 . La forma de probar los enunciados de los dos ejemplos anteriores en ZF es denir el unico objeto que cumple la propiedad (en el primer caso, 0, en el segundo, x1 para cada x Q diferente de cero). El siguiente resultado es una versi n alternativa para expresar la existencia unica de un o objeto respecto a una propiedad, dando prioridad a la existencia del objeto. 70

I.5 Lema. Sean B(x) y C(x) similares a B(y) y C(y), respectivamente. (a) K (!x C(x)) x (C(x) y (C(y) x = y)). (b) K
!x B(x)

C(x)

x B(x)

C(x)

y B(y)

(C(y) y = x) .

Demostraci n. (a) Probemos . La idea de la prueba es encontrar un objeto x que cumpla la o propiedad C(x) y (C(y) y = x). Al interpretar la armaci n, nos damos cuenta que el o objeto que cumple dicha propiedad es aquel unico que cumple C(x). 1. 2. 3. 4. 5. 6. 7. 8. !x C(x) x C(x) x y ((C(x) C(y)) x = y) C(d) y ((C(d) C(y)) d = y) y (C(y) d = y) C(d) y (C(y) d = y) x (C(x) y (C(y) x = y)) Hip. 1, existencia 1, unicidad 3,Regla C, d nueva constante. 3,(A5),(MP) 4,5,eliminaci n de verdades en o 4y6 7,K.1(b),(MP).

Por el Teorema de la Deducci n se sigue . o Para probar , de la hip tesis se desea concluir !x C(x), es decir, existencia y unicidad seg n o u la denici n 5.6. o 1. Existencia: 2. 3. 4. Unicidad: 5.1. 5.2. 5.3. 5.4. 5.5. 5.6. 5.7. 5.8. 5.9. 5.10. 5. 6. 7. x (C(x) y (C(y) x = y)) Hip. C(d) y (C(y) d = y)) C(d) x C(x) C(x) C(y) C(x) C(y) y (C(y) d = y)) C(x) d = x C(y) d = y d=x d=y x=d x=y (C(x) C(y)) x = y x y ((C(x) C(y)) x = y) !x C(x) 1,Regla C, d nueva constante de 2 3,K.1(b),(MP) Hip. de 5.1 de 5.1 de 2. 5.4,(A5),(MP) 5.4,K.1,(MP) 5.2,5.5,(MP) 5.3,5.6,(MP) 5.7,I.1,(MP) 5.9,5.8,I.1,(MP) 5.1-5.10,TmaDed (no hubo (GEN)) (GEN) dos veces 4,6, Def. de !.

Debido a que C(x) y C(y) son similares, x ni y no son libres en la hip tesis 1. Por lo tanto, del o Teorema de la Deducci n se sigue . o 71

(b) Hay dos formas de probar este enunciado, la primera es mediante un razonamiento an logo al a anterior (excepto que se utiliza el Lema I.4 y no la denici n 5.6). La segunda, es utilizar el o resultado anterior y proceder mediante equivalencias, como se ilustra a continuaci n. o
!x B(x) !x Def. de B(x) (a) tautologa K.9 y def. de

C(x) !x (B(x) C(x)) x B(x) C(x) y ((B(y) C(y)) x = y) x B(x) C(x) y (B(y) (C(y) x = y)) y x B(x) C(x) B(y) (C(y) x = y)

x B

5.8 Ejemplo. En ZF se construye un objeto 0 R tal que xR (x + 0 = x). Para probar !zR xR (x + 0 = x) basta ver, seg n el resultado anterior, que u zR (xR (x + z = x)) yR ((xR (x + y = x)) z = y) . El objeto z al que hace referencia el cuanticador zR tiene que ser el unico n mero real que es u neutro aditivo de los n meros reales, el cual es el cero. Por lo tanto, veamos que u (xR (x + 0 = x)) yR ((xR (x + y = x)) 0 = y) La primera f rmula de esta conjunci n es cierta por la construcci n del 0 en los n meros reales, o o o u as que solo basta probar la segunda. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. yR xR (x + y = x) 0R 0+y =0 xR (x + 0 = x) y+0=y 0=0+y 0+y =y+0 0=y+0 0=y Hip. Hip. construcci n del 0 o 2,3,K.10,(MP) Propiedad supuesta probada para 0 1,5,K.10,(MP) 4,I.1,(MP) conmutatividad de la suma en R 7,8,I.1,(MP) 9,6,I.1,(MP).

Por el Teorema de la Deducci n y la Proposici n 4.3 se sigue yR ((xR (x + y = x)) 0 = y). o o Luego, junto con 5 (el cual no depende de la hip tesis 1) se sigue o (x R(x + 0 = x)) yR ((xR (x + y = x)) 0 = y) y por K.1(b) se concluye zR (x R(x + z = x)) yR ((xR (x + y = x)) z = y) . La f rmula anterior equivale a !zR xR (x + z = x) por el Lema I.5. o 72

2.27 Ejercicio. (a) Pruebe I.1(c). (b) Utilice el Lema I.2 para dar una prueba m s directa de (b) y (c) del Lema I.1. a (c) Pruebe K y (x = y). (d) Si y es libre para x en B(x), entonces pruebe que K (B(x) B(y)) x = y. (e) Dados t y s t rminos, pruebe que K t = s s = t. e 2.28 Ejercicio. Sea t un t rmino que no contiene la variable x y que es libre para x en B(x). Demuestre que e (a) K (b) K
x x=t x x=t

B(x) B(t). B(x) B(t).

2.29 Ejercicio (Cambio de Variable). Sea t(x) un t rmino (que depende de la variable x) que no contiene la e variable y y que es libre para y en B(y). Sea T (y) la f rmula x (y = t(x)). Pruebe que o (a) K (b) K
y T (y) y T (y)

B(y) x B(t(x)). B(y) x B(t(x)).

(c) Si t(x) es x, pruebe que los dos resultados anteriores prueban directamente K.4(b). 2.30 Ejercicio (Cambio de Variable para Cuanticadores Acotados). Sea t(x) un t rmino (que depende de la e x variable x) que no contiene la variable y y que es libre para y en B(y). Sea T (y) la f rmula D(x) (y = t(x)). o Demuestre que (a) K (b) K
y T (y) y T (y)

B(y) B(y)

x D(x) x D(x)

B(t(x)). B(t(x)).

2.31 Ejercicio. Pruebe que K x !y (x = y). 2.32 Ejercicio. Sean B(x) y C(x) similares a B(y) y C(y), respectivamente. Demuestre que (a) K (!x C(x)) x y (C(y) x = y). (b) K
!x B(x)

C(x)

x B(x)

y B(y)

(C(y) x = y).

2.33 Ejercicio. Pruebe (a) K (x (C(x) D(x))) ((!x C(x)) !x D(x)). (b) K
x B(x) !x B(x) !x B(x) !x B(x)

(C(x) D(x))

C(x)

D(x) .

(c) K (x (B(x) D(x)))

C(x)

!x D(x)

C(x) .

2.34 Ejercicio. Demostrar que K (!x (B(x) C(x))) (!x B(x)) !x C(x) . Sugerencia: Razone por Teorema de la Deducci n y pruebe primero la unicidad para ambas f rmulas. La existencia depender de o o a una disyunci n de casos. o

73

74

Captulo 3

Nociones Iniciales de la Teora de Conjuntos

En vista del surgimiento de paradojas e imprecisiones en las matem ticas, nace la necesidad a de construir una teora, con un lenguaje, puntos de partida y nociones muy claras, donde todos los razonamientos matem ticos se puedan llevar a cabo. A principio del siglo XX el trabajo de los a matem ticos Ernst Zermelo, Adolf Fraenkel y Thoralf Skolem, dio lugar al la constituci n de la a o Teora de Conjuntos como punto de partida para formalizar la matem tica. Con la formalizaci n a o de la l gica matem tica y los m todos de demostraci n, al estilo de los captulos anteriores, se o a e o consolida la Teora de Conjuntos de Zermelo-Fraenkel ZF donde, desde un lenguaje sencillo y ax iomas muy precisos e intuitivos, se logra construir todos los objetos matem ticos conocidos y probar a sus propiedades. Aunque posteriormente surgieron teoras de conjuntos con aspectos formales m s a complejos, como la teora de Bernais-Newmann-G del y Morse-Kelley, la teora ZF, junto con el o Axioma de Elecci n, se reconoce como el n cleo formal de las matem ticas. o u a En este captulo denimos la teora ZF como teora de primer orden y exponemos sus aspectos iniciales que sirven como punto de partida para la formalizaci n de las nociones intuitivas sobre los o conjuntos.

3.1. Denici n de ZF o
1.1 Denici n. Denimos el lenguaje de ZF como LZF := {=, }, es decir, un lenguaje de primer o orden con las letras predicativas = y , sin constantes ni letras funcionales. Una f rmula de ZF es o una f rmula del lenguaje LZF . La Teora de Conjuntos de Zermelo-Fraenkel, denotada por ZF, es o una teora de primer orden en el lenguaje LZF que contiene 2 axiomas propios (Eq1) y (Eq2) para la igualdad, m s los siguientes axiomas propios. a

(Z1) Axioma de Extensionalidad. (Z2) Esquema axiom tico de Comprensi n. a o (Z3) Axioma de Pares. (Z4) Axioma de Uni n. o

(Z5) Axioma de Partes. (Z6) Axioma del Innito. (Z7) Esquema de Reemplazamiento. (Z8) Axioma de Regularidad.

Los esquemas axiom ticos (Z2) y (Z7) son reglas que generan innitos axiomas propios1 . A a medida que avanzamos el desarrollo del tema, enunciamos cada axioma para explicar su necesidad. Se dene ZFC la teora que resulta de a adir a ZF el Axioma de Elecci n. ZFC es la teora donde n o toma lugar toda la matem tica contemporanea. a Como ZF es una teora de primer orden, todos los resultados y m todos de demostraci n de los e o captulos anteriores son v lidos. A medida que se avanza en el tema, seremos menos especcos al a aclarar qu m todos de demostraci n o resultados de la l gica se utilizan en las demostraciones. De e e o o los axiomas (Eq1), (Eq2) y (Z1), probamos en la Proposici n 1.4 que los axiomas (A7) y (A8) son o teoremas de ZF, a partir de donde se pueden utilizar los resultados de la secci n 2.2.5. o En esta teora, le llamaremos conjunto a un t rmino de ZF. Como ZF no tiene variables ni letras e funcionales, los unicos conjuntos con los que contamos hasta el momento son las variables, pero m s adelante veremos una forma alternativa y usual para denir t rminos, es decir, conjuntos. Reala e mente no hay una distinci n especca de lo que es un conjunto a un elemento, todos los objetos de o la teora (e incluso de la matem tica) son conjuntos. Elemento denota la relaci n entre dos conjun a o tos, es decir, dados dos conjuntos x y y, decimos que x es elemento de y si x y. La idea intuitiva de conjunto es una colecci n de objetos (que tambi n son conjuntos). En la secci n 3.2 veremos o e o que no todas las colecciones de objetos son conjuntos. Como notaci n, dados t y s conjuntos, t s denota (t s). Utilizamos las letras griegas o / , , , ,etc., para denotar f rmulas de ZF. Como en la secci n 2.2.5, denotamos o o xt x , xt xt x . xt

Tambi n abreviamos la presencia de cuanticadores, por ejemplo, x1 ,...,xn denota x1 xn , e lo mismo usamos para . Del mismo modo, x1 ,...,xn t es x1 t xn t , an logo para el cuana ticador tpico de . Todos los resultados y deniciones expuestos de aqu en adelante corresponden
1

Se puede probar que, si ZF es consistente, entonces no se puede reducir a nitos axiomas propios.

76

a teoremas y deniciones de la teora ZF. Como no enunciamos todos sus axiomas desde el comien zo, se notar de cu les axiomas depende cierto teorema. a a 1.2 Denici n (Contenci n). A B denota la f rmula x (x A x B). Con cuanticadores o o o tpicos, se expresa como xA (x B). Se lee como A est contenido en B, A es subconjunto de a B o tambi n B es superconjunto de A. A e 1.3 Lema. Dados A, B y C conjuntos, (a) A A. Demostraci n. (a) o 1. x A x A tautologa 2. x (x A x A) 1,(GEN) 2. A A Def . (b) 1. 2. 3. 2. 3. 4. 5. 6. 7. 7. ABB C AB BC x (x A x B) x (x B x C) xAxB xBxC xAxC x (x A x C) AB Hip. de 1 de 1 Def Def 2,K.1 3,K.1 4,5,trans. 6,(GEN). Def . (b) (A B B C) A C. B denota (A B).

Como x no es libre en la hip tesis, por Teorema de la Deducci n se sigue el resultado. o o

El anterior es de los pocos resultados que se siguen del C lculo de Predicados en el lenguaje a de ZF. La propiedad (A B B A) A = B no se sigue sin axiomas propios. Por lo tanto, comenzamos a enunciar los primeros axiomas de ZF, a saber, (Eq1) x,y,z (x = y (x z y z)). (Eq2) x,y,z (x = y (z x z y)). (Z1) Axioma de Extensionalidad. A,B [(x (x A x B)) A = B]. 77

Los axiomas (Eq1) y (Eq2) denotan la sustituci n de objetos iguales en la relaci n . En el o o axioma de Extensionalidad, x (x A x B) signica que A y B tienen los mismos elementos, de donde (Z1) signica que dos conjuntos son iguales si tienen los mismos elementos. Lo anterior, aunque es intuitivamente claro, no se puede probar desde (Eq1) y (Eq2) y, por lo tanto, debe proponerse como axioma. 1.4 Proposici n. ZF es una teora con igualdad. o Justicaci n. Veamos que los axiomas (A7) y (A8) son teoremas de ZF. o 1. 2. 3. 4. xAxA x (x A x A) A=A A (A = A) tautologa 1,(GEN) 2,(Z1) 3,(GEN).

Por lo tanto, (A7) es Teorema de ZF. Debido a la complejidad de la prueba de (A8), la inclumos en el Ap ndice III. e Para la exposici n de las demostraciones cambiamos la forma lista-justicaci n a la forma o o redactada. La raz n de utilizar listas para las pruebas en los captulos anteriores es la escacez o de elementos para demostrar los elementos de la l gica. Puesto que ahora contamos con la l gio o ca y los m todos demostrativos de los captulos anteriores, estos se vuelven m s familiares y se e a pueden obviar, lo cual se logra facilmente en una prueba redactada. La gran mayora de los textos en matem ticas se desarrollan con pruebas de este estilo. a Para acostumbrar al lector al cambio de tipo de exposici n de pruebas, lentamente obviaremos o los resultados de la l gica que se vayan a aplicar. En el pr ximo resultado ilustramos ambos tipos o o de pruebas. 1.5 Teorema. (A B B A) A = B. Demostraci n. Prueba en lista. o 1. 1. 2. 2. 3. ABB A x (x A x B) x (x B x A) x ((x A x B) (x B x A)) x (x A x B) A=B 78 Hip. Def. K.5 Def. 2,(Z1).

Del Teorema de la Deducci n se sigue . Veamos el recproco. o 1. 2. 3. 4. 5. 6. 7. A=B AAAB AAB A AA AB BA ABBA Hip. 1,I.2 1,I.2 Lema1.3 de 2 de 3 5 y 6.

Prueba redactada. Veamos . Supongamos A B B A, es decir, x (x A x B) x (x B x A) (por denici n de ). Esto equivale, por K.5, a x ((x A x B) (x B x A)) o lo cual es x (x A x B). Esto implica A = B por (Z1). Para el recproco, supongamos A = B. Como A A por Lema 1.3, del criterio de sustituci n o en la igualdad A A equivale a A B y a B A, por lo cual A B B A.

1.6 Teorema. Sean A y B conjuntos. (a) A = B x (x A x B). (c) A = B (xA (x B)) xB (x A) / / Demostraci n. (a) En la prueba del Teorema 1.5 se verica que x (x A x B) equivale o A B B A, lo cual equivale a A = B por Teorema 1.5. (b) A B xA (x B) Def. xA (x B) C. Predicados. / (b) A B xA (x B). /

Para probar una f rmula del tipo A B, seg n la denici n de contenci n, basta suponer x A o u o o como hip tesis y concluir x B, pues el Teorema de la Deducci n garantiza que xA (x B). Por o o otra parte, para probar una f rmula del tipo A = B basta, seg n el Teorema 1.5, demostrar A B o u y B A, donde cada una puede justicarse por el m todo explicado anteriormente. Al probar una e igualdad por este m todo se dice que es una prueba por doble contenci n, la cual es muy usual en e o matem ticas. a 79

1.7 Denici n (Contenci n estricta). A o o

B es A B A = B. Se lee como A est contenido a

estrictamente en B o A es subconjunto propio de B. 1.8 Lema. Dados A, B y C conjuntos, (a) (A (b) A (c) A A). BB A.

(d) (A (e) (A B A).

BB

C) A

C. C. C.

B B C) A C) A

B (A B

(f) (A B B

Demostraci n. (a) Supongamos A o (b) Supongamos A

A, es decir, A A y A = A, lo cual contradice A = A.

B, es decir, A B y A = B. Por reducci n al absurdo, si B A entonces o

por 1.5 se sigue A = B, lo cual contradice A = B. (d) Supongamos A BB C, es decir, A B, A = B, B C y B = C. De las contenciones C, resta probar A = C. Por el absurdo,

y 1.3 se sigue A C, de modo que, para concluir A 1.5 se concluye B = C, lo cual contradice B = C.

supongamos A = C, de modo que de A B al sustituir se sigue C B y, como B C, de

De manera temporal, vamos a presentar un axioma que indica que existe un conjunto sin elementos, m s adelante demostramos que este hecho se sigue del axioma (Z2). a (Z0) Axioma del Vaco. y x (x y). / La f rmula x (x y) signica que y no tiene elementos. M s a n, de (Z0) se sigue que existe o / a u un unico conjunto sin elementos, como vemos a continuaci n. o 1.9 Lema. !y x (x y). / Demostraci n. La existencia est dada por (Z0), de modo que probamos la unicidad. Supongamos o a x (x y) y x (x w) y veamos que y = w. De K.1 se tiene x y y x w. Del resultado del / / / / c lculo proposicional B L B C se sigue que x y x w y x w x y, de donde a x y x w. Al generalizar, x (x y x w), de donde conclumos y = w por (Z1). 1.10 Denici n. denota el unico conjunto que satisface la f rmula x (x y) para y (seg n el o o / u Lema 1.9). A dicho conjunto se le llama el conjunto vaco. 80

A pesar de que el lenguaje de ZF no tiene constantes ni letras predicativas, aparece como una nueva constante de ZF que representa el unico conjunto que no tiene elementos. M s adelante, por a deniciones respecto a la existencia unica, aparecer n nuevos smbolos en el lenguaje, los cuales no a afectan la identidad de ZF ni la potencia en sus razonamientos2 . 1.11 Teorema. Sea Y un conjunto. (a) x (x ). / (b) Y = x (x Y ). / (c) Y = x (x Y ). (d) . /

Demostraci n. (a) Es lo que describe la Denici n 1.10. o o (b) Probemos . Si Y = , por (a) y sustituci n de objetos iguales se sigue x (x Y ). o / Para el recproco, si x (x Y ), por (a) y la unicidad en el Lema 1.9 se concluye Y = . / (c) Directo al negar ambos lados de la equivalencia en (c). (d) De (a), al particularizar en , se sigue . /

El siguiente resultado muestra que el vaco es subconjunto de cualquier conjunto y que el unico subconjunto del vaco es el mismo vaco, es decir, no tiene subconjuntos propios. 1.12 Teorema. Sea X un conjunto. (a) X. (b) . (c) X X = . (e) (X ). (d) X = X.

Demostraci n. (a) De 1.11 se sigue x , por lo cual la implicaci n x x X es cierta. o / o Luego, al generalizar, se sigue X. (b) Inmediato de (a) o de 1.3.
2 En un sentido t cnico, el lenguaje original de ZF crece y se a aden un axioma para el smbolo . Pero todo lo que se e n pruebe con ese axioma se puede parafrasear en el lenguaje original y se puede probar en ZF. Para detalles ver el Apendice III.

81

(c) X = X X Tma1.5 X (a),C.Proposicional. (d) X X X = Def X = (a),C.Proposicional.

3.1 Ejercicio. Utilize solo (Eq1), (E12), (Z1) y el 3.3 Ejercicio. Pruebe A !Y x (x Y x A). c lculo de Predicados (no usar resultados de Teoras a 3.4 Ejercicio. Pruebe 1.12(e). con igualdad) para demostrar (a) A = B x (x A x B). (b) A = B B = A. (c) (A = B B = C) A = C. 3.2 Ejercicio. Pruebe 1.6(c), 1.8(c),(e),(f). 3.5 Ejercicio. Sea (x) una f rmula de ZF donde Y o no es libre. Si x ((x)) pruebe que !Y x (x Y (x)). u e Sugerencia: Preg ntese primero qui n debe ser Y .

3.2. Esquema axiom tico de Comprensi n a o


En la notaci n de conjuntos es usual utilizar dos modos de notaci n, por extensi n y por como o o prensi n. El primer modo se reere a denotar un conjunto se alando todos sus elementos, por ejemo n plo A = {0, 1}, B = { }, C = {a, b, c, d, e, f }.

El segundo modo consiste en denir un conjunto mediante una propiedad, por ejemplo P = {n Z / kZ(n = 2k)} , I = q Q / q2 < 2 .

En general, un conjunto por comprensi n tiene la forma {x A / (x)} donde A es un conjunto y o (x) una f rmula de ZF (que representa la propiedad). As, {x A / (x)} es el conjunto formao do por los objetos en A que satisfacen (x). De una forma m s general, {x / (x)} representa la a colecci n de objetos que satisfacen la propiedad (x). o El objetivo de esta secci n es denir {x / (x)} y {x A / (x)} como t rminos de la teora o e de conjuntos, adem s de probar sus propiedades naturales en ZF. Trabajamos tambi n la proba e lem tica sobre las colecciones del tipo {x / (x)} que no se pueden denir para toda f rmula a o (x), es decir, no siempre es conjunto. 82

Para esta secci n, jemos una f rmula arbitraria (x) donde la variable Y no es libre. Primero o o hagamos un an lisis intuitivo del signicado de {x / (x)}. Y = {x / (x)} signica que Y es el a conjunto formado por los objetos que cumplen (x), es decir, Y = {x / (x)} x (x Y (x)). Recordemos que, para denir , primero probamos que existe un unico y tal que x (x y). / Motivados por esto, si probamos que existe un unico conjunto Y tal que x (x Y (x)), ese objeto tiene que ser {x / (x)} y, por lo tanto, se dene como ese unico Y . Al respecto, presentamos el siguiente resultado. 2.1 Lema. Si Y x (x Y (x)) entonces !Y x (x Y (x)). Demostraci n. Supongamos Y x (x Y (x)). Luego, para probar la existencia unica meno cionada, basta probar la unicidad. Supongamos x (x Y (x)) y x (x W (x)). Por K.1, x Y (x) y x W (x) de donde, por c lculo proposicional, x Y x W . Al a generalizar esta ultima f rmula, de (Z1) se concluye Y = W . o 2.2 Denici n (Clasicador de Frege). Si Y x (x Y (x)), del Lema 2.1 tal Y es unico, por o lo cual se dene {x / (x)} como ese unico Y . La denici n anterior depende de que Y x (x Y (x)). Como x (x Y (x)) o signica, intuitivamente, Y = {x / (x)}, entonces Y x (x Y (x)) signica que existe {x / (x)}. Por lo tanto, Y x (x Y (x)) signica que no existe {x / (x)}, lo cual abre la posibilidad de que se pueda probar, para ciertas f rmulas (x), que {x / (x)} no existe y, seg n o u la Denici n 2.2, no se podra denir {x / (x)} en ZF. Lo anterior motiva la siguiente notaci n. o o 2.3 Denici n. Decimos que {x / (x)} es conjunto si Y x (x Y (x)). Por otra parte, o {x / (x)} es clase propia signica que no es conjunto, es decir, Y x (x Y (x)). La denici n anterior tiene sentido, pues {x / (x)} es conjunto cuando se puede probar que o existe. El problema de preocuparse cu ndo {x / (x)} es conjunto o no surge a principios de siglo a XX desde la propuesta del matem tico Fregue con una teora de conjuntos donde gura el axioma a Dada una f rmula (x), {x / (x)} es conjunto. o En 1902, Bertrand Russell hall la siguiente contradicci n para dicho axioma. o o 2.4 Teorema. {x / x x} es clase propia, es decir, Y x (x Y x x). Dicha clase propia / / se conoce como la clase de Russell 83

Demostraci n. Supongamos que {x / x x} es conjunto, es decir, Y x (x Y x x). Por o / / regla C, escojamos R tal que x (x R x x). Al particularizar se sigue R R R R, lo / / cual deduce una contradicci n. o Por lo tanto, no se puede garantizar que {x / (x)} siempre es conjunto, como ejemplo tenemos la clase de Russell, adem s de otros que ir n surgiendo a lo largo del texto. As, el axioma de a a Frege debe ser descartado y debe proponerse otro que permita comprobar que ciertas clases del tipo {x / (x)} sean conjuntos. La intuici n del matem tico experimentado indica que una colecci n es clase propia cuando o a o tiene una cantidad exagerada de elementos que superan los tama os naturales que puede tomar un n conjunto. Por lo tanto, en el Esquema Axiom tico de Comprensi n se propone que las colecciones a o del tipo {x A / (x)} siempre pueden ser conjuntos pues, como est n subordinadas a un conjunto a A, no es posible que tenga demasiados elementos para ser clase propia. De forma natural se puede denir {x A / (x)} = {x / x A (x)}, de modo que decir {x A / (x)} es conjunto signica, seg n la Denici n 2.3, u o Y x (x Y (x A (x))). Luego, proponemos el axioma (Z2) Esquema axiom tico de Comprensi n Dada una f rmula (x) donde Y no es libre, a o o A Y x (x Y (x A (x))). El nombre de esquema axiom tico para (Z2) es porque no es un solo axioma, sino que representa a innitos axiomas, uno por cada f rmula de ZF. A cada aplicaci n de (Z2) tambi n se le puede llamar o o e axioma de Comprensi n. o 2.5 Denici n. {x A / (x)} {x / x A (x)}, el cual siempre se puede denir en ZF ya o que es conjunto por (Z2). Seg n la Denici n 2.2, {x / x A (x)} es el unico Y que satisface u o x (x Y (x A (x))). Lo anterior justica que colecciones como {n Z / n es par} y q Q / q 2 < 2 est n bien a denidos en matem ticas, pues son conjuntos por (Z2). El siguiente es un detalle t cnico sobre los a e t rminos del tipo {x / (x)}. e 84

2.6 Proposici n. (a) Si {x / (x)} es conjunto, las variables de este t rmino son las variables o e libres de (x) excepto la variable x. (b) Las variables del t rmino {x A / (x)} son A y las variables libres de (x) excepto x. e Justicaci n. (a) Si {x / (x)} es conjunto, por Denici n 2.2 este es el unico Y que satisface o o x (x Y (x)). Las variables libres de esta expresi n son Y y las variables libres de o (x) excepto x, pues aparece ligado por x . Luego, como {x / (x)} depende de la expresi n o anterior, sus variables son las variables libres de la expresi n exceptuando Y , pues Y representa o al conjunto {x / (x)}. Por lo tanto, las variables del conjunto son las mismas de (x), excepto xyY. (b) Como {x A / (x)} = {x / x A (x)}, sus variables, por (a), son las variables libres de x A (x), excepto x, las cuales incluyen A y las variables libres de (x) (excepto x).

Lo anterior es claro en el sentido de que, en {x / (x)} (cuando es conjunto), la variable x no tiene una representaci n material. {x / (x)} representa la colecci n de objetos que cumplen la o o propiedad (x) donde x s lo se usa para representar dichos objetos. o 2.7 Lema. Supongamos que {x / (x)} es un conjunto, y libre para x en (x) y z una variable tal que (x) y (z) son similares. Entonces (a) y {x / (x)} (y). (b) {x / (x)} = {z / (z)}. (c) y {x A / (x)} (y A (y)). (d) {x A / (x)} = {z A / (z)}. Demostraci n. (a) Por Denici n 2.2, {x / (x)} es el unico Y que satisface x (x Y (x)). o o Por lo tanto, x (x {x / (x)} (x)). Luego, al particularizar con y, se sigue y {x / (x)} (y) (los x de {x / (x)} no se sustituyen pues, seg n 2.6, x no es una variable presente en {x / (x)}). u 85

(b) Por Denici n 2.2, {z / (z)} es el unico Y que satisface z (z Y (z)), por lo cual o z (z {z / (z)} (z)). Al particularizar con y se sigue y {z / (z)} (y) (por 2.6, z en {z / (z)} no se sustituye) y, de (a), se obtiene y {z / (z)} y {x / (x)}. Luego, al generalizar3 y y por (Z1) se sigue {z / (z)} = {x / (x)}. (c) y {x A / (x)} y {x / x A (x)} (y A (y)) por Denici n 2.5 y (a). o (d) {x A / (x)} = {x / x A (x)} = {z / z A (z)} = {z A / (z)} por (b) y Denici n 2.5. o

En teora de conjuntos es muy importante saber cu ndo una colecci n {x / (x)} es conjunto. a o El siguiente resultado proporciona la forma estandar de obtener la respuesta. 2.8 Lema (del Subconjunto). {x / (x)} es conjunto si y solo si Y ({x / (x)} Y ). En esta armaci n estamos abusando del lenguaje de ZF al escribir {x / (x)} Y , pues en o ese punto no se sabe si {x / (x)} es un t rmino denido. Sin embargo, al apelar a la denici n e o de contenci n, dicha expresi n se transforma naturalmente en una f rmula de ZF. {x / (x)} Y o o o representa x (x {x / (x)} x Y ) y x {x / (x)} representa (x). Por lo tanto, se puede adaptar {x / (x)} Y x ((x) Y ). De la misma forma, hay muchas f rmulas que se escriben en t rminos de {x / (x)} sin saber que o e este es conjunto y, sin embargo, se pueden representar con f rmulas de ZF (ver el Ejercicio 3.8). o Demostraci n. Si {x / (x)} es un conjunto, se tiene {x / (x)} {x / (x)} de donde, por o K.1, Y ({x / (x)} Y ). Para el recproco, supongamos Y ({x / (x)} Y ) de donde, por regla C, tomamos un C tal que {x / (x)} C, es decir, x ((x) x C). La idea de la prueba es observar que {x / (x)} = {x C / (x)}, lo cual podemos obtener al probar la equivalencia (x) x C
3

(x).

Para que esta generalizaci n sea permitida, se debe tomar y de modo que no sea libre en (x). o

86

es claro. Para , supongamos (x). Luego, por hip tesis, x C, de donde x C o De la equivalencia y el Lema 2.7 se sigue (x) x {x C / (x)}, de donde x (x {x C / (x)} (x)). Por K.1, Y x (x Y (x)), es decir, {x / (x)} es un conjunto.

(x).

Como primera aplicaci n de este Lema, veremos que la colecci n a la cual le pertenecen todos o o los conjuntos no se puede denir en ZF, es decir, no existe el conjunto de todos los conjuntos. 2.9 Teorema. Y x (x Y ). Demostraci n. Por reducci n al absurdo, supongamos que Y x (x Y ). Tomemos, por regla o o C, V tal que x (x V ). La contradicci n se obtiene de que, como todos los objetos est n en V , o a entonces todas las colecciones de la forma {x / (x)} est n contenidas en V , de donde, por el a Lema del subconjunto, {x / (x)} siempre sera conjunto, lo cual es imposible porque vimos en el Teorema 2.4 que {x / x x} es clase propia. / En efecto, x V es cierta, por lo cual x x x V . Luego x (x x x V ), es decir, / / {x / x x} V , de donde Y ({x / x x} Y ). As, por el Lema del subconjunto, {x / x x} / / / es un conjunto, lo cual contradice el Teorema 2.4. Como resultado nal, veamos que el axioma del Vaco (Z0) no se necesita colocar en la lista de axiomas de ZF ya que puede deducirse de (Z2). N tese que ning n resultado previo en esta secci n o u o depende de (Z0). 2.10 Proposici n. (Z0) se deduce de (Z2). o Demostraci n. La idea intuitiva de la prueba es pensar en el conjunto {x A / x = x} donde A o puede ser cualquier conjunto. Es claro este no tiene elementos. Al aplicar (Z2) a la f rmula (x) x = x se tiene o A Y x (x Y (x A x = x)). Luego Y x (x Y (x A x = x)) y, por regla C, tomamos O tal que x (x O (x A x = x)). Al particularizar en x, x O (x A x = x) y, al negar a ambos lados de la equivalencia, x O (x A x = x) pero, como la f rmula de la derecha es cierta, se obtiene x O. Luego / / o / x (x O) de donde, por K.1, Y x (x Y ). / / 87

2.11 Ejemplo. (a) La colecci n {x / x = x} es un conjunto. Intuitivamente, se concluye f cilo a mente que es , pues ning n objeto cumple la propiedad x = x. Veamos dos formas de deu mostrar lo anterior en ZF. Con la Denici n 2.3 Se busca probar o Y x (x Y x = x). Dicho Y representa a {x / x = x} pero, como se intuye que es , se debe probar x (x x = x). En efecto, x y x = x son f rmulas falsas, por lo cual x x = x es verdad4 . o Basta generalizar para obtener la armaci n. o Luego, por K.1, Y x (x Y x = x), es decir, {x / x = x} es un conjunto. Ahora veamos que {x / x = x} = . Anteriormente se prob que x x = x, de o donde x x {x / x = x}. Luego, al generalizar, por (Z1) se sigue la igualdad. Con el Lema del subconjunto. Veamos que {x / x = x} est contenido en alg n conjunto. La a u intuici n indica que dicho conjunto es , por lo cual se debe probar {x / x = x} . En o efecto, como x = x es falsa, entonces x = x x de donde, al generalizar, se sigue {x / x = x} . Luego, Y ({x / x = x} Y ) de donde se concluye que {x / x = x} es un conjunto por el Lema 2.8. Ahora, para probar que {x / x = x} = basta notar que, del p rrafo anterior, se sigue a {x / x = x} , de donde {x / x = x} = por 1.12(c). (b) La colecci n {x / x = x} es una clase propia. Intuitivamente, todos los conjuntos pertenecen o a dicha colecci n (pues todos los objetos cumplen x = x) la cual no puede ser conjunto por el o Teorema 2.9. Si {x / x = x} fuese un conjunto, es claro que x (x {x / x = x}) de donde Y x (x Y ) lo que contradice el Teorema 2.9. A la clase propia {x / x = x} se le suele llamar el universo, pues representa la colecci n donde o est n todos los conjuntos. a Para concluir esta secci n, denamos los siguientes conjuntos. o
4

Se puede pensar en el siguiente resultado del c lculo proposicional: B, C L B C. a

88

2.12 Denici n (Intersecci n, Diferencia.). Dados A y B conjuntos, denimos o o A B = {x A / x B} = {x / x A x B} Intersecci n entre A y B. o A B = {x A / x B} = {x / x A x B} Diferencia entre A y B. / / Tambi n se suele denotar A B = A e B. Cuando A B = decimos que A y B son disjuntos.

Puede pensarse en denir, por ejemplo, A B = {x / x A x B} {a, b} = {x / x = a x = b} P(A) = {x / x A} . El problema es que desde (Z1) y (Z2) no se puede probar que estas colecciones son conjuntos. M s a a n, con estos axiomas no se puede demostrar que existen conjuntos diferentes del vaco. En vista de u esta limitaci n, es necesario agregar m s axiomas a la teora para poder probar que las colecciones o a anteriores (y muchas otras) son conjuntos.
3.6 Ejercicio. Sea A un conjunto. Pruebe (a) {x / x A} es un conjunto y es igual a A. (v) {x / (x)} = {x / (x)}. Para los dos ultimos, remtase al Teorema 1.6(a).

(b) Si x ((x)) entonces {x / (x)} es un conjun- 3.9 Ejercicio. Con la notaci n del Ejercicio o to y es igual a . 3.8: si x ((x) (x)) entonces {x / (x)} = (c) Si x (x) entonces {x / (x)} es clase propia y {x / (x)}. es el universo. 3.10 Ejercicio. Con la notaci n del Ejercicio 3.8, o 3.7 Ejercicio. Respecto al ejercicio anterior, indique pruebe que {x / (x)} {x / x = x}. si las siguientes colecciones son conjuntos o clases 3.11 Ejercicio. Con la notaci n del Ejercicio 3.8: o propias. Adem s, determine quienes son. a suponga {x / (x)} {x / (x)}. Si {x / (x)} (a) {x / x x}. es clase propia, entonces {x / (x)} es clase propia. (b) {x / x x x x}. / 3.12 Ejercicio. Con la notaci n del Ejercicio 3.8: o (c) {x / Y x (x Y )}. suponga {x / (x)} = {x / (x)}. Entonces (d) {x / x A x A}. (a) {x / (x)} es conjunto si y solo si {x / (x)} 3.8 Ejercicio. Sean (x) y (x) f rmulas de ZF. o Aunque no se sepa si {x / (x)} y {x / (x)} son conjuntos, las siguientes expresiones se pueden traducir en el lenguaje de ZF. Escriba las siguientes armaciones como f rmulas de ZF. o (i) z {x / (x)}. (ii) A {x / (x)}. (iii) {x / (x)} {x / (x)}. (iv) A = {x / (x)}. es conjunto. (b) {x / (x)} es clase propia si y solo si {x / (x)} es clase propia. 3.13 Ejercicio. Con la notaci n del Ejercicio 3.8: o si {x / (x)} {x / (x)} y no se sabe si dichas colecciones son conjuntos, por qu no se puede cone cluir Y ({x / (x)} Y )? 3.14 Ejercicio. Pruebe que el Lema del subconjunto (2.8) implica a (Z2).

89

3.3. Operaciones iniciales entre conjuntos


Vamos a adjuntar los siguientes axiomas a ZF. (Z3) Axioma de Pares. a,b Y (a Y

b Y ).

(Z4) Axioma de Uni n (versi n nita). A,B Y x ((x A x B) x Y ). o o (Z5) Axioma de Partes. A Y X (X A X Y ). El axioma (Z4) ser sustitudo, en la secci n 3.4, por (Z4), el cual permite realizar innitas a o uniones. Estos axiomas se proponen con el n de denir los siguientes conjuntos. 3.1 Denici n. Dados A, B, a, b conjuntos, denimos o (a) {a, b} = {x / x = a x = b} el doblete de a y b. (b) {a} = {x / x = a} el singulete de a. (c) A B = {x / x A x B} la uni n entre A y B. o (d) P(A) = {X / X A} el conjunto de partes de A. 3.2 Lema. (a) {a, b} es conjunto y x {a, b} (x = a x = b). (b) {a} es conjunto y x {a} x = a. (c) A B es conjunto y x A B (x A x B). (d) P(A) es conjunto y X P(A) X A. (e) x A B (x A x B). (f) x A B (x A x B). /

Demostraci n. (a) De (Z3) Y (a Y o

b Y ). Por regla C tomemos P tal que a P y b P .

Veamos que {a, b} P , es decir, x ((x = a x = b) x P ). Supongamos x = a x = b. Por disyunci n de casos, si x = a, como a P entonces x P ; si x = b, como b P entonces o x P . Por lo tanto, (x = a x = b) x P . Al generalizar, se sigue {a, b} P , de donde Y ({a, b} Y ). Luego, por el Lema del subconjunto, {a, b} es conjunto. (b) {a} = {x / x = a} = {x / x = a x = a} = {a, a} (ver Ejercicio 3.9). Luego, como {a, a} es conjunto por (a), entonces {a} es conjunto (ver Ejercicio 3.12). 90

(c) De (Z4) y x ((x A x B) x Y ), lo cual se traduce en Y (A B Y ). Luego, por el Lema del subconjunto, A B es conjunto. (d) De (Z5) Y X (X A X Y ), lo cual es Y (P(A) Y ). Luego, por el Lema del subconjunto, P(A) es conjunto. (e) Inmediato de la Denici n 2.12 y el Lema 2.7. o (f) Inmediato de la Denici n 2.12 y el Lema 2.7. o

Para generalizar la noci n de singulete y doblete, planteamos el siguiente concepto. o 3.3 Denici n. Dados a1 , . . . , an conjuntos, {a1 , . . . , an } = {x / x = a1 . . . o 3.4 Lema. {a1 , . . . , an } es un conjunto. Demostraci n. Procedamos por inducci n en el metalenguaje5 sobre n. Para n = 1, {a1 } es cono o junto por Lema 3.2. Ahora supongamos que {a1 , . . . , an } es conjunto. Luego, {a1 , . . . , an+1 } = {x / (x = a1 . . .

x = an }.

x = an ) x = an+1 }

= {x / x {a1 , . . . , an } x {an+1 }} = {a1 , . . . , an } {an+1 }. y como {a1 , . . . , an } {an+1 } es conjunto (la uni n de dos conjuntos), entonces {a1 , . . . , an+1 } o es conjunto. 3.5 Lema. Dados a1 , . . . , an conjuntos y 1 i n, (a) x {a1 , . . . , an } (x = a1 . . . (b) ai {a1 , . . . , an }. (c) {a1 , . . . , an } = . Demostraci n. (a) Inmediato de la Denici n 3.3 y el Lema 2.7. o o (b) Como ai = ai entonces ai = a1 . . .
5

x = an ).

ai = an , de donde ai {a1 , . . . , an } por (a).

Esta inducci n no se hace dentro de la teora, por eso se llama inducci n en el metalenguaje, pero funciona como o o una inducci n corriente. o

91

(c) Como a1 {a1 , . . . , an } entonces x (x {a1 , . . . , an }), de donde {a1 , . . . , an } = por el Teorema 1.11.

El siguiente Teorema identica las propiedades m s usuales que cumplen las operaciones de a uni n, intersecci n y diferencia de conjuntos. En sus demostraciones podemos identicar la siguo o ientes t cnicas, las cuales se aplican constantemente en pruebas matem ticas. e a Prueba por equivalencias para la igualdad de conjuntos. Si se desea probar que dos conjuntos A y B son iguales, basta vericar x A x B pues, al generalizar, de (Z1) se sigue la igualdad. Prueba de que un conjunto es vaco. Para ver que un conjunto A es vaco, basta probar x A / (ya sea directamente o por reducci n al absurdo), pues de la generalizaci n y el Teorema 1.11 o o se sigue A = . 3.6 Teorema. Dados A, B, C conjuntos, Leyes idempotentes. (a) A A = A. (b) A A = A. Leyes con vaco. (c) A = A. Leyes distributivas. (d) A = . (e) A (f) (g) A = A. A = . A = . (l) A (B C) = (A B) (A C). (m) A (B C) = (A B) (A C). Leyes DMorgan. (n) A (o) A (B C) = (A (B C) = (A B) (A B) (A C). C). (i) A B = B A. Leyes asociativas. (j) A (B C) = (A B) C. (k) A (B C) = (A B) C.

Leyes conmutativas. (h) A B = B A. Demostraci n. (a) o

x A A x A x A Def xA 92

Por lo tanto, x (x A A x A) y, por (Z1), se sigue A A = A. (c) x A (x A x ) por denici n de uni n. Pero, como x es falso, se puede o o eliminar de la disyunci n y resulta x A x A. Luego, al generalizar, por (Z1) se o sigue A = A. (f) x x (x / (h) x A B x A x B Def xBxA xBA Def . Luego, x (x A B x B A), de donde A B = B A por (Z1). (k) x A (B C) x A x B C x A (x B x C) (x A x B) x C xAB xC x (A B) C Def Def Def Def . A (x x A). Como x es falso, la f rmula de la derecha de la / o A es falso, es decir, x / A = . A es cierto. Luego, A) de donde, por el Teorema 1.11,

equivalencia es falsa, por lo cual x

Luego, al generalizar la equivalencia resultante, por (Z1) se sigue la igualdad buscada. (l) x A (B C) x A x (B C) x A (x B x C) (x A x B) (x A x C) x AB x AC x (A B) (A C) Def Def Def Def .

Luego, al generalizar la equivalencia resultante, por (Z1) se sigue la igualdad buscada. (o) xA (B C) x A x (B C) / x A (x B C) x A (x B x C) x A (x B x C) / / (x A x B) (x A x C) / / xA BxA C x (A B) (A C) Def Def

Def Def .

Al generalizar la equivalencia resultante, por (Z1) se sigue la igualdad buscada.

93

En relaci n con la contenci n, se siguen las siguientes propiedades. Recordemos que para probar o o una f rmula del tipo A B, basta suponer x A como hip tesis y concluir x B. o o 3.7 Teorema. Dados A, B, C conjuntos, (a) A A B. (b) B A B. (c) A B A. (d) A B B. (e) A B A. (k) A B A B = A. (l) (A C

(h) A B A (i) A B C

CB BC

C. A.

(j) A B A B = B.

(f) A B A C B C. (g) A B A C B C.

B C) A B C.

(m) (C A C B) C A B.

Demostraci n. (a) x A (x A x B), lo cual equivale a x A x A B. Luego, o al generalizar, se sigue A A B. (e) (x A x B) x A, lo cual equivale a x A / A B A.

B x A. Al generalizar, se sigue

(f) Supongamos A B. Luego x A x B, de donde (x A x C) (x B

x C),

lo cual equivale a x A C x B C. Al generalizar, se concluye A C B C. (i) Si A B entonces x A x B. Por contrarrecproco, x B x A, de donde / / (x C

x B) (x C /

x A), lo cual equivale a x C / A.

Bx C

A. Al

generalizar, se sigue C

BC

(k) Supongamos A B. Por (g) se sigue A A B A y, como A A = A y B A = A B, se tiene A A B. La otra contenci n se sigue por (c). o Para el recproco, supongamos A B = A. Como A B B por (d), entonces se sigue A B. (l) Veamos dos formas de probar . Prueba #1. Supongamos A C y B C para probar A B C. Sea x A B, es decir, x A x B y veamos x C para que la contenci n quede probada. Como A C, es o 94

claro que x A x C y, como B C, se sigue x B x C. Por disyunci n de o casos se obtiene x C. Prueba #2. Supongamos A C y B C. De (f) se tiene A B C B y, como B C entonces C B = C por (j). Por lo tanto, A B C. Para el recproco, si A B C, por (a), (b) y transitividad de se obtiene A C y B C. Ofrecemos tambi n la siguiente forma alternativa de demostraci n: e o AC

B C x (x A x C) x (x B x C) x ((x A x C) (x B x C)) x ((x A x B) x C) x (x A B x C) AB C

Def C.Predicados C.Proposicional Def Def .

La siguiente denici n indica una notaci n muy com n en matem ticas cuando se trabaja en un o o u a conjunto jo U . 3.8 Denici n (Complemento relativo.). Sea U un conjunto. Para A U denimos A = U o A se llama el complemento de A respecto a U . A.

3.9 Ejemplo. (1) Respecto a Z, si A = {n Z / n 0} y P = {n Z / n par}, entonces A = {n Z / n < 0} y P = {n Z / n impar}. (2) Respecto a R, (0, 1) = (, 0] [1, ), Q = Q (el conjunto de irracionales) y, con A como en el ejemplo anterior, A = (, 0) ([0, ) Note que la denici n de o A Z). depende del conjunto de referencia.

3.10 Teorema. Dado U conjunto y A, B subconjuntos de U , se cumple (a) U = . (b) = U . (c) A U y (A ) = A. (d) A A = . Demostraci n. (a) U = U o (b) = U = U. 95 U = . (e) A A = U . (f) A B U y (A B) = A B . (g) A B U y (A B) = A B . (h) A B B A .

(c) A = U A U y (A ) = U

A = U

(U

A). Luego, Def Ejercicio 3.16

x (A ) x U (U A) x U x (U A) / x U (x U x A) / (x U x U ) (x U / xU xA x U A

x A) Eliminaci n de falsa en o Def .

De la equivalencia y (Z1) se obtiene (A ) = U A pero, como A U entonces U A = A. Por lo tanto, (A ) = A. (f) Como A U y B U entonces A B U por el Teorema 3.7. Luego (A B) = U (A B) = (U A) (U B) = A B . (h) Si A B entonces, del Teorema 3.7, U B U A, es decir, B A . Para el recproco, si B A , por el razonamiento anterior se tiene (A ) (B ) . Luego, por (c), A B.

Seg n la Denici n 3.1, P(A) (partes de A) es la colecci n donde pertenecen todos los subconu o o juntos de A. En el siguiente ejemplo ilustramos el m todo para identicar los elementos de P(A) e cuando A es nito. 3.11 Ejemplo. (0) Del Teorema 1.12 X X = . Luego, P() = {}, pues P() = {X / X } = {X / X = } = {}. (1) Los unicos subconjuntos de {a} son y {a}, por lo cual P({a}) = {, {a}}. (2) Hallemos los subconjuntos de {a, b}: es su subconjuntos con 0 elementos, {a}, {b} son sus subconjuntos de un elementos y {a, b} es su subconjunto de 2 elementos. Por lo tanto, P({a, b}) = {, {a}, {b}, {a, b}}. (3) Hallemos los subconjuntos de {a, b, c}: es su subconjuntos con 0 elementos, {a}, {b}, {c} son sus subconjuntos de un elementos, {a, b}, {a, c}, {b, c} son sus subconjuntos de 2 elementos y {a, b, c} es su subconjunto de 3 elementos. Por lo tanto, P({a, b, c}) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. 96

En general, si un conjunto tiene n elementos, los elementos de su conjunto de partes se hallan considerando sus subconjuntos de 0 elementos, los de 1 elemento, 2 elementos y as sucesivamente hasta los de n elementos. Al observar la cantidad de elementos de las partes, se puede conjeturar que, si A tiene n elementos, entonces P(A) tiene 2n elementos, lo cual se puede demostrar6 en ZF. 3.12 Teorema. Dados A y B conjuntos, (a) P(A). (b) A P(A). (f) P(A B) = P(A) P(B). (c) P(A) = . (d) A B P(A) P(B). (g) P(A) P(B) P(A B). (e) A = B P(A) = P(B).

Demostraci n. (a) Como A entonces P(A). o (b) Como A A entonces A P(A). (c) De (a) (o de (b)) se sigue x (x P(A)), lo cual equivale a P(A) = . (d) Supongamos A B y veamos P(A) P(B). Si X P(A), es decir, X A, como A B entonces X B, es decir, X P(B). Para el recproco, supongamos P(A) P(B). Como A P(A) (por (b)) entonces A P(B), de donde A B. (e) A=B ABB A Tma1.5 P(A) P(B) P(B) P(A) (d) P(A) = P(B) Tma1.5 (g) Como A A B y B A B entonces, de (d), P(A) P(A B) y P(B) P(A B). Luego, del Teorema 3.7(l), se concluye P(A) P(B) P(A B).

3.13 Ejemplo. La contenci n recproca de (h) del Teorema 3.12 no es cierta en general. Considere o A = {a} y B = {b} con a = b. Luego P(A) = {, {a}}, P(B) = {, {b}}, por lo cual P(A) P(B) = {, {a}, {b}}.
6

Para esto se deben denir muchos conceptos de la teora de conjuntos, como el de equipotencia.

97

Por otra parte, P(A B) = P({a, b}) = {, {a}, {b}, {a, b}}. Podemos observar que P(A) P(B) = P(A B).
3.15 Ejercicio. Pruebe los siguientes enunciados. (a) {a1 , . . . , an } C a1 C (b) {a} = {b} a = b. (c) {a, b} = {a} {b}. (d) {a, b} = {b, a}. (e) {a, b, b} = {a, b}. (f) {a, b} = {x} (x = a x = b). (g) {a, b} = {x, y} si y solo si x = a y = b o x = b y = a. (h) {a1 , . . . , an } = {a1 } . . . {an }.

(i) (A B) (j) (A B) (k) (A B)

C = (A C = (A

C) (B C). C) (B

C). C).

...

an

C.

C = A (B

(l) A (A B) = A. (m) A (A B) = A. (n) A B = A B = A. B. ( ) (A B = C = A B) A = C n

3.18 Ejercicio. Pruebe los siguientes enunciados. (a) Los incisos (b), (c), (d), (g), (h), (j) y (m) del Teorema 3.7.

(b) A C A C = . (i) Justique que para el conjunto {a1 , . . . , an } no importa el orden en que se escriban sus elemen- (c) A C A C = . tos y tampoco las repeticiones de objetos. (d) A B = (A = B = ). 3.16 Ejercicio. Demuestre los siguientes enuncia- 3.19 Ejercicio. Dena el complemento sim trico coe dos. mo A B = (A B) (B A). Pruebe que (a) x {a1 , . . . , an } (x = a1 /

...

x = an ).

(a) A A = . (b) A B = A = B. (c) A B = (A B) (d) A = A. (e) A B = B A. (f) x A B (x A x B). / (g) A (B C) = (A B) C. (h) A (B C) = (A B) (A C). (i) A B = (A B) (A B). 3.20 Ejercicio. Sea U un conjunto y A, B subconjuntos de U . Pruebe (a) Los incisos (d), (e) y (g) del Teorema 3.10. (b) A (c) A B = A B. B U y (A B) = A B. (A B).

(b) x A B (x A x B). / / / (c) x A B (x A x B). / / / (d) x A / B (x A x B). / A.

(e) X P(A) X /

(f) xA (x B) A B = . / 3.17 Ejercicio. Pruebe los siguientes enunciados. (a) Los incisos (b), (d), (e), (g), (i), (j), (m) y (n) del Teorema 3.6. (b) A B=A (A B).

(c) A (C A) = . (d) A (C A) = A C. (e) C (f) C (g) (C (h) (C (A (C A) A) B) = (C A) (C B).

A) = A C. B = (C B=C B) A.

(d) A B U y (A B) = A B . 3.21 Ejercicio. Sean a, C, D, N conjuntos tal que a N . Pruebe que /

(A B).

98

(a) Si a C y C N {a} entonces C N . / (b) Si a D y D N {a} entonces D {a} N . (c) Si a D y D N {a} entonces D {a} N.

(i) A B

A = B B A.

(ii) {} A. (iii) P(A). (iv) {} P(A). (v) A. (vi) P(A). (vii) {{}} P(). (viii) (A (ix) C B) (B (A A) = . A) B.

3.22 Ejercicio. Indique, por extensi n, los siguientes o conjuntos. (a) P(P({a, b})). (b) P(P(P())). 3.23 Ejercicio. Pruebe los siguientes enunciados. (a) El inciso (f) del Teorema 3.12. (b) X {a} (X = X = {a}). (c) P(A B) = {X A / X B = }. (d) P(A B) = P(A) P(B) sii A B (e) A B = P(A) P(B) = {}. 3.24 Ejercicio. Indique si las siguientes armaciones son ciertas en general o no. Justique su respuesta.

B) = (C

3.25 Ejercicio. Dado un conjunto A, demuestre que B A. (a) C x (x A x C). / (b) {x / x A} es clase propia. / (c) P(A) A. Sugerencia: Considere el conjunto y = {x A / x x}. /

3.4. Uniones e intersecciones generalizadas


El axioma (Z4) garantiza la posibilidad de realizar nitas uniones de conjuntos. Sin embargo, en matem ticas surge la necesidad de efectuar uniones entre innitos conjuntos y, con los axiomas a que contamos hasta el momento, no es posible realizarlas. Tambi n surge la necesidad de realizar e intersecciones entre innitos conjuntos, pero esto puede garantizarse s lo con (Z1) y (Z2). o Por consiguiente, desarrollamos esta secci n para generalizar (Z4) y denir las uniones e ino tersecciones arbitrarias, adem s de probar sus propiedades iniciales. Veamos primero, de forma a intuitiva, c mo obtener dichas deniciones. o 4.1 Ejemplo. Sean B1 , . . . , Bn conjuntos. Es claro que z B 1 . . . Bn z B1 . . . z B 1 . . . Bn z B1 . . . Llamemos A = {B1 , . . . , Bn }. Luego, denotamos A = B1 . . . Bn (la uni n de los elementos de A), o A = B1 . . . Bn (la intersecci n de los elementos de A). o Notemos que z A si y solo si z B1 . . . Bn , lo cual signica que z est en alg n Bk o, a u 99

z Bn z Bn .

dicho de otro modo, existe un x A (el cual es Bk ) tal que z x. Por lo tanto, z Por otra parte, z A xA (z x).

A si y solo si z B1 . . . Bn , lo cual dice que z est en todos los Bk , es a

decir, que z pertenece a todos los elementos de A. Por lo tanto, z A xA (z x).

El ejemplo anterior, aunque indicado para nitas uniones, introduce una notaci n que se puede o aplicar en un caso general. Si A es un conjunto arbitrario, denotamos por A : la uni n entre los elementos de A o A : la intersecci n entre los elementos de A. o As, cuando A tiene innitos elementos, entonces una intersecci n de innitos objetos. Ahora, z o A es una uni n de innitos objetos y o A es

A signica que z pertenece a la uni n entre los o

elementos de A, es decir, z pertenece a alg n elemento de A. Por lo tanto, u z Por otra parte, z A xA (z x).

A signica que z pertenece a la intersecci n entre los elementos de A, es decir, o

z es elemento de todos los objetos que forman la intersecci n. Como estos objetos son precisamente o los elementos de A, se concluye z A xA (z x).

Independiente de la forma del conjunto A, se obtienen las mismas f rmulas del ejemplo anterior o para expresar la uni n e intersecci n entre los elementos de A. o o 4.2 Denici n (Uni n e intersecci n generalizada). Dado un conjunto A, denimos o o o A = {z / xA (z x)} , A = {z / xA (z x)} . A se lee la uni n de A y representa el conjunto formado al unir los elementos de A. o la intersecci n de A y representa el conjunto formado al intersectar los elementos de A. o 4.3 Lema. (a) Si A = entonces (b) es el universo (clase propia). 100 A es un conjunto. A se lee

Demostraci n. (a) Supongamos que A = , por lo cual x (x A). Por regla C, escojamos x0 o tal que x0 A. Veamos que Luego, como es un conjunto. (b) = {z / x(z x)}. Como la f rmula x(z x) siempre es verdadera (porque o x es falsa), entonces todos los conjuntos pertenecen a y, por lo tanto, clase propia (ver Ejercicio 3.6(c)). , lo cual hace que sea el universo A x0 , es decir, z ((xA (z x)) z x0 ). En efecto, si A xA (z x) entonces, como x0 A, se sigue z x0 . A x0 , se tiene Y ( A Y ), de donde, por el Lema del subconjunto,

Como la denici n de uni n generalizada es una extensi n de la denici n de uni n, para poder o o o o o garantizar que la aplicaci n de uniones generalizadas genera conjuntos debemos extender el axioma o (Z4). El verdadero axioma de Uni n para ZF tiene la siguiente presentaci n. o o (Z4) Axioma de Uni n. A Y xA zx (z Y ). o 4.4 Lema. Dado A conjunto, A es conjunto.

Demostraci n. Analicemos la siguiente porci n de la f rmula que hace parte de (Z4): o o o xA zx (z Y ) x (x A z (z x z Y )) x z (x A (z x z Y )) z x ((x A z x) z Y ) z ((x (x A z x)) z Y ) Ejercicio 2.9 z ((xA (z x)) z Y ) AY Por lo tanto, (Z4) (sin A ) equivale a Y ( A Y ), de donde, por el Lema del subconjunto (2.8), A es conjunto.

El siguiente resultado justica que podemos reemplazar (Z4) por (Z4), de modo que todos los resultados probados con (Z4) siguen siendo v lidos en ZF. a 4.5 Lema. (Z4) (Z4). 101

Demostraci n. Intuitivamente, o mente es as. z

{A, B} representa la uni n entre A y B. Probemos que efectivao

{A, B} x{A,B} (z x) Def x (x {A, B} z x) x ((x = A x = B) z x) Def {A, B} x ((x = A z x) (x = B z x)) x (x = A z x) x (x = B z x) x x x=A (z x) x=B (z x) zAzB Ejercicio 2.28. {A, B}). Como (Z4) implica que {A, B}

En particular, se tiene z ((z A z B) z

es conjunto, entonces Y z ((z A z B) z Y ), lo cual arma (Z4). M s all de esta a a conclusi n, la serie de equivalencias anterior permite concluir z (z o donde {A, B} = A B. {A, B} z A B), de

La conclusi n del Ejemplo 4.1 la justicamos con el siguiente resultado. o 4.6 Teorema. (a) (b) (c) = .

{A1 , . . . , An } = A1 . . . An . {A1 , . . . , An } = A1 . . . An . x(z x). Como la f rmula de la derecha es falsa, entonces o . Luego, z (z / ), de donde se sigue = por el

Demostraci n. (a) z o z Teorema 1.11. (c) z

es falsa, es decir, z /

{A1 , . . . , An } x{A1 ,...,An } (z x) x (x {A1 , . . . , An } z x) x ((x = A1 . . . x = An ) z x) x ((x = A1 z x) . . . (x = An z x)) x (x = A1 z x) . . . (x = An z x) x x x=A1 (z x) . . . x=An (z x) z A1 . . . z An z A1 . . . An

Def Def { } Tautologa

Ejercicio 2.28 Def .

Por (Z1) se sigue la igualdad de ambos conjuntos.

Las nociones de uni n e intersecci n generalizada surgen de la necesidad de unir e intersectar o o innitos conjuntos, como ilustramos a continuaci n. o 102

4.7 Ejemplo. En la secci n 3.5 explicamos la nueva notaci n y probamos los detalles de estos o o ejemplos. (1) Realizemos la uni n entre los intervalos de la forma (n, n + 1) para n Z. Al formar A = o {(n, n + 1) / n Z}, como uni n, adem s que es igual a R o a A es la uni n entre elementos de A, obtenemos o Z.
nZ

A como la

uni n de dichos intervalos. Se usa tambi n la notaci n o e o

(n, n + 1) para representar dicha

1 (2) Realicemos la intersecci n entre los intervalos de la forma [0, n ] para n Z+ . Para esto, o 1 formamos la colecci n A = [0, n ] / n Z y o

A representa la intersecci n de dichos intero

valos. La notaci n o

nZ

1 o a [0, n ] representa dicha intersecci n, adem s que es igual a {0}

(3) Realizemos la intersecci n entre los intervalos de la forma [x, +) para x R. En efecto, o formamos A = {[x, +) / x R}, donde A representa la intersecci n buscada. Esta intero secci n tambi n se denota por o e
xR

[x, +), la cual es igual a .

En el siguiente resultado generalizamos propiedades probadas en los Teoremas 3.7 y 3.12. 4.8 Teorema. (a) x A x (b) x A A x. A B. A. A. (e) A P( (f) A).

P(A) = A. A B B. A.

(c) xA (x B)

(g) A B (h) A B

(d) xA (B x) B

Demostraci n. (a) Supongamos x A y veamos que x o x A z x, de donde xA (z x), es decir, z (d) Supongamos xA (B x) y veamos que B como z B, entonces z x. Para el recproco, supongamos B hip tesis y transitividad de , B x. o Otra forma de probar la equivalencia es la siguiente: A.

A. En efecto, si z x, entonces

A. Si z B debemos probar z

A, es

decir, xA(z x). En efecto, supongamos x A. De la primera hip tesis se sigue B x y, o A. Si x A por (b) se sigue A x. Luego, por

xA(B x) xA zB (z x) Def zB xA (z x) zB (z A) Def B A Def . 103

(f) Veamos cada contenci n por separado. Es claro que yP(A) (y A), de donde o {x} P(A) x {x}, de donde yP(A) (x y), es decir, x (h) Supongamos A B. Si x A entonces x B y, por (b), donde B A por (d). P(A).

P(A) A

por (c). Para la otra contenci n, si x A, entonces {x} A, por lo cual {x} P(A). Luego, o

B x. As, xA(

B x), de

La uni n generalizada permite probar que ciertas colecciones de objetos no son conjuntos. Cono clumos la secci n con el siguiente ejemplo de dicho tipo de prueba. o 4.9 Corolario. Y x ({x} Y ). No existe el conjunto donde pertenecen todos los singuletes. Demostraci n. Supongamos que Y x ({x} Y ). Por regla C, escojamos S tal que x ({x} S). o Luego, {x} S y, por Teorema 4.8, {x} tanto, x (x tonces S y, como x {x}, conclumos x S. Por lo S), de donde Y x (x Y ), lo cual contradice el Teorema 2.9.

La idea de la prueba es notar que, si S es un conjunto donde pertenecen todos los singuletes, enS es el universo.
(b) A= (A {}). A = .

3.26 Ejercicio. Pruebe que (a) z / (b) z / A xA (z x). / A xA (z x). /

(c) Si A entonces

3.27 Ejercicio. (a) Pruebe (b) del Teorema 4.6. (b) Pruebe (b), (c), (e), (g) del Teorema 4.8.

3.31 Ejercicio. Pruebe que no existe el conjunto donde pertenecen todos los dobletes, es decir, Y x,y ({x, y} Y ).

3.32 Ejercicio. Sea (x) una f rmula de ZF. Sin imo 3.28 Ejercicio. Demuestre los siguientes enunciaportar si {x / (x)} es conjunto, responda los sigudos. ientes enunciados. (a) (A B) = A B (a) Indique una f rmula de ZF que represente la aro (b) (A B) = A B maci n {x / (x)} = . o (c) B (d) B A= A= (A {B}) (A {B}) (b) Dena las colecciones {x / (x)}. {x / (x)} y

3.29 Ejercicio. Indique si las siguientes armaciones son ciertas en general o no. Justique su respuesta. (i) (ii) A= (A B A = B. A) es conjunto.

(c) Pruebe que {x / (x)} es conjunto si y solo si {x / (x)} es conjunto. (d) Si {x / (x)} = , pruebe que conjunto. {x / (x)} es

(iii) x B P(x) P(P( B)). 3.30 Ejercicio. Pruebe los siguientes enunciados. (a) Si x,yA (x y = ) entonces A = .

(e) Si {x / (x)} es clase propia, pruebe que {x / (x)} es conjunto. (f) Si denotamos V = {x / x = x} (el universo) y R = {x / x x}, halle V y R. /

104

3.5. Conjuntos denidos mediante operaciones


Nos servimos del siguiente ejemplo para introducir la notaci n de conjuntos denidos por opo eraciones. 5.1 Ejemplo. (a) Es com n usar {2n / n Z} para denotar el conjunto de enteros pares. Luego, u y {2n / n Z} si y solo si y = 2n para alg n n Z. Por lo tanto, u y {2n / n Z} nZ (y = 2n). (b) x2 / x Q denota el conjunto de cuadrados de n meros racionales. Por ejemplo, u para alg n x Q, es decir, u y x2 / x Q xQ (y = x2 ).
4 9

est en a

dicho conjunto, pero 2 no. Esto se sigue de que, en general, y x2 / x Q cuando y = x2

En general, si A es un conjunto y t(x) un t rmino (que depende de la variable x), los ejemplos e anteriores hacen referencia a colecciones del tipo {t(x) / x A}. Esta representa la colecci n de o objetos de la forma t(x) con x A. De la misma forma, se intuye que y {t(x) / x A} si y solo si y = t(x) para alg n x A, de donde nos basamos para dar la siguiente noci n. u o 5.2 Denici n. Sea A un conjunto, t(x) un t rmino y y una variable que no gura en t(x). Denio e mos {t(x) / x A} = {y / xA (y = t(x))}. Por lo tanto, se cumple y {t(x) / x A} xA (y = t(x)). Seg n el Lema 2.7, las variables libres de {t(x) / x A} son A y las variables de t(x) excepto x. u Seg n la notaci n, queda la pregunta de si {t(x) / x A} siempre es conjunto. Con los axu o iomas (Z1)-(Z5) no se puede dar una prueba general de este hecho, aunque en la mayora de los casos en matem ticas se logra dar una prueba sencilla, seg n el caso. a u Sin importar que {t(x) / x A} sea conjunto o no, podemos establecer los siguientes resultados. Para lo que resta de esta secci n, jamos t(x) un t rmino donde no aparecen las variables y ni o e Y y denotamos por T = {t(x) / x A}. 5.3 Teorema (Cambio de variable). Sea (y) una f rmula de ZF donde x no es libre. Entonces: o (a) yT (y) xA (t(x)). 105

(b) yT (y) xA (t(x)). Demostraci n. (a) o yT (y) y (y T (y)) y ((xA (y = t(x))) (y)) y xA (y = t(x) (y)) xA y (y = t(x) (y)) y xA y=t(x) (y) xA (t(x)) notaci n o Ejercicio 2.24 Ejercicio 2.26 Ejercicio 2.28.

5.4 Lema. (a) vA (t(v) {t(x) / x A}). (b) {t(x) / x A} B xA (t(x) B). Demostaci n. (a) Si v A entonces t(v) = t(v). Luego, v A t(v) = t(v), de donde o xA (t(v) = t(x)), es decir, t(v) {t(x) / x A}. (b) {t(x) / x A} B T B Notaci n o yT (y B) xA (t(x) B) Cambio de variable (5.3).

Del Lema 5.4 formulamos el siguiente criterio para saber cu ndo {t(x) / x A} es conjunto. a 5.5 Lema. {t(x) / x A} es conjunto si y solo si Y xA (t(x) Y ). Demostraci n. Seg n el Lema 5.4, Y xA (t(x) Y ) equivale a Y ({t(x) / x A} Y ) lo o u cual, por el Lema del Subconjunto (2.8), equivale a que {t(x) / x A} es conjunto. 5.6 Ejemplo. (1) Como nZ (2n Z) entonces, por el Lema 5.5, {2n / n Z} es conjunto. (2) Como xQ (x2 Q) entonces, por el Lema 5.5, x2 / x Q es conjunto. 5.7 Ejemplo. Consideremos las colecciones del Ejemplo 4.7. (a) Dado n Z es claro que (n, n + 1) R. Por lo tanto, nZ ((n, n + 1) P(R)), de donde {(n, n + 1) / n Z} es conjunto por 5.5.
1 1 (b) Es claro que nZ+ ([0, n ] P(R)). Por 5.5 se sigue que [0, n ] / n Z+ es conjunto.

(c) xR ([x, +) P(R)), por lo cual {[x, +) / x R} es conjunto. 5.8 Lema. Dados A y B conjuntos, las siguientes colecciones son conjuntos. 106

(a) {A x / x B}. (b) {A x / x B}. (c) {x A / x B}.

(d) {A

x / x B}.

(e) {P(x) / x B}.

Demostraci n. (a) Dado x B se sigue x o es decir, A x P(A 5.5, {A x / x B} es conjunto.

B por el Teorema 4.8, de donde Ax A

B,

B). Por lo tanto, xB (A x P(A

B)), de donde, por Lema

(b) Dado x B es claro A x A, es decir, A x P(A). Por lo tanto, xB (A x P(A)) y, por Lema 5.5, {A x / x B} es un conjunto. (d) Directo de que xB (A x P(A)). B. Luego, del Teorema 3.12, P(x) P( B),

(e) Si x B entonces, por Teorema 4.8, x es decir, P(x) P(P( resultado por el Lema 5.5.

B)). Por lo tanto, xB (P(x) P(P(

B))), de donde se sigue el

5.9 Denici n. Denotemos7 por o


xA

t(x) =

{t(x) / x A} y
xA

t(x) =

{t(x) / x A}.

El primero indica la uni n entre los t(x) con x A, el segundo la intersecci n entre los t(x) con o o x A. Es claro que, si {t(x) / x A} es conjunto, entonces
xA

t(x) tambi n es conjunto. Por otra e

parte, si A = 0, por el Ejercicio 3.35


xA

t(x) es conjunto (incluso cuando {t(x) / x A} es clase

propia, ver el Ejercicio 3.32). El siguiente resultado permite ver qu cumplen los elementos de e dichas uniones e intersecciones. 5.10 Lema. (a) z
xA 8

t(x) xA (z t(x)). t(x) xA (z t(x)).


xA

(c) (d)

A=
xA

x. x.
xA

(b) z
7 8

A=

Seg n el Ejercicio 3.32, no es necesario que {t(x) / x A} sea conjunto para denir dichas colecciones u Resultado v lido a n cuando {t(x) / x A} no es conjunto. Ver Ejercicio 3.32. a u

107

Demostraci n. (a) o z
xA

t(x) z

{t(x) / x A} notaci n o notaci n o Def Cambio de variable (5.3). x.


xA

z T yT (z y) xA (z t(x)) (c) Como A = {x / x A}, entonces (d) Como A = {x / x A}, entonces A= A=

{x / x A} = {x / x A} =
xA

x.

Los incisos (c) y (d) rearman el signicado de los elementos de A. 5.11 Ejemplo. Con referencia en el Ejemplo 5.7. (1)
nZ

Ay

A como la uni n (intersecci n) entre o o

(n, n + 1) =

{(n, n + 1) / n Z}. Debido a la naturaleza de Z, dicha uni n tambi n se o e (n, n + 1). Veamos que es igual a R Z. Por lo tanto, Z. En efecto, si x (n, n + 1) R
nZ

representa por

(n, n + 1)
nZ

n=

entonces, por el Lema 5.10, nZ (x (n, n + 1)), es decir, x R y nZ (n < x < n + 1), lo cual claramente implica que x R Para la otra contenci n, si x R o Z. (n, n + 1) por el
nZ

Z, tomemos p el unico entero tal que p < x < p + 1, es

decir, x (p, p + 1). Por lo tanto, nZ (x (n, n + 1)), es decir, x Lema 5.10. (2) por
1 [0, n ] =

nZ+

1 [0, n ] / n Z+ . Por la naturaleza de Z+ , dicha intersecci n se suele denotar o

n=1

1 [0, n ]. Veamos que es igual a {0}. 1 1 [0, n ] nZ+ (x [0, n ]) 1 nZ+ (x R 0 x n ) x=0 x {0}

x
nZ+

Lema 5.10

El tercer paso se justica porque el unico n mero real no negativo menor (o igual) que cualquier u
1 n

con n Z+ es 0. Por esta misma raz n, o


nZ+

1 [0, n ) = {0}.

108

(3)
xR

[x, +) =

{[x, +) / x R}. Notemos que z


xR

[x, +) xR (z [x, +)) xR (z R z x) z R xR (z x)

Lema 5.10

La ultima f rmula quiere decir que z es un real que es mayor o igual que todos los reales, lo o cual es falso (en particular, no es mayor o igual que z + 1). Por lo tanto, z
xR

[x, +) es

falso, por lo cual z (z /


xR

[x, +)), es decir,


xR

[x, +) = . Lema 5.10

Por otra parte, z [x, +) xR (z [x, +))


xR

xR (z R z x) z R xR (z x) zR El ultimo paso se justica porque, para todo z R, xR (z x) es cierto (por ejemplo, z 1). Por lo tanto,
xR

[x, +) = R.

Para culminar la secci n, presentamos la generalizaci n de las leyes distributivas y DMorgan o o (del Teorema 3.6) para uniones e intersecciones generalizadas, lo mismo que su comportamiento frente a la operaci n partes (que generaliza algunos incisos del Teorema 3.12). Esto es posible por o la notaci n presentada en esta secci n. o o 5.12 Teorema. Sean A y B conjuntos. Leyes distributivas. (a) A
xB

(d) A
xB

x=
xB

(A

x).

x=
xB

(A x). (A x).
xB

Leyes con Partes (e) P


xB

(b) A
xB

x=

x =
xB

P(x). x .
xB

Leyes DMorgan (c) B = A


xB

x=
xB

(A

x).

(f)
xB

P(x) P

Demostraci n. (a) o z A
xB

x zAz
xB

Def

z A xB (z x) Lema 5.10 xB (z A z x) xB (z A x) Def (A x) Lema 5.10. z


xB

109

Por (Z1) se sigue la igualdad. (c) Supongamos B = , es decir, x (x B). zA


xB

x z Az /
xB

Def Ejercicio 3.37 x (x B) y K.16 Def Lema 5.10.

z A xB (z x) / xB (z A z x) / xB (z A x) z xB (A x) Por (Z1) se sigue la igualdad. (f) Dado x B, por el Teorema 4.8, x Por lo tanto, xB (P(x) P( P
xB

B, de donde P(x) P(

B) por Teorema 3.12. P(x) P(


xB

B)), de donde, por Ejercicio 3.38,

B) =

x .

3.33 Ejercicio. Sea v una variable que no gura en t(x). Pruebe que {t(x) / x A} = {t(v) / v A}. 3.34 Ejercicio. Demuestre: (a) Teorema 5.3(b). (b) Lema 5.4(b) cuando B es clase propia.

3.38 Ejercicio. Demuestre los siguientes enunciados (basados en 4.8). (a) x A t(x)
xA

t(x).

(b) x A
xA

t(x) t(x).

t(x) B. (c) xA (t(x) B) (c) Lema 5.4(a) utilizando el inciso anterior (partienxA do de T T). t(x). (d) xA (B t(x)) B xA (d) Lema 5.8(c). t(x). t(x) (e) A B (e) Lema 5.10(b). xB xA (f) A B
xB

3.35 Ejercicio. Pruebe que {t(x) / x A} = si y solo si A = . 3.36 Ejercicio. Sea A = {B1 , . . . , Bn }. Pruebe (a) {t(x) / x A} = {t(B1 ), . . . , t(Bn )}. (b) (c)
xA xA

t(x)
xA

t(x).

Sugerencia: Utilize el Teorema 4.8 con la Denici n o 5.9 para obtener pruebas directas. 3.39 Ejercicio. Pruebe (b), (d) y (e) del Teorema 5.12. 3.40 Ejercicio. Demuestre los siguientes enunciados cuando B = (excepto (a), que no necesita esta hip tesis). o (a)
xB

t(x) = t(B1 ) . . . t(Bn ). t(x) = t(B1 ) . . . t(Bn ).

3.37 Ejercicio. Demuestre (a) y {t(x) / x A} xA (y = t(x)). / (b) z /


xA

x x
xB

A=
xB

(x (x
xB

A). A).

t(x) xA (z t(x)). / t(x) xA (z t(x)). /


xA

(b) (c) A

A= x=

(c) z /

(A x).
xB

xB

110

(d) A
xB

x=
xB

(A x).

(d) Si A = entonces
BA

B A=

=
BA

B.

3.41 Ejercicio. Sea U un conjunto. Para cada A U denotemos A = U A. Dado A P(U ), demuestre (a) A U. A U. B
BA

(e) Si A = entonces (f) ( {U }) = U .

(A {U }).

(b) Si A = entonces (c) Si A = entonces

=
BA

B.

(g) Los dos incisos anteriores permiten denotar por = U . Con esto, pruebe que las leyes en (c) y (d) son v lidas cuando A = . a

3.6. Otros axiomas de ZF


Presentamos en esta secci n los otros 3 axiomas de ZF y algunas de sus consecuencias princio pales. Debido a que el 99 % de las areas de matem ticas diferente a la L gica pueden describirse sin a o necesidad de los axiomas de Reemplazamiento y Regularidad, no los utilizaremos a ellos ni a sus consecuencias para el desarrollo de lo que sigue del texto, tampoco para ejercicios, a menos que se indique lo contrario. (Z6) Axioma del Innito. X ( X

xX (s(x) X)) donde se denota s(x) = x {x}.

El axioma del Innito permite construir los conjuntos num ricos N, Z, Q, R y C, entre otros e conjuntos innitos. En muchos de nuestros ejemplos nos referimos a estos conjuntos pero asumiendo su denici n y propiedades, lo cual se logra probar desde (Z6). Sin (Z6), es imposible probar o que existe alg n conjunto innito. u (Z7) Esquema Axiom tico de Reemplazamiento. Sea (x, y) una f rmula de ZF donde Y no es a o libre. Para cualquier conjunto A, si xA !y (x, y) entonces Y xA yY (x, y). Si xA !y (x, y) entonces la f rmula xA yY (x, y) equivale a {y / xA (x, y)} Y o (ver Ejercicio 3.42). Por lo tanto, 6.1 Teorema. Sea (x, y) una f rmula de ZF donde Y no es libre. Si xA !y (x, y), (Z7) implica o que {y / xA (x, y)} es conjunto. Demostraci n. De las hip tesis y (Z7) se sigue que Y xA yY (x, y), lo cual es equivalente o o a Y ({y / xA (x, y)} Y ). Luego, por el Lema del subconjunto (2.8), {y / xA (x, y)} es conjunto. La consecuencia m s importante de (Z7) es el siguiente resultado. a 111

6.2 Corolario. Si A es un conjunto y t(x) un t rmino, (Z7) implica que {t(x) / x A} es conjunto. e Demostraci n. Sea y una variable que no gura en t(x). Es claro que xA !y (y = t(x)). Luego, o por el Teorema 6.1, {y / xA (y = t(x))} es conjunto, el cual es {t(x) / x A}. Muchos de los objetos de la forma {t(x) / x A} presentados en la secci n 3.5 se probaron que o son conjuntos debido al axioma de Partes. En teora de conjuntos, cuando se acepta (Z7) entre sus axiomas, se da importancia a clasicar qu resultados necesitan estrictamente el axioma de Partes e para demostrase. (Z8) Axioma de Regularidad. X (X = zX (X z = )). El axioma de Regularidad se puede interpretar si vemos la relaci n como una especie de o menor estricto(a pesar de que no sea transitiva). La f rmula X z = equivale a yX (y z), o es decir, que no hay objetos en X menores que z. Por lo tanto, (Z8) dice que, si X = , entonces existe un objeto z X donde no hay objetos en X menores que el (recuerde, el menor es en este caso). Una consecuencia de (Z8), seg n la interpretaci n anterior, es que no existen sucesiones innitas u o decrecientes respecto a , es decir, que no existe una sucesi n de la forma o x0 x1 x2 . . . xn . . . Consecuencias de (Z8) relacionadas con este hecho se tienen en el Ejercicio 3.46. El hecho m s relevante de (Z8) es que permite estructurar el universo por niveles, donde cada a conjunto se puede poner en un nivel especco de modo que, si x y, entonces el nivel de x es menor que el nivel de y. Por eso es que (Z8) implica que x (x x) pues, si x x, entonces el nivel / de x sera menor que el mismo nivel de x, lo cual es absurdo. (Z7) no es un axioma relevante en otras areas de la matem tica (excepto L gica) porque las a o colecciones del tipo {t(x) / x A} que se utilizan solo necesitan del axioma de Partes para que sean conjuntos. (Z8) tampoco es relevante debido a que no es necesario dar una estructura al universo para probar teoremas importantes. El uso de (Z7) y (Z8) es relevante en l gica matem tica, o a donde una estructura m s especca del universo permite generar resultados muy potentes, adem s a a 112

de ofrecer pruebas alternativas y sencillas a resultados dentro de otras areas de las matem ticas. a Para nalizar la discusi n de este captulo, hablamos del axioma de Elecci n. Recordemos que o o ZFC denota ZF con el axioma de Elecci n, teora donde tiene lugar toda la matem tica contemo a por nea. El papel de dicho axioma, en un modo intuitivo, es poder convertir una prueba que contiene a innitas aplicaciones de regla C en una prueba de nitos pasos, lo cual la hace v lida como prueba a de una teora de primer orden. Debido a que los resultados de este texto son esencialente b sicos, a no se necesita el axioma de Elecci n en sus demostraciones. o
3.42 Ejercicio. Suponga que xA !y (x, y). y (Z7). Pruebe que xA yB (x, y) equivale a que 3.45 Ejercicio. S lo con (Z1), el Teorema 6.1 y (Z5), o {y / xA (x, y)} B. pruebe (Z2)9 . 3.43 Ejercicio. Suponga que, para cualquier conjunto A y t rmino t(x), {t(x) / x A} es conjunto. 3.46 Ejercicio. Utilice (Z8) para probar los sigue Pruebe que esto implica (Z7). Sugerencia: Al supon- ientes resultados. er xA !y (x, y), dena el t rmino t(x) de la sigu- (a) (x x). e / x iente forma: si x A, llame t(x) al unico y tal que (b) x,y (x y y x). / (x); si x A, llame t(x) = . / / 3.44 Ejercicio. Pruebe que (Z1), (Z2), (Z5) y (Z7) (c) x,y,z ((x y y z) z x). implican (Z3). Sugerencia: Tome A = P(P()), el (d) (x x . . . x / 1 2 n1 xn ) xn x1 . cual es conjunto por (Z1), (Z2) y (Z5). Puede utilizar 6.1 y 6.2 ya que estos son consecuencias de (Z1), (Z2) (e) La clase de Russell es el universo.

En cierta bibliografa se toma el Teorema 6.1 como el axioma de Reemplazamiento, lo cual hace que (Z2) y (Z3) sean redundantes. Esto reduce ZF a 6 axiomas. Sin embargo, ZFC sin (Z2) no prueba (Z2).

113

114

Captulo 4

Relaciones y Funciones

En este captulo formalizamos todas las nociones sobre relaciones y funciones en la teora ZF, adem s que suministramos todas sus pruebas. Debido a que estos conceptos son muy importantes a en matem ticas, sus deniciones son una primera evidencia de que la matem tica b sica se puede a a a formalizar en ZF. Para el desarrollo de este captulo, dedicamos la primera secci n a denir par ordenado, rela o ciones y todos los conceptos b sicos alrededor de ella. En la segunda secci n introducimos un tipo a o de relaci n especca llamada producto cartesiano. En la tercera secci n desarrollamos el concepto o o de funci n (una de las nociones centrales en matem ticas despues de los n meros) y, en la ultima o a u secci n, vemos c mo se proyectan las im genes y preim genes de conjuntos bajo una relaci n eso o a a o pecca. Todos los conceptos de este captulo, as como el anterior, representan fundamentos b sicos a sobre los cuales se sostiene toda la matem tica. a

4.1. Relaciones
El concepto de relaci n est s soportado por la noci n de par ordenado. Intuitivamente, para dos o a o conjuntos x y y un par ordenado (x, y) representa una coordenada con primera componente x y segunda componente y o, dicho de otra forma, una sucesi n de dos objetos x y y en donde importa o el orden. En contraste, como {x, y} = {y, x}, la noci n de doblete se considera como par no ordeo nado. Entre las varias formas de denir un par ordenado, la m s usual es la siguiente. a

1.1 Denici n (Par ordenado). Dados dos conjuntos x y y, denimos (x, y) = {x}, {x, y} . o Independiente de como se dena par ordenado, la siguiente armaci n es la que le da sentido a o su naturaleza. 1.2 Teorema (Propiedad fundamental de los pares ordenados). (x, y) = (a, b) (x = a y = b). Demostraci n. Supongamos que (x, y) = (a, b), es decir, {x}, {x, y} o cedamos por disyunci n de casos. o Caso {x} = {a} {x, y} = {a, b}: Se sigue que x = a y, como {x, y} = {a, b}, entonces x = a y = b o x = b y = a. Procedamos de nuevo por casos. Caso x = a y = b: Es lo que se quiere probar. Caso x = b y = a: Como x = a entonces y = a = x = b, de donde x = a y = b. Caso {x} = {a, b} {x, y} = {b}: Como a, b {a, b}, entonces a, b {x}, de donde a = x y b = x. Por otra parte, como x, y {x, y}, entonces x, y {b}, es decir, x = b y y = b. Luego, se sigue x = a y = b. El recproco es inmediato. Veamos en el siguiente ejemplo c mo el concepto de par ordenado permite denir cualquier o relaci n como un conjunto. o 1.3 Ejemplo. Consideremos, intuitivamente, la relaci n R dada por la siguiente gura. o R
a b c 1 2 3

{a}, {a, b} . Del

Ejercicio 3.15 se sigue que {x} = {a} {x, y} = {a, b} o {x} = {a, b} {x, y} = {b}. Pro

Entonces denimos R = {(a, 1), (b, 1), (b, 2), (b, 3)}, es decir, la relaci n es el conjunto de pares o ordenados que est n relacionados. Esta denici n de R suministra suciente informaci n en relaci n a o o o con su forma intuitiva y, se puede notar, que dos objetos x y y est n relacionados por R si y solo si a (x, y) R. 116

En general, mediante el mismo procedimiento, cualquier relaci n se puede denir como el cono junto de pares ordenados formados por parejas relacionadas. 1.4 Denici n (Relaci n). Una relaci n es un conjunto de pares ordenados. Dicho de otro modo, o o o un conjunto R es relaci n si zR x,y (z = (x, y)). Denotamos por xRy (x, y) R, lo cual o formaliza la idea de que dos objetos se relacionan cuando la pareja ordenada formada por ellos est en la relaci n. a o La siguiente noci n indica un modo general para denir relaciones mediante una propiedad. o 1.5 Denici n. Dada una f rmula (x, y), denimos o o {(x, y) / (x, y)} {z / x,y ((x, y) z = (x, y))} a la colecci n formada por los pares ordenados que satisfacen la f rmula (x, y). o o Para denir una relaci n seg n la noci n anterior hay que probar que es conjunto, pues de esa o u o forma tambi n se generan clases propias. Independiente del caso, se tiene el siguiente resultado. e 1.6 Lema. Dada una f rmula (x, y), o (u, v) {(x, y) / (x, y)} (u, v). Adem s, si {(x, y) / (x, y)} es un conjunto, entonces es una relaci n. a o Demostraci n. o (u, v) {(x, y) / (x, y)} (u, v) {z / x,y ((x, y) z = (x, y))} Def. 1.5 x,y ((x, y) (u, v) = (x, y)) x,y ((x, y) u = x v = y) Tma 1.2 x y (u = x v = y (x, y)) x (u = x y (v = y (x, y))) x y u=x v=y (x, y) x u=x (x, v) (u, v) Ahora, supongamos que {(x, y) / (x, y)} es un conjunto. Si z {(x, y) / (x, y)}, por Denici n 1.5 se sigue que x,y ((x, y) z = (x, y)). Por regla C, escojamos x y y tal que (x, y) y o z = (x, y), de donde x,y (z = (x, y)). Por lo tanto, z{(x,y) / (x,y)} x,y (z = (x, y)), es decir, {(x, y) / (x, y)} es relaci n por Denici n 1.4. o o 117

En la prueba anterior, usamos las mismas variables x y y como las constantes que se toman al aplicar regla C, lo cual es permitido siempre y cuando x (ni y) est n previamente determinadas. En e adelante, dejamos implcito el uso de la regla C en una prueba mediante una frase del tipo existe x tal que .... 1.7 Ejemplo. (a) Dado un conjunto A, denimos IA = {(x, y) / x A x = y} la relaci n ideno tidad en A (en la secci n 4.2 probamos que IA es conjunto). Es claro, del Lema 1.6, que o xIA y (x A x = y). M s a n, IA = {(x, x) / x A}. En efecto, a u z IA x,y (x A x = y z = (x, y)) Def. 1.5 x y (x = y x A z = (x, y)) y x x=y (x A z = (x, y)) x (x A z = (x, x)) xA (z = (x, x)) (b) es una relaci n, pues zx,y (z = (x, y)) es cierta. Otra forma de justicarlo es ver que o I = , el cual es relaci n seg n (1). o u (c) Sea R = {(x, y) / x, y R zR+ (y = x + z)} (en la secci n 4.2 probamos que R es cono junto). Dados x, y R, notese que xRy (x, y) R Notaci n o x, y R zR+ (y = x + z) zR+ (y = x + z) x<y De hecho, la denici n del menor estricto es <= R = {(x, y) / x, y R zR+ (y = x + z)}, o en donde, por notaci n, x < y si y solo si (x, y) <. o Para relaciones, la contenci n e igualdad adquieren la siguiente forma. o 1.8 Lema. Sean R y S relaciones, A un conjunto. Entonces (a) R A x,y ((x, y) R (x, y) A). (b) R = S x,y (xRy xSy). Demostraci n. (a) Si R A es claro que (x, y) R (x, y) A, de donde al generalizar se o sigue una implicaci n del resultado. Ahora supongamos que x,y ((x, y) R (x, y) A) y o 118

veamos R A. En efecto, si z R, como R es relaci n se sigue x,y (z = (x, y)). Luego, de o la hip tesis, (x, y) R (x, y) A pero, como z = (x, y) y z R, entonces (x, y) R. o Por lo tanto, (x, y) A, es decir, z A. (b) R=S RSS R x,y ((x, y) R (x, y) S) x,y ((x, y) S (x, y) R) por (a) x,y ((x, y) R (x, y) S) x,y (xRy xSy) notaci n. o

El siguiente es un concepto familiar para el uso de relaciones. 1.9 Denici n. Dado un conjunto R o (1) Si R es relaci n y (x, y) R, se dice que y es imagen de x bajo R o tambi n que x es preimagen o e de y bajo R. (2) domR = {x / y ((x, y) R)} es el dominio de R, el cual representa el conjunto de objetos que tienen alguna imagen bajo R (3) ranR = {y / x ((x, y) R)} es el rango de R, el cual representa el conjunto de objetos que tienen alguna preimagen bajo R. N tese que, en las deniciones de dominio y rango, no se exige que R sea una relaci n, aunque o o por lo general se considera la denici n s lo para relaciones. o o 1.10 Lema. Dado un conjunto R, (a) (x, y) R x, y R. R.

(b) domR y ranR son subconjuntos de (c) domR y ranR son conjuntos. (d) (x, y) R (x domR y ranR)

Demostraci n. (a) Supongamos (x, y) R. Luego, (x, y) o ci n 1.1, {x, y} (x, y), de donde {x, y} o directamente que x, y R. 119

R. Por otra parte, de la DeniR y se sigue

R. Por lo tanto, {x, y}

(b) Si x domR, por Denici n 1.9 existe un y tal que (x, y) R. Luego, de (a), x o De manera an loga se demuestra que ranR a (c) Directo de (b) y del Lema del subconjunto. R.

R.

(d) Si (x, y) R entonces y ((x, y) R) y x ((x, y) R). Por lo tanto, x domR y y ranR.

1.11 Ejemplo. (1) Si R = {(a, 1), , (b, 5)} entonces, aunque no sea relaci n (ver Ejercicio 4.1), o domR = {a, b} y ranR = {1, 5}. (2) domIA = A y ranIA = A. En efecto, x domIA y (xIA y) Def. dom y (x A x = y) Def. IA x A y (x = y) xA pues y (x = y) es cierta. (3) dom = y ran = , lo cual se sigue directamente de (1) y de que = I. (4) Del Ejemplo 1.3, domR = {a, b} y ranR = {1, 2, 3}. (5) Del Ejemplo 1.7, dom(<) = R y ran(<) = R. El siguiente resultado ilustra que la uni n de relaciones es una relaci n y que el dominio diso o tribuye respecto a la uni n. o 1.12 Teorema. (a) Si R y S son relaciones, entonces R S es relaci n. o (b) Si RA (R relaci n), entonces o (c) dom(R S) = domR domS. (d) ran(R S) = ranR ranS. (e) dom (f) ran A=
RA

A es relaci n. o

domR. ranR.

A=
RA

Demostraci n. (b) Sea z o

A. Luego, existe R A tal que z R. Por hip tesis R es relaci n, o o

por lo cual x,y (z = (x, y)). 120

(a) Considere A = {R, S}. Es claro que A satisface la hip tesis de (b), de donde se concluye o A = R S es una relaci n. o (f) y ran A x ((x, y) A) Def. ran x RA ((x, y) R) RA x ((x, y) R) RA (y ranR) Def. ran ranR y
RA

(e) Por (f), ran(R S) = ran

{R, S} =
x{R,S}

ran(x) = ranR ranS.

1.13 Denici n. (1) R1 = {(x, y) / (y, x) R} la relaci n inversa de R. o o (2) S R = {(x, z) / y ((x, y) R (y, z) S)} la composici n de R con S. o En la secci n 4.2 probamos que R1 y S R son conjuntos, m s a n, por el Lema 1.6 son o a u relaciones. 1.14 Ejemplo. (a) Tomemos R como en el Ejemplo 1.3. Luego, R1 = {(1, a), (1, b), (2, b), (3, b)}, cuyo diagrama de Venn se ilustra a continuaci n. o R1
1 2 3 a b c

R1 R = {(a, a), (a, b), (b, a), (b, b)}, situaci n representada en la siguiente gura. o R
a b c 1 2 3

R1
a b c

Por otra parte, R R1 = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}. 121

R1
1 2 3 a b c

R
1 2 3

De este ejemplo es claro que la composici n no es una operaci n conmutativa. o o


1 (b) IA = IA . En efecto, 1 Def. inversa (x, y) IA (y, x) IA y A y = x Def. IA xAx=y (x, y) IA Def. IA . 1 1 Por lo tanto, x,y ((x, y) IA (x, y) IA ). Como IA y IA son relaciones, entonces del 1 Lema 1.8 se sigue IA = IA .

(c) 1 = , lo cual se sigue de (2) porque = I. (d) R = . En efecto, si (x, z) R , existe un y tal que (x, y) (y, z) R, pero (x, y) es falso. Por lo tanto, (x, z) R . Al generalizar x y y, como R es relaci n / o se sigue que es igual a por el Ejercicio 4.2. (e) Si R es una relaci n y ranR A, entonces IA R = R. En efecto, o (x, z) IA R y ((x, y) R (y, z) IA ) y ((x, y) R y A y = z) y y=z ((x, y) R y A) (x, z) R z A (x, z) R z ranR z A (x, z) R z ranR A (x, z) R z ranR (x, z) R Def. Def. IA

Lema 1.10 porque ranR A Lema 1.10.

Como IA R y R son relaciones, al generalizar se sigue la igualdad por el Lema 1.8. 1.15 Teorema. (a) Si R es relaci n, entonces (R1 )1 = R. o (b) domR1 = ranR. (c) ranR1 = domR. 122

(d) (S R)1 = R1 S 1 . (e) T (S R) = (T S) R. (f) dom(S R) domR. (g) ran(S R) ranS. (h) Si ranR domS, entonces dom(S R) = domR. Demostraci n. (a) Sea R una relaci n. Luego, o o (x, y) (R1 )1 (y, x) R1 Def. inversa (x, y) R Def. inversa. Se ha probado que x,y ((x, y) (R1 )1 (x, y) R). Luego, como R y (R1 )1 son relaciones, del Lema 1.8 se sigue la igualdad. (b) x domR1 y ((x, y) R1 ) Def. dom y ((y, x) R) Def. inversa x ranR Def. ran. (e) (x, w) T (S R) z ((x, z) S R (z, w) T ) z (y ((x, y) R (y, z) S) (z, w) T ) z y ((x, y) R (y, z) S (z, w) T ) y z ((x, y) R (y, z) S (z, w) T ) y ((x, y) R z ((y, z) S (z, w) T )) y ((x, y) R (y, w) T S) (x, w) (T S) R Al generalizar, como ambos son relaciones, por el Lema 1.8 son iguales. (f) Si x dom(S R) entonces existe z tal que (x, z) S R. Luego, existe un y tal que (x, y) R y (y, z) S, de donde se sigue x domR. (g) ran(S R) = dom(S R)1 = dom(R1 S 1 ) domS 1 = ranS. por los incisos (b), (d) y (f). (h) Por (f) tenemos una contenci n. Para la otra, supongamos x domR, es decir, existe y tal que o (x, y) R. Luego, y ranR y, como ranR domS, entonces y domS. Por lo tanto, existe z tal que (y, z) S. Luego, como (x, y) R (y, z) S, entonces (x, z) S R, de donde x dom(S R). Def. Def.

Def. Def. .

123

Por ultimo, veamos que la colecci n de todos los pares ordenados es una clase propia. o 1.16 Teorema. Y x,y ((x, y) Y ). Demostraci n. Supongamos que existe un Y tal que x,y ((x, y) Y ). Como (x, y) Y se sigue o x domY . Luego, x (x domY ), de donde V x (x V ), lo cual es una contradicci n. o
4.1 Ejercicio. Si R, pruebe que R no es relaci n. o 4.2 Ejercicio. Sea R una relaci n. Pruebe o (a) R = si y solo si x,y ((xRy)). (b) I = . 4.3 Ejercicio. (a) Si R es relaci n y S R, eno tonces S es relaci n. o (b) Si R es relaci n o S es relaci n, entonces R S o o es relaci n. o (c) Si RA (R relaci n), entonces o A es relaci n. o 4.8 Ejercicio. Pruebe que (a) R = . (b) Del Teorema 1.15 los incisos (c) y (d). (c) S R = ranR domS = . (d) Si R es relaci n y domR A, entonces RIA = o R. (d) ran A
RA

ranR.

(e) D ejemplos donde la igualdad no se cumpla en e (a) y en (b).

4.4 Ejercicio. Si R es relaci n, pruebe la equivaleno 4.9 Ejercicio. Demuestre: cia entre las siguientes armaciones. (a) (R S)1 = R1 S 1 . (i) R = . (ii) domR = . (iii) ranR = . 4.5 Ejercicio. Pruebe (a) ranR (b) ranIA = A. (c) Teorema 1.12, incisos (c) y (d). 4.6 Ejercicio. Si R S, pruebe que domR domS y ranR ranS. 4.7 Ejercicio. Demuestre que (a) dom(R S) domR domS. (b) ran(R S) ranR ranS. (c) dom A
RA

(b)

=
RA

R1 .

(c) T (R S) = (T R) (T S). (d) (R S) T = (R T ) (S T ). (e) T (f) A=


RA

R.

(T R). (R T ).
RA

AT = A
RA

(g) T

T R.

(h) D un ejemplo donde no se de la igualdad en el e inciso anterior. 4.10 Ejercicio. Pruebe Y R (R relaci n R o Y ). Con esto demuestre que {R / R relaci n} es o clase propia.

domR.

4.2. Producto cartesiano


El plano cartesiano de coodenadas reales, denotado por R R (o tambi n R2 ), es bien conocido e como conjunto de puntos del tipo (x,y) donde x, y R, el cual es escena de muchos c lculos a 124

y procedimientos matem ticos. En miras a precisar su denici n, podemos incluso generalizar la a o noci n para cualquier par de conjuntos. o 2.1 Denici n (Producto cartesiano). Dados dos conjuntos A y B, denimos o A B = {(x, y) / x A y B} como el producto cartesiano entre A y B. Del Lema 1.6, (x, y) A B (x A y B). 2.2 Lema. Si A y B son conjuntos, entonces A B es conjunto. M s a n, es una relaci n. a u o Demostraci n. Si z A B, por Denici n 1.5 existen x y y tal que x A, y B y z = (x, y). o o Luego, {x} A B y {x, y} A B, por lo cual {x}, {x, y} P(A B). Por lo tanto, {x}, {x, y} P(A B), es decir, (x, y) P(A B), de donde (x, y) P(P(A B)) o, lo que es lo mismo, z P(P(A B)). Por lo tanto, A B P(P(A B)), de donde se sigue que A B es conjunto. Adem s, por el a Lema 1.6, A B es una relaci n. o 2.3 Ejemplo. (a) R R es el plano cartesiano donde se suelen gracar situaciones de la geometra analtica. (b) B = y A = . En efecto, si (x, y) B entonces x y y B, lo cual es absurdo. Por lo tanto, x,y ((x, y) B) y, como B es relaci n, del Ejercicio 4.2 se / o sigue que B = . (c) (A B)1 = B A. En efecto, (x, y) (A B)1 (y, x) A B Def. inversa y A x B Def. 2.1 x By A (x, y) B A Def. 2.1. Como (A B)1 y B A son relaciones, del Lema 1.8 se sigue la igualdad. (d) dom(A B) = A si B = , si B = . 125 ran(A B) = B si A = , si A = .

En efecto, si B = , se sigue que dom(A B) = dom = . Ahora, si B = , entonces x dom(A B) y ((x, y) A B) Def. dom y (x A y B) Def. x A y (y B) xAB = x A. Por otra parte, ran(A B) = dom((A B)1 ) = dom(B A) = B si A = si A = .

(e) Es claro que <= {(x, y) / x, y R zR+ (y = x + z)} R R. Por lo tanto, < es un conjunto. El ultimo ejemplo ilustra la utilidad del producto cartesiano para probar que una colecci n de o pares ordenados es conjunto, lo cual se debe a que cualquier relaci n est denida dentro de un o a producto cartesiano (ver Ejercicio 4.12). El siguiente resultado ilustra m s ejemplos del mismo a tipo. 2.4 Corolario. Los siguientes son conjuntos. (a) IA . (b) R1 . Demostraci n. Es f cil ver que IA A A, R1 ranR domR y S R domR ranS, lo o a cual hace que sean conjuntos por el Lema del subconjunto. Los siguientes resultados presentan el comportamiento del producto cartesiano frente a la contenci n y a ciertas operaciones entre conjuntos. o 2.5 Teorema. (a) A B = A = B = . (b) A C A B C B. (c) B D A B A D. (d) Si B = , entonces A B C B A C. (e) Si A = , entonces A B A D B D. 126 (c) S R.

(f) Si B = , entonces A B = C B A = C. (g) Si A = , entonces A B = A D B = D. Demostraci n. (a) En el ejemplo 2.3 se prueba . Ahora, si A = y B = , existen x A y o y B. Luego, (x, y) A B, de donde A B = . (b) Si A C, entonces x A x C, de donde (x A y B) (x C relaciones, del Lema 1.8 se sigue A B C B. (c) Prueba an loga a (b). a (d) Supongamos que B = y A B C B. Veamos que A C. En efecto, si x A, como B = existe y B, de donde (x, y) A B. Luego, (x, y) C B y se sigue x C. (e) Prueba an loga a (d). a (f) Supongamos B = . Luego, AB =C B AB C B C B AB AC C A (b) y (d) A = C. (g) Prueba an loga a (f). a

y B), es

decir, (x, y) A B (x, y) C B. Al generalizar, como los productos cartesianos son

2.6 Teorema. (a) A (B C) = (A B) (A C). (b) (A B) C = (A C) (B C). (c) (A B) (C D) = (A C) (B D). (d) A (B C) = (A B) (A C). (e) (A B) C = (A C) (B C). (f) (A B) (C D) (A C) (B D). 127

Demostraci n. (a) o (x, y) A (B C) x A y B C Def. 2.1 x A (y B y C) (x A y B) (x A y C) (x, y) A B (x, y) A C Def. 2.1 (x, y) (A B) (A C). Como ambos son relaciones, del Lema 1.8 se sigue la igualdad. (b) Prueba an loga a (a). a (d) (A B) (A C) = (A A) (B C) = A (B C), donde la primera igualdad se sigue de (c). (e) Prueba an loga a (d). a (f) Como A A C entonces A B (A C) B por el Teorema 2.5. Adem s, como a B B D, entonces (A C) B (A C) (B D) por el mismo Teorema. Por lo tanto, AB (AC)(B D). De forma an loga, se demuestra que C D (AC)(B D). a Luego, se concluye que (A B) (C D) (A C) (B D).

4.11 Ejercicio. Pruebe (a) A = . (b) (B C) (A B) = A C si B = , si B = .

(d) (A C) (B D) = (A B) (C D) sii A = C B = D (A C B D) (C A D B). (e) Si B = y A B C D, entonces A C.

(c) Si R A B entonces R es una relaci n, (f) Si A = y A B C D, entonces B D. o domR A y ranR B. (g) Si B = , D = y A B = C D entonces A = C. 4.12 Ejercicio. Pruebe que las siguientes armaciones son equivalentes. (h) Si A = , C = y A B = C D entonces B = D. (i) R es relaci n. o 4.15 Ejercicio. Dados A y B conjuntos, pruebe que (ii) R domR ranR. (iii) A,B (R A B). (iv) E (R E E). 4.13 Ejercicio. Pruebe, en detalle, el Corolario 2.4. 4.14 Ejercicio. Demuestre (a) Teorema 2.6(c). (b) D un ejemplo para comprobar que la igualdad e no se da en (f) del Teorema 2.6. (c) (A C) (B D) = (A B) (A D) (C B) (C D). (a) {A C / C B} y {C A / C B} son conjuntos. (b) A B=
CB

(A C). (C A).
CB

(c) ( B) A =

(d) Si B = entonces A ( B) A =
CB

B=
CB

(A C) y

(C A).

4.16 Ejercicio. Pruebe que Y A,B (A B Y ).

128

4.3. Funciones
Debido a la necesidad de efectuar transformaciones entre estructuras matem ticas, el concepa to de funci n toma gran importancia por su capacidad de materializar operaciones y asignaciones. o Ocupamos el desarrollo de esta secci n al planteamiento de todas las propiedades b sicas fundao a mentales alrededor del concepto de funci n. o 3.1 Denici n (Funci n). Una funci n es una relaci n tal que todos los objetos del dominio tienen o o o o una unica imagen. Dicho de otra forma, f es funci n sii se satisface o (i) f es relaci n, o (ii) xdomf !y (xf y) (todo elemento del dominio tiene una unica imagen). Si f es una funci n y x domf , denimos f (x) como el unico y tal que xf y (la unica imagen de o x). La propiedad (ii) de la denici n de funci n, m s la noci n de f (x), hacen que una funci n se o o a o o considere, m s all de un conjunto de pares ordenados, como una operaci n que transforme cada a a o elemento del dominio en su imagen. Esto hace entonces que las propiedades de una funci n f deo pendan s lo de dos nociones: dominio y f (x). El siguiente resultado ofrece un primer acercamiento o a este hecho. 3.2 Lema. Si f es una funci n, entonces o (a) x domf (x, f (x)) f . (b) (x, y) f (x domf

y = f (x)).

(c) f = {(x, f (x)) / x domf }. Demostraci n. (a) Si x domf , de la Denici n 3.1 f (x) es el unico y tal que (x, y) f . Por lo o o tanto, (x, f (x)) f . (b) Si (x, y) f , es claro que x domf . Luego, por (a) y la unicidad de la imagen de x, se sigue que y = f (x). Para el recproco, supongamos x domf y y = f (x). De (a) se sigue que (x, f (x)) f , es decir, (x, y) f . 129

(c) Si z f , como f tambi n es relaci n, entonces existen x y y tal que z = (x, y). As, e o (x, y) f , de donde, por (b), x domf y y = f (x). Por lo tanto, z = (x, f (x)) {(x, f (x) / x domf }. La contenci n recproca es directa de (a), pues para todo x domf se tiene (x, f (x)) f . o

El siguiente resultado ilustra que la igualdad de dos funciones depende del dominio y la noci n o de f (x). 3.3 Lema. Sean f y g funciones. Entonces (a) f g (domf domg xdomf (f (x) = g(x))). (b) f = g (domf = domg xdomf (f (x) = g(x))). Demostraci n. (a) Si f g, del Ejercicio 4.6 se sigue domf domg. Ahora, si x domf , del o Lema 3.2 (x, f (x)) f , de donde (x, f (x)) g. Luego, como g tambi n es funci n, del Lema e o 3.2(b) se sigue que f (x) = g(x). El recproco se prueba con el Lema 3.2(c) pues, si domf domg y xdomf (f (x) = g(x)), entonces f = {(x, f (x) / x domf } = {(x, g(x)) / x domf } {(x, g(x)) / x domg} =g Por lo tanto, f g. (b) f =g f ggf domf domg xdomf (f (x) = g(x)) domg domf (a) xdomg (f (x) = g(x)) domf = domg xdomf (f (x) = g(x)) xdomg (f (x) = g(x)) domf = domg xdomf (f (x) = g(x)) xdomf (f (x) = g(x)) domf = domg xdomf (f (x) = g(x)) Lema 3.2 xdomf (f (x) = g(x)) domf domg Lema 3.2.

Por lo general, cuando se dene una funci n, no se necesita indicarla precisamente como un o conjunto de pares ordenados. La raz n de esto es que la informaci n necesaria para construir una o o funci n es determinar su dominio y el comportamiento de las im genes. Para justicar lo anterior, o a precisamos la siguiente notaci n. o 130

3.4 Denici n. (1) f : A B signica que f es funci n, domf = A y ranf B. En este caso, a o o B se le suele llamar codominio de f . (2) Dado un t rmino t(x), e f : A B x f (x) = t(x) signica que f : A B y xA (f (x) = t(x)). En siguiente resultado indica que la notaci n (2) basta para denir una funci n, sin necesidad o o de determinar precisamente el conjunto de pares ordenados al que corresponde. 3.5 Teorema. Sean A y B conjuntos, t(x) un t rmino tal que xA (t(x) B). Entonces f = e {(x, t(x)) / x A} satisface f : A B x f (x) = t(x) Demostraci n. Sea f = {(x, t(x)) / x A} con las hip tesis del enunciado. Dado x A se tiene o o que t(x) B, de donde (x, t(x)) A B. Por lo tanto, f A B, lo cual permite concluir, por el Ejercicio 4.11(c), que f es relaci n, domf A y ranf B. o Para probar domf = A s lo falta ver que A domf . En efecto, si x A entonces (x, t(x)) f , o de donde x domf . Ahora veamos que f es funci n. Como es una relaci n, basta probar que xA !y ((x, y) f ). En o o efecto, si x A, obtenemos que (x, t(x)) f . Por otra parte, si (x, w) f , entonces existe un x A tal que (x, w) = (x , t(x )), de donde x = x y w = t(x ) = t(x). Por lo tanto, (x, t(x)) f y, al cuanticar t(x) con y , se obtiene y ((x, y) f

w ((x, w) f w = t(x))

w ((x, w) f w = y)).

Por el resultado I.5 del Captulo 2, se sigue que !y ((x, y) f ). Hemos probado que f es funci n, domf = A y ranf B, de donde f : A B por la Denici n o o 3.4. Falta probar entonces que xA (f (x) = t(x)). En efecto, si x A, entonces (x, t(x)) f y, por el Lema 3.2, se sigue t(x) = f (x). 3.6 Ejemplo. (1) Del Teorema 3.5, para denir una funci n f tal que o f : A A x f (x) = x 131

basta vericar xA (x A) (lo cual es cierto) y denir f = {(x, x) / x A}. Se puede notar aqu que f = IA , por lo cual IA : A A x IA (x) = x es decir, IA es una funci n con dominio (y rango) igual a A y xA (IA (x) = x). o (2) Supongamos c B. Del Teorema 3.5 se puede denir una funci n h de modo que o h : A B x h(x) = c Para esto, seg n el enunciado del Teorema citado, se denota h = {(x, c) / x A} = A {c}. u h se conoce como la funci n constante con dominio A y valor c, pues xA (h(x) = c). o (3) La funci n o f : R R x f (x) = x2 1 +1

est denida, seg n el Teorema 3.5, como f = (x, x21 ) / x R . a u +1 (4) es una funci n, pues = I es funci n. M s a n, : B para cualquier conjunto B. o o a u En adelante, para denir funciones como en los ejemplos anteriores, dejamos de enunciar su denici n como conjunto de pares ordenados, pues el Teorema 3.5 basta para justicar su buena o denici n. Por ejemplo, para denir o g : R R x g(x) = x3 dejamos de enunciar que g = (x, x3 ) / x R . 3.7 Ejemplo. Sea R una relaci n. Las proyecciones de R son 1 : R domR y 2 : R o ranR tal que, si (x, y) R, entonces 1 (x, y) = x y 2 (x, y) = y. En efecto, consideramos 1 = (x, y), x / (x, y) R y 2 = (x, y), y / (x, y) R . Veamos que 1 cumple las propiedades indicadas (para 2 , ver el Ejercicio 4.27). Es claro que 1 R domR, por lo cual 1 es una relaci n, dom1 R y ran1 domR. M s o a a n, dom1 = R. En efecto, si (x, y) R, entonces (x, y), x 1 , de donde (x, y) domR. u Ahora veamos que 1 es funci n, para lo cual basta probar que zR !w ((z, w) 1 ). Si z R, o como R es una relaci n, existen x y y tal que z = (x, y). Luego, (x, y) R, de donde (x, y), x o 132

1 . Ahora, si (x, y), v 1 , existen x y y tal que (x , y ) R y (x, y), v = (x , y ), x . Luego, (x, y) = (x , y ) y v = x , de donde x = x = v. Por lo tanto, (x, y), x 1 v [ (x, y), v 1 v = x], es decir, z, x 1 v [ z, v 1 v = x], de donde w (z, w) 1 v [(z, v) 1 v = w] . Por I.5, lo anterior equivale a !w ((z, w) 1 ). Hemos probado que 1 es funci n, dom1 = R y ran1 domR, por lo cual 1 : R domR. o Adem s, si (x, y) R, entonces (x, y), x 1 y, como 1 es funci n, del Lema 3.2 se sigue a o 1 (x, y) = x. 3.8 Denici n. Sea f una funci n. o o (1) f es inyectiva (o uno-a-uno) si x,ydomf (f (x) = f (y) x = y). De forma equivalente, x,ydomf (x = y f (x) = f (y)). (2) f es invertible si f 1 (relaci n inversa) es funci n. o o (3) Si f : A B, f es sobreyectiva (o, simplemente, sobre) si ranf = B. Esto equivale a yB xA (y = f (x)) (todo elemento de B tiene una preimagen), pues ranf = B ranf B B ranf B ranf porque f : A B yB (y ranf ) yB (y {f (x) / x A}) Ejercicio 4.17 yB xA (y = f (x)) (4) Si f : A B, f es biyectiva si es inyectiva y sobre. 3.9 Ejemplo. (1) IA : A A es biyectiva. Como ranIA = A, claramente IA es sobre. Por otra parte, x,yA (x = y x = y), es decir, x,yA (IA (x) = IA (y) x = y) (porque IA (x) = x para x A), de donde IA es inyectiva.
1 o Adem s, IA es invertible, pues IA = IA es funci n. a

(2) : B es inyectiva, pues = I es inyectiva y, adem s, invertible. es sobreyectiva si a y solo si B = (porque ran = ). 133

(3) Sea c B y h : A B denida por h(x) = c para todo x A. Si A tiene al menos dos elementos, entonces h no es inyectiva, pues si a y b son dos elementos distintos en A, entonces h(a) = h(b) = c, pero a = b. Del mismo modo, si A tiene al menos dos elementos, entonces h no es invertible porque, como h = A {c}, h1 = {c} A, el cual claramente no es funci n o cuando A tiene al menos dos elementos. Por otra parte, ranh = ran(A {c}) = {c} si A = , si A = .

Si A = , entonces h es sobreyectiva si y solo si ranh = {c}. (4) Las proyecciones 1 : R domR y 2 : R ranR son sobreyectivas. Si x domR, entonces existe un y tal que (x, y) R. Luego, x = 1 (x, y), de donde (x, y) R x = 1 (x, y). As, xdomR zR (x = 1 (z)), lo cual signica que 1 es sobre. El siguiente resultado justica el vnculo entre la inyectividad y la invertibilidad de una funci n. o 3.10 Teorema. Sea f una funci n. Entonces f es inyectiva si y solo si es invertible. o Demostraci n. Consideremos el siguiente enunciado. o (i) x domf (f (x), x) f 1 . Si x domf , entonces (x, f (x)) f por Lema 3.2, de donde (f (x), x) f 1 Supongamos que f es inyectiva y veamos que es invertible, es decir, f 1 es funci n. Claramente, o es una relaci n. Ahora, sea y domf 1 y veamos que !x ((y, x) f 1 ). La existencia es directa o de que y domf 1 , por lo cual falta garantizar la unicidad. Si (y, x1 ) f 1 y (y, x2 ) f 1 , entonces (x1 , y) f y (x2 , y) f . Como f es funci n, del Lema 3.2 se sigue que x1 , x2 domf , o y = f (x1 ) y y = f (x2 ). Luego, f (x1 ) = f (x2 ) y, como f es inyectiva, x1 = x2 . Para el recproco, supongamos que f 1 es funci n y veamos que f es inyectiva. Sean x, y domf o tal que f (x) = f (y). De (i) se sigue que (f (x), x) f 1 y (f (y), y) f 1 y, como f 1 es funci n, o del Lema 3.2 se obtiene x = f 1 (f (x)) y y = f 1 (f (y)). Como f (x) = f (y), se concluye que x = f 1 (f (x)) = f 1 (f (y)) = y. El siguiente resultado es importante al considerar la composici n de funciones. o 3.11 Teorema. Sean f y g funciones. Entonces (a) g f es funci n, dom(g f ) domf , ran(g f ) rang y xdom(gf ) ([g f ](x) = g(f (x))). o 134

(b) Si ranf domg entonces dom(g f ) = domf . (c) Si f : A B y g : B C, entonces g f : A C. Demostraci n. (a) Del Teorema 1.15 se sigue directamente que g f es relaci n, dom(g f ) o o domf y ran(g f ) rang. Veamos ahora que (i) (x, z) g f (f (x) domg z = g(f (x))). Si (x, z) g f entonces existe y tal que (x, y) f y (y, z) g. Como f y g son funciones, entonces del Lema 3.2 se sigue que x domf , y domg, y = f (x) y z = g(y). Luego, f (x) domg y z = g(y) = g(f (x)). (ii) x dom(g f ) (f (x) domg (x, g(f (x)))) g f. Si x dom(g f ) entonces existe z tal que (x, z) g f . Luego, de (i), f (x) domg y z = g(f (x)), por lo cual (x, g(f (x))) g f . Para ver que gf es funci n, probemos que xdom(gf ) !z ((x, z) gf ). Sea x dom(gf ), o de donde f (x) domg y (x, g(f (x))) g f por (ii). Ahora, si (x, w) g f , entonces, por (i), w = g(f (x)). Por lo tanto, (x, g(f (x))) g f de donde z ((x, z) g f

w ((x, w) g f w = g(f (x))),

w ((x, w) g f w = z)).

Por lo tanto, por I.5, !z ((x, z) g f ). Finalmente, si x dom(g f ), por (i) se sigue que (x, g(f (x))) g f y, como g f es funci n, del Lema 3.2 se concluye g(f (x)) = [g f ](x). o (b) Directo del Teorema 1.15. (c) f : A B signica que f es funci n, domf = A y ranf B. g : B C signica que g es o funci n, domg = B y rang C. Luego, por (a), g f es funci n y ran(g f ) rang C. o o Adem s, como ranf B = domf , de (b) se sigue que dom(g f ) = domf = A. Por lo tanto, a g f : A C.

Mediante la composici n de funciones, obtenemos las siguiente propiedades para las funciones o invertibles. 3.12 Teorema. Sea f una funci n invertible. Entonces o 135

(a) f 1 es invertible y (f 1 )1 = f . (b) domf 1 = ranf y ranf 1 = domf . (c) f 1 f = Idomf .

(d) xdomf (f 1 (f (x))) = x. (e) f f 1 = Iranf . (f) yranf (f (f 1 (y)) = y).

Demostraci n. (a) Del Teorema 1.15, (f 1 )1 = f es funci n, por lo cual f 1 es funci n inverto o o ible. (b) Directo del Teorema 1.15. (c) Del Ejercicio 4.17, f : domf ranf y f 1 : ranf domf , por lo cual, por el Teorema 3.11, f 1 f : domf domf . Por lo tanto, dom(f 1 f ) = domf = dom(Idomf ). Por el Lema 3.3, para ver que f 1 f = Idomf , basta probar que xdomf ([f 1 f ](x) = Idomf (x)). En efecto, si x domf , por (i) de la prueba del Teorema 3.10, (f (x), x) f 1 . Luego, como f 1 es funci n, del Lema 3.2 se sigue que x = f 1 (f (x)) = [f 1 f ](x) (la ultima igualdad por o el Teorema 3.11). Por lo tanto, Idomf (x) = [f 1 f ](x). (d) En la prueba anterior se vi que, si x domf , entonces x = f 1 (f (x)). o (e) Dado que f 1 es invertible, al aplica (c) a f 1 se obtiene f f 1 = (f 1 )1 f 1 = Idomf 1 = Iranf . (f) Dado y ranf = domf 1 , por (d), f (f 1 (y)) = (f 1 )1 (f 1 (y)) = y.

3.13 Corolario. Sea f : A B biyectiva. Entonces f es invertible, f 1 : B A es biyectiva, f 1 f = IA y f f 1 = IB . Demostraci n. Si f : A B es biyectiva, entonces f es una funci n inyectiva tal que domf = A o o y ranf = B. Luego, del Teorema 3.10, f es invertible y, del Teorema 3.12, domf 1 = ranf = B, ranf 1 = domf = B y f 1 es invertible, es decir, inyectiva (por el Teorema 3.10). Por lo tanto, f 1 : B A y es biyectiva. Adem s, del Teorema 3.12, f 1 f = Idomf = IA y f f 1 = a Iranf = IB . Es muy com n denir funciones por tramos en matem ticas, lo cual formalizamos respecto a la u a compatibilidad de funciones. 3.14 Denici n. (1) Dos funciones f y g son compatibles si xdomf domg (f (x) = g(x)). o 136

(2) Sea B un conjunto de funciones (es decir f B (f funci n)). Decimos que B es un sistema o compatible de funciones si f,gB (f y g compatibles). 3.15 Lema. Sean f y g funciones. Entonces (a) f es compatible consigo misma. (b) Si domf domg = entonces f y g son compatibles. Demostraci n. (a) Como domf domf = domf y xdomf (f (x) = f (x)), el resultado es o inmediato. (b) Si domf domg = entonces xdomf domg (f (x) = g(x)) es cierto directamente.

3.16 Ejemplo. (1) Sean f : [0, +) R x f (x) = x g : (, 0] R x g(x) = x

Estas dos funciones son compatibles. En efecto, si x domf domg, como domf domg = [0, +) (, 0] = {0}, entonces x = 0 y f (x) = f (0) = 0 = g(0) = g(x). (2) Las funciones f1 : [1, ) R x f1 (x) = x f2 : (, 1] R x f2 (x) = x

no son compatibles. Por ejemplo, 0, 5 domf1 domf2 = [1, 1], f1 (0, 5) = 0, 5 y f2 (0, 5) = 0, 5. M s a n, x[1,1] a u (3) Sean g1 : (, 1) R x g1 (x) = 1 g3 : (1, +) R x g3 (x) = 2 g2 : [1, 1] R x g2 (x) = x + 1
{0} (f1 (x)

= f2 (x)).

Como g1 , g2 y g3 tienen dominios disjuntos entre s, por el Lema 3.15 ellas son compatibles entre s. Por lo tanto, {g1 , g2 .g3 } es un sistema compatible de funciones. (4) Dado n Z, denamos fn : [n, n + 1) R x fn (x) = n 137

Entonces B = {fn / n Z} es un sistema compatible de funciones. En efecto, si f, g B entonces existen m, n Z tal que f = fm y g = fn . Si m = n es claro que fm es compatible con fn (al ser la misma funci n); si m = n entonces fm y fn tienen dominios disjuntos, por lo o cual son compatibles. Para denir una funci n por tramos, primero se toman los diferentes tramos y se unen al nal. o Los ejemplos anteriores representan tramos que se pueden unir para generar una nueva funci n. o Para esto, es suciente y necesario que los tramos sean compatibles, lo cual materializamos en el siguiente resultado. 3.17 Teorema. (a) Sean f y g funciones. Entonces ellas son compatibles si y solo si f g es una funci n. En este caso, dom(f g) = domf domg, ran(f g) = ranf rang y, para todo o x dom(f g), [f g](x) = f (x) si x domf , g(x) si x domg.

(b) Sea B un conjunto de funciones. Entonces B es un sistema compatible de funciones si y solo si B es funci n. En este caso, dom o B=
f B

domf , ran

B=
f B

ranf y

(f B x domf ) Demostraci n. (b) Sea B un conjunto de funciones. o (i) (f B x domf ) (x, f (x)) (x, f (x)) f , de donde (x, f (x)) (ii) Del Teorema 1.12 es claro que ranf .
f B

B (x) = f (x).

B. Si f B y x domf , entonces f B. B=
f B

By

B es una relaci n, dom o

domf y ran

B=

Ahora supongamos que B es un sistema compatible y veamos que basta probar que xdom
B !y ((x, y)

B es funci n. Para esto, o B y (x, y2 ) B. Por

B). Sea x dom

B, de donde se sigue directa-

mente la existencia del y. Para la unicidad, supongamos (x, y1 )

denici n de uni n, existen f, g B tal que (x, y1 ) f y (x, y2 ) g. Del Lema 3.2 se sigue o o que x domf , y1 = f (x), x domg y y2 = g(x). Como f, g B y B es un sistema compatible, entonces f y g son compatibles. Adem s, como x domf domg, entonces f (x) = g(x) a (por compatibilidad), es decir, y1 = y2 . Para el recproco, supongamos que B es funci n y veamos que B es un sistema compatible. o 138

Sean f, g B y supongamos x domf domg. De (i) se sigue que (x, f (x)) (x, g(x)) B pero, como B es funci n, entonces f (x) = g(x). o Por otra parte, cuando B es funci n, si f B y x domf , de (i) se sigue (x, f (x)) o

B y B,

lo cual permite concluir que [ B](x) = f (x). (a) Es claro que f y g son compatibles si y solo si {f, g} es un sistema compatible de funciones, lo cual equivale, por (b), a que {f, g} es funci n, es decir, a que f g es funci n. Del Teorema o o 1.12 es claro que dom(f g) = domf domg y ran(f g) = ranf rang. Ahora, si f g es funci n y x dom(f g), veamos que o [f g](x) = f (x) si x domf , g(x) si x domg.

En efecto, si x domf , como f {f, g}, de (b) se sigue que [ {f, g}](x) = f (x), es decir, [f g](x) = f (x). De forma an loga, si x domg, como g {f, g} se obtiene [ {f, g}](x) = a g(x), es decir, [f g](x) = g(x).

3.18 Ejemplo. Consideremos las funciones denidas en el Ejemplo 3.16. (1) Como f y g son compatibles, del Teorema 3.17 se sigue que f g es funci n. Adem s, dom(f o a g) = domf domg = R y ran(f g) = ranf rang = [0, +) [0, +) = [0, +), de donde f g : R R x [f g](x) = x si x 0, x si x 0.

3 g 2 1 f

-3

-2

-1

Esta es la forma en que se dene la funci n valor absoluto por tramos. De hecho, para x R, o se dene |x| = [f g](x). 139

(2) f1 f2 no es funci n, pues no son compatibles. En el ejemplo se vio que f1 (0, 5) = 0, 5 y o f2 (0, 5) = 0, 5, por lo no se puede denir [f1 f2 ](0, 5) debido a que no hay unicidad en la imagen para 0, 5 respecto a f1 f2 .

(3) Como {g1 , g2 , g3 } es un sistema compatible de funciones, entonces

{g1 , g2 , g3 } es funci n, es o

decir g1 g2 g3 es funci n. Es claro que dom(g1 g2 g3 ) = domg1 domg2 domg3 = R, o ran(g1 g2 g3 ) = rang1 rang2 rang3 = {1} [0, 2] {2} = [0, 2], de donde

g1 g2 g3 : R R si x < 1, 1 x [g1 g2 g3 ](x) = x + 1 si 1 x 1, 2 si 2 < x

3 2 g1 g2 -3 -2 -1 1 1 2 3 g3

De esta forma, una funci n denida por tramos es la uni n de sus tramos, teniendo en cuenta o o que estos sean compatibles entre s.

(4) Como B = {fn / n Z} es un sistema compatible de funciones, entonces decir,


nZ nZ fn

B es funci n, es o B=

es funci n. Adem s, dom o a {n} = Z. Por lo tanto,

B=
nZ

domfn =

[n, n + 1) = R y ran
nZ

ranfn =

B : R R tal que, si n Z y n x < n + 1,

nZ

entonces [ B](x) = n. 140

3 2 1 -3 -2 -1 f1 f2 f3 f0 1 -1 -2 -3 f1 2 3 f2

f3

De esta forma queda denida la funci n parte entera por tramos. As, se dene x = [ o para x R.

B](x)

Para terminar esta secci n de funciones, veamos el concepto de inversas laterales de una funci n. o o 3.19 Denici n. Sea f : A B. o (1) g es inversa a izquierda de f si g : B A tal que g f = IA . (2) g es inversa a derecha de f si g : B A tal que f g = IB . 3.20 Ejemplo. (1) La funci n o f : R R x f (x) = ex es inyectiva, pero no es sobreyectiva, puesto que ranf = R+ . Como f es inyectiva, por el Teorema 3.10 f es invertible y, claramente f 1 : R+ R x f 1 (x) = ln x Sin embargo, aunque f 1 es la inversa de f , tomar el codominio de f como R hace que f 1 no sea inversa a izquierda ni a derecha de f , pues se requiere que el dominio de dichas inversas sea R, el codominio de f . Lo que se puede hacer es aumentar el dominio de f 1 a R, por ejemplo, 141

si consideramos g : (, 0] R tal que x(,0] (g(x) = 0) entonces f g : R R x [f g](x) = ln x si x > 0, 0 si x 0.

es inversa a izquierda de f (ver la prueba del Teorema 3.21(c)), pero no es inversa a derecha, pues, por ejemplo, f ([f g](1)) = f (0) = 1 = IR (1). Tambi n se puede decir que f : R R+ , en cuyo caso es sobreyectiva y f 1 se convierte en e inversa a izquierda y a derecha. (2) Es claro que la funci n sen : R [1, 1] es sobreyectiva, pero no es inyectiva, de donde o no es invertible. Sin embargo, la funci n1 arc sen : [1, 1] R se considera como una ino versa de sen. Esto es porque arc sen es inversa a derecha de sen, pues, para y [1, 1], sen(arc sen(y)) = y = I[1,1] (y). Por otra parte, arc sen no es inversa a izquierda de sen, por ejemplo, arc sen(sen()) = arc sen(0) = 0 = . El siguiente resultado reeja algunas situaciones que se presentan en los ejemplos anteriores. 3.21 Teorema. Sea f : A B. (a) Si f tiene una inversa a izquierda entonces es inyectiva. (b) Si f tiene una inversa a derecha entonces es sobre. (c) Si A = y f es inyectiva, entonces f tiene una inversa a derecha. Demostraci n. (a) Supongamos que g : B A es una inversa a izquierda de f , es decir, g f = o IA . Veamos que f es inyectiva. En efecto, si x, y A y f (x) = f (y), entonces g(f (x)) = g(f (y)). Luego, del Teorema 3.11, [g f ](x) = [g f ](y), es decir, IA (x) = IA (y), de donde x = y. (b) Supongamos que g : B A es una inversa a derecha de f , es decir, f g = IB . Veamos que f es sobre. En efecto, si y B entonces g(y) A y y = IB (y) = [f g](y) = f (g(y)), por lo cual g(y) A y = f (g(y)). Luego, al cuanticar g(y) con x , se sigue xA (y = f (x)). (c) Supongamos A = , por lo cual existe d A. Si f es uon-a-uno, entonces es invertible por el Teorema 3.10, pero f 1 : ranf A. Consideremos g:B
1

ranf A y g(y) = d

Dado y [1, 1], arc sen(y) se dene como el unico [ , ] tal que sen() = y. De esto se sigue que 2 2 ran(arc sen) = [ , ]. 2 2

142

y h = f 1 g. Como domf 1 rang = , entonces f 1 y g son compatibles. Luego, del Teorema 3.17, se sigue que h es funci n, m s a n, o a u h : B A y h(y) = f 1 (y) si y ranf , d si y B ranf .

Veamos que h es inversa a izquierda de f , es decir, h f = IA . Es claro que h f : A A, por lo cual dom(h f ) = A = dom(IA ). Para probar la igualdad entre las funciones, seg n el u Lema 3.3 basta ver que xA ([h f ](x) = IA (x)). En efecto, si x A, [h f ](x) = h(f (x)) Teorema 3.11 = f 1 (f (x)) pues f (x) ranf =x Teorema 3.12 = IA (x)

En el Teorema 3.21, (c) es un recproco de (a) cuando el dominio de f es no vaco. Sin embargo, el recproco de (b) no se puede probar en ZF para todos los casos. De hecho, dicho recproco es una armaci n equivalente al Axioma de Elecci n. o o El siguiente resultado ofrece una t cnica para demostrar que una funci n es biyectiva sin recurrir e o a la denici n, m s a n, permite determinar su inversa. o a u 3.22 Corolario. Sea f : A B. Si g : B A es inversa a izquierda y a derecha de f , entonces f es biyectiva y f 1 = g. Demostraci n. Dado que g es inversa a izquierda y a derecha de f , del Teorema 3.21 se sigue que o f es biyectiva. Luego, f 1 = f 1 IB = f 1 (f g) = (f 1 f ) g = IA g =g Ejercicio 4.29 g inv. a derecha Teorema 1.15 Teorema 3.12 Ejercicio 4.29.

4.17 Ejercicio. Sea f una funci n. Entonces o (a) ranf = {f (x) / x domf }. (b) ranf B xdomf (f (x) B). (c) B ranf yB xdomf (y = f (x)).

(d) f : domf ranf y es sobreyectiva. 4.18 Ejercicio. Sea f : A B. Demuestre: (a) Si ranf D entonces f : A D. (b) f : A ranf y es sobreyectiva.

143

(c) Si B C, entonces f : A C.

4.26 Ejercicio. Sea f una funci n. Pruebe que o

4.19 Ejercicio. Sea f un funci n. Pruebe la equiva- (a) Si domf = {a} entonces f es inyectiva. o lencia entre las siguientes armaciones. (b) Si domf = entonces f es inyectiva. (i) f = . (ii) domf = . (iii) ranf = . (iv) B (f : B). 4.20 Ejercicio. Si A = , pruebe que no existe f : A . 4.21 Ejercicio. Si f : A , pruebe que A = y f = . 4.22 Ejercicio. Pruebe el siguiente recproco del Teorema 3.5: si t(x) es un t rmino y e f : A B x f (x) = t(x) entonces f = {(x, t(x)) / x A} y xA (t(x) B). (c) Si ranf = entonces f es inyectiva. (d) Si f no es inyectiva, entonces domf = y ranf = . (e) Si f : A B y B = , entonces f es sobre. (f) Si f : A B no es sobre, entonces B = . 4.27 Ejercicio. Sea R una relaci n. Demuestre: o (a) 2 = (x, y), y / (x, y) R cumple 2 : R ranR y x,y ((x, y) R 2 (x, y) = y). (b) zR (z = (1 (z), 2 (z))). (c) Sean : R1 domR1 y : R1 1 2 ranR1 proyecciones. Entonces = 2 y = 1 2 1 . (d) 2 es sobreyectiva. (e) R es funci n si y solo si 1 es inyectiva. o (f) R1 es funci n si y solo si 2 es inyectiva. o

4.23 Ejercicio. Sea t(x) un t rmino tal que (g) R es funci n inyectiva si y solo si 1 y 2 son e o xA (t(x) B). Pruebe que existe una unica f tal inyectivas. que 4.28 Ejercicio. Sean f : X A y g : X B. f : A B Justique que se puede denir la funci n o x f (x) = t(x) 4.24 Ejercicio. Sea f una funci n y h f . Pruebe o que (a) h es funci n. o (b) xdomh (h(x) = f (x)). (c) h1 f 1 . (d) Si f es invertible, entonces h es invertible y yranh (h1 (y) = f 1 (y)). (e) Si f es inyectiva, entonces h es inyectiva. 4.25 Ejercicio. Sean f y g funciones. Pruebe (a) f g es funci n, dom(f g) domf domg y o ran(f g) ranf rang. (b) D un ejemplo de dos funciones f y g tal que e dom(f g) = domf domg y ran(f g) = ranf rang. (c) Si f g y domf = domg, entonces f = g. f g : X A B x [f g](x) = (f (x), g(x)) 4.29 Ejercicio. Sea f una funci n. Pruebe que o (a) Si ranf A entonces IA f = f . (b) Si domf A entonces f IA = f . 4.30 Ejercicio. Sea R una relaci n y h : X R. o Demuestre que h = (1 h) (2 h). (ver el Ejercicio 4.28). 4.31 Ejercicio. Sea R una relaci n, 1 y 2 sus o proyecciones. Demuestre que 1 2 = IR (ver el Ejercicio 4.28). 4.32 Ejercicio. Sean f y g funciones. (a) Si f y g son inyectivas, entonces gf es inyectiva e invertible. Cu l es su inversa? a (b) Si f : A B y g : B C son sobre, entonces g f : A C es sobre.

144

(c) Si f : A B y g : B C son biyectivas, entonces g f : A C es biyectiva. (d) Si f : A B, g : B C y g f : A C es sobre, entonces g es sobre. 4.33 Ejercicio. Sean f y g funciones. (a) f y g son compatibles si y solo si domf domg = dom(f g). (b) Si f g entonces f y g son compatibles.

(f) Si B D = entonces f y g son biyectivas si y solo si f g es biyectiva. 4.36 Ejercicio. Pruebe Y f (f funci n f o Y ). Con esto, pruebe que {f / f funci n} es clase o propia. 4.37 Ejercicio. Dados A y B conjuntos, dena A B = {f / f : A B}. Pruebe que (a) Si f : A B entonces f A B.
A A

(c) Si f g g f entonces f y g son compati- (b) bles. (c) 4.34 Ejercicio. Decimos que B es una cadena de (d) funciones si B es un conjunto de funciones tal que f,gB (f g g f ). Pruebe que (e) (a) Toda cadena de funciones es un sistema compatible de funciones.

B P(A B). B es conjunto. B = {}. = {}.

(f) Si A = , entonces A = .

4.38 Ejercicio. Sea f : A B. Pruebe que (b) Si B es una cadena de funciones inyectivas, es decir, B es una cadena de funciones tal que (a) Toda inversa a izquierda de f es sobre. f B (f uno-a-uno), entonces B es funci n y o (b) Toda inversa a derecha de f es inyectiva. es inyectiva. (c) Si f es biyectiva y g : B A es inversa a 4.35 Ejercicio. Sea f : A B y g : C D comizquierda de f , entonces g = f 1 . patibles. Pruebe que (d) Si f es biyectiva y g : B A es inversa a (a) f g : A C B D. derecha de f , entonces g = f 1 . (b) Si B D = entonces A C = . (e) Si g : B A es inversa a izquierda de f y (c) Si B D = entonces f y g son inyectivas si y h : B A es inversa a derecha de f , entonces solo si f g es inyectiva. f es biyectiva y g = h. M s a n, g = h = f 1 a u (d) Si f y g son sobre, entonces f g es sobre. (e) Si B D = y f g es sobre, entonces f y g son sobre. 4.39 Ejercicio. Sean f : A B y g : B A tal que xA yB (y = f (x) x = g(y)). Pruebe que f es biyectiva, invertible y g = f 1 .

4.4. Imagen directa e inversa


En esta secci n estudiamos una notaci n especial para determinar el comportamiento de los o o conjuntos respecto a la acci n de una relaci n o una funci n. Los siguientes conceptos ser n el o o o a centro de este an lisis. a 4.1 Denici n. (1) RA = {(x, y) R / x A} se llama la restricci n de R a A. o o (2) R[A] = {y / xA ((x, y) R)} es la imagen directa de A bajo R. (3) R1 [B] = {x / yB ((x, y) R)} es la imagen inversa de B bajo R. 145

Los conceptos anteriores se aplican, por lo general, cuando R es una relaci n y A domR. En o este caso, RA es una relaci n que se comporta como R, s lo que limita su dominio al conjunto A. o o domR A R RA ranR

R[A] representa el subconjunto de ranR sobre el cual se proyecta el conjunto A mediante la relaci n o R. domR A R ranR R[A]

Por ultimo, R1 [B] representa el conjunto de preim genes de objetos en B bajo la relaci n R. a o domR R B

R1 [B]

4.2 Lema. (a) RA R. (b) RA es un conjunto. M s a n, es una relaci n. a u o (c) dom(RA) = A domR. (d) Si A domR, entonces dom(RA) = A. 146

(e) ran(RA) = R[A]. (f) R[A] es conjunto. (g) R1 [B] = (R1 )[B] (la imagen directa bajo R1 ). (h) R1 [B] es conjunto. Demostraci n. (a) Si z RA entonces existen x y y tal que z = (x, y), x A y (x, y) R. Por o lo tanto, z R. (b) Directo de (a) y del Lema 1.6. (d) Si A domR, de (c) se sigue que dom(RA) = A domR = A. (e) y ran(RA) x ((x, y) RA) Def. ran x (x A (x, y) R) Def. 4.1 xA ((x, y) R) y R[A] Def. 4.1. (f) Directo de (e) y (b), pues R[A] es igual a un conjunto. (g) R1 [B] = {x / yB ((x, y) R)} = x / yB ((y, x) R1 ) = (R1 )[B]. (h) Directo de (g) y (f), pues R1 [B] es igual a un conjunto.

Las nociones de la Denici n 4.1 adquieren una forma alternativa cuando se trata de funciones. o 4.3 Teorema. Sea f una funci n, A domf . Entonces o (a) fA es una funci n. M s a n, o a u fA : A f [A] x [fA](x) = f (x) y es sobre. (b) f [A] = {f (x) / x A}. (c) f 1 [B] = {x domf / f (x) B}. 147

Demostraci n. (a) Del Lema 4.2, fA f de donde, por el Ejercicio 4.24, fA es una funci n y o o xdom(f ) ([f A](x) = f (x)). Adem s, del Lema 4.2, dom(f A) = A y ran(f A) = f [A], a A por lo cual fA : A f [A] x [fA](x) = f (x) y es sobre. (b) De (a) y el Lema 4.2, f [A] = ran(fA) = {[fA](x) / x A} = {f (x) / x A}. (c) x f 1 [B] yB ((x, y) f ) Def. 4.1 yB (x domf y = f (x)) Lema 3.2 x domf yB (y = f (x)) x domf y=fy(x) (y B) x domf f (x) B

4.4 Ejemplo. Sea f : R R x f (x) = |x| Luego, del Teorema 4.3, f R+ : R+ R es tal que [f R+ ](x) = |x| = x para x R+ , fR : R R es tal que [fR ](x) = |x| = x para x R y f{0} : {0} R tal que, para x {0}, [fR ](x) = |x| = 0. Tambi n f [[0, 1)] = {|x| / x [0, 1)} = {x / x [0, 1)} = [0, 1), e f [(1, 1)] = {|x| / x (1, 1)} = [0, 1), f 1 [[0, 1)] = {x R / |x| [0, 1)} = (1, 1) y f 1 [(1, 1)] = {x R / |x| (1, 1)} = (1, 1). De lo anterior, notese que f 1 [f [[0, 1)]] = (1, 1) y f [f 1 [(1, 1)]] = [0, 1). Por lo tanto, f 1 [f [[0, 1)]] = [0, 1) y f [f 1 [(1, 1)]] = (1, 1). Los conceptos de la Denici n 4.1 tambi n permiten determinar muchos aspectos sobre la como e posici n de relaciones. o

4.5 Teorema. (a) (S R)[A] = S[R[A]]. (b) (S R)1 [B] = R1 [S 1 [B]].

(c) dom(S R) = R1 [domS]. (d) ran(S R) = S[ranR]. 148

Demostraci n. (a) o z (S R)[A] xA ((x, z) S R) xA y ((x, y) R (y, z) S) y xA ((x, y) R (y, z) S) y ((xA ((x, y) R)) (y, z) S) y (y R[A] (y, z) S) yR[A] ((y, z) S) z S[R[A]] (b) (S R)1 [B] = (R1 S 1 )[B] = R1 [S 1 [B]] por (a). (d) Como dom(S R) domR (por Teorema 1.15), del Ejercicio 4.40 se sigue que ran(S R) = (S R)[domR]. Del mismo Ejercicio y (a), (S R)[domR] = S[R[domR]] = S[ranR], de donde el resultado se sigue directamente. Def. 4.1 Def.

Def. 4.1 Def. 4.1.

4.6 Teorema. (a) R[A B] = R[A] R[B]. (g) R1 [A B] R1 [A] R1 [B]. (b) R[ A] =
XA

R[X].

(h) R1 [ A]
XA

R1 [X]. B]. B].

(c) R1 [A B] = R1 [A] R1 [B]. (d) R1 [ A] =


XA

(i) R[A] (j) R1 [A]

R[B] R[A

R1 [X].

R1 [B] R1 [A

(e) R[A B] R[A] R[B]. (f) R[ A]


XA

(k) A domR R1 [R[A]]. (l) B ranR R[R1 [B]].

R[X].

Demostraci n. (b) o y R[ A] x A ((x, y) R) Def. 4.1 x (x A (x, y) R) x (XA (x X) (x, y) R) x XA (x X (x, y) R) XA x (x X (x, y) R) XA xX ((x, y) R) XA (y R[X]) Def. 4.1 R[X] y
XA

(a) Por (b), R[A B] = R[ {A, B}] =


X{A,B}

R[X] = R[A] R[B]. 149

(c) Directo de (a) al tomar imagen directa de R1 . (d) Directo de (b) al tomar imagen directa de R1 . (g) Directo de (e) al tomar imagen directa de R1 . (h) Directo de (f) al tomar imagen directa de R1 . (i) Si y R[A] R[B] entonces y R[A] y y R[B]. Del primero, existe x A tal que /

(x, y) R, mientras que el segundo indica que zB ((z, y) R), es decir zB ((z, y) R). / Al particularizar con x se sigue que x B (x, y) R pero, como (x, y) R, entonces / x B. Por lo tanto, x A / B (x, y) R, de donde y R[A B].

(j) Directo de (i) al tomar imagen directa de R1 . (k) Si x A domR entonces x A y existe un y tal que (x, y) R. Luego, y R[A], de donde yR[A] ((x, y) R). Por lo tanto, x R1 [R[A]].

El resultado anterior dice que las im genes directa e inversa son distributivas respecto a la uni n, a o mas no necesariamente respecto a la intersecci n y diferencia. Pero, cuando se trata de la imagen o inversa de una funci n, se satisface dicha distributividad. o 4.7 Teorema. Sea f una funci n. Entonces o (a) Si A = entonces f 1 [ A] =
XA

f 1 [X].

(b) f 1 [A B] = f 1 [A] f 1 [B]. (c) f 1 [A B] = f 1 [A] f 1 [B].

(d) f [f 1 [B]] B. Demostraci n. (a) Supongamos A = . Luego, o x f 1 [ A] x domf f (x) A Teorema 4.3 x domf XA (f (x) X) XA (x domf f (x) X) porque A = XA (x f 1 [X]) Teorema 4.3 f 1 [X] x
XA

150

(b) Por (a), f 1 [A B] = f 1 [ {A, B}] =


X{A,B}

f 1 [X] = f 1 [A] f 1 [B].

4.8 Ejemplo. Consideremos f : R R x f (x) = |x| Es f cil ver que f [(1, 0)] = f [(0, 1)] = (0, 1) por lo cual f [(1, 0)] f [(0, 1)] = (0, 1). Pero a f [(1, 0) (0, 1)] = f [] = . Por lo tanto, f [(1, 0) (0, 1)] = f [(1, 0)] f [(0, 1)]. Por otra parte, f [(2, 2)] f [(0, 1))] = [0, 2) (0, 1) = {0} [1, 2) y f [(2, 2) (0, 1)] = f [(2, 0] [1, 2)] = f [(2, 0]] f [[1, 2)] = [0, 2) [1, 2) = [0, 2), de donde f [(2, 2)] f [(0, 1))] = f [(2, 2) (0, 1)]. Esto muestra que la imagen directa de funciones no distribuye respecto a la intersecci n y la diferencia. o
4.40 Ejercicio. Demuestre (a) Lema 4.2(c). (b) RA = R (A ranR). (c) R[A] ranR. (d) R1 [B] domR. (e) R[domR] = ranR. (f) R1 [ranR] = domR (g) A C RA RC. (h) A C R[A] R[C]. (i) B D R1 [B] R1 [D]. (j) Si domR C entonces R[C] = ranR. (k) Si ranR D entonces R1 [D] = domR. (l) Teorema 4.5 (c). (m) Si R es una relaci n, entonces RdomR = R. o 4.41 Ejercicio. Pruebe (a) R = . (b) R[] = . (c) R1 [] = . 4.42 Ejercicio. Pruebe (a) R[{a}] = {y / (a, y) R}. (b) R[{b}] = {x / (x, b) R}. 4.43 Ejercicio. Pruebe que (a) (RA)C = R(A C). (b) (RA)[C] = R[A C]. (c) (RA)1 [B] = A R1 [B]. 4.44 Ejercicio. Demuestre (a) R A = (RX).
XA

(b) R(A B) = RA RB. (c) Teorema 4.6(e), (f) y (l). 4.45 Ejercicio. Pruebe (a) IAC = IAC . (b) IA [C] = A C.
1 (c) IA [B] = A B.

(d) R IA = RA. 4.46 Ejercicio. Sea f una funci n. Demuestre: o (a) IA f = ff 1 [A]. (b) Si f : A B y C A, entonces fC : C B. (c) Si a domf , entonces f [{a}] = {f (a)}. (d) f 1 [{b}] = {x domf / f (x) = b}. (e) Teorema 4.7(c) y (d). (f) f 1 [f [B]] = B B ranf . (g) Si f : A B es sobre y D B, entonces f 1 [f [D]] = D.

151

4.47 Ejercicio. Sea f una funci n inyectiva. Pruebe o que (a) fA es inyectiva. (b) Si A = , entonces f [ A] =
XA

G : P(B) P(A) Y G(Y ) = f 1 [Y ]

f [X].

(c) f [A B] = f [A] f [B]. (d) f [A B] = f [A] f [B]. (e) Si A domf , entonces f 1 [f [A]] = A. 4.48 Ejercicio. Sea f : A B. Demuestre: (a) Se pueden denir las funciones F : P(A) P(B) X F (X) = f [X]

(b) Si f es inyectiva entonces F es inyectiva y G es inversa a izquierda de F .

(c) Si f es sobre entonces G es inyectiva y F es inversa a izquierda de G.

(d) Si f es biyectiva entonces F y G son inyectivas con F 1 = G.

152

BIBLIOGRAFA I
[Be85] Bell, J.L. Boolean-valued Models and Independence Proofs. Oxford: Clarendon Press, 1985. [Je02] Jech, T. Set Theory. 3rd millenium edition, revised and expandend (monographs in mathematics), Springer, 2002. [Ka96] Kanamori, Akihiro. The Mathematical Development of Set Theory from Cantor to Cohen. The Bulletin of Symbolic Logic. Vol 2 #1, Marzo. (1996) [Ku80] Kunen, K. Set Theory: an Introduction to Independence Proofs. Amsterdam: NorthHolland, 1980.