Diferansiyel Manifoldlara Giriş

Eğrilikli uzayların geometrisi ve topolojisi

TₚM → Diferensiyellenebilir yapı

Kümeler ve Fonksiyonlar

Diferansiyel geometriye giriş yapmadan önce, temel küme teorisi ve fonksiyon kavramlarını gözden geçirmemiz gerekir. Bu kavramlar, manifold teorisinin temelini oluşturur.

Fonksiyonların Temel Özellikleri

$T_pM = \{\text{türetimler } C^\infty(M) \to \mathbb{R}\}$

Bu tanım koordinat bağımsızdır ve içsel bir karakterizasyon sağlar.

Koordinat Bazı

$\frac{\partial}{\partial x^i}\bigg|_p : f \mapsto \frac{\partial(f \circ \phi^{-1})}{\partial x^i}\bigg|_{\phi(p)}$

Lokal koordinatlarda (x¹, ..., xⁿ), teğet uzayının bir bazı:

$\left\{\frac{\partial}{\partial x^1}\bigg|_p, \ldots, \frac{\partial}{\partial x^n}\bigg|_p\right\}$
Genel Teğet Vektör
Her teğet vektör şu şekilde yazılabilir:
$v = \sum_{i=1}^n v^i \frac{\partial}{\partial x^i}\bigg|_p$
burada v^i ∈ ℝ katsayılardır.

Türetilmiş Lineer Fonksiyonlar (Diferansiyel)

Tanım: f: M → N düzgün için, diferansiyeli p ∈ M'de: $df_p: T_pM \to T_{f(p)}N$ lineer dönüşüm şöyle tanımlanır:
$(df_p(v))(g) = v(g \circ f)$
her g ∈ C∞(N) için.

Bu, "zincir kuralı"nın içsel versiyonudur.

Koordinatlarda: φ: U ⊂ M → ℝⁿ ve ψ: V ⊂ N → ℝᵐ lokal koordinatlar ise: $df_p = d(\psi \circ f \circ \phi^{-1})_{\phi(p)}$ Jacobi matrisi ile temsil edilir.

Topolojik Uzaylar

Topolojik uzay, süreklilik ve yakınlık kavramlarının soyut bir genelleştirmesidir.

Tanım: f: X → Y fonksiyonu için:
  • • Örten (Surjektif): Her y ∈ Y için f(x) = y olacak şekilde x ∈ X vardır
  • • Bire-bir (İnjektif): f(x₁) = f(x₂) ⟹ x₁ = x₂
  • • Biyeksiyon: Hem örten hem bire-bir

Sürekli Fonksiyonlar

Süreklilik kavramı, manifold teorisinde merkezi bir rol oynar. Bir fonksiyonun sürekliliği, topolojik yapı üzerinden tanımlanır.

$$f: X \to Y \text{ süreklidir} \Leftrightarrow \forall V \subset Y \text{ açık}, f^{-1}(V) \subset X \text{ açıktır}$$
Sezgisel Açıklama
Sürekli bir fonksiyon, "kopma" olmaksızın bir uzayı diğerine götürür. Topolojik açık kümelerin ters görüntüleri de açık kalır.

Homeomorfizma

Tanım: f: X → Y bir homeomorfizmadır eğer:
  • 1. f biyektif
  • 2. f sürekli
  • 3. f⁻¹ sürekli

Homeomorfik uzaylar topolojik olarak "aynı" kabul edilir. Örneğin, bir çay fincanı ile bir simit (donut) topolojik olarak homeomorfiktir.

Dikkat: Homeomorfizma sadece topolojik özellikleri korur. Geometrik özellikler (açılar, uzaklıklar) korunmaz!

Topolojik uzay, süreklilik ve yakınlık kavramlarının soyut bir genelleştirmesidir.

$$(X, \mathcal{T}) \text{ bir topolojik uzaydır}$$

Burada X bir küme, 𝒯 ⊂ 𝒫(X) ise X'in alt kümelerinin bir ailesidir ve aşağıdaki aksiyomları sağlar:

Topoloji Aksiyomları:
  • • ∅, X ∈ 𝒯
  • • Sonlu kesişim: U₁, U₂ ∈ 𝒯 ⟹ U₁ ∩ U₂ ∈ 𝒯
  • • Keyfi birleşim: {Uᵢ}ᵢ∈I ⊂ 𝒯 ⟹ ⋃ᵢ Uᵢ ∈ 𝒯

