Himpunan Cantor terner yang pernah dibahas di blog ini merupakan contoh himpunan berukuran nol yang bukan himpunan terbilang.

Dari mana kita tahu bahwa himpunan Cantor terner berukuran nol? Ingat bagaimana kita mengonstruksi himpunan tersebut, yaitu dengan membuang interval-interval (⅓, ⅔), (1/9, 2/9), (7/9, 8/9), dan seterusnya, dari interval [0, 1].

Ukuran himpunan yang dibuang dalam hal ini sama dengan 1/3 + 2/9 + 4/27 + … = 1. Jadi, mengingat ukuran interval [0, 1] sama dengan 1, himpunan yang tersisa mestilah berukuran nol.

Sementara itu ketakterbilangan himpunan Cantor terner dapat dijelaskan sebagai berikut. Dari konstruksinya, jelas bahwa himpunan Cantor terner beranggotakan semua bilangan yang tidak mengandung angka 1 di belakang tanda koma dalam sistem bilangan terner (berbasis 3). Sebagai contoh, ⅓ = [0,022222…]₃ dan ¼ = [0,020202…]₃ merupakan anggota himpunan Cantor terner. Selanjutnya perhatikan bahwa pemetaan

[0,c₁c₂c₃c₄c₅…]₃ → [0,b₁b₂b₃b₄b₅…]₂

dengan b_i = c_i/2, i = 1, 2, 3, …, merupakan korespondensi 1-1 antara himpunan Cantor terner dan himpunan semua bilangan biner di [0, 1]. Nah, karena [0, 1] tak terbilang, maka mestilah himpunan Cantor terner juga tak terbilang.

*

Bandung, 01-08-2017