01.06.02 — İspat nedir ve neden örnek yeterli değildir?

Haritadaki yerimiz

Bu birim Matematiksel Dil ve Temeller → İspat ve Matematiksel Kesinlik bölümündedir.

Önceki birimlerde:

önermenin ne olduğunu,
“eğer... ise...” biçimindeki koşullu ifadeleri,
$\forall$ ve $\exists$ niceleyicilerini,
bir önermenin değilini,
geçerli çıkarımı,
tanım, aksiyom ve teoremin rollerini

öğrendik.

Şimdi bunların hepsini bir araya getiren soruya geliyoruz:

Temel Soru

Bir matematiksel iddianın doğru olduğundan neden emin olabiliriz?

Daha özel olarak:

Yüz, bin veya bir milyon örnekte çalışan bir kural neden hâlâ ispatlanmış olmayabilir?

Bu birimden sonra öğreneceğimiz doğrudan ispat, karşıt ters, çelişki, tümevarım ve varlık-teklik ispatları aslında bu soruya verilen farklı cevap yöntemleri olacaktır.

1. Başlangıç problemi: Kaç örnek yeter?

Şu iddiayı inceleyelim:

n^2+n+41

ifadesinin doğal sayı değerleri için asal sayı verdiğini düşünelim.

İlk birkaç değeri deneyelim:

n=0 \Rightarrow 41

n=1 \Rightarrow 43

n=2 \Rightarrow 47

n=3 \Rightarrow 53

n=4 \Rightarrow 61

Hepsi asal.

Daha fazla kontrol ettiğimizi düşünelim.

$10$ değer...

$20$ değer...

$30$ değer...

Hatta şaşırtıcı biçimde

n=0,1,2,\ldots,39

için elde edilen sayıların hepsi asaldır.

Bu noktada şu sonuca varabilir miyiz?

“Demek ki $n^2+n+41$ her doğal sayı için asaldır.”

Bir sonraki değere bakalım:

n=40.

O zaman

40^2+40+41 = 1600+40+41 = 1681.

Fakat

1681=41^2.

Yani asal değildir.

Tek bir değer ne yaptı?

İlk 40 ayrı örnek iddiayla uyumluydu.

Ama

n=40

tek başına

“Her doğal sayı için asaldır.”

iddiasını çürüttü.

Burada matematiğin en temel ayrımlarından biriyle karşılaştık:

\boxed{\text{Bir iddiayı desteklemek} \neq \text{bir iddiayı ispatlamak}}

2. Eski araç neden yetmiyor?

Bir iddianın farklı örneklerde doğru çıktığını görmek son derece yararlıdır.

Örnekler bize:

bir örüntü fark ettirebilir,
bir teorem tahmin ettirebilir,
yanlış bir tahmini erkenden yakalatabilir,
bir tanımı anlamamıza yardım edebilir.

Fakat özellikle evrensel bir matematiksel iddia söz konusu olduğunda temel bir sorun vardır.

Şöyle bir iddia düşünelim:

\forall x\in D,\;P(x).

Bu ifade:

“ $D$ kümesindeki her $x$ için $P(x)$ doğrudur.”

demektir.

Şimdi yalnızca şu elemanları kontrol ettiğimizi düşünelim:

x_1,x_2,\ldots,x_{1000}.

Elimizde gerçekte şu bilgi vardır:

P(x_1),P(x_2),\ldots,P(x_{1000}).

Fakat iddiamız şudur:

\forall x\in D,\;P(x).

Bu ikisi aynı cümle değildir.

Asıl mantıksal boşluk

Bin örnek kontrol etmek bize:

“Kontrol ettiğim bin durumda doğru.”

bilgisini verir.

Teorem ise:

“Alan içindeki bütün durumlarda doğru.”

der.

Kontrol ettiğimiz durumlarla bütün olası durumlar arasında hâlâ doldurulması gereken mantıksal bir boşluk vardır.

İspat bu boşluğu kapatır.

