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

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

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

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

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

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

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

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

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.