T.C. SELÇUK ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ

Transkript

1 T.C. SELÇUK ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ SOFT BAĞLANTILI UZAYLARIN BAZI ÖZELLİKLERİ ÜZERİNE Büşra AYDIN YÜKSEK LİSANS TEZİ Matematik Anabilim Dalını Haziran-2016 KONYA Her Hakkı Saklıdır

2

3 TEZ BİLDİRİMİ Bu tezdeki bütün bilgilerin etik davranış ve akademik kurallar çerçevesinde elde edildiğini ve tez yazım kurallarına uygun olarak hazırlanan bu çalışmada bana ait olmayan her türlü ifade ve bilginin kaynağına eksiksiz atıf yapıldığını bildiririm. DECLARATION PAGE I hereby declare that all information in this document has been obtained and presented in accordance with academic rules and ethical conduct. I also declare that, as required by these rules and conduct, I have fully cited and referenced all material and results that are not original to this work. İmza Büşra AYDIN Tarih:

4 ÖZET YÜKSEK LİSANS TEZİ SOFT BAĞLANTILI UZAYLARIN BAZI ÖZELLİKLERİ ÜZERİNE Büşra AYDIN Selçuk Üniversitesi Fen Bilimleri Enstitüsü Matematik Anabilim Dalı Danışman: Yrd.Doc.Dr Hasan köse 2016, 33 Sayfa Jüri Yrd.Doç.Dr.Hasan KÖSE Doç.Dr.Necati TAŞKARA Yrd.Doç.Dr.Nihat AKGÜNEŞ Bu çalışmada ilk olarak tezde kullanılan kavramların literatür bilgilerini kısaca özetleyen giriş bölümü verildi. İkinci olarak soft küme teori ve 2011 yılında Çağman ve ark. tarafından verilen soft topolojik uzaylar ile ilgili temel kavramlar ve bazı özellikler hatırlatıldı. Sonraki kısımlarda soft bağlantısızlık ile ilgili bazı kavramlar verilip soft bileşen ve lokal soft bağlantılılık incelendi. Anahtar Kelimeler: Soft Bağlantısızlık; Soft Bileşen; Soft Lokal Bağlantılılık; Soft Topoloji iv

5 ABSTRACT MS THESIS ON SOME PROPETIES OF SOFT CONNECTED SPACES Büşra AYDIN THE GRADUATE SCHOOL OF NATURAL AND APPLIED SCIENCE OF SELÇUK UNIVERSITY THE DEGREE OF MASTER OF SCIENCE Advisor: Yrd.Doc.Dr.Hasan KÖSE 2016, 33 Pages Jury Yrd.Doç.Dr.Hasan KÖSE Doç.Dr.Necati TAŞKARA Yrd.Doç.Dr.Nihat AKGÜNEŞ In this study, firstly, the introduction which has been summarized briefly literature knowledge of concepts used in thesis was given. Secondly, the basic concepts and some properties about soft set theory and soft topological space was proposed Çağman et.al in 2011 were reminded. Then, some concepts about soft disconnected were given and soft local connected was examined. Keywords: Soft Component; Soft disconnected; Soft Local Connected; Soft Topology v

6 ÖNSÖZ Bu çalışma, Selçuk Üniversitesi Fen Bilimleri Matematik Anabilim dalında çalışmış olan Prof.Dr. Şaziye YÜKSEL in yönetiminde başlatılmış ve sürdürülmüş olup emekliliğinden sonra Yrd.Doc.Dr. Hasan KÖSE danışmanlığında tamamlanmıştır. Yüksek Lisans Tezi olarak sunulmuştur. Bu çalışma sürecinde emeğini ve bilgisini üzerimden eksik etmeyen saygıdeğer hocam Prof.Dr. Şaziye YÜKSEL ve her zaman desteklerini benden esirgemeyen sayın Yrd.Doç.Dr Hasan KÖSE ye teşekkür ederim. Ayrıca ilgi ve anlayışlarından dolayı saygıdeğer bölüm hocalarıma sonsuz şükranlarımı sunarım. Büşra AYDIN KONYA-2016 vi

7 İÇİNDEKİLER ÖZET... iv ABSTRACT... v ÖNSÖZ... vi İÇİNDEKİLER... vii SİMGELER VE KISALTMALAR... viii 1. GİRİŞ SOFT KÜME TEORİ Soft Kümeler Soft Topolojik Uzaylar SOFT BAĞLANTILI UZAYLAR Soft Bağlantılı Kümeler Soft Bağlantılı Uzaylar Soft Bağlantılı Alt Uzaylar Bir Soft Uzayın Soft Bileşenleri Tamamen Soft Bağlantısız Uzaylar Lokal Soft Bağlantılı Uzaylar...18 KAYNAKLAR ÖZGEÇMİŞ...22 vii

