TEORA DE CONJUNTOS

1.1. DEFINICIN
NOCION INTUITIVA DE CONJUNTO
Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables
entre si, que se llaman elementos del mismo.
Cualquier coleccin de objetos o individuos se denomina conjunto. El trmino
conjunto no tiene una definicin matemtica, sino que es un concepto primitivo.
Ejemplos de conjuntos son por ejemplo el nmero de habitantes de una ciudad, el
nmero de televisores en la ciudad de rida . !uestro objetivo ser estudiar
aquellos conjuntos que estn relacionados con el campo de la matemtica,
especialmente los conjuntos numricos. "a teor#a de conjuntos es fundamental en
matemtica y de suma importancia en informtica, donde encuentra aplicaciones
en reas tales como inteli$encia artificial, bases de datos y len$uajes de
pro$ramacin, etc.
Un conjunto es una coleccin de elementos diferentes. "os objetos que inte$ran
un conjunto, se llaman elementos de ese conjunto. Ejemplos de conjuntos son los
si$uientes%
El conjunto de los nmeros enteros.
El conjunto de los nmeros naturales mayores que & y menores que '.
El conjunto formado por los estudiantes del primer semestre de la U!E().
El conjunto formado por un punto * en el plano y las rectas que pasan por el.
En $eneral usaremos letras maysculas para desi$nar a los conjuntos y letras
minsculas
) continuacin definimos al$unos conjuntos que utili+aremos en este curso.
, % el conjunto vaco, que carece de elementos.
N% {-, ., /, 0, 1, ..............} el conjunto de los nmeros naturales.
Z% {......2/, 2., -, ., /, 0, .......} el conjunto de los nmeros enteros.
Q %{ -, 3, 4, .5&, .....} el conjunto de los nmeros racionales.
R% {......20, 2/, ., 3, &, .....} el conjunto de los nmeros reales.
C% { a2 b i, a 6 bi } el conjunto de los nmeros complejos.
En $eneral, se desi$nan los conjuntos usando letras maysculas% ), 7, C, 8,...... y
los elementos con letras minsculas% a, b, c, d, ...... "os elementos del conjunto se
suelen encerrar entre llaves { }.
Ejemplo 1% El conjunto ) que comprende las vocales
A= {a, e, i, o, u}
1.2 DEFINICIN DE CONJUNTOS OR E!TENSIN " CO#RENSIN
Conjunto$ po% E&ten$'(n)
9e define un conjunto por e:tensin, aquellos en el cual se enumeran todos y
cada uno de los elementos que lo constituyen.
Ejemplo 1% 8eterminar el conjunto ) formado por los nmeros enteros positivos
entre 0 y ./
A = { 4, 5, 6, 7, 8, 9, 10, 11 }
Es el conjunto formado por los elementos /, 1, ;, .<, 0/ y <1. El conjunto C
se define tambin por e:tensin como%
C = {2, 4, 8, 16, 32, 64}
Conjunto$ po% Comp%en$'(n
9e define un conjunto por comprensin slo y solo si se da la propiedad que
caracteri+a a sus elementos.
Ejemplo 1% 9eleccionar el conjunto 7 de los nmeros impares
9e representa as#% ! = { " # " e$ i%&a'} , esta es otra forma de representar un
conjunto y se lee% ( ! e$ e) *o+,u+-o .e )o$ +/%e'o$ ", -a)e$ 0ue " e$ i%&a' (
1.3 ERTENENCIA " NO ERTENENCIA * + ,
9i : es un elemento del conjunto ), se escribe : ) que se lee =: pertenece a )>
o = : es elemento de )>.
9i : no es elemento del conjunto ), se denota : ), que se lee = : no pertenece a
)> o = no es elemento de )
1.4 CO.NJUNTO -ACO * ,
9e define el conjunto vac#o, que se denota por el s#mbolo + como el conjunto
que no tiene nin$n elemento.
Ejemplo 1% 8ado el conjunto ) ? @: A : B - y : C -D
no tiene elementos, ya que nin$n nmero es positivo y adems ne$ativo. *or lo
tanto ) es un *o+,u+-o 1a*2o, y lo denotamos como%
) ? . o tambin como ) ? @ D.
1.5 CONJUNTO UNI-ERSO O UNI-ERSA. * U + ,
Es el conjunto que comprende la totalidad de los elementos, se representa EUo F.
En cualquier aplicacin de teor#a de conjuntos, los elementos de cualquier
conjunto bajo estudio, pertenecen a al$n conjunto fijo mayor llamado conjunto
universal o universo, por ejemplo en la $eometr#a del plano, el conjunto universal
est formado por todos los puntos del plano.
En estudios de poblacin, el conjunto universal est formado por todas las
personas del mundo.
EJE#.O 1.
) ? @: A : es un natural parD, 7 ? @: A : es un natural mayor que 1D
y C ? @: A : es un natural menor que /0D
9on conjuntos cuyos elementos son nmeros naturales, todos los conjuntos son
subconjuntos de !, y podemos considerar a ! como conjunto universal, tomando%

