##  [Fórmula de Inversión de Möbius](/es/node/61274) 

 Definición

Identidad que invierte sumas acumuladas sobre divisores (o más generalmente sobre un poset localmente finito) usando la función de Möbius del retículo de divisores o del álgebra de incidencia, permitiendo recuperar una función aritmética o de incidencia a partir de su suma sobre divisores.

 

 

 

 

 

 





## Principio

Principio

La función de Möbius es la inversa de la función zeta (sumatorio) bajo la convolución de Dirichlet (o la convolución del álgebra de incidencia); convolucionar con Möbius deshace la suma sobre elementos menores.

 

 

 

 

 





## Demostración

Demostración

Ejemplo de teoría de números: si F(n) = Σ_{d|n} f(d) para funciones aritméticas f y F, entonces f(n) = Σ_{d|n} μ(d) F(n/d), donde μ es la función de Möbius aritmética; ejemplo combinatorio: recuperar una función en un poset a partir de sus valores acumulados mediante la inversión de Möbius del poset.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Aplicar la inversión de Möbius sin verificar que el conjunto de índices forma un retículo o un poset localmente finito, o usar la μ aritmética cuando el problema requiere otra función de Möbius del álgebra de incidencia; también aplicarla cuando las sumas infinitas divergen.

 

 

 

 

 





## Consecuencia

Consecuencia

Permite la inversión explícita de sumas sobre divisores y sumaciones de incidencia, fundamento de muchas identidades, fórmulas de conteo y para aislar contribuciones primitivas (separar la estructura multiplicativa de los datos acumulados).

 

 

 

 

## Inversión

Inversión

La operación directa es la sumación por la función zeta (suma acumulada sobre divisores o ideales inferiores); invertirla—aplicar la zeta en lugar de μ—produce la función agregada a partir de una función base.

 

 

 

 

 





## Límite

Límite

Válida para funciones aritméticas en enteros positivos bajo divisibilidad y, en general, para funciones en posets localmente finitos con una función de Möbius bien definida; no es aplicable directamente cuando el poset no es localmente finito o se requiere continuación analítica.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Se distingue de técnicas de inversión analíticas (Mellin, Laplace) y de una simple resta término a término: la inversión de Möbius es de naturaleza combinatoria/algébrica y depende de la estructura de incidencia, lo que genera tensión cuando coexisten inversiones analíticas y combinatorias.

 

 

 

 

 





## Síntesis

Síntesis

La inversión de Möbius es la herramienta algebraica que invierte transformadas de suma sobre divisores u órdenes: al convolucionar con la función de Möbius se recuperan valores locales o primitivos a partir de datos agregados, siempre que la estructura de incidencia admita un inverso de Möbius.