Cebirsel Topoloji | Burak Demiröz

Cebirsel Topoloji Nedir?

Cebirsel topoloji, topolojik uzayları ve sürekli fonksiyonları cebirsel yapılar (gruplar, halkalar, modüller) kullanarak inceleyen matematik dalıdır. Topolojik problemleri cebirsel problemlere dönüştürerek çözüm bulmayı amaçlar.

Temel Fikir: İki topolojik uzay homeomorfik ise, onlara karşılık gelen cebirsel yapılar izomorfik olmalıdır. Bu, topolojik problemleri cebirsel yöntemlerle çözme imkanı verir.

Cebirsel topoloji, şekillerin "delik sayısı" gibi temel özelliklerini inceleyerek, hangi şekillerin birbirine dönüştürülebileceğini anlamaya çalışır. Örneğin, bir fincan ile bir simit topolojik olarak aynıdır çünkü her ikisinde de bir delik vardır.

Tarihçe

Cebirsel topoloji, 19. yüzyılda Riemann ve Betti'nin çalışmalarıyla başlamış, 20. yüzyılda Poincaré, Brouwer, Noether ve Eilenberg gibi matematikçilerin katkılarıyla gelişmiştir.

Topolojik Gruplar

Bir topolojik grup, hem grup hem de topolojik uzay yapısına sahip olan ve bu iki yapının uyumlu olduğu matematiksel nesnedir.

G \text{ bir grup ve topolojik uzay}

Tanım: G bir topolojik grup ise:

• Çarpım işlemi $m: G \times G \to G$, $(g,h) \mapsto gh$ süreklidir
• Ters alma işlemi $i: G \to G$, $g \mapsto g^{-1}$ süreklidir

Yörünge ve Dengeleyici:

\text{Yörünge: } Gx = \{g \cdot x : g \in G\}

\text{Dengeleyici: } G_x = \{g \in G : g \cdot x = x\}

Örnek: $\mathbb{Z}$ grubu $S^1$ üzerinde $n \cdot z = e^{2\pi i n} z$ şeklinde etki eder
Yörünge uzayı: $S^1/\mathbb{Z} \cong S^1$

Serbest ve Geçişli Etkiler

Serbest etki: Sadece birim eleman sabit nokta bırakır ($g \cdot x = x \Rightarrow g = e$)
Geçişli etki: Her iki nokta arasında bir grup elemanı vardır ($\forall x,y \, \exists g: g \cdot x = y$)
Düzgün sürekli etki: Yörünge uzayı iyi davranışlıdır

Brouwer Sabit Nokta Teoremi

Brouwer Sabit Nokta Teoremi, topolojinin en önemli ve şaşırtıcı sonuçlarından biridir.

Teorem: D^n kompakt dışbükey bir küme ise (örneğin, n-boyutlu disk), her sürekli fonksiyon $f: D^n \to D^n$ için en az bir sabit nokta vardır, yani $f(x) = x$ olacak şekilde bir $x \in D^n$ vardır.

f: D^n \to D^n \text{ sürekli } \Rightarrow \exists x: f(x) = x

Sezgisel Açıklama: Bir fincan kahveyi karıştırdığınızda, en az bir sıvı parçacığı başladığı noktaya geri döner. İki haritayı üst üste koyup birini büktüğünüzde, en az bir nokta tam üst üste gelir.

Uygulamaları:

Gerçek Hayat Uygulamaları

Oyun Teorisi: Nash dengesi varlığı
Ekonomi: Genel denge teorisi
Meteoroloji: Dünyanın her zaman iki zıt noktasında aynı sıcaklık ve basınç vardır
Diferansiyel Denklemler: Çözüm varlığı

Önemli Not: Bu teorem sabit noktanın varlığını garanti eder ama nerede olduğunu söylemez. Ayrıca sadece dışbükey kompakt kümeler için geçerlidir.

Kanıt Fikri: Homoloji teorisi kullanılır. Eğer sabit nokta yoksa, retraksyon tanımlanabilir ve bu S^(n-1)'in kendisine retraksiyonu demektir, ki bu imkansızdır.