Özellikle $D$ sonsuzsa, kaç tane örnek kontrol edersek edelim kontrol etmediğimiz sonsuz sayıda durum kalabilir.

3. Örnek ile ispat arasındaki fark

Şu iki düşünce biçimini karşılaştıralım.

Örnek üzerinden düşünme

Bir iddiayı belirli nesnelerde sınarız:

x=1,\;x=2,\;x=3,\ldots

Sonuçlar doğru çıktıkça iddiaya olan güvenimiz artabilir.

Ancak yalnızca gözlem yaptık.

İspat üzerinden düşünme

Belirli bir $x$ seçmek yerine, koşulları sağlayan keyfî bir $x$ üzerinde çalışırız.

Yani:

“Özel olarak hangi $x$ olduğunu bilmiyorum. Yalnızca varsayımları sağladığını biliyorum.”

deriz.

Daha sonra tanımlar, aksiyomlar, daha önce ispatlanmış sonuçlar ve geçerli mantıksal çıkarımlar kullanarak sonucun bu keyfî $x$ için zorunlu olduğunu gösteririz.

$x$ keyfî olduğundan aynı gerekçe bütün uygun $x$ 'ler için geçerlidir.

Örnekten ispata geçiş

ÖRNEKLE KONTROL

x₁ ── doğru
x₂ ── doğru
x₃ ── doğru
⋮
xₖ ── doğru

Ama diğer x'ler?


İSPAT

Keyfî bir x
     │
     │ Tanımlar
     │ Aksiyomlar
     │ Önceki teoremler
     │ Geçerli çıkarımlar
     ▼
   P(x)
     │
     ▼
x keyfî olduğundan
bütün uygun x'ler

Örnekler yalnızca seçilmiş durumları doğrular; ispat ise keyfi bir durumdan başlayıp bütün alanı kapsayan genel bir gerekçe kurar.

4. İspat nedir?

Sezgisel olarak bir ispat:

Bir matematiksel iddianın, kabul edilmiş başlangıç noktalarından mantıksal olarak zorunlu biçimde çıktığını gösteren gerekçelendirmedir.

Daha kesin söyleyelim.

Matematiksel ispat

Bir matematiksel ispat, bir iddiaya;

tanımlardan,
kabul edilen aksiyomlardan,
daha önce ispatlanmış sonuçlardan

başlayarak ve yalnızca geçerli mantıksal çıkarımlar kullanarak ulaşan matematiksel argümandır.

Şematik olarak:

\boxed{ \text{Tanımlar + Aksiyomlar + Bilinen Teoremler} \;\xRightarrow{\text{geçerli çıkarım}}\; \text{Sonuç} }

Buradaki kritik sözcük zorunludur.

İspat:

“Sonuç çok muhtemelen böyledir.”

demez.

Şunu söyler:

“Bu varsayımlar doğruysa ve bu çıkarımlar geçerliyse sonuç başka türlü olamaz.”

5. Küçük bir gerçek ispat görelim

Daha önce öğrendiğimiz kümeleri kullanalım.

Şu iddiayı ele alalım:

Eğer $A\subseteq B$ ve $B\subseteq C$ ise $A\subseteq C$ 'dir.

Birkaç örnek kurabiliriz.

Mesela:

A=\{1\},\qquad B=\{1,2\},\qquad C=\{1,2,3\}.

Gerçekten:

A\subseteq B,\qquad B\subseteq C,\qquad A\subseteq C.

Fakat bu yalnızca bir örnektir.

Başka kümeler seçmemiz de teoremi kanıtlamaz.

İspat farklı çalışır.

Alt küme ilişkisinin geçişliliği

Varsayalım:

A\subseteq B

B\subseteq C.

$A$ kümesinden keyfî bir $x$ elemanı seçelim:

x\in A.

$A\subseteq B$ olduğundan:

x\in B.

$B\subseteq C$ olduğundan:

x\in C.

Dolayısıyla $A$ 'nın her elemanı aynı zamanda $C$ 'nin elemanıdır.

Alt küme tanımına göre:

