Sayı Kümeleri ve İşlem Özellikleri Konu Anlatımı

Konu anlatımı notları

1. Sayı kümeleri, insanlığın somut nesneleri sayma ihtiyacından fiziksel büyüklükleri ve soyut ilişkileri modelleme gereksinimine doğru genişlemiştir. Sayma ihtiyacıyla doğal sayılar kümesi oluşmuş; borç, sıcaklık ve yön gibi zıt durumları ifade etmek için tam sayılar; paylaştırma ve oran durumları için rasyonel sayılar; bir karenin köşegen uzunluğu veya çemberin çevre-çap oranı gibi oranlanamayan büyüklükler için ise irrasyonel ve gerçek sayılar tanımlanmıştır.

   Bir sayı kümesinde tanımlanan herhangi iki elemana uygulanan bir işlemin sonucu, her zaman aynı sayı kümesinin bir elemanı oluyorsa o sayı kümesi bu işleme göre kapalıdır. Sayı kümelerinin temel işlem özellikleri şunlardır:

   • Doğal Sayılar Kümesi: Toplama ve çarpma işlemlerine göre kapalıdır; ancak çıkarma ve bölme işlemlerine göre kapalı değildir. Örneğin 3 ve 5 doğal sayılar kümesindeyken 3 - 5 farkı bir doğal sayı belirtmez.
   • Tam Sayılar Kümesi: Toplama, çıkarma ve çarpma işlemlerine göre kapalıdır; ancak sıfıra bölme tanımsızlığı haricinde dahi bölme işlemine göre kapalı değildir. Örneğin 4 ve 7 tam sayı iken 4 / 7 bir tam sayı değildir.
   • Rasyonel Sayılar Kümesi: Toplama, çıkarma ve çarpma işlemlerine göre kapalıdır. Sıfır hariç tutulduğunda bölme işlemine göre de kapalıdır.
   • Gerçek Sayılar Kümesi: Toplama, çıkarma, çarpma işlemlerine ve sıfıra bölme hariç bölme işlemine göre kapalıdır.

   Sayı kümelerini birbirinden ayıran en temel yapısal özelliklerden biri arada olma (yoğunluk) özelliğidir. Bir sayı kümesinde seçilen herhangi iki farklı sayının arasında, aynı kümeden en az bir eleman bulunabiliyorsa o küme arada olma özelliğine sahiptir.

   • Ayrık Kümeler: Doğal sayılar ve tam sayılar kümeleri arada olma özelliğine sahip değildir. Örneğin 4 ile 5 ardışık tam sayıları arasında başka bir tam sayı bulunamaz. Bu nedenle tam sayılar kümesi sayı doğrusu üzerinde ayrık noktalardan oluşur.
   • Yoğun Kümeler: Rasyonel sayılar ve gerçek sayılar kümeleri arada olma özelliğine sahiptir. Herhangi iki farklı rasyonel sayı olan a ve b ele alındığında, bu iki sayının aritmetik ortalaması olan $(a + b) / 2$ değeri daima a ile b arasında yer alan başka bir rasyonel sayıdır. Bu işlem sınırsız kez tekrarlanabildiğinden, herhangi iki rasyonel sayı arasında sonsuz çoklukta rasyonel sayı vardır.

   Buna karşın rasyonel sayılar sayı doğrusunu tamamen dolduramaz; sayı doğrusundaki boşlukları irrasyonel sayılar tamamlar ve bu iki kümenin birleşimiyle gerçek sayılar kümesi kesintisiz (tam) bir doğru oluşturur.

   Matematiksel muhakemede bir kuralın ya da genellemenin geçerliliğini denetlemek için kanıta dayalı yöntemler kullanılır. Bir önermenin doğruluğunu ya da yanlışlığını belirlerken iki temel yaklaşım öne çıkar:

   • Doğrudan İspat: Bir özelliğin genel geçer olduğunu göstermek için kümenin temsilî elemanları ve cebirsel kurallar kullanılır. Örneğin "İki tek tam sayının toplamı bir çift tam sayıdır" önermesini doğrulamak için tek sayılar $2k + 1$ ve $2m + 1$ biçiminde yazılır; toplamları $2(k + m + 1)$ elde edilerek sonucun her zaman çift olduğu kanıtlanır.
   • Aksine Örnek Verme: "Her" veya "tüm" ifadesini içeren genel bir önermenin yanlış olduğunu göstermek için kuralı sağlamayan tek bir örnek sunmak yeterlidir.

   Uygulama: "İki irrasyonel sayının çarpımı her zaman irrasyoneldir" önermesini inceleyelim:

   Bu önermeyi çürütmek için aksine örnek arayışına gidilir. $\sqrt{2}$ irrasyonel bir sayıdır. Bu sayıyı kendisiyle çarptığımızda elde edilen sonuç $\sqrt{2} \cdot \sqrt{2} = 2$ olur. Bulunan 2 sayısı bir rasyonel sayı olduğundan, verilen önermenin genel olarak doğru olmadığı tek bir aksine örnek ile kanıtlanmış olur.