Teora de Conjuntos

Franco Guidi Polanco

Escuela de Ingeniera Industrial
Pontificia Universidad Catlica de Valparaso, Chile
fguidi@ucv.cl

Conjuntos y elementos
vNotacin: A = { Batman, Superman, Centella }
vUn conjunto se encuentra completamente
determinado por sus elementos.
vEl orden de los elementos en un conjunto es
irrelevante. Los elementos podran figurar listados
ms de una vez.
vEjemplos que referencian a un mismo conjunto:
{ Batman, Superman, Centella }
{ Centella, Superman, Batman }
{ Batman, Batman, Superman, Centella, Centella,
Centella }
Franco Guidi Polanco

Elementos
vSi S es un conjunto,
a S : a es un elemento de S
a S : a no es un elemento de S

vEjemplo:
Si S = { Batman, Superman, Centella } , entonces
Centella S

vNotar que:
Centella es un elemento del conjunto.
{ Centella } es un conjunto que contiene un nico
elemento.
Por lo tanto Centella { Centella }
Franco Guidi Polanco

Elementos y conjuntos
vUn conjunto puede ser elemento de otro conjunto.
Por ejemplo:
{ Batman , { Batman } }
es un conjunto cuyos elementos son el nombre
Batman y el conjunto { Batman }.

Franco Guidi Polanco

Especificacin de conjuntos
vUn conjunto puede ser especificado por
comprensin :
A = { x S | P(x) }
vSe lee el conjunto de todos los x que pertenecen
a S, tal que P(x).
vUn elemento x pertenece a A si y slo si el
elemento x pertenece a S y P(x) es verdadero.
v En otras palabras, A es el set de verdad del
predicado P(x), con x en el dominio S.
vEn el contexto de Conjuntos, tpicamente se dice
la propiedad P(x) en lugar de el predicado
P(x)
Franco Guidi Polanco

Ejemplos
vA = { x Z | -3 < x < 4 }
vA = {-2, -1, 0, 1, 2, 3 }
vB = { x N | -3 < x < 4 }
vB = { 1, 2, 3 }
vC = { x ProfesorEII | Dicta( x, EII-100) }
vC= { Matilde, Ernesto, Beatriz, Claudia }

Franco Guidi Polanco

Definicin: Subconjunto
vSi A y B son conjuntos, A es subconjunto de B (escrito
como A B) , si y slo si todo elemento de A tambin es
elemento de B.
vFormalmente:
A B x , si x A entonces x B
vTambin se lee: A est contenido en B o B contiene a
A.
vPara probar que A B , se debe verificar que cada
elemento de A est tambin en B.
vEjemplo:
A = { x Z+ | x < 5 }
B = { 1, 2, 3, 4, 5, 6, 7, 8 }
Entonces A B.
Franco Guidi Polanco

Subconjuntos
vA B se lee A no es subconjunto de B. Esto
ocurre cuando existe al menos un elemento de A
que no pertenece a B.
vSimblicamente:
A B x tal que x A y x B

Franco Guidi Polanco

Subconjuntos
vEjemplo: Si
A = { Toms, Catalina, Alessandro, Mara Jess, Isidora }
B = { Isidora, Catalina }
C = { Eduardo, Mara Jess }

vDetermine cules de las siguientes expresiones son

verdaderas:
a)B A
b)C A
c)B B

Franco Guidi Polanco

Definicin: subconjunto propio

vSean A y B conjuntos. A es un subconjunto propio
de B, si y slo si cada elemento de A se encuentra
en B, pero hay al menos un elemento de B que no
se encuentra en A.

Franco Guidi Polanco

10

Diagramas de Venn para Subconjuntos

vA B, puede cumplirse de dos formas:

A=B
A

Franco Guidi Polanco

11

En cul(es) de los siguientes casos se cumple

A B?

B
(a)

(b)

B
(c)

Franco Guidi Polanco

12

Ejemplo
vRelaciones entre los conjuntos Z, Q y R

Es Z un subconjunto propio de R?

