Тетрација (или хипер-4) у математици је хипероперација која следи после степеновања и дефинише се као понављање степеновања. Реч је сковао Рубен Луис Гудстајн, од тетра- (четири) и понављања. Тетрација се користи за нотацију веома великих бројева. Приказане овде су прве четире хипероперације, са тетрацијом као четвртом и редом, као нултом.

(унарна операција означава  узимајући  и и доносећи број после ):

  1. Сабирање 
    n копија 1 додатих на a.
  2.  Множење
    n копија a комбинованих сабирањем.
  3. Степеновање
    n копија a комбинованих множењем.
  4. Тетрација
    n копија a комбинованих множењем, здесна налево.

Горњи пример се чита као "н-та тетрација од а". Свака операција је дефинисана помоћу итерације претходне (следећа операција у низу је пентација). Тетрација није ни елементарна функција ни основна рекурзивна функција.[1]

Најосновнија операција је сукцесија . Сабирање  је примарна операција, мада се, за природне бројеве, може посматрати као ланчана сукцесија n сукцесора од a. Множење () је такође основна операција, која се, за природне бројеве, може посматрати као ланчано сабирање које укључује n бројева од a. Степеновање () се може посматрати као ланчано множење које укључује n бројева од a. Аналогно, тетрација () може се посматрати као ланчани степен који укључује n бројева од a. Параметар а може бити назван основним параметром у наставку, док параметар n може бити назван висинским параметром (који је саставни у првом приступу, али може се генерализовати на парцијалним, реалним и комплексним висинама, види доле).

Дефиниција

уреди

За било који позитиван реалан број   и не-негативан цео број  , дефинишемо   са:

Итеративни степени наспрам итеративних експонената

уреди

Као што се види из дефиниције, приликом процене тетрације изражене као степеноване куле је степеновање које се врши на најдубљем нивоу први пут (у нотацији, на највишем нивоу).

Имајте на уму да степеновање није асоцијативно, тако ће оцену израза у другом довести до другачијег одговора:

Дакле, експоненцијалне куле морају бити оцењена од врха ка дну (или десно на лево). Рачунарски програмери се односе на овај избор, као десно асоцијативно.

Када су а и 10 узајамно прости, можемо израчунати последњих м децималних цифара од   коришћењем Ојлерове теореме.

Терминологија

уреди

Постоје многи термини за тетрацију, од којих сваки има неку логику, али неки нису постали обични из једног или другог разлога. Овде је поређење сваког термина са својим образложењем и контра-образложењем.

  • Термин тетрације, увео је Гудстајн у свом раду 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

уреди
 
Tetration by period
 
Tetration by escape
  Approximate Value
   
   
   
   
   
   
   
   
   
  for any  .

  for all  
Approximation Domain
  for  
  for  
  for  
Examples
уреди
  •  
  •   is convex on  
  •  
 .
 
 

Супер-логаритам

уреди

Једном континуирано повећања (х) у дефиницији тетрације , ка , је изабран , одговарајући супер Логаритам Слога к се дефинише за све реалне бројеве к , а > 1 . 

Функција   обезбеђује:

 
 
 
 

Види још

уреди
  • Ackermann function
  • Double exponential function
  • Hyperoperation
  • Iterated logarithm
  • Symmetric level-index arithmetic

Референце

уреди
  1. ^ It is easy to prove that for every elementary function f, there is a constant c s.t.  
  2. ^ R. L. Goodstein (1947).
  3. ^ N. Bromer (1987).
  4. ^ J. F. MacDonnell (1989).
  5. ^ Weisstein, Eric W., "Power Tower", MathWorld.
  6. ^ M. H. Hooshmand, (2006).
  7. ^ Ioannis Galidakis.
  8. ^ "Power Verb".

Литература

уреди

Спољашње везе

уреди