Matemticas Discretas

Teora de Conjuntos
Realizado por:
Lpez Mariagabriela
Universidad de Carabobo
Facultad de Ciencias de la Educacin
Mencin: Informtica
Teora de Conjuntos
Conjunto
Es una agrupacin o coleccin bien definida de
objetos, donde cada objeto es un elemento o
miembro del conjunto
Se denota con una letra mayscula: A, B, C, ...,
o enumerando sus elementos separados por
comas y delimitndolos por llaves: { }.

Elementos de un Conjunto
Se denotan con letras minsculas, a menos que
dichos elementos sean a su vez conjuntos
(Familias de conjuntos).

Teora de Conjuntos
Pertenencia
Sea x un elemento cualquiera y A un
conjunto. Si es cierto que x es un
elemento de A, se dice que x pertenece
a A y se denota: x e A
Si no es cierto que x es un elemento de
A, se dice que x no pertenece a A y se
denota como: (x e A) o x e A
Teora de Conjuntos
Cardinalidad
Es el nmero de elementos o tamao de
un conjunto A y se denota como |A|.
Es claro que para un conjunto finito A,
|A| = n, n e N y, para un conjunto
infinito A, |A| =
Teora de Conjuntos
Por Extensin
Consiste en dar explcitamente los elementos que
pertenecen al conjunto, esto es, enumerar los elementos
del conjunto.
Por Comprensin
Consiste en dar una especificacin implcita de los
elementos del conjunto mediante una funcin
proposicional y una variable libre.
El conjunto as descrito, se define tomando aquellos
elementos del universo del discurso que hacen la funcin
proposicional verdadera.
Un conjunto A cualquiera se define por comprensin
de la siguiente forma:
A = {x / x eU . P(x) }
Teora de Conjuntos
Conjunto Universal
Es aquel conjunto del cual se toman los elementos para describir
un conjunto particular de inters.
El conjunto universal se denota convencionalmente por la letra
U.

Conjunto Vaco
Se define como el conjunto que no tiene elementos, el cual se
denota como C.
De esta definicin podemos deducir que C = { } y adems, | C |
= 0.
As, cada elemento que pertenece al universo no pertenece al
vaco:

x [x e U x eC]
Teora de Conjuntos
Igualdad
Dos conjuntos A y B son iguales si y slo
si tienen los mismos elementos, es decir,
si y slo si todo elemento de A es
elemento de B y todo elemento de B es
elemento de A.
Expresado formalmente:
A = B x [x e A x e B]
Teora de Conjuntos
Inclusin
Sean A y B conjuntos. Se dice que A es
subconjunto de B, y se denota A _ B, s y s1o
s todo elemento de A es elemento de B.
Formalmente:
A _ B x [x e A x e B]
Para expresar inclusin tambin puede
decirse que A est incluido o contenido en B
B contiene a A.
Teora de Conjuntos
Inclusin Propia
Sean A y B conjuntos. Se dice que A es
subconjunto propio de B, y se denota AcB, si
slo si todo elemento de A es elemento de B y
existe al menos un elemento de B que no es
elemento de A.
En notacin formal:
A c B {x [xeA xeB] . -x [xeB .
xeA] }
Entonces, la inclusin propia plantea la
situacin de que A _ B, pero A = B.
Teora de Conjuntos
Teoremas de Igualdad e Inclusion de
Conjuntos
Teorema 1
Sean A, B subconjuntos de U.
Entonces A = B si y s1o si A _ B y B _ A.
Teorema 2
Para cualquier conjunto A, se cumple que C _ A
Teorema 3
Sean A, B y C subconjuntos de U.
Si A _ B y B _ C entonces A _ C
Teora de Conjuntos
Diagramas de Venn
Son esquemas que nos permiten hacer la
representacin grfica de los conjuntos.
El conjunto universo U, se representa por
un rectngulo o por un cuadrado.
U
Teora de Conjuntos
Diagramas de Venn
Los conjuntos que se encuentran en el universo,
se representan por lneas curvas cerradas.
De este modo los elementos de un conjunto
dado se pueden colocar dentro del rea
demarcada por la lnea cerrada que define al
conjunto .
U
2
4
A
1
3
5
7
9
8
6
Teora de Conjuntos
Operaciones con Conjuntos
Sean dos conjuntos A y B (A _ U y B _ U).
Se definen las siguientes operaciones entre los
conjuntos A y B:
Unin
Interseccin
Complementacin
Diferencia
Y Diferencia Simtrica
Teora de Conjuntos
Unin AB
La unin de A y B se define
como el conjunto de los
elementos que pertenecen a A o
a B o a ambos conjuntos a la
vez.
El operador de la unin se
denota como:
AB = {x / xeA v xeB}
Tambin se puede decir:
x [ xe(AB) (xeA v xeB) ]
A B
AB
U
Teora de Conjuntos
Interseccin (AB)
La interseccin de A y B se
define como el conjunto de los
elementos que pertenecen a
ambos conjuntos a la vez.
El operador de la interseccin se
denota como:
AB = {x / xeA . xeB}
Tambin se puede decir:
x [ xe(AB) (xeA . xeB) ]
A B
AB
U
Los conjuntos A y B cuya interseccin resulte vaca (AB = C)
se llaman conjuntos disjuntos
Teora de Conjuntos
Complemento , A
c
Para cualquier conjunto A (A_U),
el complemento de A, se define
como el conjunto de los
elementos que pertenecen a U y
no pertenecen a A.
El complemento de A se denota
como: ~A, A, , A
c

A = {x / xeU . xeA}
Tambin se puede decir:
x [x e (xeU . xeA)]


U
A
Teora de Conjuntos
Diferencia A-B

La diferencia de dos conjuntos A
y B es el conjunto de todos los
elementos de A que no
pertenecen a B.
El operador de la diferencia se
denota como:
A B = {x / xeA . xeB}
Tambin se puede decir:
x [ xe(A B) (xeA . xeB) ]

A B
AB
U
Teora de Conjuntos
Diferencia Simtrica A A B

La diferencia simtrica de dos
conjuntos A y B es el conjunto
de los elementos que pertenecen
a A o pertenecen a B menos los
elementos que pertenecen a la
interseccin de A y B.
El operador de la diferencia
simtrica se denota como: A
A A B = {x / xe(AB) . xe(AB)}
Tambin se puede decir:
x [xe(A A B) ((xeA v xeB) .
(xeA . xeB))]
A B
A A B
U
Teora de Conjuntos
Diferencia Simtrica A A B

La diferencia simtrica de dos
conjuntos A y B es el conjunto
de los elementos que pertenecen
a A o pertenecen a B menos los
elementos que pertenecen a la
interseccin de A y B.
El operador de la diferencia
simtrica se denota como: A
A A B = {x / xe(AB) . xe(AB)}
Tambin se puede decir:
x [xe(A A B) ((xeA v xeB) .
(xeA . xeB))]
A B
A A B
U