Franco Guidi Polanco

13

Distincin entre y
vDetermine cules de las siguientes proposiciones
son verdaderas:

2 { 1, 2, 3 }
{2} { 1, 2, 3 }
2 { 1, 2, 3 }
{2} { 1, 2, 3 }
{2} { {1}, {2}, {3} }
{2} { {1}, {2}, {3} }
2 { {1}, {2}, {3} }

Franco Guidi Polanco

14

Definicin: igualdad de conjuntos

vDados dos conjuntos A y B, A es igual a B, si y
slo si, cada elemento de A est en B y cada
elemento de B est en A.
vSimblicamente:
A=BAByBA
x, x A x B
vPor tanto para probar la igualdad entre dos
conjuntos A y B, se debe probar que A B y
B A.
Franco Guidi Polanco

15

Ejemplo: probar igualdad de conjuntos

vSean los conjuntos:

A= { n Z | n = 2p, para algn entero p}

B = el conjunto de todos los enteros pares.
C = { m Z | m = 2q - 2, para algn entero q }
D = { k Z | k = 3r + 1, para algn entero r}

v Determine:
a) A = B ? ?
b) A = D ? ?
c) A = C ? ?

Franco Guidi Polanco

S
No
S

16

Conjunto Universo
vPara la definicin de las operaciones sobre
conjuntos, se asume la existencia de un contexto
dado por un conjunto denominado Conjunto
Universo o Universo del Discurso.

Franco Guidi Polanco

17

Unin de conjuntos
vSean A y B subconjuntos del conjunto universo U.
La unin de A y B, escrita como A B, es el
conjunto de todos los elementos x de U, tal que x
pertenece a A o x pertenece a B.
AB={xU|xAoxB}
U
A

Franco Guidi Polanco

Notar que:
xAB xAoxB

18

Interseccin de conjuntos
vSean A y B subconjuntos del conjunto universo U.
La interseccin de A y B, escrita como A B, es el
conjunto de todos los elementos x de U, tal que x
pertenece a A y x pertenece a B.
AB={xU|xAyxB}
U
A

Franco Guidi Polanco

Notar que:
xAB xAyxB

19

Diferencia entre conjuntos

vSean A y B subconjuntos del conjunto universo U.
La diferencia de A menos B (o complemento
relativo de B en A), escrito como A - B, es el
conjunto de todos los elementos x de U, tal que x
pertenece a A y x no pertenece a B.
A-B={xU|xAyxB}
U
A

Franco Guidi Polanco

Notar que:
xA-B xAyxB

20

Complemento de un conjunto
vSean A un subconjunto del conjunto universo U. El
complemento de A, escrito como Ac, es el conjunto
de todos los elementos x de U, tal que x no
pertenece a A.
Ac = { x U | x A }
U
A

Franco Guidi Polanco

Notar que:
x Ac x A

21

Ejemplo
vSea:
U = { a, b, c, d, e, f, g } (conjunto universo)
A = { a, c, e, g }
B = { d, e, f, g }

vEncontrar:
A B = { a,
? c, d, e, f, g }
A B = { ?e, g }
B A = { ?d, f }
Ac =
Franco Guidi Polanco

{ b,
? d, f }
22

Ejemplo
vSea:
R, el conjunto de nmeros Reales, el conjunto Universo.
A = { x R | -1 < x < 0 }
B = { x R | 0 < x < 1 }

vEncontrar
A B =
? {x R | -1 < x < 0 0 < x < 1}
{x R | -1 < x < 1 }
A B =
? {x R | -1 < x < 0 y 0 < x < 1}
{0}
Ac
Franco Guidi Polanco

=
? {x R | no se cumple que (-1 < x < 0)}
= {x R | x < -1 x > 0)}
23

El conjunto vaco
vEl conjunto vaco es un conjunto que no tiene
elementos.
vEs nico.
vEs subconjunto de cualquier conjunto.
vSe denota por el smbolo .
vEjemplo:
{ x R | 1 < x y x < 1 } =

