Función aritmética multiplicativa μ(n) que toma valores en {−1,0,1}: μ(n)=0 si n es divisible por el cuadrado de un primo, y en caso contrario μ(n)= (−1)^{r} donde r es el número de primos distintos que dividen n.

Principio

μ es multiplicativa y es la inversa de Dirichlet de la función constante 1: (μ * 1)(n) = ε(n) (la identidad para la convolución de Dirichlet). Codifica la condición de ser libre de cuadrados y la paridad de factores primos distintos y fundamenta las fórmulas de inversión de Möbius que convierten sumas acumuladas en valores puntuales.

Demostración

Ejemplo: μ(30) = μ(2·3·5) = (−1)^3 = −1 porque 30 es cuadrado‑libre con tres primos distintos; μ(12) = 0 porque 12 es divisible por 2^2. Inversión de Möbius: si F(n)=∑_{d|n} f(d) entonces f(n)=∑_{d|n} μ(d) F(n/d).

Aplicación incorrecta

Usar μ como si fuera multiplicativa sobre enteros no positivos, no asignar μ(n)=0 a números con factores primos al cuadrado, o aplicar la inversión sin comprobar los dominios de suma son usos indebidos típicos.

Consecuencia

μ da la inversión de Möbius que recupera funciones aritméticas a partir de sus sumas sobre divisores; es central en la teoría multiplicativa y aparece en enunciados analíticos (función de Mertens, relaciones con la zeta de Riemann) que reflejan preguntas profundas sobre la distribución de primos y de enteros libres de cuadrados.

Inversión

El valor absoluto |μ(n)| es el indicador de enteros libres de cuadrados (1 si es libre de cuadrados, 0 en caso contrario); en contraste, la función de Liouville λ(n) = (−1)^{Ω(n)} depende del número total de factores primos con multiplicidad y difiere cuando hay factores repetidos.

Límite

Definida solo para enteros positivos n; su multiplicatividad y propiedades de inversión dependen de la aritmética de los enteros. Extender μ a otras estructuras algebraicas requiere una redefinición cuidadosa. Las propiedades estadísticas (por ejemplo la distribución de signos de μ) están sujetas a conjeturas profundas y no están totalmente resueltas.

Tensión semántica

Existe tensión entre μ y λ (Liouville) al comparar la paridad de factores primos distintos con la multiplicidad total, y entre usar μ como herramienta combinatoria de inversión o tratarla como signo 'aleatorio' en heurísticas analíticas; estas perspectivas conducen a distintos énfasis y conjeturas.

Síntesis

La función de Möbius es un invariante multiplicativo compacto que detecta la ausencia de cuadrados y la paridad de los factores primos distintos; como inversa de Dirichlet de 1 permite la inversión de Möbius, convirtiendo relaciones de sumas divisorias en fórmulas explícitas y conectando identidades combinatorias con cuestiones analíticas en teoría de números.