8 SİMGELER VE KISALTMALAR Simgeler Açıklamalar Parametreler kümesi Güç kümesi Eşittir Elemanıdır İse Fark Birleşim Kesişim Boş küme Soft küme Soft boş küme Soft tam küme Soft alt küme Soft kesişim Soft birleşim Soft kümeler ailesi ( Soft topolojik uzay soft kümesinin içi soft kümesinin tümleyeni soft kümesinin sınırı soft kümesinin kapanışı Soft komşuluk sistemi viii

9 1 1. GİRİŞ Günlük hayatta karşılaştığımız birçok kavram kesinden çok şüphelidir. Ancak klasik matematik kesin olmayan durumlarla ilgilenmez, tüm kavramlar belli olmalıdır, aksi halde kesin sonuca ulaşılamaz. Ancak bazı bilim adamları kesin olmayan durumlar üzerine de çalışmışlar ve bazı teorileri ortaya koymuşlardır. Bunlardan bazıları fuzzy küme teori (Zadeh, 1965; Atanassov, 1986; Gorzałczany, 1987; Atanassov, 1994), vague kümeler (Gau ve Buehrer, 1993), rough küme teori (Pawlak, 1982) ve soft küme teoridir (Molodtsov, 1999; Molodtsov ve ark., 2006) yılında Molodtsov (Molodtsov, 1999), belirsizliğe yeni bir yaklaşım olan soft küme teoriyi tanıttı. Bu teoride soft kümeyi, evrenin parametrelenmiş alt kümelerinin bir ailesi şeklinde tanımladı. Soft küme teori geniş bir alanda, birçok uygulamaya sahiptir yılında Maji ve arkadaşları (Maji ve ark., 2002; Maji ve ark., 2003), soft küme teori ile ilgili çeşitli temel kavramları verdiler. VE, VEYA gibi ikili işlemleri, ayrıca birleşim ve kesişim işlemlerini tanımlayıp De Morgan kurallarının ve çok sayıda sonucun soft kümeler için doğru olduğunu gösterdiler. Çeşitli araştırmacılar soft küme teori üzerinde günümüze kadar çalışmışlardır yılında Shabir ve Naz (Shabir ve Naz, 2011), evren küme üzerindeki bütün soft kümelerden oluşan aile üzerinde bir topolojisi kurdular. Bu topolojiyi (,, ) soft topolojik uzay olarak adlandırdılar. Bu uzayda soft açıklar ve soft kapalıları verdiler. Soft kapanış, soft iç, soft komşuluk, soft alt uzay kavramlarını verdiler. Soft ayırma aksiyomlarını verdiler ve birbirleriyle karşılaştırdılar. Aygünoğlu ve Aygün (Aygünoğlu ve Aygün, 2012) 2012 yılında yaptıkları çalışmada soft dönüşümde soft sürekliliği tanımlamış ve soft topolojik uzayda kompaktlık üzerine çalışmışlardır yılında Çağman ve ark. (Çağman ve ark., 2011), Shabir ve Naz (Shabir ve Naz, 2011) ın üzerinde çalıştığı (,, ) soft topolojik uzayından daha genel olan bir topolojik uzay tanımladılar. Burada soft kümeyi, parametre ve parametreye karşılık gelen evrenin parametrelenmiş alt kümesi ile birlikte bir ikili oluşturacak şekilde verdiler. Gerekli olan kavramları verip, evren küme üzerindeki bütün soft kümelerden herhangi bir tanesi üzerinde topoloji kurdular ve (, ) soft topolojik uzayı olarak adlandırdılar. Ayrıca bu uzayda soft iç, soft kapanış, soft sınır, soft açıklık, soft kapalılık, soft komşuluk, soft yığılma noktası ve soft taban kavramlarını verdiler. Soft iç, soft kapanış ve soft yığılma noktası ile ilgili olarak çok sayıda özellik vererek ispatladılar.

10 2 Bu çalışmada öncelikle soft kümeler ve soft topolojik uzaylar hakkında bazı tanım ve teoremler hatırlatılarak soft bağlantılı uzaylar ve soft bağlantılı alt uzaylar incelenmiştir. Ayrıca soft bileşen tanımlanarak tamamen soft bağlantısız uzaylar ve lokal soft bağlantılı uzaylar üzerinde bazı tanım ve teoremler verilmiştir. Bu tez çalışması üç bölümden oluşmuştur. Birinci bölümde; soft topoloji kavramının ortaya çıkışından, tarihçesinden ve yapılan çalışmanın içeriğinden bahsedilmiştir. İkinci bölüm iki kısımdan oluşmuştur. Birinci kısımda; Çağman ve arkadaşlarının 2011 yılında tanımlamış olduğu soft küme kavramı verilmiş, soft kümeler ile ilgili iç, dış, kapanış, tümleyen, birleşim, kesişim vb. özellikler hatırlatılmış ve konu ile açıklayıcı örneklere yer verilmiştir. İkinci kısımda ise Çağman tarafında tanımlanan soft topoloji kavramı verilmiş olup bazı tanım ve teoremler ile açıklanmıştır. Üçüncü bölümde; genel topolojide tanımlanmış(yüksel, 2008) ve soft topolojide de sağlandığı gösterilen soft bağlantılı uzaylar ve soft bağlantılı alt uzaylar hatırlatılıp bazı teoremler verilmiştir. Bir soft uzay için soft bileşen ve lokal soft bağlantılı uzay kavramları tanımlanmıştır. Yapılan bu tez çalışmasının bazı kısımlarıyla bir makale oluşturulmuş ve Yüzüncü Yıl Üniversitesi Fen Bilimleri Enstitüsü Dergisi nde basıma kabul edilmiştir.

11 3 2. SOFT KÜME TEORİ 2.1. Soft Kümeler Bu bölümde soft küme teori ile ilgili temel kavramları ve özellikleri hatırlattık. Burada başlangıç evreni, parametre kümesi, in güç kümesi ve olarak alınmıştır. Tanım (Çağman ve ark., 2011) evren kümesi üzerinde tanımlanan ikililerin oluşturduğu soft kümesi, : küme değerli bir dönüşüm olmak üzere, = {(, ( )) :, ( ) } şeklinde tanımlanır. Buradan ise ( ) = olur. evren kümesi üzerindeki bütün soft kümeler ile gösterilmiştir. Örnek Zeynep ve Ahmet evlenecekler ve bir düğün salonu kiralamak istiyorlar. soft kümesi düğün salonunun özelliklerini açıklasın. düğün salonlarının kümesi, parametreler kümesi ve olsun. soft kümesi, şeklinde oluşturulabilir. Tanım (Çağman ve ark., 2011) verilsin. Eğer her için ( ) = oluyorsa, boş soft küme olarak adlandırılır ve ile gösterilir. Tanım (Çağman ve ark., 2011) soft kümesi verilsin. Her için ( ) = oluyorsa, - tam soft küme olarak adlandırılır ve ile gösterilir. Eğer = ise - tam soft kümesi, tam soft küme olarak adlandırılır ve ile gösterilir.

12 4 Tanım (Çağman ve ark., 2011), soft kümeleri verilsin. Eğer her için, ( ) ( ) oluyorsa, soft kümesinin soft alt kümesidir denir ve şeklinde gösterilir. Tanım (Çağman ve ark., 2011), soft kümeleri verilsin. Eğer her için, ( ) = ( ) oluyorsa ile soft eşittir denir ve = ile gösterilir. Tanım (Çağman ve ark., 2011), soft kümeleri verilsin. Buradan soft birleşim, soft kesişim ve soft fark şeklinde gösterilir. Tanım (Çağman ve ark., 2011) soft kümesi verilsin. soft kümesinin soft tümleyeni şeklinde gösterilir. kümesinin tümleyeni ile ifade edilir ve her için = dir. Şimdi verilecek olan teoremde soft kümelerinde kesişim, birleşim, tümleyen gibi özelliklerin bir kısmını sağladığı gösterilecektir. Teorem (Çağman ve ark., 2011),, soft kümeleri verilsin. 1) =, = 2) =, = 3) =, = 4) =, = 5) =, = 6) =, = 7) ( ) = ( ) ( ) = ( ) 8) ( ) = ( ) ( ) ( ) = ( ) ( ) 9) ( = 10) ise olur.

