היפר-פעולות

במתמטיקה, רצף היפר-פעולות הוא סדרה אינסופית של פעולות, אשר מתחילה בפעולה האונארית של פונקציית המספר העוקב (<math>n=0</math>), ממשיכה עם הפעולות הבינאריות של חיבור (<math>n=1</math>), כפל (<math>n=2</math>) וחזקה (<math>n=3</math>) וממשיכה עם פעולות בינאריות נוספות שהן אסוציאטיביות מימין. המתמטיקאי ראובן גודשטיין נתן שמות לפעולות שמעבר לחזקה: האיבר ה-n-י של הסדרה נקרא לפי התחיליות היווניות של <math>n</math>, בתוספת הסופית "ציה" (לדוגמה, טטרציה (<math>n=4</math>), פנטציה (<math>n=5</math>), הקסציה (<math>n=6</math>), וכן הלאה). פעולות אלו יכולות להירשם באמצעות <math>n-2</math> חצים בשיטת החץ של קנות' (כאשר <math>n \geq 3</math>). ניתן לפרש כל היפר-פעולה באופן רקורסיבי לפי הפעולה הקודמת לו, באמצעות הנוסחה:

<center>
<math>
\begin{matrix}
a \uparrow^m b & = & \underbrace{a \uparrow^{m-1} (a \uparrow^{m-1} (a \uparrow^{m-1} (...(a \uparrow^{m-1} (a \uparrow^{m-1} a))...)))} \\
& & b\mbox{ copies of }a
\end{matrix}
</math>(<math>m \ge 0</math>)
</center>

היא גם יכולה להיות מוגדרת לפי כלל הנסיגה שבהגדרתה, כמו בגרסת החץ של קנות' של פונקציית אקרמן:

<center>
:<math>a \uparrow^m b = a \uparrow^{m-1} (a \uparrow^m (b-1))</math>(<math>m \ge -1</math>)
</center>

אפשר להשתמש בכך כדי להציג מספרים גדולים בהרבה מאלה שניתן בכתיב מדעי, כמו מספרי סקיוז וגוגולפלקס, אבל יש מספרים אשר אפילו אותם לא ניתן להציג בנקל, כמו מספר גרהאם ו-TREE(3). כלל נסיגה זה משותף לווריאנטים רבים של היפר-פעולות (ראו מטה).

== הגדרה ==
רצף ההיפר-פעולות הוא סדרת הפעולות הבינאריות: <math>H_n(a,b) (\mathbb{N}_0)^3 \rightarrow \mathbb{N}_0</math>, המוגדר באופן רקורסיבי כך:

<center>
<math>
H_n(a,b) =
 \begin{cases}
 b + 1 & \text{if } n = 0 \\
 a &\text{if } n = 1, b = 0 \\
 0 &\text{if } n = 2, b = 0 \\
 1 &\text{if } n \ge 3, b = 0 \\
 H_{n-1}(a,H_n(a,b-1)) & \text{otherwise}
 \end{cases}
</math>
</center>
* עבור <math>n = 0</math>, הגדרה זו מחקה את פעולתה של פונקציית המספר העוקב, והפעולה הבינארית הופכת בפועל לפעולה אונארית – תוך השמטת (ללא תלות ב-) הארגומנט הראשון.
* עבור <math>n = 1,2,3</math>, הגדרה זו מחקה את ארבע הפעולות האריתמטיות הראשונות ברצף.
מכאן, נקבל:

:: <math>H_0(a,b) = b + 1</math> – פונקציית המספר העוקב
:: <math>H_1(a,b) = a + b</math> – חיבור
:: <math>H_2(a,b) = a \cdot b</math> – כפל<math>H_3(a,b) = a^b</math> – חזקה

עבור <math>n \ge 4</math>, הגדרה זו מרחיבה את הפעולות הבסיסיות הללו מעבר לחזקה, אל מה שניתן לרשום בעזרת החץ של קנות':
:: <math>H_4(a,b) = a\uparrow\uparrow{b}</math>
:: <math>H_5(a,b) = a\uparrow\uparrow\uparrow{b}</math>
:: <math>\vdots</math>
:: <math>H_n(a,b) = a\uparrow^{n-2}b \text{ for } n \ge 3</math>
:: <math>\vdots</math>

ניתן להרחיב את שיטת הרישום של קנות' לפרמטרים (שלמים) גדולים מ- <math>-2</math>, כך שתהיה התאמה מלאה עם כל רצף ההיפר-פעולות (למעט הפער המספרי באינדקסים):

<center>
<math>H_n(a,b) = a \uparrow^{n-2}b\text{ for } n \ge 0</math>
</center>

