Problema x5.

4
Kevin Steven Ardila Plata 2171564
Universidad Industrial de Santander
Escuela de Matemáticas
Bucaramanga

1. Problema x5.4.
1.1. Suponga que (N1 , 01 , S1 ) y (N2 , 02 , S2 ) son dos sistemas de Peano,
+1 , ·1 , +2 , ·2 son funciones de adición y multiplicación en cada sis-
tema, y π : N1 → N2 el isomorfismo canónico definido en la prueba
del teorema 5.4. Mostrar que π es un ismorfismo respecto a la adi-
ción y multiplicación, es decir, para todo n, m ∈ N1 ,
π(n +1 m) = π(n) +2 π(m), π(n ·1 m) = π(n) ·2 π(m).

En la prueba del Teorema 5.4 se define π una función sobreyectiva tal que

π : N1 → N2

π(01 ) = 02
π(S1 n) = S2 π(n).

1.2. Demostración
i) Primero veamos que π(n +1 m) = π(n) +2 π(m) para todo n, m ∈ N1 .

Basta probar que el conjunto X = {m ∈ N1 |π(n +1 m) = π(n) +2 π(m)} es igual a N1

Veamos que 01 ∈ X.

π(n +1 01 ) = π(n). Por definición de +1 .

π(n) = π(n) +2 02 . Por definición de +2 .

π(n) +2 02 = π(n) +2 π(01 ). Por π(01 ) = 02 .

Ahora supongamos que m ∈ X y veamos que S1 m ∈ X.

π(n +1 S1 m) = π(S1 (n +1 m)). Por definición de +1 .

π(S1 (n +1 m)) = S2 π(n +1 m). Por definición de π.

S2 π(n +1 m) = S2 (π(n) +2 π(m)). Por hipotesis inductiva.

S2 (π(n) +2 π(m)) = π(n) +2 S2 π(m). Por definición de +2 .

π(n) +2 S2 π(m) = π(n) +2 π(S1 m). Por definición de π.

1
Lo que implica que π(n +1 S1 m) = π(n) +2 π(S1 m), y por lo tanto S1 m ∈ X.
Como N1 es un sistema de Peano entonces X = N1 .
ii) Veamos que π(n ·1 m) = π(n) ·2 π(m) para todo n, m ∈ N1 .

Basta probar que el conjunto Y = {m ∈ N1 |π(n ·1 m) = π(n) ·2 π(m)} es igual a N1 .

Veamos que 01 ∈ Y.

π(n ·1 01 ) = π(01 ). Por definición de ·1 .

π(01 ) = 02 . Por definición de π.

02 = π(n) ·2 02 . Por definición de ·2 .

π(n) ·2 02 = π(n) ·2 π(01 ). Por definición de π.

Ahora supongamos que m ∈ Y y veamos que S1 m ∈ Y.

π(n ·1 S1 m) = π(n ·1 m +1 n). Por definición de ·1 .

π(n ·1 m +1 n) = π(n ·1 m) +2 π(n). Por i).

π(n ·1 m) +2 π(n) = π(n) ·2 π(m) +2 π(n). Por hipotesis inductiva.

π(n) ·2 π(m) +2 π(n) = π(n) ·2 S2 π(m). Por definición de ·2 .

π(n) ·2 S2 π(m) = π(n) ·2 π(S1 m). Por definición de π.

Lo que implica que π(n ·1 S1 m) = π(n) ·2 π(S1 m), y por lo tanto S1 m ∈ Y.

Como N1 es un sistema de Peano entonces Y = N1 .
Por i) y ii) se tiene que para todo n, m ∈ N1

π(n +1 m) = π(n) +2 π(m), π(n ·1 m) = π(n) ·2 π(m).

Referencias
Notes on Set Theory, Editorial Springer, 2th edition.