13 5 Teorem (Çağman ve ark., 2011) olsun. Her için olduğunda, soft kümesine aittir denir ve şeklinde gösterilir. Herhangi ve için ise dır. Tanım (Çağman ve ark., 2011) olsun. Her için oluyorsa, üzerinde bir soft küme olarak tanımlanır. Tanım ve üzerindeki bütün soft kümelerin ailesi sırasıyla ve olsun. dönüşümü den ye bir soft dönüşüm olarak tanımlanır. Burada ve iki dönüşümdür. (1) olsun. nın dönüşümü altındaki görüntüsü üzerinde bir soft kümedir ve olarak tanımlanır. (2) olsun. nin dönüşümü altındaki ters görüntüsü üzerinde bir soft kümedir ve olarak tanımlanır., den ye bir soft dönüşüm ve den ye bir soft dönüşüm ise ve nin bileşkesi şeklinde gösterilir ve olarak tanımlanır. ve injektif ise soft dönüşümü de injektiftir denir. ve surjektif ise soft dönüşümü de surjektiftir denir. Tanım ) Eğer ise 2) Eğer ise 3)

14 Soft Topolojik Uzaylar Bu bölümde soft kümeler kullanılarak elde edilen soft topolojik uzayı ve bu uzayda soft iç, soft kapanış, soft sınır, soft açıklık, soft kapalılık, soft komşuluk, soft dönüşüm, soft yığılma noktası, soft taban ve soft komşuluk tabanı kavramlarını ve özelliklerini hatırlattık. Tanım (Çağman ve ark., 2011) verilsin. soft kümesinin soft güç kümesi, ( ) = { :, } şeklinde tanımlanır. Örnek 2.2.1:, alalım. soft kümesi verilmiş olsun. bütün soft alt kümeleri aşağıdaki gibidir. soft kümesinin = =

15 7 olur. Dolayısıyla soft kümesinin soft güç kümesi 16 elemanlıdır. Tanım (Çağman ve ark., 2011) verilsin. soft kümesi üzerindeki bir ailesi, i), ii){, } iii){, 1, } özelliklerini sağlarsa soft kümesi üzerinde topolojisi tanımlanır. Burada (, ) ikilisine soft topolojik uzay denir. nun üyeleri soft açık kümelerdir. ise da soft kapalı bir kümedir. En kaba soft topoloji ile gösterilir ve sadece ve soft kümelerini içerir. En ince soft topoloji ile gösterilir ve nın bütün soft alt kümelerini içerir. Tanım (Çağman ve ark., 2011) (, ) ve (, ) soft topolojik uzayları verilsin. Eğer, ise, den daha incedir. Eğer ise, den kesinlikle daha incedir. Eğer veya ise ile karşılaştırılabilirdir. Teorem (, ) soft topolojik uzayı verilsin. Aşağıdakiler her zaman doğrudur. tam soft küme ve soft kapalı kümelerdir. Soft kapalı kümelerin herhangi soft kesişimleri soft kapalıdır. Soft kapalı kümelerin sonlu soft birleşimleri soft kapalıdır. Tanım (Çağman ve ark., 2011) (, ) soft topolojik uzayı ve verilsin. soft kümesinin soft içi ile gösterilir ve soft kümesinin kapsadığı bütün soft açık alt kümelerinin soft birleşimi şeklinde tanımlanır. Teorem (Çağman ve ark., 2011) (, ) soft topolojik uzay ve olsun. ise soft açık kümedir.

16 8 Tanım (Çağman ve ark., 2011) (, ) soft topolojik uzay, ve olsun. olacak şekilde bir soft açık kümesi varsa, nin bir soft iç noktasıdır. Aşağıdaki teoremde soft topolojinin genel topolojideki iç özelliklerini sağladığı gösterilmiştir. Teorem (Çağman ve ark., 2011) (, ) soft topolojik uzay ve olsun. Buradan, 1) 2) 3) 4) Tanım (Çağman ve ark., 2011) (, ) soft topolojik uzay ve olsun. nin soft kapalısı ile gösterilir ve nin tüm kapalı soft üst kümelerinin kesişimi şeklinde tanımlanır., yi kapsayan en küçük soft kapalıdır. Teorem (Çağman ve ark., 2011) (, ) soft topolojik uzay ve olsun. nin soft kapalı olması için gerek ve yeter şart olmasıdır. Teorem (Çağman ve ark., 2011) (, ) soft topolojik uzay ve olsun. Buradan yazılabilir. Teorem (Çağman ve ark., 2011) (, ) soft topolojik uzay ve olsun. Buradan, 1) 2) 3) 4) 5)

