Edwar Alejandro Arvalo Nocua. Cdigo: 1520010902.

1. Demuestre que { 6 n :n Z }={ 2 n :n Z } { 3 n :n Z } .

Demostracin: Suponiendo que a {6 n : n Z } . Tenemos que a es de la

forma a=6 n , para algn n Z . Podemos observar que puede escribirse de

la forma a=2(3 n) y a=3(2 n) . Para a=2(3 n) , tenemos que a , es un

mltiplo de 2, entonces a {2 n : n Z } , y para a=3(2 n) , tenemos que a

es un mltiplo de 3, por tanto a {3 n : n Z } . Entonces, por definicin de

interseccin entre dos enteros, tenemos que a {2 n : n Z } {3 n :n Z } .

Por tanto { 6 n :n Z }={ 2 n :n Z } { 3 n :n Z } .

2. Si m ,n Z , entonces { x Z :mn|x } { x Z : m|x } { x Z :n|x } .

Demostracin: Suponiendo que a { x Z :mnx } . Tenemos que mna ,

entonces, por definicin de divide tenemos que a=mn(c) , ya que la

multiplicacin es conmutativa, podemos asegurar que a=m(nc) , por tanto

a=mk , sea k =n c , Z y podemos asegurar tambin que a=n(mc) ,

por tanto a=nh , sea h=mc , Z . Entonces para a=mk , podemos decir

que ma , y para a=nh , podemos decir que na . Por tanto, podemos

asegurar que a { x Z :m|x } { x Z :n| x } .

Por tanto { x Z :mn|x } { x Z : m|x } { x Z :n|x } .

3. Suponga que A ,B y C son conjuntos. Demuestre que si A B ,

entonces AC BC .

Demostracin: Sean A ,B y C conjuntos y A B , significa entonces

que para todo a A , entonces a B . Suponiendo que a AC .

Tenemos que, por definicin de diferencia que a A a C . Dado que
a A , podemos asegurar que a B . Por tanto a B a C , lo que

significa que a BC .

Por tanto AC BC .

4. Si A ,B y C son conjuntos, entonces A ( B C )=( A B ) ( A C ) .

Demostracin: Si utilizamos la Ley de distribucin de sobre ,

tenemos que P ( Q R ) ( P Q ) ( P R ) . Entonces:

A ( B C ) = <Por definicin de unin>

{ x : x A x B C }
<Por definicin de interseccin>
{ x : x A ( x B x C ) } <Utilizando la Ley de
distribucin>
{x : ( x A x B ) ( x A x C ) }
<Por definicin de unin>
{x : ( x A B ) ( x A C ) }
<Por definicin de interseccin>
( A B)( A C)

Por tanto A ( B C )=( A B ) ( A C ) .

5. Si A y B son conjuntos del en el conjunto universal U , entonces

A B A B .

Demostracin:
A B = <Por definicin de complemento>
U( A B)
<Por definicin de diferencia>
{x : ( x U ) ( x A B ) } <Por definicin de >
 {x : ( x U ) ( x A B ) }
<Por definicin de unin>
{x : ( x U ) ( ( x A ) ( x B ) )}
<Utilizando la Ley de Morgan>
{x : ( x U ) ( ( x A ) ( x B ) )}

<Por definicin de >

{x : ( x U ) ( ( x A ) ( x B ) )}

<Utilizando la Ley de distribucin de sobre >

{x : ( ( x U ) ( x A ) ) ( ( x U ) ( x B ) ) }
<Por definicin de diferencia>
( U A ) (UB)
<Por definicin de complemento>
A B

Por tanto A B A B .

6. Si A ,B y C son conjuntos, entonces A ( B C )=( AB)( AC ) .

Demostracin:

A ( B C ) = <Por definicin de diferencia>

{x : ( x A ) ( x B C ) }

<Por definicin de >

{x : ( x A ) ( x B C ) }
<Por definicin de interseccin>
{x : ( x A ) ( ( x B ) ( x C ))}
<Utilizando la Ley de Morgan>
{x : ( x A ) ( ( x B ) ( x C ) ) }

<Por definicin de >

{x : ( x A ) ( x B ) ( x C ) }

<Utilizando la Ley de distribucin de sobre >

{x : ( ( x A ) ( x B ) ) ( ( x A ) ( x C ) ) }
 <Por definicin de diferencia>
( AB)( AC)

Por tanto A ( B C )=( AB)( AC ) .

7. Si A ,B y C son conjuntos, entonces ( A B )C=( AC ) ( BC ) .

Demostracin:

( A B )C = <Por definicin de diferencia>

{x : ( x A B ) ( x C ) }
<Por definicin de unin>
{x : ( ( x A ) ( x B ) ) ( x C ) }
<Utilizando la Ley de Morgan>
{x : ( ( x A ) ( x C ) ) ( ( x B ) ( x C ) ) }
<Por definicin de diferencia>
( AC) (BC)

Por tanto ( A B )C=( AC ) ( BC ) .

8. Si A ,B y C son conjuntos, entonces A ( BC )=( A B)( A C) .

Demostracin:

A ( B C) = <Por definicin de Producto cartesiano>

{( x , y ) : x A y B C }
<Por definicin de interseccin>
{( x , y ) : x A ( ( y B ) ( y C ) ) }

