1. Sürekli Fonksiyonlar Halkasının Idealleri ve Zero

advertisement
1. Sürekli Fonksiyonlar
Halkasının Idealleri ve Zero
Filterler
X topolojik uzay olmak üzere, X’den R’ye tanımlı sürekli fonksiyonların kümesini C(X) ile göstermiştik. f ,g ∈ C(X) için,
(f + g)(x) = f (x) + g(x) ve (f g)(x) = f (x)g(x)
olarak tanımlanan cebirsel işlemlere göre, C(X) bir halkadır. Üstelik, C(X)
halkası
(αf )(x) = αf (x)
olarak tanımlanan işleme göre bir cebirdir.
I ⊂ C(X) için
Z[I] = {Z(f ) : f ∈ I}
gösterimi kullanmakla birlikte, Z[C(X)] yerine Z(X) yazarız. Z(X) her elemanına sıfır küme demiştik. F ⊂ Z(X) için,
Z −1 [F] = {f ∈ C(X) : Z(f ) ∈ F}
gösterimi kullanılacaktır.
Filtre türü belirli aksiyomları sağlayan Z(X)’nin altkümelerine sıfır filtre
(z-filte) diyeceğiz. I, C(X)’nin bir ideali ise, Z[I] bir z-filtre olacaktır. Benzer
biçimde, F bir z-filtre ise, Z −1 [F] bir ideal olacaktır.
Bu kısımda, genel olarak C(X)’nin ideallerinden z-filtrelere tanımlı olan
I → Z[I]
dönüşümünün yapısı incelenecek, z-filtrelerin yakınsaması, yığılma noktası v.b.
tanımlamalarla X’nin bazı topolojik betimlemeleri verilebilecektir.
Bu bölümde aksi belirtilmedikce, ideallerin proper, yani C(X) halkasından
farklı olduğu varsayılacaktır.
1.1. Sürekli Fonksiyonlar Halkasında Ideal ve z-Filtreler
1.1
3
Sürekli Fonksiyonlar Halkasında Ideal ve z-Filtreler
Giriş yazısındaki notasyonlara sadık kalarak aşağıdaki tanımı verebiliriz.
Tanım 1.1. X bir topolojik uzay olsun. Boş kümeden farklı F ⊂ Z(X)
kümesi,
(i) ∅ 6∈ F
(ii) Z1 , Z2 ∈ F iç Z1 ∩ Z2 ∈ F
(iii) Z1 ∈ F, Z2 ∈ Z(X) ve Z1 ⊂ Z2 ise Z2 ∈ F
özelliklerini sağlıyorsa, F’ye X’de sıfır filtre ya da z-filtre denir.
Aşağıdaki Theorem bir topolojik uzayında z-filtre kavramının yeterince
zengın olduğunu söyler.
Örnekler
1.1. X bir topolojik uzay ve B ⊂ Z(X) kümesinin sonlu arakesit özelliği varsa,
F = {∩B∈B0 : B0 ⊂ B
sonlu}
kümesi bir z-filtredir.
1.2. X ayrık topolojik uzay olsun. F’nin X’de filte olması için gerekli ve yeterli koşul z-filtre
olmasıdır.
1.3. X bir topolojik uzay ve F, X’de bir filtre olsun. F ∩ Z(X) bir z- filtredir.
Aşağıdaki teorem, bir yönüyle C(X) halkasının idealleri üzerinden, z- filtrelerin önemine işaret eder.
Teorem 1.1. X bir topolojik uzay olsun, I ⊂ C(X) bir ideal ve F ⊂ Z(X),
z- filtre olsun.
(i) Z[I] bir z-filtredir.
(ii) Z −1 [F] bir idealdir.
Kanıt:
(i):
- ∅ 6∈ Z[I]: Tersini varsayalım. ∅ = Z(f ) özelliğinde f ∈ I vardır. Her
x ∈ X için f (x) 6= 0 olduğundan, f1 tanimlı ve süreklidir.
1 = f f1 ∈ I
eçitliğinden I = C(X) elde deilir ki, bu çelişkidir.
- Z[I] sonlu arakesit işlem kapalıdır: f ,g ∈ I verilsin. f 2 + g 2 ∈ I olmasından,
4
1. Sürekli Fonksiyonlar Halkasının Idealleri ve Zero Filterler
Z(f ) ∩ Z(g) = Z(f 2 + g 2 ) ∈ Z(I)
eşitliğiyle istenilen gösterilir.
- f ∈ I, g ∈ C(X) fonksiyonları Z(f ) ⊂ Z(g) özelliğinde olsunlar.
Z(g) = Z(f ) ∪ Z(g) = Z(f g) ∈ Z(I)
dır.
Z[I]’nın z-filtre olduğu gösterilmiş olur.
(ii): J = Z −1 [F] diyelim. 1 6∈ J olduğu bariz. f ,g ∈ J ve h ∈ C(X) verilsin.
Z(f ), Z(g) ∈ F olduğundan Z(f ) ∩ Z(g) ∈ F. Ayrıca, Z(f ) ∩ Z(g) ⊂ Z(f − g)
olmasından, Z(f − g) ∈ F, yani f − g ∈ J dir. Benzer biçimde, Z(f ) ⊂ Z(f h)
olmasından, Z(f h) ∈ F, yani f h ∈ J dir. Böylece, J’nin bir ideal olduğu
gösterilmiş olur.
X topolojik uzay, I, C(X)’nin bir ideali ve F, X’nin bir sıfır kümesi olmak
üzere,
Z[Z −1 [F]] = F ve Z −1 [Z[I]] ⊃ I
olduğunu göstermek zor değildir. Aşağıdaki örnek, genelde
Z −1 [Z[I]] = I
olmayacağını gösterir.
Örnekler
1.4. i : R → R, i(x) = x olarak tanımlansın. < i >, C(R)’de i tarafından úretien topolojik
uzay olmak üzere,
- 0 ∈ ∩Z[< i >].
- Z[< i >] = {Z(f ) : f (0) = 0}
1
- i 3 ∈ Z −1 [Z[< i >]] \ I.
- Z −1 [Z[< i >]] maksimal idealdir.
Alıştırmalar
1.5. X, topolojik uzay, I, C(X)’nin bir ideali ve F, X’de bir sıfır filtre olsun.
Z[Z −1 [F]] = F ve I ⊂ Z −1 [Z[I]]
olduğunu gösteriniz.
1.6. Yukarıda verilen Örnek ??? de geçenlerin doğruluğunu gösteriniz.
1.7. X = N discrete topolojik uzay olmak üzere,
c0 = {f ∈ Cb (X) : f (n) → 0}
1.1. Sürekli Fonksiyonlar Halkasında Ideal ve z-Filtreler
5
olarak tanımlansın. c0 , Cb (X) halkasının bir ideali olmasına karçın, Z[c0 ]’nın X uzayında
bir z-filtre olmadığını gösteriniz. Bu durum, Theorem ???(i) ile çelişir mi?
1.8. C(R) halkasında i(x) = x fonksiyonu trafından idealin
0
< i >= {f ∈ C(R) : f (0) = 0, f (0)
olduğunu gösteriniz.
var}
Download