~ 1 ~

Versin 2014-1 Elaborado por:

Germn lvarez
2.- ELEMENTOS DE TEORA DE CONJUNTOS


2.1.- Conjunto, elemento y pertenencia son conceptos primitivos que dan origen a la Teora de
Conjuntos (desarrollada por el matemtico alemn George Cantor; 1845 1918) y por ser
conceptos primitivos no es posible asociarle una definicin.
Hay autores que aceptan que algunos elementos tienen caractersticas comunes y debido a esto,
forman un conjunto y se dice que tal o cual elemento que posee dichas caractersticas pertenece
a un determinado conjunto.
Los conjuntos se denotan por letras maysculas del alfabeto en tanto que los elementos se los
denota por letras minsculas.
Cuando un elemento pertenece a un conjunto se anota y cuando no pertenece al
conjunto se anota .

Los conjuntos pueden ser expresados de dos maneras, por extensin (o enumeracin) o por
compresin. Se dice que un conjunto A est expresado por extensin cuando dentro de un
parntesis de llave se anotas los nombres de los elemento del conjunto separados por el smbolo
punto y coma. Y se dice que est anotado por comprensin cuando dentro de un parntesis de
llave se onota un representante de los elementos del conjunto y a continuacin las caractersticas
que tiene dichos elementos.
Por ejemplo, el conjunto A de todos los nmero enteros positivos divisibles por 2, se anota:
A = {2; 4; 6; 8;.} por extensin y
A = {x / x

por comprensin.

Ejemplo. El conjunto X de todas las soluciones de la ecuacin

.
/

por comprensin
por extensin.
Definicin: Conjuntos iguales.
Dos conjuntos A y B son iguales si y slo si tienen los mismos elementos.


Ejemplo: Sean y

Entonces y
por lo tanto

2.2.- Tipos de conjuntos

Existen tres pipos de conjuntos, los conjuntos finitos, los conjuntos infinitos y el conjunto vaco.
Los conjuntos finitos son aquellos que tiene un nmero finito de elementos, es decir es posible
contarlos todos o sea, el proceso de contar sus elementos termina en algn momento.
Los conjuntos infinitos tienen infinitos elementos, es decir el proceso de contar sus elementos no
termina, y
El conjunto vaco no tiene elementos. Se denota por el smbolo .

Ejemplos.:
/

. Este conjunto es . Tiene slo 2 elementos. Es un conjunto finito.

~ 2 ~

Versin 2014-1 Elaborado por:
Germn lvarez

Entonces ; 32; 64; 128; 256 ; 512; 1024}. Este conjunto es finito, tiene un
nmero finito de elementos.

Entonces

. Este conjunto es infinito. Tiene infinitos elementos

.
Entonces . Este conjunto no tiene soluciones enteras

Definicin: Se dice que un conjunto o que est
incluido en , se anota , si y slo si todo elemento del conjunto es adems un
elemento del conjunto .


Para aseverar que un conjunto no es subconjunto de un conjunto se anota ( no est
incluido en .

Si y , entonces se dice que es un subconjunto propio de -
Si y entonces se dice que A es un subconjunto impropio de .

La relacin ser subconjunto de satisface las siguientes propiedades:
i) Reflexiva: Todo conjunto es subconjunto de s mismo.
ii) Transitiva: Si es subconjunto de un conjunto y es un subconjunto de un conjunto ,
entonces es un subconjunto de C. Si .

Nota: El conjunto vaco es un subconjunto propio de todo conjunto. .



2.3.- Diagramas de Venn.

Para representar grficamente a conjuntos, relaciones entre conjuntos y operatoria, se utiliza los
diagramas diseados por el matemtico britnico John Venn (1834-1923) ajustndose a las
siguientes reglas.
1) Toda representacin grfica se inicia en considerar un conjunto ms general que aquel con el
que se pretende representar. Comnmente esta conjunto ms general llamado algunas veces
conjunto referencial o conjunto universal U, se representa como un rectngulo en cuyo interior
se representa al o aquellos conjuntos con los cuales se desea trabajar. El exterior de este
rectngulo, en general, no interesa.
2.- Los conjuntos que se desean representar se expresan a travs de figuras cerradas y
redondeadas
3.- Una de estas figuras redondeadas que representa algn conjunto y situadas al interior de otra
de las figuras redondeadas representa la inclusin de conjuntos.
4.- Un punto al interior del conjunto universal U representa a un elemento de esta conjunto.
5.- Si x es un elemento del conjunto A, entonces este punto se sita al interior de la figura
redondeada que representa al conjunto A.
~ 3 ~

Versin 2014-1 Elaborado por:
Germn lvarez
6.- Si x no es un elemento del conjunto A, entonces este punto se sita en el exterior de A pero
dentro del rectngulo que representa a U.

En la figura es el universo.
son conjuntos incluidos en el universo
es un subconjunto del conjunto que es
equivalente a decir que est incluido en o que
incluye a .
es un elemento de , es decir pertenece a .