17 9 Tanım (Çağman ve ark., 2011) (, ) soft topolojik uzay ve olsun. nin sınırı, ile gösterilir ve ile tanımlanır. Tanım (Çağman ve ark., 2011) (, ) soft topolojik uzayı ve verilsin. Eğer soft açık ise soft kapalıdır. Teorem (Çağman ve ark., 2011) (, ) soft topolojik uzayı ve verilsin. Buradan, i) ii) iii) iv) v) verilsin. Tanım (Çağman ve ark., 2011) ( soft kümesi üzerindeki, ) soft topolojik uzayı ve topolojisine, soft kümesi üzerine indirgenen soft alt uzay topolojisi, (, ) soft topolojik uzayına da (, ) uzayının soft alt uzayı denir. Tanım (Çağman ve ark., 2011) (, ) soft topolojik uzayı ve [ =(, ( )), her ve ( ) ] verilsin. elemanını içeren her soft açık alt kümesine, elemanının soft açık komşuluğu (ya da soft komşuluğu ) denir ve ile gösterilir. Yani, = { :, } şeklinde gösterilir. Tanım (Çağman ve ark., 2011) (, ) soft topolojik uzayı verilsin. ve verilsin. Eğer elemanının her soft komşuluğu, soft kümesinin elemanından farklı bir elemanını içeriyorsa elemanına soft kümesinin soft yığılma noktası denir. Yani, için ( { }) oluyorsa, soft kümesinin soft yığılma noktasıdır. ile gösterilir.

18 10 Tanım (Çağman ve ark., 2011) (, ) bir soft topolojik uzay ve da soft kümesinin soft açık alt kümelerinin bir ailesi olsun. Eğer ailesindeki her bir soft açık kümesi ya ait soft kümelerin herhangi soft birleşimleri olarak yazılabiliyorsa ailesine topolojisi için bir soft taban denir. Yani, için şeklinde yazılır. = Tanım (Ahmad ve Hussain, 2012) (, ) soft topolojik uzay ve verilsin. Eğer her soft komşuluğu için olacak şekilde bir varsa, ailesine soft topolojisine göre elemanının bir soft komşuluklar tabanı denir.

19 11 3. SOFT BAĞLANTILI UZAYLAR 3.1. Soft Bağlantılı Kümeler Bu kısımda Lin tarafından tanımlanmış soft bağlantılı küme tanımını verip konuyu açıklayan bazı tanım ve teoremlere yer verilmiştir. Tanım (Lin, 2013) (, ) soft topolojik uzay ve olsun. Eğer; veya ise ve soft kümelerine soft bağlantılı kümeler denir. Burada ve soft bağlantısız ise ve dir. Tanım (Lin, 2013) (, ) soft topolojik uzay ve olsun. ve ayrık ise dir. Uyarı Bir soft topolojik uzayda iki soft bağlantısız kümeler soft ayrıktır. Ancak karşıtı doğru değildir. Teorem (, ) soft topolojik uzay ve olsun. Eğer soft ayrık ve kümeleri soft açıksa soft bağlantısızdır. Eğer soft ayrık. ve kümeleri soft kapalıysa soft bağlantısızdır. İspat. ve soft ayrık kümeler olsun. Bu kümelerin her ikisi de soft açık olduğundan ve soft kapalıdır. olduğundan, (1) Benzer şekilde; olduğundan, (2) ve sırasıyla (1) ve (2) ile kesiştirilirse (3) (4) bulunur. (3) ve (4) kullanılarak Tanım den ve soft bağlantısız olarak bulunur. olsun. ve kümeleri soft kapalı olduğundan dır. Tanım den ve soft bağlantısız olarak bulunur.

20 12 Teorem (, ) soft topolojik uzay ve olsun. ve soft kümelerinin her ikiside soft açık ya da soft kapalı ise ve soft kümeleri soft bağlantısızdır yani; ve dir. İspat. ve kümeleri soft açık olsun. ve olduğundan, soft açık olduğundan dır. Buradan, görülür ki dır. Benzer şekilde; (1) (2) soft açık olduğundan, dir. Buradan, görülür ki; dir. ve kümeleri soft kapalı olduğundan ve dir. (1) ve (2) den ve soft ayrık kümelerdir. Teorem (, ) soft topolojik uzay ve olsun. Eğer ve soft kapalı ise soft kapalıdır. İspat. soft kapalı olduğundan, ve yazılabilir. olduğundan, bulunur. olduğundan, ve kapalı bulunur. Teorem (, ) soft topolojik uzay ve olsun. Eğer ve soft kapalı ise soft kapalıdır.

21 13 İspat. soft kapalı olduğundan,. Hipotezden, olduğunu biliyoruz. Buradan, ve nin soft kapalısı küme olduğu bulunur. Sonuç (, ) soft topolojik uzay ve olsun. Eğer ve soft bağlantısız kümeler ve soft kapalı ise ve soft kapalıdır. İspat. Teorem ve Teorem den ispat açıktır. Teorem (, ) soft topolojik uzay ve olsun. Eğer ve soft açıksa soft açıktır. İspat. Hipotezden, ve soft açık olduğundan, eşitliği yazılabilir ve eşitliğin sol tarafı soft açık olduğundan, eşitliği ile görülür ki soft açıktır. Teorem (, ) soft topolojik uzay ve olsun. Eğer ve soft açıksa soft açıktır. İspat. Hipotezden, ve soft açık olduğundan, eşitliği yazılabilir ve eşitliğin sol tarafı soft açık olduğundan, eşitliği ile görülür ki soft açıktır. Sonuç (, ) soft topolojik uzay ve olsun. Eğer ve soft bağlantısız kümeler ve soft açık ise ve soft açıktır. İspat. Teorem ve Teorem dan ispat açıktır.

