LOS NUMEROS NATURALES

Guillermo Ort Rico z Departamento de Matemticas a Facultad de Ciencias Naturales y Exactas Universidad del Valle 20 de marzo de 2012

Introduccin o
Hacia las ultimas dcadas del siglo XIX el alemn L. Kronecker formula e a su famosa frase Dios creo los nmeros naturales y el hombre hizo el resto. u Armacin que se sustenta, seguramente, en su concepcin nitista de la o o matemticas, y como respuesta a la teor de conjuntos innitos de Cantor. a a Sin embargo, en general se acepta que los nmeros naturales constituyen el u concepto matemtico primario. a En ese sentido, se hace necesario que los matemticos en formacin y los a o profesores de matemticas comprendan y tomen conciencia del entramado a conceptual propio de la formalizacin de los nmeros naturales. o u Existen diferentes formas de acercarnos conceptualmente a los nmeros u naturales. Entre ellas se destacan la logicista y la constructivista. El punto de vista logicista fue reivindicado por Gottlob Frege, Richard Dedekind y Giuseppe Peano. El enfoque constructivista fue desarrollado por Hemann Weyl y Paul Lorensen. Tanto unos como otros han recibido cr ticas, especialmente por las lagunas loscas impl o citas en cada concepcin. Eso ha llevado a una especie de o escepticismo en la idea de una formalizacin sin ambigedades tericas, ni o u o loscas. o 1

Sin embargo, en la actualidad se acepta como conveniente partir del concepto intuitivo y realizar una formalizacin atendiendo a los axiomas bsicos o a de teor como ZF. Naturalmente que acompaamos esta ultima postura, as n y es la que entraremos a precisar. Pero antes, nos permitiremos una ultima observacin muy pertinente, es que los nmeros naturales gozan de cierta o u particularidad, pues en ellos los conceptos de ordinal (nombre con qu se e designa la idea de nmero generalizada) y cardinal (en el sentido de cantidad u de elementos de un conjunto) suelen confundirse.

1.

El sucesor

Denicin 1.1 Si x es un conjunto, se dene el sucesor de x, designado por o s(x), como s(x) = x {x}. Lema 1.2 Si x es un conjunto, entonces s(x) es conjunto. Demostracin o Ejercicio.

2.

La Denicin de Los Naturales N o

Intuitivamente tenemos que 0 representa la cantidad de elementos del conjunto , pero, de su denicin, el conjunto vac tiene 0 elementos. o o A pesar del aparente c rculo vicioso en denir conjunto vac como un o conjunto con cero elementos, y el cero como el conjunto vac es usual la o, presentacin formal siguiente. o Denicin 2.1 Denimos los nmeros naturales a travs de las siguientes o u e igualdades: 0= 1 = s(0) = {} 2 = s(1) = {, {}} 2

3 = s(2) = {,{}, {, {}}} . . . Observacin 2.1 Es importante resaltar que: o Cada una de las colecciones constituidas en la denicin anterior es un o conjunto. 0 es un nmero natural. u Si n es un nmero natural, su sucesor tambin lo es. u e Todo nmero natural o es 0 o es el sucesor de algn otro nmero nau u u tural. La sucesin de nmeros naturales se puede escribir como: o u 0= 1 = {0} 2 = {0, 1} 3 = {0, 1, 2} . . . Observacin 2.2 Del apartado anterior se tiene que s(n) = {0, 1, 2, . . . n}. o Es importante resaltar que esta denicin nos asegura la pertenencia de o cada nmero natural en nuestra teor de conjuntos, sin embargo si quereu a mos el conjunto de todos los nmeros naturales necesitaremos hacer uso del u axioma de innito.

3.

El Axioma de Innito Revisitado

En el apartado anterior hemos descrito una manera de ir constituyendo nmeros naturales. Sin embargo, observemos que es una construccin creu o ciente en la cual no podemos determinar algo as como un ultimo elemento. Es posible pensar en la coleccin de todos los nmeros incorporados de o u 3