U / N
1.0 CONJUNTO FINITO E INFINITO
Un conjunto se dice que es finito si est formado e:actamente por EnF elementos
distintos, donde EnF es un entero +o +e3a-i1o. 8e lo contrario se dice que es
infinito.
No-a*i4+5 9i un conjunto ) es finito, entonces n E)F indicar el nmero de
elementos de )
Ejemplo 1) 8etermine cuales de los si$uientes conjuntos son finitos
) ? {Estaciones del aGo}
7 ? {eses del aGo}
C ? {Enteros positivos menores de . }
8 ?{Enteros impares }
E ? {Enteros positivos divisores de ./}
( ? {Hatos que viven en el Estado rida}
6o)u*i4+%
) % Es (inito porque hay 1 estaciones en el aGo, n E)F ? 1
7% Es finito porque hay ./ meses en un aGo, nE7F ? ./
C% !o hay enteros menores que ., as# que C es vac#o. *or lo tanto nECF ?-
8% Este conjunto es infinito
E% "os enteros positivos divisores de ./ son .,/,0,1,< y ./, por lo tanto E es finito
n EEF ? <
(% )unque es dif#cil contar con e:actitud todos los $atos que viven en el Estado, se
dice que ( es finito
1.1 CONJUNTO UNITARIO
Es todo conjunto que est formado por un slo y nico elemento.
Ejemplos
) ? @ & D
7 ? @nmeros pares entre < y .-D ? @ ; D
C ? @la capital del Iene+uela D ? @ Caracas D
8 ? @: 5 /: ? <D ? @0D
E ? @ . D
( ? @: 5 : es la solucin de D
H ? @nmeros pares entre / y <D ? @ 1 D
J ? @"a capital de Chile D
1.2 CONJUNTOS DISJUNTOS
8os conjuntos son disjuntos si no tienen nin$n elemento en comn, como por
ejemplo los conjuntos
C ? {/, 1, <} y 8 ? {., 0 &, K}
9e observa que nin$n elemento de C pertenece a 8, as# como nin$n elemento
de 8 pertenece a C
Ejemplo 1) Considere los si$uientes conjuntos
) ? {., /} 7 ? {., /, 0, 1} C ? {., &} 8 ? {0, 1, &} E ? { 1, &}
3 Cu4le$ 5e lo$ $'6u'ente$ conjunto$ $on D'$junto$7
9olucin% 9on disjuntos ) y 8, y tambin ) y E
1.8 FA#I.IA DE CONJUNTOS * F ,
9e llama familia, clase, o coleccin cuyos elementos que estn inte$rado por la
suma de cada uno de los elementos que componen esta familia, por ejemplo se
tienen los si$uientes elementos.
) ? {: % es nmero entero par}
7 ? {: % es nmero entero impar}
*or lo tanto la familia de conjuntos en este ejemplo se representa ( ? {), 7}
Ejemplo /% 9e tiene ? {Lnstrumentos de una orquesta sinfnica}
C ? {Lnstrumentos de cuerda}
I ? {Lnstrumentos de viento}
* ? {Lnstrumentos de percusin}
"a familia de conjuntos corresponde a ( ? {C, I, * }
1.19 SU:CONJUNTOS
9i todo elemento de un conjunto ) es tambin elemento de un conjunto 7,
entonces se dice que ) es un subconjunto de 7. Esta relacin se denomina
relacin de inclusin y se denota ) 7
A ! " 5 " A " !
Esta relacin se lee =) est contenida en 7>, =) es una parte de de 7>
U+ *o+,u+-o A e$ u+ $u7*o+,u+-o .e) *o+,u+-o ! $i -o.o e)e%e+-o .e A e$
-a%7i8+ e)e%e+-o .e !
6i%7o)o32a5
A ! 5 E$-o $i3+i9i*a A e$ u+ $u7*o+,u+-o .e !, i+.i*a 0ue *a.a u+o .e )o$
e)e%e+-o$ .e A -a%7i8+ &e'-e+e*e a !, )o 0ue i+*)u:e )a &o$i7i)i.a. .e 0ue
A = !
A !5 E$-o $i3+i9i*a A e$ u+ $u7*o+,u+-o &'o&io .e !, i+.i*a 0ue A e$ u+
$u7*o+,u+-o .e ! &e'o A !, &o' )o -a+-o e"i$-e a) %e+o$ u+ e)e%e+-o e+ !
0ue +o &e'-e+e*e a A
*ara entender este concepto, se ilustra a travs del si$uiente ejemplo
Ejemplo 1 %Consideremos los si$uientes conjuntos
) ? @., 0, &D, y 7 ? @., /, 0, 1, &D.
Como se puede observar , los elementos de )% ., 0 y &, tambin son elementos
de 7. 9e dice que ) es un subconjunto de 7, o que ) est incluido en 7.
U+ *o+,u+-o A e$ u+ $u7*o+,u+-o .e) *o+,u+-o ! $i -o.o e)e%e+-o .e A e$
-a%7i8+ e)e%e+-o .e !
6e .e+o-a A ! : $e .i*e 0ue A e$-; i+*)ui.o o *o+-e+i.o e+ !
1.11 ROIEDADES DE .OS SU:CONJUNTOS
"os subconjuntos tienen las si$uientes propiedades%
<E=>E?IVA.2 Modo conjunto es subconjunto de si mismo.
A A
ANTI6I@ET<ICA.; 9i dados dos conjuntos ) y 7 se verifica ) 7, entonces se
deduce que 7 ).
A : A :
T<AN6ITIVA.2 8ados tres conjuntos ), 7 y C, si se verifica %
A : < : C entonce$ A C
1.12 CONJUNTO DE ARTES
El conjunto de partes de un conjunto ) es el conjunto cuyos elementos son todos
los subconjuntos de ). "o denotamos *E)F.
ENE*"O .. ) ? @., /, 0D entonces
*E)F ? @, @.D, @/D, @0D, @., /D, @., 0D, @/, 0D, @., /, 0DD.
9e observa que ) tiene 0 elementos y * E)F tiene /
0
elementos, puede
demostrarse que si ) tiene n elementos entonces *E)F tiene /
n
elementos
ENE*"O /. 7 ? @aD entonces *E7F ? @, 7D ? @, @aDD.
ENE*"O 0. *E!F ? @, @.D, @/D, @0D, . . . , @., /D, @., 0D, . . . , @/, 0D, . . . D, tiene
infinitos elementos.
1.1= I>UA.DAD DE CONJUNTOS
El conjunto ) es i$ual al conjunto 7 si ambos tienen los mismos elementos, es
decir si cada elemento de ) es tambin elemento de 7, donde se puede escribir
de la si$uiente manera%
A = ! " 5 " A : " !
Do$ *o+,u+-o$ A : ! $o+ .i$-i+-o$ $i +o $o+ i3ua)e$
Es posible que la definicin de conjuntos i$uales y distintos resulta un tanto obvia,
sin embar$o es necesaria y no siempre es tan sencillo detectar la i$ualdad de dos
conjuntos.
En el si$uiente ejemplo mencionado a continuacin se ilustra la i$ualdad de
conjuntos
Ejemplo =. 8ados los conjuntos ) ? @.,0D y 7 ? @n A n
/
2 1n ? 20D.
En principio ) y 7 estn definidos de manera diferente, por lo cual no podemos
ase$urar si
son i$uales o distintos.
"os elementos de ) son . y 20. !otemos que . y 20 verifican la propiedad que
define a 7.
En efecto
.
/
2 1 P . ? . 2 1 ? 20 y 0
/
2 1 P 0 ? ' 2 ./ ? 20.