A\subseteq C.

Burada dikkat edilmesi gereken şey hesaplama değildir.

İspatın gücü şu noktadadır:

$x$ için özel bir değer seçmedik.

$x$ , $A$ 'nın keyfî herhangi bir elemanıydı.

Bu nedenle argüman yalnızca bir örneği değil, bütün olası elemanları aynı anda kapsadı.

6. İspatın yaptığı şey aslında nedir?

İspat sonsuz sayıda örneği tek tek kontrol etmek değildir.

İspat çok daha güçlü bir şey yapar:

Bütün örneklerin ortak olarak uymak zorunda olduğu yapıyı kullanır.

Az önceki ispatta tek tek:

x_1,\;x_2,\;x_3,\ldots

elemanlarını kontrol etmedik.

Alt küme tanımını kullandık:

A\subseteq B \quad\Longleftrightarrow\quad \forall x\,(x\in A\Rightarrow x\in B).

Dolayısıyla ispatın gücü örnek sayısından değil, genelliğinden gelir.

Bir örnek bize bir fotoğraf verir.

Çok sayıda örnek bize bir fotoğraf albümü verir.

İspat ise fotoğrafların neden aynı kurala uymak zorunda olduğunu gösteren mekanizmayı açıklar.

7. Neden tek bir karşı örnek yeterlidir?

Burada daha önce öğrendiğimiz niceleyicilerin değili doğrudan devreye girer.

Evrensel bir iddia:

\forall x\in D,\;P(x)

olsun.

Bunun değili:

\exists x\in D:\neg P(x)

şeklindedir.

Yani

“Her $x$ için doğrudur.”

iddiasının yanlış olduğunu göstermek için:

“Doğru olmadığı en az bir $x$ vardır.”

dememiz yeterlidir.

Asimetri

Evrensel bir iddiada:

\boxed{ \text{Bin olumlu örnek ispat değildir;} \qquad \text{tek karşı örnek çürütmeye yeter.} }

Örneğin:

“Her fonksiyon birebirdir.”

iddiasını düşünelim.

Tek bir karşı örnek seçelim:

f:\mathbb R\to\mathbb R,\qquad f(x)=x^2.

Çünkü

f(1)=1

f(-1)=1.

Farklı girdiler aynı çıktıya gittiği için $f$ birebir değildir.

Dolayısıyla:

“Her fonksiyon birebirdir.”

iddiası yanlıştır.

Bir milyon başka birebir fonksiyon bulmamız bu karşı örneği ortadan kaldırmaz.

8. Ama bazen bir örnek gerçekten yeterlidir

“Örnek asla ispat olmaz.” demek de doğru değildir.

Niceleyiciye dikkat etmemiz gerekir.

Şu iddiayı düşünelim:

\exists x\in D:\;P(x).

Bu:

“ $P(x)$ özelliğine sahip en az bir $x$ vardır.”

demektir.

Böyle bir varlık iddiasını ispatlamak için gerçekten bir örnek göstermek yeterli olabilir.

Bir tanık varlık ispatıdır

İddia:

Karesi $9$ olan bir tam sayı vardır.

Şu sayıyı gösterebiliriz:

x=3.

Çünkü:

3^2=9.

Dolayısıyla

\exists x\in\mathbb Z:\;x^2=9.

ispatlanmıştır.

Buradaki $3$ sayısına bir tanık (witness) diyebiliriz.

Demek ki asıl kural:

“Örnek yeterli midir?” sorusunun cevabı iddianın mantıksal biçimine bağlıdır.

$\forall$ iddiasında birkaç örnek genellikle yeterli değildir.
$\exists$ iddiasında uygun tek bir örnek yeterli olabilir.

Bu nedenle niceleyicileri öğrenmemiz yalnızca sembol öğrenmek değildi; ispatın mantığını hazırlıyordu.

9. Sonlu sayıda bütün durumları kontrol edersek?

Bir başka önemli istisna vardır.

Şu iddiayı düşünelim:

$\{1,2,3,4\}$ kümesindeki her sayı $5$ 'ten küçüktür.

Alanımız:

D=\{1,2,3,4\}.

Şimdi gerçekten bütün elemanları kontrol edebiliriz:

1<5,\qquad 2<5,\qquad 3<5,\qquad 4<5.

Başka eleman yoktur.

Dolayısıyla bütün olasılıkları tüketmiş olduk.

Bu bir durumlara ayırarak ispat biçimidir.

Önemli ayrım

Sorun “örnek kullanmak” değildir.

Sorun, kontrol edilen örneklerin iddianın gerektirdiği bütün durumları kapsayıp kapsamadığıdır.

Sonlu bir alandaki her durum eksiksiz kontrol edilmişse bu bir ispat olabilir.

Rastgele seçilmiş çok sayıda durum kontrol edilmişse bu yalnızca testtir.

10. Deney ile matematiksel ispat aynı şey midir?

Matematikte ve deneysel bilimlerde kanıtın rolü aynı değildir.

Bir fizikçi belirli bir yasayı:

laboratuvarda ölçebilir,
farklı koşullarda tekrar tekrar sınayabilir,
deney sonuçlarını modelle karşılaştırabilir.

Gözlemler modelin doğa için ne kadar başarılı olduğunu sınar.

Matematikte ise bir teorem, tanımlar ve varsayımlar altında mantıksal olarak çıkarılır.

Bu nedenle matematiksel ispatın yapısı şöyledir:

\text{Varsayımlar} \Rightarrow \text{zorunlu sonuç}.

Bilim ile matematiğin buluştuğu yer

Bir fizik modelinde matematiksel olarak

A\Rightarrow B

ispatlanmış olabilir.

Bu, matematik açısından:

“ $A$ varsayımları geçerliyse $B$ zorunludur.”

demektir.

Fakat gerçek fiziksel sistemin gerçekten $A$ varsayımlarına uyup uymadığı deneysel bir sorudur.

Dolayısıyla:

ispat, matematiksel modelin içindeki sonucu güvence altına alır;
deney, modelin gerçek dünyayı ne ölçüde temsil ettiğini sınar.

11. Bilgisayar binlerce örnek kontrol ederse?

Bilgisayarlar bu ayrımı daha ilginç hâle getirir.

Bir program kullanarak bir iddiayı:

bin,
milyon,
milyar

farklı girdide test edebiliriz.

Bu son derece yararlı olabilir.

Ama eğer alan sonsuzsa:

1\,000\,000\,000

örneğin kontrol edilmesi bile

\forall x\in D,\;P(x)

sonucunu tek başına vermez.

Çünkü hâlâ kontrol edilmemiş durumlar vardır.

Bilgisayar kontrolü ≠ otomatik olarak ispat

Bir bilgisayarın çok sayıda örneği kontrol etmesi deneysel doğrulama olabilir.

Fakat bundan:

“Demek ki bütün durumlarda doğrudur.”

sonucuna otomatik olarak geçemeyiz.

Ancak burada önemli bir incelik vardır:

Bilgisayar hiçbir zaman ispat yapamaz demek de yanlıştır.

Eğer matematiksel olarak yalnızca sonlu sayıda durum bulunduğunu biliyorsak ve bilgisayar bu durumların tamamını, doğruluğu gerekçelendirilmiş bir yöntemle kontrol ediyorsa, bu hesaplama bir ispatın parçası olabilir.

Benzer biçimde bilgisayar destekli veya biçimsel olarak doğrulanmış ispatlar da mümkündür.

Dolayısıyla ayrım:

\boxed{ \text{Bilgisayar kullanıldı mı?} }

değil,

\boxed{ \text{Kontrol mantıksal olarak bütün iddiayı kapsıyor mu?} }

sorusundadır.

12. Örnekler o hâlde neden bu kadar önemlidir?

“Örnek ispat değildir.” cümlesi örnekleri değersizleştirmemelidir.

Örneklerin matematikte çok önemli görevleri vardır.

