Ordenando las tonterías que tenía escritas desde hacía mucho, me he dado cuenta que hice un decubrimiento y en 2004 otro tipo lo publicó. Me refiero a una biyección de los positivos naturales con los positivos racionales.

En la “On-Line Encyclopedia of Integer Sequences” (un sitio genial: tú pones los términos de una sucesión y te dice como se llama) aparecen tanto la secuencia de los numeradores (A020650) como de los denominadores (A020651). Me parece que el descubridor “oficial” es Antti Karttunen, pero no estoy muy seguro del año, ya que es él mismo el que lo da de alta en la enciclopedia en 2004.

Su definición en la enciclopedia es de una sencillez absoluta:

Numerators in recursive bijection from positive integers to positive rationals (the bijection is f(1) = 1, f(2n) = f(n)+1, f(2n+1) = 1/(f(n)+1)).

Debe ser algo fácil de descubrir, por ejemplo, hay un tipo que dice en un foro que se le ocurrió así de repente: “Simple bijection N <-> Q”

A mí también, pero mucho antes. ¿Pruebas? Presenté un trabajo en Inteligencia Artificial las funciones numerador y denominador (a saber dónde está) Un amigo arquitecto colgó en la pared de su estudio un árbol con los primeros 8 niveles (a saber dónde está) A algunos compañeros y amigos les expliqué mi descubrimiento (a saber qué recuerdan)

También es posible que fuera inventado en el siglo XVII dada mi ignorancia.

Lee más, haz clic aquí ahora:

Lee el resto de esta entrada »