Topoloji — Açık Kümeler, Süreklilik ve Temel Kavramlar

Topoloji, uzayları tam uzaklık yerine açık kümeler ve süreklilik üzerinden inceleyen matematik dalıdır. Topolojiye giriş yapmanın en hızlı yolu şudur: hangi alt kümelerin açık olduğunu seçin, sonra sürekliliği bu seçime göre tanımlayın.

Bu yüzden topoloji, uzayları uzunluklar, açılar veya koordinatlar yerine yerel davranışlarına göre karşılaştırabilir.

Topolojik Uzay Nedir?

$X$ bir küme olsun. $X$ üzerinde bir topoloji, açık kümeler denilen $X$'in alt kümelerinden oluşan bir $\mathcal{T}$ koleksiyonudur ve şu koşulları sağlar:

1. $\varnothing$ ve $X$, $\mathcal{T}$ içindedir.
2. $\mathcal{T}$ içindeki kümelerin herhangi bir birleşimi yine $\mathcal{T}$ içindedir.
3. $\mathcal{T}$ içindeki kümelerin sonlu sayıda kesişimi yine $\mathcal{T}$ içindedir.

$(X,\mathcal{T})$ ikilisine topolojik uzay denir.

Bu tanım bilerek soyuttur. Hangi kümelerin açık olduğunu bildiğiniz anda, bir uzaklık formülü yazmadan sürekliliği, komşulukları ve kapalı kümeleri tanımlayabilirsiniz.

Açık Kümeler Neden Önemlidir?

Açık kümeler, bir noktanın etrafında yer olması ne demektir sorusunu açıklar. $\mathbb{R}$ üzerindeki alışılmış topolojide $(1,3)$ gibi bir açık aralık açıktır; çünkü içindeki her noktanın etrafında, hâlâ $(1,3)$ içinde kalan daha küçük bir aralık vardır.

Bu yerel fikir topolojinin özüdür. Bir küme, her noktası kümenin içinde biraz yerel hareket alanına sahipse açıktır.

Bu aynı zamanda açıklığın topolojiye bağlı olmasının nedenidir. Aynı alt küme bir topolojide açık olabilirken başka bir topolojide açık olmayabilir.

Açık Kümeler Diğer Temel Kavramları Nasıl Tanımlar?

Komşuluklar

Bir noktanın komşuluğu, o noktanın etrafında bir açık küme içeren herhangi bir kümedir. Bu, topolojinin uzaklık kullanmadan yerel yakınlıktan söz etme yoludur.

Kapalı kümeler

Bir kümenin tümleyeni açıksa, o küme kapalıdır. Gerçel doğru gibi bildik uzaylarda kapalı kümeler çoğu zaman sınırlarını içerir, ama tanım bu değildir.

Süreklilik

$X$ ve $Y$ topolojik uzaylar olsun. $f:X \to Y$ fonksiyonu, $Y$ içindeki her açık $U \subseteq Y$ kümesi için ters görüntü $f^{-1}(U)$, $X$ içinde açıksa süreklidir.

$$f \text{ is continuous if } f^{-1}(U) \text{ is open for every open } U \subseteq Y$$

Bu, $\mathbb{R}$ üzerindeki alışılmış analiz fikriyle uyumludur; ama uzaklığın temel yapı olmadığı uzaylarda da çalışır.

Homeomorfizma

Homeomorfizma, birebir ve örten, sürekli olan ve tersi de sürekli olan bir fonksiyondur. İki uzay homeomorfikse, topoloji onları topolojik anlamda aynı şekle sahip kabul eder.

Bu ifade her iki yönde de sürekliliğe bağlıdır. Sadece birebir-örten olmak yeterli değildir.

Çözümlü Örnek: Alışılmış Topolojide $f(x)=x^2$ Neden Süreklidir?

$f:\mathbb{R} \to \mathbb{R}$ fonksiyonunu

$$f(x)=x^2$$

şeklinde alalım ve $\mathbb{R}$ üzerinde alışılmış topolojiyi kullanalım.

Değer kümesindeki açık $(1,4)$ kümesini ele alalım. Bunun ters görüntüsü

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

olur; bu da

$$(-2,-1)\cup(1,2).$$

şeklinde sadeleşir.

Bu küme, $\mathbb{R}$ üzerindeki alışılmış topolojide açıktır; çünkü açık aralıkların birleşimidir. Bu örnek, kontrol edilmesi gereken doğru yönü gösterir: süreklilik, açık kümelerin ters görüntüleriyle ilgilidir; $f$'nin açık kümeleri açık kümelere götürüp götürmemesiyle değil.

$\mathbb{R}$ üzerinde bu koşulun, sürekliliğin limit temelli alışılmış tanımıyla örtüştüğü görülür.

Topoloji Temellerinde Yaygın Hatalar

"Açık" sözcüğünün her yerde aynı şeyi ifade ettiğini düşünmek

Öyle değildir. Açıklık, seçilen topolojiye göre tanımlanır.

Görüntü ile ters görüntüyü karıştırmak

Süreklilik, açık kümelerin ters görüntülerinin açık olmasıyla ilgilidir. Açık kümelerin görüntülerinin açık olması gerekmez; bunun için fonksiyon üzerine ek koşullar gerekir.

Topolojiyi sadece yeni kelimelerle anlatılmış metrik geometri sanmak

Birçok topolojik uzay gerçekten metriklerden gelir, ama topolojinin kendisi daha geneldir. Yalnızca yerel davranış ve süreklilik hakkında konuşmak için gereken yapıyı korur.

Her birebir-örten fonksiyonun topolojik eşdeğerlik verdiğini sanmak

Bir dönüşümün homeomorfizma olması için birebir ve örten, sürekli ve tersinin de sürekli olması gerekir.

Topoloji Nerelerde Kullanılır?

Topoloji, modern analizde süreklilik, kompaktlık, bağlantılılık ve yakınsamanın arkasındaki dili sağlar. Ayrıca geometri, dinamik sistemler, diferansiyel denklemler ve şekli kaba ölçekte inceleyen veri analizinde de karşımıza çıkar.

Yeni başlayan biri için pratik yararı daha basittir: topoloji, sürekliliğin koordinatlara ya da bir uzaklık formülüne bağlı olmadan neden tanımlanabildiğini açıklar.

Benzer Bir Soru Deneyin

Aynı $f(x)=x^2$ fonksiyonunu kullanın; ama bu kez açık küme olarak $(0,1)$ ile başlayın. $f^{-1}((0,1))$ kümesini hesaplayın ve bunun $\mathbb{R}$ içinde açık olup olmadığını kontrol edin.

Bundan sonraki adımı görmek isterseniz, süreklilikte başka bir durumu inceleyin ve topolojik tanımı analizdeki limit temelli tanımla karşılaştırın.