Kategoriler ve Funktörler

Kategori teorisi, matematiksel yapılar arasındaki ilişkileri soyut bir şekilde inceler. Cebirsel topolojinin modern dilini oluşturur.

Kategori Nedir?

Bir kategori C şunlardan oluşur:

• Nesneler koleksiyonu: Ob(C)
• Her nesne çifti için morfizm kümesi: Hom(A,B)
• Bileşim işlemi: $g \circ f$ (çağrışımlı)
• Her nesne için birim morfizm: $id_A$

Örnekler:
Set: Kümeler ve fonksiyonlar
Top: Topolojik uzaylar ve sürekli fonksiyonlar
Grp: Gruplar ve grup homomorfizmleri
Vect: Vektör uzayları ve lineer dönüşümler

Funktör:

F: \mathcal{C} \to \mathcal{D}

Bir funktör, kategoriler arasındaki "yapı koruyan dönüşüm"dür. Nesneleri nesnelere, morfizmleri morfizmlere götürür.

Temel Grup Funktörü

$\pi_1: \text{Top}_* \to \text{Grp}$ funktörü, işaretli topolojik uzayları temel gruplarına götürür. Bu, topolojik problemleri cebirsel problemlere dönüştürür!

Neden Önemli: Funktörler, farklı matematik dalları arasında köprü kurar. Topolojik bir problemi grup teorisi problemine, geometrik problemi cebirsel probleme dönüştürebiliriz.

Eğri Kavramı ve Özellikleri

Topolojik uzaylarda eğri kavramı, bağlantılılığı ve yol yapısını anlamak için temeldir.

\gamma: [0,1] \to X \text{ sürekli fonksiyon}

Tanımlar:

• Yol: $\gamma(0)$ başlangıç noktası, $\gamma(1)$ bitiş noktası
• Kapalı eğri (loop): $\gamma(0) = \gamma(1)$
• Basit eğri: Kendi kendini kesmez
• Yol bileşimi: $(\gamma_1 * \gamma_2)(t)$

(\gamma_1 * \gamma_2)(t) = \begin{cases} \gamma_1(2t) & 0 \leq t \leq 1/2 \\ \gamma_2(2t-1) & 1/2 \leq t \leq 1 \end{cases}

Eğri Homotopisi

İki yol $\gamma_0$ ve $\gamma_1$ homotopik ise, birini diğerine "sürekli olarak deforme edebiliriz". Bu ilişki bir denklik bağıntısıdır ve temel grup tanımının temelidir.

Eğri homotopisi: γ₀ ~ γ₁

İki eğri aynı homotopi sınıfındadır

Bağlantılılık ve Eğrisel Bağlantılılık

Bağlantılılık, bir topolojik uzayın "tek parça" olup olmadığını belirler.

Bağlantılı Uzay: X boş olmayan iki açık kümenin ayrık birleşimi olarak yazılamaz.

Eğrisel Bağlantılı Uzay: Her iki nokta bir yol ile birleştirilebilir.

\forall x, y \in X, \, \exists \gamma: [0,1] \to X \text{ ile } \gamma(0)=x, \gamma(1)=y

İlişki:

Eğrisel bağlantılı $\Rightarrow$ Bağlantılı
Bağlantılı $\not\Rightarrow$ Eğrisel bağlantılı (genelde)

Karşı Örnek: Topolog'un Sinüs Eğrisi

$S = \{(x, \sin(1/x)) : 0 < x \leq 1\} \cup \{(0,y) : -1 \leq y \leq 1\}$
Bu küme bağlantılıdır ama eğrisel bağlantılı değildir!

Yerel Eğrisel Bağlantılılık:

Bir uzay yerel eğrisel bağlantılı ise, her noktanın eğrisel bağlantılı komşulukları vardır.

Önemli Sonuç: Yerel eğrisel bağlantılı bir uzayda: Bağlantılı ⟺ Eğrisel bağlantılı. Bu, manifoldlar ve çoğu "iyi davranışlı" uzay için geçerlidir.

