5.1 Ketakberhinggaan
Kita ingat kembali bahwa dua himpunan S dan T equipoten jhj dapat ditemukan
suatu fungsi bijektif diantara dua himpunan itu. Sekarang disajikan dua definisi
sebaliknya, yaitu dimulai dengan suatu definisi himpunan tak berhingga dengan
Definisi 1 :
Suatu himpunan S disebut berhingga atau induktif jika dan hanya jika S
ekuipoten dengan suatu himpunan bagian sejati dari himpunan bilangan- bilangan asli,
yaitu apabila ada bilangan asli n sedemikian sehingga S memuat n anggota. Apabila
Definisi 2 :
Suatu himpunan S disebut tak-berhingga atau refleksif jika dan hanya jika S
ekuipoten dengan himpunan bagian sejati dari diri sendiri. Apabila tidak demikian maka
5.2 Denumerabilitas
Definisi :
Contoh :
dibawah ini.
1 2 3 4 5 6 7... n...
2 4 6 8 10 12 14 . . . 2n . . .
Teorema 1.
Bukti :
Perhatikan bahwa dimungkinkannya menggunakan himpunan indeks I = {1,2,3, }
denumerabel. Jadi S = { s1, s2, s3, . . . }, misalnya kepada S ditambahkan p1, p2, . . . pn .
Maka S1 = { p1, p2, . . . pn, s1, s2, . . .}. Suatu enumerasi didapat demikian
S1 : s1 s2 s3 . . . sn sn+1 sn+2
S : p1 p2 p3 . . . pn s1 s2
Teorema 2.
himpunan denumerabel.
A : a1 a2 a3 . . .
B : b1 b2 b3 . . .
Suatu enumerasi dari A B adalah a1, b1, a2, b2, a3, . . . yang didapat dengan mengikuti lintasan anak panah.
Teorema 3.
himpunan denumerabel.
A A A . . . A . . . : a ,a, a, a, a, . . .
Catatan
dua indeks, yaitu indeks pertama sama dengan indeks dari himpunannya, sedangkan
Teorema 4.
1 2 3 4 5 6 ...
Definisi :
Catatan
Contoh-Contoh Soal
Jawab :
f(x) = 2x. Karena setiap anggota yang berbeda dari A dipasangkan dengan
anggota yang berbeda dari B, dan semua anggota B akan menjadikan pasangan
anggota A, maka A B.
Jawab :
Pada K atau M atau N dapat dibuat fungsi f(n) =an yang domainnya adalah himpunan
bilangan asli, sehingga menjadi barisan infinit a1, a2, a3, . . . . Jika an merupakan elemen-
elemen yang berbeda, maka fungsi itu merupakan fungsi satu-satu dan onto.
1) Himpunan S disebut berhingga atau induktif jika dan hanya jika S ekuipoten dengan
suatu himpunan bagian sejati dari himpunan bilangan- bilangan asli, yaitu apabila
disebut non-denimerabel.
Latihan Soal-Soal
2) Buktikan bahwa :
atau denumerabel.
1 2 3 4 5 6 7
0 1 -1 2 -2 3 -3
denumerabel. Buktikan!.
7) Buktikan bahwa himpunan semua himpunan berhingga yang terdiri dari bilangan-