Unidad 2 - Teoria y Operaciones de Conjuntos

FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
UNIDAD 2: TERORIA DE CONJUNTOS
2.1 Definicin de Conjunto
Un conjunto es un grupo de objetos con una o ms caractersticas
comunes. Tambin se puede decir que es una coleccin desordenada de objetos.
Un conjunto esta bien definido si es posible conocer todos sus elementos.
Ejemplo:
Las Vocales del lfabeto V ! "a# e# i# o# u$
V ! %ombre del conjunto en ma&'scula
a# e# i# o# u ! %ombre de los elementos en min'scula.
Ejemplo:
Los enteros positi(os impares menores a )* + ! ")# ,# -# .# /$
Los elementos pueden ser tambin n'meros.
Ejemplo:
0 ! "a# 1# 2oberto# 3rancia$
Los elementos de un conjunto pueden tambin no estar relacionados.
2.2 Elementos de un Conjunto
4on los objetos que componen un conjunto# tambin se les conoce como
miembros. 4e dice que el conjunto contiene a sus elementos & los elementos
pertenecen al conjunto.
4i un elemento 5a6 pertenece a un conjunto 5V6# se denota por: a V
4i un elemento 5d6 no pertenece a un conjunto 5V6# se denota por: d V
2. !odos de Re"#esent$cin de un Conjunto
$. E%tensin
4e detallan todos los elementos del conjunto. Ejemplo: V ! "a# e# i# o# u$
&. Com"#ensin
4e da una idea que representa los elementos. Ejemplo: Las (ocales del
alfabeto.
c. Desc#i"cin "o# const#uccin
4e caracteri7an todos los elementos del conjunto declarando la propiedad o
propiedades que deben tener sus miembros.
Ejemplo:
8onjunto + de todos los enteros impares menores que )*.
+ ! "9 + 9 es un entero positi(o menor que )*$
+ ! "9 + 9 :# 9 )*$
2 ! "9 + 9 2$
d. Di$'#$m$ de (enn
Es una forma grafica de representar un conjunto. ;arte del concepto de
conjunto Uni(ersal.
<odulo +nstruccional Estructuras =iscretas. Teora & ;rctica 1
4e define el Conjunto Uni)e#s$l *U+ como aquel que contiene todos los
elementos que estn siendo objeto de estudio. 4e representa por un rectngulo &
la letra U.
El diagrama se constru&e con el conjunto uni(ersal & luego utili7ando
crculos dentro del rectngulo# se representan los conjuntos# identificados con
letras ma&'sculas. Los elementos se representan dentro de los conjuntos#
utili7ando letras min'sculas.
Ejemplo:
2., Ti"os de Conjuntos
$. Conjunto ($cio
Es aquel que no tiene elementos. 4e representa por > # tambin puede ser
denotado por " $
&. Conjunto Unit$#io
Es aquel que tiene un solo elemento. Ejemplo: "a$# ">$# "-$
c. Conjunto -inito
Es aquel que tiene un n'mero n de elementos definidos# n ? *# ejemplo las
(ocales.
d. Conjunto Infinito
Es aquel que no es finito# es decir tiene elementos no definidos# ejemplo el
conjunto de los enteros positi(os.
e. Su&conjunto
4e dice que el conjunto es subconjunto de 0# si & solo si todo elemento de
es tambin un elemento de 0.
0 9 @9 90A
Teoremas de 4ubconjuntos:
aA > 4 & 4 4 @Todo conjunto no (acio 4# tiene 1 subconjuntos# el
(acio & el propio conjuntoA
bA 0 & 0 entonces se conclu&e que ! 0
cA ;ara enfati7ar que es subconjunto de 0 pero que & 0 son diferentes#
se denota 0
dA En un diagrama de Venn# 0 se representa por:

<odulo +nstruccional Estructuras =iscretas. Teora & ;rctica
U
V
8onjunto de
Vocales
8onjunto
Uni(ersal
.a
.e
.i .o
.u
Elemento
s
0
2
U
2.. C$#$cte#/stic$s de Conjuntos
$. I'u$ld$d de conjuntos
=os conjuntos son iguales si & solo si# tienen los mismos elementos.
Ejemplo:
")# 1# B$ ! "1# B# )$ ! ")# 1# 1# 1# B$
%o importa el orden# no importa que se repitan# los tres conjuntos tienen los
mismos elementos.
&. T$m$0o de un conjunto
4ea 4 un conjunto# si Ca& e9actamente n elementos 5distintos6 en 4# donde
n es un entero no negati(o# se dice que 4 es un conjunto finito & n es el cardinal de
4# el cual define su tamaDo. El cardinal del conjunto 4 se denota por +4+.
Ejemplo:
8onjunto de los enteros positi(os impares menores a )*. ++ ! -
4 8onjunto de las letras del alfabeto. +4+ ! 1E
V 8onjunto de las (ocales. +V+ ! -
> 8onjunto (acio. +>+ ! * @&a que no tiene elementosA
2.1 Conjuntos Num2#icos -und$ment$les
% ! "*# )# 1# ,#FF$ %'meros %aturales. ;uede empe7ar en * o en ).
: ! "F.G1# G)# *# )# 1#F.$ %'meros Enteros @H & GA
:
H
! ")# 1# ,#F.$ %'meros Enteros @HA
I ! "pJq + p:# q:# q *$ %'mero 2acionales# decimales con frecuencia.
2 ! %'meros 2eales
8 ! %'meros 8omplejos

2.3 O"e#$ciones con Conjuntos
$. Unin de Conjuntos
4ean & 0 conjuntos. La unin de los conjuntos & 0# denotada por U
0# es el conjunto que contiene aquellos elementos que estn en o bien en 0# o
en ambos.
U 0 ! "9 + 9 90$
Ejemplo: ! ")# ,# -$ 0 ! ")# 1# ,$ entonces U 0 ! ")# 1# ,# -$
Ejemplo: ! "lumnos +ng. 8omputacin$ 0 ! "lumnos +ng. +ndustrial$
%
:
I
2
8
U
0
U
U 0
3
U 0 ! "lumnos en alguna de las dos ingenieras$
&. Inte#seccin de Conjuntos:
4ean & 0 conjuntos. La interseccin de los conjuntos & 0# denotada por
K 0# es el conjunto que contiene aquellos elementos que estn tanto en como
en 0.
K 0 ! "9 + 9 90$
Ejemplo: ! ")# ,# -$ 0 ! ")# 1# ,$ entonces K 0 ! ")# ,$
K 0 ! "lumnos que estn en ambas ingenierias$
4i la interseccin de 1 conjuntos es (acio# se dice que ambos conjuntos son
Disjuntos.
Ejemplo: ! ")# ,# -# .# /$ 0 ! "1# B# L# E# )*$ K 0 ! > Entonces & 0 son
disjuntos.
c. Dife#enci$ de Conjuntos
4ean & 0 conjuntos. La diferencia de los conjuntos & 0# denotada por
M 0# es el conjunto que contiene aquellos elementos que estn en pero no en
0. La diferencia de M 0 se llama tambin el complementario de 0 respecto a .
M 0 ! "9 + 9 90$
Ejemplo: ! ")# ,# -$ 0 ! ")# 1# ,$ entonces M 0 ! "-$ & 0 M ! "1$
4e conclu&e que M 0 N 0 M
K 0 ! "lumnos de +ng. 8omputacin que no estn a la (e7 en +ng.
+ndustrial$
d. Dife#enci$ Sim2t#ic$ de Conjuntos
4ean & 0 conjuntos. La diferencia simtrica de los conjuntos & 0#
denotada por O 0# es el conjunto que contiene aquellos elementos que estn en
o que estn en 0# pero no en ambos. Es lo opuesto a la interseccin.
0 ! "9 + 9 90$
U
0
U
K 0
U
0
U

U
0
U
G 0
U
0
U
4
Ejemplo: ! ")# ,# -$ 0 ! ")# 1# ,$ entonces 0 ! "1# -$
K 0 ! "lumnos de +ng. 8omputacin que no estn a la (e7 en +ng.
+ndustrial & lumnos de ing. +ndustrial que no estn a la (e7 en +ng. 8omputacin$
e. Conjunto Com"lement$#io
4ea U el conjunto uni(ersal. El conjunto complementario de # denotado
por se define como los elementos que faltan a para ser igual a U.
P P
! U M ! "9 + 9$
Un elemento pertenece al complemento de # si & solo si .
Ejemplo: ! "a# e# i# o# u$ & U ! abecedario
0 ! "enteros positi(os ma&ores que )*$
PP
! "todas las letras e9cepto las (ocales$
PP
0 ! ")# 1# ,# B# -# L# .# E# /# )*$

f. 4#oducto C$#tesi$no de Conjuntos
La n5tu"l$ o#den$d$ @a)# a1#F..# anA es la coleccin ordenada en la que a)
es su primer elemento# a1 el segundo & an el elemento nGesimo.
Las 25tu"l$s# se conocen como "$#es o#den$dos. Ejemplo: @a# bA & @c# dA
4ean & 0 conjuntos# el 4#oducto c$#tesi$no de & 0 se denota por 90 & se
define como el conjunto de todos los pares ordenados @a# bA donde a & b0.
;or tanto:
90 ! "@a# bA + a b0$
%ota: 4e puede comprobar que 90 N 09# es decir no es conmutati(o.
Ejemplo: 4ean los conjuntos & 0
! todos los estudiantes de la uni(ersidad
0 ! asignaturas ofertadas
U
0
U
0
U
0
U
PP
5
U
Entonces 90 ! todas las posibles matriculaciones de los estudiantes de la
uni(ersidad.
Ejemplo: sean ! ")# 1$ & 0 ! "a# b# c$
Entonces 90 ! "@)# aA# @)# bA# @)# cA# @1# aA# @1# bA# @1# cA$
Ejemplo: sean ! "*# )$ 0 ! ")# 1$ 8 ! "*# )# 1$
Entonces 9098 ! "@*# )# *A # @*#)# )A# @*# )# 1A# @*# 1# *A# @*# 1# )A# @*# 1# 1A#
@)# )# *A # @)#)# )A# @)# )# 1A# @)# 1# *A# @)# 1# )A# @)# 1# 1A$
2.6 Identid$des ent#e Conjuntos
4e refiere a equi(alencias entre distintas operaciones de conjuntos. La tabla
de estas identidades se muestra a continuacin:
IDENTIDAD NO!7RE
U !
K U !
Le&es de +dentidad
U U ! U
K !
Le&es de =ominacin
U !
K ! Le&es +dempotentes
PP
PP
@A !
Le& de 8omplementacin
U 0 ! 0 U
K 0 ! 0 K Le&es 8onmutati(as
U @0 U 8A ! @ U 0A U 8
K @0 K 8A ! @ K 0A K 8 Le&es sociati(as
K @0 U 8A ! @ K 0A U @ K 8A
U @0 K 8A ! @ U 0A K @ U 8A Le&es =istributi(as

PPPPP P P
U 0 ! 0 K
PPPPP P P
K 0 ! 0 U
Le&es de <organ
U @ K 0A !
K @ U 0A ! Le&es de bsorcin
P
U ! U
P
K !
Le&es de 8omplemento

PPPPPPPPP P P P
Ejemplo: =emostrar que U @0 U 8A ! @8 K 0A K
PPPPPPPPP P PPPPP
U @0 U 8A ! K @0 K 8A )era le& de morgan
P P P
! K @0 U 8A 1da le& de morgan
P P P
! @0 U 8A K conmutati(a interseccin
P P P
! @8 U 0A K conmutati(a unin
2.8 Re"#esent$cin de Conjuntos en un Com"ut$do#
4e tiene un conjunto U# donde U & ! "a)# a1#FF.an$ # el conjunto se
representa a tra(s de una cadena de bits de longitud 5n6 en donde el bit iGesimo
es ) si a & el bit iGesimo es * si a
Los bits @sistema binarioA tienen 1 posibles estados# * & )# las cadenas se
agrupan en grupos de B bits para ma&or fle9ibilidad en el manejo de la
informacin.
Ejemplo:
4ea U ! ")# 1# ,# B# -# L# .# E# /# )*$ 2epresentar en cadenas de bits los
siguientes subconjuntos:
! 4ubconjunto de los impares de U. ! )* )*)* )*)*
0 ! 4ubconjunto de los pares de U. 0 ! *) *)*) *)*)
8 ! 4ubconjunto de los enteros menores a -. 8 ! )) )))* ****
P
El complemento de ! *) *)*) *)*)
Las operaciones Unin e +nterseccin se Cacen a tra(s de operaciones
tipo 0it# es decir las cadenas se operan bit a bit para obtener el resultado de la
unin o interseccin de conjuntos.
* U * ! *
* U ) ! )
) U ) ! )
* K * ! *
* K ) ! *
) K ) ! )
2.19 Eje#cicios "#o"uestos de l$ Unid$d 2:
).G Enumera los miembros de estos conjuntos:
a.G "9 + 9 es n'mero entero tal que 9
1
! )$
b.G "9 + 9 es n'mero entero positi(o menor que )1$
c.G "9 + 9 es el cuadrado de un entero & 9Q)**$
1.G Usa la notacin de construccin de conjuntos para dar una descripcin de cada uno de
estos conjuntos:
a.G "*# ,# L# /# )1$ b.G "G,# G1# G)# *# )# 1# ,$ c.G "m# n# o# p$
,.G =etermina si cada uno de estos pares de conjuntos son iguales:
a.G ")# ,# ,# ,# -# -# -# -# -$# "-# ,# )$ b.G "")$$# ")# ")$$ c.G R# "R$
B.G 4upongamos que ! "1# B# L$# 0! "1# L$# 8! "B# L$ & =! "B# L# E$. =etermina
cuales de estos conjuntos son subconjuntos de cuales.
-.G ;ara cada uno de los siguientes conjuntos# determina si 1 es o no elemento su&o.
Luego determina si "1$ es o no elemento.
a.G "9 S R + 9 es un entero ma&or que )$ b.G "9 S R + 9 es el cuadrado de un entero$
c.G " 1# "1$ $ d.G " 1# ""1$$ $ e.G " "1$# "1# "1$$ $ f.G """1$$$
L.G =etermina si cada una de estas sentencias es (erdadera o falsa:
a.G * R b.G R "*$ c.G "*$ R d.G R "*$ e.G "*$ "*$ f.G "*$ "*$ g.G "R$ "R$
..G =etermina si cada una de estas sentencias es (erdadera o falsa:
a.G R "R$ b.G R "R# "R$$ c.G "R$ "R$ d.G "R$ ""R$$
e.G "R$ "R# "R$$ f.G ""R$$ "R# "R$$ g.G ""R$$ ""R$# "R$$
E.G =etermina si cada una de estas sentencias es (erdadera o falsa:
a.G 9 "9$ b.G "9$ "9$ c.G "9$ "9$
d.G "9$ ""9$$ e.G R "9$ f.G R "9$
/.G Utili7a un diagrama de Venn para ilustrar la relacin 0 & 0 8.
)*.G 8ual es el cardinal de los siguientes conjuntosT
a.G "a$ b.G ""a$$ c.G "a# "a$$ d.G "a# "a$# "a# "a$$$ e.G " R# "R$#" R# "R$$$
)).G 4ean ! "a# b# c# d$ & 0! "&# 7$. Ubtener:
a.G V 0 b.G 0 V
)1.G 4ea A un conjunto formado por las letras del alfabeto desde la 5a6 Casta la 5e6 & los
n'meros naturales del ) al B# anali7ar & responder lo siguiente:
G Escribir dos subconjuntos de en descripcin por construccin
G Escribir dos subconjuntos de en modo de comprensin.
G 2epresentar dos subconjuntos de a tra(s del diagrama de Venn.
G 8ual es el (alor de WW.
),.G 4ea un conjunto formado por la unin de las letras del alfabeto de la 5p6 Casta la 5s6
& los n'meros naturales del - al E.
G Escribir el conjunto en descripcin por construccin
G Escribir una e9presin utili7ando el smbolo de pertenencia
G Escribir un subconjunto del conjunto en modo de e9tensin
G Escribir un subconjunto del conjunto en modo de comprensin
O"e#$ciones de Conjuntos
)B.G 4ean ! "a# b# c$# 0! "9# &$ & 8! "*# )$. Ubtn:
a.G V 0 V 8 b.G 8 V 0 V c.G 8 V V 0 d.G 0 V 0 V 0
)-.G =emuestra que V 0 N 0 V # para conjuntos & 0 no (acos# a no ser que ! 0.
)L.G 4ea el conjunto de los estudiantes que (i(en a 1 X< de la facultad & sea 0 el
conjunto de los estudiantes que (an a pie a clase. =escribe a los estudiantes de estos
conjuntos:
a.G K 0 b.G U 0 c.G M 0 d.G 0 M
)..G 4upongamos que es el conjunto de estudiantes de cuarto semestre de +ngeniera
de 8omputacin & 0 es el conjunto de estudiantes de estructuras discretas de +ngeniera
de 8omputacin. E9presa estos conjuntos en trminos de & 0:
a.G El conjunto de estudiantes de cuarto semestre inscritos en estructuras discretas de
+ngeniera de 8omputacin.
b.G El conjunto de estudiantes de cuarto semestre no inscritos en estructuras discretas de
+ngeniera de 8omputacin.
c.G El conjunto de estudiantes de +ngeniera de 8omputacin que bien son de cuarto
semestre o bien estn inscritos en estructuras discretas.
d.G El conjunto de estudiantes de +ngeniera de 8omputacin que bien no son de cuarto
semestre o bien no estn matriculados en estructuras discretas.
)E.G 4ea ! ")# 1# ,# B# -$ & 0 ! "*# ,# L$. Ubtn:
a.G U 0 b.G K 0 c.G M 0 d.G 0 M
)/.G 4ea ! "a# b# c# d# e$ & 0 ! "a# b# c# d# e# f# g# C$. Ubtn:
a.G U 0 b.G K 0 c.G M 0 d.G 0 M
1*.G 4ea el conjunto de Estudiantes de +ng. 8omputacin de U%+UYE=# cual es el
conjunto complemento de # si el conjunto uni(ersal es la 3acultad de +ngenieraT
1).G =etermina si cada una de estas situaciones es Verdadera o 3alsa:
a.G U R ! b.G K R ! c.G U !
d.G K ! R e.G M R ! f.G U U ! U
g.G K U ! U C.G R M ! R
11.G 4i son los Estudiantes de +ng. 8omputacin & 0 son los Estudiantes de +ng.
+ndustrial# de la facultad de +ngeniera de U%+UYE=# determina:
a.G U 0 b.G K 0 c.G M 0 d.G 0 M
1,.G Zalla los conjuntos & 0 si M 0 ! ")# -# .# E$# 0 M ! "1# )*$ & K 0 ! ",# L# /$.
1B.G ;ara cada conjunto dado cual es su complementarioT
a.G Los enteros positi(os ma&ores a /
b.G El abecedario sin las (ocales.
c.G El conjunto uni(ersal U
d.G El conjunto (acio R
1-.G plica identidades entre conjuntos para demostrar:
PPPPPPPPPPPPPPPPPPPP PPP PPP PPP
a.G U @0 K 8A ! K @0 U 8A
PPPPPPPPPPPPPPPPPPPPP PP PPP PPP
b.G K @0 U 8A ! U @0 K 8A
1L.G 4ean ! "*# 1# B# L# E# )*$# 0 ! "*# )# 1# ,# B# -# L$ & 8! "B# -# L# .# E# /# )*$. Zalla:
a.G K 0 K 8 b.G U 0 U 8 c.G @ U 0A K 8 d.G @ K 0A U 8
1..G Zalla la diferencia simtrica de ")# ,# -$ & ")# 1# ,$
1E.G 4i los conjuntos# ! "a# b# c# d# e# f$# 0! "e# f# g# C# i$ & 8 ! "a# b# f# C# j# [# l$#
determina:
PPP
a.G U 0 U 8 b.G K 0 K 8 c.G M 0 M 8 d.G
e.G O 0 O8
1/.G 4ea ! "o# p# q# \# 9# &# 7$ & 0! "\# 9# &# 7$. 2esol(er las siguientes operaciones de
conjuntos:
U 0 K 0 M 0 O 0
,*.G 4ea ! ")# 1# ,# B# -$ & 0! "-# E# /# )*$. 2esol(er las siguientes operaciones de
conjuntos:
U 0 K 0 M 0 0 M
,).G 4ea el conjunto Uni(ersal los estudiantes de Bto semestre de +ng. 8omputacin &
dados los conjuntos conformados por las asignaturas de Bto semestre definidos por: !
Estudiantes de Estructuras =iscretas# 0 ! Estudiantes de ;rogramacin# 8 ! Estudiantes
de 8alculo = ! Estudiantes de 3sica E ! Estudiantes de +ngles. E9presar en modo de
comprensin los siguientes conjuntos:
@ : 0 : 8 : =A @ : 0A ; @8 : =A @ 0A ; @8 : EA
Re"#esent$cin de Conjuntos en el Com"ut$do#
,1.G Utili7a las operaciones lgicas bit con cadenas de dgitos# para encontrar las
combinaciones U 0# K 0# @ U 0A K 8 & U @0 K 8A siendo U las letras
desde la 5a6 Casta la 5j6 & los conjuntos # 0 & 8 los siguientes:
! "a# b# c# d# e$# 0 ! "d# e# f# g# C$# 8 ! "d# e# g# C# j$
,,.G 4upongamos que el conjunto uni(ersal es U ! ")# 1# ,# B# -# L# .# E# /# )*$# e9presa
cada uno de estos conjuntos con cadenas de bits donde los bits iGesimos de la cadena es
) si i esta en el conjunto & * no lo esta.
a.G ",# B# -$ b.G ")# ,# L# )*$ c.G "1# ,# B# .# E# /$
,B.G 8onsiderando el mismo conjunto uni(ersal que en el ejercicio ,,# determina el
conjunto especificado para cada una de estas cadenas de bits:
a.G )) ))** )))) b.G *) *))) )*** c.G )* **** ***)
,-.G Utili7a las operaciones bit con cadenas de )* dgitos# para encontrar las
combinaciones dadas de ! ")# 1# ,# B# -$# 0 ! "B# -# L# .# E$# 8 ! "B# -# .# E# /# )*$
PP
a.G U 0 b.G K 0 c.G K 0 K 8 d.G U 0 U 8 e.G

,L.G Zallar los conjuntos & 0 si el conjunto U ! "9 W 9:# 9 ?*# 9Q ))$
G 0: )* **)* ))**
0 G : *) **** ***)
K 0: ** )**) **)*
,..G 4ea ! ")# 1# ,# B# - $ # 0! "-# E# /# )*$# 8 ! ")# 1# ,# B# - $ & U ! Los enteros del ) al
)*. Utili7ando la codificacin binaria & las operaciones en 7ITS# reali7ar las siguientes
operaciones de conjuntos:
PP PP
@ U 0A : 8 @ : 0A U 8


Unidad 2 - Teoria y Operaciones de Conjuntos

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Unidad 2 - Teoria y Operaciones de Conjuntos

Caricato da

Copyright:

Formati disponibili

FACULTAD DE INGENIERIA

Potrebbero piacerti anche