Universidad de La Frontera

Facultad de Ingeniera y Ciencias

Departamento de Matemtica

Elementos de Lgica y Teora de Conjuntos

Prof. Dr. Ral Benavides G

I. Elementos de Lgica
La Lgica estudia mtodos de razonamiento, especficamente, mtodos
que separan los razonamientos vlidos de los no vlidos. En muchas
disciplinas se han establecido resultados a travs del razonamiento lgico.
Para demostrar los teoremas en matemticas es necesario razonar
correctamente en la prueba de ellos.

1.1 Proposiciones
Una afirmacin como la siguiente:
1+1=0
la cual es verdadera o falsa, pero no ambas cosas a la vez, es llamada
una proposicin. Se usan normalmente minsculas, como p, q o r, para
denotar proposiciones. Usaremos tambin la notacin
p:1+1=0
para definir la proposicin anterior.
Ejemplos.
(1) r : Hay un premio Nobel de matemticas.
(2) s : La tierra es el nico planeta del universo que tiene vida.
(3) t : Teclee control M para borrar.
(4) p : Los animales son mortales.
(5) q : Los tringulos semejantes coinciden en todos sus puntos.

(6) k : Qu hora es?

Observamos que (6) es una pregunta y (3) es un mandato. (1), (2), (4) y
(5) son proposiciones de las cuales (1) es falsa, (2) puede ser verdadera o
falsa, pero nadie lo sabe hasta el momento, (4) es verdadera y (5) es
falsa.
Dada una proposicin, cabe preguntarse entonces si es verdadera o falsa.
Si la proposicin en cuestin es verdadera, diremos que su valor de
verdad es V, y si es falsa diremos que su valor de verdad es F.
As como en lgebra se estudian operaciones entre nmeros, en lgica se
estudian operaciones entre proposiciones y que dan origen a las
proposiciones compuestas.
Definicin 1.
Sean p y q proposiciones.
-

Se llama conjuncin de p y q, que denotamos por pq, a la

proposicin: p y q

Se llama disyuncin de p y q, que denotamos por pq, a la

proposicin: p o q

Si las proposiciones p1, p2,.........,pn se combinan para formar la

proposicin compuesta p, se escribir en ocasiones
p = p(p1,., pn)
Los valores de verdad de una proposicin compuesta pueden describirse
por una tabla de verdad. La tabla de verdad de una proposicin
compuesta
p = p(p1,.,pn) enumera todas las posibles
combinaciones de los valores de verdad para p1,.,pn.
Definicin 2.
Los valores de verdad de las proposiciones compuestas pq y pq estn
definidas por las siguientes tablas de verdad.

pq

pq

Observemos que en las tablas de verdad definidas, se dan todas las

cuatro posibles combinaciones de los valores de verdad que se asigna a p
y a q.
De acuerdo a lo anterior, la conjuncin pq es verdadera cuando ambas
proposiciones p y q lo son, y falsa en todos los otros casos. La disyuncin
pq es falsa cuando ambas proposiciones p y q lo son, y verdadera en
todos los dems casos. El o en la disyuncin pq se usa en el sentido
inclusivo, es decir, pq es verdadera cuando lo es p o q, o ambas p y q.
Existe tambin el sentido exclusivo y se designa por o excluyente (0-ex),
segn el cual p 0-ex q es verdadera si lo es p o q, pero no ambas p y q.
Si p es una proposicin se puede formar la negacin p de p o p,
invirtiendo simplemente los valores de verdad de p. Suele leerse, como
no p.
Definicin 3.
La negacin p de p se define a travs de la siguiente tabla de verdad.

Es posible que una proposicin compuesta p = p(p1,.,pn) sea

verdadera sin importar que asignaciones de verdad se hayan hecho a las
proposiciones p1,.,pn . La prxima definicin expresa en trminos
precisos esta nocin, as como el caso en el cual una proposicin
compuesta es siempre falsa.
Definicin 4.
Sea p = p(p1,.........., pn) una proposicin.
-

La proposicin p es una tautologa si p es verdadera para todos

los valores de verdad que se asignen a p1,........., pn.

La proposicin p es una contradiccin si p es falsa para todos los

valores de verdad que se asignen a p1,........., pn.

Hacemos notar que la negacin de una tautologa es una contradiccin y

la negacin de una contradiccin es una tautologa.
Ejemplos.
1.- Sea p una proposicin, entonces pp es una tautologa y pp es
una contradiccin.
R.p p

p p

2.- Sean las proposiciones

p: F , q: V, r: V
Establecer los valores de verdad de las proposiciones dadas.
a) p q

b) p q

d) (p q) (p r)

c) q r

e) (p q) p

f) (p q) (r p)

g) (p q) (p q) (pq) (p q)

3.- Supngase que a,b,c . Si consideramos las proposiciones.

p : a < b,

q:b<c

,r:a<c

Representa los enunciados siguientes:

1) a < b y b < c
2) (a b y b c) o a c
3) No es cierto que (a < c y b < c)
4) a < b o no es verdad que (b < c y a < c)
5) No es verdad que [a < b y (a < c o b < c)] o (a b y a < c)

1.2 Proposiciones condicionales y equivalencia lgica

Definicin 5.
Si p y q son proposiciones, la proposicin compuesta
si p entonces q
se llama proposicin condicional o enunciado hipottico y se denota por
pq
La proposicin p se llama antecedente o hiptesis, y la proposicin q se
llama consecuente o conclusin.
Ejemplos.
Represente cada proposicin en la forma de una proposicin condicional.
a) Para todo nmero real x, x < 2 siempre que -2 < x < 2.
b) Jos ser un buen estudiante si estudia mucho.
c) Cuando se construyan automviles mejores, Buick los construir.
d) Una condicin necesaria para que un tringulo T sea equiltero, es
que T tenga sus tres ngulos iguales.
e) Una condicin suficiente para que una funcin f sea continua, es
que f sea diferenciable.

f) x > 0 slo si xn > 0, n IN.

R.- a) Si 0 < x < 2, para todo nmero real x, entonces x < 2.
b) La hiptesis es la clusula que sigue al condicional si; por lo tanto
una formulacin equivalente es:
Si Jos estudia mucho, entonces ser un buen estudiante
c) Cuando tiene el mismo significado que si; por consiguiente, una
formulacin equivalente es:
Si se construyen buenos automviles, entonces Buick los construir
d) Una condicin necesaria es otro nombre para la conclusin; en
consecuencia una formulacin equivalente es:
Si el tringulo T es equiltero, entonces T tiene sus tres ngulos
iguales
e) Una condicin suficiente es otro nombre para la hiptesis;
entonces una formulacin equivalente es:
Si una funcin f es diferenciable, entonces f es continua
f) La clusula slo si es la conclusin; es decir,
si p, entonces q
se considera lgicamente equivalente la misma que
p slo si q
Una formulacin equivalente es:
Si x > 0 entonces xn > 0, n IN
Definicin 6.
El valor de verdad de la proposicin condicional p q est definido por la
tabla de verdad siguiente.
p

pq

Ejemplos.
1.- Sea p : 2 > 5, q : 6 < 8
Entonces p es falsa y q es verdadera, luego:
p q es V y q p es F
Este ejemplo, muestra que la proposicin p q puede ser verdadera,
mientras que la proposicin q p es falsa. Se llama a la proposicin q
p la recproca de la proposicin p q. Por lo tanto, una proposicin
condicional puede ser verdadera mientras que su recproca es falsa.
2.- Supngase que p es verdadera, q es falsa y r es verdadera. Hallar el
valor de verdad de cada una de las siguientes proposiciones.
a) (p q) r
b) (p q) r
c) p (q r)
d) p (q r)
R.- a) V

b) F

c) V

d) V

3.- Determina el valor de verdad de la proposicin (p q) r

R.p

pq

(p q) r

Son de inters particular las proposiciones condicionales verdaderas. Los

teoremas en matemticas con frecuencia se expresan como proposiciones
condicionales. Una demostracin de un teorema de esa forma lo
constituye la verificacin de que la proposicin condicional es verdadera.
Sean p = p(p1,.........., pn) y q = q(p1,.........., pn) proposiciones
compuestas y supngase que p q es verdadera. Se sabe que si p es
falsa, p q es verdadera, no importando si q es verdadera o falsa. Por
otra parte, si p es verdadera, q tambin debe serlo, pues en caso contrario
p q sera falsa. Esta discusin motiva la siguiente definicin.
Definicin 7.
La proposicin compuesta p = p(p1,.........., pn) implica lgicamente la
proposicin compuesta q = q(p1,.........., pn), en smbolos:
pq
siempre que dados cualesquiera valores de verdad p1,.........., pn; si p es
verdadera, q tambin lo es.
Notamos que p = p(p1,.........., pn) q = q(p1,.........., pn) se cumple
precisamente cuando
p = p(p1,.........., pn) q = q(p1,.........., pn)
es una tautologa.
Hacemos notar que p q es una operacin entre las proposiciones p y q.
Por otra parte p q es una relacin entre las proposiciones p y q, y
seala (como ya lo dijimos) que p q es una tautologa.

Ejemplo.
1.- Demostrar que (p q) p
R.- La proposicin (p q) es verdadera justamente cuando p q es
falsa. Para que p q sea falsa, p y q deben ser falsas. Luego p es
verdadera. Luego es cierta la afirmacin propuesta.
Otra proposicin compuesta de gran utilidad es
p si y slo si q
este enunciado se interpreta as:
(si p, entonces q) y (si q entonces p)
Definicin 8.
Si p y q son proposiciones, la proposicin compuesta
p si y slo si q
se llama proposicin bicondicional y se denota
p q
El valor de verdad de la proposicin p q est definido por la siguiente
tabla de verdad:
p

p q

Ejemplos.
1.- Sean a, b y c las longitudes de los lados de un tringulo T siendo c la
longitud del lado mayor. El enunciado
T es un tringulo rectngulo si y slo si a2 + b2 = c2

puede expresarse simblicamente como p q , si se define:

p : T es un tringulo rectngulo
q : a2 + b 2 = c 2
Entonces la aseveracin sealada en el problema, afirma que:
Si T es un tringulo rectngulo, entonces a2+b2=c2
y
Si a2+b2=c2 entonces T es un tringulo rectngulo.
Una forma alternativa de enunciar este problema es el siguiente: una
condicin necesaria y suficiente para que un tringulo T sea rectngulo es
que sus lados satisfagan la relacin a2+b2=c2.
2.- Determinar el valor de verdad de la proposicin
[p (q r)] [(p q) (p r)]
R.- El anlisis es idntico a uno de los problemas anteriores, esta
proposicin es una tautologa
De inters particular son los enunciados verdaderos de la forma: p si y
slo si q.
Sean p = p(p1,.........., pn) y q = q(p1,.........., pn) proposiciones
compuestas y supngase que p q es verdadero. De acuerdo a la
definicin anterior se tiene que las proposiciones p y q son ambas
verdaderas o ambas falsas. Esta discusin nos lleva a la siguiente
definicin.
Definicin 9.
Las proposiciones compuestas p = p(p1,.........., pn) y q = q(p1,.........., pn)
son lgicamente equivalentes y se escribe
p q
Siempre que dados cualesquiera valores de verdad de p1,.........., pn; p y
q son ambas verdaderas o ambas falsas.
Notamos que p q se cumple precisamente cuando

10

p = p(p1,.........., pn) q = q(p1,, pn)

es una tautologa.
De la misma forma que la implicacin lgica, la expresin p q denota
una relacin entre p y q, mientras que p q indica una operacin.
Ejemplos.
1.- Verifique las leyes de De Morgan.
a) (p q) p q

b) (p q) p q

R.- a)
p q (p q)

p q (p q)

En consecuencia las proposiciones dadas son lgicamente equivalentes.

b) Se hace de manera anloga.
2.- Demostrar que (p q) p q
R.- Construyamos las tablas de verdad respectivas.

(p q)

p q

11

As, de esta forma (p q) p q

3.- Determinar el valor de verdad de la proposicin
[p (q r)] [(p q) (p r)]
4.- Prueba usando las tablas de verdad, que:
p q (p q) (q p)
Definicin 10.
La contrarrecproca de la proposicin p q es la proposicin : q p
Teorema.
La proposicin condicional p q es lgicamente equivalente a su
contrarrecproca q p.
Dem.
p

pq

q p

p q q p

Algunas tautologas o Teoremas lgicos importantes son los siguientes:

T.L.1 ( p) p
T.L.2 p p p,
T.L.3 p q q p,

(doble negacin)
ppp
pq qp

T.L.4 p (q r) (p q) r, p (q r) (p q) r

(idempotencia)
(conmutatividad)
(asociatividad)

T.L.5 p (q r) (p q) (p r)
p (q r) (p q) (p r)

(distributividad)

12

T.L.6 p p V

(Principio del tercero excluido)

T.L.7 p p F

(Principio de contradiccin)

T.L.8 (p q) p q
(p q) p q
T.L.9 (p q) (q r) (p r)
T.L.10 (p q) (q p) (p q)
T.L.11 (p q) (q p)

(Leyes de De Morgan)
(Ley transititva)
(Ley del bicondicional)
(contrarrecproca)

T.L.12 (p q) (p q)
T.L.13 [(p q) p] q
T.L.14 (p q) [(p q) p]

(Modus Ponens)
(Reduccin al absurdo)

(p q) [(p q) q]
T.L.15 [(p q) (p q)] q
[(p q) (r q)] [ (p r) q]

(Demostracin por casos)

T.L.16 [(p q) q] p

(Tollendo Tollens)

T.L.17 (p q) q p

(Tollendo Ponens)

T.L.18 p q p,

pq q

T.L.19 p (p q) p, p (p q) p

(Ley de simplificacin)
(ley de absorcin)

La demostracin de estos teoremas lgicos se basa en construir las tablas

de verdad y verificar.
Observacin.
El uso de parntesis dentro de la lgica tiene una gran significacin, de
igual forma que en gramtica con los signos de puntuacin.
Por ejemplo, si tenemos la proposicin compuesta: (p q) r, se trata de
una disyuncin.

13

La situacin sera distinta si se tomaran las mismas letras en el mismo

orden, con las mismas operaciones, pero se alteraran los parntesis, es
decir, p (q r), donde la operacin final es una conjuncin.
Existen ciertos convenios, en el sentido que hay conectivos dominantes
sobre otros, lo que permite en algunos casos omitir los parntesis, tales
convenios son:

es el ms fuerte

segundo ms fuerte

y tienen la misma potencia

es el ms dbil
Los ejemplos siguientes reflejan tal dominancia.
pq pr

(bicondicional)

pqr

(condicional)

pqr

(hay ambigedad)

p q

(disyuncin)

1.3 Razonamientos y demostraciones

Un sistema matemtico est formulado por axiomas, definiciones y
trminos no definidos. Los axiomas se suponen ciertos. Las definiciones
se usan para crear nuevos conceptos en trminos de otros ya existentes.
Algunos trminos no estn definidos explcitamente pero si lo estn
implcitamente dados por los axiomas.
Ejemplos
1.La Geometra euclideana constituye un ejemplo de sistema
matemtico. Algunos axiomas son:
a) Dados dos puntos distintos, existe una recta nica que los contiene.
b) Dada una recta y un punto fuera de ella, existe una nica recta
paralela a la dada que pasa por dicho punto.

14

Los trminos punto y recta son trminos no definidos que estn

implcitamente definidos por los axiomas que describen sus propiedades.
2.Los nmeros reales constituyen otro ejemplo de un sistema
matemtico. Algunos axiomas son:
a) Para todos nmeros reales x e y, xy = yx
b) Existe un subconjunto P de los nmeros reales que satisface:
-

Si x, y P, entonces x+y y xy P.

Si x , exactamente una de las siguientes proposiciones es

verdadera:
x P,

x = 0,

-x P

En un sistema matemtico es posible establecer teoremas. Un teorema

es un resultado que se puede deducir de los axiomas, de las definiciones
y de los teoremas establecidos previamente. El razonamiento que
establece la veracidad de un teorema se llama demostracin. Los lemas
y los corolarios son clases especiales de teoremas. Un lema es un
teorema que no tiene especial inters en si mismo pero que es til para
probar algn otro teorema. Un corolario es un teorema que se deduce
inmediatamente de un teorema.
Con frecuencia los teoremas son de la forma
Si p, entonces q

(*)

Una demostracin de (*) es un razonamiento que prueba que (*) es

verdadera.
Definicin 11.
Un razonamiento es un conjunto de proposiciones, del cual se afirma que
una de ellas, llamada conclusin, se deriva de las otras, llamadas
premisas o hiptesis.
Esta sucesin de proposiciones puede ser escrita como:
p1 p2 ........ pn q
o bien
p1
15

