1.4 Filtreler

advertisement
10
1. Yakınsama
1.4
Filtreler
Topolojik uzaylarda net kavramına bir çok yönüyle paralel olan ve benzer
sonuçları betimleyen kavram Filtre kavramıdır. Tanımı aşağıda:
Tanım 1.8. (Cartan, 1937) X boşkümeden farklı bir küme ve F ⊂ P(X)
kümesi aşağıdaki aksiyomları sağlıyor ise F’ye bir filter4 denir.
(i) ∅ 6∈ F.
(ii) A,B ∈ F ise A ∩ B ∈ F.
(iii) A ∈ F ve A ⊂ B ⊂ X ise B ∈ F dir.
X bir topolojik uzay ve f : I → X bir net olsun. Her i ∈ I için
Fi = {f (j) : j ≥ i}
olmak üzere f ’nin kuyruklarının kümesi
F = {Fi : i ∈ I}
olsun. F, X üzerinde bir filtre olmasa da,
F∞ = {A ⊂ X : ∃i ∈ I, Fi ⊂ X}
bir filtredir. Bu filtreye f neti tarafından üretilen filtre denir. Bununla ilişkili
bir teorem aşağıdadır. Teoremin kanıtı okuyucuya bırakılmıştır.
Teorem 1.8. X boşkümeden farklı bir küme ve ∅ 6∈ A ⊂ P(X), boşkümeden
farklı olsun.
F(A) = {F ⊂ X : A ⊂ F
olacak biçimde
A∈A
vardır}.
olmak üzere açağıdakilerin denktir.
(i) F(A) bir filtredir. bir filtredir. dir.
(i) Her A,B ∈ A için C ⊂ A ∩ B olacak biçimde C ∈ A vardır.
(i) {F : F bir filtre ve A ⊂ F} kümesi kapsama ilişkisine göre kısmı
sıralı bir küme ve minumumu vardır.
Tanım 1.9. Yukarıdaki teoremde tanımlanan F filter ise F’ye A tarafından
üretilen filter, A’ye ise F’nin bir filter tabanı denir. f , bir X kümesi üzerinde
net ise, f ’nin kuyruklarının kümesinin bir filtre tabanı olduğu barizdir.
4
Filte kavramı ilk olarak Riesz (1908) ve Caratheodory (1913) tarihli çalışmalarda
gözlenmiştir.
1.4. Filtreler
11
Teorem 1.9. Boş kümeden farklı bir X kümesi üzerindeki her filtrenin bir net
tarafından üretildiğini gösteriniz.
Kanıt: X topolojik uzay ve I, X üzerinde bir filtre olsun. I,
i ≤ j :⇐⇒ j ⊂ i
ilişkisine göre yönlü bir kümedir. Her i ∈ F için xi ∈ i seçelim. f : I → X,
f (i) = xi olarak tanımlanan f , X üzerinde bir nettir. i0 ∈ I verilsin.
Fi0 = {f (i) : i ≥ i0 } ⊂ i0
olduğu bariz. Böylece, F’nin f neti tarafından üretilen net olduğu gösterilmiş
olur.
Alıştırmalar
1.16. X bir topolojik uzay olsun. Her x ∈ X için
Fx = {F ⊂ X : x ∈ F o }
bir filterdir, gösteriniz.
1.17. (Xi ) boşkümeden farklı kümelerin bir ailesi ver i için Fi . Xi ’ler üzerinde bir filtre olsun.
Y
F = { Fi : Fi ∈ Fi }
i
Q
Xi ’lerin kartezyenn çarpım kümesi i Xi ’de bir filtre olduğunu gösteriniz.
1.18. (Xi ) boşkümeden farklı kümelerin bir ailesi ve her i için Ai , Xi ’ler üzerinde bir filtre
tabanı olsun.
Q
F = { i Fi : Fi ∈ Fi }
Q
kümesinin Xi ’lerin kartezyenn çarpım kümesi i Xi ’de bir filtre tabanı olduğunu gösteriniz.
1.19. A, X kümesinde bir filtre tabanı, B ⊂ X kümesi her A ∈ A, A ∩ B 6= ∅ özelliğinde
olsun. {A ∩ B : A ∈ A} kümesinin A üzerinde bir filtre tabanı olduğunu gösteriniz.
1.20. Bir küme üzerinde tanımlı filtre kavramının aşağıdaki gibi genellenebilr olduğunu gözlemleyiniz: X kısmı sıralı bir küme olmak üzere, ∅ 6= F ⊂ X kümesi açağıdaki koşulları
sğlasın.
(i) x,y ∈ F ise z ≤ x ve z ≤ y özelliğinde z ∈ F vardır.
(ii) x ∈ F ve X’de x ≤ y ise y ∈ F .
Bu durumda F ’ye X’nin (kısmı sıralı küme olarak) bir filtresi denir.
Download