Aksiyomatik Küme Kuramı (ZFC)
Seçim aksiyomu ile Zermelo-Fraenkel küme kuramı (ZFC), modern matematiğin standart biçimsel temeli olarak hizmet eden birinci dereceden aksiyom sistemidir.
Tanım
ZFC, üyelik için tek bir ikili ilişki sembolü ile birinci dereceden mantıkta bir kuramdır; aksiyomları (genişletilebilirlik, eşleştirme, birleşim, kuvvet kümesi, sonsuzluk, ayırma, yerine koyma, temel ve seçim) kümeler evrenini tanımlamakta ve buradan sıradan matematik türetilebilmektedir.
Kapsam
Bu konu, ZFC'nin bireysel aksiyomlarını, ürettikleri kümelerin kümülatif hiyerarşisini, ayırma ve yerine koyma aksiyom şemalarının rolünü ve seçim aksiyomunun özel statüsünü kapsamaktadır. Bu sistem içinde tanıdık matematiksel nesnelerin küme olarak nasıl kodlandığını açıklamaktadır.
Temel sorular
- Her bir ZFC aksiyomu neyi ileri sürmektedir ve neden gereklidir?
- Kümülatif hiyerarşi, kümeler evrenini nasıl düzenlemektedir?
- Seçim aksiyomu neden ayrı tutulmaktadır ve ne anlama gelmektedir?
- Sayılar, fonksiyonlar ve ilişkiler ZFC içinde küme olarak nasıl inşa edilmektedir?
Temel kuramlar
- Genişletilebilirlik ve Temel Aksiyomu
- Genişletilebilirlik, kümelerin üyeleri tarafından belirlendiğini belirtmekte ve temel, sonsuz azalan üyelik zincirlerini dışlayarak evreni iyi temellendirilmiş kümülatif bir hiyerarşi olarak yapılandırmaktadır.
- Ayırma ve Yerine Koyma Şemaları
- Ayırma, bir özellik tarafından tanımlanan alt kümeler oluşturmakta ve yerine koyma, tanımlanabilir bir sınıf fonksiyonu altındaki bir kümenin görüntüsünün bir küme olmasına izin vermektedir; bunlar birlikte, klasik paradoksları yeniden ortaya çıkarmadan büyük kümeler oluşturmak için gereken gücü sağlamaktadır.
- Seçim Aksiyomu
- Seçim aksiyomu, boş olmayan herhangi bir küme koleksiyonunun bir seçim fonksiyonuna sahip olduğunu ileri sürmektedir; Zorn lemması ve iyi sıralama teoremine denktir ve matematiğin çoğunda vazgeçilmezdir, ancak diğer aksiyomlardan bağımsızdır.
Klinik önem
ZFC, çoğu çalışan matematikçinin akıl yürüttüğü örtük çerçevedir: hangi nesnelerin var olduğunu ve hangi yapıların meşru olduğunu belirlemektedir; bu nedenle aksiyomlarını anlamak, hangi argümanların temelde sağlam olduğunu ve hangilerinin seçim veya diğer tartışmalı ilkelere bağlı olduğunu açıklığa kavuşturmaktadır.
Tarihçe
Zermelo, iyi sıralama teoreminin kanıtını güvence altına almak için 1908'de ilk aksiyomatizasyonu önermiştir; Fraenkel ve Skolem 1920'lerde yerine koyma şemasını eklemiş ve von Neumann kümülatif hiyerarşiyi ve temeli açıklığa kavuşturarak, şimdi ZFC olarak adlandırılan sistemi oluşturmuştur.
Öne çıkan isimler
- Ernst Zermelo
- Abraham Fraenkel
- Thoralf Skolem
- John von Neumann
İlgili konular
Temel eserler
- kunen2011
- jech2003
- enderton1977
Sıkça sorulan sorular
- Neden sadece naif küme kuramı kullanılmasın?
- Herhangi bir özelliği sağlayan tüm kümelerin kümesini oluşturmaya izin veren naif kavrayış, Russell paradoksuna yol açmaktadır. ZFC, sınırsız kavrayışı, kısıtlı ayırma ve yerine koyma şemalarıyla değiştirmektedir; bu şemalar paradokslardan kaçınırken matematik için yeterince güçlü kalmaktadır.
- Seçim aksiyomu gerekli midir?
- Vektör uzayları için tabanlar ve analiz ile cebirdeki birçok sonuç dahil olmak üzere ana akım matematiğin çoğu ona dayanmaktadır. Diğer aksiyomlardan bağımsızdır, bu nedenle tutarlı bir şekilde varsayılabilir veya reddedilebilir, ancak geleneksel olarak benimsenmektedir.