pertenece a y tambin pertenece a .
y

Definicin: El conjunto complementario de un conjunto est formado por todos los elementos
que pertenecen al universo pero no pertenecen al conjunto . Se lo denota por

(Algunos
autores anotan

.
En la figura

es el complemento del conjunto

2.4.- Operaciones entre conjuntos.

Las operaciones ms comunes entre conjuntos son: la unin, la interseccin y la diferencia, cuyas
definiciones son:

Def.: La unin entre dos conjuntos y es el conjunto formado por todos aquellos elementos
que pertenecen a , a o a ambos y se denota por
Simblicamente:

Def.: La interseccin entre dos conjunto y es el conjunto formado por todos aquellos
elementos que pertenecen a y a en forma simultnea. Se denota por
Simblicamente:

Nota: Si los conjuntos y no tienen elementos comunes, es decir , entonces se dice
que los conjuntos son disjuntos entre s.

Def.: La diferencia entre dos conjunto y es el conjunto formado por todos aquellos
elementos que pertenecen a y no pertenecen a . Se denota por
Simblicamente: .

Def.: Diferencia simtrica o diferencia excluyente que resulta ser una combinacin de las
operaciones anteriores. La diferencia simtrica entre los conjuntos y se simboliza por
y corresponde al conjunto
(Observe que esta operacin tambin puede ser anotada como











~ 4 ~

Versin 2014-1 Elaborado por:
Germn lvarez
Ej.: Si , y
, entonces
































2.5.- Algebra de Conjuntos.

Como las operaciones entre conjuntos estn definidas en funcin de los conectivos lgicos, es
posible darse cuenta que un lgebra de conjuntos funciona en forma similar al lgebra
proposicional.
En la siguiente tabla se expresa la similitud entre los conectivos lgico y las operaciones entre
conjuntos:






Lgica

Conjuntos
















































~ 5 ~

Versin 2014-1 Elaborado por:
Germn lvarez
y en consecuencia es posible formular y demostrar una serie de teoremas del lgebra de
conjuntos.

Si y son conjuntos y es el conjunto universal (referencial)
C.1.- Idempotencia: y
Demo: 1.- (Definicin de unin de conjuntos)
2) Pero (T3)
3) Luego
4) (Definicin de intercepcin de conjuntos)
5) Pero (T4)
6) Luego
7) De 3) y 6) queda demostrado C1.

C2.- Conmutatividad: y
Demo: 1) (Definicin de unin de conjuntos)
2) (T9)
3) (Definicin de unin de conjuntos)
4) (Definicin de intercepcin de conjuntos)
5) (T10)
6) (Definicin de intercepcin de conjuntos)
7) De 3) y 6) queda demostrado C2

C3.- Asociatividad: y
1) (Definicin de unin de conjuntos)
2) (T7)
3) (Definicin de unin de conjuntos)
4) (Definicin de intercepcin de conjuntos)
5) (T8)
6) (Definicin de intercepcin de conjuntos)
7) De 3) y 6) queda demostrado C2

C4.- Distributividad de la intercepcin sobre la unin:
1) (Definicin de intercepcin de conjuntos)
2) (Definicin de unin de conjuntos)
3) (T11)
4) (Definicin de intercepcin de conjuntos)
5)
6) Queda demostrado C4-

C5.- Distributividad de la unin sobre la intercepcin:

La correspondiente demostracin es labor del estudiante.

C6.- Ley de Demorgan para la unin de conjuntos:

1)

(Definicin de conjunto complementario)

2)

(Definicin de unin de conjuntos)

3)

(T24)
~ 6 ~

Versin 2014-1 Elaborado por:
Germn lvarez
4)

(Negacin de pertenencia)
5)

(Negaciones de pertenencia y definicin de intercepcin de conjuntos)

6) Ha quedado demostrado C6.

Las demostraciones de los siguientes teoremas quedan para la prctica de los estudiantes.

C7.- Ley de Demorgan para la intercepcin de conjuntos:

C8.- (Elemento neutro)
C9.- (Ley de absorcin)
C10.-

(Doble negacin)
C11.- (Igualdad de conjuntos)
C12.- (Transitividad)


2.7.- Cardinalidad.

Definicin. Se llama Cardinalidad de un conjunto al nmero de elementos que pertenecen al
conjunto y se denota por
Ej.: Si
Entonces
Luego

Ej.: Si
Entonces
Luego

Ej.: Si

Entonces
Luego

Ej.: Si }
Entonces
Luego

Axiomas de la Cardinalidad de un conjunto.

AC1.-
AC2.-
AC3.-
AC4.-

Propiedades algebraicas de la Cardinalidad de conjuntos

PC1.-
PC2.-

PC3.-

~ 7 ~

Versin 2014-1 Elaborado por:
Germn lvarez

