Sie sind auf Seite 1von 65

Temas

eo1e ee n de
matemticas
i

Conjun tos
tra duccin de
Federico G a lv.n Anaya
profesor de m a t e mticas
de la U.N.A.M.

National Council of
T eachers
of M a thematics
U. S . A .

Editorial Trillas
Mxico 1971

TItul~ di tsta obra en in11liJ:


ToPics in Matltematics for Elentenlary School Teaclten
Booltlet N'""' 1 . .&
e 1964, Tllt Natio>tal Councf/ o/ Tet~chen o/ Mathematics, /nc.

W113hinr/on, D. C.. U.S.A.

Primera edlcidn en mgtt,, 1964

Tercera n impresi6n en inlllls, 1965


'Prlmra tdici6f! tn ~pallol, 196?
RlimpnsitJ~ts. 1969, 1970 JI tJbri/19?1

Cuarta reimpre.in, octubre 1971


La pru>tlafi6n y
disPosicin en umiwnto de
Temas dt matemticas
CWJ.derno 1,

Co>~itmto.s

son ltroPitdad dd editor


!JerJtos ruerfl(ldOI eN /<tN/(UQ IS/)ai!IJia

e 1967, Editrwi11l Trillos, S. A .,

Av. S .d1 M~'D 43105, Miro 1, D. F.

Miembro de la Cnutra Nacional


ti' la lndll!ltria Edit~riaL Rt6. ,.,,., 158
/mpnso '" MlxietJ

Prefacio

Este cuadcmo es uno de la serie de ocho, escrita para maestros de en~eanza elemental ms bien que para sus alumnos. Cada cuaderno comprende la exposicin de un tema bsico de matemticas. Ests temas se
hallan entre los que el maestro de enseanza elemental necesita dominar
para tener una comprensin ms cabal de la matemtica que usualmente
se ensea en Ja escuela de ese grado. Cada cuaderno es )a introduccin a
un tema, no 4n tratado exhaustivo. El lector interesado debe estudiar el
tema con mayor profundidad en otras obras.
Los temas escogidos son especialmente importantes para aquellos maestros que creen que las experiencias de aprendizaje, trasmitidas a los nios
de) ciclo elemental, debedan empezar por el desarrollo de algunos conceptos unificadores bsicos en matemticas. Muchos profesores han encontrado que su educacin profesional no los prepara para ensear aritmtica de
modo congruente con este punto de vista. Es el deseo de los autores y
del NCTM (National Council of Teachers of Mathematics) qu~ esta serie de cuadernos pueda ser una ayuda para estos profesores, as como para
otros que tambin estn interesados en mejorar su n!\trucci6n.
Los ttulos de los cuadernos de esta serie son:
Cuaderno
Cuaderno
Cuaderno
Cuaderno
Cuaderno

l.

Conjuntos

2. Nmeros enteros

3. Sistemas de numeracn para los nmeros enteros


4. Algoritmos de las operaciones con ntmeros enteros
5. Nmeros y sus factores
Cuadern~ 6. Nmf.ros racionales
Cuaderno 7. Si.Jtemas de numeracin para los nmeros racionales
Cuaderno R. Proposiciones numhicas

Aconsejamos que, si es posible, los cuadernos sean ledos en el orden


numrico correspondiente, con excepcin del octavo (Proposiciones numricas) que puede apartarse del orden citado.
S

PREfACIO

Escribieron los cuadernos los miembros de un grupo de verano (Summer Writing Group) cuyos nombres se indican al final de este prefacio. El
proyecto fue iniciado y patrocinado por el Comit Suplementario de Publicaciones del NCTM (The NCTM Supplementary Publications Committee)
bajo la presidencia de Kenneth B. Henderson. Fue financiado por el NCTM.
EDWIN

F.

BF.CKF.NBACH

MARLENE ScHROEDER

F.

HELEN CURRAN

MAROARET

WALTER FLEMING

WILLIAM WOOTON

ERALDJNE RP..EN

LENORF. j.OJ.:rN,

LOLA MAV

WrLI.F.RorNc

Coordinadora

PREfACIO

Escribieron los cuadernos los miembros de un grupo de verano (Summer Writing Group) cuyos nombres se indican al final de este prefacio. El
proyecto fue iniciado y patrocinado por el Comit Suplementario de Publicacion~s del NCTM (The NCTM Supplementary PubJications Committee)
bajo la presidencia de Kenneth B. Henderson. Fue financiado por el NCTM.
EDWIN

F.

Br..CKF:NRACH

MARLENE SCHROEDER

F.

HELEN CURRAN

MARGARET

WALTER FLEMING

WILLIAM WooToN

GERALDINE CREEN

LENORE jOHN,

LOLA MAY

WtLU\RiliNG

Coordinadora

IN!MCE

Combinacin de operaciones con conjuntos 49


Grupo de ejercicios 5 50
Productos cartesia,nos 52
Grupo de ejercicios 6 56
Sumarlo 56
srmbolos usados en el Cuaderno

Respuestas o los grupos de elercicios

57

58

Conjuntos
Cuaderno]

PRINCIPIOS DE LA TEORIA DE CONJUNTO.S.

Importancia de los concgptos de la teora de coniuntos


en la matemtica de la enseanza elemental
Hay muchas respuestas para la reiterada pregunta: por qu son in
portantes los conjuntos en la matemtica? La respuesta depende, en parte,
de la persona que conteste. Aqu reduciremos la pregunta a estos trminos:
por qu son importantes los conjuntos en la matemtica de la enseanza
elemental? Debido a que estamos interesados, ante todo, en la importancia
de los conceptos de la teora de los conjuntos y cmo estn relacionados
stos con Jas primeras experiencias de los nios en la matemtica, y tambin
en la aplicacin que los maestros de nivel elemental puedan dar en sus
actividades a la teora de conjuntos.
En cierta forma la introduccin de la teora de conjuntos en la enseanza elemental no constituye un nuevo planteamiento de Ja educaci6n
matemtica. Los conjuntos se han usado durante muchos aos al ensear
a los nios a contar y resolver preguntas que implican la nocl6n de cantidad. Es muy comn usar, por ejemplo, una colecci6n de cubos, una hilera
de sillas, un conjunto de platos y otros objetos, para ofrecerles representaciones concretas y formarles la idea de nmero. Conviene observar que
el uso de conjuntos de objetos concretos es de valor para comprender el
concepto de nmero. En este sentido, los conjuntos tendrn siempre importancia en la enseanza elemental.
Sobran razones para confiar en que la enseanza de los conceptos de
la teora de los conjuntos y su terminologa para nios pequeos redunde
en un mayor aprovechamiento para la comprensin del concepto de n
mero; porque los nios siempre han esperado adquirir ese concepto como
parte de su educacin general. Examinemos algunas de ellas:
1. Actualmente se cree que el concepto de nmero entero puede ser
adquirido de modo ms claro por medio de 1~ teora de los conjuntos. Estos
9

10

CONJUNTOS

siempre han desempeado un papel fundamental para desarrollar en los


nios la nocin de la naturaleza de nmero. En muchos casos, sin embargo,
no se ha establecido claramente la relacin entre el uso de los conjuntos y
la palabra "nmero". Frecuentemente s6lo el contacto sensorial nos informa
de los conjuntos, de lo que resulta una experiencia dbilmente relacionada
con el concepto de nmero, en sentido plenamente abstracto:
2. Porque las ideas geomtricas, as como las aritmticas pueden ser
formuladas clara y concisamente en funci6n de los conjuntos. Es prefer
ble que desde sus primeros aos los nios se den cuenta de la posibilidad
del uso de conjuntos de un tipo {de puntos, por ejemplo) para tratar con
otro tipo de conjuntos (de nmeros, por ejemplo). Una vez conocida la
relacin entre los conceptos de la teora de los conjuntos, su terminologa
y el concepto de nmero, puede aplicarse directamente a las primeras experiencias mediante conjuntos de puntos, que servirn como un puente entre
las ideas de nmero y las ideas geomtricas.
3. Si los conceptos de conjuntos se adquieren desde los primeros aos
escolares, constituyen un s6lido fundamento de Jos conceptos matemticos
ms avanzados que los nios encontrarn en los aos superiores de la escuela.
Las nociones de conjuntos que los nios necesitan en sus primeros aos
son sencillas y escasas. Adems el simbolismo y la terminologa necesarios
para tratarlas se exponen de un modo fcil y accesible a los nios. Examinemos algunas de estas nociones, as como los trminos y smbolos usados
en este cuaderno al hablar de conjuntos.

Conjuntos
Qu es un conjunto? En vez de tratar de definir esta noci6n fundamental, lleguemos a un acuerdo acerca de lo que es un conjunto citando
algunos ejemplos:
a)
b)
e)
d)
e)
f)

Un rebao de reses es un conjunto (de reses).


Una manada de leones es un conjunto (de leones).
Una bandada de codornices es un conjunto (de codornices).
Un ejrcito es un conjunto (de soldados).
Un csped es un conjunto (de plantitas herbceas).
Una vajilla es un conjunto (de piezas de loza).

En resumen, un conjunto es una coleccin de una clase particular. Las


cosas (cualesquiera que sean) que constituyen un conjunto dado se llaman

CONJUNTOS

11

miembros o elementos del conjunto. Por ejemplo, los miembros de cierta bandada de codornices, los miembros de cierta manada de bfalos,
son cada una de las codornices de la bandada y cada uno de los bfalos de la
manada, y los miembros de una vajilla determinada son cada uno de los platos, copas, salseras, etctera, de esa vajilla. Un conjunto, desde el punto de
vista matemtico, es una coleccin bien d~finida.
Pero esto no significa que la palabra "conjunto" haya sido definida, sino
que una coleccin especfica ha sido descrita tan claramente que el nmero
de sus miembros es inequvoco para todo interesado.
Algunos ejemplos de colecciones bien definidas son los siguientes:
a) El conjunto cuyos miembros son las letras del alfabeto.
b) El conjunto cuyos miembros son los meses del calendario.
e) El conjunto cuyos miembros son todos los canales de televisin co.
mercial de la ciudad de Mxico.

En cada uno de estos casos no surgen dudas acerca de si un miembro


pertenece o no a un conjunto particular.
Considrese, por ejemplo, una clase de alumnos de segundo grado del
grupo C de la Escuela Reforma. El enunciado "nios del grupo e del ~
gundo grado de la Escuela Refonna es un conjunto", define claramente
la coleccin que constituye a ese conjunto?
La nica manera de contestar correctamente esta pregunta es ver si la
descripcin es clara o no y si queda convenientemente definida de modo
que cualquier cosa dada puede identificarse como miembro, o no, de la
colecci6n. Se incluye al profesor en el conjunto? Como el enunciado
especifica "alumnos del segundo grado" nos indica que el profesor no es
miembro del conjunto. Juan Rodrguez, alumno tambin del grupo e del
segundo grado, pero que hoy est enfermo, encamado en su casa y que
asistir a clases despus, puede considerarse como miembro de este conjunto? Formulada as esta descripcin, resulta inadecuada para permitirnos
dar una respuesta clara de s o no. Puede considerarse a Juan Rodrguez
miembro de su "clase" tomada en el sentido de "aquellos inscritos en ella",
pero, por otro lado, el sentido podra ser: "aquellos que estn en clase en
estos mom~tos". En este ltimo caso, podemos incluir en el conjunto a
Mara Snthez, alumna del segundo grado, quien en esos momentos visita
el grupo C para entregar una nota al profesor, pero que realmente es alumna de la profesora Martnez, titular del grupo A de la misma escuela? Esto
basta para ilustrar que la coleccin considerada no est claramente descrita
y no puede ser clasificada como bien definida.

12

CONJUNTOS

Ser provechoso que los maestros empleen descripciones de este tipo


para imbuir en los alumnos la necesidad de tener cuidado al especificar la
coleccin que integra al conjunto.
La mayora de las colecciones usadas en los primeros grados son bien
definidas. Por ejemplo, colecciones especficas de cubos o colecciones especficas de smbolos escritos en tableros, pizarrones o en hojas. Con este tipo
de colecciones habr pocas dudas acerca de cules son los elementos que
contiene, y cules no.

