Introduccin al pensamiento matemtico

Unidad 3. Teora de conjuntos

Actividad 2. Demostraciones por medio de conjuntos Instrucciones: Realiza la demostracin de los siguientes enunciados. 1. Si A, B y C son tres conjuntos, entonces: A (B C) = (A B) (A C) A (B C) = (A B) (A C)

A - (BC) = (A - B) (A - C) 1) Supongamos x A - (B C) entonces x A x (BC) -> x B y x C Entonces x A y x B -> x (A - B) x A y x C -> x (A - C) Como pertenece a los dos x (A - B) (A - C) 2) Supongamos x (A - B) (A - C) entonces x (A - B) y x (A - C) x A y x B y x A y x C Como x B y x C x (BC) x A y x (BC) x A - (BC) Como probamos la inclusin en los dos sentidos A - (B C) = (A - B) (A - C) L.Q.Q.E.D.

Introduccin al pensamiento matemtico

Unidad 3. Teora de conjuntos
A-(B C)=(A-B) U (A-C)

Por propiedad distributiva tenemos en el primer miembro que A-(B U C)= (A-B) (A-C) LO QUE NOS QUEDA QUE (A-B) U (A-C) = (A-B) U (A-C)

L.Q.Q.D.E.

2. Si A y B son conjuntos, entonces: (A B) (A B) = (A B) (A B) Ac = U (A (A-B) =

Por diferencia de conjuntos se tiene que (A (A (A-B) = (A-B) =

(A B) (A B) Ac = U Por propiedad asociativa se tiene ((A B) (A B)) Ac = U ((A B) (A B)) Ac = U (A B) Ac = U Por unin de conjuntos (A B) Ac = U (A BC) Ac = U Por ley de identidad

Introduccin al pensamiento matemtico

Unidad 3. Teora de conjuntos
Por unin

Por complemento de un conjunto U= U LQQDE 3. Sean A y B dos conjuntos y B1 y B2 son subconjuntos de B. Demostrar que si , entonces A x B = (A x B1) (A x B2) Tesis: B=B1 U B2 A X B= (A XB1) U (A X B2) Tenemos entonces que
y que Tenemos entonces por unin de conjuntos que

B1 U B2 =B Ahora hay que demostrar el producto catesiano mismo que no dice que ( Por unin de conjuntos tenemos que (A X B)= (A X B) DONDE
y que

B=B1 U B2