# Criba de Brun

En matemáticas, el método de cribado de Brun, el teorema de Brun o criba de Brun es un resultado en la teoría de números más específicamente en teoría de cribas dado por Viggo Brun en 1919. Tiene importancia histórica en la introducción de los métodos de cribas.
La criba de Brun nos da el tamaño de ciertos conjuntos que queremos estudiar usando ciertas funciones de las cuales nos valemos para estudiar el conjunto.

## Criba de Brun
### Como función

Sea la función $f(d)={\frac {\omega (d)}{d\prod _{p\mid d}\left(1-{\frac {\omega (p)}{p}}\right)}}$
bien definida para todo d con $\mu (d)=0$ . Considere los siguientes conjuntos
* $\mathbb {A} ^{z}=\{a\in \mathbb {A} :a\leq z\}$
* $\mathbb {P} _{z}=\prod _{p\in \mathbb {P} ^{z}}p$
* $\mathbb {A} _{d}=\{a\in \mathbb {A} :a\equiv 0\mod {d}\}$
* $\mathbb {R} _{d}(x)=|\mathbb {A} _{p}^{x}|-{\frac {\omega (d)}{p}}x$
* $S(\mathbb {A} ;\mathbb {P} ^{z},x)$ es el número de elementos restantes en $\mathbb {A} ^{x}$ cribando por los elementos de $\mathbb {P} ^{z}$, esto es, todos los elementos restantes al quitar los números correspondientes al conjunto $\mathbb {P} ^{z}$.
Considere la siguiente función
* $\omega (d)$ es una función o comportamiento de manera tal que ${\frac {\omega (d)}{p}}x\,\!$ sea una buena aproximación a la cardinalidad del conjunto $\mathbb {A} _{p}^{x}\,\!$, esto es, que las variables implicadas en el error no sea muy grandes o sean errores admisibles.
* Suponga que $|\mathbb {R} _{d}(x)|\leq \omega (d)$.
Bajo todas estas condiciones se puede afirmar que para todo entero no negativo r existe $\theta ,\theta ^{,}$ con $|\theta |\leq 1$, $|\theta ^{,}|\leq 1$ tales que,
    $S(\mathbb {A} ;\mathbb {P} ^{z},x)=xW(z)\left(1+\theta {\frac {1}{r!}}\left(\sum _{p\leq z}f(p)\right)^{r}\exp {\sum _{p\leq z}f(p)}\right)+\theta ^{,}\left(1+\sum _{p<z}\omega (p)\right)^{r}$
Tenga en cuenta que $\exp {\sum _{p\leq z}f(p)}$ es la ${\sum _{p\leq z}f(p)}$-esima potencia de e.

### Como versión del principio de inclusión-exclusión

Una versión más simple de la criba de Brun, es una desigualdad combinatoria la cual es una versión del principio de inclusión-exclusión. Este nos da una comportamiento asintótico del conjunto con ciertas propiedades diciéndonos a qué es menor y a qué es mayor.
Sea X un conjunto no vacío, N un conjunto finito de objetos, sea P$_1$,...,P$_r$ r diferentes propiedades que tienen ciertos elementos del conjunto X. Sea N$_0$ el número de elementos que no cumplen estas propiedades. Para cualquier subconjunto I={i$_1$,...,i$_k$}, del conjunto de índices {1,2,...,r}, sea N (I)=N (i$_1$,...,i$_k$) denota el número de elementos de X que tienen cada una de las propiedades de P$_{ik}$,...,P$_{ik}$. SEa N(Ø)=|X|=N. Si m es un enteno par no negativo, entonces
    $N_{0}\leq \sum _{k=0}^{m}(-1)^{k}\sum _{|I|=k}N(I)$
Si m es un entero no negativo impar, entonces
    $N_{0}\geq \sum _{k=0}^{m}(-1)^{k}\sum _{|I|=k}N(I)$

## Resultados

Algunos resultados que se obtienen al usar o aplicar la criba de brun son:
* Aproximación de $\pi (x)$. A través de este método podemos estimar que existe una constante c>0, tal que:
    $\pi (x)={\mathcal {O}}\left({\frac {x\ln \ln(x)}{\ln(x)}}\{1+\theta \,e^{-c\,\ln \ln(x)}\}\right)+o(x^{1-\varepsilon })$
para todo $\varepsilon$ muy pequeño.
* Comportamiento asintótico de $\pi _{2}(x)$. Al igual que se puede obtener el comportamiento asintótico de los primos menores que x se puede obtener los el comportamiento de los primos gemelos menores que x:
    $\pi _{2}(x)={\mathcal {O}}\left(x\left({\frac {\ln \ln(x)}{\ln(x)}}\right)^{2}\right)$
* Convergencia de los primos gemelos. Como pilar de esta criba, a pesar de que se puede demostrar como consecuencia de lo anterior, esta la convergencia de la suma de los recíprocos de los primos gemelos
    $\sum _{p,p+2=q}{\frac {1}{p}}={\mathcal {O}}(1)$
Al número al cual converge se le conoce como la constante de Brun.
* Acerca de la conjetura de Goldbach. Viggo Brun en 1920 probó, a través de la criba combinatoria (Criba de brun), que todo número par suficientemente grande puede escribirse como suma de dos enteros cada uno producto de al menos nueve primos.
* Números producto de primos. Brun también mostró que existen infinitos enteros n tales que n, n+2 es producto de al menos 9 primos.