Uygulamalar: Bağlantılılık, devre analizi, ağ teorisi, görüntü işleme ve robotik yol planlamada kritik rol oynar.

İki Boyutlu Manifoldlar

Bir 2-manifold (yüzey), her noktasının komşuluğu düzleme homeomorfik olan topolojik uzaydır.

Formal Tanım: M bir 2-manifold ise, her $x \in M$ için açık bir $U \ni x$ ve bir homeomorfizm $\phi: U \to \mathbb{R}^2$ veya $\phi: U \to \mathbb{H}^2$ (yarı düzlem) vardır.

Temel Örnekler:

$S^2$: 2-küre (dünya yüzeyi)
$T^2$: Torus (simit)
$\mathbb{RP}^2$: Projektif düzlem
Klein şişesi: Yönlendirilemez yüzey
Möbius şeridi: Sınırlı, yönlendirilemez

Manifold Özellikleri

Hausdorff: Farklı noktalar ayrılabilir
İkinci sayılabilir: Sayılabilir taban vardır
Yerel Öklidyen: Lokal olarak $\mathbb{R}^n$ gibi
Parakompakt: İyi davranışlı örtüler vardır

Sezgi: Manifold, "yerel olarak düz" görünen ama global olarak eğri olabilen uzaydır. Dünya yüzeyi gibi: küçük bir bölgede düz görünür ama aslında küredir.

Yönlendirilebilir ve Yönlendirilemez Yüzeyler

Bir yüzeyin yönlendirilebilirliği, üzerinde tutarlı bir "sağ-sol" veya "yukarı-aşağı" tanımı yapılıp yapılamayacağını belirler.

Yönlendirilebilir Yüzey: Sürekli değişen normal vektör alanı tanımlanabilir. Örnekler: $S^2$, $T^2$, düzlem

Yönlendirilemez Yüzey: Böyle bir vektör alanı yoktur. Örnekler: Möbius şeridi, Klein şişesi, $\mathbb{RP}^2$

Möbius Şeridi:

Möbius Şeridi İnşası

Bir dikdörtgen kağıdın bir ucunu 180° döndürüp diğer uca yapıştırın. Ortaya çıkan yüzeyin sadece bir kenarı ve bir yüzü vardır!

Möbius şeridi üzerinde bir karınca yürürse, başladığı noktaya "tersine" dönebilir - sağ eli sol el olur!

Bağlantılı 2-Manifoldların Özellikleri:

\chi(M) = V - E + F \quad \text{(Euler karakteristiği)}

Temel Fark: Yönlendirilebilir yüzeyler "iki yanlı", yönlendirilemez yüzeyler "tek yanlı"dır. Bu, homoloji gruplarına yansır.

Möbius şeridi: Tek kenarlı, tek yüzlü

Yönlendirilemez yüzeyin klasik örneği

Kompakt Yüzeylerin Sınıflandırması ve Euler Karakteristiği

Kompakt yüzeylerin sınıflandırma teoremi, topolojinin en güzel sonuçlarından biridir.

Teorem: Her kompakt bağlantılı 2-manifold, homeomorfizma altında aşağıdakilerden biridir:

• Küre $S^2$
• g-tutamaklı torus (yönlendirilebilir)
• k-projektif düzlem (yönlendirilemez)

Euler Karakteristiği:

\chi(M) = 2 - 2g \quad \text{(yönlendirilebilir, cins g)}

\chi(M) = 2 - k \quad \text{(yönlendirilemez, k projektif düzlem)}

Örnekler:
$S^2$: χ = 2 (cins 0)
$T^2$: χ = 0 (cins 1)
2-tutamaklı torus: χ = -2 (cins 2)
$\mathbb{RP}^2$: χ = 1 (1 projektif düzlem)
Klein şişesi: χ = 0 (2 projektif düzlem)

Üçgenleme:

Her kompakt yüzey üçgenlenebilir: köşeler, kenarlar ve üçgenlerden oluşan bir yapı ile temsil edilebilir.

\chi = V - E + F