Bazı Önemli Topolojiler

Standart Örnekler
Ayrık topoloji: 𝒯 = 𝒫(X) (tüm alt kümeler açık)
Gayri ayrık topoloji: 𝒯 = {∅, X}
Öklid topolojisi: ℝⁿ üzerinde standart metrik topoloji

Topolojik Uzayların Özellikleri

Hausdorff Uzayı: (X, 𝒯) Hausdorff'tur eğer her x ≠ y için ayrık açık kümeler U ∋ x ve V ∋ y varsa (T₂ aksiyomu)

Hausdorff özelliği, manifoldlar için temel bir gerekliliktir. Bu özellik, limitlerin tekliğini garantiler.

$$\text{Kompakt} + \text{Hausdorff} \Rightarrow \text{"iyi davranışlı" uzay}$$

Taban ve Alt Taban

Topoloji Tabanı: ℬ ⊂ 𝒯 bir tabandır eğer her U ∈ 𝒯, ℬ'den elemanların birleşimi olarak yazılabilirse.
Örnek: ℝⁿ
ℝⁿ'de açık toplar {B(x,r) : x ∈ ℝⁿ, r > 0} bir taban oluşturur. Hatta rasyonel merkezli ve rasyonel yarıçaplı toplar bile yeterlidir!

Kompaktlık

Tanım: X kompakttır eğer her açık örtüsünün sonlu bir alt örtüsü varsa.

ℝⁿ'de, Heine-Borel Teoremi'ne göre: Bir küme kompakttır ⟺ kapalı ve sınırlıdır.

Diferensiyellenebilir Manifoldlar

Diferensiyellenebilir manifold, lokal olarak Öklid uzayına benzeyen ama global olarak farklı topolojiye sahip olabilen uzaylardır.

$M^n \text{ bir } n \text{-boyutlu diferensiyellenebilir manifold}$

Koordinat Kartları

Tanım: (U, φ) bir koordinat kartıdır eğer:
  • • U ⊂ M açık küme
  • • φ: U → φ(U) ⊂ ℝⁿ homeomorfizma

φ fonksiyonu, M'nin U bölgesine "koordinatlar" atar. Bu, M'yi lokal olarak ℝⁿ gibi ele almamıza olanak sağlar.

Sezgi: Dünya Haritaları
Dünya küresel olmasına rağmen, bölgesel haritalar düz kağıt üzerinde çizilebilir. Her harita bir "koordinat kartı"dır. Tüm dünyayı tek bir kartta bozulma olmadan gösteremeyiz, ama birçok kartla tüm dünyayı kapsayabiliriz.

Atlas ve Geçiş Fonksiyonları

$\mathcal{A} = \{(U_\alpha, \phi_\alpha)\}_{\alpha \in I}$

Atlas, M'yi kapsayan koordinat kartları ailesidir: ⋃ₐ Uₐ = M

Geçiş Fonksiyonu: İki kart (Uₐ, φₐ) ve (Uᵦ, φᵦ) için, Uₐ ∩ Uᵦ ≠ ∅ ise: $\phi_\beta \circ \phi_\alpha^{-1}: \phi_\alpha(U_\alpha \cap U_\beta) \to \phi_\beta(U_\alpha \cap U_\beta)$ geçiş fonksiyonudur.

Cᵏ ve C∞ Manifoldlar

Tanım: Bir atlas Cᵏ (veya pürüzsüz C∞) denir eğer tüm geçiş fonksiyonları Cᵏ (veya C∞) ise.
Önemli: Geçiş fonksiyonlarının düzgünlüğü, manifold üzerinde türev alma işleminin iyi tanımlı olmasını garantiler. Farklı koordinat sistemlerinde hesaplanan türevler tutarlıdır.

Klasik Örnekler

S¹ - Birim Çember
S¹ = {(x,y) ∈ ℝ² : x² + y² = 1}
En az iki kart gerekir (çemberin tamamını tek kartla örtmek mümkün değil).
Stereografik projeksiyon kullanılabilir.
S² - Birim Küre
S² = {(x,y,z) ∈ ℝ³ : x² + y² + z² = 1}
2-boyutlu manifold (yüzeydir).
Enlem-boylam koordinatları kutuplarda sorunludur, bu yüzden en az iki kart gerekir.
T² - Torus
T² = S¹ × S¹
"Simit" şeklindeki yüzey.
Dört kartla örtülebilir.

