Fundamentacin: Sobre, si el cero pertenece a los naturales o a los enteros

Muchos textos de Matemtica de nivel medio suelen explicar que los nmeros naturales son aquellos que utilizamos en la vida cotidiana para contar, y que reciben ese nombre porque fueron los primeros utilizados por el ser humano para enumerar objetos de la naturaleza.

As obtenemos N = {1; 2; 3; 4;}. A esta sucesin 1, 2, 3 se la llama sucesin fundamental. En esos mismos textos, cuando se incluye al cero se habla de No = {0, 1; 2; 3; 4;}. El 0 no es considerado un nmero natural. Otros textos, en cambio, especialmente los ms recientes, s incluyen al 0 en la sucesin fundamental y consideran que N = {0, 1; 2; 3; 4;}. Entonces el cero es un nmero natural o no? Si no es natural por qu lo utilizamos en las operaciones con naturales? Acaso la ley de cierre no dice: a + b = c / a, b y c N? 1. Introduccin: A la hora de encuadrar al 0 en el contexto de los conjuntos numricos aparecen controversias y, aunque debemos ser muy cuidadosos con el lenguaje matemtico que utilizamos, muchos libros de texto son poco claros al respecto. Si hablamos de nmeros solamente, muchos matemticos definen a la sucesin de nmeros naturales como aquella formada por la sucesin fundamental 1, 2, 3 4 que comnmente se utilizan para contar objetos. Pero si hablamos de conjuntos, los nmeros naturales estn formados por la sucesin fundamental ms el cero, ya que en la teora de conjuntos los nmeros se utilizan para contar elementos de un conjunto. Por ello debemos ser prudentes al transmitir estos conceptos de objetos y elementos, que son abordados por dos teoras diferentes: la Teora de Nmeros y la Teora de Conjuntos. Para llegar a la numeracin que admite el valor relativo de las cifras y que simplifica tanto la escritura como los clculos, fue preciso crear el nmero cero. Fueron los hindes quienes, a principios de nuestra era, comenzaron a representar el cero primero mediante un punto, despus usando un crculo y por ltimo un valo. El conocimiento del cero pas a los rabes y a travs de ellos lleg a la civilizacin europea. A fines del siglo XIX muchos brillantes matemticos alemanes trabajaban

