1.5 Bölüm Uzayı

advertisement
1.5. Bölüm Uzayı
1.5
13
Bölüm Uzayı
X bir topolojik uzay ve Y boş kümeden farklı bir küme olsun. f : X → Y
fonksiyonu verilsin. f ’yi sürekli yapan en az bir topoloji vardır; Y üzerindeki
en kaba topoloji. Ama bu durum ilginç bir durum değildir, çünkü bu topolojiye göre sadece f değil, X’den Y ’ye tanımlı her fonksiyon sürekli olacaktır.
Diğer taraftan Y üzerinde konulacak topoloji ne kadar ince ise, f ’nin sürekli
olma şansı o kadar azalacaktır. O halde ”f ’yi sürekli yapan Y ’deki en ince
topolojisi var mıdır?” sorusu anlamlıdır. Bu sorunun yanıtı aşağıdaki teoremle
bağlantılıdır.
Teorem 1.10. (X, τ ) bir topolojik uzay, Y boş kümeden farklı bir küme ve
f : X → Y örten fonksiyon olsun.
τf = {U ⊂ Y : f −1 (U ) ∈ τf },
Y üzerinde bir topolojidir. Bu topolojiye f -bölüm topolojisi denir. (Y, τf )
topolojik uzayına f -bölüm uzayı diyeceğiz.4
Kanıt: Bariz!
X topolojik uzay, f : X → Y fonksiyon ise, Y üzerineki f -bölüm topolojisi τf ,
Y üzerindeki f ’yi sürekli kılan toplojilerin en incesidir. Yani, τ , Y üzerinde
topoloji ve f bu topolojiye göre sürekli ise τ ⊂ τf dir.
Tanım 1.6. (X, τX ) ve (Y, τY ) iki topolojik uzay osun.
τY = {U ⊂ Y : f −1 (U ) ∈ τX }
özelliğindeki örten f : X → Y fonksiyonuna bölüm fonksiyonu denir.
Her homeomorfizma bir bölüm fonksiyonudur. Ancak tersi doğru değildir;
homeomorfizmadan farkı birebir olmak zorunda olmamasıdır. (X, τX ) ve (Y, τY )
iki topolojik uzay ve f : X → Y bölüm fonksiyonu olsun. En az maliyetle,
yapıyı çok fazla bozmadan f bölüm fonksiyonu homeomorfizmaya dönüştürülebilir
mi? Öncelikle birebirliği sağlamak için, X üzerinde
x ≡ y ⇐⇒ f (x) = f (y)
tanımlı ≡ denklik ilişkisini gözönüne alarak, bu denklik ilişkisine göre X’nin
elemanlarının denklik sınıflarının kümesini X/≡ gösterelim ve
f : X/≡ → Y , f ([x]) = f (x)
4
Bu tanımlama standart bir tanımlama değil. Literatüde bu uzaya sadece bölüm uzayı
denilebilmekte.
14
1. Verilen Topoloji ve Fonksiyonlarla Yeni Topoloji Üretmek
olarak tanımlıyalım. f fonksiyonu birebir ve örtendir. Şimdi X üzerindeki
topolojiden fazla uzaklaşmadan ve onu kullanarak X/≡ üzerine uygun bir
topoloji koymamız işimizi sonlandıracaktır. X/≡ üzerine konulacak en iyi
topoloji ise, q : X → X/≡, q(x) = [x] olmak üzere, q-bölüm topolojisidir.
Bu topolojiyi τq ile gösterelim.
f : (X/≡, τq ) → (Y, τX ), f ([x]) = f (x)
olarak tanımlanan fonksiyon homeomorfizmadır. Bu gözlem nedeniyle aşağıdaki
tanımı yapmak kaçınılmaz olmalı.
Tanım 1.7. (Bear and Levi (1932))5 (X, τ ) bir topolojik uzay ve ≡, X
üzerinde bir denklik ilişkisi olsun.
q : X → X/≡, q(x) = [x]
olmak üzere, X/≡ üzerindeki q-bölüm topolojisine bölüm topolojisi ve bu
topoloji ile donatılmış X/≡ uzayına bölüm uzayı6 denir.
Her bölüm uzayı bir f -bölüm uzayıdır. Buna karşın, aşağıdaki teorem her
f -bölüm uzayı bir bölüm uzayına homeomorfik olduğunu söyleemekte. Kanıtını
okuyucuya bırakıyoruz.
Teorem 1.11. X ve Y iki topolojik uzay olsun. f : X → Y örten bir fonksiyon
olsun. Aşağıdakiler denktir.
(i) f bölüm fonksiyonudur.
(ii) X üzerinde öyle bir denklik ilişkisi ≡ vardır ki, q : X → X, q(x) = [x]
(=,x’nin denklik sınıfı) olmak üzere f = g ◦ q olacak biçimde g : X/≡ →
Y homeomorfizması vardır.
(iii) U ⊂ Y açık ancak ve ancak f −1 (U ) açıktır.
(iv) K ⊂ Y kapalı ancak ve ancak f −1 (K) açıktır.
(v) X üzerinde a ≡ b denklik ilişkisi f (a) = f (b) olarak tanımlansın.
f : X/≡ → Y , f ([x]) = f (x)
homeomorfizmadır.
Örnekler
5
Bölüm uzayı ilk kez Moore (1925) ve Alexandroff (1926) da çalışılmaya başlanmıştır. Bu
konuda ilk sistemli çalışma Bourbaki’nin kitabında yapılmıştır (1940)
6
bu tanımlama nedeniyle nedeniyle, f -bölüm uzayına, neden sadece bölüm uzayı
demediğimin anlaşıcağını umuyorum.
1.5. Bölüm Uzayı
15
1.29. X = [0, 2π], R Euclidean uzayının bir altuzayı ve
S 1 = {(x, y) : x2 + y 2 = 1}
kümesini R × R çarpım uzayın alt uzayı olarak ele alalım.
f : [0, 2π) → S 1 , f (x) = (cosx, sinx)
fonksiyonu birerbir, örten ve sürekli olmasına karşın tersi f −1 sürekli değildir. Buna
karşın
g : [0, 2π] → S 1 , g(x) = (cosx, sinx)
olarak tanımlanan fonksiyon bir bölüm fonksiyonudur. Ayrıca,
x ≡ y ⇐⇒ g(x) = g(y) ⇐⇒ 0 < x = y < 2π ya da x, y ∈ {0, 2π}
denklik ilişkisine ve X/≡ bölüm uzayına göre
g : X/≡ → S 1 , g([x]) = (cosx, sinx)
bir homeomorfizmadır. Yani, X/≡ ve S 1 uzayları homeomorfik uzaylarır.
1.30. [0, 2π], Euclidean R uzayının altuzayı olmak üzere X = [0, 2π]×[0, 2π] çarpım uzayından
S 1 × [0, 2π] uzayına tanımlı
f ((x, y)) = ((cosx, sinx), y)
olarak tanımlanan f fonksiyonu bir bölüm fonksiyonudur. f tarafından üretilen denklik
ilişki ≡’ye göre bölüm uzayı X/≡’den S 1 × [0, 2π] uzayına
f ([(x, y)]) = f (x, y)
olarak tanımlanan fonksiyon bir homeomorfizmadır. Yani X/≡ ve S 1 × [0, 2π] uzayları
homeomorfiktir.
1.31. f : X = [0, 2π] × [0, 2π] → S 1 × S 1 fonksiyonu
f ((x, y), (a, b)) = ((cosx, sinx), (cosa, sina))
eşitliği ile tanımlansın. f ’nin bir bölüm fonksiyonu olduğu barizdir. Bu fonksiyon tarafından
[0, 2π] × [0, 2π] üzerinde üretilen denklik ilişkisi ≡ olmak üzere, X/≡ ve S 1 × S 1 uzayları
homeomorfiktir. S 1 × S 1 uzayına Torus denir.
Uyarı: Bu örnekte geçen uzay örneklerin, geometrik olarak ne analam geldiğini analmak
için resimler çizilmeli???
Alıştırmalar
1.32. X ve Z iki topolojik uzay ve f : X → Y örten fonksiyon olsun. τY , Y üzerinde f -topoloji
olsun. g : Y → Z fonksiyonu için şağıdakilerin denkliğini gösteriniz.
(i) g süreklidir.
(ii) g ◦ f süreklidir.
1.33. X bir topolojik uzay ve Y = X × X çarpım uzayı olsun. Y üzerinde tanımlanan denklik
ilişkisi
(x, y)≡(a, b) ⇐⇒ y = b
olmak üzere, bölüm uzayı Y /≡ ve X’nin homeomorphic olduğunu gösteriniz.
1.34. f : [0, 2π] → S 1 , f (x) = (cosx, sinx) olarak tanımlanan fonksiyonun sürekli, örten ve
kapalı olmasına karşın açık olmadığını gösteriniz.
1.35. P : R2 → R, P ((x, y)) = x olarak tanımlanan fonksiyonun örten, sürekli ve açık olmasına
karşın kapalı olmadığını gösteriniz.
Kanıt: A = {(x, x1 ) : x ∈ R, x 6= 0} is closed in R2 , but P (A) is not closed in R.
16
1. Verilen Topoloji ve Fonksiyonlarla Yeni Topoloji Üretmek
1.36. f : X → Y bir bölüm fonksiyonu olsun. Aşağıdakilerin denkliğini gösteriniz.
(i) f açıktır.
(ii) Açık her U ⊂ X için f −1 (f (U )) açıktır.
1.37. X bir topolojik uzay ve ≡, X üzerinde denklik ilişkisi olsun. Aşağıdakilerin denkliğini
gösteriniz.
(i) U , X/≡ bölüm uzayında açıktır.
(ii) ∪{[x] : [x] ∈ U }, X’de açıktır.
1.38. X bir topolojik uzay, ≡, X üzerinde denklik ilişkisi olamak üzere q : X → X/≡, q(x) =
[x] olarak tanımlansın. Aşağıdakilerin denkliğini gösteriniz.
(i) q kapalıdır.
(ii) A ⊂ X kapalı ise ∪{[x] : [x] ∩ A 6= ∅} kapalıdır.
(iii) A ⊂ X açık ise ∪{[x] : [x] ⊂ A} açıktır.
Problemde geçen kapalılık ifadesi açık olma ile değiştirilirse, problem yine ge
ccerlidir.
Kanıt: (i) ⇐⇒ (ii): Aşağıdaki gerektirmeden hemen elde edilir.
∪{[x] : [x] ∩ A 6= ∅} = X \ q −1 (Y \ q(A))
olmasından istenilen elde edilir.
(ii) ⇐⇒ (iii): Bariz.
1.39. f : X → Y ve g : Y → Z iki bölüm fonksiyonu ise g ◦ f ’nin bölüm fonksiyonu olduğunu
gösteriniz.
1.40. f : X → Y ve g : Y → Z, g ◦ f bölüm fonksiyonu olacak biçimde iki sürekli fonksiyon
ise, g’nin bölüm fonksiyonu olduğunu gösteriniz.
1.41. X bir topolojik uzay ve D, elemanları boş kümeden farklı, ayrık ve birleşimleri X olan
P(X)’nin bir altkümesi olsun. Her x ∈ X için x ∈ D(x) olan sadece bir tane D(x) ∈ D
vardır.
f : X → D, f (x) = Dx
olarak tanımlanan fonksiyon örten fonksiyondur. D üzerindeki f -bölüm topolojini τf
ilegösterelim. F ⊂ D verilsin. Aşağıdakilerin denkliğini gösteriniz.
(i) F ∈ τf .
(ii) ∪U ∈F U , X’de açıktır.
D’ye X’de bir ayrışım, D üzerinde tanımlanan f -bölüm topolojisine ayrışım uzayı ve
f ’ye ayrışım fonksiyonu denir.
1.42. (X, τ ) bir topolojik uzay, D ⊂ P(X), X’nin bir ayrışımı ve P : X → D, x ∈ P (x)
özelliğinde örten fonksiyon olsun. τD , D üzerinde P -bölüm topolojisi olsun. Aşağıdakilerin
denkliğini gösteriniz.
(i) P kapalıdır.
(ii) F ∈ D, U ∈ τX ve F ⊂ U ise F ⊂ P −1 (W ) ⊂ U özelliğinde W ∈ τD vardır.
Kanıt: (i) =⇒ (ii): P (X \ U ) kapalıdır, W = D \ P (X \ U ) ∈ τD ve
F ⊂ P −1 (W ) ⊂ U
1.5. Bölüm Uzayı
17
dir.
(i) =⇒ (ii): K ⊂ X kapalı olsun. D\P (K)’nın açık olduğunu göstereceğiz. F ∈ D\P (K)
verilsin. D’nin elemanlarının ayrık olması ve her x ∈ X için x ∈ P (x) olmasından dolayı
F ⊂ X \ K dır. Varsayımdan dolayı
F ⊂ P −1 (W ) ⊂ X \ K
özelliğinde W ⊂ D açık kümesi vardır. Ayrıca
P (P −1 (W )) = W.
(Gerçekten P (P −1 (W )) ⊂ W olduğ bariz. U ∈ W verilsin. P örten olduğundan P (x) =
U özelliğinde x ∈ X alabiliriz. x ∈ P (x) = U ∈ W olduğundan x ∈ P −1 (W ). Dolayısıyla
U = P (x) ∈ P (P −1 (W )) olduğu görülür.) x ∈ F verilsin.
F = P (x) ∈ P (P −1 (W )) ⊂ P (X \ K)\ ⊂ D \ P (K).
Bu kanıtı tamamlar.
1.43. (X, τX ) ve (Y, τY ) iki topolojik uzay ve f : X → Y bölüm fonksiyonu olsun. D =
{f −1 (y) : y ∈ Y } kümesi üzerine P : X → D, P (x) = f −1 (f (x)) olmak üzere P -bölüm
topoloji τD koyalım. Aşağıdakiler denktir.
(i) f kapalıdır.
(ii) F ∈ D, U ∈ τX ve F ⊂ U ise F ⊂ P −1 (W ) ⊂ U özelliğinde W ∈ τD vardır.
1.44. X bir topolojik uzay olsun. x≡y ⇐⇒ {x} = {y} olarak tanımlanan denklik ilişkisinin
bölüm uzayı X/≡’nin T0 -uzayı olduğunu gösteriniz.
1.45. X bir topolojik uzay ve X/≡, X’nin bir bölüm uzayı olsun. Aşağıdakilerin denkliğini
gösteriniz.
(i) X/≡ T1 -uzaydır.
(ii) Her x ∈ X için [x] ⊂ X kapalıdır.
1.46. (Xi )i∈I topolojik uzayların bir ailesi ve her i ∈ I için ≡i , Xi üzerinde denklik ilişkisi
Q
olsun ve [x]i , x ∈ Xi ’nin denklik sınıfını göstersin. Xi ’lerin çarpım uzayı X = i Xi
üzerinde
f ≡ g ⇐⇒ ∀i, f (i)≡i g(i)
ilişkisini tanımlıyalım. Aşağıdakileri kanıtlayın.
(i) ≡ bir denklik ilişkisidir.
(ii) Her
Q i ∈ I için qi : Xi → Xi /≡i , qi (x) = [x]i dönüşümü açık olsun.
i (Xi /≡i ) uzaylarının homeomorfikdir.
Q
i
Xi /≡ ve
Download