PD2 Fundamentos Grupo 3

Práctica dirigida 2
Fundamentos de la Matemática
Práctica Dirigida 2
Docente : Aparcana Orellana Aldryn Oscar
Gómez Buiza, Geeral Andreé

Lazo Macedo, Oscar
Martinez Arevalo, Carlos David
Mejia Canchero, Michael Ray
Mendieta Olivos, Marc Anthony
Quispe Ramı́rez, José Antonio
Universidad Nacional Mayor de San Marcos
2021
UNMSM Fundamentos de la Matemática

Ejercicio 4
Enunciado
Existe una única función e : N × N → N tal que :
1 e(x, 1) = x , para todo x ∈ N
2 e(x, S(y)) = x· e(x, y) , para todo x ∈ N

Ejercicio 4
Demostración.
Sea x ∈ N fijo pero arbitrario, sea A = N, tome a = x ∈ A y considere
G : A → A tal que G(m) = x· m.
Entonces por el Teorema de la recursión existe una única aplicación
ex : N → A tal que satisface :
1 ex (1) = x
2 ex (S(n)) = x· ex (n) ∀ n ∈ N
N =O A
G /A=N
O
ex ex
N
S /N

Ejercicio 4
Demostración.
El conjunto e = {((x, y), ex (y)) / (x, y) ∈ N × N} es una aplicación de
N × N en N.
En efecto :
e(x, 1) = ex (1) = x ∀ x ∈ N
e(x, S(y)) = ex (S(y)) = x· ex (y) = x· e(x, y) ∀ x, y ∈ N
Y se verifican (1) y (2)
Con lo cual hemos probado la existencia.

Ejercicio 4
Demostración.
Ahora probaremos la unicidad.
Supongamos que ee : N × N → N es una aplicación tal que :
1 ee (x, 1) = x , para todo x ∈ N
2 ee (x, S(y)) = x· ee (x, y) , para todo x ∈ N
Sea x ∈ N y hagamos Mx = {y ∈ N / ee (x, y) = e(x, y)}.
Probaremos que Mx = N utilizando el principio de inducción
Note que
ee (x, 1) = x = e(x, 1)
luego 1 ∈ Mx .

Ejercicio 4
Demostración.
Hipótesis inductiva : y ∈ Mx pp S(y) ∈ Mx
ee (x, S(y)) = x· ee (x, y) = x· e(x, y) = e(x, S(y))
Luego S(y) ∈ Mx .
Y ası́ tenemos que Mx = N es decir ee (x, y) = e(x, y) ∀ y ∈ N en donde
x ∈ N es arbitrario, entonces
ee (x, y) = e(x, y) ∀ x, y ∈ N
Lo que significa que ee = e. Y se prueba la unicidad.

Ejercicio 5
Enunciado
Probar que para cada x, z ∈ N si 1 < x entonces z < xz

Ejercicio 5
Demostración.
Sea x ∈ N tal que 1 < x y sea Mx = {z ∈ N / z < xz }
Probaremos que Mx = N usando el principio de inducción matemática.
Note que 1 < x = x1 → 1 < x1 . Luego 1 ∈ Mx
Hipótesis inductiva : z ∈ Mx pp S(z) ∈ Mx
como z ∈ Mx entonces z < xz lo que implica que
S(z) = z + 1 < xz + 1 (1)
Por otro lado como 1 < x entonces xz + 1 < xz + x, luego de (1) :
S(z) < xz + x (2)

Ejercicio 5
Demostración.
Además sabemos que x ≤ xn ∀ n ∈ N, en particular x ≤ xz .
Y como 1 < x entonces S(1) ≤ x = S(x − 1) → 1 ≤ x − 1, luego
x ≤ xz (x − 1) → x ≤ xz+1 − xz → xz + x ≤ xz+1
Ası́ en (2) se tiene que S(z) < xz+1 = xS(z) entonces S(z) ∈ Mx
Finalmente Mx = N
Es decir se cumple que z < xz ∀ z ∈ N donde x ∈ N con 1 < x

Ejercicio 14
Enunciado
Probar sin usar el método indirecto que si A es infinito y B ⊂ A es
finito, entonces A\B es infinito.

Ejercicio 14
Demostración.
Primero probaremos que un conjunto A es conjunto infinito, si y solo
si existe una función f : N → A inyectiva. En efecto.
(⇒) Como A es infinito, entonces A ̸= ∅ ⇒ existe x1 ∈ A.
Además A\{x1 } =
̸ ∅, pues si A\{x1 } = ∅ ⇒ A = {x1 } (⇒⇐)
Entonces existe x2 ∈ A\{x1 }, se observa que x2 ̸= x1 .
Además A\{x1 , x2 } =
̸ ∅, pues si A\{x1 , x2 } = ∅ ⇒ A = {x1 , x2 } (⇒⇐)
Entonces existe x3 ∈ A\{x1 , x2 }.
Procediendo inductivamente, supongamos que existe
xn ∈ A\{x1 , x2 , . . . , xn−1 }
con {x1 , x2 , . . . , xn } ⊂ A.