Simbolismo
A continuacin tenemos un ejemplo de un mtodo por medio del cual
puede destribirse un conjunto:
A

= {Mara, Juana, Beatriz}

que se lee "el conJunto cuyos miembros son Mara, Juana y Beatriz". Se
usarn letras maysculas, generalmente, para simbolizar conjuntos. Las
llaves * ( } (algunas veces llamadas parntesis de llave) se usan tambin
cuando se describen conjuntos, y los smbolos o nombres que estn encerrados entre llaves, se entiende que son los miembros o elementos de los con
juntos. Cuando se escribe una lista de los miembros de un conjunto y se
encierran stos entre llaves, se separan con comas.
Taml>in es correcto, en lugar de una lista de miembros, escribir entre
llaves una frase descriptiva de los miembros del conjunto. Por ejemplo, s
queremos considerar a los profesores de la Facultad de Ciencias como Jos
miembros de un conjunto, podemos usar C para simbolizar el conjunto y
evitar as repetir la especificacin de los miembros cada vez que necesitemos
referimos a este conjunto. Por tanto, el conjunto anterior, que simbolizamos con la letra e, puede ser representado por

e = {profesores de la Facultad de Ciencias}


que se lee "el conjunto cuyos miembros son {todos} los profesores de la Facultad de Ciencias". Si deseamos escribir la lista de los miembros de este
conjunto, podemos hacerlo de la siguiente manera :

e = {profesor Daz, profra. H ernndez, profra.

Prez, .. . , profra. Len} ,

Este slmbolo y todos los que se UAan en este cuaderno se encuentran en la


lista de la pgina 57. Consltese siempre que se tenga alguna duda .sobre cmo leer
un slmbolo.

SIMBOLISMO

que se lee "el conjunto cuyos miembros son el profesor Daz, la profesora
Hemndez, la profesora Prez, ... , la profesora Len". (Aqu{ los tres
puntos ... , significan que hay otras personas en el conjunto de profesores, pero debido a que la lista es larga empleamos esta forma para indicar
de modo claro el sentido, en vez de nombrar a todos los profesores.) Entonces, se entiende mediante los tres puntos que el nombre de cada profesor
est incluido sin necesidad de que figure en la lista.
Hay algunos conjuntos que no tienen miembros. Al conjunto que no
contenga miembros se le llamar conjunto vaco, o conjunto nulo, que generalmente se sm'tboliza por la letra 1/) det alfabeto escandinavo. Entonces
leemos el simbolo (/)como "el conjunto vaco" o "el conjunto nulo''. Podemos tambin usar el smbolo { } para representar el conjunto vaco. El
conjunto cuyos miembros son las mujeres de 1 000 aos de edad que viven
actualmente, es un ejemplo del conjunto vaco o conjunto nulo. Si usamos
la letra T para simbolizar este conjunto, podemos escribir
T=l/)

= { }.

'E l smbolo E se usa para abreviar "es miembro de" o "es elemento de".
Si E denota el conjunto de los nmeros pares, la expresin "2 E E" signiftca
"2 es miembro de E'.
Para representar los elementos o miembros de un conjunto, se usan
como smbolos lcu letras minsculas del alfabeto, por ejemplo: a, b, e, x, -y, z:.
La expresi6n

se debe leer ''a es miembro, o elemento, del conjunto A", o simplemente:


"a es miembro de A".

La lnea inclinada / frecuentemente se usa en matemtica como un


smbolo de negacin. El smbolo
se lee "no es miembro (elemento) de".
Por ejemplo, si la profesora Jimnez no ensea en la Facultad de Ciencias
y si simboliza el conjunto de profesores de la Facultad de Ciencias, entonces podemOS' escribir

profesora Jimnez

1e,

lo cual se lee "la profesora Jimnez no es miembro (elemento) del conjunto C''.

CONJUNTOS

Grupo de elercicios 1

l. Especificar los miembros de cada uno de los siguientes conjuntos.


a) El conjunto de Estados de la Repblica, litorales. del Golfo de
Mxico.
b) El conjunto de los seis primeros meses del ao.
e) El conjunto de satlites naturales de la Tierra.
d) El conjunto de presidentes de Amrica latina que sean mujeres
en 1967.
e) El conjunto de los Grandes Lagos.
f) El conjunto de las cinco primeras letras del alfabeto espaol.

2. Seleccione de entre las tres posibilidades la descripcin ms adecuada


para cada uno de los conjuntos de la siguiente lista.
a)

J=

{junio, julio)
l. El conjunto de dos meses calurosos.
2. El conjunto cuyos elementos son dos mC'ses consecutivos.
3. El conjunto cuyos elementos son dos meses consecutivos, de suerte que sus nombres empiecen con la 'letra J.

b)L={x,yJz}
1. El conjunto de las tres ltimas letras del alfabeto.
2. El conjunto de tres consonantes del alfabeto.
3. El conjunto de tres letras del alfabeto.
e) P = {Mercurio, Venus~ Tierra, Marte).
l. El conjunto de los 4 ltimos planetas descubiertos del sistema
solar.
2. Los 4 planetas ms prximos al Sol.
3. Cuatro de los planetas que integran el sistema solar.
3. Dados A = (a, b, e, d},

B= {e,f,g,h},
{a, e., i, o, u}.

e=

En los siguientes espacios blancos escriba el smbolo correcto E o


a)

a---A

d)

bj

a--B

e)

a---C

e)

b--A
b--B

g)
h}

f)

b--e

f--A

1--B
f--C

IGUALDAD DE CONJUNTOS

15

Igualdad de coniuntos
Dados
y

A. = {a, b, e, d}
B ={e, d, a, b),

observamos que cada uno de estos conjuntos contiene exactamente los mismos elementos, aunque no estn escritos en el mismo orden. Esta relacin
puede ser indicada por el smbolo de igualdad = (que se lee igual" o "es
igual a"). Entonces, podemos decir que
A.=B

porque el conjunto A y el conjunto B contienen exactamente los mismos


elementos.
Es muy conveniente observar que no se tiene en cuenta el orden en el
que se enlistan los miembros de cada conjunto.
Por tanto:
{a,b,c,d} = {c,d,a,b} = {a,c,b,d}.
En reswnen, decir que dos conjuntos son iguales equivale a decir que realmente no se tienen dos conjuntos, sino que s6Jo se tiene uno. Podemos
enunciar de un modo ms formal la definicin de la siguiente manera:
Si A simboliza un conjunto y B simboliza un conjunto, entonces
para los conjuntos A y B la proposici6n

A.=B
significa que A y B simbolium el mismo conjunto.

Cuando leemos proposiciones que contienen conjuntos ligados mediante


el signo de igualdad, es til interpretar dicho signo en trminos de identidad.
Entonces, Ja siguiente proposicin simblica
C = {maestros de la Facultad de Ciencias}

debe ser interpretada como una afirmacin con la cual indicamos nuestro
acuerdo en usar dos smbolos diferentes (o un smbolo y un grupo de smbolos) para icprcsentar un mismo conjunto de gente.

Subconjuntos
Cualquier parte de un conjunto puede interpretarse como conjunto. Por
ejemplo, los miembros del conjunto de nios de un grupo, en un momento

16

CONSUNTOS

dado, pueden tomarse para formar otros dos conjuntos: el conjunto de nios
del grupo y el conjunto de nias del mismo grupo. A estos conjuntos resuJ.
tantes se les llama subconjuntos del conjunto de nios del grupo. La relacin relativa a ''subconjuntos" puede indicarse mediante el smbolo de inclusin !:, que debe leerse "es subconjunto de". Por tanto, el enunciado
{Germn, Elena} !: {Germn, Elena, Mara)
debe leerse "el conjunto cuyos miembros son Germn y Elena, es un sub
conjunto del conjunto, cuyos miembros son Germn, Elena y Mara". De
manera ms fonnal, tenemos la siguiente definicin:

Para dos conjuntos A y B la proposicin

A e; B
significa que todos los miembros de A son miembros de B.
Corno otro ejemplo consideraremos
{Juan)

e; (Juan, Jos, Toms}

lo que debe leerse ..el conjunto cuyo nico miembro es Juan es un subconjunto del conjunto, cuyos miembros son Juan, Jos, Toms". Esto
asegura que estarnos considerando un subconjunto de {Juan, Jos, Toms}
cuyo nico miembro es Juan.
Un conjunto dado puede tener varios subconjuntos. Cuntos? Tal vez
podamos determinarlo, considerando unos cuantos casos especficos. Examinemos nuevamente el conjunto
{Juan}.
A primera vista, el nico conjunto A que cumple con las condiciones de
la definicin anterior, tal que
A !: {Juan}

parece ser el mismo {Juan}. Ciertamente, segn nuestra definicin, cual


quier conjunto es un subconjunto de s mismo, porque contiene como miembros a todos los miembros del mismo. Consideremos, adems, el conjunto
que no contiene elementos, { }. Sera tal conjunto un subconjunto de
{Juan}? De acuerdo con nuestra definicin el enunciado siguiente:

A es un subconjunto de B
significa que todo miembro de A es miembro de B. Esto implica que si A
no es un subconjunto de B debe contener, por lo menos, un miembro que no

SUBCONJUNTOS

17

es miembro de B. Pero el conjunto nulo no contiene tales miembros. Entonces el conjunto {Juan}, que contiene un solo elemento, tiene dos subconju~tos {Juan} y().
Intencionalmente decimos el conjunto vaco, porque de acuerdo con la
defmicin de igualdad de conjuntos, todos los conjuntos vaclos son iguales.
En seguida consideremos el conjunto {Juan, Jos}, que contiene dos
miembros. Sus subconjuntos son

(),
(Juan},
(Jos},
(Juan, Jos).
Por tanto, un conjunto que contiene dos miembros, tiene cuatro subconjuntos.
De manera similar, el conjunto {Juan, Jos, Toms} tiene ocho subconjuntos
(),
{Juan, Jos},
{Juan, Toms),
{Juan},
{Jos},
{Jos, Toms},
{Toms},
{Juan, Jos, Toms}.
Si se hace con cuidado una lista de los subconjuntos del conjunto {Juan,
Jos, Toms, Roberto) se encontrar que tiene diecisis subconjuntos, y el
conjunto {Juan, Jos, Toms, Roberto, Rafael} tiene treinta y dos subconjuntos. Entonces, tenemos el siguiente cuadro:
CUADRO

NmtJro 1 mi1ml1ros
d1 un conjunto

-.

2
3
4
5

1*
Nm11o d1
subconjuntos

2, 6 21
4 = 2 X
8= 2 X
16 = 2 X
32 = 2 X

2, 6 21
2 X 2, 6 2
2 X 2 X 2, 6 2'
2 X 2 X 2 X 2, 6 26

* Los numua.lea que aparecen en el cuadro como indiee auperiores (a la derecha de la! nume.rales) ae les llama IJt/)(tnfnl#l. El uso de lo. exponente. es una forma
conveniente para indicar cuntas vecea aparece un n6.mero como factor. Entonces
21 indica que 2 aparece como factor una vez. De manera similar, 22 indica que 2.
aparelje como factor dos veces.

18

CONJUNTOS

Aunque aqu no demostraremos la deduccin de esta. fnnula, los ejemplos anteriores nos llevan a la conclusin de que si un conjunto tiene n
miembros, entonces el nmero de sus subconjuntos es 2". En otras palabras,
tantos subconjuntos como el producto de n factores, cada uno de los cuales
es 2. Por lo cual un conjunto que contiene diez miembros tiene exactamente 210 6 l 024 subconjuntos; y un conjunto que contenga.~einte miembros, tiene 220 6 1 048 576 subconjuntos.

Subconjuntos propios
Si A y B simbolizan dos conjuntos tales que A es un subconjunto de B,
y B tiene por lo menos un miembro que no es nembro de A, entonces se
dice que A es un subconjunto propio de B (o que est propiamente incluido en B) y simblicamente se escribe
A

B.

La proposicin
{Gennn, Elena}

{Germn, Elena, Mara}

asegura que el conjunto {Germn, Elena} es un subconjunto del conjunto


{Germn, Elena, Maria}; y que el ltimo conjunto tiene cuando menos
un miembro (en este caso Mara) que no es miembro del primer conjunto.
Enunciemos formalmente esta definicin:
Para los conjuntos A y B la proposici6n
A

significa que. A C:: B, y que B tiene por lo menos un miembro


que no es miembro de A.

Por lo cual, el ejemplo que vimos {Germn, Elena} C {Germn, Elena, Mara} es una proposicin que indica que {Gennn, Elena} es un subconjunto propio de {Germn, Elena, Mara}. De todas maneras es cierto
que {Germn, Elena} es un subconjunto de {Germn, Elena, Mara} y es
aceptable escribir
{Germn, Elena) !:;; {Gennn, Elena, Mara).
Tambin es aceptable escribir la siguiente proposicin como verdadera:
{Germn, Elena, Mara} 6 {Germn, Elena, Mara}

CONJUNTOS UNIVERSALES

19

pero no es cierto que


{Germn, Elena, Mara}

{Germn, Elena, Mara},

puesto que el conjunto simbolizado en el miembro derecho de la proposicin no contiene ningn miembro que no sea miembro del conjunto sim
bolizado en el miembro .izquierdo de la proposicin.
La nica diferencia entre el concepto de subconjunto y el de subconjWlto propio consiste en que un conjunto es un subconjunto de s mismo,
pero no es un subconjunto propio de s mismo.
Grupo de eercicios 2

l. Haga una lista de los subconjuntos del conjunto {barco, carro, avin,
tren}.

2. Si e = {Veracruz, Matamoros, Jalapa, Laredo, Ciudad Jurez,


Tampico, Crdoba, Piedras Negras}.
Determine los miembros de los siguientes subconjuntos del conjunto C:

a) Ciudades de Veracruz
b) Ciudades ftonterizas con los Estados Unidos
e) Ciudades que son capitales de Estado.
3. Dados G

