Matematik Neyi İnceler? Sayılardan Değişime Uzanan Yapı

Bir matematiksel sonucun geçerli olması için ne gerekir?

Matematiksel çalışma genellikle dört halkadan oluşur: tanım, varsayım veya aksiyom, çıkarım ve sonuç. Tanım bir kavramın ne anlama geldiğini belirler. Örneğin doğal sayıların hangi küme olarak ele alındığı kullanılan bağlama göre açıklanmalıdır; bazı kaynaklar 0'ı doğal sayılara dahil ederken bazıları 1'den başlatabilir. Bu nedenle bir soruda kümenin tanımını gözden geçirmek gerekir.

Aksiyomlar, içinde çalışılan sistemin başlangıç kabulleridir. Teorem ise bu kabullerden ve daha önce kanıtlanmış sonuçlardan mantıksal olarak çıkarılan önermedir. Bir formülü yazmak, tek başına neden doğru olduğunu göstermez. Örneğin dik üçgende Pisagor bağıntısı $a^2+b^2=c^2$ yalnızca üçgenin bir açısı $90^\circ$ olduğunda kullanılabilir; herhangi bir üçgende aynı eşitliği uygulamak doğru değildir.

Bir matematiksel büyüklüğü tanımlarken onun yorumunu da bilmek gerekir. Eşitsizlikte $x>5$ ifadesi, x'in 5'e eşit olmadığını ve 5'ten büyük olduğunu söyler. $x\geq5$ ise 5 değerini de kapsar. Bu küçük görünen fark, çözüm kümesini değiştirir. Sonuç olarak matematikte karar, yalnızca elde edilen sayıya değil, sayının hangi kümeye ait olduğuna, hangi koşullarda üretildiğine ve sınır değerlerin dahil edilip edilmediğine bakılarak verilir.

Sayı kümeleri: niceliği ifade etmekten yapı incelemeye

Sayılar, sayma ve ölçme ihtiyacından doğan en temel matematiksel nesnelerdir; ancak farklı sayı türlerinin farklı kullanım amaçları vardır. Doğal sayılar saymayı, tam sayılar pozitif ve negatif yönlü farkları, rasyonel sayılar kesirli oranları ifade edebilir. Rasyonel bir sayı $\frac{p}{q}$ biçiminde yazılabilir ve burada $p$ ile $q$ tam sayı, $q\neq0$ olmalıdır. $q=0$ olduğunda bölme tanımlı olmadığı için bu ifade rasyonel sayı oluşturmaz.

İrrasyonel sayılar, iki tam sayının oranı biçiminde yazılamayan sayılardır. $\sqrt{2}$ buna örnektir; ondalık gösterimi sonlu veya devirli değildir. Rasyonel ve irrasyonel sayıların birlikte oluşturduğu gerçek sayılar, sayı doğrusu üzerinde temsil edilir. Karmaşık sayılar ise $a+bi$ biçimindedir; burada $a$ ve $b$ gerçel sayılar, $i^2=-1$ koşulunu sağlayan sanal birimdir.

Sayıları incelemek yalnızca işlem yapmak anlamına gelmez. Asal sayı, bölünebilme, ortak bölen ve kat gibi kavramlar sayıların çarpan yapısını ortaya çıkarır. Örneğin iki sayının ortak bölenlerini incelemek, kesir sadeleştirmede işe yarar. Aynı aralıklarla tekrarlanan olayların ortak zamanlarını bulmak için sayıların ortak katları, en erken ortak zamanı bulmak için de en küçük ortak katı incelenmelidir. Mutlak değer $|x|$, gerçek sayı doğrusunda x'in 0'a olan uzaklığını ifade eder. Bu yorum nedeniyle $|x|$ negatif olamaz; fakat x'in kendisi negatif olabilir. Mesela $|-4|=4$ olur.

Cebir, ilişkileri değişkenlerle nasıl görünür hale getirir?

Cebirin ayırt edici özelliği, tek bir örneğin sonucunu bulmak yerine birçok durumu aynı ifadede temsil etmesidir. Bir sayının 3 fazlası $x+3$, bir sayının iki katı $2x$ ve bir dikdörtgenin kısa kenarı x, uzun kenarı $x+2$ olarak gösterilebilir. Değişken, mutlaka bilinmeyen tek bir sayıyı değil, koşula göre değişebilen veya farklı değerler alabilen bir niceliği temsil eder.

Denklem, iki ifadenin eşitliğini; eşitsizlik ise büyüklük ilişkisini bildirir. $2x+4=10$ denkleminde amaç, eşitliği sağlayan x değerini bulmaktır. Eşitsizlikte ise tek bir sonuç yerine bir çözüm aralığı elde edilebilir. Her iki tarafta negatif bir sayıyla çarpma veya bölme yapılırsa eşitsizlik yönü değişir; bu, denklemlerle eşitsizlikler arasındaki önemli uygulama farklarından biridir.

