Inilah Rumus-rumus Ordinal dan Kardinal dalam Ilmu Googologi (The Googological Ordinal and Cardinal Notations)

Assalamu‘alaikum wr. wb.

Hello guys! Apakah Anda tahu tentang Ordinal dan Kardinal? Biasanya kalian hanya mengetahui Bilangan Ordinal seperti Pertama, Kedua, Ketiga, Keempat dalam Bahasa Indonesia atau juga First (1st), Second (2nd), Third (3rd), Fourth (4th) dalam Bahasa Inggris, atau mungkin dalam Bahasa Asing lainnya seperti beberapa Bahasa di Eropa dan Asia/Chinese (第一, 第二, 第三, 第四).

Kali ini kita akan menjelaskannya lebih dalam tentang Ordinal dan Kardinal dalam Matematika (Teori Himpunan) dan Ilmu Googologi, mulai dari Ordinal Omega sampai dengan Collapsing Function.

PENGERTIAN

Sumber : Wikipedia .org (Ordinal Number), Wikipedia.org (Ordinal Arithmetic), Wikipedia.org (Ordinal Notation), Googology.wikia.org (Ordinal), Johncarlosbaez.Wordpress.com (Ordinals Part 1 , Part 2 , Part 3)

Dalam Teori Himpunan, Bilangan Ordinal merujuk pada jenis tatanan tertentu dalam suatu himpunan yang diatur dengan baik, biasanya diidentifikasi sebagai Himpunan Transitif Hereditari. Bilangan ordinal merupakan perluasan dari bilangan asli dan berbeda dari integer serta bilangan kardinal. Seperti jenis bilangan lainnya, Bilangan Ordinal mendukung operasi penjumlahan, perkalian, dan pemangkatan.

Georg Cantor memperkenalkan konsep Bilangan Ordinal pada tahun 1883 untuk menangani urutan tak terhingga dan mengklasifikasikan Himpunan Turunan. Ide ini muncul saat dia mempelajari sifat-sifat unik Deret Trigonometri pada tahun 1872.

Setiap Bilangan Ordinal didefinisikan oleh himpunan ordinal yang mendahuluinya. Secara umum, definisi ordinal mengidentifikasi setiap ordinal sebagai himpunan ordinal yang mendahuluinya. Contohnya, Ordinal 42 adalah jenis ordinal yang terdiri dari ordinal dari 0 (ordinal terkecil) hingga 41 (pendahulu langsung dari 42) dan dapat diidentifikasi sebagai Himpunan {0,1,2,…,41}.

Ordinal tak hingga, seperti ω, adalah konsep yang penting. ω merupakan Ordinal Tak Hingga terkecil dan merupakan jenis ordinal dari bilangan asli. ω bahkan dapat diidentifikasi dengan himpunan bilangan asli. Himpunan bilangan asli terurut dengan baik, dan karena tertutup ke bawah, dapat diidentifikasi dengan ordinal yang terkait (sesuai dengan definisi ω).

Intuisi Ordinal yang lebih jelas mungkin dapat dibentuk dengan memeriksa beberapa di antaranya seperti yang disebutkan di atas, mereka mulai dengan bilangan asli, 0, 1, 2, 3, 4, 5, ... Setelah semua bilangan asli datang ordinal tak terbatas pertama, ω, dan setelah itu muncul ω+1, ω+2, ω+3, dan seterusnya. (Persisnya arti penjumlahan akan ditentukan nanti anggap saja mereka sebagai nama.) Setelah semua ini muncul ω·2 (yaitu ω+ω), ω·2+1, ω·2+2, dan seterusnya, lalu ω·3, dan kemudian ω·4. Sekarang himpunan ordinal yang dibentuk dengan cara ini (ω·m+n, di mana m dan n adalah bilangan asli) harus memiliki ordinal yang terkait dengannya: dan itu adalah ω². Selanjutnya, akan ada ω³, lalu ω⁴, dan seterusnya, dan ω^ω ( $\omega ^{\omega }$ ), lalu $\omega ^{\omega ^{\omega }}$ , lalu $\omega ^{\omega ^{\omega ^{\omega }}}$ , dan bahkan kemudian ε₀ ( $\varepsilon _{0}$ ) (Epsilon Nought / Epsilon Nol) (untuk memberikan beberapa contoh ordinal yang relatif kecil—dapat dihitung). Ini dapat dilanjutkan tanpa batas (Karena setiap kali seseorang mengatakan "dan seterusnya" ketika menghitung ordinal, itu mendefinisikan ordinal yang lebih besar). Ordinal tak terhitung terkecil adalah himpunan semua ordinal terhitung, dinyatakan sebagai ω₁ atau Ω.

Atau yang lebih sederhananya seperti ini urutannya :

ω, ω + 1, ω + 2, …, ω·2, ω·2 + 1, …, ω², …, ω³, …, ω^ω, …, ω^{ω^ω}, …, ε₀, …

Ilustrasi Batang Korek Api (Matchstick) yang merepresentasikan Himpunan Ordinal dari 0 sampai ω²

A. Definisi Utama

Di sini kami akan menjelaskan beberapa cara Formal dan Informal untuk memperkenalkan Sistem Bilangan Ordinal.

Sebagai Perpanjangan/Ekstensi dari Bilangan Asli

Paling mudah untuk berpikir secara intuitif tentang ordinal sebagai perpanjangan dari bilangan bulat non-negatif. Bilangan bulat nonnegatif adalah 0, 1, 2, 3, 4, ..., tetapi sistem ordinal memperluas ini dengan Ordinal Transfinit Pertama ω. Omega (ω) adalah Ordinal Pertama yang lebih besar dari semua bilangan asli.

Selanjutnya kita dapat melanjutkan dengan Ordinal ω+1. Anehnya, definisi penambahan ordinal memberi tahu kita bahwa ini berbeda dari 1+ω, yang sama dengan ω. ω+1, bagaimanapun, lebih besar dari ω. Tentu saja ada ordinal lebih lanjut seperti ω+2, ω+3, dll. dan akhirnya kita mencapai ω+ω.

Banyaknya cara menjumlahkan n Ordinal diberikan oleh Barisan 1, 2, 5, 13, 33, 81, 193, 449, … (OEIS A005348).

ω+ω juga dapat ditulis ω×2. Anehnya, 2×ω=ω (Ini dijelaskan pada bagian di bawah tentang ordinal Transfinit kecil). Kemudian datang ω×3, ω×4, ω×5, dan seterusnya hingga mencapai ω×ω=ω², diikuti oleh ω³, ω⁴, ..., ω^ω, ω^ω+1, ω^{ω^ω}, $\omega ^{\omega ^{\omega ^{\omega }}}$ , ...

Sangat penting untuk tidak lupa bahwa banyak Ordinal Perantara (Intermediate Ordinals), seperti $\omega^{\omega^{\omega2+1}+\omega} + \omega^{\omega^{5}+\omega^{4}\cdot6+\omega^{2}} + 427$ , masih dihitung di sini, dan tidak ketinggalan.

Jenis Orde

Jenis pesanan adalah cara paling umum untuk mendefinisikan Ordinal. Di bawah definisi ini, Ordinal adalah Kelas Ekivalen dari Himpunan yang tertata baik di bawah relasi Isomorfisme orde.

Relasi Biner ≤ adalah Orde yang baik dari Himpunan S jika semua berikut ini benar untuk semua a, b, c dalam S :

Setiap himpunan bagian dari S memiliki Elemen Minimum.

Himpunan a yang Tertata baik (Well-ordered Set or Woset) terdiri dari himpunan S dan Relasi ≤_S yang merupakan Himpunan S yang terurut dengan baik.

Suatu orde Isomorfisme antara dua Woset (Himpunan yang tertata baik) (S, ≤_S) dan (T, ≤_T) adalah bijeksi f: S↦T sedemikian sehingga ∀_x, y ∈ S: x ≤_S y ⇔ f(x) ≤_T f(y). Kita katakan bahwa dua ordo adalah isomorfik orde jika terdapat orde isomorfisme di antara keduanya. Tidak sulit untuk menunjukkan bahwa relasi isomorfik orde adalah relasi ekivalensi, dan dengan demikian mempartisi semua himpunan yang terurut dengan baik ke dalam kelas ekivalen, yang akan kita sebut tipe orde. Setiap jenis pesanan diwakili oleh ordinal yang berbeda.

Semua Woset kosong saling orde Isomorfik, dan dua woset dengan kardinalitas berbeda tidak bisa orde isomorfik, sehingga woset kosong membentuk tipe orde. Kami akan memberi label kelas ini "0". Dengan lebih sulit, dapat ditunjukkan bahwa untuk semua kardinal berhingga n, woset dengan kardinalitas n membentuk suatu tipe orde yang kita sebut n. Jadi kita sudah memiliki ordinal 0, 1, 2, 3, ...

Jenis urutan woset dengan elemen terbesar disebut Ordinal Penerus (Successor Ordinal). Ordinal yang bukan ordinal penerus atau 0 disebut Ordinal Limit (Limit Ordinals). Untuk setiap ordinal α, ada ordinal penerus minimal β>α yang kita sebut penerus α, dinotasikan α+1.

B. Definisi dalam Induksi Transfinit (Transfinite Induction)

Induksi Transfinit berlaku di setiap himpunan yang tertata dengan baik, tetapi sangat penting dalam kaitannya dengan ordinal sehingga perlu dinyatakan kembali di sini.

Setiap properti yang berpindah dari himpunan ordinal yang lebih kecil dari ordinal tertentu ke itu sendiri, berlaku untuk semua ordinal.

Artinya, jika P(α) benar setiap kali P(β) benar untuk semua β < α , maka P(α) benar untuk semua α. Atau, lebih praktisnya untuk membuktikan properti P untuk semua ordinal α, dapat diasumsikan bahwa ia sudah diketahui untuk semua β < α yang lebih kecil.

Ilustrasi Omega (ω) dalam Spiral merepresentasikan Limit Ordinal dari 0 sampai ω^ω

[Untuk membaca lebih lengkapnya tentang Topik ini, silahkan lihat di sini (Transfinite Induction).]

Suksesor (Successor) dan Limit Ordinal

Setiap ordinal bukan nol memiliki elemen minimum, nol. Ini mungkin atau mungkin tidak memiliki elemen maksimum. Misalnya, 42 memiliki maksimum 41 dan ω+6 memiliki maksimum ω+5. Di sisi lain, ω tidak memiliki maksimum karena tidak ada bilangan asli terbesar. Jika suatu ordinal memiliki maksimum α, maka ordinal tersebut adalah ordinal berikutnya setelah α, dan disebut Ordinal Penerus (Successor Ordinal), yaitu Penerus/Suksesor α, ditulis α+1. Dalam definisi Ordinal Von Neumann, Suksesor dari α adalah $\alpha \cup \left \{ \alpha \right \}$ karena elemen-elemennya adalah elemen dari α dan α itu sendiri.

Ordinal bukan nol yang bukan Penerus disebut Ordinal Batas (Limit Ordinal). Satu pembenaran untuk istilah ini adalah bahwa Ordinal Batas adalah batas dalam pengertian Topologi dari semua ordinal yang lebih kecil (di bawah Topologi Orde / Order Topology).

Ketika $\left \langle \alpha _{\iota } \mid \iota < \gamma \right \rangle$ adalah barisan berindeks ordinal, diindeks oleh limit γ dan urutannya meningkat, yaitu $\alpha _{\iota } < \alpha _{\rho }$ kapanpun $\iota < \rho$ limitnya didefinisikan sebagai batas atas terkecil dari himpunan $\left \{ \alpha _{\iota } \mid \iota < \gamma \right \}$ yaitu, ordinal terkecil (selalu ada) lebih besar dari suku mana pun dari barisan tersebut. Dalam pengertian ini, limit ordinal adalah limit dari semua ordinal yang lebih kecil (diindeks dengan sendirinya). Secara lebih langsung, itu adalah supremum dari himpunan ordinal yang lebih kecil.

Cara lain untuk mendefinisikan ordinal limit adalah dengan mengatakan bahwa α adalah ordinal limit jika dan hanya jika :

Ada ordinal yang lebih kecil dari α dan setiap kali ζ adalah ordinal yang lebih kecil dari α, maka ada ordinal ξ sedemikian rupa sehingga ζ < ξ < α.

Jadi dalam urutan berikut :

0, 1, 2, …, ω, ω+1

ω adalah ordinal limit karena untuk sembarang ordinal yang lebih kecil (dalam contoh ini, bilangan asli) ada ordinal lain (bilangan asli) yang lebih besar darinya, tetapi masih lebih kecil dari ω.

Jadi, setiap ordinal adalah nol, atau Penerus/Suksesor (dari Pendahulu/Predesesor yang terdefinisi dengan baik), atau batas. Perbedaan ini penting, karena banyak definisi oleh rekursi transfinite bergantung padanya. Sangat sering, ketika mendefinisikan fungsi F dengan rekursi transfinit pada semua ordinal, satu mendefinisikan F(0), dan F(α+1) dengan asumsi F(α) didefinisikan, dan kemudian, untuk ordinal limit δ satu mendefinisikan F(δ) sebagai limit dari F(β) untuk semua β<δ (baik dalam pengertian limit ordinal, seperti dijelaskan sebelumnya, atau untuk beberapa pengertian limit lainnya jika F tidak mengambil nilai ordinal). Dengan demikian, langkah yang menarik dalam definisi adalah langkah Suksesor, bukan ordinal batas. Fungsi seperti itu (terutama untuk F yang tidak menurun dan mengambil nilai Ordinal) disebut Kontinu. Penjumlahan Ordinal, Perkalian dan Eksponensial Kontinu sebagai Fungsi dari argumen kedua mereka (tetapi dapat didefinisikan secara non-rekursif).

Mengindeks Kelas Ordinal

