Himpunan terhitung

Dalam matematika, suatu himpunan dikatakan **terhitung**, **tercacah**, atau **terbilang** jika himpunannya berhingga atau dapat dibuat korespondensi satu-ke-satu dengan himpunan bilangan asli. Dengan kata lain, suatu himpunan disebut *terhitung* jika terdapat suatu fungsi injektif dari himpunan tersebut ke bilangan asli; ini artinya setiap elemen pada himpunan tersebut dapat dilabeli dengan tepat satu bilangan asli, atau elemen-elemen dari himpunannya dapat dihitung satu demi satu, walau mungkin saja proses perhitungannya mustahil selesai akibat jumlah elemen yang tak hingga banyaknya.

Dengan menggunakan istilah teknis, jika diasumsikan aksioma pemilihan terhitung, suatu himpunan disebut *terhitung* jika kardinalitasnya (banyaknya elemen pada himpunan tersebut) tidak lebih dari kardinalitas bilangan asli. Suatu himpunan terhitung yang bukan merupakan himpunan berhingga disebut **terhitung tak terhingga**.

Konsep ini diatribusikan kepada Georg Cantor, yang membuktikan keujudan dari himpunan-himpunan tak terhitung, yaitu himpunan-himpunan yang bukan merupakan himpunan terhitung; seperti contohnya himpunan semua bilangan riil.

## Catatan penggunaan istilah
Walaupun artikel ini menggunakan istilah "terhitung" dan "terhitung tak terhingga" yang cukup umum digunakan, kedua istilah tersebut tidaklah universal. Beberapa referensi menggunakan istilah *terhitung* sebagai apa yang dimaksud disini sebagai terhitung tak terhingga, dan *paling banyak terhitung* sebagai apa yang dimaksud disini sebagai terhitung.

Istilah *enumerable* dan *denumerable* juga terkadang digunakan untuk berturut-turut menyatakan himpunan terhitung dan terhitung.

## Definisi
Suatu himpunan H dikatakan *terhitung* jika:
* Himpunan H adalah himpunan hingga atau terhitung tak berhingga.
* Kardinalitasnya (dinotasikan dengan \left| H \right|) tidak lebih dari \aleph_0 (alef nol), yaitu kardinalitas dari himpunan bilangan asli \mathbb{N}.
* Terdapat suatu fungsi injektif dari H ke \mathbb{N}.
* Himpunan H merupakan himpunan kosong atau terdapat suatu fungsi surjektif dari \mathbb{N} ke H.
* Terdapat suatu fungsi bijektif antara H dan suatu himpunan bagian dari \mathbb{N}.
Semua definisi di atas ekuivalen satu sama lain.

Suatu himpunan H dikatakan *terhitung [[Himpunan takhingga|tak terhingga]]* jika:
* Kardinalitasnya (yaitu \left| H \right|) sama dengan \aleph_0.
* Terdapat suatu pemetaan injektif dan surjektif antara H dan \mathbb{N}.
* Himpunan H memiliki korespondensi satu-ke-satu dengan \mathbb{N}.
* Elemen dari himpunan H dapat disusun dalam suatu barisan tak terhingga a_0, \, a_1, \, a_2, \, \ldots, dengan a_i \neq a_j ketika i \neq j, dan setiap elemen pada H terdaftar.

Suatu himpunan disebut *[[himpunan takterhitung|tak terhitung]]* jika himpunannya tidak terhitung, atau dengan kata lain, kardinalitasnya lebih dari \aleph_0.

## Sejarah
Pada tahun 1874, dalam artikel teori himpunan pertama miliknya, Cantor membuktikan bahwa himpunan bilangan riil merupakan himpunan tak terhitung, yang menunjukkan bahwa tidak semua himpunan tak terhingga merupakaan himpunan terhitung. Pada tahun tersebut, Cantor menggunakan korespondensi satu-ke-satu untuk mendefinisikan dan membandungkan kardinalitas. Pada tahun 1883, beliau memperluas bilangan asli dengan bilangan ordinal takhingga miliknya, dan menggunakan himpunan ordinal untuk membuat tak terhingga banyaknya himpunan yang memiliki kardinalitas yang beda-beda.