en el problema de definir rigurosamente los conceptos matemticos fundamentales. Estos postulados fueron posteriormente formulados con ms precisin por G. Peano, resultando as los famosos cinco postulados que llevan su nombre. Fue finalmente E. Zermelo, hacia 1908, el primero en dar axiomas adecuados para la teora de conjuntos y quien demostr, a partir de esos mismos axiomas, la existencia del conjunto de los nmeros naturales. Modificaciones posteriores del sistema de Zermelo, debidas a Adolf Fraenkel y John von Neumann, permiten construir a cada nmero natural como un conjunto en s mismo dento del contexto de los llamados nmeros ordinales. Como vemos, el camino recorrido por los matemticos para definir los nmeros naturales tiene una larga historia de idas y venidas. El primer estudio formal sobre la teora de conjuntos fue realizado por el matemtico rusoalemn Georg Cantor a mediados del siglo XIX. Cantor defini a los conjuntos de la siguiente manera: Se entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de nuestra intuicin o nuestra mente. Es importante aclarar que Cantor utiliza la palabra objetos, pero luego es reemplazada por elementos. Un conjunto est bien definido si se sabe si un determinado elemento pertenece o no al conjunto. De la relacin entre distintos conjuntos surge el concepto de nmero natural. En el siguiente diagrama se relaciona cada elemento de A con un elemento de B. Grfico N1Queda establecida una correspondencia uno a uno, de A hacia B. Tambin se pueden relacionar de la misma manera los elementos de B con los de A. Esta correspondencia uno a uno y su recproca se llama correspondencia biunvoca. Cuando es posible establecer una correspondencia de este tipo entre dos conjuntos se dice que estos son coordinables o equipotentes. La propiedad comn de todos los conjuntos finitos que son coordinables o equipotentes es el cardinal de esos conjuntos. Si dos conjuntos son equipotentes tienen el mismo nmero natural o el mismo cardinal. La equipotencia permite clasificar los conjuntos.*El conjunto vaco forma una clase.*Los conjuntos unitarios otra clase.*Los conjuntos binarios otra clase. Y as sucesivamente. Al nmero o cardinal de cada clase se le asigna un nombre y se lo representa por un smbolo o numeral (#). Al nmero de la clase vaca lo llamamos CERO:Card.{} = #{} = 0 Al nmero de la clase de los conjuntos unitarios lo llamamos UNO:Card. {0} = #{0} = 1 Al nmero de la clase binaria o de pares los llamamos DOS:Card. {; } = #{0; 1} = 2 Y as seguimos:Card. {; ; *} = #{0; 1; 2} = 3

Estos nmeros se llaman naturales N = { 0, 1, 2, 3, 4, 5,}. 5. Los nmeros naturales segn la Teora de Nmeros. Los axiomas de Peanos o postulados de Peano definen de manera exacta al conjunto de los nmeros naturales. Fueron establecidos por el matemtico italiano Giuseppe Peano (1858-1932) a fines del siglo XIX. Bsicamente, los naturales se pueden construir a partir de 5 axiomas fundamentales: 1) 1 es un nmero natural. (es decir, el conjunto de los nmeros naturales es no vaco) 2) Si a es un nmero natural, entonces a + 1 tambin es un nmero natural (llamado el sucesor de a). 3) 1 no es sucesor de ningn nmero natural. (primer elemento del conjunto) 4) Si hay dos nmeros naturales a y b tales que sus sucesores son diferentes entonces a y b son nmeros naturales diferentes. 5) Axioma de induccin: si un conjunto de nmeros naturales contiene al 1 y a los sucesores de cada uno de sus elementos entonces contiene a todos los nmeros naturales. El sistema axiomtico de Peano es esencialmente ordinal, y define al conjunto de los nmeros naturales algebrizando con las operaciones de adicin y multiplicacin. Los axiomas de Peano tal como fueron originalmente escritos (en latn) dicen: Trminos primitivos: 1(uno); nmero y sucesor Postulados o axiomas:- 1 es un nmeroEl sucesor inmediato de un nmero tambin es un nmero- 1 no es el sucesor inmediato de ningn nmero- Dos nmeros distintos no tienen el mismo sucesor inmediato- Toda propiedad perteneciente a 1 y al sucesor inmediato de todo nmero que tambin tenga esa propiedad pertenece a todos los nmeros (induccin matemtica) Definiciones: I) de adicina) a + 1 = S(a) cualquiera sea a Nb) a + S(b) = S(a + b) cualesquiera que sean a y b en N II) de multiplicacina) a . 1 = a para todo a Nb) b) a . S(b) = a . b + a cualesquiera sean a y b en N 6. Otra forma equivalente de la teora de PeanoEn el conjunto N no figura como elemento el 0. Peano mismo lo introdujo en otra versin publicada en 1895 en la Rivista di matematica, y muchos autores prefieren incluirlo. En este caso los axiomas no se modifican esencialmente,

salvo que el 1 se sustituye por el smbolo 0. Sin embargo hay que cambiar las definiciones de adicin y multiplicacin.Trminos primitivos: cero (0), nmero y sucesor o siguiente, ms la nocin de clase, que en Peano es casi sinnimo de propiedad. Peano especifica que No es una clase, aunque nmero es un nombre comn. Los postulados son:- el cero es un nmero- el sucesor (el siguiente) de un nmero es un nmero- si el cero pertenece a una clase (= cumple una propiedad) tal que el sucesor de todo nmero que pertenece a la misma (= que cumple la propiedad) tambin pertenece (= la cumple),entonces todos los nmeros pertenecen a la clase (= cumplen la propiedad); o como l comenta, o es la mnima clase que satisface .0, .1, .2.,- dos nmeros slo pueden tener el mismo sucesor si son iguales, y- el cero no es sucesor de ningn nmero.Definiciones de adicin y multiplicacin:I) Adicina) a + 0 = ab) a + S(b) = S(a + b)II) Multiplicacina) a . 0 = 0b) a . S(b) = a .b + aEn este caso se define 1 = S(0)En el lenguaje conjuntista actual, se resumiran en:Existe un conjunto N, una aplicacin sgt : N N, y un elemento 0 N tales que sgt es inyectiva, 0 sgt(N), y si S N es tal que 0 S y sgt(S) S, entonces S = . (Donde sgt significa siguiente).Peano elabor sus axiomas en un momento (finales del siglo XIX) en el que la bsqueda de una fundamentacin slida para todas y cada una de las partes de las Matemticas se senta como una necesidad inaplazable. Diversas crisis de la intuicin (la demostracin de Beltrami de que las geometras no eucldeas eran tan firmes como la eucldea, la creacin de la teora de conjuntos por Cantor) hicieron a los matemticos tremendamente desconfiados hacia lo que, hasta entonces, haba sido tenido por indudable. Esta desconfianza en la intuicin llev a un reforzamiento del rigor y a una revisin de todo lo que se daba por evidente, intentando reducir lo evidente a la mnima expresin. 7. ConclusionesPara evitar confusiones en general se adopta:No designa el conjunto de nmeros naturales con el CERO.No = { 0, 1, 2, 3, 4, 5,}Est formado por la sucesin fundamental y el cero.N designa el conjunto de nmeros naturales sin el CERO.N = { 1, 2, 3, 4, 5,}Est formado por la sucesin fundamental. Esta aclaracin es importante para no perder de vista el concepto numrico del cero, aunque de la Teora de Conjuntos se desprende que el cero es natural, sta notacin es la ms generalizada, siempre que se tenga en cuenta que el cardinal del conjunto vaco es el cero, es un nmero que representa al cardinal de la clase vaca pero dentro de la misma teora de conjuntos. Si lo analizamos desde el punto de vista de las estructuras algebraicas, teniendo en cuenta lo anterior.(N; +) es monoide+ es ley de composicin interna(N; +) es semigrupo conmutativo+ es ley de composicin interna No tiene elemento neutro, si existe elemento neutro se dice que el semigrupo tienen unidad. En cambio:(No; +) es semigrupo conmutativo con unidad.+ es ley de composicin interna Tiene

