Vector euclidiano
(leer más)
En teoría de números, Función totiente de Euler cuenta los enteros positivos hasta un entero dado n que son relativamente primos n. Está escrito usando la letra griega phi como φ φ ()n){displaystyle varphi (n)} o φ φ ()n){displaystyle phi (n)}, y también se puede llamar Función de Euler. En otras palabras, es el número de enteros k en el rango 1 ≤ k ≤ n para el cual el mayor divisor común gcd(n, k) es igual a 1. Los enteros k de esta forma son a veces referidos como totantes de n.
Por ejemplo, los totales de n = 9 son los seis números 1, 2, 4, 5, 7 y 8. Todos son relativamente primo a 9, pero los otros tres números en este rango, 3, 6 y 9 no lo son, ya que mcd(9, 3) = mcd(9, 6) = 3 y mcd(9, 9) = 9. Por lo tanto, φ(9) = 6. Como otro ejemplo, φ(1) = 1 ya que para n = 1 el único número entero en el rango de 1 a n es 1 en sí mismo, y gcd (1, 1) = 1.
La función totiente de Euler es una función multiplicativa, lo que significa que si dos números m y n son relativamente primos, entonces φ()mn) φ()m)φ()n). Esta función da el orden del grupo multiplicador de enteros modulo n (el grupo de unidades del anillo Z/nZ{displaystyle mathbb {Z} /nmathbb {Z}). También se utiliza para definir el sistema de encriptación RSA.
Leonhard Euler introdujo la función en 1763. Sin embargo, en ese momento no eligió ningún símbolo específico para indicarla. En una publicación de 1784, Euler estudió más la función, eligiendo la letra griega π para denotarla: escribió πD para "la multitud de números menores que D, y que no tienen ningún divisor común con él". Esta definición varía de la definición actual de la función totient en D = 1 pero, por lo demás, es la misma. La notación ahora estándar φ(A) proviene del tratado de Gauss de 1801 Disquisitiones Arithmeticae, aunque Gauss no usó paréntesis alrededor del argumento y escribió φA. Por lo tanto, a menudo se la llama función phi de Euler o simplemente la función phi.
En 1879, J. J. Sylvester acuñó el término totient para esta función, por lo que también se la conoce como función totient de Euler, la función de Euler totient, o totient de Euler. El totient de Jordan es una generalización del de Euler.
El cotociente de n se define como n − φ(n). Cuenta el número de enteros positivos menores o iguales a n que tienen al menos un factor primo en común con n.
Hay varias fórmulas para calcular φ(n).
Establece
donde el producto está sobre los distintos números primos que dividen n. (Para notación, consulte Función aritmética).
Una formulación equivalente n=p1k1p2k2⋯ ⋯ prkr{displaystyle ¿Qué? ¿Qué?, donde p1,p2,...... ,pr{displaystyle p_{1},p_{2},ldotsp_{r} son los principios diferenciados dividir n, es:
Esto significa que si gcd(m, n) = 1, entonces φ(m) φ(n) = φ( mn). Esquema de prueba: Sea A, B, C sean los conjuntos de enteros positivos que son coprimos y menores que m, n, mn, respectivamente, de modo que |A| = φ(m), etc. Entonces hay una biyección entre A × B y C por el teorema del resto chino.
Si p es primo y k ≥ 1, entonces
Prueba: dado que p es un número primo, los únicos valores posibles de gcd(pk, m) son 1, p, p2,..., pk , y la única forma de tener gcd(pk, m) > 1 es si m es múltiplo de p, es decir, m ∈ {p, 2p, 3p,..., pk − 1p = pk}, y hay pk − 1 dichos múltiplos no mayores que pk. Por lo tanto, el otro pk − p k − 1 los números son todos relativamente primos a pk.
El teorema fundamental de la aritmética declara que si n ■ 1 hay una expresión única n=p1k1p2k2⋯ ⋯ prkr,{displaystyle ¿Qué?. Donde p1. p2 - No. pr son números primos y cada uno ki ≥ 1. (El caso n = 1 corresponde al producto vacío.) Repetidamente utilizando la propiedad multiplicativa de φ y la fórmula para φ()pk) da
Esto proporciona ambas versiones de la fórmula del producto de Euler.
Una prueba alternativa que no requiere la propiedad multiplicativa en lugar de utilizar el principio de inclusión-exclusión aplicado al conjunto {}1,2,...... ,n}{displaystyle {1,2,ldotsn}, excluyendo los conjuntos de enteros divisibles por los divisores principales.
En palabras: los distintos factores primos de 20 son 2 y 5; la mitad de los veinte enteros del 1 al 20 son divisibles por 2, quedando diez; una quinta parte de ellos son divisibles por 5, dejando ocho números coprimos con 20; estos son: 1, 3, 7, 9, 11, 13, 17, 19.
La fórmula alternativa usa solo números enteros:
El tociente es la transformada discreta de Fourier del gcd, evaluada en 1. Sea
donde xk = mcd(k,n) para k ∈ {1,..., n}. Después
La parte real de esta fórmula es
Por ejemplo, usando # π π 5=5+14{displaystyle cos {tfrac ♪ } {5}={tfrac {cHFF} {5}+1}{4}}} {}}} {}}}} {}}}}} {}}}}} {}}}}}}}}}}} {}} {}}}} {}}}}} {}}}}}} {}}}}} {}}}}}} {}}}}} {}}}}}} {}}}}}}} {}}}}}}}}}}} {}}}}}}}}}}}}}}} {}}}}}}}}}}}}} {}}}}}} {}}}}} {}}}}}}}}}}}}}} {}}}}}}} {}}}} {}}}} {}}}}}} {}}}}}}} {}}}} {}}}}}}}}}}}}}}}}}}} {}}}}}}}}}}}}}}}}}}}}}}}}}}}} y # 2π π 5=5− − 14{displaystyle cos {tfrac {2pi } {5}={tfrac {cHFF} {}}} {4}} {}}} {}}} {}}} {}}}}} {}}} {}}}} {}}}} {}}}} {}}}}} {}}}}} {}}}}} {}}}}}} {}}}}} {}}}}} {}}}}}}}} {}}}}}} {}}}}}}}}}}} {}}}}}}}}}}}}}}}}} {}}}}}}}}}}}}} {}}}}}}}}}}}} {}}}}}}}}}}}}}} {}}}}}}}}}}}} {}}}}}}}}}} {}}}}}} {}}}}}}}}}}}}}}}}}}} {}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}:
La propiedad establecida por Gauss, que
donde la suma es sobre todos los divisores positivos d de n, se puede probar de varias formas. (Consulte Función aritmética para conocer las convenciones de notación).
Una prueba es notar que φ(d) también es igual al número de posibles generadores del grupo cíclico Cd; específicamente, si Cd = ⟨g⟩ con gd = 1, luego gk es un generador para cada k coprime a d. Dado que cada elemento de Cn genera un subgrupo cíclico, y todos los subgrupos Cd ⊆ Cn son generados precisamente por φ(d) elementos de Cn, la fórmula es la siguiente. De manera equivalente, la fórmula se puede derivar mediante el mismo argumento aplicado al grupo multiplicativo de las nésimas raíces de la unidad y la primitiva dth raíces de unidad.
La fórmula también se puede derivar de la aritmética elemental. Por ejemplo, sea n = 20 y considere las fracciones positivas hasta 1 con denominador 20:
Póngalos en términos mínimos:
Estas veinte fracciones son todas las k/d ≤ 1 cuyos denominadores son los divisores d = 1, 2, 4, 5, 10, 20. Las fracciones con 20 como denominador son aquellas con numeradores relativamente primos a 20, a saber, 1/20, 3/20, 7/20, 9/20, 11/20, 13/20, 17/20, 19/ 20; por definición, esto es φ(20) fracciones. De manera similar, hay fracciones φ(10) con denominador 10, y φ(5) fracciones con denominador 5, etc. Así, el conjunto de veinte fracciones se divide en subconjuntos de tamaño φ(d) para cada d que divide 20. Se aplica un argumento similar para cualquier n.
La inversión de Möbius aplicada a la fórmula de la suma del divisor da
Donde μ es la función Möbius, la función multiplicativa definida por μ μ ()p)=− − 1{displaystyle mu (p)=-1} y μ μ ()pk)=0{displaystyle mu (p^{k}=0} para cada primo p y k ≥ 2. Esta fórmula también puede derivarse de la fórmula del producto multiplicando ∏ ∏ p▪ ▪ n()1− − 1p){textstyle prod _{pmid n}(1-{frac {1}{p}}}} para llegar .. d▪ ▪ nμ μ ()d)d.{textstyle sum _{dmid n}{frac {mu (d)}{d}}
Un ejemplo:
Los primeros 100 valores (secuencia A000010 en el OEIS) se muestran en la tabla y el gráfico a continuación:
+ | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|---|
0 | 1 | 1 | 2 | 2 | 4 | 2 | 6 | 4 | 6 | 4 |
10 | 10 | 4 | 12 | 6 | 8 | 8 | 16 | 6 | 18 | 8 |
20 | 12 | 10 | 22 | 8 | 20 | 12 | 18 | 12 | 28 | 8 |
30 | 30 | 16 | 20 | 16 | 24 | 12 | 36 | 18 | 24 | 16 |
40 | 40 | 12 | 42 | 20 | 24 | 22 | 46 | 16 | 42 | 20 |
50 | 32 | 24 | 52 | 18 | 40 | 24 | 36 | 28 | 58 | 16 |
60 | 60 | 30 | 36 | 32 | 48 | 20 | 66 | 32 | 44 | 24 |
70 | 70 | 24 | 72 | 36 | 40 | 36 | 60 | 24 | 78 | 32 |
80 | 54 | 40 | 82 | 24 | 64 | 42 | 56 | 40 | 88 | 24 |
90 | 72 | 44 | 60 | 46 | 72 | 32 | 96 | 42 | 60 | 40 |
En el gráfico a la derecha la línea superior Sí. = n − 1 es un límite superior válido para todos n más que uno, y alcanzado si y sólo si n es un número primo. Un simple límite inferior φ φ ()n)≥ ≥ n/2{displaystyle varphi (n)geq {sqrt {n/2}}, que es bastante flojo: de hecho, el límite inferior del gráfico es proporcional a n/log n.
Esto establece que si a y n son relativamente primos entonces
El caso especial donde n es primo se conoce como el pequeño teorema de Fermat.
Esto se deriva del teorema de Lagrange y del hecho de que φ(n) es el orden de el grupo multiplicativo de números enteros módulo n.
El criptosistema RSA se basa en este teorema: implica que la inversa de la función a ↦ ae mod n, donde e es el exponente de cifrado (público), es la función b ↦ bd mod n, donde d, el exponente de descifrado (privado), es el inverso multiplicativo de e módulo φ(n). La dificultad de calcular φ(n) sin conocer la factorización de n es, por lo tanto, la dificultad de calcular d: esto se conoce como RSA problema que puede resolverse factorizando n. El propietario de la clave privada conoce la factorización, ya que una clave privada RSA se construye eligiendo n como el producto de dos (aleatoriamente elegido) primos grandes p y q. Solo n se divulga públicamente y, dada la dificultad de factorizar números grandes, tenemos la garantía de que nadie más conoce la factorización.
En particular:
Compare esto con la fórmula lcm ()m,n)⋅ ⋅ gcd ()m,n)=m⋅ ⋅ n{textstyle operatorname {lcm} (m,n)cdot operatorname {gcd} (m,n)=mcdot n} (ver mínimo común múltiple).
Además, si n tiene r diferencia de factores principales, 2r Silencio φ()n)
Donde rad(n) es el radical de n (el producto de todas las primas diferenciadas dividiendo n).
(donde) γ es la constante Euler-Mascheroni).
Donde m ■ 1 es un entero positivo y ⋅()m) es el número de factores principales distintos m.
En 1965, P. Kesava Menon demostró
donde d(n) = σ0(n) es el número de divisores de n.
La serie de Dirichlet para φ(n) puede escribirse en términos de la función zeta de Riemann como:
donde converge el lado izquierdo 2}" xmlns="http://www.w3.org/1998/Math/MathML">R R ()s)■2{displaystyle Re (s)2}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f75c84c17f43158d1f7fc4c3e8ece0e0bb3f8140" style="vertical-align: -0.838ex; width:9.085ex; height:2.843ex;"/>.
La función generadora de la serie de Lambert es
que converge para |q| < 1.
Ambos se prueban mediante manipulaciones de series elementales y las fórmulas para φ(n).
En palabras de Hardy & Wright, el orden de φ(n) es "siempre 'casi n'."
Primero
pero como n tiende a infinito, para todo δ > 0
Estas dos fórmulas se pueden probar usando poco más que las fórmulas para φ(n) y el divisor función de suma σ(n).
De hecho, durante la demostración de la segunda fórmula, la desigualdad
verdadero para n > 1, está probado.
También tenemos
Aquí γ es la constante de Euler, γ = 0,577215665..., entonces eγ = 1,7810724... y e−γ = 0,56145948....
Demostrar esto no requiere del todo el teorema de los números primos. Dado que log log n tiende a infinito, esta fórmula muestra que
De hecho, más es verdad.
y
La segunda desigualdad fue mostrada por Jean-Louis Nicolas. Ribenboim dice: "El método de prueba es interesante, ya que la desigualdad se muestra primero bajo el supuesto de que la hipótesis de Riemann es verdadera, y luego bajo el supuesto contrario".
Para el pedido promedio, tenemos
Debido a Arnold Walfisz, su demostración explota estimaciones sobre sumas exponenciales debidas a I. M. Vinogradov y N. M. Korobov. Mediante una combinación de los métodos de van der Corput y Vinogradov, H.-Q. Liu (Sobre la función de Euler. Proc. Roy. Soc. Edinburgh Sect. A 146 (2016), no. 4, 769–775) mejorado el término de error a
(esta es actualmente la estimación más conocida de este tipo). El "Gran O" representa una cantidad que está limitada por una constante multiplicada por la función de n dentro de los paréntesis (que es pequeña en comparación con n2).
Este resultado se puede usar para demostrar que la probabilidad de que dos números elegidos al azar sean primos relativos es 6/π2 .
En 1950, Somayajulu demostró
En 1954, Schinzel y Sierpiński reforzaron esto, demostrando que el conjunto
es denso en los números reales positivos. También demostraron que el conjunto
es denso en el intervalo (0,1).
Un número totient es un valor de la función totient de Euler: es decir, un m para el que hay al menos un n para el que φ(n) = m. La valencia o multiplicidad de un número total m es el número de soluciones a esta ecuación. Un nontotient es un número natural que no es un número totient. Todo entero impar que exceda de 1 es trivialmente un nontotient. También hay un número infinito de no-tocientes pares y, de hecho, todo número entero positivo tiene un múltiplo que es un no-tociente par.
La cantidad de números de totient hasta un límite dado x es
para una constante C = 0,8178146....
Si se cuenta de acuerdo con la multiplicidad, la cantidad de números totient hasta un límite dado x es
donde el término de error R es de orden máximo x/(log x)k para cualquier k.
Se sabe que la multiplicidad de m supera a mδ infinitamente a menudo para cualquier δ < 0,55655.
Ford (1999) demostró que para cada número entero k ≥ 2 existe un número totient m de multiplicidad k: es decir, para la cual la ecuación φ(n) = m tiene exactamente k soluciones; este resultado había sido previamente conjeturado por Wacław Sierpiński, y se había obtenido como consecuencia de la hipótesis H de Schinzel. De hecho, cada multiplicidad que ocurre, lo hace infinitamente a menudo.
Sin embargo, ningún número m se conoce con multiplicidad k = 1. La conjetura de la función totient de Carmichael es la afirmación de que no existe tal m.
Un número totient perfecto es un número entero que es igual a la suma de sus totients iterados. Es decir, aplicamos la función totient a un número n, la aplicamos nuevamente al totient resultante, y así sucesivamente, hasta llegar al número 1, y sumamos la secuencia de números resultante; si la suma es igual a n, entonces n es un número total perfecto.
En la última sección de Disquisitiones, Gauss demuestra que un n-gon regular se puede construir con regla y compás si φ(n) es una potencia de 2. Si n es una potencia de un número primo impar la fórmula para el totient dice que su totient puede ser una potencia de dos solo si n es una primera potencia y n − 1 es una potencia de 2. Los números primos que son uno más que una potencia de 2 se llaman primos de Fermat, y solo se conocen cinco: 3, 5, 17, 257 y 65537. Fermat y Gauss los conocían. Nadie ha podido probar si hay más.
Por lo tanto, un n-gon regular tiene una construcción de regla y compás si n es un producto de primos de Fermat distintos y cualquier potencia de 2. Los primeros n son
Configurar un sistema RSA implica elegir números primos grandes p y q, calculando n = pq y k = φ(n), y encontrar dos números e y d tales que ed ≡ 1 (mod k). Los números n y e (la "clave de cifrado") se hacen públicos, y d (la " clave de descifrado") se mantiene en privado.
Un mensaje, representado por un número entero m, donde 0 < m < n, se cifra calculando S = me (modificación n).
Se descifra calculando t = Sd (mod n). El teorema de Euler se puede usar para mostrar que si 0 < t < n, luego t = m.
La seguridad de un sistema RSA se vería comprometida si el número n pudiera factorizarse eficientemente o si φ(n) podría calcularse eficientemente sin factorizar n.
Si p es primo, entonces φ(p) = p − 1. En 1932, D. H. Lehmer preguntó si existen números compuestos n tales que φ(n) divide n − 1. Ninguno es conocido.
En 1933 demostró que si existe tal n, debe ser impar, sin cuadrados y divisible por al menos menos siete números primos (es decir, ω(n) ≥ 7). En 1980, Cohen y Hagis demostraron que n > 1020 y que ω(n) ≥ 14. Además, Hagis demostró que si 3 divide n entonces n > 101937042 y ω(n) ≥ 298848.
Esto establece que no hay ningún número n con la propiedad que para todos los demás números m, m ≠ n, φ(m) ≠ φ(n). Consulte el teorema de Ford anterior.
Como se indica en el artículo principal, si hay un solo contraejemplo para esta conjetura, debe haber infinitos contraejemplos, y el más pequeño tiene al menos diez mil millones de dígitos en base 10.
La hipótesis de Riemann es verdadera si y solo si la desigualdad
es cierto para todos los n ≥ p120569# donde γ es la constante de Euler y p120569# es el producto de los primeros 120569 primos.
(leer más)
(leer más)
(leer más)