Zorlama ve Bağımsızlık
Zorlama, küme teorisi modelini dikkatlice seçilmiş bir jenerik nesne ekleyerek genişletmek için kullanılan bir tekniktir ve ifadelerin standart aksiyomlardan bağımsız olduğunu kanıtlamak için temel yöntemdir.
Tanım
Zorlama, bir küme teorisi modelinden ve onun içindeki bir kısmi sıralamadan başlayarak, jenerik bir filtre içeren daha büyük bir model inşa eden bir yöntemdir; kısmi sıralamayı kontrol ederek, öngörülen ifadelerin genişlemede geçerli olmasını veya başarısız olmasını sağlayarak, böylece tutarlılıklarını veya bağımsızlıklarını kanıtlamaktadır.
Kapsam
Bu konu; zorlama yöntemini, kısmi sıralamaları ve jenerik filtreleri, zorlama ilişkisini ve jenerik genişlemelerin inşasını, zincir koşulları aracılığıyla kardinallerin korunmasını ve Goedel'in tamamlayıcı inşa edilebilir evreni ile birlikte süreklilik hipotezi ve seçim aksiyomu için kanonik bağımsızlık sonuçlarını kapsamaktadır.
Temel sorular
- Jenerik bir filtre eklemek, küme teorisinin yeni bir modelini nasıl üretir?
- Jenerik genişlemedeki doğruluk, temel model içindeki zorlama ilişkisi tarafından nasıl kontrol edilir?
- Zorlama posetinin hangi kombinatoryal özellikleri kardinalleri ve kofinallikleri korur?
- Zorlama ve inşa edilebilir evren birlikte süreklilik hipotezinin bağımsızlığını nasıl tesis eder?
Temel kuramlar
- Jenerik genişlemeler ve zorlama teoremi
- Kısmi bir sıralama üzerindeki jenerik bir filtre verildiğinde, ortaya çıkan genişlemede doğru olan her ifade, belirli bir koşul tarafından zorlanmaktadır ve bu zorlama ilişkisi temel modelde tanımlanabilir olup, genişlemenin içeriden analiz edilmesine olanak tanımaktadır.
- İnşa edilebilir evren ve CH'nin tutarlılığı
- Goedel'in inşa edilebilir kümeler iç modeli, seçim aksiyomunu ve genelleştirilmiş süreklilik hipotezini sağlamakta, bunların diğer aksiyomlarla tutarlı olduğunu göstermektedir.
- Süreklilik hipotezinin bağımsızlığı
- Cohen, bir modele birçok reel sayı eklemek için zorlamayı kullanmış, böylece süreklilik hipotezi başarısız olmuştur; bu da Goedel'in sonucuyla birlikte hipotezin ZFC'den bağımsız olduğunu göstermektedir.
Klinik önem
Zorlama, çağdaş küme teorisinin merkezi aracıdır: analiz, topoloji ve cebirdeki geniş bir ifade yelpazesinin bağımsızlığını kanıtlamak ve kombinatoryal prensiplerin gücünü kalibre etmek için kullanılmakta, standart aksiyomların hangi matematiksel soruları çözemediğini ortaya koymaktadır.
Tarihçe
Goedel, 1938'de süreklilik hipotezi ve seçim aksiyomunun tutarlılığını kanıtlamak için inşa edilebilir evreni tanıtmıştır. 1963'te Cohen, bunların bağımsızlığını kanıtlamak için zorlamayı icat etmiş ve bu çalışmasıyla Fields Madalyası almıştır; Scott, Solovay ve diğerleri, zorlamayı Boolean değerli modeller aracılığıyla yeniden formüle etmiş ve alanı standart bir aygıta dönüştürmüşlerdir.
Öne çıkan isimler
- Paul Cohen
- Kurt Goedel
- Dana Scott
- Robert Solovay
İlgili konular
Temel eserler
- kunen2011
- cohen1963
- godel1940
Sıkça sorulan sorular
- Jenerik bir filtre sezgisel olarak nedir?
- Temel modelde tanımlanabilen her gereksinimi karşılamak üzere seçilmiş idealize edilmiş bir nesnedir; böylece orada herhangi tek bir tanım tarafından yakalanmaktan kaçınacak kadar jeneriktir. Onu eklemek, küme evreninin kontrollü bir genişlemesini üretmektedir.
- Zorlama, küme teorisi aksiyomlarının doğruluğunu değiştirir mi?
- Hayır. Bir ZFC modelinin jenerik genişlemesi yine bir ZFC modelidir; zorlama, aksiyomlar tarafından belirlenmemiş olan ifadelerin, örneğin süreklilik hipotezinin, sadece doğruluk değerini değiştirmektedir ki bu da onu bağımsızlık kanıtları için bir araç yapan şeydir.