elemento neutro, el cero.Para ser grupo deben cumplir: ley de composicin interna, asociativa, con neutro y adems inverso. En caso de ser conmutativo ser grupo abeliano.(N; +) no es grupo+ es ley de composicin interna No tiene elemento neutro, ni inverso aditivo.(No; +) No es grupo+ es ley de composicin interna Tiene elemento neutro, el cero. Los dems elementos carecen de inverso aditivo. Si lo analizamos desde un punto de vista ms elemental, de nivel secundario, podramos analizar las propiedades de la suma en el conjunto de los nmeros naturales. Ley de cierre o clausura:" a, b N $ c / a + b = c c N Ejemplo: 2 + 3 = 5 , 2, 3 y 5 NContraejemplo: 2 + 0 = 2, 2 N , pero 0 N. Adems no existe elemento neutro. Por ello es importante mencionar que en el nivel medio o secundario siempre utilizamos No , y no N. Por ello la ley de clausura es:" a, b No : $ c / a + b = c c No. Aunque sabemos que la inclusin o no del cero, como se ha podido observar a lo largo del artculo es an un tema de controversia, los docentes debemos adoptar una postura razonable, la de explicar con trminos sencillos sin perder la rigurosidad matemtica, que no todo est dicho en las ciencias matemticas, y que slo para facilitar el entendimiento y el razonamiento en esta disciplina se adopta por simple generalidad: No = { 0, 1, 2, 3, 4, 5,}N = { 1, 2, 3, 4, 5,}. Por ello la respuesta a la pregunta: Qu hacemos con el cero? Es, depende para qu. En el nivel medio necesito del cero para poder operar con nmeros naturales y a ese conjunto lo llamo No. Por ello en muchos textos del nivel medio se trabaja con sta simbologa y de sta manera.

1) N = Conjunto de los Nmeros Naturales

N = { 1, 2, 3, 4, 5, 6, 7,.......} El conjunto de los Nmeros Naturales surgi de la necesidad de contar, lo cual se manifiesta en el ser humano desde sus inicios. Este conjunto se caracteriza porque: Tiene un nmero ilimitado de elementos Cada elemento tiene un sucesor y todos, excepto el 1, un antecesor.

El sucesor de un nmero natural se obtiene sumando uno (+1); el antecesor se obtiene restando uno (-1).

2) N* = N0 = Conjunto de los Nmeros Cardinales

N 0 = { 0, 1, 2, 3, 4, 5, 6,.....} Al Conjunto de los Nmeros Naturales se le agreg el 0 (cero) y se forma el Conjunto de los Nmeros Cardinales.

3) Z = Conjunto de los Nmeros Enteros

Z = { ..... 3, -2, -1, 0, 1, 2, 3,...}

El Conjunto de los Nmeros Enteros surge de la necesidad de dar solucin general a la sustraccin, pues cuando el sustraendo es mayor que el minuendo, esta sustraccin no tiene solucin en los Conjuntos Naturales y Cardinales (por ejemplo: 5 20 = ?). Debido a esto, la recta numrica se extiende hacia la izquierda, de modo que a cada punto que representa un nmero natural le corresponda un punto simtrico, situado a la izquierda del cero. Punto simtrico es aquel que est ubicado a igual distancia del cero (uno a la derecha y el otro a la izquierda de l).

Z = N* U Conjunto de los Nmeros Enteros negativos

Z = Tiene 3 Subconjuntos: Enteros Negativos: Z Enteros Positivos: Z
+ +

Enteros Positivos y el Cero: Z 0

Por lo tanto, el Conjunto de los Nmeros Enteros es la unin de los tres subconjuntos mencionados. Z = Z U {0} U Z
+