## Pengantar
*[[Himpunan (matematika)|Himpunan]]* adalah sekumpulan *elemen*, dan dapat dinyatakan dengan berbagai cara, salah satunya ialah dengan mendaftar anggota-anggotanya; sebagai contoh, himpunan yang terdiri dari bilangan 3, 5, dan 12 dapat dituliskan sebagai \left\{ 3, \, 5, \, 12 \right\}, yang disebut sebagai bentuk roster. Akan tetapi, hal ini hanya efektif untuk himpunan yang kecil. Untuk himpunan yang besar, metode roster akan memakan waktu yang lama serta rawan terjadi galat. Daripada mendaftar setiap elemen satu per satu, terkadang tanda elipsis ("\ldots") digunakan untuk mewakilkan banyak elemen di antara elemen awal dan akhir pada suatu himpunan, jika penulis yakin bahwa pembaca dapat menebak dengan mudah apa yang tanda elipsis wakilkan; sebagai contoh, \left\{ 1, \, 2, \, 3, \, \ldots, \, 99, \, 100 \right\} mungkin saja menyatakan himpunan bilangan bulat dari 1 sampai dengan 100. Dalam kasus ini, semua elemennya masih *mungkin* didaftarkan, sebab banyak elemennya berhingga. Jika setiap elemen dari himpunan 1, 2, dan seterusnya, sampai n diberi label, maka hal ini menjadi definisi dari "himpunan berukuran n".

Beberapa himpunan merupakan himpunan *tak terhingga*; himpunan-himpunan ini memiliki lebih dari n elemen, dengan n adalah sembarang bilangan asli. Tidak peduli seberapa besar nilai n nya (seperti n = 10^{10^{100}}), himpunan tak terhingga memiliki lebih dari n elemen. Misalnya, himpunan bilangan asli, yang dinyatakan sebagai \left\{ 1, \, 2, \, 3, \, 4, \, \ldots \right\}, memiliki tak hingga banyaknya elemen, sehingga ukuran himpunannya tidak dapat dinyatakan dengan bilangan asli apa pun. Salah satu hal yang wajar dilakukan ialah membagi himpunan-himpunan yang ada menjadi beberapa kelas: Satukan semua himpunan yang memiliki satu elemen; semua himpunan yang memiliki dua elemen; ...; dan terakhir, satukan semua himpunan tak hingga dan anggaplah mereka memiliki ukuran yang sama. Cara pandang ini dapat dilakukan untuk himpunan terhitung tak terhingga, dan menjadi asumsi yang berlaku sebelum penemuan Geog Cantor. Sebagai contoh, terdapat tak hingga banyaknya bilangan ganjil, tak hingga banyaknya bilangan genap, dan tak hingga banyaknya bilangan bulat secara keseluruhan. Semua himpunan tadi dapat dipandang memiliki ukuran yang sama, sebab setiap bilangan genap dapat dilabeli dengan tunggal menggunakan suatu bilangan bulat:
\begin{align}
&\phantom{n} \vdots \\
-2 &\mapsto -4 \\
-1 &\mapsto -2 \\
0 &\mapsto 0 \\
1 &\mapsto 2 \\
2 &\mapsto 4 \\
&\phantom{n} \vdots
\end{align}
dan secara umum, n \mapsto 2n (lihat gambar di kanan). Proses yang baru saja terjadi ialah mengonstruksikan *korespondensi satu-ke-satu* (atau *[[bijeksi]]*), yaitu suatu fungsi yang menghubungkan dua himpunan dengan syarat setiap elemen pada masing-masing himpunan dikawankan dengan tepat satu elemen pada himpunan lainnya. Gagasan matematika dari "ukuran", kardinalitas, adalah dua himpunan memiliki ukuran yang sama jika dan hanya jika terdapat suatu fungsi bijektif yang menghubungkan keduanya. Semua himpunan yang memiliki korespondensi satu-ke-satu dengan bilangan bulat disebut sebagai himpunan *terhitung tak terhingga* dan kardinalitasnya dinotasikan dengan \aleph_0.

Georg Cantor menunjukkan bahwa tidak semua himpunan tak terhingga merupakan himpunan terhitung tak terhingga. Misalnya, himpunan bilangan riil tidak dapat dibuat korespondensi satu-ke-satu dengan bilangan asli. Himpunan bilangan riil memiliki kardinalitas yang lebih dari himpunan bilangan asli, dan disebut sebagai tak terhitung.

