Topolojik Uzaylar: Açık Kümelerden Kompaktlığa

Bir koleksiyonun topoloji olup olmadığını üç kontrolde belirleme

Bir $X$ kümesi üzerinde $\tau \subseteq \mathcal{P}(X)$ koleksiyonunun topoloji olması için üç koşul gerekir:

1. $\varnothing \in \tau$ ve $X \in \tau$ olmalıdır.
2. $\tau$ içindeki kümelerin herhangi bir birleşimi yine $\tau$ içinde bulunmalıdır. Yani $\{U_i\}_{i\in I} \subseteq \tau$ ise $\bigcup_{i\in I}U_i \in \tau$ olmalıdır.
3. $\tau$ içindeki sonlu sayıda kümenin kesişimi yine $\tau$ içinde bulunmalıdır. Özellikle iki kümenin kesişiminin açık olması yeterli temel kontroldür; bu özellik tümevarımla sonlu kesişimlere genişler.

Buradaki kritik ayrım şudur: Birleşim için indeks kümesi sonlu veya sonsuz olabilir; kesişim için aksiyom yalnızca sonlu sayıda kümeyi garanti eder. Sonsuz kesişimlerin açık olması gerekmez. Standart gerçel sayı topolojisinde $U_n=(-1/n,1/n)$ açık kümeleridir, fakat $\bigcap_{n=1}^{\infty}U_n=\{0\}$ kümesi açık değildir.

Sonlu bir örnekte $X=\{a,b,c\}$ ve $\tau=\{\varnothing,X,\{a\},\{a,b\}\}$ olsun. Boş küme ile $X$ koleksiyondadır. Açık kümelerin birleşimleri yine listedeki kümelerden biridir; örneğin $\{a\}\cup\{a,b\}=\{a,b\}$. Sonlu kesişimler de listededir: $\{a\}\cap\{a,b\}=\{a\}$. Bu nedenle $\tau$ bir topolojidir. Buna karşılık $\tau'=\{\varnothing,X,\{a\},\{b\}\}$ seçilirse $\{a\}\cup\{b\}=\{a,b\}$ koleksiyonda bulunmadığından $\tau'$ topoloji değildir.

Açık, kapalı, iç ve kapanış: aynı kümeyi dört farklı açıdan okumak

Bir küme $A\subseteq X$, tümleyeni $X\setminus A$ açık ise kapalıdır. Bu tanım, 'kapalı küme elemanlarını içerir' gibi sezgisel ifadelerden daha güvenilirdir; çünkü kapalı olma durumu seçilen topolojiye bağlıdır.

$A$ kümesinin içi, $A$ içinde bulunan tüm açık kümelerin birleşimidir ve $\operatorname{int}(A)$ ile gösterilir. Bu, $A$'nın içindeki en büyük açık kümedir. Kapanış $\operatorname{cl}(A)$ ise $A$'yı içeren tüm kapalı kümelerin kesişimidir; dolayısıyla $A$'yı içeren en küçük kapalı kümedir. Sınır, $\partial A=\operatorname{cl}(A)\setminus\operatorname{int}(A)$ bağıntısıyla verilir.

Örneğin standart topolojide $A=[0,1)$ için $\operatorname{int}(A)=(0,1)$, $\operatorname{cl}(A)=[0,1]$ ve $\partial A=\{0,1\}$ olur. Burada $1$ kümede bulunmamasına rağmen kapanışta yer alır; çünkü $1$'in her açık komşuluğu $A$ ile kesişir. Bu nedenle kapanış, yalnızca kümenin mevcut elemanlarını değil, kümeden topolojik olarak ayırt edilemeyen limit noktalarını da kapsayabilir.

Ayrıca bir küme hem açık hem kapalı olabilir. $\varnothing$ ve $X$ her topolojide hem açık hem kapalıdır. Standart gerçel sayı topolojisinde $[0,1]$ kapalı fakat açık değildir; $(0,1)$ açık fakat kapalı değildir. 'Kapalı' sözcüğü 'sınırlı' anlamına da gelmez: $\mathbb{R}$ kapalıdır, ancak standart metrikte sınırlı değildir.

Sürekliliği görüntüyle değil ön görüntüyle test etme

$f:(X,\tau_X)\to(Y,\tau_Y)$ fonksiyonu süreklidir ancak ve ancak $Y$'deki her açık $V$ kümesi için ön görüntü $f^{-1}(V)$, $X$'te açık oluyorsa. Formül olarak $f$ sürekli \Longleftrightarrow \forall V\in\tau_Y,0 f^{-1}(V)\in\tau_X yazılır.

Burada sık karıştırılan nokta, sürekliliği $f(A)$ görüntüsünün açık olup olmadığına bakarak test etmektir. Sürekli bir fonksiyonun her açık kümenin görüntüsünü açık göndermesi gerekmez. Kontrol edilmesi gereken işlem, hedefteki açık kümenin ön görüntüsünü almaktır.

