Jorge Martnez

Snchez

CONJUNTOS
y

FUNCIONES

Programa Nacional
ASOCIAClON

1973
de Formacin de Profesores

NACIONAL DE UNIVERSIDADES
ENSENANZA SUPERIO~

E INSTITUTOS DE

PRESENTACION

Primera

edicin:

Mxico,

1973

Derechos reservados
Copyright 1973
Programa Nacional de Formacin de Profesores
ASOCIACION
NACIONAL
DE UNIVERSIDADES
E INSTITUTOS
DE ENSEANZA
SUPERIOR
Av. M. A. Quevedo 8-49 piso
Apdo. Postal 70-230
Mxico 20, D. F.
Diseo de la Portada:
Javier Espinoza y Javier

Fragoso

Edicin a cargo de:

DISEO y COMPOSICION
LITOGRAFICA,
Blv. M. Avila Camacho N9 40-316
Naucalpan, Edo. de Mxico
557-63-74
557-62-63

Impreso en Mxico
Printed in Mexico

S. A.

Esta publicacin forma parte "de la Serie TEMAS

BASICOS, preparada por la Asociacin Nacional de Universidades e Institutos de Enseanza Superior. En cada
una de las reas de Matemticas, Ciencias Naturales, Historia y Ciencias Sociales, y Lengua y Literatura, la Serie
ofrece los temas vertebrales de los cursos correspondientes
en el nivel de enseanza preparatoria o bachillerato. Algunos de los temas sern tiles tambin como auxiliares para
repaso en el inicio del ciclo profesional o como fuente de
conocimiento para el lector autodidacta.
Dentro de la intencin didctica con que han sido
elaborados los materiales, cabe destacar los propsitos de
claridad, concisin y, en la medida de lo posible, desarrollo
autnomo de los temas. En cada caso, se han incorporado
al texto ejemplos, preguntas o ejercicios. En ocasiones, las
preguntas o los ejercicios se acompaan de sus correspondientes resoluciones. Se recomienda que el lector intente su
propia respuesta, antes de ver la que el autor ofrece.
Excepto en el rea de Historia y Ciencias Sociales, en
donde se utilizaron trabajos de autores extranjeros, en el
resto se cont con la valiosa intervencin de destacados
cientficos e intelectuales mexicanos. La coordinacin general de la Serie estuvo a cargo del seor Lic. Hugo Padilla. Los seores doctores Emilio Lluis, Francisco Medina
Nicolau, Romeo Flores y Luis Rius, coordinaron, respectivamente, las reas de matemticas, ciencias naturales, historia y ciencias sociales.y lengua y literatura.
LIC. ALFONSO RANGEL GUERRA
SECRETARIO GENERAL EJECUTIVO
ASOCIACION NACIONAL DE UNIVERSIDADES
E INSTITUTOS DE ENSEANZA SUPERIQR.

INDICE
Pg.
1.

EN UN UNIVERSO

2.

EN OTROS UNIVERSOS

18

3.

RELACIONES

28

4.

DIAGRAMAS

34

LISTA

DE

RESPUESTAS

SENCILLO

SIMBOLOS

41

A LOS EJERCICIOS

42

'<,

Introduccin

Al estudiar la Teora de los Conjuntos estamos capacitndonos para comprender mejor otras ramas de la matemtica, principalmente por dos razones:
Por una parte, los conjuntos son utilizados directamente en muchas disciplinas: sus conceptos y operaciones son
tomados para llegar a otros, para simplificar la notacin
y para facilitar la comprensin y las demostraciones.
Adems, los conceptos matemticos de la Teora de
los Conjuntos aparecen de una manera muy sencilla y
"purificada", fcil de comprender. As, por ejemplo, al
entender el concepto de "igualdad matemtica" podremos
d~spus trabajar ms profunda y fcilmente con ecuacienes.
Lo que vamos a estudiar es la manera mediante la cual
los matemticos hablan y escriben sobre ideas que todos
hemos manejado intuitivamente. No se trata, pues, de
comprender altas abstracciones, sino de aprender a utilizar una notacin matemtica para escribir sobre cosas
que, de hecho, estamos acostumbrados a usar.

1.

EN UN UNIVERSO SENCILLO

Ya ests acostumbrado a tratar con conjuntos: te

sientas a escuchar un conjunto musical, te renes con un
conjunto de amigos, y escribes haciendo uso de un conjunto de letras.
.
, Vamos a fijamos en el conjunto de las letras minsculas del abecedario espaol. En toda la primera parte de
este fascculo trabajaremos con dicho conjunto. Todos los
conjuntos de que hablemos sern, pues, de letras minsculas espaolas.
Tomemos las tres primeras letras minsculas del abecedario. Forman un conjunto tambin, cuyos elementos
son :a, b, c. A este conjunto lo representaremos como
sigue:
la, b,c}

es decir, los elementos del conjunto separados por comas,

y dentro de unas llaves {} .
Podemos formar as muchos conjuntos de letras:
Ic,d,e},

{/,gl,

{a,xy,m,o},

{n}

,etc.

Escribe la representacin de diez conjuntos diferentes

de letras minsculas.
.
El conjunto
{a, e, f}
es el mismo que el conjunto
{a, e, t. g} ? No, porque la "g" es un elemento delsegundo conjunto, y no del primero. Los dos conjuntos son
distintos.
En cambio, el conjunto {x, u, m} es el mismo que
9

tu, m, x} , pues los elementos en ambos casos son:

m, u, x.
_
Cuando dos conjuntos tienen los mismos elementos,
es decir, cuando de hecho son el mismo conjunto, decimos que son iguales.
Cul es la diferencia, entonces, entre {x, u, m l y
{u; m, x} ? Los elementos estn en distinto orden: son
dos representaciones distintas del mismo conjunto. Podemos escribir {x, u, mI = {u, m, x} .

2)
3)
4)

Cules parejas de conjuntos son iguales?

1)

y {m,x,b}
y {o,,ZI
El conjunto de las tres ltimas letras minsculas y

a,m,x}

4)

y, zl

{r,s,t}

'
y

{s,r,t,r}

Casi todos los ejercicios tienen sus respuestas al final

del libro. Debes intentar hacer todos los ejercicios, y comparar siempre tu respuesta con la que aparece al final.
Algunas veces, Junto con la respuesta vienen indicaciones
que te sern tiles para seguir adelante. Los ejercicios
mismos estn pensados de manera que te ayuden a seguir.
Si tienes algunas respuestas incorrectas, reflexiona por
qu te equivocaste, repasa el prrafo anterior a la serie
de ejercicios, y trata de volver a hacer aqullos en los
cuales incurriste en error.
Esta igualdad matemtica entre conjuntos es distinta
a la que usamos al decir "estos dos perros son iguales": slo queremos decir que los dos animales son
muy parecidos, y no que son dos representaciones
del mismo perro; no estamos hablando de una igualdad matemtica.

1-1.-1.--'21
1)

1.1.3

{z,,o}

{X,

Qu tipo de igualdad usamos al decir "3

= 5"?
10

usamos al decir "( a

+ b)

usamos al decir "Pedro es

usamos al decir "Es igual
de a diez que con cuatro

Es muy largo escribir {a, b, e, d, e, t. g, h, i, j, k, 1,

m, n, } . Por esto, utilizamos representaciones ms
cortas. Por ejemplo, al conjunto anterior podemos
llamarle simplemente "A". As, "A" es otra representacin para el mismo conjunto, es decir,