p2
.
.
.
.
pn
q
p1,, pn : premisas y q : conclusin
El razonamiento es vlido si p1 p2 ........ pn q es una tautologa, en
caso contrario no es vlido y se dice que es una falacia.
Existen dos tipos de razonamiento; deductivos e inductivos.
Deductivo: es aquel de cuyas hiptesis se espera produzcan pruebas
convincentes para afirmar la verdad de su conclusin.
Inductivo: es aquel en que sus hiptesis no ofrecen una evidencia total
de la verdad de su conclusin, sino que ofrecen cierta evidencia de ella.
Los razonamientos deductivos son vlidos o no vlidos, as como las
proposiciones son verdaderas o falsas. No sucede lo mismo con los
razonamientos inductivos.
En un razonamiento vlido se dice a veces que la conclusin resulta de la
hiptesis. Notamos que no se afirma que la conclusin sea verdadera,
slo se indica que si se satisfacen las hiptesis, entonces se asegura la
conclusin. Un razonamiento es vlido por su forma y no por su contenido.
Ejemplos.
1.- Determinar si el siguiente razonamiento es vlido.
[(p r) (p q)] [p (r q)]
Como primera forma, se construye la tabla de verdad de las proposiciones
sealadas, mostrando que [(p r) (p q)] [p (r q)] es una
tautologa y as el razonamiento es vlido.

16

Podemos en forma alternativa usar los teoremas lgicos, que resulta ser
una forma ms directa de demostracin. En efecto,
[(p r) (p q)] (r p) (q p) (r q) p
(p) (r q)
As entonces se tiene p r q.
2.- Determinar si el razonamiento (p q) p q
R.- Podemos construir la tabla de verdad de las proposiciones en
cuestin. Entonces analicemos tal razonamiento. Supongamos que p q
y p son verdaderas. Entonces q debe ser verdadera ya que, en otro caso,
p q sera falsa. Por consiguiente el razonamiento es vlido.
Como ya hemos mencionado una demostracin de un teorema, es un
razonamiento que da argumentaciones convincentes de que lo que se
afirma es consecuencia lgica de las premisas o de otros teoremas
previos ya demostrados. Los teoremas lgicos o tautologas determinan
las reglas que se usan para deducir un teorema a partir de las
proposiciones ya conocidas.
Las demostraciones pueden ser directas o indirectas. Una demostracin
directa consiste en la aplicacin del Modus Ponens. Mediante una cadena
de implicaciones se llega de la hiptesis a la tesis.
Para demostrar H T, supone que H es verdadera y despus usando
tanto H como axiomas, definiciones y teoremas establecidos previamente,
se prueba directamente que T es verdadera.
Las demostraciones indirectas se presentan de dos formas.
a) Contrarecproca.
Para demostrar H T se hace uso del T.L.11, construyendo una serie de
proposiciones que nos lleven a: T H
b) Contradiccin o reduccin al absurdo.
Supngase, que deseamos probar: H T. Se supone que T es falsa; esto
nos lleva a una contradiccin de la forma p p (T.L. 7), si es as se ha
establecido la verdad de la proposicin T p p para alguna
proposicin p. Ahora, como p p F, entonces T es falsa y as T es
verdadera. Veamos algunos ejemplos.
17

1.- Sean a,b,c, tales que a b y b c a c

R.- Recordemos que a b k tal que b = ka.
Si a b y b c k, k tal que b = ak, c = bk.
Si b = ak, c = bk c = k(ak) = (kk) a = ka, k.
Ahora, si c = ka a c.
Si quisiramos hacer un esquema de la demostracin, se tendra:
p : a b b c
p q : Si a b b c, entonces b = ka, c = kb; k,k
q r : Si b = ka, c = kb, entonces c = ka, k.
r s : Si c = ka, k; entonces a c.
2.- Sean d, d1, d2, x . Si d = min{d1, d2} y x < d, prueba entonces que
x < d1 y x < d2.
R.- Usemos una demostracin directa. De la definicin de min, se deduce
que d d1 y d d2. Como x < d y d d1, se puede deducir por la
propiedad transitiva en que x < d1. Ya que x < d y d d2, puede
deducirse por la misma propiedad anterior que x < d2. Por lo tanto, x < d1
y x < d2.
3.- Sean x,y tal que x + y 2 x 1 y 1
R.- Usemos un mtodo indirecto, por contradiccin.
Supongamos entonces que la conclusin es falsa, es decir x < 1 y < 1,
entonces por otra propiedad se tiene que x + y < 1 + 1= 2. As, tenemos
entonces que x + y < 2 x + y 2 (p p), luego tenemos una
contradiccin, as entonces la proposicin es verdadera.
4.- Sea n . Si n2 impar n impar.
R.- Usemos la contrarecproca, es decir: p q q p.
De esta forma queremos probar lo siguiente: Si n par n2 par

18

En efecto, si n par, entonces n = 2k, k . Luego n2 = 4k2 = 2(2k2) = 2k,

k . As entonces n2 es par.
5.- Sean x,y . Si xy = 0 x = 0 y = 0
R.- Usemos un mtodo indirecto, por el absurdo.
Supongamos que x 0 y 0. Luego podemos escribir:
y = 1y = (x-1x) y = x-1 (xy) = x-10 = 0. As tenemos y = 0 y 0, lo
que es una contradiccin. Luego x = 0 y = 0.
Otra forma de demostracin es aquella dada por casos que consiste en
el uso del teorema lgico T.L.15. Veamos el siguiente ejemplo:
6.- Sean x , probar que x 0.
R.- Caso 1. Si x = 0 : x = 0
Caso 2. Si x > 0 : x = x

x>0

Caso 3. Si x < 0 : x = - x, pero x > 0 y as x > 0.

Otra forma de demostracin a analizar, es la demostracin por
contraejemplo, que consiste en dar un contraejemplo para mostrar la
falsedad de una afirmacin.
1.- Analizar la afirmacin siguiente: x, y : x < y x2 < y2
R.- Supongamos - 2 < 1 pero (- 2)2 12.
Luego p q es verdadera, de donde p q es falsa.
Hacemos notar que: (p q) (p q) (p) q p q
2.- Sean a,b Z tal que a = b y ab 3/2 b > a
R.- Supongamos b = - 4, luego a = - 3 y ab = 12 > 3/2, pero b < a.
1.4 Principio de Induccin finita
En 1786, en una escuelita de pueblo, un profesor con deseos de leer el
peridico y descansar un poco, propone a sus alumnos de
aproximadamente de 9 aos sumar los 100 primeros nmeros naturales.
El profesor dijo aqu tienen los alumnos para trabajar por lo menos una

19

media hora. Ante el estupor del profesor uno de los nios da la respuesta
en pocos minutos y dijo que el resultado era 5050. El profesor le pregunt
cmo lo haba hecho, el alumno se llamaba Gauss y l razon de la forma
siguiente: llam de Sn la suma de los primeros n nmeros naturales y los
arregl en la forma:
Sn =1 + 2 + ............................+ n
Sn = n + n-1 +............................+ 1
Sumando ambas relaciones trmino a trmino obtuve:
2 Sn = (n+1) + (n+1) +.+ (n+1) = n(n+1) Sn = n(n+1)/2
Una forma geomtrica de enfocar este problema consiste en asociar cada
los nmeros naturales involucrados en un arreglo matricial.

Sn-1

n
Sn-1

20

Con esa disposicin e interpretacin en cada tringulo tenemos la suma

de n-1 bolitas, en la diagonal hay n bolitas, as si contamos todas las
bolitas, tenemos:
n2 = Sn-1 + n + Sn-1
2 Sn-1 = n2 n = n(n-1) Sn-1 = n(n-1)/2
O bien Sn = n(n+1)/2
Se puede verificar la propiedad para algunos nmeros naturales, por
ejemplo para n = 1, 2, 3, ..............,100. Observamos que para el problema
resuelto por Gauss, obviamente da como resultado 5050.
Basndonos en la experiencia de este ejemplo, podemos ir tras el
Principio de Induccin.
Un subconjunto S de se llama inductivo si posee las siguientes
propiedades:
(1) 1 S
(2) n : n S n + 1 S (S es cerrado bajo la
adicin por 1)
Inductivamente es fcil ver que hay bastantes conjuntos inductivos (, Q,
Z, son algunos de ellos).
Supngase, entonces que S es inductivo. Por definicin, 1 S. Como
S es cerrado bajo la adicin por 1, S debe contener la nmero 2 = 1 + 1.
Como 2 S, se sigue otra vez por la propiedad (2) que 3 = 2 + 1 est en
S. Similarmente 4 S, y as sucesivamente. Parece ser entonces que S
debe contener a todos los nmeros naturales. Esta es nuestra primera
formulacin del principio de induccin.
Teorema.
Si S es inductivo, entonces S = .
Nosotros ahora ilustraremos el uso del teorema anterior probando la
siguiente identidad:
1 + 2 + 3 +..........................+ n = n(n + 1)/2

21

Sea S el conjunto de todos los enteros positivos n para el cual se verifica

la relacin propuesta. Nosotros probaremos que S = . Por teorema
anterior es suficiente probar que el conjunto S es inductivo.
Notamos que cuando n = 1, la relacin es vlida, pues: 1 = 12/2.
As 1 S. Debemos probar prximamente que S es cerrado bajo la
adicin por 1. Supngase que n S, debemos mostrar entonces que n +
1 S. Ahora, decir que n S significa que es vlida la relacin siguiente:
(H) 1 + 2 + 3 +........................+ n = n(n + 1)/2
Por otro lado, que n + 1 S debe satisfacerse:
(T) 1 + 2 + 3 +.................+ n + (n + 1) = (n + 1)(n + 2)/2
Sumando a la hiptesis el n-simo trmino, se tiene:
1+2+3+........................+n+(n+1) = n(n+1)/2 + (n+1)
de donde
1+2+3+........................+n+(n+1) = [n(n+1)+2(n+1)]/2
y as
1+2+3+........................+n+(n+1) = (n+1)(n+2)/2
Luego n+1 S, lo cual completa la prueba.
Teorema (El principio de Induccin)
Sea p(n) una funcin proposicional en el cual la variable n asume todos
los valores en . Supngase que:
(1) p(1) es verdadero.
(2) ( n )(p(n) p(n+1)) es verdadero.
Entonces p(n) es verdadero para todo n .
Dem.
Sea S = {n / p(n)}. Entonces por (1) 1 S. Adems (b) nos dice que S
es cerrado bajo la adicin por 1. As entonces S es un conjunto inductivo

22

y por lo tanto S = . En otras palabras, p(n) es verdadero para cada

entero positivo n.
Examinemos otros ejemplos.
Ejemplos.
1.- Sea p(n) la afirmacin
12+22+32+.......................+n2 = n(n+1)(2n+1)/6
p(1) : 12 = 123/6 = 1. As p(1) se verifica.
Supongamos que p(n) es cierta, es decir:
12+22+32+.......................+n2 = n(n+1)(2n+1)/6

(H)

Nosotros debemos probar que p(n+1) tambin se satisface, es decir, debe

tenerse que:
12+22+32+...................+n2+(n+1)2 = (n+1)(n+2)(2n+3)/6

(T)

En efecto, sumando la hiptesis el (n+1)-simo trmino, se tiene:

12+22+32+...................+n2+(n+1)2 = n(n+1)(2n+1)/6+(n+1)2
= 1/6(n+1)(2n2+7n+6)
= (n+1)(n+2)(2n+3)/6
Luego p(n) debe ser verdad para todo entero positivo n.
2.- Determinar si el producto de 3 nmeros enteros positivos impares
consecutivos es siempre divisible por 6.
R.- Sea p(n) : (2n-1)(2n+1)(2n+3) = 6k donde k .
Queremos determinar si p(n) se cumple para todo n entero positivo.
p(1) : 135 = 15 el cual no es divisible por 6. Luego p(n) no es
necesariamente cierta para todo n .
3.- Determinar si la suma de 3 enteros positivos consecutivos es siempre
divisible por 6.
R.- Sea p(n) : n+(n+1)+(n+2) = 6k, k .

23

p(1) : 1+2+3 = 6 = 61, lo cual es cierto.

Supongamos que la afirmacin es cierta para n, es decir:
n+(n+1)+(n+2) = 6k, k

(H)

Demostraremos que tambin se verifica para n+1, es decir:

(n+1)+(n+2)+(n+3) = 6k, k

(T)

En efecto, (n+1)+(n+2)+(n+3) = n+(n+1)+(n+2)+3

= 6k+3
= 6 (k+1/2), pero k+1/2 .
Luego p(n) no se verifica para todo n.
Ms an, para n = 2 la afirmacin no es vlida, puesto que : 2+3+4 = 9, el
cual no es divisible por 6.
4.- Determinar todos los nmeros naturales para los cuales
1234.........................n > 2n
R.- Observamos que la frmula no es vlida para n = 1, 2, 3. Para n = 4,
se tiene que: 1234 > 24 = 16, lo cual es verdadero.
Supongamos que la afirmacin es cierta para n, con n 4, es decir, se
satisface:
1234.........................n > 2n

(H)

Por demostrar que la desigualdad es vlida para n+1, es decir:

1234.........................n(n+1) > 2n+1

(T)

En efecto,
1234.........................n(n+1) = (1234.........................n)(n+1)
2n(n+1) > 2n2 = 2n+1
Luego n : 1234.........................n(n+1) > 2n+1
5.- Demuestra que xn - yn es divisible por x-y.

24

R.- Decir que xn - yn sea divisible por x-y es equivalente a sealar que
existe otro polinomio en las variables x e y : p(x,y) tal que
xn - yn = (x-y)p(x,y)
Sea p(n) : xn - yn = (x-y)p(x,y).
Si n = 1 : x1 - y1 = (x-y)1, es decir, p(x,y) = 1 (polinomio constante1).
Veamos el caso n = 2 : x2 - y2 = (x-y)(x+y), p(x,y) = x+y
Supongamos que p(n) es cierta, es decir
xn - yn = (x-y)p(x,y)

(H)

Demostraremos que p(n+1) tambin se verifica, es decir

xn+1 - yn+1 = (x-y)q(x,y), donde q(x,y) polinomio

(T)

En efecto,
xn+1 - yn+1 = xn+1 - xny+xny - yn+1
= xn(x-y)+y(xn - yn)
= xn(x-y)+yn(x-y)p(x,y)
= (x-y)[xn+ynp(x,y)]
= (x-y)q(x,y)
As por el principio de induccin, p(n) es verdadera para todo n .

1.5 Circuitos lgicos

Pretendemos en esta seccin hacer uso de los circuitos elctricos para
estudiar las relaciones lgicas entre proposiciones. No se trata de una
mera ejemplificacin. En la construccin de los computadores se usa la
analoga de los circuitos con las relaciones lgicas para proveer a las
mquinas de la capacidad de comparar y de decidir entre alternativas
diversas. Supongamos que tenemos un circuito con un interruptor
(1)

25

Si V indica paso de corriente y F interrupcin de corriente, entonces si p

es una proposicin verdadera, es vlida la representacin (1).
Con esta convencin, supongamos que tenemos dos interruptores tales
que el primero se cierra si p es V y el segundo se cierra si q es V, e
imaginemos los interruptores conectados en serie.

Tal circuito origina la tabla de verdad de p q, puesto que la corriente

circular slo si las dos proposiciones son verdaderas.
Si en cambio los interruptores se conectan en paralelo, como en la figura

Se tendr la tabla de verdad de p q, puesto que para que circule

corriente basta que sea verdadera una de las proposiciones.
Ejemplos.
1.- Escribe la proposicin asociada a los siguientes circuitos:

26

2.- Qu proposicin representa el siguiente circuito? Establecer la tabla

de verdad correspondiente. Qu indica esa tabla sobre el circuito?

27

R.- (p q) [(p q) q]
La tabla de verdad asociada es la siguiente.

p q (pq)q (pq)[(pq)q

pq

La tabla indica que no hay paso de corriente, si p est cerrado y q abierto.

3.- Construir un circuito para cada una de las proposiciones dadas.
a) (p q) [p (q p q)]
b) (p q) r (p q r)

4.- Dada la proposicin

[(p q) (p q)] [(p q) (p q)]
Determina una red de interruptores que la represente.
R.- [(p q) (p q)] [(p q) (p q)]
[(p q) (p q)] [(p q) (p q)]
(p q) [(p p) q]

28

q
p

29

II.

Teora de Conjuntos

En matemtica nos enfrentamos frecuentemente con distintos conjuntos.

Podemos hablar del conjunto de las caras de un poliedro, de puntos de un
a recta, del conjunto de los nmeros naturales, etc. El concepto de
conjunto es tan amplio que resulta difcil darle una definicin que no se
reduzca a sustituir simplemente la palabra conjuntopor expresiones
sinnimas como: coleccin, clase, etc.
El concepto de conjunto desempea en matemticas un papel de
extraordinaria importancia no slo porque la propia teora de conjuntos es
una disciplina sumamente vasta y slida, sino principalmente en virtud de
la influencia que esta teora ha ejercido sobre las diversas lneas de la
matemtica.
Vamos a enunciar aqu las notaciones fundamentales y a exponer
brevemente los conceptos primarios de la teora de conjuntos que sern
utilizados en los captulos posteriores.
Un conjunto es una coleccin de objetos arbitrariamente llamados sus
elementos. Notamos un conjunto por las letras maysculas del alfabeto:
A, B, C,..................., Z
Sus elementos por letras minsculas: a, b, c,................., z
La relacin bsica entre un objeto y un conjunto es la relacin de
pertenencia. Cuando un objeto x es uno de los elementos que conforman
el conjunto A, decimos que x pertenece a A: x A.
Si x no es uno de los elementos del conjunto A, decimos que x no
pertenece a A y escribimos: x A.
Un conjunto A queda definido o determinado o caracterizado, cuando se
da una regla que permite decidir si un objeto arbitrario x pertenece o no al
conjunto A.
Por ejemplo, sea A el conjunto de los tringulos rectngulos. El conjunto A
est bien definido, un objeto x pertenece a A cuando es un tringulo y
adems uno de sus ngulo es recto.
Se usa la notacin X = {a,b,c,.............} para representar al conjunto X
cuyos elementos son los objetos a,b,c, etc.
30