>ue3o &o.e%o$ a9i'%a' 0ue A !
6e *o+*)u:e e+-o+*e$ 0ue A = !
!otemos que dos conjuntos pueden ser distintos pero tener uno o ms elementos
en comn.
*or ejemplo, ) ? @/, 1D y 7 ? @., 1, <D son distintos pero el 1 es un elemento de
ambos
conjuntos.
8os conjuntos ) y 7 son iguales si los elementos de ) son elementos de 7, y
viceversa. Es
decir, si ) 7 y tambin 7 ).
1.1? EQUI-A.ENCIA DE CONJUNTOS
En el len$uaje ordinario diremos que los conjuntos ) y 7 son equivalentes cuando
tienen los mismos elementos. Utili+ando la anterior terminolo$#a esto si$nifica que,
entre ambos se da una relacin de inclusin en sentido amplio, pudiendo escribir )
7 y 7 ) o ms brevemente ) ? 7
Esta relacin de equivalencia o i$ualdad de conjuntos no es sino una relacin de
inclusin en sentido amplio y evidentemente una relacin de equivalencia
abstracta, pues se cumple las si$uientes propiedades.
aF ) ? ) E *ropiedad Ldntica F
bF 9i ) ? 7 entonces 7 ? ) E *ropiedad Qec#proca F
cF 9i ) ? 7 y 7 ? C , entonces ) ? C E *ropiedad MransitivaF
1.1@ RERESENTACIN >RAFICA * DIA>RA#AS DE -ENN,
El dia$rama de Ienn es una representacin $rfica de los conjuntos mediante
fi$uras planas dentro de un rectn$ulo, este ltimo representa al conjunto
A
U
universal. "os otros conjuntos se representan mediante c#rculos colocados en el
interior del rectn$ulo, como se muestra la si$uiente fi$ura.
8onde%
)% Conjunto )
U% Universo
Cuando en un dia$rama de Ienn se desea enfati+ar un conjunto, es usual
sombrear el interior de la curva cerrada que lo denota, que se ostrar en detalles
cuando se estudie las propiedades de los conjuntos.
Ejemplo$ 1) Rep%e$ent4% lo$ $'6u'ente$ conjunto$ u$4n5o 5'46%4m4$ 5e
-enn
9ean los conjuntos%
) ? @ avesD 7 ? @ peces D C ? @ anfibios D 8 ? @ti$resD
E:iste otro conjunto que incluye a los conjuntos ), 7, C y 8 y es conjunto de
todos los animales
U ? @ animales D
Ejemplo /% 8escriba el dia$rama de Ienn de los si$uientes conjuntos
A
N
F
I
:
I
O
S
U
aF bF cF
9olucin%
El conjunto universal U est representado por el interior del rectn$ulo y los otros
conjun<tos se representan mediante c#rculos en el interior.
*ara el caso aF representa ) 7
bF Corresponde a conjuntos ) y 7 disjuntos
cF E:isten al$unos elementos de ) y 7 que son comunes, es posible que al$unos
objetos estn en ) pero no en 7, al$unos estn en ambos ) y 7
1.1@ OERACIONES ENTRE .OS CONJUNTOS
)s# como pueden definirse diversas operaciones entre nmeros, tambin e:isten
operaciones entre conjuntos. El resultado de una operacin entre conjuntos es a
su ve+ un conjunto.
(ijemos un conjunto universal U y consideremos todos los subconjuntos de U.
Entre estos
conjuntos estn definidas las operaciones de unin, interseccin y diferencia.
)dems, para
cada conjunto se define el complemento. El resultado de cada una de estas
operaciones es un subconjunto de U.
1151 U+i4+ .e Co+,u+-o$
9ean ) y 7 dos conjuntos.
*or comprensin, la unin entre los conjuntos ) y 7 se define as#%
A : / B& C & A o & :D
En particular, ) y 7 son subconjuntos de ) 7, pues todos los elementos de ) y
todos los
elementos de 7 pertenecen a ) 7.
En el dia$rama de Ienn representamos la unin de dos conjuntos sombreando el
rea que cubren ambos conjuntos Ever (i$ura .F.

ENE*"O ..
9i ) ? @., 1, 'D y 7 ? @., /, 0, 1, &, <, K, ;, 'D, entonces
) 7 ? @., /, 0, 1, &, <, K, ;, 'D.
ENE*"O /.
9i ) ? @: A : es mltiplo de &D y 7 ? @: A : es mltiplo de .-D, entonces
) 7 ? @: A : es mltiplo de & D
8ado que todo nmero mltiplo de .- es tambin es mltiplo de &. En este caso, 7
).
"a unin de un conjunto ) con el conjunto vac#o es el mismo conjunto ), puesto
que, no
tiene elementos%

