הצגת המקור של הדף "פנטציה"

[[קובץ:Pentation.jpg|ממוזער| שלושת הערכים הראשונים של הביטוי ''x'' [5]2. הערך של 3[5]2 הוא בערך 7.626 × 10 <sup>12</sup> ; ערכים עבור ''x'' גבוה יותר, כגון 4[5]2, שזה בערך 2.361 × 10 <sup>8.072 × 10 <sup>153</sup></sup> גדולים מדי מכדי להופיע בגרף.]]
ב[[מתמטיקה]], '''פנטציה''' (או '''היפר-5''' ) היא ה[[היפר-פעולות|היפר-פעולה]] הבאה אחרי ה[[טטרציה]] ולפני ההקסציה. היא מוגדרת כטטרציה [[איטרציה|חוזרת]], בדיוק כפי שטטרציה היא [[חזקה (מתמטיקה)|חזקה]] חוזרת<ref>{{Citation|last=Perstein|first=Millard H.|date=June 1962|doi=10.1145/367766.368160|number=6|journal=[[Communications of the ACM]]|page=344|title=Algorithm 93: General Order Arithmetic|volume=5}}.</ref> זוהי [[פעולה בינארית]] המוגדרת עם שני מספרים ''a'' ו-''b'', כאשר עושים ''a'' בטטרציית עצמו ''b'' פעמים. לדוגמה, שימוש בסימון היפר-פעולות עבור פנטציה וטטרציה, <math>2[5]3</math> פירושו 2 בטטרציית עצמו פעמיים, או <math>2[4](2[4]2)</math> . לאחר מכן ניתן לצמצם זאת ל <math>2[4](2^2)=2[4]4=2^{2^{2^2}}=2^{2^4}=2^{16}=65,536.</math>

== אֶטִימוֹלוֹגִיָה ==
את המילה "פנטציה" טבע ראובן גודשטיין ב-1947 כ[[הלחם מילים]] פנטה (חמש) ואיטרציה. זה חלק מתוכנית השמות הכללית שלו עבור היפר-פעולות. <ref>{{Citation|last=Goodstein|first=R. L.|author-link=Reuben Goodstein|journal=[[The Journal of Symbolic Logic]]|mr=0022537|pages=123–129|title=Transfinite ordinals in recursive number theory|volume=12|number=4|year=1947|doi=10.2307/2266486|jstor=2266486}}.</ref>

