Pensamiento matemático

Actividades: Unidad 3

Introducción al pensamiento matemático

Unidad 3: Teoría de Conjuntos

Actividad 3. Demostraciones por medio de conjuntos.

Juan Pablo Elihu Meza

Matricula: 172013826

Ángel Raya Vargas

Marzo, 2018
Título
Subtítulo

Actividad 3. Demostraciones por medio de conjuntos.

I. Realiza las siguientes demostraciones

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

𝐴 ⊆𝐵 ↔𝐴−𝐵 =∅

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.

𝐴⊆𝐵

𝐵 = {1,2,3} 𝐴 = {1,2,3}

Al hacer el proceso de diferencia utilizando lo mismo conjuntos se comprueba la segunda parte

𝐵 = {1,2,3} 𝐴 = {1,2,3}
𝐴−𝐵 =∅

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

(𝐴 ∪ 𝐵)𝑐 = 𝐴𝑐 ∩ 𝐵 𝑐

(𝐴 ∩ 𝐵)𝑐 = 𝐴𝑐 ∪ 𝐵 𝑐

Desarrollo:

Son leyes de Morgan

1. (𝐴 ∪ 𝐵)𝑐 = 𝐴𝑐 ∩ 𝐵 𝑐
𝑥 ∈ (A ∪ B)𝑐 ↔ 𝑥 ∉ A ∪ B ↔ 𝑥 ∉ 𝐴 𝑦 𝑥 ∉ 𝐵 ↔ 𝑥 ∈ 𝐴𝑐 𝑦 𝑥 ∈ 𝐵 𝑐
↔ 𝑥 ∈ 𝐴𝑐 ∩ 𝐵 𝑐

2. (𝐴 ∩ 𝐵)𝑐 = 𝐴𝑐 ∪ 𝐵 𝑐
𝑥 ∈ (A ∩ B)𝑐 ↔ 𝑥 ∉ A ∩ B ↔ 𝑥 ∉ 𝐴 𝑜 𝑥 ∉ 𝐵 ↔ 𝑥 ∈ 𝐴𝑐 𝑜 𝑥 ∈ 𝐵 𝑐
↔ 𝑥 ∈ 𝐴𝑐 ∪ 𝐵 𝑐

UNADM | DCEIT | MAT | 00000 2

Título
Subtítulo

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

𝐴 ∪ (𝐵 ∩ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)

𝐴 ∩ (𝐵 ∪ 𝐶) = (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)

Son leyes distributivas

1. 𝐴 ∪ (𝐵 ∩ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)

⊆] 𝑆𝑒𝑎 𝑥 ∈ 𝐴 ∪ (𝐵 ∩ 𝐶). Se tienen dos casos. Primero, 𝑥 ∈ 𝐴 entonces 𝑥 ∈ 𝐴 ∪ 𝐵 y

además 𝑥 ∈ 𝐴 ∪ 𝐶. Luego 𝑥 ∈ (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶). Si 𝑥 ∉ 𝐴 entonces 𝑥 ∈ 𝐵 ∩ 𝐶
entonces 𝑥 ∈ 𝐴 ∪ 𝐵 𝑦 𝑥 ∈ 𝐴 ∪ 𝐶 y por lo tanto 𝑥 ∈ (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶).

2. 𝐴 ∩ (𝐵 ∪ 𝐶) = (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)

⊆] 𝑆𝑒𝑎 𝑥 ∈ 𝐴 ∩ (𝐵 ∪ 𝐶). Entonces 𝑥 ∈ 𝐴 𝑦 𝑥 ∈ 𝐵 ∪ 𝐶, es decir, 𝑥 ∈ 𝐴 y además 𝑥 ∈

𝐵 𝑜 𝑥 ∈ 𝐶. Ahora separamos en dos casos. Primero 𝑥 ∈ 𝐴 𝑦 𝑥 ∈ 𝐵, de donce 𝑥 ∈ 𝐴 ∩ 𝐵.
El otro es 𝑥 ∈ 𝐴 𝑦 𝑥 ∈ 𝐶, donde 𝑥 ∈ 𝐴 ∩ 𝐶. No se dan más casos por lo tanto 𝑥 ∈ (𝐴 ∩
𝐵) ∪ (𝐴 ∩ 𝐶)

4. Para cualesquiera dos conjuntos A y 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.

𝐴⊆𝐵

𝐵 = {1,2,3} 𝐴 = {1,2,3}

UNADM | DCEIT | MAT | 00000 3

Título
Subtítulo

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.

𝐵 = {1,2,3} 𝐴 = {1,2,3}

𝑝(𝐴) = [{1, 2, 3}{}{1}{2}{3}{1,2}{1,3}{2,3}]

𝑝(𝐵) = [{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: 𝑝(𝐴) ⊆ 𝑝(𝐵)

Al usar los mismos elementos se comprueba:

𝑆𝑖 𝐴 ⊆ 𝐵 → 𝑝(𝐴) ⊆ 𝑝(𝐵)

5. Demuestra que
𝑛(𝑛+1)
a) la suma de los primeros n números naturales es igual a 2

𝑆= 1+ 2 + 3 +. . . +(𝑛 − 2) + (𝑛 − 1) + 𝑛

𝑆= 𝑛+ (𝑛 − 1) + (𝑛 − 2) +. . . + 3 + 2 + 1

2𝑆 = (𝑛 + 1) + (𝑛 + 1) + (𝑛 + 1)+. . . +(𝑛 + 1) + (𝑛 + 1) + (𝑛 + 1)

2𝑆 = 𝑛(𝑛 + 1)
𝑛
𝑛(𝑛 + 1)
𝑆= = ∑𝑘
2
𝑘=1

𝑛
𝑛(𝑛 + 1)
∑𝑘 =
2
𝑘=1

b) √2 es un número irracional

Directamente se sabe que no existe fracción que represente el valor de √2 por lo que se
le considera irracional.

UNADM | DCEIT | MAT | 00000 4

Título
Subtítulo

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:
𝑝
√2 =
𝑞

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:

𝑝2
√2 = → 2𝑞 2 = 𝑞 2
𝑞2

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 = 2𝑘 2

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