11.02.2015 Views

Cebirsel Topoloji ťkinci Ö§retim Vize Cevap Anahtar Çözüm:

Cebirsel Topoloji ťkinci Ö§retim Vize Cevap Anahtar Çözüm:

Cebirsel Topoloji ťkinci Ö§retim Vize Cevap Anahtar Çözüm:

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Cebirsel</strong> <strong>Topoloji</strong> kinci Ö§retim <strong>Vize</strong> <strong>Cevap</strong> <strong>Anahtar</strong><br />

1. R ile R 2 homeomorf uzaylar mdr Açklaynz<br />

Çözüm: Bu iki uzay birbirine homeomork de§ildir.<br />

R ≈ R 2 oldu§unu kabul edelim. O zaman f : R −→ R 2 homeomorzmas<br />

mevcuttur. Bu takdirde bir x ∈ R için f(x) = y, y ∈ R 2 dir.<br />

R ≈ R 2 oldu§undan R−{x} ≈ R 2 −{y} olur. Birinci uzay yol ba§lantsz iken<br />

di§eri çembere homeomorf oldu§undan yol ba§lantldr. Çeli³ki elde edilir.<br />

O halde kabulümüz yanl³tr.<br />

2. f : X −→ Y sürekli olsun. G = {(x, y) ∈ X × Y : y = f(x)} ⊂ X × Y<br />

altuzayn alalm. Bu takdirde G ≈ X dir. Gösteriniz.<br />

Çözüm:<br />

h : X −→ G<br />

x ↦−→ h(x) = (x, f(x)) olarak tanmlayalm.<br />

• x 1 , x 2 ∈ X olsun. x 1 ≠ x 2 iken h(x 1 ) ≠ h(x 2 ) oldu§undan h 1-1 dir.<br />

• ∀(x, f(x)) ∈ G için f bir dönü³üm oldu§undan h(x) = (x, f(x)) olacak<br />

³ekilde bir x ∈ X mevcuttur. O halde h örtendir.<br />

• h dönü³ümünün bile³enleri sürekli oldu§undan h da süreklidir.<br />

• p 1 : X × Y −→ X (x, y) ↦−→ p(x, y) = x birinci izdü³üm fonksiyonu<br />

sürekli oldu§undan h −1 = p| G kstlan³ fonksiyonu da süreklidir.<br />

Bu durumda h dönü³ümü homeomorzmadr. X ≈ G dir.<br />

3. f : X −→ Y sürekli ve örten olsun. E§er X kompakt, Y Hausdor ise<br />

o zaman f identikasyon dönü³ümdür. Gösteriniz.<br />

Çözüm: Bir f sürekli ve örten dönü³ümü açk ya da kapal ise identi-<br />

kason dönü³üm idi. O halde f nin kapal dönü³üm oldu§unu göstermemiz<br />

yeterlidir.<br />

• Kompakt uzaylarn kapal alt uzaylar da kompaktr.<br />

• Kompakt uzaylarn sürekli dönü³üm altndaki görüntüsü de kompaktr.<br />

• Hausdor uzaylarn kompakt alt kümeleri kapaldr.<br />

özelliklerinden hareketle f dönü³ümünün kapallar kapallara götürdü§ünü<br />

ispatlayalm.<br />

A ⊂ X kapal olsun. X kompakt uzay oldu§undan A da kompaktr. f<br />

dönü³ümü sürekli oldu§undan f(A) da kompakt olur. Y uzay T 2 oldu§undan<br />

f(A) kapaldr. O halde f dönü³ümü identikasyondur.<br />

1


4. Ekli uzayn tanmn veriniz. X = D 2 birim disk A = S 1 ⊂ D 2 birim<br />

çember ve Y = S 1 çemberi olmak üzere f : A −→ Y dönü³ümü sabit<br />

dönü³üm olsun. X ∪ f Y/a ∼ f(a) ekli uzay ne olur Açklaynz.<br />

Çözüm: A ⊂ X kapal altuzay, f : A −→ Y sürekli dönü³üm olsun.<br />

X ∪ f Y/ a∼f(a) bölüm uzayna "ekli uzay" denir.<br />

S 1<br />

S 1<br />

D 2<br />

D 2 ∪ S 1 / a∼d<br />

X = D 2 , A = S 1 ve Y = S 1 alnsn. S 1 ⊂ D 2 kapal ve S 1 −→ S 1 sabit<br />

dönü³üm süreklidir. Bu durumda D 2 ∪ {⋆}/ a∼⋆ uzaynn ekli uzay<br />

uzayna homeomorftur.<br />

5. f, g : X −→ Y ve h : W −→ X sürekli dönü³ümler olsun. f ≃ g ise<br />

f ◦ h ≃ g ◦ h dr. Gösteriniz.<br />

Çözüm: f ≃ g =⇒ F : X × I −→ Y<br />

F (x, 0) = f(x)<br />