Franco Guidi Polanco

24

Definicin: Conjuntos disjuntos

vDos conjuntos son disjuntos, si y slo si no tienen
elementos en comn.
vSimblicamente:
A y B son disjuntos A B =
vEjemplo:
{ Claudia, Mar, Alfredo } { Piero, Benjamn} =

Franco Guidi Polanco

25

Definicin: conjuntos mutuamente disjuntos

vLos conjuntos A1, A2, , An son mutuamente
disjuntos (o disjuntos de a pares, o no
traslapados) si y slo si, no hay dos conjuntos Ai
y Aj que tengan elementos en comn, para todo
i j, con i, j = 1, 2, n.
Ai Aj = , para todo i j
vEjemplo:
A={ 1, 3, 5 } , B={ 8, 2 } y C={ 4, 7, 9} son
mutuamente disjuntos porque:
A B = , B C = y A C =
Franco Guidi Polanco

26

Definicin: Particionamiento de un conjunto

vUna coleccin de conjuntos no vacos { A1, A2, ,
An } es un particionamiento de un conjunto A, si y
slo si A = A1 A2 An y A1, A2, , An son
mutuamente disjuntos.

A1
A3

A2
A4
A
Franco Guidi Polanco

27

Definicin: Powerset
vSea A un conjunto. El conjunto potencia de A,
escrito como (A) es el conjunto que contiene a
todos los subconjuntos de A.
vNotar que el conjunto vaco es subconjunto de
todo conjunto, y que todo conjunto es subconjunto
de si mismo.
vEjemplo:
Si A = { 1, 2 }
Entonces (A) = {, {1}, {2}, {1, 2}}

Franco Guidi Polanco

28

Ejercicio
vSea A = { 1, 2, 3 }
vDetermine el conjunto potencia de A
(A) = {, {1},
? {2}, {3},{1,2},{1,3},{2,3},{1,2,3}}

vSea B = { a, b, c, d }
vDetermine el conjunto potencia de B
?
(A) = {, {a},{b},{c},{d},{a,b},{a,c},{a,d},{b,c},
{b,d},{c,d},{a,b,c},{a,b,d},{a,c,d},{b,c,d},
{a,b,c,d}}
Franco Guidi Polanco

29

Definicin: n-tupla ordenada

vSea n un entero positivo, y sean x1, x2, , xn
elementos no necesariamente distintos. La n-tupla
ordenada (x1, x2, , xn), consiste en x1, x2, , xn
ordenados primero x1, luego x2, y as
sucesivamente hasta xn.
vDos n-tuplas ordenadas (x1, x2, , xn) y (y1, y2, ,
yn) son iguales, si y slo si x1 = y1, x2 = y2, , xn
= yn
vNota: Una 2-tupla ordenada se denomina par
ordenado.
Franco Guidi Polanco

30

Ejercicio
vDetermine si las siguientes tuplas ordenadas son o
no iguales:
( 1, casa ) y ( 2/2 , casa )
( 1, casa, s) y (casa, 1, s)
( 1, casa) y (1, casa, rbol)

Franco Guidi Polanco

31

Definicin: Producto Cartesiano (para dos

conjuntos)
vDados dos conjuntos A y B, el producto cartesiano
de A y B, denotado como A x B, es el conjunto de
todos los pares ordenados (a, b) donde a
pertenece a A y b pertenece a B.
vSimblicamente:
A x B = { (a, b) | a A y b B }
Notar que:
( a, b ) A x B a A y b B
Franco Guidi Polanco

32

Ejercicio
vSea:
A = { Catalina, Daniela }
B = { 1, 3, 5 }

vEncontrar:
A x B = { (Catalina,
1), (Catalina, 3), (Catalina, 5),
?
(Daniela, 1), (Daniela, 3), (Daniela, 5) }
B x A = { (1,?Catalina), (1, Daniela), (3, Catalina),
(3, Daniela), (5, Catalina), (5, Daniela) }
A x B = B x A?
Franco Guidi Polanco

33