Bu tanım, gerçel sayılardaki epsilon-delta yaklaşımının topolojik karşılığıdır. Metrik uzaylarda açık kümeler metrik toplarından üretildiği için iki bakış aynı süreklilik kavramını verir. Topolojik tanım ise mesafe bulunmayan uzaylarda da kullanılabilir.

Süreklilik için kapalı kümelerle eşdeğer bir test de vardır: $f$ sürekli ise, hedef uzaydaki her kapalı kümenin ön görüntüsü kaynak uzayda kapalıdır. Ancak bu sonuçta da yine ön görüntü kullanılır. Topolojik özelliklerin fonksiyonla taşınması incelenirken süreklilik yeterlidir; homeomorfizma için fonksiyonun bijektif olması ve ters fonksiyonunun da sürekli olması gerekir.

Yakınsaklıkta komşuluklar ve Hausdorff koşulunun rolü

Bir dizi $(x_n)$, $x$ noktasına yakınsıyorsa, $x$'i içeren her açık komşuluk için dizinin sonlu sayıda terim dışındaki tüm terimleri bu komşulukta bulunur. Gösterim $x_n\to x$ şeklindedir. Bu ifade, 'terimler sonunda istediğimiz kadar yakın olur' sezgisinin topolojik biçimidir; fakat topolojik uzayda yakınlık sayısal bir uzaklıkla ölçülmez.

Metrik uzaylarda diziler, birçok yakınsaklık sorusunu çözmek için yeterlidir. Genel topolojik uzaylarda ise diziler topolojinin tüm özelliklerini yakalamayabilir; bu nedenle netler ve filtreler daha genel araçlar olarak kullanılır. Bu ayrım, diziyle kanıt yapılırken uzayın metrik veya en azından dizisel davranışı uygun bir sınıfta olup olmadığının kontrol edilmesini gerektirir.

Hausdorff uzayda farklı iki nokta ayrık açık komşuluklarla ayırt edilebilir. Eğer $x\neq y$ ise, $x\in U$, $y\in V$ olacak ve $U\cap V=\varnothing$ olacak şekilde açık $U,V$ kümeleri bulunur. Hausdorff koşulunun önemli sonucu, bir dizinin yakınsak limitinin tek olmasıdır. Bu sonuç, Hausdorff olmayan uzaylarda otomatik olarak geçerli değildir.

Örneğin indiscrete topolojide yalnızca $\varnothing$ ve $X$ açıktır. Bir noktanın tek temel açık komşuluğu $X$ olduğundan, her dizi her noktaya yakınsayabilir. Bu, topolojik yakınsaklığın seçilen açık kümeler tarafından belirlendiğini ve olağan gerçek sayı sezgisinin her uzaya doğrudan taşınamayacağını gösterir.

Kompaktlık ile bağlantılılığı birbirinden ayırma

Bir uzay $X$, her açık örtüsünün sonlu bir alt örtüsü varsa kompakttır. Açık örtü, $X$'i kaplayan açık kümeler ailesidir: $X=\bigcup_{i\in I}U_i$. Kompaktlık, bu belki sonsuz aile içinden sonlu sayıda kümenin hâlâ tüm $X$'i örtmeye yettiğini söyler.

Standart topolojili gerçel sayılarda Heine-Borel teoremi özel ve önemli bir sonuçtur: Bir küme ancak ve ancak kapalı ve sınırlıysa kompakttır. Bu ölçüt genel topolojik uzaylara koşulsuz taşınamaz. Ayrıca kompaktlık ile 'küme küçük' veya 'sonlu' ifadeleri eş anlamlı değildir; sonsuz kümeler de kompakt olabilir. Örneğin kapalı sınırlı aralıklar bu bağlamda kompakt örneklerdir.

Metrik uzaylarda kompaktlık, her dizinin yakınsak bir alt diziye sahip olmasıyla eşdeğerdir. Bu eşdeğerlik genel topolojik uzaylarda aynı biçimde kullanılmamalıdır. Kompakt bir uzaydan Hausdorff bir uzaya sürekli bijeksiyon verildiğinde, bu fonksiyonun homeomorfizma olması önemli bir sonuçtur; burada hem kaynak uzayın kompaktlığına hem hedef uzayın Hausdorff olmasına ihtiyaç vardır.

Bağlantılılık ise uzayın iki ayrı, boş olmayan açık parçaya ayrılıp ayrılamamasıyla ilgilidir. Bir uzay, boş olmayan ayrık açık $U$ ve $V$ kümeleriyle $X=U\cup V$ biçiminde yazılamıyorsa bağlantılıdır. Yol-bağlantılılık daha güçlüdür: Her iki noktayı birleştiren sürekli bir yol bulunmalıdır. Yol-bağlantılı bir uzay bağlantılıdır; ters yön genel durumda garanti edilmez.

