Hiper işlem - Hyperoperation

İçinde matematik, hiperoperasyon dizisi^{[nb 1]} sonsuzdur sıra aritmetik işlemlerin (denir hiperoperasyonlar bu içerikte)^[1][11][13] bu bir ile başlar tekli işlem ( ardıl işlevi ile n = 0). Sıra, ikili işlemler nın-nin ilave (n = 1), çarpma işlemi (n = 2) ve üs alma (n = 3).

Bundan sonra, dizi üs alma ötesine uzanan daha fazla ikili işlemlerle ilerler. doğru çağrışım. Üs alma dışındaki işlemler için, nbu dizinin inci üyesi Reuben Goodstein sonra Yunan öneki nın-nin n ile son eklenmiş -asyon (gibi tetrasyon (n = 4), pentasyon (n = 5), altılık (hexation) (n = 6), vb.)^[5] ve kullanılarak yazılabilir n - 2 ok Knuth'un yukarı ok gösterimi Her hiperoperasyon anlaşılabilir tekrarlı bir öncekine göre:

${ displaystyle a [n] b = underbrace {a [n-1] (bir [n-1] (a [n-1] ( cdots [n-1] (a [n-1] (bir [ n-1] a)) cdots))} _ { displaystyle b { mbox {kopyaları}} a}, quad n geq 2}$

Knuth'un yukarı ok sürümünde olduğu gibi, tanımın özyineleme kuralı kısmına göre de tanımlanabilir. Ackermann işlevi:

${ Displaystyle a [n] b = a [n-1] sol (a [n] sol (b-1 sağ) sağ), dört n geq 1}$

Bu, aşağıdakilerden çok daha büyük sayıları kolayca göstermek için kullanılabilir bilimsel gösterim gibi olabilir Skewes sayısı ve googolplexplex (Örneğin. ${ displaystyle 50 [50] 50}$ Skewes'in numarası ve googolplexplex'ten çok daha büyüktür), ancak bunların kolayca gösteremeyeceği bazı sayılar vardır, örneğin Graham'ın numarası ve AĞAÇ (3).

Bu yineleme kuralı, hiper işlemlerin birçok varyantında ortaktır.

Tanım

hiperoperasyon dizisi ${ displaystyle H_ {n} (a, b) iki nokta üst üste ( mathbb {N} _ {0}) ^ {3} rightarrow mathbb {N} _ {0}}$ ... sıra nın-nin ikili işlemler ${ displaystyle H_ {n} iki nokta üst üste ( mathbb {N} _ {0}) ^ {2} rightarrow mathbb {N} _ {0}}$, tanımlı tekrarlı aşağıdaki gibi:

${ displaystyle H_ {n} (a, b) = a [n] b = { başla {vakalar} b + 1 & { text {if}} n = 0 a & { text {if}} n = 1 { text {ve}} b = 0 0 & { text {if}} n = 2 { text {ve}} b = 0 1 & { text {if}} n geq 3 { metin {ve}} b = 0 H_ {n-1} (a, H_ {n} (a, b-1)) & { text {aksi halde}} end {vakalar}}}$

(Unutmayın ki n = 0, ikili işlem esasen bir tekli işlem (ardıl işlevi ) ilk argümanı görmezden gelerek.)

İçin n = 0, 1, 2, 3, bu tanım temel aritmetik işlemlerini yeniden üretir halef (tekli bir işlemdir), ilave, çarpma işlemi, ve üs alma sırasıyla, olarak

${ displaystyle { begin {align} H_ {0} (a, b) & = b + 1, H_ {1} (a, b) & = a + b, H_ {2} (a, b) & = a times b, end {hizalı}}}$

H operasyonları n ≥ 3 yazılabilir Knuth'un yukarı ok gösterimi gibi

${ displaystyle { begin {align} H_ {3} (a, b) & = a uparrow {b} = a ^ {b}, end {align}}}$

Peki üs alma işleminden sonraki işlem ne olacak? Çarpmayı öyle tanımladık ki ${ displaystyle H_ {2} (a, 3) = a [2] 3 = a times 3 = a + a + a,}$ ve üs almayı tanımladı, böylece ${ displaystyle H_ {3} (a, 3) = a [3] 3 = a uparrow 3 = a ^ {3} = a times a times a,}$ bu nedenle, bir sonraki işlem olan tetrasyonu tanımlamak mantıklı görünüyor. ${ displaystyle H_ {4} (a, 3) = a [4] 3 = a uparrow uparrow 3 = operatorname {tetration} (a, 3) = a ^ {a ^ {a}},}$ üç 'a' kulesi ile. Benzer şekilde, (a, 3) 'ün pentasyonu, içinde üç "a" ile birlikte tetrasyon (a, tetrasyon (a, a)) olacaktır.

${ displaystyle { begin {align} H_ {4} (a, b) & = a uparrow uparrow {b}, H_ {5} (a, b) & = a uparrow uparrow uparrow { b}, ldots & H_ {n} (a, b) & = a uparrow ^ {n-2} b { text {for}} n geq 3, ldots & end {hizalı}}}$

Knuth'un gösterimi, indekslemedeki gecikme haricinde, tüm hiperoperasyon sekansına uyacak şekilde negatif indeks ≥ −2'ye genişletilebilir:

${ displaystyle H_ {n} (a, b) = a uparrow ^ {n-2} b { text {for}} n geq 0.}$

Bu nedenle hiperoperasyonlar, "sırada ne var" sorusunun cevabı olarak görülebilir. sıra: halef, ilave, çarpma işlemi, üs alma, ve benzeri. Bunu not ederek

${ displaystyle { başlar {hizalı} a + b & = (a + (b-1)) + 1 a cdot b & = a + (a cdot (b-1)) a ^ {b} & = a cdot left (a ^ {(b-1)} right) a [4] b & = a ^ {a [4] (b-1)} end {hizalı}}}$

temel aritmetik işlemler arasındaki ilişki, daha yüksek işlemlerin yukarıdaki gibi doğal olarak tanımlanmasına izin verecek şekilde gösterilmiştir. Hiper işlem hiyerarşisinin parametrelerine bazen benzer üs alma terimleri ile başvurulur;^[14] yani a ... temel, b ... üs (veya hiperxponent),^[12] ve n ... sıra (veya derece),^[6] ve dahası, ${ displaystyle H_ {n} (a, b)}$ "olarak okunur binci n-asyon a", Örneğin. ${ displaystyle H_ {4} (7,9)}$ "7'nin 9. tetrasyonu" olarak okunur ve ${ displaystyle H_ {123} (456.789)}$ "456'nın 789. 123'ü" olarak okunur.

Genel anlamda, hiperoperasyonlar, önceki hiperoperasyonun yinelemesine dayalı olarak büyümede artan sayıları birleştirme yollarıdır. Ardıl, toplama, çarpma ve üs alma kavramlarının tümü hiper işlemlerdir; halef operasyon (üreten x + 1'den x) en ilkeldir, toplama operatörü, son bir değer üretmek için 1'in kendisine kaç kez ekleneceğini belirtir, çarpma, bir sayının kendisine kaç kez ekleneceğini belirtir ve üs alma sayısı, bir sayı kendisiyle çarpılacaktır.

Örnekler

Aşağıda ilk yedi (0 ila 6) hiperoperasyonun bir listesi bulunmaktadır (0⁰ 1 olarak tanımlanmıştır).

n	Operasyon, Hn(a, b)	Tanım	İsimler	Alan adı
0	${ displaystyle 1 + b}$ veya ${ displaystyle a [0] b}$	${ displaystyle 1+ underbrace {1 + 1 + 1 + cdots + 1 + 1 + 1} _ { displaystyle b { mbox {1'in kopyaları}}}}$	hyper0, artış, halef, sıfırlama	Keyfi
1	${ displaystyle a + b}$ veya ${ displaystyle a [1] b}$	${ displaystyle a + underbrace {1 + 1 + 1 + cdots + 1 + 1 + 1} _ { displaystyle b { mbox {1'in kopyaları}}}}$	hyper1, ilave	Keyfi
2	${ displaystyle a cdot b}$ veya ${ displaystyle a [2] b}$	${ displaystyle underbrace {a + a + a + cdots + a + a + a} _ { displaystyle b { mbox {kopyaları}} a}}$	hyper2, çarpma işlemi	Keyfi
3	${ displaystyle a ^ {b}}$ veya ${ displaystyle a [3] b}$	${ displaystyle underbrace {a cdot a cdot a cdot ; cdots ; cdot a cdot a cdot a} _ { displaystyle b { mbox {kopyaları}} a}}$	hyper3, üs alma	b gerçek, bazı çok değerli uzantılarla Karışık sayılar
4	${ displaystyle ^ {b} a}$ veya ${ displaystyle a [4] b}$	${ displaystyle underbrace {bir [3] (a [3] (a [3] ( cdots [3] (a [3] (a [3] a)) cdots)))} _ { displaystyle b { mbox {kopyaları}} a}}$	hyper4, tetrasyon	a ≥ 0 veya bir tam sayı, b bir tamsayı ≥ −1[nb 2] (önerilen bazı uzantılarla)
5	${ displaystyle a [5] b}$	${ displaystyle underbrace {bir [4] (a [4] (a [4] ( cdots [4] (a [4] (a [4] a)) cdots)))} _ { displaystyle b { mbox {kopyaları}} a}}$	hyper5, pentasyon	a, b tamsayılar ≥ −1[nb 2]
6	${ displaystyle a [6] b}$	${ displaystyle underbrace {bir [5] (a [5] (a [5] ( cdots [5] (a [5] (a [5] a)) cdots)))} _ { displaystyle b { mbox {kopyaları}} a}}$	hyper6, altılık	a, b tamsayılar ≥ −1[nb 2]

Özel durumlar

H_n(0, b) =

b + 1, ne zaman n = 0

b, ne zaman n = 1

0, ne zaman n = 2

1, ne zaman n = 3 ve b = 0 ^{[nb 3][nb 4]}

0, ne zaman n = 3 ve b > 0 ^{[nb 3][nb 4]}

1, ne zaman n > 3 ve b eşittir (0 dahil)

0, ne zaman n > 3 ve b garip

H_n(1, b) =

1, ne zaman n ≥ 3

H_n(a, 0) =

0, ne zaman n = 2

1, ne zaman n = 0 veya n ≥ 3

a, ne zaman n = 1

H_n(a, 1) =

a, ne zaman n ≥ 2

H_n(a, a) =

H_{n + 1}(a, 2), ne zaman n ≥ 1

H_n(a, −1) =^{[nb 2]}

0, ne zaman n = 0 veya n ≥ 4

a - 1, ne zaman n = 1

−a, ne zaman n = 2

1/a , ne zaman n = 3

H_n(2, 2) =

3, ne zaman n = 0

4, ne zaman n ≥ 1, özyinelemeli olarak kolayca gösterilebilir.

Tarih

Hiper operasyonlarla ilgili en eski tartışmalardan biri Albert Bennett'inki idi.^[6] 1914'te, bazı teorileri geliştiren değişmeli hiperoperasyonlar (görmek altında ). Yaklaşık 12 yıl sonra, Wilhelm Ackermann işlevi tanımladı ${ displaystyle phi (a, b, n)}$^[15] hiperoperasyon dizisine biraz benzeyen.

1947 tarihli makalesinde,^[5] R. L. Goodstein şimdi adı verilen belirli işlemler dizisini tanıttı hiperoperasyonlarve ayrıca Yunan isimleri önerdi tetrasyon üslemenin ötesinde genişletilmiş işlemler için (çünkü 4, 5, vb. indislere karşılık gelirler). Üç bağımsız değişkenli bir işlev olarak, ör. ${ displaystyle G (n, a, b) = H_ {n} (a, b)}$, hiperoperasyon dizisi bir bütün olarak orijinalin bir versiyonu olarak görülüyor Ackermann işlevi ${ displaystyle phi (a, b, n)}$ — yinelemeli Ama değil ilkel özyinelemeli - Goodstein tarafından ilkel olanı içerecek şekilde değiştirildiği gibi ardıl işlevi aritmetiğin diğer üç temel işlemiyle birlikte (ilave, çarpma işlemi, üs alma ) ve bunların üstelleşmenin ötesinde daha kusursuz bir uzantısını yapmak.

Orijinal üç argüman Ackermann işlevi ${ displaystyle phi}$ Goodstein'ın versiyonu ile aynı yineleme kuralını kullanır (yani, hiper işlem dizisi), ancak ondan iki şekilde farklıdır. İlk, ${ displaystyle phi (a, b, n)}$ toplamadan başlayan bir işlem dizisini tanımlar (n = 0) yerine ardıl işlevi, sonra çarpma (n = 1), üs alma (n = 2), vb. İkinci olarak, başlangıç ​​koşulları ${ displaystyle phi}$ sonuçlanmak ${ displaystyle phi (a, b, 3) = G (4, a, b + 1) = a [4] (b + 1)}$, bu nedenle üs almanın ötesindeki hiper işlemlerden farklıdır.^[7][16][17] Önemi b Önceki ifadede + 1 şudur: ${ displaystyle phi (a, b, 3)}$ = ${ displaystyle a ^ {a ^ { cdot ^ { cdot ^ { cdot ^ {a}}}}}}$, nerede b sayısını sayar operatörler (üsler) sayısını saymak yerine işlenenler ("a" s) olduğu gibi b içinde ${ displaystyle a [4] b}$, vb. üst düzey işlemler için. (Bkz. Ackermann işlevi ayrıntılar için makale.)

Notasyonlar

Bu, hiperoperasyonlar için kullanılan notasyonların bir listesidir.

İsim	Eşdeğeri gösterim ${ displaystyle H_ {n} (a, b)}$	Yorum Yap
Knuth'un yukarı ok gösterimi	${ displaystyle a uparrow ^ {n-2} b}$	Tarafından kullanılan Knuth[18] (için n ≥ 3) ve çeşitli referans kitaplarında bulundu.[19][20]
Hilbert gösterimi	${ displaystyle phi _ {n} (a, b)}$	Tarafından kullanılan David Hilbert.[21]
Goodstein gösterimi	${ displaystyle G (n, a, b)}$	Tarafından kullanılan Reuben Goodstein.[5]
Orijinal Ackermann işlevi	${ displaystyle { begin {matris} phi (a, b, n-1) { text {for}} 1 leq n leq 3 phi (a, b-1, n-1) { text {for}} n geq 4 end {matris}}}$	Tarafından kullanılan Wilhelm Ackermann (için n ≥ 1)[15]
Ackermann – Péter işlevi	${ displaystyle A (n, b-3) +3 { text {for}} a = 2}$	Bu, 2. taban için hiper işlemlere karşılık gelir (a = 2)
Nambiar gösterimi	${ displaystyle a otimes ^ {n-1} b}$	Nambiar tarafından kullanıldı (için n ≥ 1)[22]
Üst simge gösterimi	${ displaystyle a {} ^ {(n)} b}$	Tarafından kullanılan Robert Munafo.[10]
Alt simge gösterimi (daha düşük hiperoperasyonlar için)	${ displaystyle a {} _ {(n)} b}$	Robert Munafo tarafından daha düşük hiperoperasyonlar için kullanılır.[10]
Operatör gösterimi ("genişletilmiş işlemler" için)	${ displaystyle aO_ {n-1} b}$	Daha düşük hiperoperasyonlar için kullanılır John Donner ve Alfred Tarski (için n ≥ 1).[23]
Köşeli parantez gösterimi	${ displaystyle a [n] b}$	Birçok çevrimiçi forumda kullanılır; için uygun ASCII.
Conway zincirleme ok gösterimi	${ displaystyle a dan b ye (n-2)}$	Tarafından kullanılan John Horton Conway (için n ≥ 3)

Başlayan varyant a

1928'de, Wilhelm Ackermann 3 bağımsız değişkenli bir işlev tanımlandı ${ displaystyle phi (a, b, n)}$ yavaş yavaş 2 argümanlı bir fonksiyona dönüşen Ackermann işlevi. orijinal Ackermann işlevi ${ displaystyle phi}$ modern hiperoperasyonlara daha az benziyordu çünkü ilk koşulları ${ displaystyle phi (a, 0, n) = a}$ hepsi için n > 2. Ayrıca, n = 0, çarpma n = 1 ve üs alma n = 2, bu nedenle başlangıç ​​koşulları tetrasyon ve ötesi için çok farklı işlemler üretir.

n	Operasyon	Yorum Yap
0	${ displaystyle F_ {0} (a, b) = a + b}$
1	${ displaystyle F_ {1} (a, b) = a cdot b}$
2	${ displaystyle F_ {2} (a, b) = a ^ {b}}$
3	${ displaystyle F_ {3} (a, b) = a [4] (b + 1)}$	Bir ofset formu tetrasyon. Bu işlemin yinelemesi, yineleme tetrasyon.
4	${ displaystyle F_ {4} (a, b) = (x a [4] (x + 1)) ^ {b} (a)} ile eşleşir$	Kafanı karıştırmamak pentasyon.

Kullanılan başka bir başlangıç ​​koşulu ${ displaystyle A (0, b) = 2b + 1}$ (tabanın sabit olduğu yerde ${ displaystyle a = 2}$), bir hiper işlem hiyerarşisi oluşturmayan Rózsa Péter nedeniyle.

0'dan başlayan varyant

1984 yılında, C.W. Clenshaw ve F.W.J. Olver, bilgisayarı önlemek için hiper operasyonu kullanma tartışmasına başladı. kayan nokta taşmalar.^[24] O zamandan beri birçok başka yazar^[25][26][27] hiperoperasyonların uygulanmasına olan ilgiyi yeniledi kayan nokta temsil. (Dan beri H_n(a, b) hepsi için tanımlanmıştır b = -1.) Tartışırken tetrasyon, Clenshaw et al. ilk koşulu üstlendi ${ displaystyle F_ {n} (a, 0) = 0}$, bu da başka bir hiper işlem hiyerarşisi oluşturur. Önceki varyantta olduğu gibi, dördüncü işlem şuna çok benzer: tetrasyon, ancak bir ofset.

n	Operasyon	Yorum Yap
0	${ displaystyle F_ {0} (a, b) = b + 1}$
1	${ displaystyle F_ {1} (a, b) = a + b}$
2	${ displaystyle F_ {2} (a, b) = a cdot b = e ^ { ln (a) + ln (b)}}$
3	${ displaystyle F_ {3} (a, b) = a ^ {b}}$
4	${ displaystyle F_ {4} (a, b) = a [4] (b-1)}$	Bir ofset formu tetrasyon. Bu işlemin yinelemesi, yineleme nın-nin tetrasyon.
5	${ displaystyle F_ {5} (a, b) = sol (x a [4] (x-1) sağa doğru) ^ {b} (0) = 0 { text {if}} a> 0 }$	Kafanı karıştırmamak pentasyon.

Daha düşük hiperoperasyonlar

Bu hiperoperasyonlar için bir alternatif soldan sağa doğru değerlendirilerek elde edilir. Dan beri

${ displaystyle { başlar {hizalı} a + b & = (a + (b-1)) + 1 a cdot b & = (a cdot (b-1)) + a a ^ {b} ve = left (a ^ {(b-1)} sağ) cdot a end {hizalı}}}$

tanımla (° veya alt simge ile)

${ displaystyle a _ {(n + 1)} b = sol (a _ {(n + 1)} (b-1) sağ) _ {(n)} a}$

ile

${ displaystyle { begin {align} a _ {(1)} b & = a + b a _ {(2)} 0 & = 0 a _ {(n)} 1 & = a & { text {for}} n > 2 uç {hizalı}}}$

Bu, Donner ve Tarski tarafından sıra sayılarına genişletildi,^{[23][Tanım 1]} tarafından :

${ displaystyle { begin {align}} alpha O_ {0} beta & = alpha + beta alpha O _ { gamma} beta & = sup limits _ { eta < beta, xi < gamma} ( alpha O _ { gamma} eta) O _ { xi} alpha end {hizalı}}}$

Tanım 1 (i), Sonuç 2 (ii) ve Teorem 9'dan, a ≥ 2 ve b ≥ 1, bu^{[orjinal araştırma? ]}

${ displaystyle aO_ {n} b = a _ {(n + 1)} b}$

Ancak bu, geleneksel olarak hiperoperatörlerden beklenen "güç kulesini" oluşturamayan bir tür çöküş yaşıyor:^{[23][Teorem 3 (iii)][nb 5]}

${ displaystyle alpha _ {(4)} (1+ beta) = alpha ^ { sol ( alpha ^ { beta} sağ)}.}$

Α ≥ 2 ve γ ≥ 2 ise,^{[23][Sonuç 33 (i)][nb 5]}

${ displaystyle alpha _ {(1 + 2 gamma +1)} beta leq alpha _ {(1 + 2 gamma)} (1 + 3 alpha beta).}$

n	Operasyon	Yorum Yap
0	${ displaystyle F_ {0} (a, b) = a + 1}$	artış, halef, sıfırlama
1	${ displaystyle F_ {1} (a, b) = a + b}$
2	${ displaystyle F_ {2} (a, b) = a cdot b}$
3	${ displaystyle F_ {3} (a, b) = a ^ {b}}$
4	${ displaystyle F_ {4} (a, b) = a ^ { sol (a ^ {(b-1)} sağ)}}$	Kafanı karıştırmamak tetrasyon.
5	${ displaystyle F_ {5} (a, b) = sol (x , x ^ {x ^ {(a-1)}} sağa doğru) ^ {b-1} (a)}$	Kafanı karıştırmamak pentasyon. Benzer tetrasyon.

Değişmeli hiperoperasyonlar

Değişmeli hiperoperasyonlar, Albert Bennett tarafından 1914'ün başlarında düşünüldü.^[6] bu muhtemelen herhangi bir hiperoperasyon sekansı hakkında en eski yorumdur. Değişmeli hiperoperasyonlar, özyineleme kuralı ile tanımlanır

${ displaystyle F_ {n + 1} (a, b) = exp (F_ {n} ( ln (a), ln (b)))}$

simetrik olan a ve byani tüm hiperoperasyonlar değişmeli. Bu sıra içermez üs alma ve bu yüzden bir hiper işlem hiyerarşisi oluşturmaz.

n	Operasyon	Yorum Yap
0	${ displaystyle F_ {0} (a, b) = ln sol (e ^ {a} + e ^ {b} sağ)}$	Maksimum pürüzsüz
1	${ displaystyle F_ {1} (a, b) = a + b}$
2	${ displaystyle F_ {2} (a, b) = a cdot b = e ^ { ln (a) + ln (b)}}$	Bu, logaritmanın özellikleri.
3	${ displaystyle F_ {3} (a, b) = a ^ { ln (b)} = e ^ { ln (a) ln (b)}}$
4	${ displaystyle F_ {4} (a, b) = e ^ {e ^ { ln ( ln (a)) ln ( ln (b))}}}$	Kafanı karıştırmamak tetrasyon.

Hiper işlem dizisine dayalı numaralandırma sistemleri

R. L. Goodstein^[5] Negatif olmayan tamsayılar için numaralandırma sistemleri yaratmak için hiperoperatör dizisini kullandı. Sözde tam kalıtsal temsil tam sayı n, seviyede k ve taban b, yalnızca birincisi kullanılarak aşağıdaki şekilde ifade edilebilir k hiperoperatorler ve sadece rakam olarak kullanmak 0, 1, ..., b - 1, tabanla birlikte b kendisi:

• 0 ≤ için n ≤ b-1, n basitçe karşılık gelen rakamla temsil edilir.
• İçin n > b-1, temsili n özyinelemeli olarak bulunur, ilk temsil eden n şeklinde

b [k] x_k [k - 1] x_k-1 [k - 2] ... [2] x₂ [1] x₁

nerede x_k, ..., x₁ tatmin edici en büyük tam sayılardır (sırayla)

b [k] x_k ≤ n

b [k] x_k [k - 1] x_{k - 1} ≤ n

...

b [k] x_k [k - 1] x_{k - 1} [k - 2] ... [2] x₂ [1] x₁ ≤ n

Hiç x_ben aşan b-1 daha sonra aynı şekilde yeniden ifade edilir ve bu şekilde, elde edilen form yalnızca 0, 1, ..., rakamlarını içerene kadar bu prosedürü tekrarlar. b-1, baz ile birlikte b.

Üst düzey operatörlere değerlendirme sırasında daha yüksek öncelik verilerek gereksiz parantezlerden kaçınılabilir; Böylece,

1. düzey temsiller b [1] X biçimindedir ve X ayrıca bu formdan;

2. düzey temsiller, b [2] X [1] Y biçimindedir, X,Y ayrıca bu formdan;

3. düzey temsiller, b [3] X [2] Y [1] Z biçimindedir, X,Y,Z ayrıca bu formdan;

seviye-4 gösterimleri b [4] X [3] Y [2] Z [1] W biçimindedir, X,Y,Z,W ayrıca bu formdan;

ve benzeri.

Bu tür bazdab kalıtsal temsil, tabanın kendisi ifadelerde ve {0, 1, ..., kümesindeki "rakamlar" da görünür. b-1}. Bu karşılaştırılır sıradan İkincisi baz açısından yazıldığında baz-2 gösterimi b; örneğin, sıradan 2 tabanlı gösterimde, 6 = (110)₂ = 2 [3] 2 [2] 1 [1] 2 [3] 1 [2] 1 [1] 2 [3] 0 [2] 0, oysa seviye-3 temel-2 kalıtsal gösterimi 6 = 2 [ 3] (2 [3] 1 [2] 1 [1] 0) [2] 1 [1] (2 [3] 1 [2] 1 [1] 0). Kalıtsal temsiller, [1] 0, [2] 1, [3] 1, [4] 1, vb. Herhangi bir örneği atlanarak kısaltılabilir; örneğin, 6'nın yukarıdaki seviye-3 baz-2 gösterimi 2 [3] 2 [1] 2'yi kısaltmaktadır.

Örnekler: Sayının benzersiz 2 tabanlı temsilleri 266 1, 2, 3, 4 ve 5. seviyelerde aşağıdaki gibidir:

Seviye 1: 266 = 2 [1] 2 [1] 2 [1] ... [1] 2 (133 2s ile)

Seviye 2: 266 = 2 [2] (2 [2] (2 [2] (2 [2] 2 [2] 2 [2] 2 [2] 2 [1] 1)) [1] 1)

Seviye 3: 266 = 2 [3] 2 [3] (2 [1] 1) [1] 2 [3] (2 [1] 1) [1] 2

Seviye 4: 266 = 2 [4] (2 [1] 1) [3] 2 [1] 2 [4] 2 [2] 2 [1] 2

Seviye 5: 266 = 2 [5] 2 [4] 2 [1] 2 [5] 2 [2] 2 [1] 2

Ayrıca bakınız

• Büyük sayılar

Notlar

Referanslar