12.1. Kavramı anlamak

Bir tanımı ilk gördüğümüzde örnekler onun ne söylediğini görünür kılar.

12.2. Örüntü keşfetmek

Birçok teorem önce örneklerde görülen bir düzenin genelleştirilmesiyle tahmin edilir.

12.3. Konjektür oluşturmak

Henüz ispatlanmamış fakat doğru olduğundan şüphelendiğimiz iddiaya konjektür demiştik.

Örnekler konjektür üretmemize yardım eder.

12.4. Yanlış iddiaları çürütmek

Karşı örnek aramak matematiksel düşünmenin en güçlü araçlarından biridir.

12.5. İspat fikrini bulmak

Bazen birkaç iyi seçilmiş örneği dikkatle incelemek, genel ispatın hangi mekanizmaya dayanacağını gösterir.

Matematiğin sağlıklı çalışma döngüsü çoğu zaman şöyledir:

\boxed{ \text{Örnekler} \rightarrow \text{Örüntü} \rightarrow \text{Konjektür} \rightarrow \text{İspat} }

Örnekler keşfetmeye yardım eder.

İspat ise keşfedilen düzenin gerçekten genel olup olmadığını belirler.

13. İspat yalnızca “doğruluk sertifikası” değildir

İspatın yalnızca:

“Evet, bu teorem doğru.”

demek için yapıldığını düşünmek eksik olur.

İyi bir ispat çoğu zaman teoremin neden doğru olduğunu da açıklar.

Örneğin alt kümelerle ilgili teoremimizi yeniden düşünelim:

A\subseteq B,\qquad B\subseteq C \Rightarrow A\subseteq C.

İspat bize yalnızca sonucu doğrulamadı.

Sonucun neden ortaya çıktığını gösterdi:

x\in A \Rightarrow x\in B \Rightarrow x\in C.

Yani aradaki mekanizmayı gördük.

İspatın üç görevi

Bir ispat en az üç farklı iş görebilir:

Doğrulama: İddianın gerçekten doğru olduğunu gösterir.
Açıklama: Neden doğru olduğunu görünür kılar.
Genelleme: Tek tek örneklerin ötesindeki ortak yapıyı ortaya çıkarır.

İleri matematikte bazen aynı teoremin birden fazla ispatının bulunmasının nedeni de budur.

İki ispat aynı sonucu doğrulayabilir ama sonucun farklı yönlerini açıklayabilir.

14. Tarihsel olarak ispat fikri nasıl gelişti?

Matematiksel ispatın tek bir mucidi yoktur.

Hesap, ölçme ve geometrik yöntemler çok eski uygarlıklarda bulunuyordu; fakat sonuçların yalnızca örneklerle veya pratik yöntemlerle değil, genel gerekçeler zinciriyle temellendirilmesi özellikle Antik Yunan matematiğinde sistematik bir biçim kazandı.

Yaklaşık MÖ 300 civarında Öklid'in Elementler adlı eseri bu yaklaşımın en etkili örneklerinden biri oldu. Eser, başlangıçta kabul edilen tanım ve ilkelerden hareket ederek sonuçları ardışık biçimde türetmeye çalışan büyük bir matematiksel sistem kurdu.

Sonraki yüzyıllarda “neyin geçerli ispat sayıldığı” anlayışı da gelişti. Özellikle 19. ve 20. yüzyıllarda matematiğin temelleri, aksiyomlar ve biçimsel mantık üzerine yapılan çalışmalar ispat kavramını çok daha açık hâle getirdi.

Bugünkü matematiksel ispat anlayışı bu uzun tarihsel gelişimin sonucudur.

Buradaki temel dönüşüm şudur:

\text{“Bütün baktığım örneklerde çalışıyor.”}

düşüncesinden

\text{“Bu sonuç varsayımlardan zorunlu olarak çıkıyor.”}

düşüncesine geçmek.

15. Nerelerde kullanılır?

İspat matematiğin ayrı bir alt konusu değildir.