= {Lidia, Mara, Susana, Ana, Carolina}

A= {Lidia, Mara, Susana, Ana}


B = {Lidia, Mara, Ana, Susana}
e= {Lidia, Mara}
para obtener una proposicin verdadera en cules de los espacios podemos
insertar el smbolo ~ y en cules podemos insertar el smbolo C ?
a}
b}

A---G

e)

C---,B

d}

Conjuntos universales
Es muy til, cuando se piensa y se habla acerca de conjuntos, saber que
los miembros de un conjunto dado pertenecen a alguna <~poblacin" determinada. Por ejemplo, si deseamos hablar de conjuntos de alumnos, es til
tener como referencia una poblacin general de alumnos, de la cual consi-

20

CONJUNTOS

deramos a sus miembros como posibles y elegibles miembros de nuestro


conjunto. Quiz fijemos nuestra atencin en los alumnos de una escuela
particular determinada, o quiz consideremos todos los alumnos del segundo ao de esa escuela, o todos los alumnos de escuela elemental de Mxico.
Si especificamos un conjunto particular de alumnos al que nos limitamos para encontrar miembros para otros conjuntos que intetvengan en la
discusin o en el problema que se est tratando, entonces ese conjunto especfico se llama conjunto universal, o simplemente el universo de nuestra
discusin o problema; entonces en una discusin particular cualquiera que
implique conjuntos, todo conjunto de esta discusin es un subconjunto del
conjunto universal.
El conjunto universal se simboliza generalmente con la letra U mayscula.

Diagramas de Venn
Hay una manera esquemtica de representar Jos conceptos de la teora de
los conjuntos usando lo que llamamos Diagramas de Vemz o de Euler. Uno
de estos diagramas est representado en la figura l. En general, se usa
cualquier regin cerrada del plano para representar al conjunto universal *
entendiendo que la regin interior a la lnea fronteriza representa al conjunto U. Para representar otros conjuntos en una discusin (cada uno de

FIGURA

los cuales es un subconjunto de U), se usan regiones cerradas del plano,


ms pequeas (hemos usado crculos en la figura 1), entendiendo que la
regin interior de cada una de estas figuras cerradas ms pequeas abarca
todos los miembros del conjunto que est representando. Los miembros del
conjunto pueden estar, o no, simbolizados en el interior de la figura.
En

l DJ

diagramas de Venn se wa generalmente un rectngulo para

tar al conjunto univeral. [N. del T.]

rep~en

CORRESPONDENCIA BIUNIVOCA

21

FIGURA

La figura 2 muestra un diagrama de Venn que emplea letras del alfabeto para simbolizar cada uno de los miembros. Esta vez hemos usado
curvas cerradas, que no son crculos, para simbolizar los conjuntos que estamos considerando. De este modo la figura 2 constituye una descripcin
grfica de los siguientes conjuntos:

U ""' {a, b, e, d, e, f, g, h, i, j, k,l}.


A= {b,f,g,h,i),
B = {b,h,f},
e .... {d,e,j,k}.
Por tanto, tenemos

A e

u,

B e

u, e e u, y

B e A,

segn puede verificarse en la figura 2, y tambin en la descripcin simb6lica


de los conjuntos, cuyos elementos se ven arriba agrupados entre llaves.

CARDINALIDAD Y EL PROCESO DE CONTAR


