BILANGAN KARDINAL

1. Himpunan Ekivalen Untuk dua himpunan berhingga sebarang, kita dapat menentukan apakah dua himpunan tersebut mempunyai elemen yang sama banyak atau tidak, dengan cara menghitung banyaknya elemen dalam setiap himpunan. Untuk himpunan tak hingga perlu didefinisikan dua himpunan dikatakan mempunyai elemen yang sama banyaknya supaya kedua himpunan disebut ekivalen, yakni seperti yang akan dibicarakan pada bab ini. Definisi 7.1 Misalkan A dan B dua himpunan, dikatakan korespondensi satu-satu antara A dan B atau dikatakan A ekivalen dengan B ditulis A B, jika terdapat sebuah fungsi f: AB dengan f fungsi satu-satu kepada. Contoh 7.1 Misalkan A = {1,2,3,4} dan B = {2,4,6,8} dan misalkan f: AB adalah fungsi yang didefinisikan oleh f(x)= 2x maka f adalah fungsi satu-satu kepada. Misalkan P = {0, 1} dan Q={3, 5} dan misalkan f: PQ adalah fungsi yang didefinisikan oleh f (x) = 2x +3 maka f adalah fungsi satu-satu kepada.
PDM: Sugiarto, Isti Hidayah

2. Himpunan Tak Hingga Biasa dan Tak Hingga Dedekind Definisi 7.2 Misalkan S suatu, himpunan, maka S disebut himpunan berhingga, jika dan hanya jika ada suatu bilangan asli k, sehingga S ek Nk. Datum hal ini S dikatakan mempunyai k buah unsur. Dalam hal yang lain dikatakan bahwa S suatu himpunan tak hingga. Catatan Nk = {1, 2, 3, ...,k} Menurut definisi 7.2, himpunan N himpunan tak hingga. Definisi 7.3 Misalkan S suatu himpunan, maka S disebut himpunan tak hingga jika S mempunyai suatu himpunan bagian murni S* sedemikian hingga S.ek S*. Dalam hal yang lain S disebut himpunan berhingga. Catatan: Tak hingga menurut definisi 7.2 disebut "tak hingga biasa". Tak hingga menurut definisi 7.3 disebut "tak hingga Dedekind".

Page 62

Menurut definisi 7.3, himpunan semua bilangan asli N adalah himpunan tak hingga, sebab: N-{1} N (subset murni dari N), dan N ek N - {1}. Hal ini dapat ditunjukkan sebagai berikut: N : 1 2 3 3 4 4 5 ...

Ternyata K ekivalen dengan N, jadi K himpunan terbilang. Contoh 7.3 Misalkan Q himpunan semua bilangan rasional, tunjukanlah bahwa Q himpunan terbilang! Penyelesaian: Disefinisikan dahulu bahwa bilangan rasional adalah suatu bilangan yang berbentuk p/q dengan p dan q bilangan bulat, q>0, serta p dan q koprima (tidak mempunyai faktor persekutuan). Untuk semua bilangan bulat a/1 ditulis dengan a, dan 0 ditulis dengan 0/1. Bilanganbilangan rasional tersebut dapat dikelompokkan menurut indeks yang didefinisikan sebagai berikut: Indeks dari p/q = |p| + q, dengan demikian didapat: Indeks 1 memuat: 0, sebab p = 0, q = 1, |p| + q = 1. Indeks 2 memuat: -1, 1, Indeks 3 memuat: -1/2, 1/2, -2, 2, Indeks 4 memuat: -1/3, 1/3, -3, 3, Indeks 5 memuat: -1/4, 1/4, -2/3, 2/3, 3/2, 3/2, -4,.4. dan seterusnya. Tampak bahwa setiap indeks memuat bilangan-bilangan yang terhingga banyaknya. Sebaliknya setiap bilangan rasional mempunyai indeks tertentu. Urutan penulisan bilangan-bilangan di dalam kelompok adalah sedemikian hingga bilanganbilangan yang nilai mutlaknya lebih kecil mendahului bilangan yang nilai mutlaknya lebih besar. Untuk sepasang bilangan rasional yang nilai mutlaknya sama,
Page 63

