Beruflich Dokumente
Kultur Dokumente
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
Co>~itmto.s
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
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
57
58
Conjuntos
Cuaderno]
10
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)
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.
12
CONJUNTOS
Simbolismo
A continuacin tenemos un ejemplo de un mtodo por medio del cual
puede destribirse un conjunto:
A
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
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
profesora Jimnez
1e,
lo cual se lee "la profesora Jimnez no es miembro (elemento) del conjunto C''.
CONJUNTOS
Grupo de elercicios 1
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=
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
A.=B
significa que A y B simbolium el mismo conjunto.
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:
A e; B
significa que todos los miembros de A son miembros de B.
Corno otro ejemplo consideraremos
{Juan)
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}
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}
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
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}.
a) Ciudades de Veracruz
b) Ciudades ftonterizas con los Estados Unidos
e) Ciudades que son capitales de Estado.
3. Dados G
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
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
l DJ
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:
A e
u,
B e
u, e e u, y
B e A,
22
CONJUNTOS
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}
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
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
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~
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,
'
'
'
'
'
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"},
26
CONJUNTOS
n(A)
NUMEROS Y NUMfiAUS
27
A= {a, b, e},
y
B = {a, b, e, d, e,
f},
entonces
n(A) = 3 y
n(B) = 6.
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
'
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
'
'
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
29
(7, 3, 6, 2}
puede ordenarse de la siguiente manera 2 < 3
("1,., "2")
< 6 < 7,
observando que
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.
..... 1"1"}
.....
FIGURA
1"1"~
30
CONJUNTOS
.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-
31
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, ... },
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,
+-------------------------------------------~
EJE NUMERICO
33
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
{0, l. 2, 3, 4, 5, .. l
'
no se tomen en cuenta
considrense stos
FIGRA
O,
4,
3,
2,
1,
:U
11111
t
punto escogido
FrouRA 10
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
Unin de conjuntgs
B = {nias},
= {niiios y
e U, B e U, e e U,
y D
e U.
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,
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}.
38
CONJUNTOS
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}.
e
AUB={a, b, e, d}
J
FIGURA
13
u
AUC=(a1 b, e, d, e,/, g, h}
FJOURA
14
UNION DE CONJUNTOS
39
Si A b.B, entonces A U B
= B.
~d
A U D= {a, b, e, h}
e
FIGURA
15
u
DU C={d,
e,/,
g, h }
DUC=C
b
FIGURA
16
40
CONJUNTOS
= {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},
UNION DE CONJUNTOS
41
FIGURA
17
FIGURA
18
= AU (BUC).
FIGURA
19
FIGURA
20
42
CONJUNTOS
(AUC)UB
A.UC
FIGURA
21
FIGURA
22
Grupo de ejercicios 3
a)
CUO
b)
e)
euP
OUP
SUM
e)
cuw
d)
(SUC) UW
CU(WUM)
INTERSeCCION DE CONJUNTOS
43
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},
= {nifios y nias de
44
CONJUNTOS
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
AnB= {b. e}
FIGURA
23
INTEltSECCION DE CONJUNTOS
45
FIGURA
24
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
INTERSECCION DE CONJUNTOS
47
AnB
FtCURA
(AnB)
27
nc
FIGURA
28
nnc
FIGURA
An (BnC)
29
FIGURA
30
=
=
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
d) (AnC) nD
e) Bn (CnD}
f) (AnD}nC
e)
xnz
b)
YnZ
d)
Xn(YnZ)
49
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
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)
Sl
e) U
a) U
(XIIY)IIZ
XU (YIIZ)
b)
CO~JUNTOS
d)
XII(YUZ)
(XUZ) IIY
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
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
ranc~s
Rent
54
CONJUNTOS
y dado
A= {a, b},
B = (b, e, d}.
bL
bL
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)}.
PRODUCTOS CARTESIANOS
SS
(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
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}.
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
SIGNIFICADO
{}
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
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
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}
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}
59
Coahuila}
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.
={}
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
(AUB) n (AUC)
FIGURA
n (A U C)
2.
b)
a) U
XU (YnZ)
e)
Xn(YUZ)
d)
(XnY}nZ
61
62
CONJUNTOS
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)
6'3
3.
C X D
x----------(w,x)
z- - - - - - - - - - - -(to, z)
x - - - - - - - - - - - ( x , :t)
z------------(x,z)
t 1911,