하이퍼 연산 문서 원본 보기

{{위키데이터 속성 추적}}
[[파일:Hyperoperation 3 and n with real number.svg|섬네일]]
수학에서 '''하이퍼 연산 수열'''(Hyperoperation sequence)은 '''하이퍼 연산'''이라 불리는 [[덧셈]], [[곱셈]], [[거듭제곱]]으로 시작하는 [[이항연산]] [[수열]]이다. 이 수열의 ''n''번째 하이퍼 연산은 ''n''의 그리스어 접두사에 접미사 ''-ation''을 붙인 단어로 불리며, <!--The nth member of this sequence is named by Reuben Goodstein after the Greek prefix of n suffixed with -ation--> [[커누스 윗화살표 표기법]]에서 (n-2)개의 화살표로 표기할 수 있다.

== 정의 ==
{{본문|커누스 윗화살표 표기법}}

''하이퍼 연산 수열''은  덧셈 (n = 1), 곱셈 (n = 2), 거듭제곱 (n = 3)으로 시작하는, <math>H_n</math> <math>\mathbb{N}</math>으로 첨수(添數)된 [[이항연산]] [[수열]]이다. 하이퍼 연산 수열의 [[매개변수]]는 거듭제곱과 유사한 용어를 쓴다; 따라서 ''a''는 '''''밑''''', ''b''는 '''''지수'''''
(또는 ''하이퍼 지수''), ''n''은 <!--수정 필요-->'''''계수''''' (또는 ''등급'')이다..

커누스 윗화살표 표기법을 이용하면, 우리는 하이퍼 연산을 다음과 같이 정의할 수 있다.
:<math>
  H_n(a, b) = a \uparrow^{n-2} 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>
(otherwise는 위에 주어진 조건들이 성립하지 않을 때를 뜻한다.)

이는 덧셈, 곱셈, 거듭제곱 다음에 무엇인지에 대한 답으로 해석할 수 있다. 참고로
* <math>a + b = 1 + (a + (b - 1))</math>
* <math>a \times b = a + (a \times (b - 1))</math>
* <math>a ^ b = a \times (a ^ {(b - 1)})</math>
는 하이퍼 연산자들의 관계를 나타내며, 더 높은 연산자들을 정의할 수 있다. 높은 연산자에는 작은 수를 대입해도 매우 큰 숫자가 나온다. 더 자세한 내용을 보려면 [[테트레이션]] 문서를 보라.

일반적으로, 하이퍼 연산자들은 이전 하이퍼 연산자의 반복을 거듭하는 것을 뜻한다. 덧셈, 곱셈, 거듭제곱의 개념은 모두 하이퍼 연산이다; 덧셈 연산은 1을 거듭 더하는 것이고, 곱셈은 한 숫자를 거듭 더하는 것이며, 거듭제곱은 한 숫자를 거듭 곱하는 것이다.<!-- In common terms, the hyperoperations are ways of compounding numbers that increase in growth based on the iteration of the previous hyperoperation. The concepts of addition, multiplication and exponentiation are all hyperoperations; the addition operator specifies the number of times 1 is to be added to itself to produce a final value, multiplication specifies the number of times a number is to be added to itself, and exponentiation refers to the number of times a number is to be multiplied by itself. -->

== 예시 ==

다음은 처음 여섯 개의 하이퍼 연산자이다.

{| class="wikitable"
|-
! ''n''
! 연산
! 정의
! 이름
! 영역
|-
! 0
| <math>b + 1</math>
| <math>{ 1 + {\underbrace{1 + 1 + 1 + \cdots + 1}_{b}} }</math>
| hyper0, 증분(增分), [[다음수 함수|다음수]]
| 임의의 b
|-
! 1
| <math>a + b</math>
| <math>{ a + {\underbrace{1 + 1 + 1 + \cdots + 1}_{b}} }</math>
| hyper1, [[덧셈]]
| 임의의 a,b
|-
! 2
| <math>ab</math>
| <math>{ {\underbrace{a + a + a + \cdots + a}} \atop{b} }</math>
| hyper2, [[곱셈]]
| 임의의 a,b
|-
! 3
| <math>a \uparrow b = a^b</math>
| <math>{ {\underbrace{a \cdot a \cdot a \cdot a \cdot \ldots \cdot a}} \atop{b} }</math>
| hyper3, [[거듭제곱]]
| ''a'' > 0, ''b'' 실수, 또는 ''a''가 0이 아닌 실수, ''b''가 정수
|-
! 4
| <math>a \uparrow\uparrow b = {}^{b}a</math>
| <math>{ {\underbrace{a \uparrow a \uparrow a \uparrow \cdots \uparrow a}} \atop{b} }</math>
| hyper4, [[테트레이션]]
| ''a'' > 0, 정수 ''b'' ≥ −1
|-
! 5
| <math>a \uparrow\uparrow\uparrow b = a \uparrow^3 b</math>
| <math>{ {\underbrace{a \uparrow\uparrow a \uparrow\uparrow \cdots \uparrow\uparrow a}} \atop{b} }</math>
| hyper5, [[펜테이션]]
| ''a''와 ''b''는 정수, ''a'' > 0, ''b'' ≥ 0
|-
! 6
| <math>a \uparrow\uparrow\uparrow\uparrow b = a \uparrow^4 b</math>
| <math>{ {\underbrace{a \uparrow^3 a \uparrow^3 \cdots \uparrow^3 a}} \atop{b} }</math>
| hyper6, 헥세이션
|  ''a''와 ''b''는 정수, ''a'' > 0, ''b'' ≥ 0
|}

