Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
190 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  | 190 kez görüntülendi
19,857 soru
21,495 cevap
72,264 yorum
601,286 kullanıcı