İlerledikçe neredeyse bütün matematiğin çalışma biçimine dönüşecektir.

Matematik içinde

Sayı teorisinde:

Bir özelliğin bütün doğal sayılar için geçerli olduğunu göstermek.

Analizde:

Bir limitin gerçekten verilen değere yakınsadığını göstermek.

Lineer cebirde:

Bir dönüşümün belirli koşullarda tersinir olduğunu göstermek.

Soyut cebirde:

Bir yapının belirli aksiyomlardan hangi özellikleri zorunlu olarak taşıdığını çıkarmak.

Topolojide:

Süreklilik, kompaktlık veya bağlantılılık gibi özellikler arasında zorunlu ilişkiler kurmak.

gibi görevlerin tamamı ispat gerektirir.

Bilgisayar bilimi ve teknoloji

Bir algoritmayı bin farklı girdide test etmek:

“Bu testlerde çalıştı.”

sonucunu verir.

Algoritmanın bütün izin verilen girdilerde doğru sonuç verdiğini göstermek ise bir doğruluk ispatı gerektirebilir.

Örneğin bir sıralama algoritması için yalnızca birkaç listeyi sıralayabildiğini görmek yerine:

algoritmanın durduğunu,
çıktının gerçekten sıralı olduğunu,
hiçbir elemanın kaybolmadığını veya eklenmediğini

genel olarak göstermek isteriz.

Bu fikir biçimsel doğrulama, kritik yazılım sistemleri ve donanım doğrulamasında doğrudan kullanılır.

16. En sık yapılan düşünme hataları

Hata 1 — “Çok fazla örnek gördüm; artık ispatlandı.”

Hayır.

Eğer iddia evrenselse, kontrol edilmemiş bir durumda bozulabilir.

Hata 2 — “Bilgisayar milyon tane kontrol etti; kesin doğrudur.”

Alan sonsuzsa milyon sayısı mantıksal sorunu çözmez.

Mesele örnek sayısı değil, bütün durumların kapsanıp kapsanmadığıdır.

Hata 3 — “Bir karşı örnek buldum ama diğer bütün örnekler doğru.”

Evrensel iddia için tek karşı örnek yeterlidir.

\forall x\,P(x)

iddiası, bir tane

x_0

için

\neg P(x_0)

bulunduğu anda yanlıştır.

Hata 4 — “Örnek hiçbir zaman ispat değildir.”

Bu da fazla geneldir.

Bir varlık iddiasında uygun bir tanık yeterlidir:

\exists x\,P(x).

Sonlu sayıda bütün olasılıkların eksiksiz kontrolü de ispat olabilir.

Hata 5 — “İspat demek çok fazla hesap yapmak demektir.”

İspatın özü hesap miktarı değil, mantıksal zorunluluktur.

Bir ispat birkaç satır olabilir; uzun bir hesaplama ise hiçbir şeyi ispatlamıyor olabilir.

Hata 6 — “Doğru sonuç çıktıysa argüman doğrudur.”

Bir argümanın sonucu tesadüfen doğru olabilir ama kullanılan çıkarım geçersiz olabilir.

Matematikte yalnızca sonucun doğruluğu değil:

Sonuca nasıl ulaşıldığı

da önemlidir.

17. İspatın yapısını okumak

Bir ispatla karşılaştığında önce şu dört şeyi bulmaya çalış:

1. Ne varsayılıyor?

Örneğin:

A\subseteq B,\qquad B\subseteq C.

2. Ne gösterilmek isteniyor?

A\subseteq C.

3. Hangi tanım veya daha önceki sonuç kullanılıyor?

Alt küme tanımı:

A\subseteq B \iff \forall x\,(x\in A\Rightarrow x\in B).

4. Sonuç hangi mantıksal zincirle çıkıyor?

x\in A \Rightarrow x\in B \Rightarrow x\in C.

Bu dört soruyu görebildiğinde ispat artık ezberlenecek bir metin olmaktan çıkar.

18. Bir iddiayla karşılaştığında önce mantıksal biçimine bak