== 하이퍼 연산의 역사 ==

하이퍼 연산이 맨 처음으로 토론된 경우는 1914년 [[알베르트 베네트]]가 "가환 하이퍼 연산"에 대한 이론을 개발했을 때이다. 약 12년 후, [[빌헬름 아커만]]이 하이퍼 연산 수열과 어느 정도 연관성이 있는 함수
<math>\phi(a, b, n)</math><ref name=ackOrig>{{저널 인용
| 저자=Wilhelm Ackermann
| 저널=[[Mathematische Annalen]]
| 제목=''Zum Hilbertschen Aufbau der reellen Zahlen''
| url=https://archive.org/details/sim_mathematische-annalen_1928_99/page/n122
| 연도=1928 | 권=99 | 쪽=118-133
| doi=10.1007/BF01459088}}</ref>
를 정의했다.
원래 [[아커만 함수]]는 같은 반복 규칙을 사용했지만, 현대 하이퍼 연산과 최소 2가지의 다른 점이 있다.
그리고 1947년, [[Reuben Goodstein]]<ref name=goodstein/>은 하이퍼 연산을 현재 쓰이는 방법으로 정의하였다. 그는 <math>G(n,a,b)</math>와 같은 기호를 사용했는데, 이는 [[커누스 윗화살표 표기법]]에서는 <math>a \uparrow^{n-2}b</math>와 같다. 또한, Goodstein은 "테트레이션", "펜테이션", "헥세이션" 등 거듭제곱 이상의 연산에 명칭을 부여했다.

== 표기법 ==

다음 목록은 하이퍼 연산을 표기하는 여러 가지 방법이다.
{| class="wikitable"
|-
! 이름
! 표기법
! 비고
|-
| '''기본 [[커누스 윗화살표 표기법|화살표 표기법]]'''
| <math>a \uparrow^{n-2} b = H_n(a, b)</math>
| 커누스가 최초로 사용<ref name=knuth>{{저널 인용
| 저자= Donald E. Knuth
| 제목= Mathematics and Computer Science: Coping with Finiteness
| 저널= Science
| 연도= 1976-12
| 권= 194
| 호= 4271
| 쪽= 1235-1242
| url= http://www.sciencemag.org/cgi/content/abstract/194/4271/1235
| 확인날짜=2009-04-21}}</ref>
|-
| ''굿스틴의 표기법''
| <math>G(n, a, b)</math>
| 굿스틴(Goodstein)이 최초로 사용<ref name=goodstein/>
|-
| ''초기 [[아커만 함수]]''
| <math>A(a, b, n-1) = H_n(a, b)</math>
| 하이퍼 연산과는 약간 다르다.
|-
| ''현대 [[아커만 함수]]''
| <math>A(n, b - 3) + 3 = H_n(2, b)</math>
| 밑이 2일 때의 하이퍼 연산과 동일하다.
|-
| ''냄비어의 표기법''
| <math>a \otimes^n b</math>
| 냄비어(Nambiar)가 최초로 사용<ref>{{저널 인용
| 저자= K. K. Nambiar
| 제목= Ackermann Functions and Transfinite Ordinals
| 저널= Applied Mathematics Letters
| 연도= 1995
| 권= 8
| 호= 6
| 쪽= 51-53
| url= http://www.sciencemag.org/cgi/content/abstract/194/4271/1235
| 확인날짜=2009-04-21}}</ref>
|-
| [[상자 표기법]]
| <math>a {\,\begin{array}{|c|}\hline{\!n\!}\\\hline\end{array}\,} b</math>
| Rubtsov과 Romerio가 최초로 사용<ref name=romerioAck/>
|-
| ''어깨글자 표기법''
| <math>a {}^{(n)} b</math>
| 로버트 무나포(Robert Munafo)가 최초로 사용<ref name=munafo/>
|-
| ''아래글자 표기법''
| <math>a {}_{(n)} b</math>
| 작은 하이퍼 연산을 위해 무나포가 최초로 사용<ref name=munafo/>
|-
| ''ASCII 표기법''
| <code>a [n] b</code>
| 많은 온라인 포럼에서 사용; 상자 표기법을 기본으로 함.
|}

== 같이 보기 ==
* [[아커만 함수]]
* [[커누스 윗화살표 표기법]]
* [[콘웨이 화살표 사슬 표기법]]
* [[테트레이션]]
* [[큰 수]]

== 각주 ==
{{각주|refs=

<ref name=goodstein>{{저널 인용
  | 저자= R. L. Goodstein
  | 제목= Transfinite Ordinals in Recursive Number Theory
  | 저널= Journal of Symbolic Logic
  | 날짜= 1947-12
  | 권= 12
  | 호= 4
  | 쪽= 123-129
  | url= http://www.jstor.org/stable/2266486
  | 확인날짜=2009-04-17}}</ref>

<ref name=munafo>{{웹 인용
  | 저자= Robert Munafo
  | 제목= Inventing New Operators and Functions
  | url= http://www.mrob.com/pub/math/largenum-3.html
  | 저널= Large Numbers at MROB
  | 날짜= 1999-11
  | 확인날짜=2009-04-17}}</ref>

<ref name=romerioAck>{{웹 인용
  | 저자= C. A. Rubtsov and G. F. Romerio
  | 제목= Ackermann's Function and New Arithmetical Operation
  | url= http://forum.wolframscience.com/showthread.php?s=&threadid=956
  | 날짜= 2005-12
  | 확인날짜=2009-04-17}}</ref>
}}
<references/>

{{큰 수}}

[[분류:산술]]
[[분류:큰 수]]
[[분류:이항연산]]