Bagian 1.

3 Himpunan Hingga dan Tak Hingga

Ketika kita menghitung elemen dalam suatu himpunan, kita mengatakan ''satu, dua,
tiga, . . ,'' berhenti ketika kita telah menghabiskan set. Dari perspektif matematika, apa
yang kita lakukan adalah mendefinisikan a pemetaan bijektif antara himpunan dan
bagian dari himpunan bilangan asli. Jika himpunannya adalah sedemikian rupa
sehingga penghitungan tidak berakhir, seperti himpunan bilangan asli itu sendiri, maka
kita menggambarkan himpunan sebagai tak terbatas.

Gagasan tentang ''terbatas'' dan ''tak terhingga'' sangat primitif, dan sangat mungkin bahwa
pembaca belum pernah memeriksa gagasan ini dengan sangat hati-hati. Pada bagian ini kita akan
mendefinisikan istilah-istilah ini dengan tepat dan menetapkan beberapa hasil dasar dan
menyatakan beberapa hal penting lainnya hasil yang tampak jelas tetapi buktinya agak rumit.
Bukti-bukti ini dapat ditemukan di Lampiran B dan dapat dibaca nanti.
1.3.1 Definisi (a) Himpunan kosong ; dikatakan memiliki 0 elemen.
(b) Jika n 2 N, suatu himpunan S dikatakan memiliki n anggota jika terdapat bijeksi dari
himpunan tersebut
Nn :={1; 2; ... ;n} ke S.
(c) Suatu himpunan S dikatakan berhingga jika himpunan tersebut kosong atau memiliki n
anggota untuk suatu n∈N.
(d) Suatu himpunan S dikatakan tak hingga jika tidak berhingga.
Karena invers dari bijeksi adalah bijeksi, mudah untuk melihat bahwa himpunan S
memiliki n elemen jika dan hanya jika ada bijeksi dari S ke himpunan {1, 2, . , n}. Juga, karena
komposisi dua bijeksi adalah bijeksi, kita melihat bahwa himpunan S1 memiliki n elemen jika
dan hanya jika ada bijeksi dari S1 ke himpunan S2 lain yang memiliki n elemen. Selanjutnya,
himpunan T1 berhingga jika dan hanya jika terdapat bijeksi dari T1 ke himpunan lain T2 yang
berhingga.
Sekarang perlu untuk menetapkan beberapa sifat dasar himpunan hingga untuk
memastikan bahwa definisi tidak mengarah pada kesimpulan yang bertentangan dengan
pengalaman kami menghitung. Dari definisi, tidak sepenuhnya jelas bahwa himpunan hingga
mungkin tidak memiliki n elemen untuk lebih dari satu nilai n. Juga dimungkinkan bahwa
himpunan N :={2; 3; ...n} mungkin himpunan berhingga menurut definisi ini. Pembaca akan
merasa lega bahwa kemungkinan ini benar-benar terjadi tidak terjadi, seperti yang dinyatakan
oleh dua teorema berikutnya. Bukti dari pernyataan ini, yang menggunakan sifat dasar N yang
dijelaskan dalam Bagian 1.2, diberikan dalam Lampiran B.
1.3.2 Teorema Keunikan Jika S suatu himpunan berhingga, maka banyaknya anggota S adalah
a nomor unik di N
1.3.3 Teorema Himpunan N bilangan asli adalah himpunan tak hingga.
Hasil berikutnya memberikan beberapa sifat dasar dari himpunan berhingga dan tak hingga.
1.3.4 Teorema (a) Jika A suatu himpunan dengan m anggota dan B adalah himpunan dengan n
anggota dan jika A ∩ B = 𝜙 maka A ⋃ B memiliki m + n elemen.
(b) Jika A adalah himpunan dengan m∈N anggota dan C⊆A adalah himpunan dengan 1
anggota, maka A\C adalah himpunan dengan m-1 elemen.
(c) Jika C himpunan tak hingga dan B himpunan berhingga, maka C\B himpunan tak hingga.

Bukti. (a) Misalkan f adalah bijeksi Nm ke A, dan misalkan g bijeksi Nn ke B. Kita tentukan h
pada Nm+n dengan h(i) := f (i) untuk i = 1; ... m dan h(i) := g(i-m) untuk i = m+1; ... m+n. Kami
meninggalkannya sebagai latihan untuk menunjukkan bahwa h adalah bijeksi dari Nm+n ke
A⋃B.
Pembuktian bagian (b) dan (c) diserahkan kepada pembaca, lihat Latihan 2.
Tampaknya ''jelas'' bahwa himpunan bagian dari himpunan berhingga juga berhingga, tetapi
asersi harus disimpulkan dari definisi. Ini dan pernyataan yang sesuai untuk himpunan tak hingga
adalah didirikan berikutnya.
1.3.5 Teorema Misalkan S dan T adalah himpunan dan T⊆S.
(a) Jika S adalah himpunan berhingga, maka T adalah himpunan berhingga.
(b) Jika T himpunan tak hingga, maka S himpunan tak hingga.

Bukti. (a) Jika T= 𝜙 kita telah mengetahui bahwa T adalah himpunan berhingga. Dengan
demikian kita dapat menduga bahwa T ≠𝜙Buktinya adalah dengan induksi pada jumlah elemen
di S.
Jika S memiliki 1 elemen, maka satu-satunya subset tak kosong T dari S harus bertepatan
dengan S, jadi T adalah suatu himpunan terbatas.
Misalkan setiap himpunan bagian tak kosong dari suatu himpunan dengan k elemen adalah
berhingga. Sekarang biarkan S menjadi himpunan yang memiliki k+1 elemen (sehingga terdapat
bijeksi f dari Nk+1 ke S), dan misalkan T⊆S. Jika f (k+1)∉T, kita dapat menganggap T sebagai
himpunan bagian dari S1 := S\{ f (k+1) yang memiliki k elemen dengan Teorema 1.3.4(b). Oleh
karena itu, dengan hipotesis induksi, T adalah himpunan hingga.
Sebaliknya, jika f (k+1)∈T, maka T1 := T\{f(k+1)} adalah himpunan bagian dari S1.
Sejak
S1 memiliki k elemen, hipotesis induksi menyiratkan bahwa T1 adalah himpunan hingga. Tapi
ini menyiratkan bahwa T=T1⋃{f (k+1)} g juga merupakan himpunan berhingga.
(b) Pernyataan ini merupakan kontraposisi dari pernyataan dalam (a). (Lihat Lampiran A untuk
diskusi tentang kontrapositif.)
Set yang Dapat Dihitung
Kami sekarang memperkenalkan jenis penting dari himpunan tak terbatas.
1.3.6 Definisi (a) Suatu himpunan S dikatakan denumerable (atau tak terhingga) jika ada ada
bijeksi N ke S.
(b) Suatu himpunan S dikatakan dapat dihitung jika himpunan itu berhingga atau dapat
disebut.
(c) Himpunan S dikatakan tak terhitung jika tak terhitung.
Dari sifat-sifat bijeksi, jelas bahwa S dapat didenumerisasi jika dan hanya jika ada ada
bijeksi S ke N. Juga himpunan S1 dapat didenumerisasi jika dan hanya jika ada a bijeksi dari S1
ke set S2 yang denumerable. Selanjutnya, himpunan T1 dapat dihitung jika dan hanya jika
terdapat bijeksi dari T1 ke himpunan T2 yang dapat dihitung. Akhirnya, tak terbatas set yang
dapat dihitung.