acuerdo a la construccin anterior? Justamente ese es el problema del innio to. Es justo esta la razn que nos obliga a proveer la teor de un axioma que o a respalde la existencia de tales conjuntos. Este axioma fue objetado por muchos matemticos, especialmente por los intuicionistas, pues su aceptacin a o implicaba la adopcin del innito actual incorporado por Cantor hacia la o segunda mitad del siglo XIX y que revolucion la manera de ver y hacer o matemticas. a A n de dar una presentacin formalizada del axioma de innito que o nos permita una rpida incorporacin de los naturales, damos la versin, a o o que hoy podr amos denominar, t pica del axioma del innito. Para lo cual necesitaremos de la siguiente denicin tcnica. o e Denicin 3.1 Un conjunto I es inductivo siempre que: o 0 I, y si x I, entonces s(x) I De la denicin anterior se sigue que si I es inductivo, entonces tiene el o cero como elemento, as como tambin a todo nmero natural. e u [8] Axioma del Innito: Existe un conjunto inductivo. Cada nmero natural debe pertenecer, obligatoriamente, a todo conjunto u inductivo. As es entendible, por lo menos intuitivamente, que los nmeros u naturales estn contenidos en todo conjunto inductivo. Para obtener una a denicin formal, buscamos el ms pequeo con respecto al orden dado por o a n la inclusin, la respuesta est dada por la interseccin de todos los conjuntos o a o inductivos. Pero para que sta interseccin exista, debe haber por lo menos e o uno de los conjuntos inductivos, que es justo lo que nos garantiza el axioma de innito. Denicin 3.2 El conjunto de los nmero naturales, designado por N, es el o u conjunto: N = {I : I es inductivo} = {x : x I, para todo conjunto inductivo I}. De la denicin se sigue de inmediato el siguiente resultado. o Lema 3.3 N es el ms pequeo de los conjuntos inductivos; es decir N es a n inductivo y para cualquier otro conjunto I, se tiene que N I. 4

4.
4.1.

El principio de induccin matemtica o a

El teorema que sustenta la induccin o

El principio de Induccin es uno de los teoremas claves en la estruco turacin de los nmeros naturales por cuanto muchas de las propiedades lo o u tienen como sustento. Teorema 4.1 Sea (x) una frmula de variable x. Si se cumple que: o (i) (0) se verica, y (ii) para todo n N, (n) se verica implica que (n + 1) se verica. Entonces, (n) se verica para todo n N. Demostracin o Sea el conjunto A = {n N : (n) se verica}. Las propiedades (i) y (ii) indican que A es un conjunto inductivo. Por lo tanto N A

5.

Orden en los naturales

Ahora ordenaremos los nmeros por su tamao, recordemos que cada u n nmero natural es el conjunto de los naturales ms pequeos que l. Particuu a n e larmente tenemos la cadena 0 1 2 . . . Este hecho nos permite denir, de manera natural, una relacin de orden entre los elementos de N. o Denicin 5.1 Si n, m N diremos que m es menor que n, que escribimos o abreviadamente por m < n si y slo si m n. o De acuerdo a la anterior denicin se tiene que: o 0 < 1 < 2 < 3 < 4 < ... Adems usaremos las expresiones m a m = n, y m n para indicar n m. o Ejemplos 5 n, para signicar que m < n

2 3, puesto que 2 = {, {}} {, {}, {, {}}} = 3. Por razones similares: 2 < 4, 5 5, y 5 25. Basados en la denicin del orden de los nmeros naturales, se tiene el o u siguiente resultado. Teorema 5.2 Para todo n, m N, se tiene que: [1.] 0 n. [2.] Si s(n) = s(m), entonces n = m. [3.] Si m n, entonces m N. [4.] m < s(n) si y solo si m n. [5.] Si m < n, entonces s(m) n. Demostracin o [1.] Por induccin sobre n. o 00 Sabemos que s(n) = n {n}, y por la hiptesis inductiva 0 n, que o equivalentemente nos indica que 0 = n 0 n. Si 0 = n entonces o 0 n {n} = s(n), y para cuando 0 n, entonces 0 n {n} = s(n). [2.] s(n) = s(m) es equivalente a n {n} = m {m}. As n n {n} = m {m}. Por tanto n m n = m. Si suponemos que n = m, entonces o n m y anlogamente m n, con lo cual se tendr n m n, que a a constituye una contradiccin. o [3.] Tomando (x) como la propiedad para todo y, si y < x, entonces y N, aplicamos induccin sobre n : o 1. (0) se verica. 2. Supongamos que se verica (n), y sea y s(n), es decir, y n {n}, entonces y = n o y n. Si y n, por hiptesis de induccin y N. o o 6