11.1.11

2)
3)

Qu tipo de igualdad
= a2
2ab
b2"?
Qu tipo de igualdad
igualito a su pap"? .
Qu tipo de igualdad
pagar con dos billetes
de a cinco"?

A --ab { , ,c, d, e " f g h l'.

' ,

,1, k, 1,.

m ' n, n-}

~
Si alguien ms llama D al conjunto de las quince primeras letras minsculas del alfabeto espaol, es verdad
que

A =D?

ITIJ
Vamos a llamar M al conjunto de las tres primeras
letras, y -P al de las tres ltimas. As,
M

= { a,

P=

b, c I

{x,y,z}

Si juntamos los elementos de M con los elementos

de P en un nuevo conjunto, tendremos
{a, b, e, x, y, Z }

A este nuevo conjunto lo llamaremos M U P, o "M

unido a P". El smbolo" U "representa que hemos
unido M con P.
Si e = {x, m, n} y E = {b, d, a} , entonces
e ~ E = {x, m, n, b, d, a}
11

)1.2.1{
SiB=
{a,,p,q}
,X=
\f,s,c},S=
{Sl,
y = t i, k, z } , da otra representacin para los conjuntos siguientes, y contesta a las preguntas:

11.2.3l

1)

B U X

2)

XU

3)
4)
5)
6)

Yu S
S UY
Es verdad que y,U S = S U Y?
S uX
y U B
X U S
Es verdad que X U B = B U X?
Es verdad que X U S = S U X?
Forma la unin de cinco parejas de conjuntos entre los que definiste en el ejercicio 1.1. Recuerda
no repetir letras dentro de un conjunto.

7)
8)

9)
"i0)

11)

con M". El smbolo '!()' , representa que hemos intersectado K con M. Tenemos:
K = le, o, n, i. u, n, t \ , M = {a, x, e, r, n, o} ,
y entonces, Kr, M = {c, n, o}
SiT=
{p,q,o\
yN=
{o,s,q,p},entonces
TnN=
{p,o,q}.

12)
13)

B U B
YU y.

14)

Es verdad que S U ~

S?

Cuando decimos que S = I s} , esto no significa

que siempre llamaremos S al conjunto cuyo nico
elemento es la letra s. Para estos ejercicios, as le hemos llamado, pero en otra ocasin podemos llamarle
de otra manera, o decir que S = { i, m, b}

1;1.2.2l

Si R
p, a, n}

{n, q, a} , Q =
, forma

{a, p, s, q}

,L

[s, t, m,

1)
2)
3)
4)
5)

RtlQ
QnR
LnR
Es verdad
QnL
6) RnL
7)
Es verdad
8)
RnR
9)
Es verdad
10)
L n L
11) Es verdad

que R n Q
que R

que Q

que Q

Q n R?

= L n R?
= L n Q?
= Q?

Compliquemos un poco la cosa. Con los mismos tres

conjuntos R, Q y L, del ejercicio anterior, podemos
formar
R U Q

{n, q, a, p,

sl

y entonces, podemos intersectar R U Q con L

Qu relacin encuentras
smbolo "-7-"?

entre el smbolo "(j' y el

Llamemos K al conjunto de las letras de la palabra

"conjunto" y M = { a, x, e, r, n, o} . En qu se parecen estos dos conjuntos?; son distintos, pues las letras
a, x, r no son elementos de K. Pero las letras e, n, o estn
en los dos conjuntos. De esta forma, {c, n, o} es el
conjunto de las letras que estn en K y tambin en M.
A este conjunto lo llamamos "K n M", o "K intersectado
12

(R U Q)

nL =

{s, a, n, p }

Los parntesis indican qu operacin hicimos primero, y (R U Q) n L es el conjunto de las letras que
estn en rR U Q y tambin en L.
Otro ejemplo: R n (Q U L) = {n, a, q \ es el conjunto de las letras que estn en R y en Q u L, mientras que (RnQ)u
L = {a, q, s, t, m, p, n} es el
conjunto R n Q = t a, q l unido al conjunto
L. R n (Q U L) es distinto de (Rn Q) U L.

13 ,

[1.41

11.2.41
(6

Si nos dan G = \ a, b, e, d, e, i } , podemos formar

otro conjunto con las letras que quedan, desde g hasta z.
Este nuevo conjunto se llama G 'o "complemento de G".
El apstrofe indica que hemos formado el complemento
de G. La razn del nombre es que si unimos G con G'
compLetamos el abecedario con que estamos trabajando,
es decir, G U G' es el conjunto de todas las letras minsculas del abecedario espaol.
Vamos a llamar V al conjunto de todas las letras con
las cuales hemos venido trabajando. As, G U G~ = V.
Recuerda que V = {a, b, e, d, e, t. g, h, i, t. k, L, m, n,
, o, p, q, r, s, t, u, v, x, y, Z }

\1.4.11

Qu parecido encuentras entre (Rn Q) U L Y

4) ---;-2?

~.2.51
Usando los mismos tres conjuntos R, Q y L del ejercicio 1.2.3, forma los siguientes conjuntos:

1)
2)
3)

4)
5)
6)

7)
8)
9)

10)

(Q U R)
L
Q U (R n L)
(R U Q) n L
R U (Q
L)
(Q U L) n R
Q U (R n L)
R n (L U L)
L U (R n R)
(R U R) n L
Es verdad que (L

Q)

U L = L?

1) Forma los complementos de cinco de los conjuntos

que definiste en el ejercicio 1.1.
Forma los siguientes conjuntos (Q, R Y L son los conjuntos del ejercicio 1.2.3):
2)

R'

3)
4)

Q'

5)
Si P = Ie, o, s, a I y F = In, i, l} . Cual es P n F?
P Y F no tienen ningn elemento en comn, as que P n F
no puede tener ningn elemento. Este conjunto, que no
tiene elemento alguno, recibe un nombre especial: "el
conjunto vaco", y tiene tambin un smbolo especial: ep.
As, Pt> F = ep.
Igualmente, si U = [x, e, m, ti, P n U = ep, y
F n U = ep.

)1.3.1\
Forma las intersecciones de cinco parejas de los conjuntos que definiste en el ejercicio 1.1. Cules intersecciones resultan ser el conjunto vaco?
14

6)

L'
(R LJ Q)'
(R n L)'

7)

R'n. Q"

8)

R' U L'
(L U Q)'
L U L'

9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)

R'U

(R U Q)' n L
(R' U Q') U L
R' U (Q' lJ L)
Es verdad que (R u Q)' = R' n Q~?
Es verdad que {R n L)' = R' U U?

V'

ep' (Recuerda que ep es el conjunto vaco)

Si H es cualquier conjunto de letras de V, es verdad que H U H' = V?
15

1-1.5

:1

Supongamos que] = l t, u, v} y J = {r, t, s, v, u} .

En qu se parecen estos dos conjuntos? Todos los elementos de ] son tambin de J: ] est contenido en J. Esto
lo simbolizamos escribiendo] C J. El smbolo "e" significa que] est contenido en J o, como dicen los matemticos, "I es un subconjunto de J".
Si 0= \a, m, pl y Z = {m, s, p, r, a} ,podemos
decir que O,CZ.

Si A = t a, b, e, dI,

= \0, el,

T =

s d, el,

{o, p, a, e}

,K=

{a},

di si son verdaderas o falsas

las afirmaciones siguientes:

