تابع اعداد اول

بندانگشتی|300px|''p<sub>n</sub>''# as a function of ''n'', plotted logarithmically.
بندانگشتی|300px|''n''# as a function of ''n'' (red dots), compared to ''n''!. Both plots are logarithmic.
در ریاضیات، به‌طور ویژه در نظریه اعداد، **تابع اعداد اول**، تابعی از اعداد طبیعی به اعداد طبیعی همانند تابع فاکتوریل می‌باشد که به جای ضرب اعداد صحیح مثبت، اعداد اول صرفاً ضرب می‌شوند.
دو تعریف متضاد وجود دارد که تفسیر این استدلال را متفاوت می‌کند:
تعبیر استدلال اول بیان می‌دارد که در دنباله اعداد اول شاخص[اعداد اول] وجود دارد (پس این تابع اکیداً صعودی است) درحالیکه تعبیر استدلال دوم بیان می‌دارد که اعداد اول برای ضرب، معین اند (پس مقدار تابع در هر عدد مرکب، مشابه مقدار قبلی خود[تا عدد اول ماقبل] می‌باشد)
این مقاله از تعبیر دوم استفاده می‌کند.
عبارت «تابع اعداد اول»، منسوب به Harvey Dubner، با اعداد اول متناسب است همان‌طور که تابع عوامل (فاکتوریل) با عوامل رابطه دارد.

## تعریفی بر اعداد اول
تابع اعداد اول، *p<sub>n</sub>*، برای *n*امین عدد اول، عبارت *#p<sub>n</sub>* حاصل *n*تا عدد اول تعریف می‌شود.

:p_n\# = \prod_{k=1}^n p_k

که *p<sub>k</sub>*، *k*امین عدد اول می‌باشد.
به عنوان مثال، *p<sub>5</sub>#* دلالت بر حاصل ۵ عدد اول دارد:

:p_5\# = 2 \times 3 \times 5 \times 7 \times 11 = 2310.

برای ۶ تابع اعداد اول، *p<sub>n</sub>#* به صورت زیر است:

:1, 2, 6, 30, ۲۱۰, ۲۳۱۰.

این دنباله شامل *p<sub>0</sub>#* = ۱ نیز به عنوان حاصل پوچ (هسته یا همان کرنل) می‌باشد.
تابع اعداد اول *p<sub>n</sub>#* مطابق زیر رشد می‌کند:

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

که o(\cdot) نماد oکوچک می‌باشد.

## تعریفی بر اعداد طبیعی
در کل، برای هر عدد صحیح مثبت *n* همانند تابع اعداد اول، #*n* به صورت حاصل اعداد اول که &le; *n*: هستند، تعریف می‌شود.

:n\# = \prod_{i=1}^{\pi(n)} p_i = p_{\pi(n)}\# 

که \scriptstyle\pi(n) ''تابع شمارش اعداد اول''است؛ که تعداد اعداد اول &le; *n* را می‌دهد؛ و معادل زیر است:

:
n\# =
\begin{cases}
  1 & \text{if }n = 1 \\
  n \times ((n-1)\#) & \text{if }n> 1\ \And\ n \text{ is prime} \\
  (n-1)\# & \text{if }n> 1\ \And\ n \text{ is composite}.
\end{cases}


برای مثال ۱۲# حاصل اعداد اول &le; ۱۲ را بیان می‌دارد.

:12\# = 2 \times 3 \times 5 \times 7 \times 11= 2310.

زیرا \scriptstyle\pi(12)=5 را می‌توان از طریق زیر محاسبه کرد:

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

مقادیر تابع اعداد اول را برای ۱۲ مقدار اول n\# در نظر بگیرید.
۱، ۲، ۶، ۶، ۳۰، ۳۰، ۲۱۰، ۲۱۰، ۲۱۰، ۲۱۰، ۲۳۱۰، ۲۳۱۰.
می‌بینیم که برای هر عدد مرکب *n* هر جملهٔ n# جملهٔ ماقبل خود را تکثیر می‌کند (*n*&nbsp;−&nbsp;۱)# چنانچه در تعریف گفته شد. در مثال بالا داریم 12#&nbsp;=&nbsp;*p*5#&nbsp;=&nbsp;۱۱# زیرا ۱۲ عددی مرکب است.

لگاریتم طبیعی *n*# اولین تابع چبیشف است که به صورت \theta(n) یا \thetasym(n) نوشته می‌شود که برای *n*های بزرگ به *n* نزدیک می‌شود.[هم‌ارزی].
نظر ضرب کردن همه اعداد اول شناخته شده در اثبات نامحدود بودن اعداد اول، به وقوع پیوست؛ که از آن برای وجود اشتقاقی سایر اعداد اول استفاده می‌شود.

## ویژگی‌ها و کاربردها
تابع اعداد اول در تحقیق اعداد اول در پیشرفت‌های حسابی افزایشی نقش دارد. برای مثال ۲۲۳۶۱۳۳۹۴۱ + ۲۳# اول است که با دنباله‌ای با سیزده عدد اول که با اضافه کردن مکرر ۲۳# کشف شد شروع و با ۵۱۳۶۳۴۱۲۵۱ تمام شد. ۲۳# هم چنین تفریق عادی در پیشرفت حسابی ۱۵ و ۱۶ عدد اول است.

هر عدد مرکب عالی، حاصل تابع اعداد اول می‌باشد. (۳۶۰ = ۲·۶·۳۰)

همهٔ اعداد تابع اعداد اول، **مکعب ناکامل اند** و از اعداد کوچک‌تر از خود عوامل اول مجزای بیش تری دارد. برای هر تابع اعداد اول *n*، کسر \phi(n)/n از هر عدد صحیح کمتر، کوچک‌تر است و \phi تابع نمایی اویلر می‌باشد.

هر تابع کامل ضربی، با مقادیر خود در تابع اعداد اول تعریف می‌شود، زیرا با مقادیر خود در اعداد اول بیان می‌شود که می‌توان با تقسیم مقادیر مجاور آن را پوشا کرد.

سامانه‌های پایه‌ای مربوط به تابع اعداد اول (مانند پایه ۳۰؛ با *سامانه عددی تابع اعداد اول* اشتباه نگیرید) از هر پایه کوچتری نسبت کمتری از توابع تکرار را داراست.

هر تابع عدد اول، عددی با توان پراکنده است.

## نمود
تابع زتای ریمان در اعداد صحیح مثبت بزرگتر از یک را می‌توان با تابع اعداد اول و J_k(n) تابه نمایی جردن بیان کرد:
:  \zeta(k)=\frac{2^k}{2^k-1}+\sum_{r=2}^\infty\frac{(p_{r-1}\#)^k}{J_k(p_r\#)},\quad k=2,3,\dots 

## جدول تابع اعداد اول

## منابع
در ویکی‌پدیای انگلیسی

## یادداشت‌ها

* 

رده:اعداد اول
رده:دنباله اعداد صحیح
رده:موضوعات فاکتوریل و دوجمله‌ای