ALGEBRA IV

PROBLEMAS
LISTA 4

1. Determine cuando las siguientes estructuras  P, S ,1 son sistemas de Peano:

a) P es el conjunto de los enteros, “1” es el entero 0, y S : P  P está definida por
 1 si a  0

S a    a si a  0
  a  1 si a  0

1
b) P es el conjunto de los racionales de la forma , n    0 , “1” es el racional 1, y S : P  P está
2n
1
definida por: a  P : S  a   a .
2
c) P  1, 2,3, 4 , “1” es el entero 1, y S : P  P está definida por:
S 1  2, S  2   3, S  3  4, y S  4   1.
2. Probar el Principio de Inducción Completa: Sea A   y si n, m   :  n  m  n  A   a  A
entonces A  .
3. Considerar una estructura  P, S ,1 donde 1 P y S : P  P . Mostrar que  P, S ,1 es un sistema de
Peano sí y sólo si satisface el Teorema de Recursión. [Teorema de Recursión: Sea W un conjunto no vacío,
w  W y G : W  W , entonces existe una única función F : P  W tal que F (1)  w y
x  P : F  S  x    G  F  x   ].
4. a) Sea K un conjunto y T : K  K una función. Si F :   K es una biyección tal que
n   : F  S  n    T  F  n   …….(*)
Probar que K y T satisfacen los Axiomas de Peano.
b) Recíprocamente, si K es un conjunto y T : K  K una función que satisfacen los Axiomas de Peano,
entonces existe una biyección F :   K que satisface la condición (*).
5. Para cada K i , i  1, 2,3, 4, como se describen adelante, determine una función Ti : K i  K i tal que
K i y Ti satisfagan los Axiomas de Peano, en cada caso determine una biyección Fi :   Ki que cumpla la
condición (*):
a) Para h   fijo K1  a   | h  a
b) Para h   fijo K 2  a   | h  a


c) Para h  , h  0, fijo K 3  nh | n    

d) Para h, k  , h  0, fijo K 4  nh  k | n    . 
Para cada caso determine las correspondientes operaciones de suma y producto, en analogía con las de los
números naturales (recordar que en cada caso se tiene el Teorema de Recursión).

6. Mostrar que en los naturales el orden correspondiente a:

a) 2, 4, 6, …., 3, 5, 7, ...
b) 2, 3, 4, …., 1
Son relaciones de buen orden.
7. Dar un ejemplo de un orden en los naturales  para el cual cada subconjunto no vacío de  tenga último
elemento.
8. Probar que si A   es un conjunto no vacío acotado superiormente, entonces A tiene máximo.

9. Dados m, n, p   probar que m  np o m  np.

10. Demostrar:
a) n   : S  n   n. Ningún natural es igual a su sucesor.
b) n   : n  1 o ! m   : n  S  m  .
11. Probar para x, y  : a) x  S  y   x  y.
b) x  y  S  x   y.
12. Decimos que A   es un segmento si:
a) 1 A,
b) Si S  n   A entonces n  A.
Sea n   y M n   B   | B es segmento y n  B , definimos 1, n    B.
BM n

Probar lo siguiente:
a) 1, n  es un segmento y n  1, n ,
b) 1,1  1 ,
c) S  n   1, n ,
d) 1, S  n    1, n   S  n .
(Observe que lo anterior no depende de la definición del orden en  ).
Considerando el orden de , tenemos:
e) 1, n  m   | m  n  I n , segmento inicial.
5. Sea I n un segmento inicial, probar que no existe una función inyectiva sobre un subconjunto propio de I n .

6. Si n  m entonces no existe una función biyectiva entre I n e I m .

7. Sea S    el conjunto de los sucesores de los elementos de  . Entonces S    es un subconjunto propio

de  y existe una biyección de  sobre S    .

Definición: Para n   , el conjunto Tn  m | m  n es un segmento terminal de  .  

8. a) Si Tn es un segmento terminal de  , entonces existe una biyección de Tn sobre un subconjunto propio

de Tn .
b) A   es un segmento terminal sí y sólo si A es un conjunto inductivo.

Definición: Un conjunto X es finito si existe un segmento inicial I n y una biyección f : I n  X .

9. Si X es un conjunto finito entonces no existe una biyección de X sobre un subconjunto propio de X.

10. Probar lo siguiente:
a) Todo segmento inicial es finito.
b) Ningún segmento final es finito.
c) El conjunto de los números naturales no es finito.
d) Todo subconjunto de un conjunto finito es finito.

11. Mostrar lo siguiente:

a) Si A y B son conjuntos finitos entonces A  B y A  B .
b) Si K es una familia finita de conjuntos entonces Ay 
AK
 A son finitos.
AK
c) ¿Se puede generalizar b) a familias de conjuntos finitos K arbitrarias?

12. Probar que si  A,   es un conjunto totalmente ordenado, entonces todo subconjunto finito no vacío de A
tiene primer y último elemento.

13. Definimos 2  : S 1 . Decimos que n es par si m   : n  2m y que n es impar si n  1 o

m   : n  2m  1. Probar:
a) Si n  entonces n es par o n es impar, y sí n  2m o n  2m  1, m es único.
b) No existe n  tal que n sea impar y par.
2
c) n es par si y solo si n es par.
2
d) n es impar si y solo si n es impar.
e) Si n y m son pares entonces nm y n+m son pares.
f) Si n y m son impares entonces nm es impar y n+m es par.
g) Si n es par y m es impar entonces nm es par y n+m es impar.

14. Determine la definición por recursión de una función F con dominio  tal que en 1 valga 1 y para todo par
valga 2 y para todo impar valga 1.
n
15. Sean m, n, p  , decimos que   si n  mp . Probar:
m
n  n  1
a) Para todo n  :  ;
2
an 1
b) Si a  y a  1 entonces n   :  .
a 1
16. Mostrar que para a1 , a2 , , an   y 1  n se tiene a1  a2    an  1 .
2 2 2

17. Sean m, n, p  . Demostrar

a) m  n  np  mp; f) 1  n  1  n m ;
b) 1  p y m  n  p m  p n ; g) n  n m ;
c) 1  n  m  n m ; h) m  n  n p  m p ;
1  n y 1  m   n  n m ; 1  m   1  mn.
n
d) i)
e) Si m n  m p para 1  m , entonces n  p.
18. Sea g :    , y para todo x, y  : x  y  g  x   g  y  . Probar: n   : g  n   n.