22 Soft Bağlantılı Uzaylar Bu kısımda soft bağlantılı uzayın tanımı hatırlatılmış ve uzayın soft bağlantılı ya da soft bağlantısız olması durumunu açıklayan teoremlere yer verilmiştir. Tanım (Lin, 2013) (, ) bir soft topolojik uzay olsun. Eğer boştan farklı iki soft bağlantısız kümenin bileşimi şeklinde yazılabiliyorsa (, ) ya soft bağlantısız uzay denir. Teorem (, ) soft topolojik uzayının soft bağlantısız olması için gerek ve yeter şart soft kümesinin boş olmayan ve soft ayrık soft açık iki soft alt kümenin birleşimi şeklinde yazılmasıdır. İspat. olacak şekilde boştan farklı, bağlantılı olmayan ve soft alt kümeleri verilsin. ve soft bağlantısız ise soft ayrıktır. olup, Sonuç den ve soft açıktır. O halde soft kümesi, boş olmayan, soft ayrık, soft açık iki soft alt kümenin birleşimi şeklinde yazılabilir. ve olsun. ve soft soft ayrık ve soft açık ise Teorem den soft bağlantısızdır. soft kümesi, iki soft bağlantısız soft kümelerin birleşimi şeklinde yazılabiliyorsa Tanım den soft bağlantısızdır. Teorem (Lin, 2013) Bir soft kümesi boştan farklı ayrık ve soft kapalı iki soft bağlantısız kümenin birleşimi şeklinde yazılabiliyorsa (, ) soft bağlantısızdır ancak tersi doğru değildir. İspat: ve olsun. ve soft soft ayrık ve soft kapalı ise Teorem den soft bağlantısızdır. soft kümesi, iki soft bağlantısız soft kümelerin birleşimi şeklinde yazılabiliyorsa soft bağlantısızdır. Sonuç (Lin, 2013) (, ) soft topolojik uzayının soft bağlantılı olması için gerek ve yeter koşul soft kümesinin boş olmayan ayrık olmayan iki soft açığın birleşimi şeklinde yazılabilmesidir.

23 15 Teorem Eğer (, ) ve (, ) soft bağlantılı uzaylarsa soft bağlantılıdır. İspat: ve soft bağlantılı uzaylar olsun. soft bağlantılı ise ve olacak şekilde vardır. soft bağlantılı ise ve olacak şekilde vardır. Buradan; ve ve ve soft açıklardır. Buradan bağlantılıdır Soft Bağlantılı Alt Uzaylar Tanım (Varol ve Aygun, 2013) (, ) soft topolojik uzayı ve soft alt kümesi verilsin. Eğer (, ) soft alt uzayı bağlantılı ise, soft kümesine, (, ) soft uzayı içinde soft bağlantılı küme denir. Teorem (Varol ve Aygun, 2013) Bir (, ) soft topolojik uzayı verilsin. Bu taktirde bir soft alt kümesinin soft bağlantılı olması için gerek ve yeter şart,, şeklindeki her, soft açık kümeleri için, olmasıdır. İspat. soft kümesi soft bağlantılı olsun. Buradan,, şeklinde herhangi, soft açık kümelerini alalım. Varsayalım ki olsun. Kesişimin dağılma özelliğinden, olup, ve olduğundan sonuç olarak elde edilir. Teorem gereğince, (, ) soft alt uzayı soft bağlantılı değildir. Bu ise, (, ) soft alt uzayının soft bağlantılı olmasıyla çelişir. O halde olur.

24 16 soft açık kümeleri için,, ve olacak şekilde her, olsun. ve olduğundan, ve olur. Sonuç gereğince, (, ) soft alt uzayı soft bağlantılı bir uzaydır. O halde Tanım den soft kümesi soft bağlantılı bir kümedir. Teorem (, ) soft topolojik uzayı, boş olmayan, ayrık, soft açık ve soft alt kümelerinin birleşimine eşit olsun. soft kümesi, (, ) soft topolojik uzayının soft bağlantılı bir soft alt kümesi ise, ya ya da dir. İspat. Varsayalım ki ve olsun. ve soft kümeleri, (, ) soft topolojik uzayında soft açık olduklarından, ve olup, olduğundan, bulunur. olduğundan, elde edilir. Teorem gereği, (, ) soft alt uzayı soft bağlantılı değildir. Bu ise, soft kümesinin soft bağlantılı olmasıyla çelişir. O halde ya ve buradan olur ya da ve buradan olur. Teorem Boş kümeden farklı soft bağlantılı kümelerden oluşan bir soft ailenin arakesiti boş küme değilse, bu ailenin birleşimi de soft bağlantılıdır. İspat. (, ) soft topolojik uzayı verilsin. soft kümesi her için, soft bağlantılı alt kümelerinin birleşimi şeklinde olsun. Varsayalım ki, soft topolojik uzayı soft bağlantılı olmasın. Bu taktirde Teorem gereği soft kümesi boş küme olmayan, ayrık, soft açık herhangi ve soft alt kümelerinin birleşimi şeklindedir. Teorem gereğince, her için, ya ya da olur. Eğer için olduğundan, ve

