1.2 Stone-Cech Kompaktlama

advertisement
6
1. Stone Cech Kompaktlama
1.2
Stone-Cech Kompaktlama
Bu kısımda tümüyle düzenli X uzayının bir kompact K uzayın için Cb -embedded
olduğunu göstereceğiz. Yani şunu kanıtlıyacağız: X tümüyle düzenli uzaysa
öyle bir kompakt Hausdorff uzay K vardır ki, X uayı K uzayının yoğun altuzayına homeomorfik (altuzayı olarak varsayabiliriz!) ve her f ∈ Cb (X)’nin bir
genişlemesi f ∈ C(K) vardır. Bu durumda Cb (X) ve C(K) halkaları izomorfik
olacaklarından K uzayı homeomorfik olarak tektir. Bahsi geçen özellikteki K
uzayının inşasının çeşitli yolları vardır. Bu kısımda ”standard” olan inşasını
vereceğiz.
Tanım 1.2. X tümüyle düzenli uzay olarak,
Y
βX →
f (X), β(x) = (f (x))f ∈Cb (X)
f ∈Cb (X)
olmak üzere
βX = β(X)
olarak tanımlansın. βX uzayına X’nin Stone-Cech kompactlaması2 denir.
X’den β(X)’e tanımlı, x → β(x) fonksiyonunu da β ile göstermek karmaşa
yapmayacaktır. Ancak, uzayı vurgulama için β yerine βX yazma durumum
olabilir. Aşağıdaki theoremin ikl kısmı R’de sınırlı ve kapalı her kümenin kompakt olması ve Tychonoff teoreminin bir sonucudur. Ikinci kısmı ise, çarpım
uzaylarında projeksiyonların sürekli olmalarının bir sonucudur.
Teorem 1.4. X tümüyle düzenli uzay olsun.
(i) βX kompakt Hausdorff uzaydır.
(ii) β : X → β(X) bir homeomorfizmadır.
Aşağıdaki sonuş yukarıdaki teoremin direk bir sonucudur.
Sonuç 1.5. X Hausdorff uzay olsun. Aşağıdakiler denktir.
(i) X tümüyle düzenli.
(ii) X, bir kompakt Hausdorff uzayı K’nın yoğun altuzayına homeomorfiktir.
(iii) X, bir kompakt Hausdorff uzayı K’nın altuzayına homeomorfiktir.
Aşağıdaki teorem tümüyle düzenli X uzayından kompakt uzay K’ya tanımlı
sürekli her fonksiyonun sürekli olarak βX uzayına genişleyebileceğini söyler.
Aşağıdaki
teoremde X topolojik uzay ve f ∈ Cb (X) için If = f (X) yazarız.
Q
ve f ∈Cb (X) If , If ’lerin çarpım uzayını gösterecektir.
2
Bazı kitaplarda Stone Cech kompaktlama yerine Cech-Stone kompaktalama da denir.
1.2. Stone-Cech Kompaktlama
7
Teorem 1.6. X completely regular uzay ve K compact Hausdorff uzay olsun.
olarak tanımlansın. Her h ∈ Cb (X, K) için
h ◦ βX = h
özelliğinde h ∈ C(βX, K) vardır.
Kanıt: h ∈ C(X, K) verilsin.
Q
Q
H : f ∈Cb (X) f (X) → g∈C(K) g(K) = βK K, Pg H(ϕ) = Pg◦h (ϕ)
olarak tanımlansın. yani Pg ◦ H = Pg◦h . Projeksiyonlar sürekli olduğundan her
g ∈ C(K) için Pg ◦ H sürekli ve dolayısıyla Teorem ??? gereği H süreklidir.
Her x ∈ X için,
H(β(x)) = βK ((h(x)) ∈ βK (K),
yani
Q H(β(X)) ⊂ βK (K) dır. H sürekli, β(X) = βX ve βK (K) = βK K altuzayı
g∈C(K) g(K) çarpım uzayında kapalı olduğundan,
H(βX) ⊂ βK (K)
elde edilir.
i : βX →
Q
f ∈Cb (X) f (X),
i(x) = x
olmak üzere, βK ’nın K uzayından βK (K) altuzayına örten homeomorfizma
olduğundan
−1
h = βK
◦H ◦i
eşitliğiyle h : βX → K fonksiyonunu tanımlayabiliriz. h ∈ C(βX, K) olduğu
barizdir.
h = h ◦ βX
olduğu da barizdir. Kanıt tamamlanır.
X topolojik uzay olmak üzere her f ∈ Cb (X) için f (X) ⊂ R kümesi kompakt olduğundan yukarıdaki teoremin bir uygulaması olarak aşağıdaki teoremin kanıtı barizdir.
Teorem 1.7. X tümüyle düzenli uzay olsun.
π : C(βX) → Cb (β(X)), π(f ) = f |β(X)
olarak tanımlanan fonksiyon örten izomorfizmadır. β(X) ve X uzayları homeomorfik olduklarından Cb (X) ve C(βX) halkaları izomorfiktir.
8
1. Stone Cech Kompaktlama
K kompakt Hausdorff uzaysa βK ve K uzaylarının homeomorfik oldukları
barizdir. βN, βQ ve βR uzaylarının özellikleri ??? de verilecektir.
Alıştırmalar
1.3. X = (0, 1) olmak üzere βX ve [0, 1] uzayları homeomorfik midirler?
1.4. l∞ = {(xn ) : xn ∈ R}, noktasal çarpma ve toplama işlemleri altında bir halkadır. l∞ ve
C(βN) halkalarının izomorfik olduklarını gösteriniz.
Download