Tümevarım İspat Yöntemi ve Örnekleri

Etiketler :
Matematiğin en temel ve en önemli işlerinden biri, teoremleri ispatlamaktır. Varlık bildiren teoremler hariç, bir teoremin doğru olduğunu gösteren tek bir örnek vermek hatta örnekler göstermek bir teoremin ispatı için yeterli değildir. Çünkü teorem, verilen bu örnek veya örnekler için doğrulandığı halde başka bir örnek veya örnekler için doğrulanmayabilir. Bu nedenle verilen bir hükmün doğruluğu matematikte kesin olarak gösterilmek durumundadır. Bu uygun akıl yürütme etkinliklerine de ispat denir. Tümevarım yöntemi de ispat yöntemlerinden bir tanesidir. Tümevarım yöntemi genellikle domino taşlarına benzetilerek akılda somut hale getirilebilir. Bildiğimiz üzere, ilk domino taşı istenilen yönde itildiği zaman, diğer domino taşları da sırasıyla düşmektedir. Bütün domino taşlarının düştüğünden emin olmak için iki temel önermeyi bilmemiz yeterlidir: 1) İlk domino taşı düşer. 2)Herhangi bir domino taşı düştüğünde onun ardışığı olan domino taşı da düşmelidir. İşte; matematiksel tümevarım ilkesinin temeli, bu iki temel önermeyi içine alan domino taşlarının düşmesi durumuna benzetilmektedir.
Matematiksel olarak tümevarım ilkesi şu şekilde özetlenebilir. Her n pozitif tamsayısı için herhangi bir P(n) önermesi verildiğinde; bu önermede P(1) doğru ve bir k pozitif tamsayısı için P(k) doğru ise P(k + 1) de doğrudur. O zaman her n pozitif tamsayısı için P(n) doğru olur. Bu ispat yöntemine, matematiksel tümevarım ilkesi denir. 
ise (⇒) bağlacı ile kurulan bileşik önermesi mantık kuralları gereği 1⇒0 durumunda kesin olarak yanlış olacağı için; P(k)⇒P(k+1) bileşik önermesinin doğru olduğunu göstermek için; P(k) önermesi doğru varsayıldığında (kabul edildiğinde) , P(k + 1) önermesinin de matematiksel olarak doğru olduğunu göstermemiz gerek ve yeter şarttır. Tümevarım yöntemiyle ispat yaparken, bu basamağa dikkat edilmesi gerekir. Matematiksel tümevarım ilkesinin yukarıda sayılan üç basamaktan  birincisi olan i) basamağına temel basamak, ikincisi olan (ii) basamağına ise tümevarım basamağı denir. Yukarıda gösterilmiş olan tümevarım ilkesinde (ii). adımdaki, P(k)⇒P(k + 1) koşullu önermesini ispatlamak için genellikle doğrudan ispat yöntemleri kullanılır.
Tümevarım bir ispat yöntemi olarak, önceki yüzyıllarda matematik dünyasını ciddi manada meşgul etmiş olmasına rağmen sonraki yüzyıllardaki matematikçiler ve felsefeciler tarafından eleştirilere de maruz kalmıştır. Bir matematikçi olan B. Russell tümevarım yönteminin acizliğini Hristiyan dünyasına şöyle bir misalle aktarmıştır.“…Mantıklı bir hindi çiftliğe varır varmaz her sabah saat 9′da yem verildiğini fark etti. Ama iyi bir tümevarımcı olduğu için hemen bir sonuca varmak istemedi. Bekledi ve her gün tekrar tekrar gözlemledi. Bu gözlemlerini değişik koşullarda tekrar etti: Çarşambaları, perşembeleri, sıcak ve soğuk günler, yağmurlu ve yağmursuz günler. Her gün yeni bir gözlem ekledi ve sonunda bir sonuç çıkardı: “Her sabah saat 9′da yemek veriliyor bana”. Fakat bir yılbaşı günü kural bozuldu: Mantıklı hindi saat 9′da yemini beklerken boynu kesildi...”
Matematikçi ve epistemolog Bertrand Russell‘ın bu örneği bize tümevarım yönteminin zayıflığını ispat etmeye yetecek bir örnektir. Yukarıda verdiğimiz domino taşı örneğinde domino taşlarının her zaman ve durumda ardışık olarak yıkılmasını gerektirecek bir olay ortaya çıkmış olmayabilir. Bu örneğin oluşabilmesi için hiçbir tesir ve etkinin olmadığı herşeyin aynı şekilde devam edeceği bir his ile bu ispatlamalarını yapıldığı tezi vardır ki bu özellikle sosyal bilimler için kesinlikle yanlış bir tez olur. İçinde yaşadığımız dünyada gelecek olayların hep bir sebep sonuç çizgisi içinde anılması ve bu şekilde hayatımızın irdelenmesi aslında yetersiz bir anlayışın ürünüdür. Geçmişte yaşanmış sebepler ve olmuş şeylere bakarak gelecekteki olacak olan olayları kestirmeye çalışmak her zaman doğru sonuçlar vermeyebilir. Tümevarım yöntemi bu şekilde işlediğinden son dönemlerde daha tutarlı sonuçlar veren farklı ispat yöntemlerinin de kullanılmaya başlandığı pratikte ve teoride ortaya çıkmıştır. Burada tümevarım yöntemiyle ispat edilebilen bazı matematiksel önermeleri göstermeye çalışalım.













