Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
165 kez görüntülendi

Ali Nesin' Aksiyomatik Kümeler Kuramı okurken, Kofinallik diye bir kavramla karşılaştım, sezgisel olarak kümenin bitiş dilimi demek. Tanımı aşağıda. Anlamadığım şey şu, tanımı uygulayarak sonlu kümeler için de kofinal altkümeler bulabiliyorum, neden sadece limit ordinalleri denmiş?

Tanım(kofinallik):

$\alpha$ bir ordinal olsun ve $A\subseteq\alpha$ olsun. Eğer her $\beta\in\alpha$ için, $\beta\le \gamma$ eşitsizliğini sağlayan bir $\gamma\in A$ varsa, A'ya $\alpha$'nın kofinal altkümesi denir.

Denemem:

Sonlu $n$ elemanlı bir küme alalım( yani $n.$ ordinali ) ve $A= n$olsun. Her $\beta\in n$ için(burada $n$'den kastım $F=\{1,2,3,4,5....,n\}$ gibi bir küme) $A$'dan öyle $\gamma$lar seçerim ki hep $\beta$'dan büyük yada eşit olur : $\gamma=\beta$

Non-trivial olsun dersek eşit değil de kapsanan bir alt küme $A$ alırım, $A$'nın maximum elemanını seçerim $\gamma$ olarak, $\beta $ ne olursa olsun.


Neyi yanlış düşünüyorum?, limit kardinal olması neden gerekli.

Lisans Matematik kategorisinde (7.8k puan) tarafından  | 165 kez görüntülendi
19,697 soru
21,400 cevap
71,870 yorum
222,105 kullanıcı