Relación entre pares de funciones aritméticas
En matemáticas , la fórmula de inversión clásica de Möbius es una relación entre pares de funciones aritméticas , cada una definida a partir de la otra mediante sumas sobre divisores . Fue introducido en la teoría de números en 1832 por August Ferdinand Möbius . [1]
Una gran generalización de esta fórmula se aplica a la suma de un conjunto arbitrario localmente finito parcialmente ordenado , aplicándose la fórmula clásica de Möbius al conjunto de los números naturales ordenados por divisibilidad: ver álgebra de incidencia .
Declaración de la fórmula
La versión clásica establece que si g y f son funciones aritméticas que satisfacen
![{\displaystyle g(n)=\sum _{d\mid n}f(d)\quad {\text{para cada número entero }}n\geq 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
entonces
![{\displaystyle f(n)=\sum _{d\mid n}\mu (d)g\left({\frac {n}{d}}\right)\quad {\text{para cada número entero }} n\geq 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde μ es la función de Möbius y las sumas se extienden sobre todos los divisores positivos d de n (indicados por en las fórmulas anteriores). En efecto, la f ( n ) original se puede determinar dada g ( n ) utilizando la fórmula de inversión. Se dice que las dos secuencias son transformadas de Möbius entre sí.![{\displaystyle d\mid n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La fórmula también es correcta si f y g son funciones de números enteros positivos en algún grupo abeliano (visto como un módulo Z ).
En el lenguaje de las convoluciones de Dirichlet , la primera fórmula puede escribirse como
![{\displaystyle g={\mathit {1}}*f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde ∗ denota la convolución de Dirichlet y 1 es la función constante 1 ( n ) = 1 . La segunda fórmula se escribe entonces como
![{\displaystyle f=\mu *g.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En el artículo sobre funciones multiplicativas se dan muchos ejemplos específicos .
El teorema se sigue porque ∗ es (conmutativo y) asociativo, y 1 ∗ μ = ε , donde ε es la función identidad para la convolución de Dirichlet, tomando valores ε (1) = 1 , ε ( n ) = 0 para todo n > 1 . De este modo
.
Reemplazando por , obtenemos la versión producto de la fórmula de inversión de Möbius:![{\displaystyle f,g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \ln f,\ln g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g(n)=\prod _{d|n}f(d)\iff f(n)=\prod _{d|n}g\left({\frac {n}{d}}\ derecha)^{\mu (d)},\forall n\geq 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Relaciones en serie
Dejar
![{\ Displaystyle a_ {n} = \ suma _ {d \ mid n} b_ {d}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de modo que
![{\displaystyle b_{n}=\sum _ {d\mid n}\mu \left({\frac {n}{d}}\right)a_{d}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es su transformación. Las transformadas se relacionan mediante series: la serie de Lambert
![{\displaystyle \sum _{n=1}^{\infty }a_{n}x^{n}=\sum _{n=1}^{\infty }b_{n}{\frac {x^{ n}}{1-x^{n}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y la serie de Dirichlet :
![{\displaystyle \sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}=\zeta (s)\sum _{n=1}^{\ infinito }{\frac {b_{n}}{n^{s}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde ζ ( s ) es la función zeta de Riemann .
Transformaciones repetidas
Dada una función aritmética, se puede generar una secuencia bi-infinita de otras funciones aritméticas aplicando repetidamente la primera suma.
Por ejemplo, si se comienza con la función totiente de Euler φ y se aplica repetidamente el proceso de transformación, se obtiene:
- φ la función totiente
- φ ∗ 1 = I , donde I ( n ) = n es la función identidad
- I ∗ 1 = σ 1 = σ , la función divisora
Si la función inicial es la propia función de Möbius, la lista de funciones es:
- μ , la función de Möbius
- μ ∗ 1 = ε donde
![{\displaystyle \varepsilon (n)={\begin{casos}1,&{\text{if }}n=1\\0,&{\text{if }}n>1\end{casos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es la función unitaria - ε ∗ 1 = 1 , la función constante
- 1 ∗ 1 = σ 0 = d = τ , donde d = τ es el número de divisores de n , (ver función divisor ).
Ambas listas de funciones se extienden infinitamente en ambas direcciones. La fórmula de inversión de Möbius permite recorrer estas listas hacia atrás.
Como ejemplo, la secuencia que comienza con φ es:
![{\displaystyle f_{n}={\begin{cases}\underbrace {\mu *\ldots *\mu } _{-n{\text{ factores}}}*\varphi &{\text{if }}n <0\\[8px]\varphi &{\text{if }}n=0\\[8px]\varphi *\underbrace {{\mathit {1}}*\ldots *{\mathit {1}}} _{n{\text{ factores}}}&{\text{if }}n>0\end{casos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las secuencias generadas tal vez puedan entenderse más fácilmente considerando la serie de Dirichlet correspondiente : cada aplicación repetida de la transformada corresponde a la multiplicación por la función zeta de Riemann .
Generalizaciones
Una fórmula de inversión relacionada más útil en combinatoria es la siguiente: supongamos que F ( x ) y G ( x ) son funciones de valores complejos definidas en el intervalo [1, ∞) tales que
![{\displaystyle G(x)=\sum _{1\leq n\leq x}F\left({\frac {x}{n}}\right)\quad {\mbox{ para todos }}x\geq 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
entonces
![{\displaystyle F(x)=\sum _{1\leq n\leq x}\mu (n)G\left({\frac {x}{n}}\right)\quad {\mbox{ para todos }}x\geq 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Aquí las sumas se extienden a todos los números enteros positivos n que sean menores o iguales que x .
Éste, a su vez, es un caso especial de una forma más general. Si α ( n ) es una función aritmética que posee una inversa de Dirichlet α −1 ( n ) , entonces si se define
![{\displaystyle G(x)=\sum _{1\leq n\leq x}\alpha (n)F\left({\frac {x}{n}}\right)\quad {\mbox{ para todos }}x\geq 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
entonces
![{\displaystyle F(x)=\sum _{1\leq n\leq x}\alpha ^{-1}(n)G\left({\frac {x}{n}}\right)\quad { \mbox{ para todos }}x\geq 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La fórmula anterior surge en el caso especial de la función constante α ( n )=1 , cuyo inverso de Dirichlet es α −1 ( n )= μ ( n ) .
Una aplicación particular de la primera de estas extensiones surge si tenemos funciones (de valores complejos) f ( n ) y g ( n ) definidas en los números enteros positivos, con
![{\displaystyle g(n)=\sum _{1\leq m\leq n}f\left(\left\lfloor {\frac {n}{m}}\right\rfloor \right)\quad {\mbox { para todos }}n\geq 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Al definir F ( x ) = f (⌊ x ⌋) y G ( x ) = g (⌊ x ⌋) , deducimos que
![{\displaystyle f(n)=\sum _{1\leq m\leq n}\mu (m)g\left(\left\lfloor {\frac {n}{m}}\right\rfloor \right) \quad {\mbox{ para todos }}n\geq 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un ejemplo sencillo del uso de esta fórmula es contar el número de fracciones reducidas 0 <a/b< 1 , donde a y b son coprimos y b ≤ n . Si dejamos que f ( n ) sea este número, entonces g ( n ) es el número total de fracciones 0 <a/b< 1 con b ≤ n , donde a y b no son necesariamente coprimos. (Esto se debe a que cada fraccióna/bcon mcd( a , b ) = d y b ≤ n se puede reducir a la fraccióna / d/b / dconb/d≤norte/d, y viceversa.) Aquí es sencillo determinar g ( n ) =norte ( norte - 1)/2, pero f ( n ) es más difícil de calcular.
Otra fórmula de inversión es (donde asumimos que las series involucradas son absolutamente convergentes):
![{\displaystyle g(x)=\sum _{m=1}^{\infty }{\frac {f(mx)}{m^{s}}}\quad {\mbox{ para todos }}x\ geq 1\quad \Longleftrightarrow \quad f(x)=\sum _{m=1}^{\infty }\mu (m){\frac {g(mx)}{m^{s}}}\quad {\mbox{ para todos }}x\geq 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como arriba, esto se generaliza al caso donde α ( n ) es una función aritmética que posee una inversa de Dirichlet α −1 ( n ) :
![{\displaystyle g(x)=\sum _{m=1}^{\infty }\alpha (m){\frac {f(mx)}{m^{s}}}\quad {\mbox{ para all }}x\geq 1\quad \Longleftrightarrow \quad f(x)=\sum _{m=1}^{\infty }\alpha ^{-1}(m){\frac {g(mx)} {m^{s}}}\quad {\mbox{ para todos }}x\geq 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por ejemplo, existe una prueba bien conocida que relaciona la función zeta de Riemann con la función zeta prima que utiliza la forma basada en series de la inversión de Möbius en la ecuación anterior cuando . Es decir, por la representación del producto Euler de para ![{\displaystyle s=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta(s)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \log \zeta (s)=-\sum _{p\mathrm {\ prime} }\log \left(1-{\frac {1}{p^{s}}}\right)=\ suma _{k\geq 1}{\frac {P(ks)}{k}}\iff P(s)=\sum _{k\geq 1}{\frac {\mu (k)}{k} }\log \zeta (ks),\Re (s)>1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Estas identidades para formas alternativas de inversión de Möbius se encuentran en. [2]
Rota construye una teoría más general de las fórmulas de inversión de Möbius parcialmente citada en la siguiente sección sobre álgebras de incidencia. [3]
Notación multiplicativa
Como la inversión de Möbius se aplica a cualquier grupo abeliano, no hay diferencia si la operación del grupo se escribe como suma o como multiplicación. Esto da lugar a la siguiente variante notacional de la fórmula de inversión:
![{\displaystyle {\mbox{si }}F(n)=\prod _{d|n}f(d),{\mbox{ entonces }}f(n)=\prod _{d|n}F\ izquierda({\frac {n}{d}}\right)^{\mu (d)}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Pruebas de generalizaciones
La primera generalización se puede demostrar de la siguiente manera. Usamos la convención de Iverson de que [condición] es la función indicadora de la condición, siendo 1 si la condición es verdadera y 0 si es falsa. Usamos el resultado que
![{\displaystyle \sum _ {d|n}\mu (d)=\varepsilon (n),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es decir, donde está la función unitaria .![{\displaystyle 1*\mu =\varepsilon }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varepsilon }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tenemos lo siguiente:
![{\displaystyle {\begin{aligned}\sum _{1\leq n\leq x}\mu (n)g\left({\frac {x}{n}}\right)&=\sum _{1 \leq n\leq x}\mu (n)\sum _{1\leq m\leq {\frac {x}{n}}}f\left({\frac {x}{mn}}\right) \\&=\sum _{1\leq n\leq x}\mu (n)\sum _{1\leq m\leq {\frac {x}{n}}}\sum _{1\leq r \leq x}[r=mn]f\left({\frac {x}{r}}\right)\\&=\sum _{1\leq r\leq x}f\left({\frac { x}{r}}\right)\sum _{1\leq n\leq x}\mu (n)\sum _{1\leq m\leq {\frac {x}{n}}}\left[ m={\frac {r}{n}}\right]\qquad {\text{reorganizando el orden de la suma}}\\&=\sum _{1\leq r\leq x}f\left({\frac {x}{r}}\right)\sum _{n|r}\mu (n)\\&=\sum _{1\leq r\leq x}f\left({\frac {x}{ r}}\right)\varepsilon (r)\\&=f(x)\qquad {\text{desde }}\varepsilon (r)=0{\text{ excepto cuando }}r=1\end{alineado }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La prueba en el caso más general donde α ( n ) reemplaza a 1 es esencialmente idéntica, al igual que la segunda generalización.
En posets
Para un poset P , un conjunto dotado de una relación de orden parcial , defina la función de Möbius de P recursivamente por ![{\displaystyle \leq}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (s,s)=1{\text{ para }}s\in P,\qquad \mu (s,u)=-\sum _{s\leq t<u}\mu (s ,t),\quad {\text{ para }}s<u{\text{ en }}P.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
(Aquí se supone que las sumatorias son finitas.) Entonces, para , donde K es un anillo conmutativo, tenemos ![{\displaystyle f,g:P\to K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g(t)=\sum _{s\leq t}f(s)\qquad {\text{ para todos }}t\in P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si y solo si
![{\displaystyle f(t)=\sum _{s\leq t}g(s)\mu (s,t)\qquad {\text{ para todos }}t\in P.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
(Ver Stanley's Enumerative Combinatorics , Vol 1, Sección 3.7.) La función aritmética de Mobius clásica es el caso especial del poset P de enteros positivos ordenados por divisibilidad : es decir, para enteros positivos s, t, definimos el orden parcial como significado que s es divisor de t . ![{\displaystyle s\preccurlyeq t}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Contribuciones de Weisner, Hall y Rota
El enunciado de la fórmula general de inversión de Möbius [para conjuntos parcialmente ordenados] fue dado por primera vez de forma independiente por Weisner (1935) y Philip Hall (1936); Ambos autores estaban motivados por problemas de teoría de grupos. Ninguno de los autores parece haber sido consciente de las implicaciones combinatorias de su trabajo y ninguno desarrolló la teoría de las funciones de Möbius. En un artículo fundamental sobre las funciones de Möbius, Rota mostró la importancia de esta teoría en las matemáticas combinatorias y la trató en profundidad. Observó la relación entre temas como la inclusión-exclusión, la inversión clásica de Möbius en la teoría de números, los problemas de coloración y los flujos en redes. Desde entonces, bajo la fuerte influencia de Rota, la teoría de la inversión de Möbius y temas relacionados se ha convertido en un área activa de la combinatoria. [4]
Ver también
Notas
- ^ Moebius 1832, págs. 105-123
- ^ Manual de funciones matemáticas del NIST, sección 27.5.
- ^ [Sobre los fundamentos de la teoría combinatoria, I. Teoría de las funciones de Möbius | https://link.springer.com/content/pdf/10.1007/BF00531932.pdf]
- ^ Bender y Goldman 1975, págs. 789–803
Referencias
- Apostol, Tom M. (1976), Introducción a la teoría analítica de números , Textos de pregrado en matemáticas, Nueva York-Heidelberg: Springer-Verlag, ISBN 978-0-387-90163-3, SEÑOR 0434929, Zbl 0335.10001
- Bender, Edward A.; Goldman, J. R. (1975), "Sobre las aplicaciones de la inversión de Möbius en el análisis combinatorio", Amer. Matemáticas. Mensual , 82 (8): 789–803, doi :10.2307/2319793, JSTOR 2319793
- Irlanda, K.; Rosen, M. (2010), Una introducción clásica a la teoría de números moderna , Textos de posgrado en matemáticas (libro 84) (2ª ed.), Springer-Verlag, ISBN 978-1-4419-3094-1
- Kung, Joseph PS (2001) [1994], "Inversión de Möbius", Enciclopedia de Matemáticas , EMS Press
- Möbius, AF (1832), "Über eine besondere Art von Umkehrung der Reihen.", Journal für die reine und angewandte Mathematik , 9 : 105–123
- Stanley, Richard P. (1997), Combinatoria enumerativa, vol. 1, Prensa de la Universidad de Cambridge, ISBN 0-521-55309-1
- Stanley, Richard P. (1999), Combinatoria enumerativa, vol. 2, Prensa de la Universidad de Cambridge, ISBN 0-521-56069-1
enlaces externos