A / A
"a unin de un conjunto ) con ) es el mismo conjunto )%

A A / A.
1152 I+-e'$e**i4+ .e Co+,u+-o$
9ean ) y 7 dos conjuntos.

*or comprensin, la interseccin de los conjuntos ) y 7 se define como


A : / B& C & A < & :D
ENE*"O ..
9i consideramos los intervalos R-, &F y E0, <S, entonces%
R-, &F E0, <S ? R-, <S y R-, &F E0, <S ? E0, &F
9i ) es un subconjunto de 7, esto es ) 7, entonces
) 7 ? ).
En particular A A / A < A /
En un dia$rama de Ienn la interseccin de dos conjuntos se representa por la
re$in que est determinada por el interior de las curvas cerradas que determinan
los conjuntos. Esta re$in se la destaca con un sombreado o subrayado Ever
(i$ura /F. Obsrvese que la interseccin de dos conjuntos es vac#a si y solo si no
hay elementos comunes entre ellos. Esto se $rafica con dos curvas cerradas que
no se cortan.
1153 Co%&)e%e+-o .e u+ Co+,u+-o
(ijemos U un conjunto universal y ) un subconjunto de U.

En s#mbolos,
A
c
/ B& U C & AD
En un dia$rama de Ienn el complemento de ) es la re$in e:terior de la curva
cerrada que
determina ) y lo destacamos con un subrayado o sombreado.