Setiap himpunan yang terurut dengan baik adalah serupa (orde-isomorfik) dengan bilangan ordinal unik α; dengan kata lain, elemen-elemennya dapat diindeks secara meningkat dengan ordinal kurang dari α. Ini berlaku, khususnya, untuk setiap set ordinal: setiap set ordinal secara alami diindeks oleh ordinal kurang dari beberapa {\displaystyle \alpha }\alpha . Hal yang sama berlaku, dengan sedikit modifikasi, untuk kelas ordinal (kumpulan ordinal, mungkin terlalu besar untuk membentuk himpunan, ditentukan oleh beberapa properti): setiap kelas ordinal dapat diindeks oleh ordinal (dan, ketika kelas tidak dibatasi di kelas semua ordinal, ini menempatkannya di kelas-bijeksi dengan kelas semua ordinal). Jadi elemen γ di kelas (dengan konvensi bahwa "0-th" adalah yang terkecil, "1-st" adalah yang terkecil berikutnya, dan seterusnya) dapat diucapkan dengan bebas dari. Secara formal, definisinya adalah dengan induksi transfinit: elemen γ dari kelas didefinisikan (asalkan telah didefinisikan untuk semua β < γ), sebagai elemen terkecil yang lebih besar dari elemen β untuk semua β < γ.

Ini dapat diterapkan, misalnya, ke kelas ordinal limit : Ordinal γ, yang merupakan limit atau nol adalah ω·γ (Lihat Aritmatika Ordinal untuk definisi perkalian ordinal). Demikian pula, seseorang dapat mempertimbangkan ordinal aditif yang tidak dapat diurai (Artinya ordinal bukan nol yang bukan jumlah dari dua ordinal yang lebih kecil) : γ ordinal yang tidak dapat didekomposisi secara aditif diindeks sebagai $\omega ^{\gamma }$ . Teknik pengindeksan kelas ordinal sering berguna dalam konteks titik tetap: misalnya, γ ordinal α sedemikian rupa sehingga $\omega ^{\alpha } = \alpha$ ditulis $\varepsilon _{\gamma }$ . Ini disebut "angka Epsilon".

[Untuk membaca lebih lengkapnya tentang Topik ini, silahkan lihat di sini Ordinal Number).]

Perbedaan Ordinal dengan Kardinal

Cantor menemukan 2 (Dua) jenis Ketakhingaan yaitu Kardinal dan Ordinal. Kardinal mengatakan seberapa besar himpunannya. Dua Himpunan dapat dimasukkan ke dalam korespondensi 1-1 jika mereka memiliki jumlah elemen yang sama — di mana 'angka' semacam ini adalah kardinal. Anda mungkin pernah mendengar tentang kardinal seperti Alef Nol / Aleph-Nought / $\aleph _{0}$ (Jumlah Bilangan Bulat), 2 Pangkat Alef-Nol/Aleph-Nought ( $2^{\aleph _{0}}$ ) (Jumlah Bilangan Real), dan seterusnya. Anda mungkin pernah mendengar desas-desus tentang kardinal yang jauh lebih besar, seperti 'kardinal yang tidak dapat diakses' atau 'kardinal yang sangat besar'. Semua ini sangat menyenangkan, dan saya sarankan mulai dari sini :

Frank R. Drake, Set Theory, an Introduction to Large Cardinals, North-Holland, 1974.

Dan sebenarnya ada banyak Sumber-sumber lainnya yang membahas tentang Ordinal dan Kardinal. Ordinal mengatakan seberapa besar set 'Teratur dengan baik (Well-ordered)'. Suatu himpunan terurut dengan baik jika ia datang dengan suatu relasi ≤ mematuhi aturan biasa :

Transitivitas (Transitivity) : Jika x ≤ y dan y ≤ z maka x ≤ z
Refleksivitas (Reflexivity) : x ≤ x
Antisimetri (Antisymmetry) : Jika x ≤ y dan y ≤ x maka x = y

Dan satu aturan lagi yaitu : Setiap subset tak kosong memiliki Elemen terkecil.

Contohnya :

1. Himpunan Kosong : $\{\}$

Terurut dengan baik dengan cara yang sepele, dan ordinal yang sesuai disebut sebagai 0.

2. Demikian pula, Himpunan apa pun dengan hanya satu Unsur, seperti ini : $\{0\}$

Teratur dengan baik dengan cara yang sepele, dan ordinal yang sesuai disebut sebagai 1.

3. Demikian pula, setiap himpunan dengan Dua Elemen, seperti ini : $\{0,1\}$

Menjadi tertata dengan baik segera setelah kami memutuskan elemen mana yang lebih besar; pilihan yang jelas adalah mengatakan 0 < 1. Ordinal yang sesuai disebut sebagai 2.

4. Demikian pula, setiap himpunan dengan Tiga Elemen, seperti ini : $\{0,1,2\}$

menjadi tertata dengan baik segera setelah kita mengurutkannya secara linier; pilihan yang jelas di sini adalah mengatakan 0 < 1 < 2. Ordinal yang sesuai disebut sebagai 3.

Mungkin Anda mendapatkan polanya — Anda mungkin pernah melihat ordinal khusus ini sebelumnya, mungkin di sekolah dasar. Mereka disebut ordinal hingga, atau "bilangan asli".

Tapi ada trik lucu yang mungkin tidak mereka ajarkan kepada Anda saat itu: kita dapat mendefinisikan setiap ordinal menjadi himpunan semua ordinal yang kurang dari itu :

$0 = \{\}$ (Karena tidak ada ordinal yang lebih kecil dari 0)

$1 = \{0\}$ (Karena hanya 0 yang kurang dari 1)

$2 = \{0,1\}$ (Karena 0 dan 1 kurang dari 2)

$3 = \{0,1,2\}$ (Karena 0, 1 dan 2 lebih kecil dari 3)

Dan seterusnya. Ini bagus karena sekarang setiap ordinal adalah kumpulan ukuran yang tertata dengan baik yang merupakan singkatan dari ordinal. Dan, kita dapat mendefinisikan satu ordinal menjadi "kurang dari atau sama" dengan ordinal lain tepat ketika itu adalah subset dari yang lain.

C. Ordinal Aritmetik

Dalam Matematika Teori Himpunan, Aritmatika Ordinal menguraikan tiga operasi dasar pada bilangan ordinal, yaitu Penjumlahan, Perkalian, dan Perpangkatan (serta Tetrasi). Setiap operasi ini dapat didefinisikan secara mendasar melalui dua pendekatan yang berbeda: pembangunan himpunan terurut eksplisit yang merepresentasikan hasil operasi atau melalui penggunaan rekursi transfinite. Bentuk normal Cantor digunakan sebagai cara standar untuk menuliskan ordinal. Selain dari Operasi Ordinal konvensional, ada juga Aritmatika Ordinal "Asli" dan Operasi Gesit (Nimber Operations).

1. Penjumlahan (Addition)

Namun, penambahan masih bersifat asosiatif; orang dapat melihat misalnya bahwa (ω+4)+ω = ω+(4+ω) = ω+ω.

Definisi penambahan juga dapat diberikan secara Induktif (Induksi berikut pada) :

α+0 = α,
α+(β+1) = (α+β)+1 (Di sini, "+1" menunjukkan Suksesor sebuah Ordinal),
Dan jika β adalah ordinal limit maka α+β adalah limit dari α+δ untuk semua δ<β.

Dengan menggunakan definisi ini, ω+3 dapat dilihat sebagai suatu ordinal penerus (merupakan penerus dari ω+2), sedangkan 3+ω adalah suatu ordinal limit, yaitu limit dari 3+0 = 3, 3+1 = 4, 3+2 = 5, dst., yang hanya ω.

Nol adalah Identitas Aditif α+0 = 0+α = α. Penjumlahan bersifat Asosiatif (α+β)+γ = α+(β+γ).

Penambahan secara ketat meningkat dan terus menerus dalam argumen yang benar :

\alpha <\beta \Rightarrow \gamma +\alpha <\gamma +\beta

Tetapi hubungan analogi tidak berlaku untuk argumen kiri; sebagai gantinya kami hanya memiliki :

\alpha <\beta \Rightarrow \alpha +\gamma \leq \beta +\gamma

Penjumlahan ordinal adalah Kanselatif Kiri (Left-Cancellative) : jika α+β = α+γ, maka β = γ. Selanjutnya, seseorang dapat mendefinisikan pengurangan kiri untuk ordinal β ≤ α : ada γ unik sehingga α = β+γ. Di sisi lain, pembatalan hak tidak berfungsi :

3+\omega =0+\omega =\omega

tapi

3\neq 0

Pengurangan benar juga tidak, bahkan ketika β ≤ α : misalnya, tidak ada γ sehingga γ+42 = ω.

Jika ordinal yang kurang dari ditutup dengan penjumlahan dan mengandung 0 maka α kadang-kadang disebut bilangan γ (lihat ordinal aditif yang tidak dapat didekomposisi). Ini persis ordinal dari bentuk ωβ.

Contohnya adalah :

Apa yang datang setelah semua ordinal yang terbatas? Nah, himpunan semua ordinal berhingga itu sendiri terurut dengan baik :

$\{0,1,2,3,\dots \}$

Jadi, ada ordinal yang sesuai dengan ini — dan ini adalah ordinal tak terbatas pertama. Biasanya disebut ω, diucapkan 'omega'. Menggunakan trik lucu yang saya sebutkan, kita benar-benar dapat mendefinisikan

$\omega = \{0,1,2,3,\dots\}$

Apa yang datang setelah ini? Nah, ternyata ada satu set yang tertata dengan baik

$\{0,1,2,3,\dots,\omega\}$

berisi ordinal hingga bersama dengan \omega, dengan gagasan yang jelas tentang "kurang dari" ω lebih besar dari yang lain. Sesuai dengan set ini ada ordinal yang disebut

$\omega+1$

Seperti biasa, kita cukup mendefinisikan

$\omega+1 = \{0,1,2,3,\dots,\omega\}$

Pada titik ini Anda mungkin akan bingung jika Anda tahu tentang kardinal, jadi izinkan saya untuk meyakinkan. Himpunan ω dan ω+1 memiliki kardinalitas yang sama: keduanya dapat dihitung. Dengan kata lain, Anda dapat menemukan fungsi 1-1 dan ke antara set ini. Tetapi ω dan ω+1 berbeda sebagai ordinal, karena Anda tidak dapat menemukan fungsi 1-1 dan ke di antara keduanya yang mempertahankan urutan. Ini mudah dilihat, karena ω+1 memiliki elemen terbesar sedangkan ω tidak.

Memang, semua ordinal dalam rangkaian posting ini akan dapat dihitung! Jadi untuk yang tak terbatas, Anda dapat membayangkan bahwa semua yang saya lakukan adalah mengambil set favorit Anda yang dapat dihitung dan memesannya dengan cara yang lebih licik.

Oke, jadi kita sampai pada ω+1. Apa yang terjadi selanjutnya? Yah, tidak mengherankan, itu

$\omega+2 = \{0,1,2,3,\dots,\omega,\omega+1\}$

Kemudian datang

$\omega+3, \omega+4, \omega+5,\dots$

dan seterusnya. Anda mendapatkan idenya.

Kejutan utama adalah bahwa penambahan ordinal tidak komutatif. Kami telah melihat bahwa $\omega + 1 \ne \omega,$ , sejak

$\omega + 1 = \{0, 1, 2, 3, \dots, \omega \}$

adalah daftar hal yang tak terbatas ... dan kemudian satu hal lagi yang datang setelah semua itu!. Tetapi 1+ω = ω, karena satu hal yang diikuti oleh daftar tak terhingga banyak lagi hanyalah daftar tak terhingga banyak hal.

Dengan ordinal, ini bukan hanya tentang kuantitas, tetapi urutannya penting!

2. Perkalian (Multiplication)

Distribusi sebagian berlaku untuk aritmatika ordinal: α(β+γ) = αβ+αγ. Namun, hukum distributif lainnya (β+γ)α = βα+γα umumnya tidak benar : (1+1)·ω = 2·ω = ω sedangkan 1·ω+1·ω = ω+ω, yang berbeda . Oleh karena itu, bilangan urut membentuk hampir semiring kiri, tetapi tidak membentuk cincin.

Definisi perkalian juga dapat diberikan secara induktif (induksi berikut pada) :

α·0 = 0,
α·(β+1) = (α·β)+α,
Dan jika β adalah ordinal limit maka α·β adalah limit dari α·δ untuk δ < β.

Sifat utama Perkalian adalah :

α·0 = 0·α = 0.
Satu (1) adalah identitas perkalian α·1 = 1·α = α.
Perkalian bersifat asosiatif (α·β)·γ = α·(β·γ).

Perkalian meningkat secara ketat dan berkelanjutan dalam argumen yang benar: (α < dan > 0) ⇒ γ·α < γ·β
Perkalian tidak benar-benar meningkat dalam argumen kiri, misalnya, 1 < 2 tetapi 1·ω = 2·ω = ω = . Namun, ini (tidak ketat) meningkat, yaitu α ≤ β ⇒ α·γ ≤ β·γ.

Ada Hukum Pembatalan Kiri : Jika α > 0 dan α·β = α·γ, maka β = γ.
Pembatalan hak tidak berfungsi, mis. 1·ω = 2·ω = ω, tetapi 1 dan 2 berbeda.

α·β = 0 ⇒ α = 0 atau β = 0.

Hukum Distributif di sebelah Kiri : α·(β+γ) = α·β+α·γ
Tidak ada hukum distributif di sebelah kanan. mis. (ω+1)·2 = ω+1+ω+1 = ω+ω+1 = ω·2+1, yang bukan ω·2+2.

Pembagian kiri dengan sisa untuk semua α dan β, jika β > 0, maka ada γ dan δ yang unik sehingga α = β·γ+δ and δ < β. (Namun ini tidak berarti ordinal adalah domain Euclidean, karena mereka bahkan bukan ring, dan "norma" Euclidean bernilai ordinal.)

Pembagian kanan tidak bekerja: tidak ada sehingga α·ω ≤ ω^ω ≤ (α+1)·ω.

Sebuah Bilangan δ (Lihat Perkalian yang Tidak dapat didekomposisi / Multiplicatively Indecomposable) adalah lebih besar ordinal dari 1 sehingga αβ = β setiap kali 0<α<β. Ini terdiri dari ordinal 2 dan ordinal dari bentuk ω^{ω^β}.

Contohnya adalah :

Oke, jadi kita telah melihat Ordinal ini :

$1, 2, 3, \dots, \omega, \omega + 1, \omega + 2, \omega+3, \dots$

