Temel Kavramlar Konu Anlatımı

Konu anlatımı notları

1. İleri analiz ve topolojinin temel yapı taşlarından biri olan metrik uzay kavramı, elemanlar arasındaki uzaklık sezgisini soyut ve genel bir matematiksel çerçeveye taşır.

   Metrik Fonksiyonunun Aksiyomları

   $X$ boş olmayan bir küme olsun. Bir $d: X \times X \to \mathbb{R}$ fonksiyonunun bir metrik (uzaklık fonksiyonu) olabilmesi için her $x, y, z \in X$ için aşağıdaki dört temel aksiyomu sağlaması gerekir:

   • Negatif Olmama (Pozitiflik): $d(x, y) \ge 0$
   • Ayırt Edilebilirlik: $d(x, y) = 0 \iff x = y$
   • Simetri: $d(x, y) = d(y, x)$
   • Üçgen Eşitsizliği: $d(x, z) \le d(x, y) + d(y, z)$

   $(X, d)$ ikilisine bir metrik uzay adı verilir.

   Metrik uzaylarda topolojik yapının inşası açık yuvarlar aracılığıyla gerçekleştirilir. Açık yuvarlar, gerçel eksendeki açık aralık kavramının soyut uzaylara genelleştirilmiş halidir.

   Yuvar Tanımları

   $(X, d)$ bir metrik uzay, $x_0 \in X$ merkez noktası ve $r > 0$ yarıçap olsun:

   • Açık Yuvar: $B(x_0, r) = \{x \in X : d(x, x_0) < r\}$ kümesine $x_0$ merkezli, $r$ yarıçaplı açık yuvar denir.
   • Kapalı Yuvar: $\overline{B}(x_0, r) = \{x \in X : d(x, x_0) \le r\}$ kümesine kapalı yuvar adı verilir.
   • Küre (Yuvar Sınırı): $S(x_0, r) = \{x \in X : d(x, x_0) = r\}$ kümesidir.

   Merkezi $x_0$ olan bir açık yuvarı kapsayan her kümeye $x_0$ noktasının bir komşuluğu denir.

   Bir metrik uzayın geometrik ve topolojik nitelikleri, açık yuvarlar yardımıyla tanımlanan açık ve kapalı alt kümeler üzerinden analiz edilir.

   Temel Topolojik Kavramlar

   • İç Nokta: $A \subseteq X$ ve $x \in A$ olsun. En az bir $r > 0$ için $B(x, r) \subseteq A$ koşulu sağlanıyorsa, $x$ noktasına $A$ kümesinin bir iç noktası denir.
   • Açık Küme: Her elemanı bir iç nokta olan kümeye açık küme denir. Diğer bir ifadeyle, her $x \in A$ için $B(x, r) \subseteq A$ olacak biçimde bir $r > 0$ vardır.
   • Kapalı Küme: Tümleyeni (yani $X \setminus A$) açık olan kümeye kapalı küme denir.

   Her metrik uzayda boş küme $\emptyset$ ve uzayın kendisi olan $X$ hem açık hem de kapalıdır.

   Aynı küme üzerinde farklı uzaklık kuralları tanımlanarak farklı geometrik özelliklere sahip metrik uzaylar elde edilebilir.

   Standart Metrikler

   $\mathbb{R}^n$ uzayında $x = (x_1, \dots, x_n)$ ve $y = (y_1, \dots, y_n)$ elemanları için en sık karşılaşılan metrikler şunlardır:

   • Öklid Metriği ($d_2$): $d_2(x, y) = \sqrt{\sum_{i=1}^n (x_i - y_i)^2}$
   • Manhattan Metriği ($d_1$): $d_1(x, y) = \sum_{i=1}^n |x_i - y_i|$
   • Ayrık Metrik: Herhangi bir küme üzerinde $x = y$ iken $d(x, y) = 0$, $x \ne y$ iken $d(x, y) = 1$ olarak tanımlanır.

   Ayrık metrik uzayında yarıçapı $r \le 1$ olan her açık yuvar yalnızca merkez noktasını içerdiğinden, bu uzaydaki tüm alt kümeler hem açıktır hem de kapalıdır.