Fonksiyon, bir girdiyi belirli bir kurala göre çıktıyla eşleyen ilişkidir. $f(x)=2x+1$ ifadesinde x'in her izin verilen değeri için bir çıktı hesaplanır. Ancak fonksiyonun tanım kümesi belirtilmeden ifade eksik kalabilir. Örneğin $f(x)=\frac{1}{x}$ için $x=0$ kullanılamaz; çünkü sıfıra bölme tanımlı değildir. Bir büyüklüğün nasıl değiştiğini anlamak için yalnızca formüle değil, tanım kümesine ve çıktının neyi temsil ettiğine de bakılır.

Geometri ve uzay: ölçü, konum ve değişmez ilişkiler

Geometri; noktaların, doğruların, açıların, düzlemdeki şekillerin ve üç boyutlu cisimlerin konum, biçim ve ölçülerini inceler. Uzunluk, alan ve hacim birbirinden farklı büyüklüklerdir: uzunluk bir boyutlu, alan iki boyutlu, hacim üç boyutlu ölçüm fikrine dayanır. Bu nedenle bir dikdörtgenin alanı kenar uzunluklarının çarpımıyla, hacmi ise üç boyutlu bir cismin uygun ölçüleriyle ilişkilendirilir; birimlerin de buna göre değişmesi gerekir.

Bir şeklin görünüşü ile onu belirleyen özellikleri ayırmak önemlidir. Örneğin iki üçgenin kenar uzunlukları veya açıları belirli koşullarda eşleşiyorsa benzerlik ya da eşlik ilişkisi kurulabilir. Benzerlikte karşılık gelen uzunluklar aynı oranda değişir; eşlikte ise şekillerin karşılık gelen kenar ve açıları aynıdır. Bu iki kavramı karıştırmak alan ve çevre hesaplarını hatalı hale getirebilir.

Koordinat geometrisi, geometrik nesneleri sayılarla ifade eder. Bir noktanın $(x,y)$ koordinatları, seçilen eksenlere göre konumunu belirtir. Böylece doğru denklemleri, uzaklıklar ve kesişimler cebirsel yöntemlerle incelenebilir. Geometri yalnızca çizimden ibaret değildir; hangi ölçünün istendiğini, verilen bilgilerin şekli belirlemeye yetip yetmediğini ve kullanılan bağıntının hangi şekil koşuluna bağlı olduğunu sorgular.

Değişim, limit ve birikim: analiz hangi soruları yanıtlar?

Bazı nicelikler sabit kalmaz; zamanla, konuma veya başka bir değişkene bağlı olarak değişir. Analiz, bu değişimin nasıl gerçekleştiğini inceleyen matematik alanıdır. Türev, uygun koşullarda bir fonksiyonun anlık değişim oranını verir. Bir konum fonksiyonunun zamana göre türevi hız olarak yorumlanabilir; fakat bu yorumun yapılabilmesi için fonksiyonun gerçekten konumu ve bağımsız değişkenin zamanı temsil etmesi gerekir.

İntegral ise bir aralık boyunca küçük katkıların toplamını ve uygun koşullarda birikmiş büyüklüğü ifade eder. Sabit bir hız $v$ ile $t$ süre boyunca hareket için alınan yol $s=v\cdot t$ biçiminde hesaplanabilir. Yön değiştirmeyen hareketlerde hızın integrali alınan yola eşittir. Genel durumda yer değiştirme için hızın, toplam yol için ise süratin ya da hızın mutlak değerinin zamana göre integrali kullanılmalıdır. Burada integralin sonucu doğrudan her durumda 'alan' değildir; alan yorumu, grafik, eksenler ve işaret koşullarıyla birlikte yapılır. Eğrinin eksenin altında kalan bölümü belirli integralde negatif katkı verebilir.

Limit, bir değişken belirli bir değere yaklaşırken fonksiyonun davranışını incelemeye yarar. Bir ifadenin o noktadaki değeri ile limitinin aynı olması zorunlu değildir. Fonksiyonun sürekliliği için limitin var olması, fonksiyon değerinin tanımlı olması ve bu ikisinin eşit olması gerekir. Bu ayrım, analizde 'yaklaşmak' ile 'eşit olmak' arasındaki farkı açıklar.

Çözümlü örnek: günlük bir ilişkiyi cebirsel modele dönüştürme

Verilenler: Bir kırtasiyede bir defter 18 TL, bir kalem 7 TL olsun. Bir öğrenci x defter ve 2 kalem alıyor. Toplam ödemeyi x cinsinden ifade edelim ve 50 TL bütçeyle en fazla kaç defter alınabileceğini bulalım.