Si y = n, entonces como n N, entonces y N. Por lo tanto, (x) se verica para todo n N. [4.] Tomando (x) como la propiedad para todo y, si y < x, entonces s(y) x, aplicamos induccin sobre m : o 1. (0) se verica. 2. Supongamos que se verica (m), o sea que para todo y, y < m, entonces s(y) m. Si y < s(m), entonces y = m o y m. Si y = m, entonces s(y) = s(m). Si y m, entonces por hiptesis de induccin s(y) m como o o n N, entonces y N. Por lo tanto, (x) se verica para todo n N. [5.] Por induccin sobre m o Teorema 5.3 es un orden total discreto sobre N. Demostracin o Veamos primero que es un orden, es decir, que cumple las propiedades reexiva, antisimtrica y transitiva. e 1. es reexiva, pues para todo n N, n n. 2. es antisimtrica, pues si n m y m n y n = m, se tendr que e a m n y n m, que es una contradiccin. o 3. es transitiva, pues si n m y m t entonces probemos por induccin o sobre t, tomando a (x) como la propiedad para todo y y z, si y z y z x, entonces y x. (0) se verica pues n m y m 0, se tiene que m = 0 y n 0. 7

Supongamos que (t) se verica. Si n m y m s(t), entonces m = s(t) o m < s(t). Si m = s(t) y como n m, entonces, n m o n = m. Por tanto se verica que n s(t) o n = s(t), s decir n s(t). Si m < s(t), entonces m t, y por hiptesis de o induccin n t, es decir n = t o n t, de lo cual n s(t), es o decir n s(t). Ahora veamos que para todos n, m N se tiene que m n n m. o Procedamos por induccin sobre n. o Para todo m N por item 1 del teorema anterior, 0 m. Supongamos que para todo m N se tiene que m n n m. o Nosotros debemos demostrar la propiedad anloga para s(n). a Si m n entonces como n < s(n), por transitividad n < s(n), y as n s(n). Para el caso n m, por el item 2 del teorema anterior s(n) m. Por ultimo veamos que es discreto, es decir, mostremos que n < s(n) y no existe un natural m tal que n < m < s(n). En primera instancia n s(n), por tanto n < s(n). Ahora si suponemos que existe un natural m tal que n < m < s(n), entonces por el item 3 del teorema anterior se recibe que m n < m, de donde se tendr m < m, que es una a contradiccin o

6.

Principio de induccin completa o

El principio de induccin completa es equivalente al principio de induco cin, solo que es mas sencilla su aplicacin en ciertos casos, y quizs mucho o o a ms conveniente. a Teorema 6.1 Sea (x) una frmula con variable x. Supongamos que para o todo n N , si (k) se verica para todo k < n, entonces (n). Entonces (x) se verica para todo x N. Denicin 6.2 Un orden de un conjunto X es un buen orden si cada o subconjunto no vaco Y de X tiene un primer elemento. Teorema 6.3 es un buen orden sobre N. 8

Demostracin o Ya demostramos que es un orden total. Supongamos que para algn X u N, X = y X no tiene un primer elemento. Apliquemos Induccin completa o sobre N X. Dado n, si para cada t < n, t N X, entonces n N X, pues si no, n es el primer elemento de X, luego N X = N, lo cual signica que X = , que es una contradiccin. Por lo tanto, todo subconjunto no vac de N tiene o o un primer elemento Teorema 6.4 Si X N, siendo X = y acotado superiormente1 , entonces X tiene un ultimo elemento (mximo). a Demostracin o Sea C = {c N : c es una cota superior de X}. Por ser X acotado tenemos que C = y sea m el primer elemento de C. Si m = 0, entonces para todo n X se cumple que n 0. Con lo cual se concluye que X = {0}, y trivialmente el mximo de X es 0. Si m = 0, entonces m = s(k), y para todo a n X se cumple que n s(k). As si m X, entonces para todo n X / se cumple que n < s(k), es decir, para todo n X se cumple que n k, con lo cual se tendr que k es una cuota superior para X, que contradice la a escogencia de s(k) como la m nima cuota superior para X

7.

Operaciones con n meros naturales u