לפיכך, אפשר לראות את רצף ההיפר-פעולות כתשובה לשאלה "מה הלאה?" בסדרה: פונקציית המספר העוקב, חיבור, כפל, חזקה, ...

מהתבוננות בזהויות:
* <math>a + b = (a + (b - 1)) + 1</math>
* <math>a \cdot b = a + (a \cdot (b - 1))</math>
* <math>a ^ b = a \cdot (a ^ {(b - 1)})</math>
* <math>a\uparrow\uparrow b= a ^{a \uparrow\uparrow {(b - 1)}}</math>

המדגימות את היחסים בין הפעולות האריתמטיות הבסיסיות, ניתן ללמוד איך להגדיר את הפעולות הבאות ברצף באופן טבעי, דלעיל. לעיתים, מתייחסים לפרמטרים של היררכיית ההיפר-פעולות במונחים האנלוגיים מעולם החזקות, כך ש-<math>a</math> הוא ה"בסיס", <math>b</math> הוא ה"מעריך", ו-<math>n</math> היא ה"מעלה" (או ה"דרגה").

== דוגמאות ==
במונחים פשוטים, ההיפר-פעולות הן דרך לבנות מספרים, שקצב גידולם הולך וגובר, בהתבסס על האיטרציות של ההיפר-פעולה הקודמת. הרעיונות העומדים מאחורי ההיפר-פעולות ומאחורי פונקציית המספר העוקב, החיבור, הכפל והחזקה, זהים בבסיסם:
* אופרטור המספר העוקב (הפרימיטיבי והבסיסי ביותר) – מניב מהמספר <math>x</math> את המספר <math>x+1</math>
* אופרטור החיבור – מציין כמה פעמים יש להוסיף את המספר <math>1</math> לעצמו, כדי לקבל את הערך הסופי
* אופרטור הכפל – מציין כמה פעמים יש להוסיף את מספר כלשהו לעצמו, כדי לקבל את הערך הסופי
* אופרטור החזקה – מציין כמה פעמים יש לכפול מספר כלשהו בעצמו, כדי לקבל את הערך הסופי

הטבלה הבאה מציגה את שבעת ההיפר-פעולות הראשונות (0 עד 6):(שימו לב, שבערך זה אנו מגדירים: <math>0 ^ 0 = 1</math>)
{| class="wikitable"

! <math>n</math>
! פעולה<br>
<math>H_n(a,b)</math>
! הגדרה
! שמות
! תחום הגדרה
|-
! 0
| <math>1 + b</math>
| <math>{ 1 + {\underbrace{1 + 1 + 1 + \cdots + 1} \atop{b \mbox{ copies of 1}}} }</math>
| היפר-0,
קידום,

פונקציית המספר העוקב,

אפסציה
| לכל <math>a</math> ו- <math>b</math>
|-
! 1
| <math>a + b</math>
| <math>{ a + {\underbrace{1 + 1 + 1 + \cdots + 1} \atop{b \mbox{ copies of 1}}} }</math>
| היפר-1,
חיבור
| לכל <math>a</math> ו- <math>b</math>
|-
! 2
| <math>a\cdot b</math>
| <math>{ {\underbrace{a + a + a + \cdots + a}} \atop{b \mbox{ copies of } a} }</math>
| היפר-2,
כפל
| לכל <math>a</math> ו- <math>b</math>
|-
! 3
| <math>a^b</math> או <math>a \uparrow b</math>
| <math>{ {\underbrace{a \cdot a \cdot a \cdot a \cdot \ldots \cdot a}} \atop{b \mbox{ copies of } a} }</math>
| היפר-3,
חזקה
| <math>a > 0</math> וגם <math>b</math> ממשי
או

<math>a \ge 0</math> וגם <math>b</math> אי-שלילי

או

<math>a \ne 0</math>, <math>b</math> שלם, עם כמה הרחבות רב-ערכיות למספרים מרוכבים
|-
! 4
| <math>^{b}a</math> או <math>a \uparrow\uparrow b</math>
| <math>{ {\underbrace{a \uparrow (a \uparrow (a \uparrow (a \uparrow \cdots \uparrow a))...)}} \atop{b \mbox{ copies of } a} }</math>
| היפר-4,
טטרציה
| <math>a \ge 0</math> או <math>a</math> שלם,
<math>b \ge -1</math> שלם (עם כמה הרחבות שהוצעו)
|-
! 5
| <math>a \uparrow\uparrow\uparrow b</math> או <math>a \uparrow^3 b</math>
| <math>{ {\underbrace{a \uparrow\uparrow (a \uparrow\uparrow (a \uparrow\uparrow (a \uparrow\uparrow \cdots \uparrow\uparrow a))...)}} \atop{b \mbox{ copies of } a} }</math>
| היפר-5,
פנטציה
| <math>a \ge -1</math> שלם
וגם

<math>b \ge -1</math> שלם
|-
! 6
| <math>a \uparrow\uparrow\uparrow\uparrow b</math> או <math>a \uparrow^4 b</math>
| <math>{ {\underbrace{a \uparrow^3 (a \uparrow^3 (a \uparrow^3 (a \uparrow^3 \cdots \uparrow^3 a))...)}} \atop{b \mbox{ copies of } a} }</math>
| היפר-6,
הקסציה
| <math>a \ge -1</math> שלם
וגם

<math>b \ge -1</math> שלם
|}