Ejercicio 14
Demostración.
Entonces A\{x1 , x2 . . . , xn } =
̸ ∅, pues si
A\{x1 , x2 . . . , xn } = ∅ ⇒ A = {x1 , x2 . . . , xn } (⇒⇐)
Entonces existe xn+1 ∈ A\{x1 , x2 . . . , xn }.

Definimos la función
f :N→A
n 7→ f (n) = xn
Afirmamos que f es inyectiva: Sea m, n ∈ N con n ̸= m, sin pérdida de

generalidad, supongamos n < m ⇒ n ≤ m − 1.

Ejercicio 14
Demostración.
Luego
f (n) ∈ {f (1), f (2), . . . , f (m−1)} ⇒ f (n) ∈

/ A\{f (1), f (2), . . . , f (m−1)}
Además
f (m) ∈ A\{f (1), f (2), . . . , f (m − 1)}
Entonces f (n) ̸= f (m).

(⇐) Hip: Existe f : N → A inyectiva, luego f : N → f (N) es biyectiva,
entonces card(N) = card(f (N)) ⇒ f (N) es infinito y como f (N) ⊂ A,
entonces A es infinito.

Ejercicio 14
Demostración.
Volviendo al ejercicio, como A es infinito, por lo probado, existe una
función f : N → A inyectiva.
Si f (N) ∩ B = ∅, definimos
g : N → A\B
n 7→ g(n) = f (n)
el cual es inyectiva. Por lo tanto A\B es infinito.

Si f (N) ∩ B ̸= ∅, sea B ′ = f (N) ∩ B y como B es finito, entonces
B ′ también lo es, sea B ′ = {b1 , b2 , . . . , bm }

Ejercicio 14
Demostración.
Además B ′ ⊂ f (N), entonces
b1 = f (n1 ), b2 = f (n2 ), ... , bm = f (nm )
Definimos
g : N\f −1 (B ′ ) → A\B
n 7→ g(n) = f (n)
g es inyectiva por su propia definición.

Ejercicio 14
Demostración.
Sea k = máx{n1 , n2 , . . . , nm }. Definimos
h : N → N\f −1 (B ′ )
n 7→ k + n
Claramente h es inyectiva.
h g
N −−→ N\f −1 (B ′ ) −−→ A\B
Luego g ◦ h : N → A\B es inyectiva. Por lo tanto A\B es infinito.

PD2 Fundamentos Grupo 3

Cargado por

Copyright:

Formatos disponibles

PD2 Fundamentos Grupo 3

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

PD2 Fundamentos Grupo 3

Cargado por

Copyright:

Formatos disponibles

Práctica dirigida 2

Gómez Buiza, Geeral Andreé

Universidad Nacional Mayor de San Marcos

UNMSM Fundamentos de la Matemática

UNMSM Fundamentos de la Matemática

UNMSM Fundamentos de la Matemática

UNMSM Fundamentos de la Matemática

UNMSM Fundamentos de la Matemática

ee (x, S(y)) = x· ee (x, y) = x· e(x, y) = e(x, S(y))

Lo que significa que ee = e. Y se prueba la unicidad.

UNMSM Fundamentos de la Matemática

UNMSM Fundamentos de la Matemática

S(z) = z + 1 < xz + 1 (1)

Por otro lado como 1 < x entonces xz + 1 < xz + x, luego de (1) :

S(z) < xz + x (2)

UNMSM Fundamentos de la Matemática

UNMSM Fundamentos de la Matemática

UNMSM Fundamentos de la Matemática

UNMSM Fundamentos de la Matemática

A\{x1 , x2 . . . , xn } = ∅ ⇒ A = {x1 , x2 . . . , xn } (⇒⇐)

Entonces existe xn+1 ∈ A\{x1 , x2 . . . , xn }.

Afirmamos que f es inyectiva: Sea m, n ∈ N con n ̸= m, sin pérdida de

UNMSM Fundamentos de la Matemática

f (n) ∈ {f (1), f (2), . . . , f (m−1)} ⇒ f (n) ∈

Entonces f (n) ̸= f (m).

UNMSM Fundamentos de la Matemática

el cual es inyectiva. Por lo tanto A\B es infinito.

UNMSM Fundamentos de la Matemática

b1 = f (n1 ), b2 = f (n2 ), ... , bm = f (nm )

g es inyectiva por su propia definición.

UNMSM Fundamentos de la Matemática

Luego g ◦ h : N → A\B es inyectiva. Por lo tanto A\B es infinito.

UNMSM Fundamentos de la Matemática

También podría gustarte