İleride ispat yöntemi seçerken ilk sorularımızdan biri şu olacak:

İddia ne tür bir iddia?

Örneğin:

Evrensel iddia

\forall x,\;P(x)

Genellikle keyfî bir $x$ alıp $P(x)$ göstermeye çalışırız.

Varlık iddiası

\exists x,\;P(x)

Bir tanık üretmek yeterli olabilir.

Koşullu iddia

P\Rightarrow Q

$P$ 'yi varsayıp $Q$ 'ya ulaşmaya çalışabiliriz.

Eşdeğerlik

P\Leftrightarrow Q

İki yön gerekir:

P\Rightarrow Q

Q\Rightarrow P.

Evrensel iddiayı çürütme

Bir karşı örnek ararız:

\exists x:\neg P(x).

Önceki derslerin neden gerekli olduğu

Niceleyiciler, değilleme ve geçerli çıkarım konularını ispatlardan ayrı konular olarak öğrenmedik.

Şimdi bunların gerçek işlevi görünmeye başlıyor:

\text{Mantıksal biçim} \rightarrow \text{uygun ispat stratejisi}.

19. Örnek, deney, konjektür, karşı örnek ve ispat

Bu kavramları artık net biçimde ayıralım.

Kavram	Ne yapar?	Evrensel iddiayı kesinleştirir mi?
Örnek	Belirli bir durumu gösterir	Hayır
Çok sayıda test	İddia hakkında kanıtlayıcı olmayan destek sağlar	Hayır
Konjektür	Doğru olduğundan şüphelenilen genel iddiadır	Henüz değil
Karşı örnek	Evrensel iddiaya uymayan tek durum verir	İddiayı çürütür
İspat	Sonucun varsayımlardan zorunlu çıktığını gösterir	Evet

Bu tablonun özünü tek satırda yazabiliriz:

\boxed{ \text{Örnek keşfettirir, karşı örnek çürütür, ispat kesinleştirir.} }

20. Kısa düşünme durakları

Düşünme 1

Bir kişi ilk $10\,000$ doğal sayı için bir eşitliği bilgisayarla kontrol ediyor.

Eşitlik her seferinde doğru çıkıyor.

Bu bilgi bize ne verir?

Ne vermez?

Düşünme 2

Birisi:

“Bütün fonksiyonlar örtendir.”

diyor.

Bu iddiayı çürütmek için kaç fonksiyon bulman gerekir?

Düşünme 3

Şu iddia için tek bir örnek neden yeterli olabilir?

\exists A:\;A=\mathcal P(\varnothing).

Düşünme 4

Sonlu bir kümede “her eleman şu özelliğe sahiptir” iddiasını bütün elemanları tek tek kontrol ederek ispatlayabilir miyiz?

Neden?

21. Matematik haritasındaki bağlantı

Şimdiye kadar kurduğumuz yol:

\text{Önerme} \rightarrow \text{Mantıksal bağlaçlar} \rightarrow \text{Koşul} \rightarrow \text{Niceleyiciler} \rightarrow \text{Değilleme} \rightarrow \text{Geçerli çıkarım} \rightarrow \text{Teorem} \rightarrow \boxed{\text{İspat}}

Fakat henüz yalnızca ispatın ne olduğunu öğrendik.

Sıradaki soru şudur:

Bir teoremi gerçekten ispatlamak istediğimizde nereden başlayacağız?

Bir sonraki birimde ilk temel yöntemimizi öğreneceğiz:

\boxed{\text{Doğrudan ispat}}

Orada genel şema şu olacak:

P \Rightarrow \cdots \Rightarrow Q.

22. Kısa sentez

Neden vardı?

Matematikte çok sayıda örneğin doğru çıkması, özellikle sonsuz veya genel bir alandaki iddianın bütün durumlarda doğru olduğunu garanti etmez.

Bu boşluğu kapatmak için ispat gerekir.

Ne öğrendik?