== מקרים מיוחדים ==
(H<sub>n</sub>(0, b =
: 0, כאשר n = 2, או n = 3 וגם b ≥ 1, או n ≥ 4 וגם b ≥ -1 אי-זוגי
: 1, כאשר n = 3 וגם b = 0, או n ≥ 4 וגם b ≥ 0 זוגי
: b, כאשר n = 1
: b + 1, כאשר n = 0
(H<sub>n</sub>(a, 0 =
: 0, כאשר n = 2
: 1, כאשר n = 0, או n ≥ 3
: a, כאשר n = 1
H<sub>n</sub>(a, −1) =
: 0, כאשר n = 0, או n ≥ 4
: a − 1, כאשר n = 1
: −a, כאשר n = 2
: <math>\frac{1}{a}</math>, כאשר n = 3

== היסטוריה ==
אחד הדיונים הקדומים ביותר אודות היפר-פעולות היה ב-1914 בידי אלברט בנט, שפיתח חלק מתורת ההיפר-פעולות הקומוטטיבית. כ-12 שנים לאחר מכן, וילהלם אקרמן הגדיר את "פונקציית אקרמן": <math>\phi(a, b, n)</math>, שבמידת מה, מזכירה את רצף ההיפר-פעולות.

בעבודתו מ-1947, ראובן גודשטיין הציג את הרצף הספציפי של פעולות, אשר קרויות כיום "היפר-פעולות", והציע את השמות היווניים "טטרציה", "פנטציה" וכו', לפעולות שמעבר לפעולת החזקה (מכיוון שהן תואמות את מיקומן ברצף: 4 (טטרה), 5 (פנטה)). נראה כי, בתור פונקציה ב-3 משתנים (ניתן להגדיר פונקציה <math>G</math>: <math>G(n,a,b) = H_n(a,b)</math>), רצף ההיפר-פעולות בכללותו הוא גרסה של פונקציית אקרמן המקורית <math>\phi(a, b, n)</math> – פונקציה רקורסיבית, אבל לא רקורסיבית פרימיטיבית – כמו זו ששונתה על ידי גודשטיין, כדי לשלב את פונקציית המספר העוקב הפרימיטיבית יחד עם שאר שלוש הפעולות הבסיסיות של האריתמטיקה (חיבור, כפל, חזקה), ולאפשר הרחבה חלקה, טבעית ופשוטה יותר ("seamless") שלהן מעבר לחזקה.

פונקציית אקרמן המקורית ב-3 משתנים <math>\phi</math> עושה שימוש באותו כלל נסיגה המשמש בגרסתו של גודשטיין (ההיפר-פעולות), אך שונה ממנה בשני אופנים. ראשית, היא מגדירה רצף פעולות שמתחיל בפעולת החיבור (n=0) במקום להתחיל בפונקציית המספר העוקב, אחר כך כפל (n=1), חזקה (n=2), וכן הלאה. שנית, התנאים התחיליים של <math>\phi</math> גוררים את השוויון<math>\phi(a, b, 3) = a \uparrow\uparrow (b + 1)</math>, ובכך נבדלות פונקציית אקרמן המקורית וגרסתו של גודשטיין בהיפר-פעולות שמעבר לחזקה. המשמעות של הביטוי "<math>b + 1</math>" בשוויון האחרון היא, שמתקיים <math>\phi(a, b, 3) = a^{a^{\cdot^{\cdot^{\cdot^a}}}}</math>, כאשר <math>b</math> מונה את מספר האופרטורים (העלאה בחזקה), במקום לספור את מספר האופרנדים ("<math>a</math>"-ים), כפי ש-<math>b</math> עושה בביטוי <math>a \uparrow\uparrow b</math>, וכך גם עבור הפעולות מדרגות גבוהות יותר.

==ראו גם==
* מספרים גדולים

==קישורים חיצוניים==

קטגוריה:אריתמטיקה
קטגוריה:מספרים גדולים