6. Tanım-Aksiyom-Teorem-İspat

 6. Tanım, Aksiyom, Teorem ve İspat Yöntemleri 

 🎯Kazanımlar

Bu bölümü tamamladığında;

• Tanımsız terimler ile tanımlı terimleri ayırt edebilecek,
• İyi bir tanımda bulunması gereken 4 temel özelliği kavrayabilecek,
• Aksiyom kavramını tanımlayabilecek ve aksiyom sistemlerinin taşıması gereken nitelikleri açıklayabilecek,
• Teorem, hipotez ve hüküm kavramlarını $p \Rightarrow q$ kurgusu üzerinde tanımlayabilecek,
• İspat kavramını açıklayabilecek ve doğrudan ispat yöntemi ile dolaylı ispat yöntemlerini (karşıt ters, çelişki, aksine örnek verme) aşama aşama uygulayabileceksin.

 📖Konu Anlatımı

 1. Tanımsız ve Tanımlı Terimler

Matematiksel sistemlerde her kavramı başka bir kavramla açıklamak mümkün olmadığından mantıksal bir kısır döngüyü önlemek için bazı temel kavramlar tanımsız kabul edilir.

 🔹 Tanımsız Terimler

Daha temel bir kavramla açıklanmaya ihtiyaç duyulmaksızın, doğrudan ve sezgisel olarak kabul gören terimlerdir.

 Örnekler: Nokta, doğru, düzlem, küme.

 🔹 Tanımlı Terimler

Kendisinden önce tanımlanmış terimler veya tanımsız terimler kullanılarak anlamı açıkça belirtilen kavramlardır.

 Örnekler: Üçgen, kare, asal sayı, çift sayı, paralel doğrular.

 2. Tanım (Tanımlama)

Bir terimin veya kavramın benzersiz niteliklerini, kapsama alanını ve sınırlarını belirleme işlemine tanım denir.

 İyi Bir Tanımda Bulunması Gereken 4 Temel Özellik:

1. Açıklık ve Anlaşılırlık: Tanım önceden bilinen terimler veya tanımsız terimler kullanılarak yapılmalıdır.

2. Kapsayıcılık ve Sınırlayıcılık: Tanımlanan kavramın tüm elemanlarını içermeli (yetersiz olmamalı), o kavrama ait olmayan hiçbir elemanı kapsamamalıdır.

3. Tutarlılık: Tanım kendi içinde veya daha önceden kabul edilmiş kurallarla çelişmemelidir.

4. Döngüsel Olmama (Kısır Döngü Yaratmama): Tanımlanacak kavram yine kendisiyle açıklanmamalıdır. (Örn: "Çift sayı, çift olan sayıdır" ifadesi bir tanım değildir).

 3. Aksiyom

Sistem kurulurken mantıksal bir ispat aranmaksızın doğru varsayılan temel önermelere aksiyom denir.

 Aksiyom Sisteminde Bulunması Gereken Nitelikler:

• Çelişmezlik: Aksiyomlar kendi aralarında uyumlu olmalı, birbirleriyle mantıksal zıtlık içermemelidir.
• Özgünlük (Bağımsızlık): Hiçbir aksiyom bir diğer aksiyomdan türetilememelidir.
• Yalınlık (Sadelik): Teoriyi kurmak için gerekli olan en az sayıda temel kabullenimden oluşmalıdır.

Klasik Aksiyom Örnekleri:

• "Farklı iki noktadan tek bir doğru geçer." (Öklid Geometrisi Aksiyomu)
• "Bir küme kendisine eşittir ($A = A$)."

 4. Teorem, Hipotez ve Hüküm

 Teorem

Geçerliliği önceden kanıtlanmış ilkeler, tanımlar veya aksiyomlar yardımıyla doğrulanması gereken iddialara teorem denir.

Bir teorem sembolik mantıkta koşullu önerme ($p \Rightarrow q$) biçiminde ifade edilir.

 Hipotez ve Hüküm

$p \Rightarrow q$ teoremi için:

• $p$ (Hipotez / Varsayım): Teoremin doğruluğu peşinen varsayılan başlangıç koşuludur.
  • $q$ (Hüküm / Yargı): Hipoteze dayanılarak mantıksal adımlarla ulaşılmak istenen sonuç yargısıdır.

 💡Örnek: "Bir $x$ tam sayısı 10 ile tam bölünebiliyorsa, $x$ sayısı 5 ile de tam bölünür."

• Hipotez ($p$): $x$ tam sayısının 10 ile tam bölünmesi.
  • Hüküm ($q$): $x$ tam sayısının 5 ile tam bölünmesi.

 5. İspat Yöntemleri

Bir teoremin hipotezinden ($p$) hareketle hükmün ($q$) doğru olduğunu adım adım gösterme sürecine ispat denir. İspat yöntemleri temel olarak iki ana başlığa ayrılır:

A. Doğrudan İspat Yöntemi

Hipotezin ($p$) doğru olduğu kabul edilir. Tanımlar, aksiyomlar ve mantık kuralları adım adım uygulanarak doğrudan hükme ($q$) ulaşılır.

• Hedef: $p \equiv 1$ kabul edip adım adım $q \equiv 1$ olduğunu göstermektir.

 B. Dolaylı İspat Yöntemleri

1. Karşıt Ters Yöntemi ile İspat:

• Bir koşullu önerme karşıt tersine denktir: $(p \Rightarrow q) \equiv (q' \Rightarrow p')$.
  • $q$ hükmünün değili ($q'$) doğru kabul edilir. Mantıksal adımlarla $p'$ (hipotezin değili) elde edilir.

2. Çelişki Yöntemi ile İspat (Olmayana Ergi):

• Teoremin değili olan $(p \Rightarrow q)' \equiv p \land q'$ ifadesinin doğru olduğu varsayılır.
  • Yani $p$ doğru, $q$ yanlış kabul edilir.
  • Mantıksal işlemler sonucunda bilinen bir aksiyom, tanım veya hipotez ile çelişen bir durum ($0$) elde edilir. Bu çelişki varsayımın yanlış, teoremin ise doğru olduğunu kanıtlar.

3. Aksine Örnek Verme Yöntemi:

   - Genellikle $\forall x, p(x)$ (evrensel niceleyici) biçimindeki iddiaların yanlış olduğunu göstermek için kullanılır.

   - İddiayı sağlamayan tek bir örnek (karşıt örnek) bulmak iddiayı çürütmek için yeterlidir.

 ✏️Çözümlü Örnekler 

 Örnek 1 (Tanım ve Aksiyom Ayrımı)

Soru: Aşağıdaki ifadelerin Tanım, Aksiyom veya Teorem kavramlarından hangisine ait olduğunu belirtiniz.

a) "Farklı iki noktadan tek bir doğru geçer."

b) "Karesi kendisine eşit olan sayılara birim eleman denir."

c) "İki tek tam sayının toplamı bir çift tam sayıdır."

Çözüm:

 a) Aksiyom: İspat edilmeden doğru kabul edilen temel ifadedir.

 b) Tanım: Bir kavramın sınırlarını net olarak açıklayan ifadedir.

 c) Teorem: İspatlanması gereken mantıksal önermedir ($p \Rightarrow q$).

 Örnek 2 (Doğrudan İspat Yöntemi)

Soru: "Bir $n$ tek tam sayısı için $n^2$ de tek sayıdır." teoremini doğrudan ispat yöntemi ile ispatlayınız.

Çözüm:

• Hipotez ($p$): $n$ bir tek tam sayıdır.
  • Tek sayı tanımı gereği $k \in \mathbb{Z}$ olmak üzere $n = 2k + 1$ yazılabilir.
  • Her iki tarafın karesini alalım:

  $$n^2 = (2k + 1)^2 = 4k^2 + 4k + 1$$

• İfadeyi 2 parantezine alalım:

  $$n^2 = 2(2k^2 + 2k) + 1$$

