Тетрация

Тетра́ция (гиперопера́тор-4) в математике — итерационная функция экспоненты, следующий гипероператор после возведения в степень. Тетрация используется для описания больших чисел.

Термин «тетрация», состоящий из слов «тетра-» (четыре) и «итерация» (повторение), был впервые применён английским математиком Рубеном Гудстейном в 1947 году^[1].

Определения

Тетрация как степенная башня

Для любого положительного вещественного числа ${\displaystyle a>0}$ и неотрицательного целого числа ${\displaystyle n\geqslant 0}$, тетрацию ${\displaystyle {}^{n}a}$ можно определить рекуррентно:

• ${\displaystyle {}^{0}a=1,}$
• ${\displaystyle {}^{n}a=a^{({}^{n-1}a)},\,n>0.}$

Согласно данному определению, вычисление тетрации, записанной как «степенная башня», возведение в степень начинается с самых дальних уровней к начальному (в данной системе обозначений, с самого наивысшего показателя степени):

${\displaystyle {}^{4}2=2^{2^{2^{2}}}=2^{\left(2^{\left(2^{2}\right)}\right)}=2^{(2^{4})}=2^{16}=65536.}$

Или:

${\displaystyle {}^{5}2=2^{2^{2^{2^{2}}}}=2^{\left(2^{\left(2^{\left(2^{2}\right)}\right)}\right)}=2^{\left(2^{\left(2^{4}\right)}\right)}=2^{(2^{16})}=2^{65536}.}$

При этом, так как возведение в степень не является ассоциативной операцией, то вычисление выражения в другом порядке приведёт к другому ответу:

${\displaystyle 2^{2^{2^{2}}}\neq \left((2^{2})^{2}\right)^{2}=2^{2\cdot 2\cdot 2}=2^{8}=256.}$

Или:

${\displaystyle 2^{2^{2^{2^{2}}}}\neq \left(((2^{2})^{2})^{2}\right)^{2}=2^{2\cdot 2\cdot 2\cdot 2}=2^{16}=65536.}$

Таким образом, степенные башни должны вычисляться сверху вниз (или справа налево), то есть, иначе говоря, они обладают правой ассоциативностью.

Тетрация как гипероператор

Основная статья: Гипероператор

${\displaystyle \scriptstyle {\lim \limits _{n\to \infty }{^{n}x}}}$. Бесконечное возведение в степень для основания ${\displaystyle \scriptstyle {(1/e)^{e}\leqslant x\leqslant e^{1/e}}}$.

Предел ${\displaystyle {}^{n}x}$ при ${\displaystyle \scriptstyle {n\to \infty }}$ является положительным вещественным решением уравнения ${\displaystyle y=x^{y}}$(то есть, ${\displaystyle x=y^{1/y}}$). Предела ${\displaystyle {}^{n}x}$ не существует, когда ${\displaystyle \scriptstyle {x>e^{1/e}}}$, так как максимум функции ${\displaystyle y^{1/y}}$ это ${\displaystyle e^{1/e}}$. Поэтому значений для ${\displaystyle \scriptstyle {x>e^{1/e}}}$ нет. Предел неопределён, когда ${\displaystyle \scriptstyle {0\leqslant x<e^{-e}}}$, так как вид функции на этом промежутке зависит от того, какое число n — чётное или нечётное. Так, например, когда n чётное, предел в нуле равен 1, а когда n нечётное, предел равен 0 (это следует из того, что ${\displaystyle \lim \limits _{x\to 0^{+}}{}^{2}x=1}$).

Тетрация является четвёртой по счёту гипероперацией:

1. сложение:

   ${\displaystyle a+b=a+\underbrace {1+1+\ldots +1} _{b};}$

2. умножение:

   ${\displaystyle a\times b=\underbrace {a+a+\ldots +a} _{b};}$

3. возведение в степень:

   ${\displaystyle a^{b}=\underbrace {a\times a\times \ldots \times a} _{b};}$

4. тетрация:

   ${\displaystyle {^{b}a}=\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{b}.}$

