ESFM-IPN

PRIMER EJERCICIO DEL SEGUNDO EXAMEN DE ÁLGEBRA IV

( Octubre de 2021)

1. Sea (P; Sc ; +; ; 1) un sistema de Peano. Si

2 = Sc (1)
= 1 + 1;
probar que 8 y 2 P se cumple uno y solamente uno de los tres casos
siguientes:
i) y = 1
ii) 9! x 2 P tal que y = 2x
iii) 9! z 2 P tal que y = 2z + 1

Demostración:
(I) Probaremos primero que x es único en (b) y z es único en (c) :
1.1 Si y = 2x y tambien y = 2x0 ; entonces 2x0 = 2x; entonces (por ley
de cancelaciónde de la multiplicación) x0 = x
1.2 Si y = 2z+1 y también y = 2z 0 +1; entonces 2z 0 +1 = 2z+1; entonces
(por ley de cancelación de la suma) 2z 0 = 2z; por tanto (por ley de
cancelaciónde de la multiplicación) z 0 = z:
(II) Probaremos ahora que sólo puede cumplirse uno de (i) ; (ii) o (iii) a la
vez.
2.1 Supongamos que se cumplen (i) y (ii) a la vez, entonces y = 1 y
9x 2 P tal que y = 2x; entonces
1 = 2x
= (1 + 1) x
= x+x
Si x = 1; entonces
1 = 1+1
= Sc (1) ;
lo cual contradice que Sc (x) 6= 1; 8x 2 P
Si x 6= 1; entonces 9w 2 P tal que x = Sc (w) ; entonces
1 = x+x
= x + Sc (w)
= Sc (x + w) ;
lo cual contradice que Sc (y) 6= 1; 8y 2 P

1
 2.2 Supongamos que se cumplen (i) y (iii) a la vez, entonces y = 1 y
9z 2 P tal que y = 2z + 1; entonces

1 = 2z + 1
= Sc (2z) ;

lo cual contradice que Sc (x) 6= 1; 8x 2 P .

2.3 Supongamos que se cumplen (ii) y (iii) a la vez, entonces y = 2x y
9z 2 P tal que y = 2z + 1; entonces

2x = 2z + 1

Si z = x; entonces

2x = 2x + 1
= 1 + 2x;

lo cual contradice que y 6= z + y 8y; z 2 P:

Si z 6= x; entonces 9u 2 P tal que x = z + u o 9v 2 P tal que
z = x + v:
Si x = z + u; entonces

2 (z + u) = 2z + 1;

por tanto
2z + 2u = 2z + 1;
entonces (por ley de cancelación de la suma)

2u = 1;

lo que no es posible, por lo probado en (2:1)

Si z = x + v; entonces

2x = 2 (x + v) + 1;

por tanto

2x = 2x + (2v + 1)
= (2v + 1) + 2x;

lo cual contradice que y 6= z + y 8y; z 2 P:

(III) Finalmente probaremos que se cumple alguno de (i) ; (ii) o (iii) :

Sea

A = fy 2 P j y = 1 o 9 x 2 P tal que y = 2x o 9z 2 P tal que y = 2z+1g

Claro que A P

2
 (a) 1 2 A: Como 1 = 1; entonces 1 2 A
(b) y 2 A =) Sc (y) 2 A: Si y 2 A; entonces y = 1 o y = 2x o y = 2z + 1
Si y = 1; entonces

Sc (y) = Sc (1)
= 2
= 2 (1)
= 2x;

donde x = 1; entonces Sc (y) 2 A:

Si y = 2x; entonces

Sc (y) = Sc (2x)
= 2x + 1;

entonces Sc (y) 2 A:
Si y = 2z + 1; entonces

Sc (y) = Sc (2z + 1)
= 2z + 1 + 1
= 2z + 2
= 2 (z + 1)
= 2x;

donde x = 2z + 1; entonces Sc (y) 2 A:

por tanto A = P:
q.e.d.