UNIVERSIDAD SIMN BOLVAR

DEPARTAMENTO DE COMPUTACIN Y
TECNOLOGA DE LA INFROMACIN
ESTRUCTURAS DISCRETAS I
TEORA DE CONJUNTOS
Introduccin
Intuitivamente, un conjunto es una lista !le!!i"n #ien $e%ini$a $e #&ets, 'ue
$esi(na)ems !n let)as ma*+s!ulas A, ,, -, Y,... Ls elements 'ue !m/nen el
!n&unt se llaman sus elementos miembros * ls $esi(na)ems /) let)as min+s!ulas
0a mens 'ue $i!1s elements sean, a su ve2, !n&unts3.
La /)/si!i"n 4aA5 se lee 4a /e)tene!e a A5, #ien, 4el element a /e)tene!e al
!n&unt A5. Su ne(a!i"n es 4aA5.
Si el !n&unt A est6 %)ma$ /) ls elements a, # * !, es!)i#i)ems7
A 8 9a,#,!:
* su diagrama de Venn !))es/n$iente se)6
A
a #
!
Determinacin de conunto!
Por extensin: !uan$ se nm#)an enume)an t$s ls elements 'ue
!nstitu*en al !n&unt. E&em7
A 8 9;,<,=,;>: , 8 9a,e,i,,u: C 8 9?ene2uela, ,)asil:
Por comprensin: !uan$ se $a la /)/ie$a$ 'ue !a)a!te)i2a ls elements $el
!n&unt. E&em7
A 8 9@R A @ es slu!i"n $e @
B
<@ C B 8 >:
, 8 9@N A @ D: C 8 9@N A @ es /a):
Conunto! E!"ecia#e!
Conjuntos Numricos:
N 8 9>,;,B,<,...: Cn&unt $e ls n+me)s natu)ales
$ Cn&unt $e ls n+me)s ente)s
% Cn&unt $e ls n+me)s )a!inales
I Cn&unt $e ls n+me)s i))a!inales
R Cn&unt $e ls n+me)s )eales
C Cn&unt $e ls n+me)s !m/le&s
$
&
, %
&
, I
&
, R
&
Cn&unt $e ls n+me)s 0ente)s, )a!inales, i))a!inales, )eales3
/sitivs.
$

, %

, I

, R

Cn&unt $e ls n+me)s 0ente)s, )a!inales, i))a!inales, )eales3

