[DM] serisinin bu ilk yazısında matematikçi yoldaşlarım arasında hakkında yanlış anlaşılmalara sahip olunduğuna inandığım bir konu hakkında yazacağım: Gerçel sayıların iyi sıralamaları. Yazı [DM] serisinin bir parçası olduğu için gerekli arka planı atlayarak direkt konuya gireceğim.
İyi sıralama kavramını ilk defa öğrenen her matematik öğrencisi bir noktada sayılamaz bir kümenin bir iyi sıralamasını “görmek” istemiştir. En popüler sayılamaz küme şüphesiz ki matematiğin en temel çalışma objesi olan gerçel sayılar olduğu için bu kişiler genelde gerçel sayıları ya da aynı kardinalitede başka bir kümeyi “açık bir şekilde” iyi sıralamayı dener. Hatta bu soru bazen ders notlarında (öğrenciler tarafından çözülememek üzere atanmış) bir egzersiz olarak yerini alır.
İyi sıralama teoremi gereği her küme üzerinde bir iyi sıralama bağıntısı vardır. Bu teoremin kanıtı yapılırken de genelde ZFC belitlerinden C belitinin (yani seçim belitinin) kullanıldığı özellikle vurgulanır. Bu vurgunun nedeni şudur. Paul Cohen‘in zorlama tekniğinin bir uygulaması olarak bugün biliyoruz ki eğer ZF kümeler kuramı tutarlıysa ZF kümeler kuramının öyle modelleri vardır ki bu modellerde gerçel sayılar iyi sıralanamaz.
Yani gerçel sayıların iyi sıralanamayacağı önermesi ZF belitleri ile göreli olarak tutarlıdır. Bunun sonucunda da gerçel sayıların bir iyi sıralaması olduğu önermesi sadece ZF belitlerinden kanıtlanamaz, seçim belitinin kullanılması şarttır. Öte yandan seçim beliti ya da eş değer ifadeleri bize bu iyi sıralamanın ne olduğunu söylemez, sadece var olduğunu söyler. Bu noktada blog yazısının da ana konusu olan şu soru ortaya çıkıyor.
Gerçel sayıları ne kadar “açık bir şekilde” iyi sıralayabiliriz?
Matematik Dünyası dahil olmak üzere çeşitli yerlerde ve matematikçi yoldaşlarımla kurduğum diyaloglarda şuna benzer iddialara rastladım: Gerçel sayıların “açık bir şekilde” ifade edilmiş bir iyi sıralaması bulunamaz.
Yaygın kanının aksine bu iddia ZFC belitlerinden bağımsızdır. Tabii ki bu iddiayı matematiksel olarak değerlendirebilmek için “açık bir şekilde” ifadesiyle ne kastettiğimizi tanımlamak zorundayız. Eğer “açık bir şekilde” ile kastedilen “inşada seçim beliti ya da bundan daha güçlü bir belit kullanılmadan” ise bu iddia yukarıda da belirttiğim gibi doğrudur. Öte yandan, yazının ilerleyen bölümlerinde göreceğimiz üzere, ZFC ile göreli olarak tutarlı olan çeşitli belitler altında gerçel sayıların gayet “açık bir şekilde” ifade edilmiş iyi sıralamaları yazılabilir.
İnşa edilebilirlik beliti ve gerçel sayıları açık bir şekilde iyi sıralamak
Genelleştirilmiş süreklilik hipotezinin ve seçim belitinin ZF belitlerinden bağımsız olduğu 1938’te Kurt Gödel tarafından inşa edilebilir evren kullanılarak kanıtlanmıştır.
Eğer bir küme kuramcısı değilseniz bu kavramların ne olduklarını bu yazı için öğrenmenize gerek yok. Bu yazı için bilmeniz gereken şey şu: Kümeler evreninin inşa edilebilir evrene eşit olduğunu söyleyen inşa edilebilirlik beliti, ki kendisine olarak hitap edilir, ZFC belitlerinden bağımsızdır. Yani inşa edilebilirlik beliti ZFC belitleriyle ne kanıtlanabilir ne de çürütülebilir. Peki bu gerçel sayıları sıralamak için ne işimize yarayacak?
İnşa edilebilirlik beliti altında tüm kümeler evreninin tanımlanabilir bir iyi sıralaması vardır. Doğru duydunuz, bu belit altında çalışırsak tüm kümeler evrenini iyi sıralayabilecek kümeler kuramının dilinde bir formül yazabiliyoruz. Referans olarak [Jech03, Teorem 13.18] ya da [Kunen80, Lemma 4.4] incelenebilir.
İnşa edilebilir evreni iyi sıralayan ilgili formül Lévy hiyerarşisinde derecesine sahiptir [Jech03, Lemma 13.19]. Dolayısıyla varsayımı altında bırakın gerçel sayıları tüm kümeler evrenini açık bir şekilde iyi sıralayabiliyoruz!
Tabii kümeler kuramının dilinde dereceli bir formülün yeterince “açık” bir iyi sıralama ifade etmediği konusunda itiraz gelebilir, ki bu itiraza belki hak verebilirim.
Öte yandan amacımız sadece gerçel sayıları iyi sıralamaksa bir adım daha ileri gidebiliriz. beliti altında tüm kümeler evreninin tanımlanabilir iyi sıralamasını kullanarak gerçel sayıların izdüşümsel hiyerarşide seviyesinde, hatta seviyesinde, bir iyi sıralamasını bulmak mümkün. Bunun için şu an bir kitaptan referans bulamadım ama neden böyle olduğunun kabaca tarifi şu MathOverflow gönderisinde yapılmış. Bunun anlamı da şu:
Eğer ise standart topolojisiyle uzayında öyle bir Borel küme bulunabilir ki bu kümeyi ilk üç koordinat üzerine izdüşürüp tümleyenini aldıktan sonra tekrar izdüşürerek elde ettiğimiz küme kümesi üzerinde bir iyi sıralama bağıntısıdır.
Öklit uzayındaki Borel kümeleri bu uzayın “açıkça ifade edilebilen” alt kümeleri olarak düşünebiliriz. Ne de olsa Borel bir kümeyi rasyonel koordinatlı ve yarıçaplı topları kullanarak sayılabilir adım sonunda birleşim ve tümleyen alma operasyonları altında elde edebiliyoruz.
Demek ki ise gerçel sayıların “açıkça ifade edilmiş” bir iyi sıralamasını bulmak mümkün. Yaptığımız şey hepi topu Borel bir kümeyi alıp izdüşürüp tümleyenini alıp tekrar izdüşürmek!
İzdüşümsel belirlilik ve gerçel sayıları izdüşümsel olarak iyi sıralamamak
Diyelim ki gerçel sayıları ne kadar açık bir şekilde iyi sıralayabiliriz sorusundaki “açıkça ifade edilebilir” ifadesini “izdüşümsel hiyerarşide bulunmak” olarak yorumluyoruz. Bir önceki bölümde gerçel sayıların izdüşümsel hiyerarşide düşük bir seviyede yer alan bir iyi sıralaması olduğu önermesinin ZFC belitleri ile göreli olarak tutarlı olduğunu gördük.
Peki gerçel sayıların bir iyi sıralamasının izdüşümsel hiyerarşide olamayacağı önermesi ZFC belitleri ile tutarlı mı?
Öncelikle şunu belirtelim, gerçel sayıların Borel ya da bir iyi sıralaması olmadığı ZFC içerisinde kanıtlanabiliyor. Bunun nedeni, az sonra göreceğimiz üzere, Borel ve kümelerin Lebesgue ölçülebilir olması. Peki ya izdüşümsel hiyerarşinin diğer basamakları?
İzdüşümsel belirlilik beliti altında izdüşümsel kümeler Lebesgue ölçülebilirlik ve Baire özelliği düzenlilik özelliklerine sahiptir. Gerçel sayıların iyi sıralamalarının bu tarz özellikleri sağlamayan “patolojik” kümeler olmaları gerektiği de bilinen şeyler.
Teorem [Kechris95, 8.48]: gerçel sayılar üzerinde bir iyi sıralama bağıntısı olsun. Bu durumda kümesi Baire özelliğine sahip değildir.
Gerçel sayıları iyi sıralayan bir kümesinin Lebesgue ölçülemez olduğu da Waclaw Siérpinski‘ye ait bir sonuçmuş. Orijinal makaleyi araştırmaya üşendiğim için onun yerine şu math.stackexchange gönderisini inceleyebilirsiniz. Demek ki izdüşümsel kümeler Lebesgue ölçülebilirse veya Baire özelliğine sahiplerse, gerçel sayıların izdüşümsel bir iyi sıralaması olamaz.
Peki “izdüşümsel kümeler Lebesgue ölçülebilir” önermesi ZFC ile göreli olarak tutarlı mıdır? Bu sefer iş ne yazık ki durumundaki kadar basit değil. önermesi ZFC’den bağımsızdır dediğimde söylediğim şey bir teorem. “İzdüşümsel kümeler Lebesgue ölçülebilir” önermesinin ZFC ile göreli olarak tutarlı olduğuna ise inanılıyor. İnanılıyor derken inanılıyor ama henüz kanıtlamadı demek istemiyorum. Durum bundan daha vahim.
Mühim insan Saharon Shelah‘nın bir teoremi der ki eğer izdüşümsel kümeler Lebesgue ölçülebilirse, inşa edilebilir evrende bir erişilemez kardinal vardır [Jech03, Teorem 32.13 ya da Shelah84]. Erişilemez kardinallerin varlığı ZFC’nin tutarlılığını gerektirdiğinden dolayı Gödel’in ikinci eksiklik teoreminin bir sonucu olarak da erişilemez bir kardinalin varlığının ZFC ile göreli tutarlı olduğu ZFC içerisinde kanıtlanamaz. Dolayısıyla “izdüşümsel kümeler Lebesgue ölçülebilirdir” önermesi ZFC’ye eklendiğinde ZFC’nin tutarlılık gücünü artıran bir önerme ve bu önermenin göreli tutarlılığı ZFC içerisinde kanıtlanamaz.
Bunlara karşın “izdüşümsel kümeler Baire özelliğine sahiptir” önermesi ZFC belitleri ile göreli olarak tutarlıdır. Dolayısıyla gerçel sayıların izdüşümsel bir iyi sıralaması olmadığı varsayımı ZFC ile göreli olarak tutarlıdır.
Gerçel sayıları iyi sıralayamamak
Yazının bir önceki bölümünde “açıkça ifade edilebilir” ifadesini izdüşümsel hiyerarşi üzerinden yorumlayarak gerçel sayıları iyi sıralama konusunda birkaç negatif sonuçtan bahsetmiştik.
Bu bölümdeyse “açıkça” ifadesini “kümeler kuramının dilinde bir formül ile ifade edilebilir” olarak yorumladığımızda elde edebileceğimiz bir negatif sonuçtan bahsedeceğiz.
Paul Cohen Fields madalyası kazanmasını sağlayan zorlama tekniğini 1963’te keşfettikten hemen sonra ünlü mantıkçı Solomon Feferman bu tekniğin bir uygulaması olarak [Feferman64] makalesini yayınlıyor. Bu makaleden birkaç gün öncesine kadar haberim yoktu. Dolayısıyla makaleyi okumadan ilgili sonucu alıntılayacağım. Kümeler kuramının dilinde gerçel sayıları iyi sıralayan iki değişkenli bir formül olmadığı ZFC (hatta ZFC+GCH) belitleriyle göreli olarak tutarlıdır. Bu sonuç altında tüm kümeler evreninin tanımlanabilir bir iyi sıralaması olmasına karşıt bir sonuç olarak görülebilir.
Ne elde ettik?
Feferman’ın teoreminin bir sonucu olarak öyle bir iki değişkenli formül yazamazsınız ki bu formülün ifade ettiği bağıntının gerçel sayıları iyi sıraladığını ZFC içerisinde kanıtlayabilin. Öte yandan, gibi varsayımlarla ZFC’nin ötesinde geçtiğinizde bunu yapmak mümkün.
Gerçel sayıların iyi sıralamalarını betimsel küme kuramı perspektifinden incelediğimizde karşılaştığımız şeyse gerçel sayıların Borel ya da analitik iyi sıralamaları olamayacağını ZFC’de kanıtlayabildiğimiz ve çeşitli büyük kardinal varsayımları altında bu sonucun izdüşümsel hiyerarşinin tüm basamaklarına kadar ittirilebildiği.
C.N.