Dado el objeto a, se puede considerar al conjunto cuyo nico elemento es

a y ese conjunto se representa por: { a } (conjunto unitario o singleton).
Ciertos conjuntos, por su importancia y por la frecuencia con que
aparecen son indicados con notaciones especiales:
= {1,2,.........} : conjunto de los nmeros naturales
Z = {..........,-2,1,0,1,2,.........} : conjunto de los nmeros enteros.
Q = {a/b : a,b Z, b 0} : conjunto de los nmeros racionales.
: conjunto de los nmeros reales.
C = {(x,y) : x,y } : conjunto de los nmeros complejos.
Algunos conjuntos se definen explicitando sus elementos (definicin por
extensin). La representacin por extensin del conjunto cuyos elementos
son 1, 0, 1, es A = { -1, 0, 1 }.
Es fcil ver que se trata del conjunto de los nmeros enteros cuyo valor
absoluto es menor que 2; en este enunciado hacemos referencia a los
elementos del conjunto Z, de los nmeros enteros, el cual se llama
referencia o universal; adems estamos interesados en aquellos que
satisfacen la propiedad de ser, en valor absoluto, menor que 2. La
notacin correspondiente es: A = {x Z : x < 2}.
El conjunto universal depende de la disciplina en estudio, se fija de
antemano, y est formado por todos los elementos que intervienen en el
tema de inters. En general se denota por: U.
Definicin 1.
Un conjunto se determina por extensin si y slo si se enumeran todos
los elementos que lo conforman. Un conjunto se define por comprensin
si y slo si se da la propiedad que caracteriza a sus elementos.
El conjunto cuyos elementos verifican la propiedad P se indica por:
A = {x U : P(x)}
o ms brevemente, si U est sobrentendido: A = {x : P(x)}.

31

y se lee: A es el conjunto formado por los elementos x tales que P(x).

P(x) es una funcin proposicional, y un objeto del universal pertenece al
conjunto si y slo si verifica la propiedad, es decir: x A P(x) es V.
A veces ocurre que ningn elemento de U posee la propiedad P. En este
caso, el conjunto {x U : P(x)} no posee elemento alguno. Esto es lo que
se llama un conjunto vaco. Para representarlo usamos el smbolo:
Por lo tanto, el conjunto es definido as: x, x .
Suele decirse tambin que el conjunto vaco es aquel para el cual la
proposicin x es siempre verdadera y x es siempre falsa.
Ejemplos.
1.- Determinar simblicamente y por extensin los siguientes conjuntos
definidos por comprensin.
a) A = { x Z : x2 = 1 }
Obviamente la determinacin por extensin es: A = { -1,1 }.
b) B es el conjunto de los nmeros naturales mayores que 2 y que no
superan a 6.
B = {x : 2 < x 6}
c) C es el conjunto de los nmeros reales cuyo cuadrado es igual a:
1.
Se tiene C = {x : x2 = -1}. Como el cuadrado de cualquier nmero real
es mayor o igual a cero, se tiene entonces que: C = .
2.- La determinacin de conjuntos por extensin no es posible en el caso
de infinitos elementos, y hay que limitarse a la definicin por comprensin.
La matemtica trabaja casi con exclusividad en este sentido, a travs de
propiedades.
Caracterizamos, simblicamente los siguientes conjuntos:
a) P es el conjunto de los nmeros enteros pares.
Por definicin, un entero es par si y slo si se identifica con el doble de
algn entero, es decir:

32

a es par k Z : a = 2k
Entonces P = {x Z: x = 2k, k Z}. Observamos claramente que P
consiste en el conjunto de los mltiplos de 2.
A veces acudiendo a un abuso de notacin, suele proponerse una
aparente determinacin por extensin de un conjunto infinito, con la
adjuncin de puntos suspensivos. As
P = {.................,- 4, - 2, 0, 2, 4,...............}
b) B es el conjunto de los nmeros naturales cuyo cuadrado es par.
B = {x : x2 es par} B = {x : x2 = 2k, k }
Cmo se determina la pertenencia de un elemento a B? De acuerdo con
la definicin de B, dado un nmero natural se analiza su cuadrado, si
dicho cuadrado es par, entonces el nmero pertenece a B.
c) C es el conjunto de los puntos del plano cuyas distancias a un punto
O son iguales a 1.
El conjunto universal es 2 los puntos del plano . Indicaremos la
distancia entre A y O como d(A,O), entonces:
C = {X : d(X,O) = 1}
sta corresponde a la definicin de circunferencia de centro O y radio 1.
d) D es el conjunto de puntos del plano que equidistan de dos puntos
fijos A y B.
D = {X : d(X,A) = d(X,B)}
D consiste en la mediatriz del segmento AB.

Inclusin de conjuntos
Sean A y B dos conjuntos, diremos que A est contenido o incluido en B,
o que A es un subconjunto de B, si cada elemento perteneciente al
conjunto A tambin pertenece a B. En tal caso escribiremos A B.
Definicin 2.
A B (x A x B)

33

Por ejemplo: { 0 } 0 Z Q
En repetidas ocasiones ser necesario demostrar que un conjunto es
parte de otro; entonces de acuerdo con la definicin, ser suficiente
demostrar que cualquier elemento del primero pertenece al segundo.

Diagramas de Venn
Existe una forma de representar grficamente los conjuntos en trminos
de diagramas, llamados de Venn. En este sentido, el conjunto universal
suele representarse por un rectngulo, y los conjuntos por recintos
cerrados. Es claro que todo elemento de A pertenece a U, es decir, A U.
Sean A, B y C subconjuntos de U, como indica el diagrama.
U
B

34

En este caso se verifica que A B.

Ejemplos.
1.- Sean U = y los conjuntos A = { x : x 6 }, B = { x : x 4 },
C = { x : x 2 }.
Queremos representar dichos conjuntos en un diagrama de Venn.
Recordemos que x y n : y = nx.
As la representacin por extensin de los conjuntos anteriores es de la
forma siguiente:
A = { 1, 2, 3, 6 }, B = { 1, 2, 4, 8 } y C = { 1, 2 }
y en trminos de diagrama de Venn

A
3
6

1 2
2
222
2
22
2

2.- Consideremos el conjunto U de todos los tringulos; si I denota el

conjunto de todos los tringulos issceles, E el de los equilteros y R el de
los rectngulos, se tiene:
I

35

Ya que todo tringulo equiltero tiene los tres lados iguales, en

consecuencia tiene dos iguales, es decir es issceles. Adems existen
tringulos issceles que son rectngulos, pero ningn tringulo equiltero
es rectngulo.

Igualdad de conjuntos
Diremos que dos conjuntos A y B son iguales si y slo si contienen
exactamente los mismos elementos. Entonces todo elemento del primer
conjunto pertenece al segundo, y todo elemento de ste pertenece al
primero.
Definicin 3.
A=B AB BA
Ejemplos.
1.- Los conjuntos de nmeros reales A = {x : x2 = x} y B = {x : x(x-1) =
0} son iguales, ya que:
x A x2 = x x2 x = 0 x(x-1) = 0 x B
El bicondicional se desdobla en las dos implicaciones que prueban la
doble inclusin, y en consecuencia la igualdad.
2.- Sean los conjuntos de nmeros enteros A = {x : x2 = 1}, B = {x : x =
1}, entonces:
x A x2 = 1 x 2 = 1 x = 1 x B
3.- Probar que el conjunto de los nmeros naturales impares es igual al
conjunto de los nmeros naturales cuyo cuadrado es impar.
Sean entonces A = {x : x es impar}, B = {x : x2 es impar},
demostraremos que A = B. En efecto,
( ) Probaremos que A B.
Sea x A x es impar x = 2k-1, k x2 = 4k2- 4k+1, k
As, entonces x2 = 2(k2- 2k) + 2 1 x2 = 2(2k2- 2k+1)-1 x2 = 2k1, k x2 es impar x B.
( ) Por demostrar que B A.

36

Consideremos x = x(x+1)-x2. Ahora bien:

xB x2 es impar x = x(x+1)-x2 es impar x es impar xA
En consecuencia A = B.

Algunas propiedades de la inclusin.

(1) Reflexividad.
Todo conjunto es parte de si mismo.
En efecto, si A es un conjunto, la implicacin
x : x A x A es V
En consecuencia, por definicin, tenemos A A.
(2) Transitividad.
Sean A, B y C conjuntos tales que: A B B C entonces A C.
En efecto, sea x A, pero por hiptesis
(x A x B) (x B x C) (x A x C) (ley
transitiva). Luego A C.
(3) Antisimetra.
Sean A B B A A = B
Esta es una consecuencia inmediata de la definicin de igualdad.

Caracterizacin del conjunto vaco.

Proposicin 1.
A : A
Dem.
Consideremos la siguiente proposicin: x : x x A.
Observamos que esta afirmacin es V por ser el antecesor F. En
consecuencia, por la definicin de inclusin, se tiene A.

37

Proposicin 2.
El conjunto vaco es nico.
Dem.
Supongamos que adems de , existe tambin vaco. Entonces por la
proposicin anterior, es verdadera la proposicin
, y por definicin de igualdad, resulta = .
Ejemplo.
Probar que si A A =
En efecto, sabemos que A y adems por hiptesis A A = .
Por otro lado, un conjunto B est estrictamente contenido en A, es decir
que exista al menos un elemento de A que no pertenece a B, se dir un
subconjunto propio:
B A (B A ) (B A)

38

Conjunto de partes.
Consideremos un conjunto A, a partir de la nocin de inclusin, podemos
formar un nuevo conjunto constituido por todos los subconjuntos de A, el
cual recibe el nombre de conjunto de partes de A.
Definicin 4.
Conjunto de partes de A, es el conjunto cuyos elementos son todos los
subconjuntos de A.
P(A) = { X / X A }
Es importante notar que P(A) es un conjunto cuyos elementos son
conjuntos: una coleccin de colecciones. De acuerdo a la definicin se
tiene que:
X P(A) X A
De acuerdo a la propiedad reflexiva de la inclusin, cualquiera sea A, se
tiene A A, y en consecuencia A P(A) por definicin de conjunto de
partes.
Adems por una de las proposiciones anteriores sabemos que A, y
por la misma definicin sealada anteriormente P(A).
Con esto hemos mostrado que y A P(A).
Ejemplos.
1.- Sea A = { 0, 1, 2 }, entonces
P(A) = { , { 0 }, { 1 }, { 2 }, { 0, 1 }, { 0, 2 }, { 1, 2 }, A }
2.- El conjunto de partes del vaco es el conjunto cuyo nico elemento es
el vaco, es decir: P() = { }.
3.- La pertenencia relaciona elemento a conjunto, mientras que la
inclusin relaciona conjuntos entre s. Desde este punto de vista, damos
los valores de verdad de las siguientes proposiciones relativas al conjunto
A del ejemplo 1.
A

39

 P(A)

P(A)

{ 1, 2 } P(A)

2 P(A)

{ 2 } P(A)

A P(A)

AA

AA

Observacin.
Supongamos A con n elementos, queremos ver cuntos elementos tiene
P(A). En el fondo se trata de contar el nmero de subconjuntos de A. Uno

de ellos es el conjunto , conjuntos unitarios hay n , conjuntos de 2

1



n elementos n . El nmero total de subconjuntos, es entonces:
n

elementos n y as sucesivamente hasta obtener el nico subconjunto de

2

1 2

1+ n + n +...............................+ n =
Recordemos que (a+b)n =

i 1

n
=

i 1 i
n

n n-i i
1 1 = (1+1)n = 2n

i 1 i
n

n-i i
a b (Teorema del binomio).
i

Complementacin de conjuntos
Sean A y B subconjuntos de U.
Definicin 5.
Llamamos complemento de A al conjunto formado por los elementos de U,
que no pertenecen a A.
El complemento de A se denotar por Ac, y suele usarse tambin A.

40

En smbolos Ac = { x U : x A } o bien Ac = { x : x A }. As tenemos:

x Ac x A
El diagrama de Venn correspondiente es:
U
Ac
A

41

La complementacin es una operacin unitaria, en el sentido de que a

partir de un conjunto se obtiene otro.
Es usual tambin obtener el complemento de un conjunto A respecto de
otro B, en cuyo caso la definicin es: CBA = { x B : x A }.
En particular se tienen los resultados siguientes.
(a) c = U
En efecto, sea x U x x c

U c

Adems como c U, se sigue c = U.

(b) Uc =
En efecto, Uc = { x : x U x U } =

Propiedades de la complementacin.
(1) (Ac)c = A
Sea x (Ac)c x Ac (x A) (x A) x A
(2) Si A B Bc Ac
En efecto, sea x Bc x B x A x Ac
Ejemplos.
1.- Si L es una recta en el plano , entonces su complemento es el par
de semiplanos opuestos abiertos, de contorno L.
2.- El complemento de los nmeros naturales pares es el conjunto de los
nmeros naturales impares, en .
3.- El complemento de Q en es el conjunto de los nmeros irracionales.

Interseccin de conjuntos.
Sean A y B subconjuntos de U.
Definicin 6.
Interseccin de dos conjuntos A y B es el conjunto formado por los
elementos que pertenecen a A y a B. En smbolos:
42

AB={xU:xA xB}
La interseccin entre conjuntos es una operacin binaria, porque a partir
de dos conjuntos se obtiene un tercero.
La propiedad que caracteriza a los elementos de la interseccin es la de
pertenecer simultneamente a los dos conjuntos, y se establece en
trminos de una conjuncin.
Ejemplos.
1.- Si L y L son dos rectas del plano, entonces su interseccin puede ser
vaca, o bien reducirse a un punto. En el primer caso son paralelas y en el
segundo se llaman incidentes.
2.- Sean dos rectas en el plano, dadas como en la figura.

C
S(AB, C) : semiplano de borde AB que pasa por C.

S(AC,B) : semiplano de borde AC que pasa por B.

Entonces S(AB, C) S(AC, B) es el ngulo convexo CAB.
3.- Consideremos tres puntos distintos A, B y C, en la recta L.
A
L

Las semirrectas: AB, AC y CB son subconjuntos de la recta L.

43

AC CB = AC, AC AB = AC = AB
4.- La interseccin entre el conjunto de los nmeros enteros pares y el
conjunto de los nmeros impares es vaca.
5.- En el conjunto de los nmeros enteros, la interseccin entre los
nmeros pares y los nmeros primos es el conjunto {- 2, 2 }.

Propiedades de la interseccin.
(1) Idempotencia: A A = A
En efecto, x A A x A x A x A
(2) Asociatividad : A (B C) = (A B) C
x A (B C) x A x (B C) x A (x B x C)
(x A x B) x C x (A B) x C x (A B) C
(3) Conmutatividad : A B = B A
La prueba es evidente.
(4) Elemento neutro para la interseccin.
La interseccin opera sobre los elementos de P(U), es decir, sobre
subconjuntos de U. Interesa determinar si existe un subconjunto de U
cuya interseccin con cualquier otro no lo altere, tal elemento de P(U) se
llama neutro para la interseccin, y en este caso es el mismo U, puesto
que: A P(U) : A U = U A = A.
Ejemplos.
1.- Prueba que A B A B = A
( ) Sabemos que A B y consideremos un elemento x U tal que x
A B. Ahora bien, como:
x A B x A x B x A, pues sabemos que pq p.
Luego A B A (*).
Sea ahora, x A x A x B x A B, de donde se tiene:

44

A A B (**)
De (*) y (**) obtenemos finalmente que A B = A
( ) Por hiptesis tenemos que se satisface A B = A.
Sea x A x A B x A x B x B, es decir A B.
2.- Sean A X B X A B X.
En efecto, sea x A B x A x B x X x X x X
3.- Sean A y B subconjuntos de U. Prueba que P(A B) = P(A) P(B)
En efecto, X P(A B) X A B X A X B X P(A)
X P(B) X P(A) P(B).

Unin de conjuntos.
Definicin 7.

Unin de dos conjuntos A y B es el conjunto formado por los elementos

que pertenecen a A o a B. En smbolos:
AB={xU:xA xB}
El o utilizado es incluyente, y pertenecen a la unin aquellos elementos
de U para los cuales es verdadera la disyuncin; entonces un elemento
pertenece a la unin si y slo si pertenece a alguno de los dos conjuntos.
El diagrama correspondiente es:
A
A

45

A la unin pertenecen todos los elementos de los conjuntos dados.

Adems es claro que A A B, puesto que es siempre verdadero que: p

p q.

Propiedades de la unin.
(1) Idempotencia : A A = A
En efecto, x A A x A x A x A
(2) Asociatividad : (A B) C = A (B C)
Sea x (A B) C x (A B) x C (x A x B) x C
x A (x B x C) x A x (B C) x A (B C)
(3) Conmutatividad : A B = B A
La prueba es evidente.
(4) Existencia de elemento neutro para la unin.
A U : A = A = A, y esta demostracin es obvia, desde
propiedades anteriores.
Ejemplos.
1.- Demostrar que A B A B = B
Este es un resultado muy similar a lo ocurrido con la interseccin, y la
demostracin es casi anloga.
( ) Sabemos que B A B. Por otro lado, sea:
xAB xA xB xB xB xB
pues p p p y A B. As, A B B, de donde A B = B.
( ) Supongamos que A B = B, pero sabemos que A A B, de
donde inmediatamente se sigue que A B.
2.- Demostrar que si X A X B X A B