## Kajian formal
Berdasarkan definisi, suatu himpunan H disebut *terhitung* jika terdapat suatu fungsi bijektif dari H ke himpunan bagian dari bilangan asli \mathbb{N} = \left\{ 1, \, 2, \, 3, \, 4, \, \ldots \right\}. Sebagai contoh, didefinisikan pemetaan
\begin{align}
a &\leftrightarrow 1 \\
b &\leftrightarrow 2 \\
c &\leftrightarrow 3
\end{align}
Oleh karena setiap elemen dari himpunan H = \left\{ a, \, b, \, c \right\} dikawankan dengan *tepat satu* elemen dari himpunan \left\{ 1, \, 2, \, 3 \right\} (dan begitu juga sebaliknya), maka pemetaannya bersifat bijektif, dan menjadi bukti bahwa H adalah himpunan terhitung. Dengan cara serupa, maka dapat ditunjukkan bahwa setiap himpunan berhingga merupakan himpunan terhitung.

Pada kasus himpunan tak terhingga, suatu himpunan H dikatakan terhitung tak terhingga jika terdapat suatu fungsi bijektif dari H ke himpunan bilangan asli \mathbb{N}. Sebagai contoh, himpunan bilangan genap positif \left\{ 2, \, 4, \, 6, \, 8, \, \ldots \right\} merupakan himpunan terhitung tak terhingga, sebab terdapat korespondensi satu-ke-satu n \leftrightarrow 2n sebagai berikut:
\begin{align}
1 &\leftrightarrow 2 \\
2 &\leftrightarrow 4 \\
3 &\leftrightarrow 6 \\
4 &\leftrightarrow 8 \\
&\phantom{n} \vdots
\end{align}
Setiap himpunan bagian dari bilangan asli merupakan himpunan terhitung. Secara umum,

Himpunan semua pasangan terurut (atau hasil-kali Kartesius) dari himpunan bilangan cacah \mathbb{W} \times \mathbb{W} merupakan himpunan terhitung tak terhingga. Hasil pemetaannya dapat dilihat pada gambar di bagian kanan dan dilakukan sebagai berikut
\begin{align}
0 &\leftrightarrow \left( 0, \, 0 \right) \\
1 &\leftrightarrow \left( 1, \, 0 \right) \\
2 &\leftrightarrow \left( 0, \, 1 \right) \\
3 &\leftrightarrow \left( 2, \, 0 \right) \\
4 &\leftrightarrow \left( 1, \, 1 \right) \\
5 &\leftrightarrow \left( 0, \, 2 \right) \\
6 &\leftrightarrow \left( 3, \, 0 \right)
\end{align}
Pemetaan ini meliput seluruh pasangan terurut.

Bentuk pemetaan segitiga ini dapat diperumum secara rekursif menjadi bilangan asli rangkap-<math>n</math>, yaitu \left( a_1, \, a_2, \, a_3, \, \ldots, \, a_n \right) dengan a_k, \, n \in \mathbb{N} untuk setiap k \in \left\{ 1, \, 2, \, 3, \, \ldots, \, n \right\}, dengan cara memetakan secara berulang dua elemen pertama dari rangkap-n nya ke suatu bilangan asli. Sebagai contoh, \left( 0, \, 2, \, 3 \right) dapat ditulis sebagai \left( \left( 0, \, 2 \right), \, 3 \right). Perhatikan bahwa \left( 0, \, 2 \right) dipetakan ke 5. Akibatnya, \left( 0, \, 2, \, 3 \right) dipetakan ke \left( 5, \, 3 \right), yang kemudian dipetakan ke 39. Oleh karena rangkap-2 yang berbeda, yaitu pasangan terurut seperti \left( a, \, b \right), dipetakan ke bilangan asli yng berbeda, maka perbedaan dua rangkap-n pada setidaknya satu elemen saja sudah cukup untuk menjamin rangkap-n nya dipetakan ke bilangan asli yang berbeda, sehingga terbukti bahwa terdapat suatu fungsi injektif dari himpunan rangkap-n ke himpunan bilangan asli \mathbb{N}. Secara umum, maka

