Unidad 3

Universidad Abierta y a Distancia de México.

Licenciatura en Matemáticas

Demostraciones por medio de conjuntos

Nombre del alumno: Rubén Delgado Reyes

Matricula: AL10508930
Unidad 3. Operaciones con conjuntos

Actividad 3. Demostraciones por medio de conjuntos.

I. Realiza las siguientes demostraciones

1. Para cualesquiera dos conjuntos A y B, demuestra que

A ⊆ B ↔ A−B=∅

Se cumple si y solo si porque los dos factores son verdaderos y existe

relación entre ellos.

Desarrollo:

Cada elemento del conjunto A también es elemento de B lo que significa

que A es un subconjunto de B recordando que también el mismo conjunto
es subconjunto de sí mismo.

A ⊆B

B={1,2,3} A={1,2,3 }

Al hacer el proceso de diferencia utilizando lo mismo conjuntos se

comprueba la segunda parte
B={1,2,3} A={1,2,3 }
A−B=∅

2. Para cualesquiera dos conjuntos A y B, demuestra que

( A ∪ B)c = A c ∩ Bc

( A ∩ B)c =A c ∪ Bc

Desarrollo:

Son leyes de Morgan

1.( A ∪ B)c = A c ∩ Bc
x∈¿
↔ x ∈ A c ∩ Bc

2.( A ∩ B)c =A c ∪ Bc
x∈¿
↔ x ∈ A c ∪ Bc

UNADM | DCEIT | MAT | 00000 2

Unidad 3. Operaciones con conjuntos

3. Para cualesquiera tres conjuntos A, B y C, demuestra que

A ∪( B ∩C)=( A ∪ B) ∩( A ∪C)

A ∩( B ∪ C)=( A ∩ B)∪( A ∩C )

Son leyes distributivas

1. A ∪( B ∩C)=( A ∪ B) ∩( A ∪C)

⊆ ¿ Sea x ∈ A ∪( B ∩C). Se tienen dos casos. Primero, x ∈ A entonces

x ∈ A ∪B y además x ∈ A ∪ C. Luego x ∈ ( A ∪ B ) ∩ ( A ∪C ). Si x ∉ Aentonces
x ∈ B ∩C entonces x ∈ A ∪ B y x ∈ A ∪ C y por lo tanto x ∈( A ∪ B)∩(A ∪ C).

2. A ∩( B ∪C)=(A ∩ B)∪( A ∩C)

⊆ ¿ Sea x ∈ A ∩( B ∪C). Entonces x ∈ A y x ∈ B∪ C, es decir, x ∈ Ay además

x ∈ B o x ∈C. Ahora separamos en dos casos. Primero x ∈ A y x ∈ B , de
donce x ∈ A ∩B . El otro es x ∈ A y x ∈C, donde x ∈ A ∩C . No se dan más
casos por lo tanto x ∈( A ∩ B)∪ (A ∩C)

4. Para cualesquiera dos conjuntos A y B,

Si A ⊆B → p ( A)⊆ p( B)

donde p(A) es el conjunto potencia de A y p (B) es el conjunto potencia

de B

Los dos casos de si y entonces son verdaderos y existe relación entre

ellos. Se comprueba en el desarrollo de los dos factores. En los dos casos
se habla de que los elementos de un grupo son los mismos del otro grupo.

Desarrollo:

Cada elemento del conjunto A también es elemento de B lo que significa

que A es un subconjunto de B recordando que también el mismo conjunto
es subconjunto de sí mismo.

UNADM | DCEIT | MAT | 00000 3

Unidad 3. Operaciones con conjuntos

A ⊆B

B={1,2,3} A={1,2,3 }

Para la segunda parte se necesita sacar los conjuntos potencias de los

dos grupos pero como se utiliza los mismos elementos por grupo ⊆ los
valores serán los mismos para cada conjunto potencia.

B={1,2,3} A={1,2,3 }

p ( A )=[ {1 , 2 ,3 } {}{1 }{2}{3 }{1,2 }{1,3}{2,3 }]

p ( B )=[ { 1 , 2, 3 } {}{1}{2 }{3 }{1,2 }{1,3 }{2,3}]

La función es correcta cuando se observa el desarrollo los conjuntos potencia

contienen los mismos elementos: p( A) ⊆ p (B)

Al usar los mismos elementos se comprueba:

Si A ⊆B → p ( A)⊆ p( B)

5. Demuestra que

n(n+1)
a) la suma de los primeros n números naturales es igual a
2

S=1+ 2+ 3+...+ ( n−2 ) + ( n−1 ) +n

S=n+ ( n−1 )+ ( n−2 ) +...+3+2+1

2 S=( n+1 )+ ( n+1 )+ ( n+1 ) +...+ ( n+1 ) + ( n+1 ) + ( n+ 1 )

2 S=n (n+1)

n ( n+1 ) n
S= =∑ k
2 k=1

n
n ( n+1 )
∑ k= 2
k =1

b) √ 2 es un número irracional

UNADM | DCEIT | MAT | 00000 4

Unidad 3. Operaciones con conjuntos

Directamente se sabe que no existe fracción que represente el valor

de √ 2 por lo que se le considera irracional.

En desarrollo de la demostración se supone que raíz de 2 no es

irracional y acabara en algo contradictorio. Por lo que se considera
racional:

p
√ 2=
q

Podemos suponer que el máximo común divisor de p y q es 1, es

decir, que no tiene factores en comunes y por lo tanto son primos
relativos. Elevamos al cuadrado y operando queda:

p2
√ 2= 2 →2 q 2=q 2
q

Por tanto p2 debe ser múltiplo de dos lo que implica que p=2k.
Sustituimos el valor de p en la expresión y simplificamos un 2 de
esa igualdad:
2 2 2 2
2 q =( 2k ) → q =2k

Esa expresión asegura que q es múltiplo de 2 y por lo tanto también

lo es q. habiendo dicho que p y q no tienen factores en comunes y
hemos llegado a que los dos son múltiplos de 2, es decir tienen al 2
como factor común se da lo absurdo existiendo la contradicción que
buscábamos. Conclusión: √ 2 es un número irracional.

UNADM | DCEIT | MAT | 00000 5