Здесь каждая операция является итерацией предыдущей.

Свойства

• Тетрация не считается элементарной функцией (за исключением случаев с постоянным натуральным показателем, когда тетрация выражается в виде степенной башни постоянной высоты).
• В силу некоммутативности тетрация имеет две обратных операции — суперлогарифм и суперкорень (аналогично тому, как возведение в степень имеет две обратные функции: арифметический корень и логарифм).

Тетрация это один из примеров функции с гиперболическим ростом, тоесть абсолютная скорость роста значения пропорциональна квадрату значения, это выглядит так: ${\displaystyle ({}^{x}n)'={({}^{x}n)}^{2}}$, проще говоря рост увеличевается с дополнительным ускорением. Для функции ${\displaystyle {}^{n}x}$ верно следующее: ${\displaystyle {({}^{n}x)}^{2}>({}^{n}x)'>{}^{n}x}$ .

Для тетрации в общем случае неверны следующие характерные для предыдущих операторов свойства:

• ${\displaystyle {}^{b}({}^{c}a)\neq {}^{c}({}^{b}a)}$, например: ${\displaystyle {}^{3}({}^{2}2)=({}^{2}2)^{({}^{2}2)^{({}^{2}2)}}=4^{4^{4}}=4^{256}}$, но ${\displaystyle {}^{2}({}^{3}2)=({}^{3}2)^{({}^{3}2)}=16^{16}=4^{32}}$.
• ${\displaystyle {}^{b+c}a}$ не равно ни ${\displaystyle {}^{b}a+{}^{c}a}$, ни ${\displaystyle {}^{b}a\times {}^{c}a}$, например: ${\displaystyle {}^{1+2}3={}^{3}3=3^{27}\neq {}^{1}3+{}^{2}3\neq {}^{1}3\times {}^{2}3}$, так как ${\displaystyle {}^{1}3+{}^{2}3=30;{}^{1}3\times {}^{2}3=81}$.

Примечание: однако, верно ${\displaystyle \underbrace {\log _{a}{\log _{a}{...{\log _{a}}}}} _{b}{({}^{b+c}a)}={}^{c}a}$ или ${\displaystyle \underbrace {\log _{a}{\log _{a}{...{\log _{a}}}}} _{c}{({}^{b+c}a)}={}^{b}a}$.

• Тетрация минус единицы равна минус единице:

${\displaystyle {^{n}(-1)}=\underbrace {(-1)^{(-1)^{\cdot ^{\cdot ^{\cdot ^{(-1)}}}}}} _{n}=-1,n>0}$

Терминология

Существует несколько терминов для определения понятия тетрация и за каждым из них стоит своя логика, но некоторые из них не стали общепринятыми в силу тех или иных причин. Ниже приведено несколько подобных примеров.

• Термин «тетрация», использованный Рубеном Гудстейном в 1947 году в работе «Transfinite Ordinals in Recursive Number Theory» (обобщение рекуррентных представлений в теореме Гудстейна, используемых для высших операторов), имеет доминирующее положение в терминологии. Также этот термин был популяризован в работе Руди Руккера (англ. Rudy Rucker) «Infinity and the Mind».
• Термин «супервозведение в степень» (англ. superexponentiation) был опубликован Бромером (англ. Bromer) в его работе «Superexponentiation» в 1987 году.^[2] Данный термин был ранее использован Эдом Нельсоном (англ. Ed Nelson) в его книге «Предикативная Арифметика» (англ. «Predicative Arithmetic»)^[3].
• Термин «гиперстепень» (англ. hyperpower)^[4] есть естественная комбинация понятий «гипер-» и «степень», который подходящим образом описывает тетрацию. Проблема лежит в понятии самого термина «гипер» относительно иерархии гипероператоров. Когда мы рассматриваем гипероператоры, термин «гипер» относится ко всем рангам, а термин «супер» относится к рангу 4, или тетрации. Таким образом, при данных обстоятельствах, понятие «гиперстепень» может ввести в заблуждение, так как оно относится только к понятию тетрация.
• Термин «степенная башня» (англ. power tower)^[5] иногда используется, в форме «степенная башня порядка ${\displaystyle n}$» для ${\displaystyle \underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{n}}$.