Definicin: producto cartesiano (caso general)

vDados n conjuntos A1, A2, , An, el producto
cartesiano de A1, A2, , An, denotado como A1 x A2
x x An es el conjunto de todas las n-tuplas (a1, a2,
, an) donde a1 A1, a2 A2, , an An.
vSimblicamente:
A1 x A2 x x An = {(a1, a2, , an) | a1 A1,
a2 A2, , an An }

Franco Guidi Polanco

34

Ejercicio
vSea:
A = { Catalina, Daniela }
B = { 1, 3, 5 }
C = { rojo, azul }

vEncontrar:
?
A x B x C= { (Catalina,
1, rojo), (Catalina, 1, azul),
(Catalina, 3, rojo), (Catalina, 3,
azul),
(Catalina, 5, rojo), (Catalina, 5, azul),
(Daniela, 1, rojo), (Daniela, 1, azul),
(Daniela, 3, rojo), (Daniela, 3, azul),
(Daniela, 5, rojo), (Daniela, 5,
Franco Guidi Polanco

35

Ejercicio
vSea:
A = { Catalina, Daniela }, B = { 1, 3, 5 } y C = { rojo, azul }

Determinar si (A x B) x C = A x B x C
vA x B x C = (ejercicio anterior)
vNotar que : A x B = { (Catalina, 1), (Catalina, 3), (Catalina, 5),
(Daniela, 1), (Daniela, 3), (Daniela, 5) }

vLuego: (A x B) x C= { ((Catalina, 1), rojo), ((Catalina, 1), azul),

((Catalina, 3), rojo), ((Catalina, 3), azul),

((Catalina, 5), rojo), ((Catalina, 5), azul),
((Daniela, 1), rojo), ((Daniela, 1), azul),
((Daniela, 3), rojo), ((Daniela, 3), azul),
((Daniela, 5), rojo), ((Daniela, 5), azul) }

vPor lo tanto: A x B x C (A x B) x C
Franco Guidi Polanco

36

Teorema: Propiedades de los conjuntos

vInclusin de la interseccin: Para cualquier conjunto
A y B:
ABA y ABB
vInclusin en la unin: Para cualquier conjunto A y B:
AAB y BAB
vPropiedad transitiva de los conjuntos: Para cualquier
conjunto A, B y C:
Si A B y B C, entonces A C
Franco Guidi Polanco

37

Teorema: Identidades de conjuntos

1. Leyes conmutativas
Para todo conjunto A y B:
AB=BA y
AB=BA

2. Leyes asociativas
Para todo conjunto A, B y C:
(AB)C = A(BC) y
(AB)C=A(BC)

3. Leyes distributivas
Para todo conjunto A, B y C:
A ( B C ) = ( A B ) (A C ) y
A ( B C ) = ( A B ) (A C )
Franco Guidi Polanco

38

Teorema: Identidades de conjuntos (cont.)

4. Leyes de identidad
Para todo conjunto A perteneciente al universo U:
A=A y
AU=A

5. Leyes del complemento

Para todo conjunto A perteneciente al universo U:
A Ac = U y
A Ac =

6. Ley del doble complemento

Para todo conjunto A:
(Ac)c = A
Franco Guidi Polanco

39

Teorema: Identidades de conjuntos (cont.)

7. Leyes de idempotencia
Para todo conjunto A:
AA=A y
AA=A

8. Leyes de lmites universales

Para todo conjunto A perteneciente al universo U:
AU= U y
A=

9. Leyes de De Morgan
Para todo conjunto A y B:
(A B)c = Ac Bc y
(A B)c = Ac Bc
Franco Guidi Polanco

40

Teorema: Identidades de conjuntos (cont.)

10.Leyes de absorcin
Para todo conjunto A y B:
A (A B) = A y
A (A B) = A

11.Leyes del complemento de U y

Para cualquier conjunto universo U:
Uc = y
c = U

12.Ley de la diferencia entre conjuntos

Para todo conjunto A y B:
(A B) = A Bc
Franco Guidi Polanco

41