İspat; tanımlar, aksiyomlar, daha önceki sonuçlar ve geçerli mantıksal çıkarımlar kullanarak bir sonucun zorunlu olduğunu gösteren argümandır.

Evrensel bir iddia:

\forall x\,P(x)

birkaç örnekle ispatlanmaz.

Ama tek bir karşı örnek:

\exists x\,\neg P(x)

onu çürütür.

Varlık iddialarında ise uygun tek bir tanık gerçekten yeterli olabilir.

Neyi artık yapabiliyoruz?

Bir matematiksel argüman gördüğümüzde:

yalnızca örnek mi verdiğini,
bir konjektürü destekleyip desteklemediğini,
bir karşı örnekle iddiayı çürütüp çürütmediğini,
gerçekten genel bir ispat kurup kurmadığını

ayırt etmeye başlayabiliriz.

Sırada ne var?

İspatın ne olduğunu biliyoruz.

Şimdi:

“Bir ispat nasıl kurulur?”

sorusuna geçeceğiz.

İlk yöntem: doğrudan ispat.

23. Öğrenme kontrolü

Kavrama

Kendi sözlerinle “matematiksel ispat” nedir?
Neden $10\,000$ olumlu örnek, sonsuz bir alan üzerindeki evrensel iddiayı tek başına ispatlamaz?
İspatın “doğrulama” dışında hangi önemli işlevi vardır?

Teknik / Mantıksal okuma

Şu iddianın mantıksal biçimini yaz:

“Her $A$ kümesi için $A\cap\varnothing=\varnothing$ .”
Bu iddiayı çürütmek isteseydin mantıksal olarak ne bulman gerekirdi?
Şu ifade evrensel mi, varoluşsal mı?

“En az bir bijektif fonksiyon vardır.”

Böyle bir iddiada tek örnek neden yeterli olabilir?

Gerekçelendirme

Aşağıdaki argümanı değerlendir:

$1,2,3,\ldots,1000$ değerlerinde bir kural çalıştı. Dolayısıyla bütün doğal sayılarda çalışır.

Mantıksal eksikliği tam olarak nerede?
Neden
$\forall x\,P(x)$
iddiasına karşı
$P(a)$
biçiminde bir örnek vermek ispat değildir; fakat
$\neg P(a)$
bulmak iddiayı çürütür?
Şu teoremin ispatındaki “keyfî eleman”ın rolünü açıkla:
$A\subseteq B,\quad B\subseteq C \Rightarrow A\subseteq C.$

Transfer

Bir bilgisayar, belirli bir matematiksel iddiayı $10^{12}$ farklı durumda kontrol etmiş ve hiç karşı örnek bulamamış olsun.

Bu bilgi hangi koşul altında hâlâ ispat sayılmaz?

Hangi tür bir durumda eksiksiz bilgisayar kontrolü ispatın bir parçası olabilir?
Kendin yanlış ama ilk birkaç örnekte doğru görünebilecek bir evrensel iddia üretmeye çalış.
Şu iki iddianın neden farklı ispat stratejileri gerektirdiğini açıkla:
$\forall x\in D,\;P(x)$
ve
$\exists x\in D,\;P(x).$

Birimin tamamlanma ölçütü

Bu birim tamamlandığında şunları yapabiliyor olmalısın:

ispatın ne olduğunu kendi sözlerinle açıklamak,
örnek ile genel gerekçeyi ayırmak,
çok sayıda doğrulamanın neden evrensel ispat olmadığını niceleyiciler üzerinden açıklamak,
karşı örneğin neden tek başına evrensel iddiayı çürütebildiğini göstermek,
varoluş iddiasında bir tanığın neden yeterli olabileceğini fark etmek,
sonlu ve eksiksiz durum kontrolü ile rastgele örnek kontrolünü ayırmak,
kısa bir argümanın gerçekten ispat olup olmadığını sorgulamak.

Bir sonraki adımda bu anlayışı kullanarak ilk gerçek ispat tekniğimizi kuracağız:

01.06.03 — Doğrudan ispat.