O crivo de Brun nos dá o tamanho de certos conjuntos que queremos estudar usando certas funções das quais valemo-nos para estudar o conjunto dos números primos.
Crivo de Brun
Como função
Seja a função
bem-definida para todo d com a . Considere estes seguintes conjuntos:
é o número de elementos restantes em crivando pelos elementos de , isto é, todos os elementos restantes removidos os números correspondentes ao conjunto .
Considere agora a seguinte função
é uma função ou comportamento de maneira tal que seja una boa aproximação à cardinalidade do conjunto , isto é, que as variáveis implicadas no erro não sejam muito grandes ou sejam erros admissíveis.
Suponha que .
Sob todas estas condiçõess pode-se afirmar que para todo inteiro não-negativo r existe com , tais que,
Una versão mais simples do crivo de Brun, é uma desigualdade combinatória a qual é uma versão do princípio de inclusão-exclusão. Este nos dá um comportamento assintótico do conjunto com certas propriedades dizendo-nos qual é a menor e a maior.
Seja X um conjunto não-vazio, N um conjunto finito de objetos, seja P1,...,Pr r diferentes propriedades que tem certos elementos do conjunto X. Seja N0 o número de elementos que não cumprem estas propriedades. Para qualquer subconjunto I={i1,...,ik}, do conjunto de índices {1,2,...,r}, seja N (I)=N (i1,...,ik) denota o número de elementos de X que tem cada uma das propriedades de Pik,...,Pik. SEa N(Ø)=|X|=N. Se m é um inteiro não-negativo par, então
Se m é un inteiro não-negativo impar, então
Resultados
Alguns resultados que se obtiveram ao usar ou aplicar o crivo de Brun são:
Aproximação de . Através deste método podemos estimar que existe uma constante c>0, tal que:
para todo muito pequeno.
Comportamento assintótico de . Igualmente pode-se obter o comportamento assintótico dos primos menores que x:
Convergência dos primos gêmeos. Como pilar deste crivo, apesar de que se pode demonstrar como consequência do anterior, está a convergência da soma dos recíprocos dos primos gêmeos
Acerca da conjectura de Goldbach. Viggo Brun provou em 1920, através do crivo combinatório (Crivo de Brun), que todo número par suficientemente grande pode ser escrito como soma de dois inteiros, cada um produto de pelo menos nove primos.
Números como produto de primos. Brun também mostrou que existem infinitos inteiros n tais que n e n+2 são produtos de pelo menos nove primos.
Referências
Melvyn B. Nathanson "Additive Number Theory, the Classical Bases" Springer páginas 167-168-173. 1996