Densidade natural

Densidade natural, também conhecida como densidade assintótica, é um conceito fundamental na teoria dos números que quantifica a frequência relativa de um subconjunto dos números naturais. Diferentemente da contagem exata, a densidade captura um comportamento assintótico, permitindo formular resultados probabilísticos e estatísticos sobre propriedades aritméticas.

Definição formal

Seja $A \subseteq N$ . A densidade natural de $A$ é definida, quando o limite existe, por:

\delta (A):=\lim _{x\to \infty }{\frac {\#\{n\leq x:n\in A\}}{x}}

onde $#$ denota a cardinalidade do conjunto. Quando este limite existe, diz-se que $A$ possui densidade natural. Caso contrário, diz-se que a densidade não existe.

Propriedades básicas

Se $A$ e $B$ possuem densidade natural, então:

1. Normalização: $δ(N) = 1$ e $δ(\emptyset) = 0$ 2. Monotonicidade: Se $A \subseteq B$ , então $δ(A) \leq δ(B)$ 3. Complementaridade: $δ(A c) = 1 - δ(A)$ 4. Subaditividade: $δ(A \cup B) \leq δ(A) + δ(B)$ 5. Aditividade para conjuntos disjuntos: Se $A \cap B =\emptyset$ , então $δ(A \cup B) = δ(A) + δ(B)$

A densidade natural é invariante sob modificações finitas: se $A Δ B$ é finito, então $δ(A)$ existe se e somente se $δ(B)$ existe, e neste caso são iguais.

Exemplos fundamentais

Conjuntos elementares

Inteiros pares: $δ(2 N) = 1/2$
Progressões aritméticas: Para $A ={an + b : n \geq 0$ } com $gcd(a, b)=1$ , tem-se $δ(A) = 1/ a$
Conjuntos finitos: Todo conjunto finito tem densidade zero
Quadrados perfeitos: $δ({n ² : n \in N}) = 0$

Conjuntos com densidade zero não triviais

Números primos: Pelo Teorema dos números primos, $δ(𝒫) = 0$
Inteiros com $k$ fatores primos fixos: Para $k \geq 1$ fixo, o conjunto ${n \in N : ω(n)= k$ } tem densidade zero, onde $ω(n)$ conta os fatores primos distintos

Densidade e multiplicatividade

Conjuntos definidos por condições multiplicativas frequentemente possuem densidade expressa por produtos eulerianos.

Exemplos clássicos de densidades multiplicativas
Conjunto	Descrição	Densidade	Fórmula explícita
$𝒬$	Inteiros livres de quadrados	$\prod _{p}\left(1-{\frac {1}{p^{2}}}\right)$	${\frac {6}{\pi ^{2}}}\approx 0.607927$
$A m$	Inteiros coprimos com $m$	${\frac {\varphi (m)}{m}}$	φ(m)/m

Conjuntos sem densidade natural

A existência da densidade natural é uma condição forte. Exemplos notáveis de conjuntos sem densidade natural incluem:

Conjunto com oscilação estruturada: $A =⋃ k par [2 k, 2 k +1)$ – a razão oscila entre aproximadamente 1/3 e 2/3
Inteiros com número par de fatores primos: ${n \in N : Ω(n) \equiv 0 mod 2$ } – não possui densidade natural, mas possui densidade logarítmica 1/2 (Teorema de Landau-Selberg)

Densidades alternativas

Para conjuntos sem densidade natural, introduzem-se noções mais fracas:

Densidade superior e inferior

{\overline {d}}(A)=\limsup _{x\to \infty }{\frac {\#\{n\leq x:n\in A\}}{x}},\quad {\underline {d}}(A)=\liminf _{x\to \infty }{\frac {\#\{n\leq x:n\in A\}}{x}}

Sempre existem e satisfazem $0 \leq d(A) \leq d̄(A) \leq 1$ . A densidade natural existe se e somente se $d̄(A)=d(A)$ .

Densidade logarítmica

\delta _{\log }(A)=\lim _{x\to \infty }{\frac {1}{\log x}}\sum _{\begin{array}{c}n\leq x\\n\in A\end{array}}{\frac {1}{n}}

Se $A$ possui densidade natural $δ(A)$ , então possui densidade logarítmica e $δ log (A) = δ(A)$ . A recíproca é falsa.

Densidade de Banach

Em teoria ergódica, define-se a densidade de Banach (ou densidade uniforme):

d^{*}(A)=\lim _{|I|\to \infty }{\frac {|A\cap I|}{|I|}}

onde o limite é tomado sobre intervalos $I$ de inteiros.

Interpretação probabilística

A densidade natural admite uma interpretação probabilística: se $A$ possui densidade $δ(A)$ , pode-se interpretar

\mathbb {P} (n\in A)=\delta (A)

como a probabilidade assintótica de um inteiro grande escolhido "ao acaso" pertencer a $A$ . Esta interpretação fundamenta a teoria probabilística dos números.

Teorema de Erdős-Kac

Um resultado central é o Teorema de Erdős-Kac: para $n$ escolhido uniformemente em ${1, \dots, x$ } com $x \to \infty$ , a distribuição de

{\frac {\omega (n)-\log \log x}{\sqrt {\log \log x}}}

converge para a distribuição normal padrão $N (0,1)$ .

Métodos de cálculo

Método das séries de Dirichlet

Para $A \subseteq N$ , considere a série de Dirichlet geratriz:

F_{A}(s)=\sum _{n\in A}{\frac {1}{n^{s}}},\quad \Re (s)>1

Se $F A (s)$ admite extensão meromorfa com polo simples em $s = 1$ de resíduo $c$ , então frequentemente $δ(A) = c$ .

Método tauberiano

Teoremas tauberianos (Hardy-Littlewood, Ikehara, Selberg-Delange) permitem deduzir o comportamento assintótico de $\sum n \leq x, n \in A 1$ a partir de propriedades analíticas de $F A (s)$ .

Método de truncamento e envelopes

Para conjuntos definidos por condições aditivas, constroem-se funções multiplicativas $ξ ⁻ \leq 1 A \leq ξ ⁺$ tais que: 1. $ξ ⁻$ e $ξ ⁺$ são multiplicativas 2. $δ({n : ξ ⁻(n) \neq ξ ⁺(n)})=0$ 3. As densidades de $ξ ⁻$ e $ξ ⁺$ são computáveis e iguais Então $δ(A)$ existe e coincide com esse valor.

Limitações e extensões

Limitações estruturais

A densidade natural apresenta limitações importantes:

Não é σ-aditiva
Não define uma medida completa
É sensível a rearranjos dos inteiros
A coleção de conjuntos com densidade não é uma σ-álgebra

Conexões com outras áreas

Teoria ergódica: Densidade de Banach conecta-se ao teorema ergódico de Birkhoff
Teoria analítica dos números: Métodos de séries de Dirichlet e tauberianos
Teoria da probabilidade: Interpretação probabilística e leis limites

História e desenvolvimento

Ideias precursoras da densidade natural aparecem em trabalhos de Dirichlet, Chebyshev e Landau. No século XX, tornou-se central com o desenvolvimento da teoria analítica dos números e da teoria probabilística dos números, particularmente através de contribuições de Erdős, Kac, Selberg e Tenenbaum.

Aplicações

A densidade natural é utilizada em diversos contextos:

Estudo da distribuição de valores de funções aritméticas
Formulação de conjecturas sobre propriedades aritméticas
Análise assintótica de métodos de crivo
Fundamentação de modelos probabilísticos em teoria dos números

Ver também

Conjectura de Erdős

Referências

Bibliografia

Tenenbaum, Gérald (2015). Introduction to Analytic and Probabilistic Number Theory 4ª ed. [S.l.]: American Mathematical Society. ISBN 978-0-8218-9854-3
Granville, Andrew; Soundararajan, Kannan (2007). Multiplicative Number Theory: The Erdős-Kac Theorem. [S.l.]: Cambridge University Press. ISBN 978-0-521-85449-1 Verifique |isbn= (ajuda)
Elliott, P. D. T. A. (1979–1980). Probabilistic Number Theory I, II. [S.l.]: Springer. ISBN 978-0-387-90437-6 Verifique |isbn= (ajuda)
Landau, Edmund (1953). Handbuch der Lehre von der Verteilung der Primzahlen. [S.l.]: Chelsea. OCLC 891654
Niven, Ivan (1951). «The asymptotic density of sequences». Bulletin of the American Mathematical Society. 57 (6): 420–434. doi:10.1090/S0002-9904-1951-09543-9

Ligações externas

Weisstein, Eric W. «Natural Density». MathWorld (em inglês)
«Density» (em inglês). na OEIS Wiki