46

En efecto, sea x X x A x B x A B.
3.- Muestra que, lo recproco de la afirmacin anterior no se verifica.
En efecto, consideremos la grfica siguiente:

XX

47

De donde observamos que X A B pero X A X B.

4.- Demostrar que P(A B) P(A) P(B)
En efecto, consideremos
X P(A) P(B) X P(A) x P(B) X A X B X A
B X P(A B)

Leyes distributivas.
La unin e interseccin de conjuntos pueden conectarse a travs de dos
propiedades fundamentales, llamadas leyes distributivas, que se expresan
mediante las frmulas:
(A B) C = (A B) (B C) y (A B) C = (A C) (B C)
Veamos la demostracin de una de ellas.
Sea, x (A B) C x (A B) x C (x A x B) x
C (x A x C) (x B x C) x (A C) x (B
C) x (A C) (B C)

Leyes de De Morgan.
Proposicin 3.
Sean A y B U. Entonces:
a) (A B)c = Ac Bc
b) (A B)c = Ac Bc
Dem.
a) Sea x (A B)c x (A B) [x (A B)] (x A
x B) x A x B x Ac x Bc x Ac Bc
b) La prueba es similar a la anterior.

48

Diferencia de conjuntos.
Definicin 8.
Diferencia entre dos conjuntos A y B es el conjunto formado por los
elementos de A y que no pertenecen a B. En smbolos
AB={xU:xA xB}
El diagrama correspondiente es:

A
B

Observamos que A B B A, es decir, la diferencia de conjuntos no es

conmutativa.
Una forma equivalente de escribir la diferencia entre conjuntos, se
relaciona con la interseccin de dichos conjuntos: A B = A Bc. La
prueba de ello es inmediata, siguiendo la definicin de diferencia de
conjuntos.
Ejemplo.
Demostrar que: A (B C) = (A B) (A C)
En efecto, A (B C) = A B Cc
El miembro derecho de la igualdad se puede transformar en:
(A B) (A C) = (A B) (A C)c = (A B) (Ac Cc) =
(A B Ac) (A B Cc) = (A B Cc) = A B Cc. Luego
A (B C) = (A B) (A C)

49

Definicin 9.
Llamamos diferencia simtrica de los conjuntos A y B a la unin de los
conjuntos A B y B A, es decir:
A B = (A B) (B A)
Otra forma equivalente de expresar la diferencia simtrica es:
A B = (A B) (A B)
Para probar esta relacin, partamos del lado izquierdo.
A B = (A B) (B A)
= (A Bc) (B Ac)
= [(A Bc) B] [(A Bc) Ac]
= (A B) (Bc B) (A Ac) (Bc Ac)
= (A B) U U (Ac Bc)
= (A B) (Ac Bc)
= (A B) (A B)c
= (A B) (A B)

Propiedades de la diferencia simtrica.

(1) Conmutatividad : A B = B A
La prueba es obvia desde la definicin.
(2) Existencia del elemento neutro.
En P(U) , el conjunto es neutro para la diferencia simtrica. En efecto
A = (A - ) ( - A) = A = A = A
(3) Existencia de inversos.
Nos interesa determinar, si dado un conjunto existe otro cuya diferencia
simtrica con l es el neutro. Afirmamos que todo conjunto A U, admite
como inverso al mismo A, respecto de la diferencia simtrica. En efecto:
50

A A = (A A) (A A) = =
(4) Asociatividad.
Cualesquiera sean A, B y C U se verifica:
(A B) C = A (B C)
En efecto:
(A B) C = [(A B) Cc] [(A B)c C]
= {[(A Bc) (Ac B)] Cc} {[(A B) (A B)c]c C}
= (A Bc Cc) (Ac B Cc) {[(A B)c (A B)] C}
= (A Bc Cc) (Ac B Cc) (Ac B Cc)
(Ac Bc C)
= (A B C) (A Bc Cc) (Ac B Cc)
(Ac Bc C)
Por otro lado
A (B C) = (B C) A
= (B C A) (B Cc Ac) (Bc C Ac)
(Bc Cc A)
= (A B C) (Ac B Cc) (Ac Bc C)
(A Bc Cc)
As finalmente comparando los dos ltimos resultados obtenemos:
(A B) C = A (B C)
Ejemplos.
1.- [1, ) (- , 3] = (3, ) (- , 1).
En efecto,

51

[1, ) (- , 3] = { [1, ) (- , 3] } { [1, ) (- , 3] }

= (- , ) [1, 3]
= - { [1, 3] }
Adems,
(3, ) (- , 1) = { (3, ) (- , 1) } { (3, ) (- , 1) }
= { (3, ) (- , 1) } -
= { (3, ) (- , 1) }
= - { [1, 3] }
2.- Demostrar la propiedad cancelativa de la diferencia simtrica:
AB=AC B=C
En efecto,
A B = A C A (A B) = A (A C)
(A A) B = (A A) C
B=C B=C
3.- Probar que: (A B) C = (A C) (B C)
En efecto,
(A B) C = [ (A Bc) (Ac B) ] C = (A Bc C) (Ac B C)
Adems,
(A C) (B C) = [ (A C) (B C)c ] [ (A C)c (B C)c ]
= [ (A C) (Bc Cc) ] [ (Ac Cc) (B C) ]
= (A C Bc) (A C Cc) (Ac B C)
(Cc B C)
= (A Bc C) (Ac B C)

52

= (A Bc C) (Ac B C)
As entonces tenemos finalmente: (A B) C = (A C) (B C)

Conjuntos finitos e infinitos

El conjunto A = { 0, 1, 2, 3, 4 } tiene 5 elementos y es finito, en cambio el
conjunto de los nmeros naturales es infinito. El conjunto de los
nmeros reales tambin es infinito y no es posible describirlo por
extensin.
Definicin 10.
Dado un conjunto finito (nmero finito de elementos) A, definimos el
cardinal de A como el nmero de elementos de A. Notacin: A o A,
tambin se usa card A.
Una propiedad comnmente usada y no trivial, es la siguiente:
A B = A + B - A B
Para la prueba de esta propiedad, consideremos los conjuntos.
A B = { c1,.............,cp }, A = { a1,...........,am,c1,..,cp } y
B = { b1,...,bn,c1,.,cp }; donde ai A ai B, bj B bj A
para i = 1,..........,m; j = 1,............,n. Tenemos entonces:
A B = { a1,.........,am,b1,...,bn,c1,.,cp } de donde
A B = m + n + p = (m + p) + (n + p) 2p + p = (m + p) + (n + p) p
As, entonces: A B = A + B - A B
Hacemos notar que si A B = (A y B disjuntos) entonces ocurre que:
A B = A + B
Para el caso infinito la nocin de cardinalidad se complica, ya que hay
infinitos de distinta naturaleza. Es claro que tiene mselementos
que , pero no es nada claro que , en algn sentido, los elementos de y
Z puedan asociarse uno a uno.

53

Producto Cartesiano
Par ordenado.
Dados dos elementos a y b nos interesa formar un conjunto que dependa
de dichos elementos y del orden en que se consideran.
Definicin 11.
Par ordenado (a,b) es el conjunto cuyos elementos son { a } y { a, b }.
(a,b) = { { a }, { a, b } }
a y b son la primera y segunda componentes del par ordenado.
En particular se tiene: (a,a) = { { a, a } }.
Si a b entonces (a,b) (b,a). Adems es fcil probar que:
(a,b) = (c,d) a = c b = d
Definicin 12.
Producto cartesiano de los conjuntos A y B es el conjunto cuyos
elementos son todos los pares ordenados, cuya primera componente
pertenece a A y la segunda a B.
A x B = { (a,b) : a A b B }
En particular A x A = A2 = { (a,b) : a, b A }
Algunos productos usuales son x = 2 = { (x,y) : x, y },
correspondientes a los puntos del plano. Z2 = Z x Z = { (x,y) : x, y Z }
correspondientes a los puntos del plano con coordenadas enteras. 3 =
x x correspondientes a los puntos del espacio tridimensional, Z3 = Z x
Z x Z, los puntos de coordenadas enteras en tres dimensiones y { 0,1 }3 el
cubo tridimensional.
Ejemplos.
1.- Sean A = { 0, 1, 2 } y B = { 1, 2 }, entonces
A x B = { (0,1), (0,2), (1,1), (1,2), (2,1), (2,2) }. Como son pares ordenados
podemos representarlos como puntos del plano, cuya abscisa y ordenada
son respectivamente, la primera y segunda componente.
54

AxB

Los puntos sealados son los elementos del producto cartesiano.

2.- Consideremos los subconjuntos de : A = { x : x < 1 }, B = .
Entonces A x B = { (x,y) : - 1 < x < 1, y } y que grficamente
corresponde a la franja que se seala.

AxB

-1

3.- Prueba la propiedad distributiva del producto cartesiano respecto a la

unin.
(A B) x C = (A x B) (B x C)
En efecto, sean
(x,y) (A B) x C x (A B) y C
55

 (x A x B) y C
(x A y C) (x B y C)
(x,y) A x C (x,y) B x C
(x,y) (A x C) (B x C)
El producto cartesiano de tres conjuntos se define por
A x B x C = (A x B) x C
En el caso finito, para conjuntos A y B, tenemos que el nmero de pares
ordenados es igual al rea del rectngulo as formado.
En general para dos conjuntos de cardinalidad finita: A x B = AB
En efecto, sean A = { a1,..........,an }, B = { b1,...........,bm }, es decir A = n
y B = m. Se tiene entonces la tabla siguiente de todos los pares
ordenados de A x B.
(a1,b1),....................................,(a1,bm)
(a2,b2),....................................,(a2,bm)
.
.
.
.
.
(an,b1),....................................,(an,bm)
Tenemos n filas y m columnas, por lo tanto hay mn pares ordenados.
En general utilizando induccin se puede demostrar que dados los
conjuntos A1,...............,An de cardinalidad finita:
A1x.....................xAn =

Ai

(tarea, hacerlo)

i 1

La nocin de producto cartesiano es til para contar objetos.

56

Ejemplo.
Si las patentes de automviles se componen de dos letras y tres dgitos.
Cuntas patentes distintas pueden formarse de manera que las letras
ocupen las dos primeras posiciones y los dgitos las tres ltimas?
Los conjuntos de letras y dgitos son los siguientes: L = { a, b,...........,z },
D = { 0, 1,.............,9 }. Claramente, una patente de automviles
corresponde a una quntupla o 5-upla de la forma:
L x L x D x D x D = L2 x D 3
y el nmero de patentes distintas es el cardinal del producto cartesiano.
(patentes) = L2 x D3 = 262 103 = 676.000
En el caso de que los dgitos ocupen cualquier posicin, el nmero sera
C52 L2 x D3 = 10 676.000 = 6.760.000
C52 : indica la combinacin de 5 elementos tomados de a 2, y que da
como resultado: 5! / 3! 2! = 10.
Proposicin 4.
Sean E1,..............,En conjuntos cualesquiera. Para cada ndice i (1 i n)
sean Ai y Bi Ei. Entonces son vlidas las siguientes propiedades:
(i)

A1 xxAn = i, 1 I n : Ai =

(ii)

Si A1 xxAn , entonces

A1xxAn B1x..................xBn A1 B1,.....,An Bn

(iii)

(A1x...xAn)(B1x.xBn) = (A1B1)x............x(AnBn)

Dem.
(i)

( ) Usemos la contrarecproca y supongamos que:

i, 1 i n, Ai . Luego n; x1 A1,.........xn An. De esta forma

x = (x1,.........,xn) A1x.............xAn, es decir, A1xxAn .
Luego, A1xxAn = I, 1 i n : Ai =

57

( ) Supongamos que A1xxAn x = (x1,........,xn) A1x........An

tal que xi Ai, 1 I n. Luego I : xi Ai y as entonces i, Ai .
(ii)

( ) Supongamos x A1xxAn x = (x1,........,xn) tal que xi

Ai, 1 i n. Pero x B1x.........xBn, es decir, xi Bi, 1 i n.
De donde Ai Bi, 1 i n.

( ) Trivial.
(iii) Sea x = (x1,........,xn) : x (A1x.........xAn) (B1x............Bn). Luego
x (A1x..........xAn) x (B1x.xBn).
As, i: 1 i n valen las relaciones xi Ai, xi Bi, de donde xi Ai Bi.
En consecuencia x (A1B1)x...........x(AnBn), de donde finalmente:
(A1x...xAn)(B1x.xBn) (A1B1)x............x(AnBn)
En el otro sentido la demostracin se sigue en forma similar.

58

Operaciones generalizadas.
Sean { A1, A2,................., An } un conjunto finito de conjuntos, en este
caso podemos formar la unin e interseccin de dicha familia, es decir
A1A2....................An =

y A1 A2 ....................An =

(x Ai)(1 i n)

Si la familia de conjuntos es infinita, los subndices se toman desde n = 1

a infinito ( ).
Si consideramos In = { 1,2,3,..........,n}, entonces escribimos:
n

A = A

iI n

iI n

In es un intervalo natural inicial, conjunto de los n primeros nmeros

naturales y se llama conjunto de ndices.
Si el conjunto de ndices I se identifica con , es decir, I = {1,2,3,......,n,....}
entonces la familia de conjuntos {A1,..........,An,.........} se llama sucesin de
conjuntos y al notacin respectiva es:

Ai
iI

Ai
i 1

Ai =

iI

i 1

59

Tambin puede abreviarse la notacin de una familia de conjuntos, como:

{A1,..........,An,...........} = { Ai }iI
Definicin 13.
a) Unin de la familia { Ai }iI es el conjunto

= { x : i I x Ai }

iI

b) Interseccin de la familia { Ai }iI es el conjunto

= { x : x Ai, i }

iI

Para las uniones e intersecciones generalizadas subsisten las

propiedades del caso binario. En particular las leyes de De Morgan son:
( Ai )c =
iI

c
i

iI

, ( Ai )c =
iI

c
i

iI

Ejemplos.

1.-

[i 1, i) = [0,1) U [1,2) U [2,3)U.........= + { 0 } = [0, )

i 1

2.-

(1 / i,1 / i)

= (- 1,1) (- ,1/2) .............= { 0 }

i 1

3.-

(0,1 / i)

= (0,1) (0,1/2) (0,1/3) ..........=

i 1

Definicin 14.
Dado un conjunto A, diremos que la familia { Ai }iI es una particin de A
si y slo si se verifica:
a) (Ai )(i I)

60

b) A =

iI

c) (i, j I)(i j Ai Aj = )
Por ejemplo, si A = , una particin estara formada por los conjuntos de
nmeros pares e impares: A1 = {0, 2, 4,...........} y A2 = {1, 3, 5,..............}

Cuantificadores lgicos.
En algunas de las demostraciones anteriores aparecen frases como la
siguiente: existe algn x en A tal que...... o bien para todo x en A.......
Para formalizar esto notaremos:
Existe algn elemento x en el conjunto A x A
Para todo x en el conjunto A x A
En el primer caso, la existencia de algn elemento x en A no implica que
ste sea nico. En algunas situaciones es conveniente resaltar su
unicidad.
existe un nico elemento x en A x A
Tomemos una proposicin p(x) donde x es un elemento de un conjunto
universo U. Diremos que U es el dominio de esta proposicin.
Claramente p(x) puede ser verdadera o falsa, de acuerdo al elemento
particular de U en que sea evaluada. Por ejemplo, dada la proposicin
p(x) : x2 1 = 0 en , p(1) es verdadera y p(-1) es falsa.
Formalmente, definimos los cuantificadores lgicos, sobre proposiciones
como sigue: dada una proposicin p, con dominio U, le asociamos el
subconjunto de U donde p es verdadera:
A = { x U : p(x) }
Se definen entonces las proposiciones:
(x U)p(x) A = U

(1)

(x U)p(x) A

(2)

(x U)p(x) (A = { u })(u U)

(3)

61

La equivalencia (1) dice que la proposicin (x U)p(x) es verdadera si y

slo si el conjunto de valores donde p es verdadera coincide con el
dominio U. Anlogamente, la proposicin (x U)p(x) es verdadera si y
slo si el conjunto de valores donde p es verdadera es no vaco.
Obviamente las proposiciones (1), (2) y (3) pueden ser verdaderas o
falsas, de acuerdo a las caractersticas del conjunto A.
Ejemplos.
1.- Consideremos el universo U = y la proposicin p(n) : n es par. As
A = { p : p = 2n, n }, es el conjunto de los nmeros pares. Luego
de acuerdo, a (1), (2) y (3), tenemos:
(n )p(n) F
(n )p(n) V
(n )p(n) F
2.- Consideremos las afirmaciones.
a) (x )(x es divisible por 2)

b) (x )(x es divisible por 2)

c) (x )(x2 + x = 0)

d) (x )(x2 + x = 0)

e) (x )(x2 + x = 0)

