Asymptotická hustota

Asymptotická hustota je jedno spomedzi mnohých čísel udávajúcich, ako husto sú prvky danej podmnožiny prirodzených čísel rozprestrené v samotných prirodzených číslach. Presne je asymptotická hustota $d(A)$ množiny $A$ prirodzených čísel definovaná vzťahom

$d(A)=\underset{n\to \mathrm{\infty }}{\lim }\frac{A(n)}{n}$

kde $A(n)=|A\cap \{1,2,3,\dots ,n\}|$ je počet všetkých prvkov množiny $A$, ktoré sú menšie než prirodzené číslo $n$. Ak limita v tomto definujúcom vzťahu existuje, hovoríme, že množina $A$ má asymptotickú hustotu. Nie všetky podmnožiny množiny prirodzených čísel majú asymptotickú hustotu.

Horná a dolná asymptotická hustota

Horná asymptotická hustota podmnožiny $A$ prirodzených čísel je číslo

$\bar{d}(A)=\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}\frac{A(n)}{n}$

zatiaľ čo jej dolná asymptotická hustota je

$\underset{\_}{d}(A)=\underset{n\to \mathrm{\infty }}{\mathrm{lim\; inf}}\frac{A(n)}{n}.$

Na rozdiel od asymptotickej hustoty, horná a dolná asymptotická hustota existuje pre každú podmnožinu prirodzených čísel. Je zrejmé, že množina má asymptotickú hustotu vtedy a len vtedy ak sa jej horná a dolná asymptotická hustota rovnajú.

Príklady

• Množina prirodzených čísel ale aj všetky jej kokonečné podmnožiny majú asymptotickú hustotu 1.
• Prázdna množina ale aj všetky konečné podmnožiny prirodzených čísel majú asymptotickú hustotu 0.
• Množina párnych kladných čísel a množina nepárnych kladných čísel majú asymptotickú hustotu 1/2.
• Množina všetkých členov aritmetickej postupnosti {an+b} s diferenciou a má asymptotickú hustotu 1/a.
• Množina štvorcov alebo množina dokonalých čísel sú príkladmi nekonečných množín ktorých asymptotická hustota je 0.
• Príkladom množiny ktorá nemá asymptotickú hustotu je

$A=\bigcup _{n\in \mathbb{N}}\{n\in \mathbb{N}|2^{2n+1}-2^{2n-1}\le n\le 2^{2n+1}\}$.

• O množine abundantných čísel sa vie, že má asymptotickú hustotu, zatial ale nie je známa jej presná hodnota. Vie sa iba toľko, že táto asymptotická hustota sa nachádza v intervale [0.2474,0.2480].

Vlastnosti

• Ak množina $A$ má asymptotickú hustotu, potom platí $d(A^c)=1-d(A)$, kde $A^c$ je komplement množiny $A$ vzhľadom k množine prirodzených čísel. Pre hornú a dolnú hustotu máme $\bar{d}(A^c)=1-\underset{\_}{d}(A)$.
• Pre ľubovoľnú podmnožinu prirodzených čísel platí $0\le \underset{\_}{d}(A)\le \underset{\_}{d}(B)\le 1$.
• Pre disjunktné množiny $A,B\subseteq \mathbb{N}$ platí

$\underset{\_}{d}(A)+\underset{\_}{d}(B)\le \underset{\_}{d}(A\cup B)\le \underset{\_}{d}(A)+\bar{d}(B)\le \bar{d}(A\cup B)\le \bar{d}(A)+\bar{d}(B)$

Špeciálne, ak $A$ aj $B$ majú hustotu, tak dostaneme $d(A\cup B)=d(A)+d(B)$. Teda asymptotická hustota je konečne aditívna.

Literatúra

• Šablóna:Citácia knihy

Pozri aj

• Schnirelmannova hustota