Paridad del cero

demostración, explicación y conclusión de que el cero es un número par.

El 0 es par. En otras palabras, la «paridad» —es decir la cualidad de un número entero de ser par o impar— que le corresponde al número cero es la de un número par. El cero cumple con la definición de número par: es un entero múltiplo del dos, 0 = 0 × 2. Como resultado, el cero comparte todas las propiedades que caracterizan a los números pares: 0 es divisible exactamente por 2; 0 está entre dos números impares; 0 es la resta de un entero a sí mismo; un conjunto con 0 objetos puede separarse en dos conjuntos iguales.

Balanza vacía.
Cero objetos, divididos en dos grupos iguales.

Puesto que las definiciones de número par varían, otro acercamiento consiste en considerar la manera en que el cero sigue los mismos patrones que los demás números pares. Las reglas aritméticas de paridad, como por ejemplo par − par = par, requieren que 0 sea par. El cero es el elemento neutro del grupo de los enteros pares, y es el punto de partida para definir los subsiguientes números naturales generados recursivamente. Las aplicaciones de esta recursión, que van desde la teoría de grafos hasta la geometría computacional, dan por sentado que el cero es par.

Entre el público en general, la paridad del cero puede ser fuente de confusión. En experimentos de «tiempo de reacción», la mayoría de la gente tarda más en clasificar al 0 como par que al 2, 4, 6 u 8.

Por qué el cero es par

editar

Es fácil probar directamente que el cero es un número par.

  • Un número se dice que es par si es un múltiplo entero del 2. Entonces, por definición, el cero es par:  .[1]

Esta demostración comienza con una definición estándar de "número par". También es posible explicar por qué el cero es par sin hacer mención a definiciones formales.[2]​ Las explicaciones siguientes deben ser comprendidas en términos fundamentales de conceptos de números.

Fundamentos

editar
 
La caja con 0 elementos no tiene objetos sin pareja (en rojo).[3]

El conteo básico utiliza números. Dado un conjunto de elementos, es común utilizar números para describir cuántos objetos hay en el conjunto. Cero es la cuenta de ningún objeto; en términos más precisos, es el número de objetos que hay en el conjunto vacío. El concepto de paridad es utilizado al formar grupos de dos objetos: si los objetos de un conjunto pueden agruparse de a dos, sin dejar ninguno sin pareja, entonces el número de objetos del conjunto es par; si un objeto queda aislado, entonces el número de objetos del conjunto es non.[4]

El conjunto vacío contiene cero grupos de dos, y ningún objeto queda aislado con este agrupamiento. No es evidente sin embargo visualizar cero elementos de dos, o poner atención en la no-existencia del objeto aislado; esta concepción de la paridad del cero puede ser ilustrada al comparar al conjunto vacío con otros conjuntos, como en el diagrama de la derecha.[5]

La recta numérica provee una visualización más uniforme de los números, incluyendo los números positivos, los números negativos y al cero. Cuando los pares y los nones se destacan visualmente, el patrón se vuelve evidente:


 
Números enteros del -4 al 10; los pares son círculos abiertos; los nones círculos cerrados.

Los pares y nones se alternan. Comenzando en cualquier número par, contar hacia arriba o hacia abajo de dos en dos lleva a otro número par, y no hay ninguna razón para excluir al cero.[6]

La paridad puede establecerse más formalmente con ayuda de expresiones aritméticas. Todo entero es o bien de la forma (2 × ▢) + 0 o bien (2 × ▢) + 1; los primeros números son pares, los siguientes nones. Por ejemplo, 1 es non puesto que 1 = (2 × 0) + 1, y 0 es par dado que 0 = (2 × 0) + 0. Una tabla con estos valores refuerza la idea expresada en la recta numérica.[7]

Paridad

editar

La definición precisa de un término matemático, tal como «par significa entero múltiplo de dos» es, en última instancia, una convención. Algunos términos o definiciones matemáticas se construyen explícitamente para excluir casos triviales o degenerados. Los números primos constituyen un conocido ejemplo; la definición de "número primo" ha variado históricamente de "entero positivo con a lo sumo 2 factores" a "entero positivo con exactamente 2 factores", con el notable efecto de que el 1 ya no se puede considerar primo. La mayoría de los autores hacen notar que esta definición conviene mejor a los teoremas matemáticos que conciernen números primos. Por ejemplo, el teorema fundamental de la aritmética es más cómodo de enunciar si el 1 no se considera primo.[8]

De modo análogo, sería posible redefinir el término «par» de modo que no incluyera al cero. Sin embargo, en este caso, la nueva definición haría más difícil establecer teoremas concernientes a los números pares. Los efectos pueden notarse, por ejemplo, en las leyes que gobiernan la aritmética de los números enteros pares e impares:[9]

  • par ± par = par
  • non ± non = par
  • par × entero = par.

Al hacer una excepción con el cero en la definición, estas reglas serían incorrectas[9]​ y tendrían que ser cuando menos modificadas. Por otra parte, respetar las leyes obedecidas por los números pares positivos, y requerir que sigan siendo válidas para todos los enteros, fuerza la definición usual y la consecutiva paridad del cero.[9]

Véase también

editar
Clasificación de los números
Complejos  
Reales  
Racionales  
Enteros  
Naturales  
Cero: 0
Enteros negativos
Fraccionarios
Irracionales
Imaginarios

Notas y referencias

editar
  1. Penner, 1999, p=34, Lema B.2.2, The integer 0 is even and is not odd. Penner utiliza el cuantificador existencial ∃: "Para mostrar que 0 es par, debemos probar que k(0 = 2k), y esto sigue de la igualdad 0 = 2 · 0".
  2. Ball, Lewis (Thames, 2008, p=15), discute el reto de los profesores de medio grado, que desean introducir «razones matemáticas» para justificar «hechos matemáticos».
  3. Lichtenberg. 1972. p=535; comparar Fig. 1
  4. Lichtenberg. 1972. pp=535–536}} "...los números responden a la pregunta: «¿Cuántos hay?» para el conjunto de objetos ... cero es la propiedad numérica del conjunto vacío ... Si los elementos de cada conjunto se agrupan de a dos ... se sigue que el número de ese conjunto es un número par."
  5. Lichtenberg. 1972. pp=535–536. "Hay cero grupos de dos dibujos. Ningún dibujo está aislado. Luego, el cero es un número par."
  6. Lichtenberg. 1972. p=537; comparar Fig. 3. "Si se identifican los números pares de algún modo especial ... no hay motivo para omitir al cero del patrón."
  7. Lichtenberg. 1972. pp=537–538. "A un nivel más avanzado ... los números que se pueden escribir como (2 × ▢) + 0 son pares ... el cero encaja perfectamente en este patrón.
  8. Gowers. 2002. p=118. "La clara y arbitraria exclusión del 1 de la definición de Número primo … no expresa ninguna característica profunda sobre los números: sucede solamente que es una convención útil, adoptada de modo que solo haya una manera de factorizar cualquier número dado en factores primos".
  9. a b c Partee. 1978. p=xxi.

Enlaces externos

editar