Selam. Hanoi Kulesi yazısından sonra ortaya çıkan ihtiyaçtan dolayı, matematiksel tümevarım ilkesinden kısaca bahsetmek ve Hanoi kulesi probleminin çözümünü tümevarım ile de doğrulamak amacıyla bu yazıyı yazıyorum. Bir diğer motivasyon da internetteki Türkçe matematiksel içerik eksikliğini gidermeye biraz katkıda bulunmak. Doğal sayıların sıralama özelliklerinden bahsettikten sonra, benim en sevdiğim kanıtlardan biri olan tümevarım ilkesinin de kanıtını vermiş olacağız.
Öncelikle tümevarım nedir, nasıl çalışır bundan bahsedelim. Her doğal sayısı için
önermesi verilmiş olsun. Her
doğal sayısı için verilmiş
1’den
‘e kadar olan sayıların toplamı
‘dir
gibi. Tümevarım ilkesi bu tür önermelerin kanıtlanmasında işimize yarıyor. Tümevarım ilkesi net bir şekilde aşağıdaki gibi verilebilir:
Teorem (Tümevarım İlkesi).
sabit bir tamsayı olmak üzere, her
tamsayısı için
önermeleri verilmiş olsun. Eğer
doğru,
doğru iken
de doğru,
ise
bütün
tamsayılari için doğrudur.
Bu teoremin kanıtını birazdan vereceğiz. Ancak önce tümevarımı kullanarak yukarıda örnek olarak verdiğim ifadeyi kanıtlayalım:
Öncelikle P(1)’in doğru olduğunu söylememiz lazım. Hatırlarsak, P(1) “1’den 1’e kadar olan sayıların toplamı olur” demekti. Bu işlemin sonucu da 1’i verdiği için P(1) doğrudur diyebiliriz. İkinci adımda da herhangi bir
doğal sayısı için P(n)’in doğru olmasının, P(n+1)’in de doğru olmasını gerektirdiğini göstereceğiz. Yani
olduğunu kabul edip,
olduğunu göstereceğiz.
Öncelikle
yazar ve yerine
yazarsak,
elde ederiz. Burada da eşitliğin sağ tarafında payda eşitleyip, parantezine alırsak
elde ederiz, ve yukarıdaki tümevarım ilkesine dayanarak, ifadesinin her
doğal sayısı için doğru olduğu sonucuna varabiliriz.
Umarım tümevarımın nasıl kullanıldığı anlaşılmıştır. Şimdi de tümevarım ilkesinin kanıtına geçiyoruz. Öncelikle doğal sayıların sıralama özellikleri hakkında çok kısa bir kaç şey söylemek gerekli.
Doğal sayılarda sıralama
Doğal sayıların aralarında (büyüklük-küçüklük ilişkisi ile) nasıl sıralandıklarını sezgisel olarak biliyoruz. Bunun matematiksel ifadesi de şu şekilde. Herhangi iki m ve n doğal sayısı için, olacak şekilde bir
doğal sayısı varsa, “m sayısı n’den büyük veya n’ye eşittir” diyoruz ve bu durumu
ile gösteriyoruz.
Bu sıralamaya göre doğal sayılar önemli bir özelliğe sahip: doğal sayılar kümesinin boş olmayan herhangi bir alt kümesi bir en küçük elemana sahiptir. Yani doğal sayıların boştan farklı bir alt kümesi S için, bu kümede öyle bir m elemanı vardır ki, her için
doğru olur. Doğal sayıların bu özelliğine “iyi sıralama ilkesi” diyoruz (well-ordering principle). Sezgisel olarak “e ne var bunda, çok basit” deseniz de, lakin ki durum öyle değildir. Ancak bu konuda daha fazla detaya girmek istemiyorum.
Şimdi, iyi sıralama ilkesine dayanarak, sıfırdan küçük olması da muhtemel herhangi bir m tam sayısı için, m’den büyük veya eşit tamsayılardan oluşan boş olmayan her tam sayı kümesinin de bir en küçük elemana sahip olduğunu çıkarabiliriz. Bunu doğrulamayı size bırakıyorum.
Şimdi artık tümevarım ilkesini kanıtlamaya hazırız, ihtiyacımız olan tek şey yukarıda değindiğimiz iyi sıralama ilkesiydi. Şimdi gelelim kanıta.
Tümevarım ilkesinin kanıtı
Bir an için teoremin doğru olmadığını varsayalım. Bu durumda, kumesi boştan farklidir. Yukarıda bahsettiğimiz iyi siralama ilkesine gore, S kumesinin bir en kuçuk elemana sahip olması gerekir. Buna s diyelim. Yani, P(s) doğru değildir. Teoremin 1 numarali varsayimina gore P(m) doğru olmalı ve bu da s > m olmasını gerektirir. Buradan da P(s-1) önermesinin var olduğunu soyleyebiliriz. Ancak s-1 sayısı s’den kucuk olduğu icin P(s-1) doğru olmak zorunda, çunku s’nin P(s)’in doğru olmadığı en kuçuk sayi olduğunu kabul ettik. Yani
. Bu da P(s-1)’in dogru olmasi demek. Ancak teoremin ikinci varsayimina gore P(s) = P((s-1)+1) doğru olmali ve bu da
olmasıyla çelişir. □
Hanoi Probleminin Dogrulanmasi
Hanoi problemi ve cozumunden daha once bahsetmiştik. Hatırlarsanız, n tane diskli bir Hanoi kulesi oyununun çozumu icin en az hamle gerektiğini bulmuştuk. Simdi bunu tümevarımla kanitlayalim. Bu durumda, P(1) önermesinin doğru olduğu sanirim cok acik: bir tane diski tasimak icin bir tane hamle yapmamız gerekli.
olduğu icin de P(1)’in doğru olduğunu soyleyebiliriz. Simdi P(n)’in doğru olduğunu kabul edelim. Elimizde n+1 tane disk olduğunda, aynen problemin çozumundeki gibi asagidaki adimlari takip edeceğiz:
1) ustteki n tane diski bos bir cubuga aktaralim
2) en buyuk diski diger bos cubuga aktaralim
3) diger n tane diski en buyuk diskin uzerine tasiyalim.
Butun bu islemler iki kere n tane diskin tasinmasi ve bir kere de tek bir diskin tasinmasindan ibaret. P(n)’in dogru oldugunu kabul ettigimiz icin, toplamda bize gereken hamle sayisi olur, yani P(n+1) onermesi de dogru demektir. Boylece Hanoi probleminin cozumunu tumevarimla da dogrulamis olduk.
Gauss hakkinda kisa bir dip not:
Yaziyi bitirip kontrol ederken, birden herhangi bir tamsayiya kadar olan sayilarin toplami formulune bakarken Gauss aklima geldi. Alman matematikci Carl-Friedrich Gauss (1777-1855) hakkinda gelmis gecmis en buyuk matematikcilerden oldugu konusunda tum matematik camiasi hem fikirdir. Kendisi hakkinda anlatilan hikayelerden birine gore, ilkokul ogrencisi Gauss derste yaramazlik yapar ve ogretmeni tarafindan birden yuze kadar olan sayilari toplamakla cezalandirilir. Gauss bu durur mu, birkac saniyede yapistirmis hemen cevabi. Gauss’un bu soruya hizlica cevap verebilmesinin sebebinin, birden yuze kadar olan sayilari bir bastan bir sondan toplandigi zaman hep ayni sonucu verdigini farketmesi oldugu soylenir: 1 + 100 = 101, 2 + 99 = 101, 3 + 98 = 101 gibi. Sonuc olarak birden yuze kadar olan sayilarin toplaminin elli adet 101 sayisinin toplamina esit oldugunu ve cevabin 50 x 101 = 5050 oldugunu bulur.
Lutfen yorumlarinizi ve elestirilerinizi bildirin.
Até logo!