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

$\mathcal{P}(\mathbb{N})$ ile $\mathbb{N}$'nin güç (power) kümesini gösterelim. Bu durumda $\mathcal{P}(\mathbb{N})$ kümesinin öyle bir $\mathcal{F}$ alt kümesi var mıdır ki,

1) $\mathcal{F}$ kümesinin kardinalitesi (cardinality) $2^{\aleph_0}$ olsun,

2) $\mathcal{F}$ kümesinin herhangi iki elemanının kesişimi sonlu olsun.

Lisans Matematik kategorisinde (1.1k puan) tarafından  | 866 kez görüntülendi

Reel sayilarin her elemani icin (ya da sadece $(0,1)$ araligi icin) limiti bu reel sayi olan bir adet dizi secersek (secebilirsek) istenilenler saglanir. 

1) Kardinalitenin $2^{\mathcal N_0}$ olacagi asikar,
2) Her dizi ayri noktalara yakinsadigi icin kesisinleri sonlu olur.

$\mathcal P(\mathbb N)$ kumesinin dizilerle iliskisi icin: ilgili soru.

1 cevap

3 beğenilme 0 beğenilmeme

(Aşağıdaki çözüm fikir olarak Sercan'ın cevabı ile aslında aynı)

Sonlu 0-1 dizileri kümesinin de sayılabilir olduğu kolayca kanıtlanabilir. Bu kümeyi $2^{< \omega}$ ile gösterelim ve $g: 2^{< \omega} \rightarrow \mathbb{N}$ bir eşleme olsun.


$f: 2^{\mathbb{N}} \rightarrow \mathcal{P}(\mathbb{N})$ fonksiyonu $(a_i)_{i \in \mathbb{N}} \mapsto \{g((a_0,a_1,...,a_i)):i \in \mathbb{N}\}$ olarak tanımlansın. $f$ fonksiyonunun birebir olduğunu ve görüntüsünün istenilen özellikleri sağladığını kanıtlamak da okuyucuya egzersiz olsun!

(1.3k puan) tarafından 
20,263 soru
21,787 cevap
73,463 yorum
2,369,124 kullanıcı