Sayılabilir Kümeler

Question

$A$ bir küme olsun. Şu önermeyi kanıtlayın:

$A$ sayılabilirdir ancak ve ancak ya $A=\varnothing$ ya da $\mathbb{N}$'den $A$'ya örten bir fonksiyon vardır. 

Comments

PEKI SAYILABILIR KUME TANIMINI NASIL YAPIYORSUN?

---

Tanim1: İki kume arasinda birebir ve orten bir fonksiyon varsa bu kumelere essayili diyelim. Tanim2: A bir kume olsun. A ya sayilabilir diyelim eger A sonlu elemanliysa ya da $\mathbb{N}$ ile essayili ise.