پنتیشن

سه مقدار اول عبارت x[5]2. مقدار 3[5]2 حدود 7.626 × 10 ¹² است. مقادیر بالاتر x، خیلی بزرگتر از آن هستند که در نمودار ظاهر شوند.

در ریاضیات، پنتیشن (به انگلیسی: Pentation) (یا هایپر-5) اَبَرعملی است بین تتریشن و هگزیشن. پنتیشن به عنوان تتریشن تکراری (تکرار شده) تعریف می‌شود، همانطور که تتریشن توان تکراری است. این یک عملیات دوتایی است که با دو عدد a و b تعریف شده‌است، که در آن a به خود b-1 برابر تتریشن می‌شود. به عنوان مثال، با استفاده از نماد ابرعمل برای پنتیشن و تتریشن، $2[5]3$ به معنای $2[4](2[4]2)$ است. می‌تواند به این صورت ساده شود: $2[4](2^{2})=2[4]4=2^{2^{2^{2}}}=2^{2^{4}}=2^{16}=65536.$.

واژه‌شناسی

کلمه پنتیشن (Pentation) توسط روبن گودشتاین در سال 1947 از پیشوند penta- (پنج) و iteration (تکرار) ابداع شد. این بخشی از طرح نامگذاری کلی او برای ابرعملیات‌ها است.

نمادگذاری

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

• پنتیشن را می‌توان به عنوان یک ابرعمل به‌صورت $a[5]b$ نوشت. در این قالب، $a[3]b$ ممکن است به عنوان نتیجۀ اعمال مکرر تابع $x\mapsto a[2]x$ تفسیر شود، برای تکرار $b$ها، با شروع از عدد 1. به‌طور مشابه، $a[4]b$‌ (تتریشن)، مقداری را نشان می‌دهد که با اعمال مکرر تابع $x\mapsto a[3]x$ به‌دست می‌آید، برای تکرار $b$ها، با شروع از عدد1، و پنتیشن $a[5]b$ مقدار به‌دست آمده با اعمال مکرر تابع $x\mapsto a[4]x$ را نشان می‌دهد، برای تکرار $b$ها، با شروع از عدد1. این نمادِ مورد استفاده در ادامۀ مقاله خواهد بود.

• در نماد پیکان بالا کنوت، $a[5]b$ به این صورت نشان داده شده‌است: $a\uparrow \uparrow \uparrow b$ یا $a\uparrow ^{3}b$. در این نماد، $a\uparrow b$ توان را نشان می‌دهد ($a^{b}$) و $a\uparrow \uparrow b$ تتریشن را نشان می‌دهد ($^{b}a$). با اضافه کردن یک فلش دیگر، عملیات را می‌توان به راحتی برای هگزیشن تعریف کرد.

• در نماد پیکان زنجیره‌ای کانوی، $a[5]b=a\rightarrow b\rightarrow 3$.

• نماد پیشنهادی دیگر این است ${_{b}a}$، اگرچه این نماد قابل تعمیم به ابرعملیات‌های بالاتر نیست.

مثال‌ها

مقادیر تابع پنتیشن را می‌توان از مقادیر ردیف چهارم جدول مقادیر یکی از انواع تابع آکرمان نیز به‌دست آورد: اگر $A(n,m)$، با شرایط اولیۀ $A(1,n)=an$ و $A(m,1)=a$، $A(m-1,A(m,n-1))$ با عود آکرمان تعریف می‌شود؛ پس $a[5]b=A(4,b)$.

به عنوان تتریشن، عملیات پایۀ آن به ارتفاعات غیرصحیح، پنتیشن ($a[5]b$) گسترش نیافته است. در حال حاضر فقط برای مقادیر صحیح a و b تعریف شده است که در آن a > 0 و b ≥ -1، و چند عدد صحیح دیگر که ممکن است به طور منحصر به فرد تعریف شوند، تعریف شده‌است. مانند همه ابرعمل‌های مرتبۀ 3 (توان) و بالاتر، پنتیشن دارای موارد جزئی (هویت) زیر است که برای همه مقادیر a و b در دامنۀ خود صادق است:

• $1[5]b=1$
• $a[5]1=a$

علاوه بر این، همچنین می‌توانیم تعریف کنیم:

• $a[5]0=1$
• $a[5](-1)=0$

به غیر از موارد پیش پا افتادۀ نشان داده شده در بالا، پنتیشن اعداد بسیار بزرگی را به سرعت تولید می‌کند، به‌طوری که تنها چند مورد غیر پیش پا افتاده وجود دارد که اعدادی را تولید می‌کند که می‌توان آن‌ها را با نمادهای معمولی نوشت، همانطور که در زیر نشان داده شده‌است:

• $2[5]2=2[4]2=2^{2}=4$
• $2[5]3=2[4](2[4]2)=2[4]4=2^{2^{2^{2}}}=2^{2^{4}}=2^{16}=65,536$
• $2[5]4=2[4](2[4](2[4]2))=2[4](2[4]4)=2[4]65536=2^{2^{2^{\cdot ^{\cdot ^{\cdot ^{2}}}}}}{\mbox{ (a power tower of height 65,536) }}\approx \exp _{10}^{65,533}(4.29508)$ (در اینجا با نماد نمایی تکرار شده نشان داده شده‌است؛ زیرا برای نوشتن با نماد معمولی بسیار بزرگ است. توجه داشته باشید $\exp _{10}(n)=10^{n}$)
• $3[5]2=3[4]3=3^{3^{3}}=3^{27}=7,625,597,484,987$
• $3[5]3=3[4](3[4]3)=3[4]7,625,597,484,987={\underset {{\text{3 is repeated 3[4]3 times}}=3^{3^{3}}}{3^{3^{.^{.^{.^{3}}}}}}}{\mbox{ (a power tower of height 7,625,597,484,987) }}\approx \exp _{10}^{7,625,597,484,986}(1.09902)$
• $4[5]2=4[4]4=4^{4^{4^{4}}}=4^{4^{256}}\approx \exp _{10}^{3}(2.19)$ (عددی با بیش از $10^{153}$ رقم)
• $5[5]2=5[4]5=5^{5^{5^{5^{5}}}}=5^{5^{5^{3125}}}\approx \exp _{10}^{4}(3.33928)$ (عددی با بیش از $10^{10^{2184}}$ رقم)

جستارهای وابسته

• تابع آکرمان
• عدد گراهام