Semana9Operaciones Con Conjuntos. Leyes

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 4

Semana 9

OPERACIONES DE CONJUNTOS Profesor Leonidas Torres Anaya

Intersección (  )

Definición 1. A  B = {x  U / x A  x  B}. Es decir: x, x  A  B  x  A  x  B.


Consecuencias:

i) x  A  B  x  A.
ii) ii) x  A  B  x  B.
iii) iii) x  A  x  B  x  A  B.

Definición 2. Dos conjuntos A y B son disjuntos o ajenos si y sólo si A  B = .

Unión (  )

Definición 2. A  B = {x  U / x A  x  B}. Es decir: x, x  A  B  x  A  x  B.


Consecuencias:

i) x  A  x  A  B.
ii) x  B  x  A  B.
iii) x  A  B  x  A  x  B.

Diferencia ( − )

Definición 3.

a) A − B = {x  U / x A  x  B}. Es decir: x, x  A − B  x  A  x  B. Consecuencias:

i) x  A − B  x  A.
ii) x  A − B  x  B.

iii) x  A  x  B  x  A − B.

b) A  B = {x  U / x  A  B  x  A  B} (diferencia simétrica)

c) ∁A = A c {x  U / x  A} (complemento de A con respecto a U)

Ejemplo. Sean los conjuntos A = {xℤ+ / x  13}, B = {xℤ+ / x es par  x  20} y C = {xℤ+ / x
es par}.

Halla: a) A  B, b) A  B, c) A − B, d) B − A, e) B − C, f) A  B, g) A c .

Solución: Tenemos A = {1, 2, 3,…, 12, 13}, B = {2, 4, 6,…, 18, 20}, C = {2, 4, 6, 8,…}.

Luego:

a) A  B = {2, 4, 6,…, 10, 12} = {xℤ+ / x es par  x  12}.

b) A  B = {1, 2, 3,…, 12, 13, 14, 16, 18, 20} = {xℤ+ / x  14  (x  20  x es par}.

c) A − B = {1, 3, 5, 7, 9, 11, 13} = {xℤ+ / x  13  x es impar}.

d) B − A = {14, 16, 18, 20} = {xℤ+ / x es par  14  x  20}.

e) B − C = {xℤ+ / x es par  x  20  x es impar} = .


f) A  B = (A − B)  (B − A) = {1, 3, 5, 7, 9, 11, 13, 14, 16, 18, 20}.

g) A c = {xℤ+ / x  A} = {xℤ+ / (x  13)} = {xℤ+ / x  13}.

Teorema 1. Propiedades distributivas de la unión e intersección

a) A  (B  C) = (A  B)  (A  C)

b) A  (B  C) = (A B)  (A  C)

Completa la demostración de (a)

Paso 1. x, x(A  B)  (A  C) (hipótesis)

Paso 2. … (definición 1)

Paso 3. x, (xA  xB)  (xA  xC) (…)

Paso 4. … (p  q)  (p  r)  p  (q  r)

Paso 5. x, xA  x(B  C) (definición 1)

Paso 6. x, xA  (B  C) (…)  … (pasos 1 y 6, axioma 2)

Teorema 2. Propiedades de la diferencia

i) (A − B) − C = A − (B  C)
ii) A − (A − B) = A  B
iii) (A  B) − C = (A − C)  (B − C) Distributivas

iv) (A  B) − C = (A − C)  (B − C)

v) A − (B  C) = (A − B)  (A − C) De Morgan

vi) A − (B  C) = (A − B)  (A − C)

Demostración de (v)

Paso 1. x, xA − (B  C) (hipótesis)

Paso 2. x, xA  x(B  C) (definición)

Paso 3. x, xA  x(B  C) (nomenclatura)

Paso 4. x, xA  xB  xC) (definición)

Paso 5. x, xA  (xB  xC) (De Morgan)

Paso 6. x, (xA  xA)  (xB  xC) (Idempotencia)

Paso 7. x, (xA  xB)  (xA  xC) (conmutativa, asociativa)

Paso 8. x, x(A − B)  x(A − C) (definición de paso 2)

Paso 9. x, x(A − B)  (A − C) (definición 1)

 A − (B  C) = (A − B)  (A − C) (pasos 1 y 9, axioma)

Teorema 3. Propiedades de las partes


i) A, P(A)
ii) A, AP(A)

iii) A, B, P(A)  P(B)  P(A  B)

iv)A, B, P(A)  P(B) = P(A  B)

LEYES DE LA TEORÍA DE CONJUNTOS

Para cualesquiera conjuntos A, B, C, subconjuntos de U, se cumplen las siguientes leyes:

1. Ley del doble complemento (Ac ) c = A

2. Leyes de De Morgan a) (A  B)c = Ac  B c b) (A  B)c = Ac  B c

3. Leyes conmutativas

a) A  B = B  A

b) A  B = B  A

4. Leyes asociativas

a) A  (B  C) = (A  B)  C

b) A  (B  C) = (A  B)  C

5. Leyes distributivas

a) A  (B  C) = (A  B)  (A  C)

b) A  (B  C) = (A  B)  (A  C)

6. Leyes de idempotencia

a) A  A = A

b) A  A = A

7. Leyes de identidad a) A   = A b) A  U = A

8. Leyes inversas

a) A  A c = U

b) A  A c = 

9. Leyes de dominación

a) A  U = U

b) A   = 

10. Leyes de absorción

a) A  (A  B) = A

b) A  (A  B) = A
Diagramas de Venn
Un diagrama de Venn se construye así:

U se representa por el interior de un rectángulo, mientras que sus subconjuntos se representan


por los interiores de circunferencias y de otras curvas cerradas.

Ejercicios

1. La región pintada en cada uno de los siguientes diagramas representa la unión, la


intersección, la diferencia simple, la diferencia simétrica de los conjuntos A y B; además el
complemento de A con respecto a U.

Completar los gráficos y sombrear

U U U U

AUB A∩B A−B AB

Ac

2. Sean A, B, C  U. Usa un diagrama de Venn para probar que

(A  B)c  C = (Ac  B c )  C. Finalmente, (A  B)c  C = (Ac  B c )  C.

Ejemplo 3. Usando el diagrama del ejemplo 2, muestra que A  (B  C) = (A  B)  (A  C).

3. Demostrar que (Ac ) c = A

4. En qué caso A-B = B-A?

Rubén Pando y Leonidas Torres

También podría gustarte