Correspondencia biunvoca
Cuntos miembros pertenecen a un conjunto? Esta importante pregunta puede contestarse resumiendo una nocin primitiva: el apareamiento de los miembros de dos conjuntos. Si los elementos de dos conjuntos
pueden aparearse de manera tal que a cada elemento de cada conjunto se
le asocie uno y slo un elemento del otro conjunto, entonces se dice que
Jos elemen.tos de ambos conjuntos estn en correspondencia biunvoca.
Aunque en algunos casos se acostumbra traducir la frase one-to-one corrs
,ondnce, corno f:onespondencia uno a uno, es ms usado d trmino correspondencia
biun[voca. [N. del T.]

22

CONJUNTOS

La figura 3 nos muestra dos conjuntos en los que se ha establecido una


correspondencia biunvoca entre sus miembros. Por supuestot existen otras
fonnas de asociar los elementos de los conjuntos para establecer una correspondencia biunvoca, adems de la que se muestra aqu:
{Mara, Juan, Toms}
~
~
~
{Rodolfo, Nern, Fido}
FIGURA

La figura 4 muestra otras dos formas; desde luego hay otras ms.
Importa observar que no se tiene muy en cuenta la manera de establecer
la correspondencia, lo que interesa es que cada miembro de cada conjunto
se aparee con uno y slo un miembro del otro conjunto. La existencia de
una correspondencia biunvoca entre conjuntos no tiene nada que ver con
la fonna en que se establece la correspondencia
{Maria, Juan, Toms}
~
~
t
{Fido, Rodolfo, Nern}

{Mara, Juan, Toms}


~
t
t
{Nern, Fido, Rodolfo}
FIGURA

Las correspondencias biunvocas pueden establecerse indicando claramente, por medio de una figura, c6mo se asocian los elementos de un conjunto con los del otro; o especificando con sencillez cmo puede llevarse al
cabo tericamente tal asociacin. En nuestro ejemplo mostramos una forma
especfica de establecer la asociacin (apareamiento), pero en este caso los
conjuntos contienen muy pocos miembros y, en consecuencia, es fcil mostrar la correspondencia por medio de una figura. Si hubiramos tenido que
mostrar una correspondencia biunvoca (suponiendo que existe alguna) entre el conjunto de gente que se encuentra en un estadio y el conjunto de
asientos del mismo, tendramos que especifcar de manera precisa cmo podra lograrse esto; una forma sera, procediendo a que todas las personas
tomaran asiento, y entonces, observar que cada una de las personas estuvieran sentadas en un asiento, y que no quedara ninguno desocupado.

Conjuntos equivalentes
En este punto de nuestra discusin, conviene investigar las formas que
hemos desarrollado hasta aqu, para comparar o relacionar un conjunto con

CONJUNTOS EQUIVALENTES

23

otro. Por ejemplo, sabemos que la igualdad de conjuntos implica ide11tidad.


Esto es, si dos conjuntos son iguales, tienen entonces los mismos miembros,
y recprocamente. Tambin hemos comparado conjuntos, considerando sub
conjuntos y subconjuntos propios, donde todos los elementos de un conjunto
son elementos de otro; pero, en este caso, no existe necesariamente la igualdad. Adems deJas relaciones de igualdad y subconjunto, podemos definir
ahora una nueva relacin entre conjuntos, basada en el concepto de correspondencia biunvoca.
El enunciado que dice que dos conjuntos son equivalentes, significa que entre los elementos de los dos conjuntos puede establecerse correspondencia biunvoca.

La relacin de equivalencia entre conjuntos no es la misma que la relacin de igualdad, debido a que si varios conjuntos son equivalentes no necesariamente tienen que ser el mismo conjunto; en otras palabras, no subsiste
entre ellos una relacin de igualdad. Aunque la igualdad de conjuntos implica, obviamente, una equivalencia, puesto que cualquier conjunto puede
ponerse en correspondencia biunvoca consigo mismo.
El smbolo "'"' (lase "es equivalente a") se usa en matemtica para
simbolizar equivalencia.
Entonces si:
A= {a, b, e},

B = {l, m, n},

e= {x, y, z},
podemos indicar su equivalencia escribiendo proposiciones tales como A.-B,
A-C. y B,...,C. Conviene insistir de nuevo en que si A es equivalente a B,
no debe concluirse necesariamente que a, b, y e, simbolizan el mismo tipo
de objetos que los que simbolizan l, m, y n.
En realidad, la verdadera ventaja de la relacin de equivalencia de
pende del siguiente hecho: no importa qu tipo de elementos contienen los
conjuntos 4 y B. En otras palabras, el concepto de equivalencia es relativo
al hecho ,de qu(: podamos aparear los elementos de dos conjuntos, de tal
manera qlle se establezca una correspondencia biunvoca entre ellos.
Probablemente la nocin de correspondencia biunvoca fue una de las
primeras ideas matemticas del hombre. El uso de marcas tales como 11111
sdaladas en las pan:dts de las cavernas para simbolizar, por ejemplo, los
miembros de un conjunto de bfalos hahidos en una cacera, es una aplica-

24

CONJUNTOS

ci6n de este principio. Puede dudarse acerca de si exista, o no, un nombre


para estos conjuntos de marcas, pero las marcas en s servan muy bien para
contestar la pregunta: "cuntos bfalos mataste?" Por otra parte, tales
marcas podan ser comparadas con otros conjuntos similares de marcas para
determinar, entre los miembros de un grupo de cazadores, quin haba tenido
ms xito en la cacera. Las preguntas acerca de qu tantos elementos tiene
de ms o de menos un conjunto respecto de otro, puede resolverse apareando
los elementos de los dos conjuntos, y observando que no queden elementos
sin aparear en alguno de los conjuntos, cuando los elementos del otro se
agotan. Por ejemplo, si compararnos los conjuntos A y B en los cuales:

A = {a, b, e}

t t t

B = (x, y, z, w},

es evidente que no son equivalentes y podemos expresar esta falta de equivalencia en alguna de las dos formas siguientes: diciendo que el conjunto
B contiene ms elementos que A o bien, que A contiene menos elementos
que B.

Conjuntos

ordenad~

Las propiedades de los conjuntos en las que hemos estado interesados


hasta ahora, se han centrado alrededor de la nocin de miembro o elemento de un conjunto. Esto es, solamente hemos estado interesados en hablar
acerca de si un objeto dado pertenece, o no, a un conjunto dado. Si un
conjunto dado tiene, o no, miembros en comn con otro y si hay, o no,
equivalencia entre dos conjuntos dados. En cada una de estas consideraciones hemos observado que no se toma en cuenta el orden en que se
consideran los elementos de los conjuntos que se han empleado.
Ahora, es conveniente considerar algunos conjuntos, en los que el ordM
en qu estn dispuestos los elementos es de mucha importancia. "Qu es
orden?" Contestar esta pregunta en sentido puramente matemtico es asunto ciertamente dificultoso si se contesta a partir de consideraciones abstractas
nada ms. Sin embargo, ya que en la mayora de nosotros hay una noci6n
intuitiva con respecto al concepto de anterior, que probablemente, es mejor
apoyarse, casi totalmente en esta nocin intuitiva al discutir el concepto de
orden. Ordenar cosas es, en esencia, arreglarlas de alguna manera no ambigua, de modo que podamos decir de cada elemento, cul le precede. Este
arreglo se hace comparando cada par de objetos de la lista que se trata de

CONJUNTOS ESTANDA11 Y CARDINALIDAD

2$

acomodar y decidir cul de le dos debe estar antes que el otro. La palabra
antes puede ser reemplazada con otras palabras o frases, por ejemplo: anterior a'', "menor que", "a la izquierda de" o "abajo de". Esencialmente,
el orden en un conjunto es una relacin entre los elementos del mismo, que
debe especificarse de manera clara, de modo que se pueda determinar si
cada elemento tiene relacin determinada con cualquier otro elemento, o
no, cuando cada objeto ha sido acomodado de tal manera que est en relacin adecuada con todos los otros objetos, entonces se puede decir que los
que los objetos han sido ordenados.
Considrese ei siguiente conjunto de letras del alfabeto:

Aqu, las comillas indican que los miembros son Jos smbolos mismos y que
no se estn usando como nombres para otros objetos inespecificados. Hay
un orden arbitrario en que se dan las letras del alfabeto, y es:
ttd', "b",riJ
rt .J> 'ttd" e." "{"
u,.>> "h",
l'>
,;,

...

J>,

tr .JJ
tt.> tt
,~,;y~z,

en l, "a" est primero (o es anterior en el alfabeto) que "b"; "b" est


antes que "e" y as sucesivamente. Si pedimos ahora que los elementos del
conjunto A estn ordenados, esto es, que (leyendo de izquierda a derecha
en las llaves), los smbolos se presenten en su relacin adecuada con respecto
a cada uno de Jos otros, de acuerdo con el criterio del orden dado anterionnente, tenemos
{'tb" uk1' ctm" un" "x"}

'

'

'

'

'

donde usamos A<~rdenado para simbolizar el conjunto cuyos elementos son los
mismos del conjunto A, pero considerados en un orden especfico, tomado
en cuenta de izquierda a derecha. o-rdena<to es un ejemplo de un conjunto
ordenado.

Conjuntos estndar

y cardinalidad

Ahora, establezcamos algunos conjuntos de smbolos ordenados empezando con el conjunto {"t>'} (lase "el conjunto cuyo elemento es el numeral!") y, continuando de este modo, tenemos

{"1". "2"},
{"P>, "2", "3"},

{"1 ", "2", "3", "4,}.

26

CONJUNTOS

Si continuamos esta cadena de conjuntos para inclwr los smbolos "5'',


"6", "7", "8'', "9", y si introducimos el smbolo "0" junto con algunos
convenios sobre cmo pueden combinarse estos smbolos para fonnar de
una manera sistemtica nuevos smbolos, podemos imaginar una cadena sin
fin de conjuntos como el descrito. Por otra parte se puede observar que

{"1"} e {"1", "2"} e {"1", "2", ''3"} e ...


(los tres puntos indican que la secuencia se extiende indefinidamente._ siguiendo el mismo modelo) . Por medio de una comparaci6n de uno cualquiera de estos conjuntos con otro, podemos determinar cul se encuentra
antes de cul en esta sucesi6n sin fin de subconjuntos propios. Estos conjuntos de smbolos son llamados conjuntos estndar, y cada miembro de
uno cualquiera de ellos es un numeral. En pocas palabras, los numerales
se leen "uno'\ "dos", "tres", y as sucesivamente.
Ahora tenemos ya todos los conceptos necesarios para establecer una
forma clara de responder a la pregunta: cuntos miembros pertenecen al
conjunto A? Considrense los siguientes conjuntos: {a}, {x}, {o}, y {Jess}. Cada uno de estos conjuntos es equivalente a cualquier otro de ellos.
Esto es, los elementos de dos cualesquiera de estos conjuntos pueden ponerse en correspondencia biunivoca. Ahora consideremos todos los conjuntos
equivalentes a uno cualquiera de estos, por ejemplo, digamos a (a}. Entre
estos conjuntos est el conjunto estndar {"1"}. Todos estos conjuntos tienen una propiedad comn, es decir, su equivalencia con el conjunto estndar {'el"}, y esta propiedad es independiente de la naturaleza de los elementos que contienen estos conjuntos. Esta propiedad comn es lo que
llamamos nmero uno. De manera similar, la propiedad comn de todos
los conjuntos que son equivalentes al conjunto estndar {"1", "2"} es lo
que llamamos nmero dos.
Para representarlo se asigna al nmero el ltimo numeral que figura en
el conjunto estndar para ese nmero, y entonces se dice que el conjunto
contiene ese nmero de elementos. Por lo que el conjunto ,estndar para
todos los conjuntos equivalentes al conjunto A= {a, b, e, d} es {"1", "2",
"3", "4''}, y puesto que "4" es el ltimo miembro (de la derecha) del
conjunto estndar se dice que A tiene cuatro miembros y que cuatro es el
nmero del conjunto A.
Si A es cualquier conjunto, el smbolo

n(A)

NUMEROS Y NUMfiAUS

27

(lase "el nmero del conjunto A") simboliza el nmero de ("cuantos")


elementos que pertenecen al conjunto. Por ejemplo si

A= {a, b, e},
y

B = {a, b, e, d, e,

f},

entonces
n(A) = 3 y

n(B) = 6.

Algunas veces se llama al nmero de un conjunto la cardinalidad de


ese conjunto y, en consecuencia, en cualquier conjunto A, n(A) se llama
nme.ro cardit~al. Al conjunto vaco (!), se le asigna la cardinalidad cero, y
n((!J) ==O.

Nmeros y numeral s
Analizando cmo st ha desarrollado en este cuaderno el concepto de
nmero, podemos concluir que el nmero es una abstraccin. Obsrvese
que puede distinguirse entre un nmero y su nombre. Los numerales, que
son los elementos de nuestros conjuntos estndar, son las representaciones
de los nmeros. Es tan necesario distinguir en esta ocasi6n entre el nmero 4
por ejemplo, y el numeral "4", como lo es distinguir entre el nio Juan y su
nombre "Juan".
En el transcurso de una discusin ordinaria frecuentemente hay una
ligera dificultad ocasionada por la diferencia entre un objeto y su nomb~
Generalmente sabemos a qu se refiere la persona con la que discutimos
o el escritor que redact lo que leemos, pues el sentido se deduce del contexto. En escritos sobre asuntos en que esta distincin no es obvia, por
ejemplo, al escribir una oracin como: "cuntas letras tiene el alabeto
espaol:.?", en, la que se estn considerando las palabras como tales (en este
caso "el alfabeto espaol"), se acostumbra usar comillas redondas o angulares para esclarecer el significado. Entonces en nuestra sencilla oracin se
trata de preguntar nicamente por el nmero de letras que hay en las
palabras "el alfabet~ espaol" y no por la totalidad de caracteres de que
est compuesto el abecedario de la lengua espaola. (La respuesta a esta
pregunta es 17 letras: e-1-a-1-f-a-b-e-t-o-e-s-p-a--o-1.)

2t

CONlUNTOS

En matemtica, al presentarse situaciones semejantes, se manejan de


una manera similar; por ejemplo, las comillas se emplean comnmente para
indicar el hecho de que se estn considerando los numerales en vez de los
nmeros que ellos representan. Sin embargo, esto no siempre ocurre cuando el sentido es evidente segn el contexto.

'
Nm9ros 'eidinales
y su otd9n
Ya explicado qu se entiende por nmero cardinal, podemos ahora hablar con ms libertad sobre conjuntos cuyos elementos son nmeros cardinales. Por ejemplo, podemos escribir

A= {1, 2, 3, 4}
para simbolizar el conjunto cuyos elementos son los nmeros cardinales (o
simplemente nmeros) 1, 2, 3, 4. Obsrvese que este conjunto no es el
mismo que el conjunto estndar

B= {"1" ..2" "3" "4"}

'

'

porque en el primer caso los elementos del conjunto son nmeros, y en el


segundo son numerales. Sin embargo, estos conjuntos tienen la misma cardinalidad y podemos escribir
n(A) = n(B),

lo que significa que "n(A)a y "n(B)'' son expresiones diferentes para el mismo nmero, en este caso, el nmero 4. Los elementos en {1, 2, 3, 4} estn
dados en una secuencia ordenada.
Podemos ordenar nmeros cardmales por medio de conjuntos estndar.
Dados A y B que son dos conjuntos estndar cualesquiera, ent.onces, si
A C B pero B cf:. A, definimos n(A) < n(B). (Lase. "El nmero cardinal
de A es menor que el nmero cardinal de B".) Por ejemplo, considrense
los nmeros 3 y 5. Puesto que {'' l ,. , "2", "3''} C {" t ", "2", ..3", "4",
''5"}, por nuestra definicin tenemos que 3 < 5. (Lase "tres es menor
que cinco".) Cuando los elementos de un conjunto de nmeros cardinales
se arreglan de tal manera que el conjunto estndar al que corresponde cada
uno de los nmeros cardinales, contiene como un subconjunto propio el
conjunto estndar de cada nmero cardinal que le precede (de este modo
su conjunto estndar es un subconjunto propio del conjunto estndar de
cada nmero cardinal que le sigue), entonces el conjunto ha sido ordenado.
Los elementos del conjunto de nmeros cardinales

LOS NUMERO$ CAttDINA1.ES Y EL PROCESO DE CONTAI

29

(7, 3, 6, 2}
puede ordenarse de la siguiente manera 2 < 3

("1,., "2")

< 6 < 7,

observando que

{"1,, "2", "3"} e {"1", "2", "3'\ "4", "5", "6"}c


"2.,
"5",
"6","7"}
{".1"'
'"3"
' "4..t
.

Puesto que f'J C A para todo conjunto ~stndar A, O < n(A) para todo
conjunto A no vaco. Esto es, O es el menor de los nmeros cardinales.

Los nmeros cardinales y el proceso de contar


Hemos visto que los nmeros cardinales sirven muy bien en algunos
ejemplos para decimos cuntos elementos contiene un conjunto. Adems,
los nmeros cardinales estn ordenados. Como consecuencia de estas dos
propiedades, dichos nmeros pueden usarse para contar objetos y para or
denar de una manera arbitraria los elementos de cualquier otro conjunto.
Sup6ngase que vamos a determinar el nmero de canicas que hay en un
costal. Podemos hacerlo metiendo la mano al costal, sacando una canica
cada vez y ponindola en correspondencia (aparendola) con uno de nuestros
conjuntos estndar en una secuencia ordenada La figura 5 muestra una re
presentaci6n esquemtica de este proceso. Cuando la ltima canica se ha
asociado con su conjunto estndar, podemos examinar el ltimo elemento
de la derecha de este conjunto y determinar el nmero cardinal de dicho
conjunto estndar. Este ser el nmero de canicas que contiene el costal.
4

..... 1"1"}

.....

FIGURA

1"1"~

"2", "3", "4"l

El proceso de asociar sucesivamente objetos con conjuntos estndar (y


en consecuencia con nmeros cardinales) es llamado proceso" de contar.
Obsrvese que la cuenta de canicas es independiente de las canicas en s

30

CONJUNTOS

mismas. Porque si se vuelven las canicas al costal, y se repite el proceso,


cada canica no necesita ponerse en correspondencia con el mismo conjunto
estndar al que corresponda en el apareamiento original. El orden en el
que las canicas se sacan del costal no tiene efecto en la cuenta y bajo cualquier arreglo de las canicas, la cardinalidad del ltimo conjunto estndar
empleado en la cuenta, siempre ser la misma. S este no fuera el caso, no
podramos hablar de el nmero cardinal de un conjunto.
El proceso de contar descrito aqu tiene otra caracterstica til. Si queremos, tan pronto como hayamos apareado cada canica con un conjunto
estndar podemos observar cul es el nmero cardinal del conjunto estndar
que corresponde a cada canica; y marcando esta canica con el nombre del
mismo nmero cardinal, entonces podemos acomodar las canicas como
sigue:

.qJ) . .
e identificar cada una de stas en particular por el nmero cardinal al que
est asociada.
Cuando se emplean nmeros cardinales para distinguir elementos individuales de un conjunto en algn orden, entonces los elementos o nmeros
estn siendo usados en lo que se !lama sentido ordinal. De hecho, frecuen
temente encontramos el trmino nmero ordinal aplicado a nmeros que
se usan en este sentido. Aunque puede hacerse una distinci6n 16gica entre el
conjunto de los nmeros ordinales y el conjunto de los nmeros cardinales;
es preferible para nosotros emplear un punto de vista menos sofisticado y
dejar que el trmino "ordinal" se refiera al uso y no a lo que implica la
naturaleza esencial de los nmeros.
El uso de los nmeros como cardinales puede, generalmente, aunque
no siempre, identificarse por la presencia de las palabras "primero", "segundo", "tercero", "vigsimo segundo", y otras semejantes, como opuestos
a "uno, "dos", "tres" y "veintids". Adems se tienen smbolos para los
nmeros que se usan en sentido ordinal, que se emplean frecuentemente
(aunque no siempre) en la forma: 79, 32<?, 519. Tal vez las excepciones
ms comunes en estas consideraciones se presentan en fechas, como cuando
hablamos acerca del ao 1901. ste identifica la posicin del ao en el
cual estamos interesados con respecto a una secuencia de aos y es un uso
ordinal del nmero 1901.
Algunas veces los nwnerales se usan en una forma tal, que no se relacionan con nmeros cardinales ni con nmeros ordinales. Un nmero te-

CONJUNTOS FINlTOS E INFINI TOS

31

lefnico es un ejemplo familiar; tambin lo es el nmero asignado a un


miembro de un equipo de futbol.

Conjuntos finitos e infinitos


El conjunto de los nmeros cardinales no tiene fin. Dado cualquier
conjunto estndar, siempre es posible formar otro con mayor cardinalidad,
agregando simplemente un numeral a la derecha del ltimo numeral en el
conjunto estndar dado.
Cualquier con junto no vaco A, cuyos elementos puedan ponerse _e1;1
correspondencia biunvoca con los de un conjunto estndar, se dice que es
un conjunto finito. Esto significa que los elementos de A pueden contarse
de acuerdo con el procedimiento desarrollado en la seccin precedente y
que tal cuenta termina con un conjunto estndar. Por ejemplo, el conjunto
de Estados en los Estados Unidos Mexicanos en 1963, es un conjunto finito,
porque los elementos de este conjunto pueden contarse con el proceso que
termina cuando ll~guemos al conjunto estndar cuya cardinalidad es vein~
tinueve. El conjunto vaco se considera tambin como un conjunto finito.
Cualquier otro conjunto que no cumpla con esta definicin, se dice que
es un conjunto infinito. El conjunto de los nmeros cardinales, por tanto, es
un conjunto infinito.
No puede esperarse, con razn, que las propiedades de los conjuntos infinitos se discutan en el nivel de la enseanza elemental. Probablemente los
nios pueden apreciar la nocin intuitiva de que no h_ay un nmero cardi~
nal que sea mayor que todos, o que los elementos del conjtmto de los nmeros cardinales puede arreglarse en una secuencia sin fin; pero esto es
poco para la comprensin de la palabra "infinito" como tal. Desde luego,
el uso de la frase "un nmero infinito" puede, efectivamente, evocar en
la mente de los nios, la nocin err6nea de alg(m nmero muy grande,
pero absolutamente especfico que sea mayor que cualquier nmero cardinal ; aunque es verdad que en matemticas superiores se asigna una cardinalidad al conjunto de los nmeros cardinales, esta cardinalidad no es Wl
nmero en el sentido en que lo hemos discutido.
A primera vista, si tenemos que A C B~ entonces parece natural que A
tenga menos elementos que B. Considrese, sin embargo, el conjunto de los
nmeros cardinales.

e=

{O, 1, 2, 3, . .. ) ,

en el cual los tres puntos indican que estos elementos continan sin fin.
Adems, considrese el conjunto de los nmeros cardinales pares,

a2

CONJUNTOS

D = {0, 2, 4, 6, . . . }.
Acomodando estos conjuntos como sigue

e = {o,
t

1, 2, 3, ... }

t t t

D = {0, 2, 4, 6, ... },

vemos que sus elementos estn en correspondencia biunvoca. Desde luego,


podemos especificar una regla (aparear el nmero cardinal n con el nmero cardinal 2n) por medio de la cual esta correspondencia puede hacerse
explcita. Por tanto, de nuestra definici6n de equivalencia,

c,....,v.
Pero, claramente D es un subconjunto propio de C, as, por ejemplo, no
contiene el nmero cardinal 1. Entonces es posible que un conjunto infinito
pueda ponerse en correspondencia biunvoca con un subconjunto propio del
mismo conjunto. Empleando conjuntos finitos esto es imposible.

El eje numrico
Un modelo usual para apreciar el conjunto de los nmeros cardinales
es el eje numrico. Generalmente los nios tienen una gran apreciaci6n
intuitiva para aquellas propiedades de las lneas rectas que usamos al hablar acerca de nmeros. Entre estas nociones intuitivas estn: a) que cada
punto en una lnea recta tiene una posici6n; b) que hay algo semejante
como una "distancia., entre dos puntos cualesquiera en una recta, y e) que
es posible comparar la "distancia" entre dos puntos cualesquiera, con la
distancia entre otros dos puntos.
Ser significativo para el estudiante construir de una lnea recta un
modelo geomtrico para los nmeros cardinales. Podemos empezar por dibujar una representaci6n de una parte de una lnea recta en cualquier superficie plana y para completar o reforzar la representaci6n, se fijan puntas
de flecha en cada extremo de la porcin de la recta,
+-------------------------------------------~

para simboli:zar que el dibujo no tennina, sino que la recta se extiende


indefinidamente en ambos sentidos. Despus id~ntifiquemos algunos puntos
especficos en el dibujo de la recta, marcando cualquier punto conveniente
(llammosle P) y un segundo punto, diferente del primero (llammosle Q ).
A partir de estos puntos marquemos, por cualquier mtodo, una serie de

EJE NUMERICO

33

puntos (de la cual P y Q son dos puntos consecutivos de la serie), teniendo


en cuenta que el espacio entre dichos puntos sea el mismo a lo largo de la
recta. Por ejemplo, algunos mtodos para poder hacer esto, consistiran en
el uso de un comps, o mediante un par de marcas hechas en la orilla de
una hoja de papel. O empleando algn otro mtodo semejante (figura
6) para marcar espacios iguales. Obsrvese que la localizacin de los pun
tos P y Q no es de consecuencia, y una vez que los hayamos escogido, pe.
demos marcar otros puntos sobre la lnea en ambos sentidos.
Cuando se ha terminado la identificacin de puntos, podemos obtener
algo parecido a la figura 7. Hasta este momento tenemos el dibujo de una
parte, de lo que concebimos como una recta que se extiende indefinidamente en ambos sentidos y sobre la cual, por medio de marcas repetidas,
de distancia constante, hemos identificado algunos puntos especficos. El
dibujo que tenemos no es una parte de la recta misma, ni las marcas que;
hemos hecho para distinguir puntos son los puntos mismos. En el sentido
en que estamos pensando aqu acerca de los puntos y las rectas, son simplemente conceptos o ideas, los cuales representamos por medio de lpiz y

p
(

papel

FIGURA

34

CONJUNTOS

FIGURA.

papel o pizarrn y giS. Nu~stros dibujos tienen propie~ade$ que no comparten las cosas que ellos representan; por ejemplo, Jos dibujos pueden
verse. Ms an, para que puedan ser vistos tienen que tener dimensiones, y ia nica dimel}si6n que sabemos que tiene la re~ta es su longit.ud,
que es finita cuando se cons~dera como una porcin limita~a entre dos
punto~, e infinita cuando se considera completa, que se -extiende indefinidamente. Nuestros puntos se .conciben simplemente como .localizaciones sin
dimensin.
.
Nuestro dibujo por tanto es vvido y til para los propsitos por los
cuales debemos ponerlo. Despus apreciemos el conjunto de nm_cros e.nteros en su totalidad y veamos c6mo podemos hacer una conexin entre el
conjunto de nmeros y el conjunto de puntos que l)emos .identificado en la
recta. La figura 8 muestra lqs dos conjuntos, uno sobre otrp. Sabemos que
{0, 1, 2, 3, 4, 5, .. . }

FIGURA

hay un nmero infinito de nmeros en nuestro conjunto, y. conceptualmente


un nmero infinito de puntos especificados en la recta. Nuestro prop6sito es
aparear los elementos de estos conjuntos. La cuestin ahora es cmo hacer
este apareamiento. Despus de todo, mientras que el conjunto de los nmeros enteros tiene un comienzo (elemento menor) , concebimos nuestra
recta como extendida indefinidamente, en ambos sentidos; y por esto no
existe un "comienzo" natural del conjunto de los puntos especificados. Escojamos entonces cualquiera de los puntos especificados de nuestra recta y
concentremos la atencin nicamente en aquellos puntos especficos marpunto escogido

{0, l. 2, 3, 4, 5, .. l

'

no se tomen en cuenta

considrense stos

FIGRA

IIL EJE NUMERICO

O,

4,

3,

2,

1,

:U

11111
t

punto escogido
FrouRA 10

cados al lado derecho del punto escogido como se muestra en la figura 9.


Ahora apareemos cada nmero del conjunto de los nmeros cardinales con
uno de nuestros puntos especficos, de la manera indicada en la figura 10.
Obsrvese que estamos haciendo este apareamiento de una fonna particular. El nmero O se asocia con el punto escogido (inicial), y cada nmero
cardinal sucesivo se asigna, en orden, a un punto sucesivo. La figul<!, 11

2
FIGURA

11

muestra grficamente una parte dcl resultado obtenido, con cada punto
especfico marcado con el numeral para el nmero cardinal con el cual est
apareado. Conceptualmente esta forma de marcar los puntos se extiende
indefinidamente a la derecha, ton cada nmero cardinal asociado. en rden, con un punto especfico. La parte de la recta que est localizada a la
izquierda del punto al que le corresponde el O (este punto es llamado el
origen del eje numrico) ho nos interesa ni nos concierne en este momento.
Cuando el conjunto de nmeros se extiende para incluir a los nmeros negativos, esta parte de la recta puede ser usada de manera similar para
apreciar los nmeros negativos.
Si desearnos centrar nuestra ateni6n en el esquema de un conjunto
de nmeros cardinales apareados con puntos 'a cierta distancia del origen,
necesitamos dibujar solamente esa parte del eje numrico en la que estamos interesa~!.'os. Por ejemplo, si queremos apreciar qu parte del eje numric.o se aso~:ia con el conjunto de nmeros cardinales
{265, 266, 267, 268, 269},
nuestro esqerna de la parte del eje numrico puede aparecer como se
muestra. en la ,figu.ra 12, donde se entiende que el origen est localizado,
265 s~grnentos a lo largo del eje, hacia la izquierda.

36

CONJUNTOS

265

266

267
FIGURA

268

269

12

Hay cierto nmero de propsitos pedaggicos valiosos, para los que el


eje numrico puede emplearse aunque en este momento slo mostraremos
uno de ellos.* El eje numrico proporciona un medio concreto para apreciar el orden en el conjunto de los nmeros cardinales. De entre dos nmeros cardinales cualesquiera, el punto en el eje numrico que corresponda aJ menor de los dos, estar localizado a la izquierda del punto al que le
corresponde el mayor.

OPERACIONES CON LOS CONJUNTOS

Unin de conjuntgs

Considrese el conjunto de nios de segundo grado presentes en el grupo


A de la Escuela Reforma en un momento determinado. Si a este conjunto
le llamamos nuestro conjunto universal U, entonces podemos hablar de un
nmero de subconjuntos diferentes de U. Por ejemplo, hablaramos acerca
del conjunto de nios, del conjunto de nias del conjunto de nios y nias
sentados en la primera fila, en la s.egunda, o en alguna otra, o del conjunto
de nios y nias cuyo primer apelldo empiece con la letra "M". Hay
varias maneras para especificar subconjuntos de nuestro universo. Usando
esos subconjuntos podemos ilustrar cmo dos conjuntos, o ms, pueden emplearse para identificar a otro subconjunto de U.
Supongamos que llamamos U a nuestro universo, como especificamos
en el prrafo anterior, y dados:
A = {nios}.

e= {nios y nias de las filas l y 2},

B = {nias},

en donde se entiende que A

= {niiios y

niiias de las filas 3 y 4},

e U, B e U, e e U,

y D

e U.

(Lans~ estos smbolos en palabras para asegurar que se conoc.e lo que


significan.)
Si pedimos que los miembros del conjunto A de nuestro ejemplo se
pongan de pie, todos los nios que t~st;n presentes en la clase, deben ponerse de pie. De mamra semejante podemos identificar a }os miembros de

Otros c.uadcrnos de esta serie harn un mayor uso y tratarn con mayor
frecuencia el concepto de eje numrico.

UNION DE CONJUNTOS

37

e,

cada uno de los conjuntos B,


D, con s6lo pedir que sus miembros se pongan de pie. Seguramente que cuando pidamos que los miembros de Jos
conjuntos C y D se pongan de pie,, encontraremos tanto a nios como a
nias. Ahora supongamos que pedimos que se pongan de pie aquellos nios
y nias que son miembros del conjunto A o del conjunto e, o de ambos.
Esta vez esperamos ver de pie a las nias de las filas 1 y 2, y a todos los
nios. Hemos usado los conjuntos A y
para formar un nuevo conjunto.
llamado la uni6n de los conjuntos A y C. Formalizando el concepto, acerca
del que estamos hablando aqu, tenemos la siguiente definicin:

Si A y B son subconjuntos del universo, la unn da A y B simbolizada mediante A U B. es el conjunto de todos los eleme.ntos
que pertenecen a A o a B o a ambos.

(Obsrvese que el smbolo "U" es diferente de la letra U usada para simbolizar el conjunto universal.)
El proceso de. obtener la unin de dos con.iuntos se llama ope.racin
de conjuntos, y puesto que se determina para aplicarse exactamente a dos
conjuntos a la vez, se le llama operacin bnaria. As como podemos ejecutar una operacin binara con los nmeros 2 y 3 para obtener otro nmero (por ejemplo, 2 + 3 = 5 2 X 3 = 6), tambin podemos ejecutar
una operacin binaria con dos conjuntos para obtener otro conjunto. (El
prefijo "bi" significa dos ---compare su uso con "bicicleta", "bpedo", etc.')
An ms, puesto que la unin de dos subconjuntos cualesquiera de un universo dado, es ella misma un subconjunto de dicho universo, se dice entonces
que el universo es cerrado con respecto a la formacin de uniones.
Demos otro ejemplo de la unin de dos conjuntos, esta vez usando conjuntos cuyos miembros se identifican simplemente por las letras a, b, e, d,
e,/, g, y h. Consideremos adems que
U= {a, b, e, d, e, f, g, h},
A={a,b,c},
B = (b, e, d},
C={d,e,f,g,h},
D = {h}.

Comprobemos, ahora, que A U B (lase "la unin de A y B" o tambin


"A unin B'') es {a, b, e, d}. Ntese que A U B no debe escribirse {a, b,
e, b, e, d} puesto que no tiene caso repetir la expresin de un solo miembro

38

CONJUNTOS

varias veces. El conjunto A U B tiene cuatro miembros, no seis. Regrew


sando a los conjuntos considerados anteriormente, se verifica que:
AUC ={a, b, e, d, e,

f,

g, h}.

Por .tanto, como este conjunt9 contiene a todos los miembros de U,. podew
.qos escribir

AUC= U.

Tambin

AUD ={a,. b, e, h}
D U C = ( d, e,

f,

g, h}.

Este ltimo conjunto es el mismo que el conjunto C; por tanto,


DUC= C.

e
AUB={a, b, e, d}

J
FIGURA

13

u
AUC=(a1 b, e, d, e,/, g, h}

FJOURA

14

Los diagramas de Venn, estudiados en una de )as secciones anteriores,


nos ofrecen un mtodo grfico par:a apreciar la uni6n de conjuntos. Somw
breando las regiones que se usan para representar los conjuntos, hacemos
que la unin de dos de estos conjuntos resalte muy claramente. Las figuras
13 a 16 representan las uniones de los conjuntos mencionados anteriormente.
El ltimo ejemplo (figura 16) ilustra otro hecho, que es el siguiente :
si un conjunto es subconjunto de un segundo conjunto, entonces la unin

UNION DE CONJUNTOS

39

de estos conjuntos es el segundo con junto. Lo anterior se puede representar


en smbolos de la siguiente manera:

Si A b.B, entonces A U B

= B.

En particular, la unin de cualquier conjunto con el conjunto WlversaJ,


ser el mismo conjunto universal, porque todo conjunto es subconjunto del
conjunto universal. En s1mbolos para todo conjunto
A;:U, AUU =U.
Adems,() U A =A para todo conjunto A, puesto que q; b. A. La de
finicin de la unin de dos conjuntos implica que el orden, en el que se
consideran los miembros de un conjunto,

~d

A U D= {a, b, e, h}

e
FIGURA

15

u
DU C={d,

e,/,

g, h }

DUC=C
b

FIGURA

16

no interviene en el proceso de obten~ la unin~ al igual que el orden en el


que se consideran los conjuntos mismos. Entonces, el enunciado
AUB =BU A

es verdadero para dos. c:onjuntos cualesquiera A y B.


Cuando el orden en que tomamos dos c;osas para ejecutar una operacin
no tiene efecto en el resultado, se dice que la operacin es conmutativa.
P9r esto, ('1 proc-eso d e obtener la uni9n de dos conjuntses una operacin
conmutativa.

40

CONJUNTOS

Necesitamos otra definicin para poder hablar sobre la uni6n de ms


de dos conjuntos. Por tanto, consideremos lo siguiente: para conjuntos
cualesquiera A, By C
A U BU C simboliza al conjunto (A U B) U C.

Sustituyendo este simbolismo por palabras, podemos expresar.. esto de la si


guiente manera: AUBUC es el conjunto que se obtiene, primero con la
unin de A y B (esto es lo que est indicado con el parntesis) y despus
obteniendo la unin de este conjunto con C. De manera semejante, de
acuerdo con lo anterior, podemos trabajar con ms de tres conjuntos repi
tiendo la operacin binaria, como en AUBUCUD. Como un ejemplo considrese:

u= {2, 4, 6, 8, 10, 12},


A={2,4},
B = {4, 6, 8},
e= {4, 8, 12}.
Formando primero A U B, tenemos:
AUB= {2,4}U{4,6,8},

= {2, 4, 6, 8}.
Entonces
(AUB) UC = {2, 4, 6, 8} U {4, 8, 12},
= {2, 4, 6, 8, 12}.
.
Este ejemplo puede usarse para sealar otra caracterstica de la operacin de obtener la unin de conjuntos. El conjunto AU(BUC) es el
mismo que el conjunto (AUB) UC? [En AU (BUC), el parntesis indica
que el conjunto BU C se obtiene primero, y despus se obtiene la unin de
este conjunto con el conjunto A.] Si U, A, By C se definen como en el caso
anterior, tenemos entonces
BUC = {4, 6, 8} U {4, 8, 12},
= {4, 6, 8, 12}.
Si ahora ormamos la unin de este conjunto con A, obtenemos:
AU (BUC) = {2, 4} U {4, 6, 8, 12},
= {2~ 4, 6, B, 12},

el cual es exactamente el mismo conjunto que (A U B) U C. Desde luego


que el hecho de haber obtenido resultados idnticos en este caso particular

UNION DE CONJUNTOS

41

puede ser simplemente por casualidad. Entonces, podemos esperar que


para cualesquiera tres conjuntos A, B y C,
(.AU.B)UC = AU(BUC)?

La respuesta es s, y esto puede ilustrarse por medio de diagramas de Venn


en las figuras 17 a 20.

FIGURA

17

FIGURA

La figura 1 7 describe tr s conjuntos A,


n, C, en el univeno U, ' la regi6n co
rrespondicr. . a A U R es a rayada.

18

La figura 18 muestra los mismos conjuntos, pero con la regin correspondiente a


(.A U B) U C rayada.

Comparando las figuras 18 y 20 podemos ver que


(A UB) UC

= AU (BUC).

Esta propiedad de la operacin para obtener la unin de conjuntos se llama


propiedad asociativa. Tambin podemos decir que la operacin es asociativa.

FIGURA

19

La figura 19 ilustra los mismos tres con


juntos, pero con la regin correspondiente a BUC rayada.

FIGURA

20

La igura 20 muestra los mismos tres


conjuntos con la regin correspondiente
a AU(BUC) rayada.

42

CONJUNTOS

Lo cual signica, en realidad:, que en A. U BU C no importa el orden en el


cual se obtengan, ya sea primero AU.B o BUC.
Las figuras 21 y 22 vm un paso ms all e ilustran que (A U C) U B :::r
(A U B) U C = A U (BU C). Comparando las figuras 18, 20 y 22 puede
verse que (A.UB) UC =A. U (BUC) = (AUC) UB.

(AUC)UB

A.UC
FIGURA

21

FIGURA

22

Grupo de ejercicios 3

l. Dados U= {Los Estados de la Repblica Mexicana},


e = {Veracruz, Jalisco, Sonora),
O = {Nuevo Len, Tamaulipas},
P = {Colima, Jalisco, Michoacn, Tamaulipas, Coahuila}.
D una lista de los miembros de cada uno de los siguientes conjuntos:

a)

CUO

b)
e)

euP
OUP

2. Dacios U;: {Los nios del .$9 ao de la Escuela Reforma},


S = {Mara, Ele%la, Ana, Juan, Roberto),
M= {Juan, Rqberto, Ana, Jaime, Susana},
e= {Pedro, Mara, Felipe, Jaime, Nora, Ana},
W::::: {Mara, Ana, Jos, Nora}.
D una lista de cada uno de los siguientes conjuntos:
a)
b)

SUM

e)

cuw

d)

(SUC) UW
CU(WUM)

INTERSeCCION DE CONJUNTOS

43

3. Dados U .= {1 , 2, 3, 4, 5, 6, 7, 8, 9, lO, 11, 12},


A
{2, 4, 6, 8, 10, 12),
B
{1, 3, 5, 7, 9, 11},
e= {3, 6, 9, 12},
D = {2, 3, 4, 5, 6, 7).

D una lista de los miembros de cada uno de los siguientes conjuntos:


a)
b)
e)

