Primoriela

$p_n\mathrm{\#}$ kot funkcija $n$ v logaritemskem grafu

$n\mathrm{\#}$ kot funkcija $n$ (rdeče pike) v primerjavi z $n!$ v logaritemskem grafu

Primoriela (Predloga:Jezik-en) je v matematiki in še posebej v teoriji števil funkcija naravnih števil v naravna števila podobno kot funkcija fakultete. Namesto množenja zaporednih pozitivnih celih števil se množijo zaporedna praštevila.

Obstajata dve nasprotujoči definiciji primoriel, ki se razlikujeta v tolmačenju argumenta:

• prva definicja tolmači argument kot indeks členov zaporedja praštevil, tako da je funkcija strogo naraščajoča,
• druga definicija tolmači argument kot mejo praštevil, ki jih je treba pomnožiti, tako da vrednost funkcije pri poljubnem sestavljenem številu enaka kot pri predhodniku. Preostanek članka uporablja drugo definicijo.

Ime »primoriela« pripisujejo ameriškemu inženirju in matematiku Harveyju Dubnerju in je podobna analogiji s praštevili (primes) na enak način kot je ime »fakulteta« (»faktoriela«) povezana s faktorji.

Definicija za praštevila

Za n-to praštevilo $p_n$ je primoriela $p_n\mathrm{\#}$ definirana kot produkt prvih $n$ praštevil:

$p_n\mathrm{\#}=\prod _{k=1}^n{p}_k,$

kjer je $p_k$ k-to praštevilo.

$p_5\mathrm{\#}$ na primer označuje produkt prvih 5 praštevil:

$p_5\mathrm{\#}=2\cdot 3\cdot 5\cdot 7\cdot 11=2310.$

Prve primoriele $p_n\mathrm{\#}$ za $n\ge 0$ so Predloga:OEIS:

1, 2, 6, 30, 210, 2310, 30030, 510510, 9699690, 223092870, 6469693230, 200560490130, ...

Zaporedje vsebuje tudi $p_0\mathrm{\#}=1$ kot prazni produkt, ki je po dogovoru enak 0.

Asimptotično primoriele $p_n\mathrm{\#}$ naraščajo kot:

$p_n\mathrm{\#}=e^{(1+o(1))n\log n},$

kjer je $o(\cdot )$ Landauov simbol.

Definicija za naravna števila

V splošnem se lahko za pozitivno celo število $n$ tudi definira takšna primoriela $n\mathrm{\#}$ kot produkt tistih praštevil $\le n$:

$n\mathrm{\#}=\prod _{i=1}^{\pi (n)}{p}_i=p_{\pi (n)}\mathrm{\#},$

kjer je $\pi (n)$ funkcija števila praštevil Predloga:OEIS, ki podaja število praštevil $\le n$.

To je enakovredno:

$n\mathrm{\#}=\{\begin{array}{cc}1& ;n=1\\ n((n-1)\mathrm{\#})& ;n>1\text{ in}n\text{ je praštevilo}\\ (n-1)\mathrm{\#}& ;n>1\text{ in}n\text{ je sestavljeno}.\end{array}$

12# na primer predstavlja produkt tistih praštevil $\le 12$:

$12\mathrm{\#}=2\cdot 3\cdot 5\cdot 7\cdot 11=2310.$

Ker je $\pi (12)=5$, se to lahko izračuna kot:

$12\mathrm{\#}=p_{\pi (12)}\mathrm{\#}=p_5\mathrm{\#}=2310.$

Prve primoriele $n\mathrm{\#}$ za $n\ge 0$ so Predloga:OEIS:

1, 1, 2, 6, 6, 30, 30, 210, 210, 210, 210, 2310, 2310, 30030, 30030, 30030, 30030, ...

Zaporedje vsebuje tudi $0\mathrm{\#}=1$ in $1\mathrm{\#}=1$.

Vidi se, da je za sestavljeno število $n$ vsak člen $n\mathrm{\#}$ podvojen predhodni člen $(n-1)\mathrm{\#}$, kot je podano z definicijo. V zgornjem zgledu velja $12\mathrm{\#}=p_5\mathrm{\#}=11\mathrm{\#}$, ker je 12 sestavljeno število.

Naravni logaritem funkcije $n\mathrm{\#}$ je prva funkcija Čebišova, zapisana kot $\theta (n)$ ali $\vartheta (n)$, ki se za velike $n$ linearno približuje $n$.

Primoriele $n\mathrm{\#}$ naraščajo kot:

$\ln (n\mathrm{\#})\sim n.$

Zamisel o množenju vse znanih praštevil se pojavlja v nekaterih dokazih za neskončno število praštevil, kjer se uporabi za izpeljavo obstoja drugega praštevila.

Uporabe in značilnosti

Primoriele se uporabljajo pri iskanju praštevil v aditivnih aritmtičnih zaporedjih. 2236133941 + 23# je na primer praštevilo in začenja zaporedje trinajstih praštevil, najdenih z zaporednim prištevanjem števila 23#. To zaporedje se konča s številom 5136341251. 23# je tudi skupna razlika v aritmetičnih zaporedjih petnajstih in šestnajstih praštevil.

Vsako zelo estavljeno število je produkt primoriel (na primer število 360 = 2 · 6 · 30).

Primoriele so nekvadratna cela števila in vsaka ima več različnih prafaktorjev kot katerokoli število manjše od nje. Za vsako primorielo $n$ je ulomek $\varphi (n)/n$ manjši kot za katerokoli manjše celo število. Tu je $\varphi$ Eulerjeva funkcija φ.

Vsaka popolnoma multiplikativna funkcija je definirana s svojimi vrednostmi pri primorielah, ker je definirana s svojimi vrednostmi pri praštevilih, kar se lahko izpelje z deljenjem sosednjih vrednosti.

Sistemi z bazami, ki odgovarjajo primorielam (kot na primer baza 30, kar se ne sme zamenjevati z primorielnim številskim sistemom), imajo manjše razmerje periodičnih ulomkov kot katerakoli manjša baza.

Vsaka primoriela je redko totientno število.

Vsoti neskončnih vrst obratnih vrednosti primoriel obeh vrst konvergirata in sta enaki konstantama:

$\sum _{n=2}^{\mathrm{\infty }}\frac{1}{n\mathrm{\#}}=\frac{1}{2}+\frac{1}{6}+\frac{1}{6}+\frac{1}{30}+\frac{1}{30}+\frac{1}{30}+\frac{1}{210}+\frac{1}{210}+\frac{1}{210}+\frac{1}{210}+\frac{1}{2310}+\dots =0,9200509773161\dots ,$ Predloga:OEIS,

$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{p_n\mathrm{\#}}=\frac{1}{2}+\frac{1}{6}+\frac{1}{30}+\frac{1}{210}+\frac{1}{2310}+\frac{1}{30030}+\frac{1}{510510}+\frac{1}{9699690}+\dots =0,7052301717918\dots ,$ Predloga:OEIS.

Pojava

Riemannova funkcija ζ za pozitivna cela števila večja od 1 se lahko izrazi s pomočjo primoriel in Jordanovo funkcijo $J_k(n)$ kot:

$\zeta (k)=\frac{2^k}{2^k-1}+\sum _{r=2}^{\mathrm{\infty }}\frac{(p_{r-1}\mathrm{\#}{)}^k}{J_k(p_r\mathrm{\#})},(k=2,3,\dots ).$

Razpredelnica prvih primoriel

$n$	$n\mathrm{\#}$	$p_n$	$p_n\mathrm{\#}$
0	1	brez praštevila	1
1	1	2	2
2	2	3	6
3	6	5	30
4	6	7	210
5	30	11	2310
6	30	13	30030
7	210	17	510510
8	210	19	9699690
9	210	23	223092870
10	210	29	6469693230
11	2310	31	200560490130
12	2310	37	7420738134810
13	30030	41	304250263527210
14	30030	43	13082761331670030
15	30030	47	614889782588491410
16	30030	53	32589158477190044730
17	510510	59	1922760350154212639070
18	510510	61	117288381359406970983270
19	9699690	67	7858321551080267055879090
20	9699690	71	557940830126698960967415390

Neskončni verižni ulomek

Konstanti neskončnih verižnih ulomkov primoriel obeh vrst sta:

$u_{n\mathrm{\#}}=[0;2,6,6,30,30,210,210,210,210,2310,2310,30030\dots ]=0,4624948254441\dots ,$

$u_{p\mathrm{\#}}=[0;2,6,30,210,2310,30030,510510,9699690,223092870\dots ]=0,4617346628934\dots .$

Glej tudi

• Bonsejeva neenakost
• primorielno praštevilo
• fakultetni številski sistem
• kompozitoriela

Viri

• Predloga:Citat
• Predloga:Citat
• Predloga:Citat

Zunanje povezave

• Predloga:MathWorld