Apa selanjutnya?

Nah, urutan setelah semua ini disebut ω+ω. Orang sering menyebutnya “omega kali 2” atau disingkat ω2. Begitu,

$\omega 2 = \{0,1,2,3,\dots,\omega,\omega+1,\omega+2,\omega+3,\dots.\}$

Akan menyenangkan memiliki buku dengan halaman ω, setiap halaman setebal setengah halaman sebelumnya. Anda dapat menceritakan kisah panjang yang menyenangkan dengan buku berukuran ω. Saya pikir Anda bisa membayangkan ini. Dan jika Anda meletakkan satu buku seperti itu di sebelah yang lain, itu adalah gambaran yang bagus dari \omega 2.

Perlu dicatat bahwa ω2 tidak sama dengan 2ω. Kita punya

$\omega 2 = \omega + \omega$

sementara

$2 \omega = 2 + 2 + 2 + \cdots$

di mana kita menambahkan \omega dari istilah-istilah ini. Tapi

$2 + 2 + 2 + \cdots = (1 + 1) + (1 + 1) + (1 + 1) \dots = \omega$

begitu

$2 \omega = \omega$

Dengan menggunakan ini, Anda dapat membuktikan bahwa apa yang saya katakan adalah benar. Meskipun demikian, saya harap Anda melihat mengapa apa yang saya katakan mungkin masuk akal. Seperti penjumlahan ordinal, perkalian ordinal tidak komutatif! Jika Anda tidak menyukai ini, Anda harus mempelajari kardinal sebagai gantinya.

Apa selanjutnya? Nah, kemudian datang

$\omega 2 + 1, \omega 2 + 2,\dots$

dan seterusnya. Tapi Anda mungkin sudah memahami ini, jadi kita bisa langsung melompat ke ω3.

Bahkan, Anda mungkin siap untuk langsung beralih ke ω4, dan ω5, dan seterusnya.

3. Perpangkatan/Eksponensial (Exponentiation)

Secara umum, setiap ordinal α dapat dipangkatkan ke ordinal lain β dengan cara yang sama untuk mendapatkan α^β.

Hal ini paling mudah untuk dijelaskan dengan menggunakan definisi ordinal Von Neumann sebagai himpunan semua ordinal yang lebih kecil. Kemudian, untuk membangun satu set bertipe orde α^β pertimbangkan semua fungsi dari β hingga α sedemikian rupa sehingga hanya sejumlah elemen dari domain β yang dipetakan ke elemen bukan nol dari (pada dasarnya, kami mempertimbangkan fungsi dengan dukungan hingga). Urutannya adalah Leksikografis (Lexicographic) dengan posisi paling tidak signifikan terlebih dahulu. Dan kita menemukan :

1^ω = 1,
2^ω = ω,
2^ω+1 = ω·2 = ω+ω.

Definisi Eksponen juga dapat diberikan secara Induktif (Induksi berikut adalah pada β, Eksponen) :

α⁰ = 1,
α^β+1 = (α^β)·α, dan
Jika β adalah Limit Ordinal, maka α^β adalah Limit dari α^δ untuk semua δ < β.

Sifat-sifat Eksponen Ordinal :

α⁰ = 1.
Jika 0 < α, maka 0^α = 0.
1^α = 1.
α¹ = α.
α^β·α^γ = α^β + γ.
(α^β)^γ = α^β·γ.

Ada α, β, dan γ yang (α·β)^γ ≠ α^γ·β^γ. Misalnya, (ω·2)² = ω·2·ω·2 = ω²·2 ≠ ω²·4.
Eksponen Ordinal meningkat secara ketat dan terus menerus dalam Argumen Kanan : Jika γ > 1 dan α < β, maka γ^α < γ^β.
Jika α < β, maka α^γ ≤ β^γ. Perhatikan, misalnya, bahwa 2 < 3 namun 2^ω = 3^ω = ω.
Jika α > 1 dan α^β = α^γ, maka β = γ. Jika α = 1 atau α = 0 tidak demikian.
Untuk semua α dan β, jika β > 1 dan α > 0 maka terdapat yang unik sedemikian γ, δ, dan ρ sehingga α = β^γ·δ + ρ sehingga 0 < δ < β dan ρ < β^γ.

Sementara Notasi yang sama digunakan untuk Eksponensial Ordinal dan Eksponensial Kardinal, Eksponensial Ordinal sangat berbeda dari Eksponensial Kardinal. Misalnya, dengan Eksponensial Ordinal $2^{\omega } = \omega$ , tetapi untuk $\aleph _{0}$ (Aleph Naught / Alef Nol, Kardinalitas dari ω), $2^{\aleph _{0}} > \aleph _{0}$ . Di sini, $2^{\aleph _{0}}$ adalah kardinalitas himpunan semua fungsi dari himpunan semua bilangan asli ke himpunan dengan dua elemen. (Ini adalah Kardinalitas dari himpunan pangkat dari himpunan semua bilangan asli dan sama dengan $\mathfrak {c}$ , Kardinalitas Kontinum.) Untuk menghindari ordinalitas yang membingungkan eksponensial dengan eksponensial kardinal, seseorang dapat menggunakan simbol untuk ordinal (misalnya ω) di yang pertama dan simbol untuk kardinal (Misalnya $\aleph _{0}$ ) di yang terakhir.

Jacobsthal menunjukkan bahwa satu-satunya solusi dari α^β = β^α dengan α ≤ β diberikan oleh α = β , atau α = 2 dan β = 4, atau adalah sembarang limit ordinal dan β = εα di mana ε adalah bilangan yang lebih besar dari α.

Contohnya adalah :

Faktanya, saya yakin sekarang Anda siap untuk melompat ke "omega kali omega", atau singkatnya ω² :

$\omega^2 = \{0,1,2\dots\omega,\omega+1,\omega+2,\dots ,\omega 2,\omega 2+1,\omega 2+2,\dots\}$

Misalkan Anda memiliki ensiklopedia dengan ω volume, masing-masing menjadi buku dengan ω halaman. Jika setiap buku dua kali lebih tipis dari sebelumnya, Anda akan memiliki ω² halaman — dan itu masih bisa muat di satu rak buku! Inilah idenya :

Apa yang terjadi selanjutnya? Yah, kita punya

$\omega^2+1, \omega^2+2, \dots$

dan seterusnya, dan setelah semua ini datang

$\omega^2+\omega, \omega^2+\omega+1, \omega^2+\omega+2, \dots$

dan seterusnya — dan akhirnya

$\omega^2 + \omega^2 = \omega^2 2$

dan kemudian banyak lagi, dan kemudian

ω²·3

dan kemudian banyak lagi, dan kemudian

ω²·4

dan kemudian banyak lagi, dan lebih banyak lagi, dan akhirnya

ω²·ω = ω³

Anda mungkin dapat membayangkan sebuah rak buku berisi ω ensiklopedia, masing-masing dengan ω volume, masing-masing dengan ω halaman, dengan total ω³ halaman. Itu ω³.

Saya telah melewatkan lebih banyak langkah agar Anda tidak bosan. Saya tahu Anda memiliki banyak hal yang harus dilakukan dan tidak dapat menghabiskan banyak waktu untuk membaca ini, bahkan jika subjeknya tak terhingga.

Jadi jika Anda tidak keberatan saya hanya menyebutkan beberapa poin tinggi, ada orang-orang seperti ω⁴ dan ω⁵ dan seterusnya, dan setelah semua ini datang

ω^ω

Coba kita bayangkan ini! Pertama, bayangkan sebuah buku dengan halaman ω. Kemudian bayangkan Ensiklopedia Buku seperti ini, dengan ω volume. Lalu bayangkan sebuah rak buku berisi ω ensiklopedia seperti ini. Lalu bayangkan sebuah ruangan yang berisi ω rak buku seperti ini. Kemudian bayangkan sebuah lantai dengan perpustakaan dengan ω kamar seperti ini. Lalu bayangkan perpustakaan dengan ω lantai seperti ini. Kemudian bayangkan sebuah kota dengan perpustakaan ω seperti ini. Dan seterusnya, Tak Terhingga (Infinitum).

Anda harus sedikit berhati-hati di sini, atau Anda akan membayangkan jumlah halaman yang tak terhitung jumlahnya. Untuk memberi nama halaman tertentu di alam semesta ini, Anda harus mengatakan sesuatu seperti ini :

Halaman ke-23 dari Buku ke-107 dari Ensiklopedia ke-20 di Rak Buku ke-7 di Ruang 0 di Lantai 1000 Perpustakaan ke-973 di Kota ke-6 di Benua ke-0 di Planet ke-0 di Tata Surya ke-0 di…

Seperti yang mereka katakan,

Tetapi untuk Eksponen Tak Terbatas (Infinite Exponents), definisinya mungkin Tidak Jelas (Obvious).

Berikut adalah gambar ω^ω, diambil dari halaman web interaktif David Madore yang luar biasa :

Di halamannya, jika Anda mengklik salah satu label untuk bagian awal dari sebuah ordinal, seperti ω, ω², ω³ atau ω⁴ di sini, gambar akan meluas untuk menunjukkan bagian itu!

Dan inilah gambar lain, di mana setiap putaran jarum jam membawa Anda ke kekuatan \omega yang lebih tinggi :

KETERANGAN : Gambar ini juga ada di atas.

4. Bentuk Normal Cantor (Cantor Normal Form)

Setiap bilangan urut α dapat ditulis secara unik sebagai $\omega^{\beta_{1}}c_{1} + \omega^{\beta_{2}}c_{2} + \cdots + \omega^{\beta_{k}}c_{k}$ , di mana k adalah Bilangan Asli, c₁, c₂, …, c_k adalah Bilangan Bulat Positif, dan $\beta_{1} > \beta_{2} > \cdots > \beta_{k} \geq 0$ adalah bilangan urut. Penguraian ini disebut bentuk normal Cantor dari , dan dapat dianggap sebagai sistem bilangan posisi basis ω. Eksponen tertinggi

\beta _{1}

disebut derajat α, dan memenuhi $\beta_{1} \leq \alpha$ . Persamaan $\beta_{1} = \alpha$ berlaku jika dan hanya jika $\alpha = \omega ^{\alpha}$ . Dalam hal ini bentuk normal Cantor tidak menyatakan ordinal dalam bentuk yang lebih kecil; ini bisa terjadi seperti yang dijelaskan di bawah ini.

Variasi kecil dari bentuk normal Cantor, yang biasanya sedikit lebih mudah untuk dikerjakan, adalah mengatur semua angka ci sama dengan 1 dan membiarkan eksponennya sama. Dengan kata lain, setiap bilangan urut dapat ditulis secara unik sebagai $\omega^{\beta_{1}} + \omega^{\beta_{2}} + \cdots + \omega^{\beta_{k}}$ , di mana k adalah bilangan asli , dan $\beta_{1} \geq \beta_{2} \geq \cdots \geq \beta_{k} \geq 0$ adalah bilangan urut.

Variasi lain dari bentuk normal Cantor adalah "perluasan basis δ", di mana diganti dengan sembarang ordinal δ>1, dan bilangan c_i adalah ordinal positif yang kurang dari δ.

Bentuk normal Cantor memungkinkan kita untuk secara unik mengekspresikan—dan mengurutkan—ordinal α yang dibangun dari bilangan asli oleh sejumlah operasi aritmatika Penjumlahan, Perkalian dan Eksponensial basis ω : dengan kata lain, dengan asumsi $\beta_{1} < \alpha$ dalam bentuk normal Cantor, kita juga dapat menyatakan Eksponen

\beta _{i}

dalam bentuk normal Cantor, dan membuat asumsi yang sama untuk

\beta _{i}

seperti untuk dan seterusnya secara rekursif, kita mendapatkan sistem notasi untuk ordinal ini. Misalnya :

$\omega^{\left(\omega^{\left(\omega^{7}\cdot6+\omega+42\right)}\cdot1729+\omega^{9}+88\right)}\cdot3 + \omega^{(\omega^{\omega})}\cdot5 + 65537$

(Menunjukkan Ordinal)

Ordinal ε₀ (Epsilon Nol) adalah himpunan nilai ordinal α dari ekspresi aritmatika panjang-hingga dari bentuk normal Cantor yang diturunkan non-trivial di mana non-trivial berarti 1<α ketika 0<α. Ini adalah ordinal terkecil yang tidak memiliki ekspresi aritmatika berhingga dalam suku ω, dan ordinal terkecil sehingga $\varepsilon_{0} = \omega^{\varepsilon_{0}}$ , yaitu dalam bentuk normal Cantor eksponennya tidak lebih kecil dari ordinal itu sendiri. Ini adalah batas urutan :

0,\,1=\omega ^{0},\,\omega =\omega ^{1},\,\omega ^{\omega },\,\omega ^{\omega ^{\omega }},\,\ldots \,.

Ordinal ε₀ penting untuk berbagai alasan dalam aritmatika (pada dasarnya karena ia mengukur kekuatan teori-bukti dari aritmatika Peano orde pertama yaitu, aksioma Peano dapat menunjukkan induksi transfinit hingga ordinal apa pun yang kurang dari ε₀ tetapi tidak hingga ε₀ itu sendiri).

Bentuk normal Cantor juga memungkinkan kita untuk menghitung jumlah dan hasil kali ordinal untuk menghitung jumlah, misalnya, kita hanya perlu mengetahui (lihat properti yang tercantum dalam Penjumlahan dan Perkalian) bahwa