1)
2)
3)
4)
5)
6)
7)

8)

ACK
KCA
NCA
RCA
ReN
TCR
TeA
ACT

9) , KeN
10) RCT
11) ReK
12) KCR
13) TCN
14) NCR
15) ACA
16) KCT

17)

18)
19)
20)
21 )
22)
23)
24)
25)

TCK
NCN
ACR
cpCA
cpCN
cpCK
cpCR
cpCT
TCT

11.61

lb!.

G =

te,

a, g, di,

entonces

11.6.11
Si J = la, x, b, z. y} , 0= , k, x, y, z }, y R =
x, d , z} , especifica por elementos los conjuntos siguientes, y contesta a las preguntas:

fe,

1)
2)
3)

11.5.11
R

Si F = {b, e, el J y

F-G=

4)
5)
6)

7)
8)
9)

10)
11)
12)

J-O
J-R
O-R
O-J
R-J

R-R
Es verdad que J - O = O - J?
Es verdad que R -.] = J - R?
(JUO)-R
(JnO)-R
(RnJ)"
Rn J,

13) Es verdad que Rn J, = R - J?

14) on R,
15) Es verdad que on R, = 0- R?
16) . Es verdad que Ir: O, = J - O?
17)

J-J

18)

O-O

19)

Ju(O-R)

20)

Es verdad que J U (O -

R)

= (JU O) -

R?

Si E = {r, k, s, m, ti Y H = {a,s, k, n, o} , podemos formar un nuevo conjunto quitando de E los elementos que tenga de H: k, s. Nos resulta el conjunto de
letras que estn en E pero que no estn en H. A este
conjunto 10 llamamos E-H
"la diferencia relativa entre E y H". El smbolo "-"
indica que _al conjunto E
le hemos quitado los elementos que tambin eran de H.

Hemos utilizado ya varios de los smbolos matemticos

ms usuales en la teora de los conjuntos. Recordmoslos, antes de pasar a la segunda parte de nuestro estudio:
igualdad

AS,

E-

(r, m, d.
16

:f=
U

desigualdad
unin
interseccin
complemento
diferencia relativa
coritencin

que nos slfv.en para encontrar

nuevos conjuntos.

17

2.

EN OTROS UNIVERSOS

nuestro conjunto universal ahora fuera de todo el

abecedario espaol, M' tendra entre sus elementos
tambin a las letras maysculas. Algunas veces se
sobreentiende el conjunto universal; otras, habr que
especificado.
En matemticas trabajamos mucho con conjuntos de
nmeros. Hay varios conjuntos que ya conoces, y que
tienen un smbolo especial para ser representados. As,

lIIJ

Durante la primera parte, nos redujimos a hablar del

conjunto de las letras minsculas espaolas. Nos olvidamos del resto del universo, y nos limitamos a hablar de
ese conjunto, que llamamos V. Los elementos de cualquier otro conjunto eran elementos de V, es decir, todos
los dems conjuntos eran subconjuntos de V. Un mate.rntico dira que Vera el conjunto universal en el cual
estbamos trabajando.

es el conjunto de los nmeros enteros mayores que

O (nmeros naturales)
es el conjunto de los nmeros enteros
es el conjunto de los nmeros que pueden ser escritos (representados) como la divisin de dos enteros (como "quebrados")
(nmeros racionales).

12.1.11
Si queremos trabajar en el conjunto de los seres humanos, un conjunto dentro del conjunto universal sera el
conjunto de los estudiantes de la UNAM; otro, el conjunto

Veamos ahora una forma ms prctica de definir conjuntos. Por ejemplo, el de los nmeros enteros menores
que 10. El conjunto universal es Z, y tenemos una propiedad: ser menor que 10. Los matemticos tienen ms
smbolos para simplificar la representacin:
En lugar de "es un elemento de" escriben
En lugar de "tal que", escriben l.

y si nosotros le ponemos algn nombre a cualquier

elemento de Z, por ejemplo g, o algn otro smbolo que
se nos ocurra, tendremos que

A = (Pedro" Margarita, Luis.Y

Define 10 conjuntos distintos dentro de este nuevo
conjunto universal. Recuerda que, para que un conjunto
est bien definido, es necesario que puedan identificarse
claramente sus elementos.
Es importante tener claro siempre en qu conjunto
universal vamos a trabajar. Si M es el conjunto de
las veinte primeras letras minsculas espaolas, y estamos trabajando dentro del conjunto de todas las
minsculas del espaol, sabemos que M' = {t, u,
v, x, y, z l ; pero si M es ese mismo conjunto y
18

= {g

Z I g es menor que lO}

querr decir: "D es igual al conjunto de, los elementos

de Z que son menores que 10". Como el nombre del
simbolito "g" es "csi", podemos leer: "D es igual a csi
de Z tal que csi es menor que 10".

{*

Igualmente, 'l' =
E Z I
= y4j es el conjunto
de los elementos de' Z que son raz ,de 4, o sea

'l' = e2, -2}.

Nos estamos .complicando la vida? Al contrario: ahora podemos definir muchos ms conjuntos que antes, de
una manera simplificada. Por ejemplo:
19

12.1.31
Si T es el conjunto

{X

de todos

los animales,

simbolizar
1)

!X

pertenece

al Zoolgico

de Chapultepec

Qu diferencia

{X
nos evita escribir
les, y

s=

las descripciones

{6.

Q I 6,

nos permite simbolizar

nidad de elementos.

de cientos

un conjunto

que 5}
que tiene

una

infi-

12.1-.21
Si H es el conjunto
T""
"

de los seres humanos,

""
animales
V""
"
"las
letras minsculas
espaolas, entonces M = {q E H I q estudia en la UN AM J
es el conjunto de los estudiantes de la UNAM.

Asocia
1)
2)
3)
4)
5)
6)
7)'

a)
b)
c)
d)
e)
f)
g)

las parejas

{e, o, n, j,
El conjunto
El conjunto
UNAM.
El conjunto
El conjunto
UNAM.
El conjunto
{a, b, e }

\X
2)

es mayor

de conjuntos

Define
mtodo

de los animales

de cuatro

es bpedo} y el conjunto
T I X es bpedo} ?
utilizando

AnB=
De esta manera,
sal de los hombres,

= {x
= {x

E
E

{XIXEA
si trabajamos
H, y

y xEB!.
en el conjunto

H I x juega futbol j
H I x estudia en la UN AM

entonces
en la

en, la

patas.

es mujer I
{ A. E TIA. es cuadrpedo}
l/E V l/es
una de las tres primeras I
{\7 E H I \7 M' }
IX E H I X estudia en la Preparatoria
Nacional}
{a E H i a es mujer y a e M }
\ 0 E V I 0 est en la palabra "conjunto"}

I x E H I x juega
la UNAM }

ftbol

y x

estudia

en

o sea, los elementos de R n M son los que cumplen con

las propiedades
que definen R y M: los jugadores de futbol que adems estudian en la UNAM.

Sean

A el conjunto
B el conjunto

e el

conjunto

de todas las sillas

de todas las cosas verdes
de todas las cosas gruesas.

21
20

univer-

J,

[2.2.1 [

( t E Hit

el

Todos los conceptos

que vimos en la primera parte
son aplicables
en cualquier
conjunto
universal.
As, si
A y B son dos conjuntos cualesquiera,
podemos definir
A n B como el conjunto de los elementos que estn en
A y tambin en B, es decir.

R
M

estudian

diez conjuntos
de nmeros
por propiedades.

Rn M
que

IX

iguales.

u, n, t }
de los preparatorianos.
de los hombres que no estudian
de las mujeres.
de las mujeres

de anima-

hay entre el conjunto

Define por propiedades

FUG

los siguientes conjuntos:

2)
3)
4)
6)