Diferensiyellenebilir Fonksiyonlar

Manifoldlar arasındaki fonksiyonların düzgünlüğü, lokal koordinatlar kullanılarak tanımlanır.

$f: M \to N \text{ diferensiyellenebilir}$

Tanım

Tanım: f: M → N, p ∈ M noktasında Cᵏ'dır eğer:
  • • p ∈ U için kart (U, φ) ve f(p) ∈ V için kart (V, ψ) alındığında
  • • ψ ∘ f ∘ φ⁻¹: φ(U) → ψ(V) fonksiyonu Cᵏ'dır
$\phi(U) \xrightarrow{\psi \circ f \circ \phi^{-1}} \psi(V)$

Bu tanım koordinat seçiminden bağımsızdır çünkü geçiş fonksiyonları da düzgündür.

Önemli Nokta: Manifoldlar arasındaki fonksiyonları incelemek için onları ℝⁿ → ℝᵐ şeklindeki fonksiyonlara dönüştürürüz. Bu sayede standart kalkülüs araçlarını kullanabiliriz.

Diffeomorfizma

Tanım: f: M → N bir diffeomorfizmadır eğer:
  • 1. f biyektif
  • 2. f C∞
  • 3. f⁻¹ C∞

Diffeomorfik manifoldlar diferansiyel geometri açısından "aynı"dır. Tüm diferensiyellenebilir özellikler korunur.

Homeomorfizma vs Diffeomorfizma
Homeomorfizma: Topolojik özellikleri korur
Diffeomorfizma: Hem topolojik hem de diferensiyellenebilir özellikleri korur

Her diffeomorfizma homeomorfizmadır, ama tersi her zaman doğru değildir!

Düzgün Fonksiyon Örnekleri

$f: S^1 \to \mathbb{R}, \quad f(\theta) = \sin(2\theta)$

Bu fonksiyon düzgündür çünkü lokal koordinatlarda standart sin fonksiyonudur.

Bir Manifoldun İndirgenmiş Topolojisi

Bir manifoldun alt kümesi üzerinde doğal bir topoloji tanımlanabilir: indirgenmiş (alt uzay) topoloji.

$A \subset M \Rightarrow \mathcal{T}_A = \{U \cap A : U \in \mathcal{T}_M\}$

Özellikler

Temel Özellikler:
  • • İçerme fonksiyonu i: A → M süreklidir
  • • f: X → A sürekli ⟺ i ∘ f: X → M sürekli
  • • İndirgenmiş topoloji, A'yı sürekli yapan en kaba topolojidir

Diferensiyellenebilir Varyeteler

Tanım: V ⊂ ℝⁿ bir k-boyutlu diferensiyellenebilir varyetedir eğer her p ∈ V için:
  • • U ⊂ ℝⁿ açık, p ∈ U
  • • φ: U → ℝⁿ diffeomorfizma
  • • φ(V ∩ U) = {x ∈ ℝⁿ : xₖ₊₁ = ... = xₙ = 0} ∩ φ(U)

Başka bir deyişle, V lokal olarak "düzleştirilebilir" - ℝᵏ'nın bir parçası gibi görünür.

Örnek: Eğriler
ℝ³'te bir eğri (curve), 1-boyutlu varyetedir.
Lokal olarak her nokta etrafında eğri bir doğru parçası gibi görünür.

Düzenli Değer Teoremi

Teorem: f: M → N düzgün, y ∈ N düzenli değer ise:
f⁻¹(y) ⊂ M bir altmanifolddur ve dim(f⁻¹(y)) = dim(M) - dim(N)
Uygulama: Küre
f: ℝ³ → ℝ, f(x,y,z) = x² + y² + z²
1 düzenli değerdir (gradyan sıfır değil).
S² = f⁻¹(1) bir 2-boyutlu altmanifolddur (yüzey).

Grassman Manifoldları

