König Sonsuzluk Lemması ve Bir Uygulaması

Bu kısa yazıda, ünlü Heine-Borel Örtülüş Teoreminin, König Sonsuzluk Lemması
kullanılarak verilen ilginç ve değişik bir kanıtlaması yer almaktadır.Fonksiyon
ve Örtülüş denilen iki temel kavramı bilen her okuyucunun kolayca kavrayacağı bu
kanıtlama ünlü Polonyalı Topolog Kazimierz Kuratowski tarafından verilmiştir.

Yazının devamı için buraya tıklayınız...

Bir Kümeler Kuramı Teoremine Eşdeğer olan Topolojik Önerme

Bu konuşmada,bir Topoloji teoremi olan ünlü Parovicenko Teoremi ile Kümeler Kuramının ünlü ZFC + CH genişletilmiş Aksiyometik Modelinde bir teorem olan ünlü Kontinuum Varsayımının eşdeğer oldukları kanıtlanmaktadır. Bu şaşırtıcı eşdeğerliği Jan van Mill & Erik van Douwen ikilisi 1978 yılında kanıtlamıştır.

Yazı için buraya tıklayınız.