Introduccin al pensamiento matemtico

Unidad 3. Teora de conjuntos

Evidencia de aprendizaje. Demostracin de un enunciado matemtico con
conjuntos
Instrucciones: Demuestra el siguiente enunciado matemtico.
Sean A, B y C conjuntos.
Demuestre que si:
A = {x

0 | x es un mltiplo de un nmero primo}; B = {-100, -99, - 98, , 0, 1, 2, ,

100} y; C = {-x | x A}
Entonces
a
b
c

A (B C) = Z
Z (A B) = C B
A (B C) = A B = A (A B)

Donde Z es el conjunto de los nmeros enteros.

Demostracin
A = {x

0 | x es un mltiplo de un nmero primo}

B = {-100, -99, - 98, , 0, 1, 2, , 100}

C = {-x | x A}
a) A (B C) = Z
Por propiedad conmutativa u asociativa tenemos que

A ( B C )= ( A C ) B

A C=TODOS LOS ENTEROS EXCEPTO{1,0,1}

Puesto que
C={-2.-3.-4,}

( A C ) B=Z
Ya que B contiene los elementos {-1,0,1} elementos que faltaban

Introduccin al pensamiento matemtico

Unidad 3. Teora de conjuntos

b) Z (A B) = C B

A B={100,99, , 0,1,2,3, }
Z ( A B ) ={ ,102,101 }
Z ( A B ) =CB

c) A (B C) = A B = A (A B)

B C={2,1,0,1, ,100 }
A ( B C )={101,102, }
AB={101,102, }

( A B )={2,3, , 100 }
A ( A B ) ={101,102}

A ( B C )=AB=A( A B)