f) (x Z)(x2 + x3 = 0)

Negacin de cuantificadores.
Dada una proposicin p con dominio U, las negaciones de (x U)p(x) y
(x U)p(x) son las siguientes:
(x:p(x)) (x: p(x))

(1)

(x:p(x)) (x:p(x))

(2)

(!x: p(x)) (x:p(x)) v (x, y: p(x) p(y), x y)

(3)

62

Demostremos la primera de estas equivalencias.

Sabemos que, (x U)p(x) A = U, luego:
[(x U)p(x)] (A = U) A U)
Ahora, como A U, se tiene:
[(x U)p(x)] (x)(x U x A)
(x A)
(x U)[p(x)]

Proposiciones con dos cuantificadores.

Sea R A x B, con grfico G. Definimos las siguientes proposiciones.
P1(x) : (y B) R(x,y)
P2(x) : (y B) R(x,y)
Q1(y) : (x A) R(x,y)
Q2(y) : (x A) R(x,y)
Ejemplos.
1.-

B
G

y0

x0

P2(x0) es verdadera; P1(x0), Q1(y0) y Q2(y0) son falsas.

2.-

y0
G
63

y0

64

P1(x0), P2(x0), Q1(y0) y Q2(y0) son verdaderas.

3.- Sea R : x < y en x + .
P1(- 1) y P2(- 1) son verdaderas, y P1(2) es falsa.
La proposicin (x A) P1(x) equivale a (x A) [(y B) R(x,y) ] o bien
(x A)(y B) R(x,y) o (x)(y) R(x,y).
Quedan as definidas las proposiciones siguientes:
(i)

(x A)(y B) R(x,y)

(ii)

(y B)(x A) R(x,y)

(iii)

(x A)(y B) R(x,y)

(iv)

(y B)(x A) R(x,y)

(v)

(x A)(y B) R(x,y)

(vi)

(x A)(y B) R(x,y)

(vii)

(y B)( x A) R(x,y)

(viii) (y B)(x A) R(x,y)

Hacemos notar que son equivalentes: (i) y (ii), (vi) y (vii). Ms an estas
equivalencias pueden escribirse como:
((x,y) A x B) R(x,y) y ((x,y) A x B) R(x,y)
Las otras no son equivalentes, sealando que el orden de los
cuantificadores es importante.
Veamos algunos ejemplos para representar estos hechos.
Ejemplos.
1.- (y )(x )(x y) : F
2.- (x )(y )(x y) : V
3.- (x )(y )(x + y = x) : F
65

4.- (y )(x )(x + y = x) : V

5.- (x )(y )(x + y = 0) : V
6.- (y )(x )(y x) : V
En cuanto a la negacin de las proposiciones sealadas en (i) a (viii), se
procede de la forma siguiente:
Se reemplazan los por los , y los por ; y R(x,y) por R(x,y).

66

Relaciones
Sean A y B dos conjuntos y P(x,y) una propiedad relativa a los elementos
x A e y B, en ese orden. Esto sugiere obviamente la consideracin
del producto cartesiano AxB, y la determinacin de los pares ordenados
(a,b) para los cuales P(a,b) es una proposicin verdadera.
Definicin 1.
Dados dos conjuntos arbitrarios A y B no vacos, una relacin binaria R
es todo subconjunto de pares ordenados R AxB.
Si (a,b) R diremos que a est relacionado con b y notaremos a R b.
a R b (a,b) R a est relacionado con b
Consideremos una relacin R entre los conjuntos A y B.
Definicin 2.
Dominio de R es el subconjunto de A siguiente:
Dom R = DR = {a A : (a,b) R}
Definicin 3.
Recorrido de R es el conjunto de los elementos que admiten un
antecedente en A.
Rec R = {b B : (a,b) R}
Definicin 4.
Relacin inversa de R es el subconjunto de BxA definido por:
R-1 = {(b,a) : (a,b) R}
Ejemplo.
Sea la relacin R AxB, donde A = {1,2,3}, B = {1,4,5}, definida por:
aRb a+b5

67

Entonces observamos que R = {(1,1), (1,4), (2,1), (3,1)} y Dom R =

{1,2,3}, Rec R = {1,4}

Representaciones de una relacin.

Sea R una relacin entre A y B, es decir, R AxB. Para el caso de
conjuntos finitos es usual los tipos de representacin que comentaremos a
travs del ejemplo que se seala. Sean A = {a, b, c}, B = {1, 2, 3, 4} y R
= {(a,1), (a,3), (b,3), (c,2), (c,4)}.
a) Mediante diagramas de Venn.
A

1
2
3
4

b
c

b) Mediante un grfico cartesiano, en donde

se consideran como
6
abscisas los elementos del primer conjunto, y como ordenadas los del
segundo. Mediante paralelas a los ejes trazadas por los puntos de
divisin se forma un cuadriculado cuyos vrtices son los elementos
del producto cartesiano AxB, y de estos se sealan los que
pertenecen a R.

68

c) Representacin mediante un grafo

Definimos un conjunto de puntos etiquetados con los elementos de A y B
de manera que existe una flecha de a hacia b si y slo si (a,b) R, es
decir, a R b a b.
Con relacin al ejemplo anterior, tenemos:
a

d) Representacin Matricial.
Definimos una matriz A de m filas y n columnas como un arreglo
rectangular de mn nmeros reales:
a11

a 21
.
A=
.
.

a
m1

a12
.
.
.
.
am2

. . . a1n

. . . a2n
. . . .
.
. . . .
. . . .
. . . a mn

Donde aij , 1 i m, 1 j n. El elemento aij es el que aparece en la

posicin (i,j) del rectngulo (interseccin de la fila i y la columna j).
Dadas dos matrices A = (aij), B = (bij) definimos su igualdad como:
A = B tiene el mismo orden y aij = bij (i,j).
Para representar en forma matricial una relacin, nos limitamos a elegir
los elementos de la matriz en el conjunto {0,1}. Sobre una columna se
anotan los elementos de A, y sobre una fila los de B. Se asigna a cada
elemento del producto cartesiano AxB un 1 un 0, segn si el par
ordenado correspondiente pertenece o no a la relacin.

69

Designamos por m(R) a la matriz asociada a la relacin R y se tiene:

mab = 1 (a,b) R
donde mab es el elemento de la fila asociada a a y la columna asociada a
b de la matriz m(R).
La representacin cartesiana de una relacin es la ms clsica y
suficientemente clara como para no insistir en su formalizacin. No sucede
lo mismo con las otras dos, por lo cual las definiremos de manera ms
formal.
Sean A = {a1,,am}, B = {b1,...............,bn} conjuntos finitos y sea R
definida por R AxB.
El grafo, G(R) asociado a la relacin est definido por: G(R) = { U, V },
donde U es el conjunto de nodos o vrtices nombrados como
U = { a1,,am,b1,...............,bn }
y V es el conjunto de arcos tales que:
(el arco a b, desde a hasta b, est en el grafo) (a,b) R
a1

b1

.........

ai

.............................................................. an

................................................ bj

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

bn

arco de ai hasta bj ai R bj

70

La matriz asociada a R, m(R) est definida por:

m(R ) = (mij) es 1 si (ai,bj) R y es 0 si (ai,bj) R
Ejemplo.
Sean E = A = B = { 1,2,3,4 }, tal que: (a,b) R a + b > 4
Grafo asociado:
1

71

Matriz asociada:

m(R) =

0
0

0 0 1

0 1 1
1 1 1

1 1 1

Vemos que R = {(1,4),(2,3),(2,4),(3,2),(3,3),(3,4),(4,1),(4,2),(4,3),(4,4)}

La propiedad siguiente relaciona la representacin grfica y matricial.
R1 = R2 G(R1) = G(R2) m(R1) = m(R2)
En efecto, si m(R1) = A y m(R2) = B, se tiene:
ai R1 bj ai R2 bj aij = 1 bij = 1
de donde A = B, es decir m(R1) = m(R2).

Composicin de relaciones.
Definicin 5.
A partir de las relaciones R AxB y S BxC es posible definir una
relacin entre A y C, llamada composicin entre R y S, de la forma
siguiente.
S o R = {(x,z) : y B, (x,y) R (y,z) S}
Ejemplo.
Sean R = {(x,y) 2 / y = 2x}, S = {(x,y) 2 / z = y3}. Hallar S o R y R
o S.
S o R = {(x,z) / y , (x,y) R (y,z) S}
= {(x,z) / y = 2x, z = y3}
= {(x,z) / z = 8x3}
R o S = {(x,z) / y , (x,y) S (y,z) R}
= {(x,z) / y = x3, z = 2y}
= { (x,z) / z = 2x3 }

72

Adems observamos que R o S S o R

La composicin de relaciones admite las siguientes propiedades:
a) Asociatividad.
(R o S) o T = R o (S o T)
b) (S o R)-1 = R-1 o S-1
En efecto, para probar b), sea (z,x) (S o R)-1 (x,z) S o R y B,
(x,y) R (y,z) S (z,y) S-1 (y,x) R-1 (z,x) R-1 o S-1

Relaciones definidas en un conjunto.

Sea R una relacin definida entre A y B, donde A = B. En este caso la
relacin est definida en A, y se identifica con un subconjunto de A2 =
AxA.
Definicin 6.
R es una relacin definida en A ssi R A2.
Como todo subconjunto de A2 es un elemento de las partes de A2,
podemos decir:
R es una relacin definida en A ssi R P(A2)
Hacemos notar, que es claro, que el conjunto vaco y el mismo A2 son
relaciones definidas en todo conjunto A, ya que son subconjuntos de A2.
Si A tiene n elementos, entonces A2 tiene n2 elementos, y el conjunto de
partes de A2 tiene 2 elevado a n2 elementos, es decir, existen 2 elevado a
n2 subconjuntos de A2, o lo que es lo mismo relaciones en A.
Por ejemplo, si A = {a, b}, entonces es posible formar 24 = 16 relaciones
en A.

Posibles propiedades de relaciones definidas en un

conjunto.
Sea R una relacin definida en A, es decir, R A2. Dicha relacin puede
clasificarse de acuerdo con las siguientes propiedades.
1.- Reflexividad.

73

R es reflexiva x : x A (x,x) R
2.- Simetra.
R simtrica x,y A : (x,y) R (y,x) R
3.- Transitividad.
R transitiva x,y,z A : (x,y) R (y,z) R (x,z) R
4.- Antisimetra.
R antisimtrica x,y A : (x,y) R (y,x) R x = y
Ejemplos.
Sean las relaciones:
R1 = {(x,y) 2 : x y }
R2 = {(x,y) 2/ x y }
R3 = {

/x+y=8}

R4 = {

/ mcd (x,y) = 1 }

Veamos que propiedades satisfacen.

Reflejas:
R1 y R2 son reflejas, mientras que R3 no es refleja, puesto que por ejemplo
1 + 1 y as entonces (1,1) R1. Por otro lado, mcd (2,2) = 2 1, de
donde (2,2) y as R4 tampoco puede ser refleja.
Simtricas:
R3 y R4 son simtricas; pero R1 y R2 no lo son, puesto que, por ejemplo
2 3, pero 3 > 2, es decir, (2,3) R1, pero (3,2) R1. Anlogamente para
R2, tenemos que (2,4) R2, pero (4,2) R2.
Transitivas:
R1 y R2 son transitivas, pero R3 y R4 no lo son. En efecto, en relacin a R3,
tenemos que por ejemplo (3,5) R3 (5,3) R3, pero (3,3) R3. Con
respecto a R4, observamos que mcd (3,4) = 1 (es decir (3,4) R4), y mcd
(4,3) = 1 (es decir (4,3) R4), pero mcd (3,3) 1 (es decir, (3,3) R4).
74

Antisimtricas:
R1, R2 y R3 son antisimtricas, pero R4 no lo es, puesto que (2,3) R4 y
(3,2) R4, pero 2 3.
Ejemplos.
1.- En considera la relacin R definida por:
(x,y) R x y Z
Queremos clasificar y representar R.
Reflexividad.
x x x = 0 Z (x,x) R
Simetra.
(x,y) R x y Z y x Z (y,x) R
Transitividad.
(x,y) R (y,z) R x y Z y z Z (x y) + (y z) R
x z Z (x,z) R
R no es antisimtrica.
(3,2) R (2,3) R 2 = 3 es F
La representacin grfica de esta relacin es la siguiente:
Sabemos que (x,y) R x y Z k Z : y x = k o bien y = x +
k. Tenemos as una familia de rectas paralelas. La relacin consiste
entonces en todos los pares (x,y) 2 pertenencientes a la familia de
rectas, es decir:
R = {(x,y) 2 / y = x + k }
kZ

Definicin 7.
La relacin R A2 es de equivalencia en A si y slo si es reflexiva,
simtrica y transitiva.

75

Por razones de simplificacin se utiliza el smbolo , y los elementos de

todo par perteneciente a la relacin se llaman equivalentes.
La notacin a b se lee a es equivalente a b y significa que el par (a,b)
pertenece a la relacin.
Ejemplo.
En A = { 1, 2, 3 }, se define la relacin R = {(1,1), (2,2), (3,3), (1,3), (3,1)}.
Observamos que ella es de equivalencia.
1 1, 2 2, 3 3, 1 3 y 3 1
Sea una relacin de equivalencia en A . Queremos determinar
todos los elementos de A, que son equivalentes a uno dado, es decir, que
forman pareja con l. La respuesta conduce en cada caso a un
subconjunto de A, llamado clase de equivalencia del elemento.
Definicin 8.
Clase de equivalencia del elemento a A es el conjunto de todos los
elementos de A equivalentes a a.
C(a) = [ a ] = Ca = {x A : x a}
Si consideramos el ejemplo anterior, C1 = {1, 3} = C3 , C2 = { 2 }.
Definicin 9.
Al conjunto formado por las clases de equivalencia, se llama conjunto
cociente de A por la relacin de equivalencia.
En relacin al ejemplo anterior, la notacin respectiva es:
A / = {C1, C2}
O bien mediante un conjunto de ndices
A / = {Ci / i I}
Las clases de equivalencia constituyen una particin de A, en el sentido
siguiente: son no vacas, disjuntas de a pares y su unin es A.

76

Ejercicio.
Sea U = M22({ 0,1 }) el conjunto de las matrices de orden 2 con elementos
en el conjunto { 0,1 }. Sean adems las matrices:
1 0
, I* =
0 1

I =

0 1

dos matrices de ese conjunto.

1 0

Definimos la relacin: A B P { I, I*} : A = PB

Queremos mostrar que es una relacin de equivalencia. En efecto.
Refleja: Basta tomar P = I, puesto que:
1 0 a11

0 1 a 21

IA =

a12
a
= 11
a 22
a 21

a12
=A
a 22

Simtrica: A B A = PB
Primer caso: P = I A = IB = B B = IA luego B A.
0 1
B, pero si multiplicamos la
1 0

Segundo caso: P = I*, es decir, A =

ecuacin por I*: A = I*B I*A = I* (I*B) = (I*I*)B, pero vemos que
I*I* = I, de donde: I*A= IB = B o B = I*A B A
Transitiva: A B B C A = PB B = QC; P, Q {I, I*}.
Luego, A = P(QC) = (PQ)C, pero el producto QC tiene las posibilidades
siguientes: PQ = II, II*, I*I, I*I*. As tenemos entonces que:
A = IC A C
A = (II*)C = I*C A C
A = (I*I)C = I*C A C
A = (I*I*)C = IC = C A C
Hemos verificado as que es una relacin de equivalencia.
Podramos haber visto esto de otra manera ms directa, observando que
lo que hacen I e I* al premultiplicar una matriz.

77

1.- Si P = I, entonces A = IB = B
0 1 b11 b12 b21 b22
=

1 0 b21 b22 b11 b12

2.- Si P = I* : A =

En este caso se intercambian las filas de B.

De 1) y 2) podemos concluir que:
A B A = B (A corresponde a la matriz B con sus filas
intercambiadas)
Veamos en este ejemplo, como podemos clasificar las matrices segn la
relacin de equivalencia . Observamos que hay 16 matrices de orden 2
con 0s y 1s:
0 0
0 0
0 0
0 0
0 1
0 1
, A1 =
, A2 =
, A3 =
, A4 =
, A5 =

0 0
0 1
1 0
1 1
0 0
0 1

A0 =

0 1
, A7 =
1 0

A6 =

0 1
1 0
1 0

, A8 =
, A9 =
, A10 =
1 1
0 0
0 1

1 0
, A12 =
1 1

A11 =

1 1
1 1

, A13 =
, A14 =
0 0
0 1

1 0

1 0

1 1

, A15 =
1 0

1 1

1 1

Claramente A0 est en una clase, y pasa lo mismo con A5, A10 y A15.
Notaremos como C(X) el conjunto de todas las matrices relacionadas con
a matriz X. Luego
C(A0) = {A0}, C(A1) = {A1,A4}, C(A2) = {A2,A8}, C(A3) = {A3,A12}, C(A5) =
{A5}, C(A6) = {A6,A9}, C(A7) = {A7,A13}, C(A10) = {A10}, C(A11) = {A11,A14},
C(A12) = {A12, A13}, C(A15) = {A15}.
M2({ 0,1 }) / = { C(A0), C(A1), C(A2), C(A3), C(A5), C(A6), C(A7), C(A10),
C(A11), C(A15) }.
Proposicin 1.
Sea una relacin de equivalencia definida en A , entonces {
Cx}xA forma una particin de A.
Dem.

