Articulo de referencia

Número de Meertens

En teoría de números y lógica matemática , un número de Meertens en una base numérica dada b {\displaystyle b} es un número natural que es su propio número de Gödel . Fue nombra...

En teoría de números y lógica matemática , un número de Meertens en una base numérica dadab{\displaystyle b}es un número natural que es su propio número de Gödel . Fue nombrado en honor a Lambert Meertens por Richard S. Bird como regalo durante la celebración de sus 25 años en el CWI de Ámsterdam . [ 1 ]

Definición

Dejarnorte{\displaystyle n}Sea un número natural. Definimos la función de Meertens para baseb>1{\displaystyle b>1}Fb:nortenorte{\displaystyle F_{b}:\mathbb {N} \rightarrow \mathbb {N} }ser lo siguiente:

Fb(norte)=i=0k1pagki1di.{\displaystyle F_{b}(n)=\prod _{i=0}^{k-1}p_{ki-1}^{d_{i}}.}

dóndek=registrobnorte+1{\displaystyle k=\lfloor \log _{b}{n}\rfloor +1}es el número de dígitos en el número en baseb{\displaystyle b},pagi{\displaystyle p_{i}}es eli{\displaystyle i}el -ésimo número primo (comenzando en 0), y

di=nortemodbi+1nortemodbibi{\displaystyle d_{i}={\frac {n{\bmod {b^{i+1}}}-n{\bmod {b}}^{i}}{b^{i}}}}

es el valor de cada dígito del número. Un número naturalnorte{\displaystyle n}es un número de Meertens si es un punto fijo paraFb{\displaystyle F_{b}}, lo cual ocurre siFb(norte)=norte{\displaystyle F_{b}(n)=n}Esto corresponde a una codificación de Gödel .

Por ejemplo, el número 3020 en baseb=4{\displaystyle b=4}es un número de Meertens, porque

3020=23305270{\displaystyle 3020=2^{3}3^{0}5^{2}7^{0}}.

Un número naturalnorte{\displaystyle n}es un número de Meertens sociable si es un punto periódico paraFb{\displaystyle F_{b}}, dóndeFbk(norte)=norte{\displaystyle F_{b}^{k}(n)=n}para un entero positivok{\displaystyle k}y forma un ciclo de períodok{\displaystyle k}. Un número de Meertens es un número de Meertens sociable conk=1{\displaystyle k=1}y un número de Meertens amigable es un número de Meertens sociable conk=2{\displaystyle k=2}.

El número de iteracionesi{\displaystyle i}necesario paraFbi(norte){\displaystyle F_{b}^{i}(n)}alcanzar un punto fijo es la persistencia de la función de Meertens.norte{\displaystyle n}y no definido si nunca alcanza un punto fijo.

Números de Meertens y ciclos de F b para b específicos

Todos los números están en baseb{\displaystyle b}.

Véase también

Referencias

  1. Richard S. Bird (1998). "Número de Meertens". Journal of Functional Programming . 8 (1): 83– 88. doi : 10.1017/S0956796897002931 . S2CID 2939112 . 
  2. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 (secuencia A246532 en el OEIS )
  • Secuencia OEIS A189398 (a(n) = 2^d(1) * 3^d(2) * ... * primo(k)^d(k))
  • Secuencia OEIS A246532 (Número de Meertens más pequeño en base n, o -1 si no existe).