Üçgenleme Örneği: Torus

Bir torusu 18 üçgene ayırırsak:
V = 9 köşe, E = 27 kenar, F = 18 yüz
χ = 9 - 27 + 18 = 0 ✓

Muazzam Sonuç: Euler karakteristiği üçgenlemeden bağımsızdır! Hangi üçgenlemeyi seçerseniz seçin, aynı χ değerini bulursunuz. Bu, χ'nin topolojik invaryant olduğunu gösterir.

Derin Bağlantı: Euler karakteristiği = Alternatif homoloji grupları toplamı: $\chi(M) = \sum_{i} (-1)^i \text{rank}(H_i(M))$

Homotopi ve Özellikleri

Homotopi, iki sürekli fonksiyonun "sürekli deformasyonla" birbirine dönüştürülüp dönüştürülemeyeceğini inceler.

F: X \times [0,1] \to Y

Tanım: İki sürekli fonksiyon $f, g: X \to Y$ homotopik ise ($f \simeq g$), sürekli bir $F: X \times [0,1] \to Y$ vardır öyle ki:

• $F(x, 0) = f(x)$ tüm $x \in X$ için
• $F(x, 1) = g(x)$ tüm $x \in X$ için

Homotopi Denklik Bağıntısı:

Homotopi bir denklik bağıntısıdır:
Yansıma: $f \simeq f$
Simetri: $f \simeq g \Rightarrow g \simeq f$
Geçişme: $f \simeq g, g \simeq h \Rightarrow f \simeq h$

Homotopi Denkligi

İki uzay X ve Y homotopi denk ise, fonksiyonlar $f: X \to Y$ ve $g: Y \to X$ vardır öyle ki:
$g \circ f \simeq id_X$ ve $f \circ g \simeq id_Y$

Homotopi denk uzaylar cebirsel topoloji açısından "aynı"dır.

Örnek: Torus, deliksiz fincan ile homotopi denktir
Örnek: Her uzay tek noktalı uzaya büzülebiliyorsa "büzülebilir" (contractible)

Önemli: Homotopi denk uzaylar homeomorfik olmayabilir ama aynı cebirsel invaryantlara sahiptir (aynı temel grup, homoloji grupları vb.).

Temel Grup ve Uygulamaları

Temel grup, bir uzaydaki kapalı eğrilerin homotopi sınıflarından oluşan gruptur ve uzayın "deliklerini" sayar.

\pi_1(X, x_0) = \{\text{kapalı eğrilerin homotopi sınıfları}\}

Tanım: $(X, x_0)$ işaretli uzay olsun. Temel grup:

• Elemanlar: $x_0

Örnekler:

$(\mathbb{R}, +)$ standart topoloji ile topolojik grup
$(\mathbb{C}^*, \cdot)$ karmaşık sayıların çarpma grubu
$GL(n, \mathbb{R})$ ters çevrilebilir n×n matrisler grubu
$S^1 = \{z \in \mathbb{C} : |z| = 1\}$ birim çember

Topolojik Grupların Özellikleri

Temel Özellikler:
• Her topolojik grup homojendir (her nokta özdeştir)
• Kompakt topolojik gruplar özel öneme sahiptir
• Sol ve sağ translasyonlar homeomorfizmdir
• Bağlantılı topolojik gruplar yol bağlantılıdır

İlginç Sonuç: Kompakt bir topolojik grupta Haar ölçüsü denilen değişmez bir ölçü vardır. Bu, integrasyon teorisi için önemlidir.

Grup Etkisi ve Grup Hareketleri

Bir grubun bir topolojik uzay üzerindeki etkisi, simetrilerini ve yapısını anlamak için güçlü bir araçtır.

\phi: G \times X \to X

Tanım: G grubu X uzayı üzerinde etki ediyorsa:

• $e \cdot x = x$ (birim elemanın etkisi özdeşlik)
• $(gh) \cdot x = g \cdot (h \cdot x)$ (çağrışımlılık)
• Etki fonksiyonu süreklidir

dan başlayıp $x_0

Örnekler:

$(\mathbb{R}, +)$ standart topoloji ile topolojik grup
$(\mathbb{C}^*, \cdot)$ karmaşık sayıların çarpma grubu
$GL(n, \mathbb{R})$ ters çevrilebilir n×n matrisler grubu
$S^1 = \{z \in \mathbb{C} : |z| = 1\}$ birim çember

Topolojik Grupların Özellikleri

Temel Özellikler:
• Her topolojik grup homojendir (her nokta özdeştir)
• Kompakt topolojik gruplar özel öneme sahiptir
• Sol ve sağ translasyonlar homeomorfizmdir
• Bağlantılı topolojik gruplar yol bağlantılıdır

İlginç Sonuç: Kompakt bir topolojik grupta Haar ölçüsü denilen değişmez bir ölçü vardır. Bu, integrasyon teorisi için önemlidir.

Grup Etkisi ve Grup Hareketleri

Bir grubun bir topolojik uzay üzerindeki etkisi, simetrilerini ve yapısını anlamak için güçlü bir araçtır.

\phi: G \times X \to X

Tanım: G grubu X uzayı üzerinde etki ediyorsa:

• $e \cdot x = x$ (birim elemanın etkisi özdeşlik)
• $(gh) \cdot x = g \cdot (h \cdot x)$ (çağrışımlılık)
• Etki fonksiyonu süreklidir

da biten kapalı eğrilerin homotopi sınıfları $[\gamma]$

• Grup işlemi: Yol bileşimi $[\gamma_1] * [\gamma_2]$

• Birim eleman: Sabit eğri $[c_{x_0}]$

• Ters: $[\gamma]^{-1} = [\bar{\gamma}]$ (ters yön)

Temel Örnekler:

$\pi_1(\mathbb{R}^n) = \{e\}$: Öklidyen uzay basittir (trivial)
$\pi_1(S^1) = \mathbb{Z}$: Çember, tamsayılar grubu
$\pi_1(S^2) = \{e\}$: Küre basittir
$\pi_1(T^2) = \mathbb{Z} \times \mathbb{Z}$: Torus, iki jeneratör
$\pi_1(\mathbb{RP}^2) = \mathbb{Z}_2$: Projektif düzlem, iki elemanlı

Çemberin Temel Grubu

$S^1$ etrafında bir eğri n kez döndüğünde, bu tamsayı n ile temsil edilir. Saat yönünde +1, ters yönde -1. İki eğriyi bileşmek, dönüş sayılarını toplamak demektir: $\pi_1(S^1) \cong \mathbb{Z}$

Dikkat: Temel grup başlangıç noktasına bağlıdır ama eğrisel bağlantılı uzaylarda tüm noktalar izomorfik gruplar verir.

Sezgi: Temel grup, uzayın "kaç boyutlu deliği" olduğunu cebirsel olarak kodlar. Bir eğriyi deliklerin etrafında döndürerek, farklı homotopi sınıfları elde ederiz.

Serbest Gruplar ve Seifert-Van Kampen Teoremi

Serbest Gruplar:

Bir serbest grup $F_n$, n jeneratör tarafından üretilen ve hiçbir bağıntı olmayan gruptur.

F_n = \langle a_1, a_2, \ldots, a_n \mid \emptyset \rangle

Özellikler:

• Elemanlar: Jeneratörlerin ve terslerinin kelimeleri
• $F_1 \cong \mathbb{Z}$
• $F_2$ değişmeli (abelian) değildir
• Her grup, bir serbest grubun bölüm grubudur

Örnek: $F_2 = \langle a, b \rangle$
Elemanlar: $e, a, b, ab, ba, a^2, aba^{-1}b, \ldots$
$ab \neq ba$ (değişmeli değil!)

Seifert-Van Kampen Teoremi:

Bu teorem, bir uzayı daha basit parçalara bölerek temel grubunu hesaplamaya yarar.

Teorem: X = U ∪ V açık kümelerinin birleşimi ve U, V, U∩V yol bağlantılı olsun. O zaman:

