Topoloji/Süzgeçler sayfasının kaynağını görüntüle

== Süzgeç Tanımı==

'''Tanım''': Aşağıdaki koşulları sağlayan bir <math> s \subset \mathcal{P}(X) \ </math> ailesine X kümesi üzerinde bir '''süzgeç''' adı verilir.

'''(i)'''  <math> s \ne \varnothing \ </math> ve <math> \varnothing \notin s \ </math>

'''(ii)'''  <math> A \in s \ </math> ve <math> B \in s \ </math> ise <math> A \cap B \in s \ </math>

'''(iii)'''  <math> A \in s \ </math> ve <math> A \subset B \ </math> ise <math> B \in s \ </math>

<math>  \ </math>

Buna göre bir küme üzerinde bir süzgeç, aynen bir topoloji gibi o kümenin alt kümelerinin belirli özellikleri sağlayan bir ailesidir. Bir küme üzerindeki süzgeçler, bu kümenin noktalarına benzer özellikler gösterdiğinden burada, süzgeçlerin küçük harflerle gösterilmesi uygun görüldü.

Yukarıdaki tanımın ilk aksiyomuna göre bir <math> X \ </math> kümesi üzerindeki bir süzgeç, bir topolojinin aksine <math> \varnothing \ </math>'yi içermez. Süzgecin kendisi de boş olamaz, yani <math> X \ </math>'in en az bir alt kümesini içerir. İkinci aksiyoma göre bir süzgeçteki herhangi iki kümenin kesişimi yine bu süzgeçtedir. Bu yönüyle süzgeçler topolojilerle benzerlik gösterir. Son aksiyom ise bir süzgeçte bulunan herhangi bir kümenin bütün üst kümelerinin o süzgece ait olduğunu söyler. Bu üç özelliğin, bir topolojik uzayda bir noktanın komşuluklarının sağladığı özelliklere oldukça yakın olduklarını gözlemleyebiliriz.

Şimdi süzgeçlerle noktalar arasındaki bağlantıyı daha zarif bir biçimde görmemizi ve süzgeç kavramının işleyişini daha güzel anlamamızı sağlayacak bir gösterim tanımlayacağız.

'''Tanım :''' <math> x \ </math> herhangi bir nesne, <math> A \ </math> bir küme olmak üzere <math> \ni \ </math> bağıntısı

<div style="text-align:center;"> <math> A \ni x : \iff x \in A </math> </div>

kuralıyla tanımlanır ve bu durumda <math> A \ </math> ters elemanıdır <math> x \ </math> denir. Eğer <math> A \ </math> <math> x \ </math>'in ters elemanı değilse <math> A \not \ni x \ </math> yazılır.

Öyleyse bir <math> A \ </math> kümesinin, bir <math> x \ </math> noktasının ters elemanı olması demek, o noktayı içermesi demektir yani burada aslında yeni tanımlanan bir kavram yoktur. Yalnızca <math> \ni \ </math> gösteriminin

<div style="text-align:center;"> <math> A \ni x \iff x \in A </math> </div>

kuralıyla tanımlandığını bilmek yeterlidir ve aslında bu gösterimi kullanmanın tek nedeni, alışıldığı üzere elemanı kümeden önce yazmak yerine, sonra yazmak arzusudur.

Şimdi bu gösterimi kullanarak süzgeç olma koşullarını bir kez daha yazalım:

Bir <math> X \ </math> kümesinin alt kümelerinin aşağıdaki koşulları sağşayan '''boştan farklı''' bir ailesine X üzerinde bir süzgeç adı verilir.

'''(i)'''   <math> s \not \ni \varnothing \ </math>

'''(ii)'''   <math> s \ni A \ </math>  ve  <math> s \ni B \ </math>  ise  <math> s \ni A \cap B \ </math>

'''(iii)'''   <math> s \ni A \subset B \ </math>  ise  <math> s \ni B \ </math>

<math> \ni \ </math> sembolünü, <math> \in \ </math> sembolüne benzermiş gibi düşündüğümüzde bir süzgecin bir noktanın sağladığı özellikleri sağladığını görürüz. Böylece süzgeçleri artık noktalar gibi düşünüp öyle işlem yapacağız ancak bir yandan da aslında küme aileleri olduklarını unutmayacağız. Elbette bir <math> X \ </math> kümesindeki her nokta yukarıdaki üç koşulu sağlar. Bu, X'in her noktasının bir süzgeç olduğu beklentisine neden olur ki, gerçek de böyledir. Ancak süzgeçler noktaların sahip oldukları her ayrıcalığa sahip olamayabilirler.

Bu bölümde süzgeçlere oranla sıradan noktalara çok daha fazla benzerlik gösteren aşkın süzgeçleri de ele alacağız ve aslında kümelerin bir ailesi olup da noktaymış gibi davranış gösteren süzgeçlerin üstüne bir de diziler gibi yakınsama yapan nesneler olduklarını, üstelik bunu dizilerden çok daha iyi başardıklarını göreceğiz. Durum böyleyken, süzgeçlerin topolojide ne denli önemli yerleri olabileceğini tahmin edebilirsiniz. Süzgeçlerin kullanımı birçok önemli teoremin ispatını kaydadeğer biçimde kolaylaştırmaktadır ve süzgeçler yardımıyla topoloji kavramı

<math>  \ </math>
{{KitapKat}}