<Utilizando la Ley de distribucin de sobre >

{( x , y ) : ( ( x A ) ( y B ) ) ( ( x A ) ( y C ) ) }
<Por definicin de Producto cartesiano>
{( x , y ) : ( ( x , y ) A B ) ( ( x , y ) A C ) }
<Por definicin de unin>
( A B)( A C)
Por tanto A ( BC )=( A B)( A C) .

9. Si A ,B y C son conjuntos, entonces A ( BC )=( A B ) ( A C ) .

Demostracin:

A ( BC ) = <Por definicin de Producto Cartesiano>

{ ( x , y ) : x A y ( BC ) }
<Por definicin de diferencia>
{( x , y ) : x A ( ( y B ) ( y C ) ) }
<Por definicin de >

{( x , y ) : x A ( ( y B ) ( y C ) ) }
<Distribucin>
{ ( x , y ) : x A y B x A ( y C ) }
<Por definicin de Producto Cartesiano>
{( x , y ) :( x , y) A B ( x , y ) A C }

<Por definicin de >

{( x , y ) :( x , y) A B ( x , y ) A C }
<Por definicin de diferencia>
( A B )( A C)

Por tanto A ( BC )=( A B ) ( A C ) .

10. Demuestre que {9n :n Q }={3n :n Q } .

Demostracin: Suponiendo que a {9n :n Q } , entonces a es de la forma

a=9n , para un n Q , por tanto, podemos asumir que n es de la forma

 a a
para a,bZ , entonces, tenemos que a=9 b , esto es igual a
b
2 a 2a
k
a=(3 1 ) b , que a su vez es igual a a=3 b , por tanto a=3 , siendo

2a
k= Q , entonces para a es un valor de 3 elevado a una potencia racional,
b

entonces a {3n : n Q } .

Por tanto {9n :n Q }={3n :n Q } .

11. Dejar que A y B sean conjuntos. Demuestre que A B , s

y slo s A B= A .

Demostracin: Por definicin de contiene ( ), tenemos que todo el conjunto

B , est contenido dentro del conjunto A , es decir, todos los miembros

que contiene B , estn en A . Entonces, por definicin de interseccin,

suponemos que existe un a que est en la interseccin, tenemos que

a A a B , esto quiere decir que el elemento a , esta en ambos

conjuntos, y como anteriormente afirmamos que todo el conjunto B est

dentro del conjunto A , podemos afirmar que A B= A .

Por tanto A B , s y slo s A B= A .

12. Demostrar que x R [3x 2 , 5+ x 2 ]= [ 3 , 5 ] .

Demostracin: Por definicin de interseccin general, asumiendo que existe un

a , tal que a R , entonces, a [3x 2 ,5+ x 2 ] , por definicin general de la
aritmtica conocemos que cualquier nmero elevado al cuadrado, siempre va a
dar como resultado un numero positivo, por tanto, podemos asegurar que
3x 2 a 5+ x 2 , entonces, tenemos que 3x 2 3 , y, 5+ x 2 5 , al hacer la
interseccin de los elementos en ambas partes de la desigualdad, podremos
notar que los valores siempre estarn en un intervalo entre 3 y 5, [ 3 ,5 ] .
 2 2
Por tanto x R [3x , 5+ x ]= [ 3 , 5 ] .

13. Demuestre que { 4 k +5 :k Z }={ 4 k +1 :k Z } .

Demostracin: Suponiendo que a { 4 k +5 : k Z } , podemos asumir, por tanto,

que a es de la forma a=4 k +5 , podemos observar que a es de la forma

impar, por tanto, podemos escribirlo tambin como a=4 k +4 +1 , entonces,

a=4 (k +1)+1 , a=4 h+1, h=(k +1) Z , podemos observar ahora que
a=4 h+1 tambin de la forma impar, y est dentro del conjunto
{ 4 k +1: k Z } , entonces a { 4 k +1 :k Z } .

Por tanto { 4 k +5 :k Z }={ 4 k +1 :k Z } .

14. Demuestre que { 12 a+25 b :a , b Z }=Z .

Demostracin: Suponiendo que x , y { 12 a+25 b :a , b Z } , podemos asumir

que, para cualquier valor, ya sea negativo o positivo, sin orden especifico, que
reciban x y y , x al operarlo con 12 y y al operarlo con 25 ,
darn ambos como resultado un numero entero, y a su vez al hacer la adicin
correspondiente de 12 x +25 y , tenemos por tanto otro numero entero,

entonces para todos los valores enteros que pueda recibir a y b , darn
como resultado, el conjunto de nmeros enteros.

Por tanto { 12 a+25 b :a , b Z }=Z .

15. Demuestre que ( Z N ) ( N Z ) =N N .

Demostracin:

(Z N ) ( N Z) = <Por definicin de interseccin>

{( x , y ) : ( x , y ) Z N ( x , y ) N Z }
<Por definicin de producto cartesiano>
 {( x , y ) : x Z y N x N y Z }
<Organizando>
{( x , y ) : x N x Z y N y Z }
<Por definicin de unin>
{( x , y ) : x N Z y N Z }

Sabemos que N Z=N , ya que puede representarse tambin como NZ

, entonces:

{( x , y ) : x N y N }
<Por definicin de producto cartesiano>
N N

Por tanto ( Z N ) ( N Z ) =N N .