Función de Moebius - Möbius function
Lleva el nombre de | Agosto Ferdinand Möbius |
---|---|
Año de publicación | 1832 |
Autor de la publicación | Agosto Ferdinand Möbius |
No. de términos conocidos | infinito |
Primeros términos | 1, -1, -1, 0, -1, 1, -1, 0, 0, 1 |
Índice OEIS |
La función de Möbius μ ( n ) es una función multiplicativa importante en la teoría de números introducida por el matemático alemán August Ferdinand Möbius (también transcrito Moebius ) en 1832. Es omnipresente en la teoría de números elemental y analítica y con mayor frecuencia aparece como parte de su homónimo el Fórmula de inversión de Möbius . Tras el trabajo de Gian-Carlo Rota en la década de 1960, las generalizaciones de la función de Möbius se introdujeron en la combinatoria y se denominan de manera similar μ ( x ) .
Definición
Para cualquier entero positivo n , defina μ ( n ) como la suma de las raíces primitivas n -ésimas de la unidad . Tiene valores en {-1, 0, 1} dependiendo de la factorización de n en factores primos :
- μ ( n ) = si 1 n es unnúmero entero positivo libre de cuadrados con unnúmero par de factores primos.
- μ ( n ) = −1 si n es un número entero positivo sin cuadrados con un número impar de factores primos.
- μ ( n ) = si 0 n tiene un factor primo al cuadrado.
La función de Möbius se puede representar alternativamente como
donde δ es el delta de Kronecker , λ ( n ) es la función de Liouville , ω ( n ) es el número de divisores primos distintos de n , y Ω ( n ) es el número de factores primos de n , contados con multiplicidad.
Los valores de μ ( n ) para los primeros 30 números positivos (secuencia A008683 en la OEIS ) son
norte | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|---|
μ ( n ) | 1 | −1 | −1 | 0 | −1 | 1 | −1 | 0 | 0 | 1 |
norte | 11 | 12 | 13 | 14 | 15 | dieciséis | 17 | 18 | 19 | 20 |
---|---|---|---|---|---|---|---|---|---|---|
μ ( n ) | −1 | 0 | −1 | 1 | 1 | 0 | −1 | 0 | −1 | 0 |
norte | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 |
---|---|---|---|---|---|---|---|---|---|---|
μ ( n ) | 1 | 1 | −1 | 0 | 0 | 1 | 0 | 0 | −1 | −1 |
Los primeros 50 valores de la función se representan a continuación:
Aplicaciones
Serie matemática
La serie de Dirichlet que genera la función de Möbius es la inversa (multiplicativa) de la función zeta de Riemann ; si s es un número complejo con una parte real mayor que 1 tenemos
Esto se puede ver en su producto Euler.
También:
La serie de Lambert para la función de Möbius es:
que converge para | q | <1 . Para prima α ≥ 2 , también tenemos
Teoría algebraica de números
Gauss demostró que para un número primo p la suma de sus raíces primitivas es congruente con μ ( p - 1) (mod p ) .
Si F q denota el campo finito de orden q (donde q es necesariamente una potencia prima), entonces el número N de polinomios mónicos irreducibles de grado n sobre F q viene dado por:
Propiedades
La función de Möbius es multiplicativo (es decir, μ ( ab ) = μ ( un ) μ ( b ) ) cada vez que un y b son primos entre sí .
La suma de la función de Möbius sobre todos los divisores positivos de n (incluido el propio n y 1) es cero, excepto cuando n = 1 :
La igualdad anterior conduce a la importante fórmula de inversión de Möbius y es la razón principal por la que μ es de relevancia en la teoría de las funciones multiplicativas y aritméticas.
Otras aplicaciones de μ ( n ) en combinatoria están relacionadas con el uso del teorema de enumeración de Pólya en grupos combinatorios y enumeraciones combinatorias.
Existe una fórmula para calcular la función de Möbius sin conocer directamente la factorización de su argumento:
es decir, μ ( n ) es la suma de las n - ésimas raíces primitivas de la unidad . (Sin embargo, la complejidad computacional de esta definición es al menos la misma que la de la definición del producto de Euler).
Prueba de la fórmula para Σ d | n μ ( d )
Utilizando
la formula
puede verse como una consecuencia del hecho de que las raíces n -ésimas de la unidad suman 0, ya que cada raíz n -ésima de la unidad es una raíz d- ésima primitiva de la unidad para exactamente un divisor d de n .
Sin embargo, también es posible probar esta identidad desde los primeros principios. En primer lugar, tenga en cuenta que es trivialmente cierto cuando n = 1 . Supongamos entonces que n > 1 . Entonces hay una biyección entre los factores d de n para los cuales μ ( d ) ≠ 0 y los subconjuntos del conjunto de todos los factores primos de n . El resultado afirmado se deriva del hecho de que todo conjunto finito no vacío tiene un número igual de subconjuntos de cardinalidad pares e impares.
Este último hecho puede demostrarse fácilmente por inducción sobre la cardinalidad | S | de un conjunto finito no vacío S . Primero, si | S | = 1 , hay exactamente un subconjunto de cardinalidad impar de S , a saber, S mismo, y exactamente un subconjunto de cardinalidad par, a saber ∅ . A continuación, si | S | > 1 , y luego dividir los subconjuntos de S en dos subclases dependiendo de si contienen o no algún elemento fijo x en S . Hay una biyección obvia entre estas dos subclases, emparejando aquellos subconjuntos que tienen el mismo complemento relativo al subconjunto { x } . Además, una de estas dos subclases consta de todos los subconjuntos del conjunto S \ { x } y, por lo tanto, según la hipótesis de inducción, tiene un número igual de subconjuntos de cardinalidad pares e impares. Estos subconjuntos, a su vez, corresponden biyectivamente a los subconjuntos de S que contienen cardinalidad par e impar { x } . El paso inductivo se deriva directamente de estas dos biyecciones.
Un resultado relacionado es que los coeficientes binomiales exhiben entradas alternas de potencia pares e impares que suman simétricamente.
Función de Mertens
En teoría de números, otra función aritmética estrechamente relacionada con la función de Möbius es la función de Mertens , definida por
para cada número natural n . Esta función está estrechamente relacionada con las posiciones de los ceros de la función zeta de Riemann . Consulte el artículo sobre la conjetura de Mertens para obtener más información sobre la conexión entre M ( n ) y la hipótesis de Riemann .
De la fórmula
se deduce que la función de Mertens viene dada por:
donde F n es la secuencia de Farey de orden n .
Esta fórmula se utiliza en la demostración del teorema de Franel-Landau .
Orden promedio
El valor medio (en el sentido de órdenes promedio) de la función de Möbius es cero. Esta afirmación es, de hecho, equivalente al teorema del número primo .
μ ( n ) secciones
μ ( n ) = 0 si y solo si n es divisible por el cuadrado de un primo. Los primeros números con esta propiedad son
- 4, 8, 9, 12, 16, 18, 20, 24, 25, 27, 28, 32, 36, 40, 44, 45, 48, 49, 50, 52, 54, 56, 60, 63, .. . (secuencia A013929 en la OEIS ).
Si n es primo, entonces μ ( n ) = −1 , pero lo contrario no es cierto. El primer n no primo para el cual μ ( n ) = −1 es 30 = 2 × 3 × 5 . Los primeros números con tres factores primos distintos ( números esfénicos ) son
- 30, 42, 66, 70, 78, 102, 105, 110, 114, 130, 138, 154, 165, 170, 174, 182, 186, 190, 195, 222, ... (secuencia A007304 en la OEIS ) .
y los primeros números con 5 factores primos distintos son
- 2310, 2730, 3570, 3990, 4290, 4830, 5610, 6006, 6090, 6270, 6510, 6630, 7410, 7590, 7770, 7854, 8610, 8778, 8970, 9030, 9282, 9570, 9690, ... ( secuencia A046387 en la OEIS ).
Generalizaciones
Álgebras de incidencia
En combinatoria , a cada conjunto parcialmente ordenado localmente finito (poset) se le asigna un álgebra de incidencia . Un miembro distinguido de este álgebra es la "función de Möbius" de poset. La función de Möbius clásica tratada en este artículo es esencialmente igual a la función de Möbius del conjunto de todos los enteros positivos parcialmente ordenados por divisibilidad . Consulte el artículo sobre álgebras de incidencia para obtener una definición precisa y varios ejemplos de estas funciones generales de Möbius.
La función de Popovici
Constantin Popovici definió una función de Möbius generalizada μ k = μ ∗ ... ∗ μ como la convolución de Dirichlet k- veces de la función de Möbius consigo misma. Por tanto, es de nuevo una función multiplicativa con
donde el coeficiente binomial se toma como cero si a > k . La definición puede extenderse al complejo k leyendo el binomio como un polinomio en k .
Física
La función de Möbius también surge en el modelo de supersimetría de gas primon o gas libre de Riemann . En esta teoría, las partículas fundamentales o "primones" tienen energías log p . En la segunda cuantificación , se consideran las excitaciones de múltiples partículas; estos están dados por log n para cualquier número natural n . Esto se deriva del hecho de que la factorización de los números naturales en números primos es única.
En el gas de Riemann libre, puede ocurrir cualquier número natural, si los primones se toman como bosones . Si se toman como fermiones , el principio de exclusión de Pauli excluye los cuadrados. El operador (-1) F que distingue fermiones y bosones no es otro que la función de Möbius μ ( n ) .
El gas de Riemann libre tiene otras conexiones interesantes con la teoría de números, incluido el hecho de que la función de partición es la función zeta de Riemann . Esta idea es la base del intento de prueba de Alain Connes de la hipótesis de Riemann .
Ver también
Notas
Citas
Fuentes
- 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, MR 0434929 , Zbl 0.335,10001
- Bost, J.-B .; Connes, Alain (1995), "Álgebras de Hecke, factores de tipo III y transiciones de fase con ruptura espontánea de simetría en la teoría de números" , Selecta Mathematica , New Series, 1 (3): 411–457, doi : 10.1007 / BF01589495 , S2CID 116418599
- Deléglise, Marc; Rivat, Joël (1996), "Calcular la suma de la función de Möbius" , Experimental Mathematics , 5 (4): 291-295, doi : 10.1080 / 10586458.1996.10504594
- Edwards, Harold (1974), Función Zeta de Riemann , Mineola, Nueva York: Dover Publications, ISBN 0-486-41740-9
- Gauss, Carl Friedrich (1965), Untersuchungen uber hohere Arithmetik (Disquisitiones Arithemeticae y otros artículos sobre teoría de números) , H. Maser (traductor alemán) (2a ed.), Nueva York: Chelsea, ISBN 0-8284-0191-8
- Gauss, Carl Friedrich (1986), Disquisitiones Arithemeticae , Arthur A. Clarke (Inglés Traductor) (corregido 2ª ed.), Nueva York: Springer , ISBN 0-387-96254-9
- Hardy, GH ; Wright, EM (1980) [Primera edición publicada en 1938], Introducción a la teoría de los números (5ª ed.), Oxford: Oxford University Press , ISBN 978-0-19-853171-5- a través de Internet Archive
- Jacobson, Nathan (2009) [Publicado por primera vez en 1985], Álgebra básica I (2ª ed.), Publicaciones de Dover, ISBN 978-0-486-47189-1
- Klimov, NI (2001) [1994], "Funció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
- Pegg, Ed, Jr. (2003), "La función de Möbius (y números sin cuadrados)" , los juegos de matemáticas de Ed Pegg
- Popovici, Constantin P. (1963), "Una generalización de la función de Möbius", Studii şi Cercetări Matematice , 14 : 493–499, MR 0181602
- Sándor, Jozsef; Crstici, Borislav (2004), Manual de teoría de números II , Dordrecht: Kluwer Academic, ISBN 1-4020-2546-7, Zbl 1079.11001
- Sándor, József; Mitrinović, Dragoslav S .; Crstici, Borislav, eds. (2006), Manual de teoría de números I , Dordrecht: Springer-Verlag , págs. 187–226, ISBN 1-4020-4215-9, Zbl 1151.11300