ORDINAL NUMBER

Team:
Desy Andika
Edy Karyady
Eliya Rahmatika
M. Luthfi Abdurahman
Nugrah Mahesa
 OPENING

Dalam kehidupan sehari-hari, tentu sudah mengenal sistem pemeringkatan yang

terstruktur, seperti penentuan juara dalam perlombaan dan lain-lain. Penentuan tersebut
direpresentasikan dalam bilangan yang memiliki tingkatan, dan bilangan itu disebut
bilanga ordinal.
Bilangan ordinal ditemukan oleh seorang matematikawan asal Jerman bernama George
Cantor (1845-1918) pada tahun 1883 yang merupakan pengembangan dari teori
sebelumnya yang ia kemukakan tahun 1872.
Dalam teori himpunan, bilangan ordinal merupakan suatu konsep bilangan yang
digunakan untuk mengatur koleksi objek secara berurutan.
Semua matematika modern didasarkan pada teori himpunan. Pada awalnya, ada satu istilah primitif yang
tidak ditentukan ("set"), dan satu hubungan primitif yang tidak ditentukan ("keanggotaan"). Ada kemudian
aksioma yang (kami harap) sesuai dengan intuisi kami tentang apa set dan bagaimana seseorang dapat
membangunnya. Semua objek matematika harus dibangun menggunakan aksioma ini. Khususnya,
bilangan asli harus dibangun dengan cara ini. Mari kita mulai dengan 0.
Jika 0 adalah himpunan, ada satu dan hanya satu definisi yang masuk akal: 0: = ∅. Sekarang bagaimana
kita mendefinisikan 1? Itu harus satu set, dan agar menjadi kandidat yang masuk akal untuk 1, itu harus
singleton. Sekali lagi, ada kandidat yang jelas:
1: = {0}.
Kita juga dapat mendefinisikan 2: = {0,1},
3: = {0,1,2}, dan seterusnya. Setiap angka n yang kita bangun dengan cara ini adalah himpunan yang berisi
(secara intuitif) persis n elemen. Aksioma teori himpunan memungkinkan kita membuat frasa “dan
seterusnya” tepat, dan kita mendapatkan himpunan bilangan alami
N = {0,1,2, ...}, dengan semua properti biasa. Setelah melakukan ini, kita dapat mengatakan bahwa
bilangan alami n adalah himpunan spesifik dengan tepat n elemen, unsur-unsur itu justru merupakan
pendahulu dari n: n = {0,1, ..., n − 1}.
Angka adalah set. (Semuanya adalah himpunan!) Jika n adalah bilangan asli, maka semua
bilangan alami sebelumnya adalah elemen dari n. Faktanya, n adalah himpunan bilangan asli
sebelumnya. Selain itu, setiap bilangan asli sebelumnya adalah himpunan bagian dari n. Jadi n
adalah himpunan dengan properti yang masing-masing elemennya secara bersamaan merupakan
elemen dari n dan subset dari n. Karena itu kita dapat menggunakan set-theoretic membership
atau set-theoretic inclusion untuk mengkarakterisasi relasi urutan standar pada N:
m <n ⇐⇒ m ∈ n ⇐⇒ m ⊂ n. [Di sini dan di seluruh selebaran ini saya menggunakan ⊂ untuk
penyertaan yang ketat.] Perhatikan selanjutnya bahwa ada deskripsi set-teoretis sederhana
tentang operasi penerus n → n + 1:
n + 1 = n ∪ {n}. Dengan kata lain, kita mendapatkan set n + 1 dari set n dengan menyatukan
satu elemen baru, elemen itu menjadi n itu sendiri. (Jika Anda memikirkannya, ini adalah satu-
satunya hal yang masuk
 DEFINITION
Dengan analogi dengan apa yang telah kami lakukan di atas, kami ingin mendefinisikan tata
cara sedemikian rupa sehingga tertata dengan baik, dengan urutan yang ditandai oleh
(1) α <β ⇐⇒ α ∈ β ⇐⇒ α ⊂ β.
Selain itu, setiap α ordinal harus memiliki penerus α + 1, sehingga
(2) α + 1 = α ∪ {α}.
Kami berharap (lagi-lagi dengan analogi dengan bilangan asli) bahwa setiap elemen ordinal
adalah lagi ordinal. Isi dari kesetaraan pertama dalam (1) adalah bahwa setiap ordinal adalah
himpunan pendahulunya, seperti halnya untuk bilangan asli. Pertimbangan-pertimbangan ini
memotivasi definisi berikut.
Definisi:
"Nomor urut adalah himpunan α yang tertata dengan baik sehingga setiap elemen α adalah
himpunan pendahulunya."
 BASIC THEOREM

Sebagai ilustrasi penggunaan ordinal, kami menguraikan bukti yang sangat singkat dari teorema
pemesanan dengan baik, yang menyatakan bahwa setiap set X menerima pemesanan dengan
baik. Karena setiap ordinal adalah himpunan yang tertata dengan baik, maka cukup untuk
menunjukkan bahwa X sesuai dengan 1–1 korespondensi dengan beberapa ordinal. Untuk tujuan
ini kami mendefinisikan dengan menginduksi urutan transit 1–1 xα ∈ X, diindeks oleh segmen
awal dari ordinals. Asumsikan secara induktif bahwa α adalah ordinal sedemikian rupa sehingga
xβ telah didefinisikan untuk β <α.
Jika {xβ} adalah himpunan bagian X yang tepat, pilih xα secara sewenang-wenang dalam X r
{xβ} [menggunakan aksioma pilihan]. Karena tata cara tidak membentuk satu set, urutannya
tidak dapat ditentukan untuk semua tata cara. Biarkan α menjadi ordinal pertama sehingga xα
tidak didefinisikan. Kemudian kita memiliki sebuah penautan antara X dan {β | β <α} = α
 OPERATION
• Definisi 1.1. Definisikan ordinal 1: = 0 + 1 = {∅}.
• Definisi 1.2. Biarkan α, β menjadi tata cara. Definisikan penambahan ordinal secara
rekursif: i. α + 0 = α. ii. Jika β ∈ Suc, β = γ + 1, definisikan α + β = (α + γ) + 1. iii.
Jika β ∈ Lim, definisikan α + β = Sγ <β (α + γ).
• Definisi 1.3 Biarkan α, β menjadi tata cara. Mendefinisikan multiplikasi ordinal
secara rekursif: i. α · 0 = 0. ii. Jika β ∈ Suc, β = γ + 1, definisikan α · β = (α · γ) + α.
aku aku aku. Jika β ∈ Lim, definisikan α · β = Sγ <β (α · γ).
• Definisi 2.6. Biarkan α, β menjadi tata cara. Tetapkan eksponensial ordinal secara
rekursif: i. α ^ 0 = 1. ii. Jika β ∈ Suc, β = γ + 1, definisikan αβ = (αγ) · α. aku aku
aku. Jika β ∈ Lim dan α> 0, definisikan αβ = Sγ <β (αγ). Jika α = 0, definisikan αβ =
0.
• Dan masih banyak lagi
 OPERATION (2)
Teorema 2.1. +, · Dan eksponensial tidak komutatif, yaitu ada α, β, γ, δ, ε, ζ sedemikian rupa sehingga α + β 6 = β + α, γ · δ 6 =
δ · γ dan εζ 6> <ε.
Bukti. Biarkan α = 1, β = ω, γ = 2, δ = ω, ε = 0, ζ = 1. 1 + ω = ω seperti yang ditunjukkan di atas. ω ∈ ω∪ {ω} = ω + 1, jadi α +
β <β + α. 2 · ω = ω seperti yang ditunjukkan di atas. Dengan Left-Monotonicity, ω <ω + ω = ω · 2.Jadi γ · δ <δ · γ. 0 ^ 1 = 0 ^ 0
· 0 = 0, tetapi 1 ^ 0 = 1 oleh definisi. Karenanya εζ <ζε.
Teorema 2.2 (Asosiatif Penambahan Ordinal). Biarkan α, β, γ menjadi ordinals. Kemudian (α + β) + γ = α + (β + γ).
Bukti. Dengan induksi pada γ. γ = 0. Misalkan γ = δ + 1. (α + β) + (δ + 1) = ((α + β) + δ) + 1 (dengan definisi) = (α + (β + δ)) +
1 (dengan induksi) = α + ((β + δ) + 1) (berdasarkan definisi) = α + (β + (δ + 1)) (berdasarkan definisi) = α + (β + γ).
Sekarang anggaplah γ adalah batas, khususnya γ> 1. Kemudian β + γ adalah batas, jadi α + (β + γ) dan (α + β) + γ adalah batas.
(α + β) + γ = sup ε <γ ((α + β) + ε) (dengan definisi) = sup β + ε <β + γ ((α + β) + ε) (dengan Left-Monotonicity) = sup β + ε <β
+ γ (α + (β + ε)) (dengan induksi) = sup δ <β + γ (α + δ) (lihat di bawah) = α + (β + γ) (berdasarkan definisi).
Dan masih banyak lagi
 CLOSING

“Setinggi apapun derajatmu, apabila enggan mengurangi keegoisanmu, maka

derajatmu akan tertutupi oleh keegoisan itu hingga menjadi nol bahkan negatif.
Semakin tinggi posisi sesuatu, maka semakin tinggi berisiko untuk jatuh.”

Salahuddin II (Pontianak, 5 November 2019)

THANKS