ne(ativs.
N
'
, $
'
, %
'
, R
'
, C
'
Cn&unt $e ls n+me)s 0natu)ales, ente)s, )a!inales, )eales,
!m/le&s3 sin el !e).
Conjunto Universal: De/en$e $e l 'ue se estu$ie en el mment, es %i&a$ $e
anteman * est6 %)ma$ /) t$s ls elements 'ue inte)vienen en el tema $e
inte)Es. Se $enta)6 !m U.
Conjunto Vaco: Es a'uel 'ue !a)e!e $e elements. Se $enta)6 /) .
Conjunto Unitario: F)ma$ /) un +ni! element. E&em7 A 8 9D:
Conjuntos Finitos y Conjuntos Infinitos: Intuitivamente, un !n&unt %init !nsta
$e un !ie)t n+me) $e elements, es $e!i), 'ue el !nte $e elements /ue$e
4a!a#a)5, $e l !nt)a)i, el !n&unt se)6 in%init.
Cardina# de un conunto (inito
Es el n+me) $e elements 'ue /see el !n&unt. Si A es un !n&unt %init !n n
elements, es!)i#i)ems !a)$0A3 8 A8 n.
Inc#u!in de Conunto!
Sean A * , $s !n&unts. Si t$ element $e A /e)tene!e a , $i)ems 'ue A est6
incluido en , 'ue A es un subconjunto $e , * es!)i#i)ems A,. Sim#"li!amente,
ten$)ems 'ue7
A, 0@ 7 @A @,3
I)ua#dad de Conunto!
Ds !n&unts A * , sn iguales si !ntienen ls misms elements * es!)i#i)ems
A8,. Sim#"li!amente, ten$)ems 'ue7
A8, 0@ 7 @A @,3
A, ,A
Inc#u!in "ro"ia
A es un subconjunto propio $e , si * s"l si A, * A ,. En este !as, es!)i#i)ems
A,.
*ro"iedade! de #a Inc#u!in
1. Pa)a t$ !n&unt A se !um/le 'ue AA. (Reflexividad)
2. Si A, * ,A, entn!es A8,. (Antisimetra)
3. Si A, * ,C entn!es AC. (Transitividad)
4. A, /a)a t$ !n&unt A.
O"eracione! con Conunto!
Unin+ La uni"n $e $s !n&unts A * , es el !n&unt %)ma$ /) ls elements 'ue
/e)tene!en a A a ,. Sim#"li!amente7
A, 8 9@U A @A @,:
@A, @A @,
Inter!eccin+ La inte)se!!i"n $e $s !n&unts A * , es el !n&unt %)ma$ /) ls
elements 'ue /e)tene!en a A * a ,. Sim#"li!amente7
A, 8 9@U A @A @,:
@A, @A @,
Di(erencia+ La $i%e)en!ia $e $s !n&unts A * , es el !n&unt %)ma$ /) ls
elements 'ue /e)tene!en a A /e) 'ue n /e)tene!en a ,. Sim#"li!amente7
A, 8 9@U A @A @,:
@A, @A @,
Di(erencia Sim,trica+ La $i%e)en!ia simEt)i!a $e $s !n&unts A * , es la uni"n $e
ls !n&unts A, * ,A. Sim#"li!amente7
A , 8 0A,30,A3
Com"#emento de un Conunto
Sea AU, el !m/lement $e A, 'ue $enta)ems /) A
C
, es el !n&unt %)ma$ /)
ls elements $e U 'ue n /e)tene!en a A.
*ro"iedade! de #a! O"eracione! con Conunto!
1. 0A
C
3
C
8 A
2. A, ,
C
A
C
3. AA 8 A F AA 8 A
4. A, 8 ,A F A, 8 ,A
5. A0,C3 8 0A,3C F A0,C3 8 0A,3C
6. A0,C3 8 0A,30AC3 F A0,C3 8 0A,30AC3
7. 0A,3
C
8 A
C
,
C
F 0A,3
C
8 A
C
,
C
8. A, A A,
9. A 8 F AU 8 U
10. AU 8 A F A 8 A
11. A, A,8A F A, A,8,
12. AA
C
8 U F AA
C
8
13. A0A,3 8 A F A0A,3 8 A
14. A, 8 A,
C
15. A0,C3 8 0A,30AC3
16. A , 8 0A,30A,3
17. A , 8 , A
18. A 8 A F A U 8 A
C
19. A A 8
20. A 0, C3 8 0A ,3 C
21. A , 8 A C , 8 C
22. 0A ,3C 8 0AC3 0,C3
*rinci"io de Dua#idad
Sea 4s5 una proposicin general 'ue t)ata $e la i(ual$a$ $e $s e@/)esines !n
!n&unts. Ca$a una $e estas e@/)esines /ue$e !ntene) una m6s !u))en!ias $e
!n&unts 0!m A, A
C
, ,, ,
C
, et!.3, una m6s !u))en!ias $e * U * slamente ls
sGm#ls $e las /e)a!ines !n !n&unts * . El dual $e 4s5, 'ue $enta)ems /)
4s
$
5, se #tiene $e s al )eem/la2a) 0;3 !a$a !u))en!ia $e * U 0en s3 /) U * ,
)es/e!tivamente, * 0B3 !a$a !u))en!ia $e * 0en s3 /) * , )es/e!tivamente.
El principio de dualidad /a)a !n&unts esta#le!e 'ue si 4s5 es un te)ema )elativ a la
i(ual$a$ $e $s e@/)esines !n !n&unts, entn!es 4s
$
5, el $ual $e s, es tam#iEn un
te)ema.
(Nota: i un teorema relativo a conjuntos contiene ocurrencias del tipo !A"# o !A"#$
en el !dual# del teorema se deben reempla%ar por !"A# o !"A#$ respectivamente)
Conunto! Di!unto!
Di)ems 'ue $s !n&unts A * , sn disjuntos si A, 8 .
-ami#ia de Conunto!
Es un tE)min 'ue se em/lea en lu(a) $e $e!i) 4!n&unt $e !n&unts5.
Conunto *otencia o Conunto de *arte! de un Conunto
Sea AU, el !n&unt /ten!ia $e A, 'ue $enta)ems /) &0A3 0 B
A
3, es la %amilia $e
t$s ls su#!n&unts $el !n&unt A.

O"eracione! .enera#i/ada!
Sea 9A
;
,A
B
,...,A
n
: una %amilia %inita $e !n&unts, en este !as /$ems %)ma) la uni"n
e inte)se!!i"n $e $i!1a %amilia, es $e!i)
A
;
A
B
...A
n
8

i=1
n
A
i
A
;
A
B
...A
n
8
n
; i
i
A
=
Si !nsi$e)ams I 8 9;,B,<,...,n: entn!es es!)i#ims

i=1
n
A
i
=
i I
A
i

I i
i
n
; i
i
A A
=
=
Si el !n&unt $e Gn$i!es I 8 N, entn!es la %amilia 9A
;
,A
B
,...: se llama sucesin de
conjuntos * es!)i#i)ems

i I
A
i
=
i =1

A
i


=
=
; i
i
I i
i
A A
Tam#iEn /ue$e a#)evia)se la nta!i"n $e la %amilia $e !n&unts
9A
;
,A
B
,...: 8 9A
i
:
iI
'efinicin: Sea 9A
i
:
iI
una %amilia $e !n&unts. La uni"n $e la %amilia 9A
i
:
iI
es el
!n&unt

i I
A
i 8 9@ A @A
i
, /a)a al(+n iI:. La inte)se!!i"n $e la %amilia 9A
i
:
iI
es el
!n&unt

I i
i
A

8 9@ A @A
i
, /a)a t$ iI:.
*ro"iedade!
()


i I
A
i

C
8

I i
C
i
A

*)
C
I i
i
A

8

i I
A
i
C
+) ,


i I
A
i

8
( )
I i
i
A ,

*articin de un Conunto
Sea A 8 9A
i
:
iI
una %amilia n va!Ga $e su#!n&unts $e un !n&unt A. Di)ems 'ue A
es una particin $e A si * s"l si se !um/len las si(uientes !n$i!ines7
0a3 A 8

i I
A
i $n$e A
i
, /a)a t$ iI.
0#3 A
i
A
&
8 , /a)a t$ i,&I !n i &.