Grassman manifoldları, vektör uzaylarının k-boyutlu alt uzaylarının oluşturduğu manifoldlardır. Bu yapılar, diferansiyel geometride ve cebirsel topolojide merkezi rol oynar.

$\text{Gr}(k, n) = \{\text{k-boyutlu alt uzaylar} \subset \mathbb{R}^n\}$

Yapı

Boyut: Gr(k,n) bir manifolddur ve boyutu:
$\dim(\text{Gr}(k,n)) = k(n-k)$
Özel Durumlar
Gr(1,n): Projektif uzay ℝPⁿ⁻¹ (doğrular)
Gr(n-1,n): Yine ℝPⁿ⁻¹ (hiperuzaylar)
Gr(2,4): 4-boyutlu manifold (düzlemler ℝ⁴'te)

Koordinatlandırma

W ∈ Gr(k,n) için, W'yi temsil eden k×n matris A alırız (satırları W'nin bir tabanıdır). Farklı tabanlar farklı matrisler verir, ama aynı satır uzayına sahiptirler.

Plücker Gömülmesi: Grassman manifoldu projektif uzaya gömülebilir: $\text{Gr}(k,n) \hookrightarrow \mathbb{P}(\bigwedge^k \mathbb{R}^n)$
Not: Grassman manifoldları kompakttır. Bu, geometri ve topolojide önemli uygulamalara sahiptir (vektör demetleri, karakteristik sınıflar, vb.)

Topolojik Uzayda Manifold Yapısı

Her topolojik uzay üzerine manifold yapısı konulamaz. Manifold yapısının varlığı için bazı gerekli koşullar vardır.

Gerekli Koşullar

Manifold Olma Koşulları:
  • • Hausdorff: Farklı noktalar ayrılabilir
  • • İkinci sayılabilir: Sayılabilir taban vardır
  • • Lokal Öklid: Her nokta etrafında ℝⁿ'ye homeomorfik komşuluk
Örnek (Manifold Değil): İki doğrunun kesiştiği "X" şekli manifold değildir - kesişme noktası etrafında ℝ'ye homeomorfik komşuluk yoktur.

Maksimal Atlas

Tanım: Bir atlas 𝒜 maksimaldir eğer, 𝒜 ile uyumlu olan her kartı zaten içeriyorsa.

İki atlas "uyumlu"dur eğer birleşimleri de bir atlastır (tüm geçiş fonksiyonları düzgün).

Pratik Not
Pratikte maksimal atlas yerine bir atlas veririz. Maksimal atlas otomatik olarak belirlenmiş olur - uyumlu tüm kartlar dahil edilir.

Diferensiyellenebilir Yapılar

Aynı topolojik uzay üzerinde birden fazla, birbirine diffeomorfik olmayan diferensiyellenebilir yapı olabilir!

Milnor'un Keşfi (1956): S⁷ üzerinde standart olanın dışında 28 farklı düzgün yapı vardır. Bunlar homeomorfik ama diffeomorfik değildir - "egzotik küreler".

Birimin Parçalanması

Birimin parçalanması (partition of unity), lokal tanımlı fonksiyonlardan global fonksiyonlar oluşturmak için kullanılan güçlü bir tekniktir.

Tanım: {Uₐ}ₐ∈I açık örtüsüne tabi birimin parçalanması, {ρₐ}ₐ∈I düzgün fonksiyonlarıdır öyle ki:
  • • 0 ≤ ρₐ ≤ 1
  • • supp(ρₐ) ⊂ Uₐ (destek Uₐ içinde)
  • • Σₐ ρₐ = 1 (lokal sonlu toplam)
Sezgi
Her ρₐ "ağırlık fonksiyonu"dur - manifoldun Uₐ bölgesine ne kadar ağırlık verdiğimizi gösterir. Tüm ağırlıklar toplamı her noktada 1'dir.

Varlık Teoremi

Teorem: Her parakompakt Hausdorff manifoldu üzerinde, her açık örtüye tabi bir birimin parçalanması vardır.

Kompakt veya ikinci sayılabilir manifoldlar parakompakttır, dolayısıyla bu teorem geniş bir sınıfa uygulanır.

Uygulamalar

Kullanım Alanları:
  • • Lokal tanımlı metriklerden global Riemann metrikleri oluşturma
  • • Manifold üzerinde integral tanımlama
  • • Lokal özelliklerden global sonuçlar çıkarma
  • • Vektör demetlerinde bölümler inşa etme

