Unidad3: Actividad 3

Demostraciones por medio de conjuntos

Introducción al pensamiento matemático

Lic. en Matemáticas
Matricula: ES162003482
Grupo: MT-MIPM-1602-B1-002

José Juan Meza Espinosa

3 de Agosto del 2016
Contenido
I. Realiza las siguientes demostraciones ........................................................................................ 2
a. Para cualesquiera dos conjuntos A y B, demuestra que ......................................................... 2
b. Para cualesquiera dos conjuntos A y B, demuestra que ......................................................... 3
c. Para cualesquiera tres conjuntos A, B y C, demuestra que .................................................... 4
d. Para cualesquiera dos conjuntos A y B, .................................................................................. 5
e. Demuestra que ........................................................................................................................ 6
i. la suma de los primeros n números naturales es igual a 𝒏(𝒏 + 𝟏)𝟐 ................................. 7
ii. 𝟐 es un número irracional ................................................................................................... 7
Bibliográfica:........................................................................................................................................ 8

1
 I. Realiza las siguientes demostraciones

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

𝐴⊆𝐵 ↔𝐴−𝐵 =∅

Respuesta:

Tenemos que: A  B  x  x  A  x  B y
AB x  x  A x  B

Una prueba alternativa el uso de algunas equivalencias lógicas

A  B  0  x x  x
 x x    x  A  B
 x  x    x  A  x  B
Ley de Morgan:  p  q  p  q
 x x     x  A  x  B
 x x     x  A   x  B
 x  x    x  A  x  B
:  P  Q  P  Q
 x x    x  A  x  B
: P  Q   P  Q
 x x    x  A  x  B
 xx    x  A  x  B
 xx  A  x  B
x  x  A  x  B  A  B

Dado que A  B    A  B, A  B    A  B es una tautología. Por lo tanto,

AB.

Otra manera:

A  B  xx  A  x  B
 xx  A  x  B
 xx  A  x  B
 xx  A  B
 A  B  .
2
Tenga en cuenta que si las pruebas deben realizarse en dos etapas:

A  B  Á\B   y Á\B    A  B

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

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

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

Respuesta:

a) A  B c  A c  Bc
A  B c  x  A  B Definición de complementario
 x  A  B Negación
 x  A  x  B Definición de Unión:
AB  x x A  x B
 x  A   x  B
Ley de Morgan para  :  P  Q  P  Q
 x  A x  B Negación
 x  A c  x  Bc  Definición de complementario
 x  A c  Bc 
Definición de intersección: A  B  x  x  A  x  B
Y al ser x un elemento arbitrario del conjunto universo U , se sigue que
xx  A  B c   x  A c  Bc
Luego: A  B c  A c  Bc

Otra forma:

A  B c = U  A  B  x|x  U  x  Α  Β
= x|x  U  ~x  Α  Β
= x|x  U  ~x  Α  x  Β
= x|x  U  ~x  Α  x  Β
= x|x  U  x  Α  x  Β
= x|x  U  x  Α  x  U  x  Β
= x|x  U  Α  x  U  Β
3
 = x|~x  A  ~x  B
= Αc  Βc
b) A  B c  A c  Bc

A  B c  x  A  B Definición de complementario
 x  A  B Negación
 x  A  x  B

Definición de intersección: A  B  x x A  x B
 x  A   x  B
Ley de Morgan para  :  P  Q  P  Q
 x  A x  B Negación
 x  A c  x  Bc  Definición de complementario
 x  A c  Bc
Definición de Unión: A  B  x x A  x B

y al ser x un elemento arbitrario del conjunto universo U , se sigue que

xx  A  B c   x  A c  Bc

Luego: A  B  A  B
c c c

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

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

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

Respuesta:

a) A  B  C  A  B  A  C
x  A  B  C  x  A  x  B  C
Definición de Unión: A  B  x x A  x B
 x  A  x  B  C
Definición de intersección: A  B  x  x  A  x  B
 x  A  x  B  x  A  x  C Distributiva
 x  A  B  x  A  C Definición de Unión:

4
AB  x x A  x B
 x  A  B  A  C
Definición de Intersección: : A  B  x  x  A  x  B
Al ser x cualquier elemento del conjunto universo U , se sigue que
xx  A  B  C  x  A  B  A  C

Consecuentemente: A  B  C  A  B  A  C

b) A  B  C  A  B  A  C

x  A  B  C  x  A  x  B  C
Definición de intersección: A  B  x x A  x B
 x  A x  B  x  C

Definición de Unión: A  B  x  x  A  x  B
 x  A  x  B  x  A  x  C Distributivita
 x  A  B  x  A  C
Definición de intersección: A  B  x x A  x B
 x  A  B  A  C
Definición de Unión: A  B  x x A  x B
Al ser x cualquier elemento del conjunto universo U , se sigue que
xx  A  B  C  x  A  B  A  C

Consecuentemente: A  B  C  A  B  A  C

d. 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

Respuesta:

