Captulo 1

Logica Informal
La l ogica es un area de la matematica que se encarga de estudiar los principios
formales del razonamiento o la inferencia correcta. En un nivel elemental, la logica pro-
porciona reglas y tecnicas para determinar si es o no va

lido un argumento dado. El

razonamiento l ogico es usado en matem aticas para hacer demostraciones, en compu-
taci on para determinar si un programa es correcto, en ciencias naturales sirve para
sacar conclusiones de los experimentos realizados y en general en la vida cotidiana para
resolver una variedad amplia de problemas. Lo que veremos en este captulo ser a ape-
nas lo suciente para entender c omo se hace una prueba rigurosa y lo desarrollaremos
de forma informal. Trataremos de entender lo que es una armacion bien formada y
lo que es un argumento v alido, estas dos nociones nos permitir an establecer y probar
teoremas.
1.1. Armaciones
Las armaciones son los bloques fundamentales en la construcci on de la matem atica,
pero tenemos que tener bien claro que frases ser an consideradas como armaciones.
Denici on 1.1 (Armaci on). Intuitivamente una armacion es algo que expresamos
(en forma oral, escrita o de cualquier otra forma) de lo que se puede decir si es cierto
o falso.
Existen algunas paradojas, tales como Esta armaci on es falsa la cual no puede
ser cierta o falsa. Si creemos que es cierta entonces por su contenido sera falsa y si
fuese falsa, tendriamos que la armaci on es verdadera. Nosotros no consideraremos las
paradojas como armaciones.
Ejemplo 1.2. El tablero de este salon es verde y debajo de la torre Eiel hay un
carro rojo. Ambas son armaciones. De la primera no tenemos duda si es verdadera
o falsa y de la segunda no hay certeza, sin embargo, tambien es una armacion y no es
necesario estar en la capacidad de saber personalmente la respuesta.
1
2 CAP

ITULO 1. L

OGICA INFORMAL
Ejemplo 1.3. Viajar en la noche, Que hora es? y mirar television. No son
armaciones. De estas no se puede decir que sean verdaderas o falsas.
Ejemplo 1.4. Todo n umero par mayor que 2 puede escribirse como suma de dos
n umeros primos es una armacion la cual hasta el da de hoy no ha sido resulta y por
tanto no sabemos si es cierta o falsa, pero sigue siendo una armacion. De hecho es
una de las conjeturas mas importantes en Teora de N umeros, propuesta por Christian
Goldbach en 1742. Esta conjetura ha sido investigada por muchas personas y ha sido
comprobada computacionalmente para todos los n umeros pares menores que 10
18
.
Toda armacion es verdadera o falsa y no hay una armaci on que sea verdadera y
falsa al mismo tiempo. Esta suposicion le llamamos la Ley del Medio Excluido. La
mayora de los matem aticos la aceptan, sin embargo, algunos demasiado formales se
rehusan a usarla. Una consecuencia de esta suposici on es que si una armaci on no es
falsa tendra que ser verdadera.
A partir de armaciones podemos construir otras armaciones. Teniendo como base
las armaciones: P: El tablero de este sal on es verde, Q: debajo de la torre Eiel
hay un carro rojo, podemos construir nuevas armaciones, por ejemplo: P y Q: El
tablero de este salon es verde y debajo de la torre Eiel hay un carro rojo, P o Q: El
tablero de este sal on es verde o debajo de la torre Eiel hay un carro rojo.
1.1.1. Operaciones Basicas.
Las palabras y, o, no, si,..., entonces, si y s olo si, nos permitiran hacer
nuevas armaciones y adem as, conociendo los valores de verdad de las armaciones que
componen la nueva armacion, podremos deducir el valor de verdad de esta. Dichas
palabras tienen una notaci on especial y su sentido en matem aticas es preciso.
1. Conjuncion: (Corresponde al y del lenguaje com un). Sean P y Q armacio-
nes. La armaci on P Q se lee P y Q e intuitivamente es verdadera si ambas
son verdaderas y falsa si alguna de ellas es falsa, pero su denici on precisa se
consigna en la siguiente tabla, que llamamos tabla de verdad.
P Q P Q
V V V
V F F
F V F
F F F
En el lenguaje com un la palabra y podra tener otros signicados, sin embargo
para nosotros el signicado es el que nos da la tabla.
1.1. AFIRMACIONES 3
2. Disyuncion: (Corresponde al o del lenguaje com un). La armacion P Q se
lee P o Q, intuitivamente PQes verdadero si cualquiera de las dos armaciones
lo es o si ambas lo son. De forma mas precisa:
P Q P Q
V V V
V F V
F V V
F F F
Este es un o inclusivo y no exclusivo. En el lenguaje coloquial muchas veces
no se permite que ambas sean verdaderas. Por ejemplo: Despues del almuerzo
duermo o voy a trabajar. En la armaci on anterior dada en lenguaje com un uno
entiende que no har a las dos cosas despues de almuerzo. Aqu el o es exclusivo,
pero en el lenguaje matem atico el o que se usa es el inclusivo.
3. Negacion: (Corresponde al no del lenguaje com un). La armaci on P se
lee no P, intuitivamente P es falso cuando P es verdadero y P es verdadero
cuando P no lo es. La denicion precisa de la negaci on es:
P P
V F
F V
Por ejemplo, si P: El tablero de este salon es verde, su negaci on sera P: El
tablero de este sal on no es verde.
4. Condicional: (Corresponde al si,..., entonces... del lenguaje com un). La
armaci on P Q se lee Si P, entonces Q. Intuitivamente es verdadera si nunca
ocurre que P sea verdadera y que Q sea falso al mismo tiempo. La denici on
precisa es:
P Q P Q
V V V
V F F
F V V
F F V
Las dos primeras lneas son creibles, las dos ultimas nos cuestan m as traba-
jo. Tratemos de entenderlas con el siguiente ejemplo: Si tu madre diceSi ganas
C alculo Diferencial, entonces te compro un computador. Es claro que si ganas
C aculo y tu madre compra el computador, todo esta bien. Tambien es claro que
si ganas C aculo y tu madre no compra el computador, sentir as que te traiciono
4 CAP

ITULO 1. L

OGICA INFORMAL
y por tanto la armaci on condicional no se verica. Pero tambien es cierto que
si no ganas C alculo, entonces tu madre puede o no comprar el computador, si
te lo compra ella quedara como buena gente y si no lo hace, tambien tu madre
estar a en lo correcto, en estos casos debemos pensar que la armacion es cierta.
P Q se puede escribir Q P. Usualmente a P lo llamamos el antecedente y
a Q el consecuente. As pues, los dos ultimos renglones de la tabla los interpreta-
mos as: Si el antecedente es falso, cualquier cosa puede ocurrir con el consecuente
y al nal toda la armacion sera verdadera. P Q tambien se lee si P, Q; Q
si P; P s olo si Q; Q siempre que P; suponiendo P, entonces Q; Q dado
que P; P es suciente para Q y Q es necesario para P.
En el siguiente ejemplo todas las armaciones quieren decir lo mismo.
Ejemplo 1.5. a) Si p es un n umero par, p = 2m para alg un m Z.
b) p = 2m para alg un m Z , si p es par.
c) p es un n umero par solo si p = 2m para alg un m Z.
d) p = 2m para m Z siempre que p sea par.
e) Suponiendo que p sea par entonces p = 2m para alg un m Z.
f) p es par es suciente para que p = 2m para alg un m Z.
g) p = 2m para alg un m Z es necesario para que p sea par.
5. Bicondicional. Si y solo si. La armaci on P Q intuitivamente nos dice
que es verdadera siempre que P y Q sean ambas verdaderas o ambas falsas, pero
que es falsa en caso contrario. M as precisamente:
P Q P Q
V V V
V F F
F V F
F F V
Ejemplo 1.6. Yo estudiare fundamentos hoy si y solo si tu lo haces tambien.
Esto se verica si ambos estudiamos o ambos no lo hacemos, pero claramente si
yo lo hago y tu no lo haces no se verica (o viceversa). Es decir, no puede ser el
caso que uno estudie y el otro no.
Otras formas de leer P Q, P si y solo si Q, P si y solamente si Q, P es
necesario y suciente para Q. Tambien podemos escribir a Q P en vez de
P Q. Algunas veces abreviamos si y solo si por sii.
1.1. AFIRMACIONES 5
Con estas 5 operaciones b asicas , , , y podemos armar armaciones mas com-
plicadas.
Ejemplo 1.7. Que signicado tiene P (Q R)? Esto lo podemos ver en una tabla
de verdad.
P Q R R Q R P (Q R)
V V V F F V
V V F V V V
V F V F V V
V F F V V V
F V V F F F
F V F V V V
F F V F V V
F F F V V V
esta tabla la podemos resumir de la siguiente forma:
P Q R [P (Q R)]
V V V V F F
V V F V V V
V F V V V F
V F F V V V
F V V F F F
F V F V V V
F F V V V F
F F F V V V
En la columna en negrilla queda el valor de verdad de P (Q R).
Observese el papel que desempe nan los parentesis en la armacion P (Q R).
Ellos funcionan como la puntuaci on en el lenguaje com un y elimina ambig uedades.
Ejercicio 1.8. Hacer la tabla de (P Q) R y compararla con la tabla de
P (Q R).
Una Tautologa es una armacion que siempre es verdadera, sin importar el valor
de verdad de sus componentes.
Ejercicio 1.9. La armacion P P es una tautologa. En efecto observemos su
tabla de verdad.
P P P P
V F V
F V V
6 CAP

ITULO 1. L

OGICA INFORMAL
Una Contradicci on es una armaci on que siempre es falsa sin importar el valor de
verdad de sus componentes.
Ejercicio 1.10. La armacion P P es una contradiccion. Esto lo vemos en su
tabla de verdad.
P P P P
V F F
F V F
Ejercicio 1.11. La armacion (X Y ) ( X Y ) es una tautologa. En efecto
veamos su tabla de verdad
X Y (X Y ) ( X Y )
V V V V F V
V F V V F V
F V V V V V
F F F V V F
1.2. Relaciones entre Armaciones.
Las relaciones entre armaciones no son propiamente armaciones sino algo que
llamamos Meta-armaciones.
Ejemplo 1.12. Las siguientes frases son Meta-armaciones: Si la armacion Juan
es alto y Pedro es bajo es verdadera, entonces esto implica que la armacion Pedro es
bajo es verdadera. La armacion Juan tiene el cabello negro o Rosa tiene el cabello
rojo es equivalente a la armacion Rosa tiene el cabello rojo o Juan tiene el cabello
negro.
Podemos decir entonces que una meta-armaci on es algo que se expresa de algunas
armaciones. Esta clase de meta-armaciones son nuestros prototipos principales. La
del primer ejemplo es llamada implicaci on que es analogo al condicional, y la del segun-
do ejemplo es llamada equivalencia, analoga al bicondicional y nos ayudar a a construir
argumentos v alidos.
Denici on 1.13 (Implicaci on). P Q (lease P implica Q). Diremos que P Q si
la armacion P Q es una tautologa. Es decir, debe ser cierta en cualquier circuns-
tancia, no importando los valores de verdad de las componentes P y Q.
Observese que el condicional no es lo mismo que la implicacion. P Q es una
armaci on, mientras que P Q es una meta-armacion. En realidad P Q nos dice
que no importan los valores de P o Q para que P Q sea verdadera y por eso se puede
decir que P siempre implica Q.
1.2. RELACIONES ENTRE AFIRMACIONES. 7
1.2.1. Implicaciones Importantes.
Las siguientes implicaciones son ciertas y ser an muy usadas en la construcci on de
argumentos v alidos.
Sean P, Q, R y S armaciones.
1. [(P Q) P] Q (Modus Ponens).
2. [(P Q) Q] P (Modus Tollens).
3. (P Q) P (Simplicaci on).
4. (P Q) Q (Simplicaci on).
5. Q (P Q) (Adicion).
6. P (P Q) (Adicion).
7. [(P Q) P] Q (Modus Tollendo Ponens).
8. [(P Q) Q] P (Modus Tollendo Ponens).
9. (P Q) (P Q) (Bicondicional-Condicional).
10. (P Q) (Q P) (Bicondicional-Condicional).
11. [(P Q) (Q P)] (P Q) (Condicional-Bicondicional).
12. [(P Q) (Q R)] (P R) (Silogismo Hipotetico).
13. [(P Q) (R S) (P R)] (Q S) (Dilema Constructivo).
Al decir que estas implicaciones son ciertas, lo que estamos diciendo es que los con-
dicionales correspondientes son tautologas. Probemos por ejemplo el Modus Tollendo
Ponens. Para esto debemos ver que [(P Q) P] Q es una tautologa y esto lo
hacemos por medio de una tabla de verdad.
P Q [(P Q) P] Q
V V V F F V
V F V F F V
F V V V V V
F F F F V V
Mirando la columna en negrilla nos damos cuenta que es una tautologa. Observamos
que en el lenguaje com un una armaci on de Modus Tollendo Ponens es muy l ogica. Por
ejemplo Juan tiene ojos verdes o Rosa el cabello rojo, pero Juan no tiene ojos verdes,
luego Rosa tiene el cabello rojo.
8 CAP

ITULO 1. L

OGICA INFORMAL
1.2.2. Equivalencias.
Denici on 1.14. Diremos que P equivale a Q si la armacion P Q es una
tautologa. Esto se denota por P Q. Se puede ver que P Q es verdadero si y solo
si P Q y Q P son ambas verdaderas.
Observe que P Q no es lo mismo que P Q, pues la primera es una meta-
armaci on y la segunda es una armacion.
Las siguientes armaciones seran tambien v alidas en la contrucci on de argumentos
v alidos.
1. ( P) P (Doble negacion).
2. (P Q) (Q P) (Ley Conmutativa).
3. (P Q) (Q P) (Ley Conmutativa).
4. [(P Q) R] [P (Q R)] (Ley Asociativa).
5. [(P Q) R] [P (Q R)] (Ley Asociativa).
6. [P (Q R)] [(P Q) (P R)] (Ley Distributiva).
7. [P (Q R)] [(P Q) (P R)] (Ley Distributiva).
8. (P Q) ( P Q) (Condicional - Negacion y Disyuncion).
9. (P Q) ( Q P) (Contrarrecproco).
10. (P Q) (Q P) (Simetra).
11. (P Q) [(P Q) (Q P)] (Bicondicional-Condicional).
12. [ (P Q)] ( P Q) (Ley de De Morgan).
13. [ (P Q)] ( P Q) (Ley de De Morgan).
14. [ (P Q)] (P Q) (Negacion del Condicional).
15. [ (P Q)] [(P Q) ( P Q)] (Negacion del Bicondicional).
Probemos que [ (P Q)] (P Q). En efecto, debemos mostrar que el bicondi-
cional correspondiente es una tautologa.
P Q [ (P Q)] (P Q)
V V F V V F F
V F V F V V V
F V F V V F F
F F F V V F V
1.2. RELACIONES ENTRE AFIRMACIONES. 9
Todas estas equivalencias jugaran de ahora en adelante un papel esencial cuando se
esten haciendo demostraciones. De algunas de ellas se derivan los metodos de demos-
traci on que usamos al hacer las pruebas de teoremas. Por ejemplo:
Ejemplo 1.15. 1. (P Q) ( Q P) (Contrarrecproco). Muchas veces
para probar P Q resulta mas facil probar su contrarrecproco Q P.
2. ( P) P (Doble Negacion). El metodo del absurdo o por contradiccion es
derivado de la doble negacion si queremos probar que P es verdadero. Suponemos
que P es verdadero y si llegamos a una contradiccion, lo que quiere decir que
( P) es verdadero, y como este es equivalente a P, se concluira nalmente
que P es verdadero. Este metodo es muy usado.
3. (P Q) [(P Q) (Q P)] (Bicondicional-Condicional). Nos permi-
tira concluir que P Q es verdadero siempre y cuando ambos condicionales
P Q y Q P lo sean.
4. P Q) ( P Q) (Condicional - Negacion y Disyuncion). Es una manera de
entender el condicional en terminos de la negacion y la disyuncion. En algunos
libros de logica formal, es as como se dene el condicional. Es una forma util.
Recordemos que dijimos que P Q es verdadero si nunca se da el caso en que
P sea verdadero y al mismo tiempo Q sea falso. Observemos que la armacion
P Q es verdadera en todos los casos excepto justamente cuando P es verdadero
y Q es falso.
5. [ (P Q)] ( P Q) y [ (P Q)] ( P Q). Las Leyes de
De Morgan son las tenemos que tener presentes cuando neguemos disyunciones o
conjunciones. Por ejemplo para negar la armacion Yo como y yo bebobasta ne-
gar cualquiera de sus dos componentes y cambiar la conjuncion por la disyuncion.
En otras palabras es Yo no como o yo no bebo.
Terminologa Especial.
(i) Q P le llamamos el contrarrecproco de P Q.
(ii) Q P le llamamos el converso de P Q.
(iii) P Q le llamamos el inverso de P Q.
Observese que s olo el contrarrecproco es equivalente a P Q. Pretender que el
converso o el inverso son equivalentes a P Q es un grave error y esto es llamado una
falacia.
10 CAP

ITULO 1. L

OGICA INFORMAL
1.3. Argumentos Validos.
Las pruebas que hemos hecho hasta ahora han sido por medio de tablas de verdad,
sin embargo, lo usual en matem aticas es el de dar armaciones que se van encadenan-
do a partir de unas hipotesis hasta llegar paso a paso a una conclusion deseada. En
esta secci on miraremos este proceso desde el punto de vista de la logica, sin embargo a
partir del captulo siguiente haremos pruebas como se hacen en matematicas, sin tener
explcitas las reglas de la l ogica, aunque de todas formas reconoceremos que ellas est an
all detr as guiandonos en las pruebas.
Argumento. Segun la l ogica es una coleccion de armaciones, siendo la ultima llamada
la conclusion y el resto se llaman las premisas.
Argumento Valido. Es aquel argumento cuya conclusion se sigue necesariamente de
las premisas. Por ejemplo, si las premisas fueran todas verdaderas, la conclusion no
podra ser falsa.
Observemos el siguiente argumento logico:
Si Rosa esta bailando o esta comiendo, entonces est a en su casa. Si Rosa esta leyendo
entonces no esta en su casa. Rosa est a bailando, entonces no est a leyendo.
Interpretemoslo simbolicamente:
A : Rosa est a bailando.
B : Rosa est a comiendo.
C : Rosa est a en su casa.
D : Rosa est a leyendo.
A B C
D C
A
D
Lo anterior es lo mismo que [(A B C) (D C) A] D. Podramos hacer
una tabla de verdad para probar que es una tautologa, pero esta se hace demasiado
larga y tediosa. En vez de seguir usando tablas de verdad, daremos una reglas de
inferencia que nos permitir an ir produciendo los encadenamientos necesarios para llegar
a la conclusi on.
1.3.1. Reglas de Inferencia.
Las reglas de inferencia provienen de las listas de implicaciones y equivalencias vistas
anteriormente. Aunque destacaremos s olo las mas importantes aclaramos que cualquiera
de las implicaciones o equivalencias vistas permiten extraer reglas de inferencia. Ahora
las escribiremos en diferente formato.
Modus Ponens.
1.3. ARGUMENTOS V

ALIDOS. 11
P Q
P
Q
Modus Tollens.
P Q
Q
P
Doble Negacion.
P
P
y
P
P
Repeticion.
P
P
Simplicaci on.
P Q
P
y
P Q
Q
Adjuncion.
P
Q
P Q
Adicion.
P
P Q
y
Q
P Q
Modus Tollendo Ponens.
P Q
P
Q
y
P Q
Q
P
Bicondicional.
P Q
P Q
y
P Q
Q P
Condicional Bicondicional.
12 CAP

ITULO 1. L

OGICA INFORMAL
P Q
Q P
P Q
Silogismo Hipotetico.
P Q
Q R
P R
Dilema Constructivo.
P Q
R S
P R
Q S
Estas reglas de inferencia nos permitir an construir los argumentos v alidos. Repetimos
que aqu hemos listado solo las m as importantes, pero debemos saber que hay muchas
otras reglas de inferencia. Cada vez que se tenga una implicaci on o una equivalencia
ella facilita una regla de inferencia.
Ejemplo 1.16. Usemos nuestras reglas para justicar nuestro argumento en el cual
concluimos que Rosa no esta leyendo. Simbolicamente este es.
A B C
D C
A
D
(1) A B C
(2) D C
(3) A
(4) A B
(5) C
(6) C
(7) D
Las premisas no necesitan justicacion
(3) y Adici on.
(1) y (4) Modus Ponens.
(5) Doble Negaci on.
(2) y (6) Modus Tollens.
Esta clase de prueba, a menudo llamada una derivaci on por los l ogicos, es una serie
de armaciones conectadas con meta-armaciones que son justamente las justicaciones
que estamos escribiendo en la segunda columna. N otese que las tres primeras arma-
ciones, que son las premisas no las justicamos. Si un argumento tiene una derivacion
se dice que es derivable. La derivabilidad no depende del valor verdad de las premisas
o de la conclusi on. Para un argumento puede haber distintas derivaciones.
1.3. ARGUMENTOS V