N {1} : 2

3. Himpunan Terbilang dan Himpunan Tak Terbilang a. Himpunan Terbilang Definisi 7.4 Suatu himpunan S disebut terbilang jika dan hanya jika S ekivalen dengan N himpunan semua bilangan asli.

Contoh 7.2 1) Selidikilah apakah himpunan semua bilangan bulat adalah himpunan terbilang? Penyelesaian: N: 1 2 3 4 5 6 | | | | | | Z : 0 -1 1 -2 2 -3 ... Ternyata Z ekivalen dengan N, jadi Z himpunan terbilang. 2) Misalkan K adalah himpunan semua bilangan kelipatan k, Selidikilah apakah K himpunan terbilang? Penyelesaian: N: 1 2 | | K : 0 -k 3 4 5 6 7 | | | | | k -2k 2k -3k 3k ...

PDM: Sugiarto, Isti Hidayah

maka bilangan negatif mendahului bilangan positif. Dengan cara demikian diperoleh barisan panjang sebagai berikut. 0, -1, 1, -1/2, 1/2, -2, 2, -1/3, 1/3, -3, 3, -1/4, 1/4, -2/3, 2/3, -3/2, 3/2, -4, 4, .... Unsur-unsur barisan tersebut dapat dinomori sehingga bariszin tersebut ekivalen dengan N. Jadi himpunan semua bilangan rasional Q adalah himpunan terbilang. Contoh 7.4 Misalkan Q adalah himpunan semua bilangan rasional, buktikanlah bahwa Q adalah himpunan terbilang. Bukti: Disefinisikan dahulu bahwa bilangan rasional adalah suatu bilangan yang. berbentuk p/q dengan p dan q bilangan bulat, q > 0, serta p dan q koprima (tidak mempunyai faktor persekutuan). Untuk semua bilangan bulat a/1 ditulis dengan a, dan 0 ditulis dengan 0/1. Bilanganbilangan rasional tersebut dapat dikelompokkan menurut indeks yang didefinisikan sebagai berikut:
Indeks Persamaan 2 x=0 3 x+1=0, x-1=0 2x = 0 2 X =0 4 3x = 0 2x +1 = 0 , 2x - 1 = 0 2 x -i=0 3 x =0 t d k Akar 0 -1,1 0 0 0 -1/2, 1/2 -1,1 0 Ket ya ya tdk tdk tdk ya tdk

x+2=0, x-2 = 0 4x = 0 3x+I = 0 , 3x-1 = 0 2 x -2 = 0 2x+2 = 0, 2x-2 = 0

-2,2 0 -1/3, 1/3 - , -2, 2

ya tdk ya ya tdk

dan seterusnya. Dapat dikatakan bahwa setiap persamaan aljabar mempunyai indeks tertentu clan sebaliknya setiap inde ks menunju k be berapa pe rsamaan yang banyaknya berhingga. Akar-akar persamaan aljabar tersebut diurutkan sedemikian hingga didapat barisan Sebagai berikut: 0, -1, 1, -1/2, 1/2, -1/3, 1/3. Barisan tersebut dapat dikorespondensikan satu-satu dengan himpunan N. Ini berarti bahwa himpunan semua bilangan aljabar real terbilang. Catatan: Himpunan semua bilangan aljabar kompleks (real dan imajiner) juga terbilang. Teorema 7.1 Jika A dan B himpunan berhingga maka A B suatu himpunan berhingga. Bukti: Misalkan A = {a1, a2, a3, , an}, B= {b1, b2, b3, ..., b m} A B = {a1, a2, a3, , an, b2, b3, , bm} Jika b, diganti a n+1, maka didapat: A B {a1, a2, a3, , an, an+1, an+2, an+3, , an+m}. Ternyata A B ekivalen dengan N n+m jadi A B himpunan berhingga.
Page 64

PDM: Sugiarto, Isti Hidayah

