Criba de Legendre

Ir a la navegaci�nIr a la b�squeda
En matem�ticas, la criba de Legendre es el m�s simple m�todo en teor�a de cribas.
Este aplica el concepto de la criba de Erat�stenes para encontrar estimativos
superiores e inferiores al n�mero de primos en un conjunto de enteros dado. Debido
a que este es una extensi�n simple de la idea usada en la criba de Eratostenes,
este m�todo de cribado es llamado algunas veces la criba de Eratostenes-Legendre.

Identidad de Legendre
La idea central del m�todo es expresada por la siguiente identidad, algunas veces
llamada la Identidad de Legendre:

{\displaystyle S(A,P)=\sum _{a\in A}\sum _{d|a;d|P}\mu (d)=\sum _{d|P}\mu (d)|

A_{d}|}{\displaystyle S(A,P)=\sum _{a\in A}\sum _{d|a;d|P}\mu (d)=\sum _{d|P}\mu
(d)|A_{d}|}
Donde A es un conjunto de enteros, P es un producto de distintos primos,
{\displaystyle \mu }\mu es la funci�n de M�bius, {\displaystyle A_{d}}
{\displaystyle A_{d}} es el conjunto de enteros en A divisible por d, y S(A, P) es
definido como:

{\displaystyle S(A,P)=|\{n:n\in A,(n,P)=1\}|}{\displaystyle S(A,P)=|\{n:n\in A,

(n,P)=1\}|}
Luego S(A,P) es la cantidad de n�meros en A sin factores comunes con P.

Note que en el caso m�s t�pico, A es el conjunto de todos los enteros menores o
iguales a un n�mero real X, P es el producto de todos los primos menores o iguales
a alg�n entero z < X, asumiendo esto, la identidad de Legendre tomar�a la forma:

{\displaystyle S(A,P)}{\displaystyle S(A,P)} {\displaystyle =\sum _{d|P}\mu

(d)\left\lfloor {\frac {X}{p_{1}}}\right\rfloor }{\displaystyle =\sum _{d|P}\mu
(d)\left\lfloor {\frac {X}{p_{1}}}\right\rfloor }
{\displaystyle =[X]-\sum _{p_{1}<z}\left\lfloor {\frac {X}{p_{1}}}\right\rfloor
+\sum _{p_{1}<p_{2}<z}\left\lfloor {\frac {X}{p_{1}p_{2}}}\right\rfloor -\sum
_{p_{1}<p_{2}<p_{3}<z}\left\lfloor {\frac {X}{p_{1}p_{2}p_{3}}}\right\rfloor
+\cdots }{\displaystyle =[X]-\sum _{p_{1}<z}\left\lfloor {\frac {X}
{p_{1}}}\right\rfloor +\sum _{p_{1}<p_{2}<z}\left\lfloor {\frac {X}
{p_{1}p_{2}}}\right\rfloor -\sum _{p_{1}<p_{2}<p_{3}<z}\left\lfloor {\frac {X}
{p_{1}p_{2}p_{3}}}\right\rfloor +\cdots }
(donde {\displaystyle \lfloor X\rfloor }{\displaystyle \lfloor X\rfloor } denota la
funci�n parte entera). En este ejemplo, el hecho de que la criba de Legendre se
derive de la criba de Eratostenes es claro: el primer t�rmino es el n�mero de
interos menores que X, el segundo t�rmino remueve los m�ltiplos de todos los
primos, el tercero a�ade los m�ltiplos de dos primos (los cuales fueron descontados
por que se "tacharon dos veces"), y as� de manera sucesiva todos las {\displaystyle
2^{\pi (z)}}{\displaystyle 2^{\pi (z)}} (donde {\displaystyle \pi (z)}
{\displaystyle \pi (z)} denota el n�mero de primos menores que z) combinaciones de
primos son consideradas por la criba de Legendre.

Una vez se ha calculado {\displaystyle S(A,P)}{\displaystyle S(A,P)} para este caso

especial, este puede ser usado para acotar {\displaystyle \pi (X)}{\displaystyle
\pi (X)} usando la expresi�n

{\displaystyle S(A,P)\geq \pi (X)-\pi (z)+1}{\displaystyle S(A,P)\geq \pi (X)-\pi

(z)+1}
la cual es una implicaci�n clara de la definici�n de {\displaystyle S(A,P)}
{\displaystyle S(A,P)}.

Problemas
Desafortunadamente, la criba de Legendre tiene un problema con la parte
fraccionaria de los diferentes t�rminos, los cuales se acumulan en un t�rmino de
error (esto es, t�rminos en notaci�n O) demasiado grande, la cual dice que la criba
de Legendre da cotas muy d�biles en muchos casos. Por esta raz�n, esta criba nunca
es usada en la pr�ctica, siendo siempre mejorada por otras t�cnicas de cribado
tales como la Criba de Brun y la Criba de Selberg. Sin embargo, dado que estas
cribas m�s poderosas son extensiones de las ideas b�sicas de la criba de Legendre,
este m�todo de cribado se vuelve �til para entender c�mo trabajan las cribas.