25 17 olur. Bu ise, olmasıyla çelişir. Eğer için olduğundan, ve elde edilir ki bu da olmasıyla çelişir. O halde (, ) soft topolojik uzayı, soft bağlantılı bir uzaydır. Teorem (, ) soft topolojik uzayının soft bağlantılı olması için gerek ve yeter şart her soft eleman çiftini içeren soft bağlantılı bir soft kümenin varlığıdır. İspat. (, ) soft bağlantılı uzay olduğundan, her soft eleman çiftini içeren soft bağlantılı soft küme, soft kümesinin kendisidir. Sabir bir soft noktasını seçelim. Hipotezden, her soft noktası içini ve elemanlarını içeren bir soft bağlantılı soft alt kümeler ailesi vardır. ve olduğundan, Teorem gereğince (, ) soft topolojik uzayı soft bağlantılıdır. Önerme (, ) soft topolojik uzayı ve soft kümesi verilsin. soft kümesi (, ) soft topolojik uzayında her yerde yoğun ise boş kümeden farklı her soft açık soft kümesi için dir. İspat. ve olacak şekilde bir soft açık verilsin. Burada soft kümesinin en az bir soft noktası vardır. Ayrıca, ve her yerde yoğun tanımı gereğince elde edilir. Teorem Soft bağlantılı ve yoğun bir soft alt kümeye sahip olan her soft topolojik uzay soft bağlantılıdır. İspat. (, ) soft topolojik uzayının soft bağlantılı ve yoğun bir soft alt kümesi olsun. Varsayalım ki (, ) soft topolojik uzayı soft bağlantılı olmasın. Buradan Teorem gereği herhangi soft açık ve soft alt kümeleri vardır öyle ki ve (1)

26 18 yazılır. soft kümesi yoğun olduğundan Tanım gereği olur. (1) den bulunur. Buradan ve için ve ve yazılır. Böylece Teorem gereği (, ) soft bağlantısızdır. Bu ise soft kümesinin soft bağlantılı olmasıyla çelişir. Sonuç olarak (, ) soft bağlantılı bir uzaydır. Teorem (, ) soft topolojik uzayı ve bir soft alt kümesi verilsin. Bu taktirde şeklindeki her soft kümesi de soft bağlantılıdır. İspat. Varsayalım ki soft kümesi bağlantılı olmasın. Bu durumda Teorem gereği olacak şekilde boş kümeden farklı, ayrık ve soft açık ve soft alt kümeleri vardır. Teorem gereğince ya ya da olur. olsun. O halde yazılabilir. olduğundan olur. Teorem gereğince ve soft kümeleri soft bağlantılı iki küme değildir, yani; ve dir. Böylece, ve olduğundan olur. Bu ise, olmasıyla çelişir. olsun. O halde yazılabilir. olduğundan olur. Teorem gereğince ve soft kümeleri soft bağlantılı değildir, yani; ve dir. Böylece, ve olduğundan olur. Bu ise olmasıyla çelişir. O halde soft kümesi soft bağlantılıdır. Sonuç (, ) soft topolojik uzayı ve soft bağlantılı bir soft alt kümesi verilsin. Bu taktirde soft kümesi de soft bağlantılıdır. İspat. Teorem dan şeklinde her soft kümesi soft bağlantılıdır. olduğundan ve dolayısıyla

27 19 yazılabilir. soft kümesi soft bağlantılı ve olduğundan Teorem gereği soft kümesi de soft bağlantılıdır Bir Soft Uzayın Soft Bileşenleri Bu kısımda bir soft uzayın alt uzayları incelenerek en büyük soft alt uzayı ile uzayın yapısı incelenmiştir. Tanım (, ) soft topolojik uzayı ve soft bağlantılı bir soft alt kümesi verilsin. Eğer (, ) soft uzayını kapsayan daha büyük soft bağlantılı bir alt uzay yoksa, (, ) soft topolojik uzayına bir soft bileşen denir. Diğer bir ifadeyle, (, ) soft toolojik uzayının en büyük soft bağlantılı alt uzayına (, ) soft topolojik uzayın soft bileşeni denir. Tanım Bir (, ) soft topolojik uzayının bir soft noktasını içeren soft bileşenine noktasının soft bileşeni denir ve ile gösterilir. Teorem Bir (, ) soft topolojik uzayının her bir soft noktasını içeren bir ve yalnız bir soft bileşeni vardır. İspat. Her için soft kümesinin soft bağlantılı olduğu açıktır. O halde soft noktasını içeren soft bağlantılı kümeler ailesinin arakesiti boş küme değildir. Teorem gereğince bu ailenin birleşimi soft bağlantılıdır. Bu soft bağlantılı küme soft noktasını içeren en büyük soft bağlantılı küme olduğundan Tanım gereğince soft bileşen olacağından bu soft bileşen tektir. Gerçekten ve soft kümeleri soft noktasının soft bileşenleri ise soft kümesi soft noktasını içeren soft bağlantılı küme ve kümesi soft bileşen olduğundan Tanım3.4.1 gereğince yazılabilir. ile soft kümelerinin rollerini değiştirirsek olup elde edilir. Sonuç olarak aşağıdaki özellikler sağlanmış olur: 1. Bir (, ) soft topolojik uzayının her soft noktasının yalnızca bir bileşeni vardır. 2. Bir (, ) soft topolojik uzayının soft bileşenleri o uzayın bir ayrışımını oluşturur.

