SubbabB.18Memperoleh Bilangan Kompleks dari Bilangan Real
Pada tahap ini, pembahasan berikut seharusnya sudah mudah dipahami. Sistem bilangan kompleks \(\complexes\) tidak lain adalah produk Kartesius \(\reals\times\reals\) dengan
\((a,b) = (c,d)\) dalam \(\complexes\) jika dan hanya jika \(a=c\) dan \(b=d\) dalam \(\reals\text{.}\)
Bilangan kompleks berbentuk \((a,0)\) berperilaku persis seperti bilangan real, sehingga wajar untuk mengatakan bahwa sistem bilangan kompleks memuat sistem bilangan real. Perhatikan pula bahwa \((0,1)^2=(0,1)(0,1)=(-1,0)\text{,}\) i.e., bilangan kompleks \((0,1)\) memiliki sifat bahwa kuadratnya merupakan bilangan kompleks yang berperilaku seperti bilangan real \(-1\text{.}\) Karena itu, mudah jika kita menggunakan simbol khusus seperti \(i\) untuk bilangan kompleks yang istimewa ini dan mencatat bahwa \(i^2=-1\text{.}\)
Setiap bilangan real memiliki ekspansi desimal—meskipun banyaknya digit setelah tanda desimal dapat tak berhingga. Bilangan rasional \(q=m/n\) dari \(\rats\) memiliki ekspansi yang memuat suatu blok digit yang berulang tanpa akhir. Sebagai contoh,
Bilangan rasional tertentu memiliki ekspansi desimal berhingga. Sebagai contoh, kita mengetahui bahwa \(385/8= 48.125\text{.}\) Jika mau, kita dapat menuliskannya sebagai desimal tak berhingga dengan menambahkan digit \(0\) di belakang sebagai blok berulang berukuran \(1\text{:}\)
Di sini, digit \(9\text{,}\) yakni sebuah blok berukuran \(1\text{,}\) dimaksudkan berulang selamanya. Selain anomali ini, ekspansi desimal bilangan real bersifat tunggal.
Bilangan irasional disebut aljabar jika merupakan akar suatu polinom berkoefisien bulat; jika tidak, bilangan itu disebut transendental. Sebagai contoh, \(\sqrt{2}\) bersifat aljabar karena merupakan akar polinom \(x^2-2\text{.}\)
Amanda dan Bilal, keduanya mahasiswa di sebuah universitas terdekat, sedang mempelajari bilangan rasional yang memiliki blok digit berulang yang panjang dalam ekspansi desimalnya. Amanda melaporkan bahwa ia menemukan dua bilangan bulat positif \(m\) dan \(n\) dengan \(n\lt 500\) sedemikian sehingga ekspansi desimal bilangan rasional \(m/n\) memiliki blok 1961 digit yang berulang tanpa akhir. Tidak mau kalah, Bilal membanggakan bahwa ia menemukan pasangan bilangan bulat positif \(s\) dan \(t\) dengan \(t\lt 300\) sedemikian sehingga ekspansi desimal \(s/t\) memiliki blok \(7643\) digit yang berulang tanpa akhir. Bilal perlu diberi tahu (dengan sopan) agar menghitung lebih cermat, sebab tidak ada pasangan bilangan bulat positif seperti itu (Mengapa?). Di sisi lain, Amanda mungkin saja benar—meskipun, jika ia bekerja dengan lebih teliti, ia seharusnya melaporkan bahwa ekspansi desimal \(m/n\) memiliki blok digit berulang yang lebih pendek (Mengapa?).
Misalkan \(f\) suatu fungsi dari \(\posints\) ke \(X\text{.}\) Untuk setiap \(n\in \posints\text{,}\) perhatikan satu atau kedua ekspansi desimal bilangan real \(f(n)\text{.}\) Selanjutnya, pilih bilangan bulat positif \(a_n\) sedemikian sehingga (1) \(a_n\le 8\text{,}\) dan (2) \(a_n\) bukan digit ke-\(n\) setelah tanda desimal dalam ekspansi desimal mana pun dari \(f(n)\text{.}\) Maka bilangan real \(x\) yang ekspansi desimalnya adalah \(x=.a_1a_2a_3a_4a_5\dots\) merupakan unsur \(X\) yang berbeda dari \(f(n)\) untuk setiap \(n\in\posints\text{.}\) Hal ini menunjukkan bahwa \(f\) bukan surjeksi.