1154 Di9e'e+*ia .e Co+,u+-o$
9ean ) y 7 dos conjuntos.

A ; : / B& C & A < & :D
Observemos que A
c
/ U ; A. En un dia$rama de Ienn representamos la diferencia
entre los
conjuntos ) y 7, destacando la re$in que es interior a ) y e:terior a 7 Ever (i$ura
1F.

1155 Di9e'e+*ia 6i%8-'i*a
9e denomina al conjunto cuyos elementos pertenecen a ) o a 7, pero no a ambos,
se representa de la si$uiente manera%

A : / {& E & A : < & A :}
9e cumple que% A : / * A F : , * : F A ,
1156 A'o&ie.a.e$ .e )a$ O&e'a*io+e$
) continuacin en la si$uiente tabla se muestran las propiedades tanto para la
unin de conjuntos, y para la interseccin
A<OAIEDADE6 UNION INTE<6ECCION
1.; I5empotenc'4 ) , ) ? ) ) , ) ? )
2.; Conmut4t'G4 ) , 7 ? 7 , ) ) , 7 ? 7 , )
=.; A$oc'4t'G4 ) , E 7 , C F ? E ) , 7 F , C ) , E 7 , C F ? E ) , 7 F , C
?.; AH$o%c'(n ) , E ) , 7 F ? ) ) , E ) , 7 F ? )
@.; D'$t%'Hut'G4 ) , E 7 , C F ? E ) , 7 F , E ) , C F ) , E 7 , C F ? E ) , 7 F , E ) , C F
0.; Complemento ) , )T ? U ) , )T ? ,
Estas propiedades hacen que partes de U con las operaciones unin e
interseccin ten$a una estructura de l$ebra de 7oole.
)dems de stas, se verifican tambin las si$uientes propiedades%
o ) , , ? ) , ) , , ? , E elemento nulo F.
o ) , U ? U , ) , U ? ) E elemento universal F.
o E ) , 7 FT ? )T , 7T , E ) , 7 FT ? )T , 7T E leyes de Morgan F.
Matemtica
Ing., Rene Mardoqueo Casasola
Walter Oveniel Castillo
Profesorado Segunda enseanza
Sado !" de ma#o de !$%"