Eastons teoremi - Eastons theorem - Wikipedia

İçinde küme teorisi, Easton teoremi olası bir sonuçtur Kardinal sayılar nın-nin güç kümeleri. Easton (1970) (sonucunu genişletme Robert M. Solovay ) aracılığıyla gösterdi zorlama 2 için izin verilen değerler üzerindeki tek kısıtlamaκ ne zaman κ bir düzenli kardinal vardır

(nerede cf (α) nihai olma nın-ninα) ve

Beyan

Eğer G bir sınıf işlevi kimin alanı oluşur sıra sayıları ve kimin aralığı sıra sayılarından oluşur ki

  1. G azalmıyor,
  2. nihai olma nın-nin daha büyüktür her biri için α alanında G, ve
  3. her biri için düzenli α alanında G,

o zaman bir ZFC modeli vardır ki

her biri için alanında G.

Easton teoreminin kullanımının kanıtı zorlama Birlikte uygun sınıf genelleştirilmiş süreklilik hipotezini tatmin eden bir model üzerinden koşulları zorlamak.

Teoremdeki ilk iki koşul gereklidir. Koşul 1, kardinalitenin iyi bilinen bir özelliğidir, koşul 2 ise König teoremi.

Easton modelinde güç kümeleri tekil kardinaller mümkün olan en küçük kardinaliteye sahip olmak 2κ eş sonlu κ 'den büyük ve azalan olmayan bir fonksiyondur κ.

Tekil kardinallere uzatma yok

Gümüş (1975) sayılamaz eş-sonluluğun tekil bir kardinalinin, en küçük kardinal olamayacağını kanıtladı. genelleştirilmiş süreklilik hipotezi başarısız. Bu, Easton teoreminin tüm kardinallerin sınıfına genişletilemeyeceğini gösterir. Programı PCF teorisi olası değerleri hakkında sonuçlar verir tekil kardinaller için . PCF teorisi, değerlerin süreklilik işlevi Tekil kardinallerde, daha küçük kardinallerdeki değerlerden güçlü bir şekilde etkilenir, oysa Easton teoremi, süreklilik fonksiyonunun değerlerinin düzenli kardinaller küçük kardinallerdeki değerlerden yalnızca zayıf bir şekilde etkilenir.

Ayrıca bakınız

Referanslar

  • Easton, W. (1970), "Düzenli kardinallerin yetkileri", Ann. Matematik. Mantık, 1 (2): 139–178, doi:10.1016/0003-4843(70)90012-4
  • Gümüş, Jack (1975), "Tekil kardinaller sorunu hakkında", Uluslararası Matematikçiler Kongresi Bildirileri (Vancouver, B.C., 1974), 1, Montreal, Que .: Canad. Matematik. Kongre, s. 265–268, BAY  0429564