28 20 3. Bir (, ) soft topolojik uzayının soft bağlantılı her alt kümesi o uzayın bir soft alt bileşeni tarafından kapsanır. Teorem (, ) soft topolojik uzayı verilsin. Her için aynı soft bağlantılı alt kümeye ait olma bağıntısı bir denklik bağıntısıdır. İspat. şeklinde tanımlanan bağıntısının yansıma ve simetri özelliğini sağladığı açıktır. Şimdi geçişme özelliğini sağladığını gösterelim. Herhangi soft noktaları için, ve olsun. Bu durumda olacak şekilde bir ve olacak şekilde bir soft bağlantılı alt kümeleri vardır. olduğundan, Teorem gereğince soft kümesi de soft bağlantılıdır. Ayrıca olur. O halde olur. Böylece bağıntısı bir denklik bağıntısıdır. Sonuç Bir soft topolojik uzayın, Teorem deki denklik bağıntısına göre denklik sınıfları bu uzayın soft bileşenlerini oluşturur. Teorem Bir soft topolojik uzayın tüm soft bileşenleri soft uzayın bir soft ayrışımını oluşturur. Ayrıca soft uzayın herhangi bir soft bağlantılı alt kümesi soft uzayın soft bileşenlerinden yalnızca biri tarafından kapsanır. İspat. Bir (, ) soft topolojik uzayının soft bileşenleri, soft uzayın denklik sınıfları olduğundan, herhangi iki denklik sınıfı ya aynıdır ya da ayrık iki kümedir ve bu denklik sınıflarının birleşiminin soft kümesine eşit olduğu açıktır. Dolayısıyla (, ) soft uzayının tüm bileşenleri uzayın bir ayrışımını oluşturur. (, ) soft topolojik uzayının herhangi bir soft bağlantılı soft alt kümesini ele alalım. Önce soft alt kümesinin (, ) soft uzayının soft bileşenlerinden sadece biri ile kesiştiğini gösterelim. Varsayalım ki soft kümesi (, ) soft uzayının ve gibi iki soft bileşeni ile kesişsin. ve olsun. olduğundan olur ve bu soft noktalar aynı soft bağlantılı soft kümesine ait olduğundan Teorem gereğince, bulunur. O halde Tanım gereğince olur. Şimdi soft bağlantılı alt kümesinin (, ) soft uzayının soft bileşenlerinden yalnızca biri tarafından kapsandığını gösterelim. soft

29 21 noktasını alalım. (, ) soft uzayının soft bileşenleri soft uzayın bir ayrışımını oluşturduğundan, soft noktası bu soft bileşenlerden yalnızca birine aittir. Bu soft bileşeni ile gösterelim. soft kümesinin diğer soft noktaları da aynı soft bileşenine aittir, aksi taktirde soft kümesi sadece bir soft bileşenle kesişmemiş olurdu. Sonuç olarak, elde edilir. Teorem Bir soft topolojik uzayın soft bileşenleri soft kapalıdır. İspat. (, ) soft uzayının bir soft bileşeni soft kümesi ise Tanım gereğince soft kümesi soft bağlantılı bir kümedir. Sonuç gereğince soft kümesi de soft bağlantılıdır. soft kümesi (, ) soft uzayının en büyük soft bağlantılı alt kümesi olduğundan bulunur. Diğer taraftan, olup, elde edilir. Böylece soft kümesi soft kapalıdır. Sonuç Bir (, ) soft topolojik uzayını herhangi iki soft bileşeni soft bağlantılı olmayan iki soft kümedir. İspat. (, ) soft uzayının herhangi ve soft bileşenleri verilsin. Bu soft bileşenler Teorem gereğince ayrık iki soft kümedir ve Teorem gereğince soft kapalı kümelerdir. Teorem gereğince bulunur. O halde ve soft kümeleri soft bağlantılı olmayan iki kümedir Tamamen Soft Bağlantısız Uzaylar Tanım (, ) soft uzayının her ve soft noktaları için ve olacak şekilde soft bağlantısızlığı varsa (, ) soft uzayına tamamen soft bağlantısız uzay denir. Teorem Bir soft topolojik uzayın tamamen soft bağlantısız olması için gerek ve yeter şart bu soft uzayın soft bileşenlerinin tek elemanlı soft kümeler olmasıdır.

30 22 İspat. (, ) soft topolojik uzayı tamamen soft bağlantısız olsun. Varsayalım ki, (, ) soft uzayının bir soft bileşeni birden çok soft noktayı içersin. Bu durumda soft noktalarını alalım. (, ) soft uzayı tamamen soft bağlantısız olduğundan Tanım gereği, ve olacak şekilde soft bağlantısızlığı vardır. Ayrıca,, ve olduğundan Teorem gereğince soft kümesi soft bağlantılı değildir. Bu ise Tanım gereği soft kümesinin soft bileşen olmasıyla çelişir. O halde soft bileşeni yalnızca tek soft nokta içerir. (, ) soft tolopojik uzayının soft bileşenleri tek elemanlı soft kümeler olsun. (, ) soft uzayının soft bileşenleri (, ) soft uzayının en büyük soft bağlantılı kümeleri olduğundan her soft noktaları için ve olacak şekilde soft bağlantısızlığı vardır. O halde Tanım gereğince (, ) soft uzayı tamamen soft bağlantısızdır. Tanım (, ) soft topolojik uzayı ve bir soft alt kümesi verilsin. Eğer (, ) soft alt uzayı tamamen soft bağlantısız ise soft kümesine tamamen soft bağlantısız küme denir Lokal Soft Bağlantılı Uzaylar Tanım (, ) soft topolojik uzayı verilsin. Eğer her soft noktasının (, ) soft uzayında soft bağlantılı kümelerden oluşan bir komşuluk tabanı varsa (, ) soft uzayına lokal soft bağlantılı uzay denir. Uyarı (, ) soft topolojik uzayının lokal soft bağlantılı olması için gerek ve yeter şart her soft noktası ve her soft komşuluğu için olacak şekilde soft bağlantılı soft açık bir soft komşuluğunun olmasıdır. Teorem (, ) soft uzayının lokal soft bağlantılı olması için gerek ve yeter şart (, ) soft uzayının her soft açık alt uzayındaki her soft bileşeninin (, ) soft uzayında soft açık olmasıdır.

