Documentos de Académico
Documentos de Profesional
Documentos de Cultura
.
.
.
Claurimar Medina Quintero
11 de julio de 2012
2
Indice general
1. Teora de Conjuntos 7
1.1. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Algebra de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.1. Operaciones fundamentales . . . . . . . . . . . . . . . 14
Leyes del algebra de conjuntos . . . . . . . . . . . . . . . . . . . . . 18
1.3. Operaciones generalizadas . . . . . . . . . . . . . . . . . . . . 22
1.4. Particion de un conjunto . . . . . . . . . . . . . . . . . . . . . 26
1.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . 27
1.6. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . 29
3
4
INTRODUCCI
ON
El procesamiento de informacion a traves de medios computacionales (tan
importante hoy da) se efect ua mediante la codicacion de situaciones reales
a lenguaje simbolico (para lo cual se requiere del uso de la matematica disc-
reta) en particular en el tratamiento de estructuras de datos necesarias en
la organizacion de archivos as como el funcionamiento y la actualizacion de
sistemas operativos, de esto podemos explicar el porque del estudio de las
estructuras discretas de la matematica.
Este trabajo contiene los temas referentes a la teora de conjuntos, el alge-
bra de la teora de conjuntos, as como de las principales propiedades de los
conjuntos, el producto cartesiano y sus aplicaciones.
5
6
1 Teora de Conjuntos
En este captulo se presenta una introduccion a la teora de conjuntos,
comenzaremos con las deniciones basicas (conjuntos, igualdad de conjuntos,
subconjuntos), luego deniremos distintas operaciones que se pueden realizar
con los conjuntos
1.1 Conjuntos
La teora de conjuntos se construye a partir de tres terminos basicos que
son: Conjunto, elemento y pertenencia.
Intuitivamente, un conjunto es una lista o coleccion bien denida de ob-
jetos, que designaremos con letras may usculas A, B, X, Y ,... Los objetos que
componen el conjunto se llaman elementos o miembros y los designare-
mos por letras min usculas (a menos que dichos elementos sean, a su vez,
conjuntos).
Por otro lado si A es un conjunto y x es un elemento de A, diremos que
x pertenece a A, y este lo denotaremos por x A. Si x no pertenece a A
se denotara x / A.
Conjuntos especiales
Llamaremos conjunto vaco a un conjunto que carece de elementos. Se
puede probar que solo existe un conjunto vaco, por lo tanto se suele decir el
conjunto vaco, el cual se denota como .
Ejemplo 1 Sea A un conjunto cuyos elementos son los campeonatos mundi-
ales de F utbol ganados por Per u durante el siglo XX. Como Per u no gano ning un
7
8
campeonato en dicho periodo este conjunto no tiene elementos. Luego A = .
Un conjunto se dice unitario si posee un unico elemento.
Ejemplo 2 B = {x : 3x 1 = 14} = {5}.
Se llama conjunto referencial o conjunto universal, usualmente de-
notado por U, al conjunto formado por todos los elementos en discusion. Tal
conjunto no es unico, depende del tema que se estudia.
Ejemplo 3 Si consideramos el conjunto de los n umeros naturales menores
que 60. Aqu el conjunto Universo U es el conjunto N y se tiene una propiedad
que caracteriza a los elementos del conjunto: ser menores que 60.
Observacion 1 En la teora de conjuntos no se puede hablar del conjunto
que contiene a todos los conjuntos, pues nos conduce a contradicciones.
Intuitivamente un conjunto nito consta de un cierto n umero de elemen-
tos, de lo contrario el conjunto es innito.
Existen dos maneras de determinar (escribir) un conjunto:
1. Por extension: Se enumeran, entre llaves, sin importar el orden los
elementos del conjunto.
Ejemplo 4
a) {1, 2, 3, 4, 5} b) {a, e, i, o, u} c) {a, 1, 2, 5, 3, 7, e}
2. Por comprension: se expresa el conjunto como el dominio de verdad
de una funcion proposicional
Si (U, P(x)) es una funcion proposicional, entonces
A = {x U/P(x)}
es el conjunto formado por todos los elementos de U que hacen ver-
dadero P(x) (en pocas palabras A es el dominio de verdad de (U, P(x))).
1. Teora de Conjuntos 9
Ejemplo 5 .
a) {1, 2, 3, 4, 5} = {x N/1 x 5}.
b) {a, e, i, o, u} = {x U/x es vocal }, donde U es el conjunto de
todas las letras del abecedario.
c) = {x R /x
2
+ 1 = 0}.
Ejemplo 6 Consideremos como continuacion del ejemplo 3. Al deno-
tar el conjunto de los n umeros naturales menores que 60. El conjunto
tiene una propiedad que caracteriza a los elementos del conjunto: ser
menores que 60. Para indicar esta situacion empleamos la simbologa
del algebra de conjuntos: {x N; x < 60}.
Ejemplo 7 Ahora si se desea trabajar con conjuntos que manejen in-
tervalos estos pueden ser representados por medio de una expresion
algebraica; supongamos que se desea expresar los n umeros enteros (Z)
entre -20 y 30 el conjunto quedara de la manera siguiente:
{x Z; 20 x 30}.
3. Los conjuntos de suelen represen-
tar gracamente mediante dia-
gramas de Venn, con una lnea
que encierra a sus elementos. As,
todas las operaciones entre conjun-
tos se pueden representar graca-
mente con el n de obtener una
idea mas intuitiva.
t 1
}
a
r
o
o
10
Representacion de un conjunto
Un conjunto innito puede escribirse por extension, al escribir unos pocos
elementos y luego cuando sea clara la secuencia de los elementos se escriben
puntos suspensivos (dependiendo del conjunto, se escriben puntos suspensivos
al comienzo y/o al nal). Veamos unos ejemplos.
Ejemplo 8 .
1. El conjunto de los n umeros impares positivos {1, 3, 5, 7, 9, ...}.
2. El conjunto de los n umeros impares {..., 3, 1, 3, 5, 7, ...}.
3. Los n umeros enteros negativos {..., 5, 4, 3, 2, 1}.
Relacion entre conjuntos
Denicion 1 Dos conjuntos A y B son iguales, denotado por A = B, si
se cumple que todo elemento de A es elemento de B y viceversa
A = B (x)(x A x B).
Si A y B no son iguales decimos que son distintos, lo cual denotaremos
como A = B.
Ejemplo 9 Los conjuntos A = {1, 2, 3, 4}, B = {2, 3, 1, 2, 4} son iguales.
Ejemplo 10 Los conjuntos A = {1, 2, 3, 4} y C = {2, 3, 4} son distintos.
Proposicion 1 La igualdad de conjuntos satisface las siguientes propiedades:
1. Para todo conjunto A se cumple que A = A (reexividad)
2. Si A = B, entonces B = A (simetra)
3. Si A = B y B = C, entonces A = C (transitividad).
Denicion 2 Sean A y B dos conjuntos. Diremos que:
1. A es subconjunto de B ( A esta incluido en B), denotado por A B,
si se cumple que todo elemento de A es elemento de B.
1. Teora de Conjuntos 11
A B (x)(x A x B).
Si A no es subconjunto de B, es-
cribiremos A B.
2. A es subconjunto propio de B ( A esta incluido propiamente en B),
denotado por A B, si A B y A = B.
Ejemplo 11 .
(i) Si A = {1, 2, 3, 4} y B = {2, 3, 1, 2, 4}, entonces A B y B A .
(ii) Si A = {1, 2, 3, 4} y C = {2, 3, 4}, entonces C A, pero A C
(1 / C), es decir C A.
(iii) Si A = {x R/x 1 < 0} y B = {x R/ | x + 2 |< 3}, entonces
B A.
Veriquemos que en este ultimo caso B A. En efecto,
x B | x + 2 |< 3
3 < x + 2 < 3
3 2 < x + 2 2 < 3 2
5 < x < 1
x < 1
x 1 < 0
x A.
As tenemos que B A.
12
Observacion 2 En teora de conjuntos se acostumbra no repetir a los ele-
mentos por ejemplo:
El conjunto {b, b, b, d, d} simplemente sera {b, d}.
Proposicion 2 La inclusion de conjuntos satisface las siguientes propiedades
1. Para todo conjunto A se cumple que A U,
2. Para todo conjunto A se cumple que A A (reexividad),
3. Si A B y B A, entonces A = B (antisimetra),
4. Si A B y B C, entonces A C (transitividad).
La parte dos se puede generalizar como sigue:
Teorema 1 Sean A y B conjuntos.
A = B A B B A.
Esto ultimo nos puede ayudar a la hora de determinar si dos conjuntos son
iguales o no.
Diremos que dos conjuntos A y B son comparables si se cumple que
uno de los conjuntos es subconjunto del otro. Simbolicamente, A y B son
comparables si A B o B A.
Cardinal de un conjunto
Una de las caractersticas importantes que hay que tener en cuenta es la
cardinalidad de los conjuntos. El cardinal de un conjunto nito A, denotado
por #A, es un n umero natural que indica la cantidad de elementos diferentes
que tiene dicho conjunto.
Ejemplo 12 Si A = {a, b, c, d, e, f},
entonces #A = 6.
1. Teora de Conjuntos 13
A
{ }
, , , , , A a b c d e f =
1 2 3 4 5 6
El cardinal del conjunto vaco es cero, es decir, # = 0.
Ejemplo 13 Hallar el cardinal de B = {x Z : 3 < x < 5}.
En este caso el unico entero que satisface la desigualdad 3 < x < 5 es x = 4,
as B = {x Z : 3 < x < 5} = {4} y #B = 1.
Ejemplo 14 Determinar el cardinal de C = {}.
Note que C es un conjunto que tiene un elemento, el cual es el conjunto vaco,
as #C = 1.
Conjunto potencia
Denicion 3 El conjunto potencia (o conjunto de partes de A), de-
notado por P(A), es el conjunto formado por todos los subconjuntos de A
P(A) = {X U/X A}
Por la observacion anterior, para todo conjunto A, , A P(A)
Ejemplo 15 1. P() = {}
2. Si A tiene un elemento, entonces P(A) = {, A}
3. Si A = {1, 2}, entonces P(A) = {, {1}, {2}, A}
4. Si A = {{1}, a, }, entonces
P(A) = {, {{1}}, {a}, {}, {{1}, a}, {{1}, , {a, }, A}}.
Observacion 3 1. Si #A = n, entonces #P(A) = 2
n
.
2. A B P(A) P(B).
14
1.2 Algebra de Conjuntos
1.2.1. Operaciones fundamentales
Denicion 4 Dados dos conjuntos A y B, se llama uni on de A y B, de-
notado por A B, al conjunto formado por los elementos que pertenecen a
A o a B.
A B = {x U/x A x B}.
En el siguiente graca, la region
sombreada corresponde a la union de
A y B.
A
B
A B
Ejemplo 16 Si A{1, 2, 3, 4, 5} y B = {1, 0, 1, a, b, 2, 7}, entonces A B =
{1, 0, 1, 2, 3, 4, 5, 7, a, b}
Teorema 2 Para todo conjunto A y B se cumple que A A B y que
B A B.
Demostraremos que A A B y dejaremos la prueba de que B A B
como ejercicio.
x A x A x B (adicion)
x A B (def. union).
Por denicion tenemos que A A B.
Teorema 4 A B A B = A.
Dejamos esta demostracion como el problema resuelto 2.
Denicion 7 Dados un conjunto A, se llama complemento de A, denota-
do por A, al conjunto formado por los elementos del conjunto referencial U
que no pertenecen a A.
16
A = {x U/x / A}.
En la graca, la region sombreada
corresponde al complemento de A.
A
A
Ejemplo 18 Si U = {1, 2, 3, 4, 5, 6, 7, 8, 9} y A{1, 3, 4, 7}, entonces
A = {2, 5, 6, 8, 9}.
Denicion 8 Dados dos conjuntos A y B, se llama diferencia de A y B,
denotado por A B, al conjunto formado por los elementos que pertenecen
a A y que no pertenecen a B.
AB = {x U/x A x / B}.
En la graca, la region sombreada
corresponde al conjunto A B.
A
B
Ejemplo 19
1
2
3
5
4
0
1
a
b
7
Si A = {1, 2, 3, 4, 5}, B =
{1, 0, 1, a, b, 2, 7}, entonces
AB = {3, 4, 5} y B A = {1, 0, a, b, 7}.
Note que AB = B A.
1. Teora de Conjuntos 17
Observacion 4
A = U A
AB = A B
Denicion 9 Dados dos conjuntos A y B, se llama diferencia simetrica
de A y B, denotado por AB, al conjunto formado por los elementos que
pertenecen o a A o que pertenecen a B.
AB = {x U/x A x B}.
En la graca, la region sombreada
corresponde a AB.
A
B
A B
Ejemplo 20 Si A = {1, 2, 3, 4, 5},
B = {1, 0, 1, a, b, 2, 7}, entonces
AB = {3, 4, 5, 1, 0, a, b, 7}.
1
2
3
5
4
0
1
a
b
7
Teorema 5 Dados A y B conjuntos. Se tiene que
AB = (AB) (B A) y AB = (A B) (A B).
Demostraremos la primera igualdad, dejaremos la prueba de la segunda al
lector
x AB x A x B (def. difer. simetrica)
(x A x / B) (x B x / A) (ley. disy. exclusiva)
x (AB) x (B A) (def. diferencia)
x (AB) (B A). (def. union).
18
Leyes del algebra de conjuntos
Leyes Idempotentes
A A = A A A = A
Leyes Conmutativas
A B = B A A B = B A
Leyes Asociativas
(A B) C = A (B C) (A B) C = A (B C)
Leyes Distributivas
A (B C) = (A B) (A C) A (B C) = (A B) (A C)
Leyes de Identidad
A U = U A = A
A = A U = A
Leyes de Complementacion
A A = A A = U
(A) = A = U, U =
Leyes de De Morgan
(A B) = A B (A B) = A B
Demostraremos dos propiedades, el resto queda como ejercicio para el
lector.
Probemos (A B) C = A (B C).
x (A B) C x (A B) x C (def. union)
(x A x B) x C (def. union)
x A (x B x C) (asociativa)
x A x (B C) (def. union)
x A (B C). (def. union).
(A B) C = A (B C).
1. Teora de Conjuntos 19
Probemos ahora que (A B) = A B.
x (A B) x / (A B) (def. complemento)
(x (A B)) (negacion)
(x A x B) (def. interseccion)
(x A) (x B) (De Morgan)
x / A x / B (negacion)
x A x B (def. complemento)
x (A B). (def. interseccion).
(A B) = A B.
k=1
A
k
= {(a
1
, a
2
, , a
n
) : a
i
A
i
}.
En particular, note que si I = {1, 2, 3, , n}, entonces
_
kI
A
k
=
n
_
k=1
A
k
y
kI
A
k
=
n
k=1
A
k
.
Si I = N, escribiremos
_
kI
A
k
=
_
k=1
A
k
y
kI
A
k
=
k=1
A
k
.
Ejemplo 25 .
1.
nN
= .
2.
nN
= U, donde U es el universo.
Ejemplo 26 Sea la familia indizada {A
i
}
iI
, donde I = {1, 2, 3} y
A
i
= {x N : i 1 x i + 2}.
Cada miembro de la familia esta dado por:
A
1
= {x N : 0 x 3} = {0, 1, 2, 3}
A
2
= {x N : 1 x 4} = {1, 2, 3, 4}
A
3
= {x N : 2 x 5} = {2, 3, 4, 5}.
24
En este caso,
_
kI
A
k
= {0, 1, 2, 3, 4, 5}
kI
A
k
= {1, 2, 3}
kI
A
k
=
_
_
(0, 1, 2) (1, 1, 2) (2, 1, 2) (3, 1, 2)(0, 1, 3) (1, 1, 3) (2, 1, 3) (3, 1, 3)
(0, 1, 4) (1, 1, 4) (2, 1, 4) (3, 1, 4)(0, 1, 5) (1, 1, 5) (2, 1, 5) (3, 1, 5)
(1, 1, 2) (1, 1, 2) (2, 1, 2) (3, 1, 2)(1, 1, 3) (1, 1, 3) (2, 1, 3) (3, 1, 3)
(1, 1, 4) (1, 1, 4) (2, 1, 4) (3, 1, 4)(1, 1, 5) (1, 1, 5) (2, 1, 5) (3, 1, 5)
(2, 1, 2) (1, 1, 2) (2, 1, 2) (3, 1, 2)(2, 1, 3) (1, 1, 3) (2, 1, 3) (3, 1, 3)
(2, 1, 4) (1, 1, 4) (2, 1, 4) (3, 1, 4)(2, 1, 5) (1, 1, 5) (2, 1, 5) (3, 1, 5)
(3, 1, 2) (1, 1, 2) (2, 1, 2) (3, 1, 2)(3, 1, 3) (1, 1, 3) (2, 1, 3) (3, 1, 3)
(3, 1, 4) (1, 1, 4) (2, 1, 4) (3, 1, 4)(3, 1, 5) (1, 1, 5) (2, 1, 5) (3, 1, 5)
(0, 2, 2) (1, 2, 2) (2, 2, 2) (3, 2, 2)(0, 2, 3) (1, 2, 3) (2, 2, 3) (3, 2, 3)
(0, 2, 4) (1, 2, 4) (2, 2, 4) (3, 2, 4)(0, 2, 5) (1, 2, 5) (2, 2, 5) (3, 2, 5)
(1, 2, 2) (1, 2, 2) (2, 2, 2) (3, 2, 2)(1, 2, 3) (1, 2, 3) (2, 2, 3) (3, 2, 3)
(1, 2, 4) (1, 2, 4) (2, 2, 4) (3, 2, 4)(1, 2, 5) (1, 2, 5) (2, 2, 5) (3, 2, 5)
(2, 2, 2) (1, 2, 2) (2, 2, 2) (3, 2, 2)(2, 2, 3) (1, 2, 3) (2, 2, 3) (3, 2, 3)
(2, 2, 4) (1, 2, 4) (2, 2, 4) (3, 2, 4)(2, 2, 5) (1, 2, 5) (2, 2, 5) (3, 2, 5)
(3, 2, 2) (1, 2, 2) (2, 2, 2) (3, 2, 2)(3, 2, 3) (1, 2, 3) (2, 2, 3) (3, 2, 3)
(3, 2, 4) (1, 2, 4) (2, 2, 4) (3, 2, 4)(3, 2, 5) (1, 2, 5) (2, 2, 5) (3, 2, 5)
(0, 3, 2) (1, 3, 2) (2, 3, 2) (3, 3, 2)(0, 3, 3) (1, 3, 3) (2, 3, 3) (3, 3, 3)
(0, 3, 4) (1, 3, 4) (2, 3, 4) (3, 3, 4)(0, 3, 5) (1, 3, 5) (2, 3, 5) (3, 3, 5)
(1, 3, 2) (1, 3, 2) (2, 3, 2) (3, 3, 2)(1, 3, 3) (1, 3, 3) (2, 3, 3) (3, 3, 3)
(1, 3, 4) (1, 3, 4) (2, 3, 4) (3, 3, 4)(1, 3, 5) (1, 3, 5) (2, 3, 5) (3, 3, 5)
(2, 3, 2) (1, 3, 2) (2, 3, 2) (3, 3, 2)(2, 3, 3) (1, 3, 3) (2, 3, 3) (3, 3, 3)
(2, 3, 4) (1, 3, 4) (2, 3, 4) (3, 3, 4)(2, 3, 5) (1, 3, 5) (2, 3, 5) (3, 3, 5)
(3, 3, 2) (1, 3, 2) (2, 3, 2) (3, 3, 2)(3, 3, 3) (1, 3, 3) (2, 3, 3) (3, 3, 3)
(3, 3, 4) (1, 3, 4) (2, 3, 4) (3, 3, 4)(3, 3, 5) (1, 3, 5) (2, 3, 5) (3, 3, 5)
(0, 4, 2) (1, 4, 2) (2, 4, 2) (3, 4, 2)(0, 4, 3) (1, 4, 3) (2, 4, 3) (3, 4, 3)
(0, 4, 4) (1, 4, 4) (2, 4, 4) (3, 4, 4)(0, 4, 5) (1, 4, 5) (2, 4, 5) (3, 4, 5)
(1, 4, 2) (1, 4, 2) (2, 4, 2) (3, 4, 2)(1, 4, 3) (1, 4, 3) (2, 4, 3) (3, 4, 3)
(1, 4, 4) (1, 4, 4) (2, 4, 4) (3, 4, 4)(1, 4, 5) (1, 4, 5) (2, 4, 5) (3, 4, 5)
(2, 4, 2) (1, 4, 2) (2, 4, 2) (3, 4, 2)(2, 4, 3) (1, 4, 3) (2, 4, 3) (3, 4, 3)
(2, 4, 4) (1, 4, 4) (2, 4, 4) (3, 4, 4)(2, 4, 5) (1, 4, 5) (2, 4, 5) (3, 4, 5)
(3, 4, 2) (1, 4, 2) (2, 4, 2) (3, 4, 2)(3, 4, 3) (1, 4, 3) (2, 4, 3) (3, 4, 3)
(3, 4, 4) (1, 4, 4) (2, 4, 4) (3, 4, 4)(3, 4, 5) (1, 4, 5) (2, 4, 5) (3, 4, 5)
_
_
1. Teora de Conjuntos 25
Ejemplo 27 Si {B
k
}
kN
es la familia denida por C
k
= {x Z : k < x <
k}, entonces se tiene que
_
kI
B
k
= Z y
kI
A
k
= {0}.
Teorema 8 Sea {A
k
}
xI
una familia indizada de conjuntos. Entonces
1. A
k
kI
A
k
para todo k I.
2.
kI
A
k
A
k
para todo k I.
3.
_
kI
A
k
_
=
kI
A
k
.
4.
_
kI
A
k
_
=
kI
A
k
.
Demostracion
1.
x A
k
k I/x A
k
= x
_
kI
A
k
.
Luego, A
k
kI
A
k
y dado que es independiente de la eleccion de k, se
cumple para todo k I.
2.
x
kI
A
k
x A
k
k I = x A
k
.
Luego,
kI
A
k
A
k
para todo k I.
26
3.
x
_
_
kI
A
k
_
x /
_
kI
A
k
_
x
_
kI
A
k
_
(k I/x A
k
)
k I/x / A
k
k I/x A
k
x
kI
A
k
.
4. Se deja al lector y la demostracion es similar a la anterior.
1.4 Particion de un conjunto
Denicion 14 Sea X un conjunto y {A
k
}
kI
una familia de subconjuntos
de X. {A
k
}
kI
es una particion de X si y solo si
1. A
k
= para todo k I,
2. A
i
A
j
= para todo i, j I
con i = j,
3. X =
kI
A
k
.
1
A
2
A
3
A
4
A
5
A
X
Note que una particion se trata de un recubrimiento en el que los subcon-
juntos pertenecientes a la familia, dos a dos, son disjuntos.
1. Teora de Conjuntos 27
1.5 Ejercicios resueltos
1. Sean A = {x R/ | x+2 |< 3}, B = {x R/5 < x < 1}. Demuestre
que A = B. Demostracion:
x A | x + 2 |< 3
3 < x + 2 < 3
3 2 < x + 2 2 < 3 2
5 < x < 1
x B
Entonces B = C
2. Si U = {0, 1, 2, 3, 4, ..., 10}, A = {x U/ x es par}
B = {x U/ x divide a 4} y C = {x U/x > 7}. Encuentre:
1) A, B, C, BxC
2) B A (C A)
a) A = {0, 2, 4, 6, 8, 10}, B = {1, 2, 4}, C = {8, 9, 10}.
BC = {(1, 8), (2, 8), (4, 8), (1, 9), (2, 9), (4, 9), (1, 10), (2, 10), (4, 10)}
b) C A = {0, 2, 4, 6, 8, 9, 10}, luego (C A) = {1, 3, 5, 7}. Por otro
lado B A = {2, 4}, entonces B A(C A) = {2, 4}.
3. Demuestre que A B A B = A
Demostracion:
Para realizar esta demostracion debemos tener presente que
p q (p q) (q p)
28
Entonces dividiremos la prueba en dos, primero se demostrara que
A B A B = A y luego que A B = A A B
()
Hipotesis: A B
Tesis: A B = A (lo que se debe probar)
Por el teorema anterior se tiene que AB A, as que solo falta probar
que A A B (bajo nuestra hipotesis)
x A x A x A (idempotencia)
x A x B (hipotesis)
x A B (def. interseccion)
Tenemos as que A A B y como A B A, del teorema 2.1.1
tenemos que A B = A
()
Hipotesis: A B = A
Tesis: A B
x A x A B (hipotesis)
x A x B (def. interseccion)
x B (simplicacion)
Tenemos as que A B
4. Demuestre que AB A B
Demostracion:
1. Teora de Conjuntos 29
x AB x A x B Def. Dif. Simetrica
(x A x / B) (x B x / A) Ley Dis. Exclusiva
(x / B) (x / A) Ley Simplicacion
(x / A) (x / B) Ley Conmutativa
(x A) (x B) Def. Complemento
x A B Def. Union
AB A B
5. Demuestre que (A B) (A B) (A B) = A B
Demostracion:
Dejamos como ejercicio al lector el justicar los pasos
(A B) (A B) (A B) = [(A A) B)] (A B)
= (U B) (A B)
= B (A B)
= (B A) (B B)
= (B A) U
= (B A)
= (A B)
i=1
A
i
b)
4
i=1
A
i
c)
4
i=2
A
i
d)
4
i=2
A
i
15. Sean A = {a, b, c}, B = {1, 2} y C = {4, 5, 6}. De la lista de los
elementos de AB C
34
Bibliografa
[1] Johnsonbaugh, Richard Matematicas Discretas. Prentice Hall. Cuarta edi-
cion, 1997
[2] Saenz, Jorge Introduccion a las estructuras discretas. Hipotenusa
[3] Saenz, Jorge; y otros. Fundamentos de la matematica. Hipotenusa. Se-
gunda edicion, Barquisimeto 2001
35