BnC
BnA
BnB

5)

AnlA
CnA

12.2.3 [

CnB

Si

7)
8)
9)

Es verdad que A n B = B nA?

Es verdad que A nA = A?
En cul conjunto universal trabajamos en esta serie de ejercicios?

Tratemos de definir la unin de manera parecida.

Qu propiedades cumplen los elementos de una
unin?
Vamos a recordar un ejemplo:

Si R
{x,
m, o} y S
l.t, o, a \ , ento_nces
RUS = {x, m, o, t, a 1. Cada elemento de RtJS
es un elemento de R de S, es decir,
RUS=

\*\*ER

1
J

1)
2)
3)
4)
5)

6)
7)

8)
10)

Con los mismos conjuntos A, B Y e del ejercicio 2.2.1,

define
AU B
AUC
BU A

'\

BUC

AUA

5)

Si

16, 17, 18, 19 }

F= l x E N \ x es menor que 5} Y
G = (x E N \ x es mayor que 15 y menor que
20} ,

= X

{x
{x

Z I x es menor que 8}

EQ I x es .negativo }

l.x

es par }

Di si son verdaderas o falsas las afirmaciones siguientes:

11)
12)

3)
4)

es mayor que

= { 6, 7, 8, 9, 10, 11 }

9)

*E,S}

{2.2.2l
1)
2)

El nmero 3 E F U G porque es menor que 5, y el

17 E FU G porque es mayor que 15 y menor que 20.
Cada elemento de F U G cumple al menos con alguna
de las dos propiedades, la de F o la de G.

cnc

10)
11)
12)

E N I x es menor que 5
15 y menor que 20 }

es decir, FU G = { 1,2,3,4,

AnB
AnC

1)

= {X

13)
14)
15)
16)

9ED
7EDnE
EIUJ
128EIUJ
1EDUI
1 EDUE
4EEUJ
4 E DU 1

-15

137EJUD
-137 E JLjD
-6EDUE
10EDnJ
5 EEUD

5 E E nD
5 EEUJ

5 E En]

12.3l
Si A es un conjunto, A' es el conjunto de 10 que no
est en A, o sea, A' = {x I no es verdad que x EA}
,
o bien, si " 1" simboliza "no es elemento de" '_
A'

{x

Ix

23
22

ti A

Recordemos que es importante tener claro el conjunto

universal en que trabajamos.
12.3.11
En el conjunto universal H de los seres humanos,
M = {x E H I x estudia en la UNAM} ,
M' = X E H I x f M J , es decir,
M' = {x E H I no es cierto que x estudie
UNAM] , es decir,
M'
{x E H I x no estudia en la UNAM} .

SI

en la

Si definimos

Anlogamente,

Especifica los siguientes conjuntos y contesta las preguntas:

1)

A'ne

11)

12)
13)
14)
15)
16)
17)
18)
19)

20)
21)

n B) = { x I no es cierto que x E A nB } , es decir,

= {x I no es cierto que x E A Y x B } , es decir,
.. ( x I o no es cierto que XE A, o no es cierto
que x

A'

3)

10)

(A

A n,e

2)
4)
5)
6)
7)
8)
9)

(A lJB)' = A'n B' (ve el ejercicio 1.4.1.15 de la pri'mera parte, y 2.3.1.13 de esta segunda parte).

H I x es mujer }
B = t x E H x es hombre 1
e = t x E H x estudia en el IPN }
{x

Si A Y B son dos conjuntos cualesquiera, sera SIempre verdad que (A UB)' = A'nB',
y que (An B)'
A' UB'? Veamos.
(AU B)'
{x I no es cierto que x E Au B) , es decir,
{x I no es cierto que x E A X B} , es
decir,
- {x Ixl A Y x lB} .: es decir,
- {x I x E A' Y x E B'} , es decir,
{x I x E A' n, B') , o sea,

=
=

[2.4[

B } , es decir,

= {x Ixl Ar x t B' } ,
= {x I x eA' x B' } ,

e'

A'n e'
A ue
(AUe)'
BU A
(BUA)'
B' nA'
B'u A'
BnA

es decir,
es decir,
{ x I x E A U B' } , o sea,
E

(A nB)' = A'UB' (ve el ejercicio 1.4.1.16 de la primera

parte, y 2.3.1.20 de esta segunda parte).

Las igualdades

Es cierto que (B uA)'

B'n A'?
Es cierto que (A U e)' = A'n C?
Es cierto que (B ue)' = B' n e'?

= A'n

(A n B)'

= A'u

B'

(A
e)'
A' uC'
(Bne)'
B'u e'

(A UB)'

son conocidas como las Leyes de De Morgan.

Es cierto que (A n C)' = A' U

Es cierto que (AnB)/=A'UB'?
24

e'?

[2.4.1/
De manera semejante a como demostramos

25

las Leyes.

de De Morgan, demuestra que para cualquier pareja de

conjuntos A y B,
A U (A nB) = A (v el ejercicio 1.7.5.10 de la
pnmera parte)
2) A n (A UB)
A.
3) Si V es cualquier conjunto universal, V' = <p (ve
el ejercicio 1.4.1.17 de la primera parte)
4)
Si A es un conjunto dentro del conjunto universal
V, AU A' = V (ve el ejercicio 1.4.1.19 de la primera parte)
5)
Si A es un conjunto cualquiera, A A' = <p.
1)

7) AnB=A
8)
9)

10)
11)
12)
13)

CnA=C
CnB=C
<pCA,
<p!CB
<PCC
cpCD

(2.5.2l
Qu relacin encuentras entre el hecho de que ACB
y que A nB = A?

1251'
Sabemos que un conjunto A es subconjunto de B cuando todos los elementos de A son tambin elementos de
B. Hablando de propiedades, esto quiere decir que todos
los elementos que cumplen con las propiedades de A cumplen tambin con las propiedades de B. As, si

A
{x E N I x es menor que 20} Y B
{x E N I x
es menor que 30} , podemos afirmar que A CB, pues
cualquier nmero natural menor que 20 es tambin menor que 30.

12.5.1l
Si A Y B son los conjuntos definidos arriba, y

e=
D

{x EN I x es mayor que 10 y menor que 15}

{x E N I x es mayor que 3 }

Di si son verdaderas o falsas las afirmaciones siguientes:

BCA
CeB
AeD
4) DeB
5) CCA
6) CeD
1)
2)
3)

26

27

Forma el conjunto de parejas que representa la relacin "ser ms viejo que" entre ellos.
Una relacin muy utilizada en matemticas es la de
"ser mayor que". Por ejemplo, si' tenemos el conjunto
A = { 1, 4, 6} y el conjunto B = { 1, 2, 3, 4, 7} , la
relacin "ser mayor que" entre el conjunto A y el conjunto B, queda definida por el conjunto de parejas

3.

RELACIONES
{ (4, 1), (4, 2), (4, 3), (6, 1), (6, 2), (6, 3), (6, 4) }