\pi_1(X) \cong \pi_1(U) *_{\pi_1(U \cap V)} \pi_1(V)

Bu, serbest çarpım (amalgamated free product) işlemidir.

Uygulama: Çemberin Temel Grubu

$S^1

Örnekler:

$(\mathbb{R}, +)$ standart topoloji ile topolojik grup
$(\mathbb{C}^*, \cdot)$ karmaşık sayıların çarpma grubu
$GL(n, \mathbb{R})$ ters çevrilebilir n×n matrisler grubu
$S^1 = \{z \in \mathbb{C} : |z| = 1\}$ birim çember

Topolojik Grupların Özellikleri

Temel Özellikler:
• Her topolojik grup homojendir (her nokta özdeştir)
• Kompakt topolojik gruplar özel öneme sahiptir
• Sol ve sağ translasyonlar homeomorfizmdir
• Bağlantılı topolojik gruplar yol bağlantılıdır

İlginç Sonuç: Kompakt bir topolojik grupta Haar ölçüsü denilen değişmez bir ölçü vardır. Bu, integrasyon teorisi için önemlidir.

Grup Etkisi ve Grup Hareketleri

Bir grubun bir topolojik uzay üzerindeki etkisi, simetrilerini ve yapısını anlamak için güçlü bir araçtır.

\phi: G \times X \to X

Tanım: G grubu X uzayı üzerinde etki ediyorsa:

• $e \cdot x = x$ (birim elemanın etkisi özdeşlik)
• $(gh) \cdot x = g \cdot (h \cdot x)$ (çağrışımlılık)
• Etki fonksiyonu süreklidir

i iki yay U ve V'ye böl (her biri büzülebilir). U∩V iki bağlantı bileşeni.
$\pi_1(U) = \pi_1(V) = \{e\}$, $\pi_1(U \cap V) = \mathbb{Z} \sqcup \mathbb{Z}$
SVK teoremi: $\pi_1(S^1) \cong \mathbb{Z}$ ✓

Örnek: g-tutamaklı torus:
$\pi_1(T_g) = \langle a_1, b_1, \ldots, a_g, b_g \mid [a_1,b_1] \cdots [a_g,b_g] = e \rangle$
Bu, 2g jeneratör ve 1 bağıntılı gruptur.

Güç: SVK teoremi, karmaşık uzayların temel grubunu daha basit parçaların gruplarından hesaplamamıza olanak verir. Topoloji problemini grup teorisi problemine dönüştürür!

Örtü Uzayları

Örtü uzayı teorisi, bir uzayın "katmanlı" versiyonlarını inceleyerek temel grubunu anlamaya yarar.

p: \tilde{X} \to X \quad \text{(örtü projeksiyonu)}

Tanım: $p: \tilde{X} \to X$ bir örtü uzayıdır eğer her $x \in X$ için açık bir $U \ni x$ vardır öyle ki:

• $p^{-1}(U) = \bigsqcup_{\alpha} V_{\alpha}$ (ayrık birleşim)
• Her $V_{\alpha}$, U'ya homeomorfik ($p|_{V_{\alpha}}$ homeomorfizm)

Temel Örnekler:

$\mathbb{R} \to S^1$: $p(t) = e^{2\pi it}$ (evrensel örtü)
$S^n \to \mathbb{RP}^n$: İki katlı örtü
$\mathbb{C} \to \mathbb{C}^*$: $p(z) = e^z$ (üstel fonksiyon)
$S^1 \to S^1$: $p(z) = z^n$ (n-katlı örtü)

Evrensel Örtü

Evrensel örtü $\tilde{X}$, basit bağlantılı (simply connected) örtüdür: $\pi_1(\tilde{X}) = \{e\}$

Her yol bağlantılı, yerel yol bağlantılı, yarı-yerel basit bağlantılı uzayın evrensel örtüsü vardır.

Eğrilerin Yükseltilmesi:

Yükseltme Özelliği: $\gamma: [0,1] \to X$ bir yol ve $\tilde{x_0} \in p^{-1}(x_0)$ verilsin. O zaman benzersiz bir $\tilde{\gamma}: [0,1] \to \tilde{X}$ vardır öyle ki:
• $p \circ \tilde{\gamma} = \gamma$
• $\tilde{\gamma}(0) = \tilde{x_0}$

\pi_1(X, x_0) / p_*(\pi_1(\tilde{X}, \tilde{x_0})) \cong \text{Kat sayısı}

Örtü Dönüşümleri:

Örtü dönüşümü: $f: \tilde{X} \to \tilde{X}$ homeomorfizm ile $p \circ f = p$
Deck dönüşümleri grubu: $\text{Deck}(\tilde{X}/X) \cong \pi_1(X)/p_*(\pi_1(\tilde{X}))$

Derin Bağlantı: Örtü uzayları ile altgruplar arasında birebir eşleme vardır. X'in örtüleri, $\pi_1(X)

Örnekler:

$(\mathbb{R}, +)$ standart topoloji ile topolojik grup
$(\mathbb{C}^*, \cdot)$ karmaşık sayıların çarpma grubu
$GL(n, \mathbb{R})$ ters çevrilebilir n×n matrisler grubu
$S^1 = \{z \in \mathbb{C} : |z| = 1\}$ birim çember

Topolojik Grupların Özellikleri

Temel Özellikler:
• Her topolojik grup homojendir (her nokta özdeştir)
• Kompakt topolojik gruplar özel öneme sahiptir
• Sol ve sağ translasyonlar homeomorfizmdir
• Bağlantılı topolojik gruplar yol bağlantılıdır

İlginç Sonuç: Kompakt bir topolojik grupta Haar ölçüsü denilen değişmez bir ölçü vardır. Bu, integrasyon teorisi için önemlidir.

Grup Etkisi ve Grup Hareketleri

Bir grubun bir topolojik uzay üzerindeki etkisi, simetrilerini ve yapısını anlamak için güçlü bir araçtır.

\phi: G \times X \to X

Tanım: G grubu X uzayı üzerinde etki ediyorsa:

• $e \cdot x = x$ (birim elemanın etkisi özdeşlik)
• $(gh) \cdot x = g \cdot (h \cdot x)$ (çağrışımlılık)
• Etki fonksiyonu süreklidir

in altgruplarına karşılık gelir. Bu, Galois teorisine benzer!

Örtü Sınıflandırma Teoremi: İyi davranışlı uzaylar için, örtü uzayları ile temel grubun altgrupları arasında tam bir eşleme vardır.

Homoloji Teorisi

Homoloji teorisi, topolojik uzayların "deliklerini" farklı boyutlarda saymaya yarayan güçlü bir invaryantlar sistemidir.

Temel Fikir: n-boyutlu "zincirleri" (simpleksler, hücreler) kullanarak uzayı inşa ederiz. Sınır operatörü ∂ ile hangi zincirlerin "döngü" (cycle) ve hangi zincirlerin "sınır" (boundary) olduğunu buluruz.

H_n(X) = \frac{\ker(\partial_n)}{\text{im}(\partial_{n+1})} = \frac{Z_n}{B_n}

Simplisyal Homoloji:

0-simpleks: Nokta
1-simpleks: Kenar
2-simpleks: Üçgen
3-simpleks: Tetrahedron

\cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots

Bu bir zincir kompleksidir ve $\partial \circ \partial = 0$ özelliğine sahiptir.

Temel Örnekler:

Küre $S^2$:
$H_0(S^2) = \mathbb{Z}$ (bağlantılı)
$H_1(S^2) = 0$ (delik yok)
$H_2(S^2) = \mathbb{Z}$ (2-boyutlu "boşluk")

Torus $T^2$:
$H_0(T^2) = \mathbb{Z}$
$H_1(T^2) = \mathbb{Z} \oplus \mathbb{Z}$ (iki bağımsız döngü)
$H_2(T^2) = \mathbb{Z}$

Temel Grup vs Birinci Homoloji

Hurewicz Teoremi: Eğrisel bağlantılı uzay için:
$H_1(X) \cong \pi_1(X)^{\text{ab}}$ (abelianizasyon)