31 23 İspat. (, ) soft uzayı lokal soft bağlantılı, soft açık bir alt küme ve soft kümesi, (, ) soft alt uzayında bir soft bileşen olsun. soft noktasını ele alalım. (, ) soft uzayı lokal soft bağlantılı olduğundan, Uyarı gereğince olacak şekilde soft bağlantılı bir soft açık komşuluğu vardır. Böylece soft açık kümesi (, ) soft alt uzayında soft noktasını içeren soft bağlantılı bir kümedir. Diğer taraftan, soft kümesi (, ) soft alt uzayında soft bileşen olduğundan, Tanım gereğince olur. Soft iç nokta tanımı gereği elde edilir. Böylece olur. olduğundan yazılabilir. Sonuç olarak soft bileşeni soft açıktır. (, ) soft topolojik uzayında soft açık bir (, ) soft alt uzayının her soft soft bileşeni soft açık iken (, ) soft uzayının lokal soft bağlantılı olduğunu gösterelim. (, ) soft açık alt uzayına göre soft noktasını içeren soft bileşeni soft açıktır. soft bileşeni soft açık olup Uyarı gereğince (, ) soft topolojik uzayı lokal soft bağlantılıdır. Sonuç Lokal soft bağlantılı bir soft uzayın soft bileşenleri hem soft açık hem soft kapalıdır. İspat. (, ) soft topolojik uzayı lokal soft bağlantılı olsun. Eğer soft kümesi (, ) soft uzayının bir soft bileşeni ise Teorem gereğince soft bileşeni soft açıktır. Diğer taraftan, Teorem gereğince soft bileşeni kapalıdır. Sonuç (, ) soft topolojik uzayı kompakt ve lokal soft bağlantılı ise bu uzayın soft bileşenlerin sayısı sonludur. İspat. Kompakt ve lokal soft bağlantılı bir (, ) soft uzayın tüm soft bileşenleri, bu uzayın bir ayrışımını oluşturduğundan ve soft bileşenler soft açık olduğundan soft kümesinin bir soft açık örtüsü elde edilir. (, ) soft topolojik uzayı kompakt uzay olduğunda bu ayrık soft açık örtünün sonlu bir soft açık alt örtüsü vardır. O halde (, ) soft topolojik uzayının bileşenlerinin sayısı sonludur.

32 24 KAYNAKLAR Ahmad, B. ve Hussain, S., 2012, On some structures of soft topology, Mathematical Sciences, 6 (1), 1-7. Atanassov, K. T., 1986, Intuitionistic fuzzy sets, Fuzzy sets and Systems, 20 (1), Atanassov, K. T., 1994, Operators over interval valued intuitionistic fuzzy sets, Fuzzy sets and Systems, 64 (2), Aygünoğlu, A. ve Aygün, H., 2012, Some notes on soft topological spaces, Neural computing and Applications, 21 (1), Çağman, N., Karataş, S. ve Enginoglu, S., 2011, Soft topology, Computers & Mathematics with Applications, 62 (1), Gau, W.-L. ve Buehrer, D. J., 1993, Vague sets, IEEE transactions on systems, man, and cybernetics, 23 (2), Gorzałczany, M. B., 1987, A method of inference in approximate reasoning based on interval-valued fuzzy sets, Fuzzy sets and Systems, 21 (1), Lin, F., 2013, Soft connected spaces and soft paracompact spaces, World Academy of Science, Engineering and Technology, International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering, 7 (2), Maji, P., Roy, A. R. ve Biswas, R., 2002, An application of soft sets in a decision making problem, Computers & Mathematics with Applications, 44 (8), Maji, P., Biswas, R. ve Roy, A., 2003, Soft set theory, Computers & Mathematics with Applications, 45 (4), Molodtsov, D., 1999, Soft set theory first results, Computers & Mathematics with Applications, 37 (4), Molodtsov, D., Leonov, V. Y. ve Kovkov, D., 2006, Soft sets technique and its application. Pawlak, Z., 1982, Rough sets, International Journal of Computer & Information Sciences, 11 (5), Shabir, M. ve Naz, M., 2011, On soft topological spaces, Computers & Mathematics with Applications, 61 (7), Varol, B. P. ve Aygun, H., 2013, On soft Hausdorff spaces, Annals of Fuzzy Mathematics and Informatics, 5 (1), Yüksel, Ş., 2008, Genel Topoloji, Eğitim Kitabevi. Zadeh, L. A., 1965, Fuzzy sets, Information and control, 8 (3),

33 25 ÖZGEÇMİŞ KİŞİSEL BİLGİLER Adı Soyadı : Büşra AYDIN Uyruğu : T.C. Doğum Yeri ve Tarihi : Van Telefon : 0(536) Faks : buaydin90@gmail.com EĞİTİM Derece Adı, İlçe, İl Bitirme Yılı Lise : Güventaş Lisesi, Selçuklu,Konya 2007 Üniversite : Yüksek Lisans : Doktora : - Afyon Kocatepe Üni. Matematik Böl., Afyon Selçuk Üni. Tıbbi Lab. Teknikleri, Konya ODTÜ, Moleküler Biyoloji, Ankara Selçuk Üniv. Matematik Anabilimdalı, Konya Selçuk Üniv. Tıbbi Lab. Anabilimdalı, Konya Devam Devam Devam YABANCI DİLLER: İngilizce YAYINLAR 1. Soft Bileşen ve Soft Lokal Bağlantılı Uzaylar; YYÜ Fen Bil. Ens. Der., 2016, accepted.