title: Número de Munchausen
text: # Número de Munchausen
  
  En teoría de números, un invariante perfecto dígito a dígito (PDDI por las siglas del término inglés "perfect digit-to-digit invariant"; también conocido como número de Munchausen) es un número natural en una base $b$ dada que es igual a la suma de sus dígitos, cada uno elevado a una potencia igual a sí mismo.
  Un ejemplo en base 10 es 3435, porque: $3435=3^{3}+4^{4}+3^{3}+5^{5}$.
  El término "número de Munchausen" fue acuñado por el matemático e ingeniero de software holandés Daan van Berkel en 2009, ya que evoca la historia del Barón de Münchhausen que se levantaba del suelo tirando de su propia coleta, lo que sirve de referencia a que cada dígito se debe elevar a una potencia igual a sí mismo.
  
  # Número de Munchausen
  ## Definición
  
  Sea $n$ un número natural que se puede escribir en base $b$ como el número de k dígitos $d_{k-1}d_{k-2}...d_{1}d_{0}$ donde cada dígito $d_{i}$ está entre $0$ y $b-1$ inclusive, y $n=\sum _{i=0}^{k-1}d_{i}b^{i}$. Se define la función $F_{b}:\mathbb {N} \rightarrow \mathbb {N}$ como $F_{b}(n)=\sum _{i=0}^{k-1}{d_{i}}^{d_{i}}$.
  Como 0$^0$ no siempre está definido, se usan dos convenciones, una en la que se considera que es igual a uno y otra en la que se considera que es igual a cero.
  Un número natural $n$ se define como un invariante perfecto dígito a dígito en base b si $F_{b}(n)=n$. Por ejemplo, el número 3435 es un invariante perfecto de dígito a dígito en base 10 porque $3^{3}+4^{4}+3^{3}+5^{5}=27+256+27+3125=3435$
  $F_{b}(1)=1$ para todo $b$, y por lo tanto 1 es un invariante perfecto dígito a dígito "trivial" en todas las bases, y todos los demás invariantes dígito a dígito perfectos son "no triviales". Para la segunda convención donde $0^{0}=0$, tanto $0$ como $1$ son invariantes perfectos de dígito a dígito triviales.
  Un número natural $n$ es un invariante dígito a dígito sociable si es un punto periódico para $F_{b}$, donde $F_{b}^{k}(n)=n$ para un entero positivo $k$, y forma un ciclo de período $k$. Un invariante perfecto dígito a dígito es un invariante sociable dígito a dígito con $k=1$. Un invariante dígito a dígito amistoso es un invariante dígito a dígito sociable con $k=2$.
  Todos los números naturales $n$ son puntos preperiódicos para $F_{b}$, independientemente de la base. Esto se debe a que todos los números naturales de base $b$ con $k$ dígitos satisfacen que $b^{k-1}\leq n\leq (k){(b-1)}^{b-1}$. Sin embargo, cuando $k\geq b+1$, $b^{k-1}>(k){(b-1)}^{b-1}$, por lo que cualquier $n$ satisfará a $n>F_{b}(n)$ hasta $n<b^{b+1}$.
  Hay un número finito de números naturales menor que $b^{b+1}$, por lo que se garantiza que el número alcanzará un punto periódico o un punto fijo menor que $b^{b+1}$, convirtiéndolo en un punto preperiódico. Esto también significa que hay un número finito de invariantes dígito a dígito perfectos y ciclos para cualquier base dada $b$.
  El número de iteraciones $i$ necesarias para que $F_{b}^{i}(n)$ alcance un punto fijo es la función de persistencia $b$-factorión de $n$, e indefinido si nunca llega a un punto fijo.
  
  # Número de Munchausen
  ## Invariantes y ciclos perfectos dígito a dígito de F$_b$ para b específica
  
  Todos los números están representados en la base $b$.
  
  # Número de Munchausen
  ## Invariantes y ciclos perfectos dígito a dígito de F$_b$ para b específica
  ### Convención 0$^0$ = 1
  
  | Base | Invariantes dígito a dígito perfectos no triviales ($n\neq 1$) | Ciclos |
  | 2 | 10 | $\varnothing$ |
  | 3 | 12, 22 | 2 → 11 → 2 |
  | 4 | 131, 313 | 2 → 10 → 2 |
  | 5 | $\varnothing$ | 2 → 4 → 2011 → 12 → 10 → 2 104 → 2013 → 113 → 104 |
  | 6 | 22352, 23452 | 4 → 1104 → 1111 → 4 23445 → 24552 → 50054 → 50044 → 24503 → 23445 |
  | 7 | 13454 | 12066 → 536031 → 265204 → 265623 → 551155 → 51310 → 12125 → 12066 |
  | 8 | | 405 → 6466 → 421700 → 3110776 → 6354114 → 142222 → 421 → 405 |
  | 9 | 31, 156262, 1656547 | |
  | 10 | 3435 | |
  | 11 | | |
  | 12 | 3A67A54832 | |
  
  # Número de Munchausen
  ## Invariantes y ciclos perfectos dígito a dígito de F$_b$ para b específica
  ### Convención 0$^0$ = 0
  
  | Base | Invariantes dígito a dígito perfectos no triviales ($n\neq 0$, $n\neq 1$) | Ciclos |
  | 2 | $\varnothing$ | $\varnothing$ |
  | 3 | 12, 22 | 2 → 11 → 2 |
  | 4 | 130, 131, 313 | $\varnothing$ |
  | 5 | 103, 2024 | 2 → 4 → 2011 → 11 → 2 9 → 2012 → 9 |
  | 6 | 22352, 23452 | 5 → 22245 → 23413 → 1243 → 1200 → 5 53 → 22332 → 150 → 22250 → 22305 → 22344 → 2311 → 53 |
  | 7 | 13454 | |
  | 8 | 400, 401 | |
  | 9 | 30, 31, 156262, 1647063, 1656547, 34664084 | |
  | 10 | 3435, 438579088 | |
  | 11 | $\varnothing$ | $\varnothing$ |
  | 12 | 3A67A54832 | |
  
  # Número de Munchausen
  ## Ejemplos de programación
  ### Python
  
  El siguiente programa en Python determina si un número entero es un Número de Munchausen (o invariante perfecto dígito a dígito) o no, siguiendo la convención $0^{0}=1$.
  Los ejemplos siguientes desarrollan la función invariante de dígito a dígito perfecta descrita en la definición anterior en Python para las dos convenciones.
  
  # Número de Munchausen
  ## Ejemplos de programación
  ### Java
  
  El siguiente programa en Java determina si un número entero es un Número de Munchausen o no, siguiendo la convención $0^{0}=1$.