1. Değişkeni belirleyelim: x, alınan defter sayısıdır. Sayma durumu olduğu için x'in negatif veya kesirli bir değer alması beklenmez; x doğal sayı olarak düşünülür.

2. Toplam maliyet modelini kuralım: Defterlerin maliyeti $18x$ TL, iki kalemin maliyeti $2\cdot7=14$ TL'dir. Toplam maliyet $18x+14$ olur.

3. Bütçe koşulunu eşitsizlikle yazalım: $18x+14\leq50$.

4. Çözelim: $18x\leq36$, dolayısıyla $x\leq2$.

5. Değişkenin anlamına dönelim: x doğal sayı ve en fazla 2 olabileceği için uygun en büyük değer 2'dir. Kontrol edersek 2 defter ve 2 kalem $18\cdot2+14=50$ TL tutar. 3 defter için toplam $54+14=68$ TL gerekir ve bütçe aşılır.

Sonuç: 50 TL bütçeyle, belirtilen sabit kalem alışverişi yapıldığında en fazla 2 defter alınabilir. Buradaki kritik nokta yalnızca $x\leq2$ sonucunu bulmak değil, x'in alışveriş adedi olduğu için doğal sayı koşulunu da uygulamaktır.

Çözümlü örnek: dik üçgende bağıntının koşulunu kullanma

Verilenler: Bir dik üçgende dik kenarların uzunlukları 6 cm ve 8 cm'dir. Hipotenüsü bulalım.

1. Koşulu tanıyalım: Pisagor bağıntısı yalnızca dik üçgenlerde kullanılır. Soruda üçgenin dik olduğu belirtildiği için bağıntı uygulanabilir.

2. Kenarları yerleştirelim: Dik kenarlar $a=6$ ve $b=8$, hipotenüs ise dik açının karşısındaki kenar olan c'dir.

3. Bağıntıyı yazalım: $a^2+b^2=c^2$.

4. Sayıları yerine koyalım: $6^2+8^2=c^2$, yani $36+64=c^2$ ve $100=c^2$.

5. Uzunluk koşulunu uygulayalım: $c=10$ veya $c=-10$ cebirsel olarak karekök işleminden düşünülebilir; ancak bir kenar uzunluğu negatif olamayacağı için fiziksel/geometrik sonuç $c=10$ cm'dir.

Sonuç: Hipotenüs 10 cm'dir. Bu örnek, formülün doğru seçilmesi kadar sonucun temsil ettiği büyüklüğün koşullarını kontrol etmenin de gerekli olduğunu gösterir. Üçgen dik değilse aynı işlem, verilen iki kenardan üçüncüyü bulmak için doğrudan kullanılamaz.

Sık yapılan hatalar ve karıştırılan kavramlar

• Matematiği yalnızca sayılarla sınırlamak: Cebir yapıları, geometri uzayı, analiz değişimi, olasılık ise belirsizliği inceler. Sayı, bu alanların bir bölümünde kullanılan temel nesnelerden biridir.

• Formülü koşulsuz uygulamak: Pisagor bağıntısının dik üçgene, bazı alan ve hacim bağıntılarının ise belirli şekillere bağlı olduğu unutulmamalıdır. Önce şekli veya durumu tanımlayın, sonra formül seçin.

• Denklem ile eşitsizliği aynı biçimde ele almak: Eşitsizlikte negatif sayıyla çarpma ya da bölme yapıldığında yön değişir. Ayrıca eşitsizlik çoğu zaman tek bir kök değil, bir değer aralığı verir.

• Mutlak değeri 'sayının işareti' sanmak: $|x|$, x'in 0'a uzaklığıdır. Bu nedenle negatif bir x'in mutlak değeri pozitif olabilir; fakat mutlak değerin kendisi negatif sonuç vermez.

• Alanı çevreyle karıştırmak: Aynı çevreye sahip şekillerin alanları aynı olmak zorunda değildir. Uzunluk birimi ile alan birimi de aynı biçimde yazılmaz; örneğin alan için kareli birim kullanılır.

• Limit ile fonksiyon değerini eşit sanmak: Fonksiyon bir noktada tanımsızken o noktadaki limit var olabilir. Süreklilik kararı için limit, fonksiyon değeri ve bunların eşitliği birlikte incelenmelidir.

• Soyut modelin gerçek durumu eksiksiz temsil ettiğini düşünmek: Matematiksel model, seçilen varsayımlara bağlıdır. Gerçek hayatta fiyat, süre veya ölçüm gibi değerler değişebiliyorsa modelin hangi koşullarda kurulduğu belirtilmelidir.