[H]
Cuando pensamos en conceptos como la amistad, o la
paternidad, no se nos ocurre que la matemtica tenga
algo que ver. Pero estos conceptos hablan de relaciones
entre conjuntos, en este caso de conjuntos de personas.
En matemticas es muy frecuente hablar de relaciones
entre conjuntos. Necesitamos formar un modelo simblico para poder trabajar matemticamente. Cmo simbolizaramos una relacin entre dos conjuntos? Simbolizar, por ejemplo, el concepto de paternidad, es muy difcil, pero los matemticos han encontrado una manera de
trabajar con una relacin: fijndose en las parejas de
elementos que estn en esa relacin.
As, si para simbolizar que Pedro es pap de Juan,
convenimos en escribir (Pedro, Juan), y continuamos escribiendo (Francisco, Jaime), (Julin, EIsa), etc., tendremos un conjunto de parejas en las cuales primero est el padre y despus el hijo. Este conjunto de parejas
ordenadas (en las cuales hay un primer lugar y un segundo lugar) nos permitir trabajar simblicamente con
la relacin de paternidad: si queremos saber si Jaime es
( pap de Ins, bastar ver si la pareja (Jaime, Ins) es
un elemento de nuestro conjunto.

[I!]
Si Juan
Javier
Mara
Felipe
Laura

Como ahora estamos hablando de una relacin entre

dos conjuntos, A y B, el primer elemento de cada pareja
es un elemento de A y el segundo es un elemento de B.
Adems, el primer elemento es mayor que el segundo, y
aparecen todas las parejas que cumplen con lo anterior.
La pareja (4, 7) no est en la relacin, porque el 4
no es mayor que el 7. Tampoco (7, 6), porque el orden
est invertido: quedamos en que iban primero los elementos de A y despus los elementos de B en cada pareja, pues la relacin es "entre A y B", Y no "entre B
y A".

13.1.21
Si
1)
2)

e = { 10,

aos,
aos,
aos,
aos,
aos.

28

Y D = {15, 25, 35 } ,

Simboliza la relacin "ser menor que" entre e y D

Simboliza la relacin "ser menor que" entre D y e

Podemos tambin inventar una relacin arbitraria entre dos conjuntos. Por ejemplo, si E = {a, b, o}
y
F = { 6., o, +I , el conjunto
{(a,

tiene 15
" 25
" 20
5
"
12
"

20, 30}

6.), (a, +), (o, o), (o, 6.), (b, o) ]

representa una relacin entre E y F, pues, aunque no

podemos precisar si representa una relacin conocida,
de hecho est sealando que a y 6. estn relacionados,
como b y o, en la relacin arbitraria que definimos.

29

13.211

Si definimos R2 entre T y M diciendo: (x, z) E R2< 9di si son verdaderas o falsas las afirmaciones siguientes:

Define dos conjuntos cualesquiera

cin arbitraria entre ellos.

y define una rela-

+ 10 > z,

Podemos, adems, definir una relacin de otra manera. Por ejemplo, la relacin "ser mayor" entre A = {'1,
4, 6) Y B = \ 1, 2, 3, 4, 7} que tenamos ms arriba,
y representbamos por:

2)

(7, 14) ER2

(3, 14) E R2

3)

(4,12)ER2

4)

{ (4, 1), (4, 2), (4, 3), (6, 1), (6, 2), (6, 3), (6, 4) }

7)

(1,13)ER2
(6, 15) E R2
5 ER2
14 E R2

1)

podramos definirla diciendo: "una pareja ordenada de

elementos de A y de B est en la relacin 'ser mayor',
siempre y cuando el elemento de A sea mayor que el de
B". El ejemplo suena tonto, pero nos permitir llegar
a una simbolizacin ms precisa, y muy til:
Si

en lugar de "un elemento de A" escribimos "x",

en lugar de "un elemento de B" escribimos "y"
y llamamos "R1" al conjunto de parejas que simboliza la relacin, podemos escribir:

"(x, y) E R, siempre y cuando x sea mayor que y"

como una definicin de R, la relacin "ser mayor" entre
A y B.
Los matemticos tienen ms smbolos que simplifican
la escritura:

5)
6)

13.3l
Podemos ahora definir muchas relaciones,
rias, aunque no podamos escribir todas
Por ejemplo, si "a" 'simboliza un elemento
simboliza un elemento de Q, definimos u,
diciendo:
(a, b)

Rs <;::::::> -

aun arbitrasus parejas.

de Z, y "b"
entre Z y Q

a
=b
2

Podemos encontrar una infinidad de parejas que sean

elementos de Rs. Dando cualquier valor entero a la "a",
encontraremos un valor para "b". Por ejemplo, si a = 3,

entonces b

= -,

'

y afirmamos que (3, ~)

Rs. Al con-

trario, si nos preguntamos si (6, 3) ERa podemos responder

En lu~ar de "siempre y cuando", o "s y slo si", escriben: '<:=::?:' en lugar de "es mayor que", escriben:
">". As, nuestra relacin R 1 queda definida por:
(x, y) e

Rl~X

>

y (sabemos

que x

A, y

e B)

13.2.2 (
Sea T = t x E N I 7 > x}
es decir, el conjunto de
los nmeros naturales tales que 7 es mayor que ellos, y
M

= {Z

NI z

> 10
30

y 15

>z

-..

que s, puesto que

pero (5, 4) t Rs, puesto que

=1= 4. Nuestro conjunto-relacin Ri3 est bien definido,

2
puesto que sus elementos pueden ser claramente identificados, aunque nunca podamos escribirlos todos.

l3.3.11
Si

2 = 3,

"x" simboliza "un elemento de N", y

"y" simboliza "un elemento de Z", podemos definir

31

113.4.3)
R4

{(X,

R4~

I x E N,

y)

igual,
(x, y)

1)

Z, -x = y } ,

10 que es

= y.

Escribe cinco parejas

mentos de R.

ordenadas

Podramos considerar el producto cartesiano entre

dos conjuntos como el conjunto universal en el que
definimos una relacin entre esos dos conjuntos?

que sean ele-

Di si son verdaderas o falsas

2)
3)

(6,
3)
(1, - 1)

4)
5)

(7, - 8)
(4,3-7)

R~
R~

R4
E

R4
'.

(3.41
Qu sucede con el conjunto de todas las parejas ordenadas entre dos conjuntos? Es la relacin ms extensa
entre ellos. Tiene un nombre especial: "Producto Cartesiano", y un smbolo particular: "X",
As, si A

= {2,

4, 6} Y S

{a,

b l,

A X S = { (2, a), (2, b), (4, a), (4, b), (6, a), (6, b)}
S X A = {(a, 2), (a, 4), (a, 6), (b, 2), (b, 4), (b, 6)}

'3.4.1 [
Forma el producto cartesiano entre los conjuntos que
se indican:
1)
2)

3)

*)

