Kalıtımsal Ayrılabilir Non-Lindelöf Uzaylar

N. Ergun 

Kalıtımsal ayrılabilir, birinci sayılabilir ve non-Lindelöf olan T₃ uzaylar konusundaki yazımızı bekleyiniz.

Kalıtımsal Ayrılabilir Manifoldlar

N. Ergun

1930’ların başından beri Genel Topolojide her yetkin normal Manifoldun metriklenebilir olup olmadığı araştırılmıştır. Bu konuda, bizim Web sayfamızda, ZFS Aksiyomatik Modelinden tümüyle bağımsız olan çeşitli önermelerin varlığı kanıtlanmıştır.

Bu konu aslında 1974 yılında Reed&Zenor ikilisinin şu şaşırtıcı teoremi ile yeniden gündeme gelmiş olup, bu konuda onlarca yeni ve çağdaş sonuç bulunmuştur.

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

Lambert Teoremi

N. Ergun

Lambert Teoremi: π irrasyoneldir.

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

Reed & Zenor Teoremi

N. Ergun

Topolojnin 1930'ların başından beri gündeminde olan şu zorlu sorunun

Her yetkin normal yerel Öklidyen uzay(manifold) metriklenebilir midir?

sonunda 1979 yılında, aslında ZFS Aksiyomatik Modelinde kararlaştırılamaz bir soru olduğunun anlaşılmasına ulaşılan çözüm sürecinde olağanüstü rolü olan ünlü Reed & Zenor Teoreminin sağlıklı ve ayrıntılı kanıtlaması bu yazıda verilmiştir.

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

Delta-Dizgeleri Hakkında(Yeni)

N. Ergun

Topolojide Kararlaştırılamaz Önermeler başlıklı yazımızın en önemli kavramlarından birisi olacak olan Delta-Dizge'leri hakkında, bu yazıda temel bilgileri edinip, onlara ilişkin ve Amerika'lı Kenneth Kunen tarafından kanıtlanan temel teoremin bir versiyonunu bu yazıda ele almak istiyoruz Önce, aralarında ünlü Fodor Teoremi'nin yer aldığı gerekli bilgileri görelim.

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

Topolojide Kararlaştırılamaz Önermeler(SON)

N. Ergun

Mary Ellen Rudin'in olağanüstü bir makalesinden yararlanarak yazılan bu yazımızın tamamı için buraya tıklayınız.

ZFS Aksiyomları

N. Ergun

Bu kısa yazıda ZFS Aksiyomlarından ve ünlü Gödel Teoremi’nin neyi kanıtladığından söz açacağız.

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

Nicel Sayılar Aritmetiğinin Temel Teoremleri

N. Ergun

Okuyucunun bir X kümesinin |X| ile yazılan nicel sayısının (kardinalitesinin) tanımını bildiğini varsayıyoruz. Şunları bilmek yeterlidir: Ancak ve yalnız birebir bir f: X→Y fonksiyonu tanımlı olduğunda |X|≤|Y|, ancak ve yalnız hem bire-bir hem örten bir h: X→Y fonksiyonu tanımlı olduğundaysa |X|=|Y| yazılır. Örneğin ∀ n ∊ℕ için h(2n+1)=-n ve h(2n)=n ve ayrıca h(1)=0 tanımlanırsa, bu bire-bir ve örten h: ℕ→ℤ sayesinde kolayca |ℕ|=|ℤ| bulunur. Tanımlanmayan kavram ve semboller için Kaynakça[1]'e başvurulmalıdır.

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

Cebirin Temel Teoremi

N. Ergun

Bu yazıda, Matematik'in en olağanüstü sonuçlarından birisi olan Cebirin Temel Teoremi tıkızlık bilgisi yardımıyla kanıtlanacaktır.

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

Stone Teoremi, Yeniden

 N. Ergun

Topolojinin belki de en olağanüstü Örtülüş Teoremi olan ünlü Arthur H. Stone teoremi(1948) daha önce bu Web sayfasında pek çok kez ele alınmıştı. Onun önce 1955 yılında verilmiş değişik kısa bir kanıtlamasını, daha sonra büyük dahi Mary Ellen Rudin tarafından 1969 yılında verilen ingilizce kanıtlamasını sunuyoruz. Bu web sayfası okurlarının bu kanıtlamayı da okuyabilmesinin gerekli olduğuna inanıyoruz.

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