Teori Himpunan Aksiomatik (ZFC)

Teori himpunan Zermelo-Fraenkel dengan aksioma pilihan (ZFC) adalah sistem aksioma tingkat pertama yang berfungsi sebagai fondasi formal standar matematika modern.

Definition

ZFC adalah teori dalam logika tingkat pertama dengan satu simbol relasi biner untuk keanggotaan, yang aksioma-aksiomanya (ekstensibilitas, pemasangan, gabungan, himpunan kuasa, tak hingga, pemisahan, penggantian, fondasi, dan pilihan) menjelaskan alam semesta himpunan dan dari mana matematika biasa dapat diturunkan.

Scope

Topik ini mencakup aksioma-aksioma individual ZFC, hierarki kumulatif himpunan yang dihasilkannya, peran skema aksioma pemisahan dan penggantian, serta status khusus aksioma pilihan. Dijelaskan bagaimana objek-objek matematika yang dikenal dikodekan sebagai himpunan dalam sistem ini.

Core questions

• Apa yang ditegaskan oleh setiap aksioma ZFC dan mengapa itu diperlukan?
• Bagaimana hierarki kumulatif mengatur alam semesta himpunan?
• Mengapa aksioma pilihan diistimewakan dan apa implikasinya?
• Bagaimana bilangan, fungsi, dan relasi dibangun sebagai himpunan dalam ZFC?

Key theories

Aksioma ekstensibilitas dan fondasi

Ekstensibilitas menyatakan bahwa himpunan ditentukan oleh anggotanya, dan fondasi mengesampingkan rantai keanggotaan menurun tak terbatas, menyusun alam semesta sebagai hierarki kumulatif yang terstruktur dengan baik.

Skema pemisahan dan penggantian

Pemisahan membentuk himpunan bagian yang didefinisikan oleh suatu properti, dan penggantian memungkinkan citra suatu himpunan di bawah fungsi kelas yang dapat didefinisikan menjadi suatu himpunan, bersama-sama menghasilkan kekuatan yang dibutuhkan untuk membangun himpunan besar tanpa memperkenalkan kembali paradoks klasik.

Aksioma pilihan

Aksioma pilihan menegaskan bahwa setiap koleksi himpunan tak kosong memiliki fungsi pilihan; ini setara dengan lemma Zorn dan teorema pengurutan baik dan sangat diperlukan dalam banyak matematika namun independen dari aksioma-aksioma lainnya.

Clinical relevance

ZFC adalah kerangka kerja implisit di mana sebagian besar matematikawan bekerja: ini menetapkan objek apa yang ada dan konstruksi apa yang sah, sehingga memahami aksioma-aksiomanya memperjelas argumen mana yang secara fundamental kuat dan mana yang bergantung pada pilihan atau prinsip-prinsip lain yang diperdebatkan.

History

Zermelo mengusulkan aksiomatisasi pertama pada tahun 1908 untuk mengamankan pembuktian teorema pengurutan baiknya; Fraenkel dan Skolem menambahkan skema penggantian pada tahun 1920-an dan von Neumann mengklarifikasi hierarki kumulatif dan fondasi, menghasilkan sistem yang sekarang disebut ZFC.

Key figures

• Ernst Zermelo
• Abraham Fraenkel
• Thoralf Skolem
• John von Neumann

Seminal works

• kunen2011
• jech2003
• enderton1977

Frequently asked questions

Mengapa tidak menggunakan teori himpunan naif saja?

Pemahaman naif, yang memungkinkan pembentukan himpunan semua himpunan yang memenuhi properti apa pun, mengarah pada paradoks Russell. ZFC menggantikan pemahaman tak terbatas dengan skema pemisahan dan penggantian yang terbatas, yang menghindari paradoks sambil tetap cukup kuat untuk matematika.

Apakah aksioma pilihan diperlukan?

Sebagian besar matematika arus utama, termasuk basis untuk ruang vektor dan banyak hasil dalam analisis dan aljabar, bergantung padanya. Ini independen dari aksioma-aksioma lain, sehingga dapat diasumsikan atau ditolak secara konsisten, tetapi secara konvensional diadopsi.