Nos proponemos, en este apartado, denir por recursin las operaciones o de suma y producto. Para ello utilizaremos las propiedades que se siguen de las deniciones y de algunos aspectos de la prctica cotidiana. Por ejemplo, a la suma la denimos basados en el milenario mtodo de ir adicionando, a e uno de los sumandos, tantas unidades como tenga el otro; al nal volvemos a contar; como suman los nios utilizando los dedos: 4 + 2 = ((4+1) + 1) = n 5+1 = 6. En realidad, el mtodo consiste en ir formando una escalera cada vez ms e a compleja: en primer lugar, sabemos que para un nmero natural m, se tiene u que: s(m) = m + 1, por lo tanto: m + 2 = s(s(m)) = (m + 1) + 1, m + 3 = s(m + 2) = ((m + 1) + 1) + 1. Proceso que se puede sistematizar a travs de una denicin formal. e o
1

Es decir, existe c tal que para todo n X se cumple que n c.

7.1.

Suma de n meros naturales u

Denicin 7.1 Para todo nmero natural n denimos, de forma recursiva, o u la suma de la siguiente manera: (i) n + 0 = n (ii) n + s(m) = s(n + m), para todo m N. Teorema 7.2 Para todo n N, 0 + n = n. Demostracin o Apliquemos induccin sobre n, con (x) como x tal que 0 + x = x. o (0) se verica, pues por denicin 0 + 0 = 0. o Supongamos que (n) se verica, es decir se verica que 0 + n = n. Probemos que se verica (s(n)). Las siguientes dos igualdades verican esto ultimo: 0 + s(n) = s(0 + n), por denicin de suma o = s(n), por hiptesis de Induccin. o o Por lo tanto 0 + n = n, para todo n N

7.2.

Multiplicacin entre n meros naturales o u

Denicin 7.3 Para todo nmero natural n denimos, de forma recursiva, o u el producto de la siguiente manera: n0=0 n s(m) = n m + n, para todo m N. Teorema 7.4 Para todo n N, 0 n = 0. Demostracin o Apliquemos induccin sobre n, con (x) como x tal que 0 x = 0. o (0) se verica, pues por denicin 0 0 = 0. o 10

Supongamos que (n) se verica, es decir se verica que 0 n = 0. Probemos que se verica (s(n)). Las dos siguientes igualdades verican esto ultimo: 0 s(n) = 0 n + 0, por denicin de suma. o = 0 + 0, por hiptesis de Induccin. o o = 0, por denicin de suma. o Por lo tanto 0 n = n, para todo n N Teorema 7.5 Para todo n N, s(0) n = n. Demostracin o En primer lugar notemos que n s(0) = n, por denicin de producto. o Apliquemos induccin sobre n, con (x) como x tal que s(0) x = x. o (0) se verica por denicin. o Supongamos que (n) se verica, es decir se verica que s(0) n = n. Probemos que se verica (s(n)).Las dos siguientes igualdades verican esto ultimo: s(0) s(n) = s(0) n + s(0), por denicin de producto. o = n + s(0), por hiptesis de Induccin. o o = s(n + 0), por denicin de suma o = s(n), por denicin de suma. o Por lo tanto, para todo nmero natural n, se cumple que s(0) n = n u

8.

Propiedades de la suma y multiplicacin o

Teorema 8.1 Para todo n, m N, se tiene que: [1] n + m N. (propiedad clausurativa de la suma) [2] Si n = m, entonces n + p = m + p, para todo p N. (propiedad uniforme de la suma por la derecha) 11

[3] n m N. (propiedad clausurativa del producto) [4] Si n = m, entonces n p = m p, para todo p N. (propiedad uniforme del producto por la derecha) Demostracin o [1] Apliquemos induccin sobre n, con (x) como para todo y N se tiene o que tal que x + y N. Fijemos m N. (0) se verica pues 0 + m = m. Supongamos que (n) se verica, es decir se verica que n + m N. Probemos que se verica (s(n)). Las dos siguientes igualdades verican esto ultimo: n + s(m) = s(n + m), por denicin de suma o n + m N, Por hiptesis de Induccin. o o s(n + m) N, por tanto, n + s(m) N. Por denicin de suma. o [2] Apliquemos induccin sobre n, con (x) como para todo z, y N, si o z = y, entonces z + x = y + x. Fijemos m y n, tales que m = n. (0) se verica pues m + 0 = k + 0. Supongamos que (n) se verica, es decir se verica que m + n = k + n. Probemos que se verica (s(n)). Las dos siguientes igualdades verican esto ultimo: m + s(n) = s(m + n), por denicin de suma o = s(k + n), por hiptesis de Induccin. o o = k + s(n),por denicin de suma. o Por tanto, si m = k, entonces m + n = k + n para todo n N. [3] y [4] Ejercicio. Adems se pueden demostrar las siguientes propiedades de la suma y el a producto, las cuales constituyen ejercicios para el lector, donde las letras m, n, s representan nmeros naturales arbitrarios. u