Тетрацию также часто путают с другими тесно связанными функциями и выражениями. Ниже приведено несколько связанных терминов:

В первых двух выражениях ${\displaystyle a}$ есть основание, и количество появляющихся ${\displaystyle a}$ есть высота. В третьем выражении, ${\displaystyle n}$ есть высота, но все основания разные.

Обозначения

Системы записи, в которых тетрация может быть использована (некоторые из них позволяют использование даже более высоких итераций), включают в себя:

Одна из вышеприведённых систем использует систему записи итерированных экспонент; в общем случае это определяется следующим образом:

${\displaystyle \exp _{a}^{n}(x)=\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a^{x}}}}}}} _{n}.}$

Не так много обозначений существует для итерированных экспонент, но несколько из них показаны ниже:

Примеры

В нижеприведённой таблице большинство значений слишком огромны, чтобы их записать в экспоненциальном представлении, по этой причине используется система записи в виде итерационных экспонент, чтобы представить их с основанием 10. Значения, содержащие десятичную запятую, являются приблизительными. Например, четвёртая тетрация от 3 (то есть ${\displaystyle 3^{3^{3^{3}}}}$) начинается цифрами 1258, заканчивается цифрами 39387 и имеет 3638334640025 цифр, последовательность A241292 в OEIS. Примечание: Если ${\displaystyle x}$ не отличается от 10 по порядку величины, то для всех ${\displaystyle k\geq 3,~^{m}x=\exp _{10}^{k}z,~z>1~\Rightarrow ~^{m+1}x=\exp _{10}^{k+1}z'}$ с высокой точностью выполняется ${\displaystyle z'\approx z}$. Например, для основания ${\displaystyle x=3}$ при ${\displaystyle m=4}$ и ${\displaystyle k=3}$ получаем ${\displaystyle z-z'<1.5\cdot 10^{-15}}$, и разность становится значительно меньше для значений ${\displaystyle x>3}$.

Открытые проблемы

• Неизвестно, может ли ${\displaystyle {^{n}q}}$ быть рациональным числом, если ${\displaystyle n}$ — целое число, большее 3, а ${\displaystyle q}$ — рациональное, но не целое число (для ${\displaystyle n=2,\,3}$ ответ отрицателен)^[6].
• Ни для какого целого ${\displaystyle n>3}$ не известно, является ли положительный корень уравнения ${\displaystyle {^{n}x}=2}$ рациональным, алгебраическим иррациональным или трансцендентным числом.

Примечания

1. Goodstein R. L. Transfinite ordinals in recursive number theory (неопр.) // Journal of Symbolic Logic^[англ.]. — 1947. — Т. 12. — doi:10.2307/2266486.
2. Bromer N. Superexponentiation (англ.) // Mathematics Magazine : magazine. — 1987. — Vol. 60, no. 3. — P. 169—174. — JSTOR 2689566. Архивировано 27 января 2017 года.
3. Nelson E. Predicative Arithmetic. — Princeton University Press, 1986.
4. MacDonnell J. F. Somecritical points of the hyperpower function ${\displaystyle \scriptstyle {x^{x^{\dots }}}}$ (англ.) // International Journal of Mathematical Education : journal. — 1989. — Vol. 20, no. 2. — P. 297—305.
5. Weisstein, Eric W. Power Tower (англ.) на сайте Wolfram MathWorld.
6. Marshall, Ash J., and Tan, Yiren, «A rational number of the form a^a with a irrational», Mathematical Gazette 96, March 2012, pp. 106—109.  (неопр.) Дата обращения: 28 апреля 2013. Архивировано 6 мая 2014 года.

Ссылки

• Сайт про тетрацию Эндрю Робинса.
• Сайт про тетрацию Даниэля Гэйслера.
• Форум по обсуждению тетрации.
• Кузнецов Д. Тетрация как специальная функция // Владикавказский математический журнал. — 2010.