Ejercicio. Al trmino de una cena de camaradera 20 de los comensales fumaron, 23 tomaron
caf, 8 tomaron caf y fumaron, en tanto que 5 no tomaron caf ni fumaron.
a) Cuntos slo fumaron?
b) Cuntos slo tomaron caf?
c) Cuntos tomaron caf o fumaron?
d) Cuntos participaron de la cena?



Sean y
a) Nmero de personas que slo fumaron =
b) Nmero de personas que slo tomaron caf =
c) Nmero de personas que tomaron caf o fumaron =

d)Participantes de la cena =

Ejercicio. En la puerta de una universidad se encuesta a un grupo de estudiantes en lo referente a
los medios de comunicacin que tiene disponible en sus hogares, se les pregunta si tienen
telfono fijo (F), telfono mvil (M) o correo electrnico (E). El resultado obtenido arroja los
siguientes datos:
21 estudiantes tienen F, M y E
13 estudiantes tienen slo F y M
19 estudiantes tienen slo M y E
7 estudiantes tienen slo F y E
5 tienen slo F
9 estudiantes tienen slo M
50 estudiantes tienen E


a) Cunto estudiantes tienen telfono fijo?
b) Cunto estudiantes tienen telfono mvil?
c) Cuntos estudiantes tiene slo correo electrnico?
d) Cuntos estudiantes tienen telfono fijo o mvil, pero no ambos?
e) Cuntos estudiantes tiene telfono fijo o mvil?
f) Cuntos estudiantes no tiene telfono mvil?
g) Cuntos estudiantes no tienen telfono fijo ni mvil?

Solucin: Si , y

a) Tienen telfono fijo = 46
b) Tienen telfono mvil = 62
c) Tienen slo correo electrnico = 3
d) Tienen telfono fijo o mvil, pero no ambos = 40
e) Tienen telfono fijo o mvil = 74
f) No tienen estudiantes no tiene telfono mvil = 15
g) No tienen telfono fijo ni mvil = 3


















~ 8 ~

Versin 2014-1 Elaborado por:
Germn lvarez
2.8.- Ejercicios propuestos.

1.- Si , , , Indique si son
verdaderas o falsas las siguientes proposiciones:
a) b) c) d)

e) f)

2.- Si es el conjunto de los nmero naturales, escriba por extensin los siguientes conjuntos,
subconjuntos de .
a)

b) c)

d)

e)

f)

3.- Si y son subconjunto de un universo , ordene por inclusin los siguientes conjuntos

(Ayuda: Construya un grfico de Venn considerando que los conjuntos no son disjuntos)

,

4.- Sean

tres subconjuntos del universo }. Calcule los siguientes conjuntos
a) b) c) d)

5.- Determine los elementos de los conjuntos
5.- Si , determine los elementos de y , subconjuntos de , y
que cumplan las siguientes condiciones:
a) , y

b) ,

c)

, y

6.- Sabiendo que , , y

Determine la Cardinalidad de:
a) b) c) d) e) f)
g) h)

6.- En la carrera de ICI de cierta universidad que dicta algunas asignaturas en forma extraordinaria
en verano, 30 alumnos inscribieron Clculo, 26 Fsica, 24 lgebra, 13 lgebra y Clculo, 8 Clculo y
Fsica, 3 lgebra, Clculo y Fsica.
a) Cuntos alumnos inscribieron tan slo una asignatura?
b) Cuntos alumnos inscribieron slo dos asignaturas?
c) Cuntos alumnos inscribieron asignaturas de verano?
d) Cuntos alumnos inscribieron lgebra o bien Clculo, pero no ambos a la vez?

7.- En un local de expendio de perritos calientes se los puede pedir acompaado con tomates
(T), palta (P) o mayonesa (M). Al final del da se han vendido 100 perritos calientes de los cuales
45 fueron solicitados con los tres acompaamientos, 18 tomate-mayo, 80 con tomate, 5 tomate
slo, 7 mayo-palta, 68 con palta, 73 palta-mayo.


~ 9 ~

Versin 2014-1 Elaborado por:
Germn lvarez
Cuntos pidieron
a) Perrito caliente sin acompaamiento?
b) Slo palta?
c) Slo mayo?
d) Con slo dos acompaamientos?
e) Con slo un acompaamiento

8.- Se extiende una invitacin a un almuerzo de camaradera a un conjunto de 70 futbolistas que
han jugado slo por los equipos de la regin, Santiago Wanderers, Everton o San Luis. De los
jugadores asistentes 32 lo han hecho por slo uno de los equipos de los cuales 15 han jugado por
slo por SW y 8 por SL, en tanto que 6 han jugado en los tres equipos, 10 han jugado en E y W, 6
han jugado slo en W y SL, 12 en SL y E,

a) Cuntos han jugado slo en E y W?
b) Cuntos han jugado en W y SL?
c) Cuntos han jugado slo en E y SL?
d) Cunto no concurrieron al almuerzo?
e) Cuntos jugaron por slo dos equipos?