1. (m + n) + s = m + (n + s) (propiedad asociativa de la suma) 2. m + n = n + m (propiedad conmutativa de la suma) 12

3. m n = n m (propiedad conmutativa de la multiplicacin) o 4. (m n) s = m (n s) (propiedad asociativa de la multiplicacin) o 5. m n = 0 si y slo si m = 0 o n = 0. o 6. m (n + s) = m n + m s (propiedad distributiva)

9.

Los axiomas de Peano

Como se dijo al comienzo de este cap tulo, hay varias maneras de desarrollar la aritmtica de los nmeros naturales. En lo que precede hemos e u presentado una manera que atiende directamente el sistema ZF. Sin embargo la aritmtica puede ser desarrollada de una forma equivalente utilizando el e sistema axiomtico incorporado por el matemtico italiano Giuseppe Peano a a en 1899. El punto de partida de Peano son dos s mbolos: 0 y s. El primero para designar el nmero cero y el segundo para designar la operacin sucesor. Los u o dos primeros axiomas permiten generar los nmeros como tales: u P1 0 es un nmero natural. u P2 Si n es un nmero natural, tambin lo es s(n). u e Estos dos principios no son sucientes puesto que no caracterizan el conjunto de naturales como tal. Se necesita otro axioma que indique que todo nmero natural se puede obtener a partir de 0 aplicando sucesivamente la u operacin sucesor. o P3 (Principio de induccin). Si X es un conjunto de nmeros naturales o u tal que: 1. 0 X 2. para todo nmero natural n, se tiene que n X implica s(n) X, u entonces X = N. 13

An es menester otros axiomas, pues si bien los tres anteriores garanu tizan la existencia de los naturales 0, 1, 2, . . ., no garantizan que ellos sean diferentes. Para ello se introducen los dos siguientes axiomas: P4 0 no es el sucesor de ningn nmero natural (para todo natural n, u u 0 = s(n)). P5 Nmeros naturales diferentes tienen distintos sucesores (si n = m, u entonces s(n) = s(m)). Basado en estos cinco axiomas, conocidos como los Axiomas de Peano se pueden demostrar todos los teoremas y propiedades acerca de nmeros u naturales que nosotros hemos presentado antes.

10.

Ejercicios

Demostrar que: 1. Para todo conjunto x, se cumple que x s(x) y que no existe un conjunto z tal que x z s(x). 2. Para todo nmero natural n, se cumple que n s(n) y que no existe u un nmero natural m tal que n m s(n). u 3. Si m < n entonces s(m) < s(n), y que s dene una funcin inyectiva o en el conjunto de los nmeros naturales. u 4. Para todo nmero natural n diferente de 0 existe un unico nmero u u natural k tal que n = s(k). 5. Todo nmero natural es el conjunto de los naturales ms pequeos que u a n l, es decir, e n = {m N : m < n}. 6. Para todos m, n N se tiene que m < n si y slo si m n. o 7. Si m, n, k N, entonces m < n si y slo si m + k < n + k. o 8. Si m, n N, entonces m < n si y slo si existe k N tal que n = m + k. o Adems que este k es unico. a 14

9. La relacin en N denida por n m = k s y slo si n = k + m no o o es una operacin en N. Sin embargo, se cumple que: o a) (n + m) m = n b) (n m) + m = n c) n = m si y slo si n k = m k o d ) n k = m k si y slo si n + k = m + k o 10. Si n N, la ecuacin n = ns(x) tiene solucin unica; y que la ecuacin o o o n = n x tiene como unica solucin a s(0). o 11. Si m, n, k N, y k < 0, entonces m < n si y slo si m k < n k. o 12. Las leyes de las potencias Si se dene para cada m N, com m = 0, las potencias m0 = 1 y ms(n) = mn m, entonces a) mn est denido para todo n N. a b) mn mk = mn+k c) mn k n = (m k)n 13. Los axiomas de Peano son validos en nuestra presentacin de los nmeros o u naturales.

15