Sonsuz küme nasıl tanımlanabilir

0 beğenilme 0 beğenilmeme
67 kez görüntülendi

  1. Sonsuz küme nedir?
  2. Yaptığınız tanıma göre $\mathbb N$ ve $\mathbb Z$ kümelerinin sonsuz kümeler olduklarını gösteriniz. 
8, Mart, 8 Lisans Matematik kategorisinde Cenk Turgay (207 puan) tarafından  soruldu

1 cevap

0 beğenilme 0 beğenilmeme

Öncelikle denk küme tanımını hatırlayalım:

Tanım: $X$ ve $Y$ herhangi iki küme olmak üzere bu iki küme arasında en az bir tane bijektif (birebir örten) bir fonksiyon varsa bu kümelere denk kümeler diyoruz ve $X\sim Y$ ile gösteriyoruz. Biçimsel olarak $$X\sim Y:\Leftrightarrow \{f|f:X\to Y \text{ bijektif}\}\neq\emptyset.$$ şeklinde yazılır.

Tanım: $X$ herhangi bir küme olmak üzere eğer $X$ kümesi en az bir öz altkümesine denk ise $X$ kümesine sonsuz küme denir. Biçimsel olarak

$$X \text{ sonsuz (küme)}:\Leftrightarrow \left(\exists A\in 2^X\setminus \{X\}\right)(X\sim A)$$ şeklinde yazılır.

Bu tanıma göre $$2\mathbb{N}:=\{2n|n\in\mathbb{N}\}\subseteq \mathbb{N}$$ olmak üzere $$\mathbb{N}\sim 2\mathbb{N}$$ olduğundan doğal sayılar kümesi sonsuz bir kümedir. $\mathbb{N}$ kümesi ile $2\mathbb{N}$ kümesi arasında bijektif bir fonksiyon yazma kısmını size bırakıyorum. 

Benzer şekilde $$\mathbb{N}\sim\mathbb{Z}$$ olduğunu $\mathbb{N}$ kümesi ile $\mathbb{Z}$ kümesi arasında bijektif bir fonksiyon bularak gösterebilirsiniz.

11, Mart, 11 murad.ozkoc (9,385 puan) tarafından  cevaplandı
11, Mart, 11 murad.ozkoc tarafından düzenlendi
...