¿Es el cero un número?
Una amable lectora de este blog me ha preguntado si el cero es un número. Me comentaba que simbolizando la nada más absoluta, era fácil pensar que en realidad el cero no existe. La cuestión no es trivial, y merece un comentario profundo.
En el trasfondo está la cuestión de la existencia de los objetos matemáticos. ¿Existen o son invenciones humanas? Los matemáticos que piensan que tales objetos existen son platónicos. Piensan que la matemática tiene mucho de descubrimiento geográfico: se descubre lo que ya era así antes de que nadie lo estudiara. Las infinitas y bellas volutas del conjunto de Mandelbrot estaban allí, en el mundo de la matemática desde el origen del mundo, esperando ser descubiertas, no inventadas. Desde antes del origen del mundo, podríamos decir, ya que la matemática y sus objetos no está ligada al universo físico. Pero no necesitamos remontarnos tanto para responder a la pregunta. La pregunta era si el cero comparte la misma categoría de existencia que el 7, por ejemplo.
El núcleo de la cuestión tiene varias partes, a mi entender:
1.- El cero es un número natural.
De hecho, el conjunto de los números naturales se construyen a partir de los axiomas de Peano, el primero de los cuales dice que el cero es un número natural. Otro axioma dice que todo número natural tiene un siguiente en N , y un tercer axioma nos indica que el cero es precisamente el único número (natural) que no es siguiente de ningún otro.
En esta definición axiomática de N no es obvio que los números indican cantidades. Son elementos de un conjunto y punto.
2.- Si pensamos los números simbolizan cantidades, entonces los números son símbolos. Una cosa es que la cantidad nula sea inexistente por su propia naturaleza, y otra muy diferente que sea inexistente el símbolo con el que denotamos dicha cantidad.
3.- Una de las ideas más fértiles en matemáticas es la de isomorfismo . Cuando tenemos dos conjuntos con ciertas operaciones definidas en ellos (pensemos en un conjunto numérico con operaciones habituales, y en otro conjunto con sus operaciones), a veces es posible relacionarlo con otro diferente de forma que cada elemento del primer conjunto tenga una y solo una representación en el segundo, y que esa correspondencia (aplicación biunívoca) sea respetuosa con las operaciones internas de cada uno de los dos conjuntos. En ese caso, tenemos un isomorfismo entre ambos. Dos estructuras isomorfas son la misma estructura a todos los efectos de propiedades que puedan exhibir.
Pues bien. El cero, a demás de un número natural N , es un número entero Z , racional Q , y real R . El conocido isomorfismo entre la recta real y el conjunto R nos permite ver al cero desde otra perspectiva: no tiene nada de especial que lo diferencie de los demás reales, es tan sólo el que tomamos como origen. Una simple traslación nos pone el cero en otro punto, y ese es todo el misterio.
PD. Soy consciente de que la definición de isomorfismo es mucho más rigurosa que lo que aquí relato. De hecho, no explico qué quiere decir que la aplicación sea respetuosa con las operaciones internas. Creo que con lo dicho basta para no cargar el artículo.
En el trasfondo está la cuestión de la existencia de los objetos matemáticos. ¿Existen o son invenciones humanas? Los matemáticos que piensan que tales objetos existen son platónicos. Piensan que la matemática tiene mucho de descubrimiento geográfico: se descubre lo que ya era así antes de que nadie lo estudiara. Las infinitas y bellas volutas del conjunto de Mandelbrot estaban allí, en el mundo de la matemática desde el origen del mundo, esperando ser descubiertas, no inventadas. Desde antes del origen del mundo, podríamos decir, ya que la matemática y sus objetos no está ligada al universo físico. Pero no necesitamos remontarnos tanto para responder a la pregunta. La pregunta era si el cero comparte la misma categoría de existencia que el 7, por ejemplo.
El núcleo de la cuestión tiene varias partes, a mi entender:
1.- El cero es un número natural.
De hecho, el conjunto de los números naturales se construyen a partir de los axiomas de Peano, el primero de los cuales dice que el cero es un número natural. Otro axioma dice que todo número natural tiene un siguiente en N , y un tercer axioma nos indica que el cero es precisamente el único número (natural) que no es siguiente de ningún otro.
En esta definición axiomática de N no es obvio que los números indican cantidades. Son elementos de un conjunto y punto.
2.- Si pensamos los números simbolizan cantidades, entonces los números son símbolos. Una cosa es que la cantidad nula sea inexistente por su propia naturaleza, y otra muy diferente que sea inexistente el símbolo con el que denotamos dicha cantidad.
3.- Una de las ideas más fértiles en matemáticas es la de isomorfismo . Cuando tenemos dos conjuntos con ciertas operaciones definidas en ellos (pensemos en un conjunto numérico con operaciones habituales, y en otro conjunto con sus operaciones), a veces es posible relacionarlo con otro diferente de forma que cada elemento del primer conjunto tenga una y solo una representación en el segundo, y que esa correspondencia (aplicación biunívoca) sea respetuosa con las operaciones internas de cada uno de los dos conjuntos. En ese caso, tenemos un isomorfismo entre ambos. Dos estructuras isomorfas son la misma estructura a todos los efectos de propiedades que puedan exhibir.
Pues bien. El cero, a demás de un número natural N , es un número entero Z , racional Q , y real R . El conocido isomorfismo entre la recta real y el conjunto R nos permite ver al cero desde otra perspectiva: no tiene nada de especial que lo diferencie de los demás reales, es tan sólo el que tomamos como origen. Una simple traslación nos pone el cero en otro punto, y ese es todo el misterio.
PD. Soy consciente de que la definición de isomorfismo es mucho más rigurosa que lo que aquí relato. De hecho, no explico qué quiere decir que la aplicación sea respetuosa con las operaciones internas. Creo que con lo dicho basta para no cargar el artículo.
40 comentarios
diego -
Yocairis Navarro -
MANUEL -
Hey :) -
IPSEIDAD -
Yo pienso que si es un numero, solo que es un numero neutro. ni positivo ni negativo, pero si hay que considerarlo un numero real."
¿En serio? no conoceslos numeros quebrados 0,1 0,2 -0,1 -0,2 el cero claro que puede ser negativo en cuanto a su decimal
DunksNike -
Jordan Spizikes -
Generic Cialis -
Jordan Flight 45 -
Lillian Carrasco -
porque son múltiplos de un número natural todos aquellos que se obtienen al multiplicar los naturales por dicho número.
anilorac -
Creo que el cero pertenece al conjunto de los numeros enteros
José Graterol -
José Graterol -
una pregunta..
si sumamos todos los numeros positivos con los negativos?.. que nos queda?.. todo o nada?
Oscar37 -
Damaris -
pero aun no me siguen gustando las matemáticas :(
monosabio -
"Una cosa es que la cantidad nula sea inexistente por su propia naturaleza".
Si es inexistente, ¿por qué destruye a los que existen?.
Por ejemplo en 3x0=0, el 3 desaparece, así 3 vasos de agua vacíos se queda en un vaso de agua vacío.
Si declaro una matriz bidimensional de 3x0 elementos, resulta que me quedo con una unidimensional, ¿Dónde está mi segunda dimensión malvado 0?, devuelvémela.
Alexis -
Saludos, Alexis.
ANA -
unicornio -
Me ha parecido muy interesante este artículo. Yo también lo considero un número natural. También me han gustado otros comentarios en particular el de Fabio y los poemas de Amanda y Hahan. Hasta otra...
darkpollo -
karlos -
henio melendez -
alejandra -
tatiana -
Edson Pérez -
fabio -
Vemos un grupo de políticos reunidos y nos preguntamos cuántos cerebros pensantes hay en el grupo: respuesta: cero (o); es decir el Cero es la ausencia de algo, por lo que es cuantificable al igual que la presencia de algo.
seli -
Ana Celia -
adriana -
ana karen -
saayra -
edgar valdes reyes -
Sark -
adriana -
eMe -
El nombre es arquetipo de la cosa,
En las letras de rosa está la rosa
Y todo el Nilo en la palabra Nilo.
EL GOLEM (Fragmento)JLB
Ahora lo entendí, gracias por el artículo!!!
Amanda -
Claro, matemático no es el término apropiado.
Saludos.
*hoy he llegado hasta aquí desde el blog de tu esposa, jaja;).
Laespo -
Uno le dice a Cero que la nada existe
Cero replica que Uno tampoco existe
porque el amor nos da la misma naturaleza
Cero más Uno somos Dos le dice
y se van por el pizarrón tomados de la mano
Dos se besan debajo de los pupitres
Dos son Uno cerca del borrador agazapado
y Uno es Cero mi vida
Detrás de todo gran amor la nada achecha.
Víctor R. Ruiz -
Tio Petros. -
Por cierto: matemático es (para mí) el que hace matemáticas. Yo tan sólo hago una invitación a pasear.
Ayyyyy, soy Amanda -
()...Sigo entonces hacia ningún lugar
En el camino no encuentro nada.
Sólo tus labios me dejaron algo,
tus ojos me sembraron más
y tus manos acariciaron aquello
que sin ti hubiese sido nada.
Vamos así fundidos
por ningún lugar
hacia la nada".
Amanda.