Teorema 7.2 Jika A himpunan terbilang dan B himpunan berhingga maka A B himpunan terbilang.

Bukti: Misalkan A = {a1, a2, a3, ..., an, }, B = { b1, b2, b3, ..., b k} Jika a1 pada A diganti dengan b k+1, maka didapat: A B = { b1, b2, b3, , b k, bk+1, bk+2, , bk+n, } Maka A B ekivalen dengan N, jadi A B himpunan terbilang. Teorema 7.3 Jika A himpunan terbilang dan B himpunan terbilang maka A B himpunan terbilang.

maka S = {a 1} dan ekivalen dengan N 1 yang berarti S himpunan berhingga, hal ini tidak benar. Jadi haruslah ada a 2 S - {a 1} juga S - {a 1 } tidak kosong. Proses ini dapat diteruskan tanpa akhir. Jika unsur-unsur a1, a2, a3, , an telah terpilih, maka masih ada suatu an+1 S - {a1, a2, a3, , an} sehingga S - {a1, a2, a3, , an} tak kosong dan seterusnya. Misalkan S*= {a1, a2, a3, , an, } jelaslah bahwa S* suatu subset dari S yang terbilang (S - S* mungkin saja kosong). Dengan ini teorema 7.4 terbukti. Teorema 7.5 Jika A1, A2, , An masing-masing himpunan terbilang maka A1 A2 An himpunan terbilang. Bukti: Kita nyatakan unsur-unsur A i sebagai a il, a i2, a i3, untuk i = 1, 2, 3, ..., n. Didefinisikan indeks p untuk unsur sebagai suatu bilangan bulat positif p = i + k. Dengan demikian p 2, sehingga didapat: Indeks 2 memuat a 11. Indeks 2 memuat a12, a21. Indeks 2 memuat a13, a22, a31. Indeks 2 memuat a14, a23, a32, a41. dan seterusnya. Setiap dari gabungan mempunyai indeks tertentu dan sebaliknya pada setiap indeks p2 terdapat sejumlah unsur yang berhingga banyaknya. Jadi setiap indeks menentukan suatu kelompok unsur-unsur yang sama indeksnya, dan unsur-unsur di dalam masing-masing kelompok juga
Page 65

Bukti: Misalkan A = {a 1, a2, a3, ...}, B = {b1, b2, b3, ...} Maka A B = { a 1 , b 1 , a 2 , b2, a3, b3, ...}. Himpunan A B ekivalen dengan N. Jadi A B himpunan terbilang. Teorema 7.4 Setiap himpunan tak hingga mempunyai suatu subset yang terbilang. Bukti: Misalkan S himpunan tak hingga, jadi tak kosong. Maka ada a 1 S demikian juga S - {a 1} tak kosong, sebab sekiranya kosong
PDM: Sugiarto, Isti Hidayah

diurutkan. Pada indeks p=i+k terdapat (p-1) atau (i+k-1) buah unsur yang kita urutkan sebagai berikut: a1,i+k-1, a2,i+k-2, , ai+k-1,1, Perhatikanlah indeks dari a, indeks pertama naik dari 1 sampai dengan sedangkan indeks ke dua turun dari (i+k-1) sampai 1, namun jumlah kedua indeks tetap p=i+k. Jika semua unsur gabungan dari n buah himpunan A tersebut dibariskan didapat barisan sebagai berikut. a11, a12, a21, a13, a22, a31, a14, a23, a32, a41, Jelas bahwa semua unsur dari A1 A2 ... An tersebut di atas ekivalen dengan semua unsur dari N. Jadi A 1 A 2 A n adalah himpunan terbilang. Teorema 7.6 Misalkan suatu koleksi terbilang dari himpunan-himpunan terbilang, maka gabungan semua unsur koleksi tersebut adalah himpunan terbilang. Teorema 7.7 Jika S suatu himpunan tak hingga dan S' suatu himpunan terbilang, maka ada korespondensi satu-satu antara S dan S S'.