d)

AUB
BUe
CU D
(AUe) UD

Interseccin de conjuntos
Una segund~ operacin con los conjun tos consiste en obtener la interseccin de dos conjuntos. Iniciemos la discusin e~pleando los mismos conjuntos que usamos para ilustrar la forma en que opera la unin de dos
conjuntos. Entonces
U = {Alumnos de 29 grado presentes en el grupo A de la Escuela
Reforma},

en donde se entiende que nos estam<* refiriendo al momento en el que la


escuela se encuentra en horas de labor. Tambin, como antes, tenemos
A = ..{nios},
B
{nias}

e = {nios y nias de las filas 1 y 2}'

= {nifios y nias de

las filas 3 y 4}.

A, B, e, y D son subconjunto de U. Roguemos a los miembros que perte.


necen tanto al conjunto A como a1 conjunto e que se P.ongan de pie; as
veremos que se paran todos los nios qe las filas 1 y 2. Por lo que hemos
usado dos conjuntos, A y e, para formar un nuevo conjunto: el de aquellos
elementos que pertenecen a ambas conjuntos A y C a la vez. En consecuencia, hemos realv..ado una operaci6n binaria con los conjuntos A y C.
Este es un ejemplo de lo que queremos expresar por la interseccin de dos
conjuntos. En general, tenemos la siguiente definicin:

