mir.pe (일반/어두운 화면)
최근 수정 시각 : 2023-07-24 20:48:09

E 표기법


수와 연산
Numbers and Operations
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px" 		<colbgcolor=#765432> 수 체계 자연수 ( 홀수 · 짝수 · 소수 · 합성수) · 정수 · 유리수 ( 정수가 아닌 유리수) · 실수 ( 무리수 · 초월수) · 복소수 ( 허수) · 사원수
표현 숫자 ( 아라비아 숫자 · 로마 숫자 · 그리스 숫자) · 기수법( 과학적 기수법 · E 표기법 · 커누스 윗화살표 표기법 · 콘웨이 연쇄 화살표 표기법 · BEAF· 버드 표기법) · 진법 ( 십진법 · 이진법 · 8진법 · 12진법 · 16진법 · 60진법) · 분수 ( 분모 · 분자 · 기약분수 · 번분수 · 연분수 · 통분 · 약분) · 소수 { 유한소수 · 무한소수 ( 순환소수 · 비순환소수)} · 환원 불능 · 미지수 · 변수 · 상수
연산 사칙연산 ( 덧셈 · 뺄셈 · 곱셈 구구단 · 나눗셈) · 역수 · 절댓값 · 제곱근 ( 이중근호) · 거듭제곱 · 로그 ( 상용로그 · 자연로그 · 이진로그) · 검산 · 연산자 · 교환자
방식 암산 · 세로셈법 · 주판 · 산가지 · 네이피어 계산봉 · 계산기 · 계산자
용어 이항연산( 표기법) · 항등원과 역원 · 교환법칙 · 결합법칙 · 분배법칙
기타 수에 관련된 사항 ( 0과 1 사이의 수 · 음수 · 작은 수 · 큰 수) · 혼합 계산 ( 48÷2(9+3) · 111+1×2=224 · 2+2×2) · 0으로 나누기( 바퀴 이론) · 0의 0제곱 }}}}}}}}}
[math(\small \begin{array}{c}
E\underbrace{100\#100\#100\#100\# \cdots \cdots \cdots \cdots \#100\#100\#100\#100} ~~(100)\\
E\underbrace{100\#100\#100\#100\# \cdots \cdots \cdots \#100\#100\#100\#100} ~~(99)\\
\!\!\!\!\!\!\!\!\!\!\!\!\!\!\vdots\\
E\underbrace{100\#100\# \cdots \cdots \cdots \#100\#100} ~~(2)\\
E\underbrace{100\#100\# \cdots \#100\#100} ~~(1)\\
\!\!\!\!\!\!\!\!\!\!\!100
\end{array})]
Graatagold ([math(\textrm E100\#\#100\#100)])의 E 표기법 시각화

1. 개요2. 하이퍼-E 표기법
2.1. 규칙2.2. 예시
3. 확장 하이퍼-E 표기법
3.1. 규칙3.2. 예시
4. 연쇄-E 표기법
4.1. 규칙4.2. 예시
5. 확장 연쇄-E 표기법
5.1. 규칙5.2. 예시
6. 하이퍼 연쇄-E 표기법
6.1. 규칙6.2. 예시
7. 그 이상?

1. 개요

E 표기법(E notation)은 2008년 One to Infinity, A guide to the finite라는 웹사이트에서 Sbiis saibian이 정의한 큰 수의 표기법 중 하나이다. 기본적으로 E 표기법은 [math(10^n)]의 형태로 표기하기 때문에 과학적 기수법과의 연계가 가능하다는 점과 쉽고 간단한 규칙 덕에 FGH, BEAF와 함께 큰 수를 근사하는 데에 자주 쓰인다.

2. 하이퍼-E 표기법

2.1. 규칙

\1. [math(\textrm E[b]x = b^x)]
2. [math(\textrm E[b]{a_1}\#{a_2}\#{a_3}...\#{a_n}\#1 = E[b]{a_1}\#{a_2}\#{a_3}...\#{a_n})]
3. [math(\textrm E[b]{a_1}\#{a_2}\#{a_3}...\#{a_{n-2}}\#{a_{n-1}}\#{a_n} =\\\textrm E[b]{a_1}\#{a_2}\#{a_3}...\#{a_{n-2}}\#(\textrm E[b]{a_1}\#{a_2}\#{a_3}...\#{a_{n-2}}\#{a_{n-1}}\#{(a_n-1)}))]

이때 [math(\textrm E[10]x)]인 경우 [math(\textrm Ex)]로 축약하여 나타낼 수 있다.

2.2. 예시

#이 뒤에 추가될 때마다 화살표 개수를 늘리는 것과 비슷한 효과가 있다.

3. 확장 하이퍼-E 표기법

3.1. 규칙

\1. [math(\textrm E[b]x = b^x)]
2. [math(E[b] @ \#^{h(n-1)}{a_n}\#^{h(n)}1 = E[b] @ \#^{h(n-1)}{a_n})]
3. [math(h(n-1)>1)]이라면, [math(E(b) @ \#^{h(n-2)}{a_{n-1}}\#^{h(n-1)}{a_n} = E[b] @ \#^{h(n-2)}{a_{n-1}}\#^{h(n-1)-1}{a_{n-1}}\#^{h(n-1)}{a_n-1})]
4. [math(E[b] @ \#^{h(n-2)}{a_{n-1}}\#{a_n} = E[b] @ \#^{h(n-2)}(E[b] @ \#^{h(n-2)}{a_{n-1}}\#{a_n-1}))]
복잡해 보이지만 [math(\underbrace{a\#a\#a...\#a}_{b}=a\#\#b)]같은 규칙들을 단순화하여 나타낸 것이다.

3.2. 예시

4. 연쇄-E 표기법

4.1. 규칙

E^를 이용한 표기법이라고도 하며Ea#^#b=Ea##..##a(b개의 #)으로 표현할 수 있다. 이때 [math(\#^X*\#^X...\#^X*\#^X)]처럼 표현할 수 있는데 이런 표기법을 연쇄 E 표기, 각각의 [math(\#^X)]를 연쇄자라고 한다. X는 정수가 될 수도 있지만 그 자체를 연쇄 E 표기로 나타낼 수도 있다. 구체적인 규칙은 다음과 같다.

\1. [math(E[a]b=a^b)]

2. 마지막 연쇄자가 [math(\#^n)](n은 정수) 형태가 아니라면 [math(E[a]b@X\#^{X\#^n}@c =E[a]b@X\#{({X\#^{n-1}})^b}@b)]

3. 마지막 변수가 1이면 제거한다. [math(E@a\#^n1=E@a)]

4. 임의의 연쇄 표기에 대하여 마지막 연쇄자가 [math(\#^n)] 꼴이고, k번째 연쇄자가 #이 아니라면 [math(E@aX\#^nb=E@aX\#^{n-1}aX\#^n(b-1))]

5. 1~4에 해당되지 않는 경우 [math(E@a\#b=E@(E@a\#b-1))]

4.2. 예시

5. 확장 연쇄-E 표기법

5.1. 규칙

기본적인 규칙은 연쇄 E-표기법과 동일하다. 한편 Ea#^#^#..#^#a가 b번 반복된 것을 Ea##b처럼 나타낼 수도 있고, 나아가 Ea#{{{^}}}#b는 Ea#^^#^^#...#^^#a(b번 반복) 등으로 쓸 수 있다. 이를 일반화하여 ^가 n개인 것을 Ea#{n}#b를로 표현할 수 있다. 이 단계부터는 fgh로 엡실론 단계에서 베블런 함수 단계까지 성장할 수 있다.

5.2. 예시



6. 하이퍼 연쇄-E 표기법

6.1. 규칙

\1. @{#}#[n]=@#...#(n회 반복)
2. @{a+#}#[n]=@{a+n}#
3. @{a*#}#[n]=@{a+a*#}[n-1](단, n은 2 이상)
4. {}안에 대하여 #에 대한 배열로 표기할 수 있다. {#, #, 1, 2}는 #, #{#}#, #{#{#}#}#...의 극한값이다.

6.2. 예시

7. 그 이상?

현재 E 표기법의 제작자가 BEAF와 비슷한 형태로 하이퍼 연쇄-E 표기법을 확장으로 만든 규칙이 존재하기는 하며, 작은 베블런 함수까지 성장할 수 있다. 그러나, 명확히 정의되지 않았기 때문에 현재 E-표기법으로 정의된 가장 큰 수는 blasphemorgulus 및 그 파생 수로 본다.
[1] grangol이라고 하며, 커누스 윗화살표 표기법으로는 10↑↑101보다 약간 크며, fgh로는 [math(f_{3}(100))]에 근사한다. [2] grangoldex라고 하며, 커누스 윗화살표 표기법으로는 57↑↑(57↑↑101)과 58↑↑(58↑↑101) 사이이며, fgh로는 [math(f_{3}^2(100))]과 [math(f_{3}^2(101))] 사이이다. [3] greagol이라 하며, [math(f_{4}(100))]에 근사한다. [4] third googol의 줄임말이다. troogol(BEAF로 정확히 {10, 10, 10, 100})과 이름이 비슷하지만 엄연히 다른 수이다. 실제로 이 둘은 비슷한 크기이며(fgh로도 똑같이 근사되나 실제로는 troogol이 약간 더 크다) 둘다 구골과 3을 의미하는 접두사를 합성하여 만들어진 수이다. [5] tetration과 이집트 수학의 신 thoth의 합성어이다. 여기서부터는 BEAF로는 배열 표기법을 이용하지 않는 이상 표현하기 까다로운데, X↑↑99&100에 근사한다. 배열 표기법을 사용하지 않으면 50회 중첩된 다중 초차원 배열을 이용해 나타낼 수 있다. [6] tetracross 이후 마지막 연쇄자의 #이 n개 있으면 fgh로는 [math(f_{\phi(n+1, 0)}(100))]과 같아진다. [7] pentation과 Cthulhu의 합성어로, BEAF로는 {X, X, 1, 2}&100 혹은 {X, X, 3}&100에, fgh로는 [math(f_{\Gamma_{0}}(99))]에 근사한다. [8] pentacthulhum 이후 ^가 3 이상의 자연수 n에 대해 성장률은 [math(\phi(n-2, 0, 0))]이다. [9] godsgodgulus라 하며, BEAF로는 {X, X, X)&100에, fgh로 [math(f_{\phi(98, 0, 0)}(99))]에 근사한다. [10] 현재까지 E 표기법으로 명확하게 정의된 가장 큰 수로, 이 이상의 수는 모두 blasphemorgulus의 파생 수이다.

분류