S S' = (M S*) S' = M (S* S') S' dan S* masing-masing himpunan terbilang, maka menurut teorema 7.6 S* S' himpunan terbilang. Bandingkan kedua himpunan S=M S* dan S S'=M (S S'). Ada korespondensi satu-satu T1 : MM dan T2: S*(S* u S'). Gabungan kedua korespondensi ini memberikan korespondensi satusatu antara M S* dan M (S* S'). Ini berarti ada korespondensi satusatu antara S dan S S'. Dengan ini teorema terbukti. b. Himpunan Tak Terbilang Definisi 7.5 Jika S suatu himpunan tak hingga dan tidak ada korespondensi .satu-satu antara S dan N, maka dikatakan S suatu himpunan tak terbilang.

Bukti: Diketahui S adalah himpunan tak hingga, dan S' himpunan terbilang. Menurut teorema 7.8 S mengandung subset terbilang S. Misalkan M = SS* maka S* dan M saling asing dan S = M S*.
PDM: Sugiarto, Isti Hidayah

Contoh 7.5 Misalkan R himpunan semua hilangan real, maka R adalah himpunan tak terbilang, buktikanlah: Bukti: Misalkan R adalah himpunan yang dapat ditulis dengan pecahan desimal tanpa akhir, sedemikian hingga tidak terdapat digit c 0 yang diikuti oleh berhingga banyaknya digit nol. Jadi 0,5 atau diganti 0,4999..., dan 7 diganti 6,999.... Misalkan r menyatakan bilangan real, maka: r =k 1 k 2 k 3 k n , a 1 a 2 a 3 a n bagian bulat bagian desimal

Page 66

Umpamakan R adalah himpunan terbilang, yang berarti ekivalen N. Jadi R dapat dibariskan sebagai berikut: r1 = B1, a11 a12 a13 a14 a15 r2 = B2, a21 a22 a23 a24 a25 r3 = B3, a31 a32 a33 a34 a35 r 4 =B 4, a41 a42 a 13 a44 a45 r 5 = B5, a 51 a 52 a 53 0554 a 55 Perhatikanlah digit-digit yang terletak pada diagonal utama matriks di atas. Dibentuk suatu bilangan real r* sebagai berikut. r* = B*, b1 b2 b3 b4 b5 dengan bi = 1 jika aii 1 bi = 2 jika aii = 1 Ini berarti bahwa b i = ai; i N. Juga r*r i i N. Kita lihat bahwa: a. r* suatu bilangan real yang berarti r* terdapat pada matriks tersebut di atas, atau r* = ri untuk i tertentu. b. Dilain pihak r* berbeda dengan setiap r, dari matriks. Ini berarti r* tidak terdapat. dalam matriks. Hal di atas adalah suatu kontradiksi yang tidak dapat diterima. Hal ini muncul karena kita misalkan R terbilang. Kesimpulan R haruslah himpunan tak terbilang. (cara ini disebut metode Diagonal Cantor). Contoh 7.6 Misalkan I adalah himpunan semua bilangan irasional, maka I adalah himpunan tak terbilang, buktikanlah! Bukti:

Misalkan R adalah himpunan semua bilangan real, Q himpunan semua bilangan rasional, dan I himpunan semua bilangan rrasional, maka R = Q I. Jelas bahwa Q dan I dua himpunan yang saling lepas. Misalkan I himpunan terbilang. Menurut contoh 7.3, Q himpunan terbilang, oleh karena itu menurut teorema 7.6, Q I himpunan terbilang. Ini berarti R himpunan terbilang, hal ini suatu kontradiksi dengan contoh 7.5. Jadi haruslah I himpunan tak terbilang. 4. Bilangan Kardinal Definisi 7.6 Jika A dan B dua himpunan sedemikian hingga A ekivalen B maka dikatakan bahwa A dan B mempunyai bilangan kardinal yang sama atau mempunyai kardinalitas yang sama.

Definisi 7.7 Bilangan kardinal dari setiap himpunan {}, {1}, {1,2}, {1,2,3}, {1,2,3,4}, ... berturutturut dinyatakan oleh 0, 1, 2, 3, 4, ... dan dinamakan bilangan kardinal berhingga (finite Cardinal).

Bilangan kardinal dari himpunanhimpunan hingga sering disebut juga banyaknya unsur.

PDM: Sugiarto, Isti Hidayah

Page 67

a. Bilangan Kardinal Transfinit Definisi 7.8 Bilangan kardinal dari himpunan terbilang dinyatakan dengan 0 yang dibaca alef nol, dan dinamakan bilangan kardinal tak hingga atau bilangan kardinal transfinit.

b. Teorema Schroder Bernstein Definisi 7.9 Jika A dan B dua himpunan sedemikian hingga ada korespondensi satu-satu antara A dan suatu subset B1 dari B dan sebaliknya terdapat korespondensi satu-satu antara B dan subset AI dari A maka kard. (A) = kard. (B). Definisi 7.10 Misalkan A dan B dua himpunan, a. Jika A ekivalen dengan suatu subset dari B maka dikatakan kard. (A) kard. (B). b. Jika A ekivalen dengan suatu subset dari B, tetapi tidak berkiku sebaliknya maka dikatakan kard. (A) = kard. (B). Contoh 7.7 Di antara pernyataan berikut manakah yang benar: a. kard. (R) < kard. (N) b. kard. (R) = kard. (N) c. kard. (R) > kard. (N) Penyelesaian: N himpunan terbilang dan R himpunan tak terbilang, N ekivalen Q padahal Q subset dari R, tetapi tidak ada subset N 1 dari N sehingga R ekivalen N 1. jadi menurut definisi 7.18(b) maka dapat disimpulkan kard.(N) < kard.(R) atau 0 < c.

Dari definisi 7.6 dan definisi 7.7 didapat: Bilangan kardinal dari N atau ditulis kard. (N) dan semua himpunan yang ekivalen dengan N sama dengan 0, dengan demikian kard. (Q) = kard. (A) kard. (N) = 0, dengan Q dan A berturut-turut himpunan semua bilangan rasional dan semua bilangan aljabar. Telah kita ketahui bahwa himpunan semua bilangan real R tak terbilang. Bilangan kardinal dari R. disebut c. Jadi kard. (R) = c, juga disebut bilangan kardinal transfinit. Bilangan real yang bukan bilangan aljabar disebut bilangan transeden. Contoh bilangar transeden antara lain: , e, log 2, sin 27 0. Jika T adalah himpunan semua bilangan transeden, maka R = A T. Seperti contoh 7.6 dapat dibuktikan T himpunan tak terbilang. Dengan demikian dapat disimpilkan bahwa kard. (1) = kard. (T) = kard. (R) = c.

PDM: Sugiarto, Isti Hidayah

Page 68

Teorema 7.8 Jika S himpunan tak terbilang maka kard. (S) < kard. ( (S)). Bukti: Andaikan S himpunan tak kosong, T = {0, 1}. S' suatu subset dari S. Didefinisikan suatu fungsi f: ST, sebagai berikut: Jika x S' maka f(x) = 1, dan Jika x S' maka f(x) = 0. Ini dapat dilakukan dengan subset lain dari S. Dari definisi ini jelaslah bahwa setiap subset S' dari S menentukan fungsi f dari S ke dalam T. Fungsi ini disebut fungsi karakteristik. Menurut definisi di atas S sendiri dikaitkan dengan I sebab S S, sedangkan himpunan {} dikaitkan dengan 0 sebab {} S. Sebaliknya setiap fungsi karakteristik menentukan subset S' dari S yang unsur-unsurnya dikaitkan dengan 1. Oleh karena itu ada korespondensi satu-satu antara himpunan kuasa (S) dan E himpunan semua fungsi karakteristik dari S ke dalam T. Jadi dapat dikatakan (S) ekivalen . Selanjutnya akan dibuktikan kard. (S) < kard. ( (S)). Langkah 1 Akan dibuktikan kard. (S) kard. ( (S)). Umpamakan bahwa kard. (S) = kard. ( (S)), maka ada korespondensi satu-satu xSx, jadi ada ekivalensi antara S dan ( (S)). Disefinisikan subset S* dari S sebagai berikut:
PDM: Sugiarto, Isti Hidayah

a S* jhj a Sa, a S, artinya jika a=Sa maka a S*. Karena S* juga suatu subset dari S maka ada korespondensi satu-satu: xSx. Jadi S* = Sr untuk suatu rS, koresp. (1,1): rSr, maka berlaku r S* jhj r S, atau r Sr jhj r S, (karena S* = Sr). Ini suatu kontradiksi. Jadi haruslah kard.(S) < kard.( (S)) Langkah 2 Dibuktikan kard.(S) < kard.( (S)). Ada koresp. (1,1): x*{x}, yaitu koresp. (1,1) antara S dan koleksi subset-subset dari S yang hanya mempunyai satu unsur. Ini berarti ada koresp. (1,1) antara S dan subset murni (S). Jadi menurut teorema 7.8 kard.(S) < kard.( (S)). c. Ketidaksamaan Bilangan Kardinal Transfinit Pada contoh 7.7 telah dibahas bahwa 0 < c. Jika kard.(-(R)) = f, dengan R adalah himpunan semua bilangan real, maka menurut teorema 7.18 kard.(R) < kard.( (R)). Ini berarti bahwa C < f. Proses ini dapat diteruskan tanpa berhenti. Setiap pada suatu bilangan kardinal, dapat diperoleh suatu bilangan kardinal yang lebih besar. Sebagaimana juga halnya dengan himpunan N, sebab setiap n ada suatu (n + 1) yang lebih besar. Maka diperoleh suatu ketidaksamaan sebagai berikut: c< 0<c<f< Pada bilangan kardinal berhingga berlaku bahwa n N maka < 2n.

Page 69

Teorema 7.9 Bagi setiap bilangan kardinal berlaku bahwa < :

Bukti: Misalkan fungsi karakteristik f: ST = {0, 1}. Himpunan semua fungsi karakteristik dilambangkan dengan {0,1}S disingkat dengan 2S. S' suatu subset dari S. Kard. ( ) = kard. (2S), ditulis dengan 2kard.S . Jika kard. (S) = sedangkan menurut teorema 7.15 kard. (S) < kard. ( (S)), kard. ( (s)) = kard. ( ). Jika kard. (S) < kard. ( ) atau kard. (S) < 2kard.S. Ini berarti bahwa < . d. Relasi Antara c dan 2, f dan 22 Pada pembahasan ini akan ditunjukkan bahwa e= . Misalkan E = {x| 0<x1, x R}, maka kard. (E) = kard. (R). Jika setiap bilangan real dalam E dinyatakan dalam pecahan biner, maka dapat ditunjukkan bahwa setiap bilangan 0, a1, a2, a3, ,an yang mengandung bilangan asli n, jhj an = 1. Sebagai contoh 0,101100010 ... E {1,3,4,8, ...} N sebaliknya pula setiap subset dari N menunjuk kepada bilangan real 0, a1, a2, a3, ..., di mana an = 1 jhj n terkandung dalam subset tersebut. Jadi ada korespondensi 1-1 antara E dan himpunan semua pecahan-pecahan biner yang tanpa akhir.

Catatan: Pecahan 0, a1, a2, a3, ..., an ... mengandung digit-digit yang tak berakhir dan digit-digit yang berakhir. Suatu bilangan rasional 0, 1 dan E dapat dinyatakan sebagai 0,01111 ... yang menyatakan bilangan . Oleh karena himpunan bilangan rasional dalam E terbilang, sedangkan himpunan bilangan real dari E adalah tak terbilang maka pecahan-pecahan biner yang berakhir ini tidak akan mempengaruhi kard(E). Jadi ada korespondensi 1-1 antara E dan (N). Jadi dapat ditulis: c = , dan juga f = 2kard(R) = 2c = sebagai berikut. . Jadi didapat relasi < <.

0 < c < f < atau 0 <

e. Proplema Continum Masalah yang timbul, apakah ada suatu bilangan kardinal transfinit antara 0 dan ? Pertanyaan ini disebut proplema Continum. Sampai saat ini pertanyaan tersebut belum dapat dijawab. Tetapi keras sekali dugaan dari para ahli bahwa pertanyaan tersebut harus dijawab secara negatif, yaitu: Tidak ada bilangan transfinit antara 0 dan . Hipotesa ini disebut hipotesa Continum. Ada dua alasan untuk berpendirian demikian: 1. Saat ini belum ada yang memecahkan problema Continum. (alasan lemah) 2. Jika hipotesa Continum ditambah sebagai aksioma tambahan ke
Page 70

PDM: Sugiarto, Isti Hidayah

dalam sistem aksioma yang telah ada (sistematika dari ZarmeloFraenkel), maka hal ini tidak akan menyebabkan kontradiksi. Dikatakan bahwa hipotesa Continum sejalan (konsisten) dalam sistem aksioma teori Himpunan. Pertanyaan lain adalah apakah ada bilangan kardinal transfinit yang terbesar? Tidak ada artinya untuk menyebut himpunan dari semua himpunan, atau bilangan kardinal yang terbesar, hal ini disebabkan kedua konsep tersebut menimbulkan kontradiksi. Andaikan himpunan semua himpunan dan kard.( ). Setiap himpunan dalam adalah unsur dari Sehingga ( ) . Ini berarti bahwa kard.( ( ) ) kard.( ) atau Sedangkan menurut teorema 7.9 < . Jadi < < atau < . Hal ini suatu kontradiksi. Demikian juga tidak ada artinya kita menyebut bilangan kardinal terbesar sebab: Andaikan bilangan terbesar, maka menurut teorema 7.9 < , sehingga bukanlahl bilangan kardinal yang terbesar. Hal ini tidak ubahnya juga pada himpunan N semua bilangan asli, di mana tidak ada bilangan asli yang terbesar.

PDM: Sugiarto, Isti Hidayah

Page 71

Latihan 10

1. Buktikan bahwa selang-selang berikut ekivalen: a. (0,1] ekivalen [0,1] b. [0,1] ekivalen [0,1] 2. Jika T adalah himpunan semua bilangan real yang bukan bilangan aljabar (bilangan transeden) maka buktikan bahwa: a. T I dengan I himpunan semua bilangan irasional, dan b. T himpunan tak terbilang. 3. Misalkan A = [0,1] buktikan bahwa A hi mpunan tak terbilang. 4. Misalkan N himpunan semua bilangan asli, buktikan bahwa N x N himpunan terbilang. 5. Misalkan G = [0,1] dan H = [3,7] buktikanlah bahwa G ekivalen H. 6. Misalkan A, B, dan C himpunanhimpunan yang saling lepas dan kard.(A) = a, kard.(B) = b, dan kard.(C) = c, buktikanlah. a. (a + b) + c = a + (b + c) b. a+b=b+c c. ab = ba d . ( a b ) c = a (b c ) e. a(b+c) = ab ac 7. Yang manakah di antara bilangan-bilangan kardinal berikut yang sama? , +n, c, , c+ , 2, c+ +, c .

8. Jika S suatu himpunan tak hingga dan T suatu himpunan terbilang, buktikanlah kard.(ST) = kard.(S)? 9. Apakah kardinalitas semua himpunan terbilang sama? Bagaimanakah halnya dengan kardinalitas semua himpunan yang tak terbilang?

PDM: Sugiarto, Isti Hidayah

Page 72

DAFTAR PUSTAKA AN
Bahtiar Sjarif, 1990. Pengantar Dasar Matematika. Fakultas MIPA ITB, Bandung. Patrick Suppes, 1993. Introduction to Logic. Mac Milian Publishing Co. Inc. New York, 1993. Pantur Silaban, 1985. Teori Himpunan. Erlangga, Jakarta.

PDM: Sugiarto, Isti Hidayah

Page 73