Assalamualaikum
Kemaren saya belajar otomaton, trus keluarlah yang namanya 対角線論法(diagonalization). Katanya ini digunakan untuk menunjukkan salah satu bahasa yang tidak bisa diterima oleh mesin turing.
Eh, ini sekarang,, saya lagi belajar lagi soal matematika diskrit, muncul lagi yang namanya diagonalization, yang digunakan untuk membuktikan bahwa bilangan real itu mempunyai kepekatan (濃度) yang tidak sama dengan aleph zero (kepekatan bilangan asli). Kenapa saya belajar matdis lagi,,hehehe, rahasia
Ya sudahlah, langsung saja, mari membuktikan bahwa kepekatan bilangan real itu bukan aleph zero.
Misalnya ada suatu fungsi f(x) = tan pi(x – 0.5) … pi=pi yang di lingkaran, bukan pi-lutpi ya,,
terus x merupakan bilangan real antara 0 dan 1 ato ditulis (0, 1)
Pada ruang (0, 1), semua titik yang ada pada ruang tersebut dapat dikorespondensi satu-satukan (全単射) kepada bilang real. Oleh karena itu, ruang (0, 1) mempunyai kepekatan yang sama dengan bilangan real. Oleh karena itu, dengan membuktikan bahwa ruang (0, 1) itu memiliki kepekatan yang tidak sama dengan aleph zero(==bukan merupakan countable set) maka kita dapat juga membuktikan bahwa kepekatan bilangan real juga bukan merupakan aleph zero.
Membuktikan bahwa ruang (0, 1) bukan merupakan countable set::> pake cara kontradiksi
pertama, kita asumsikan bahwa (0, 1) merupakan countable set. Dengan demikian, dari (0, 1) dapat dikorespondensi satu2kan pada himpunan bilangan asli. Mari kita coba sebutkan elemen2 dari (0, 1)::
x1 = 0.a11 a12 a13 …
x2 = 0.a21 a22 a23…
x3 = 0. a31 a32 a33… dst
↑↑↑x1, x2, x3, … merupakan semua anggota (0, 1)
kemudian kita tentukan suatu nilai y yaitu: y = 0, b1 b2 b3… sedemikian sehingga 0<bi<9 , bi tidak sama dengan aii. (*i itu adalah indeksnya ya,,). Jelaslah, bahwa y merupakan anggota himpunan (0, 1).
Kemudian, y tidak sama dengan xi. Hal ini berlaku untuk semua i. Oleh karena xi itu menunjukkan semua anggota himpunan (0, 1), maka y bukan merupakan anggota himpunan (0. 1). Eits eits, di sini terjadilah kontradiksi. Sebelumnya kita bilang y adalah anggotanya (0, 1), tapi terus kemudian y juga bukan anggotanya (0, 1).
Oleh karena itu itu yang telah disebutkan di atas, maka (0, 1) itu bukanlah countable set. Furthermore, himpunan bilangan real itu juga bukanlah merupakan countable set. Dengan kata lain, kepekatan bilang real bukanlah aleph zero.
*Cara pembuktian yang seperti ini disebut diagonalization (対角線論法),,
Sekian pembuktiannyaaa,, yeey,,
p.s mohon maaf kalo istilah yang saya gunakan di sini rada2 ngaco, maklum terjemah bebas dari bahasa yang saya pake di sekolah >.<
