1.
4 Pandangan kedua mengenai Induksi
Kami telah mengabaikan sejumlah seluk-beluk dalam perlakuan induksi
kami. Pertimbangkan pembuktian kami pada 1 + 2 +.......+ n = n(n + 1) / 2.
Pembaca yang cermat mungkin bertanya-tanya apakah kita benar-benar telah
membuktikan sesuatu sampai kita mendefinisikan makna dari sisi kiri (the left
hand side). Lagi pula, apa artinya. Kita tahu tentang Binary Addation, tetapi
bagaimana dengan penjumlahan umum yang berulang ini? Kita dapat
mengatakan bahwa arti 1 +2 +......+ n adalah ∑𝑛𝑗=1 𝑗, tetapi ini hanya
menggantikan satu set simbol dengan yang lain. Namun, untuk fungsi yang
diberikan, kita dapat memberikan deskripsi yang tepat tentang ∑𝑛𝑗=1 𝑓(𝑗)
menggunakan definisi rekursif dari tipe yang dijelaskan dalam Contoh 1.3.4
dengan melihat ∑𝑛𝑗=1 𝑓(𝑗) sebagai fungsi pada bilangan asli. Sebagai contoh, nilai
fungsi untuk n=4 adalah f (1) + f (2) + f (3) + (4) Dalam definisi berikut, kami
menggunakan Binary Addation untuk mendefinisikan penjumlahan umum yang
berulang dengan rekursi.
Definisi ∑𝑛𝑗=1 𝑓(𝑗) didefinisikan oleh rekursi pada n sebagai berikut
LANGKAH BASIS: ∑1𝑗=1 𝑓(𝑗) = 𝑓(1)
LANGKAH INDUKSI: Kami menganggap bahwa kami telah mendefinisikan
∑𝑘+1 𝑘+1 𝑘+1
𝑗=1 𝑓(𝑗), dan mendefinisikan ∑𝑗=1 𝑓(𝑗) menjadi ∑𝑗=1 𝑓(𝑗) + 𝑓(𝑘 + 1).
Perhatikan bahwa kita mengasumsikan pengetahuan Binary Addation
𝑛(𝑛+1)
pada langkah induksi, dan bukti sebelumnya yaitu ∑𝑘+1
𝑗=1 𝑗 = adalah bukti
2
dengan defenisi induksi yang baru saja diberikan.
Defenisi ( Well-Ordering Property), satu himpunan bilangan yang mempunyai (
Well-Ordering Property) jika setiap subset tak kosong memiliki elemen terkecil.
Sebagai contoh, {4} memiliki Well-Ordering Property, tetapi himpunan
bilangan bulat tidak memiliki Well-Ordering Property {(0, -1, -2,....)} adalah
subset bilangan bulat dari sedikit anggota bilangan bulat). Untuk alasan yang
jelas, Well-Ordering Property juga disebut sebagai prinsip bilangan paling sedikit.
Sebelum membuktikan teorema kesetaraan, kami berkomentar bahwa
bukti induksi dapat diberikan dalam istilah ( Well-Ordering Property).
Contoh 1.4.1.
Kami menyusun kembali bukti Proposisi 1-2 dalam kaitan dengan ( Well-
Ordering Property).
Proporsi 1-12. Setiap bilangan asli lebih besar dari satu dapat difaktorkan dengan
bilangan prima
Bukti. Misalkan sebaliknya. Maka himpunan bilangan asli lebih besar dari satu
yang tidak dapat difaktorkan dengan bilangan prima adalah kosong dan memiliki
anggota paling sedikit k; yaitu, k adalah sedikit bilangan asli yang lebih besar
dari 1 yang tidak dapat dianggap sebagai hasil kali dari bilangan prima. Sekarang
k tidak dapat menjadi prima karena akan menjadi faktorisasinya sendiri, dan
dengan demikian k=mn dengan 2 ≤ m, n <k. Karena k adalah bilangan terkecil
yang lebih besar dari satu yang tidak terfaktor ke dalam bilangan prima, m dan n
dapat menjadi faktor. Tetapi k = mn dapat difaktorkan ke dalam bilangan prima,
dan ini merupakan kontradiksi.
Teorema 1-13. Berikut ini adalah kesetaraan:
(a) bentuk kuat dari prinsip induksi;
(b) bentuk lemah dari prinsip induksi;
(c) himpunan bilangan asli memiliki Well-Ordering Property
Bukti. Kami menunjukkan bahwa (a) implies (b), kemudian (b) implies (c), dan
(c) implies (a).
(a) implies (b) mudah karena hipotesis induksi merupakan bentuk yang
kuat termasuk hipotesis induksi bentuk lemah (lihat latihan) (b) implies (c): Untuk
kesederhanaan kita membiarkan q0 dalam pernyataan bentuk lemah. Asumsikan
validitas dari bentuk induksi yang lemah dan biarkan A menjadi himpunan bagian
dari bilangan asli tanpa elemen. Kami membuktikan bahwa A adalah himpunan
kosong dengan menunjukkan bahwa semua bilangan asli milik komplemen A.
Misalkan P (n) adalah pernyataan bahwa semua bilangan asli kurang dari atau
sama dengan n adalah anggota komplemen A. Kami membuktikan dengan bentuk
induksi yang lemah bahwa P(n) benar untuk semua bilangan asli n.
LANGKAH BASIS: P(0) mengatakan bahwa nol da lam komplemen A. Ini benar
karena jika tidak nol adalah anggota yang paling sedikit dari A.
LANGKAH INDUKSI: hipotesis Induksi: P(k) benar; yaitu 0,, k adalah anggota
dari komplemen A Untuk menunjukkan: P (k +1) benar; yaitu 0,, k, k + 1 adalah
anggota dari komplemen A.
Dengan hipotesis induksi, kita hanya perlu menunjukkan bahwa k + 1
adalah anggota komplemen A. Jika k+1 bukan anggota komplemen A, maka k+1
adalah anggota A, sehingga k+1 adalah elemen terkecil dari A karena kita
mengasumsikan bahwa 0,...,k bukan anggota A. Ini bertentangan dengan asumsi
tentang A, dan kami menyimpulkan bahwa k + 1 adalah anggota komplemen A.
Perhatikan bahwa kita menggunakan fakta bahwa tidak ada bilangan asli antara k
dan k+1.
Induksi ini melengkapi bukti bahwa A kosong.
(c) implies (a): Kami mengasumsikan Well-Ordering Property dan membentuk
bentuk yang kuat dari prinsip induksi. Anggaplah q itu adalah bilangan asli yang
tetap, dan P (n) adalah beberapa penegasan tentang bilangan asli! angka n
sedemikian rupa sehingga:
(1) kasus pertama P (q) benar;
(2) jika k ≥ q dan kasus P (q),.., P (k) benar, maka P (k + 1) adalah benar.
Kami ingin menunjukkan bahwa P(n) adalah benar untuk semua n ≥ q.
Kita misalkan A = (n: n≥q dan P(n) tidak benar) dan menunjukkan bahwa A
kosong. Misalkan tidak kosong. Kemudian dengan Well-Ordering Property, A
memiliki elemen p paling sedikit. Sekarang p tidak bisa q karena kita
mengasumsikan bahwa P(q) benar. Jadi p > q dan karena itu q,...,P( p-1) bukan
anggota A tetapi p. Dengan definisi A, ini berarti bahwa P (q),..., P (p-1) benar
tetapi P(p) salah. Tetapi pernyataan terakhir ini bertentangan dengan ayat (2) dari
bentuk yang kuat dari prinsip induksi. Oleh karena itu A kosong dan karenanya P
(n) berlaku untuk semua n ≥ q. Q.E.D
