Introducción
La función suma
Usaremos el teorema de recursión que revisamos en la entrada pasada para definir la función suma entre números naturales.
Primero, recordemos qué nos menciona este teorema:
Teorema (Recursión Débil): Sea $X$ un conjunto y $x_{0}\in X$. Supongamos que tenemos una función $f:X\to X$. Entonces existe una única función $\phi:\mathbb{N}\to X$ tal que:
- $\phi(0)=x_{0}$
- $\phi(\sigma(n))=f(\phi(n)).$
Ahora, definamos la función suma como sigue: La función sumar $n$ unidades a un número estará dada por $s_n:\mathbb{N} \rightarrow \mathbb{N} $ dada por:
- $s_n(0) = n$
- $s_n(\sigma(m)) = \sigma(s_n(m))$
Notación: Para cada par de números naturales $n,m$, escribiremos $$s_n(m) = n+m. $$
Y por el teorema de recursión, esta es una función bien definida. Ahora veamos cuál es esta función. La primera condición nos dice que la función evaluada en el $0$ es $n$. Ahora veamos cómo es que esta función se define para los siguientes números, nota que si aplicamos la segunda condición, obtenemos que $$s_n(\sigma(0)) = \sigma(s_n(0)).$$ Recordando cómo definimos la función sucesora, sustituimos $\sigma(0)$ por $1$ para obtener que $$s_n(1) = \sigma(s_n(0)) = \sigma(n).$$ De tal manera que $$s_n(1) = n+1 .$$ De manera similar se puede comprobar que $$s_n(2)=n+2 .$$ Y de manera recursiva, podemos demostrar que $$\begin{align*}
s_n(3) &= n+3 \\
s_n(4) &= n+4 \\
s_n(5) &= n+5 \\
&\vdots \\
s_n(m) &= n+m \\
&\vdots
\end{align*}$$ Como podrás observar, la función $s_n$ corresponde a sumarle a un número $n$ unidades. Formalmente así es como se defina la suma entre dos números. Veamos a continuación algunas propiedades de la suma. Como dato adicional, nota que para todo número natural $n$, $s_n(1)=\sigma(n)$ .
Propiedades de la suma
Proposición. La suma es asociativa, esto quiere decir, para $n,m,k \in \mathbb{N}$ se cumple que: $$ s_n(s_m(k)) = s_{n+m}(k) .$$
Demostración. Sean $n,m,k \in \mathbb{N}$. Lo que queremos demostrar es que $$n+(m+k) = (n+m)+k.$$ Para ello, nota que bastará probar que $s_n \circ s_m = s_{n+m}$. Para ello notemos que
- $s_n(s_m(0)) = s_n(m) = m+n$
- $s_n(s_m(\sigma(k))) = s_n(\sigma(s_m(k))) = \sigma(s_n(s_m(k)))$
Por otro lado, por definición de la suma:
- $s_{n+m}(0) = n+m$
- $s_{n+m}(\sigma(k)) = \sigma(s_{n+m}(k))$
Esto quiere decir que tanto $s_n \circ s_m$ como $s_{n+m}$ cumplen las dos condiciones del teorema de recursión, y este nos asegura que $$s_{n+m} = s_n \circ s_m$$ pues el teorema asegura que la función que cumple dichas dos condiciones es única.
$\square$
Proposición. La suma es conmutativa. Es decir, para $n,m,k \in \mathbb{N}$ se cumple que: $$s_n(m) = s_m(n).$$
Demostración. Sea $n \in \mathbb{N}$ . Haremos la demostración por inducción sobre $m$.
Base inductiva. Notemos que $s_n(0) = n$. Por otro lado, se puede demostrar sin mucha dificultad que $s_0(n) = n$ (se deja como tarea moral la demostración de este enunciado). De esta manera $$s_n(0) = s_0(m). $$
Hipótesis de inducción. Supongamos que $m \in \mathbb{N}$ es tal que $$s_n(m) = s_m(n). $$
Paso inductivo. Ahora demostraremos que $$s_n(\sigma(m)) = s_{\sigma(m)}(n). $$Para ello notemos que $$s_n(\sigma(m)) = \sigma(s_n(m))$$Ahora, aplicando la hipótesis de inducción, tenemos que $$\sigma(s_n(m)) = \sigma(s_m(n)). $$ Ahora, nota que $$ \begin{align*}
\sigma(s_m(n)) &= s_m(\sigma(n)) \\
& = s_m(s_1(n))\\
&= s_{m+1}(n) \\
&= s_{\sigma(m)}(n)
\end{align*}$$
Estas últimas dos igualdades son válidas debido a la asociatividad de la suma. Es una vez concluido esto último que podemos seguir la cadena de igualdades. Esto resulta en que $s_n(\sigma(m)) = s_{\sigma(m)}(n). $ Como se quería demostrar.
$\square$
La multiplicación
Cuando apenas estamos aprendiendo a sumar, alguna vez nos encontramos con una abreviación de sumar los mismos términos. Por ejemplo, nos dicen que si tenemos tres grupos de perros, cada uno con cinco perros, entonces podríamos contar el número total de perros con la siguiente expresión:
$5+5+5$
Quizá no es tan tardado en escribir $5+5+5$, y llegaríamos a la conclusión de que hay $15$ perros en total. Pero ahora ¿Qué pasaría si tenemos trescientos grupos de perros con cinco perros cada uno? Pues la notación se complica, pues para escribirlo, deberíamos anotar $5+5\underbrace{+\dots+}_{296 \text{ veces}}5+5$, es decir, sumar $5$ unas $300$ veces.
Es por esto que se llega a la noción de multiplicación, pues al considerar la primera suma, bien podemos escribir: $$5+5+5 = 3 \times 5.$$ Y la segunda suma: $$5+5\underbrace{+\dots+}_{296 \text{ veces}}5+5 = 300 \times 5 .$$
Ahora, nota que la primera suma se puede expresar como $$(5+5)+5 = (2 \times 5) + 5 $$ De manera que sabemos que $$3 \times 5 = (s(1) \times 5) + 5 .$$
De igual forma $$(s(298)\times 5) + 5 = 300 \times 5$$ Eso generalizando a cualquier número $n \in \mathbb{N}$ lo escribiríamos como $$s(n) \times 5 = (n \times 5) + 5 $$ Y para cualquier número $m \in \mathbb{N}$: $$s(n) \times m = (n \times m) + m $$
Definición de la multiplicación
Sean $n, m \in \mathbb{N}$, la multiplicación entre números naturales la definiremos como la función $\times : \mathbb{N} \rightarrow \mathbb{N}$ tal que:
$$\begin{align*}
0 &\times n = 0 \\
s(n) &\times m = (n \times m) + m
\end{align*} $$
Nota que esta es una definición recursiva, pues la definición de la multiplicación del sucesor de un elemento depende de la multiplicación del mismo elemento.
Usando el hecho de que sabemos que la multiplicación con el $0$ siempre es $0$, podemos obtener una propiedad interesante al ver qué pasa cuando multiplicamos cualquier elemento con el $1$, pues resultará que la multiplicación se comportará como la identidad cuando multiplicamos con el $1$.
Proposición. Para cualquier número natural $m$, $1 \times m = m$.
Demostración. Notemos que por definición $$0 \times m = 0$$, de manera que $$1 \times m = s(0) \times m $$.
A su vez, podemos usar la otra propiedad de la multiplicación para sustituir el término $s(0)$: $$s(0) \times m = (0 \times m)+m=m $$ Llegando así al resultado deseado.
$\square$
Otra proposición interesante es que esta operación es conmutativa, y es algo que sabemos por sentido común, pues podríamos escribir que $$3 \times 5 = 5 +5+5 = 15=3+3+3+3+3=5\times 3 $$ Nuestro sentido común nos lo dice, sin embargo para demostrar esto, deberemos usar inducción matemática.
Proposición. La multiplicación de números naturales es conmutativa.
Demostración. Para esto notemos que podemos definir la multiplicación de cada número natural $m$ en términos de el teorema débil de recursividad como:
$$\begin{cases}
f_m(0) &= 0\\
f_m(n+1) &= m \times n + m
\end{cases}
$$
Ahora definamos la función $g_m(n) = n \times m$ y veamos que es la misma que $f$.
Notemos que cualquier suma de $0$ consigo misma es $0$, haciendo que $g_m(0)=0$ esto se puede demostrar por inducción y resulta una tarea que puede poner en práctica tus habilidades para este tipo de demostraciones.
Notemos que adicionalmente:
$$\begin{align*}
g_m(n+1) &= (n+1) \times m\\
&= (n \times m) + m \\
&= g_m(n)+m
\end{align*} $$
Demostrando que $g_m$ también cumple la definición de $f_m$. Como el teorema de recursión débil nos garantiza que $f_m$ es única, entonces $g_m=f_m$, esto quiere decir que $m \times n = n \times m$.
Como esto sucede para cualquier número natural $m$, entonces es cierta la siguiente afirmación: «$\forall m,n \in \mathbb{N}, m\times n = n \times m$».
$\square$
Más adelante…
Ahora que hemos visto la suma y multiplicación de los números naturales, hablaremos un poco más de los conjuntos y su relación con los números naturales introduciendo «el tamaño de los conjuntos» o «cardinalidad».
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.
- Demuestra que para todo número natural $n$, $s_n(1)=\sigma(n)$.
- Demuestra que para todo número natural $n$, $s_0(n)=n$.
- Demuestra que la multiplicación es asociativa.
- Demuestra que $0 \times n = n \times 0$.
Entradas relacionadas
- Ir a Álgebra Superior I
- Entrada anterior del curso: Principio de recursión en los números naturales
- Siguiente entrada del curso: Cardinalidad de conjuntos finitos
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»