Kita tahu bahwa himpunan bilangan real merupakan himpuan bagian dari himpuan bilagan kompleks
. Apakah itu berarti cardinalitas (banyak elemen) pada
lebih besar dari
,
? Kita juga tahu bahwa setiap elemen di
mempunyai bentuk
untuk sebarang
. Apakah itu berarti
Tidak, tidak, mempunyai cardinalitas yang sama dengan
,
Kok bisa?
Untuk menujukan 2 himpunan A dan B mempunyai cardinalitas yang sama, kita harus menjukan terdapat fungsi bijektif dari A ke B. Karena dengan adanya fungsi bijektif, itu berati setiap elemen A dan B dapat dipasang-pasangkan. Akan tetapi untuk menujukan bukan dengan cara menunjukan terdapat fungsi bijektif dari
ke
. Melainkan dengan menujukan
mempunyai cardinalitas yang sama dengan
. Diketahui bahwa
, itu berarti dengan menunjukan
, kita telah menunjukan
Diberikan fungsi dari
ke
yang didefinsikan sebagai berikut
Contoh
Nah.. selanjutnya tinggal kita buktikan bijektif. Errr… kalian buktikan aja sendiri yach, mudah kok 🙂
Nah.. telah kita tunjukan bahwa , itu berarti terbukti