Овом чланку је потребна лектура текста. То подразумева исправку граматичких, правописних и интерпункцијских грешака или тона. Кликните на дугме „Уреди” и побољшајте га. (детаљније о уклањању овог шаблона обавештења)
Тетрација (или хипер-4) у математици је хипероперација која следи после степеновања и дефинише се као понављање степеновања. Реч је сковао Рубен Луис Гудстајн, од тетра- (четири) и понављања. Тетрација се користи за нотацију веома великих бројева. Приказане овде су прве четире хипероперације, са тетрацијом као четвртом и редом, као нултом.
(унарна операција означава узимајући и и доносећи број после ):
Најосновнија операција је сукцесија . Сабирање је примарна операција, мада се, за природне бројеве, може посматрати као ланчана сукцесија n сукцесора од a. Множење () је такође основна операција, која се, за природне бројеве, може посматрати као ланчано сабирање које укључује n бројева од a. Степеновање () се може посматрати као ланчано множење које укључује n бројева од a. Аналогно, тетрација () може се посматрати као ланчани степен који укључује n бројева од a. Параметар а може бити назван основним параметром у наставку, док параметар n може бити назван висинским параметром (који је саставни у првом приступу, али може се генерализовати на парцијалним, реалним и комплексним висинама, види доле).
Итеративни степени наспрам итеративних експонената
Као што се види из дефиниције, приликом процене тетрације изражене као степеноване куле је степеновање које се врши на најдубљем нивоу први пут (у нотацији, на највишем нивоу).
Имајте на уму да степеновање није асоцијативно, тако ће оцену израза у другом довести до другачијег одговора:
Дакле, експоненцијалне куле морају бити оцењена од врха ка дну (или десно на лево). Рачунарски програмери се односе на овај избор, као десно асоцијативно.
Постоје многи термини за тетрацију, од којих сваки има неку логику, али неки нису постали обични из једног или другог разлога. Овде је поређење сваког термина са својим образложењем и контра-образложењем.
Термин тетрације, увео је Гудстајн у свом раду 1947 Трансфинитни редни бројеви у рекурзивној теорији бројева[2] (генерализација рекурзивне базе-заступљености користи у Гудстајновој теореми да користи веће операције), стекао је доминацију. Такође је популаризован од стране Руди Рукера у Инфинити и ум.
Термин суперстепеновања је објавио Брумер у свом раду Суперстепеновање 1987.[3] Раније је користио Ед Нелсон у својој књизи предикативних аритметика, Принстон Универзити Прес, 1986.
Термин хиперстепен[4] је природна комбинација хипера и степена, који пригодно описује тетрацију. Проблем је у значењу разорне хиперинфлације у односу на хипероперационе секвенце. Када се разматрају хипероперације, термин хипер се односи на све чинове, а термин супер се односи на рангирање 4 или тетрацију. Дакле, под овим разматрањима хиперстепен је погрешан, јер се односи само на тетрацију.
Термин кула степена [5] се повремено користила, у форми "кула степена реда n" за . Ово је погрешан назив, међутим, с обзиром да се тетрација не може исказати са итеративним функцијама степена (види горе), јер је то итеративна експоненцијална функција.
Захваљујући делом на неке заједничке терминологије и сличне ознаке упозорења, тетрација се често меша са блиско повезаним функцијама и изразима. Ево неколико сродних термина:
Форма
Терминологија
Тетрација
Итеративни експоненти
Угнежђени експоненти (такође куле)
Бесконачни експоненти (такође куле)
У прва два израза а је база, а број пута а појављује се у висини (додат је један за x). У трећем изразу, n је висина, али свака основа је различита.
Мора се водити рачуна када се говори о итеративним експоненатима, јер је уобичајено да позове изразе овог облика итеративног степеновања, које је двосмислено, јер то може значити или итеративностепеновање или итеративне експонененте.
Нотација
Постоји много различитих нотационих стилова који се могу користити да изразе тетрацју (такође познати као хипер-4; неки од њих могу се користити као и за хипер-5, хипер-6, и више хипероперације).
{| class="wikitable" ! Име !Форма !Опис |- |Стандардна нотација | |Коришћено од стране Маурера [1901] и Гудстајна [1947]; Руди Рукерова књига Бесконачност и ум која је популаризовала нотацију |- |Кнутова нотација | |Дозвољава екстензију додавањем више стрелица, или, чак снажније, индексирана стрелица. |- |Конвејова ланчана реакција | |Дозвољава екстензију повећањем 2 броја (еквивалент са екстензијама изнад), али такође, чак снажније, проширењем ланца |- |Акерманова функција | |Дозвољава специјалан случај да буде написан условима Акерманове функције. |- |Итеративна експоненцијална нотација | |Дозвољава једноставну екстензију да понавља експоненте из иницијалних вредности различитих од 1. |- | Хушмандова нотација[6] |
|- |Нотација хипероперације | |Дозвољава екстензију повећањем броја 4; ово даје породицу хипероперација |- |Нотација текста |a^^n |Пошто је горња стрелица коришћења идентично за знак за уметање (^), тетрација би могла бити написана као (^^); погодна за ASCII. |- |Буверов низ нотације |{a,b,2} |}
Једна нотација изнад користи поновљени експоненцијални запис; уопштено ово се дефинише на следећи начин:
са n "a"s.
Не постоји онолико ознака за поновљне експоненте, али ево неколико:
Ѕ {| class="wikitable" ! Name ! Form ! Description |- | | |Euler coined the notation , and iteration notation has been around about as long. |- |Knuth's up-arrow notation | |Allows for super-powers and super-exponential function by increasing the number of arrows; used in the article on large numbers. |- |Ioannis Galidakis' notation | |Allows for large expressions in the base.[7] |- |Text notation |exp_a^n(x) |Based on standard notation; convenient for ASCII. |- |J Notation |x^^:(n-1)x |Repeats the АСФФФФеxponentiation. See J (programming language)[8] |}
Примери
У следећој табели, већина вредности су превелике да пише у научним нотацији, тако поновио експоненцијално нотација се користи да их изразити у базу 10. Вредности које садрже децимални зарез су приближне.
1
1
1
1
1
2
4
16
65,536
2.00353 × 1019,728
3
27
7,625,597,484,987
(3.6 × 1012 digits)
4
256
1.34078 × 10154
(8.1 × 10153 digits)
5
3,125
1.91101 × 102,184
(1.3 × 102,184 digits)
6
46,656
2.65912 × 1036,305
(2.1 × 1036,305 digits)
7
823,543
3.75982 × 10695,974
(3.2 × 10695,974 digits)
8
16,777,216
6.01452 × 1015,151,335
(5.4 × 1015,151,335 digits)
9
387,420,489
(3.7 × 108 digits)
(4.1 × 10369,693,099 digits)
10
10,000,000,000
1010,000,000,000
(1010,000,000,000 digits)
Екстензије
Tetration can be extended to define and other domains as well.
Extension to complex bases
Approximate Value
for any .
for all
Approximation
Domain
for
for
for
Examples
is convex on
.
Супер-логаритам
Једном континуирано повећања (х) у дефиницији тетрације , ка , је изабран , одговарајући супер Логаритам Слога к се дефинише за све реалне бројеве к , а > 1 .
Ioannis Galidakis, Mathematics, (Definitive list of references to tetration research. Lots of information on the Lambert W function, Riemann surfaces, and analytic continuation.)
Galidakis, Ioannis and Weisstein, Eric W. Power Tower
R. Knobel. "Exponentials Reiterated." American Mathematical Monthly88, (1981). стр. 235–252.
Hans Maurer. "Über die Funktion für ganzzahliges Argument (Abundanzen)." Mittheilungen der Mathematische Gesellschaft in Hamburg4, (1901). стр. 33–50. (Reference to usage of from Knobel's paper.)