Introducción
Desde la educación básica pensamos al conjunto de los números enteros como aquél que está conformado por los naturales, sus negativos y el cero: $$\mathbb{Z} = \{ \ldots -3, -2, -1, 0, 1, 2, 3, \ldots \} .$$ Sin embargo, para poder fundamentar nuestra construcción, hasta ahora tenemos que el conjunto $\mathbb{Z}$ consiste por definición de ciertas clases de equivalencia de una relación en $\mathbb{N}\times \mathbb{N}$. ¡Observa que ni siquiera $\mathbb{N}$ es un subconjunto de $\mathbb{Z}$ a partir de esta definición! ¿Cómo le hacemos para que estos dos puntos de vista coincidan?
En esta entrada veremos dos cosas muy importantes que nos permitirán unificar ambas ideas. Lo primero que haremos es ver que, en efecto, podemos pensar que $\mathbb{N}$ «es un subconjunto» de $\mathbb{Z}$. Esto lo ponemos entre comillas pues en realidad lo que demostraremos es que hay una copia de $\mathbb{N}$ dentro de $\mathbb{Z}$, con toda la estructura que tenía $\mathbb{N}$ originalmente: sus operaciones, sus identidades, su orden.
Después de esto, nos enfocaremos en ver que $\mathbb{Z}$ consiste exactamente de esta copia y de sus inversos aditivos. Así, habremos formalizado que $\mathbb{Z}$ consiste exactamente de los naturales, sus inversos aditivos y ningún otro elemento.
Inmersión de los naturales en los enteros
En la entrada anterior hablamos acerca del orden en $\mathbb{Z}$. Para ello hablamos del conjunto de enteros positivos $P$. También definimos las relaciones $<$ y $\leq$. En un sentido bastante formal, los enteros mayores o iguales a cero son exactamente los números naturales. La manera en la que enunciamos este resultado es la siguiente.
Teorema. Existe una función biyectiva $\gamma:\mathbb{N}\to P\cup \{\overline{(0,0)}\}$ que preserva las operaciones de suma, producto, el inverso aditivo, el inverso multiplicativo y el orden. Esta función está dada por $\gamma(n)=\overline{(n,0)}$.
Una vez que demostremos esto, la imagen $\gamma(\mathbb{N})$ será exactamente la «copia» de los naturales que vive en los enteros y que precisamente tiene todas las propiedades algebraicas de los naturales que nos interesaban.
Para hacer la demostración de este teorema, probaremos el resultado poco a poco, a través de varios lemas.
Lema 1. La función $\gamma$ está bien definida y es biyectiva.
Demostración. La función $\gamma$ está bien definida pues las clases del estilo $\overline{(n,0)}$ siempre están en $P\cup \{\overline{(0,0)}\}$: si $n=0$, entonces obtenemos la clase $\overline{(0,0)}$ y si $n\neq 0$, entonces $n>0$, lo cual justifica que $\overline{(n,0)}$ es un entero positivo, es decir, en $P$.
Veamos que la función $\gamma$ es biyectiva. Para ver que es inyectiva tomamos dos naturales $m$ y $n$ tales que $\gamma(m)=\gamma(n)$, es decir, tales que $\overline{(m,0)}=\overline{(n,0)}$. Esto quiere decir que $m+0=n+0$, pero entonces $m=n$. Para ver que es suprayectiva, ya sabemos que tomemos una clase $\overline{(a,b)}$ en $P\cup \{\overline{(0,0)}\}$. Por lo visto en la entrada anterior, esto nos dice que $a\geq b$, pero entonces existe un natural $k$ tal que $a=b+k$, de modo que $a+0=b+k$ y por lo tanto $\overline{(a,b)}=\overline{(k,0)}$. Con esto concluimos que $$\gamma(k)=\overline{(k,0)}=\overline{(a,b)}.$$
$\square$
Observa que, sin embargo, no sucede que $\gamma(\mathbb{N})$ sea todo $\mathbb{Z}$. Es decir, hay enteros diferentes de las clases $\overline{(n,0)}$, por ejemplo, el $\overline{(0,1)}$. Se puede verificar que la imagen de $\gamma$ cubre a los enteros no negativos y sólo a esos.
Regresando al enunciado del teorema, lo que veremos ahora es que $\gamma$ respeta las operaciones de suma y producto, así como sus respectivas identidades.
Lema 2. Para cualesquiera naturales $m$ y $n$ se cumple que $$\gamma(m)+\gamma(n)=\gamma(m+n)$$ y que $$\gamma(m)\gamma(n)=\gamma(mn).$$ Además, $\gamma(0)$ es la identidad aditiva en $\mathbb{Z}$ y $\gamma(1)$ es la identidad multiplicativa en $\mathbb{Z}$.
Demostración. Basta usar la definición de $\gamma$ y de la suma en $\mathbb{Z}$:
\begin{align*}
\gamma (m)+\gamma(n)&=\overline{(m,0)}+\overline{(n,0)}\\
&= \overline{(m+n,0)}\\
&=\gamma{m+n}.
\end{align*}
De modo similar, para el producto usamos la definición de $\gamma$ y la del producto en $\mathbb{Z}$:
\begin{align*}
\gamma (m)\gamma(n)&=\overline{(m,0)}\overline{(n,0)}\\
&= \overline{(mn+0\cdot 0,m\cdot 0 + 0 \cdot n)}\\
&= \overline{(mn,0)}\\
&=\gamma{mn}.
\end{align*}
La parte de las identidades es sencilla de hacer y queda como tarea moral.
$\square$
Ya vimos que $\gamma$ respeta las operaciones. Ahora veamos que también respeta el orden.
Lema 3. Para cualesquiera naturales $m$ y $n$, sucede que $m < n$ si y sólo si $\gamma(m) < \gamma(n)$.
Demostración. Por definición de $\gamma$, tenemos que $\gamma(m)<\gamma(n)$ si y sólo si $\overline{(m,0)}<\overline{(n,0)}$. En la entrada anterior vimos que esto sucede si y sólo si en $\mathbb{N}$ tenemos que $m+0<n+0$. Pero esto es justo $m<n$.
$\square $
Los lemas 1, 2 y 3 conforman la demostración del teorema de esta sección.
Caracterización de los enteros
En vista del teorema de la sección anterior, dentro de $\mathbb{Z}$ hay metida una copia de $\mathbb{N}$. ¿Cuáles son los otros elementos de $\mathbb{Z}$? ¿Hay muchos más enteros que eso? La respuesta es que no. Para acabar de tener a todos los elementos de $\mathbb{Z}$ basta con tomar esta copia de los enteros y considerar a sus inversos aditivos.
Proposición. Para cualquier entero $\overline{(a,b)}$, tenemos que sucede una y exactamente una de las afirmaciones siguientes:
- $\overline{(a,b)}=\overline{(0,0)}$.
- $\overline{(a,b)}=\overline{(n,0)}$ para algún natural $n\neq 0$.
- $\overline{(a,b)}=\overline{(0,n)}$ para algún natural $n\neq 0$.
Demostración. Por el principio de tricotomía en $\mathbb{N}$, sabemos que se cumple una y exactamente una de las afirmaciones siguientes:
- $a=b$
- $a>b$
- $a<b$
Si pasa la primera, entonces $\overline{(a,b)}=\overline{(0,0)}$. Si pasa la segunda, es porque existe un natural $n\neq 0$ tal que $a=b+n$, pero entonces $a+0=b+n$ y así $\overline{(a,b)}=\overline{(n,0)}$. Si pasa la tercera, es porque existe un natural $n,0$ tal que $a+n=b=b+0$, y entonces $\overline{(a,b)}=\overline{(0,n)}$.
De esta manera, se ve que siempre se cumple al menos una de las afirmaciones del enunciado. Ver que se cumple a lo más una es sencillo y queda como tarea moral.
$\square$
Siguiendo la demostración anterior con cuidado, nos damos cuenta que los casos corresponden precisamente al entero cero, a los positivos y a los negativos. La proposición anterior es una manera de ilustrar, en particular, que hay que hay el mismo número de números naturales positivos como números enteros negativos: a cada uno de ellos le podemos asociar (de manera biyectiva), un natural. Otra forma de dar esta biyección es mandar el entero positivo $\overline{(n,0)}$ al entero negativo $\overline{(0,n)}$, que es precisamente su inverso aditivo.
Re-etiquetando a los enteros
Estamos listos para abandonar la notación de parejas y clases de equivalencia. En vista de los resultados anteriores, cualquier entero positivo $\overline{(a,b)}$ es el mismo que un entero de la forma $\overline{(n,0)}$. Y los enteros de esta forma justo conforman una copia de $\mathbb{N}$ con toda la estructura algebraica que nos interesa. Así, ya nunca más tenemos que llamar a $\overline{(a,b)}$ con este nombre: basta simplemente llamarlo $n$.
Si tenemos un entero de la forma $\overline{(a,b)}$ con $a=b$, entonces simplemente lo llamaremos $0$. Y finalmente, si el entero $\overline{(a,b)}$ es negativo, podemos escribirlo de la forma $\overline{(0,n)}$ y en vista de lo anterior simplemente lo llamaremos $-n$. Todo esto funciona bien, porque también sabemos que justo $\overline{(n,0)}$ y $\overline{(0,n)}$ son inversos aditivos entre sí.
Pero, ¿cómo sabremos si al usar el símbolo $1$ nos estamos refiriendo al natural $\{\emptyset\}$ o al entero $\overline{(\{\emptyset\},\emptyset)}$? En realidad ya no es relevante, pues tenemos la total garantía de que los enteros no negativos se comportan exactamente como $\mathbb{N}$.
De esta manera, $$\mathbb{Z} = \{ \ldots -3, -2, -1, 0, 1, 2, 3, \ldots \}$$ y además tenemos la total garantía de que los enteros no negativos se comportan exactamente como los naturales.
Más adelante…
Después de liberar la gran carga que teníamos de usar la notación de parejas y de relaciones de equivalencia, ahora ya podemos usar a los enteros tal y como los conocíamos desde educación básica: como el cero, los enteros que no son cero, y sus negativos. Además, gracias a todo lo que demostramos, ya podemos utilizar las propiedades de la suma, el producto y el orden con la confianza de que están bien fundamentadas.
Lo que sigue es estudiar con más profundidad al conjunto $\mathbb{Z}$. Aunque no haya propiamente «divisiones exactas» en este conjunto, sí podemos preguntarnos qué sucede cuando dividimos un entero por otro, y cuánto queda. Esto lleva a las nociones de divisibilidad y residuos, que a su vez llevan a áreas muy interesantes de las matemáticas como el álgebra moderna y la teoría de números.
Tarea moral
A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.
- Muestra que en efecto no existe ningún natural $m$ tal que $\gamma(m)=\overline{(0,1)}$.
- Verifica que $\gamma(0)$ es la identidad aditiva de $\mathbb{Z}$ y $\gamma(1)$ es su identidad multiplicativa.
- Explica por qué para un entero $\overline{(a,b)}$ no puede suceder más de una de las siguientes afirmaciones:
- $\overline{(a,b)}=\overline{(0,0)}$.
- $\overline{(a,b)}=\overline{(n,0)}$ para algún natural $n\neq 0$.
- $\overline{(a,b)}=\overline{(0,n)}$ para algún natural $n\neq 0$.
- La función $\gamma$ no es una biyección entre $\mathbb{N}$ y $\mathbb{Z}$. Pero sí existen biyecciones entre estos dos conjuntos. Construye una y demuestra que en efecto es una biyección.
- Da una biyección que muestre que el conjunto de los enteros no negativos pares, $\{0, 2, 4, 6, \ldots\}$ y el conjunto de los enteros no negativos positivos, $\{ 0, 1, 2, 3, \ldots \}$ tienen la misma cardinalidad. ¿Será posible construir la biyección de modo que se preserve la operación de suma? ¿Será posible construirla de modo que se preserve la operación de producto?
Entradas relacionadas
- Ir a: Álgebra Superior II
- Entrada anterior del curso: El orden en los enteros
- Entrada siguiente del curso: Algoritmo de la división en $\mathbb{Z}$
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»