Sistemas a Eventos Discretos

Teora de Conjuntos
Prof. Mariela Cerrada Lozada
Universidad de Los Andes
Facultad de Ingeniera
Dpto. de Sistemas de Control
Automatizacin 2
Teora de conjuntos. Definiciones bsicas
Definicin 1. (Conjunto). Un conjunto es una coleccin de objetos llamados
elementos.
{ }
n
a a a A ,..., ,
2 1
=
Todos los elementos de A
pueden ser listados !!
{ } ,... 2 , 1 , 0 = N
Todos los elementos de N no
pueden ser listados !!
A a e
1
N e 1
Notacin de pertenencia
Notacin de no pertenencia
{ } { } 3 , 1 , 2 y 3 , 2 , 1 = = B A
Un conjunto se caracteriza por sus
elementos y no por el orden en el cual se
listan. A y B denotan el mismo conjunto !!!
Teora de conjuntos. Definiciones bsicas
{ } { } 3 , 1 , 2 y 3 , 2 , 1 = = B A
A y B denotan el
mismo conjunto
B A=
Notacin de
igualdad
{ } { } b a A , = { } A b a = ,
Notacin de
desigualdad
Definicin 2. (Subconjunto). Si A y B son conjuntos y todos los elementos de A son
elementos de B, entonces se dice que A es subconjunto de B.
{ } { } 5 , 4 , 3 , 2 , 1 y 3 , 2 , 1 = = B A
B Ac
Notacin de
subconjunto
A B.
A B B A c c y
B A=
Teora de conjuntos. Definiciones bsicas
Definicin 3. (Conjunto vaco). Sea A un conjunto. El conjunto A se dice vaco
cuando no tiene ningn elemento.
{ } = A
C = A
Notacin de
conjunto vaco
B B A c
Teorema 1. Sean A, B y C conjuntos. Si , entonces C B B A c c y C Ac
Demostracin: Dado en el texto.
Propiedad del
conjunto vaco
Teora de conjuntos. Definiciones bsicas
{ } ) (x P x A=
Descripcin de conjuntos. Se describe a los conjuntos en trminos de una
propiedad que sea comn a todos los elementos del conjunto.
A es el conjunto de todos los x tal que
P(x) es verdadera
{ } N x x x A e s s = y 5 2
{ } 5 , 4 , 3 , 2 = A
Definicin 4. (Conjunto potencia). Sea A un conjunto. Se define el conjunto
potencia de A como:
{ } A B B
A
_ = 2
{ } c b a A , , =
Ejemplo.
{ } { } { } { } { } { } { } { } c b a c b c a b a c b a
A
, , , , , , , , , , , , 2 C =
Teora de conjuntos. Operaciones bsicas
Definicin 5. (Unin). Sean A y B dos conjuntos. Se define la operacin de
unin como:
{ } B x A x x B A e e = o
Definicin 6. (Interseccin). Sean A y B dos conjuntos. Se define la operacin
de interseccin como:
{ } B x A x x B A e e = y
Definicin 7. (Conjuntos disjuntos). Sean A y B dos conjuntos. Se dice que A y
B son disjuntos si :
C = B A
Teora de conjuntos. Operaciones bsicas
Teorema 2. Sean A y B dos conjuntos. Entonces:
A A = C
C = C A
B A_
B A_
A A A A A = =
A B B A = A B B A =
y
A B A =
entonces
B B A =
entonces
) ( ) ( C B A C B A =
y
) ( ) ( C B A C B A =
) ( ) ( ) ( C A B A C B A = ) ( ) ( ) ( C A B A C B A =
y
Teora de conjuntos. Operaciones bsicas
Definicin 8. (Complemento relativo). Sean A y B dos conjuntos. El
complemento de B respecto de A es el conjunto:
{ } B x A x x B A e e = y
Definicin 9. (Complemento universal). Sean A un conjunto y U denotando al
conjunto universal. El complemento de A respecto del conjunto universal U es
el conjunto U-A. Esto es:
{ } A x x A e =
C = U U = C
Observemos que:
y
Teora de conjuntos. Operaciones bsicas
Teorema 3. Sean A y B dos conjuntos. Entonces:
B A B A =
B A B A = ) (
B A B A = ) (
A A =
Teora de conjuntos. Particiones.
Sean A un conjunto no vaco. Una coleccin de subconjuntos no vacos de
A es una particin de A si se cumple:
C B = C = C B
A
1. Si B y C son conjuntos en , entonces o .
A
B A
B A e
=
2.
Una particin de A divide a A en subconjuntos no vacos disjuntos !!!
{ } 5 , 4 , 3 , 2 , 1 = A
{ } { } { } 5 , 4 , 3 , 2 , 1 = A
Teora de conjuntos. Cardinalidad
Para comparar los distintos tamaos de los conjuntos, se usan funciones entre
los mismos que establecen una relacin tal que dicha funcin sea biyectiva
(correspondencia uno a uno entre los elementos de los conjuntos)
Dos conjuntos A y B son equivalentes si existe una biyeccin entre ellos.
B A~ Notacin de equivalencia
Ejemplo:
{ } z y x A , , =
{ } 3 , 2 , 1 = B
B A~
{ } z y x A , , =
{ } 2 , 1 = B
B A~
Teora de conjuntos. Cardinalidad
Definicin 10. Un conjunto A es finito si:
1 > k
{ } k N
k
,..., 2 , 1 =
k
N
Entonces A tiene cardinalidad 0
Para cada nmero natural , se define . Cada conjunto
se usa como estandar de tamao con el que se comparan otros conjuntos.
C = A
1.
Entonces A tiene cardinalidad k
k
N A ~ 2.
Un conjunto A es infinito si no es finito. Por ejemplo, el conjunto de los
nmeros naturales N es infinito.
k A = Notacin de
cardinalidad
Teora de conjuntos. Cardinalidad
tambin es finito.
B A
1.
2.
Teorema 4. Si A y B son conjuntos disjuntos finitos, entonces:
B A B A + =
Definicin 11. Un conjunto A es enumerable si
N A~
Definicin 12. Un conjunto A es numerable si es finito enumerable
Teora de conjuntos. Cardinalidad
Ejemplo: El conjunto Z es enumerable mediante la funcin definida: Z N f :

+
=
impar es si
2
) 1 (
par es si
2
) (
n
n
n
n
n f
0 0
1 1
1 2
2 3
2 4
3 5
3 6
Un conjunto infinito puede ser
enumerable!!