78

a) Cx , pues como x x x Cx x A.
Por otro lado, como I A : u I u A Cu
b) x y Cx = Cy
( ) Supongamos z Cx z x x y z y z Cy
As Cx Cy y anlogamente se prueba que Cy Cx, de donde Cx = Cy
( ) Sabemos que x Cx = Cy x y.
c) Si Cx Cy Cx Cy =
Supongamos que z Cx Cy z x z y x z z y x
y, es decir, Cx = Cy
Cx = C y
d) Cualquiera sea x A, x Cx. Luego tenemos { x } Cx A, x A.
As, A =

{x} C
x A

x A

A, es decir, A

A, de donde A =

x A

x A

As pues, toda relacin de equivalencia definida sobre un conjunto

determina una particin de este conjunto, siendo los subconjuntos de esta
particin las clases de equivalencia.
Proposicin 2.
Toda particin P = {Ci}iI de un conjunto A, define una relacin de
equivalencia.
Dem.
Dados x,y A, definamos la siguiente relacin:
x y si i I : x,y Ci
Dado x A, j I : x Cj, puesto que siendo P una particin de A, todo
elemento de A pertenece a un subconjunto de la particin; luego x, x Cj
x x.
Si x y y z k, m I : x, y Ck y y, z Cm.
Luego, y Ck Cm Ck Cm Ck = Cm . As x, z Ck x z
79

Ejemplo.
Consideremos en A = { 1,2,3 } la siguiente particin { { 1,2 }, { 3 } }.
La relacin de equivalencia correspondiente es entonces:
{ (1,1), (2,2), (3,3), (1,2), (2,1) }
Una relacin de equivalencia muy importante es la de los enteros mdulo
n, que estudiaremos a continuacin.

Clases de congruencia mdulo n.

Sea n , U = Z. Definamos la relacin en Z:
x y k Z : x y = kn
lo cual es equivalente a decir, que la diferencia es divisible por n. Veamos
que esta relacin es de equivalencia. En efecto:
a) Refleja: x x = 0n x x
b) Simtrica: x y x y = kn y x = (- k)n y x
c) Transitiva: x y y z x y = kn y z = kn x z =
(x y) + (y z) = (k + k)n x z
Utilizaremos como notacin de x y la siguiente: x y (mod n). Veamos
cul es el conjunto cociente Z / que denotaremos por Zn.
Analicemos primero el caso particular n = 2 y veamos que significa:
x y (mod 2) x y = 2k
es decir, la diferencia entre x e y es par. Determinemos las clases.
[ 0 ] = { x : x 0 } = { x : x = 2k, k Z } = {............,- 4,- 2, 0, 2, 4,............}
[ 1 ] = { x : x 1 } = { x : x = 2k+1, k Z } = {...........,- 3,- 1, 1, 3,.............}
Obtenemos as Z = [ 0 ] [ 1 ] , [ 0 ] [ 1 ] = .
Veamos en general, las clases para n , n > 0.
[ 0 ] = { x : x = nk, k Z } = {,- 2n,- n, 0, n, 2n,..............}

80

[ 1 ] = { x : x = nk+1, k Z } = {.......,- 2n+1,- n+1, n, n+1, 2n+1,.........}

.
.
.
.
.
.
.
[ n-1 ] = {x : x = np+(n-1), k Z } = {.............,- n-1,- 1, n-1,2n-1,........}
Cuando s n, las clases se repiten.
Sea s n s = qn+r, 0 r < n, luego
[ s ] = {x : x s = nk, k Z }
= {x : x = nk+s, k Z }
= {x : x = nk+ qn+r, k Z }
= {x : x = (k+q)n+r = nk+r, k Z }
=[r]
n 1

Luego, Z =

[i]

y el conjunto cociente es Zn = {[0],[1],.............,[n-1]}.

i 0

Volvamos al caso particular, de las clases de resto mdulo 2, es decir,

Z2 = { 0, 1 }
Donde la clase del 0 corresponde al conjunto de enteros que divididos por
2 da resto cero; a la clase del 1 corresponden los enteros que divididos
por 2 dan resto 1. La particin de Z es:

81

C0

........,-2,0,2,4,..............

..........,-1,1,3,5,..........
C1

Para la representacin cartesiana de la relacin, tenemos

2 x y k Z : x y = 2k o y = x 2k

k=-1

k=0

k=1

Conjunto discreto de puntos: R =

{( x, y) Z

/ y x 2k }

kZ

Relaciones de orden.
Es usual en matemtica y en la vida cotidiana ordenar los elementos de
un conjunto de acuerdo con algn criterio conveniente. El orden queda
especificado a travs del trmino preceder, y decir
x precede a y significa (x,y) R

82

Definicin 10.
Sea A un conjunto y R una relacin en A. Diremos que R es una relacin
de orden, si es a la vez refleja, antisimtrica y transitiva.
Llamamos conjunto ordenado a un par (A, R) donde A es un conjunto y R
una relacin de orden en A.
Ejemplos.
1.- Para un conjunto A, la relacin en P(A) definida por:
X R Y X Y, es una relacin de orden.
2.- Si A = , la relacin: x R y x y, es una relacin de orden.
3.- La relacin x R y x y en , es una relacin de orden.
Definicin 11.
Sea R una relacin de orden en A.
a) R es de orden parcial si y slo si existen elementos
incomparables, es decir,
x, y : (x,y) R (y,x) R
Ejemplos.
1.- Consideremos en la relacin definida por: x R y x y, es una
relacin de orden parcial. En efecto, ya sabemos que R es una relacin de
orden. Pero, adems existen pares de naturales que no son comparables
por la relacin R. Un ejemplo est dado por los pares 2 y 3, ya que 2 no
divide a 3, y 3 no divide a 2.
Si consideramos la relacin divide en Z, no se tiene un orden, pues la
antisimetra no se verifica. En efecto, 3 - 3 - 3 3, pero 3 - 3
2.- En P(E) el conjunto de partes de E, ordenado por la relacin ,
tenemos que: X, Y P(E) : X Y Y X

83

As (P(E), ) es un conjunto parcialmente ordenado.

b) R es un orden total, en el caso contrario, es decir,
x,y A : (x,y) R (y,x) R
Ejemplos.
1.- La relacin en es totalmente ordenado o es un orden total.
A = { 4, 3, 15 }, B = { 2, 4, 8, 16 }, C = { 5 }. Consideramos la relacin
definida por: x y en .
A no es totalmente ordenado, pues 3 no divide a 4.
B es totalmente ordenado.
C es totalmente ordenado, pues cualquier conjunto con un solo elemento
es totalmente ordenado, debe compararse el elemento consigo mismo.
3.- Sea A = { 1, 2, 3 } y la relacin R = { (1,1),(2,2),(3,3),(1,2),(1,3),(2,3) }
que es un orden total.

El signo preceder.
Si R es una relacin de orden definida en A y dos elementos x e y estn
vinculados por dicha relacin, al escribir (x,y) R o x R y suele decirse
que: x precede a y y la notacin es x y .
Con esta notacin tenemos:
(i)

Reflexividad: x A : x x

(ii)

Antisimetra: x y y x x = y

84

(iii)

Transitividad: x y y z x z

Elementos distinguidos en un conjunto ordenado.

Sea A un conjunto ordenado por una relacin de orden .
(1) Primer elemento.
El elemento a A se llama primer elemento si y slo si precede atodos los
dems, es decir
a primer elemento de A a x, x A
(2) Ultimo elemento.
El elemento b A se llama ltimo elemento de A si y slo si todo
elemento de A precede a b, es decir
b ltimo elemento de A x b, x A
De estas definiciones no se deduce que todo conjunto ordenado debe
tener necesariamente primer o ltimo elemento; puede ocurrir que
carezcan de ambos, que tenga primer o bien ltimo elemento, o que tenga
primer y ltimo.
Por ejemplo el conjunto Z ordenado por la relacin menor o igual no
tiene primer ni ltimo elemento. El conjunto con la misma ordenacin
tiene primer elemento (el 1), pero no posee ltimo elemento.
El conjunto Q0- con la misma ordenacin indicada en los ejemplos
anteriores, tiene ltimo elemento (el 0), pero no tiene primer elemento.
Proposicin 3.
Si un conjunto ordenado tiene primer elemento, este es nico.
Dem.
Sea (A, ) conjunto ordenado y p, p dos primeros elementos de A.
Por ser p primer elemento: p x, x A y en particular, para x = p
tenemos: p p.
Por ser p primer elemento: p x, x A y en particular, para x = p
tenemos: p p.

85

As tenemos entonces: p p p p p = p ( antisimtrica).

Luego p es nico.
Prooposicin 4.
Si un conjunto ordenado tiene ltimo elemento, este es nico.
Dem.
La demostracin es anloga a la anterior.
(3) Elementos minimales.
m A es minimal x A : x m m = x
es decir, m se llama elemento minimal ssi no existe un elemento distinto
que lo preceda.
(4) Elementos maximales.
n A es maximal x A : n x n = x
es decir, n se llama un elemento maximal ssi no existe un elemento
distinto que lo siga.
Puede ocurrir que en un conjunto ordenado no existan elementos
minimales o maximales, y si existen pueden no ser nicos.
(5) Cotas inferiores.
El elemento a A es una cota inferior del subconjunto X A ssi a x
x X.
(6) Cotas superiores.
El elemento b A es una cota superior del subconjunto X A ssi x b
x X.
(7) Infimo.
i A es el nfimo del subconjunto X A ssi i es la mayor de las cotas
inferiores.

86

(8) Supremo.
s A es el supremo del subconjunto X A ssi s es la menor de las
cotas superiores
Ejemplos.
1.- Sea A = { 2, 3, 6, 10, 15, 30, 45 } ordenado por la relacin divide.
Elementos minimales: 2 y 3.
Elementos maximales: 30 y 45.
No existen primer ni ltimo elemento.
2.- Sea A el conjunto de los nmeros primos y ordenados por la relacin
divide.
Entonces todos los elementos son a la vez minimales y maximales.
A = { 2, 3, 5, 7, 11,......................}
3.- Consideremos el intervalo abierto (-1,1) donde se define la
relacin . Esta relacin en es total. Observamos que:
No existen en (-1,1) ni primer ni ltimo elemento, ya que los extremos 1 y
1 no pertenecen al intervalo (-1,1).
Tampoco existen elementos minimales ni maximales.
Cotas inferiores de (-1,1) hay infinitas, cualquier real menor o igual que 1
es cota inferior. Anlogamente, son cotas superiores todos los nmeros
reales mayores o iguales que 1.
Inf (-1,1) = -1, Sup (-1,1) = 1
4.- Con la misma relacin, el intervalo [-1,1), tiene primer elemento 1,
que es tambin mnimo, cota inferior e nfimo. Carece de ltimo elemento,
de elementos maximales. Son cotas superiores los nmeros reales
mayores o iguales a 1 y el supremo es el 1.
5.- Sea A conjunto y P(A) su conjunto potencia, ordenados por la
inclusin.
Entonces el conjunto vaco es elemento minimal y A es maximal.

87

6.- En el conjunto de partes no vacos (es decir, excluyendo a ),

ordenado tambin por la inclusin; los conjuntos unitarios son minimales y
A maximal.

Diagramas de Hasse.
Sea A un conjunto ordenado.
Definicin 12.
Dos elementos a y b son llamados consecutivos ssi
-

a b

Si a x b a = x b = x

Es posible representar un conjunto ordenado y finito, mediante un

diagrama llamado de Hasse, asignando a cada elemento del conjunto un
punto del plano o bien del espacio y uniendo cada par de elementos
consecutivos por medio de un vector orientado en el sentido siguiente: de
x a y, si x y.
Ejemplos.
1.- Por ejemplo, el diagrama de Hasse correspondiente al conjunto A = {
2, 3, 6, 9, 12, 36 } ordenado por la relacin divide es:
2

12
36

2.- Los siguientes diagramas de Hasse representan respectivamente a los

conjuntos divisores de 16 y 30, ordenados por la relacin divide.

88

30
9

18

36

15
10
5

12

6
3
2

3.- Sea A = { a, b, c }, el diagrama de Hasse correspondiente a P(A)

ordenado por la relacin de inclusin , es el siguiente:

{a,b,c}
{a.c}
{b.c}
{c}
{a,b}
{a}
{b}
{}

4.- Sea A = { 2, 3, 4, 5, 6, 8, 9, 10 } ordenado por la relacin es mltiplo

de. El diagrama de Hasse es:
10

30

15

45

89

Definicin 13.
Sea una relacin de orden en A.
Un conjunto est bien ordenado por una relacin de orden si y slo si
est totalmente ordenado y adems todos subconjunto no vaco tiene
primer elemento.
Ejemplos.
1.- El conjunto de los nmeros reales ordenado por la relacin est
totalmente ordenado, pero no es un conjunto bien ordenado, pues no todo
subconjunto no vaco de tiene primer elemento. En efecto, el intervalo
(-1,1) y carece de primer elemento.
2.- El conjunto est totalmente ordenado por la relacin y todo
subconjunto no vaco A , tiene primer elemento, luego es un
conjunto bien ordenado.

90

Ejercicios
1.- Sean A = {x : 1 x 5 } y B = { 3, 4, 5 }. Se define R AxB por:
(x,y) R x + y 5
a) Definir R por extensin.
b) Representar AxB y R.
c) Determinar R-1
2.- Consideremos A = { 1, 2, 3, 4, 5 }, B = { 1, 4, 6, 16 }, C = { 2, 3, 8, 10 }
y las relaciones R AxB, S BxC, definidas por
(x,y) R y = x2 (x,y) S y = 2z
a) Determinar R y S por extensin.
b) Definir la compuesta SoR, por extensin.
c) Hallar los dominios e imgenes de las tres relaciones sealadas.
3.- Representar grficamente en forma cartesiana las relaciones definidas
a continuacin.
a) (x,y) R y = 3
b) (x,y) S x + y = 1
c) (x,y) T x + y < 1
4.- Definimos R en Z, por: (x,y) R x2 + x = y2 + y. Clasificar R.
5.- En 2 se define la relacin por: (x,y) (x,y) y = y. Probar
que esta relacin es de equivalencia, determinar las clases de
equivalencia y el conjunto cociente.
6.- En A = {1, 2, 4, 6, 8} se define la siguiente relacin:
(x,y) R 3 x + y
a) Definir R por extensin.
b) Clasificar R.

91

7.- En 2 se define la siguiente relacin: (x,y) (x,y) x + y = y + x.

Demostrar que es de equivalencia, obtener las clases de equivalencia, un
conjunto de ndices, el conjunto cociente y representar las clases.

8.- El conjunto {{a}, {b,c}, {d}} es una particin de A = {a, b, c, d}. Hallar
la relacin de equivalencia asociada.
9.- En A = {1, 2, 3, 4} se considera la relacin
R = {(x,y) A2/ x = y x + y = 3 }
Definir R por extensin, probar que es de equivalencia y hallar la
correspondiente particin de A.
10.- Clasificar la relacin R definida en Z2 por:
(x,y) R (x,y) xy= yx
11.- En se define: R = { (x,y) 2 : x 1 = y 1 }. Demostrar que
es de equivalencia y representarla.
12.- Una relacin R definida en un conjunto A es llamada circular si y
slo si (x,y) R (y,z) R (z,x) R.
Probar que una relacin reflexiva y circular es de equivalencia.
13.- En se define mediante: x y x2 x = y2 y
Demostrar que es de equivalencia, determinar las clases, un conjunto de
ndices, el conjunto cociente y representar la relacin.
14.- Sean R y S dos relaciones definidas en A. Demostrar que:
Si R y S reflexivas, entonces R S y R S tambin lo son.
15.- En se define: R = {(x,y) 2 : x + 2 y = 1}. Hallar el dominio,
recorrido y el grfico cartesiano de R.
16.- Sea R A2, demostrar que R R-1 es simtrica.
17.- Clasificar la relacin R 2 definida por: (x,y) R x y +.
18.- En A = [- 1, 1] se considera la relacin R = {(x,y) A2 : x2 = y2}.
a) Representar R.

92

b) Probar que es de equivalencia.

c) Hallar una particin de A.
19.- Sea R una relacin definida en A. Demostrar que:
a) R simtrica R-1 es simtrica.

c) R transitiva R-1 es transitiva.

d) Si R y R son relaciones transitivas, definidas en A, entonces R R
es tambin transitiva.
e) Si R y R son relaciones antisimtricas, definidas en A, entonces R
R es tambin antisimtrica.
20.- Sean una relacin de equivalencia en A y X A. Por
definicin, llamamos saturado de X por la relacin de equivalencia, al
conjunto de los elementos de A que son equivalentes a los elementos de
X. Notacin: X* = { x A : x y, y X }
Demostrar que:
a) X X*

b) (X Y)* = X* Y*

21.- Clasificar las relaciones que se sealan.

a) (x,y) R x y
b) (x,y) R x y
22.- Clasificar la relacin R definida en mediante
(x,y) R x + y = 2
23.- En A = {1, 2, 3, 4, 5} se considera la relacin . Hallar los
elementos minimales y maximales.
24.- En ordenado por la relacin se considera
A = {x : x = 1/n n }
Averiguar si A posee primer o ltimo elemento, si est bien ordenado, y si
admite cotas, nfimo y supremo.
25.- Dados los conjuntos A, B y C, demostrar que:
93