44

CONJUNTOS

Si A 'Y. B son subconjuntos de un universo, la interseccin de A


.Y B, simbolizada por AnB, es el conjunto de todos los elementos
que pertenece.n a ambos A .Y B a la vez.
El grupo simblico A n B se lee "la interseccin de A y B", o tambin "A
interseccin B". Puesto que todos los miembros que pertenec~n a ambos
conjuntos A y B deben ser tambin miembros de U, entonces el universo es
cerrado con respecto a la operacin de obtener intersecciones de conjuntos.
Adems, ya que A nB tiene exactamente los mismos elementos que BnA,
es verdadero que, para dos conjuntos cualesquiera A y B,

AnB = BnA.
por lo que la o~eracin de formar la interseccin de dos conjuntos es conmutativa.
Nuevamente consideremos el ejemplo
U= (a, b, e, d, e,

f,

g, h},

A = {a, b, e},
B={b,c,d},
e= (d, e, f, g, h},
D = {h}.
Puede comprobarse que
AnB

= {a, b, e} n (b, e, d},


= {b, e}.

(Son significativos estos smbolos? Lo que en efecto se quiere decir aqu,


es que el conjunto de elementos que pertenecen a ambos conjuntos A y Bes
el conjunto de elementos que pertenecen a {a, b, e} y {b, e, d) a la vez; o
sea el conjunto cuyos elementos son by e; esto es {b, e}.) La figura 23 es

