Me preguntaba cómo asignar el conjunto de $\mathbb{Z}^+$ a la secuencia de $1, 2, 3, 1, 2, 3, \ldots$. Pensé que iba a ser fácil, pero yo sólo era capaz de obtener una respuesta a través de ensayo y error.
Para una función de $f \colon \mathbb{Z}^+ \rightarrow \mathbb{Z}$, tenemos que
$f(x) = x \bmod 3$ da los números de $1, 2, 0, 1, 2, 0, \ldots$
$f(x) = (x \bmod 3) + 1$ da los números de $2, 3, 1, 2, 3, 1, \ldots$
Después de un poco de experimentación, por fin he encontrado que
$f(x) = ((x + 2) \bmod 3) + 1$ da los números de $1, 2, 3, 1, 2, 3, \ldots$
Más generalmente, si quiero asignar el conjunto de $\mathbb{Z}^+$ a la secuencia de $\{1, 2, \ldots, n, 1, 2, \ldots, n, \ldots\}$, necesito usar la función
$$f(x) = ((x + n - 1) \bmod n) + 1$$
Yo sólo era capaz de llegar a este resultado, por ensayo y error. Yo no era capaz de encontrar una solución a esta pregunta relativamente simple en línea (aunque tal vez mis términos de búsqueda fueron off).
¿Cómo podría uno llegar a este resultado de una manera más sistemática?