Yani, birinci homoloji grubu, temel grubun "değişmeli versiyonudur".

Tam Homoloji Dizileri:

Bir çift $(X, A)$ için uzun tam dizi vardır:

\cdots \to H_n(A) \to H_n(X) \to H_n(X,A) \to H_{n-1}(A) \to \cdots

Tam Dizi: Her okun görüntüsü bir sonraki okun çekirdeğidir:
$\text{im}(f) = \ker(g)$

Sürekli Fonksiyonlar ve Homomorfizmler:

f: X \to Y \text{ sürekli} \Rightarrow f_*: H_n(X) \to H_n(Y)

Funktörel Özellik: Homoloji bir funktördür! $(g \circ f)_* = g_* \circ f_*$ ve $(id_X)_* = id_{H_n(X)}$. Bu, homolojinin cebirsel topolojinin en güçlü aracı olmasını sağlar.

Kompakt Yüzeylerin Homolojisi:

g-tutamaklı yönlendirilebilir yüzey $M_g$:
$H_0(M_g) = \mathbb{Z}$
$H_1(M_g) = \mathbb{Z}^{2g}$ (2g jeneratör)
$H_2(M_g) = \mathbb{Z}$

Euler karakteristiği: $\chi(M_g) = 1 - 2g + 1 = 2 - 2g$ ✓

Evrensel Katsayı Teoremi: Homoloji grupları arasında derin ilişkiler vardır. Kohomoloji ile de güçlü bağlantılar mevcuttur (Poincaré dualitesi).

Grup Etkisi ve Grup Hareketleri

Bir grubun bir topolojik uzay üzerindeki etkisi, simetrilerini ve yapısını anlamak için güçlü bir araçtır.

\phi: G \times X \to X

Tanım: G grubu X uzayı üzerinde etki ediyorsa:

• $e \cdot x = x$ (birim elemanın etkisi özdeşlik)
• $(gh) \cdot x = g \cdot (h \cdot x)$ (çağrışımlılık)
• Etki fonksiyonu süreklidir

Örtü Sınıflandırma Teoremi: İyi davranışlı uzaylar için, örtü uzayları ile temel grubun altgrupları arasında tam bir eşleme vardır.

Cebirsel Topoloji Yolculuğu

Cebirsel topoloji, geometrik nesneleri cebirsel araçlarla inceleyen derin ve güzel bir matematik dalıdır.

İleri Çalışma İçin Kaynaklar

Temel: "Algebraic Topology" - Allen Hatcher (ücretsiz online)
Klasik: "Topology" - James Munkres
İleri: "Algebraic Topology" - Edwin Spanier
Geometrik: "A Basic Course in Algebraic Topology" - William Massey

Öğrenme Yol Haritası:

• Genel topoloji temellerini sağlamlaştırın
• Temel grup hesaplamalarında ustalaşın
• Simplisyal komplekslerle çalışın
• Homoloji teorisini derinlemesine öğrenin
• Kohomoloji ve ileri konulara geçin
• Spektral diziler ve homotopi teorisi

π₁(Uzay) = Bilgi

Topolojinin cebirsel dilini öğrendiniz!

Örnekler:

$(\mathbb{R}, +)$ standart topoloji ile topolojik grup
$(\mathbb{C}^*, \cdot)$ karmaşık sayıların çarpma grubu
$GL(n, \mathbb{R})$ ters çevrilebilir n×n matrisler grubu
$S^1 = \{z \in \mathbb{C} : |z| = 1\}$ birim çember

Topolojik Grupların Özellikleri

Temel Özellikler:
• Her topolojik grup homojendir (her nokta özdeştir)
• Kompakt topolojik gruplar özel öneme sahiptir
• Sol ve sağ translasyonlar homeomorfizmdir
• Bağlantılı topolojik gruplar yol bağlantılıdır

İlginç Sonuç: Kompakt bir topolojik grupta Haar ölçüsü denilen değişmez bir ölçü vardır. Bu, integrasyon teorisi için önemlidir.