ALGEBRA SUPERIOR II ALGUNAS PROPIEDADES DE LOS NUMEROS NATURALES

TITULAR: DR. CHRISTOF GEISS. AYUDANTE: FRANCISCO BARRIOS Abstract. Despus de haber demostrado que la existencia de un conjunto e innito y la existencia de un conjunto N que cumple ciertos axiomas son problemas equivalentes, abordamos el problema de la unicidad de los nmeros u naturales.

Muchos de los conceptos que se introducen en N se dan de manera recursiva. Por ejemplo, podr amos denir la adicin de nmeros naturales como sigue: o u m + 0 := m m + 1 := S(m) m + 2 := S(m + 1) y en general m+S(n) := S(m+n). La justicacin terica de que este procedimiento o o recursivo constituye una denicin est dada por el siguiente resultado: o a Teorema (Recursin de Dedekind). Si A es un conjunto que contiene por lo o menos un elemento a A y g : A A es una funcin de A en s mismo, entonces o existe una unica funcin : N A que satisface las dos propiedades siguientes: o (1) (0) = a. (2) S = g . La funcin se dice que est denida recursivamente a partir de (0) = a con o a frmula de recursin (n + 1) = g((n)). o o Demostracin: o Supongamos que dicha funcin existe y procedamos a demostrar primero su unio cidad : Para ello sean 1 , 2 dos funciones de N a A que satisfacen (1) y (2), demostraremos haciendo induccin sobre n que 1 (n) = 2 (n) para toda n. La o base inductiva nos la da (1) pues 1 (0) = a = 2 (0) y nuestra hiptesis de ino duccin estipula que para toda k > 0 se cumple que 1 (k) = 2 (k). Es por (2) que o vemos que se cumple el paso inductivo: 1 (k + 1) = 1 (S(k)) = g(1 (k)) = g(2 (k)) = 2 (S(k)) = 2 (k + 1) Para demostrar la existencia de dicha considrense todos los subconjuntos H e N A que cumplen las dos propiedades dadas a continuacin: o (1) La pareja ordenada (0, a) H, y (2) Para todas n, b; si se cumple que (n, b) H entonces (S(n), g(b)) H. Como todo el conjunto NA es uno de los mencionados subconjuntos H y todos los H contienen al elemento (0, a), entonces la interseccin de todos ellos llammosla o e D es no vac y es adems el subconjunto ms pequeo de N A que satisface (1) a a a n
Date: March 7, 2005.
1

TITULAR: DR. CHRISTOF GEISS. AYUDANTE: FRANCISCO BARRIOS

y (2) en el sentido de que para cualquier otro subconjunto G N A que satisfaga ambas propiedades se tiene que D G (por qu?). Armamos que el subconjunto e D es la grca de una funcin : N A y probaremos esta armacin utilizando a o o el PIC con la siguiente propiedad: (*) A cada n N corresponde una y sola una b A tal que (n, b) D. Para comenzar la induccin ntese que por (1): (0, a) D. Si existiese (0, c) D o o tal que c = a entonces uno podr quitar (0, c) de D y obtener as un conjunto a D {(0, c)} que todav satisface (1) y (2); pero esto contradira el que D es el a ms pequeo de los subconjuntos de N A con esta propiedad. a n Completamos la induccin argumentando como sigue: Supngase que para k N o o tal que k > 0 existe una unica b A tal que (k, b) D. Por (2) tenemos que (S(k), g(b)) D. Si tuvisemos (S(k), c) D con c = g(b), podr e amos remover a (S(k), c) de D y llegar a una contradiccin por el mismo razonamiento utilizado o en el prrafo anterior. De esta manera terminamos la induccin y establecemos la a o validez de (*) para todos los naturales. En consecuencia podemos escribir a D como la grca de una funcin : N A como sigue: a o D = { (n, (n)) | n N } La propiedad (1) signica que (0) = a y la (2) que (S(n), g((n))) D por lo que concluimos que S(n) = g (n) para toda n. Ejemplo. La n-sima potencia natural cn de un nmero real c se dene recursivae u mente mediante cn+1 = cn c comenzando con c0 = 1. Aqu hemos aplicado el Teorema de Recursin con A := R, a = 1 y g(b) := b c. o A continuacin demostraremos la unicidad de N. o Teorema (Unicidad de los n meros naturales). Sea N un conjunto con una u funcin sucesor S , un elemento distinguido 0 y que satisface los axiomas (1) a (3) o contenidos en la nota anterior; entonces N y N son cannicamente1 isomorfos; es o decir, existe slo una funcin biyectiva : N N que satisface (0) = 0 y que o o S = S. Demostracin: o Hgase A := N , a := 0 y g := S y apl a quese el Teorema de Recursin: Por o lo tanto existe una unica funcin : N N con (0) = 0 y S = S . o Intercambiando los papeles de N y de N obtenemos una unica funcin : N N o que satisface (0 ) = 0 y S = S . Para probar que = 1N (la funcin o identidad en N) obsrvese que tanto como 1N son funciones : N N que e satifacen (0) = 0 y que S = S . Por la unicidad de la que habla el Teorema de Recursin slo que ahora aplicado a A := N, a = 0 y g := S tenemos que o o y 1N deben ser iguales. Anlogamente se prueba que = 1N ; i.e. N y N son a isomorfos.

1Del lat. canonicus, regular, conforme a las reglas. Regla: 5. f. En las ciencias o artes,

precepto, principio o mxima. (Diccionario de la Real Academia Espaola 22 a edicin, 2001). a n o