\omega ^{\beta }c+\omega ^{\beta '}c'=\omega ^{\beta '}c'\,,

if $\beta' > \beta$ (if $\beta' = \beta$ seseorang dapat menerapkan hukum distributif di sebelah kiri dan menulis ulang ini sebagai $\omega^{\beta}(c+c')$ , dan jika $\beta' < \beta$ ekspresinya adalah sudah dalam bentuk normal Cantor); dan untuk menghitung produk, fakta penting adalah bahwa ketika

0<\alpha =\omega ^{\beta _{1}}c_{1}+\cdots +\omega ^{\beta _{k}}c_{k}

dalam bentuk normal Cantor dan $0 < \beta'$ , lalu

\alpha \omega ^{\beta '}=\omega ^{\beta _{1}+\beta '}\,

dan

\alpha n=\omega ^{\beta _{1}}c_{1}n+\omega ^{\beta _{2}}c_{2}+\cdots +\omega ^{\beta _{k}}c_{k}\,,

jika n adalah Bilangan Asli bukan nol.

Untuk membandingkan dua ordinal yang ditulis dalam bentuk normal Cantor, pertama-tama bandingkan

\beta _{1}

, lalu

c_{1}

, lalu

\beta _{2}

, lalu

c_{2}

, dst. Pada perbedaan pertama, ordinal yang memiliki komponen lebih besar adalah ordinal yang lebih besar. Jika mereka sama sampai yang satu berakhir sebelum yang lain, maka yang berakhir lebih dulu lebih kecil.

Contohnya adalah (Ordinal hingga ε₀) :

Oke, jadi kita telah mencapai ω^ω. Sekarang apa?

Nah, kemudian muncul $\omega^\omega + 1,$ dan seterusnya, tapi saya yakin itu membosankan sekarang. Dan kemudian datang ordinal seperti :

$\omega^\omega 2,\dots, \omega^\omega 3, \dots, \omega^\omega 4, \dots$

mengarah ke :

$\omega^\omega \omega = \omega^{\omega + 1}$

Kemudian akhirnya datang ordinal seperti :

$\omega^\omega \omega^2 , \dots, \omega^\omega \omega^3, \dots, \omega^\omega \omega^4, \dots$

dan seterusnya, mengarah ke :

$\omega^\omega \omega^\omega = \omega^{\omega + \omega} = \omega^{\omega 2}$

Ini sebenarnya mengingatkan saya pada sesuatu yang terjadi saat berkendara melintasi South Dakota pada suatu musim panas dengan seorang teman saya. Kami masih kuliah, jadi kami libur musim panas, jadi kami berkendara melintasi negara. Kami berkendara melintasi South Dakota dari perbatasan Timur ke Barat di Interstate 90.

Negara bagian ini sangat luas — sekitar 600 Kilometer, dan sebagian besar benar-benar datar, jadi perjalanannya sangat membosankan. Kami terus melihat tanda-tanda untuk sekelompok tempat wisata di tepi barat negara bagian, seperti Tanah tandus dan Mt. Rushmore — gunung yang mereka ukir agar terlihat seperti wajah presiden, hanya untuk memberi orang alasan untuk tetap mengemudi.

Bagaimanapun, saya akan menceritakan sisa ceritanya nanti — saya melihat beberapa ordinal lainnya muncul :

$\omega^{\omega 3},\dots \omega^{\omega 4},\dots \omega^{\omega 5},\dots$

Kami benar-benar melaju sekarang hanya agar tidak bosan — seperti yang saya dan teman saya lakukan di South Dakota. Anda mungkin senang membayangkan bahwa kami memiliki cerita dan lelucon perdagangan yang menyenangkan, seperti yang mereka lakukan di film-film jalanan. Tapi kami berkendara jauh-jauh dari Princeton ke kabin teman saya Chip di California. Saat kami tiba di South Dakota, kami semua kehabisan cerita dan lelucon.

Hei lihat! Nya

$\omega^{\omega \omega}= \omega^{\omega^2}$

Itu keren. Kemudian datang

$\omega^{\omega^3}, \dots \omega^{\omega^4}, \dots \omega^{\omega^5}, \dots$

dan seterusnya.

Anyway, kembali ke cerita saya. Untuk paruh pertama dari setengah perjalanan kami melintasi negara bagian, kami terus melihat tanda-tanda untuk sesuatu yang disebut Museum Traktor Dakota Selatan.

Oh, tunggu, ini ordinal yang menarik :

$\omega^{\omega^\omega}$

Mari kita berhenti dan melihat :

Itu keren. Oke, mari kita terus mengemudi. Ini dia :

$\omega^{\omega^\omega} + 1, \omega^{\omega^\omega} + 2, \dots$

lalu

$\omega^{\omega^\omega} + \omega, \dots, \omega^{\omega^\omega} + \omega 2, \dots, \omega^{\omega^\omega} + \omega 3, \dots$

lalu

$\omega^{\omega^\omega} + \omega^2, \dots, \omega^{\omega^\omega} + \omega^3, \dots$

dan akhirnya

$\omega^{\omega^\omega} + \omega^\omega$

dan akhirnya

$\omega^{\omega^\omega} + \omega^{\omega^\omega} = \omega^{\omega^\omega} 2$

lalu

$\omega^{\omega^\omega} 3, \dots, \omega^{\omega^\omega} 4, \dots, \omega^{\omega^\omega} 5, \dots$

dan akhirnya

$\omega^{\omega^\omega} \omega = \omega^{\omega^\omega + 1}$

Setelah beberapa saat kami mencapai

$\omega^{\omega^\omega+2},\dots, \omega^{\omega^\omega+3},\dots,\omega^{\omega^\omega+4},\dots$

lalu

$\omega^{\omega^\omega + \omega}, \dots, \omega^{\omega^\omega + \omega 2}, \dots, \omega^{\omega^\omega + \omega 3}, \dots$

lalu

$\omega^{\omega^\omega + \omega^2}, \dots, \omega^{\omega^\omega + \omega^3}, \dots, \omega^{\omega^\omega + \omega^4}, \dots$

lalu

$\omega^{\omega^\omega + \omega^\omega} = \omega^{\omega^\omega 2}$

lalu

$\omega^{\omega^\omega 3}, \dots, \omega^{\omega^\omega 4} , \dots$

lalu

$\omega^{\omega^\omega \omega} = \omega^{\omega^{\omega + 1}}$

dan akhirnya

$\omega^{\omega^{\omega + 2}}, \dots, \omega^{\omega^{\omega + 3}}, \dots, \omega^{\omega^{\omega + 4}}, \dots$

Ini cukup membosankan, kita sudah melaju sangat cepat, tapi kita masih baru saja menambah kecepatan, dan itu akan memakan waktu cukup lama sebelum kita mencapai sesuatu yang menarik.

Kami bergerak sangat cepat sekarang :

$\omega^{\omega^{\omega^\omega}}, \dots, \omega^{\omega^{\omega^{\omega^\omega}}},\dots , \omega^{\omega^{\omega^{\omega^{\omega^{\omega}}}}},\dots$

Apa yang datang setelah semua ini?

Pada titik ini kita perlu berhenti untuk gas. Notasi kami untuk ordinal baru saja habis!

Ordinal tidak berhenti; hanya notasi kami yang gagal. Himpunan semua ordinal yang terdaftar hingga sekarang — termasuk semua ordinal yang telah kita lewati — adalah himpunan yang tertata rapi yang disebut

ε₀

atau "epsilon-nought". Ini memiliki properti luar biasa yang

$\epsilon_0 = \omega^{\epsilon_0}$

Dan ini adalah ordinal terkecil dengan properti ini! Ini terlihat seperti ini :

Ini adalah fakta yang menakjubkan bahwa setiap ordinal yang dapat dihitung adalah Isomorfik, sebagai himpunan yang tertata dengan baik, untuk beberapa subset dari garis nyata. David Madore memanfaatkan ini untuk membuat fotonya.

Dan jika ingin melihat dan mengetahui Limit Ordinal sampai $\displaystyle{ \epsilon_{\epsilon_0} }$ , silahkan lihat pada gambar di bawah ini :

CONTOH URUTAN FUNDAMENTAL (EXAMPLES OF FUNDAMENTAL SEQUENCES)

Sumber : Googology.wikia.org (Fundamental Sequence) [Lalu diterjemahkan melalui Google Translate]

Dalam Googologi yang dapat dihitung (Computable Googology), kita tidak dapat langsung menggunakan ordinal karena mesin Turing tidak menerima Ordinal Transfinit sebagai input. Sebagai gantinya, kami mempertimbangkan analog dari Barisan Fundamental untuk Suku-suku dalam Notasi Rekursif (Recursive Notations), yang disebut aturan ekspansi atau juga barisan fundamental secara luas dalam Googologi. Misalnya, notasi ordinal yang terkait dengan fungsi Buchholz dilengkapi dengan tiga sistem barisan dasar yang berbeda. Arti dari barisan dasar untuk suatu suku dalam notasi ordinal adalah sama dengan ordinal, kecuali untuk penggunaan pengurutan baik rekursif yang diberikan sebagai ganti . Di sisi lain, arti dari barisan dasar untuk suatu istilah dalam notasi umum cukup ambigu.

Urutan Dasar untuk Batas Ordinal λ ≤ ε₀ :

$\omega [n] = n$
$\omega^{\alpha + 1}[n] = \omega^{\alpha} n$ (Dimana $\omega^{\alpha} n = \omega^{\alpha} + \omega^{\alpha} + \cdots + \omega^{\alpha} + \omega^{\alpha}$ dengan jumlah n dari ω^α)
$\omega^{\alpha}[n] = \omega^{\alpha[n]}$ Jika dan hanya jika adalah α Limit Ordinal,

$(\omega^{\alpha_{1}} + \omega^{\alpha_{2}} + \cdots + \omega^{\alpha_{k-1}} + \omega^{\alpha_{k}})[n] = \omega^{\alpha_{1}} + \omega^{\alpha_{2}} + \cdots + \omega^{\alpha_{k-1}} + \omega^{\alpha_{k}}[n]$ jika dan hanya jika α adalah Limit Ordinal, $\alpha_{1} \geq \alpha_{2} \geq \cdots \geq \alpha_{k-1} \geq \alpha_{k}$

$\varepsilon_{0}[0] = 0$ dan $\varepsilon_{0}[n+1] = \omega^{\varepsilon_{0}[n]}$ , dan jadinya $\varepsilon_{0}[n+1] = \omega \uparrow\uparrow n = \underset{n}{\underbrace{\omega ^{\omega ^{\cdots ^{\omega }}}}}$ .

Barisan dasar untuk Fungsi Veblen (Veblen Functions) $\varphi_{\beta}(\gamma)$ :

$(\varphi_{\beta_{1}}(\gamma_{1}) + \varphi_{\beta_{2}}(\gamma_{2}) + \cdots + \varphi_{\beta_{k-1}}(\gamma_{k-1}) + \varphi_{\beta_{k}}(\gamma_{k}))[n] = \varphi_{\beta_{1}}(\gamma_{1}) + \varphi_{\beta_{2}}(\gamma_{2}) + \cdots + \varphi_{\beta_{k-1}}(\gamma_{k-1}) + (\varphi_{\beta_{k}}(\gamma_{k})[n])$ , dimana $\varphi_{\beta_{1}}(\gamma_{1}) \geq \varphi_{\beta_{2}}(\gamma_{2}) \geq \cdots \geq \varphi_{\beta_{k-1}}(\gamma_{k-1}) \geq \varphi_{\beta_{k}}(\gamma_{k})$ dan $\gamma_{m} < \varphi_{\beta_{m}}(\gamma_{m})$ untuk $m \in \left \{ 1, 2, 3, ..., k \right \}$

$\varphi_{0}(\gamma)$ dan $\varphi_{0}(\gamma+1)[n] = \omega^{\gamma}n$

$\varphi_{\beta+1}(0)[0] = 0$ dan $\varphi_{\beta+1}(0)[n+1] = \varphi_{\beta}(\varphi_{\beta+1}(0)[n])$

$\varphi_{\beta+1}(\gamma+1)[0] = \varphi_{\beta+1}(\gamma) + 1$ dan $\varphi_{\beta+1}(\gamma+1)[n+1] = \varphi_{\beta}(\varphi_{\beta+1}(\gamma+1)[n])$

$\varphi_{\beta}(\gamma)[n] = \varphi_{\beta}(\gamma[n])$ untuk Limit Ordinal $\gamma < \varphi_{\beta}(\gamma)$

$\varphi_{\beta}(0)[n] = \varphi_{\beta[n]}(0)$ untuk Limit Ordinal $\beta < \varphi_{\beta}(0)$

$\varphi_{\beta}(\gamma+1)[n] = \varphi_{\beta[n]}(\varphi_{\beta}(\gamma)+1)$ untuk Limit Ordinal β

Fungsi Veblen dapat disajikan sebagai Fungsi Dua Argumen (Two-Argument Function) $\varphi_{\beta}(\gamma) = \varphi(\beta, \gamma)$ .

Catatan : $\varphi(0, \gamma) = \varphi(\gamma) = \omega^{\gamma}$ , $\varphi(1, \gamma) = \varepsilon_{\gamma}$ , $\varphi(2, \gamma) = \zeta_{\gamma}$ , dan $\varphi(3, \gamma) = \eta_{\gamma}$

Barisan dasar untuk Fungsi Γ :

$\Gamma_{0}[0] = 0$ dan $\Gamma_{0}[n+1] = \varphi_{\Gamma_{0}[n]}(0)$

$\Gamma_{\beta+1}[0] = \Gamma_{\beta} + 1$ dan $\Gamma_{\beta+1}[n+1] = \varphi_{\Gamma_{\beta+1}[n]}(0)$

$\Gamma_{\beta}[n] = \Gamma_{\beta[n]}$ untuk Limit Ordinal $\beta < \Gamma_{\beta}$

Catatan : $\Gamma_{0} = \varphi(1, 0, 0)$ dan $\Gamma_{\gamma} = \varphi(1, 0, \gamma)$

Urutan dasar untuk Fungsi Theta Feferman (Feferman's Theta Function) :

$\theta(\alpha+\Omega, 0)[0] = \theta(\alpha, 0)$

$\theta(\alpha \cdot \Omega, 0)[0] = \theta(\alpha, 0)$

$\theta(\alpha^{\Omega}, 0)[0] = \theta(\alpha, 0)$

Atau untuk lebih jelasnya tentang Fungsi Theta Feferman (Feferman's Theta Function), silahkan lihat di bawah ini :

Catatan : Catatan : Fungsi Theta ditampilkan dalam Versi Dua Argumen $\theta(\alpha, \beta) = \theta_{\alpha}(\beta)$ , jika β = 0 dapat disingkat $\theta(\alpha) = \theta(\alpha, 0)$ , Fungsi Theta adalah perpanjangan dari fungsi Veblen Dua Argumen, untuk Argumen terhitung fungsi theta sama dengan Fungsi Veblen $\theta(\alpha, \beta) = \varphi(\alpha, \beta)$ dan memiliki barisan fundamental yang sama, Ω adalah Ordinal Tak Terhitung (Uncountable Ordinal) dan $\theta(\Omega, 0) = \varphi(1, 0, 0) = \Gamma_{0}$ .

Barisan Fundamental dapat didefinisikan bahkan untuk ordinal yang tak terhitung jika mereka memiliki Kofinalitas ω. Contoh FS yang valid adalah :

Contohnya adalah :

$\omega [5] = 5$

$\omega^{5}[3] = \omega^{4} \cdot 3$

$\omega^{\omega}[4] = \omega^{4}$

$\varepsilon_{0}[1] = \omega^{\varepsilon_{0}[0]} = \omega^{0} = 1$ , $\varepsilon_{0}[2] = \omega^{\varepsilon_{0}[1]} = \omega^{1} = \omega$ , $\varepsilon_{0}[3] = \omega^{\varepsilon_{0}[2]} = \omega^{\omega}$ , dan $\varepsilon_{0}[4] = \omega^{\omega^{\omega}}$ lalu seterusnya

$\varphi_{2}(0) + \varphi_{1}(0))[n] = \varphi_{2}(0) + \varphi_{1}(0)[n] = \zeta_{0} + \varepsilon_{0}[n]$

$\varphi_{4}(0)[0] = \varphi(4, 0)[0] = 0$ , dan $\varphi_{4}(0)[2] = \varphi(4, 0)[2] = \varphi_{3}(\varphi_{3}(0)) = \varphi(3, \varphi(3, 0))$

$\varphi_{5}(1)[0] = \varphi(5, 1)[0] = \varphi_{5}(0)+1 = \varphi(5, 0)+1$ , dan $\varphi_{5}(1)[1] = \varphi(5, 1)[1] = \varphi_{4}(\varphi_{5}(0)+1) = \varphi(4, \varphi(5, 0) + 1)$

$\varphi_{3}(\omega)[2] = \varphi_{3}(\omega[2]) = \varphi_{3}(2)$

$\varphi_{\omega2}(0)[3] = \varphi_{\omega+\omega[3]}(0) = \varphi_{\omega+3}(0)$

$\varphi_{\omega}(3)[5] = \varphi_{\omega[5]}(\varphi_{\omega}(2)+1) = \varphi_{5}(\varphi_{\omega}(2)+1)$

$\theta(\Omega+2, 0)[0] = 0$ , dan $\theta(\Omega+2, 0)[2] = \theta(\Omega+1, \theta(\Omega+1, 0))$

$\theta(\Omega2, 0)[0] = 0$ , dan $\theta(\Omega2, 0)[3] = \theta(\Omega+\theta(\Omega+\theta(\Omega, 0), 0), 0)$

$\theta(\Omega^{2}, 0)[0] = 0$ , $\theta(\Omega^{2}, 0)[1] = \theta(0, 0) = 1$ , $\theta(\Omega^{2}, 0)[2] = \theta(\Omega, 0)$ , dan $\theta(\Omega^{2}, 0)[3] = \theta(\Omega\cdot\theta(\Omega, 0), 0)$ lalu seterusnya

$\theta(\Omega+3, 2)[0] = \theta(\Omega+3, 1) + 1$ , dan $\theta(\Omega+3, 2)[1] = \theta(\Omega+3, \theta(\Omega+3, 1) + 1)$

$\theta(\Omega3, 1)[0] = \theta(\Omega3, 0) + 1$ , dan $\theta(\Omega3, 1)[2] = \theta(\Omega2+\theta(\Omega2+\theta(\Omega3, 0) + 1, 0) + 1, 0)$

$\theta(\Omega^{4}, 3)[0] = \theta(\Omega^{4}, 2) + 1$ , $\theta(\Omega^{4}, 3)[1] = \theta(\Omega^{3}\cdot(\theta(\Omega^{4}, 2) + 1), 0)$ , dan $\theta(\Omega^{4}, 3)[2] = \theta(\Omega^{3}\cdot(\theta(\Omega^{3}\cdot(\theta(\Omega^{4}, 2) + 1), 0), 0)$ lalu seterusnya

Dan jika ingin melihat Rumus lengkapnya terkait dengan Fungsi Theta Feferman (Feferman's Theta Function), silahkan lihat di bawah ini :

JENIS-JENIS NOTASI ORDINAL FUNDAMENTAL

Sumber : Googology.wikia.org (List of Systems of Fundamental Sequences), Googology.wikia.org (The Extension of Buchholz's Function), dan Googology.wikia.org (My system of number names (Fast Growing Series, FGS)) [Lalu diterjemahkan melalui Google Translate]

Dalam definisi Hierarki (Fast-growing, Hardy, and Slow-growing Hierarchies), hanya ordinal yang dapat dihitung yang digunakan (yaitu ordinal yang lebih kecil dari ordinal pertama yang tidak dapat dihitung ω₁). Jika adalah Ordinal Limit yang dapat dihitung maka kofinalitas α selalu sama dengan ω.

Barisan Fundamental untuk bilangan urut batas dengan kofinalitas cof(α) = ω adalah barisan naik ketat (α[n])_n<ω dengan panjang dan dengan supremum α, di mana α[n] adalah elemen ke-n dari urutan ini.

A. Wainer Hierarchy (≤ ε₀)

Hirarki Wainer adalah metode standar untuk merepresentasikan barisan fundamental untuk ordinal yang kurang dari atau sama dengan ε₀.

1. Definisi

Menggunakan Predikat _=NF untuk bentuk normal Cantor, kita mendefinisikan sebuah sistem

barisan dasar di bawah ε₀+1 dengan cara induktif berikut :

1. Jika α=NF0, maka [n]:=0. (Dalam hal ini, kami memiliki cof(α)=0.)

2. Misalkan

untuk

unik dengan k ∈ ω.

3. Misalkan α = ε0. (Dalam hal ini, kami memiliki cof(α) = ω.)

Jika n = 0, maka [n] := 0.
Jika n ≠ 0, maka [n] := ω^α[n[0]].

Dengan definisi tersebut, interpretasi alami dari [] dan cof ke dalam aturan ekspansi dan fungsi dom untuk notasi ordinal yang terkait dengan bentuk normal Cantor yang berulang dapat didefinisikan dengan Rekursi bersama.

Jika kurang jelas, silahkan lihat di sini :

Kesalahpahaman Umum

Karena Hierarki Wainer adalah salah satu sistem barisan fundamental yang paling sederhana, para pemula cenderung mempelajari hierarki pada percobaan pertama mereka untuk memahami barisan fundamental. Kemudian mereka cenderung mengacaukan ordinal dan ekspresinya, dan karenanya membuat kesalahan berdasarkan kesalahpahaman ini.

Salah satu kesalahpahaman yang khas adalah mendefinisikan [] dengan spesialisasi parsial, seperti :

Yang mencakup kesalahan/error besar (dalam kasus tertentu, tetapi yang lebih penting tidak semua kasus akurat). Karena variabel tidak dikuantifikasi dengan tepat dengan klarifikasi yang tepat dari rentang yang dilaluinya, domain peta [] tidak terdefinisi dengan baik, dan karenanya [] sendiri tidak terdefinisi. Bahkan jika kita mendefinisikan domain, definisi tersebut tidak bekerja ketika cof(β_k) = 1. Bahkan jika kita menerapkan klasifikasi kasus sehingga aturan hanya berlaku untuk kasus cof(β_k) = ω, spesialisasi parsial tidak bekerja karena ekspresi ordinal tidak unik. Misalnya, kita memiliki ω²+ω^ω=ω^ω, tetapi hasil aturannya tidak unik, seperti yang kita miliki

Masalah ini dengan jelas menjelaskan mengapa kita membutuhkan predikat =NF dalam definisi [].

B. Veblen Hierarchy (≤ Γ₀)

1. Definisi

Hirarki Fungsi Veblen (Veblen Function Hierarchy) didefinisikan sebagai berikut :

$\varphi_{0}(\gamma) = \omega^{\gamma}$

Jika β>0, maka $\varphi_{\beta}(\gamma)$ menyatakan titik tetap persekutuan ke-(1+γ) dari fungsi $\xi \mapsto \varphi_{\delta}(\xi)$ untuk setiap δ<β.

2. Veblen Normal Form (Bentuk Normal Veblen)

Kami secara bersamaan mendefinisikan :

Predikat =VNF (Bentuk Normal Veblen);
Set T_V yaitu himpunan ordinal yang dapat dihitung sedemikian rupa sehingga setiap elemen himpunan dapat dilambangkan secara unik hanya dengan menggunakan simbol 0,+,φ di mana menunjukkan hierarki fungsi Unier Veblen;
Set P_V (subset T_V yang hanya menyertakan nomor pokok tambahan).

3. Urutan Dasar (Fundamental Sequences)

Barisan dasar untuk limit ordinal α ∈ T_V :

Dimana $\varphi_{\delta}^{n}$ menunjukkan Iterasi Fungsi dari $\varphi_{\delta}$ .

C. Fungsi Veblen dari sejumlah argumen yang terbatas (Fungsi Veblen terbatas)

1. Definsi

Misalkan z adalah string kosong atau string yang terdiri dari satu atau lebih nol yang dipisahkan koma 0,0,...,0 dan s adalah string kosong atau string yang terdiri dari satu atau lebih ordinal yang dipisahkan koma α₁, α₂, ..., α_n dengan 1 > 0. Fungsi biner φ(β, γ) dapat ditulis sebagai φ(s, β, z, γ) di mana s dan z adalah string kosong. Fungsi Veblen terhingga didefinisikan sebagai berikut :

$\varphi_{0}(\gamma) = \omega^{\gamma}$

$\varphi(z, s, y) = \varphi(s, y)$

Jika β > 0, maka φ(s, β, z, γ) menyatakan titik tetap persekutuan ke-(1+γ) dari fungsi $\xi \mapsto \varphi(s, \delta, \xi, z)$ untuk setiap δ < β.

2. Bentuk Normal untuk Fungsi Veblen terhingga

Kami secara bersamaan mendefinisikan :

Predikat FNF (bentuk normal untuk fungsi Veblen Finit);
Himpunan T_F yaitu himpunan ordinal yang dapat dihitung sedemikian rupa sehingga setiap elemen himpunan dapat dilambangkan secara unik hanya dengan menggunakan simbol 0,+,φ di mana menunjukkan fungsi Veblen berhingga;
Himpunan P_F (subset dari T_F yang hanya mencakup bilangan pokok aditif).

3. Urutan Dasar (Fundamental Sequences)

Barisan dasar untuk limit ordinal α ∈ T_F didefinisikan sebagai berikut :

Dimana $\varphi_{\delta}^{n}$ menunjukkan Iterasi Fungsi dari $\varphi_{\delta}$ .

D. Sistem Urutan Dasar Deedlit (Deedlit’s system of Fundamental Sequences)

1. Definisi dari Fungsi ϑ

2. Bentuk normal untuk Fungsi ϑ

Kami secara bersamaan mendefinisikan :

Predikat DNF;
Himpunan T_D yaitu himpunan ordinal yang dapat dihitung sedemikian rupa sehingga setiap elemen himpunan dapat dilambangkan secara unik hanya dengan menggunakan simbol 0,+,Ω,ϑ,φ di mana menunjukkan fungsi Veblen biner dan menunjukkan hierarki fungsi runtuh yang didefinisikan dalam subbagian sebelumnya ;
Himpunan P_D (Subset dari T_D yang hanya mencakup bilangan pokok tambahan).

3. Urutan Dasar (Fundamental Sequences)

Urutan dasar untuk ordinal bukan nol α ∈ T_D didefinisikan oleh Deedlit sebagai berikut :

E. Hirarki Buchholz dan Ekstensinya

Untuk penetapan Barisan Fundamental untuk Hierarki ini, kita harus mengizinkan barisan fundamental dengan panjang lebih besar dari dan untuk mendefinisikannya sebagai berikut :

Barisan dasar untuk bilangan urut dengan kofinalitas cof(α) = β adalah barisan naik ketat (α[η])_η<β dengan panjang β dan dengan limit α, di mana α[η] adalah elemen ke-η dari urutan ini.

Jika adalah Ordinal Suksesor maka cof(α) = 1 dan barisan fundamental hanya memiliki satu Elemen α[0] = α−1. Jika α adalah ordinal limit maka $\textup{cof}(\alpha) \in \left \{ \omega \right \} \cup \left \{ \Omega_{\mu + 1} \mid \mu\geq 0 \right \}$ .

1. Bentuk Normal Buchholz

Kami secara bersamaan mendefinisikan :

Predikat BNF (Bentuk Normal Buchholz);
Himpunan T_B yaitu himpunan ordinal yang dapat dihitung sehingga setiap elemen himpunan dapat dilambangkan secara unik hanya dengan menggunakan simbol 0,+,ψ di mana menunjukkan hierarki fungsi Buchholz yang diperluas;
Himpunan P_B (Subset dari T_B yang hanya mencakup bilangan pokok tambahan).

3. Urutan Dasar (Fundamental Sequences)

Urutan dasar untuk ordinal bukan nol α ∈ T_B didefinisikan sebagai berikut :

Jika α = Λ maka cof(α) = ω dan $\alpha[0] = 0$ dan $\alpha[\eta+1] = \psi_{\alpha[\eta]}(0) = \Omega_{\alpha[\eta]}$ .

F. Urutan dasar untuk Fungsi yang Runtuh Kardinal yang Tidak Dapat Diakses dengan Lemah (Fundamental Sequences for the Functions Collapsing Weakly Inaccessible Cardinals)

1. Definisi

$\Omega_{\alpha}$ dengan α > 0 adalah kardinal ke-α yang tak terhitung, $I_{\alpha}$ dengan α > 0 adalah kardinal ke-α yang tidak dapat diakses dengan lemah dan untuk notasi ini $I_{0} = \Omega_{0} = 0$ .

Di bagian ini variabel ρ, π dicadangkan untuk kardinal reguler yang tak terhitung jumlahnya dari bentuk $\Omega_{\mu+1}$ atau $I_{\mu+1}$ .

Kemudian,

Sifat-sifat :

2. Bentuk Normal untuk Fungsi Runtuh Kardinal yang tidak dapat diakses dengan Lemah

Kami secara bersamaan mendefinisikan :

Predikat WNF;
Himpunan T_W yaitu himpunan ordinal yang dapat dihitung sehingga setiap elemen himpunan dapat dilambangkan secara unik hanya dengan menggunakan simbol 0+, I, Ω, ψ di mana ψ menunjukkan hierarki fungsi runtuh kardinal yang tidak dapat diakses dengan lemah;
Himpunan P_W (Subset dari T_W yang hanya mencakup bilangan pokok tambahan).

3. Urutan Dasar (Fundamental Sequences)

Barisan dasar untuk bilangan urut α dengan kofinalitas cof(α) = β adalah barisan (α[η])_η<β yang meningkat secara ketat dengan panjang β dan dengan limit α, di mana α[η] adalah elemen ke-η dari urutan ini.

Biarkan $S = \left \{ \alpha \mid \textup{cof}(\alpha) = 1 \right \}$ menunjukkan Himpunan Ordinal Penerus (Set of Successor Ordinals), $L = \left \{ \alpha \mid \textup{cof}(\alpha) \geq \omega \right \}$ menunjukkan himpunan ordinal limit.

Urutan dasar untuk ordinal bukan nol α ∈ T_W didefinisikan sebagai berikut :

Limit dari notasi ini adalah λ. Jika α = λ maka cof(α) = ω dan $\alpha[0] = 0$ dan $\alpha[\eta+1] = I_{\alpha[\eta]}$ .

G. Urutan dasar untuk Fungsi yang Runtuh α-Kardinal yang Tidak Dapat Diakses dengan Lemah (Fundamental sequences for the Functions Collapsing α-Weakly Inaccessible Cardinals)

1. Definisi

Ordinal α-lemah adalah tidak dapat diakses jika itu adalah kardinal biasa yang tak terhitung dan itu adalah batas γ-lemah kardinal yang tidak dapat diakses untuk semua γ < α.

Biarkan I(α, 0) menjadi kardinal pertama -lemah tidak dapat diakses, I(α, β+1) menjadi kardinal α-lemah tidak dapat diakses berikutnya setelah I(α, β), dan I(α, β) untuk limit ordinal $I(\alpha, \beta) = \textup{sup}\left \{ I(\alpha, \gamma) \mid \gamma < \beta \right \}$ .

Di bagian ini variabel I(α, 0), dicadangkan untuk kardinal biasa yang tak terhitung jumlahnya dari bentuk atau I(α, β+1).

Kemudian,

Sifat-sifat :

2. Bentuk Normal untuk Fungsi yang Runtuh α-kardinal yang tidak dapat diakses dengan Lemah

Kami secara bersamaan mendefinisikan :

Predikat ANF;
Himpunan T_A yaitu himpunan ordinal yang dapat dihitung sehingga setiap elemen himpunan dapat dilambangkan secara unik hanya dengan menggunakan simbol 0, +, I, ψ di mana ψ menunjukkan hierarki fungsi yang runtuh α-kardinal yang tidak dapat diakses dengan lemah;
Himpunan P_A (Subset T_A yang hanya mencakup bilangan pokok tambahan).

3. Urutan Dasar (Fundamental Sequences)

Barisan dasar untuk bilangan urut α dengan kofinalitas cof(α) = β adalah barisan yang meningkat secara ketat (α[η])_η<β dengan panjang β dan dengan limit α, di mana α[η] adalah elemen ke-η dari urutan ini.

Biarkan $S = \left \{ \alpha \mid \textup{cof}(\alpha) = 1 \right \}$ menunjukkan himpunan ordinal penerus, $L = \left \{ \alpha \mid \textup{cof}(\alpha) \geq \omega \right \}$ menunjukkan himpunan limit ordinal.

Urutan dasar untuk ordinal bukan nol α ∈ T_A didefinisikan sebagai berikut :

Limit dari notasi ini adalah $\psi_{I(1, 0, 0)}(0)$ . Jika $\alpha = \psi_{I(1, 0, 0)}(0)$ maka cof(α) = ω dan $\alpha[0] = 0$ dan $\alpha[\eta+1] = I(\alpha[\eta+1], 0)$ .

H. Fungsi Runtuh dengan Lemah Kardinal Mahlo (The Functions Collapsing Weakly Mahlo Cardinals)

1. Definisi

Sebuah ordinal adalah Mahlo lemah jika itu adalah kardinal reguler yang tak terhitung, dan kardinal reguler di dalamnya (dengan kata lain, kurang dari itu) tidak bergerak.

Misal M₀ = 0, $M_{\alpha+1}$ menjadi kardinal Mahlo lemah berikutnya setelah $M_{\alpha}$ , dan $M_{\alpha} = \left \{ M_{\beta} \mid \beta < \alpha \right \}$ untuk limit ordinal . Kemudian,

Pada bagian ini variabel ρ, π dicadangkan untuk kardinal reguler yang tak terhitung dari bentuk $\chi_{\alpha}(\beta)$ atau $M_{\gamma+1}$ .

2. Urutan Dasar (Fundamental Sequences)

Dimana R menunjukkan kelas dari semua kardinal biasa yang Tak Terhitung dan W menunjukkan kelas dari semua kardinal Mahlo yang lemah.

I. Urutan Dasar untuk Fungsi yang Runtuh α-kardinal Mahlo yang Lemah (Fundamental Sequences for the Function Collapsing α-Weakly Mahlo Cardinals)

1. Definisi M(α;β)

Jika β = 0 atau β = β'+1 maka M(α;β) adalah kardinal Mahlo α-lemah.

Biarkan pada halaman ini $W(\alpha)$ adalah himpunan semua kardinal Mahlo α-lemah, R adalah himpunan semua kardinal reguler tak terhitung yang kurang dari $\textup{min}\left \{ \xi \mid \xi = M(\xi;0) \right \}$ dan variabel π dicadangkan untuk kardinal reguler tak terhitung dari bentuk $M(\alpha;\beta+1)$ atau $M(\alpha;0)$ .

2. Definisi dari ${\color{Blue}\psi_{\pi}(\alpha)}$

3. Urutan Dasar (Fundamental Sequences)

Barisan fundamental untuk Ordinal limit A yang dapat dihitung didefinisikan sebagai berikut :

J. Urutan Dasar untuk OCF menggunakan Kardinal Kompak Lemah (Weakly Compact Cardinal)

1. Definisi

Biarkan K menunjukkan kardinal yang kompak lemah, Ω₀ = 0 dan Ω_α adalah kardinal ke-α yang tak terhitung. Kemudian,

2. Urutan Dasar (Fundamental Sequences)

Untuk notasi yang menggunakan barisan fundamental kardinal kompak lemah didefinisikan sebagai berikut :

Sistem barisan fundamental ini dapat didefinisikan dari konsep teori-bukti yang dikenal sebagai "norma".

Berikut, inilah Sumber-sumber lainnya dari beberapa Tautan di bawah ini :

GENERALISASI FUNGSI RUNTUH ORDINAL (ORDINAL COLLAPSING FUNCTIONS GENERALIZATIONS) [PART 1]

Sumber : Googology.wikia.org (Degrees of Recursive Inaccessibility and other OCFs)

A. Fungsi Runtuh Ordinal (Ordinal Collapsing Functions)

Sebelum itu, marilah kita perkenalkan terlebih dahulu tentang Fungsi Runtuh Ordinal atau disebut juga sebagai Ordinal Collapsing Functions.

1. Buchholz’s Psi (ψ) Function

2. Feferman’s Theta (θ) Function

3. Weiermann's Var-theta (ϑ) Function

B. Perbandingan antara Ketiga Fungsi Runtuh Ordinal (Comparison between the Three Ordinal Collapsing Functions)

Di bawah ini merupakan Perbandingan antara Ketiga Fungsi Runtuh Ordinal (Ordinal Collapsing Functions) :

1. Dari 1 sampai ε₀

2. Dari ε₀ sampai SVO

3. Dari SVO sampai BHO

4. Dari BHO sampai θ(ζ_Ω+1,0)

5. Dari θ(ζ_Ω+1,0) sampai θ(Ω₂,0)

6. Dari θ(Ω₂, 0) sampai θ(Ω₂ ^ Ω₂, 0)

7. Dari θ(Ω₂ ^ Ω₂, 0) sampai θ(ε_{Ω_2+1}, 0)

8. Dari θ(ε_{Ω_2+1}, 0) sampai θ(φ(ω,Ω₂+1),0)

9. Dari θ(φ(ω,Ω₂+1),0) sampai θ(Ω₃, 0)

10. Dari θ(Ω₃, 0) sampai θ(Ω₃ ^ Ω₃, 0)

11. Dari θ(Ω₃ ^ Ω₃, 0) sampai θ(ε_{Ω_3+1}, 0)

12. Dari θ(ε_{Ω_3+1}, 0) sampai θ(Ω₄, 0)

13. Dari θ(Ω₄, 0) sampai θ(ε_{Ω_4+1}, 0) = ψ₀(Ω₅)

14. Dari θ(ε_{Ω_4+1}, 0) = ψ₀(Ω₅) sampai ψ₀(Ω₆)

15. Dari ψ₀(Ω₆) sampai ψ₀(Ω_ω)

16. Dari ψ₀(Ω_ω) sampai ψ₀(Ω_ω ^ Ω_ω)

17. Dari ψ₀(Ω_ω ^ Ω_ω) sampai ψ₀(Ω_ω ^ Ω_ω ^ Ω)

18. Dari ψ₀(Ω_ω ^ Ω_ω ^ Ω) sampai ψ₀(Ω_ω+1)

19. Dari ψ₀(Ω_ω+1) sampai ψ₀(Ω_ω+1 ^ Ω_ω+1)

20. Dari ψ₀(Ω_ω+1 ^ Ω_ω+1) sampai ψ₀(Ω_ω+2)

21. Dari ψ₀(Ω_ω+2) sampai ψ₀(Ω_ω+3)

22. Dari ψ₀(Ω_ω+3) sampai ψ₀(Ω_ω2)

C. Analisis Generalisasi Limit Ordinal Runtuh (OCF) Orde 0 dan 1

Berikut, inilah beberapa Analisis Generalisasi dari Limit Ordinal (OCF) Orde 0 dan 1 :

1. Generalisasi Ordinal dari ε₀ ke ε₁

2. Generalisasi Ordinal dari ζ₀ ke ζ₁

3. Generalisasi Ordinal dari η₀ ke η₁

4. Generalisasi Ordinal dari φ(4, 0) ke φ(4, 1)

5. Generalisasi Ordinal dari φ(ω, 0) ke φ(ω, 1)

6. Generalisasi Ordinal dari φ(ω+1, 0) ke φ(ω+1, 1)

7. Generalisasi Ordinal dari φ(ω2, 0) ke φ(ω2, 1)

8. Generalisasi Ordinal dari φ(ω², 0) ke φ(ω², 1)

9. Generalisasi Ordinal dari φ(ω^ω, 0) ke φ(ω^ω, 1)

10. Generalisasi Ordinal dari φ(ε₀, 0) ke φ(ε₀, 1)

11. Generalisasi Ordinal dari φ(ζ₀, 0) ke φ(ζ₀, 1)

12. Generalisasi Ordinal dari φ(η₀, 0) ke φ(η₀, 1)

13. Generalisasi Ordinal dari Γ₀ ke Γ₁

14. Generalisasi Ordinal dari φ(1, 1, 0) ke φ(1, 1, 1)

15. Generalisasi Ordinal dari φ(1, 2, 0) ke φ(1, 2, 1)

16. Generalisasi Ordinal dari φ(1, ω, 0) ke φ(1, ω, 1)

17. Generalisasi Ordinal dari φ(2, 0, 0) ke φ(2, 0, 1)

18. Generalisasi Ordinal dari φ(3, 0, 0) ke φ(3, 0, 1)

19. Generalisasi Ordinal dari φ(ω, 0, 0) ke φ(ω, 0, 1)

20. Generalisasi Ordinal dari φ(1, 0, 0, 0) ke φ(1, 0, 0, 1)

21. Generalisasi Ordinal dari φ(ω, 0, 0, 0) ke φ(ω, 0, 0, 1)

22. Generalisasi Ordinal dari φ(1, 0, 0, 0, 0) ke φ(1, 0, 0, 0, 1)

23. Generalisasi Ordinal dari ϑ(Ω^ω) ke ϑ(Ω^ω+1)

24. Generalisasi Ordinal dari ϑ(Ω^ϑ(Ω)) ke ϑ(Ω^ϑ(Ω)+1)

25. Generalisasi Ordinal dari ϑ(Ω^{ϑ(Ω^2)}) ke ϑ(Ω^{ϑ(Ω^2)}+1)

26. Generalisasi Ordinal dari ϑ(Ω^Ω) ke ϑ(Ω^Ω+1)

27. Generalisasi Ordinal dari ϑ(Ω^Ω+1) ke ϑ(Ω^Ω+1+1)

28. Generalisasi Ordinal dari ϑ(Ω^Ω2) ke ϑ(Ω^Ω2+1)

29. Generalisasi Ordinal dari ϑ(Ω^Ω²) ke ϑ(Ω^Ω²+1)

30. Generalisasi Ordinal dari ϑ(Ω^{Ω^Ω}) ke ϑ(Ω^{Ω^Ω}+1)

31. Generalisasi Ordinal dari ϑ(ε_Ω+1) ke ϑ(ε_Ω+1+1)

GENERALISASI KARDINAL MAHLO YANG TAK DAPAT DIAKSES (GENERALIZATION OF INACCESSIBLE MAHLO'S CARDINAL [PART 2]

A. Generalisasi Kardinal Mahlo

Di bawah ini merupakan Generalisasi Kardinal Mahlo yang Tak dapat Diakses (Generalizations of Inaccessible Mahlo's Cardinal) :

1. Dari 1 sampai ψ(M)

2. Dari ψ(M) sampai ψ(M^M)

3. Dari ψ(M^M) sampai ψ(χ₁(1))

4. Dari ψ(χ₁(1)) sampai ψ(χ₂(1))

B. Analisis Generalisasi Fungsi Runtuh Ordinal berdasarkan Kardinal Mahlo

Di bawah ini merupakan beberapa Analisis Generalisasi Fungsi Runtuh Ordinal (Ordinal Collapsing Functions) berdasarkan dengan Kardinal Mahlo :

1. Dari 1 sampai ε₀

2. Dari ε₀ sampai SVO

3. Dari SVO sampai BHO

4. Dari BHO sampai ψ₀(Ω₂^ 2 * 2)

5. Dari ψ₀(Ω₂^ 2 * 2) sampai ψ₀(Ω₂ ^ Ω₂)

6. Dari ψ₀(Ω₂ ^ Ω₂) sampai ψ₀(Ω₂ ^ Ω₂ ^ Ω₂)

7. Dari ψ₀(Ω₂ ^ Ω₂ ^ Ω₂) sampai ψ₀(Ω₃)

8. Dari ψ₀(Ω₃) sampai ψ₀(Ω₃ ^ ω)

9. Dari ψ₀(Ω₃ ^ ω) sampai ψ₀(Ω₃ ^ Ω₃)

10. Dari ψ₀(Ω₃ ^ Ω₃) sampai ψ₀(Ω₃ ^ Ω₃ ^ Ω₃)

11. Dari ψ₀(Ω₃ ^ Ω₃ ^ Ω₃) sampai ψ₀(Ω₄)

12. Dari ψ₀(Ω₄) sampai ψ₀(Ω₄ ^ Ω₄)

13. Dari ψ₀(Ω₄ ^ Ω₄) sampai ψ₀(Ω₅)

14. Dari ψ₀(Ω₅) sampai ψ₀(Ω₆)

15. Dari ψ₀(Ω₆) sampai ψ₀(Ω_ω)

16. Dari ψ₀(Ω_ω) sampai ψ₀(Ω_ω ^ Ω_ω)

17. Dari ψ₀(Ω_ω ^ Ω_ω) sampai ψ₀(Ω_ω ^ Ω_ω ^ Ω)

18. Dari ψ₀(Ω_ω ^ Ω_ω ^ Ω) sampai ψ₀(Ω_ω+1)

19. Dari ψ₀(Ω_ω+1) sampai ψ₀(Ω_ω+1 ^ Ω_ω+1)

20. Dari ψ₀(Ω_ω+1 ^ Ω_ω+1) sampai ψ₀(Ω_ω+2)

21. Dari ψ₀(Ω_ω+2) sampai ψ₀(Ω_ω+3)

22. Dari ψ₀(Ω_ω+3) sampai ψ₀(Ω_ω2)

LEVEL FUNGSI RUNTUH ORDINAL (ORDINAL COLLAPSING FUNCTIONS LEVELS)

Sumber : Googology.wikia.org (OCF), Googology.fandom.com (Extensions of OCF), dan Googology.wikia.org ("Normal" OCFs vs a different version of R Function)

Artikel lainnya : Googology.wikia.org (OCF vs Array Notation)

1. Kardinal Pertama Tak Terhitung (First Uncountable Cardinals)

Sebelum $\psi(\Omega) = \psi_{0}(\Omega)$ , kita dapat mengoperasikan 3 (Tiga) Aturan Sederhana :

Sangat mudah untuk melihat bahwa $\psi(\alpha) = \psi_{0}(\alpha) = \omega^{\alpha}$ .

Sekarang kita perlu memikirkan sesuatu yang disebut "Kofinalitas" - pada dasarnya, cara kerjanya seperti ini: Setiap kardinal (ω = ψ(1) dan Ω di bagian awal) memiliki kofinalitas yang sama dengan dirinya sendiri. 0 dan suksesor memiliki kofinalitas 0. α+β, αβ, dan α^β memiliki kofinalitas sama dengan β (kecuali jika β adalah 0, dalam hal ini α+0 memiliki kofinalitas α dan yang lainnya memiliki kofinalitas 0). ψ(0) memiliki kofinitas 0 dan ψ(α) untuk semua α lainnya memiliki kofinalitas ω.

Untuk mendefinisikan FS untuk ordinal dengan kofinalitas Ω, yang terbaik adalah menganggapnya sebagai output dari beberapa fungsi f(Ω). Contohnya, Ω^Ω2 = f(Ω), dimana f didefinisikan sebagai f(α) = Ω^Ω+α. Ini pada dasarnya sama dengan FSes normal, tetapi dengan alih-alih Ω[n] di akhir ω[n].

Kita kemudian dapat mengatakan bahwa, jika ordinal memiliki kofinalitas Ω :

Beberapa contoh adalah :

2. Kardinal Tak Terhitung Tertinggi (Higher Uncountable Cardinals)

Kami sekarang memperkenalkan kardinal Ω_α. Pertama, membantu memperkenalkan konsep "Kardinal Penerus". Kardinal Suksesor/Penerus Ω_α adalah Ω_α+1. Kita juga perlu memperkenalkan "kardinalitas", yang merupakan kardinal tertinggi dalam sebuah ekspresi. Jadi kardinalitas dari, katakanlah $\Omega_{2}^{2}$ adalah Ω₂.

Satu hal penting lainnya yang perlu diperhatikan yaitu jika α bukan penerus, Ω_α memiliki Kofinalitas sama dengan α. Jadi Ω_Ω memiliki kofinalitas Ω.

Inilah aturan umum untuk menangani kardinal yang runtuh dengan kofinalitas Ω_α, ditulis sebagai f(Ω_α).

Anda akan melihat bahwa kami mendefinisikan fungsi ψ_α untuk kardinal yang lebih tinggi. Cara kerjanya adalah ψ_α pada fungsi α kolaps, adalah kardinal pertama yang mendiagonalisasi; semua kardinal yang lebih rendah darinya mengikuti aturan FS (karena akan memiliki kofinalitas yang lebih besar). Juga, ψ_α(0) adalah kardinal yang kardinal penggantinya adalah α. Misalnya :

Catatan: Terkadang, ψ_n digunakan. Ini sebenarnya sesuai dengan fungsi

ψ_{Ω_{n + 1}}

. Singkatan ini umum digunakan dan diperbolehkan (kecuali jika akan bertentangan dengan notasi normal).

Berikut adalah beberapa contoh nilai dengan OCF dengan Ω₂ kardinal. Konsep serupa berlaku pada kardinal yang lebih tinggi dan limitnya sama dengan OCF normal.

3. Inaccessibles (Tak dapat diakses)

Kami sekarang memperkenalkan kardinal I yang tidak dapat diakses, sebagai pendiagonalisasi dari Ω_α. Hal-hal dengan kofinalitas saya dekomposisi dengan cara yang sama seperti sebelumnya, ke sarang fungsi ψ_α. Berikut cara kerja fungsi ψ_α :

Jadi berikut adalah beberapa ordinal yang ditulis hanya dengan fungsi ψ_I (sebagai UNOCF = OCF normal) :

Limit dari barisan di atas adalah ψ(I2). Melanjutkan ke depan kami menemukan bahwa :

Pada ψ(I^ω), kami mencapai titik di mana kami telah mengejar OCF normal. Setelah ini kita dapat memiliki hal-hal seperti ψ(I^I), dll.

Pada titik ini kita perlu mendefinisikan "kardinal pengganti" dari I. Itu mudah - itu Ω_I+1. Kemudian kita dapat memiliki penerus lebih lanjut dan, akhirnya membatasi kardinal. Berikut adalah beberapa contoh bagaimana ini digunakan :

Sekarang kita mencapai hal serupa yang mengarah pada pencapaian I, dan kita membutuhkan kardinal lain yang tidak dapat diakses. Kami menggunakan I₂ untuk mewakili ini. $\psi_{I_{2}}(0)$ Adalah I, dan jika tidak, semuanya terurai dengan cara yang sama seperti sebelumnya. Jadi :

Keterangan :

4. Hyper-Inaccessibles

Sekarang kita dapat membuat barisan diagonalsasi ordinal. Kami akan terus menggunakan I untuk menunjukkan setiap fungsi.

Sebagai contoh :

5. Memperkenalkan Mahlo

Dalam beberapa hal, fungsi I terlihat seperti Fungsi Veblen φ, dan kita membutuhkan cara untuk mendiagonalisasinya. Di sinilah kardinal Mahlo M dan fungsi ψ_M masuk.

ψ_M(α) tetap Ω_1+α. Tapi ψ_M(M) tetap I. Faktanya, M pada dasarnya membuat diagonalisasi dari benda yang digantikannya. Berikut adalah lebih banyak contoh nilai fungsi ψ_M :

6. Kardinal Mahlo yang lebih tinggi

Pada titik ini, kita perlu mendiagonalisasi ini, dan kita dapat melakukannya dengan kardinal Mahlo lain yaitu M₂, dan fungsi $\varphi_{0}(\gamma) = \omega^{\gamma}$ . Berikut cara kerja fungsi $\varphi_{0}(\gamma) = \omega^{\gamma}$ :

Jadi M₂ sangat mirip dengan M, tapi kali ini kita mulai dari M bukan di ω.

Faktanya, aturan umum yang sama berlaku untuk ekspresi M ini seperti untuk ekspresi yang setara dengan Ω - cukup ganti semua Ω dengan M dan Anda siap melakukannya.

7. Kardinal Mahlo ke-2 (2-Mahlo Cardinals)

Pada titik ini, kita perlu mendiagonalisasi kardinal Mahlo, dengan cara yang sama Mahlos mendiagonalisasi kardinal biasa dan tidak dapat diakses. Untuk melakukan ini, kami memperkenalkan N, kardinal 2-Mahlo, dengan Mahlos biasa menjadi 1-Mahlo. Berikut cara menggunakan fungsinya ψ_N :

8. Fungsi C (Kardinal Mahlo ke-n & Hyper-Mahlo)

Pada titik ini, kami membuat pola. M mendiagonalisasi atas kardinal biasa, dan N mendiagonalisasi atas Mahlos. Jadi kita perlu sesuatu untuk menggeneralisasi prosedur ini.

Pada titik ini, mari kita perkenalkan fungsi yang akan saya kembangkan selama beberapa bagian berikutnya - fungsi C, C adalah singkatan dari kardinal. Pada dasarnya, ini mewakili semua lapisan kardinal yang telah kita definisikan, dengan C(0; x) menjadi kardinal normal, C(1; x) menjadi Mahlos, dan C(2; x) menjadi 2-Mahlos (berbasis N. Intinya, bagian array dari fungsi C membuat diagonalisasi titik tetap, sedangkan bagian sebelum titik koma adalah level, dengan setiap pendiagonalisasi level di atas yang sebelumnya.) Misalnya :

9. Kardinal Kompak Lemah (Weakly Compact Cardinal)

Sekarang kita membutuhkan kardinal baru yang lebih tinggi untuk mendiagonalisasi tingkat kardinal Mahlo. Kami menggunakan kardinal kompak lemah, K. Berikut cara kerja fungsi ψ_K :

10. Lebih Kompak, dan Tiga Argumen Fungsi C

11. Tahap yang lebih tinggi dan Fungsi C umum

Pada titik ini, akan sangat membantu untuk membagi kardinal yang telah kita buat menjadi "tahapan" - Ω dan I biasa adalah "tahap 1", M adalah "tahap 2" dan K adalah "tahap 3". Jadi, untuk mendiagonalisasi lebih lanjut kita membutuhkan tingkat kardinal yang lebih tinggi. saya akan menyebutnya sebagai "tahap n" dan hanya menggunakan fungsi C umum.

12. Kardinal Panggung (Stage Cardinal)

Anda mungkin telah memperhatikan bahwa fungsi C lebih mirip fungsi Veblen, dan kita memerlukan beberapa cara untuk mendiagonalisasinya. Karena itu saya akan memperkenalkan kardinal besar baru, yang disebut kardinal panggung, T. ψ_T menghasilkan kardinal seperti ini :

13. Lebih banyak Kardinal Panggung (More Stage Cardinals)

Sekarang, kita perlu mendefinisikan kardinal tahap kedua, T₂. Ini bekerja dengan cara yang sangat mirip dengan T, tetapi dimulai dari T alih-alih Ω - jadi :

14. Kardinal Titik Koma Ganda (Double Semicolon Cardinal)

15. Lebih banyak Kardinal Titik Koma Ganda

16. Kardinal Metapanggung/Metatahap (Metastage Cardinal) dan Tiga Titik Koma

Sekarang, kita perlu membuat kardinal baru yang disebut X, atau Kardinal Metatahap (Metastage Cardinal). X bekerja dengan cara yang mirip dengan T, tetapi berdasarkan titik koma ganda, bukan titik koma normal. Jadi :

17. Meta^n-tahap, Beberapa Titik Koma, dan Ordinal Menjatuhkan Kecil (Small Dropping Ordinal)

Adapun Aturan-aturan yang perlu kita ketahui dalam Menjatuhkan Fungsi Runtuh Ordinal (Dropping Ordinal Collapsing Functions) yaitu :

18. H-Notation : Diagonalisasi meta^x-tahap

Di lain untuk melewati Small Dropping Ordinal (SDO), saya akan memperkenalkan kardinal besar baru yang disebut H yang pada dasarnya mendiagonalisasi atas meta^x-tahap. ψ_H menghasilkan kardinal seperti ini :

Atau seperti ini untuk lebih jelasnya :

GENERALISASI LEVEL FUNGSI RUNTUH ORDINAL (GENERALIZATION OF ORDINAL COLLAPSING FUNCTIONS LEVELS) [PART 3]

Sumber : Googology.wikia.org (OCF)

Di bawah ini merupakan Generalisasi Level Fungsi Runtuh Ordinal (Generalizations of Ordinal Collapsing Function Levels) dari Skala 1 sampai 2 :

1. Generalisasi Ordinal dari ψ₀(Ω) ke ψ₀(Ω₂)

2. Generalisasi Ordinal dari ψ₀(M) ke ψ₀(M₂)

3. Generalisasi Ordinal dari ψ₀(T) ke ψ₀(T₂)

4. Generalisasi Ordinal dari ψ₀(X) ke ψ₀(X₂)

5. Generalisasi Ordinal dari ψ₀(Y) = ψ₀(C(1;;;; 0)) ke ψ₀(Y₂) = ψ₀(C(1;;;; 1))

6. Generalisasi Ordinal dari ψ₀(C(1{5}0)) ke ψ₀(C(1{5}1))

7. Generalisasi Ordinal dari ψ₀(C(1{ω}0)) ke ψ₀(C(1{ω}1))

8. Generalisasi Ordinal dari ψ₀(C(1{ω+1}0)) ke ψ₀(C(1{ω+1}1))

9. Generalisasi Ordinal dari ψ₀(C(1{ω2}0)) ke ψ₀(C(1{ω2}1))

10. Generalisasi Ordinal dari ψ₀(C(1{Ω}0)) ke ψ₀(C(1{Ω}1))

11. Generalisasi Ordinal dari ψ₀(C(1{M}0)) ke ψ₀(C(1{M}1))

12. Generalisasi Ordinal dari ψ₀(C(1{K}0)) ke ψ₀(C(1{K}1))

13. Generalisasi Ordinal dari ψ₀(C(1{C(1{ω}0)}0)) ke ψ₀(C(1{C(1{ω}0)}1))

14. Generalisasi Ordinal dari ψ₀(C(1{1, 0}0)) ke ψ₀(C(1{1, 0}1))

15. Generalisasi Ordinal dari ψ₀(C(1{1, 1}0)) ke ψ₀(C(1{1, 1}1))

16. Generalisasi Ordinal dari ψ₀(C(1{1, ω}0)) ke ψ₀(C(1{1, ω}1))

17. Generalisasi Ordinal dari ψ₀(C(1{2, 0}0)) ke ψ₀(C(1{2, 0}1))

18. Generalisasi Ordinal dari ψ₀(C(1{1, 0, 0}0)) ke ψ₀(C(1{1, 0, 0}1))

19. Generalisasi Ordinal dari ψ₀(C(1{1, 0, 0, 0}0)) ke ψ₀(C(1{1, 0, 0, 0}1))

20. Generalisasi Ordinal dari ψ₀(C(1{1; 0}0)) ke ψ₀(C(1{1; 0}1))

21. Generalisasi Ordinal dari ψ₀(C(1{1; 1}0)) ke ψ₀(C(1{1; 1}1))

22. Generalisasi Ordinal dari ψ₀(C(1{2; 0}0)) ke ψ₀(C(1{2; 0}1))

23. Generalisasi Ordinal dari ψ₀(C(1{1;; 0}0)) ke ψ₀(C(1{1;; 0}1))

ANALISIS LEVEL FUNGSI RUNTUH ORDINAL (ORDINAL COLLAPSING FUNCTIONS ANALYST LEVELS)

Iceberg Levels of Ordinals in Googology Meme

Sumber : Googology.wikia.org (OCF) dan Googology.fandom.com (Extensions of OCF)

Berikut, inilah Analisis Level Fungsi Runtuh Ordinal (Ordinal Collapsing Function Levels) dari Kardinal Pertama Tak Terhitung (First Uncountable Cardinals) sampai dengan Ordinal Menjatuhkan Kecil (Small Dropping Ordinal) :

1. Kardinal Pertama Tak Terhitung (First Uncountable Cardinals)

Dari 0 sampai ψ₀(Ω₂) (BHO)

Dari ψ₀(Ω₂) (BHO) sampai ψ₀(Ω₃)

2. Kardinal Tak Terhitung Tertinggi (Higher Uncountable Cardinals)

Dari ψ₀(Ω₃) sampai ψ₀(Ω_ω)

Dari ψ₀(Ω_ω) sampai ψ₀(I) = ψ₀(M)

3. Inaccessibles (Tak dapat diakses)

Dari ψ₀(I) = ψ₀(M) sampai ψ₀(I(3, 0)) = ψ₀(M³)

4. Mahlo M

Dari ψ₀(I(3, 0)) = ψ₀(M³) sampai ψ₀(χ₁(1)) = ψ₀(Ω_M+1)

5. Kardinal Mahlo yang lebih tinggi

Dari ψ₀(χ₁(1)) = ψ₀(Ω_M+1) sampai ψ₀(N)

6. Kardinal Mahlo ke-2 (Mahlo N)

Dari ψ₀(N) sampai ψ₀(C(3; 0))

7. Kardinal Mahlo ke-n & Hyper-Mahlo (Fungsi C Dasar)

Dari ψ₀(C(3; 0)) sampai ψ₀(K) = ψ₀(C(1; 0; 0))

8. Kardinal Kompak Lemah (Weakly Compact Cardinal)

Dari ψ₀(K) = ψ₀(C(1, 0; 0)) sampai ψ₀(K₂) = ψ₀(C(1, 0; 1))

9. Lebih Kompak, dan Tiga Argumen Fungsi C

Dari ψ₀(K₂) = ψ₀(C(1, 0; 1)) sampai ψ₀(C(1; 1; 0)) = ψ₀(T^T+1)

10. Kardinal Panggung (Stage Cardinal)

Dari ψ₀(C(1; 1; 0)) = ψ₀(T^T+1) sampai ψ₀(X+1) = ψ₀(Ω_T+1)

Dari ψ₀(X+1) = ψ₀(Ω_T+1) sampai ψ₀(X²) = ψ₀(C(2;; 0))

11. Kardinal Metapanggung/Metatahap (Metastage Cardinal) dan Tiga Titik Koma

Dari ψ₀(X²) = ψ₀(C(2;; 0)) sampai ψ₀(Y+1) = ψ₀(Ω_X+1)

Dari ψ₀(Y+1) = ψ₀(Ω_X+1) sampai ψ₀(Y²) = ψ₀(C(2;;; 0))

12. Meta^n-tahap dan Beberapa Titik Koma

Dari ψ₀(Y²) = ψ₀(C(2;;; 0)) sampai ψ₀(C(1{5}0)²) = ψ₀(C(2;;;; 0)) = ψ₀(C(2{4}0))

13. Ordinal Menjatuhkan Kecil (Small Dropping Ordinal)

Dari ψ₀(C(1{5}0)²) = ψ₀(C(2;;;; 0)) = ψ₀(C(2{4}0)) sampai ψ₀(C(1{ω}0))

14. Ordinal Menjatuhkan Kecil Tingkat Lanjut (Advanced Small Dropping Ordinal)

Dari ψ₀(C(1{ω}0)) sampai ψ₀(C(2{ω+2}0))

Dari ψ₀(C(2{ω+2}0)) sampai ψ₀(C(1{C(0)}0)) = ψ₀(C(1{Ω}0))

Dari ψ₀(C(1{C(0)}0)) = ψ₀(C(1{Ω}0)) sampai ψ₀(C(1{1, 0}0))

Dari ψ₀(C(1{1, 0}0)) sampai ψ₀(C(1{1; 1}0))

Dari ψ₀(C(1{1; 1}0)) sampai ψ₀(C(1{1;; 1}0))

Dari ψ₀(C(1{1;; 1}0)) sampai ψ₀(C(1{1;;; 1}0))

Dari ψ₀(C(1{1;;; 1}0)) sampai ψ₀(C(1{1{ω}0}0))

Dari ψ₀(C(1{1{ω}0}0)) sampai ψ₀(C(1{1{1; 0}0}0))

Dari ψ₀(C(1{1{1; 0}0}0)) sampai ψ₀(C(1{1{1{ω}0}0}0))

HUBUNGAN ANTARA NOTASI HIPEROPERASI DENGAN HIERARKI CEPAT BERTUMBUH (RELATIONS BETWEEN HYPEROPERATION NOTATIONS WITH FAST-GROWING HIERARCHY)

Untuk mempermudah dalam memahami tentang Fungsi Hiperoperasi dengan Ordinal-Kardinal, mari kita bandingkan dengan Hirarki Cepat Bertumbuh (Fast Growing Hierarchy) :

1. Dari 0 sampai Omega (ω)

2. Dari Omega (ω) sampai Epsilon Naught (ε₀)

3. Dari Epsilon Naught (ε₀) sampai Epsilon Satu (ε₁)

4. Dari Epsilon Satu (ε₀) sampai Γ₀ = φ(1, 0, 0) (Feferman-Schütte Ordinal)

5. Dari Γ₀ = φ(1, 0, 0) (Feferman-Schütte Ordinal) sampai BHO (Bachmann-Howard Ordinal)

6. Dari ψ(ε_(Ω+1)) = θ(ε_(Ω+1)) = ψ(Ω_2)) (Bachmann-Howard Ordinal / BHO) sampai θ(θ(Ω, 1), 0) = ψ(Ω_2 ^ Ω))

7. Dari θ(θ(Ω, 1), 0) = ψ₀(Ω₂ ^ Ω)) sampai ψ₀(Ω_ω)

8. Dari ψ₀(Ω_ω) sampai ψ₀(I)

9. Dari ψ₀(I) sampai ψ₀(I₂)

10. Dari ψ₀(I₂) sampai ψ₀(I(2, 0))

11. Dari ψ₀(I(2, 0)) sampai ψ₀(I(1, 0, 0)) = ψ₀(M^M)

12. Dari ψ₀(I(1, 0, 0)) = ψ₀(M^M) sampai ψ₀(χ₁(1)) = ψ₀(Ω_M+1)

13. Dari ψ₀(χ₁(1)) = ψ₀(Ω_M+1) sampai ψ₀(M₂)

14. Dari ψ₀(M₂) sampai ψ₀(M₃)

15. Dari ψ₀(M₃) sampai ψ₀(M(1, 0)) = ψ₀(N) = ψ₀(C(2; 0))

16. Dari ψ₀(M(1, 0)) = ψ₀(N) = ψ₀(C(2; 0)) sampai ψ₀(N₂) = ψ₀(C(2; 1))

17. Dari ψ₀(N₂) = ψ₀(C(2; 1)) sampai ψ₀(N(1, 0)) = ψ₀(C(2; 1, 0)) = ψ₀(C(3; 0))

18. Dari ψ₀(N(1, 0)) = ψ₀(C(2; 1, 0)) = ψ₀(C(3; 0)) sampai ψ₀(C(4; 0)) = ψ₀(Ξ(4))

19. Dari ψ₀(C(4; 0)) = ψ₀(Ξ(4)) sampai ψ₀(K) = ψ₀(C(1, 0; 0))

20. Dari ψ₀(K) = ψ₀(C(1, 0; 0)) sampai ψ₀(K₂)

21. Dari ψ₀(K₂) sampai ψ₀(C(1;1;0)) = ψ₀(T^T+1)

22. Dari ψ₀(C(1;1;0)) = ψ₀(T^T+1) sampai ψ₀(Ω_T+1) = ψ₀(C(T+1))

23. Dari ψ₀(Ω_T+1) = ψ₀(C(T+1)) sampai ψ₀(C(2;;0)) = ψ₀(X²)

24. Dari ψ₀(C(2;;0)) = ψ₀(X²) sampai ψ₀(Ω_X+1) = ψ₀(C(X+1))

25. Dari ψ₀(Ω_X+1) = ψ₀(C(X+1)) sampai ψ₀(C(2;;;0)) = ψ₀(Y²)

26. Dari ψ₀(C(2;;;0)) = ψ₀(Y²) sampai ψ0(C(2;;;;0)) = ψ₀(C(2{5}0)∙2)

27. Dari ψ₀(C(2;;;;0)) = ψ₀(C(2{5}0)∙2) sampai ψ₀(C(1{ω}0))

28. Dari ψ₀(C(1{ω}0)) sampai ψ₀(C(2{ω+1}0))

29. Dari ψ₀(C(2{ω+1}0)) sampai ψ₀(C(1{C(0)}0))

30. Dari ψ₀(C(1{C(0)}0)) sampai ψ₀(C(1{1, 0}0))

31. Dari ψ₀(C(1{1, 0}0)) sampai ψ₀(C(1{1, 0, 0}0))

32. Dari ψ₀(C(1{1, 0, 0}0)) sampai ψ₀(C(1{1; 1}1))

35. Dari ψ(C(1{1;; 1}0)) sampai ψ(C(1{1;;; 1}0))

36. Dari ψ(C(1{1;;; 1}0)) sampai ψ(C(1{1{ω}0}0))

37. Dari ψ(C(1{1{ω}0}0)) sampai ψ(C(1{1{1, 0}0}0))

38. Dari ψ(C(1{1{1, 0}0}0)) sampai ψ(C(1{1{1;;1}1}0))

Artikel lainnya yang berhubungan :

Jika ingin memahami lebih lanjut tentang Bilangan Besar berdasarkan Ordinal, lihatlah Video YouTube di bawah ini :

Jika ingin mengetahui tentang Notasi Ordinal Collapsing Function, bisa lihat PPT-nya di sini (Beyond Bird’s Nested Arrays IV).

Sekian dalam Artikel ini telah membahas tentang Level-level Ordinal-Kardinal dalam Googologi. Artikel ini merupakan Artikel Terlama dan Terumit yang pernah saya buat dalam Setahun lebih.

Dan mohon maaf apabila ada beberapa Rumus-rumus Ordinal-Kardinal mash ditulis dalam Bahasa Inggris dikarenakan tidak sempat untuk menerjemahkan satu per satu ke dalam Bahasa Indonesia. Dan juga ada beberapa yang belum selesai dan masih dikembangkan lagi suatu saat nanti, dikarenakan sudah terlalu lama untuk meng-Input Rumus-rumusnya.

Untuk melihat File Dokumen MS Word yang berisikan Rumus-rumus Googologi di Google Drive, silakan lihat di sini.

Terima Kasih 😄😘👌👍 :)

Wassalamu‘alaikum wr. wb.

Inilah Rumus-rumus Ordinal dan Kardinal dalam Ilmu Googologi (The Googological Ordinal and Cardinal Notations)

Post a Comment

Rekomendasi Website Jurnal Nasional dan Internasional untuk Mahasiswa

[TUTORIAL] Menggunakan Fritzing untuk membuat Rangkaian Elektronika (+ Video Tutorial)

Categories

Main Tags

Contact Form

Popular Posts

[TUTORIAL] Menggunakan Fritzing untuk membuat Rangkaian Elektronika (+ Video Tutorial)

[TUTORIAL] Cara Hosting Website Gratis di InfinityFree (+ Video Tutorial)

Contoh Program Arduino dan ESP32 dengan menggunakan Wokwi

Contact Form