AnB= {b. e}
FIGURA

23

INTEltSECCION DE CONJUNTOS

45

un diagrama de Venn que ilustra lo anterior, en donde .AnB es la regi6n


que se representa rayada.
Los conjuntos A y C de nuestro ejemplo, no tienen elementos comunes;
por tanto. la interseccin de los conjuntos A y C no tienen elementos, y por
eso es el conjunto vaco. Esto puede escribirse as
AnC = (/),

lo que ahora leeremos: "la interseccin de A y C es el conjunto vaco". El


diagrama de Venn de la figura 24, nos muestra esta situacin. Cuando dos

FIGURA

24

conjuntos no vacos se <.aracterizan por no tener elementos comunes. se les


llama conjuntos disjuntos. De una manera ms formal:

Si A y B son conjuntos no vados se dice que A y B son disjuntos


si, y slo si AnB = f).
Ahora estamos listos para analizar algunas intersecciones ms interesantes. Un liger<;>' anlisis basta para convencernos de que si para dos conjuntos
cualesquiera A y B se tiene A e; B, entonces
AnB =A.

En palabras, si un primer conjunto es subconjunto de otro conjunto, entonces su interseccin es el primer conjunto. La figura 25 es un diagrama
de Vcnn que describe esta situacin
.

46

CONJUNTOS

AnB=A
FiouRA

25

Puesto que todo conjunto, en cualquier ejemplo o problema, es un subconjunto del universo, se concluye que para todo conjunto A,

UnA =A.
Esto se mue~tra en el diagrama de Venn de la figura .26.

UnA.=A
FIGURA

26

Aunque el proceso de obtener la interseccin de dos conjuntos, as como


el de .obtener SlJ u.nin, es una opet:aci.n binaria, podemos extenderla a ms
de dos conjuntos, mediante la siguiente definicin:
Para tres conjuntos cualesqurera A, B y C, AnBnC simboliza
al conjunto (AnB) nc.

El parntesis indica que AnB se obtiene primero.


Consideremos ahora las figuras 27 y 28 que muestran A n B primero y
despus (AnB) nc.

INTERSECCION DE CONJUNTOS

47

AnB
FtCURA

(AnB)

27

nc

FIGURA

28

En las figuras 29 y 30, vemos primero B n e, y despus A n (I~ n C).


Cuando comparamos. las figuras 28 y 30, es evidente que para tres conjuntos cualesquiera A, B y e,
(AnB) nc =A n (BnC).

nnc
FIGURA

An (BnC)

29

FIGURA

30

En otras palabras, la operacin de fonnar la intersecci6n de conjuntos


es asociativa. Esto no constituye una prueba de la asociatividad, pero la
hace admisible.
Grupo de eercieios 4,

l. Dados U = {Pases de Amrica},

B = {Boliv#, Salva.dor, Argentina, Mxico, Estados Unidos},


C = {Argentina, Colombia, Uruguay, Bolivia},
D {Salvador, Bolivia, Brasil},
E
{Panam, Canad, Paraguay}.

=
=

48

CONJUNTOS

Obtenga una lista de los miembros de cada uno de los siguientes conjuntos.

a) BnC
b) CnD
e) CnE

d) (BnD) nc
e) Dn(CnB)
f) (BnE) nc

2. Dados U={l,2,3,4,5, ... , 15},


A= {2, 4, 6, 8, 10, 12, 14),
B = {l, 3, 5, 7, 9, 11, 13, 15},
e= {3, 6, 9, 12, 15),
D = {4, 8, 12}.

Obtenga una lista de cada uno de los siguientes conjuntos.


a) AnB
bJ Bnc
e) AnD

d) (AnC) nD
e) Bn (CnD}
f) (AnD}nC

3. Mediante rayado, indique los siguientes conjuntos.


a)

e)

xnz
b)

YnZ

d)

Xn(YnZ)

COMBINACION DE OPERACIONES CON CONJUNTOS

49

Combinacin ds operaciones con conjuntos


Cuando se combinan los procesos de obtencin de uniones e intersecciones de conjuntos son de gran utilidad los diagramas de Venn para visualizar los resultados. Slo consideraremos aqu algunos ejemplos; pero si se
desea hacer algunos otros experimentos por cuenta propia, se encontrar
que las combinaciones de estas operaciones ofrecen muchas posibilidades
para la formaci6n de conjuntos.
Primero consideraremos la proposicin
An(BUC) = (AnB)U(AnC).

Es verdadero este enunciado? En las figuras 31 a 33 tenemos una secuencia de diagramas de Venn que muestran grficamente A n (BU C) ; la que
se obtiene (fig. 31) primero mostrando A, By C; segundo (fig. 32), BUC,
y tercero (fig. 33) An(BUC).

A, B, y C
FtOURA

BUC

31

FIGURA

A n (BUC)
FlGURA

33

32

50

CONJUNTOS

Comparemos, ahora, esta secuencia con la de las figuras 34 a 36, en las


que figura 34 muestra A n B, la figura 35 muestra A n C y la figura 36
muestra (A nB) U (A n C).

AnB
FIGURA

AnC

34

FIGURA

35

(A

nB) U (AnC)
FIGURA

36

Claramente las figuras 33 y 36 muestran la misma regin rayada y concluimos de esto que nuestr() enunciado original es verdadero. La operacin
de obtener la unin e interseccin de conjuntos tiene la propiedad de que
para los conjuntos A, B y C la proposicin
An (BUC) = (AnB) U (A nC)

es verdadera. Esto se conoce como propiedad distributiva.


Grupo de ejercicios S
l. Forme una secuencia de diagramas de Venn para ilustrar que A U (Bn C}
= (AUB) n (AUC) es una proposici6n verdadera.

2. Mediante rayado, indique los siguientes conjuntos.

COMBINACION DE OPERACIONES CON

Sl

e) U

a) U

(XIIY)IIZ

XU (YIIZ)

b)

CO~JUNTOS

d)

XII(YUZ)

(XUZ) IIY

3. Dados U= {maestros de escuela primaria},


A = {maestros de escuela primaria que han viajado a Europa},
B = {maestros de escuela primaria que han viajado a Estados
Unidos}.
Describir en palabras cada uno de los siguientes conjuntos:
a) AUB
b) AIIC

4. Dados U= {80, 81, 82, 83, 84, ... , lOO},


A = {80, 85, 90, 95, lOO},
B = {80, 90, 100},

e= {80, 82, 84, 86, 88, 90},


D = {81, 83, 85, 87, 89}.
Obtenga una lista de los miembros de cada uno de los conjuntos:
a) AU(BIIC)
b) (A UB) nc

e) (AIIB) U (CIID)
d) (AnC) n (CUD)

52

CONJUNTOS

Productos cartesianos
Como ltima operacin con Jos conjuntos consideraremos otra operacin
binaria con la cual obtenemos un nuevo conjunto, operando con dos conjuntos; aunque esta operacin produce un nuevo conjunto que no est en U.
Pero antes de discutir esta operacin es necesario establecer qu ' se entiende
por un par OTdenado.
Cuando se aparean objetos, el orden en que se toman para aparearlos
puede --o no-- ser importante. Por ejemplo, el orden en el que se apliquen la sal y la pimienta a la comida no tiene importancia, pero el orden
en el que se coloca un zapato y un calcetn en el pie es de importancia.
Cuando el orden es importante, los matemticos usan el grupo simb6co
(a, b) (lase "el par ordenado a, b") para simbolizar que a es apareado con
b, pero adems, que a .se considera primero. Entonces, en el ejemplo anterior, podemos.escribir (sal, pimienta) y (pimienta, sal) indistintamente ; pero
si queremos escribir (calcetn, zapato) , esto significa algo muy diferente a
(zapato, calcetn}. Formalmente,
Un par ordenado (a, b) es un par de objetos e.n el cual el (Yfden
en el que se consideran los objetos debe ser primero a, y despus b.
El grupo de smbolos (a , b} no es notacin de conjuntos, y un par ordenado no es un conjunto en el sentido en que hemos usado el trmino.
(Es posible formular una definicin para un par ordenado, exclusivamente
en trminos de conjuntos; sin embargo, no adoptaremos este punto de vista,
y nuestros pares ordenados no se considerarn conjuntos como tales.) Las
letras a y b usadas en (a, b) se llaman la primera y la segunda componentes
(no "miembros") respectivamente, del par ordenado.
Definimos: dos pares ordenados son iguales si, y slo si, dichos pares
tienen las primeras componentes idnticas e idnticas las segundas componentes: (a, b)
(e, d) si, y slo si, a
eyb
d. Entonces,

(a, b) = (a, b), pero (a, b) =f:=. (b, a.) a no ser que a= b.
Para que se comprenda con mayor claridad esta otra operacin binaria
con los conjuntos, considrese este ejemplo: "En una fu~nte d e sodas se
sirve pastel de chocolate y pastel de fresa con cualquiera de los siguiente'
helados : vainilla, chocolate, fresa o nuez; cuntas combinaciones ~liferen
tes de pastel y helado podrn ofrecerse?" Las posibilidades son:
Pastel de chocolate y helado de vainilla,
plUtel de chocolate y helado de chocolate,

PRODUCTOS CARTESIANOS

53

pastel de chocolate y helado de fresa,


pastel de chocolate y helado de nuez,
pastel de fresa y helado de vainilla,
pastel de fresa y helado de chocolate,
pastel de fresa y helado de fresa,
pastel de fresa y helado de nuez.
En nuestra lista vemos que se tienen ocho posibilidades.
En nuestro ejemplo, el pastel de chocolate y el de fresa son los miembros
de un conjunto, y los helados de diferentes sabores son miembros de otro
conjunto. Las combinaciones de pastel y helado forman el conjunto de
todos los posibles pares ordenados en los cuales la primera componente es
un elemento del conjunto de pasteles, y la segunda, un elemento del conjunto de helados de diferentes sabores. Todas estas combinaciones forman un
conjunto llamado producto cartesiano* de Jos dos conjuntos.
Una manera conveniente de representar la formaci6n de un producto
cartesiano es mediante un arreglo o red. La figura 37 es un arreglo que representa los apareamientos del ejemplo anterior en el cual A es el conjunto
de dos clases de pastel y B es el conjunto de cuatro tipos de helado. Cada
par ordenado se forma de una clase de pastel y una clase de helado. En el
arreglo se representa cada par ordenado mediante un punto.

A
pastel de
chocolate d)

(d, v)

(d, e)

(d,8)

(d, p)

pastel de
fresa

(a, v)

(a, e)

(a, s)

(a,p)

a)

L------------------------------8
helado de
vainilla
v)

helado de
chocolate
e)
FIGURA

helado de
fresa
s)

helado de
nuez
p)

37

Definamos, ahora, el producto cartesiano.

* La palabra "cartesiano" se deriva del nombre del matemtico


Descartes ( 1596-1650).

ranc~s

Rent

54

CONJUNTOS

