Los nmeros naturales

Definicin de los nmeros naturales Es un tanto dificil definir al conjunto de los nmeros naturales. La definicin ms aceptada y "amigable" es la que se d a travs de los Axiomas de Peano, quien basandos en una lgica de segundo orden logr axiomatizar a este conjunto. Ac hay que hacer un pequeo alto antes de explicar. Hay dos formas de presentar los axiomas de Peano, una es a partir del 0 y la otra a partir del 1. En este caso, voy a tomar la definicin a partir del 1 dado que es la mas usada. Axiomas de Peano 1- El 1 es un nmero natural. 2- Si 'n' es un nmero natural, entonces su sucesor 'n+1' tambin es un nmero natural. 3- El 1 no es el sucesor de ningn nmero natural. 4- Si 'n' y 'm' son dos nmeros naturales, de forma tal que 'n+1=m+1', entonces n=m 5- Si 'S' es un conjunto de nmeros, que contiene al 1 y al sucesor de cada nmero perteneciente a S, entonces S contiene a todos los nmeros naturales. Bien, ahora hay que explicar. Partimos de la base de que el 1 es un nmero natural, y a partir de aca empezamos a construir nuestro conjunto. En el segundo axioma se definen a los dems elementos del conjunto: dado cualquier nmero, ya sea 1, 2, 3, 4 o 1.000.000, la suma entre ese nmero y uno pertenece al conjunto de los nmeros naturales. Intuitivamente esto implica dos cosas: la primera es que el conjunto de los nmeros naturales es infinito, es decir que cualquier nmero, en principio, tiene sucesor o que cualquiera sea el nmero que yo tenga, siempre voy a poder encontrar uno ms grande al sumarle el 1; la segunda es que todos los nmeros pertenecientes a los naturales son enteros (vulgarmente, no tienen coma). El tercer axioma es el que termina de definir a los elementos del conjunto. El hecho de que el nmero 1 no sea sucesor de ningn otro quiere decir que no existe ningn nmero que al sumarle 1 nos d 1. De esta manera el 1 es el primer elemento del conjunto de los nmeros naturales y quedan excluidos de l el 0 y los nmeros negativos. El cuarto axioma es, ami parecer, el ms entendible de todos. Si tenemos 2 nmeros naturales cualquiera, y sus sucesores son iguales, entonces esos dos nmeros tambin tienen que ser iguales. Esto implica que para cada nmero natural, existe un slo sucesor. El quinto axioma es el que en matemtica se conoce como "Principio de induccin" y es quizs el ms dificil de entender. Pero vemoslo as: S es un conjunto de nmeros naturales, que comprende al 1 al sucesor de cada nmero perteneciente a l mismo. La forma de S seria as: S={1, 1+1, (1+1)+1, (1+1+1)+1, ......}

Donde 1 es el primer elemento del conjunto. El sucesor de 1 es 1+1=2, el segundo elemento. El sucesor de 2 es (1+1)+1=2+1=3, el tercer elemento. Y as podemos seguir ad infinitum, dado que cualquiera sea el nmero que elijamos su sucesor pertenece al conjunto S. Recordando el axioma 2, si el sucesor de un nmero natural es otro nmero natural, el primer elemento de S es el 1, y S contiene al sucesor de cada uno de sus elementos, entonces S debe contener a todos los nmeros naturales. De esta forma ya tenemos construido el conjunto de los nmeros naturales de una manera un tanto intuitiva. La construccin verdadera es un tanto ms larga y comprende conocimientos de matemtica que no tengo la intencin de explicar (y algunos que no entiendo del todo) ya que no sera entendible para todos. Sin embargo encontr en un foro de una pgina de matemtica la construccin completa y dejo el link para el que est interesado/a.

http://rinconmatematico.com/foros/index.php/topic,24564.0.html

Operacionesde los nmeros naturales Podemos definir 4 operaciones bsicas para los nmeros naturales: la suma (+), la resta (), la multiplicacin ( . x) y la divisin ( / , , : ). No voy a explicar cmo se procede con cada operacin, pero voy a hacer algunas observaciones. 1- La suma y la multiplicacin son operaciones cerradas en el conjunto de los naturales. Esto quiere decir que si sumamos o multiplicamos 2 nmeros naturales, cualquiera sean esos nmeros, el resultado SIEMPRE es un nmero natural. 2- La resta y la divisin son operaciones abiertas en el conjunto de los naturales. En otros palabras, NO SIEMPRE que restemos o dividamos dos nmeros naturales, vamos a obtener como resultado un nmero natural. De esta forma operaciones como 1-3 7/2 NO EXISTEN en los nmeros naturales ya que su resultado no es un nmero natural.

Propiedades de cada operacin Propiedad conmutativa Esta propiedad slo la cumplen la suma y la multiplicacin. Para la suma, es significa que al sumar dos nmeros el resultado es el mismo. Cualquiera sea el orden de los nmeros. De otra forma si tenemos dos nmeros cualquiera 'n' y 'm' la suma 'n+m' es igual a la suma 'm+n'. Lo mismo pasa en la multiplicacin, el orden de los factores no altera el producto. Es decir, 'n x m=m x m'. En el caso de la resta esta propiedad no se cumple. Para ejemplificar, la resta 3-2= 1 no es lo mismo que la resta 2-3, cuyo resultado es un nmero negativo. Tampoco se cumple para la divisin. esto se puede probar de manera muy simple: la divisin 6/3 da como resultado el nmero 2; pero si se cambia el orden de los nmeros y se hace la divisin 3/6 el resultado es 0,5 que no pertenece al conjunto de los nmeros naturales (OBSERVACION: para que una divisin este definida en los nmeros naturales el dividendo, o nmero que se divide, debe ser mayor que el divisor, o nmero por el cual se divide; pero ademas estos deben ser multiplos, de otra manera el resultado es un nmero que no pertenece a los naturales. Ejemplo: 5/2=2,5) Propiedad asociativa

Propiedad que slo cumplen la suma y la multiplicacin. Al tener sumar 3 ms nmeros el resultado es el mismo independientemente del orden en que hagamos la operacion. As, si tenemos los nmeros 'n', 'm' y 'o': '(n+m)+o=n+(m+o)' y '(n x m) x o=n x (m x o)'

En el caso de la resta y la divisin es fcil ver que esta propiedad no se cumple mostrando ejemplos con nmeros: '(5-4)-35-(4-3)' y, '(8/4)/28/(4/2)

Propiedad del elemento neutro

En los nmeros naturales, slo la cumplen la multiplicacin y la divisin. Esta propiedad dice que existe un nmero tal que al operar un nmero cualquiera 'n' con ese elemento neutro, el resultado es 'n'. Para la multiplicacin y la divisin el elemento neutro es el 1 (Aclaracin: en la suma y la resta el elemento neutro es el 0, que NO ESTA DEFINIDO en los naturales). ejemplificando: '4 x 1=4' y '5/1=5'

Propiedad distributiva Esta propiedad es la que una a la suma y la multiplicacin. Implica que la suma de dos nmeros, cualquiera sean esos nmeros, multiplicados por un tercero es igual a la suma de cada sumando multiplicada por cada tercer nmero. De esta forma, si tenemos los nmeros 'n', 'm', y 'o': '(n+m) x o=n x o + m x o'

Ejemplo numerico: (4+10) x 2=4 x 2 + 10 x 2=28 Fuente

http://mathworld.wolfram.com/PeanosAxioms.html
Aclaracin: en esa pgina slo estan los axiomas de Peano en ingls, los cuales modifiqu pues estan definidos a partir del 0 y no del 1 como se hace generalmente. Lo dems es mo.