a) A x (B C) = (A x B) (A x C)
b) A x (B C) = (A x B) (A x C)
c) A x (B C) = (A x B) (A x C)
d) A x B =

( Ax{b})

bB

e) A x C = B x C C A = B
26.- Determinar si A, B, C : (A B ) x C = (A x C) (B x C)
27.- Estudiar, clasificar y graficar las relaciones:
a) x R y xy 0 en .
b) x R y max {x,y} 2 en .
c) x R y max {x,y} = 20 en .
d) x R y mcd (x,y) = 1 en
e) x R y x2 + y2 1 en .
f) X R Y xii = yii; i=1,2 en M2({0,1}).
0 0
en M2({0,1}).
0 0

g) X R Y XY =

.
.
h) X R Y X + Y =
.
.

. . . . 1

. . . . .
. . . . .
. en M2({0,1})
. . . . .
. . . . .
. . . . 1

28.- Sea R definida en por x R y 2x + 3y = 15 x + y = 8. Hallar

las representaciones cartesiana, matricial y el grafo asociado a R.
29.- Dibujar la representacin cartesiana de R definida en por:
a) R = { (x,y) : x + 2y < 2 }

94

b) R = { (x,y) : x < y, 0 y 1 }
c) R = { (x,y) : x2 y2 + x > 0 }
30.- Dar ejemplos, a travs de matrices de orden 3, con 0s y 1s, de
relaciones:
a) Refleja, simtrica, pero no transitiva.
b) Refleja, transitiva, pero no simtrica.
c) Simtrica, transitiva, pero no refleja.
31.- En * = - {0}, se define la relacin R como:
x R y x/y A, donde A
a) Probar que R es una relacin de equivalencia si A = . Hallar
C(1/2).
b) Probar que R es una relacin de orden si A = . Determinar si es
de orden parcial o total.
32.- Dado el conjunto E = {a1,.............,an}. Determinar cuntas relaciones
hay en E.
Cuntas de ellas son reflejas, simtricas y antisimtricas.
33.- Sean R y S relaciones de equivalencia en E y F respectivamente.
Sobre E x F se define la relacin T: (x,y) T (x,y) x R x y S y.
Determinar las propiedades de T.
34.- Sea Rk definida en P(E) con E , dada por:
A Rk B B K A, para K P(E), K , fijo
a) Probar que Rk es refleja y transitiva.
b) Dar condiciones sobre el conjunto K de tal forma que Rk sea
antisimtrica.
35.- Dadas dos matrices A, B Mn({0,1}), qu opinin les merecen las
afirmaciones siguientes?
a) A B X Mn({0,1}), A + X B + X, AX BX.

95

b) Si A no es comparable con B entonces:

-

X Mn({0,1}), A + X no es comparable con B + X

X Mn({0,1}), AX no es comparable con BX

c) Estudiar las propiedades de las relaciones en Mn({0,1}):

-

A R B n : An = Bn = 0 (matriz nula).

A R B AB = I (matriz identidad).

36.- Considerar la relacin en Z2 definida por:

(x,y) R(p,q) (u,v) x u (mod p), y v (mod q)
con p,q +.
a) Probar que R(p,q) es una relacin de equivalencia.
b) Hallar Z / (p,q), el conjunto cociente asociado a la relacin.

96

Funciones
Sean A y B dos conjuntos no vacos que llamaremos dominio y codominio
respectivamente. Entenderemos por funcin de A en B a toda regla que
hace corresponder a cada elemento del dominio un nico elemento del
codominio. Ms precisamente, una funcin es un conjunto de pares
ordenados tales que la primera componente pertenece a A y la segunda a
B, es decir, un subconjunto de A x B, de modo que todo elemento de A
sea primera componente de un par y slo de uno. Esto nos dice que toda
funcin es una relacin especial entre A y B.
Generalmente, los smbolos que se usan para designar funciones son: f,
g, h, etc.
As para denotar que f es una funcin de A en B, escribimos: f : A B y
se lee f es una funcin o aplicacin de A en B o bien f es una funcin
con dominio A y codominio B.
Definicin 1.
f es una funcin o aplicacin de A en B si y slo si f A x B que
satisface las siguientes condiciones de existencia y unicidad:
(i)

a A, b B : (a,b) f

(ii)

(a,b) f (a,c) f b = c

Si (a,b) f decimos que b es el correspondiente o imagen de a por f, y

suele escribirse b = f(a), es decir, b es la imagen de a por f.
Una funcin queda especificada si se dan el dominio A, el codominio B, y
adems la relacin f A x B, que satisface las condiciones (i) y (ii) de la
definicin.
Ejemplos.
1.- Sean A = { a, b, c, d }, B = { 1, 2, 3 } y la relacin f = {(a,1), (b,2),
(c,2), (d,1)}, es decir, f(a) = 1, f(b) = 2, f(c) = 2 y f(d) = 1. Observamos que
se cumplen las condiciones de la definicin, por la tanto f es funcin.

97

2.- Con los mismos conjuntos A y B del ejemplo anterior, definamos la

relacin f = { (a,1), (a,2), (b,2), (c,1) }.
Notamos que esta relacin no es funcin, puesto que no todo elemento
del dominio A tiene una imagen en el codominio B, es decir, no se
satisface (i). Adems, un elemento de A tiene dos imgenes en B, es
decir, no se cumple (ii).

Representacin cartesiana de funciones.

De la misma forma que en relaciones, las funciones pueden representarse
mediante un sistema de coordenadas cartesianas en el plano o en el
espacio, segn si el dominio es unidimensional o bidimensional. En el
caso de representaciones en el plano, el dominio es el eje de las abscisas,
y el codominio el de las ordenadas.
Ejemplos.
1.- Sean f : A B, tal que f(x) = x2 y donde A = {- 2, -1, 0, 1, 2 }, B = { 0,
1, 2, 3, 4 }. Representar f.

f(0) = 0, f(1) = 1, f(-1) = 1, f(-2) = 4 y f(2) = 4.

2.- Sean A = {- 2, -1, 0, 1, 2 }, B = y f : A , dada por: f(x) = x + 1.
Su grfica es:

98

4.- Sea f : Z Z tal que f(x) = - x + 1, entonces su representacin

cartesiana es:

Observamos que no es posible representar a f por ser Z un conjunto

infinito, no obstante la representacin de algunos puntos nos sugieren el
comportamiento de la aplicacin. En ste, y en los ejemplos anteriores, el
hecho de que cada elemento del dominio tenga una nica imagen en el
codominio se traduce en que a una misma abscisa le corresponde una
sola ordenada.

99

5.- Si g : es tal que g(x) = x +1, su representacin es un

subconjunto continuo de 2, y que est representada por una recta en el
plano.

Es fcil notar que, aunque se mantenga la ley de correspondencia o

asignacin, al variar el dominio o el codominio, la funcin cambia. En
nuestro caso, g f aunque se cumple f g. Es conveniente insistir
entonces en el hecho de que la caracterizacin de una aplicacin se da a
atravs del dominio, codominio y al ley de asignacin. En la terminologa
clsica. Al elemento genrico x del dominio se llama variable
independiente y a su imgen y = f(x) variable dependiente.
6.- Consideremos A = { 1, 2 }, B = { 1, 2, 3, 4 } y la funcin f ; A2 B tal
que f(x,y) = x + y.
Podemos representar los efectos de la funcin f a travs de una tabla de
doble entrada.

100

(x,y)

f(x,y)

(1,1)

(1,2)

(2,1)

(2,2)

Ahora el diagrama de Venn asociado es:

A

B
1

(1,1)
(1,2)

(2,1)

2
4

(2,2)

Finalmente la representacin cartesiana es en el espacio, ya que cada

elemento del dominio determina un elemento en el plano, y su imagen
debe tomarse sobre otro eje.

Tambin esta funcin puede representarse de la siguiente forma:

101

 4
3

7.- Sea f : definida por f(x) = x2. Como a cada nmero real se le
asigna su cuadrado, el grfico cartesiano es una lnea continua de puntos
del plano, llamado parbola. Adems Rec f = +0.

102

8.- Sea f : Z definida de la forma siguiente:

f(x) = -1 si x < 0, f(x) = 0 si x = 0 y f(x) = 1 si x > 0

-1

Esta es llamada la funcin signo de x, y est representada por la unin

de dos semirrectas abiertas, con el conjunto cuyo nico elemento es el
origen de coordenadas.

Clasificacin de funciones.
Definicin 2.
Sea una funcin f : A B.
a) f : A B es inyectiva 11 x,x A : x x f(x) f(x)
Equivalentemente, usando la contrarecproca, podemos decir que:
f : A B es inyectiva x,x A : f(x) = f(x) x = x
b) f : A B es sobreyectiva sobre y B, x A : y = f(x)
c) f : A B es biyectiva f es 11 y sobre.
Ejemplos.
1.- Consideremos la funcin f : tal que f(x) = 2x. Analicemos f.
-

f es 1-1?

Sean x, x A : f(x) = f(x) 2x = 2x de donde x = x, es decir, f es 1-1.

-

f sobre?

103

Debemos probar que, y , x : y = f(x) = 2x, esto nos lleva a que

x = y/2 , slo basta tomar y = 3, de donde x = 3/2. As, f no es sobre.
2.- Sea f : Z Z tal que f(x) = ax + b; a, b Z y a 0.
Analicemos nuevamente f.
-

Sean f(x) = f(x) ax + b = ax+ b ax = ax x = x, a 0.

Luego f es 1-1.

Dado y Z, x Z : y = f(x)?

Pero y = f(x) = ax + b x = (y-b)/a el cual no siempre es un entero,

basta tomar a = b = 2 e y = 3, de donde x = Z. Luego f no es sobre.
3.- Sea f : tal que f(x) = x2.
Observamos claramente que f no es 1-1, puesto que por ejemplo -11,
pero f(-1) = f(1).
Veamos si f es sobre. Sea dado y tal que y = f(x), x . As
entonces: y = x2 x = y si y < 0. Luego f tampoco es sobre.
4.- Sea f : tal que f(x) = x3.
-

f es 1-1?

Sean x, x : f(x) = f(x) x3 = x3 o bien x3 - x3 = 0. Esto puede

factorizarse como: (x x)(x2 + xx+ x2) = 0, de donde x x= 0 y as x =
x, o bien x2 + xx+ x2 = 0 (x + x/2)2 + x2 0 x, x . Ser cero
slo si x = x= 0 y as entonces f es una funcin inyectiva.
5.- Sean A = { 1, 2, 3 } y B = { 1, 2 }. Definimos f : P(A) P(B) mediante
f(X) = X B. Grficamente la situacin es la siguiente.

104

{1}
{2}
{3}

{1}

{1,2}

{2}
{1,3}
B

{2,3}
A

6.- Se lanza una moneda 3 veces. Los posibles resultados de este

experimento aleatorio son todas las ternas formadas por caras y sellos,
o bien por unos y ceros, y son ellos:
A = { (1,1,1),(1,1,0),(1,0,1),(0,1,1),(1,0,0),(0,1,0),(0,0,1),(0,0,0) }
El conjunto A de tales elementos, se llama espacio muestral asociado al
experimento. Definimos ahora la funcin de A en , que asigna a cada
elemento la diferencia entre el nmero de caras y el nmero de sellos. La
representacin es la siguiente:

(0,0,1)

(0,1,1)

(1,0,1)

2
(1,1,1)

1
0

(0,0,0)

(0,1,0)

-1
-2

(1,0,0)

(1,1,0)

-3

105

Notamos entonces que f no es inyectiva ni sobreyectiva.

7.- Sea f : 2 tal que f(t) = (t,-t).
Si en 2 consideramos los ejes x e y, de acuerdo con la definicin se
tiene:
x = t, y = -t
que corresponde a un sistema de ecuaciones paramtricas de una recta
del plano xy. Eliminando el parmetro t resulta y = -x, que es la ecuacin
de la bisectriz:

a
0

-a
y = -x

106

Funciones especiales.
Definicin 3.
La funcin f : A B tal que f(x) = b x A, es decir, que asigna a todos
los elementos del dominio un elemento fijo b B, se llama funcin
constante.
A menos que A sea un conjunto unitario, la funcin constante no es
inyectiva, y es sobreyectiva slo si B es tambin un conjunto unitario.
Definicin 4.
Llamamos funcin identidad en A, a la aplicacin iA : A A tal que iA(x)
= x x A.
La funcin identidad en A es entonces la funcin que asigna a cada
elemento de A el mismo elemento, es decir, deja invariantes los
elementos de A.
Definicin 5.
Consideremos A X B, y las funciones
P1 : A x B A y P2 : A x B B tal que P1(x,y) = x y P2(x,y) = y. Tales
funciones se llaman primera y segnda proyeccin del producto
cartesiano, y asignan a cada par ordenado la primera y segunda
componente respectivamente. En un grfico cartesiano se tiene:

