Aritmetika Kardinal dan Ordinal

Aritmetika kardinal dan ordinal memperluas konsep penghitungan dan pengurutan ke dalam tak terhingga, menyediakan dua ukuran pelengkap dari ukuran dan posisi transfinit.

Definition

Ordinal adalah himpunan transitif yang terurut rapi berdasarkan keanggotaan, merepresentasikan tipe urutan; kardinal adalah ordinal yang tidak dalam bijeksi dengan ordinal yang lebih kecil, merepresentasikan ukuran. Aritmetika keduanya mendefinisikan operasi penjumlahan, perkalian, dan eksponensiasi yang memperluas operasi hingga ke dalam transfinit.

Scope

Topik ini mencakup bilangan ordinal sebagai himpunan terurut rapi kanonis dan aritmetika non-komutatifnya, bilangan kardinal sebagai ukuran ukuran dan aritmetikanya di bawah aksioma pilihan, hierarki aleph dan beth, kofinalitas, dan hasil seperti teorema Cantor dan teorema Koenig.

Core questions

• Bagaimana ordinal mengkodekan setiap pengurutan rapi hingga isomorfisme?
• Mengapa aritmetika ordinal non-komutatif sementara aritmetika kardinal tidak?
• Bagaimana kardinal tak terbatas dijumlahkan, dikalikan, dan dipangkatkan?
• Batasan apa yang diberikan oleh kofinalitas dan teorema Koenig pada eksponensiasi kardinal?

Key theories

Teorema Cantor

Untuk setiap himpunan, himpunan kuasa memiliki kardinalitas yang secara ketat lebih besar, sehingga tidak ada kardinal terbesar dan hierarki ukuran tak terbatas tidak pernah berakhir.

Induksi dan rekursi transfinit

Sifat-sifat dapat dibuktikan dan fungsi-fungsi didefinisikan di atas semua ordinal dengan induksi dan rekursi sepanjang urutan ordinal, mesin teknis sentral teori himpunan.

Hierarki Aleph dan eksponensiasi kardinal

Di bawah pilihan, kardinal tak terbatas terurut rapi sebagai aleph; penjumlahan dan perkalian kardinal tak terbatas runtuh ke maksimum, sementara eksponensiasi diatur oleh kofinalitas dan teorema Koenig dan sebagian besar tetap independen dari ZFC.

Clinical relevance

Aritmetika transfinit mendasari perbandingan himpunan tak terbatas di seluruh matematika, membenarkan argumen dengan induksi transfinit dalam aljabar dan analisis, serta membingkai pertanyaan-pertanyaan independensi sentral seperti nilai kontinum.

History

Cantor memperkenalkan bilangan ordinal dan kardinal pada tahun 1880-an dan 1890-an, membuktikan bahwa bilangan riil tidak terhitung dan bahwa himpunan kuasa secara ketat meningkatkan kardinalitas. Definisi ordinal oleh Von Neumann sebagai himpunan transitif yang terurut rapi berdasarkan keanggotaan memberikan formulasi modern, dan Hausdorff serta Koenig menetapkan hasil-hasil kunci pada eksponensiasi kardinal dan kofinalitas.

Key figures

• Georg Cantor
• John von Neumann
• Felix Hausdorff
• Julius Koenig

Seminal works

• jech2003
• enderton1977
• kunen2011

Frequently asked questions

Apa perbedaan antara ordinal dan kardinal?

Ordinal mencatat tipe urutan dari pengurutan rapi, membedakan susunan yang memiliki ukuran yang sama tetapi struktur yang berbeda, sementara kardinal hanya mencatat ukuran. Setiap kardinal adalah ordinal, yaitu ordinal terkecil dari ukurannya.

Mengapa satu ditambah omega berbeda dari omega ditambah satu?

Penjumlahan ordinal didefinisikan dengan menggabungkan tipe urutan dan sensitif terhadap posisi. Menempatkan satu elemen sebelum bilangan asli memberikan tipe urutan yang sama dengan bilangan asli, sementara menempatkan satu elemen setelahnya menambahkan elemen terbesar baru, sehingga kedua jumlah tersebut adalah ordinal yang berbeda.