Çöken cebir - Collapsing algebra

Matematikte bir çöken cebir bir tür Boole cebri bazen kullanılır zorlama boyutunu küçültmek ("daraltmak") için kardinaller. pozlar çöken cebirler oluşturmak için kullanılan Azriel Lévy 1963'te.[1]

Λ'nın çöken cebiriω bir tam Boole cebri en az λ elemanlı ancak sayılabilir sayıda eleman tarafından üretilmiştir. Sayılabilir şekilde üretilmiş tam Boole cebirlerinin boyutu sınırsız olduğundan, bu, Bedava sayılabilir sayıda eleman üzerinde tam Boole cebri.

Tanım

Çok az farklı çöken cebir türü vardır.

Κ ve λ kardinal ise, Boole cebri düzenli açık setler of ürün alanı κλ çökmekte olan bir cebirdir. Burada κ ve λ'nın her ikisine de ayrık topoloji. Κ'nin topolojisi için birkaç farklı seçenek vardır.λ. En basit seçenek, olağan ürün topolojisini kullanmaktır. Diğer bir seçenek de, değeri λ'nın λ'dan daha az olan elemanlarında belirtilen fonksiyonlardan oluşan açık kümeler tarafından üretilen topolojiyi almaktır.

Referanslar

  1. ^ Lévy 1963, s. 593.
  • Bell, J.L. (1985). Küme Teorisinde Boole Değerli Modeller ve Bağımsızlık Kanıtları. Oxford Mantık Kılavuzları. 12 (2. baskı). Oxford: Oxford University Press (Clarendon Press). ISBN  0-19-853241-5. Zbl  0585.03021.
  • Jech, Thomas (2003). Küme teorisi (üçüncü milenyum (revize edilmiş ve genişletilmiş) ed.). Springer-Verlag. ISBN  3-540-44085-2. OCLC  174929965. Zbl  1007.03002.
  • Lévy, Azriel (1963). "Bağımsızlık, Cohen'in yöntemiyle küme teorisiyle sonuçlanır. IV,". Bildirimler Amer. Matematik. Soc. 10.CS1 bakimi: ref = harv (bağlantı)