y B = {+, -;-\
N [x> 8 Y 12> x} y
l x EN I 4 > x }
A = {a, e, d} y B = {4, 5 J

A = {O,
A

{x
B

13.4.21
Cmo definiras, usando el mtodo por propiedades,
el producto cartesiano entre dos conjuntos cualesquiera
A y B?
33
32

A nuestro conjunto universal V lo representamos mediante un rectngulo y, dentro de l, los conjuntos A y B.

.Como B eA, la figura que representa a B aparece dentro del crculo que representa a A.

4.

Si Fido es un perro, es un elemento de A, pero no un

elemento de B, Y podemos representado como el punto
de la figura. As, Fido E V, Fido E A, pero Fido t B.
Cora es un animal, pero no es gato ni cuadrpedo,es
decir, Cora E V, pero Cora ~ A. En cambio, podemos
afirmar que Moiss es un gato.

DIAGRAMAS

K!J

Qu representa
figura?

Vamos, por ltimo, a estudiar una representacin grfica de los conjuntos, que es muy til porque nos permite "visualizarIos". Estamos acostumbrados a hacer algo semejante cuando, por ejemplo, utilizamos el plano
de una ciudad: para saber si una calle pertenece a la
ciudad, averiguamos en el mapa si est dentro de sus
lmites.

el rea sombreada

de la siguiente

ciudad A

"
La -Av. Jurez est dentro de la ciudad A, pero la
calle 12 no.
Supongamos que V es el conjunto de los animales,
A" =-{ x EV x es cuadrpedo], y B := {x E U x es gato} .
- Una manera de representar los tres conjuntos V, Ay
B, es la siguiente:
V

El rea sombreada es lo comn a M y N; es decir,

que cualquier elemento del universo V que representamos dentro de ella ser porque es un elemento de M y
de N. El rea sombreada representa el conjunto Mr\N.

14.1.11
Qu representan

34

las reas sombreadas?

35

."1
I

a)

~~u

3)

A -

~z.

B
e)

b)

I ~

JiU
4)

d)

r)

LJ (B n e)

-1

d)

L
5)

(B

U e)

e)I'~

6) A n (B

~~

n e)

J
l

1-

/)

-~

14.1.2l
Seala qu representacin escrita corresponde a cul
representacin grfica de los conjuntos (las partes sombreadas) :
1)

en

(A

7) e

(A

B)I

4.

B)

a)1 '~.

::;.

i>

e'
A~B

.h)1
2)

~_

B-A
b)

'~.
~

14.1~31
Sombrea en el diagrama el rea que representa cada
uno de los conjuntos sealados:

36
37

-5

1)
2)
3)
4)
5)

n,@CJ

~I\.V6

AnU

B nc
eUA
A U
Af/(BUC)

q~.I\I

10V

I /'

'5

10

4 e>
'--_...::...._-----'

csr.c,
9~b1V

C)

I
4

4. .41

1
5

8
10

14.1.61

1 1

Si A n B = </>, e CB y D-cA, y A, B Y e son conjuntos dentro del conjunto universal U; dibuja su diagrama,
y sombrea D U (B n C').

Si V = { X N 111 > x r , A = {1,' 3, 5, 7 } ,

B == {2, 4, 6, 8 } , e = {1, 2, 7, 8, 9 1 , dibuja un
diagrama y sombrea
1)
2)

.1.5,1

14

1)

Si V = ( 1, 2, 3, 4,.5, 6, 7, 8, 11, 12 } , T ==
{ 2, 6, 8 } , W = {1, 3, 5, 11} . Cul es el
diagrama correcto?

(A n e)'
A' U 'C'

!4.1. 71
Si A n B = C, e CD pero D =F A Y D -=f:. B, dibuja
el diagrama correspondiente y sombrea D n A.

14.1.8 [
Segn el diagrama:

fIa\

:'\I\...U~
a}

r-b

4~.

L.

_' .

.i:

v
B

2)

Si V

K =

{x

u, 3,

N x < 11}, S = {x E N x < 4},

5, 7 }, Cul es el diagrama correcto?

3-8

39

Contesta si son verdaderas o falsas las afirmaciones siguientes:

1) A n B =Fe/>
2)
A n e e B
3)
DuCcB
4) e n D e B
5) A nB e C

6)
7)

B n D
A U D

8)
9)
10)

C UD
D E B
A E V

a; B

ct A

uB
Lista de amholos

=1=

>
p

C>

ct

i
I

LJ
(\
e/>

N
Z

es igual a
es diferente de
es mayor que
no es mayor que
es subconjunto, de..
no es subconjunto de
es elemento de
no es elemento de
tal que (en la especificacin de un conjunto)
unin
interseccin
complemento
diferencia relativa
conjunto vaco
conjunto de los nmeros naturales
conjunto de los nmeros enteros
conjunto de los nmeros racionales

41

40

t 1.1.31
S. A, D, ( a, b, c, d, e, i. g, h, i, i. k, l, m, n, J y la
frase "el conjunto de las quince primeras letras del alfabeto espaol"; son cuatro representaciones del mismo
conjunto.

RESPUESTAS

l.

A LOS EJERCICIOS

En un universo sencillo

11.1.11
1) '{ a, m, x I es distinto de {m, x, b i . Podemos
escribir {a, m, x J 1: {m, x, b } .
2)

{ z,

o}

= t o,

, Z

3)

La frase: "el conjunto de las tres ltimas letras

minsculas" representa el mismo conjunto. que
{ x, y, z } . Los dos conjuntos son, de hecho, el
mismo.

4)

Los elementos del conjunto {s, r, t, r}

son:
s, r, t, al igual que los de { s, r, t l . Es innecesario repetir un elemento dentro de un conjunto.
AS, {s, r, t, r } = {s, r, r ), Hay que procurar
no repetir los elementos en la representacin de un
conjunto, para evitar confusiones.

11.1.21

11.2.1
1)
2)
3)
4)
S)
6)

I
BU X

xu

YuS
S U Y

S.

B =

, p, a. t. s, e 1
{ i, s, e, a, , p, q 1

{ a,

{ i, k, z, s }
{ s, i, k, i. j

S U X = {s, i. e} . Recuerda
no repetir la "s",
7) y U B = {i, k, z, a, , p, q}
8) X U S = U, s, e }
9)
10)

S.
S.

12)
13)
14)

B U B = l a, , p, q 1
y U Y = {i, k, z 1
S. S U S = {s},
es decir, S U S = S.

11.2.21
"U" es un smbolo que indica una operacin entre dos
conjuntos: con dos conjuntos sacamos un tercero. De la
misma forma, "-;-" es el smbolo de una operacin entre
nmeros: con dos nmeros como 6y 3, sacamos otro

(6 -;- 3).

11.2.31

1)

Igualdad matemtica. Estamos afirmando que

"3+2" representa el mismo nmero que el smbolo "5".
2)
Igualdad matemtica.
3)
Igualdad no matemtica.
4) Igualdad matemtica. Estamos diciendo que dos
billetes de a diez y cuatro de a cinco representan
la misma cantidad.
.
42

que es mejor

R n Q = { a, q J
Q n R = {a, q}
L nR = { a, n }
4) S.
5)
Q n L = l a, p, s)
6) R nL = { n, a}
S.
7)
1)
2)
3)

43

8)

9)
10)

11)

n R = t n, q, al. Es el conjunto de las

letras que estn en R y tambin estn en R, es
decir, simplemente las que estn en R.
S.
L n L = s, 1, m, p, a, n } . L n L = L.
S, como en el ejercicio No. 8.

4)
5)
6)

7)

11.2.41

8)

"-~

El uso de los parntesis. (R In Q) U L significa que

primero intersectamos R con Q, y luego unimos R n Q
con L. De manera semejante, (6+4)
-;- 2 significa que
primero sumamos 6 con 4 y luego dividimos 6
4 entre
2. As como (R n Q) U L =f::. R n (Q U L), tambin
(6
4) -;- 2 ::f:. 6
(4 -;- 2).

2)
3)

4)
5)

6)
7)
8)
9)

10)
11)
12}
13)
14)

