4. SOFT ?-SÜREKLĠ DÖNÜġÜMLER
4.1. Soft
Tanım 4.1.1 (Bayramov, Aras, 2013) (F, E), X üzerinde bir soft küme olsun. Eğer her
eE için, F(e) = {x} ve her e ' E - {e} için, F( e ' ) = ∅ ise; (F, E) ye, soft nokta denir ve (xe, E) şeklinde tanımlanır.
Şimdi soft 𝛽-açık kümeleri kullanarak soft 𝛽-süreklilik kavramını tanımlayalım.
Tanım 4.1.2 (Yumak, Kaymakcı, 2013) (X, τ, E) ve (Y, τ ', E) iki soft topolojik uzay olsunlar. Bir f : (X, τ, E) (Y, τ ' , E) fonksiyonu;
(i) (Mahanta, Das, 2012) eğer (Y, τ ' , E) de ki her (G, E) soft açık kümesi için,
1
f (G, E), (X, τ, E) de bir soft semi-açık küme ise; soft semi-sürekli olarak,
(ii) eğer (Y, τ ' , E) de ki her (G, E) soft açık kümesi için, f1(G, E), (X, τ, E) de
bir soft pre-açık küme ise; soft pre-sürekli olarak,
(iii) eğer (Y, τ ' , E) de ki her (G, E) soft açık kümesi için, f1(G, E), (X, τ, E)
de bir soft α -açık küme ise; soft α -sürekli olarak,
(iv) eğer (Y, τ ' , E) de ki her (G, E) soft açık kümesi için, f1(G, E), (X, τ, E) de
bir soft 𝛽-açık küme ise; soft 𝛽-sürekli olarak,
(v) eğer (Y, τ ' , E) de ki her (G, E) soft 𝛽-açık kümesi için, 1
f (G, E), (X, τ, E)
de bir soft 𝛽-açık küme ise; soft 𝛽-irresolute olarak, adlandırılır.
Soft 𝛽-sürekli fonksiyonların sınıfı, soft semi-sürekli ve soft pre-sürekli fonksiyonların kümesini içerir.
Soft sürekliliğin diğer türleri ve bunlar arasındaki ilişki aşağıdaki tabloda verilmiştir.
Soft süreklilik Soft α-süreklilik Soft semi-süreklilik (1)
Soft pre-süreklilik (2) Soft 𝛽-süreklilik
Aşağıdaki örneklerde, (1) ve (2) gerektirmelerinin terslerinin genelde doğru olmadığı gösterilmiştir.
Örnek 4.1.1 (Yumak, Kaymakcı, 2013) X = Y = {x1, x2, x3}, E = {e1, e2} olarak
verilsin. Ayrıca X üzerinde soft ayrık olmayan topoloji ve Y üzerinde de soft ayrık topoloji tanımlansın. Eğer ,
f (x1) = x2, f (x2) = x1, f (x3) = x3
olacak şeklide f : (X, τ, E) (Y, τ ' , E) fonksiyonu tanımlanırsa; bu durumda, f bir soft 𝛽-sürekli fonksiyon fakat, f bir soft semi-sürekli fonksiyon değildir.
Örnek 4.1.2 (Yumak, Kaymakcı, 2013) X = Y = {x1, x2, x3}, E = {e1, e2} olarak
verilsin. Bu durumda F1(e1) = {x1} F1(e2) = {x1} F2(e1) = {x2} F2(e2) = {x2} F3(e1) = {x1, x2} F3(e2) = {x1, x2} ve G1(e1) = {x1} G1(e2) = {x1} G2(e1) = {x1, x2} G2(e2) = {x1, x2}
şeklinde tanımlanan soft kümeler için,
τ {Φ, Χ , (F1, E), (F2, E), (F3, E)} ve τ ' {Φ, Y , (G1, E), (G2, E)} aileleri, sırasıyla;
X ve Y üzerinde bir soft topoloji oluştururlar. Eğer,
f (x1) x2, f (x2) x3, f (x3) x2
olacak şeklide f : (X, τ, E) (Y, τ ' , E) fonksiyonunu alırsak; bu durumda, f, bir soft 𝛽-sürekli fonksiyondur, fakat; f bir soft pre-sürekli fonksiyon değildir. Çünkü
1
Şimdi soft 𝛽-sürekliliğin bazı karakterizasyonlarını verelim.
Teorem 4.1.2 (Yumak, Kaymakcı, 2013) f : (X, τ, E) (Y, τ ' , E) bir soft fonksiyon olsun. Bu durumda aşağıdakiler eşdeğerdir.
(i) f, soft 𝛽-süreklidir.
(ii) X üzerindeki her bir (xe, E) soft noktası ve f (xe, E) = (f (xe), E) yi içeren Y
de ki her bir (G, E) soft açık kümesi için, f (F, E) (G, E) olacak şekilde X üzerinde (xe, E) yi içeren bir (F, E) soft 𝛽-açık kümesi vardır.
(iii) Y deki her bir soft kapalı kümenin ters görüntüsü, X de soft 𝛽-kapalıdır.
(iv) Y deki her bir (G, E) soft kümesi için,
f1(G, E)
– f1
(G, E)–
dir.(v) X deki her bir (F, E) soft kümesi için, f
(F, E) –
f(F, E)
– dir.Ġspat.
(i) (ii) f (xe, E) = (f (xe), E) yi içeren (G, E) Y soft açık küme olduğundan,
1 (G, E)
f S𝛽-O(X) dir. f1(G, E) = (F, E) soft𝛽-açık kümesi, (xe, E) yi içerir ve
böylece; f (F, E) (G, E) dir.
(i) (iii) (G, E) S.C(Y) olsun. Bu durumda;
Y (G, E)
S.O(Y) dir.f , soft𝛽- sürekli olduğundan; 1
Y (G, E)f S𝛽-O(X) dir. Böylece;
1
X f (G, E) S𝛽-O(X) elde edilir. Bu durumda; f1(G, E) S𝛽-C(X) yazılır.
(iii) (iv) (G, E), Y üzerinde bir soft küme olsun. Bu durumda;
1 – (G, E) f S𝛽-C(X) dir. O halde;
1 – (G, E) f
f1
(G, E)–
–
f1(G, E)
– (iv) (v) (F, E), X üzerinde bir soft küme ve f(F, E) = (G, E) olsun. Bu durumda; (iv) e göre,
1
–(F, E)
f f f1
f(F, E)
–
(F, E) – f1
f(F, E)
–
f
(F, E) –
f(F, E)
–(v) (i) (G, E) S.O(Y), (H, E) = Y (G, E) ve (F, E) = f1(H, E) olsun. (v) e göre; f
f1(H, E)
–
f
f1(H, E)
– (H, E) = (H, E) dir. Böylece, –
1
– (H, E)f f1(H, E) dir. Bu durumda; f1(H, E) S.𝛽.C(X) dir. O halde; (iii) e göre, f soft 𝛽-sürekli fonksiyondur.
Uyarı 4.1.1 (Yumak, Kaymakcı, 2013) İki soft 𝛽-sürekli fonksiyonun bileşkesinin soft
𝛽-sürekli olması gerekmez. Bu durum aşağıdaki örnekle gösterilmiştir.
Örnek 4.1.3 (Yumak, Kaymakcı, 2013) X = Z = {x1, x2, x3}, Y = {x1, x2, x3, x4} ve
E = {e1, e2} olarak verilsin. Bu durumda
F(e1) = {x1} F(e2) = {x1}
G(e1) = {x1, x3} G(e2) = {x1, x3}
ve
H1(e1) = {x3} H1(e2) = {x3}
H2(e1) = {x1, x2} H2(e2) = {x1, x2}
şeklinde tanımlanan soft kümeler için,
τ = {Φ, Χ , (F, E)}, τ ' = {Φ, Y , (G, E)} ve τ '' = {Φ, Z , (H1, E), (H2, E)}aileleri,
sırasıyla; X, Y ve Z üzerinde bir soft topoloji oluştururlar. Şimdi, I : (X, τ, E) ⟶ (Y, τ ', E) birim fonksiyonunu ve
f (x1) = x1, f (x2) = f (x4) = x2, f (x3) = x3
olacak şeklide f : (Y, τ ' , E) ⟶ (Z, τ '' , E) fonksiyonunu alalım. I ve f fonksiyonlarının her biri, soft 𝛽-sürekli fonksiyondur fakat; f o I fonksiyonu, soft 𝛽-sürekli değildir. Çünkü (f o I)-1
Tanım 4.1.3 (Yumak, Kaymakcı, 2013) Eğer f : (X, τ, E) ⟶ (Y, τ ' , E) fonksiyonu,
soft 𝛽-sürekli(soft 𝛽-irresolute) birebir, örten ve f -1: (Y, τ ' , E) ⟶ (X, τ, E) fonksiyonu da, bir soft 𝛽-sürekli(soft 𝛽-irresolute) ise; f, soft 𝛽-homeomorfizm(soft 𝛽r- homeomorfizm) olarak isimlendirilir.
Şimdi biz (Y, τ ' , E) soft uzayı yerine, (X, τ, E) soft uzayını alarak aşağıdaki tanımı verebiliriz.
Tanım 4.1.4 (Yumak, Kaymakcı, 2013) Bir (X, τ, E) soft topolojik uzayı için, aşağıdaki
iki fonksiyon kümesini tanımlayalım:
S𝛽-h(X, τ, E) = { f | f : (X, τ, E) ⟶ (X, τ, E) soft 𝛽-sürekli birebir örten,
f -1: (X, τ, E) ⟶ (X, τ, E) fonksiyonu da bir soft 𝛽-sürekli}
S𝛽r-h(X, τ, E) = { f | f : (X, τ, E) ⟶ (X, τ, E) soft 𝛽-irresolute birebir örten,
f -1: (X, τ, E) ⟶ (X, τ, E) fonksiyonu da bir soft 𝛽-irresolute}
Teorem 4.1.3 (Yumak, Kaymakcı, 2013) Bir (X, τ, E) soft topolojik uzayı için,
S-h(X, τ, E) S𝛽r-h(X, τ, E) S𝛽-h(X, τ, E)
dir. Burada
S-h(X, τ, E) ={ f | f : (X, τ, E) ⟶ (X, τ, E) soft-homeomorfizm} dır.
Ġspat. İlk olarak; her f : (X, τ, E) ⟶ (Y, τ ' , E) soft homeomorfizminin
soft 𝛽r-homeomorfizm olduğunu gösterelim. (G, E)S.𝛽.O(Y) olsun. Bu durumda; (G, E) (G, E)– – dir. Böylece; f1(G, E) f1
(G, E)– –
=
f1(G, E)
– – yazılabilir, bu durumda; 1(G, E)
f S.𝛽.O(X) elde edilir. O halde; f , soft 𝛽-irresolute fonksiyondur. Benzer yöntemle; 1
f fonksiyonun da, soft 𝛽-irresolute olduğu gösterilebilir. O halde; S-h(X, τ, E) S𝛽r-h(X, τ, E) olduğu gösterilmiş olur.
Son olarak, S𝛽r-h(X, τ, E) S𝛽-h(X, τ, E) dir çünkü; her soft 𝛽-irresolute
Teorem 4.1.4 (Yumak, Kaymakcı, 2013) Bir (X, τ, E) soft topolojik uzayı için,
S𝛽r-h(X, τ, E) kümesi fonksiyonların bileşkesi işlemi altında bir grup oluşturur.
Ġspat. Eğer f : (X, τ, E) ⟶ (Y, τ ' , E) ve g : (Y, τ ' , E) ⟶ (Z, τ '' , E), iki
soft 𝛽r-homeomorfizm ise, bu durumda bunların bileşkesi olan
gof : (X, τ, E)⟶ (Z, τ '' , E) fonksiyonu da, soft 𝛽r-homeomorfizmdir. Açıktır ki;
f : (X, τ, E) ⟶ (Y, τ ' , E) bir soft 𝛽r-homeomorfizmi için,
f -1: (Y, τ ' , E) ⟶ (X, τ, E) ve 1 : (X, τ, E) ⟶ (X, τ, E) birim fonksiyonu da, soft 𝛽r-homeomorfizmdir. g, h S𝛽r-h(X, τ, E) ve (h o g) de, g ile h nin bileşke
fonksiyonu olmak üzere;
α : S𝛽r-h(X, τ, E) S𝛽r-h(X, τ, E) → S𝛽r-h(X, τ, E), α ( g, h) = h o g
şeklindeki ikili işlem, iyi tanımlıdır. Yukarıdaki özellikler yardımıyla, S𝛽r-h(X, τ, E)
kümesinin, fonksiyonların bileşkesi işlemi altında bir grup oluşturduğu görülür.
Teorem 4.1.5 (Yumak, Kaymakcı, 2013) Bir (X, τ, E) soft topolojik uzayı üzerindeki
tüm soft homeomorfizmlerin kümesi olan S-h(X, τ, E) grubu, S𝛽r-h(X, τ, E) grubunun
bir alt grubudur.
Ġspat. Herhangi g, h S-h(X, τ, E) için, α (g, h-1
) = h-1o g S-h(X, τ, E) ve
1X S-h(X, τ, E) ∅ şeklindedir. Bu durumda 4.1.3 Teorem ve 4.1.4 Teorem
kullanılarak S-h(X, τ, E) nin, S𝛽r-h(X, τ, E) grubunun bir alt grubu olduğu kolaylıkla
görülebilir.
Bir (X, τ, E) soft topolojik uzayı için, eğer (X, τ, E) (Y, τ ' , E) homeomorfizmi varsa; bu durumda, S𝛽r-h(X, τ, E) S𝛽r-h(X, τ, E) grup izomorfizması
vardır.
Sonuç 4.1.1 (Yumak, Kaymakcı, 2013) f : (X, τ, E) ⟶ (Y, τ ', E) ve
g : (Y, τ ' , E) ⟶ (Z, τ '' , E) şeklinde iki fonksiyon olsun.
(i) f : (X, τ, E) ⟶ (Y, τ ' , E) bir soft 𝛽r-homeomorfizm olsun. Bu durumda; herhangi bir gS𝛽r-h(X, τ, E) için f(g) = f o g o f -1 şeklinde tanımlanan bir
(ii) f : (X, τ, E) ⟶ (Y, τ ' , E) ve g : (Y, τ ' , E) ⟶ (Z, τ '' , E) iki soft 𝛽r-homeomorfizmi için, (gof)=g of : S𝛽r-h(X, τ, E) ⟶ S𝛽r-(Z, τ '' , E)
fonksiyonu sağlanır.
(iii) 1X : (X, τ, E) ⟶ (X, τ, E) birim fonksiyonu için,
(1 )X = 1 : S𝛽r-h(X, τ, E) ⟶ S𝛽r-h(X, τ, E) fonksiyonu sağlanır. Burada 1, birim
izomorfizmayı tanımlar.
5. SONUÇ VE ÖNERĠLER
5.1. Sonuçlar
Bu tez çalışmasında, ilk olarak; soft küme ve soft topoloji hakkında literatürde yer alan ve özellikle bizim çalışmalarımızda yardımcı olacak kavramlar gösterilmiş ve bunların daha iyi anlaşılması için çeşitli örnekler verilmiştir. Daha sonra, tezimizin temel konusu olan soft beta açık küme kavramı verilip, bu kavramla diğer soft açık küme çeşitleri arasındaki ilişkiler incelenmiştir.
Son bölümde ise, soft beta-sürekli fonksiyon ve soft beta-irresolute fonksiyon kavramı verilmiş ve soft beta-sürekli fonksiyonun diğer soft süreklilik çeşitleriyle olan ilişkileri gösterilmiştir. Ayrıca; soft beta-homeomorfizm ve soft beta irresolute- homeomorfizm kavramları tanımlanıp, aynı soft topolojik uzaylar arasında tanımlanan tüm soft beta irresolute-homeomorfizma fonksiyonların kümesinin fonksiyonların bileşke işlemi altında bir grup oluşturduğu gösterilmiştir.
5.2. Öneriler
Çalışmamızda; soft beta-açık kümelerle alakalı bazı yeni karakterizasyonlar ve süreklilikle ilgili çalışmalar yapılmıştır. Yine aynı küme çeşidi kullanılarak genel topolojide mevcut olan bağlantılılık, kompaktlık, ayırma aksiyomları gibi konular üzerine çalışılabilir.
KAYNAKLAR
Andrijević, D., Ganster, M., 1987, A note on the topology generated by preopen sets, Math. Vesnik, 39, 115-119.
Andrijević, D., 1987, On the topology generated by preopen sets, Math. Vesnik, 39, 367-376.
Aktaş, H., Çağman, N., 2007, Soft sets and soft group, Information Science, 177, 2726- 2735.
Ali, M. I., Feng, X.Y., Liu, W.K., Shabir, M., 2009, On some new operations in soft set theory, Computers and Mathematics with Applications,, 57, 1547-1553.
Arockiarani, I., Lancy, A. A., 2013, Generalized soft g β-closed sets and soft gsβ-closed sets in soft topological spaces, International Journal of Math. Archive, 4, 1-7. Bashir, A., Sabir, H., 2012, On some structures of soft topology, Ahmad and Hussain
Mathematical Sciences, 62, 64.
Bayramov, S., Aras, C. G, 2013, Soft locally compact and soft paracompact spaces, Journal of Mathematics and System Science, 3, 122-130.
Chen, B., 2013, Some local properties of soft semi-open sets, Discrete Dynamics in Nature and Society, Article ID 298032, 6.
Chen, B., 2013, Soft semi-open sets and related properties in soft topological spaces, Applied Mathematics and Information Sciences, 7, 287-294.
Çağman, N., Karataş, S., Enginoğlu, S., 2011, Soft topology, Comput. and Math with Appl, 62.1, 351-358.
El-Deeb, N., Hasanein, I.A., Mashhour, A.S, Noiri, T., 1983, On p-regular spaces, Bull. Math. ,4, 311-315.
Feng, F., Jun, Y.B., Zhao, X.Z., 2008, Soft semirings, Computers and Mathematics with Applications, 56, 2621-2628.
Kannan, K., 2012, Soft generalized closed sets in soft topological spaces, Journal of Theoretical and Applied Information Tecnology, 37(1).
Mashhour, A.S., Abd El- Monsef, M.E., El-Deep, S.N., 1982, On precontinuous and weak precontinuous, Proc. Math. Phys. Soc. Egypt. Vol. 53, 47-53.
Mashhour, A.S., Abd El- Monsef, M.E., Hasanein, I.A., 1984, On pretopological spaces, Bull. Math., 76, 39-45.
Molodtsov, D., 1999, Soft set theory-First results, Computers and Mathematics with Applications, 37, 19-31.
Maji, P. K., Biswas, R., Roy, A. R., 2003, Soft set theory, Computers and Mathematics with Applications, 45, 555-562.
Mahanta, J., Das, P. K., 2012, On soft topological space via semiopen and semiclosed soft sets, arXiv: 1203.4133.
Navalagi, G.B., 1998, Pre-neighbourhoods, Mathematics Education-India, 32, 201-206. Pie, D., Miao, D., 2005, From soft sets to information systems, Granular computing,
IEEE Inter. Conf., 2, 617-621.
Stine, J., Mielke, M.V., 2008, Pre-hausdorff spaces, arXiv preprint arXiv, 1175.
Shabir, M., Ali, M.I., 2009, Soft ideals and generalized fuzzy ideals in semigrups, New Math. Nat. Comput., 5, 599-615.
Sabir, H., Bashir, A., 2011, Some properties of soft topological spaces, Computers and Mathematics with Applications, 62, 4058-4067.
Shabir, M., Naz, M., 2011, On soft topological spaces, Computers and Mathematics with Applications, 61, 1786-1799.
Yumak, Y., Kaymakcı, A.K., 2013, Soft beta open sets and their applications, arXiv:1312.6964v1.
Zou, Y., Xiao, Z., 2008, Data analysis approaches of soft sets under incomplete information, Knowl.-Based Syst., 21, 941-945.
ÖZGEÇMĠġ KĠġĠSEL BĠLGĠLER
Adı Soyadı : Yunus YUMAK
Uyruğu : T.C
Doğum Yeri ve Tarihi : Ereğli / 25.02.1981
Telefon : 05055679593
Faks : -
e-mail : yunusyumak@selcuk.edu.tr
EĞĠTĠM
Derece Adı Ġlçe Ġl Bitirme Yılı
Lise Ereğli Lisesi Ereğli Konya 1998 Üniversite Atatürk Yakutiye Erzurum 2003 Tezsiz Yüksek
Lisans Atatürk Yakutiye Erzurum 2005
Ġġ DENEYĠMLERĠ
Yıl Kurum Görevi
2010-2012 Muş Alparslan Üniversitesi Araştırma Görevlisi
2012- Selçuk Üniversitesi Araştırma Görevlisi
UZMANLIK ALANI: Topoloji YABANCI DĠLLER: Ġngilizce ÇALIġMALAR
1. Y. Yumak, A. K. Kaymakcı, 2013, Soft beta open sets and their applications,
"The 2nd Abu Dhabi University Annual International Conference" Abu Dhabi,