Bazen bazı formüller 1 sayısından başlamayabilir. Bu durumlarda formülün hangi sayıdan itibaren sağlanacağı formül üzerinde belirtilir. Dolayısıyla tümevarımla bu şekilde bir formülün ispatı yapılırken de 1 den başlanarak ispat yapılmaz. Çünkü verilen formül zaten 1 için sağlanmayacaktır. Formülde verilen sayıdan itibaren ispat basamağının temel basamağı yazılarak tümevarım ispatına başlanır.




3 yorum:

  1. çok şükür bu konuda detaylı bir bilgi kaynağı bulabildim tesekkrler

    YanıtlaSil
  2. Temiz bir paylaşım olmuş teşekkürler

    YanıtlaSil

Fayda vermeyen ilimden Allah'a sığınırım. “Allah'ım; bana öğrettiklerinle beni faydalandır, bana fayda sağlayacak ilimleri öğret ve ilmimi ziyadeleştir."

İlim; amel etmek ve başkalarıyla paylaşmak içindir. Niyetimiz hayır, akıbetimiz hayır olur inşallah. Dua eder, dualarınızı beklerim...

Aşağıdaki Yazılar İlginizi Çekebilir!!!

  • Türev ve Değişim Hızı24.02.2025 - 0 YorumTürevde değişim oranı, bir fonksiyonun belirli bir noktadaki eğimini ifade eder. Matematikte türev, bir fonksiyonun herhangi bir noktadaki anlık değişim hızını hesaplamak için kullanılır. Değişim oranı fonksiyonun ne kadar hızlı değiştiğini gösterir…
  • Hz. Ali'ye göre ahiret alimleri07.01.2018 - 0 YorumAhiret âlimlerinin vasfını Hz. Ali (r.a), tafsilatlı bir şekilde şöyle izah eder: Kalpler, tıpkı kaplara benzer. Onların en hayırlısı iyiliğe kap olanıdır. İnsanlar üç sınıfa ayrılırlar: 1) Rabbanî âlimler, 2) Kurtuluş yolundaki öğrenciler, 3) Her…
  • Çemberin çevresi ve ispatı07.05.2021 - 0 YorumO merkezli ve r yarıçaplı bir dairenin çevre uzunluğunun, dairenin çap uzunluğuna (2r) oranı π sabit sayısını verir. Buna göre; Çemberin çevresi, çemberi çapı ile pi sayısının çarpımı ile bulunur. Çevre formülünün hesabı yapılırken, Archimedes’in…
  • 2017 YGS-LYS Matematik Soru Dağılımı24.06.2017 - 0 YorumYGS-2017 Matematik soruları 2016 yılına göre okuma ve anlamaya dayalı sorular biraz daha zorlaştırılmış olmakla birlikte genel olarak lise müfredatı içerisinde yapılabilecek olan sorulardan oluştuğu gözlemlenmiştir. Sınava Matematik özelinde…
  • Nemime-Laf taşıma (Koğuculuk)15.05.2022 - 0 YorumSözlükte “fısıltı halinde konuşmak, birinin sözünü yalan katarak nakletmek” anlamındaki nemm kökünden türeyen nemîme kelimesi, “insanlar arasında kötülük, düşmanlık ve bozgunculuk maksadıyla söz taşıma, kovculuk yapma, gammazlık” demektir.…
  • Sanma ey hâce ki senden zerü sim isterler19.08.2012 - 0 Yorum Sanma ey hâce ki senden zer ü sim isterler / Yevme lâ yenfeu’de kalb-i selim isterler (Bağdatlı Ruhi) (Günümüz Türkçesi haliyle şöyle söylenebilir: Sanma ey hoca senden altın ve gümüş isteyeceklerini hiç bir şeyin fayda vermeyeceği bir…
  • Sarrus Kuralı12.01.2025 - 0 YorumDeterminat hesabında, kofaktör matrislerinden yararlanarak satır ya da sütuna göre açılım yapılarak hesaplama işlemi yapılır. (Bkz: Determinant Hesabı)  Bu şekilde determinant hesabının yanında bazı sık kullanılan kare matrislerin determinant…
  • Miraç Kandilimiz Mübarek Olsun17.06.2012 - 0 Yorum Miraç kelimesi, Arapça'da merdiven, yukarı çıkmak, yükselmek anlamlarını dile getirir. İslam'da Hz. Peygamber Efendimizin  (s.a.s)' in göğe yükselerek Allah'ın huzuruna kabul edilmesi olayı. Mirac olayı hicretten bir yıl ya da onyedi ay önce…