S A y B son conjuntos, entonces el conjunto A X B (lase: "A


cruz B"J~ se llama el producto cartesiano de A y By es el conjunto de todos los posibles pares ordenados, tales que la primera
componente del par ordenado es un elemento de A y la segunda componente es un elemento de B.

Obsrvese que, en primer lugar, estamos hablando sobre uu conjunto


cuyos elementos no son objetos simples, sino pares. ordenados. Puesto que
los m:embros del conjunto universal en el que estn incluidos A y B son
objetos simples, y los miembros del conjunto A X B son pares ordenados, el
conjunto A X B no es un subconjunto de U. Por consiguiente, la formacin
de productos cartesianos no es cerrada en U.
Considrese el conjunto universal
S = {a, b, e, d},

y dado

A= {a, b},

B = (b, e, d}.

Entonces, el producto cartesiano A X Bes el conjunto de todos Jos posibles


pares ordenados cuyas primeras componentes son elementos de A y cuyos
segundos componentes son elementos de B. Entonces,
A X B = {(a,

bL

(a, e), (a, d), (b,

bL

(b, e), (b, d) }.

Ntese que el par ordenado ( b, b) es un miembro de A X B. Anteriormente habamos indicado que, en la notacin de un conjunto, repetir varias
veces un elemento en la Hsta, no era necesario. Esto es {b, b} = { b}. Sin
embargo (b, b) es un par ordenado y no un conjunto, o sea un miembro
legtimo de A X B.
Continuando con nuestro ejemplo, observamos que
B X A= {(b, a), (b, b), (e, a), (e, b), (d, a), (d, b)}.

Comparando los miembros de A X B y B X A vemos que no son los


mismos, puesto que los pares ordenados (a, b) y ( b, a), por ejemplo, son
pares ordenados diferentes. Por lo que podemos concluir que, en general, la
formacin de productos cartesianos no es conmutativa.
La figura 38 es un arreglo que muestra la formacin de A X B del ejemplo anterior. ObseJvcmos que el eje vertical est asociado con el conjunto
A, y que las letras a y b, que aparecen a la izquierda del mismo eje, corresponden a las primeras componentes. De manera semejante, el eje horizontal se asocia con el conjunto B, y las letras b, e, d, que aparecen debajo del

PRODUCTOS CARTESIANOS

SS

eje horizontal, corresponden a las segundas componentes. Es una eleccin


arbitraria emplear el eje vertical para las primeras componentes y puede
usarse al revs (como ocurre en realidad) cuando usamos coordenadas cartesianas para representar puntos en el plano.
Otra manera de representar la formacin de un producto cartesiano es
mediante grficas arborecentes. La figura 39 es una grfica arborecente
que muestra la formacin de A X B en el ejemplo anterior.

(Primer
elemento)

(b, b)

(b 1 e)

(b, d)

(a, b)

(a, e)

(a, d)

L------------------------------8
b

(Segundo elemento)
Orden de los elementos A X B
FIGURA

38

AXB

b-- --------(a,b)

d---

-----------(e, d)

b - - - - - - - - - - - -(b,b)

d - - - - - - - - - - -(b, d)

56

CONJUNTOS

Grupo de e(erc1cios 6

1. Dados U= {Mara, Nora, Carmen, Ana, Guillermo, Pedro, Felipe,

Jaime},
A = {Mara, Nora, Cannen, Ana},
B = {Guillermo, Pedro, Felipe, Jaime}.
Construya un arreglo, o red, que muestre los apareamientos de posibles
compaeros de juego de baraja, de modo que uno de los compaeros
sea miembro del conjunto A y, el otro, miembro del conjunto B.
2. Dados U= {d, e, f, g, h},
A= {d, e, f},
B
{e, f, g, h}.

Construya un arreglo o red que muestre la formacin de A X B.

3. Dados U= {w, x, y, z},


C= {w,x}..
D = {x, y, z}.

Constuya una grfica arborecente que muestre la formacin de C X D.

SUMARIO
Nuestro prop6sito en este cuaderno ha sido discutir algunos conceptos
elementales de la teora de conjuntos y ver cmo pueden usarse para contribuir al esclarecimiento de la naturaleza del nmero. Slo se han analizado
algunos conceptos en el enorme campo de ricas y variadas ideas concernientes a la teora de conjuntos y el nmero. Los conceptos que hemos introducido son fundamentales, y deben serie familiares al maestro de educacin elemental para poder ensear la matemtica moderna.
Es nuestro deseo y esperanza que este pequeo cuaderno sea de utilidad
para explicar algunas de las ideas bsicas* que es preciso tratar en la discusin de la matemtica moderna, en cuanto a conjuntos y nmeros, y tal ve:z:
pueda servir como fundamento para estudios posteriores ms profundos y
detallados de estas ideas. Hay exposiciones ms amplias y profundas que
la presente. Esperamos el acogimiento decidido de los maestros para el estudio de estas exposiciones.
Esw ideas se usarn en otros cuadernos de la serie, especialmente en el cuaderno 2: Ntlmeros 4nteros.

SIMBOI.OS USADO$

57

S/MBOLOS USADOS EN EL CUADERNO t


SMBOLO

SIGNIFICADO

{}

Llaves: agrupar a los miembros de un conjunto


A es el conjunto cuyos miembros son Mara y Juan.
El conjunto que no tiene miembros. llamado el con
junto vaco o conjunto nulo. Tambin se acostumbra
escribir { }.

A={Mara, Juan}
(/)

Puntos suspensivos para indicar que en la lista se omiten algunos de los miembros del conjunto.*

E
~

Es un miembro de **
No es un miembro d~ ***
Igual, es igual a, o es el mismo que. Para conJuntos:
Contiene exactamente los mismos miembros que.
No es igual a
Es equivalente a

<

Menor que

<(

N o es menor que
Mayor que
No es mayor que

>
j>

u
~

e
n(A)

u
n
(a> b)

AxB

El conjunto universal o universo


Es un subconjunto de
Es un subconjunto propio de
El nmero cardinal del conjunto A
Unin
Intersecci6n
El par ordenado: a, b
El producto cartesiano de los conjuntos A y B, lo que
se lee: A cruz B.

Los puntos auspensivos deben emplearse s61o en caso que ae sepa claramente
c-ui'es son los miembros o elementos que ae estn omitiendo. [N. del T.]
Este simbolo tambin se lee es un elemento de o pertenet~ej es ms comn
usnr'o como pertenece. [N. del T.]
No t~s un tlt~mfnto o no P~Ttenece. [N. del T.]

58

CONJUNTOS

RESPUESTAS A LOS GRUPOS DE EJERCICIOS


Grupo de ejercicios 1

l. a ) {Tamaulipas, Veracruz, Tabasco, Campeche, Yucatn}


b) {enero, febrero, marzo, abril, mayo, junio}
e) {Luna}
d) (/) o { }
e) {Michigan, Erie, H uron, Superior, Ontario}
/) (a, b, e, d, e}
2. a) 3

b) 1

3. a) E

e) 2
d) E
e) ~

b) <:'/!
e) E

/)

g) ~
h) E
i) $

Grupo de ejercicios 2

l.

f/J

(barco}
{carro}
{avin}
{tren}
{barco, carro}
{barco, avin}
{barco, tren}

{carro, avin}
{carro, tren}
{avin, tren}
{barco, carro, avin}
{barco, carro, tren}
{carro, avin, tren}
{barco, avin, tren}
{barco, carro, avin, tren}

2. a) {Vcracruz, Jalapa, Crdoba}


b) {Matamoros, Ciudad Jurez, Laredo, Piedras Negras}
e) {Jalapa}
3. El smbolo
El smbolo

e
~

puede insertarse en a, e, d
puede insertarse en todos
Grupo de ejercicios 3

l. a) CUO
{Veracruz, Jalisco, Sonora, Nuevo Len, Tamaulipas}
b) CUP = {Veracruz, Jalisco, Sonora, Colima, Michoacn, Tam:llllipas, Coahuila}

RESPUESTAS A LOS GRUPOS DE EJERCICIOS

59

e) OUP ={Nuevo Len, Tamaulpas, Colima, Jalisco, Michoacn,

Coahuila}

2. a) SUM = {Mara, Elena, Ana, Juan, Roberto, Jaime, Susana}


b) CU W = {Pedro, Mara, Felipe, Jaime, Nora, Ana, Juan, Roberto,
Susana}
e) (S U C) U W = (Mar.a, Elena, Ana, Juan, Roberto, Pedro, Felipe,
Jaime, Nora, Jos}
d) CU ( WUM) = {Pedro, Mara, Felipe, Jaime, Nora, Ana, Jos, Juan,
Roberto, Susana}
3. a) A U B = {1, 2, 3, 4, 5, 6, 7, B, 9, 10, 11, 12}
b) BU C
{1, 3, 5, 6, 7, 9, 11, 12}
e) CUD = {2, 3, 4, 5, 6, 7, 9, 12}
d) (A UC) UD= {2; 3, 4, 5, 6, 7, 8, 9, 10, 12}

Grupo de eercicios 4
J. a) BnC = {Boliv a, Argentina}

b) en D = {Bolh a}
e) C. . R = (1J o G lE= { )
d) (Bn D ) n c =\Bolivia)
(!) Dn (Cn B) ={Bolivia}
f) (BnE) nc =(!)o (BnE) nc

2.

={}

a) AnB =~o AnB = { }


b) BnC = {3, 9, 15}
e) AnD = {4, 8, 12}
d) (AnC)n D={l2}
e) Bn (CnD) = (1J o Bn (Cn D ) = { }
IJ (A n D ) nc {12}

3.
a) U

e)

xnz

YnZ

60

b)

CONJUNTOS

d)

(XnZ) nY

Xn(YnZ)

Grupo de eJercicios 5
l.

Bnc

AU(BnC)

FIOURA

FIGURA

AUB
FIGURA

AUC

FIGURA

RESPUESTAS A LOS GRUPOS DI! eJERCICIOS

(AUB) n (AUC)
FIGURA

Las figuras 2 y 5 muestran que


A U (B n C) = (A U B)

n (A U C)

es una proposicin verdadera.

2.
b)

a) U

XU (YnZ)

e)

Xn(YUZ)

d)

(XnY}nZ

61

62

CONJUNTOS

3. a) La uni6n de A y Bes el conjunto de maestros de escuela primaria que


han viajado a Europa o a los Estados Unidos o a ambas partes.

b) La interseccin de A y B es el conjunto de maestros de escuela pri


maria que han viajado tanto a Europa como a los Estados Unidos.
4. a)
b)
e)
d)

AU (BnC) = {80, 85, 90, 95, lOO)


(.A.UB)nC= {80, 90}

(AnB)U(CnD) = {80, 90, lOO}


(AnC) n(CUD) = {80, 90}
Grupo de ejercicios 6

1.
A

Mara

(Mara,
Guillenno)

(Mara,
Pedro)

(Mara,
Felipe)

(Mara,
Jaime)

Nora

(Nora,
Guillermo)

(Nora,
Pedro)

(Nora,
Felipe)

(Nora,
Jaime)

Carmen

(Cannen,
Guillermo)

(Cannen,
Pedro)

(Carmen,
Felipe)

(Cannen,
Jaime)

Ana

(Ana,
Guillenno)

(Ana,
Pedro)

(Ana,
Felipe)

(Ana,
Jaime}

~--------------------------------------8
Felipe
Pedro
Jaime
Guillermo
2.
d

(d, e)

(d,/)

(d, g)

(d, h)

(e, e)

(e, f)

(e, g)

(e, h)

(j, e)

(/, /)

(/, g)

(/, h)

Orden de los elementos A X B

RESPUESTAS A LOS GRUPOS DE EJERCICIOS

6'3

3.

C X D

x----------(w,x)

z- - - - - - - - - - - -(to, z)
x - - - - - - - - - - - ( x , :t)

z------------(x,z)

Esta obra urmind tk imprimiru d dio 29M~


111 /o$ talkra t 0/fttt Rtboldtt, S. A.,

t 1911,

~WX> 4(). ~~.

Pl>t'toles, Mbico 13, D. F.


Se tiraron 4 000 ejemPlare&

mds sob,antes de rt/ll)sicidn

Das könnte Ihnen auch gefallen