Himpunan semua bilangan bulat \mathbb{Z} dan himpunan semua bilangan rasional \mathbb{Q} secara intuitif terlihat lebih besar dari \mathbb{N}, namun penampilan bisa menipu. Jika pasangan terurut \mathbb{N} \times \mathbb{N} dipandang sebagai pembilang dan penyebut dari suatu pecahan biasa, maka setiap pecahan bernilai positif dapat dikawankan dengan suatu bilangan asli yang berbeda satu sama lain. Representasi ini juga memuat bilangan asli, sebab setiap bilangan asli n dapat dinyatakan sebagai pecahan \dfrac{n}{1}, sehingga dapat disimpulkan bahwa jumlah bilangan rasional positif sama banyaknya dengan bilangan bulat positif. Hal ini juga berlaku untuk seluruh bilangan rasional, seperti pada pernyataan berikut.

^{c_k} dimana p_i menyatakan bilangan prima ke-i.}}

Dalam beberapa kasus, penggunaan lebih dari satu pemetaan adalah hal yang membantu. Misalkan akan dibuktikan bahwa suatu himpunan A merupakan himpunan terhitung dan A bersifat injektif ke himpunan lain (katakanlah) B, maka himpunan A terbukti merupakan himpunan terhitung jika B bersifat injektif ke himpunan bilangan asli. Sebagai contoh, terdapat suatu fungsi injektif dari himpunan semua bilangan rasional positif ke pasangan (rangkap-2) bilangan asli, salah satunya ialah \dfrac{p}{q} \leftrightarrow \left( p, \, q \right) (dengan syarat \operatorname{FPB} \! \left( p, \, q \right) = 1). Oleh karena \mathbb{N} \times \mathbb{N} memiliki korespondensi satu-ke-satu dengan \mathbb{N} (seperti yang telah ditunjukkan sebelumnya), maka himpunan bilangan rasional positif terbukti merupakan himpunan terhitung.

Dengan pengetahuan bahwa terdapat himpunan tak terhitung, maka terlintas pikiran untuk mendorong lebih jauh hasil terakhir ini, dan jawabannya adalah "iya" dan "tidak"; Hasil ini dapat diperluas, namun perlu diasumsikan suatu aksioma tambahan sebagai berikut.

Sebagai contoh, diberikan himpunan terhitung A, B, C, dan seterusnya. Pertama, setiap elemen dari masing-masing himpunan akan dilabeli oleh suatu rangkap, lalu setiap rangkap akan dilabeli dengan suatu indeks menggunakan varian pemetaan segitiga kelak-kelok yang telah ditunjukkan sebelumnya:
\begin{array}{c|c|c}
\text{Indeks} & \text{Rangkap} & \text{Elemen} \\
\hline
0 & \left( 0, \, 0 \right) & a_0 \\
1 & \left( 0, \, 1 \right) & a_1 \\
2 & \left( 1, \, 0 \right) & b_0 \\
3 & \left( 0, \, 2 \right) & a_2 \\
4 & \left( 1, \, 1 \right) & b_1 \\
5 & \left( 2, \, 0 \right) & c_0 \\
6 & \left( 0, \, 3 \right) & a_3 \\
7 & \left( 1, \, 2 \right) & b_2 \\
8 & \left( 2, \, 1 \right) & c_1 \\
9 & \left( 3, \, 0 \right) & d_0 \\
10 & \left( 0, \, 4 \right) & a_4 \\
\vdots & \vdots & \vdots
\end{array}

Aksioma pemilihan terhitung diperlukan untuk memberikan indeks kepada *semua* himpunan A, B, C, \ldots, secara bersamaan.

Teorema Cantor menyatakan bahwa jika X adalah suatu himpunan dan \mathcal{P} \! \left( X \right) adalah himpunan kuasa dari X (yaitu himpunan seluruh himpunan bagian dari X), maka tidak ada fungsi surjektif dari X ke \mathcal{P} \! \left( X \right). Pembuktian dari pernyataan ini dapat dilihat pada artikel teorema Cantor. Salah satu akibat dari teorema ini ialah

## Lihat juga
* Bilangan alef
* Pencacahan
* Paradoks hotel Hilbert
* Himpunan takterhitung

## Rujukan

## Referensi
* 
* 
* 
* 
* 
*  Reprinted by Springer-Verlag, New York, 1974.  (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011.  (Paperback edition).
* 
* 
* 
*