11.2.51
1)

9)

15)
(Qu R)nL
Q u(RnL)
(RuQ)nL=
RU(QnL)
(Q uL) n R
Q u (R n L)
R n(LUL)
LLJ(RnR)
(RUR)nL=

= ( a, p, s, n
= { a, p, s, q, ni

=
=

{n, a, p, S}
{n, q, a, p, S}
{ a, q, n}

{n,

= {a,

p, s, q, n

17)

18)

a }

= (s, t, m,
{n,

16)

p,

a, n,

q}

a}

19)

10) S. L n Q es el conjunto de letras que estn en

Q y en L; si ste 10 unimos a todo el conjunto
de letras que estn en L, nos queda por resultado todo el conjunto de letras que estn en L,
es decir, el conjunto L.

3)

R' = ( b, e, d, e, i, g, h, i, j, k, 1, m, , 0, p, r,
s, t, u, v, x, y, z }
Q' = \ b, e, d, e, i. g, h, i, j, k, 1, mi.n, , o,
r, t, u, v, x, y, z 1
44

={
=

falsa

2) verdadera

11.4.1 (
3)

=
={

11.5.1)
1)

2)

{b, e, d, e, i, g, h, i, i. k, 1, , 0, q, r, u,
v, x, y, z I
(R UQ)' = { b, e, d, e, i, g, h, i, t. k, 1, m, n,
o, r, t, u, v, x, y, z l
(R n L)'
{b; e, d, e, t. g, h, i, t. k, 1, m, ,
0, p, q, r, s, t, u, v, x, y, z }
R' n Q'
b, e, d, e, i, g, h, i, t, k, 1, m, , o,
r, t, u, v, x, y, Z }
R' U L' = { b, e, d, e, t. g, h, i, i, k, 1, m, , o,
p, q, r, s, t, U, v, x, y, z l
(LU Q)'
{b, e, d, e, t, g, h, i, j, k, l, , o,
r, u, v, x, y, z }
LUL'= V
R'UR
V
(R U Q)' n L
t, m}
(R'U Q') UL
{a, b, e, d, e, t, e. h, i, j, k,
1, m, n, , o, p, r, s, t, u, v, x, y, z I
R'U(Q'UL)=(R'uQ')uL
(como el ejercido anterior)
S. V los ejercicios 5 y 7.
S. V los ejercicios 6 y 8.
Si V es el conjunto de todas las letras, V' es el
conjunto de las que quedan, es decir, ninguna:
V' = cp (Recuerda que slo estamos considerando las letras minsculas del abecedario espaol).
Si cp es el conjunto con ninguna letra, ep' es el
conjunto de las que quedan, es decir, todas:
cp'
V.
S. Al unir un conjunto de letras con el conjunto de todas las dems nos resulta todo el abecedario.
L'

4)
5)
6)
7)
8)

falsa
falsa
verdadera
falsa
verdadera
falsa
45

9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)
20)
21)
22)
23)
24)
25)

verdadera
falsa
falsa
falsa
falsa
falsa
verdadera. Todos los elementos de A son elementos de A.
falsa
falsa
verdadera, como en el ej. 15.
falsa
verdadera. Decimos que "todos" los elementos
de O estn en cualquier conjunto, puesto que no
tiene ninguno
verdadera, como en el ej. 20
verdadera, como en el ej. 20
verdadera, como en el ej. 20
verdadera, como en el ej. 20
verdadera. No importa cul conjunto sea T,
siempre ser verdad que TCT.

15) S. V los ejercicios 3 y 14

16) S.
17) J-J=cp
18) O-O=cp
No. V los ejercicios 9 y 19.
2.

J - 0= {a, b}
J-R=
{a, b, y}
0- R = { , k, y}
O- J
{, k J

5)

R -

6) R -R
7)
8)
9)
10)
11)
12)

13)
14)

=
=

{e,

l-g
2-e
3 - d. M'

= cp

46

En otros Universo!

{x

Ix

no estudia en la UN AM }

4-a

5-f
6-b
7-e

(2.1.3 (
t x E H x es bpedo Ies el conjunto de los- hombres bpedos (x E H)
{x E T I x es bpedo} es el conjunto de los animales bpedos (x E T)

{2.2.11
1)

d}

No.
No.
(JUO) -R = {a, b, y, , k}
(Jr.O)-R=ly}
(Rt> 1)' = {a, b, e, d, e, i, s. h, i, j, k, 1, m,
n, , 0, p, q, r, s, t, u, v, y} . El complemento es
de toda la interseccin.
Rn.J' = {e, d } . El complemento es slo del
conjunto J.
S. V los ejercicios 5 y 12.
O nR' = { , k, Y }

k}

,(2.1.21

11.6.11
1)

{a,

x; b,

z, y, ,

Ju (O -

1)

2)
3)
4)

R)

19)

20)

2)
3)
4)

5)
6)

7)
8)
9)

A () B = {s I s es una silla y s es verde} , es

decir, el conjunto de las sillas verdes. Recuerda
que en vez del smbolo '3" puedes poner el
que quieras.
.
AnC
{s I s es silla y s es gruesa} , es decir, el conjunto de las sillas gruesas.
B nC
{s I s es verde y s es gruesa I , es
decir, el conjunto de las cosas verdes gruesas.
B n A = {s I s es verde y s es silla }
An A
s I s es silla]
B n B = { s I s es verde }
C nA
s I s es gruesa y s es silla}
C nC = { s I s es gruesa }
C n B = { s I s es gruesa y s es verde 1

=
=

={
={

47

10)

11)

12)

S. V los ejercicios 1 y 4
S. V el ejercicio 5
Existen varias respuestas posibles. El conjunto
universal ms pequeo sera (A..) B) U C. Podramos tambin considerar al conjunto de todos
los objetos, etc.

)2.2.2:1
1)
2)
3)
4)
5)

={
=

s I s es silla s es verde} , es decir, el

conjunto de las co~as CJ,ueson sillas o son verdes.
AU e
I s I s es silla o s es gruesa J
.
Bu A = A U B = ( s I s es verde s es silla J
B U C = {s I s es verde s es gruesa}
A U A = A = {s I s es silla }
A UB

12.2.3 (
1)
2)
3)

4)
5)

6)
7)

1)

= {x

Ane
IPN}

Ix

es mujer

x estudia en el

E H I no es cierto que x sea mujer}

,
es decir, A'
X E H I x no es mujer}
.
3) A' n e = \ x E H I x no es mujer y x. estudia en
el IPN}
4) C' = { X E H I no es cierto que x estudia en el
IPN } , es decir C' = { X E H I x no estudia en
el IPN}
5)
A' n e = { x E H I x no es mujer y x no estudia
en el IPN}
6) A U e = {x E H I x es mujer x estudia en el
IPN}
7) (A U e)' = { XE H I no es cierto que x sea
mujer que x estudie en el IPN } , es decir,
(A U C)' = { X E H L x ni es mujer ni estudia
en el IPN } , es decir, (A U e)'
{x E H I x
no es mujer y x no estudia en el IPN }
8) B U A = {x E H I x es hombre x es mujer }
9) (BU A)' = { X E H I x no es hombre y x no es
mujer} (v el ejercicio 7). Es decir, si aceptamos slo dos sexos en los seres humanos,

2) A' = {x

