Introducción
En la entrada anterior hablamos de cómo se construye el conjunto $\mathbb{Z}$ de los números enteros y cómo definir una operación de suma en él. Vimos que esta operación de suma tenía cuatro propiedades clave: asociatividad, conmutatividad, existencia de un neutro y de inversos. A partir de ello definimos también la operación de resta. En esta entrada continuaremos con la construcción de las operaciones en $\mathbb{Z}$. Ahora definiremos el producto de números enteros.
Intuición del producto de enteros y su definición formal
La definición de la suma de los enteros resultó ser muy sencilla. Si tenemos enteros $\overline{(a,b)}$ y $\overline{(c,d)}$ entonces para hacer la suma simplemente «sumamos entrada a entrada» para obtener $\overline{(a+c,b+d)}$. Uno podría pensar que para hacer el producto de enteros esto debe ser igual de fácil, definiendo al producto simplemente como $\overline{(ac,bd)}$. Sin embargo, esta definición no funciona, pues no tiene muchas de las propiedades valiosas que debería tener una operación de producto.
Antes de dar la definición, recordemos nuestra intuición de qué quería decir cada pareja $(a,b)$. En la entrada anterior, a cada pareja la asociábamos con la ecuación $a=x+b$. La relación de equivalencia que dimos consistía en asociar a las parejas cuyas ecuaciones daban la misma solución. De manera informal, podemos pensar entonces a la pareja $(a,b)$ como si fuera $a-b$. Pero ojo: esto sólo es intuición, pues $a$ y $b$ son elementos de $\mathbb{N}$ y ahí no hay operación de resta.
De cualquier forma, esta intuición es valiosa, pues nos sugiere cuál debería de ser la definición de producto. De manera intuitiva, queremos que suceda $(a-b)(c-d)=ac-ad-bc+bd=(ac+bd)-(ad+bc)$, y aquí cada término entre paréntesis sí es un natural válido: $ac+bd$ y $ad+bc$, así que el resultado correspondería a la pareja $(ac+bd,ad+bc)$. Es muy interesante que esta intuición informal en verdad da una buena definición de producto.
Definición. El producto en $\mathbb{Z}$ es la función $\star:\mathbb{Z}\times \mathbb{Z}\to \mathbb{Z}$ tal que para enteros $\overline{(a,b)}$ y $\overline{(c,d)}$, se tiene que $$\overline{(a,b)} \star \overline{(c,d)}=\overline{(ac+bd),(ad+bc)}.$$
Como en el caso de la suma, estamos usando un símbolo especial para el producto en $\mathbb{Z}$, de modo que podamos distinguirlo del producto en $\mathbb{N}$. Así como en el caso de la suma, sólo haremos la distinción explícita en este momento. Usualmente nos referiremos al producto de enteros $\overline{(a,b)}$ y $\overline{(c,d)}$ como $\overline{(a,b)}\cdot \overline{(c,d)}$, o simplemente como $\overline{(a,b)}\, \overline{(c,d)}$. Esto será claro por el contexto.
El producto en $\mathbb{Z}$ está bien definido
Nuestra definición de producto en $\mathbb{Z}$ es un poco extraña, así que debemos dedicar algo de trabajo a verificar que en realidad es el producto tal y como siempre lo habíamos conocido. La primer cosa que debemos hacer es ver que el producto en $\mathbb{Z}$ está bien definido, es decir, que el resultado es el mismo independientemente de los representantes que se elijan para realizar la multiplicación.
Proposición. El producto en $\mathbb{Z}$ está bien definido.
Demostración. Comencemos con parejas $(a,b)\sim (e,f)$ y $(c,d)\sim (g,h)$. Como $(a,b) \sim (e,f)$, entonces $$ a + f = b + e.$$ También, $(c,d) \sim (g,h)$, implica que $$c + h = d + g.$$
Usando la definición de producto de dos enteros, se tiene por un lado que
$$\overline{(a,b)}\,\overline{(c,d)} = \overline{(ac + bd, ad + bc)}.$$
Por otro lado, tenemos
$$\overline{(e,f)}\,\overline{(g,h)} = \overline{(eg + fh, eh + fg )}.$$
Así, debemos demostrar que $\overline{(ac + bd, ad + bc)} = \overline{(eg + fh, eh + fg )}$. Poniendo en términos de la relación de equivalencia, se deberá cumplir que $$ (ac + bd) + (eh + fg) = (ad + bc) + (eg + fh).$$
Multiplicando las primeras igualdades que encontramos, tenemos lo siguiente:
\begin{align*}
(a + f) (c+h) &= (b+e)(d +g) \\
ac + ah + fc + fh &= bd + bg + ed + eg.
\end{align*}
Sumemos $bd + fh$ en ambos lados de la ecuación y usemos nuevamente las hipótesis para obtener las siguientes igualdades:
\begin{align*}
(bd + fh) + ac + ah + fc + fh &= (bd + fh) + bd + bg + ed + eg \\
(ac + bd) + h(a + f) + f(c + h) &= b(d + g) + d(b +e) + (eg + fh) \\
(ac + bd) + h (b + e) + f (d + g) &= b(c + h) + d(a + f) + (eg + fh) \\
(ac + bd + eh + fg) + hb + df &= (bc + ad + eg + fh) + hb + df \\
ac + bd + eh + fg &= ad + bc + eg + fh.
\end{align*}
Esto es justo lo que queríamos mostrar.
$\square$
En la demostración anterior estamos usando las propiedades de las operaciones en $\mathbb{N}$ ya prácticamente sin enunciarlas. A estas alturas ya podemos hacer eso, pues hemos trabajado bastante con ellas. Sin embargo, es importante que de vez en cuando te preguntes por qué se vale cada una de las igualdades.
Propiedades del producto en $\mathbb{Z}$
Ya que hemos definido el producto en los enteros, es importante verificar que hay algunas propiedades que se cumplen. Esto nos permitirá más adelante trabajar sin problema con el producto de enteros, como se ha hecho desde la educación básica.
Proposición. Se satisfacen las siguientes propiedades para la operación de producto en $\mathbb{Z}$.
- Asociatividad. Para enteros $\overline{(a,b)}$, $\overline{(c,d)}$ y $\overline{(e,f)}$ se satisface que $$(\overline{(a,b)}\,\overline{(c,d)})\overline{(e,f)}=\overline{(a,b)}(\overline{(c,d)}\,\overline{(e,f)}).$$
- Conmutatividad. Para enteros $\overline{(a,b)}$ y $\overline{(c,d)}$ se satisface que $$\overline{(a,b)}\,\overline{(c,d)}=\overline{(c,d)}\,\overline{(a,b)}.$$
- Neutro. Existe un elemento neutro, es decir, existe un entero $\overline{(m,n)}$ tal que para cualquier entero $\overline{(a,b)}$ se cumple que $$\overline{(a,b)}\,\overline{(m,n)}=\overline{(a,b)}.$$
- Los únicos elementos que tienen inverso multiplicativo son $\overline{(1,0)}$ y $\overline{(0,1)}$.
Demostración. Las demostraciones de la asociatividad y la conmutatividad quedan como tarea moral. La sugerencia es desarrollar ambos lados de las igualdades usando la definición de producto, y luego utilizar propiedades del producto y la suma en $\mathbb{N}$.
El elemento que sirve como neutro para el producto es el $\overline{(1,0)}$. En efecto, usando la definición tenemos que: $$\overline{(a,b)}\,\overline{(1,0)}=\overline{(a\cdot 1+b\cdot 0, a\cdot 0 + b\cdot 1)}=\overline{(a,b)}.$$
Es sencillo ver que los elementos indicados sí tienen inverso. El inverso de $\overline{(1,0)}$ es él mismo y el inverso de $\overline{(0,1)}$ también es él mismo. En efecto:
\begin{align*}
\overline{(1,0)}\,\overline{(1,0)}&=\overline{(1\cdot 1+0\cdot 0,1\cdot 0+0\cdot 1)}=\overline{(1,0)}\\
\overline{(0,1)}\,\overline{(0,1)}&=\overline{(0\cdot 0+1\cdot 1,0\cdot 1+1\cdot 0)}=\overline{(1,0)}.
\end{align*}
Para ver que estos son los únicos elementos que tienen inversos, supongamos que algún otro entero $\overline{(a,b)}$ tiene inverso multiplicativo $\overline{(c,d)}$. Esto querría decir que $\overline{(ac+bd,ad+bc)}=\overline{(1,0)}$, que en términos de la relación de equivalencia se traduce a $$ac+bd=ad+bc+1.$$
Si $a=b$, la igualdad no se puede dar pues tendríamos $ac+ad=ad+ac+1$, que es imposible. Por tricotomía en $\mathbb{N}$, tenemos entonces que $a>b$ o $a<b$. Resolveremos el caso $a>b$ y el caso $a<b$ quedará como tarea moral.
Si $a=b+1$, entonces la igualdad queda como $(b+1)c+bd=(b+1)d+bc+1$, que se simplifica a $c=d+1$. Esto nos da la solución $\overline{(a,b)}=\overline{(c,d)}=\overline{(1,0)}$.
En otro caso, tenemos $a\geq b+2$ y por lo tanto podemos escribir $a=b+1+k$ con $k\geq 1$. La igualdad queda entonces como $$(b+1+k)c+bd=(b+1+k)d+bc+1.$$ Desarrollando y simplificando tenemos que $$c+kc=d+kd+1.$$ Si $d\geq c$, el lado derecho claramente es más grande, así que no hay solución. De este modo, $d<c$ y por lo tanto podemos escribir $c=d+l$ con $l\geq 1$. Usando esta igualdad en $c+kc=d+kd+1$, llegamos a la igualdad $$d+l+kd+kl=d+kd+1,$$ que se simplifica a $$l(k+1)=1.$$ Pero como $k\geq 1$, entonces $k+1\geq 2$ y como además $l\geq 1$, tenemos $l(k+1)\geq 2$, así que en este caso no tenemos soluciones.
$\square$
Las propiedades anteriores se pueden enunciar únicamente en términos de la operación de producto. Además de estas propiedades, hay otra que nos dice cómo el producto interactúa con la operación suma en $\mathbb{Z}$.
Proposición. Se cumple la ley distributiva para la suma y el producto, es decir, para enteros $\overline{(a,b)}$, $\overline{(c,d)}$ y $\overline{(e,f)}$ se cumple que $$\overline{(a,b)}(\overline{(c,d)}+\overline{(e,f)})=\overline{(a,b)}\,\overline{(c,d)}+\overline{(a,b)}\,\overline{(e,f)}.$$
Demostración. Realizando la operación correspondiente al lado izquierdo tenemos:
\begin{align*}
\overline{(a,b)}(\overline{(c,d)}+\overline{(e,f)})&=\overline{(a,b)}\,\overline{(c+e,d+f)}\\
&=\overline{(a(c+e)+b(d+f),a(d+f)+b(c+e))}\\
&=\overline{(ac+ae+bd+bf,ad+af+bc+be)}.
\end{align*}
Observa cómo aquí se está usando la propiedad distributiva, pero en $\mathbb{N}$.
Realizando la operación correspondiente al lado derecho tenemos:
\begin{align*}
\overline{(a,b)}\,\overline{(c,d)}+\overline{(a,b)}\,\overline{(e,f)}&=\overline{(ac+bd,ad+bc)}+\overline{(ae+bf,af+be)}\\
&=\overline{(ac+bd+ae+bf,ad+bd+af+be)}.
\end{align*}
Usando la conmutatividad de la suma en $\mathbb{N}$, obtenemos que esta expresión es igual a la del lado izquierdo, como queríamos.
$\square$
Divisores de cero y cancelación
Hasta donde hemos platicado, los enteros tienen suma, resta y producto. Sin embargo, en los enteros todavía no tenemos una operación de división. Esto causa un par de dificultades. Una de estas es que cuando queremos resolver ecuaciones del estilo $a=bx$ con $a$ y $b$ enteros y $x$ un entero por determinar, no podemos simplemente «pasar la $b$ dividiendo» y obtener $x=a/b$. Otra dificultad es que cuando tenemos una igualdad del estilo $ab=ac$ tampoco podemos simplemente «dividir entre $a$».
La primer dificultad la estudiaremos más a detalle cuando entremos a teoría de números qué es lo que sí se puede hacer en $\mathbb{Z}$. Para la segunda, resulta que de cualquier forma podemos concluir casi siempre que $b=c$.
Antes de demostrar esto, veamos un resultado intermedio auxiliar. La siguiente proposición a veces se enuncia como que $\mathbb{Z}$ no tiene divisores de cero, o bien como que si el producto de dos enteros es cero, entonces alguno de ellos debe de ser cero.
Proposición. Si $\overline{(a,b)}$, $\overline{(c,d)}$ pertenecen a $\mathbb{Z}$ y $\overline{(a,b)}\,\overline{(c,d)}=\overline{(0,0)}$, entonces $\overline{(a,b)}=\overline{(0,0)}$ o $\overline{(c,d)}=\overline{(0,0)}$.
Demostración. Para que el producto $$\overline{(a,b)}\,\overline{(c,d)}=\overline{(ac+bd,ad+bc)}$$ sea igual al entero $\overline{(0,0)}$, debe suceder que $$ac+bd+0=ad+bc+0,$$ es decir, que $ac+bd=ad+bc$. A partir de esto, debemos de demostrar que o bien $a=b$, o bien que $c=d$. Supongamos que $a\neq b$ (en otro caso, ya tenemos lo buscado). Por tricotomía, debe pasar $a>b$ ó $a<b$.
Si $a>b$, entonces existe un entero $k>1$ tal que $a=b+k$, de modo que tenemos las siguientes igualdades:
\begin{align*}
ac+bd&=ad+bc\\
(b+k)c+bd&=(b+k)d+bc\\
bc+kc+bd&=bd+kd+bc\\
kc&=kd.
\end{align*}
Como $k>=1$, podemos usar la cancelación del producto en $\mathbb{N}$ para obtener $c=d$, como queríamos. Falta el caso $a<b$, pero es análogo al anterior. Los detalles quedan como tarea moral.
$\square$
Ahora sí podemos demostrar que en $\mathbb{Z}$ se vale cancelar factores distintos de cero.
Proposición. Sean $\overline{(a,b)}$, $\overline{(c,d)}$, $\overline{(e,f)}$ elementos en $\mathbb{Z}$. Supongamos que $\overline{(a,b)}\neq \overline{(0,0)}$ y que $$\overline{(a,b)}\,\overline{(c,d)}=\overline{(a,b)}\,\overline{(e,f)}.$$
Entonces $\overline{(c,d)}=\overline{(e,f)}$.
Demostración. Tenemos las siguientes igualdades:
\begin{align*}
\overline{(a,b)}\,\overline{(c,d)}&=\overline{(a,b)}\overline{(e,f)}\\
\overline{(a,b)}\,\overline{(c,d)}-\overline{(a,b)}\overline{(e,f)}&=0\\
\overline{(a,b)}(\overline{(c,d)}-\overline{(e,f)})&=0.\\
\end{align*}
Para pasar de la primera a la segunda, estamos restando de ambos lados, lo cual es válido en $\mathbb{Z}$. De la segunda igualdad a la tercera se está usando la ley distributiva para la resta (ver Tarea moral). A partir de aquí podemos usar la proposición anterior. Como $\overline{(a,b)}$ no es cero, entonces $\overline{(c,d)}-\overline{(e,f)}=0$. De aquí se obtiene $\overline{(c,d)}=\overline{(e,f)}$, que es lo que queríamos mostrar.
$\square$
Más adelante…
Ya tenemos las operaciones para los números enteros. Aún nos falta introducir un concepto muy importante: el de orden. Esto lo haremos en la siguiente entrada. Además, veremos que la noción de orden en $\mathbb{Z}$ es compatible con sus operaciones.
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.
- Realiza por definición el producto de los enteros $\overline{(8,3)}$ y $\overline{(3,5)}$. ¿Lo que obtienes tiene sentido con el hecho de que $5\cdot (-2)=-10$?
- Demuestra que el producto en $\mathbb{Z}$ es asociativo y conmutativo.
- Para terminar la demostración de que $\mathbb{Z}$ no tiene divisores de cero, muestra que si se tienen naturales $a,b,c,d$ tales que $ac+bd=ad+bc$ y $a<b$, entonces $c=d$. Recuerda que debes trabajar todo en $\mathbb{N}$, en donde no se pueden restar elementos.
- Termina la demostración de que en $\mathbb{Z}$ los únicos elementos con inversos multiplicativos son $\overline{(1,0)}$ y $\overline{(0,1)}$. Tendrás que llegar a que en el caso faltante la única solución es $\overline{(a,b)}=\overline{(c,d)}=\overline{(0,1)}$.
- Enuncia y demuestra una ley distributiva para la resta.
- Si definiéramos al producto de dos enteros $\overline{(a,b)}$ y $\overline{(c,d)}$ como el entero $\overline{(ac,bd)}$, ¿cuáles de las propiedades que hemos discutido en esta entrada fallarían?
Entradas relacionadas
- Ir a: Álgebra Superior II
- Entrada anterior del curso: Construcción de los enteros y su suma
- Siguiente entrada del curso: El orden en los enteros
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»