ALIDOS. 13
Ejemplo 1.17. Veamos otra derivacion del argumento anterior.
(1) A B C
(2) D C
(3) A
(4) A B
(5) C D
(6) C C
(7) C C
(8) C D
(9) A B D
(10) D
(3) y Adici on.
(2) y Contrarrecproco.
Doble Negacion.
(6) y Bicondicional-Condicional.
(7), (5) y Silogismo Hipotetico.
(1) y (8) Silogismo Hipotetico.
(9) y (4) y Modus Ponens.
Aparentemente estamos hablando de dos cosas diferentes cuando decimos argumento
v alido y argumento derivable. Sin embargo (aunque no es f acil de probar), tenemos que
un argumento es v alido si y s olo si es derivable. As pues, para mostrar que un argumento
es valido lo que debemos mostrar es que es derivable, en vez de tratar de hacerlo por
medio de tablas de verdad. Para mostrar que un argumento es invalido lo que debemos
es tratar de encontrar algunos valores de verdad en las componentes de las armaciones
de tal manera que todas las premisas resultan verdaderas excepto la conclusion.
Ejemplo 1.18. El siguiente argumento es invalido.
A R
S H
A H
R S
En efecto, si suponemos que A es V ; R es V ; S es F y H es V obtenemos que A R
es V ; S H es V y que A H tambien es V , pero R S es falso. Esto nos permite
concluir que el argumento es invalido. Pero debemos tener cuidado, porque con otra
escogencia de valores podra ser que todo, premisas y conclusiones, fueran verdaderas.
En un argumento debemos tener cuidado para que las premisas no sean contradic-
torias entre s, ya que de algo falso se puede inferir cualquier cosa. Cuando se tienen
premisas contradictorias se dice que son inconsistentes. Por el contrario, premisas con-
sistentes son las que no son contradictorias. Notese que se pueden producir argumentos
v alidos a partir de premisas inconsistentes, sin embargo, estos no son utiles, ya que de
una contradicci on es posible derivar cualquier cosa. Por ejemplo los argumentos:
J S
L S
J L
G
y
J S
L S
J L
G
14 CAP

ITULO 1. L

OGICA INFORMAL
Son ambos argumentos v alidos. En efecto veamos derivaciones para ellos.
(1) J S
(2) L S
(3) J L
(4) J
(5) L
(6) S
(7) J G
(8) J
(9) G
(3) y simplicaci on.
(3) y simplicaci on.
(2) y (5) Modus Ponens.
(4) adicion.
(6) y (1) Modus Tollendo Ponens.
(7) y 8) Modus Tollendo Ponens.
(1) J S
(2) L S
(3) J L
(4) J
(5) L
(6) S
(7) J G
(8) J
(9) G
(3) y simplicacion.
(3) y simplicacion.
(2) y (5) Modus Ponens.
(4) adicion.
(6) y (1) Modus Tollendo Ponens.
(7) y 8) Modus Tollendo Ponens.
Recordemos que un argumento valido es aquel que admite una derivacion. Una cosa
es que las premisas sean contradictorias y otra cosa es que exista un derivaci on, o lista
de armaciones justicada por la regla de inferencia. En los dos ejemplos anteriores si
unimos las premisas con conjunciones as: [( J S) ( L S) (J L)] y
hacemos la tabla de verdad de esta armacion encontraramos que la armacion es una
contradicci on.
1.4. Cuanticadores.
A veces encontramos expresiones, que involucran variables, tales como 8 x
3
; y
2
= 3
o x +y
2
= 7 de las cuales no podemos decir que sean expresiones verdaderas o falsas, a
menos que digamos algo sobre las variables. Mientras no se haya especicado como son
las variables, dichas variables se llaman libres. Una expresi on con variables libres no es
una armacion.
Retomemos 8 x
3
. Preguntemonos cuando sera cierta dicha armacion. La res-
puesta sera: Para todo n umero real 2 x, 8 x
3
. Esta nueva expresion si es una
armaci on, all la variable no es libre, pues hemos puesto condiciones para ella. En
1.4. CUANTIFICADORES. 15
este caso decimos que la variable est a amarrada, acotada o delimitada. Esta variable
la hemos amarrado por medio de la expresi on Para todo n umero real 2 x. Esta
expresi on es un ejemplo de un cuanticador. Tambien podramos haber dicho. Para
todo n umero real x < 1, 8 x
3
, pero esta ultima armacion es falsa. Podemos decir
que x est a delimitada por el cuanticador Para todo n umero real x < 1.
En otras palabras cuando tengamos expresiones donde aparezcan variables libres,
las podemos convertir en armaciones amarrandosus variables por medio de sus cuan-
ticadores, el objeto de estos es el de darle condiciones a las variables.
Debemos ser muy cuidadosos en el manejo de los cuanticadores. Es muy facil introducir
errores si ellos no se manejan bien. Muchas veces es recomendable usar la simboliza-
ci on matematica de ellos para poder usarlos mejor. En el lenguaje corriente se es muy
impreciso en el uso de los cuanticadores, sin embargo en el lenguaje matem atico no
debe haber duda con su manejo.
La frase Alguien es golpeado por un carro cada hora que signica?. Que una
misma persona es golpeada por un carro cada hora. No!, lo que queremos decir es que
para cada hora existe una persona que es golpeada por un carro. La segunda frase es
m as precisa que la primera. Por que lo es?. Veremos que ella se adec ua mas al lenguaje
matem atico, cuando hay dos cuanticadores. Por eso, cuando veamos que hay arma-
ciones que involucran cuanticadores es conveniente reescribir simbolicamente para que
los cuanticadores se vean explcitamente y los podamos manejar correctamente.
1.4.1. Cuanticador Universal.
Denici on 1.19. Sea P(x) una expresion donde x aparece libre. Sea U la coleccion
de los posibles valores de x. Un cuanticador universal aplicado a P(x) produce una
armacion denotada por (x en U)P(x) la cual es verdadera si P(x) es verdadera para
todos los posibles valores de x y falsa en otro caso.
Ejemplo 1.20. La armacion
(x (, 1] [1, +))(x
2
1 0)
es verdadera, pero (x en R)(x
2
1 0) es falsa, porque no todos los valores de x en
R hacen que x
2
1 sea mayor o igual que cero.
Si la coleccion U se sobreentiende por el contexto, entonces escribimos siplemente
(x)P(x). La armaci on (x en U)P(x) se puede leer de cualquiera de las siguientes
formas: Para todos los valores de x en U, la armacion P(x) es verdadera; la armaci on
P(x) es verdadera para todo x en U; todos los valores de x en U satisfacen P(x); para
todo x en U se tiene P(x); para todo x en U, P(x).
Ejemplo 1.21. Sea P(x) la armacion el perro x es cafe. Sea D la coleccion de
todos los perros del mundo. (x en D)P(x) quiere decir Todo perro en el mundo es
16 CAP

ITULO 1. L

OGICA INFORMAL
cafe, la cual indudablemente es falsa. Observese que cuando se amarra la variable ya
no la necesitamos explicitar, esto tambien quiere decir que el nombre de la variable es
intrascendente. As pues, las armaciones (x en D)P(x) y (z en D)(P(z)) tienen el
mismo signicado.
1.4.2. Cuanticador Existencial.
Denicion 1.22. Sea P(x) una expresion donde x aparece libre. U es una coleccion
de posibles valores de x. Un cuanticador existencial aplicado a P(x) produce una ar-
macion denotada por (x en U)P(x) la cual es verdadera, si y solo si es verdadera al
menos para alg un valor de x en la coleccion U. Si esto no se cumple entonces es falsa.
Ejemplo 1.23. La armacion Existe un estudiante en esta clase de cabello negro.
Quiere decir que hay uno, dos, tres o mas estudiantes que tienen cabello negro.
En particular si (x en U)P(x) es verdadero, entonces (x en U)P(x) tambien lo
es. La armaci on (x en U)P(x) se puede leer de cualquiera de las siguientes formas:
Existe un x en U tal que P(x) se satisface; para alg un valor de x, tenemos que P(x) es
cierto; existe alg un x en U tal que P(x) es verdadero; existe al menos un valor x en U
tal que P(x) se satisface.
Ejemplo 1.24. Si P(x) es la armacion: El perro es cafe. D es la coleccion de todos
los perros, entonces (x en D)P(x) es verdadero.
Observese que la implicaci on (x)P(x) (x)P(x) es cierta; pero no al reves.
1.4.3. Cuanticadores con varias variables.
Si en una expresion aparece mas de una variable libre, podemos usar mas de un
cuanticador.
Ejemplo 1.25. En la expresion y = x
2
+ 2x hay dos variables libres. Ahora si con-
sideramos (x en R)(y en R)(y x
2
+ 2x = 0) es un armacion verdadera, pues
para cualquier x que yo tome (real) puedo encontrar un y que satisface la ecuacion. Sin
embargo,dicha armacion no es lo mismo que (y)(x)(y x
2
+ 2x = 0) que dice que
existe un y que sirve para todo x que yo tome, claramente la armacion es falsa.
Por tanto el orden de los cuanticadores s importa y es un error muy com un cambiar
su orden, aunque algunas veces, como veremos enseguida, s les podemos cambiar el
orden.
Ejemplo 1.26. Volvamos al ejemplo Alguien es golpeado por un carro cada hora.
Escribamoslo simbolicamente y correctamente seg un el sentido que le queramos dar.
Tenemos dos variables. Los posibles valores de x son todas las personas posibles y los
posibles valores de t son todas las horas. C(x, t): Persona x es golpeada por un carro
en la hora t.
1.4. CUANTIFICADORES. 17
Entonces la expresi on de arriba la escribimos (t)(x)C(x, t) y no por (x)(t)C(x, t),
si queremos m as precisi on debera tomar 3 variables. P(x, c, t): Persona x golpeada por
el carro c a las t horas. Posibles valores de x son todas las personas, posibles valores
de t son todos las horas, posibles valores de c son todos los carros. Y la expresion nos
quedar a (t)(x)(c)P(x, c, t) la cual es diferente de (x)(c)(t)P(x, c, t).
Cuando hay dos cuanticadores aparecen 8 combinaciones. Algunas Combinacio-
nes son equivalentes pero otras no. Lo vemos en el cuadro siguiente. Sea P(x, y) una
expresi on con dos variables libres.
(x)(y)P(x, y) (y)(x)P(x, y)

(x)(y)P(x, y) (y)(x)P(x, y)

(y)(x)P(x, y) (x)(y)P(x, y)

(y)(x)P(x, y) (x)(y)P(x, y)
N otese que si hubiera m as variables habra muchos m as casos. Cuantos casos hay si se
tienen 3 variables?
1.4.4. Negando armaciones con Cuanticadores.
Ejemplo 1.27. Neguemos: Todo alumno en este salon tiene cabello negro. Para ello
basta decir Existe un alumno en este salon que no tiene el cabello negro.
Esta es la clave: (x)P(x) (x)( P(x)) Observese que para negar el primer
ejemplo, no es necesario decir que todo alumno en este sal on no tiene el cabello negro,
que simbolicamente sera (x)( P(x)). Es decir (x)( P(x)) no es lo mismo que
(x)( P(x)).
Similarmente, negar que Existe un alumno con cabello morado es equivalente a decir
que Todos los alumnos no tienen el cabello morado.
La clave es (x)P(x) (x)( P(x)). Y no estara bien negado decir que Existe
un alumno que no tiene el cabello morado.
1.4.5. Negando armaciones con mas de un Cuanticador.
Neguemos la armaci on [(x)(y)P(x, y)]. Hagamoslo por pasos: [(x)(y)P(x, y)
(x)( (y)P(x, y)) (x)(y)( P(x, y)).
Por tanto, para negar armaciones que involucran cuanticadores, estos se cambian
entre s, sin cambiar las variables y la expresi on nal se niega as:
[(y)(w)(x)(m)[y +w
2
x = m]] (y)(w)(x)(m)[y +w
2
x ,= m].
18 CAP

ITULO 1. L

OGICA INFORMAL
Por esto es muy importante la simbolizacion, pues el trabajo de los cuanticadores
en forma simbolizada se hace m as f acilmente. Sin embargo con bastante pr actica se
podra trabajar con ellos en forma implcita.
1.4.6. Reglas de Inferencia con el Manejo de Cuanticadores.
1. (Ejemplicacion Universal) Para a un elemento arbitrario en U,
(x en U)P(x)
P(a)
2. (Ejemplicacion Existencial) Siendo b alg un elemento de U y sin tener b
ning un otro signicado en el argumento dado,
(x en U)P(x)
P(b)
3. (Generalizaci on Universal). Para c un elemento arbitrario en U,
P(c)
(x en U)P(x)
4. (Generalizaci on Existencial) Para d, un elemento de U,
P(d)
(x en U)P(x)
Ejemplo 1.28. Consideremos el siguiente argumento: Todo perro que es inteligente y
agil le gusta brincar. Todo dalmata es agil. Hay un dalmata que no le gusta brincar.
Entonces hay un perro que no es inteligente.
Con el n de entender, por que se deduce logicamente que hay un perro que no es
inteligente, reescribamos el argumento en forma simbolica y hagamos una derivaci on
para dicha conclusi on. Sea U la colecci on de los perros, I(x): el perro x es inteligente,
A(x): el perro x es agil, B(x): el perro x le gusta brincar, D(x): el perro x es d almata.
El argumento queda traducido.
1.4. CUANTIFICADORES. 19
(1) (x en U)(I(x) A(x) B(x)
(2) (x en U)(D(x) A(x))
(3) (x en U)(D(x) B(x))
debemos concluir (x en U)( I(x)).
(4) D(a) B(a) (3) y Ejemplicaci on Existencial.
(5) D(a) A(a) (2) y Ejemplicaci on Universal.
(6) D(a) (4) Simplicacion.
(7) A(a) (5) y (6) Modus Ponens.
(8) I(a) A(a)B(a) (1) y Ejemplicaci on Universal.
(9) B(a) (4) y Simplicacion.
(10) (I(a) A(a)) (8) y (9) Modus Tollens.
(11) I(a) A(a) (10) De morgan.
(12) A(a) (7) Doble Negaci on.
(13) I(a) (11) y 12) Modus Tollendo Ponens.
(14) (x en U)( I(x)) Generalizacion Existencial
Observese el uso de la letra a en (4), antes de esta lnea no estaba siendo usada. En
(5) y en (8) no hay problema de retomar la misma letra a.
Observese que de (I(a)) no podemos concluir por Generalizacion Universal que (x
en U)( I(x)) pues en ese caso a no es arbitrario en U ya que la primera vez que lo
utilizamos apareci o como Ejemplicaci on Existencial.
Ejemplo 1.29. Escribir una derivacion para
(1) (a en V )(N(a) B(a))
(2) (b en V )(N(b) D(b))
Probar (c en V )[B(c) D(c)]
(3) N(d) D(d) (2) y Ejemplicacion Existencial.
(4) N(d) B(d) (1) y Ejemplicaci on Universal
(5) N(d) (3) y Simplicacion.
(6) D(d) (3) y Simplicacion.
(7) B(d) (4) y 5) Modus Ponens
(8) B(d) D(d) (5) y (6) Adjuncion.
(9) (c en V )(B(c) D(c)) Generalizacion Existencial.
Note que el nombre de las variables en (1), (2) e (9) no es importante, todas las
podramos llamar x.
Ejercicio 1.30.
20 CAP

ITULO 1. L

OGICA INFORMAL
(1) (x en W)(y en W)[E(x) (M(x) N(y))]
(2) (x en W)[M(x)]
(3) (x en W)[E(x)]
Probar (x en W)[N(x)]
(4) (x en W)( M(y)) (2) y Negacion Universal.
(5) M(a) (4) y Ejemplicaci on Existencial.
(6) E(a) (3) y Ejemplicaci on Universal.
(7) (y en W)[E(a) M(a) N(y)] (1) y Ejemplicaci on Universal.
(8) E(a) M(a) N(y) (7) y Ejemplicacion Existencial.
(9) N(b) (5), (9) y Modus Tollendo Ponens.
(10) (x en W)(N(x)) (10) y Generalizaci on Existencial.
Hay que estar alertas en este tipo de ejercicios, pues puede haber un conjunto de
premisas inconsistente.Por ejemplo en el siguiente ejemplo encontramos que las premisas
son inconsistentes.
Ejemplo 1.31. Toda cucaracha que es inteligente come basura. Hay una cucaracha que
le guta el mugre pero no el polvo. Para toda cucaracha, no es el caso de que le guste el
mugre o coma basura. Entonces existe una cucaracha para la cual no es el caso que si
no es inteligente entonces le gusta el polvo.
Sea C la colecci on de cucarachas, I(x): la cucaracha x es inteligente, B(x): la cuca-
racha x come basura, M(x): la cucaracha x le gusta el mugre, P(x): la cucaracha x le
gusta el polvo.
(1) (x en C)(I(x) B(x))
(2) (x en C)(M(x) P(x))
(3) (x en C)( (M(x) B(x)))
Probar (x en C)( ( I(x) P(x)))
(4) M(c) P(c) (2) y Ejemplicaci on Existencial.
(5) (M(c) B(c)) (3) y Ejemplicacion Universal.
(6) I(c) B(c) (1) y Ejemplicacion Universal.
(7) M(c) (4) y Simplicaci on.
(8) P(c) (4) y Simplicaci on.
(9) M(c) B(c) (5) y DMorgan.
(10) M(c) (9) y Simplicacion.
(11) M(c) ( ( (I(c)) P(c))) (7) y Adici on.
(12) ( I(c) P(c)) (10),(11) y Modus Tollendo Ponens.
(13) (x en C)( ( I(x) P(x))) (12) y Generalizacion Existencial.
En este ejercicio observamos que el conjunto de premisas es inconsistente, ya que
de ellas, se deduce tanto M(c) como M(c). Sin embargo, la derivacion existe! y el
argumento es valido.
1.5. EJERCICIOS 21
1.5. Ejercicios
1. C uales de las siguientes expresiones son armaciones?
a) Paris es la capital de Francia.
b) C allese.
c) Sera que llueve el Lunes?
d) Ll amame el jueves si est as en la cuidad.
2. Suponga que A es un enunciado verdadero, que B es un enunciado falso, que C es
un enunciado falso y que D es un enunciado verdadero. Cu ales de las siguientes
armaciones son ciertas y cuales son falsas?
a) (A C) D.
b) (C D) B.
c) (A B) C.
d) [ D C] ( B).
e) (D A) (B C).
f ) C [D (A B)]
g) (A D) (A B)]
h) [ A ( D A)] B
3. Haga una tabla de verdad para cada una de las siguientes armaciones.
a) (P Q) R.
b) (R S) R.
c) X ( Y Z).
d) (A B) (A C).
e) (P R) (Q S).
f ) X Y .
g) (R S) R.
h) M (N L).
i ) (E F) (E G)
j ) (P R) (Q S)
4. Cuales de las siguientes armaciones son una tautologa, cu ales son una contra-
dicci on y cu ales no son ninguna de las dos?
a) P ( P Q).
b) (X Y ) ( X Y ).
c) (A B) ( A B).
d) [Z ( Z W)] (W U).
e) [L (M N)] [M (L N)].
f ) [(X Z) (X Y )] X.
g) [(P Q) P] Q.
5. Sean P un enunciado, TA una tautologa y sea CO una contradicci on.
22 CAP

ITULO 1. L