F (x, 1) = g(x) olacak ³ekilde F sürekli dönü³ümü<br />

mevcuttur.<br />

h : W −→ X sürekli dönü³üm ve 1 : I −→ I birim dönü³ümü de sürekli<br />

oldu§undan h × 1 : W × I −→ X × I da süreklidir.<br />

H : W × I −→ Y homotopisi H = F ◦ (h × 1) alnrsa istenen homotopi<br />

elde edilmi³ olur.<br />

6. S 2 birim küresinden 3 nokta çkartlmasyla elde edilen uzayn temel<br />

grubunu hesaplaynz.<br />

Çözüm: S 2 − {a} ≈ R 2 dir. O zaman f : S 2 − {a} −→ R 2 homeomor-<br />

zmas mevcuttur. Bu durumda b ∈ S 2 − {a} için f(b) ∈ R 2 dir. O halde<br />

S 2 − {a, b} ≈ R 2 − {f(b)} ≈ S 1 dir. Benzer mantkla, h : S 2 − {a, b} −→ S 1<br />

oldu§undan c ∈ S 2 − {a, b} için h(c) ∈ S 1 dir.<br />

2


O halde S 2 − {a, b, c} ≈ S 1 − {h(c)} ≈ R dir.<br />

Homeomorf uzaylarn temel gruplar izomorf oldu§undan,<br />

Π 1 (S 2 − {a, b, c}) ∼ = Π 1 (R) = {0} dr.<br />

7. f : Z −→ X, ∀z ∈ Z için f(z) = x 0 ve g : Z −→ X, ∀z ∈ Z için<br />

g(z) = x 1 olacak ³ekilde iki sabit dönü³üm olsun. f ≃ g x 0 ile x 1 , X uzaynn<br />

ayn yol bile³eninde yer alr. spatlaynz.<br />

Çözüm: ⇐⇒ =⇒ f ≃ g olsun. O zaman H : Z × I −→ X H(z, 0) = x 0 =<br />

f(z) ve H(z, 1) = x 1 = g(z) olacak ³ekilde H homotopisi mevcuttur.<br />

γ : I −→ X<br />

t ↦−→ γ(t) = H(z, t) olarak tanmlansn. H sürekli<br />

oldu§undan γ döünü³ümü de süreklidir. Ayrca γ(0) = H(z, 0) = x 0 ve<br />

γ(1) = H(z, 1) = x 1 oldu§undan γ dönü³ümü X üzerinde x 0 dan x 1 e giden<br />

bir yoldur. Bu durumda x 0 ve x 1 ,<br />

X uzaynn ayn yol bile³eninde yer alr.<br />

⇐= x 0 ile x 1 , X uzaynn ayn yol bile³eninde yer alsn. O zaman γ : I −→<br />

X γ(0) = x 0 ve γ(1) = x 1 olacak ³ekilde γ sürekli dönü³ümü mevcuttur.<br />

H : Z × I −→ X<br />

(z, t) ↦−→ H(z, t) = γ(t) olarak tanmlansn. γ sürekli<br />

oldu§undan H da süreklidir ve ;<br />

H(z, 0) = γ(0) = x 0 = f(z) ve H(z, 1) = γ(1) = x 1 = g(z) oldu§undan<br />

f ≃ g dir.<br />

8. 1 + i, 2 + 2i ∈ C olmak üzere Π 1 (C, 1 + i) temel grubunu hesaplaynz.<br />

Π 1 (C, 1+i) ile Π 1 (C, 2+2i) nin temel gruplar arasnda nasl bir ili³ki vardr<br />

Açklaynz.<br />

Çözüm:<br />

Teorem α, X uzaynda x 0 dan x 1 e giden bir yol olsun.<br />

̂α : Π 1 (X, x 0 ) −→ Π 1 (X, x 1 )<br />

[f] ↦−→ ̂α([f]) = [α] ∗ [f] ∗ [α] dönü³ümü izomorzmadr.<br />

Sonuç X uzay yol ba§lantl uzay ise ∀x 0 , x 1 ∈ X için Π 1 (X, x 0 ) ∼ = Π 1 (X, x 1 )<br />

dir.<br />

h : C −→ R ; a + ib ↦−→ h(a + ib) = (a, b) dönü³ümü altnda<br />

C ∼ = R 2 oldu§unu biliyoruz. Bu durumda temel gruplar izomorktir. Yani<br />

Π 1 (C, 1 + i) ∼ = Π 1 (R 2 , (1, 1)) dir. R 2 büzülebilir oldu§undan temel grubu<br />

a³ikardr. Dolaysyla Π 1 (C, 1 + i) = {0} dr. R 2 yol ba§lantl oldu§undan C<br />

de yol ba§lantl olur. Yol ba§lantl uzaylarn temel gruplar baz noktalarndan<br />

ba§msz oldu§undan Π 1 (C, 1 + i) ile Π 1 (C, 2 + 2i) nin temel gruplar<br />

izomorktir.<br />

3

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!