N. Ergun
Okuyucunun bir X kümesinin |X| ile yazılan nicel sayısının (kardinalitesinin) tanımını bildiğini varsayıyoruz. Şunları bilmek yeterlidir: Ancak ve yalnız birebir bir f: X→Y fonksiyonu tanımlı olduğunda |X|≤|Y|, ancak ve yalnız hem bire-bir hem örten bir h: X→Y fonksiyonu tanımlı olduğundaysa |X|=|Y| yazılır. Örneğin ∀ n ∊ℕ için h(2n+1)=-n ve h(2n)=n ve ayrıca h(1)=0 tanımlanırsa, bu bire-bir ve örten h: ℕ→ℤ sayesinde kolayca |ℕ|=|ℤ| bulunur. Tanımlanmayan kavram ve semboller için Kaynakça[1]'e başvurulmalıdır.
Yazının devamı için buraya tıklayınız.