• $m = 2k^2 + 2k$ seçilirse ($m \in \mathbb{Z}$'dir), $n^2 = 2m + 1$ biçimine dönüşür.
  • Bu da tek sayı tanımına tam uygundur.
  • Sonuç: Hüküm ($n^2$ tek sayıdır) doğrudan ispatlanmıştır.

 Örnek 3 (Karşıt Ters Yöntemi ile İspat)

Soru: "$n^2$ çift tam sayı ise $n$ çift tam sayıdır." teoremini karşıt ters yöntemi ile ispatlayınız.

Çözüm:

• Orijinal Teorem ($p \Rightarrow q$): $n^2 \text{ çift} \Rightarrow n \text{ çift}$
  • Karşıt Ters ($q' \Rightarrow p'$): $n \text{ tek} \Rightarrow n^2 \text{ tek}$
  • Şimdi karşıt ters önermesini ispatlayalım:
  • Hipotez ($q'$): $n$ bir tek sayıdır $\Rightarrow n = 2k + 1$ ($k \in \mathbb{Z}$).
  • $n^2 = (2k + 1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$.
  • $n^2$ tek sayı elde edildi ($p'$).
  • Karşıt ters önermesi ($q' \Rightarrow p'$) doğru olduğundan, orijinal teorem ($p \Rightarrow q$) de denkliği gereği ispatlanmış olur.

 Örnek 4 (Çelişki Yöntemi ile İspat)

Soru: $\sqrt{2}$ sayısının irrasyonel bir sayı olduğunu çelişki yöntemi ile gösteriniz.

Çözüm:

• Varsayım (Teoremin Değili): $\sqrt{2}$ sayısının rasyonel olduğunu varsayalım.
  • Rasyonel sayı tanımı gereği, aralarında asal $a, b \in \mathbb{Z}^+$ ($b \neq 0$) için $\sqrt{2} = \frac{a}{b}$ yazılabilir.
  • Her iki tarafın karesini alalım:

  $$2 = \frac{a^2}{b^2} \Rightarrow a^2 = 2b^2$$

• $a^2$ çift olduğu için $a$ da çift sayı olmalıdır ($a = 2k$).
  • Denklemde yerine yazalım:

  $$(2k)^2 = 2b^2 \Rightarrow 4k^2 = 2b^2 \Rightarrow b^2 = 2k^2$$

• $b^2$ çift olduğu için $b$ de çift sayı olmalıdır.
  • Çelişki: $a$ ve $b$'nin her ikisi de çift sayı çıktı. Bu durum $a$ ve $b$'nin aralarında asal olması varsayımı ile çelişir!
  • Sonuç: Varsayımımız yanlış olduğuna göre $\sqrt{2}$ rasyonel olamaz, irrasyoneldir.

 Örnek 5 (Aksine Örnek Verme Yöntemi ile Çürütme)

Soru: "Her $x \in \mathbb{R}$ için $x^2 > x$'tir." önermesinin yanlış olduğunu aksine örnek verme yöntemi ile gösteriniz.

Çözüm:

• İddia: $\forall x \in \mathbb{R}, x^2 > x$
  • İddiayı çürütmek için kuralı sağlamayan tek bir örnek ($x$ değeri) bulmak yeterlidir.
  • $x = \frac{1}{2} \in \mathbb{R}$ alalım.
  • $x^2 = \left(\frac{1}{2}\right)^2 = \frac{1}{4}$ olur.
  • $\frac{1}{4} > \frac{1}{2}$ eşitsizliği yanlıştır ($\frac{1}{4} < \frac{1}{2}$).
  • Sonuç: $x = \frac{1}{2}$ değeri aksine örnek (karşıt örnek) olduğu için iddia çürütülmüştür.

 ⚠️ Sık Yapılan Hatalar

 🔴Aksiyom ile Teoremi karıştırmak: Aksiyom ispat gerektirmez (doğrudan kabul edilir), teorem ise mutlaka ispatlanmalıdır.

 🔴Hipotez ile Hükmün yerini karıştırmak: $p \Rightarrow q$ ifadesinde $p$ hipotez (verilen), $q$ hükümdür (ulaşılmak istenen).

 🔴Aksine örnek verirken tüm elemanları incelemeye çalışmak: Yanlışlamak istediğimiz önerme $\forall$ (her) ile kurulmuşsa tek bir aksi örnek iddiayı çürütmek için tam olarak yeterlidir.

 🔴Döngüsel Tanım Yapmak: Bir kavramı tanımlarken yine o kavramın ismini kullanmak (örn: "Doğru parça, doğru olan parçadır") tanım kuralına aykırıdır.