AxB
P2(a,b = b

(a,b)

P1(a,b) = a

107

Notamos que P1 y P2 son sobreyectivas pero no inyectivas.

Funcin cannica.
Sea una relacin de equivalencia definida en el conjunto no vaco A.
Por el teorema fundamental de las relaciones de equivalencia queda
determinado el conjunto cociente A / , cuyos elementos son las clases de
equivalencia.
Definicin 6.
Llamamos aplicacin cannica, a la funcin : A A tal que (x) = Cx
x A, es decir, a cada elemento de A, le asigna su clase de
equivalencia.
Dos elementos equivalentes pertenecen a la misma clase y en
consecuencia admiten la misma imagen, es decir, la aplicacin no es
inyectiva, salvo en el caso de clases unitarias. Por otra parte, como cada
clase es no vaca, ocurre que siempre es sobreyectiva, es decir
Cu A / , x A : (x) = Cu
Tenemos adems que si a b (a) = (b).
Ejemplo.
En 2 consideramos la relacin definida por: (a,b) (a,b) a = a
Se puede verificar fcilmente que esta relacin es de equivalencia, y lo
que queremos es caracterizar la aplicacin cannica. Ahora, las clases de
equivalencia son del tipo
C(a,b) = { (x,y) / x = a }
Y estas representan rectas paralelas al eje y. Para definir el conjunto
cociente, precisamos de un conjunto de ndices, y al elegir el nico
elemento en cada clase, lo tomamos sobre el eje x, as que
2 / = { C(u,0) / u }
Entonces la funcin cannica es : 2 / tal que (a,b) = C(u,0), si
u = a.

108

Composicin de funciones.
Bajo ciertas condiciones es posible definir, a partir de las funciones f y g,
una nueva funcin llamada la compuesta de ellas. Consideremos las
funciones siguientes f: A B y g : B C.
Observamos que el codominio de la primera y el dominio de la segunda
coinciden. Este es el caso ms usual, pero basta para que la compuesta
de f y g exista, es que Rec f Dom g.
Definicin 7.
Sean f: A B y g : B C, definimos la compuesta de f y g, como la
funcin g o f : A C tal que (g o f)(x) = g(f(x)), x A.

B
x

C
f(x)

g(f(x)

Ejemplo.
1.- Sean las funciones f : tal que f(x) = 2x, y g : tal que
g(x) = x2. Claramente podemos formar las funciones compuestas:
fog:ygof:
donde (f o g )(x) = f(g(x)) = f(x2) = 2x2 y (g o f)(x) = g(f(x)) = g(2x) = 4x2
Ambas funciones compuestas, a pesar de tener el mismo dominio y
codominio, son distintas, puesto que difieren en la ley de asignacin.
Definicin 8.
Sean dadas las funciones f : A B y g : A B, decimos que:
f = g f(x) = g(x) x A

109

Proposicin 1.
Sean f : A B, g : B C y h : C D. Entonces la compuesta de
funciones es asociativa, es decir:
(h o g) o f = h o (g o f)
Dem
Probaremos primeramente que las funciones resultantes de ambos
miembros poseen el mismo dominio y codominio. En efecto,
f : A B y h o g : B D (h o g) o f : A D
g o f : A C y h : C D h o (g o f) : A D
Ahora, verifiquemos la igualdad de imgenes para todo elemento de A.
[(h o g) o f](x) = (h o g)(f(x)) = h(g(f(x)))
[h o (g o f)](x) = h[(g o f)(x)] = h(g(f(x))
As, tenemos que [(h o g) o f](x) = [h o (g o f)](x) x A
(h o g) o f = h o (g o f)
Proposicin 2.
Sean f : A B y g : B C funciones inyectivas, entonces g o f : A C
es inyectiva.
Dem
Sean x, x A tal que (g o f)(x) = (g o f)(x) g(f(x)) = g(f(x)). Como g
es inyectiva, entonces f(x) = f(x) y adems como tambin g es inyectiva,
se tiene entonces que x = x, es decir, g o f es inyectiva.
Proposicin 3.
Si f : A B y g : B C funciones sobreyectivas, entonces g o f : A C
es sobreyectiva.
Dem
Debemos probar que z C, x A : z = (g o f)(x).

110

Ahora, como g : B C es sobre,

z C, y B : z = g(y). Ahora, por ser f : A B sobre, para ese
elemento yB, x A : y = f(x).
Luego, tenemos que z = g(y) = g(f(x)) = (g o f)(x), es decir, g o f sobre.
Proposicin 4.
Si f : A B y g : B C son tales que g o f : A C es 1-1, entonces f es
inyectiva.
Dem
Sean x, x A tales que f(x) = f(x), aplicando g se tiene: g(f(x)) = g(f(x))
o bien (g o f)(x) = (g o f)(x), pero como g o f es 1-1, entonces x = x. En
consecuencia f es 1-1.
De la misma forma, se prueba que si f o g es sobreyectiva, entonces g es
sobreyectiva.

Funciones inversas.
Recordamos que toda funcin f : A B es una relacin, sin embargo la
relacin inversa no siempre es una funcin. Para ello consideremos la
funcin f : A B, A = { -2, -1, 0, 1, 2 }, B = { 0, 1, 2, 3, 4 } tales que:
f(x) = x2, es decir, f = {(-2,4), (-1,1), (0,0), (1,1), (2,4)}. La inversa de esta
relacin es el subconjunto g BxA : g = {(4,-2), (1,-1), (0,0), (1,1), (4,2)}.
Observamos que g no es funcin , puesto que los elementos 2 y 3
carecen de imgenes, y adems 4 posee dos imgenes, es decir, no hay
unicidad. Luego g no es funcin.
Definicin 9.
La funcin f : A B admite inversa si y slo si existe g : B A tal que :
g o f = iA y f o g = iB.
Ejemplo.
Consideremos la funcin f : definida por f(x) = x + 2, ella admite
como inversa a la funcin g : tal que g(x) = x 2, pues:
(g o f)(x) = g(f(x)) = g(x + 2) = x + 2 2 = x = i(x)

111

(f o g )(x) = f(g(x)) = f(x 2) = x 2 + 2 = x = i(x)

Es decir, tenemos que f o g = i y g o f = i
La representacin cartesiana de dos funciones inversas conduce a
grficos simtricos respecto a la primera bisectriz.
y
f
g

112

La funcin f es biyectiva, por lo tanto f admite inversa.

Proposicin 5.
Una funcin admite inversa si y slo si es biyectiva.
Dem
( ) Sea f : A B, la cual admite inversa g : B A donde g o f = iA y
f o g = iB. Demostraremos que f es biyectiva.
a) f es 1-1.
En efecto, sean x, x A tales que f(x) = f(x), aplicando g se tiene:
g(f(x)) = g(f(x)) o bien (g o f)(x) = (g o f)(x) de donde por lo anterior
tenemos g o f = iA y as x= x, lo cual muestra que f es 1-1.
b) f es sobre.
En efecto, debemos probar que: y B, x A : y = f(x).
Sea entonces cualquier elemento y B, por definicin de identidad en B
se tiene y = iB(y) = (f o g)(y) = f(g(y)). Es decir, a expensas de y B,
hemos determinado x = g(y) en A, tal que f(x) = y. Luego f sobre.
( ) Sea f : A B biyectiva, definamos una funcin g : B A
mediante
g(y) = x si f(x) = y

(*)

probaremos que (*) satisface la definicin de funcin. En efecto:

Todo elemento de y B tiene un correspondiente x A; ya que f es
sobreyectiva.
Ahora el correspondiente x asociado a y es nico, por ser f inyectiva. En
efecto: si x, x fuesen antecedentes distintos de y por f se tendra x x
f(x) = f(x) = y, lo que es absurdo por la inyectividad de f.
Ahora probaremos que g o f = iA.
Cualquiera sea x A se tiene, por definicin de compuesta, por (*) y por
definicin de identidad en A:
(g o f)(x) = g(f(x)) = g(y) = x = iA(x) g o f = iA

113

Falta mostrar que f o g = iB.

Como f o g : B B, para todo y B, tenemos por definicin de
compuesta, por (*) y por identidad en B, que:
(f o g)(y) = f(g(y)) = f(x) = y = iB(y) f o g = iB
Proposicin 6.
Si f : A B es biyectiva, entonces la funcin g : B A, inversa de f es
nica.
Dem
Supongamos que f posee dos funciones inversas g y g, tales que: g o f =
iA, f o g = iB, go f = iA y f o g = iB, entonces:
g = go iB = go (f o g) = (go f) o g = iA o g = g
Por otra parte, tenemos y por resultados anteriores que si g : B A es tal
que existe f : A B, siendo f o g = iB y g o f = iA, esto nos conduce a que
g es biyectiva. La funcin g se llama la inversa de f y se denota por f -1.
Ejemplo.
Analizar la funcin f : ( -1, 1) tal que f(x) = x / (1 + x)
R.- Veamos si f es 1-1.
Sean x, x con sg(x) = sg(x) y tal que f(x) = f(x) x/ (1 + x)
= x/ (1 + x) o bien x(1 + x) = x(1 + x). Desde donde se tiene x+
xx = x+ xx.
Pero debemos recordar, que en general: x = xsg(x), x , donde
sg(x) es la funcin signo de x. Con estos hechos tenemos entonces que:
x+ xxsg(x) = x+xxsg(x) x= x
Es decir, f es inyectiva.
Sea y (-1,1). Si existiese x tal que f(x) = y, entonces debe tenerse:
x / (1 + x) = y con sg(x) = sg(y)
Luego x = y + y x x = y + yxsg(x) = y + yxsg(y) = y +x y

114

As entonces x(1 - y) = y x = y / (1 - y) donde 1 - y > 0 ya que y < 1.

Es decir, y (-1,1), x = y / (1 - y). Luego f es sobreyectiva.
De los resultados anteriores, f es biyectiva y en consecuencia admite
inversa.
g = f -1 : (-1,1) tal que f 1(x) = x / (1 - x).
Adems, claramente g o f = i y f o g = i(-1,1)

Imgenes del subconjunto del dominio

Sean f : X Y y A X. Las imgenes de todos los elementos de A
determinan un subconjunto de Y, llamado imagen de A por f.
Definicin 10.
Imagen del subconjunto A X es el conjunto cuyos elementos son las
imgenes de los elementos de A. En smbolos
f(A) = { f(x) : x A }
y f(A) x A y = f(x)
En particular, si A = X entonces f(X) se llama imagen del dominio por f o
simplemente imagen de f. Con este lenguaje podemos afirmar que f
sobreyectiva si y slo si f(X) = Y.
Por otro lado, notamos que f() = , pues si existiese y f() x ,
tal que y = f(x), lo cual es una contradiccin.
Proposicin 7.
Sean f : X Y y A, B X.
Si adems A B f(A) f(B).
Dem
Sea y f(A) x A : y = f(x) x B : y = f(x) y f(B)
Luego, f(A) f(B)

115

Proposicin 8.
Sean f : X Y y A, B X. Entonces
a) f(A B) = f(A) f(B)

b) f(A B) f(A) f(B)

Dem
a) Sabemos que:
A, B A B f(A), f(B) f(A B) f(A) f(B) f(A B)
Por otro lado, sea y f(A B) x A B : y = f(x)
x : (x A x B) y = f(x)
{ x : x A y = f(x) } { x : x B y = f(x) }
y f(A) y f(B) y f(A) f(B)

f(A B) f(A) f(B)

As hemos probado que f(A B) = f(A) f(B)

b) Sabemos que:
A B A, B f(A B) f(A), f(B) f(A B) f(A) f(B)
El siguiente ejemplo muestra que no es vlida la inclusin en el otro
sentido. Sean, f : Z , tal que f(x) = x2 y sean adems A = { - 2,- 3, 4 },
B = { 2, 3, 4, 5 } subconjuntos de Z. Tenemos entonces que A B = { 4 },
f(A B) = { 4, 9, 16 } { 4, 9, 16, 25 } = { 4, 9, 16 }. As entonces
tenemos que: f(A B) f(A) f(B).

Imgenes inversas de subconjuntos del codominio

Sean f : X Y y A Y. Un problema de inters consiste en determinar
los elementos del dominio cuyas imgenes pertenecen a A. Tales
elementos forman un subconjunto de X, llamado imagen inversa o
preimagen de A por f.
Definicin 11.
Imagen inversa o preimagen del subconjunto A Y, es el conjunto de
los elementos del dominio cuyas imgenes pertenecen a A. En smbolos
f 1(A) = { x X : f(x) A }

116

x f 1(A) f(x) A
Ejemplo.
1.- Sea f : tal que f(x) = x2. Hallar f 1{(-1,1)} y f 1([4,9]).
Sea x f 1{ (-1,1) } f(x) (-1,1) -1 < x2 < 1.
Pero: - 1 < x2, x . Luego resolvemos x2 < 1 x2 < 1 y as x < 1.
1 < x < 1 o bien x (-1,1)
Por otro lado, sea x f 1([4,9]) f(x) [4,9] x2 [4,9] 4 x2 9.
Luego, x2 4 x2 9 x 2 x 3 x [-3,-2] x [2,3], es
decir, x [-3,-2] [2,3], de donde f 1([4,9]) = [-3,-2] [2,3].
2.- Considerar la funcin f : tal que f(x) = sen x. Hallar f 1([-1,0]).
Sea x f 1([-1,0]) f(x) [-1,0] -1 f(x) 0 -1 sen x 0.
Habra que recordar entonces en que intervalos la funcin sen x est en el
intervalo [-1,0]. As entonces observamos que:
f 1([-1,0]) =

[( 2n 1) ,2n ]

nZ

3.- Se define A como el conjunto de los posibles resultados que se

obtiene al lanzar una moneda, es decir: A = { c,s }.
Se define f : A como f(c) = 1 y f(s) = 0. Hallar f 1{(- ,x)}, x .
Tenemos, f 1{(- ,x]} = { z A : f(z) x }. As entonces tenemos que:
f 1{(- ,x)} = si x < 0; f 1{(- ,x)} = {s} si 0 x < 1 y f 1{(- ,x)} = { c,s }
si x 1.
Proposicin 9.
Sea f : X Y y B Y. Entonces f 1(Y B) = X f 1(B).
Dem.
Sea x f 1(Y B) f(x) Y B, es decir, f(x) Y f(x) B.
Luego x f 1(Y) x f 1(B), de donde x f 1(Y) f 1(B)

117

 x X f 1(B)
Hemos usado el hecho de que: f 1(Y) = X, pues como f es funcin, de
cada elemento de X sale una flecha que llega a algn elemento de Y.
Formalmente es claro que f 1(Y) X. Falta mostrar que X f 1(Y). En
efecto, dado x X, ! y Y tal que y = f(x).
Luego x f 1(Y), es decir, X f 1(Y).
Sea ahora x X f 1(B) x X x f 1(B).
Sea y = f(x), si tuviramos y = f(x) B x f 1(B)
Luego, y = f(x) Y B x f 1(Y B), de donde f 1(Y B) = X - f 1(B).

Restriccin y extensin de una funcin

Sean f : X Y y A X.
Definicin 12.
Definamos la funcin g : A Y mediante la asignacin g(x) = f(x)
cualquiera sea x A. Decimos que g es la restriccin de la aplicacin f al
subconjunto A, y la denotamos g = f A.
Si g es la restriccin de f al subconjunto A, entonces f : X Y es una
extensin de la funcin g sobre el conjunto X.
Notamos que, es claro que la restriccin de f : X Y al subconjunto A es
nica, mientras que dada una funcin g : A Y, sta admite ms de una
extensin sobre el conjunto X que contiene A. En efecto, si g : A Y y A
X, entonces podemos definir una extensin de g al conjunto X, de la
siguiente manera, sea yo Y un elemento cualquiera, definimos f : X Y
por f(x) = g(x) si x A y f(x) = y0 si x X A.
Ejemplo.
a) Sean X = { a,b,c }, Y = { d,e,f,g } y F : X Y tal que F = { (a,g),
(b,f), (c,d) }. Determinar las restricciones de F a los subconjuntos
propios de X, A = { a } y B = { a,b }.
R.- F A = { (a,g) } y F B = { (a,g), (b,f) }

118

b) Sean, X e Y como en la parte a), F = { (a,f), (c,g) }, A = { a,c } X.

Hallar todas las extensiones o prolongaciones posibles de F a X.
R.- Tenemos, X x Y = { (a,d), (a,c), (a,f), (a,g), (b,d), (b,e), (b,f), (b,g),
(c,d), (c,e), (c,f), (c,g) }.
A x Y = { (a,d), (a,e), (a,f), (a,g), (c,d), (c,e), (c,f), (c,g) }.
En las extensiones de F deben estar necesariamente los pares (a,f) y
(c,d), y para que sean funciones debe haber un solo par que comience
con: a, b y c. As tenemos las extensiones siguientes:
F1 = { (a,f), (b,d), (c,g) }
F2 = { (a,f), (b,e), (c,g) }
F3 = { (a,f), (b,f), (c,g) }
F4 = { (a,f), (b,g), (c,g) }

119

Algunos teoremas lgicos

T.L.1 ( p) p

(doble negacin)

T.L.2 p p p,

ppp

T.L.3 p q q p,

(idempotencia)

pq qp

(conmutatividad)

T.L.4 p (q r) (p q) r, p (q r) (p q) r

(asociatividad)

T.L.5 p (q r) (p q) (p r)
p (q r) (p q) (p r)

(distributividad)

T.L.6 p p V

(Principio del tercero excluido)

T.L.7 p p F

(Principio de contradiccin)

T.L.8 (p q) p q, (p q) p q (Leyes de De Morgan)

T.L.9 (p q) (q r) (p r)
T.L.10 (p q) (q p) (p q)
T.L.11 (p q) (q p)

(Ley transititva)
(Ley del bicondicional)
(contrarrecproca)

T.L.12 (p q) (p q)
T.L.13 [(p q) p] q
T.L.14 (p q) [(p q) p]

(Modus Ponens)
(Reduccin al absurdo)

(p q) [(p q) q]
T.L.15 [(p q) (p q)] q
[(p q) (r q)] [ (p r) q]

(Demostracin por casos)

T.L.16 [(p q) q] p

(Tollendo Tollens)

T.L.17 (p q) q p

Tollendo Ponens)

T.L.18 p q p,

pq q

T.L.19 p (p q) p, p (p q) p

(Ley de simplificacin)
(ley de absorcin)

120

Universidad de La Frontera
Facultad de Ingeniera, Ciencias y Administracin
Departamento de Matemtica

Prueba recuperativa Algebra

Prueba 1
Profesores: Mara Teresa Alcalde, Ral Benavides, Csar Burgueo, Erwin Henrquez,
Elizabeth Henrquez, Joan Manuel Molina, Marcia Molina y Alex Seplveda.

1.- Demuestra usando un mtodo de demostracin indirecta.

a) x > 0,

x <

x 1

b) (p q) q p

2.- Simplifica el circuito dado.

q
s
q

121

3.- Sean los conjuntos A, B, C U. Ordenar por inclusin los siguientes

conjuntos.
B C, A B C, , C (A B), B C, A B C y C (A B)

4.- Con respecto a la diferencia simtrica, probar los siguientes hechos.

a) A B = B A
b) A = A
c) A A = A
d) A B = C A C = B
Sug. Recuerda que A B = (A B) (B A)

5.- Demostrar que si A B = P(A) P(B) = { }

122

Universidad de La Frontera
Facultad de Ingeniera, Ciencias y Administracin
Departamento de Matemtica

Taller 1
Elementos de Lgica y Teora de Conjuntos
Prof. Dr. Ral Benavides G

1.- Considera las proposiciones:

p : V, q : F y r : F

Halla el valor de verdad de la proposicin:

[(p r) ( p q)] [(r q p) {(p q) r}]

2.- Simplifica al mximo la proposicin que se indica:

(p q) [( p q) q]

123

Universidad de La Frontera
Facultad de Ingeniera, Ciencias y Administracin
Departamento de Matemtica

Taller 3: Algebra IME 018

Prof. Dr. Ral Benavides G

Resuelve la siguiente familia de sistemas segn los diferentes

valores del parmetro real k:
x + 5y t = 0
x + 5y + z = 2
2x + 10y + z + (k2 k 3) t = k2 + 2k 6
Solucin:

124

Universidad de La Frontera
Facultad de Ingeniera, Ciencias y Administracin
Departamento de Matemtica

Prueba 1: Algebra IME 018

Prof. Dr. Ral Benavides G

1.- Simplifica la siguiente expresin: [( p) v ( q p)] q

2.- Prueba la siguiente equivalencia sin usar tablas de verdad.

[( p v q) v ( r p)] (q v p)

3.- a) Niega el siguiente enunciado.

(n)( p(n)) (n)(q(n))

b) Analiza el valor de verdad de la proposicin dada y luego

nigala.
(n A)(n2 > 1 n + 2 = 0), donde A = {1, 2, 3, 4}

4.- Sean los conjuntos A, B, C U. Ordenar por inclusin los

siguientes conjuntos.
B C, A B C, , C (A B), B C, A B C y C (A B)

125

5.- Prueba los siguientes hechos, para los conjuntos A, B y C U,

que se indican.
a) A B = C A C = B

b) A B = A B A = B

c) Si A C A ( B C) = (A B) C

d) A [B (A C)] = A (B C)

Puntaje asignado: 60 puntos

Preguntas 1, 2, 3 y 4: 10 puntos cada una.
Pregunta 5: 20 puntos.

126