Çözümlü örnekler

Örnek 1 — Verilen koleksiyonun topoloji olup olmadığını belirleme.

Verilenler: $X=\{1,2,3\}$ ve $\tau=\{\varnothing,X,\{1\},\{1,2\}\}$.

Çözüm adımları:

1. Boş küme ve tüm uzay kontrol edilir: $\varnothing$ ve $X$ listede vardır.
2. Birleşimler kontrol edilir. Örneğin $\{1\}\cup\{1,2\}=\{1,2\}$, $X\cup\{1\}=X$ ve boş kümeyle yapılan birleşimler ilgili kümeyi verir. Listedeki her birleşim yine listededir.
3. Sonlu kesişimler kontrol edilir. $\{1\}\cap\{1,2\}=\{1\}$, $\{1,2\}\cap X=\{1,2\}$ ve boş kümeyle kesişim $\varnothing$'dır. Bunlar da listededir.

Sonuç: Üç aksiyom sağlandığı için $(X,\tau)$ topolojik uzaydır. Ayrıca kapalı kümeleri bulmak için açık kümelerin tümleyenleri alınır: $X$, $\varnothing$, $\{2,3\}$ ve $\{3\}$ kapalı kümelerdir.

Örnek 2 — Sürekliliği ön görüntüyle test etme.

Verilenler: $X=\{a,b\}$ üzerinde indiscrete topoloji $\tau_X=\{\varnothing,X\}$; $Y=\{0,1\}$ üzerinde diskret topoloji $\tau_Y=\mathcal{P}(Y)$; $f(a)=0$, $f(b)=1$.

Çözüm adımları:

1. Hedef uzaydaki her küme açıktır; özellikle $\{0\}$ ve $\{1\}$ açıktır.
2. $f^{-1}(\{0\})=\{a\}$ ve $f^{-1}(\{1\})=\{b\}$ hesaplanır.
3. $\{a\}$ ve $\{b\}$, indiscrete kaynak topolojide açık değildir.

Sonuç: $f$ sürekli değildir. Fonksiyonun iki noktayı farklı hedef noktalarına göndermesi tek başına sorun değildir; süreksizliğin nedeni, hedefte açık olan tek noktalı kümelerin ön görüntülerinin kaynakta açık olmamasıdır.

Ek sınır durumu: Hedef uzay indiscrete olsaydı, yalnızca $\varnothing$ ve $Y$ kümelerinin ön görüntüleri kontrol edileceğinden her fonksiyon sürekli olurdu. Bu örnek, sürekliliğin yalnızca fonksiyon formülüne değil, kaynak ve hedef topolojilere birlikte bağlı olduğunu gösterir.

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

1. Sonsuz kesişimi topoloji aksiyomu sanmak: Aksiyom yalnızca sonlu kesişimleri zorunlu kılar. Sonsuz kesişim için ayrıca kanıt gerekir.

2. Açıklığı şekle veya sınırlılığa bağlamak: Açık olma, seçilen topolojiye göre belirlenir. Bir küme açık olabilir ama sınırsız olabilir; örneğin standart topolojide $\mathbb{R}$ açıktır.

3. Kapalıyı sınırlı ile eşitlemek: Kapalı olmak tümleyenin açık olmasıdır. Sınırlılık ise metrik varsa mesafe kullanılarak tanımlanır; iki özellik farklıdır.

4. Süreklilikte görüntüyü kontrol etmek: Doğru test hedefteki açık kümelerin ön görüntüleridir. $f(A)$'nın açık olması sürekliliğin genel ölçütü değildir.

5. Her topolojik uzayda dizi sonuçlarını kullanmak: 'Kompaktlık dizisel kompaktlığa denktir' ifadesi özellikle metrik uzaylarda geçerlidir; genel uzaylarda net ve filtreler gerekebilir.

6. Bağlantılılık ile yol-bağlantılılığı aynı sanmak: Yol-bağlantılılık bağlantılılığı gerektirir, fakat bağlantılı bir uzayın iki noktası arasında sürekli yol bulunması genel durumda zorunlu değildir.

7. Her topolojinin bir metrikten geldiğini düşünmek: Her metrik bir topoloji üretir; ancak topolojik uzaylar daha genel bir sınıftır. Bu nedenle metrik uzaylarda geçerli bir özelliği topolojik uzaylara aktarırken ek koşullar aranmalıdır.

8. Hausdorff koşulunu gereksiz görmek: Farklı noktaların ayrık komşuluklarla ayrılması, özellikle limitlerin tekliği ve kompaktlık sonuçlarının uygulanması için önemlidir.