== סימון ==
אין הסכמה לגבי הסימון של פנטציה; ישנן דרכים רבות ושונות לכתוב את פעולת הפנטציה. עם זאת, חלקם נפוצים יותר מאחרים, ולחלקם יתרונות או חסרונות ברורים בהשוואה לאחרים.
* אפשר לכתוב פנטציה, כמו שכותבים היפר-פעולות פעולות אחרות, למשל: <math>a[5]b</math> = a בטטרצית a כך שכמות הפעמים שיש a בתרגיל הזה שווה ל-b, והחמש בסוגריים המסולסלות מסמן שזה פנטציה.
* בסימון החץ למעלה, <math>a[5]b</math> מיוצג כ <math>a \uparrow \uparrow \uparrow b</math> אוֹ <math>a \uparrow^{3}b</math> . בסימון זה, <math>a\uparrow b</math> מייצג חזקה ו-<math>a\uparrow \uparrow b</math> מייצג טטרציה. ניתן להתאים את הפעולה בקלות לחזקה וטטרציה על ידי שינוי כמות החצים.
* בסימון חץ משורשר, <math>a[5]b = a\rightarrow b\rightarrow 3</math> . <ref>{{Citation|title=The Book of Numbers|first=John Horton|last=Conway|author1-link=John Horton Conway|first2=Richard|last2=Guy|author2-link=Richard K. Guy|publisher=Springer|year=1996|isbn=9780387979939|page=61|url=https://books.google.com/books?id=0--3rcO7dMYC&pg=PA61}}.</ref>
* סימון מוצע נוסף הוא <math>{_{b}a}</math>, אם כי זה לא ניתבה לפעולות היפר-ניתוח גבוהות יותר. <ref>{{Cite web|title=Tetration.org - Tetration|url=http://www.tetration.org/Tetration/index.html|access-date=2022-09-12|website=www.tetration.org}}</ref>

== דוגמאות ==
ניתן לקבל את ערכי פונקציית הפנטציה גם מהערכים בשורה הרביעית בטבלת הערכים של גרסה של [[פונקציית אקרמן]]: אם <math>A(n,m)</math> מוגדר על ידי הישנות אקרמן <math>A(m-1,A(m,n-1))</math> עם התנאים ההתחלתיים <math>A(1,n)=an</math> ו <math>A(m,1)=a</math>, לאחר מכן <math>a[5]b=A(4,b)</math> . <ref>{{Citation|last=Nambiar|first=K. K.|doi=10.1016/0893-9659(95)00084-4|number=6|journal=Applied Mathematics Letters|mr=1368037|pages=51–53|title=Ackermann functions and transfinite ordinals|volume=8|year=1995}}.</ref>

כמו טטרציה, פעולת הבסיס שלו, פנטציה לא הורחבה לגבהים שאינם שלמים, pentation <math>a[5]b</math> מוגדר כרגע רק עבור ערכים שלמים של ''a'' ו- ''b'' שבהם ''a'' > 0 ו- ''b'' ≥ −2, ועוד כמה ערכי מספר שלמים ''שעשויים'' להיות מוגדרים באופן ייחודי. כמו בכל פעולות יתר מסדר 3 ( [[חזקה (מתמטיקה)|אקספונציה]] ) ומעלה, לפנטציה יש את המקרים הטריוויאליים (זהויות) הבאים שמתקיימים עבור כל הערכים של ''a'' ו- ''b'' בתחום שלו:
* <math>1[5]b = 1</math>
* <math>a[5]1 = a</math>
* <math>a[5]2 = a[4]a</math>
* <math>a[5]0 = 1</math>
* <math>a[5](-1) = 0</math>
* <math>a[5](-2) = -1</math>
* <math>a[5](b+1) = a[4](a[5]b)</math>

מלבד המקרים הטריוויאליים המוצגים לעיל, פנטציה מייצרת מספרים גדולים מאוד במהירות רבה, כך שיש רק מקרים בודדים שאינם טריוויאליים המייצרים מספרים שניתן לכתוב בסימון קונבנציונלי, כפי שמודגם להלן:
* <math>2[5]2 = 2[4]2 = 2^2 = 4</math>
* <math>2[5]3 = 2[4](2[5]2) = 2[4](2[4]2) = 2[4]4 = 2^{2^{2^2}} = 2^{2^4} = 2^{16} = 65,536</math>
* <math>2[5]4 = 2[4](2[5]3) = 2[4](2[4](2[4]2)) = 2[4](2[4]4) = 2[4]65,536 = 2^{2^{2^{\cdot^{\cdot^{\cdot^{2}}}}}} \mbox{ (a power tower of height 65,536) } \approx \exp_{10}^{65,533}(4.29508)</math> (מוצג כאן בתווי אקספוננציאלי חוזר מכיוון שהוא גדול מדי מכדי להיכתב בסימון קונבנציונלי. הערה <math> \exp_{10}(n) = 10^n </math> )
* <math>2[5]5 = 2[4](2[5]4) = 2[4](2[4](2[4](2[4]2))) = 2[4](2[4](2[4]4)) = 2[4](2[4]65,536) = 2^{2^{2^{\cdot^{\cdot^{\cdot^{2}}}}}} \mbox{ (a power tower of height 2[4]65,536) } \approx \exp_{10}^{2[4]65,536-3}(4.29508)</math>
* <math>3[5]2 = 3[4]3 = 3^{3^3} = 3^{27} = 7,625,597,484,987</math>
* <math>3[5]3 = 3[4](3[5]2) = 3[4](3[4]3) = 3[4]7,625,597,484,987 = 3^{3^{3^{\cdot^{\cdot^{\cdot^{3}}}}}} \mbox{ (a power tower of height 7,625,597,484,987) } \approx \exp_{10}^{7,625,597,484,986}(1.09902)</math>
* <math>3[5]4 = 3[4](3[5]3) = 3[4](3[4](3[4]3)) = 3[4](3[4]7,625,597,484,987) = 3^{3^{3^{\cdot^{\cdot^{\cdot^{3}}}}}} \mbox{ (a power tower of height 3[4]7,625,597,484,987) } \approx \exp_{10}^{3[4]7,625,597,484,987-1}(1.09902)</math>
* <math>4[5]2 = 4[4]4 = 4^{4^{4^4}} = 4^{4^{256}} \approx \exp_{10}^3(2.19)</math> (מספר עם יותר מ-10 <sup>153</sup> ספרות)
* <math>5[5]2 = 5[4]5 = 5^{5^{5^{5^5}}} = 5^{5^{5^{3125}}} \approx \exp_{10}^4(3.33928)</math> (מספר עם יותר מ-10 <sup>10 <sup>2184</sup></sup> ספרות)

== ראו גם==
* [[פונקציית אקרמן]]
* [[מספרים גדולים]]
* [[מספר גרהאם|המספר של גרהם]]

==הערות שוליים==
{{הערות שוליים|יישור=שמאל}}

[[קטגוריה:מספרים גדולים]]