OGICA INFORMAL
a) Muestre que P TA es una tautologa.
b) Pruebe que T CO es una contradiccion.
c) Muestre que P TA P.
d) Pruebe que P CO P.
6. Sean P, Q, R y S armaciones. Pruebe que las siguientes implicaciones son verda-
deras.
a) (P Q) P.
b) (P Q) (P Q) P.
c) (P Q) (P R) (Q R).
d) P (Q R) (P R) R.
e) P (Q R) (P Q) (P R).
f ) (P R) (Q S) (P Q) (R S).
7. Sean P, Q, A y B armaciones. Pruebe que las siguientes equivalencias son ver-
daderas.
a) P P (P Q).
b) P P (P Q).
c) (P Q) (P Q) ( P Q).
d) P (A B) (P A) (P B).
e) P (A B) (P A) B.
f ) (A B) Q (A Q) (B Q).
g) (A B) Q (A Q) (B Q).
h) (A B) Q A (B Q).
8. Niegue cada una de las siguientes armaciones.
a) 3 < 5 o 7 8.
b) Existe M > 0, tal que para todo x A, se tiene [f(x)[ M.
c) Para todo x > 0, se tiene que [f(x)[ > 1 o [g(x)[ < 2.
d) Si y = 3 entonces y
2
= 7.
e) Si f(x) = 0, entonces x A o x B.
f ) a b = c sii a = b +c.
g) Para todo > 0, existe > 0 tal que si [xx
0
[ < , entonces [f(x) L[ < .
9. Simplique las siguientes armaciones.
1.5. EJERCICIOS 23
a) (P Q).
b) A (A B).
c) (X Y ) X.
d) (M L) L.
e) (P Q) Q.
f ) (X Y ) Y .
10. Por cada uno de los siguientes argumentos, si es v alido, de una derivacion, y si no
es valido, muestre por que.
a) Si la comida es verde, entonces est a cruda. Si la comida huele entonces
est a rancia. La comida es verde o esta rancia. Luego la comida est a cru-
da o huele.
b) Si a Susan le gusta el pescado, entonces le gustan las cebollas. Si a Susan no
le gusta el ajo entonces no le gustan las cebollas. Si le gusta el ajo, entonces le
gustan las guayabas. Le gusta el pescado o le gusta el cilantro. No le gustan
las guayabas. Por tanto a Susan le gusta el cilantro.
c) No es el caso que Fred toque tanto guitarra como una auta. Si Fred no toca
guitarra y no toca auta, entonces el toca organo y arpa. Si el toca arpa,
entonces toca organo. Luego Fred toca organo.
d) Si tu robas un banco, va a la carcel. Si vas a la c arcel, tu no te diviertes. Si
tienes vacaciones, tu te diviertes. Tu robas un banco o tienes vacaciones. Por
tanto tu vas a la carcel o te diviertes.
11. Por cada uno de los siguientes argumentos, si es v alido, de una derivacion, y si no
es valido, muestre por que.
a)
P Q
(P Q) R
R
b)
E F
G F
H I
E H
G I
c)
P Q
R (S T)
R (P T)
Q S
d)
X Y
X Z
Z Y
e)
L M
(M N) (L K)
P L
K
f )
A (B C)
C A
( D A) C
D
B
g)
(A C) B
B D
(D S) (C D)
S A
A B
24 CAP

ITULO 1. L

OGICA INFORMAL
h)
B C
B D
(A B) C
C B
C D
A B
i )
(C B) D
D
C D
B A
j )
D (C B)
D A
A
C D
B A
k)
P Q
R S
(P R) (Q S)
l )
P Q
R S
(P R) (Q S)
m)
P Q
(P R) (Q R)
n)
A C
C D
C B
B C
B D
A
n)
E (B D)
(C D) B
A D
A D
E D
o)
(P Q) R
S (R T)
T V
S V
P Q
p)
P Q
P (R Q)
( S R) ( Q)
S
R
q)
P (Q R)
Q (S T)
T U
(U S)
P
r)
P Q
R Q
(S T) U
( P R) S
Q U
s)
(P Q) (R S)
(P R) (Q S)
R
S
t)
(P Q) R
(R Q) [P (S T)]
P S
S T
u)
S Q
(U P) (V T)
(R S) T
R Q
Q U
T V
v)
Q S
( P R) Q
S
P R
w)
R S
P (S R)
Q P
Q
1.5. EJERCICIOS 25
x)
S P
R Q
( P R)
S Q
y)
( S P) ( P R)
R Q
S Q
z )
( A B) (P R)
P R
(A B)
26 CAP

ITULO 1. L

OGICA INFORMAL
Captulo 2
Estrategias de Prueba
2.1. Pruebas Matematicas.
Tales de Mileto usa por primera vez las pruebas en el Siglo VI antes de Cristo. Eucli-
des (III siglo antes de Cristo) hace un compendio, llamado Los Elementos de Euclides,
de la geometra conocida y la escribe en forma axiom atica. Quizas es el primer tratado
de la matem atica moderna.
Un sistema axiom atico consiste en establecer unos principios basicos, llamados pos-
tulados o axiomas, y deducir a partir de ellos, por medio de pruebas rigurosas, los Teo-
remas, Proposiciones, Lemas o Corolarios, que en su conjunto conforman la Teora. Hoy,
pr acticamente, todas las ramas en matem atica pura son basadas en sistemas axiomati-
cos. Pero la importancia de las pruebas debe ser mirada en su sitio correcto. No hay
que exagerar, pues la intuici on juega un papel interactivo con el rigor. La intuici on y el
rigor se retroalimentan mutuamente.
Es la intuicion la que se nala los caminos, la que dice que puede ser importante en
la investigaci on, pero son las pruebas rigurosas las que conrman o no, lo que se nala la
intuici on. Y al tiempo las pruebas rigurosas hacen que la intuicion se incremente y de
esta manera ocurre la retroalimentaci on. Es decir, usamos las pruebas para convencer-
nos de que algo es cierto, pero tambien las usamos porque haciendolas se nos aclaran
las ideas y probablemente se nos ocurre nuevas ideas.
Denici on 2.1. Una prueba es una sucesion de argumentos que muestran que una
conclusion deseada se sigue logicamente de las hipotesis dadas.
En este captulo trataremos de entender como hacer una prueba, no como con las
derivaciones que hemos hecho (que estan m as cerca de la logica) sino como las pruebas
que encontramos practicamente en la mayora de los libros de matem aticas.
En la prueba no haremos dos columnas, como lo venamos haciendo en las derivacio-
nes, sino que la prueba se desarrollar a sin justicaciones l ogicas de reglas de inferencia
27
28 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