5
Sean A , B y C sea conjuntos. Si A  B y B  C , entonces A  C
Sea x  A
Dado que A  Β , x  B
Puesto que B  C , x  C
Esto, para todo x , x  A  x  C
Por lo tanto, A  C esta es: "transitividad de la inclusión subconjunto"

Sean A y B conjuntos. Entonces A  B si y sólo si PA  PB :

A  B  pA  pB
(  Suficiente)
Sea C  PA , entonces C  A
Dado que A  Β tenemos por "transitividad de la inclusión subconjunto" que
CB
Por lo tanto, C  B
Desde que era arbitraria, PA  PB
(  necesidad)
Sea x  A . Entonces x  A
Puesto que PA  PB , x  PB , un x  B
Por lo tanto x  B , y desde que era arbitraria, A  B
Nota: Ambas partes de esta prueba ilustran el método de "elemento
persiguiendo" que se utiliza frecuentemente en pruebas que implican conjuntos.

Una prueba alternativa en la necesidad de este teorema puede ser dado que no
implica elemento persecución:
(  Necesidad)
Dado que A  PA y PA  PB , que tienen que A  PB .
Por lo tanto, A  B
Compárese esto con la prueba anterior:
(⇐ Necesidad)
Sea x  A . Entonces x  A .
Puesto que PA  PB , x  PB , por lo que x  B .
Por lo tanto x  B , y puesto que x es arbitraria, A  B .

e. Demuestra que

6
 𝒏(𝒏+𝟏)
i. la suma de los primeros n números naturales es igual a
𝟐

Respuesta:

Si uno sumaba al derecho y al revés, tena una forma de sumar de dos

maneras distintas:

S  1  2  3 . . . n  1  n
S  n  n  1 . . . 3  2  1
_________________________
2S  1  n . . . . . . . . n  1  n  n  1

Este procedimiento es claramente generalizable a cualquier número natural n , y

se obtiene

nn1
n  N : 1  2 . . . n  1  n  2

Notar que este número siempre es un numero natural (como debe ser) ya que
nn  1 siempre es un numero par!

A  x  x  y  1  0  y  n  1  y, x  N
B  x  x  y  1  n  1  y  0  y, x  N
nA  n
nAB
S 2
nA  B  1

ii. √𝟐 es un número irracional

Respuesta:

Si 2 2 fuese racional, entonces podrá expresarse como un cociente de dos

enteros a y b primos entre sí (fracción irreducible), es decir,

2
2  a
b
: m. c. da, b  1

7
 p
Tendria que pertenecer a Q  x  x  q donde p  Z, q  Z, m. c. dp, q  1
 . 1/2, 1/30/4, 2/5 
 p, q : p, q  Z q  0
Pues bien, elevando al cuadrado ambos miembros de esta igualdad, resulta:

a2
2
2  a
2  a 2  2b 2  2  aa
b b2

Luego por el corolario "Si un numero primo divide al producto de varios números
enteros, entonces ha de dividir, al menos, a uno de ellos"

2|a
Entonces,

a  2q  a 2  4q 2  2b 2  4q 2  b 2  2q 2  2|b

y, nuevamente por el corolario anterior, se sigue que

2|b

As pues, 2 es un divisor común de a y b , lo cual es una contradicción ya que

estos dos números son Primos entre sí, luego la suposición hecha es falsa y 2 2
es irracional

p
I x x  q donde p  Z, q  Z
 pi  3, 1416. 2 2 , 2 3I . .
p
 x x  q donde p, q  Z  q  0

Bibliográfica:

Arana, C. O. (08 de 09 de 2016). Cuantificadores. (J. J. Espinosa, Entrevistador)

8
Marquez, C. G. (08 de 09 de 2016). Conjuntos y Operaciones de Conjuntos. (J. J. Espinosa,
Entrevistador)

Pulido, G. O. (1 de septiempre de 2016). Operaciones con Conjuntos y Demostraciones. (J. J.

Espinosa, Entrevistador)

Gutierrez, F. J. (Octubre de 2004). Apuntes de Matematica Discreta: Conjuntos y Subconjuntos.

Cadiz: Universidad de Cadiz, Escuela Superior de Ingenieria, Departamento de
Matematicas.

Gutierrez, F. J. (Octubre de 2004). Apuntes de Matematica Discreta: Operaciones con Conjuntos.

Cadiz: Universidad de Cadiz, Escuela Superior de Ingenieria, Departamento de
Matematicas.

CONJUNTOS NUMÉRICOS. (s.f.). Recuperado el 08 de 09 de 2016, de CONJUNTOS NUMÉRICOS

Gutierrez, F. J. (Octubre de 2004). Teorema Fundamental de la Aritmetica. En F. J. Gutierrez,

Apuntes de Matematica Discreta (págs. 315-342). Cadiz: Universidad de Cadiz.

Numeros Naturales e Induccion. (s.f.). Recuperado el 08 de 09 de 2016, de

http://mate.dm.uba.ar/~krick/TeoricaAlgebra2014-Cap2