Kısmi Türev

Manifold üzerinde fonksiyonların kısmi türevleri, lokal koordinatlar kullanılarak tanımlanır:

$\frac{\partial f}{\partial x^i}\bigg|_p = \frac{\partial (f \circ \phi^{-1})}{\partial x^i}\bigg|_{\phi(p)}$
Dikkat: Kısmi türevler koordinat sistemi seçimine bağlıdır! Koordinat değişimi altında dönüşüm kuralları vardır.

Teğet Vektörler

Teğet vektörler, manifold üzerinde "yön" kavramını formalize eder. Bir noktadaki teğet uzayı, o noktadan geçen tüm eğrilerin hız vektörlerini içerir.

Geometrik Tanım

Eğri yaklaşımı: γ: (-ε, ε) → M, γ(0) = p eğrisi için
Teğet vektör: v = γ'(0)

Cebirsel Tanım (Türetim)

Tanım: p ∈ M'de teğet vektör, C∞(M) üzerinde bir türetimdir: $v: C^\infty(M) \to \mathbb{R}$ öyle ki:
  • • Lineerlik: v(af + bg) = av(f) + bv(g)
  • • Leibniz kuralı: v(fg) = v(f)g(p) + f(p)v(g)
$T_pM = \{v: C^\infty(M) \to \mathbb{R} \mid v \text{ türetim}\}$

T_pM, p noktasındaki teğet uzayıdır ve dim(T_pM) = dim(M) = n.

Koordinat Temsili

Lokal koordinatlar (U, φ) ile p ∈ U için:

$v = \sum_{i=1}^n v^i \frac{\partial}{\partial x^i}\bigg|_p$

Burada {∂/∂x¹|_p, ..., ∂/∂xⁿ|_p} teğet uzayının bir tabanıdır ve vⁱ = v(xⁱ) gerçek sayılardır.

Teğet Demeti

Tanım: Teğet demeti TM, tüm teğet uzaylarının birleşimidir: $TM = \bigsqcup_{p \in M} T_pM$

TM üzerinde doğal bir manifold yapısı vardır ve dim(TM) = 2n'dir. Doğal projeksiyon π: TM → M, her teğet vektörü ait olduğu noktaya gönderir.

İlişki
Teğet vektörler, manifold üzerindeki eğrilerin hızlarını temsil eder. Bu, diferansiyel denklemler ve akışlar için temel bir kavramdır.

Ters Fonksiyon Teoremi

Ters fonksiyon teoremi, manifoldlar için diferansiyel kalkülüsün en temel sonuçlarından biridir.

Teorem: f: M → N düzgün, p ∈ M için df_p: T_pM → T_{f(p)}N izomorfizma ise:
  • • p ∈ U açık ve f(p) ∈ V açık vardır
  • • f: U → V diffeomorfizmadır

Başka bir deyişle: Diferansiyel izomorfizma ise, lokal olarak diffeomorfizma vardır.

İspat ana hatları:
1. Lokal koordinatlar kullanarak ℝⁿ → ℝⁿ durumuna indirge
2. Standart ters fonksiyon teoremini uygula
3. Sonucu manifoldlara geri taşı

Leibniz Formülü

Türetim operatörü için Leibniz kuralı, çarpım türevi için bildiğimiz kuralın genelleştirilmesidir:

$v(fg) = v(f) \cdot g(p) + f(p) \cdot v(g)$
Tümevarımla Genelleme
n fonksiyonun çarpımı için:
$v(f_1 f_2 \cdots f_n) = \sum_{i=1}^n v(f_i) \prod_{j \neq i} f_j(p)$

Zincir Kuralı

Teorem: f: M → N ve g: N → P düzgün ise: $d(g \circ f)_p = dg_{f(p)} \circ df_p$

Bu, lineer dönüşümlerin bileşkesi olarak ifade edilen zincir kuralıdır.

İmmersiyonlar

İmmersiyon, bir manifoldu başka bir manifoldun "içine" düzgün bir şekilde gömme işlemidir.

Tanım: f: M → N bir immersiyondur eğer: $df_p: T_pM \to T_{f(p)}N \text{ her } p \in M \text{ için birebir (injektif)}$