={

verdadera
verdadera. 7 es elemento de D y es menor que 8,
es decir 7 E D Y 7 E E.
verdadera. -15 es negativo, -es decir, '-15E 1
.y, por tanto, -15 e 1 -15 El
verdadera. 128 es par
falsa. 1 no es ni elemento de D ni elemento de 1
verdadera. 1 E E
verdadera. 4 e El Y adems 4 E/, . sea que es
verdad que 4 e E
4 EJ
falsa.
falsa.
falsa.
verdadera. -6 es menor que 8, es decir, -6

8)
9)
10)
11)

12.3.11

EE

12)

verdadera. 10 E D y 10 E J, es decir, 10 E Dnl

13) verdadera. 5 E E
14) falsa. 5 E E, pero no es cierto que 5 D, es decir,
E D (" t" es la negacin de "E")
15) verdadera. 5 E E
16) falsa. 5,1

5,

48

(B U A)'

cp

B' n A' = {x E H I x no es hombre y x no es

mujer} = cp
11) B' U A' = {x E H I x no es hombre x no es
mujer}
.
12) B nA = t x E H I x es hombre y x es mujer} ,
es decir, Btv A
cp.
13) S. V los ejercicios 9 y 10
14) S. V los ejercicios 7 y 5
15) S.
16) (A ne)'
{x E H I no es cierto que x sea
mujer y que x estudie en el IPN } , es decir,
(A n e)' = {x E H I o no es cierto que x es
mujer, o no es cierto que x estudie en el IPN } ,
es decir, (Ar\ C)'
X E H I x no es mujer
x no estudia en el IPN }
17) A' U e' = { x E H I x no es mujer x no estudia en el IPN}
10)

={

49

18)

(B nC)' = { x EH I no es cierto que x sea

hombre y que x estudie en el IPN } , es decir,
(B n C)"
{x E H I x no es hombre x no
estudia en el IPN }
B' U e' = { x E H I x no es hombre x no estutudia en el IPN}
S. V los ejercicios 16 y 17
S.

19)
20)
21)

2)

1)

2)
3)

4)
5)

(2.4.1)
1)

12.5.11

6)
7)
A U (A n B) = {x I x E A x e A n B l , es
decir,
= {XIXEA XEA yx (BI,
es decir, ya que si x est en A bien est en
A y en B es lo mismo que decir que x est en A,
= {XIXEA},
o sea,
AU (A n B) =A
A n (A U B) = { x I x E A Y x E A U B l , es
decir,
.
x I x EA y x E A X E B },
es decir, ya que si x est en A y adems puede
estar en A , en B es lo mismo que decir que
est en A,
={xlxEA},
o sea,
. An (A U B) =A

8)
9)

10)
11)
12)
13)

={

3)

V' = {x E VI xt V } , pero no existen tales elementos, es decir V' = el>

4) A

= {X

V I x E A X A' l, pero cualquier "elemento de V cumple con alguna de estas

dos propiedades; o. est en A, o no est en A,
es decir, A U A' = { X E V I x V J , o sea, A U
A'= V
..
U A'

5) A

n A' = {x E V I x E A Y x ,. A), pero esto no

puede ser, es decir, A n A' = cf>
.
50

falsa. Hay nmeros que estn en B y no estn

en A (por Ejem. 28 E B, pero 28 ~ .A).
verdadera.
falsa. N o todos los elementos de A estn en D
(por Ejem.: 1 E A, pero 1 t D)
falsa
verdadera
verdadera
verdadera.A n B = fx E.N I x E A Y x B J ,pero todos los elementos de A cumplen con estas
propiedades, pues AC B.
verdadera. (v el ejercicio 7)
verdadera. (v el ejercicio 7)
verdadera. (v el ejercicio 1.5.1.20 de la primera
parte)
verdadera. (v el ejercicio 1.5.1.20 de la primera
parte)
verdadera. (v el ejercicio 1.5.1.20 de la primera
parte)
verdadera. (v l ejercicio 1.5.1.20 de la primera
parte)

12.5.~
=

Siempre que ACB, es verdad que A n B

A (v el
ejercicio 2.5.1.7), y siempre que A n B = A, es porque
A eB, para cualquier pareja de conjuntos. Por esto, es
10 mismo afirmar que un conjunto es subconjunto de
otro, que decir que su interseccin es igual al primero.
3.

Relaciones

J3.1.11
(Juan, Felipe), (Juan, Laura), (Javier, Juan), (Javier, Mara), (Javier, Felipe), (Javier, Laura), (Mara,
Juan), (Mara, Felipe), (Mara, Laura) , (Laura, Felipe).
51

13.1.2 1
1

1)

{(lO, 15), (10, 25), (10, 35), (20, 25), (20,

35), (30, 35)}
{(15, 2.0), (15, 30),. (25~ 3Q)}

2)

1:3.4.31
S. Es decir, si A y B son dos conjuntos, y R es una
relacin entre A y B, R eA x B.
~
4.

1~.2.2f
1)
2)

3)
4)
5)
6)
c7)

Falsa. 7 t T
Falsa. No. es verdad que 3
10 > 14, es decir,
3
10 }14.
Verdadera. '4
10> 12
Falsa. 1
10~ 13 (v el ej. 2)
Falsa. '15 t' M
Falsa. R2 es un conjunto de parejas
, Falsa. (v el ej. 6)

Diagramas

(4.1.1 J
a)
b)
e)
d)
e)

141.~1
FUG

1-d

e'

2-e
3-e

(AUC)'
FUC
A U B'

4-g
5-, h

6-b
7-a

8-1

113.3.1l
=

1)

Falsa. No es cierto que -6

2)
3)
4)

Verdadera.
Falsa. -.
-8 (v el ej. 1)
Verdadera. -4 == 3-7

*3

14.1.3]
3, es decir, -6

7:4=

_"

1)

134.11
1)
2)

A X U = { (0,
A X B = {(9,

3)

(10,2),
A X B
(d, 5)}

+), (O, -i-), (*,

~.4.21 .
A X B = {~x, y)

GJ

(j)

An U '

2)

BnC

u
~~IU

3)

Ix

IU

+). (*, +) r

1), (9, 2), (9, 3), (lO, 1),

(10,3), (11, 1), (11,2), (11, 3),1
(a, 4), (a, 5), (e, 4), (e, 5), (d,4),

=(

OA ..

IU

CUA

4)

A U (Bn C)

A, Y E B }
52

5)

cp.

No hay rea comn entre A y B U C.

53

&.;1.7]
[ 4.1.41

v
B

[4.1.8}
1)
2)
3)

@]
1)

4)

2)

5)

6)
7)

14.1..61

8)
1)

9)
10)

(A

2)

n C)'

Verdadera
Verdadera
Verdadera
Verdadera. C nD = cb. y cbCB
Falsa
Verdadera
Verdadera
Falsa
Falsa'. El smbolo "E" se utiliza entre un elemento y un conjunto, no entre dos conjuntos
Falsa, como en 9)

= { 2, 3, 4, 5, 6, 8, 9, lO}

Igual que 1), pues ya sabemos que (A n C)'

A' U C' por una de las leyes de De Morgan
54

=
55

Este libro se termin de imprimir el

da 1o de febrero en los talleres de
Litoarte, S. de R. L. La tipografa,
composicin 'Y supervisin estuvo a
cargo de Diseo y Composicin Litogrfica, S. A. Boulevard M. Avila Camacho nm. 40-316. Naucalpan de
Jurez, Edo. de Mxico.
Se imprimieron

50,000 ejemplares.