y, mas bien las justicaciones que se daran, ser an de orden matematico, reriendonos
a axiomas o teoremas previos. Sin embargo, si analizamos en detalle la estructura de
dichas pruebas veremos que all detras est an las reglas de inferencia sosteniendo las
pruebas.
Que es lo que probamos en matematicas? Probamos teoremas, proposiciones, lemas,
corolarios y ejercicios. Todos ellos son armaciones que necesitan ser probados con el
mismo rigor, aunque ellos no tengan la misma importancia en la teora.
Examinemos algunos enunciados de teoremas que conocemos.
El volumen V de una esfera de radio r es
4r
3
3
Observese que la expresi on V =
4r
3
3
no dice lo mismo. Es importante denir las
variables, decir que V es el volumen de una esfera y que r es el radio. Realmente, esas
son las hip otesis o premisas del teorema y por lo tanto es importante que queden de-
nidas. Ahora aunque las palabras Si..., entonces... no aparecen en dicho enunciado;
este enunciado es realmente un condicional. En efecto rescribamoslo:
Si r y V son el radio y el volumen, respectivamente, de una esfera, entonces V =
4r
3
3
.
La mayora de los teoremas, proposiciones, corolarios y lemas son de la forma P Q o
combinaci on de estos, aunque explcitamente no se vean las palabras Si..., entonces....
Por eso, antes de emprender la prueba de cualquier teorema, proposici on, corolario o
lema es necesario tener claro cuales son las hip otesis o premisas y que es lo que se quiere
probar. Es decir, debemos poder distinguir cu al es P y cual es Q. Si bien las hip otesis
del teorema constituyen P, ellas no son las unicas premisas que podemos usar en la
prueba, pues todo teorema, denici on o axioma establecido anteriormente, es v alido
como premisa. Las deniciones y axiomas nos permiten comenzar a trabajar en una
teora pues si no estaramos trabajando hacia atras innitamente.
Inicialmente para aprender a hacer pruebas las tendremos que hacer en un contexto
que mas o menos todos conozcamos. Y el escogido va a ser el contexto de los n umeros.
Supondremos que conocemos las principales propiedades de los n umeros enteros, racio-
nales o reales, es decir, sabemos que existen la suma, la resta, el producto, la divisi on,
la radicacion y que, adem as, conocemos las reglas de manejo de estas operaciones.
2.2. Pruebas Directas.
Si debemos probar P Q una forma de hacerlo es suponer que P es cierto y avan-
zar deduciendo algunas cosas hasta que nalmente se llega a Q. Este estilo de prueba
es lo que llamamos una prueba directa o por metodo directo.
2.2. PRUEBAS DIRECTAS. 29
Cuando se construye una prueba, primero se hace una exploracion que nos acla-
rar a cual es la mejor forma de escribir la prueba. Repetimos: una cosa es la exploracion
y otra la prueba, una cosa es como se haya pensado la prueba y otra cosa es ya cuando
se escribe. La prueba es el escrito nal, que en general no muestra como se nos ocurrio
la prueba.
Algunas recomendaciones b asicas para emprender la exploracion es tener claro lo que
se supone (i.e., la hipotesis) y tener claro lo que se quiere probar (i.e., la tesis).
Observemos que al comenzar las pruebas que ya hicimos en la seccion pasada, los pri-
meros renglones establecan claramente lo que se supone y lo que se quiere probar. Esa
es una buena practica. Una vez se tiene esto claro se debe hacer la exploraci on. Esta se
hace comenzando por escoger una estrategia de prueba. Por ejemplo, se decide hacerla
en forma directa y luego se debe imaginar cual ser a la prueba con dicha estrategia. Si
no se logra imaginar los pasos para realizar la prueba, quiz as es conveniente probar una
estrategia diferente.
No hay una unica manera de hacer una prueba, probablemente, se requerir a hacer mu-
chas exploraciones, es decir, buscar ejemplos diversos que ayuden a entender que es lo
que esta ocurriendo y ayuden a visualizar la prueba.
De todas maneras la experiencia nos ir a ense nando muchos trucos para hacer pruebas.
A un, si la estrategia ya esta denida hay muchas maneras diferentes de proceder. Por
ejemplo para encontrar una prueba de P Q uno comenzar a asumiendo P, y avan-
zando l ogicamente para tratar de llegar a Q. O puede que otro comience mirando a
Q, y pensando que necesita para llegar a Q e ir retrocediendo. O tambien se pueden
combinar ambos metodos para encontrarse en la mitad.
Esto anterior sera s olo para entender los pasos que se deben dar en la prueba. Esto
ser a como un borrador.
Finalmente el ultimo paso de la prueba ser a la escritura. No importa cuan enredada
haya sido la ruta para encontrar las ideas. La prueba escrita debe ser directa (si la es-
trategia era directa) y absolutamente logica. As, en una prueba directa se comenzara
as:
Supongamos P... seguira la argumentaci on paso a paso logicamente... y nalmente se
dira: entonces Q. El pensamiento intuitivo que nos ayuda a visualizar la prueba debe
ser reemplazado por la deduccion l ogica en el momento de escribir. En resumen hay dos
pasos principales en una prueba.
1. Formular la prueba en borrador (Exploraci on).
2. Escribir correctamente.
De c omo se hagan estos dos pasos depender a de muchos factores. En general los pasos
(1) y (2) se retroalimentan y juegan un papel dialectico. Haremos ahora un ejemplo y
para esto daremos la siguiente denicion.
Denicion 2.2. Sean m y n enteros. Decimos que m divide a n si existe alg un entero q
tal que n = qm. Si n divide a m escribimos m[n y decimos tambien que m es un factor
30 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

de n y que n es divisible por m. Smbolicamente
m[n (q en Z)(n = qm)
Observese que m[n es una armaci on y no un n umero, adem as, involucra el cuan-
ticador existencial.
Teorema 2.3. Sean a, b y c enteros. Si a[b y b[c entonces a[c.
Borrador: Como nuestro objetivo es probar que a[c, de alguna manera debemos
encontrar un entero q que cumpla que a q = c. Y utilizando el hecho de que a[b y b[c,
entonces sabemos que existen enteros r y s tales que ar = b y bs = c . Esto nos sugiere
tomar q = rs, lo cual vemos que s funciona pues (ar)s = a(rs) = c. Escribamos ahora
s la prueba.
Prueba: Supongamos que a[b y b[c. Debemos probar que a[c. Como a[b y b[c, existen
enteros r y s tales que ar = b y bs = c. Denamos q = rs. Luego aq = a(rs) = (ar)s =
bs = c. Por tanto aq = c, lo que implica que a[c.
Nota 2.4. Observese que en esta prueba estamos haciendo dos ejemplicaciones exis-
tenciales, y por eso usamos las letras r y s que son diferentes. Veamos otra prueba.
Teorema 2.5. Sea n un n umero entero. Entonces
1. Si n es un numero par, entonces 3n es par.
2. Si n es un numero impar, entonces 3n es impar.
Borrador: Sabemos que n es un n umero par, pero esto quiere decir que existe
un n umero entero k tal que n = 2k y queremos probar que 3n tambien es par; es
decir, que hay un n umero entero q tal que 3n = 2q. Esto nos sugiere tomar a q como
3k. Efectivamente vemos que 3n = 3(2k) = 2(3k). Ahora s, escribamos la prueba.
Prueba: Sea n un entero par. Luego n = 2k, para algun entero k. Si denimos q = 3k,
entonces 3n = 3(2k) = 2(3k) = 2q lo que implica que 3n es par. La segunda parte es
dejada como ejercicio al lector.
2.3. Pruebas por Contrarrecproco y Contradiccion.
Estudiemos dos clases de pruebas que aunque a veces parecen m as enredadas, mu-
chas veces nos hacen la vida m as facil.
2.3. PRUEBAS POR CONTRARREC

IPROCO Y CONTRADICCI

ON. 31
2.3.1. Metodo del Contrarrecproco.
Consiste en que para probar P Q m as bien se prueba Q P y esto ultimo
lo hacemos de forma directa. Por ejemplo
Teorema 2.6. Sea n un n umero entero. Si n
2
es par, entonces n es par.
Borrador: Hacer esta prueba por metodo directo es muy duro, trate de hacer-
la. Queremos mostrar que n es par, esto es, que existe q entero tal que n = 2q.
Vamos a suponer que n no es par, entonces n es impar, luego n = 2m + 1, pa-
ra alg un entero m. Lo que se nos viene a la mente es remplazar en n
2
. Entonces
n
2
= (2m + 1)
2
= 2m
2
+ 4m + 1 = 2(2m
2
+ m) + 1. Lo que estamos diciendo es
que n
2
es par, lo cual contradice nuestra hipotesis. Hagamos la prueba.
Prueba: Debemos probar que si n
2
es un entero par, entonces n es par. Lo haremos
por contrarrecproco, para esto supongamos que n no es par, es decir, n es impar y
probaremos que n
2
no es par. Como n es impar existe un entero k tal que n = 2k + 1,
luego n
2
= (2k +1)
2
= 2(2k
2
+2k) +1 = 2q +1, donde q = 2k
2
+2k. De aqu tenemos
que n
2
es impar, lo que termina la prueba.
2.3.2. El Metodo de Contradicci on o el Absurdo.
Consiste en lo siguiente, para probar P Q probaremos que ( (P Q))
es cierto, lo cual hacemos aprovechando la equivalencia (P Q) P Q, y
se trata de probar que si P Q es verdadero se deriva una contradicci on, luego
obligatoriamente (P Q) es falso y por lo tanto concluiremos que ( (P
Q)) debe ser verdadero. Observe que usamos doble negaci on y el principio del medio
excludo. Veamos el siguiente ejemplo, pero antes necesitamos una denic on.
Denici on 2.7 (N umeros Irracionales). Sea x un n umero real. Decimos que x es un
n umero racional si existen un entero m y un natural n tales que x = m/n. Si x no es
un racional, diremos que x es irracional.
Teorema 2.8.

2 es irracional.
Prueba: Supongamos que

2 es racional. Entonces existen m entero y n natural tales

que

2 = m/n. De hecho, podemos suponer que esta representaci on es la mas simple,

en el sentido que no existen r entero y s natural, con r ,= m y s ,= n, tales que

2 =
r
s
.
Note que como

2 es positivo, tenemos que m es un natural. Luego 2 =

m
2
n
2
, esto
es m
2
= 2n
2
. Lo que indica que m
2
es par, por ejemplo anterior se tiene que m es
par. As que existe q en los enteros tal que m = 2q. Por tanto (2q)
2
= 2n
2
, es decir
n
2
= 2q
2
, lo que nos dice que n
2
es par, esto es existe p entero tal que n = 2p. Por
tanto

2 =
m
n
=
2q
2p
=
q
p,
lo cual es absurdo pues la representaci on de

2 es la mas
simplicada.
32 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

2.4. Metodo de Casos y pruebas de Si y s olo si.
2.4.1. Metodo de Casos o Disyunci on de Casos.
El metodo de casos o disyuncion de casos lo usamos cuando tenemos que probar
por ejemplo (A B) Q y por ejercicio anterior esto es equivalente a probar (A
Q) (B Q), o tambien
A B
A Q
B Q
Q Q Dilema constructivo
Q Q Q Q es tautologa
Veamos un ejemplo.
Teorema 2.9. Sean a y b numeros reales. a
2
< b
2
si 0 < a < b o si b < a < 0.
Prueba: Supongamos que a y b son n umeros reales. Veamos que tanto si 0 < a < b
como si b < a < 0 tenemos que a
2
< b
2
. Es decir, en ambos casos debemos probar
que a
2
< b
2
. En efecto, si 0 < a < b entonces b > 0 y si a < b entonces ab < bb,
pues al multiplicar una desigualdad en ambos lados por algo positivo la desigualdad no
cambia de sentido y, similarmente, como a > 0 y a < b entonces aa < ab, luego por
transitividad, aa < bb, es decir a
2
< b
2
es cierto.
Consideremos ahora el otro caso. Si b < a < 0 entonces 0 < a < b, pues al
multiplicar una desigualdad por algo negativo ella cambia de sentido y por el caso
anterior tendramos que (a
2
) < (b
2
), pero por propiedades conocidas (a)
2
= a
2
y
(b)
2
= b
2
, luego a
2
< b
2
tambien es cierto en este caso. Luego en ambos casos a
2
< b
2
.

Ejemplo 2.10. Volvamos a analizar el teorema que acabamos de probar. Este dice as:
Sean a y b n umeros reales. a
2
< b
2
si 0 < a < b o si b < a < 0.
Vemos que este teorema tiene la forma P Q R siendo,
P : a y b n umeros reales tales que 0 < a < b.
Q : a y b n umeros reales tales que b < a < 0.
R : a
2
< b
2
.
La hipotesis es P Q
Probamos que P R
y que Q R
y concluimos R R Por dilema constructivo.
Pero R R R. O sea que las reglas siempre estar an all aunque no se vean explci-
tamente.
2.4. M

ETODO DE CASOS Y PRUEBAS DE SI Y S

OLO SI. 33
Ejemplo 2.11. Sea n un entero, entonces uno de estos dos n umeros n y n + 1 es par,
y el otro es impar.
Borrador Reescribamos el enunciado. Sea n un entero, entonces si uno de los n ume-
ros n o n +1 es par, entonces el otro es impar. Analizaremos los dos casos posibles. Ya
sea que n es par o que n+1 es par y en cada caso debemos concluir que el otro es impar.
Prueba: Sea n un entero. Entonces analicemos los dos casos.
Caso 1: Si n es par, entonces existe k entero tal que n = 2k, luego n + 1 = 2k + 1 y
as n + 1 es impar.
Caso 2: Si n+1 es par, entonces existe r entero tal que n+1 = 2r luego n = 2r 1 =
2(r 1) + 2 1 = 2(r 1) + 1 luego n es impar.
En el teorema anterior tenamos solo dos casos posibles, pero a veces hay que analizar
m as de dos casos, y en todos se debe llegar a la misma conclusi on. Se necesita que los
casos analizados cubran todas las posibilidades.
Nota 2.12. Si queremos probar P (A B) este no es por casos. Podemos usar
( A B) P (contrerrecproco) o, tambien que [P (A B)] [(P
A) B]. Entonces podra ser por metodo directo probando (P A) B.
Teorema 2.13. Sean x, y n umeros reales. Si xy es irracional, entonces x es irracional
o y es irracional.
Borrador El teorema tiene la forma P (A B). Supondremos P A para
tratar de concluir B. Es decir supondremos que xy es irracional y x es racional, y
debemos llegar a que y es racional.
Prueba: Supongamos que xy es un n umero irracional y que x es racional. Entonces
existen n,m enteros m ,= 0 tales que x =
n
m
. Debemos ahora probar que y es irracional.
Usemos el metodo de contradicci on. Supongamos que y es racional, entonces existen
enteros r y s con s ,= 0 tales que y =
r
s
.
Luego xy =
n
m

r
s
=
(nr)
(ms)
pero (nr) es un entero y (ms) es un entero con ms ,= 0 pues
m ,= 0 y s ,= 0, luego xy es racional. Absurdo!. Luego y es irracional.
C omo probar teoremas que tengan la forma A B P? Se supone A B y se
llega a P. No podemos usar metodo de casos!
Y para probar una armacion como P A B? Observemos las siguientes equi-
valencias: [P (A B)] [(P A) (P B)] [( A B) P] La ultima
armaci on la podemos demostrar usando el metodo de casos.
2.4.2. Pruebas con Si y s olo si.
Probar P Q es equivalente a probar (P Q)(Q P) y estos dos condicionales
los probaremos por cualquiera de los metodos aprendidos.
34 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

Teorema 2.14. Sean a y b enteros diferentes de cero. Entonces a[b y b[a si y solo si
a = b o a = b.
Prueba: Sean a y b dos enteros distintos de cero.
Supongamos que a[b y b[a. Entonces existen enteros m y n tales que am = b (1) y
bn = a (2). Reemplazando (2) en (1) tenemos (bn)m = b luego b(nm) = b y como b ,= 0
entonces nm = 1. Pero si nm = 1, necesariamente n = 1 y m = 1 o n = 1 y m = 1.
En el primer caso tendramos que a = b y en el segundo caso que a = b.
Supongamos ahora que a = b o que a = b Examinemos cada caso. Si a = b
entonces claramente a1 = b y as a[b pero tambien a = b1 y entonces tambien b[a. Y si
a = b entonces a(1) = b y en este caso a[b y tambien a = (1)b luego b[a.
Veamos otro ejemplo.
Teorema 2.15. Sean m y n enteros. Entonces mn es impar si y solo si m y n son
ambos impares.
Borrador. Probemos la implicacion en forma directa y la implicaci on
por contrarrecproco y disyuncion de casos.
Prueba: Sean m y n enteros.
Supongamos que m y n son ambos impares, luego existen enteros r y s tales que
m = 2r +1 y n = 2s +1 entonces mn = (2r +1)(2s +1) = (2r)(2s) +2r +2s +(1)(1) =
2(2rs+r+s)+1. Luego si q = 2rs+r+s, q es entero pues r y s lo son, luego mn = 2q+1
y as mn es impar.
Razonemos por contradiccion. Supongamos que n y m no son ambos impares. Es
decir estamos suponiendo que m es par o que n es par. Analicemos cada caso.
Caso 1: Si m es par entonces existe un k entero tal que m = 2k, luego mn = (2k)n =
2(kn) y como k y n son enteros, kn tambien lo es, luego mn no es impar.
Caso 2: Si n es par se prueba similarmente que mn no es par.
Luego hemos probado que si m y n son ambos impares entonces mn no es impar, luego
por contrarrecproco el resultado es cierto.
Es muy com un encontrar teoremas donde se quiere probar que varias armaciones
son equivalentes. La forma de ellos es:
Se dan hipotesis y se dice al nal de las hip otesis: Entonces las siguientes armaciones
son equivalentes.
(1) A
(2) B
(3) C
(4) D
Para hacer la prueba es suciente hacer un crculo que pase por todas las armaciones.
Por ejemplo podramos probar (1)(2), luego (2)(4), luego (4)(3) y nalmente
(3)(1) y al cerrar el crculo quedaron probadas todas las equivalencias. Cada una de
las implicaciones se demuestra con cualquiera de las metodos aprendidos.
2.5. CUANTIFICADORES EN TEOREMAS. 35
2.5. Cuanticadores en Teoremas.
Si miramos de cerca algunas de las pruebas de clase (sino todas) nos daremos cuen-
ta de que ellas involucran cuanticadores. La presencia de ellos es una de las mayores
fuentes de error si no se trabaja con cuidado.
Comencemos considerando armaciones que involucran un solo cuanticador univer-
sal, esto es son aquellos de la forma (x en U)P(x). Algunos de los teoremas explicados
en el libro tienen esta forma.
Ejemplo 2.16. Sea n un entero. Entonces n
2
+n es par. Lo podemos entonces refor-
mular Para todo n en los enteros, n
2
+n es par. Para hacer la prueba, lo que hacemos
es tomar un entero cualquiera que denotamos por n y para este entero cualquiera se lle-
ga a la conclusion de que n
2
+ n es par. Y as queda probada la armacion para todo
entero n.
Recordemos que la exploracion no es la prueba y si bien en la exploraci on podramos
haber chequeado que 3
2
+3 es par, esto no constituye la prueba para todos los enteros n.
Como probar (x en U)P(x)? Pues se prueba su equivalente Si x esta en U, enton-
ces P(x) es verdad que es un condicional y lo podemos probar con cualquier metodo.
As pues, tomamos un elemento arbitrario x en U y se trata de probar que P(x) es
verdadero. Si hacemos esto, entonces queda probado (x en U)P(x). Que reglas de
inferencia hay detras? Generalizaci on Universal, pues se probo P(x) con x arbitrario y
de all se concluye (x en U)P(x).
Otro tipo de teorema es aquel que involucra un unico cuanticador existencial y tie-
ne la forma (x en U)P(x). Para probar un teorema de esta forma, se trata de producir
(de alguna forma la cual resulta irrelevante en el teorema) un elemento particular z
0
en
U que verique a P(x), es decir, tal que P(z
0
) es verdad. En esta prueba tambien hay
un condicional que podemos probar con cualquiera de los metodos. Ellas tienen m as o
menos la siguiente estructura. Primero de alguna forma se dene un z
0
en U escogido
de tal manera que uno sepa que va a cumplir P(x), luego se prueba el condicional Si
x = z
0
entonces P(x) es verdad. La forma de c omo se encuentra el z
0
es irrelevante en
la prueba, pero muy importante en la exploraci on.
Muchas veces para encontrar el objeto supondremos que P(z
0
) es verdadero y se va
hacia atr as para identicar a z
0
. Pero esta no es la prueba, pues no siempre es posible
reversar los argumentos. Hagamos un ejemplo, para lo cual necesitamos una denici on
preliminar.
Denici on 2.17. Recordemos que si A =
_
a b
c d
_
entonces det A
22
= ad bc y
TrA
22
= a +d.
36 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

Probemos la siguiente proposici on
Proposicion 2.18. Existe una matriz A
22
con entradas enteras tal que det A
22
= 4
y TrA
22
= 7.
Borrador. Debemos exhibir un matriz A
22
que cumpla esas dos caractersticas.
Con que mostremos una es suciente. Puede haber muchas.
Sea A =
_
a b
c d
_
. La condici on det A = 4 nos dice que ad bc = 4 y la condicion
TrA = 7 nos dice que a + d = 7. Como a y d son enteros las opciones para a y d
son muchas. Les damos valores y luego tanteando buscamos los valores para b y c. Por
ejemplo a = 3, d = 4, luego ad = 12, entonces bc = 12 4 = 8 y podramos escoger a
b = 1 y c = 8 y, as, A =
_
3 1
8 4
_
es una matriz que cumple las condiciones pedidas.
En realidad hay muchas pero para probar la proposici on necesitamos mostrar s olo una.
Prueba: Sea A =
_
3 1
8 4
_
Entonces det A = 3 4 1 8 = 4 y TrA = 3 +4 = 7.
Observese la diferencia entre el borrador y la prueba. En el borrador salimos de lo
que queramos concluir hacia atras, pero eso no es la prueba. Y aunque uno ve que
pueden haber muchas matrices que verican las condiciones, es suciente mostrar una.
2.5.1. Cuidados que debemos tener.
Al resolver una ecuaci on; lo que se muestra es la forma como se encontro el x que
cumple la condicion pero estrictamente hablando no es una prueba.
Ejemplo 2.19. Si x + 3 = 2, luego x = 2 3, as x = 1.
Lo que queremos probar es:
Proposicion 2.20. Existe un x tal que x + 3 = 2.
Prueba: Sea x = 1, entonces reemplazando x = 1 en x + 3 = 2 obtenemos
1 + 3 = 2, luego x = 1 verica la ecuaci on.
Sin embargo pedag ogicamente, a nivel elemental, si se exige que el estudiante muestre
el procedimiento para encontrar que x = 1, es una buena opcion.
Volviendo a teoremas que tienen el cuanticador existencial, es com un encontrar
teoremas que exigen probar que es unico el objeto que verica lo que queremos. En
nuestra proposici on de la matriz veamos que eran varias las matrices que podan sa-
tisfacer la propiedad. Pero algunas veces es un solo objeto y se puede probar que ese es
el unico, estos teoremas los llamamos de existencia y unicidad.
2.5. CUANTIFICADORES EN TEOREMAS. 37
Proposicion 2.21. Existe un unico x en los reales tal que
e
x+3
= 2. (2.1)
Borrador Si e
x+3
= 2 entonces ln e
x+3
= ln 2, luego x+3 = ln 2, luego x = ln 2 3.
Con esto hemos identicado un real especico que satisface la ecuaci on. Ahora para
probar la unicidad, supongamos que hay otro elemento y que satisface la condici on, o
sea tal que e
y+3
= 2, pero haciendo los mismos calculos se llega a que y = ln 23 luego
es el unico objeto que satisface la ecuaci on (2.1).
Prueba: Unicidad: Supongamos que existen dos n umeros a y b tales que e
a+3
= 2 y
e
b+3
= 2. Entonces e
a+3
= e
b+3
luego a + 3 = b + 3 y as a = b.
Existencia: Sea x = ln 23 reemplazando en la ecuaci on (2.1) obtenemos que e
(ln 23)+3
=
e
ln 2
= 2. Luego x verica (2.1).
Recordemos que: [(x en U)P(x)] (x en U)( P(x)) y que [(x en U)P(x)]
(x en U)( P(x)). Entonces si quisieramos probar por ejemplo que (x en U)P(x)
es una armaci on falsa es suciente probar que (x en U)( P(x)) y esta la haramos
como ya hemos mostrado, es decir encontrando un elemento x
0
en U que no satisface a
P(x). Dicho elemento lo llamamos Contraejemplo.
Por ejemplo para mostrar que la siguiente armacion es falsa, basta encontrar un
contraejemplo. Todos lo n umeros impares son primos. Esto es falso pues x = 9 es
impar pero no es primo. As x = 9 es un contraejemplo.
C omo enfrentar pruebas con m as de un cuanticador?. La clave es tomarlos uno
por uno de afuera hacia adentro y si ellos no est an implcitos se debe tener especial
cuidado en no confundir su orden.
Proposicion 2.22. Para cada n umero real x existe un numero real y > 0 tal que
e
x
y > 0
Borrador La proposicion tiene la forma (x en R)(y en R)(e
x
y > 0). Si
P(x) = (y en R
+
)(e
x
y > 0) lo que hay que probar es (x en R
+
)P(x). Enton-
ces se trata de dar un x
0
real arbitrario para el cual debemos probar que P(x
0
) : (y
en R
+
)(e
x
y > 0) y esta ultima la podremos probar si encontramos un y
0
real que
verique dicha desigualdad. Dicho y
0
puede depender de x
0
. Como e
x
0
> 0, entonces si
denimos y
0
=
e
x
0
2
> 0 vemos que se cumple la desigualdad.
Prueba: Sea x
0
un n umero real arbitrario. Sea y
0
=
e
x
0
2
. Entonces e
x
0
y
0
= e
x
0

e
x
0
2
=
e
x
0
2
> 0 pues e
x
0
> 0. Luego para cada real x
0
hemos encontrado un n umero real y
0
positivo tal que e
x
0
y
0
> 0.
En contraposici on con la proposici on anterior, la armaci on existe un n umero real
positivo y tal que e
x
y > 0, para todo real x es falsa. En efecto ella tiene la forma
(y en R)(x en R)(e
x
y > 0). Si probamos que (y en R)(x en R)(e
x
y 0) es
38 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

cierto entonces tendramos que su negaci on es falsa.
Prueba: Sea y
0
un n umero positivo arbitrario. Entonces ln y
0
existe. Sea x
0
= ln y
0
1,
es decir x
0
< ln y
0
. Luego e
x
0
< e
ln y
0
, luego e
x
0
< y
0
y as e
x
0
y
0
< 0 lo que implica
que e
x
0
y
0
0. Hemos entonces probado que para todo y
0
real positivo existe un x
0
real tal que e
x
y es mayor que cero. Luego la armacion dada es falsa. Probemos
ahora la siguiente proposici on.
Proposicion 2.23. Existe un real y positivo tal que para todo x real, x
2
+ 1 > y.
Borrador La armaci on es de la forma (y en R
+
)(x en R)(x
2
+ 1 > y). Bas-
tar a encontrar un y
0
> 0 que verica que (x en R)(x
2
+ 1 > y
0
), como x
2
+ 1 1 si
tomamos cualquier y tal que 0 < y < 1, estaremos listos.
Prueba: Sea y
0
=
1
2
. Entonces 0 < y
0
< 1. Sea ahora x
0
un real arbitrario, entonces
x
0
2
0 luego x
0
2
+ 1 1 (por proposici on de desigualdades) y como 1 >
1
2
= y
0
entonces x
0
2
+ 1 y
0
.
2.6. Escribiendo Matematicas
Cuando escribimos debemos pensar que habra lectores diferentes a nosotros. Por lo
tanto las cosas deben estar escritas clara y correctamente. Por eso debemos seguir las
siguientes reglas
1. Una prueba escrita se debe defender sola. No piense que quien lee es un genio.
Piense que usted no esta al lado de quien lee para explicarle lo que usted quiere
decir.
2. Escriba de manera precisa y cuidadosa. Este seguro de que lo que escribe es lo
que usted quiere decir. Por ejemplo: no olvide poner comas, puntos, etc. donde
debe ponerlas. No olvide las hip otesis al redactar los teoremas. Revise sus escritos
como si fuera otro el que lee.
3. Pruebe lo que es apropiado. Que no le falten detalles importantes, pero tampoco
exagere en las justicaciones.
4. Sea cuidadoso con expresiones como Es obvio que. Lo que le puede parecer
obvio a usted, puede que a otra persona no le parezca. En ingles: Obvious, es algo
cuya demostracion en tiempo no requiere mucho esfuerzo. Trivial (en ingles) es
algo que si bien puede tomar mucho tiempo para probar, una vez se encuentra la
prueba es f acil.
5. Use frases completas y gramaticalmente correctas.
6. Use los signos de igualdad correctamente.
2.7. EJERCICIOS 39
Ejemplo 2.24. Se pide encontrar f

(x) para f(x) = x

2
y el estudiante escribe:
f(x) = x
2
= 2x = f

(x). Esto no tiene sentido! o si escriben f(x) = x

2
,
entonces 2x tampoco es correcto. El signo de igualdad lo estan usando incorrec-
tamente.
Hay que pensar que = signica es igual y por tanto no se puede poner en
cualquier parte ni se debe dejar de poner donde se necesite.
7. Dena todos los smbolos y terminos que usa. Es importante denir el signicado
que tienen las letras que usa y las palabras nuevas que se usan. Trate de no
inventar nuevos terminos, m as de lo necesario, y de que las letras sean lo m as
sencillas posibles, trate de que no haya muchos subndices o superndices. H agale
la vida f acil al que lee.
8. Divida una prueba muy larga en pasos. O extraiga lemas.
9. Distinga el lenguaje formal del informal.
Lenguaje formal: deniciones, armaciones, teoremas, pruebas.
Lenguaje informal: se usa para motivacion, intuici on, etc.
10. Otras recomendaciones.
a) No ponga un smbolo inmediatamente despues de un signo de puntuacion.
Use alguna palabra entre los dos.
b) En la escritura nal no use smbolos como ,, , , . Use palabras.
c) Use notaci on consistente, es decir, por ejemplo, si comienza denotando las
matrices con may usculas, sgalas denotando con may usculas.
d) Escriba f ormulas largas en una sola lnea reservada para ellas, pero entienda
que es la continuacion de lo que escribe.
e) Ponga may usculas cuando va a referirse a teoremas o proposiciones o captu-
los que tienen un n umero, por ejemplo: Segun el Teorema 2.2.3..., pero no
ponga may usculas en frases como: el teorema anterior dice.
2.7. Ejercicios
1. Sean n y m enteros.
(i) Muestre que 1[n.
(ii) Muestre que n[n.
(iii) Muestre que si m[n, entonces m[(n).
2. Sea n un entero.
40 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

(i) Muestre que si n es par, entonces 3n es par.
(ii) Muestre que si n es impar, entonces 3n es impar.
3. Sea n un entero. Muestre que si n es par entonces n
2
es par, y si n es impar
entonces n
2
es impar.
4. Sea n un entero. Decimos que n es m ultiplo de 3 si n = 3k para alg un entero k.
Sean n y m enteros.
(i) Suponga que n y m son m ultiplos de 3. Muestre que n+m es multiplo de 3.
(ii) Suponga que n es m ultiplo de 3. Muestre que nm es multiplo de 3.
5. Sean a, b, c, m y n enteros. Muestre que si a[b y a[c, entonces a[(bm+cn).
6. Sea a, b, c y d enteros. Muestre que si a[b y c[d, entonces ac[bd.
7. Sean a y b enteros. Muestre que si a[b, entonces a
n
[b
n
para todo entero positivo
n. (No se necesita inducci on matem atica en este ejercicio)
8. Sea n un entero. Muestre que si n
2
es par, entonces n es par.
9. Sean a, b y c enteros. Muestre que si a no divide a bc, entonces a no divide a b.
10. Muestre que el producto de un n umero racional diferente de cero y un n umero
irracional es irracional.
11. Sean a, b y c enteros. Suponga que existe un entero d tal que d[a y d[b, pero d no
divide a c. Muestre que la ecuaci on ax +by = c no tiene soluciones tales que x y
y sean enteros.
12. Sea c > 2 un entero que no es primo. Muestre que existe un entero positivo b ,= 1
tal que b[c y b

c. (Haga esta prueba en forma directa).
13. Sea q un entero positivo tal que q 2 y tal que para todo a y b enteros, si q[ab
entonces q[a o q[b. Muestre

q es irracional.
14. Sea q un entero positivo tal que q 2 y tal que para todo a y b enteros, si
q[ab entonces q[a o q[b. Muestre que q es un n umero primo. (el recproco de esta
armaci on tambien es verdadero, pero es mucho mas difcil de provar)
15. Sean a, b y c enteros tales que c ,= 0. Muestre que a[b si y s olo si ac[bc.
16. Sean a y b enteros. Decimos que a y b son primos relativos si la siguiente
condici on se cumple: Si n es un entero tal que n[a y n[b, entonces n = 1.
(1) Encuentre dos enteros a y b que sean primos relativos. Encuentre dos enteros
c y d que no sean primos relativos.
2.7. EJERCICIOS 41
(2) Suponga que a y b son enteros positivos. Muestre que las siguientes arma-
ciones son equivalentes.
(i) a y b son primos relativos.
(ii) a +b y b son primos relativos.
(iii) a y a +b son primos relativos.
17. Sea n un entero. Muestre que uno de los dos n umeros n y n + 1 es par, y el otro
es impar.
18. Este ejercicio hace uso de la denicion dada en el ejercicio 2.2.5. Se puede probar
que si n es un entero, entonces exactamente una de las siguientes armaciones es
v alida: n = 3k para alg un entero k, o n = 3k+1 para alg un entero k, o n = 3k+2
para alg un entero k. (La prueba de este hecho es dada en el Ejercicio 8.4.16; esta
prueba no hace uso del presente ejercicio.) Sean n y m enteros.
(1) Suponga que n es m ultiplo de 3 y que m no es m ultiplo de 3. Muestre que
n +m no es m ultiplo de 3.
(2) Muestre que mn es m ultiplo de 3 si y s olo si m o n es m ultiplo de 3.
19. Encuentre todas las triplas de n umeros p, p + 2 y p + 4 tal que todas los tres
n umeros sean primos. Pruebe que se tienen todas dichas triplas.(Para la prueba,
use la discusi on dada al comienzo del Ejercicio 2.4.5.)
20. Sea n entero impar. Muestre que exactamente una de las siguiente s armaciones
se cumple. n = 4k para alg un entero k, o n = 4k + 1 para alg un entero k,
o n = 4k +2 para alg un entero k, o n = 4k +3 para alg un entero k. (Todo lo que
se necesita es el hecho que todo entero es par o impar.)
21. Sea n un entero impar. Muestre que existe un entero k tal que n
2
= 8k + 1.
22. Sea x un n umero real. Denimos el valor absoluto de x, denotado [x[, como
[x[ =
_
x, if x 0,
x, if x > 0.
Sean x y y n umeros reales. Pruebe las siguientes armaciones.
(i) [ x[ = [x[.
(ii) [x[
2
= x
2
.
(iii) [x y[ = [y x[.
(iv) [xy[ = [x[[y[.
42 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

23. Sean x y y n umeros reales. Denimos el x y y x y como
x y =
_
x, if x y,
y, if x y.
y x y =
_
y, if x y,
x, if x y.
Sean a, b y c n umeros reales. Pruebe las siguientes armaciones. La denicion de
valor absoluto es dada en el Ejercicio 2.4.9.
(i) (a b) + (a b) = a +b.
(ii) (a b) +c = (a +c) (b +c) y (a b) +c = (a +c) (b +c).
(iii) (a b) c = a (b c) y (a b) c = a (b c).
(iv) (a b) (a b) = [a b[.
(v) a b =
1
2
(a +b +[a b[) y a b =
1
2
(a +b [a b[)
24. Sea x un n umero real. Denotamos por x| el mayor entero menor o igual que x.
Para claricar esta denicion, note que existen unicos n umeros I
x
y x tales que
I
x
es un entero, 0 x < 1 y x = I
x
+x. Entonces x| = I
x
. Sean x y y n umeros
reales. Pruebe las siguientes armaciones.
(i) x| +x| es igual a 0 o 1.
(ii) x +y| es igual a x| +y| o x| +y| + 1
(iii) Si x, y 0, entonces x|y| xy| x|y| +x| +y|.
25. Pruebe o de un contraejemplo para cada una de las siguientes armaciones.
(i) Para cada n umero no negativo s, existe un numero no negativo t tal que
s t.
(ii) Existe un n umero no negativo t tal que para todo n umero no negativo s,
tenemos que s t.
(iii) Para cada n umero no negativo t, existe un n umero no negativo s tal que
s t.
(iv) Existe un n umero no negativo s tal que para todo n umero no negativo t,
tenemos que s t.
26. Pruebe o de un contraejemplo para cada una de las siguientes armaciones.
(i) Para cada entero a, existe un entero b tal que a[b.
(ii) Existe un entero b tal que para todo entero a, tenemos que a[b
(iii) Para cada entero b, existe un entero a tal que a[b.
(iv) Existe un entero a tal que para todo entero b, tenemos que a[b.
27. Pruebe o de un contraejemplo para cada una de las siguientes armaciones.
2.7. EJERCICIOS 43
(i) Para cada n umero real x, existe un n umero real y tal que e
x
y > 0.
(ii) Existe un n umero real y tal que para todo n umero real x, tenemos que
e
x
y > 0
(iii) Para cada n umero real y, existe un n umero real x tal que e
x
y > 0.
(iv) Existe un n umero real x tal que para n umero real y, tenemos que e
x
y > 0.
28. Pruebe o de un contraejemplo para la siguiente armaci on: Para cada entero
positivo a, existe un entero positivo b tal que
1
2b
2
+b
<
1
ab
2
.
29. Pruebe o de un contraejemplo para la siguiente armacion: Para todo n umero
real y, existe un n umero real x tal que e
3x
+y = y
2
1.
30. Pruebe o de un contraejemplo para la siguiente armaci on: Para cada n umero
real p, existen n umeros reales q y r tales que q sen(r/5) = p.
31. Pruebe o de un contraejemplo para la siguiente armaci on: Para cada entero x,
y para cada entero y, existe un entero z tal que z
2
+ 2xz y
2
= 0.
32. Sea P(x, y) una armaci on con variables libres x y y, las cuales son n umeros reales.
Sean a y b n umeros reales. Decimos que el n umero real u es el mnimo Pn umero
para a y b si las siguientes dos condiciones se satisfacen: (1) la armaci on P(a, u)
y P(b, u) son verdaderas; (2) si w es un n umero real tal que P(a, w) y P(b, w) son
verdaderas, entonces u w. Suponga que c y d son n umeros reales, y que existe
un P n umero para c y d. Muestre que este mnimo Pn umero es unico. (Un
ejemplo familiar de esta situaci on es el mnimo com un m ultiplo).
44 CAP

ITULO 2. ESTRATEGIAS DE PRUEBA

Captulo 3
Clases y Conjuntos.
Como es bien conocido la teora axiomatica de conjuntos creada por Zermelo-
Fraenkel permiti o eliminar todas la paradojas que se conocan hasta el momento re-
lacionadas con clases y conjuntos, lo cual di o solidas bases a la matematica moderna
y conanza en la misma. Lo que haremos en estas notas sea aceptar la existencia de
ciertos conjuntos y deducir sus propiedades sin preocuparnos de su construccion la cual
sabemos esta bien fundamentada en la actualidad.
3.1. Deniciones Basicas.
Construiremos nuestra teora estableciendo dos conceptos indenibles: La palabra
clase y la relaci on pertenece a. Todos los objetos de nuestra teora seran llama-
dos clases. Ciertas clases que llamaremos conjuntos ser an denidos mas adelante. Todo
conjunto es una clase, pero no el recproco, esto es, no toda clase es una conjunto. Las
clases que no son conjuntos seran llamadas clases propias.
Si x y A son clases la expresion x A se lee x es un elemento de A, x
pertenece a A o x est a en A. Es conveniente escribir x , A para decir que x no
es un elemento de A.
La manera mas simple de representar clases es hacer una lista que encerramos entre
llaves.
Ejemplo 3.1. a, b, c es la clase cuyos unicos elementos son a, b y c
El orden de los elementos, no es importante. En la lista escribimos una unica vez
cada elemento. Puede haber clases innitos y tambien las podemos representar como
una lista entre llaves, la cual es seguida con puntos suspensivos.
Ejemplo 3.2. N = 1, 2, 3, 4,..., Z = ..., -2, -1, 0, 1, 2,....
A veces no los podemos listar y recurrimos a una propiedad.
45
46 CAP

ITULO 3. CLASES Y CONJUNTOS.

Ejemplo 3.3. P = m Z : (k Z)(m = 2k),
P = m Z : Existe un entero k tal que m = 2k,
P = x Z : Existe un entero q tal que x = 2q,
Observe que en las dos ultimas deniciones lo unico que cambia es la variable, pero
las clases descritas son las mismas. Es decir el nombre de las variables es irrelevante.
La denicion formal de intervalos de la recta real se hace por medio de propiedades.
Ejemplo 3.4. (a, b) = x R : a < x < b y [a, b) = x R : a x < b
Nota 3.5. Como el nombre de las variables es irrelevante, si uno se va a referir a
un elemento de dicha clase hay que decirlo. Diramos, por ejemplo: Sea x (a, b)... y
mientras estamos en dicho contexto x tiene dicho sentido.
Denici on 3.6 (Igualdad de Clases). Sean A y B clases. Decimos que A es igual a B
y lo denotamos por A = B, si cada elemento de A es un elemento de B y viceversa. En
smbolos
A = B (x)(x A x B).
Ejemplo 3.7. Note que a,b,c,d=c,d,b,a, es decir el orden como aparecen no es
importante.
Daremos ahora un ejemplo de como se muestra la igualdad de clases.
Ejemplo 3.8. Sean P = x R : x
2
1 < 0 y Q = x R : 1 < x < 1 Probemos
que P = Q.
Prueba: Supongamos que x P, entonces x
2
1 < 0, luego (x + 1)(x 1) < 0. Por
tanto pueden ocurrir dos casos: Caso 1: x 1 < 0 y x + 1 > 0. En este caso, x < 1 y
x > 1, luego 1 < x < 1. Caso 2: x 1 > 0 y x + 1 < 0, entonces x < 1 y x > 1,
pero este caso es imposible. Luego el unico caso que ocurre es el 1 y as 1 < x < 1, lo
que implica x Q. Por tanto x P x Q.
Sea x Q, entonces 1 < x < 1, luego 1 < x y x < 1. As que 0 < x + 1 y
x 1 < 0. Multiplicando tendremos que (x 1)(x + 1) < 0, dado que tienen signos
contrarios. Luego x
2
1 < 0 y as x P. Por tanto x Q x P. Lo que termina
la prueba.
Denici on 3.9 (Subclases). Sean A y B clases. Decimos que A es una subclase de B
si x A; entonces x B. Esto lo denotamos por A B. En smbolos
A B (x)(x A x B).
Si A no es un subclase de B lo denotamos por A , B. Escribiremos A B, para
decir que A B pero que A ,= B.
3.1. DEFINICIONES B

ASICAS. 47
Para probar que A B la estrategia de la prueba es Sea x A... argumentos,
que generalmente involucran las deniciones de A y B... para concluir: entonces x b.
LuegoA B. En cambio para probar que A , B es suciente exhibir un elemento que
est a en A y que no est a en B. En efecto,
A , B [(x)(x A x B)] ( x)(x A x , B).
Ejemplo 3.10. Sean A = a, b, C = a, c, d, b y D = c, d, a. Notese que A
C, C , A, D C, A , D, D , A.
Hacer una distinci on entre los smbolos y es muy importante.
Ejemplo 3.11. Las armaciones a a, b, c y a a, b, c son proposiciones
correctas, pero a a, b, c y a a, b, c no lo son, pero s podemos decir que
a a, b, c aunque en este caso a a, b, c es falso, pero s es cierto que
a a, b, c.
Algunas propiedades b asicas de la igualdad e inclusion de clases es dada en el si-
guiente teorema.
Teorema 3.12. Sean A, B y C clases. Entonces
1. A = A
2. Si A = B, entonces B = A.
3. Si A = B y B = C, entonces A = C.
4. A A
5. Si A B y B A, si y solo si A = B.
6. Si A B y B C, entonces A C.
Prueba: Probaremos las primeras tres propiedades, el resto es dejado de ejercicio al
lector.
1. Las armaciones x A x A y x A x A, son claramente ciertas,
entonces A = A.
2. Si A = B; entonces x A x B y x B x A, entonces x B x A
y x A x B. Por denici on se tiene que B = A.
3. Supongamos que A = B y B = C. Considere x A, entonces como A = B, se
tiene que x B, pero B = C, luego x C. As que la armaci on x A x C,
es verdadera. De igual forma se prueba que x C x A, es valida, lo que
muestra que A = C.
48 CAP

ITULO 3. CLASES Y CONJUNTOS.

Denicion 3.13 (Clase vaco). La clase vaco es aquella que no tiene elementos, tam-
bien se le llama algunas veces el clase nula y se denota por . Axiomaticamente se dene
como = x : x ,= x.
Denici on 3.14 (Clase Universal o Universo). Denimos la clase universal o universo
como la clase de todos los elementos, la denotaremos por U Axiomaticamente se dene
como
U = x : x = x.
Lema 3.15. Sean A, B y C clases. Entonces
1. A
2. A U
Prueba:
1. Como a es falso, ya que no tiene elementos, entonces si a entonces
a A es verdadero, luego A.
2. Si x A, entonces x es un elemento, luego x U.

3.2. Operaciones entre Clases.

As como tenemos operaciones entre n umeros, tenemos las dos operaciones entre
conjuntos. Las dos b asicas corresponden a la o y a la y logicas.
Denici on 3.16 (Uni on e Intersecci on de Clases). Sean A y B clases. La union de A
y B denotada por A B se dene como la clase de todos los elementos que pertenecen
a A, o a B o a ambos A y B. En smbolos
A B = x : x A x B.
La interseccion de A y B denotada por A B se dene como la clase de todos los
elementos que pertenecen a ambos A y B. En smbolos
A B = x : x A x B.
Ejemplo 3.17. Sean A = 1, 3, 5, 1 y B = 1, 0, 1 conjuntos. Luego A B =
1, 3, 5, 1, 0 y A B = 1, 1.
3.2. OPERACIONES ENTRE CLASES. 49
3.2.1. Diagramas de Venn.
Son dibujos que nos ayudan a visualizar conjuntos, pero nunca reemplazan las prue-
bas aunque nos ayudan intuitivamente.
3.2.2. Propiedades de la Uni on y la Interseccion.
El siguiente teorema nos enuncia las propiedades mas importantes de la uni on y de
la intersecci on de dos conjuntos.
Teorema 3.18. Sean A, B y C clases.
1. A B A y A B B. Si X es una clase tal que X A y X B entonces
X A B.
2. A A B y B A B. Si Y es una clase tal que A Y y B Y entonces
A B Y .
3. A B = B A y A B = B A. (Ley conmutativa).
4. A (B C) = (A B) C y A (B C) = (A B) C. (Ley asociativa).
5. A (B C) = (A B) (A C) y A (B C) = (A B) (A C). (Leyes
distributivas).
6. A = A y A = . (Leyes modulativas o de identidad).
7. A A = A y A A = A. (Leyes de idempotencia).
8. A (A B) = A y A (A B) = A. (Leyes de absorcion).
9. Si A B entonces A C B C y A C B C.
Prueba: Veamos algunas de las pruebas. Las otras son propuestas como ejercicio al
lector.
1. Sean A y B clases. Probemos que AB A. Sea x AB, probemos que x A.
En efecto, si x A B; entonces x A y x B; por denicion de intersecci on.
Luego x A. As pues AB A. De la misma forma se prueba que AB B.
Sea ahora X una clase tal que X A y X B. Veamos que X A B. Sea
x X entonces x A y x B, pues X A y X B. Luego x A B.
3. Como x A o x B es equivalente a x B o x A (por conmutatividad de la
disyunci on), entonces AB = BA. Como ejercicio probar que AB = BA.
50 CAP

ITULO 3. CLASES Y CONJUNTOS.

6. Sea x A entonces x A o x . Pero como x no puede pertenecer al
conjunto vaco, necesariamente x A. Luego A A. Ahora si x A entonces
por adici on x A o x , luego x A, luego A A. As pues, A = A.
Sea x A . Entonces x A y x luego x (por simplicaci on), luego
A . Ahora sea x , pero esta armaci on es falsa, luego x x A
y x B es verdadera, luego A . Luego = A .

Denici on 3.19. Sean A y B clases. Decimos que A y B son disjuntas si no tienen

elementos en com un, es decir,
A B = .
Ejemplo 3.20. Sean A = (2, 3) y B = [3, 5) intervalos de la recta real. A y B son
disjuntos.
Denici on 3.21 (Complemento de Clases). El complemento de una clase A es la clase
de todos los elementos que no pertenecen a A. En smbolos,
A

= x : x / A.
Entonces x A

si y solo si x / A.
Teorema 3.22. Sean A y B conjuntos, entonces
1. (A

= A
2. (Leyes de Morgan) (A B)

= A

y (A B)

= A

.
Prueba:
1. Por denici on de complemento se tiene que
x (A

x / A

x A.
Por tanto (A

= A
2. Usando la denicion de complemento y union, se tiene que
x (A

) x A

x B

x / Ax / B x / (AB) x (AB)

.
Por tanto A

= (A B)

. El resto de la prueba es dejada como ejercicio al

lector.
En el siguiente teorema probaremos algunos de las propiedades y el resto se proponen
como ejercicios al lector.
Teorema 3.23. Sea A un conjunto, entonces
3.2. OPERACIONES ENTRE CLASES. 51
1. A U = U
2. A U = A
3. U

=
4.

= U
5. A A

= U
6. A A

=
1. Es claro que A U U, ya que U contiene a todas las clases. Considere x U,
entonces x A x U, as que x A U.
2. La prueba es dejada al lector.
3. Claramente U

, pues vaco es subclase de cualquier clase. Sea x U

, entonces
por denici on de complemento se tiene que x / U, lo cual es absurdo, as que se
puede concluir cualquier cosa, en particular x . Luego U

.
Denici on 3.24. Sean A y B clases. La diferencia de A y B denotada por A B es
la clase denida por
A B = A B

.
Tambien se denota a veces por A B.
Ejemplo 3.25. Si A = x, y, z y B = x, w. Entonces A B = y, z
3.2.3. Propiedades de la Diferencia de Clases.
A continuaci on encontramos las propiedades m as importantes de la diferencia de
clases.
Teorema 3.26. Sean A, B y C clases.
1. A B A.
2. (A B) B = .
3. A B = si y solo si A B.
4. B (B A) = A si y solo si A B.
5. Si A B, entonces A C = A (B C).
6. Si A B, entonces C B C A.
Prueba: Veamos algunas pruebas, las otras quedan como ejercicios.
2. Probemos que (A B) B = . Ya sabemos que (A B) B, pues esta
contenido en cualquier conjunto. Sea x (A B) B, entonces x (A B) y
x B, luego x A y x , B y x B, luego x B y x , B, lo cual es una
contradicci on, luego la armaci on Si x (AB) B, entonces x es cierta,
pues el antecedente es falso. Luego (AB) B y as obtenemos la igualdad
buscada.
52 CAP

ITULO 3. CLASES Y CONJUNTOS.

3. Supongamos que A B = . Razonemos por contradicci on. Si A B, en-
tonces existe un x
0
en A tal que x
0
, B, luego x
0
A y x
0
, B, luego x
0
AB.
Contradicci on! pues va en contra de la hip otesis de que A B = .
Supongamos que A B y razonemos tambien por contradicci on. Suponga-
mos que AB ,= , luego existe un x
0
AB, es decir, x
0
A y x
0
, B, pero
como A B, entonces si x
0
A, entonces x
0
B. Contradiccion!, pues tenemos
que x
0
, B y x
0
B.
4. Supongamos que B(BA) = A y veamos que A B. Sea x A, entonces
x B (B A), luego x B y x , (B A) en particular x B. Luego A B.
Supongamos que A B. Veamos que B (B A) = A.
Sea x B(BA) entonces x B y x , (BA), pero negar que x BA
es negar que x B y x , A y esto ultimo es x , B o x A. Luego tenemos que
x B y (x , B o x A), lo cual es equivalente a (x B y x , B) o (x B
y x A) como x B y x , B no puede ocurrir por ser una contradicci on,
entonces x B y x A ocurre, luego en particular x A. Y hemos probado que
B (B A) A.
Sea ahora x A. Debemos probar que x B (B A). Razonemos por
contradicci on. Supongamos que x , B(BA) entonces la negaci on de x B y
x , (B A) es cierta, es decir, x , B o x (B A) es cierta, pero como A B
y x A entonces x B y as x , B no puede ocurrir y, entonces debe ocurrir
que x (B A). As pues, x B y x , A, luego x , A. Pero esto es absurdo
dado que x A.
5. Supongamos que A B. Veamos que C B C A. Sea x C B entonces
x C y x , B, como A B entonces x , A, pues de lo contrario x B y
tendramos una contradicci on, luego x C y x , A, es decir, x C A. Luego
C B C A.

3.2.4. Producto Cartesiano.

Denici on 3.27. Sean A y B clases. El producto (cartesiano) de A y B denotado por
A B es la clase
A B = (a, b) : a A y b B,
donde (a,b) denota una pareja ordenada.
Propiedad que dene las parejas ordenadas.
(a, b) = (c, d) si y solo si a = c y b = d.
Ejemplo 3.28. A = a, b, c y B = x, y. AB = (a, x), (a, y), (b, x), (b, y), (c, x), (c, y)
y B A = (x, a), (x, b), (x, c), (y, a), (y, b), (y, c). Observemos que A B ,= B A.
3.2. OPERACIONES ENTRE CLASES. 53
Ejemplo 3.29. Al tirar un par de dados uno primero que el otro podemos obtener las
siguientes parejas.
1 2 3 4 5 6
1 (1,1) (1,2) (1,3) (1,4) (1,5) (1,6)
2 (2,1) (2,2) (2,3) (2,4) (2,5) (2,6)
3 (3,1) (3,2) (3,3) (3,4) (3,5) (3,6)
4 (4,1) (4,2) (4,3) (4,4) (4,5) (4,6)
5 (5,1) (5,2) (5,3) (5,4) (5,5) (5,6)
6 (6,1) (6,2) (6,3) (6,4) (6,5) (6,6)
Se obtienen 36 elementos.
Podemos denir productos con mas de dos conjuntos as: A B C = (a, b, c) :
a A, b B y c C, donde (a, b, c) es una tripleta ordenada.
Ejemplo 3.30. R
3
= (x, y, z) : x R, y R y z R.
RR... R = R
n
= (x
1
, x
2
, ..., x
n
)/x
i
R.
3.2.5. Propiedades de Productos Cartesianos.
Teorema 3.31. Sean A, B, C clases. Entonces
1. Si A B y C D, entonces (A C) (B D).
2. A (B C) = (A B) (A C) y (B C) A = (B A) (C A). (Leyes
distributivas).
3. A (B C) = (A B) (A C) y (B C) A = (B A) (C A). (Leyes
distributivas).
4. A = y A = .
5. (A B) (C D) = (A C) (B D).
Prueba: Probaremos solo algunos de los numerales, los otros quedan como ejercicios.
4. Veamos que A = . Ya sabemos que A . Sea x A entonces x es
igual a un par ordenado (a, b) con a A y b pero como b es falso entonces
a A y b tambien lo es, luego (a, b) puesto que Si (a, b) A ,
entonces (a, b) es verdadero ya que su antecedente es falso. As A
y entonces A = .
5. Veamos que (A B) (C D) = (A C) (B D).
Sea x (AB) (C D) entonces x es de la forma (a, b) con a AB y
b C D luego a A y a B y b C y b D, entonces a A y b C y a B
y b D. Luego (a, b) A C y (a, b) B D, luego x A C y x B D,
as x (AC)(BD). Hemos probado que (AB)(CD) (AC)(BD).
La otra contenencia queda como ejercicio al lector.
54 CAP

ITULO 3. CLASES Y CONJUNTOS.

Nota 3.32. (A B) (C D) no siempre es igual a (A C) (B D).

Ejemplo 3.33. Sean A = a, B = C = b y D = e, f. Entonces
A B = a, b, C D = b, e, f, A C = (a, b), B D = (b, c), (b, f),
(A B) (C D) = (a, b), (a, e), (a, f), (b, b), (b, e), (b, f) y
(A C) (B D) = (a, b), (b, e), (b, f).
Note que (A B) (C D) , (A C) (B D).
3.3. Familias Indexadas de Clases.
Si tenemos tres conjuntos podemos describir su union as AB C = x : x A o
x B o x C. Pero si tenemos 50 conjuntos como describir su union o su intersec-
ci on? Para esto usamos subndices, por ejemplo A
i

50
i=1
= A
1
, ..., A
50
. Ademas,
50
_
i=1
A
i
= x : x A
i
, para alg un i = 1, ..., 50.
50

i=1
A
i
= x : x A
i
, para todo i = 1, ..., 50.
Si tenemos una clase A
i
para cada i N entonces

i=1
A
i
= x : x A
i
, para alg un
i N y

i=1
A
i
= x : x A
i
, para todo i N Pero que pasara si i no es
un n umero, sino simplemente una se na o una marca que lo diferencia de los otros?.
Si I = Todas las marcas, entonces
iI
A
i
= x : x A
i
, para alg un i I y

iI
A
i
= x : x A
i
, para todo i I
Denici on 3.34. Sea I una clase no vaca. Supongase que existe una clase denotada
por A
i
para cada i I tal coleccion de clases se llama una f amilia de clases indexada
por I. La clase I es llamada la clase de ndices. La union y la interseccion de todos
las clases en la familia de clases estan denidas por:

iI
A
i
= x : x A
i
, para alg un i I
y

iI
A
i
= x : x A
i
, para todo i I.
Ejemplo 3.35. Sea I = N y sea B
i
= 1, 2, ..., i. Entonces
iI
B
i
= 1, 2, ... = N y

iI
B
i
= 1
3.3. FAMILIAS INDEXADAS DE CLASES. 55
Ejemplo 3.36. Sea I = N. Para cada k N deenimos F
k
=
_
0,
1
k
_
. Entonces

iI
F
i
= (0, 1) y
iI
F
i
=
Ejemplo 3.37. Sea I = R. para cada x R sea C
x
= (x, x) entonces
xI
C
x
= R
y
xI
C
x
=
Teorema 3.38. Sea I una clase no vaca. Considere A
i

iI
una familia de clases
indexada por I y B un clase cualquiera.
1.
iI
A
i
A
k
, para todo k I. Si B A
k
, para todo k I, entonces B
iI
A
i
.
2. A
k

iI
A
i
, para todo k I. Si A
k
B, para todo k I, entonces
iI
A
i
B.
3. B (
iI
A
i
) =
iI
(B A
i
). (Ley distributiva).
4. B (
iI
A
i
) =
iI
(B A
i
). (Ley distributiva).
5. (
iI
A
i
)

=
iI
A

i
. (Ley de De Morgan).
6. (
iI
A
i
)

=
iI
A

i
. (Ley de De Morgan).
Prueba: Veamos algunas pruebas, las otras quedan como ejercicios.
2. Veamos que para todo k I, A
k

iI
A
i
. Sea k
0
un elemento arbitrario de I.
Sea x A
k
0
entonces x A
k
0
, para alg un k
0
en I, luego x
iI
A
i
. Como k
0
es
arbitrario en I, entonces para todo k I, se tiene que A
k

iI
A
i
.
4. Queremos probar la igualdad de conjuntos B (
iI
A
i
) =
iI
(B Ai).
Sea x B (
iI
A
i
), entonces x B o x
iI
A
i
. Razonemos por casos:
Si x B, entonces x B A
i
para todo i I, luego x
iI
(B Ai). Si
x
iI
A
i
entonces x A
i
para todo i I, luego x B A
i
, para todo i I ya
que A
i
B A
i
, para todo i I. Luego en este caso tambien x
iI
(B Ai).
Sea x
iI
(B Ai), entonces x B A
i
, para todo i I. Hay dos
casos posibles, que x B o que x ,= B. Si x B, entonces x B (
iI
Ai),
pues B B (
iI
Ai). Si x ,= B entonces, como x B A
i
, para todo i I,
necesariamente x A
i
, para todo i I, luego x
iI
Ai. Y as x B(
iI
Ai),
pues
iI
Ai B (
iI
Ai).
5. Queremos probar que B (
iI
Ai) =
iI
(B A
i
)
Sea x B (
iI
Ai), entonces x B y x ,=
iI
Ai, luego para todo i I,
x ,= A
i
. Sea i
0
I arbitrario. Entonces x B y x ,= A
i
0
, luego x BA
i
0
y como
i
0
es arbitrario, entonces x B A
i
, para todo i I. Luego x
iI
(B Ai).
Sea x
iI
(B Ai), entonces x B A
i
para todo i I. Luego x B y
x ,= A
i
para todo i I. Si x ,= A
i
, para todo i I, entonces no existe i I tal que
x A
i
es decir x ,=
iI
Ai luego x B y x ,=
iI
Ai, entonces x B(
iI
Ai).

56 CAP

ITULO 3. CLASES Y CONJUNTOS.

Denicion 3.39. Entenderemos por conjunto cualquier clase que sea un elemento de
una clase
Esta denicion es basada en nuestra percepcion intuitiva de lo que debe ser un con-
junto. Si A, B, C, ... son conjuntos, es perfectamente razonable que seamos capaces de
formar una clase de la forma A, B, C, ... cuyos elementos son A, B, C, .... Es decir,
ciertamente esperamos que cada conjunto sea un elemento. Lo contrario tambien es
razonable: si A no es un conjunto, entonces A es una clase propia y para evitar con-
tradicciones, las clases propias no deben ser elementos de nada. Luego, si A no es un
conjunto, entonces A no debe ser un elemento.
A continuaci on enunciamos algunas propiedades de conjuntos sin dar una prueba.
Teorema 3.40. (i) La clase vaca es un conjunto.
(ii) Sea A un conjunto, el conjunto potencia T(A) (denido abajo) es un conjunto.
(iii) Sean A y B conjunto, entonces A B es un conjunto.
Denici on 3.41 (Conjunto Potencia). Sea A un conjunto. El conjunto potencia de A
denotado T(A) es el conjunto cuyos elementos son todos los subconjuntos de A.
Ejemplo 3.42. 1. Sea A = a, b, c, luego T(A) = a, b, c, a, b, a, c, b, c, a, b, c, .
2. Para tenemos que T() = .
3. T(T()) = T() = ,
4. T(T(T())) = T(T()) = , , , ,
Observaci on: T(A) para todo A y lo mismo A T(A). En general es cierto
que si un conjunto tiene n elementos, su conjunto potencia tiene 2
n
elementos.
3.4. Ejercicios
1. Sean A, B, C clases. Muestre que si A B, entonces A B C.
2. Encuentre conjuntos A y B tales que A B y A B.
3. Sean A y B clases, entonces
(i) A B si y s olo si A B = B,
(ii) A B si y s olo si A B = A.
4. Muestre que A (A

B) = A B.
5. Muestre que A B = B

.
3.4. EJERCICIOS 57
6. Sean A
i

iI
y B
i

iI
familias indexadas de clases. Entonces
(i) (
iI
A
i
) (
iI
A
i
) =
iI
(A
i
B
i
),
(ii) (
iI
A
i
) (
iI
A
i
) =
iI
(A
i
B
i
),
7. Sean A, B y C conjuntos. Suponga que A B, B C y C A. Muestre que
A = B = C.
8. Sean A y B conjuntos cualesquiera. Es cierto que una de las armaciones A B
o A = B o B A es verdadera? De una prueba o un contraejemplo.
9. Sea A = x, y, z, w Liste todos lo elementos en T(A).
10. Sean A y B conjuntos. Suponga que A B. Muestre que T(A) T(B).
11. Liste los elementos de cada uno de los siguientes conjuntos.
(i) T(T()).
(ii) T(T()).
12. Cual de las siguientes armaciones es verdadera y cu al es falsa.
(i) G para todo conjunto G;
(ii) G para todo conjunto G;
(iii) T(G) para todo conjunto G;
(iv) T(G) para todo conjunto G;
(v) G para todo conjunto G;
(vi) T(G) para todo conjunto G;
(vii) T();
(viii) , , ;
(ix) T() = , .
13. Dados dos conjuntos A y B, considere los conjuntos A B y B A. Son estos
conjuntos necesariamente disjuntos? De una prueba o un contraejemplo.
14. Sea X un conjunto y asuma que A, B, C X. Suponga que A B = A C y
(X A) B = (X A) C. Pruebe que B = C.
15. Sean A, B y C conjuntos. Muestre que (AB) C = (A C) B = (A C)
(B C).
16. Para n umeros reales a, b y c sabemos que a (b c) = (a b) + c. Descubra y
pruebe una formula para A (B C), donde A, B y C son conjuntos.
58 CAP

ITULO 3. CLASES Y CONJUNTOS.

17. Sea A y B conjuntos. La diferencia simetrica de A y B, denotada A B, es
el conjunto A B = (A B) (B A).
Sean X, Y y Z conjuntos. Muestre las siguientes armaciones.
(i) X = X.
(ii) X X = .
(iii) X Y = Y X.
(iv) X (Y Z) = (X Y ) Z.
(v) X (Y Z) = (X Y ) (X Z).
(vi) X Y = (X Y ) (X Y ).
18. Pruebe o encuentre un contraejemplo de la siguiente armaci on: Sean A, B y C
conjuntos. Entonces (A B) C = (A B C) (A B).
19. Pruebe o encuentre un contraejemplo de la siguiente armaci on: Sean A, B y C
conjuntos. Entonces (A C) B = (A B) (C B).
20. Pruebe o encuentre un contraejemplo de la siguiente armaci on: Sean A, B y C
conjuntos. Entonces (A B) (A B C) = [A (B C)] [B (A C).
21. Sean A, B y C conjuntos. Pruebe que A C si y solo si A(BC) = (AB)C.
22. Pruebe o de un contraejemplo para cada una de las siguientes armaciones.
(i) Sean A, B y C conjuntos. Entonces T(A B) = T(A) T(B).
(ii) Sean A, B y C conjuntos. Entonces T(A B) = T(A) T(B).
23. Sean A y B conjuntos. Muestre que
(i) A B si y s olo si T(A) T(B).
(ii) A B = si y s olo si T(A) T(A) = .
24. Sean A, B y C conjuntos. Pruebe que A (B C) = (A B) (A C).
25. Sean A y B conjuntos tales que B A. Pruebe que
(A A) (B B) = [(A B) A] [A (A B)].
26. Sean A, B y E conjuntos tales que E ,= . Pruebe que si AE = BE, entonces
A B.
27. Sean A y B conjuntos tales que A ,= B. Suponga que E es un conjunto tal que
A E = B E. Pruebe que E = .
3.4. EJERCICIOS 59
28. Sean X un conjunto nito. Cu al de los dos conjuntos T(X X) T(X X) y
T(T(X)) tiene mas elementos?
29. En cada uno de los siguientes casos, son dados conjuntos B
k
para cada k N,
encuentre

kN
B
k
y

kN
B
k
. Ayuda: Para facilitar las pruebas puede usarse el
siguiente hecho. Dado y R, existe k
0
N al que k
0
> y.
(1) B
k
= 0, 1, 2, 3, ... , 2k (2) B
k
= k 1, k, k + 1
(3) B
k
= [
3
k
,
5k+2
k
) 10 +k (4) B
k
= [1, 3 +
1
k
] [5,
5k+1
k
)
(5) B
k
= (
1
k
, 1] (2,
3k1
k
] (6) B
k
= [0,
k+1
k+2
] [7,
7k+1
k
).
30. En cada uno de los siguientes casos, dena una familia de conjuntos E
k

kN
,
donde E
k
R para cada k N, dos conjuntos E
k
no son iguales, y satisfacen la
propiedad dada:
(i)

kN
E
k
= [0, ) y

kN
E
k
= [0, 1].
(ii)

kN
E
k
= (0, ) y

kN
E
k
= .
(iii)

kN
E
k
= R y

kN
E
k
= 3.
(iv)

kN
E
k
= (2, 8) y

kN
E
k
= [3, 6].
(v)

kN
E
k
= (0, ) y

kN
E
k
= 1 [2, 3).
(vi)

kN
E
k
= Z y

kN
E
k
= ..., 2, 0, 2, 4, 6, ....
(vii)

kN
E
k
= R y

kN
E
k
= N.
31. Sean I y J conjuntos tales J I, y sea A
i

iI
una familia de conjuntos indexada
por I.
(i) Muestre que

jJ
A
j

iI
A
i
(ii) Muestre que

iI
A
i

jJ
A
j
32. Sean I y B conjuntos, y A
i

iI
una familia de conjuntos indexada por I.
(i) Muestre que (

iI
A
i
) B =

iI
(A
i
B)
(ii) Muestre que (

iI
A
i
) B =

iI
(A
i
B)
33. Sean I un conjunto no vaco, B un conjunto y A
i

iI
una familia de conjuntos
indexada por I.
a) Muestre que B (

iI
A
i
) =

iI
(B A
i
)
b) Muestre que B (

iI
A
i
) =

iI
(B A
i
)
60 CAP

ITULO 3. CLASES Y CONJUNTOS.

34. Suponga que J es alguna propiedad de los subconjuntos de R (por ejemplo ser
nito). Un subconjunto X R es llamado co-J si RX tiene la propiedad J.
Sea X
i

iI
una coleccion de subconjuntos co-J de R, donde I es un conjunto de
indices. Para cada una de las propiedades J listadas abajo, pruebe que

iI
X
i
es co-J o de un contraejemplo. Trate de encontrar una regla general para decidir
cuando

iI
X
i
es co-J para alguna propiedad J dada.
(i) Un subconjunto de R tiene la propiedad J si y s olo si este es nito.
(ii) Un subconjunto de R tiene la propiedad J si y solo si este tiene a lo mas 7
elementos.
(iii) Un subconjunto de R tiene la propiedad J si y s olo si este tiene exactamente
7 elementos.
(iv) Un subconjunto de R tiene la propiedad J si y s olo si este contiene unica-
mente enteros.
(v) Un subconjunto de R tiene la propiedad J si y solo si este es nito, y tiene
un n umero par de elementos.
Captulo 4
Funciones.
4.1. Funciones.
El concepto de funcion es uno de las ideas mas basicas de la matem atica y aparece
en casi todas las discusiones en cualquier area de las ciencias exactas. Usualmente en
otros cursos hemos dicho que una funci on es una regla que asigna a cada elemento de
un conjunto un unico elemento de otro conjunto. Formalicemos esta noci on en terminos
de conjuntos.
Denici on 4.1. Sean A y B conjuntos. Una funcion (tambien conocida como un ma-
peo) f de A a B, denotada por f : A B, es un subconjunto F AB, tal que para
todo a A, hay uno y solo un par de la forma (a, b) en F. El conjunto A es llamado el
Dominio de la funcion y el conjunto B es llamado el Codominio de la funcion.
Nota 4.2. As pues, una funcion consiste de tres cosas:
1. Un dominio A.
2. Un codominio B.
3. Un subconjunto F de A B que cumple lo siguiente: (i) Para todo x A, existe
y B tal que (x, y) F. (ii) Si (x, y
1
) F y (x, y
2
) F, entonces y
1
= y
2
.
Ejemplo 4.3. 1. Consideremos los conjuntos A = a, b, c, d, B = 1, 2, 3, 4, D =
1, 2, 3, 4, 5. Sea F A B, donde F = (a, 2), (b, 1), (c, 4), (d, 4) es una fun-
cion con dominio A y codominio B. Si consideramos F AD resultan funciones
diferentes, aunque la asignacion es la misma, pues en este caso el codominio sera
D y en el caso anterior es B.
2. Tenemos como regla de asignacion f(x) =

x. Es esto una funcion? Depende
del dominio. Si decimos que el dominio son todos los reales, entonces no es una
funcion. Debemos establecer el dominio y el codominio. Si tomamos como dominio
[0, +) y codominio R, entonces f es una funcion.
61
62 CAP

ITULO 4. FUNCIONES.
Hemos denido funciones formalmente en terminos de conjuntos, pero podemos re-
cuperar la nocion intuitiva de la regla de asignaci on. Trabajar con la nocion formal
de funci on, si bien nos garantiza la precisi on de lo que digamos, es un poco engorroso
y es por esto que es m as c omodo pensar en funciones en la forma como se hace en la
mayora de los libros. Lo que nos importa aqu es que dicha nocion s se puede formalizar.
Observemos que lo que tenemos formalizado nos permite rescatar la regla de asigna-
ci on: Sean f : A B una funcion, a A. Entonces existe un unico par (a, b) AB
que pertence al conjunto F AB, que dene la funcion. As podemos pensar que el
par (a, b), est a realmente asign andonos al elemento a un unico elemento b de B. Nota-
mos que el papel del conjunto F es el mismo que el de la regla de asignacion. De todas
formas es importante recordar que la regla de asignaci on sola no dene la funci on. El
dominio y el codominio deben ser claramente establecidos.
Denici on 4.4. A este unico elemento b, lo denotamos por f(a) y decimos que es el
valor de f en el elemento a o, tambien, que es la imagen de a bajo f.
4.1.1. Usos poco precisos de notacion.
Es importante que estemos alertas con respecto a la notacion, hay muchos libros
elementales que son poco precisos en la notacion. Muchas veces no dan explcitos ni
el dominio ni el codominio. Veremos mas adelante la importancia de distinguir estos
conjuntos. Veamos algunos usos comunes e imprecisos de notacion. Encontramos escrito:
Sea f(x) una funci on..., la imprecisi on es que f(x) no es funci on. O encontramos
escrito: sea f(x) = x
2
+ 1 una funcion, si bien entendemos mas o menos lo que se
quiere decir, nos queda la duda de cual sera el codominio. Quizas sera mas preciso
decir: sea f : R R una funcion, tal que f(x) = x
2
+1, para todo x R, o se podra
decir: sea f : R [1, ) una funci on tal que f(x) = x
2
+ 1, para todo x en R.
Observamos que estas dos deniciones producen funciones diferentes, pues no coinciden
en su codominio.
Nota 4.5. 1. Cuanticar la variable al nal es importante, pues esto nos dice que
la regla de asignacion es para todo x en R.
2. Si bien, en calculo sobreentendemos los dominios y suponemos el rango. Para ser
precisos debemos especicarlos. Por ejemplo sea f(x) =

x una funcion. Esto
es incorrecto, debemos decir sea f : [0, ) R una funcion tal que f(x) =

x,
para todo x 0.
3. Cuando denimos una funcion por tramos y estos no son disjuntos hay que veri-
car que las formulas coincidan en la interseccion para garantizar que la formula
este bien denida. Veamos un ejemplo.
[x[ =
_
x, si x 0
x, si x < 0
4.1. FUNCIONES. 63
no tiene problemas, pero si denimos
[x[ =
_
x, si x 0
x, si x 0
debemos vericar que [0[ si este bien denido, es decir que no haya ambig uedad.
Denicion 4.6 (Igualdad de Funciones). Sean f y g funciones, decimos que f = g si
(i) f y g tienen el mismo dominio, digamos A
(ii) f y g tienen el mismo codominio, digamos B
(iii) para todo x A se tiene que f(x) = g(x).
4.1.2. Funciones Particulares
Denici on 4.7. Sean A y B conjuntos, y considere S A.
1. Una funcion constante f : A B es cualquier funcion para la cual f(x) = b,
para todo x A, donde b es un elemento jo de B.
2. La funcion identidad en A es la funcion 1
A
: A A denida por 1
A
(x) = x,
para todo x A.
3. La funcion inclusion de S en A es la funcion j : S A denida por j(x) = x,
para todo x S.
4. Si f : A B es una funcion. La restriccion de f a S, denotada por f[
S
, es la
funcion f[
S
: S B, denida por f[
S
(x) = f(x), para todo x S.
5. Si g : S B es una funcion, una extension de g a A es cualquier funcion
G : A B, tal que G[
S
= g.
6. Las funciones proyecciones de A B son las funciones

1
: A B A y

2
: A B B denidas por

1
((a, b)) = a y

2
((a, b)) = b, para todo
(a, b) A B. Similarmente tenemos

i
: A
1
... A
i
... A
n
A
i
es
la funcion tal que

i
((a
1
, a
2
, ..., a
i
, ..., a
n
)) = a
i
, para todo (a
1
, a
2
, ..., a
i
, ..., a
n
)
A
1
... A
i
... A
n
.
Veamos un ejemplo.
Ejemplo 4.8. 1. Sean g : R
+
R, tal que g(x) =

x, para todo x R
+
, y
G : R R denida por G(x) =
_
x, si x 0

x, si x 0
, entonces G es una extension
de g y g es una restriccion de G.
64 CAP

ITULO 4. FUNCIONES.
2. Si S = x, y, z y f : A A esta denida por f(x) = x, f(y) = y y f(z) = z,
entonces f = 1
A
.
3. Si A = x, y, z y B = a, b, entonces

1
: A B A es tal que

1
((x, a)) =
x,

1
((x, b)) = x,

1
((y, a)) = y,

1
((y, b)) = y,

1
((z, a)) = z y

1
((z, b)) = z
y

2
: A B B es tal que

2
((x, a)) = a,

2
((x, b)) = b, etc.
4.2. Imagen e Imagen Inversa.
Sup ongase que N = x : x es un ni no entre 7 y 14 a nos y tenenos la funcion
p : N R denida por p(n) es el peso en kilogramos del ni no n, para cada n N.
Podemos preguntarnos por el conjunto de ni nos que pesan 43 kilos, este sera n :
p(n) = 43 o tambien por el conjunto de n umeros que son el peso de alg un ni no entre
10 y 12 a nos x : x = f(n), para alg un n entre 10 y 12 anos.
Este estilo de conjuntos es muy com un tener que calcularlos en el caso de cualquier
funci on. Vamos a darles un nombre especial en la siguiente denicion.
Denici on 4.9. Sea f : A B una funcion.
1. Para cada P A, sea f

(P) el conjunto denido por

f

(P) = b B : b = f(p), para alg un p P = f(p) : p P.

El conjunto f

(P) se llama la imagen de P bajo f. El rango de la funcion f es

f

(A), se llama tambien la imagen de f.

2. Para cada Q B, sea f

(Q) denida por

f

(Q) = a A : f(a) = q, para alg un q Q = a A : f(a) Q.

El conjunto f

(Q) se llama la preimagen de Q bajo f.

Aunque la notaciones m as usuales para f

(P) y f

(Q), son respectivamente f(P)

y f
1
(Q), en este libro no las usaremos, pues si uno no tiene suciente madurez la
notaci on usual, podra hacernos incurrir en error
Ejemplo 4.10. Sea f : R R denida por f(x) = x
2
+ 1, para todo x R. Luego
f

((1, 2]) = [1, 5], f

([1, 5]) = [2, 2] y f

([0,
1
2
)) = . Observe que el codominio de f
es R, pero el rango es [1, +). Debemos tener cuidado de diferenciarlos bien.
4.2. IMAGEN E IMAGEN INVERSA. 65
4.2.1. Propiedades de Imagenes y de Preimagenes.
Teorema 4.11. Sea f : A B una funcion. Sean C, D A y sean S, T B. Sean
I y J conjuntos no vacos y sea U
iI
una familia de conjuntos indexada por I tal que
U
i
A, para todo i I, y V
jJ
una familia de conjuntos indexada por J, tal que
V
j
B, para todo j J. Entonces:
1. f

() = y f

() = .
2. f

(B) = A.
3. f

(C) S si y solo si C f

(S).
4. Si C D, entonces f

(C) f

(D)
5. Si S T, entonces f

(S) f

(T).
6. f

(
iI
U
i
) =
iI
f

(U
i
).
7. f

(
iI
U
i
)
iI
f

(U
i
).
8. f

(
jJ
V
j
) =
jJ
f

(V
j
).
9. f

(
jJ
V
j
) =
jJ
f

(V
j
).
Prueba: Solo haremos algunas pruebas, las restantes son dejadas como ejercicio al
lector. Supongamos todas las hipotesis.
1. Veamos que f

() = . Sea y f

(), luego existe x . tal que f(x) = y. Pero

esta armaci on es falsa, luego si y f

(), entonces y es verdadera, pues el

antecedente es falso. Luego f

() . Pero como f

(), pues es subconjunto

de cualquier conjunto, entonces f

() = . Ejercicio f

() = .
2. Veamos que f

(B) = A. Sea x f

(B) veamos que x A. En efecto

si x f

(B), entonces x A y f(x) B por denici on de f

(B), luego en
particular x A. Ahora si x A, como A es el dominio de f y B es el
codominio, necesariamente f(x) B, luego x f

(B).
4. Supongamos que C D probemos que f

(C) f

(D). Sea y f

(C), entonces
existe x C tal que f(x) = y (por denicion de f

). Como C D, entonces
x D. Luego existe x D tal que f(x) = y, as
`
I y f

(D) (por denici

Un de
f

).
7. Probemos que f

(
iI
U
i
)
iI
f

(U
i
) Sea y f

(
iI
U
i
). Veamos que y

iI
f

(U
i
). Si y f

(
iI
U
i
) entonces existe x
iI
U
i
tal que f(x) = y (por
denicion de f

), luego x U
i
para todo i I. Si i
0
es arbitrario, x U
i
0
y
f(x) = y luego y f

(U
i
0
), y como i
0
es arbitrario en I, entonces y f

(Ui),
66 CAP

ITULO 4. FUNCIONES.
para todo i I, luego y
iI
f

(U
i
).
Veamos con un contraejemplo que
iI
f

(U
i
) , f

(
iI
U
i
). Consideremos A =
a, b, c, d, B = x, y, z y f : A B, tal que f(a) = x, f(b) = f(c) = f(d) = y.
Sean U
1
= a, b y U
2
= c, d, as
`
I U
1
U
2
= , f

(U
1
U
2
) = f

() = , f

(U
1
) =
x, y, f

(U
2
) = y y f

(U
1
) f

(U
2
) = y , = .
9. Veamos que f

(
jJ
V
j
) =
jJ
f

(V
j
).
Supongamos que x f

(
jJ
V
j
) y mostraremos que x
jJ
f

(V
j
). En
efecto, si x f

(
jJ
V
j
) entonces f(x)
jJ
V
j
(por denicion de f

), luego
f(x) V
j
, para todo j J. Luego x f

(V
j
), para todo j J (por denicion de
f

). Entonces x
jJ
f

(V
j
).
Supongamos que x
jJ
f

(V
j
), veamos que x f

(
jJ
V
j
). En efecto si
x
jJ
f

(V
j
), entonces x f

(V
j
), para todo j J, luego f(x) V
j
, para todo
j J, luego f(x)
jJ
V
j
y as
`
I x f

(
jJ
V
j
).

4.3. Composicion y Funciones Inversas.

Denici on 4.12. Sean f : A B y g : B C funciones. La composicion de f y g es
la funcion g f : A C denida por (g f)(x) = g(f(x)), para todo x A.
Ejemplo 4.13. Si f(x) =

x y g(x) = x
2
+1 entonces (g f)(x) = g(f(x)) =

x
2
+1
y (f g)(x) = f(g(x)) =

x
2
+ 1.
4.3.1. Propiedades de la Composicion.
Lema 4.14. Sean f : A B, g : B C y h : C D funciones. Entonces,
1. (h g) f = h (g f) (Ley asociativa).
2. f 1
A
= f y 1
B
f = f (Ley modulativa o de identidad).
Prueba: Veamos que (h g) f = h (g f). Por la denici on de la composici on el
dominio de (hg) f y de h(g f) es A y el codominio es D. 1. Sea x A. Mostremos
que ((h g) f)(x) = (h (g f))(x). En efecto, ((h g) f)(x) = (h g)(f(x)) =
h(g(f(x))) = h((g f)(x)) = (h (g f))(x). Luego ambas funciones son iguales.
2. Recordemos que 1
A
: A A es la funcion tal que 1
A
(x) = x, para todo x A.
Veamos que f 1
A
= f.
Primero que todo observemos que ambas funciones tienen dominio A y codominio B.
Sea ahora x A, entonces (f 1
A
)(x) = f(1
A
(x)) = f(x) luego ambas funciones son
iguales. Es dejado como ejercicio al lector mostrar que 1
B
f = f, lo que termina le
prueba.
4.3. COMPOSICI

ON Y FUNCIONES INVERSAS. 67
4.3.2. Funciones Inversas.
Denicion 4.15. Sean f : A B y g : B A funciones.
1. La funcion g es una inversa a derecha para f si f g = 1
B
.
2. La funcion g es una inversa a izquierda para f si g f = 1
A
.
3. La funcion g es una inversa para f si lo es a la derecha y a la izquierda.
Nota 4.16. f g = 1
B
quiere decir que (f g)(x) = 1
B
(x) = x, para todo x B y
g f = 1
A
que quiere decir (f g)(x) = 1
A
(x) = x, para todo x A.
4.3.3. Unicidad de las Funciones Inversas.
Lema 4.17. Sea f : A B una funcion.
1. Si f tiene inversa, entonces esta inversa es unica.
2. Si f tiene una inversa a derecha g y una inversa a izquierda h, entonces g = h y
por lo tanto, f tiene una inversa.
3. Si f tiene una inversa g, entonces g tiene una inversa la cual es f.
Prueba:
1. Supongamos que f tiene una funci on inversa g. Veamos que g es nica. Suponga-
mos que g

es otra inversa de f. Queremos probar que g = g

.
Por denici on de inversa, el dominio y el codominio de g y g

son iguales. Por

hip otesis tenemos que f g = 1
B
, g f = 1
A
, f g

= 1
B
y g

f = 1
A
. Entonces
por el lema anterior tenemos que g = 1
A
g = (g

f)g = g

(f g) = g

1
B
= g

luego g = g

.
2. La prueba es la misma, pues en las igualdades usamos s olo el hecho de que g

f =
1
A
, es decir que f tiene inversa a izquierda y que f g = 1
B
, es decir que f tiene
inversa a derecha.
3. Como f tiene una inversa g entonces f g = 1
A
y g f = 1
B
luego g f = 1
B
y
f g = 1
A
implican que g tambien tiene inversa y que esta es justamente f.

Denici on 4.18. Sea f : A B una funcion. Si f tiene una inversa, entonces esta
se denota por f
1
y su dominio es B y codominio A.
Nota 4.19. Si una funcion tiene, por ejemplo, una inversa a derecha pero no a izquier-
da, esta no tiene que ser unica.
68 CAP

ITULO 4. FUNCIONES.
Ejemplo 4.20. Las siguientes funciones tienen inversa.
1. f : R R tal que f(x) = ax +b, con a ,= 0 y para todo x R.
2. g : R (0, ) tal que g(x) = a
x
, con a > 0, a ,= 1 y para todo x R.
3. h : (0, ) R tal que h(x) = log
a
x, para todo x (0, ).
4. Sea f : R [0, ) tal que f(x) = x
2
para todo x R. f no tiene inversa a
izquierda pero si tiene diferentes inversas a derecha. En efecto, si g : [0, ) R
es tal que g(x) =

x entonces (f g)(x) = f(g(x)) = f(

x) = (

x)
2
= x y
si h : [0, ) R es tal que h(x) =

x, entonces (f h)(x) = f(h(x)) =

f(

x) = (

x)
2
= x, luego g y h son inversas de f. Para mostrar que f no
tiene inversa a izquierda, razonemos por contradiccion. Supongamos que f tiene
una inversa h : [0, ) R a izquierda, luego 1
R
= h f. Entonces si x R,
se tiene que 1
R
(x) = x = (h f)(x) = h(f(x)) = h(x
2
), pero 1
R
(x) = x =
(h f)(x) = h((x)
2
) = h(x
2
), es decir, tendramos que x = x, para todo
x R, lo cual es absurdo. Luego f no puede tener una inversa a izquierda.
5. Sea p : [0, ) R denida por p(x) = x
2
, para todo x [0, ). Entonces p no
tiene inversa a derecha, pero s tiene diferentes inversas a izquierda. En efecto
mostremos dos funciones que son inversas a izquierda para p. Sean q, r : R
[0, ) denidas por
q(x) =
_
x, si x 0
1 x, si x < 0
y r(x) =
_
x, si x 0
1 + 3x, si x < 0
Calculemos q p y r p.
q p(x) = q(p(x)) = q(x
2
) =

x
2
= x = 1
R
0
(x), si x 0,
r p(x) = r(p(x)) = r(x
2
) =

x
2
= x = 1
R
0
(x), si x 0.
Vemos entonces que q y r son inversas a izquierda de p. Sin embargo, p no tiene
inversa a derecha. En efecto, razonemos en este caso tambien por contradiccion.
Si p tuviera inversa a derecha, digamos g, entonces p g = 1
R
luego 1
R
(x) = x =
p(g(x)) = (g(x))
2
, para todo x R, pero esto es una contradiccion si x < 0, ya
que (g(x))
2
es positivo.
6. Sea s : R R, denida por s(x) = x
2
, para todo x R, no tiene ni inversa
a derecha ni inversa a izquierda. En efecto. Supongamos que r : R R es una
inversa a izquierda para s. Entonces s r = 1
R
. Luego 1
R
(x) = x = (s r)(x) =
s(r(x)) = (r(x))
2
, para todo x R. Pero esto es un absurdo, pues (r(x))
2
siempre
es positivo. Ahora supongamos que h : R R es una inversa a derecha para s.
Entonces (hs)(x) = 1
R
(x), luego 1
R
(x) = x = (hs)(x) = h(s(x)) = h(x
2
), pero
tambien 1
R
(x) = x = (h s)(x) = h(s(x)) = h(x
2
) luego x = x para todo
x R. Absurdo!.
4.4. INYECTIVIDAD, SOBREYECTIVIDAD Y BIYECTIVIDAD. 69
4.4. Inyectividad, Sobreyectividad y Biyectividad.
Volvamos al ejemplo de las funciones
f : R [0, )
x x
2
p : [0, ) R
x x
2
Vimos que f no admite inversa a izquierda porque si existiera h tal que h f = 1
R
encontraramos que x = (hf)(x) = h(f(x)) = h(x
2
) = h(f(x)) = (hf)(x) = x.
Entonces el obst uculo para encontrar la inversa a izquierda, es que hay dos elementos
diferentes en el dominio de f que tiene la misma imagen. Por otro lado vimos que p
no admite inversa a derecha porque si existiera g inversa a derecha tal que p g = 1
R
encontraramos que x = (pg)(x) = p(g(x)) = (g(x))
2
, para todo x R. Y el obstaculo
aqu es que (g(x))
2
0, es decir, que en el rango de p no tenemos valores negativos,
es decir el rango de p es distinto del codominio. Estas dos clases de problemas, son
realmente los unicos obst aculos para que una funcion admita inversa a derecha o, res-
pectivamente, a izquierda.
Denimos ahora funciones que no tienen esta clase de problemas.
Denici on 4.21. Sea f : A B una funcion.
1. La funcion f es inyectiva (o uno a uno) si x ,= y implica que f(x) ,= f(y), para
todo x, y A. Equivalentemente (por contrarrecproco) si f(x) = f(y) implica
que x = y, para todo x, y A.
2. La funcion f es sobreyectiva (o sobre) si para todo b B, existe a A, tal que
f(a) = b, equivalentemente f

(A) = B.
3. La funcion f es biyectiva si es inyectiva y sobreyectiva.
Ejemplo 4.22. Veamos un ejemplo para cada denicion.
1. f : R [0, ) dada por f(x) = x
2
no es inyectiva, pero s es sobre.
2. f : [0, ) R dada por f(x) = x
2
es inyectiva, pero no es sobreyectiva.
3. f : R R denida como f(x) = x
2
no es sobreyectiva y tampoco inyectiva.
4. f : [0, ) [0, ), denida como f(x) = x
2
es biyectiva.
Otra manera de pensar los conceptos anteriores es mirar como es f

(b), para todo

b B. As, si f : A B es una funci on, entonces:
70 CAP

ITULO 4. FUNCIONES.
(i) f es una funcion inyectiva si y solo si para todo b B se cumple que f

(b)
tiene a lo m as un elemento (puede ocurrir que no tenga ninguno).
(ii) f es una funci on sobreyectiva si y solo si para todo b B, f

(b) tiene como mni-

mo un elemento (puede tener mas de uno).
(iii) f es biyectiva si solo si para todo b B, f

(b) tiene exactamente un elemento.

Lema 4.23. Sean f : A B y g : B C funciones.
1. Si f y g son ambas inyectivas, entonces g f tambien lo es.
2. Si f y g son ambas sobreyectivas, entonces g f tambien lo es.
3. Si f y g son ambas biyectivas, entonces g f tambien lo es.
Prueba:
1. Supongamos que f y g son ambas funciones inyectivas. Para probar que g f
tambien es inyectiva, probaremos que si (gf)(x) = (gf)(y), entonces x = y, para
todo x, y A. Supongamos que (g f)(x) = (g f)(y), luego g(f(x)) = g(f(y)),
y como g es inyectiva, entonces f(x) = f(y), pero como f tambien es inyectiva,
tendremos que x = y, para todo x, y A. Luego g f es inyectiva.
2. Supongamos que g y f son ambas funciones sobreyectivas. Para probar que g f
es sobreyectiva, mostraremos que para todo c C, existe un a A tal que
(g f)(a) = c. Sea c un elemento cualquiera de C. Como g es sobreyectiva, existe
un b B tal que g(b) = c, pero para este b, como f es sobreyectiva, entonces
existe un a A tal que f(a) = b, luego g(b) = g(f(a)) = c. As
`
I, para cada c C
existe un a A tal que (g f)(a) = c. Luego g f es sobreyectiva
3. Es consecuencia de 1 y 2.

El converso de las armaciones 1, 2 y 3 no es necesariamente cierto. Veamos los

siguientes ejemplos:
Ejemplo 4.24. Considere f : [0, ) R, dada por f(x) =

x y g : R [0, )
denida como g(x) = x
2
. Observamos que su composicion g f : [0, ) [0, ), la
cual es (g f)(x) = (

x)
2
= x es sobreyectiva mientras que f no es sobre, aunque g
s lo es.
El teorema que sigue responde nuestras preguntas del comienzo de la secci on.
Teorema 4.25. Sean A y B conjuntos no vacos y f : A B una funcion.
4.4. INYECTIVIDAD, SOBREYECTIVIDAD Y BIYECTIVIDAD. 71
1. La funcion f tiene una inversa a derecha si y solamente si f es sobreyectiva.
2. La funcion f tiene una inversa a izquierda si y solo si f es inyectiva.
3. La funcion f tiene inversa si y solo f es biyectiva.
Prueba: Solo haremos una prueba, el resto es dejado com ejercicio al lector.
1. Supongamos que f es una funci on que tiene una inversa a derecha g : B A.
Veamos que f es sobreyectiva. Sea b B, entonces g(b) A y si a = g(b) entonces
f(a) = f(g(b)) = (f g)(b) y como g es inversa a derecha de f, tenemos que
f(a) = (f g)(b) = 1
B
(b) = b, luego f es una funci on sobreyectiva.
Supongamos ahora que f es una funci on sobreyectiva. Veamos que existe
una funci on g : B A que es una inversa a derecha de f. Sea b B, entonces
f

(b) tiene al menos un elemento, pues f es sobreyectiva. Sea a

b
f

(b) luego
f(a
b
) = b. Entonces denamos g : B A tal que g(b) = a
b
para todo b B.
Luego f(a
b
) = f(g(b)) = (f g)(b) = 1
B
(b). Es decir g es una inversa a derecha
de f.

Nota 4.26. En la prueba de 1 usamos el Axioma de Eleccion cuando escogemos un

elemento a
b
para cada conjunto f

(b).
Teorema 4.27. Sean A y B conjuntos no vacos y sea f : A B una funcion.
1. La funcion f es sobreyectiva si y solo si g f = h f implica que g = h, para
cualquier par de funciones g, h : B X, y para todo conjunto X.
2. La funcioon f es inyectiva si y solo si f g = f h implica que g = h, para
cualquier par de funciones g, h : Y A, y para todo conjunto Y .
Prueba:
2. Supongamos que f es inyectiva. Sean Y un conjunto cualquiera y g, h : Y
A dos funciones tales que f g = f h. Veamos que g = h. En efecto, sabemos
que sus dominios y codominios coinciden, luego solo necesitamos mostrar que
g(y) = h(y) para todo y Y . Razonemos por contradiccion, supongamos que
existe y Y tal que g(y) ,= h(y), como f es inyectiva, entonces f(g(y)) ,= f(h(y))
pero esto contradice el hecho de que f(g(y)) = f(h(y)) para todo y Y. Luego
necesariamente g(y) = h(y), es decir g = h.
Supongamos ahora que si f g = f h, entonces g = h, para todo par
de funciones g, h : Y A y todo conjunto Y . Probemos que f es inyectiva.
Razonemos por reducci on al absurdo. Supongamos que f no es inyectiva, entonces
existen a
1
, a
2
A, con a
1
,= a
2
tales que f(a
1
) = f(a
2
). Sean Y = a
1
, a
2
,
72 CAP

ITULO 4. FUNCIONES.
g : Y A, tal que g(a
1
) = a
1
y g(a
2
) = a
2
. Ademas considere h : Y A,
denida como h(a
1
) = a
2
y h(a
2
) = a
1
. Entonces (f g)(a
1
) = f(g(a
1
)) = f(a
1
) =
f(a
2
) = f(h(a
1
)) = (f h)(a
1
) y (f g)(a
2
) = f(g(a
2
)) = f(a
2
) = f(a
1
) =
f(h(a
2
)) = (f h)(a
2
). Luego (f g)(y) = (f h)(y) para todo y Y , es decir
f g = f h, pero esto contradice la hipotesis, pues claramente g ,= h. Luego f
debe ser inyectiva.

4.5. Ejercicios
1. Cual de las siguientes f ormulas dene una funci on R R
(i) f(x) = sen(x) para todo x R.
(ii) p(x) =
x
2
+3
x+5
para todo x R.
(iii) q(x) = ln(x
4
+ 1) para todo x R.
(iv) r(x) =
_
e
x
, si x 0
cos(x), si x 0.
(v) s(x) =
_
x
2
, si x 1
x
3
, si x 0.
(vi) t(x) =
_
x
3
2, si x 1
[x[, si x 1.
(vii) g(x) =
_
sen(x), si x
x, si x .
2. Para cada una de las siguientes f ormulas, encuentre el mayor conjunto X R tal
que g : X R es un funci on.
(i) g(x) =
1
x
4
3
para todo x X.
(ii) g(x) =

1 x
2
para todo x X.
(iii) g(x) = 3 ln(sen(x)) para todo x X.
(iv) g(x) =
_

x, si x 0 y x X
x + 1, si x 0 y x X.
(i) g(x) =
_
tan(x) + 4, si x 1 y x X
3x
2
+ 1, si x 1 y x X.
4.5. EJERCICIOS 73
3. Sean A y B conjuntos, S A un subconjunto y f : A B una funcion. Considere
g : A B una extension de f[
S
a A. Es f = g?
4. Sea X un conjunto. Para cada A X denimos la funcion caracterstica A
A
:
X 0, 1 como
A
A
(x) =
_
1, si x A
0, si x X A.
Sean A, B X. Muestre que A
A
= A
B
si y s olo si A = B.
5. Para cada una de las siguientes funciones f : R R y cada T R encuentre
f

(T), f

(T), f

(f

(T)) y f

(f

(T)).
(i) f(x) = (x + 1)
2
para todo x R y T = [1, 1]
(ii) f(x) = (x + 1)
2
para todo x R y T = [5, 2]
(iii) f(x) = ,x| para todo x R, donde ,x| es el menor entero mayor o igual
que x, y T = (1, 3).
(iv) f(x) = x| para todo x R, donde x| es el mayor entero menor o igual
que x, y T = [0, 2] (5, 7).
6. Sea g : R
2
R dada por g((x, y)) = xy para todo (x, y) R
2
. Haga un bosquejo
de los siguientes conjuntos.
(i) g

(3).
(ii) g

([1, 1]).
7. Sean X y Y conjuntos, A X, B Y y considere
1
: X Y X y
2
:
X Y Y las funciones proyecci on.
(i) Muestre que (
1
)

(A) = A Y y (
2
)

(B) = X B
(ii) Muestre que A B = (
1
)

(A) (
2
)

(B)
(iii) Sea P X Y. Ser a que P = (
1
)

(P) (
2
)

(P)? De una prueba o un

contraejemplo.
8. Encuentre la falla en el siguiente razonamiento de la prueba de la parte (viii)
del Teorema 4.11, asumiendo que las partes (i)-(vii) han sido probadas: Apli-
cando f a f
1
_

jJ
V
j
_
obtenemos que f
_
f
1
_

jJ
V
j
__
=

jJ
V
j
. Apli-
cando f a

jJ
f
1
(V
j
), y usando la parte (vi) del teorema, obtenemos que
f
_

jJ
f
1
(V
j
)
_
=

jJ
f(f
1
(V
j
)) =

jJ
V
j
. Como aplicando f a ambos la-
dos de la ecuaci on en la parte (viii) tenemos el mismo resultado, concluimos que
que la ecuaci on en la parte (viii) es verdadera.
74 CAP

ITULO 4. FUNCIONES.
9. En este ejercicio mostramos que no es posible debilitar las armaciones en el
Teorema 4.11 (iii).
(i) Encuentre una funci on f : A B junto con conjuntos X A y Y B
tales que f(X) = Y y X ,= f
1
(Y ).
(ii) Encuentre una funcion g : J K junto con conjuntos Z J y W K
tales que f
1
(W) = Z y f(Z) ,= W.
10. Encuentre un ejemplo que muestre que en el Teorema 4.11 (vi) no puede ser
remplazada por =. (es suciente usar la intersecci on de dos conjuntos).
11. (i) Encuentre una funci on f : A B y subconjuntos P, Q A tales que P Q,
pero que f

(P) = f

(Q).
(ii) Encuentre una funci on g : C D y subconjuntos S, T D tales que S T,
pero que g

(S) = g

(T).
12. Sean f : A B una funciom y P, Q A. Muestre que f

(P)f

(Q) f

(P Q).
Necesariamente f

(P Q) f

(P) f

(Q)? De una prueba o un contraejemplo.

13. Sea f : A B una funci on y C, D B. Muestre que f

(DC) = f

(D)f

(C).
14. Sea f : A B una funcion. Considere X A y Y B.
(i) Muestre que X f

(f

(X)).
(ii) Muestre que f

(f

(Y )) Y.
(iii) Muestre que X = f

(f

(X)) si y solo si X = f

(Z) para alg un Z B.

(iv) Muestre que Y = f

(f

(Y )) si y solo si Y = f

(W) para alg un W A.

(v) Muestre que f

(f

(f

(X))) = f

(X).
(vi) Muestre que f

(f

(f

(Y ))) = f

(Y ).
15. Para cada uno de las siguientes funciones f : R R, encuentre funciones dife-
rentes de la identidad g, h : R R tales que f = h g.
(i) f(x) =

x + 7 para todo x 7.
(ii) f(x) =

x + 7 para todo x 0.
(iii) f(x) =
_
x
6
, si x 0
x
4
, si x < 0.
(iv) f(x) =
_
x
3
, si x 0
x, si x < 0.
4.5. EJERCICIOS 75
16. Sean f, g : R R dadas por
f(x) =
_
1 2x, si x 0
[x[, si x < 0.
g(x) =
_
3x, si x 0
x 1, si x < 0.
Encuentre f g y g f.
17. (i) Encuentre funciones h, k : R R tales que tanto h como k no sean constan-
tes y sin embargo k h sea constante.
(i) Encuentre funciones s, t : R R tales que s ,= 1
R
y t ,= 1
R
, pero que
t s = 1
R
18. Sean f : A B y g : B C funciones, U A y V C subconjuntos. Muestre
que
(g f)

(U) = g

(f

(U)) y (g f)

(V ) = f

(g

(V )).
19. Sean f : A B y g : B C funciones tales que ambas tienen inversa. Muestre
que g f tiene inversa y que (g f)
1
= f
1
g
1
.
20. Encuentre dos inversas a derecha para cada una de las siguientes funciones
(i) Sea f : R [0, ) dada por f(x) = [x[ para todo x R.
(ii) Sea g : R [1, ) dada por g(x) = e
x
2
para todo x R.
21. Encuentre dos inversas a izquierda para cada una de las siguientes funciones
(i) Sea f : [0, ) R dada por f(x) = x
3
+ 4 para todo x [0, ).
(ii) Sea g : R R dada por g(x) = e
x
para todo x R.
22. Dena las funciones h, k : R R por
h(x) =
_
4x + 1, si x 0
x, si x < 0.
k(x) =
_
3x, si x 0
x + 3, si x < 0.
Encuentre una inversa para k h.
23. Sea f : A B una funci on. Muestre que si f tiene dos inversas distintas a
izquierda, entonces no tiene inversa a derecha. Muestre que si f tiene dos inversas
distintas a derecha, entonces no tiene inversa a izquierda.
24. Sean A, A
1
, ..., A
k
conjuntos para alg un entero positivo k. Considere f : A
A
1
A
k
y U
i
A
i
para todo i 1, 2, ..., k. Muestre que
f

(U
1
U
k
) =
k

i=1
(f
i
)

(U
i
),
donde las f
i
son las coordenadas de la funci on f.
76 CAP

ITULO 4. FUNCIONES.
25. Sean A, A
1
, ..., A
k
conjuntos para alg un entero positivo k y h
i
: A A
i
una
funci on para cada i 1, 2, ..., k. Muestre que existe una unica funci on g : A
A
1
A
k
tal que
i
g = h
i
para todo i 1, 2, ..., k, donde
i
: A
1
A
k

A
i
es la funci on proyecci on.
26. Sean A y B conjuntos, y considere S A.
(i) Muestre que la funcion identidad 1
A
: A A es biyectiva.
(ii) Muestre que la funcion inclusi on j : S A es inyectiva.
(iii) Suponga que f : A B es una funcion inyectiva. Es la restriccion f[
S
necesariamente inyectiva? Pruebelo o de un contraejemplo.
(iv) Suponga que g : A B es una funcion sobreyectiva. Es la restricci on g[
S
necesariamente sobreyectiva? Pruebelo o de un contraejemplo.
(v) Suponga que h : S B es una funci on inyectiva, y considere H : A
B la extensi on de h. Es H necesariamente inyectiva? Pruebelo o de un
contraejemplo.
(vi) Suponga que k : S B es una funci on sobreyectiva, y considere K : A B
la extensi on de k. Es K necesariamente sobreyectiva? Pruebelo o de un
contraejemplo.
(vii) Muestre que las funciones proyecciones
1
: A B A y
2
: A B B
son sobreyectivas. Son estas funciones proyeccion inyectivas?
27. Sean h y k como en el Ejercicio 22. Es h k biyectiva, inyectiva, sobre o ninguna
de las anteriores.
28. Sean A y B conjuntos. Muestre que existe una funci on biyectiva f : A B
B A.
29. Sean A, B y C conjuntos. Muestre que existe una funcion biyectiva g : (AB)
C A (B C).
30. Sea A un conjunto. Dena : T(A) T(A) por (X) = A X, para todo
X T(A). Muestre que es biyectiva.
31. Dena L de la siguiente forma:
L = (a, b) N N : a y b son primos relativos.
Dena dos funciones U, D : L L por U(a, b) = (a +b, b) y D(a, b) = (a, a +b),
para todo (a, b) L.
(i) Muestre (1, 1) / U(L) y (1, 1) / D(L).
(ii) Mustre U((a, b)) ,= (a, b) y D((a, b)) ,= (a, b) para todo (a, b) L.
4.5. EJERCICIOS 77
(iii) Muestre U y D son ambas inyectivas.
(iv) Muestre U(L) D(L) = .
32. Sean f : A B una funcion inyectiva y P, Q A. Muestre f

(P Q) =
f

(P) f

(Q).
33. Sea f : A B una funcion.
(i) Muestre f es inyectiva si y solo si E = f

(f

(E)), para todos los subconjuntos

E A.
(ii) Muestre f es sobreyectiva si y solo si F = f

(f

(F)), para todos los subcon-

juntos F B.
34. Sean f : A B y g : B A funciones.
(i) Suponga que f es sobreyectiva, y que g es una inversa a derecha de f. Muestre
que g es inyectiva.
(ii) Suponga que f es inyectiva, y que g es una inversa a izquierda de f. Muestre
que g es sobreyectiva.
(iii) Suponga que f es biyectiva, y que g es la inversa de f. Muestre que g es
biyectiva.
35. Sean f : A B y g : B C funciones.
(i) Muestre que si g f es inyectiva, entonces f es inyectiva.
(ii) Muestre que si g f es sobreyectiva, entonces g es sobreyectiva.
(iii) Muestre que si g f es biyectiva, entonces f es inyectiva y g es sobreyectiva.
(iv) Encuentre un ejemplo de funciones f : A B y g : B C tales que g f
sea biyectiva, pero f no es sobreyectiva y g no es inyectiva.
36. Sea f : A B una funcion. Muestre que f es sobreyectiva si y solo si Bf

(X)
f

(A X), para todo X A.

37. Sea h : X Y una funci on. Muestre que h es inyectiva si y s olo si h

(A B) =
h

(A) h

(B), para todo A, B X.

38. Sea f : A B una funcion. Dena F : T(A) T(B) como F(X) = f

(X), para
todo X A y G : T(A) T(B) como G(Y ) = f

(Y ), para todo Y B.
(i) Muestre que F es sobreyectiva si y s olo si f es sobreyectiva.
(ii) Muestre que F es inyectiva si y s olo si f es inyectiva.
(iii) Muestre que G es sobreyectiva si y s olo si f es inyectiva.
(iv) Muestre que G es inyectiva si y s olo si f es sobreyectiva.
78 CAP

ITULO 4. FUNCIONES.
(v) Muestre que F es biyectiva si y solo si G es biyectiva si y solo si f es biyectiva.
(vi) Suponga que f es biyectiva. Muestre que F y G son inversas una de la otra.
Captulo 5
Relaciones.
5.1. Conceptos Fundaentales.
En el lenguaje com un decimos que hay una relaci on entre dos cosas si existe alguna
conexi on entre ellas. Por ejemplo, podemos pensar que las personas esten relacionadas si
ellas tienen el mismo color de ojos, o el mismo color de cabello, o la misma nacionalidad,
o la misma estatura. En matem aticas a veces relacionamos tambien objetos, por ejem-
plo, entre n umeros, las relaciones < o o =; o entre conjuntos las relaciones o o =.
De manera similar a como denimos funciones, denimos relaciones como conjuntos
de parejas ordenadas.
Denici on 5.1. Sean A y B conjuntos. Una relacion R de A en B es un subconjunto
R A B. Si a A y b B, escribimos aRb si (a, b) R y por a ,Rb si (a, b) / R.
Una relacion de A en A es llamada simplemente una relaci on en A.
Ejemplo 5.2. 1. Sean A = a, b, B = x, y, z. Podemos denir la siguiente rela-
cion, R = (a, x), (a, y), (b, z), note que aRx, aRy y bRz.
2. Los smbolos <, , = representan relaciones entre n umeros reales.
3. Los smbolos , , = representan relaciones entre conjuntos.
4. Dada cualquier funcion f : A B representa una relacion donde aRb si y solo
si f(a) = b.
5. En Z tenemos, por ejemplo, la relacion a divide a b, es decir, a[b.
5.1.1. Clases de un elemento con respecto a R
Denici on 5.3. Sean A y B conjuntos no vacos, y sea R una relacion de A en B.
Para cada x A denimos la clase de x con respecto a R, denotada por R[x], como el
79
80 CAP

ITULO 5. RELACIONES.
conjunto
R[x] = y B : xRy.
Ejemplo 5.4. 1. En el ejemplo A = a, b, B = x, y, z con R = (a, x), (a, y), (b, z)
tenemos que R[a] = x, y y R[b] = z.
2. Para la relacion < en R tenemos por ejemplo que < [x] = (x, ) y para , se
tiene [x] = [x, ).
3. Si consideramos en Z la relacion a[b (m Z)(b = ma) entonces la clase de a
es [[a] = b Z/(m Z)(b = ma) = todos los m ultiplos de a.
En estos ejemplos hemos visto que
1. Una clase puede ser vaca.
2. Una clase R[x] no tiene que contener a x.
3. Dos clases pueden intersectarse, por ejemplo en <, se tiene < [1] < [2] ,= .
Daremos la denicion de ciertas relaciones que verican ciertas condiciones especiales.
Denici on 5.5. Sea A un conjunto no vaco y sea R una relacion en A. Entonces,
1. R es reexiva si y solo si xRx, para todo x A.
2. R es simetrica si y solo si xRy implica que yRx, para todo x, y A.
3. R es transitiva si y solo si xRy y yRz implica que xRz, para todo x, y, z A.
4. Si R es reexiva, simetrica y transitiva, se dice que R es una relacion de equiva-
lencia.
Ejemplo 5.6. 1. La relacion en una familia de conjuntos es reexiva y transi-
tiva, pero no simetrica.
2. La relacion en R es reexiva y transitiva, pero no es simetrica.
3. La relacion < en R es solo transitiva.
4. Sea A = 1, 2, 3, R
1
= (1, 2), (2, 1), (1, 3), (3, 1) es simetrica, pero no es ni
reexiva ni transitiva. R
2
= (1, 1), (1, 2), (2, 2), (3, 3), (3, 1) es reexiva, pero no
es simetrica y tampoco transitiva.
5.2. RELACIONES DE EQUIVALENCIA 81
5.2. Relaciones de Equivalencia
Recordemos la denicion de relacion de equivalencia.
Denici on 5.7. Sean A un conjunto y una relacion en (o sobre) A. Decimos que
es una relacion de equivalencia si es reexiva, simetrica y transitiva.
Ejemplo 5.8. 1. Sea n N. Si a, b Z, decimos que a es congruente con b modulo
n, denotado a b(mod n), si existe k Z tal que a b = kn. Es facil ver que
(mod n) es una relacion de equivalencia.
2. La igualdad entre elementos de R es una relacion de equivalencia.
3. La relacion de semejanza en triangulos, en el conjunto de todos los triangulos, es
una relacion de equivalencia.
4. Tener la misma edad, en el conjunto de todas las personas de un pas, tambien es
una relacion de equivalencia.
Denici on 5.9. Sean A un conjunto no vaco y una relacion de equivalencia en A.
Considere x A, la clase de x con respecto a son llamadas clases de equivalencia y
seran denotadas simplemente por [x].
Denici on 5.10 (Conjunto Cociente). El conjunto cociente de A por la relacion es
el conjunto de todas las clases de equivalencia de A, con respecto a y se denota por
A/ . Mas exactamente,
A/ = [x] : x A.
Ejemplo 5.11. Sea P el conjunto de todos los estudiantes de la universidad. Sea la
relacion en P dada por
x y si y solo si x y y tienen el mismo apellido.
Claramente es una relacion de equivalencia. Cada clase de equivalencia corresponde
a un apellido [Perez], [Tejada], [Jimenez], [Banquet],... Luego
P/ = [Perez], [Tejada], [Jimenez], [Banquet], ....
Teorema 5.12. Sea A un conjunto no vaco y sea una relacion de equivalencia en
A.
1. Para todo x A, se tiene que [x] ,= .
2. Sean x, y A. Si x y, entonces [x] = [y]. Si x y, entonces [x] [y] =
3.
xA
[x] = A.
82 CAP

ITULO 5. RELACIONES.
Prueba: Si es una relacion de equivalencia, entonces es reexiva, simetrica y
transitiva.
1. Sea x A. Como x x, entonces x [x], lo que termina la prueba.
2. Sean x, y A. Supongamos que x y. Veamos que [x] = [y] es decir, veamos que
[x] [y] y [y] [x]. Sea z [x], entonces x z, como x y, entonces y x
(propiedad de simetra), luego y z (propiedad de transitividad), luego z [y].
De forma similar se prueba la otra contenencia, por tanto [x] = [y].
Ahora supongamos que x y y veamos que [x] [y] = . Razonemos por con-
tradicci on y supongamos que [x] [y] ,= . Luego existe z [x] [y]. Es decir,
z [x] y z [y]. Entonces x y y y z. Por simetra z y luego aplicando la
propiedad transitiva x y, lo cual es absurdo, pues va en contra de la hipotesis
inicial. Por tanto [x] [y] = .
3. Veamos que
xA
[x] = A.
Como para cada x A, [x] = z A : x z, entonces [x] A, para todo
x A, consecuentemente
xA
[x] A.
Sea z A, veamos que z
xA
[x]. En efecto z [z] pues z z (reexivi-
dad), luego si x = z, tenemos que existe x A tal que z [x], luego z
xA
[x].

Corolario 5.13. Sean A un conjunto no vaco y una relacion de equivalencia en A.

Considere x, y A. Entonces [x] = [y] si y solo si x y.
Denici on 5.14. Sea A un conjunto no vaco. Una particion de A es una coleccion T
de subconjuntos no vacos de A tales que:
1. P Q = cuando P, Q D y P ,= Q.
2.
PD
P = A.
Corolario 5.15. Sean A un conjunto no vaco y una relacion de equivalencia en A.
Entonces A/ es una particion de A.
5.3. Ejercicios
1. Para cada una de las siguientes relaciones en Z, encuentre R[3], R[3] y R[6]
(i) Sea R la relacion dada por aRb si y s olo si a = [b[, para todo a, b Z.
(ii) Sea R la relacion dada por aRb si y s olo si a[b, para todo a, b Z.
(iii) Sea R la relacion dada por aRb si y s olo si b[a, para todo a, b Z.
5.3. EJERCICIOS 83
(iv) Sea R la relacion dada por aRb si y s olo si a +b = 7, para todo a, b Z.
2. Para cada una de las siguientes relaciones en R
2
, de una descripcion geometrica
de S[(0, 0)] y S[(3, 4)].
(i) Sea S la relaci on dada por (x, y)S(z, w) si y s olo si y = 3w, para todo
(x, y), (z, w) R
2
.
(ii) Sea S la relaci on dada por (x, y)S(z, w) si y s olo si x
2
+3y
2
= 7z
2
+w
2
, para
todo (x, y), (z, w) R
2
.
(iii) Sea S la relaci on dada por (x, y)S(z, w) si y solo si x = z o y = w, para todo
(x, y), (z, w) R
2
.
3. Sea A = 1, 2, 3. Es cada uno de las siguientes relaciones en A reexiva, simetri-
ca o transitiva?
(i) M = (3, 3), (2, 2), (1, 2), (2, 1)
(ii) N = (1, 1), (2, 2), (3, 3), (1, 2)
(iii) O = (1, 1), (2, 2), (1, 2)
(iv) P = (3, 3), (2, 2), (1, 1)
(v) Q = (1, 2), (2, 1), (1, 3), (3, 1), (1, 1)
(vi) R = (1, 2), (2, 3), (3, 1)
(vii) T = (1, 1), (1, 2), (2, 2), (2, 3), (3, 3), (1, 3)
4. Es cada una de las siguientes relaciones reexiva, simetrica y/o transitiva?
(i) Sea S la relacion en R dada por xSy si y solo si y = [x[, para todo x, y R.
(ii) Sea D la relacion dada por aDb si y s olo si a[b, para todo a, b Z.
(iii) Sea T la relacion en Z Z denida por (x, y)T(z, w) si y solo si (x, y) y
(z, w) est an ambos en una linea en R
2
con pendiente un entero, para todo
(x, y), (z, w) R
2
.
5. Muestre que la relaci on (mod n) es una relacion de equivalencia en Z. Encuentre
[23], [15] y [14] cuando n = 12