Başka bir deyişle, diferansiyel her noktada tam ranklıdır: rank(df_p) = dim(M).

Örnek: Eğriler
γ: ℝ → ℝ² düzgün eğri bir immersiyondur eğer γ'(t) ≠ 0 her t için.
Bu "düzenli eğri" tanımıdır - teğet vektör hiçbir noktada sıfır değildir.

İmmersiyonların Genel Özellikleri

Önemli Özellikler:
  • • İmmersiyon lokal olarak gömülmedir (lokal diffeomorfizma görüntüsüne)
  • • Global olarak bire-bir olmayabilir (kendini kesebilir)
  • • dim(M) ≤ dim(N) olmalıdır
Dikkat: İmmersiyon ≠ Gömülme (embedding)
Gömülme için hem immersiyon hem de homeomorfizma görüntüsüne gerekir.
Örnek: Sekiz Şekli
Sekiz şekli "∞" ℝ²'ye bir immersiyondur ama gömülme değildir - kendini kesmektedir.

Whitney İmmersiyon Teoremi

Teorem: Her n-boyutlu kompakt manifold ℝ²ⁿ'ye gömmülebilir ve ℝ²ⁿ⁺¹'e immerse edilebilir.

Bu derin sonuç, her manifoldun yeterince yüksek boyutlu Öklid uzayında gerçekleştirilebileceğini gösterir.

Altmanifollar

Altmanifold, bir manifoldun diferensiyellenebilir yapıyı koruyan alt kümesidir.

Tanım: S ⊂ M bir k-boyutlu altmanifolddur eğer her p ∈ S için:
  • • (U, φ) koordinat kartı vardır, p ∈ U
  • • φ(S ∩ U) = {(x¹,...,xⁿ) ∈ φ(U) : xᵏ⁺¹ = ... = xⁿ = 0}

Lokal olarak, altmanifold koordinat düzlemlerinin biriyle hizalanabilir.

Gömülü Altmanifold

Karakterizasyon: S ⊂ M gömülü altmanifolddur ⟺
  • • S, indirgenmiş topoloji ile manifolddur
  • • İçerme i: S → M bir gömülmedir (immersion + homeomorphism onto image)
Klasik Örnek
S² ⊂ ℝ³ (birim küre) bir 2-boyutlu altmanifolddur.
Her noktada, S² lokal olarak bir düzlem gibi görünür.

Düzenli Seviye Kümesi

Teorem: f: M → N düzgün, c ∈ N düzenli değer ise:
S = f⁻¹(c) bir altmanifolddur ve dim(S) = dim(M) - dim(N)

Bu teorem, altmanifolların en önemli yapılandırma yöntemlerinden biridir.

Uygulama
Bir dağın sabit yükseklik eğrileri (kontur çizgileri), yükseklik fonksiyonunun seviye kümeleridir. Düzenli değerlerde bunlar 1-boyutlu altmanifoldlardır (eğriler).

Altmanifolda Teğet Uzay

S ⊂ M altmanifold için, T_pS doğal olarak T_pM'nin bir alt uzayıdır:

$T_pS = \{v \in T_pM : v \text{ yönünde } S'e \text{ teğettir}\}$

Submersiyonlar

Submersiyon, immersiyonun dual kavramıdır - diferansiyelin örten olduğu düzgün fonksiyonlardır.

Tanım: f: M → N bir submersiyondur eğer: $df_p: T_pM \to T_{f(p)}N \text{ her } p \in M \text{ için örtendir (sürjektif)}$

rank(df_p) = dim(N) her p için. Bu durumda dim(M) ≥ dim(N) olmalıdır.

Örnek: Projeksiyon
π: ℝ³ → ℝ², π(x,y,z) = (x,y)
Bu bir submersiyondur - her vektör ℝ²'de bir yöne project edilebilir.

Submersiyonların Özellikleri

Temel Özellikler:
  • • Submersiyonlar lokal olarak ℝⁿ → ℝᵐ projeksiyonuna benzer
  • • Açık dönüşümdür (açık kümeleri açığa götürür)
  • • Ters görüntü altmanifolddur

Submersiyonlar İçin Lokal Form

Teorem: f: M → N submersiyon, p ∈ M için lokal koordinatlar (U,φ) ve (V,ψ) vardır öyle ki: $\psi \circ f \circ \phi^{-1}(x^1, \ldots, x^m, x^{m+1}, \ldots, x^n) = (x^1, \ldots, x^m)$

Yani, uygun koordinatlarda submersiyon tam olarak standart projeksiyondur!

İmmersiyon vs Submersiyon vs Diffeomorfizma

Karşılaştırma
İmmersiyon: df birebir (rank = dim M)
Submersiyon: df örten (rank = dim N)
Lokal diffeomorfizma: df izomorfizma (rank = dim M = dim N)
Global vs Lokal:
• Lokal diffeomorfizma ≠ diffeomorfizma
• Submersiyon genelde global olarak tersine çevrilemez
• İmmersiyon genelde global olarak bire-bir değildir

Fibrasyon

Submersiyonlar fibrasyon teorisinin temelini oluşturur. f: M → N submersiyon ise, her y ∈ N için f⁻¹(y) bir altmanifolddur ("fiber" over y).

$\dim(f^{-1}(y)) = \dim(M) - \dim(N)$
Örnek: Hopf Fibration
S³ → S² submersiyonu, fiberları S¹ (çemberler) olan ünlü Hopf fibrasyonudur. Bu, topolojide derin sonuçlara yol açar.

Özet ve Temel Kavramlar

Diferansiyel manifoldlar teorisinin temel kavramlarını özetleyelim:

Temel Tanımlar

Manifold Hiyerarşisi:
  • • Topolojik Manifold: Lokal olarak ℝⁿ'ye homeomorfik
  • • Cᵏ Manifold: Geçiş fonksiyonları Cᵏ
  • • Düzgün (C∞) Manifold: Geçiş fonksiyonları C∞
  • • Analitik Manifold: Geçiş fonksiyonları analitik

Fonksiyon Tipleri

$\text{Diffeomorfizma} \supset \text{Lokal Diffeomorfizma}$ $\text{İmmersiyon:} \quad df_p \text{ birebir}$ $\text{Submersiyon:} \quad df_p \text{ örten}$

Temel Teoremler

Merkezi Sonuçlar
Ters Fonksiyon Teoremi: df izomorfizma ⟹ lokal diffeomorfizma
Örtük Fonksiyon Teoremi: Düzenli değer ⟹ altmanifold
Whitney Teoremi: Her manifold yüksek boyutta gömmülebilir
Sard Teoremi: Kritik değerler kümesi ölçüsü sıfır

Uygulamalar

Fizik:
  • • Genel görelilik teorisi (uzay-zaman manifoldları)
  • • Klasik mekanik (faz uzayı)
  • • Kuantum mekaniği (projektif uzaylar)
Mühendislik:
  • • Kontrol teorisi (yapılandırma uzayları)
  • • Robotik (eklem uzayları)
  • • Bilgisayarlı görü (görüntü manifoldları)

Diferansiyel Geometrinin Kapıları

Diferansiyel manifoldlar, modern geometrinin temelini oluşturur. Topoloji, analiz ve geometri arasında köprü kurar.

Sonraki Yolculuklar
Riemannian Geometri: Metrikler, eğrilik, jeodezikler
Lie Grupları: Simetri ve diferansiyellenebilir grup yapıları
Vektör Demetleri: Teğet demetler ve konneksiyonlar
Diferansiyel Formlar: De Rham kohomolojisi, Stokes teoremi
Simplectic Geometri: Hamilton mekaniği
Uygulamalar: Genel görelilik, mekanik, kontrol teorisi
Önerilen Kaynaklar
Temel Seviye:
• "Introduction to Smooth Manifolds" - John M. Lee
• "Differential Topology" - Victor Guillemin, Alan Pollack

İleri Seviye:
• "Foundations of Differentiable Manifolds" - Frank Warner
• "Riemannian Geometry" - Manfredo do Carmo
Öğrenme Tavsiyesi: Diferansiyel manifoldlar soyut bir konudur. Somut örnekler üzerinde çalışın: küreler, torus, projektif uzaylar. Görselleştirme çok önemlidir!

TₚM → Uzayın lokal doğası

Eğrilikli dünyalarda düz düşünmek...

Diferansiyel manifoldlar yolculuğu tamamlandı