Congruencias. Las matemáticas de la semana

Bienvenidos al Escritorio de Enrique. Antes de nada, si queréis descargaros en pdf el contenido de esta entrada podéis pinchar en este enlace post7. En este artículo vamos a inspeccionar una de las herramientas más importantes de la teoría de números, las congruencias, que como veremos, son una relación de equivalencia definida sobre los números enteros.

Antes de nada, os planteo una pregunta. Si hoy es lunes, ¿qué día de la semana será dentro de 12745 días? Tomaos un rato para pensar la respuesta.

Para responder a la pregunta vamos a hacer corresponder a cada día de la semana un número, de manera razonable. Asignemos los días de la siguiente manera:

Lunes .

Martes .

Miércoles .

Jueves .

Viernes .

Sábado .

Domingo .

También podríamos haber empezado asignando al lunes el , llegando a que el domingo se asigna a , pero más adelante veremos que es más conveniente empezar por . Por ahora, para ver lo natural de esta asignación podemos pensar que a cada día de la semana se le asocia el número de días que han pasado desde el lunes (el lunes se corresponde con el valor porque no ha pasado ningún día).

Habiendo asignado a los días de la semana un valor, al pasar una semana y volver a llegar al lunes, tendríamos que asignarle el número , porque son los días que han pasado desde el primer lunes. Pero el lunes es el , por lo tanto, en esta teoría que estamos desarrollando, . Igualmente, el siguiente martes, que sería el , se corresponde con el número asignado a cualquier martes, el , luego podemos afirmar que . De manera análoga, Ahora podemos pensar en el razonamiento recíproco y plantearnos que si tenemos el número , a qué día de la semana se corresponde. Como se puede ver fácilmente, este día es el viernes, porque si restamos al el número de días de una semana, , volveremos al día de nuestra «idílica primera semana». Así, , y el es el valor asociado al viernes. No es muy difícil extrapolar este procedimiento para calcular el día de la semana asociado a cualquier número, solo tenemos que restar . ¿Pero qué ocurre si al restar esta cantidad seguimos teniendo un número mayor o igual que 7? Por ejemplo, ¿qué ocurre si tenemos el número 23? . No pasa nada, seguimos restando hasta dar con un número menor que . Esto funciona siempre. Así, . Por lo tanto, el se corresponde con el miércoles. Además, como hemos tenido que restar veces el número , han pasado semanas. Otra forma de escribir estas cuentas es la siguiente: o, equivalentemente, . Si recordamos la fórmula que nos enseñaban en la secundaria , comprobaremos que el día de la semana asociado a un número cualquiera es el resto de dividir (dividendo) entre (divisor). Y el número de semanas que han pasado es el cociente.

Recordatorio: El resto de dividir entre , siendo estos dos números enteros, es un valor entero de forma que . Esto garantiza que, como , el resto va a ser un día de la semana (valor entre y ).

Con todo esto, ya podemos responder a la pregunta inicial. Si hoy es lunes, entonces es el día . Para calcular el día de la semana que es dentro de días, dividimos este valor entre , obteniendo como cociente (número de semanas que habrán pasado) y como resto (escrito como en la fórmula anterior, ). Por lo tanto, el día de la semana después de días será el sábado.

Lo que hemos hecho ha sido en el fondo considerar una relación de equivalencia sobre el conjunto de números enteros, , (concepto ya visto en el artículo El conjunto cociente). La relación es la siguiente: dos números enteros están relacionados entre sí () si y solo si el resto de dividir entre es igual al resto de dividir entre . En notación matemática, esto es equivalente a decir que son equivalentes si y solo si existen tales que y . Por ejemplo, porque y . También, porque ( podemos verlo como el día de la semana anterior a la primera semana en la que empezamos a contar, es decir, el día de la semana de hace días). Vamos a comprobar que de verdad esta es una relación de equivalencia. Para verlo, comprobemos que satisface las propiedades reflexiva, simétrica y transitiva.

1. Propiedad reflexiva: Si , entonces , porque, obviamente, el resto de dividir entre es único.
2. Propiedad simétrica: Si , entonces si y solo si , porque da igual en qué orden dividamos entre , siempre obtenemos el mismo resto.
3. Propiedad transitiva: Si , , entonces . Esto es claro porque si el resto de dividir entre es el mismo que al dividir entre , digamos , y el resto de dividir entre (que es ) es el mismo que al dividir entre , este último tiene que ser . Por tanto, .

Entonces sobre , teniendo definida una relación de equivalencia, vamos a considerar sus clases de equivalencia, lo cual es algo bastante fácil después de haber analizado el ejemplo de la semana, porque todo se reducía a los números . Estos van a ser nuestros representantes en las clases de equivalencia (recordamos del artículo antes mencionado que las clases de equivalencia se escribían así: ). Por ejemplo, todo número cuyo resto al dividirlo entre sea estará en la clase del , . Finalmente, vamos a considerar el conjunto cociente de esta relación de equivalencia, que no es más que . Este conjunto se suele denotar por . Normalmente, cuando no ha lugar a confusión, se suele escribir . Sobre este conjunto la suma se comporta de la siguiente manera: . Esto quiere decir que sumar dos números aquí es como sumarlos en y luego encontrar su resto al dividirlo entre . Por ejemplo, por una parte, , y por otra parte (la resta se comporta como la suma de números negativos que, como ya hemos visto, también tienen representación en ). La multiplicación funciona exactamente igual.

Como conclusión, la relación de equivalencia que hemos definido se suele escribir así: , y se lee « es congruente con módulo ». En general, todo este proceso se puede realizar para cualquier , y decir que si y solo si existen tales que y . Así, denotamos .

A la rama de las matemáticas dedicada a las congruencias se le llama aritmética modular. Se han quedado sin ver muchos resultados y propiedades interesantes de la aritmética modular sobre los que escribiré en próximas entradas. Hasta entonces, si queréis profundizar en el tema o conocer más cuestiones sobre la teoría de números os dejo el nombre de un libro que, de manera informal pero rigurosa, sirve a modo de intrducción a «la reina de las matemáticas», como llamaba Gauss a la teoría de números: E. P. Ozhigova – ¿Qué es la teoría de números? Espero que os haya gustado. Si es así, podéis decírmelo en los comentarios. ¡Hasta la próxima!