Sayı Kümeleri Konu Anlatımı

Konu anlatımı notları

1. 1. Ayrık Sayı Sistemleri ve Genişleme İhtiyacı

   Matematiksel analiz ve soyut cebirde sayı sistemleri, cebirsel işlemlerin kapalılık özellikleri ve denklemlerin çözülebilirliği doğrultusunda hiyerarşik olarak genişletilir.

   Doğal Sayılar ($\mathbb{N}$) ve Peano Aksiyomları

   Sayma eyleminin temeli olan doğal sayılar kümesi, Peano aksiyomları üzerine kuruludur. Bu küme toplama ve çarpma işlemlerine göre kapalıyken, çıkarma işlemine göre kapalı değildir. Örneğin $x + b = a$ biçimindeki bir denklem, $a < b$ durumunda $\mathbb{N}$ üzerinde bir çözüme sahip değildir.

   Tam Sayılar Kümesi ($\mathbb{Z}$)

   Doğal sayılar kümesinin çıkarma işlemine göre kapalı hâle getirilmesi amacıyla tam sayılar kümesi tanımlanır. $\mathbb{Z}$, $\mathbb{N} \times \mathbb{N}$ üzerindeki denklik bağıntısıyla formal olarak inşa edilir:

   $$(a, b) \sim (c, d) \iff a + d = b + c$$

   Burada her bir $[(a, b)]$ denklik sınıfı $a - b$ tam sayısını temsil eder. Tam sayılar kümesi bir tamlık bölgesidir (integral domain) ancak bölme işlemine göre kapalı değildir.

   Rasyonel Sayılar Kümesi ($\mathbb{Q}$)

   Sıfırdan farklı bir tam sayıya bölme işlemini tanımlamak amacıyla rasyonel sayılar kümesi kurulur. $\mathbb{Q}$, $\mathbb{Z} \times (\mathbb{Z} \setminus \{0\})$ kartezyen çarpımı üzerinde şu denklik bağıntısıyla elde edilen kesirlerin kümesidir:

   $$(a, b) \sim (c, d) \iff a \cdot d = b \cdot c$$

   $\mathbb{Q}$ kümesi sıralı bir cisim (ordered field) oluşturur. İki rasyonel sayı arasında daima sonsuz sayıda rasyonel sayı bulunması, kümenin yoğunluk (density) özelliğini gösterir. Ancak bu yoğunluk, sayı doğrusundaki tüm boşlukların dolduğu anlamına gelmez.

   2. Rasyonel Sayılardan Gerçel Sayılara Geçiş

   $\mathbb{Q}$ kümesi sıralı bir cisim olmasına rağmen geometrik veya analitik doğrultuda tam (complete) değildir. Örneğin alanı 2 birimkare olan bir karenin kenar uzunluğu $x^2 = 2$ denklemini sağlar; ancak $x \notin \mathbb{Q}$ olduğu klasik çelişki yöntemiyle ispatlanabilir.

   İrrasyonel Sayılar ($\mathbb{I}$)

   İki tam sayının oranı biçiminde yazılamayan sayılara irrasyonel sayılar denir ve $\mathbb{I} = \mathbb{R} \setminus \mathbb{Q}$ olarak ifade edilir. $\sqrt{2}, \sqrt{3}, \pi$ ve $e$ gibi sayılar bu kümenin elemanlarıdır.

   Tamlık (Dedekind / Cauchy Tamlığı)

   Gerçel sayılar kümesi $\mathbb{R}$, rasyonel sayılar kümesinin boşluklarının doldurulmasıyla elde edilir. Bu inşa Dedekind kesitleri veya rasyonel sayıların Cauchy dizilerinin denklik sınıfları kullanılarak gerçekleştirilir.

   • Supremum Özelliği (En Küçük Üst Sınır Aksiyomu): Boş olmayan ve üstten sınırlı her $A \subset \mathbb{R}$ alt kümesinin $\mathbb{R}$ içinde bir supremumu ($\sup A$) vardır. Bu özellik rasyonel sayılarda geçerli değildir.
   • Cauchy Tamlığı: $\mathbb{R}$ içindeki her Cauchy dizisi yine $\mathbb{R}$ içindeki bir noktaya yakınsar.

   Bu temel yapı taşları sayesinde $\mathbb{R}$, tam sıralı cisim (complete ordered field) unvanını tek anlamlı olarak taşır.

   3. Cebirsel Kapalılık ve Sayı Kümelerinin Sınıflandırılması

   $x^2 + 1 = 0$ gibi gerçel katsayılı temel polinom denklemlerinin dahi $\mathbb{R}$ üzerinde kökü bulunmaz. Gerçel sayılar cismi bu nedenle cebirsel olarak kapalı değildir.

   Karmaşık Sayılar Kümesi ($\mathbb{C}$)

   $i^2 = -1$ olmak üzere sanal birim $i$ tanımlanır. Karmaşık sayılar kümesi, sıralı ikililer biçiminde $\mathbb{R}^2$ üzerinde inşa edilir:

   $$\mathbb{C} = \{z = a + bi \mid a, b \in \mathbb{R}\}$$

   Cebirin Temel Teoremi: Derecesi en az 1 olan karmaşık katsayılı her polinomun $\mathbb{C}$ içinde en az bir kökü vardır. Bu özellik $\mathbb{C}$ kümesini cebirsel olarak kapalı bir cisim yapar. Ancak karmaşık sayılar kümesinde standart bir sıralama bağıntısı kurulamaz; yani $\mathbb{C}$ sıralı bir cisim değildir.

   Cebirsel ve Transandant Sayılar

   Gerçel ve karmaşık sayılar kümesi, rasyonel katsayılı polinomların kökü olup olmamalarına göre iki sınıfa ayrılır:

   • Cebirsel Sayılar: Rasyonel katsayılı, sıfır olmayan bir polinomun kökü olan sayılardır (örneğin $\sqrt{2}$, $x^2 - 2 = 0$ polinomunun köküdür).
   • Transandant Sayılar: Rasyonel katsayılı hiçbir polinomun kökü olamayan sayılardır (örneğin $\pi$ ve $e$).

   Sayı Kümelerinin Kapsama İlişkisi

   İnşa edilen sayı sistemleri arasındaki temel kapsama hiyerarşisi şu şekildedir:

   $$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$