FUZZY RIESZ UZAYLARI Ercan TAŞ YÜKSEK LİSANS TEZİ MATEMATİK GAZİ ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ TEMMUZ 2013 ANKARA Ercan TAŞ tarafından hazırlanan FUZZY RIESZ UZAYLARI adlı bu tezin Yüksek Lisans tezi olarak uygun olduğunu onaylarım. Doç. Dr. Cüneyt ÇEVİK ………………………………………… Tez Danışmanı, Matematik Anabilim Dalı Bu çalışma, jürimiz tarafından oy birliği ile Matematik Anabilim Dalında Yüksek Lisans tezi olarak kabul edilmiştir. Prof. Dr. Cemil YILDIZ ………………………………………… Matematik Anabilim Dalı, Gazi Üniversitesi Doç. Dr. Cüneyt ÇEVİK ………………………………………… Matematik Anabilim Dalı, Gazi Üniversitesi Doç. Dr. İbrahim BÜYÜKYAZICI ………………………………………… Matematik Anabilim Dalı, Ankara Üniversitesi Tez Savunma Tarihi: 17 / 07 / 2013 Bu tez ile G.Ü. Fen Bilimleri Enstitüsü Yönetim Kurulu Yüksek Lisans derecesini onamıştır. Prof. Dr. Şeref SAĞIROĞLU Fen Bilimleri Enstitüsü Müdürü ………………………………………… TEZ BİLDİRİMİ Tez içindeki bütün bilgilerin etik davranış ve akademik kurallar çerçevesinde elde edilerek sunulduğunu, ayrıca tez yazım kurallarına uygun olarak hazırlanan bu çalışmada orijinal olmayan her türlü kaynağa eksiksiz atıf yapıldığını bildiririm. Ercan TAŞ iv FUZZY RIESZ UZAYLARI (Yüksek Lisans Tezi) Ercan TAŞ GAZİ ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ Temmuz 2013 ÖZET Bu tezin amacı fuzzy sıralı vektör uzayları ve fuzzy Riesz uzaylarını incelemektir. Fuzzy kümeler üzerindeki sıra yapısıyla ilgili kavramlar ve konular ele alınmış ve örneklerle açıklanmıştır. Bilim Kodu : 204.1.095 Anahtar Kelimeler : Fuzzy küme, fuzzy topoloji, fuzzy süreklilik, fuzzy sıralı vektör uzayı, fuzzy Riesz uzayı Sayfa Adedi : 64 Tez Yöneticisi : Doç. Dr. Cüneyt ÇEVİK v FUZZY RIESZ SPACES (M.Sc. Thesis) Ercan TAŞ GAZİ UNIVERSITY GRADUATE SCHOOL OF NATURAL AND APPLIED SCIENCES July 2013 ABSTRACT The aim of this thesis is to examine fuzzy ordered vector spaces and fuzzy Riesz spaces. The related concepts and subjects of the order structure on fuzzy sets are discussed and illustrated by examples. Science Code : 204.1.095 Key Words : Fuzzy set, fuzzy topology, fuzzy continuity, fuzzy ordered space, fuzzy Riesz space Page Number : 64 Adviser : Doç. Dr. Cüneyt ÇEVİK vi TEŞEKKÜR Çalışmalarım boyunca değerli yardım ve katkılarıyla beni yönlendiren, yanlışa düştüğümde bana doğru yolu gösteren Sayın Hocam Doç. Dr. Cüneyt ÇEVİK’e, beni en başından beri her zaman cesaretlendiren ve desteklerini bir an dahi olsun benden esirgemeyen eşim ve kızım Sevay TAŞ ve A.Berra TAŞ’ a teşekkürü bir borç bilirim. vii İÇİNDEKİLER Sayfa ÖZET………………………………………………………………………............ iv ABSTRACT……………………………………………………………………….. v TEŞEKKÜR…………………………………………………………………........... vi İÇİNDEKİLER……………………………………………………………………. vii SİMGELER VE KISALTMALAR………………………..……………………... viii 1. GİRİŞ……………………………………………………………………………. 1 2. TEMEL KAVRAMLAR………………………………………………………… 3 2.1. Riesz Uzayları ve Sıra Sınırlı Operatörler…………………………………... 3 2.2. Fuzzy Kümeler……………………………………………………………… 7 2.3. Fuzzy Topolojik Uzaylar ……………………………………………………14 2.4. Fuzzy Sürekli Fonksiyonlar …………………………………..……………. 20 3. FUZZY SIRA BAĞINTILARI VE FUZZY RIESZ UZAYLARI…………… 31 3.1. Fuzzy Sıralı Kümeler……………………………………………………….. 31 3.2. Fuzzy Sıralı Vektör Uzayları……………………………………………….. 36 3.3. Fuzzy Riesz Uzayları……………………………………………………….. 49 4. SONUÇ VE ÖNERİLER………………………………………………………. 62 KAYNAKLAR…………………………………………………………….……… 63 ÖZGEÇMİŞ……………………………………………………………….………. 64 viii SİMGELER VE KISALTMALAR Bu çalışmada kullanılmış bazı simge ve kısaltmalar, açıklamalar ile aşağıda sunulmuştur. Simgeler Açıklama x+ x in pozitif kısmı x− x in negatif kısmı x⊥ y x diktir y xn ↑ ( xn ) artan dizi xn ↓ ( xn ) azalan dizi IX X den I birim aralığına tanımlanan fonksiyonların kümesi τ fuzzy topoloji A A fuzzy kümesinin içi A A fuzzy kümesinin kapanışı Ac A fuzzy kümesinin tümleyeni ( X ,τ ) fuzzy topolojik uzayı U ( A) A nın üst sınırı L( A) A nın alt sınırı 1 1. GİRİŞ Cantor tarafından 1879 yılında yapılan küme tanımının ardından matematikte incelenen her konuda kesinlik aranmıştır. Böylece olaylar karşısındaki düşünce sistemimiz iki değerli mantığa göre oluşmuştur. Klasik küme tanımına göre bir şey ya doğru yada yanlış (ya var yada yok, ya beyaz yada siyah, ya 1 yada 0)’dır. Ancak günlük hayatımızdaki birçok olay bu şekilde açıklanamayacak kadar karmaşıktır. Bu durum rastgelelik değil, ancak belirsizlik ima eder. Bu belirsizlikler fuzzy (bulanık) kelimesiyle açıklanır. Böyle bir durum karşısında kesin bir yargı yoktur. İki değerli mantığa dayanan matematik kesinlik göstermeyen olaylar karşısında yetersiz kalmıştır. Bu sebeple Cantor tarafından verilen küme tanımı 1965 yılında Zadeh tarafından fuzzy (belirtisiz) küme kavramı tanımlanarak klasik küme kavramı genişletilmiştir [1]. Fuzzy mantık sayısal değerleri sözel ifadelerden yola çıkarak bilgi tabanlı denetleyiciler arasında insan düşünce yapısına yakınlaşmayı sağlamıştır. Bu kavram, bir nesnenin istediğimiz belirli bir kategoriye daha az veya daha çok karşılık geldiğini göstermeye çalışır. Fuzzy küme kavramı rastgele değişkenlerin varlığından daha çok, bir sınıfa kesin olarak karşılık gelen kriterlerin yokluğunda belirsizlik kaynağındaki problemlerle ilgili doğal bir yol sağlar. Aslında gerçekliğin her tonunu açıklayan fikir, bazı mantıkçılar için 1965’e kadar uzun süreli bir saplantı idi. Son kırk yılda fuzzy küme teorisi hem bilimsel bakış, hem de uygulama açısından hızla gelişti. Bu teoriye mevcut bilgi, çok değerli katkı sunan bir alan oluşturdu. Denklik, benzerlik, kümeleme gibi kavramları içeren problemlerle başa çıkmak için çok çeşitli teknikler vardır. Fuzzy bağıntıları üzerine çalışma da yine Zadeh tarafından başlatıldı. 1971’deki ünlü makalesinde Zadeh denklik kavramını tanımlayan ve fuzzy sıra kavramını veren fuzzy bağıntısını tanıttı [2]. Fuzzy sıra kavramı, çeşitli alanlarda bilinen sonuçların çıkarımını kolaylaştıran ve yenilerini keşfetmeyi teşvik eden yansıma, ters simetri ve geçişme özelliklerinin genelleştirilmesiyle tanımlandı. Fuzzy sıralamada birçok yarar vardır. Mesela, alternatif bir küme ile bizim tercihlerimiz ifade edildiğinde kullanılabilir. Kesin sıralama ile karşılaştırıldığında daha fazla açıklama gücü vardır. Sadece 2 seçeneğimizden diğerine tercihimizi değil, bu tercihin gücünü de ifade etmemize imkân sağlar. Bu tezde, son yıllarda basılmış makalelerdeki fuzzy sıralama bağıntısı ve bu bağıntıyla oluşturulan uzaylar ile ilgili sonuçlar sunulmuştur [9-12]. İkinci bölümde, sıralama bağıntısı ile ilgili olarak sıralı vektör uzayları, Riesz uzayları ve diğer kavramlar tanıtılmıştır. Diğer yanda, fuzzy kümeler, bunların topolojik yapıları ve fuzzy topolojik uzaylar arasındaki fuzzy sürekli fonksiyonlar verilmiş ve örneklerle açıklamalar yapılmıştır. Üçüncü bölümde ise, fuzzy ve sıra kavramları bir arada ele alınarak fuzzy sıralı kümeler, fuzzy sıralı vektör uzayları, fuzzy Riesz uzayları ve bunlarla ilgili kavramlar ayrıntılı olarak incelenmiş, ilgili sonuçlar verilmiştir. Dördüncü bölümde, elde edilen sonuçların ilgili teoriye katkısından ve bu sonuçların kullanılmasıyla yapılacak çalışmaların öneminden bahsedilmiştir. 3 2. TEMEL KAVRAMLAR 2.1. Riesz Uzayları ve Sıra Sınırlı Operatörler 2.1. Tanım (sıralı vektör uzayı) E reel vektör uzayı ve üzerindeki sıralama bağıntısı ≤ olmak üzere, x ≤ y iken her z∈E ve her λ∈ΙR+ için x + z ≤ y + z ve λ x ≤ λ y oluyorsa, E ye sıralı vektör uzayı denir. 2.2. Tanım (Riesz uzayı) E sıralı vektör uzayı olmak üzere, her x,y∈E için x ∨ y = sup{x, y} ∈ E (veya x ∧ y = inf {x, y} ∈ E ) oluyorsa, E ye Riesz uzayı denir. 2.3. Tanım (bir elemanın pozitif kısmı, negatif kısmı ve modülü) Bir Riesz uzayının herhangi bir x elemanı için; x += x ∨ 0 , x −= x ∧ 0 , | x |= x ∨ (− x) eşitlikleriyle verilen elemanlarına sırasıyla, x in pozitif kısmı, x in negatif kısmı ve x in modülü denir. 2.1. Teorem (Aliprantis and Burkinshaw, 1985) Bir Riesz uzayının herhangi bir x elemanı için aşağıdakiler sağlanır: 1) = x x+ − x− ; 2) | = x | x+ + x− ; 3) x + ∧ x − = 0 . 2.4. Tanım (iki elemanın dikliği, bir kümenin diki) E Riesz uzayı olmak üzere, x, y ∈ E için | x | ∧ | y |= 0 oluyorsa, x ve y birbirlerine 4 diktir denir ve bu durum x ⊥ y ile gösterilir. E nin D altkümesinin diki ise, Dd = {x ∈ E : her y ∈ D için x ⊥ y} ile tanımlanır. 2.5. Tanım (sıra yakınsaklık) E Riesz uzayı olmak üzere {xa } ⊆ E ve x∈E için | xa − x |≤ ya ↓ 0 ({ ya } azalan ve infimumu 0) olacak şekilde { ya } ⊆ E ağı varsa, {xa } ağı x elemanına sıra yakınsaktır denir. 2.6. Tanım (düzgün yakınsaklık, göreceli düzgün yakınsaklık, düzgün Cauchy dizisi) E Riesz uzayı {xn } ⊆ E ve x ∈ E olmak üzere, (a) 0 ≤ u ∈ E alındığında, her ε > 0 için nε ≤ n iken | xn − x |≤ ε u olacak şekilde nε ∈ IN varsa, {xn } dizisi x elemanına u-düzgün yakınsak(düzgün yakınsak ), (b) xn → x (u-düzgün yakınsak)olacak şekilde 0 ≤u∈E varsa, {xn } dizisi x elemanına göreceli düzgün yakınsak, (c) Her ε > 0 için nε ≤ n, m iken | xn − xm |≤ ε u olacak şekilde nε ∈ IN ve (ε dan bağımsız) 0 ≤ u ∈ E varsa, {xn } dizisine düzgün Cauchy dizisi denir. 2.7. Tanım (düzgün kapalı küme, düzgün tam Riesz uzayı) E Riesz uzayı olmak üzere, (a) E nin D altkümesindeki her {xn } dizisi için xn → x (göreceli düzgün yakınsak) iken x ∈ D oluyorsa, D ye düzgün kapalı küme, (b) E nin her düzgün Cauchy dizisi göreceli düzgün yakınsak oluyorsa, E ye düzgün tam Riesz uzayı denir. 2.8. Tanım (Arşimedyan Riesz uzayı, Dedekind tam Riesz uzayı, Riesz altuzayı, sıra yoğun Riesz altuzayı, ideal, band) 5 E Riesz uzayı olmak üzere, (a) Her x ∈ E + için n −1 x ↓ 0 oluyorsa, E ye Arşimedyan Riesz uzayı, (b) E nin üstten sınırlı her altkümesi supremuma sahipse, E ye Dedekind tam Riesz uzayı, (c) G altuzayı için x, y ∈ G iken x ∨ y ∈ G (veya x ∧ y ∈ G ) oluyorsa, G ye E nin Riesz altuzayı, (d) G Riesz altuzayı için 0 < x ∈ E iken 0 < y ≤ x olacak şekilde y ∈ G varsa, G ye E nin sıra yoğun Riesz altuzayı, (e) Ι altuzayı için | x |≤| y | ve y ∈ I iken x ∈ I oluyorsa, Ι ya E de (sıra) ideal, (f ) Β ideal ve her bir {xa } ⊆ B; 0 ≤ xa ↑ x({xa } artan ve supremumu 0) ağı için x ∈ B oluyorsa, Β ye E de band denir. 2.9. Tanım (bir kümenin ürettiği Riesz altuzayı (ideal, band)) E Riesz uzayının boştan farklı D altkümesini kapsayan en küçük Riesz altuzayına (ya da ideale, banda) D nin ürettiği Riesz altuzayı (ya da ideal, band ) denir. • Bir Riesz uzayı Dedekind tam ise, Arşimedyandır. E Riesz uzayının D altkümesinin ürettiği ideal ve band sırasıyla, Ι D = {x∈E : x ≤ ∑ i =1 λ i xi olacak şekilde λ 1 ,…,λ n ∈IR+ ve x 1 ,…,x n ∈E var} n {x ∈ E : 0 ≤ xa ↑| x | olacak şekilde {xa } ⊆ D + var} BD = biçimindedir. E nin herhangi bir x elemanının ürettiği ideal ve band sırasıyla, I x = { y ∈ E :| y |≤ λ x olacak şekilde λ ∈ IR var} ve Bx = { y ∈ E :| y | ∧ n | x |↑| y |} biçiminde elde edilir. 6 2.10. Tanım (sıra birim, zayıf sıra birim) E Riesz uzayı, 0 < e ∈ E olmak üzere, (a) I e = E oluyorsa; yani her x ∈ E + için x ≤ λ e olacak şekilde λ ∈ IR + varsa, e ye E nin sıra birimi, (b) Be = E oluyorsa; yani her x ∈ E + için x ∧ n | e |↑ x oluyorsa, e ye E nin zayıf sıra birimi denir. • E Riesz uzayının zayıf sıra birimi, aynı zamanda sıra birimidir. E nin her x > 0 elemanı, ürettiği idealin sıra birimi; ürettiği bandın zayıf sıra birimidir. Arşimedyan Riesz uzayında e > 0 elemanının zayıf sıra birim olması için gerek ve yeter şart x ⊥ e iken x = 0 olmasıdır. 2.11. Tanım (sıralı aralık, sıra sınırlı küme) x ve y, E Riesz uzayında x ≤ y olacak şekilde iki eleman iken [ x, y ] = {z ∈ E : x ≤ z ≤ y} kümesine sıralı aralık; E nin bir sıralı aralığı tarafından kapsanan altkümesine de sıra sınırlı küme denir. 2.12. Tanım (sıra sınırlı operatör, pozitif operatör, aralık koruyan operatör, Riesz homomorfizması, sıra sürekli operatör) E ve F Riesz uzayları, T : E → F operatör (lineer dönüşüm) olmak üzere, (a) E deki her D sıra sınırlı küme için F de Τ (D) sıra sınırlı küme oluyorsa, Τ ye sıra sınırlı operatör, (b) E nin her x ≥ 0 elemanı için F de Tx ≥ 0 oluyorsa,Τ ye pozitif operatör, (c) E de xa → 0 (sıra yakınsak) iken F de Txa → 0 sıra yakınsak) oluyorsa,Τ ye sıra sürekli operatör, (d) Her x, y ∈ E için T ( x ∨ y ) = Tx ∨ Ty oluyorsa, Τ ye Riesz homomorfizması, 7 (e) Τ pozitif operatör ve her x∈E+ için T [0, x] = [0, Tx] oluyorsa, Τ ye aralık koruyan operatör denir. • E Riesz uzayından F Riesz uzayına sıra sınırlı operatörlerin kümesi ) için Lb ( E , F ) ile gösterilir. T1 , T2 ∈ Lb ( E , F T1 ≤ T2 ⇔ Her 0 ≤ x ∈ E için T1 x ≤ T2 x ) sıralı vektör uzayıdır. Pozitif ile tanımlanan sıralama bağıntısıyla Lb ( E , F ) Dedekind tam operatörler sıra sınırlıdırlar. F Dedekind tam olduğunda, Lb ( E , F Riesz uzayıdır ve bu durumda her sıra sınırlı operatör, iki pozitif operatörün farkı olarak yazılabilir. Bu tezde her operatör lineer olarak alındığından ve Riesz uzayından Riesz uzayına tanımlandığından, operatörün pozitifliği ile monoton artanlığı denktir. 2.2. Fuzzy Kümeler 2.13. Tanım (fuzzy küme) X boştan farklı herhangi bir küme ve I = [ 0,1] olmak üzere X den I ya tanımlanan bütün fonksiyonların kümesini I X ile gösterelim. I X in her bir elemanına X in bir fuzzy kümesi denir [1]. 2.14. Tanım (fuzzy alt küme) X ≠ ∅ ve I = [ 0,1] olmak üzere f A : X → I üyelik fonksiyonu ile karakterize edilen = A {( x, f A ( x )) } : x ∈ X ⊂ X × I kümesine X in bir fuzzy alt kümesi denir. Bundan sonra zaman zaman f A yerine A, f A ( x) yerine A( x) alınacaktır [1]. 8 Örnek 1 X={7,8,9,10,11,12,13} kümesi üzerinde bir fuzzy küme bulalım. f A ( x) = 1 ile tanımlanan f A :X → [0,1] fonksiyonunu göz önüne alalım; 1 + ( x − 10) 2 x = 7 ⇒ f A (7) = 0.1 x = 8 ⇒ f A (8) = 0.2 x = 9 ⇒ f A (9) = 0.5 x = 10 ⇒ f A (10) = 1 x = 11 ⇒ f A (11) = 0.5 x = 12 ⇒ f A (12) = 0.2 x = 13 ⇒ f A (13) = 0.1 ( x, f A ( x) ) fuzzy kümesi ( x, f A ( x) ) = {(7, 0.1), (8, 0.2), (9, 0.5), (10,1), (11, 0.5), (12, 0.2), (13, 0.1)} olur. 2.15. Tanım (fuzzy nokta, fuzzy noktasının desteği, fuzzy noktasının değeri) X boştan farklı herhangi bir küme olmak üzere X deki xα fuzzy kümesinin xα : X → I üyelik fonksiyonu α , = xα ( y ) 0 , y=x , α ∈ (0,1] y≠x şeklinde tanımlı ise xα ya X de fuzzy noktası denir. Burada x ∈ X noktasına xα fuzzy noktasının desteği (dayanağı) ve α ∈ (0,1] sayısına xα fuzzy noktasının değeri denir [8]. 9 Bundan sonra fuzzy noktasını xα yerine p ile göstereceğiz. 2.16. Tanım (fuzzy kümenin desteği) x ∈ X ve A bir fuzzy küme olmak üzere SuppA= A0 ={(x, f A (x)): f A (x)>0 } kümesine A fuzzy kümesinin desteği denir [5]. 2.17. Tanım X boştan farklı herhangi bir küme, p X de bir fuzzy nokta ve A, X in bir fuzzy kümesi olsun. Eğer her x ∈ X için p(x) ≤ A(x) ise p, A ya aittir (A, p yi içerir) denir ve p<A ile gösterilir. 2.18. Tanım X ve ∅ kümeleri birer fuzzy küme olup her x ∈ X için f X (x) = 1 ⇒ X = {(x,1):x ∈ X } ve f ∅ (x) = 0 ⇒ ∅ = {(x,0):x ∈ X } şeklinde ifade edilir [5]. Buradan her klasik anlamdaki kümenin bir fuzzy kümesi olduğu sonucu çıkar. 2.19. Tanım X deki herhangi iki fuzzy küme A ve B olsun. A ve B nin üyelik fonksiyonları sırasıyla f A ve f B olmak üzere, her x ∈ X için 10 1. A ≤ B ⇔ f A (x) ≤ f B (x) , 2. A = B ⇔ f A (x) = f B (x) , 3. C = A ∧ B ⇔ min{ f A (x), f B (x)} = f C (x) , 4. D = A ∨ B ⇔ mak{ f A (x), f B (x)} = f D (x) , 5. E = A c ⇔ f E (x) = 1− f A (x) , şeklinde tanımlanır [5]. 2.20. Tanım X deki fuzzy kümelerin bir ailesi { Aj } j∈J olsun. Buna göre birleşim ve kesişim işlemlerinin genelleştirilmiş hali C= ∨ Aj ⇔ f C (x) = sup { f Aj ( x) } j∈J j∈J D= ∧ Aj ⇔ f D (x) = inf { f Aj ( x) } j∈J j∈J şeklinde tanımlanır [5]. 2.21. Tanım A ve B X de fuzzy kümeler olsun. Bu durumda A ile B nin farkı A−B=A ∧ B c ile tanımlanır. Eğer üyelik fonksiyonları sırasıyla f A ve f B ise, her x ∈ X için f A − B (x) = min { f A (x),1− f B (x)} ve x∈ X f B − A (x) = min {1− f A (x), f B (x)}şeklinde tanımlanır [5]. x∈ X 11 Örnek 2 X={ x1 , x2 } ve I=[0,1] olmak üzere X üzerinde A = {( x1 ,0.2),( x2 ,0.5)} ve B = {( x1 ,0.1),( x2 ,0.7)} iki fuzzy küme şeklinde tanımlansın. Bu durumda A ∨ B, A ∧ B, Ac ve A−B fuzzy kümelerini bulalım. A ve B fuzzy kümelerinin her x ∈ X için üyelik fonksiyonlarının değerleri sırasıyla f A (x) ve f B (x) olsun. Buna göre x1 ∈ X için f A ( x1 ) = 0.2 ve f B ( x1 ) = 0.1; x2 ∈ X için f A ( x2 ) = 0.5 ve f B ( x2 ) = 0.7 dir. A ∨ B = C ⇔ f C (x) = maks{ f A (x), f B (x)} ⇔ f C ( x1 ) = 0.2 ve f C ( x2 ) = 0.7 ⇔ A ∨ B = {( x1 ,0.2),( x2 ,0.7)} A ∧ B = D ⇔ f D (x) = min{ f A (x), f B (x)} ⇔ f D ( x1 ) = 0.1 ve f D ( x2 ) = 0.5 ⇔ A ∧ B = {( x1 ,0.1),( x2 ,0.5)} Ac = X−A ⇔ f A (x) = 1− f A (x) c ⇔ f A c ( x1 ) = 0.8 ve f A c ( x2 ) = 0.5 ⇔ Ac = {( x1 ,0.8),( x2 ,0.5)} A−B = A ∧ B c ⇔ f A − B (x) = min { f A (x), f B (x)} x∈ X c ⇔ f A − B ( x1 ) = 0.2 ve f A − B ( x2 ) = 0.3 ⇔ A−B = {( x1 ,0.2),( x2 ,0.3)} 2.2. Teorem X de iki fuzzy küme A ve B olmak üzere 12 i) A ∨ B fuzzy kümesi A ve B yi ihtiva eden en küçük fuzzy kümedir [4]. ii) A ∧ B fuzzy kümesi A ve B kümeleri tarafından ihtiva edilen en büyük fuzzy kümedir [7]. İspat i) A ve B fuzzy kümelerinin üyelik fonksiyonları sırasıyla f A ve f B olsun. A ∨ B=C ⇔ f C (x) = mak{ f A (x), f B (x)} olduğundan A ≤ C ve B ≤ C dir. D nin A ve B yi ihtiva eden en küçük fuzzy küme olduğunu kabul edelim. D fuzzy kümesinin üyelik fonksiyonu f D olmak üzere A ≤ D olduğundan f A (x) ≤ f D (x) ve B ≤ D olduğundan f B (x) ≤ f D (x) dir. Buradan mak{ f A (x), f B (x)} ≤ f D (x) ⇒ f A − B (x) = f C (x) ≤ f D (x) olur. A ∨ B=C fuzzy kümesi A ve B yi ihtiva eden bir küme olup kabulden dolayı f A (x) ≤ f D (x) ≤ f C (x) ve f B (x) ≤ f D (x) ≤ f C (x) ⇒ f D (x) ≤ f C (x) bulunur. O halde her x ∈ X için f D (x)= f C (x) olup C = D dir. Buna göre A ve B yi ihtiva eden en küçük fuzzy küme A ∨ B dir. ii) (i) şıkkına benzer şekilde ispat yapılır. 2.1. Özellik X deki fuzzy kümeler A, B ve C olmak üzere 1. A ∧ ∅ = ∅, A ∨ ∅ = A, A ∨ X = X, A ∧ X = A 2. A ∧ B = B ∧ A, A ∨ B = B ∨ A, A ∧ A = A, A ∨ A = A 3. (A ∨ B) ∨ C = A ∨ (B ∨ C), (A ∧ B) ∧ C = A ∧ (B ∧ C) 13 4. C ∨ (A ∧ B) = (C ∨ A) ∧ (C ∨ B), C ∧ (A ∨ B) = (C ∧ A) ∨ (C ∧ B) 5. A ≤ B ⇒ A ∨ B = B, A ≤ B ⇒ A ∧ B= A dir [7]. 2.2. Özellik A ve B, X de iki fuzzy küme olmak üzere 1. A−∅ = A 2. ∅ c = X, X c = ∅, (A c ) c = A 3. A ≤ B ⇔ A c ≤ B c 4. (A ∨ B) c =A c ∧ B c , (A ∧ B) c =A c ∨ B c dir [7]. 2.3. Teorem X kümesi üzerindeki herhangi bir fuzzy kümesi A olsun. i) A ∧ A c = ∅ olmak zorunda değildir [7]. ii) A ∨ A c = X olmak zorunda değildir [7]. Örnek 3 X = {x1 , x2 } olmak üzere X de bir fuzzy kümesi A={( x1 ,0.2),( x2 ,0.9)} olarak verilsin. A ∧ A c = ∅ ve A ∨ A c = X olup olmadığını görelim. A c = {( x1 ,0.8),( x2 ,0.1)} A ∧ A c = {( x1 ,0.2),( x2 ,0.1)} ⇒ A ∧ A c ≠ ∅ A ∨ A c = {( x1 ,0.8),( x2 ,0.9)} ⇒ A ∨ A c ≠ X 14 2.3. Fuzzy Topolojik Uzaylar 2.22. Tanım (fuzzy topolojik uzay, fuzzy açık küme, fuzzy kapalı küme) X boştan farklı bir küme ve τ ≤ I X fuzzy kümelerinin bir ailesi olsun. Aşağıdaki şartları sağlayan τ ailesine X üzerinde fuzzy topoloji, (X, τ ) ikilisine de fuzzy topolojik uzay denir. ft 1 ) ∅, X ∈ τ (0,1 ∈ τ ) n ft 2 ) Her A1 , A2 ,…, An ∈ τ için ∧ Ai ∈ τ i=1 ft 3 ) ∀ i ∈ I için Ai ∈ τ ⇒ ∨ Ai ∈ τ i∈I τ topolojisinin her bir elemanına X de fuzzy açık küme, X uzayına göre tümleyeni fuzzy açık olan kümeye de fuzzy kapalı küme denir [5]. 2.4. Teorem (X, τ ) fuzzy topolojik uzay olmak üzere κ ={K ∈ I X : K fuzzy kapalı ⇔ K c ∈ τ } şeklinde tanımlı κ (kapalılar) ailesi aşağıdaki şartları sağlar [5]. k 1 ) ∅, X ∈ κ n k 2 ) ∀ K1 , K 2 ,…,K n ∈ κ ⇒ ∨ K i ∈ κ i∈I k 3 ) ∀ i ∈ I için K i ∈ κ ⇒ ∧ K i ∈ κ i∈I 15 2.23. Tanım (fuzzy kümesinin içi) ( X, τ ) fuzzy topolojik uzay ve A ∈ I X olsun. A = ∨ {B:A ≤ B, B ∈ τ } = sup{B:A ≤ B, B ∈ τ } şeklinde tanımlanan fuzzy kümesine A fuzzy kümesinin içi denir. Tanımdan da anlaşıldığı gibi A fuzzy açık bir kümedir. Üstelik A , A nın kapsadığı en geniş fuzzy açık kümedir [5]. 2.5. Teorem (X, τ ) fuzzy topolojik uzay ve A ∈ I X olsun. A nın fuzzy açık küme olması için gerekli ve yeterli koşul A = A olmasıdır [6]. 2.1. Sonuç (X, τ ) fuzzy topolojik uzay ve A,B ∈ I X ve A , A fuzzy kümesinin içi olsun. Bu durumda i) X =X, ∅ =∅ ii) A ≤ A iii) ( A ) = A iv) A ≤ B ⇒ A ≤ B v) (A ∧ B) = A ∧ B sağlanır [7]. 16 2.24. Tanım (fuzzy kümesinin kapanışı) (X, τ ) fuzzy topolojik uzay ve A ∈ I x olsun. A = ∧ {B:A ≤ B, B c ∈ τ } = inf{B:A ≤ B, B c ∈ τ } ile tanımlanan fuzzy küme A fuzzy kümesinin kapanışı denir. A kümesi tanımdan da anlaşıldığı gibi fuzzy kapalı bir kümedir. Ayrıca A , Ayı kapsayan en küçük fuzzy kapalı kümedir [5]. 2.6. Teorem ( X, τ ) fuzzy topolojik uzay ve A ∈ I X olsun. A nın fuzzy kapalı küme olması için gerekli ve yeterli koşul A= A olmasıdır [6]. 2.2. Sonuç ( X, τ ) fuzzy topolojik uzay ve A, B X in iki fuzzy kümesi ve A , A nın kapanışı olsun. Bu durumda; i) X = X , ∅ = ∅ ii) A ≤ A iii) A = A iv) A ≤ B ⇒ A ≤ B v) ( A ∨ B) = A ∨ B [5]. 2.7. Teorem (X, τ ) fuzzy topolojik uzay ve A ∈ I X olsun. Bu durumda ( A ) c = Ac ve ( A)c = ( Ac ) 17 dir [7]. İspat A ∈ I X olsun. c (A = ) (sup{B : B ≤ A, B ∈τ })c = inf{B : B ≤ A, B ∈τ }c = inf {C = B c : Ac ≤ B c = C , C ∈τ } = inf{C : Ac ≤ C , C ∈τ } = A ( A= )c (inf {B : A ≤ B, B c ∈})c = sup{B : A ≤ B, B c ∈τ }c = sup{B c = D:D = B c ≤ Ac , B c ∈τ } = sup{D : D ≤ Ac , D ∈τ } = ( Ac ) 2.25. Tanım (fuzzy kümesinin komşuluğu) (X, τ ) fuzzy topolojik uzay ve A ∈ I X olsun. A yı ihtiva eden bir B fuzzy açık kümesini kapsayan N kümesine, A fuzzy kümesinin bir komşuluğu denir. Buna göre N, A nın fuzzy komşuluğu ⇔ ∃ B ∈ τ var ∋ A ≤ B ≤ N [7]. 2.26. Tanım (fuzzy noktasının komşuluğu) (X, τ ) fuzzy topolojik uzay ve p, X in bir fuzzy noktası olsun. p fuzzy noktasını içeren bir A fuzzy açık kümesini kapsayan N kümesine, p nin fuzzy komşuluğu denir 18 ve p nin bütün fuzzy komşuluklar ailesi N(p) ile gösterilir. Buna göre N ∈ N(p) ⇔ ∃ A ∈ τ var ∋ p < A ≤ N [7]. 2.8. Teorem (X, τ ) fuzzy topolojik uzay, p ∈ I X ve N(p), p fuzzy noktasının komşuluklar ailesi olsun. Bu durumda aşağıdaki özellikler vardır. i) Her N ∈ N(p) için p < N ii) Her N1 , N 2 ∈ N(p) için N1 ∧ N 2 ∈ N ( p) iii) Herhangi bir N ∈ N ( p) ve N ≤ B ⇒ B ∈ N ( p) iv) Her N ∈ N(p) için A ≤ N olacak şekilde öyle bir A ∈ N ( p) vardır ki q < A şartını sağlayan her q fuzzy noktası için N ∈ N (q) dur [8]. İspat i) Her N ∈ N ( p ) için tanımdan p < A ≤ N olacak şekilde A ∈ τ vardır. O halde p < N olur. ii) Her N1 ve N 2 ∈ N ( p ) için tanımdan p < A1 ≤ N1 ve p < A2 ≤ N 2 olacak şekilde A1 , A2 ∈ τ vardır. Buradan p < A1 ∧ A2 ve A1 ∧ A2 ∈ τ dur. p < A1 ∧ A2 ≤ N1 ∧ N 2 olup buradan N1 ∧ N 2 ∈ N ( p) olur. iii) N ∈ N ( p ) ve N ≤ B olsun. Bu durumda p < A ≤ N ≤ B olacak şekilde A ∈ τ vardır. Buradan p < A ≤ B olacak şekilde A ∈ τ bulunmuş olur. Bu durumda B ∈ N ( p) olur. iv) N ∈ N ( p) olsun. Bu durumda p < A ≤ N olacak şekilde A ∈ τ vardır. q < A veya A ∈ τ olduğundan A ∈ N(q) olur. A ≤ N olduğundan (ii) N ∈ N(q) olur. 19 2.27. Tanım (fuzzy topoloji tabanı) (X, τ ) fuzzy topolojik uzay ve β ≤ τ olsun. ∀A ∈ τ için A= ∨ B j∈J j olacak şekilde β {B j } j∈J ≤ β alt ailesi varsa β ye τ için bir taban denir. Yani, = β , τ için bir taban ⇔ ∀A ∈ τ için ∃ β ' ⊂ β var ∋ A = ∨ B [7]. B∈ β ' 2.28. Tanım (fuzzy topolojinin alt tabanı) (X, τ ) fuzzy topolojik uzay, ϕ ≤ τ olsun. ϕ nın elemanlarının her sonlu kesişimlerinin oluşturduğu fuzzy küme sınıfı τ için bir taban oluşturuyor ise, ϕ ailesine τ için bir alt taban denir. Yani; ϕ , τ için alt taban ⇔ { ∧ S: ϕ ≤ A,ϕ sonlu} τ için taban S ∈ϕ şeklindedir [7]. 2.29. Tanım (fuzzy topolojide yerel taban) (X, τ ) fuzzy topolojik uzay ve β , τ için bir taban olsun. X in bir p fuzzy noktası için β p = {B : p < B ve B ∈ β } ailesini göz önüne alalım. p<A olmak üzere ∀A ∈ τ için p<B ≤ A olacak şekilde en az bir B ∈ β p varsa β p ailesine p noktasının τ topolojisine göre yerel tabanı (lokal tabanı) denir [7]. 20 2.4. Fuzzy Sürekli Fonksiyonlar 2.30. Tanım X ve Y herhangi iki küme ve g:X → Y bir fonksiyon olsun. Eğer A, X de bir fuzzy kümesi ve üyelik fonksiyonu f A ise, bu durumda g(A) A nın f fonksiyonu altında görüntüsü denir ve g(A) da Y de bir fuzzy kümesi olup üyelik fonksiyonu, ∀ y ∈ Y için sup{ f A ( x)} , g −1 ( y ) ≠ ∅ f g ( A) ( y ) = x∈g −1 ( y ) 0 , g −1 ( y ) = ∅ şeklinde tanımlanır. Burada g −1 ( y ) ={x ∈ X: g(x)= y } dir [5]. Şema ile gösterecek olursak; g Y X → g fA fA I 2.31. Tanım X ve Y herhangi iki küme olmak üzere g:X → Y bir fonksiyon ve B, Y de bir fuzzy küme olsun. ∀ x ∈ X için, f g −1 ( B ) (x)= f B (g(x)) üyelik fonksiyonu ile tanımlanan g −1 (B)=g −1 ( f B ) ifadesine B in ters görüntüsü denir [5]. Şema ile gösterecek olursak; −1 g ← g X Y → g −1 ( f B ) fB I 21 2.9. Teorem X, Y herhangi iki küme g:X → Y bir fonksiyon, A X de ve B Y de fuzzy kümeleri olsun. Aşağıdaki özellikler vardır; i) ∀ B ≤ Y de bir fuzzy küme ⇒ g −1 (B c )=( g −1 ( B) ) c ii) ∀ A ≤ X de bir fuzzy küme ⇒ g ( Ac ) ≥ ( g ( A) ) c iii) ∀ B 1 ,B 2 ≤ Y için B 1 ≤ B 2 ⇒ g −1 (B 1 ) ≤ g −1 (B 2 ) iv) ∀ A 1 ,A 2 ≤ X için A 1 ≤ A 2 ⇒ g(A 1 ) ≤ g(A 2 ) v) ∀ B ≤ Y ⇒ g( g −1 (B)) ≤ B vi) ∀ A ≤ X ⇒ A ≤ g −1 (g(A)) vii) ∀ j ∈ J için B j ≤ Y ⇒ g −1 ( ∨ B j )= ∨ g −1 ( B j ) j∈J j∈J viii) ∀ A,B ≤ X ⇒ g(A ∧ B) ≤ g(A) ∧ g(B) ix) ∀ j ∈ J için B j ≤ Y ⇒ g −1 ( ∧ B j ) = ∧ g −1 ( B j ) x) g:X → Y ve h:Y → Z fonksiyonları verilsin. Her p < Z fuzzy kümesi için; j∈ J j∈J (h g ) −1 (p)= g −1 (h −1 (p)) dır [5]. İspat i) Her x ∈ X için, f g −1 ( B c ) (x)= f B c (g(x))=1− f B (g(x))=1− f g −1 ( B ) (x)= f[ g −1 ( B )]c (x) Üyelik fonksiyonlarının eşitliğinden, g −1 ( B c ) =[g −1 ( B) ] c elde edilir. ii) Her y ∈ Y için g −1 (y) ≠ ∅ ise, 22 { f A (x)} f g ( A c ) (y)= sup { f A c (x)}= sup {1− f A (x)}=1− inf −1 (1) f[ g ( A)]c (y)=1− f g ( A) (y)=1− sup { f A (x)} (2) x∈ g −1 ( y ) x∈ g x∈ g −1 ( y ) ( y) x∈ g −1 ( y ) olur. (1) ve (2) den, her y ∈ Y için f g ( A c ) (y) ≥ f[ g ( A)]c (y) olur. Böylece, g(A c ) ≥ [g(A)] c elde edilir. iii) Her x ∈ X için f g −1 ( B ) (x) = f B1 (g(x)) , f g −1 ( B ) (x) = f B2 (g(x)) ve 1 2 B 1 ≤ B 2 ⇔ f B1 (g(x)) ≤ f B2 (g(x)) olduğundan f g −1 ( B ) (x) ≤ f g −1 ( B ) (x) ve dolayısıyla g −1 (B 1 ) ≤ g −1 (B 2 ) elde edilir. 1 2 iv) Her y ∈ Y için g −1 (y) ≠ ∅ olsun. f g ( A1 ) (y)= sup { f A1 (x)} , f g ( A2 ) (y)= sup { f A2 (x)} ve x∈ g −1 ( y ) x∈ g −1 ( y ) A 1 ≤ A 2 ⇔ f A1 (x) ≤ f A2 (x) olduğundan sup { f A1 (x)} ≤ sup { f A2 (x) } olur. Buradan x∈ g −1 ( y ) f g ( A1 ) (y) ≤ f A2 (y) elde edilir. v) Her y ∈ Y için x∈ g −1 ( y ) ∀y∈Y ⇒ g(A 1 ) ≤ g(A 2 ) 23 (a) g −1 (y) ≠ ∅ ise, f g [g −1 ( B ) ] (y) = sup { f g −1 ( B ) (x)} = sup { f B (g(x))} = f B (y) x∈ g −1 ( y ) x∈ g −1 ( y ) üyelik fonksiyonlarının eşitliğinden g[ g −1 (B)] ≤ B bulunur. (b) g −1 (y)= ∅ ise, f g [g −1 ( B ) ] (y)=0= f∅ (y) üyelik fonksiyonlarının eşitliğinden, g g −1 ( B ) = ∅ dir. (i) ve (ii) den dolayı g g −1 ( B ) ≤ B olur. vi) Her x ∈ X için, f g −1 ( g ( A)) (x) ≥ f g ( A) (g(x)) = sup { f A (x)} ve buradan g x∈ g −1 ( y ) fonksiyonunun özellikleri dikkate alınırsa, ∀x∈ X f g −1 ( g ( A)) (x) ≤ f g ( A) (x) ⇒ g −1 (A) ≥ A olmasını gerektirir. vii) Her x ∈ X için f g −1 ( ∨ B ) (x) = f ∨ Bi (g(x)) = sup { f Bi (x)}= sup { f g −1( B ) (x)}= f ∨ g −1 ( B ) (x) i∈J i∈J i∈ J i∈ J i i∈J i üyelik fonksiyonlarının eşitliğinden g −1 ( ∨ B i )= ∨ g −1 (B i ) bulunur. i∈ J i∈ J viii) A ∧ B ≤ A ve A ∧ B ≤ B olduğundan (vi) şıkkından dolayı g(A ∧ B) ≤ g(A) ve g ( A ∧ B ) ≤ g ( B) elde edilir. Her y ∈ Y için f g ( A ∧ B ) (y) ≤ f g ( A) (y), f g ( A ∧ B ) (y) ≤ f g ( B ) (y) ve buradan f g ( A ∧ B ) (y) ≤ min{ f g ( A) (y), f g ( B ) (y)} = f g ( A) ∧ g ( B ) (y) ⇒ g(A ∧ B) ≤ g(A) ∧ g(B) 24 bulunur. ix) Her x ∈ X için f g −1 ( ∧ B ) (x) = f ∧ Bi (g(x)) = inf { f Bi (x)}= inf { f g −1( B ) (x)}= f ∧ g −1 ( B ) (x) i∈J i∈J i∈ J i∈ J i i∈J i üyelik fonksiyonlarının eşitliğinden, g −1 ( ∧ B i )= ∧ g −1 (B i ) olur. j∈ J i∈ J x) Her x ∈ X için f ( h g ) −1 ( p ) (x) = f p ((h g )(x)) = f p (h(g(x))) = f h −1 ( p ) (g(x)) = f g −1 ( h −1 ( p )) (x) üyelik fonksiyonlarının eşitliğinden (h g ) −1 (p) = g −1 (h −1 (p)) elde edilir. 2.32. Tanım (fuzzy sürekli fonksiyon) (X, τ ), (Y, τ ′ ) fuzzy topolojik uzaylar ve g:X → Y bir fonksiyon olsun. Y deki her fuzzy açık kümenin g altındaki ters görüntüsü X de fuzzy açık ise, g fonksiyonuna fuzzy sürekli denir. Yani, g fuzzy sürekli (f-süreklidir) ⇔ ∀ A ∈ τ ′ için g −1 (A) ∈ τ sağlanır [5]. Örnek 4 X=[0,1]=I üzerindeki fuzzy kümeleri, 25 , 0 ≤ x ≤ 1/ 4 1 , 0 ≤ x ≤ 1/ 2 0 f A ( x) = ve f B ( x) = − 4 x + 2 , 1 / 4 ≤ x ≤ 1 / 2 2 x − 1 , 1 / 2 ≤ x ≤ 1 0 , 1/ 2 ≤ x ≤ 1 I üzerinde fuzzy τ ={∅,X, Ac }, topolojiler, g:(I, τ ) → (I, τ ′ ) fonksiyonu, g ( x ) = τ ′ ={∅,X,A,B,A ∨ B} ve x olarak tanımlansın. Buna göre, g fonksiyonun 2 f-sürekli olduğunu, yani herhangi bir A ∈ τ ′ için g −1 (A) ∈ τ olduğunu göstermeliyiz. , 0 ≤ x ≤ 1/ 4 1 , 0 ≤ x ≤ 1/ 2 1 f Ac ( x) = ve f A∨ B ( x) = − 4 x + 2 , 1 / 4 ≤ x ≤ 1 / 2 − 2 x + 2 , 1 / 2 ≤ x ≤ 1 2 x − 1 , 1/ 2 ≤ x ≤ 1 olduğu, fuzzy kümelerinde tümleme ve birleşim tanımlarından açıktır. ∅ ∈ τ′ ⇒ Her x ∈ X için f g −1 ( ∅ ) ( x) = f ∅ (g(x)) ⇒ g −1 (∅)=∅ ∈ τ ⇒ g −1 (∅) ∈ τ X ∈ τ′ ⇒ Her x ∈ X için f g −1 ( x ) ( x) = f X (g(x)) ⇒ g −1 (X)=X ∈ τ ⇒ g −1 (X) ∈ τ Diğer yandan, A ∈ τ′ , 0 ≤ x ≤1 x 0 ⇒ f g −1 ( A) ( x) = f A (g(x))= f A = 2 x − 1 , 1 ≤ x ≤ 2 x ⇒ f g −1 ( A) ( x) = f A (g(x))= f A = 0 (I = [0,1] olduğundan) 2 ⇒ g −1 (A)=∅ ∈ τ ⇒ g −1 (A) ∈ τ , 26 B ∈ τ′ , 0 ≤ x ≤ 1/ 2 1 x ⇒ f g −1 ( B ) ( x) = f B (g(x))= f B = − 2 x + 2 , 1 / 2 ≤ x ≤ 1 2 , 1≤ x ≤ 2 0 , 0 ≤ x ≤ 1/ 2 1 = = f A c (x) − 2 x + 2 , 1 / 2 ≤ x ≤ 1 ⇒ Her x ∈ X için f g −1 ( B ) ( x) = f A c (x) ⇒ g −1 (B)= Ac ∈ τ ⇒ g −1 (B) ∈ τ , A ∨ B ∈ τ ′ ⇒ f g −1 ( A∨ B ) ( x) = f A∨ B (g(x))= f A∨ B , 0 ≤ x ≤ 1/ 2 1 x = − 2 x + 2 , 1 / 2 ≤ x ≤ 1 2 , 1≤ x ≤ 2 x −1 , 0 ≤ x ≤ 1/ 2 1 = = f A c (x) − 2 x + 2 , 1 / 2 ≤ x ≤ 1 ⇒ Her x ∈ X için f g −1 ( A∨ B ) ( x) = f A c (x) ⇒ g −1 (A ∨ B)= Ac ∈ τ ⇒ g −1 (A ∨ B) ∈ τ x Böylece, her A ∈ τ ′ için g −1 (A) ∈ τ olur. O halde g:I → I, g(x)= fonksiyonu fuzzy 2 süreklidir. 2.10. Teorem (X, τ ) ve (Y, τ ′ ) iki fuzzy topolojik uzay ve g:X → Y bir fonksiyon olsun. Bu durumda aşağıdaki ifadeler denktir. i) g fonksiyonu fuzzy süreklidir [5]. 27 ii) τ ′ ye göre kapalı her fuzzy kümesinin ters görüntüsü τ ya göre kapalıdır [5]. İspat (i) ⇒ (ii): g fuzzy sürekli olsun. κ ′ τ ′ ye göre kapalılar ailesi olmak üzere, her K ∈ κ ′ için g −1 (K) ∈ κ olduğunu göstermeliyiz. Burada κ , τ ya göre kapalılar ailesidir. K∈ κ ′ ⇒ K c ∈ τ ′ ⇒ g −1 ( K c ) ∈ τ (g, fuzzy sürekli olduğundan) ⇒ [g −1 ( K ) ] c ∈ τ ⇒ g −1 ( K ) ∈ κ (ii) ⇒ (i): τ ′ ye göre fuzzy kapalı kümenin g altındaki ters görüntüsü τ ya göre fuzzy kapalı olsun. Yani, her K ∈ κ ′ için g −1 ( K ) ∈ κ olsun. Her A ∈ τ ′ için g −1 ( A) ∈ τ olduğunu göstermeliyiz. A ∈ τ ′ ⇒ Ac ∈ κ ′ ⇒ g −1 ( Ac ) ∈ κ ⇒ [g −1 ( A) ] c ∈ κ ⇒ g −1 ( A) ∈ τ 2.11. Teorem (X, τ ) ve (Y, τ ′ ) iki fuzzy topolojik uzay ve g:X → Y bir fonksiyon olsun. g fonksiyonu fuzzy sürekli ise, bu durumda A ≤ X fuzzy kümesi için g(A) ≤ Y kümesinin her komşuluğunun ters görüntüsü A nın bir komşuluğudur [5]. 28 İspat g fuzzy sürekli olsun. Komşuluk tanımından B nin g(A) nın bir komşuluğu olması için gerek ve yeter şart g(A) ≤ U ≤ B olacak biçimde U ∈ τ ′ nün var olmasıdır. Bu ifadeye g −1 uygulanırsa g −1 (g(A)) ≤ g −1 (U) ≤ g −1 (B) olur. A ≤ g −1 (g(A)) ve g −1 (U) açık olduğundan g −1 (U) ∈ τ ve A ≤ g −1 (U) ≤ g −1 (B) sağlanır. Böylece, g −1 (B) A nın komşuluğu olur. 2.12. Teorem (X, τ ) ve (Y, τ ′ ) iki fuzzy topolojik uzay ve g:X → Y bir fonksiyon olsun. Bu durumda aşağıdaki ifadeler birbirine denktir. i) g, fonksiyonu fuzzy süreklidir [5]. ii) τ ′ nün alt tabanına (ya da tabanına) ait her B kümesi için g −1 (B) ∈ τ olur [5]. İspat (i) ⇒ (ii): g fonksiyonu fuzzy sürekli ve β ′ de τ ′ için bir taban olsun. Buna göre her B ∈ τ ′ ve her p<B için p< B p ≤ B olacak biçimde B p ∈ β ′ vardır. g fonksiyonu fuzzy sürekli olduğundan, g −1 (B) ∈ τ , g −1 (p) ≤ g −1 (B) dir ve g −1 ( B p ) ∈ β , g −1 ( p ) ≤ g −1 ( B p ) ≤ g −1 ( B) sağlanır. Buradan g −1 (B) ∈ τ elde edilir. (ii) ⇒ (i): Açıktır. 2.13. Teorem (X, τ ) ve (Y, τ ′ ) iki fuzzy topolojik uzay ve g:X → Y bir fonksiyon olsun. Bu durumda aşağıdaki ifadeler denktir. i) g, fonksiyonu fuzzy süreklidir [1-5]. 29 ii) Her A ≤ X fuzzy kümesi için g (A) ≤ g ( A) dir [1-5]. İspat (i) ⇒ (ii): g fonksiyonu fuzzy sürekli olsun. Kapanış tanımından her A ≤ X için g ( A ) ≤ g ( A) dır. Buradan A ≤ g −1 (g(A)) ≤ g −1 ( g ( A) ) dır. g ( A) , fuzzy kapalı ve g nin sürekli olmasından, g −1 ( g ( A) ), X de fuzzy kapalıdır ve A kümesini kapsar. Halbuki, A yı kapsayan en dar küme A dır. O halde A ≤ A ≤ g −1 ( g ( A)) ⇒ g ( A) ≤ g ( A) olur. ii) ⇒ (i) Her A ≤ X için g (A) ≤ g ( A) ve K ≤ Y herhangi bir kapalı küme olsun. g −1 ( K ) ≤ X nin kapalı olduğunu gösterelim. Özel olarak A = g −1 (K) alırsak A = g −1 ( K ) ⇒ g (A) = g( g −1 ( K ) ) ≤ g ( g −1 ( K )) ≤ K = K ⇒ g (A) ≤ K olur. Diğer taraftan A ≤ g −1 ( g (A) ) ≤ g −1 (K) = A ⇒ A ≤ A dır. Böylece A = g −1 (K) kapalıdır. Teorem 2.11 den dolayı g fuzzy süreklidir. 2.14. Teorem (X, τ ), (Y, τ ′ ), (Z, τ ′′ ) fuzzy topolojik uzaylar ve g : X → Y , h : Y → Z fonksiyonları verilmiş olsun. g ve h fonksiyonları fuzzy sürekli ise, h g : X → Z fonksiyonu da fuzzy süreklidir [1-5]. İspat g : X → Y , h : Y → Z fuzzy sürekli ve her W ∈ τ ′′ olsun. h fonksiyonu fuzzy sürekli olduğundan, fuzzy sürekli olma tanımından h −1 (W) ∈ τ ′ dir. Ayrıca, g fonksiyonu fuzzy sürekli olduğundan, fuzzy sürekli olma tanımından h −1 (W) ∈ τ ′ için −1 g −1 (h −1 (W)) ∈τ dir. Teorem 2.10 (vii) şıktan dan dolayı (h g ) (W)= g −1 ( h −1 (W)) 30 olduğunu biliyoruz. Bu ise h g : X → Z fonksiyonunun fuzzy sürekli olması demektir. 31 3. FUZZY SIRA BAĞINTILARI VE FUZZY RİESZ UZAYLARI Bu bölümde fuzzy Riesz uzayı tanımı ve fuzzy Riesz uzayları ile ilgili bazı teoremleri vereceğiz. 3.1. Fuzzy Sıralı Kümeler 3.1. Tanım (fuzzy sıralı küme) X kesin küme (crisp set) olmak üzere, x,y,z∈X ve µ : X × X → [ 0,1] X × X in fuzzy altkümelerinin üyelik fonksiyonu iken 1) µ ( x, x) =1 2) µ ( x, y ) + µ ( y, x ) > 1 ⇒ x = y 3) max ( min{µ ( x, y ) , µ ( y, z )}) ≤ µ ( x, z ) y sağlanıyorsa, X e fuzzy sıralı küme denir ve ( X , µ ) veya kısaca X ile gösterilir [11]. 3.2. Tanım (fuzzy sıralı kümede üst sınır, alt sınır, supremum, infimum) A, X fuzzy sıralı kümesinin kesin kümesi olsun. A nın X üzerinde 1 , ∃ x ∈ A için µ ( x, y ) ≤ 0 2 U ( A )( y ) = ∧ µ ( x, y ) , diğer durumlarda x∈A biçimde tanımlanan U(A) fuzzy kümesine A nın üst sınırı olur. A nın L(A) alt sınırı 1 , ∃ x ∈ A için µ ( x, y ) ≤ 0 2 L ( A )( y ) = ∧ µ ( y, x) , diğer durumlarda x∈A 32 biçiminde tanımlanan X üzerindeki fuzzy kümesidir. Bir z elemanı için z ∈ U ( A ) ve y ∈ U ( A ) ⇒ y ∈ U ( z ) ( y ∈U ({z}) ) oluyorsa z ye A nın supremumu denir. Bir w elemanı için w ∈ L ( A ) ve y ∈ L ( A ) ⇒ y ∈ L ( w ) ( y ∈ L ({w}) ) oluyorsa w ya A nın infimumu denir [12]. 3.3. Tanım (fuzzy sıralı kümede artan dizi, azalan dizi) X fuzzy sıralı küme olsun. X in bir ( xn ) dizisi için m ≤ n iken µ ( xm , xn ) > oluyorsa ( xn ) ye artan dizi denir ve xn ↑ yazılır. 1 2 Ayrıca x= sup { xn : n ∈ IN } = ∨ xn mevcutsa xn ↑ x yazılır. Benzer olarak azalan dizi n∈IN inf { xn : n ∈ IN } = ∧ xn mevcutsa tanımlanır ve böyle dizi için xn ↓ yazılır. x = n∈IN xn ↓ x yazılır [11]. 3.4. Tanım (fuzzy sıralı kümede yakınsaklık ve limit) X fuzzy sıralı kümesinde bir dizi ( xn ) ve x ∈ X olsun. (a ) Her n ∈ IN için µ (an , xn ) > 1 1 ve µ ( xn , bn ) > 2 2 (b) an ↑ x ve bn ↓ x olacak biçimde X in (an ) ve (bn ) dizileri varsa ( xn ) dizisi x e fuzzy sıra bağıntısına F göre yakınsaktır veya kısaca (oF ) -yakınsak denir ve xn → x yazılır. x elemanına fuzzy sıra bağıntısına göre limiti denir ve x = (oF )- lim xn yazılır [10]. 3.1. Önerme Fuzzy sıra bağıntısına göre yakınsaklık aşağıdaki özelliklere sahiptir. 33 F i) xn ↑ iken xn → x ⇔ xn ↑ x , F xn ↓ iken xn → x ⇔ xn ↓ x , ii) Her ( F ) − yakınsak dizi sınırlıdır, 1 1 F F ve xn → y ⇒ µ ( x, y ) > , → x , yn 2 2 iii) Her n ∈ IN için µ ( xn , yn ) > F F iv) xn → x ve xn →y ⇒ x= y, F v) xn → x yakınsak ise, ( xn ) nin her bir alt dizisi aynı limite ( F ) -yakınsaktır. vi) Her n ∈ IN için µ ( yn , xn ) > 1 1 F F ve µ ( xn , zn ) > ve yn → x ve zn →x 2 2 F ise xn → x olur [10]. İspat oF i) ( ⇒ ) : xn → x ve ( an ) ile ( bn ) önceki tanımdaki diziler olsun. xn ↑ iken oF xn → x olduğundan her n ∈ IN için µ (an , xn ) > 1 1 ve µ ( xn , bn ) > dir. Ayrıca 2 2 bn ↓ x olduğundan x ∈ L ({bn : n ∈ IN } ) olur. Buradan her n ∈ IN için µ ( x, bn ) > 1 2 sağlanır. (bn ) azalan bir dizi olduğundan sabit bir m ve herhangi bir n ≤ m için 1 2 1 2 µ (bm , bn ) > ve ayrıca µ ( xm , bm ) > dir. Geçişme özelliğinden her n ≤ m için µ ( xm , bn ) > 1 1 sağlanır. n > m iken ( xn ) artan bir dizi olduğundan µ ( xm , xn ) > ve 2 2 ayrıca µ ( xn , bn ) > 1 1 dir. Geçişme özelliğinden µ ( xm , bn ) > elde edilir. m ∈ IN için 2 2 xm ∈ L ({bn : n ∈ IN } ) dir. x = Böylece her ∧ bn olduğundan her m ∈ IN için xm ∈ L ( x ) olur. n∈IN m ∈ IN için µ ( xm , x) > Ayrıca her m ∈ IN için µ (am , xm ) > 1 ve dolayısıyla x ∈ U ({ xm : m ∈ IN } ) dir. 2 1 1 olduğundan µ (am , y ) > olur. O halde 2 2 34 y ∈ U ({am : m ∈ IN } ) x= ve x= ∨ an n∈IN olduğundan y ∈ U ( x) olur. Dolayısıyla ∨ xn yani xn ↑ x sağlanır. n∈IN ( ⇐) : xn ↑ x olsun ve her n ∈ IN için an = xn ve bn = x alalım. (an ) artan (bn ) azalan ve an ↑ x , bn ↓ x sağlanır. Üstelik her n ∈ IN için µ (an , xn ) > 1 ve 2 1 o µ= ( xn , bn ) µ ( xn , x) > dir. Tanım 3.4 den xn → x olur. Azalan dizi durumu da 2 F benzer şekilde yapılır. oF ii) xn → x olsun. Her n ∈ IN için µ (an , xn ) > 1 1 , µ ( xn , bn ) > ve an ↑ x , bn ↓ x 2 2 olacak biçimde (an ) ve (bn ) dizileri vardır. an ↑ olduğundan her n ∈ IN için µ (a1 , an ) > 1 1 ve böylece a1 ∈ L ({an : n ∈ IN } ) dir. Her n ∈ IN için µ (an , xn ) > ⇒ 2 2 µ (a1 , an ) > 1 olduğundan a1 ∈ L ({ xn : n ∈ IN } ) olur ki, bu ( xn ) dizisinin alttan 2 sınırlı olmasını verir. bn ↓ olduğundan b1 ∈ U ({bn : n ∈ IN } ) dir. Her n ∈ IN için µ (bn , b1 ) > 1 olur. O halde b1 ∈ U ({ xn : n ∈ IN } ) dir ve böylece ( xn ) alttan sınırlıdır. 2 oF iii) xn → x ise, an ↑ x ve n ∈ IN için µ (an , xn ) > (an ) dizisi vardır. Her n ∈ IN için µ ( xn , yn ) > 1 olacak biçimde X in bir 2 1 1 olduğundan µ (an , yn ) > olur. 2 2 oF Yine yn → y ise, bn ↓ y ve her n ∈ IN için µ ( yn , bn ) > 1 olacak biçimde X in 2 bir (bn ) dizisi vardır. Sabit bir m ∈ IN için n ≤ m iken (an ) nin artan olmasından dolayı µ (an , am ) > 1 1 olur. Her m ∈ IN için µ (am , ym ) > olduğundan her n ≤ m için 2 2 35 µ (an , ym ) > 1 1 dir. Diğer yandan her m ∈ IN için µ ( ym , bm ) > olduğundan n ≤ m 2 2 iken µ (an , ym ) > 1 1 dır. n > m iken bn ↓ olmasından µ (bn , bm ) > olur. Her n > m 2 2 için µ ( yn , bn ) > 1 1 1 olduğundan µ ( yn , bm ) > dır. µ (an , yn ) > den dolayı her 2 2 2 n > m için µ (an , bm ) > 1 1 olur. Böylece her n ∈ IN için µ (an , bm ) > ; yani 2 2 bm ∈ U ({an : n ∈ IN } ) dır. x = ∨ an olduğundan bm ∈ U ( x) olur. m ∈ IN keyfi sabit n∈IN olduğundan her m ∈ IN için µ ( x, bm ) > 1 ; yani x ∈ L ({bm : m ∈ IN } ) dır. y = 2 olması x ∈ L( y ) olmasını gerektirir. Dolayısıyla µ ( x, y ) > iv) Her n ∈ IN için µ ( xn , xn ) > durumda µ ( y, x) > ∧ bn n∈IN 1 bulunur. 2 1 1 olduğu için (iii) den µ ( x, x) > olur. Tersi 2 2 1 dır. µ ( x, y ) + µ ( y, x) > 1 olması ve fuzzy sıra bağıntısının ters 2 simetri özelliğinden x = y elde edilir. v) (an ) ve (bn ) tanımındaki özellikte verilen diziler olsun. Her n ∈ IN için 1 2 1 2 µ (an , xn ) > , µ ( xn , bn ) > ve an ↑ x , bn ↓ x dır. ( xn ) , ( xn ) nin bir alt dizisi iken k her nk ∈ IN için µ (ank , xnk ) > Geriye 1 1 ve µ ( xnk , bnk ) > dır ve ank ↑ x , bnk ↓ x olur. 2 2 ank ↑ x olduğunu göstermek kalır. Her olduğundan x ∈ U ( {a nk k ∈ IN için µ (ank , y ) > : k ∈ IN }) dir. y ∈ U ( {a nk k ∈ IN : k ∈ IN }) için µ (an , x) > k 1 2 olsun. Bu durumda her 1 1 olduğundan her n ∈ IN için µ (an , y ) > olur. an ↑ x 2 2 36 olduğundan µ ( x, y ) > 1 ; yani y ∈ U ( x) bulunur. Böylece x = ∨ ank bulunur. Benzer 2 k∈IN oF → x sağlanır. olarak bnk ↓ x dir. Dolayısıyla xnk oF vi) yn → x ise an ↑ x ve n ∈ IN için µ (an , yn ) > 1 olacak biçimde (an ) dizisi 2 oF vardır. zn → x ise, bn ↓ x ve her n ∈ IN için µ ( zn , bn ) > 1 olacak biçimde (bn ) 2 dizisi vardır. Her n ∈ IN için µ (an , yn ) > 1 1 1 ve µ ( yn , xn ) > ⇒ µ (an , xn ) > 2 2 2 dir ve µ ( xn , zn ) > 1 1 1 ve µ ( zn , bn ) > ⇒ µ ( xn , bn ) > 2 2 2 oF → x elde edilir. olur. Diğer yandan an ↑ x ve bn ↓ x olduğundan xnk 3.2. Fuzzy Sıralı Vektör Uzayları 3.5. Tanım X vektör uzayı olmak üzere x1 , x2 ∈ X için µ ( x1 , x2 ) > 1 iken 2 1) x ∈ X için µ ( x1 , x2 ) ≤ µ ( x1 + x, x2 + x) 2) 0 < α ∈ IR için µ ( x1 , x2 ) ≤ µ (α x1 , α x2 ) özelliklerini sağlayan fuzzy sıralı küme ise X e fuzzy sıralı vektör uzayı denir [9]. 37 Örnek 5 X = IR n olsun. µ : IR n × IR n → [ 0,1] dönüşümü x = ( x1 ,..., xn ) , y = ( y1 ,..., yn ) iken x= y 1 , 2 µ ( x, y )= , i= 1,..., n için xi ≤ yi ve x ≠ y 3 diğer durumlarda 0 , biçiminde tanımlansın µ yansımalı ve ters simetriktir. µ nün geçişmeli olduğunu gösterelim. x = ( x1 ,..., xn ) , z = ( z1 ,..., zn ) ∈ X olsun. z = x ise, µ ( x, z ) ≥ ∨ [µ ( x, y) ∧ µ ( y, z )] y∈ X sağlanır. x ≠ z olması halinde iki durum vardır: 1) µ ( x, z ) = 2 = iken her i = 1, 2,..., n için xi ≤ zi dir. Bir y 3 ( y1 ,..., yn ) ∈ X için y = x veya y = z ise µ ( x, z ) ≥ µ ( x, y ) ∧ µ ( y , z ) sağlanır. y ≠ x ve y ≠ z ise, µ ( x, y ) ≤ Böylece µ ( x, z ) ≥ ∨ [µ ( x, y) ∧ µ ( y, z )] y∈ X olur. (3) 2 2 ve µ ( y, z ) ≤ olduğundan (3) sağlanır. 3 3 38 2) µ ( x, z ) = 0 ve y ∈ X olsun. y = x veya y = z ise (3) ün sağlandığı açıktır. y ≠ x ve y ≠ z olsun. µ ( x, y ) = 2 olduğundan her 3 µ ( x, z ) = 0 olduğundan en az bir i = 1, 2,..., n için xi ≤ yi dir. j = 1, 2,..., n için xi > zi olur. Aynı j için z j < x j ≤ y j olduğundan µ ( y, z ) = 0 olur ve (3) sağlanır. µ ( x, y ) = 0 ise (3) ün sağlandığı açıktır. Böylece µ ( x, z ) ≥ ∨ [µ ( x, y) ∧ µ ( y, z )] y∈ X elde edilir. O halde µ geçişkendir. Sonuç olarak, µ fuzzy sıra bağıntısıyla X = IR n fuzzy sıralı kümedir. X = IR n nin fuzzy sıralı vektör uzayı olduğunu gösterelim: (i) x, y ∈ X için µ ( x, y ) > 1 olsun. x = y ise her z ∈ X için 2 x + z = y + z ⇒ µ ( x + z , y + z ) = 1 = µ ( x, y ) olur. x ≠ y ise µ ( x, y ) = = z bir ( z1 ,..., zn ) ∈ X 2 dir ve her i = 1, 2,..., n için xi ≤ yi olur. Herhangi 3 ve x + z = y + z ⇒ µ ( x + z, y + z ) = (ii) x, y ∈ X ve µ ( x, y ) > her i = 1, 2,..., n için xi + zi ≤ yi + zi 2 olduğundan µ ( x, y ) ≤ µ ( x + z , y + z ) sağlanır. 3 1 olsun. x = y ise her 0 ≤ α ∈ IR için 2 α x= α y ⇒ 1= µ ( x, y ) ≤ µ (α x, α y )= 1 ve 39 olur. x ≠ y ise, µ ( x, y ) > 1 2 olduğundan µ ( x, y ) = olur. Bu durumda her 2 3 i = 1, 2,..., n için xi ≤ yi ve 0 ≤ α ∈ IR iken α xi ≤ α yi olur. Aynı zamanda α x ≠ α y dir. Böylece µ (α x, α y ) = 2 dür. α = 0 iken µ (α x, α y ) = 1 dir. O halde her 3 0 ≤ α ∈ IR için µ ( x, y ) ≤ µ (α x, α y ) olur. Sonuç olarak, µ fuzzy sıra bağıntısına göre X = IR n fuzzy sıralı vektör uzayıdır [10]. Örnek 6 X , [ 0,1] üzerinde sürekli reel değerli fonksiyonların vektör uzay, yani X = C [ 0,1] olsun. C [ 0,1] üzerinde f =g 1 , 3 , µ ( f ,= g) f ≤ g ve f ≠ g 4 0 , diğer durumlarda dönüşümünü tanımlayalım. µ nün yansımalı ve ters simetrik olduğu açıktır. Geçişmeli olduğunu görmek için f , h ∈ C[0,1] alalım. f =h durumunda geçişkenlik sağlanır. f ≠ h ise iki durumda söz konusudur. 1) µ ( f , h) = 3 olsun. Herhangi bir g ∈ C [ 0,1] için g = h veya g = f ise 4 µ ( f , h) ≥ µ ( f , g ) ∧ µ ( g , f ) sağlanır. g ≠ f ve g ≠ h olsun. µ ( f , h) ≤ sağlanır. Böylece (4) 3 3 ve µ ( g , h) ≤ olduğundan (4) 4 4 40 µ ( f , h) ≥ ∨ [ µ ( f , g ) ∧ µ ( g , f ) ] g olur. 2) µ ( f , h) = 0 ve g ∈ X olsun. g = f veya g = h iken (4) sağlanır. g ≠ f ve g ≠ h olsun. µ ( f , g ) = 3 ise, her x ∈ [ 0,1] için f ( x) ≤ g ( x) olur. µ ( f , h) = 0 4 olduğundan f ( x0 ) ≤ h( x0 ) olacak biçimde x0 ∈ [ 0,1] vardır. O halde h( x0 ) ≤ g ( x0 ) yani µ ( g , h) = 0 dır ve (4) sağlanır. Sonuç olarak µ geçişkendir. Şimdi C ∈ [ 0,1] in µ ye göre fuzzy sıralı vektör uzayı olduğunu gösterelim. (i) f , g ∈ C [ 0,1] ve µ ( f , g ) > 3 olsun. µ ( f , g ) = 1 ise 4 h ∈ C [ 0,1] için µ ( f + h, g + h) = 1 olur. µ ( f , g ) = f = g olduğundan her 3 ise f ≤ g ve f ≠ g dir. Bu 4 3 durumda her h ∈ C [ 0,1] için f + h ≠ g + h olduğundan µ ( f + h, g + h) = olur. 4 Böylece her f , g , h ∈ C [ 0,1] için µ ( f , g ) ≤ µ ( f + h, g + h ) sağlanır. (ii) f , g ∈ C [ 0,1] ve µ( f , g) > µ (α f , α g ) = 1 dir. µ ( f , g ) > 1 2 olsun. µ( f , g) = 1 0 ≤ α ∈ IR ise için 3 ise f ≤ g ve f ≠ g olmasından her 0 ≤ α ∈ IR 4 için α f ≤ α g ve α f ≠ α g olur ki, bu durumda µ (α f , α g ) = 3 sağlanır. α = 0 4 için µ (α f , α g ) = 1 dir. Böylece her bir durum için 0 ≤ α ∈ IR iken 41 µ ( f , g ) ≤ µ (α f , α g ) sağlanır. Sonuç olarak C [ 0,1] , µ fuzzy sıralı bağıntısıyla birlikte fuzzy sıralı vektör uzayıdır [10]. Not µ ( x1 , y1 ) > 1 2 µ ( x1 , y1 ) > 1 1 ve ⇒ µ ( x1 + x2 , y1 + x2 ) > 2 2 ve µ ( x2 , y2 ) > 1 2 ⇒ µ ( x1 + x2 , y1 + y2 ) > µ ( x2 , y2 ) > dir. Geçişme özelliğinden µ ( x1 + x2 , y1 + y2 ) > 1 2 dir. Gerçekten 1 1 ⇒ µ ( y1 + x2 , y1 + y2 ) > 2 2 1 olur [7]. 2 3.2. Önerme X fuzzy sıralı vektör uzayı x, x1 , x2 ∈ X ve α , β ∈ IR olmak üzere aşağıdakiler sağlanır. a) µ (0, x) > 1 1 1 ve µ (0, y ) > ⇒ µ (0, x + y ) > 2 2 2 b) µ (0, x) > 1 1 ve µ (0, − x) > ⇒ x = 0 2 2 c) µ (0, x) > 1 1 ve α ≥ 0 ⇒ µ (0, α x) > 2 2 d) µ ( x, y ) > 1 1 ve α ≤ 0 ⇒ µ (α x, α y ) > 2 2 e) µ (0, x) > 1 1 ve α ≤ β ⇒ µ (α x, β y ) > [10]. 2 2 İspat a) Yukarıda verilen nottan sağlanır. 42 b) µ (0, − x) > 1 ⇒ 2 µ (0, − x) ≤ µ (0 + x, x − x) ⇒ µ ( x, 0) > 1 olduğundan ters 2 simetri özelliğinden x = 0 olur. c) Fuzzy sıralı vektör uzayı tanımının ikinci özelliğinden sağlanır. µ ( x, y ) > d) µ (α y, α x) > e) µ (0, x) > 1 1 ⇒ µ (0, y − x) > dir. α ≥ 0 olduğundan 2 2 1 2 µ (0, α x − α y ) > ⇒ 1 olur. 2 1 1 1 ve α ≤ β ⇒ < µ (0, x) ≤ µ (0, β y − α x) ⇒ µ (α x, β y ) > olur. 2 2 2 3.3. Önerme {x } j , fuzzy sıralı vektör uzayındaki elemanların bir sistemi olsun. j∈J j∈J ∧ (− x ) de vardır ve ∨ x j j∈J ∨x j∈J j j varsa, = − ∧ (− x j ) sağlanır [10]. j∈J İspat a = ∨xj alalım j∈J µ ( − a, − x j ) > a ∈ U ({x j : j ∈ J }) veya her j∈J için µ ( x j , a) > 1 ⇒ 2 1 olduğundan −a ∈ L({− x j : j ∈ J }) olur. x ∈ L({− x j : j ∈ J }) olsun. 2 Her j ∈ J için − x ∈ U ({x j : j ∈ J }) olur. a = ∨ x j olduğundan − x ∈ U (a ) dir. Yani j∈J µ ( a, − x ) > olur. 1 1 dolayısıyla µ (− x, a ) > ⇒ x ∈ L(−a ) olur. Böylece −a= 2 2 ∧ (− x ) j∈J j 43 3.4. Önerme Bir fuzzy sıralı vektör uzayının elemanlarının iki sistemi { x j } ∨x j∈J j ve ∨ k∈K yk varsa ∨ j∈J , k∈K ( x j + yk ) da vardır ve ∨ j∈J , k∈K j∈J ve { xk }k∈K olsun. ( x j + yk )= ∨ x + ∨y j∈J j K ∈k k sağlanır [10]. İspat a = ∨ x j ve b = j∈J µ ( x j , a) > ∨ k∈K yk olsun. Her j ∈ J ve k ∈ K için 1 1 1 ve µ ( yk , b) > ⇒ µ ( x j + yk , a + b) > 2 2 2 ⇒ a + b ∈U olur. Herhangi bir z ∈U ({ x j ({ x j + yk : j ∈ J ve k ∈ K } + yk : j ∈ J ve k ∈ K } ) için ) µ ( x j + yk , z ) > 1 2 olduğundan k yı sabit alarak her j ∈ J için µ ( x j , z − yk ) > 1 ⇒ z − yk ∈ U 2 ({ x j ) : j ∈ J } ⇒ z − yk ∈ U ( a ) elde edilir. Böylece her k ∈ K için µ (a, z − yk ) > 1 1 ⇒ µ ( yk , z − a ) > olduğundan 2 2 z − a ∈ U ({ yk : k ∈ K } ) olur. O halde z − a ∈ U (b) ⇒ µ (b, z − a ) > a+b olduğundan= ∨ j∈J , k∈K 1 1 ⇒ µ ( a + b, z ) > ⇒ z ∈ U ( a + b ) 2 2 (x j + y k ) eşitliği elde edilir. 44 Benzer önerme en büyük alt sınır için de verilebilir. 3.5. Önerme X fuzzy sıralı vektör uzayının elemanlarının bir sistemi { x j } 0 < α ∈ IR ise, j∈J olsun. ∨x j var ve 0 < α ∈ IR iken j∈J ∨ (α x ) de vardır ve ∨ (α x ) = α ( ∨ x ) sağlanır [10]. j j∈J j j∈J j∈J j İspat a = ∨ xj j∈J alınırsa, her µ (α x j , α a) > µ(x j , 1 α x) > j∈J µ ( x j , a) > için ( ) 1 2 olur. ( ) 1 ⇒ α a ∈ U {α x j : j ∈ J } dir. x ∈ U {α x j : j ∈ J } ve 0 < α iken 2 1 1 (∀j ) ⇒ x ∈U 2 α ({ x ⇒ µ (α a, x) > = α a α= (∨ x j ) olduğundan j∈J j ) : j ∈ J} ⇒ 1 α x ∈ U ( a ) ⇒ µ (α , 1 α x) > 1 ⇒ x ∈ U (α a ) 2 ∨ (α x ) bulunur. j∈J j 3.6. Önerme ∨x j∈J j var ve 0 < α ise, ∧ (α x ) de vardır ve ∧ (α x ) = α ( ∨ x ) sağlanır. j∈J j j j∈J j∈J İspat −α > 0 olduğundan bir önceki önermeden ∨ ((-α )x ) vardır ve j∈J j j 1 2 45 −(α ( ∨ x )) (−α )( ∨ x ) = ∨ ((-α )x ) = j∈J j j∈J j sağlanır. Önerme 3.3 den j∈J j α (∨ x j ) ⇒ − ∨ (-α x j ) = j∈J ∧ (α x ) = α ( ∨ x ) j∈J j j∈J j j∈J elde edilir [10]. 3.7. Önerme Bir fuzzy sıralı vektör uzayında aşağıdakiler sağlanır. oF oF oF (a) xn →x+ y → x ve yn → y ⇒ xn + yn oF oF (b) xn → α x [10]. → x ve α ∈ IR ⇒ α xn İspat (a) (oF ) -yakınsaklık tanımından her n ∈ IN için µ (an , xn ) > µ (an′ , yn ) > 1 1 , µ ( xn , bn ) > , 2 2 1 1 ve µ ( yn , bn′ ) > olacak biçimde (an ) , (bn ) , (an′ ) , (bn′ ) dizileri vardır 2 2 ve an ↑ x , bn ↓ x , an′ ↑ y , bn′ ↓ y sağlanır. Her n için µ (an , xn ) > 1 1 1 ve µ (an′ , yn ) > ⇒ µ (an + an′ , xn + yn ) > 2 2 2 µ ( xn , bn ) > 1 1 1 ve µ ( yn , bn′ ) > ⇒ µ ( xn + yn , bn + bn′ ) > 2 2 2 dir. Ayrıca (an + an′ ) artan ve (bn + bn′ ) azalandır. Geriye x += y x += y ∧ (b n∈IN µ (an′ , yn ) > n ∨ (a n∈IN n + an′ ) ve + bn′ ) olduğunu göstermek kalır. Her n ∈ IN için µ (an , xn ) > 1 1 ⇒ µ (an + an′ , x + y ) > 2 2 olduğundan 1 ve 2 x + y ∈ U ({an + an′ : n ∈ IN } ) olur. z ∈ U ({an + an′ : n ∈ IN } ) alınırsa, her n ∈ IN için µ (an + an′ , z ) > 1 olduğundan 2 46 her m, n ∈ IN için µ (am + an′ , z ) > 1 dir. n sabit ve 2 1 2 µ (am + an′ , an + an′ ) > dir. Ayrıca µ (am + an′ , z ) > m ≤ n iken µ (am , an ) > 1 ⇒ 2 1 olur. Diğer yandan, m > n ise 2 (an′ ) artan olduğundan µ (am′ , an′ ) > dir. 1 1 ⇒ µ (am + an′ , am + am′ ) > 2 2 1 µ (am + am′ , z ) > 2 Ayrıca olduğundan yine geçime µ (am + an′ , z ) > 1 olur. n keyfi sabit olduğundan her m, n ∈ IN için 2 µ (am + an′ , z ) > 1 ⇒ z ∈ am + an′ : m, n ∈ IN 2 elde edilir. ∨ m∈IN ({ ∨ a m ve n∈IN a n′ nün varlığı }) ⇒ z ∈U ∨ m , n∈IN özelliğinden (am + an′ ) m , n∈IN ∨ (am + an′ ) nun varlığını garanti eder ve böylece Önerme 3.4 den ∨ m , n∈IN (am + an′ ) =∨ a m + m∈IN ∨ n∈IN a n′ =x + y olur. Böylece z ∈ U ( x + y ) ve dolayısıyla x += y ∨ (a n∈IN y yöntemle x += ∧ (b n∈IN n n + an′ ) sağlanır. Benzer oF + bn′ ) sağlanır. O halde xn + yn → x + y olur. oF (b) xn → x ise, an ↑ x , bn ↓ x ve her n ∈ IN için µ (an , xn ) > 1 1 , µ ( xn , bn ) > 2 2 olacak biçimde (an ) ve (bn ) dizleri vardır. α > 0 iken her n ∈ IN için 47 µ (α an , α xn ) > µ (am , an ) > 1 1 ve µ (α xn , α bn ) > olur. (an ) artan olduğundan m ≤ n iken 2 2 1 1 ⇒ µ (α am , α an ) > den (α an ) de artandır. Benzer yolla (α bn ) nin 2 2 azalan dizi olduğu gösterilir. Önerme 3.5 den (α a ) ∨= n∈IN n α= ( ∨ an ) α x ve ∧= (α bn ) α= ( ∧ bn ) α x n∈IN n∈IN n∈IN oF dir. O halde α xn → α x olur. α < 0 ise, her n ∈ IN için µ (an , xn ) > µ ( xn , bn ) > 1 ⇒ 2 µ (α bn , α xn ) > 1 2 ve µ (α xn , α an ) > 1 olur. 2 1 ve 2 (bn ) azalan olduğundan (α bn ) artan, (an ) artan olduğundan (α an ) azalandır. Önerme 3.6 dan (α b ) ∨= n∈IN n α= ( ∧ bn ) α x ve n∈IN (α a ) ∧= n∈IN n ( ∨ an ) α x α= n∈IN oF dır. O halde α xn → α x olur. α = 0 durumu ise aşikardır. 3.6. Tanım (fuzzy sıralı kümede yönlendirilmiş küme) D, X fuzzy sıralı kümesinin alt kümesi olmak üzere D nin her F sonlu alt kümesi için D ∩ U ( F ) ≠ ∅ ve D ∩ L ( F ) ≠ ∅ oluyorsa D ye yönlendirilmiş küme denir [9]. 3.7. Tanım (yönlendirilmiş fuzzy sıralı vektör uzayı, fuzzy Arşimedyan uzay) (a) Yönlendirilmiş küme olan fuzzy sıralı vektör uzayına yönlendirilmiş fuzzy sıralı vektör uzayı denir [12]. (b) X yönlendirilmiş fuzzy sıralı vektör uzayındaki herhangi bir negatif olmayan x∈ X elemanı için {α x : 0 < α ∈ IR} kümesi üstten sınırlı değilse, X e fuzzy Arşimedyan uzay denir [12]. 48 3.1. Teorem X yönlendirilmiş fuzzy sıralı vektör uzayının, fuzzy Arşimedyan uzay olması için gerek ve yeter şart α n → α iken 1 µ (α n x, y ) > olacak biçimde x, y ∈ X için 2 1 2 µ (α x, y ) > olmasıdır [12]. İspat X fuzzy Arşimedyan uzay ve {α n } , α n → α olacak biçimde reel sayıların artan bir ( ) dizisi olsun, yani α n ↑ α α = ∨ α n olsun. Her n için ε n= α − α n alınırsa 0 ≤ ε n ↓ . Gerçekten, m≤n n N ⇒αm ≤ αn ⇒ α − αm ≥ α − αn ⇒ ε m ≥ ε n dir. Ayrıca inf ε n = inf (α − α n ) = α − sup α n =0 olur, yani ε n ↓ 0 dir. O halde her 0 ≤ z ∈ X için 1 ε n 0 z ↓ . Her x, y ∈ X için n ∈ IN iken µ (α n x, y ) > ise X yönlendirilmiş olduğu 2 için 1 2 µ ( x, z ) > olacak biçimde pozitif bir z ∈ X in varlığı düşünüldüğünde α x − y= (α n + ε n ) x − y= (α n x − y ) + ε n x µ (α x − y , ( α n x − y ) + ε n x ) > 1 2 ve dolayısıyla her n ∈ IN için 1 2 olmasından, her n ∈ IN için µ (α x − y, ε n x ) > olur. Ayrıca µ ( x, z ) > ve ε n ≥ 0 ⇒ µ ( ε n x, ε n z ) > 1 olduğundan 2 µ (α n x − y + ε n x, ε n x ) > 1 2 sağlanır. olur. 1 2 n ∈ IN iken µ (α x − y, ε n z ) > Yani Üçgen 1 2 µ (α n x, y ) > eşitsizliğinden 1 , yani ( α x − y ) ∈ L ({ε n z : n ∈ IN } ) olur. Böylece 2 (α x − y ) ∈ L(0) ⇒ µ (α x − y, 0) > 1 1 ⇒ µ (α n x, y ) > elde edilir. α n ↓ α olsun. Bu 2 2 durumda −α n ↓ −α olur. α n x = ( −α n )( − x ) eşitliği ele alındığında yukarıdaki ispattan 49 µ ( (-α )(− x), y ) > 1 1 ⇒ µ (α n x, y ) > bulunur. Son olarak {α n } monoton değilse 2 2 α k → α olacak biçimde {α n } nin monoton bir {α kn } alt dizisi vardır ve bu alt dizisi n üzerinde yapılan ispatla µ (α n x, y ) > 1 bulunur. 2 Tersine her 0 < α ∈ IR için µ (α n x, y ) > olduğundan her n ∈ IN için 1 1 ise µ x, 2 α 1 1 1 y > ⇒ µ (− y), −x > 2 α 2 1 1 µ (− y), −x > α 2 ve 1 →0 n olduğundan 1 1 µ ( 0 ( − y ) , − x ) > ⇒ µ ( x, 0) > elde edilir, yani x negatif olur. O halde x ∈ X için 2 2 {α x : 0 < α ∈ IR} üstten sınırlı ise, x negatif olur ki bu x in fuzzy Arşimedyan uzay olması demektir. 3.3. Fuzzy Riesz Uzayları 3.8. Tanım (fuzzy pozitif, fuzzy negatif elemanlar) 1 X fuzzy sıralı vektör uzayındaki bir x elemanı için µ (0, x) > oluyorsa x e fuzzy 2 1 pozitif, µ ( x, 0) > oluyorsa x e fuzzy negatif denir. X in tüm fuzzy pozitif 2 elemanlarının kümesi X + ile fuzzy negatif elemanlarının kümesi X − gösterilir [9]. 3.9. Tanım (fuzzy Riesz uzayı) X fuzzy sıralı vektör uzayının sonlu her altkümesinin supremumu ve infumumu varsa (yani X e aitse), X e fuzzy Riesz uzayı denir [9]. 50 Örnek 7 X = IR 2 olsun. x = ( x1 , x2 ) , y = ( y1 , y2 ) olmak üzere 1 3 4 µ : X × X → [ 0,1] ; µ ( x, y ) = 2 3 0 , x= y , x1 ≤ y1 , x2 ≤ y2 ve x ≠ y , x1 < y1 ve x2 > y2 , diğer durumlarda dönüşümünü tanımlayalım. Pozitif elemanların kümesi, P = {( x, y ) ∈ IR 2 : x ≥ 0 ve y ≥ 0} ∪ {( x, y ) ∈ IR 2 : x > 0 ve y < 0} ve negatif elemanların kümesi, Q = {( x, y ) ∈ IR 2 : x ≤ 0 ve y ≤ 0} ∪ {( x, y ) ∈ IR 2 : x < 0 ve y > 0} dir. µ bağıntısı yansımalı ve ters simetriktir. Geçişme özelliğinin sağlandığını görelim. x, z ∈ X olsun. Dört durum söz konusudur: (i) µ ( x, z ) = 1 iken x ≠ z dir. µ ( x, z ) ≥ ∨ [ µ ( x, y ) ∧ µ ( y , z ) ] y (5) olur. (ii) µ ( x, z ) = 3 iken x ≠ z dir. Herhangi bir y ∈ X için y = x veya y = z ise 4 µ ( x, z ) ≥ µ ( x, y ) ∧ µ ( y , z ) (6) 51 sağlanır. y ≠ x ve y ≠ z ise, µ ( x, y ) ≤ 3 3 ve µ ( y, z ) ≤ olur. Bu durumda (6) 4 4 sağlanır. O halde (5) bu durumda da sağlanır. (iii) µ ( x, z ) = 2 iken x1 < z1 3 ve x2 > z2 dir. y = x veya y = z ise (6) sağlanır. µ ( x, y ) = 3 olduğundan x1 ≤ y1 ve x2 ≤ y2 dir. Böylece y2 ≥ z2 olur. O halde 4 µ ( y, z ) ≤ 2 2 ve tekrar (6) sağlanır. µ ( x, y ) < ise (6) sağlanır. Bu durumda (5) 3 3 sağlanır. (iv) µ ( x, z ) = 0 iken x1 ≥ z1 dir. x1 = z1 ise, x2 > z2 olur. Herhangi bir y ∈ X için, y = x veya y = z olduğundan (6) bağıntısının doğruluğu açıktır. olsun. µ ( x, y ) = y ≠ x ve y ≠ z 3 ise x1 ≤ y1 ve x2 ≤ y2 dir. Dolayısı ile y1 ≥ z1 ve y2 > z2 olur. 4 Böylece µ ( y, z ) = 0 ve (6) sağlanır. µ ( x, z ) = 2 ise x1 < y1 veya x2 > y2 dir. Bu 3 durumda y1 > z1 ve µ ( y, z ) = 0 olur. O halde x1 = z1 iken herhangi bir y ∈ X için (6) sağlanır. x1 > z1 ve y ∈ X olsun. µ ( x, y ) = 1 ise (6) sağlanır. µ ( x, y ) = 3 ise x1 ≤ y1 ve 4 x2 ≤ y2 olur. Bu y1 > z1 olduğunu gösterir. O halde µ ( y, z ) = 0 dır ve (6) sağlanır. µ ( x, y ) = 2 ise x1 < y1 ve x2 > y2 dır. Bu durumda y1 > z1 olur ve µ ( y, z ) = 0 3 sağlanır. Böylece herhangi bir y ∈ X için (6) sağlanır. Sonuç olarak (5) bu durumda da sağlanır. Böylece µ bağıntısı geçişkendir. X = IR 2 koordinat cebir işlemleriyle reel vektör uzaydır. µ fuzzy sıra bağıntısıyla IR 2 fuzzy sıralı vektör uzayıdır. Gerçekten i) x, y ∈ IR 2 için µ ( x, y ) = buradan 1 olsun. x = y ise her z ∈ X için x + z = y + z ve 2 52 µ ( x, y ) ≤ µ ( x + z , y + z ) sağlanır. µ ( x, y ) = (7) 3 ise x1 ≤ y1 , x2 ≤ y2 ve x ≠ y olur. Herhangi bir z için 4 3 x1 + z1 ≤ y1 + z1 ve x2 + z2 ≤ y2 + z2 ve x + z ≠ y + z olduğundan µ ( x + z , y + z ) = 4 ve böylece (7) sağlanır. µ ( x, y ) = 2 ise x1 < y1 ve x2 > y2 dir. Herhangi bir z ∈ X 3 2 için x1 + z1 < y1 + z1 ve x2 + z2 > y2 + z2 olduğundan µ ( x + z , y + z ) = ve böylece 3 (7) sağlanır. 1 olsun. µ ( x, y ) = 1 ise x = y ve her 0 ≤ α ∈ IR için 2 ii) x, y ∈ X için µ ( x, y ) > α x = α y olduğundan µ (α x, α y ) = 1 olur. Böylece her 0 ≤ α ∈ IR için µ ( x, y ) ≤ µ (α x, α y ) olur. µ ( x, y ) = (8) 3 ise x1 ≤ y1 , x2 ≤ y2 ve x ≠ y olur. Herhangi bir 0 < α ∈ IR için 4 α x ≠ α y olduğundan µ (α x, α y ) = α x1 ≤ α y1 , α x2 ≤ α y2 , 3 olur. α = 0 ise 4 α x= 0= α y ⇒ µ (α x, α y ) = 1 dır. O halde (8) sağlanır. µ ( x, y ) = 2 ise x1 < y1 ve 3 x2 > y2 dir. Herhangi bir 0 < α ∈ IR için α x1 < α y1 ve α x2 > α y2 ve böylece µ (α x, α y ) = 2 olur. α = 0 ise, α x= 0= α y ve böylece µ (α x, α y ) = 1 olur ve (8) 3 sağlanır. Böylece µ fuzzy sırası ile X = IR 2 fuzzy sıralı vektör uzayıdır. Geriye IR 2 nin bir sonlu alt kümesinin supremum ve infimuma sahip olduğunu göstermek kalır. A = {x : x = i i (ai , bi ) ∈ IR 2 , i = 1,..., n} sonlu alt kümesini alalım ve { = a sup = {ai : i 1,..., n} olsun. (a, bi1 ),..., (a, bim ) ∈ A ise, b = inf bi1 ,..., bim } olsun. 53 n = a′ inf = ∨ xi = supA sağlanır. Benzer olarak, (a, b) ∈ A dir ve (a, b) = {ai : i 1,..., n} i =1 ve (a′, bk1 ),..., (a′, bkl ) ∈ A ise, { b′ = sup bk1 ,..., bkl n (a′, b′) = ∧ xi = inf A sağlanır. Sonuç olarak, i =1 } olsun. (a′, b′) ∈ A ve IR 2 µ fuzzy sırası ile fuzzy Riesz uzayıdır [11]. 3.2. Teorem 1 Bir X fuzzy Riesz uzayında µ x + y , x + y > sağlanır [9]. 2 İspat x+ +y+ ) > µ ( ( x + y )+ , 1 ve µ 2 (( x + y ) − , + x− y− ) > ⇒ µ ( ( x + y )+ + ( x + y )− , x+ + x− + y+ + y− ) > ⇒ µ ( x + y , x + y )> 1 2 1 2 1 2 3.1. Lemma Bir X fuzzy Riesz uzayında herhangi üç pozitif eleman µ ( x ∧ ( x1 + x2 ) , x ∧ x1 + x ∧ x2 ) > x, x1 , x2 1 sağlanır [9]. 2 İspat y =x ∧ ( x1 + x2 ) olsun. Bu durumda µ ( y, x1 + x2 ) > 1 ve y pozitiftir. O halde 2 için 54 y= y1 + y2 olacak biçimde iki pozitif y1 ve y2 elemanı için µ ( y1 , x1 ) > µ ( y2 , x2 ) > µ ( y2 , x ) > 1 , 2 1 1 1 x > sağlanır. µ ( y, ) ve y= y1 + y2 olduğundan µ ( y1 , x ) > ve 2 2 2 1 2 ( µ yi , x ∧ xi ) > olur. Böylece i = 1, 2 yi ∈ L ({ x, xi } ) ⇒ yi ∈ L ( x ∧ xi ) ⇒ için 1 1 1 x ∧ xi ) > olduğundan µ ( y1 + y2 , x ∧ x1 + x ∧ x2 ) > elde ⇒ µ ( yi , 2 2 2 edilir. 3.10. Tanım (fuzzy pozitif operatör) X fuzzy sıralı vektör uzayını Y fuzzy sıralı vektör uzayına dönüştüren bir U operatörü, η Y üzerinde fuzzy sıra olmak üzere, µ ( x, 0) > iken η ( 0, U ( x ) ) ≥ µ ( 0, x ) 1 2 şartını sağlıyorsa U ya fuzzy pozitif operatör denir [12] • U : X →Y toplamsal fuzzy pozitif operatör ise 1 2 µ ( x1 , x2 ) > iken η (U ( x1 ) ,U ( x2 ) ) ≥ µ ( x1 ,x2 ) sağlanır. • X ile Y iki fuzzy Riesz uzayı ve U : X → Y toplamsal fuzzy pozitif operatörse ( ) Teorem 3.2 den η U ( x+ ) − U ( x− ) , U ( x+ ) + U ( x− ) > ( ) iken η U ( x ) , U ( x ) > 1 sağlanır. Böylece x ∈ X 2 1 olur. 2 3.2. Lemma X bir fuzzy Riesz uzayı ve Y bir fuzzy Arşimedyan uzay olsun U : X → Y toplamsal 55 fuzzy pozitif operatör ise U operatörü homojendir [12]. İspat 𝛼 her hangi bir reel sayı olsun. Bu durumda an ↑ α ve bn ↓ α olacak biçimde {an }n∈IN ve {bn }n∈IN rasyonel sayı dizileri mevcuttur. Herhangi bir sıfırdan farklı pozitif x ∈ X için η (U ( an x ) ,U (α x ) ) > µ ( an x, α x ) > 1 2 1 2 η (U (α x ) ,U ( bn x ) ) > µ ( ( anU ( x ) ,U (α x ) ) > η (α U ( x ) , U ( α x ) ) > 1 2 ve ve ve 1 µ (α x, b n x) > 2 µ (U (α x ) , bnU ( x ) ) > 1 2 1 2 olsun. Bu durumda sağlanır. Böylece olur. Teorem 3.1 den 1 1 ve η (U (α x ) , αU ( x ) ) > ve dolaysıyla U (α x ) = αU ( x) 2 2 sağlanır. 3.3. Lemma X bir fuzzy Riesz uzayı ve Y bir vektör uzay olsun. U ( x + y= ) U ( x ) + U (y) olacak biçimdeki x, y ∈ X + U : X + → Y operatörünün bir iken tek V : X → Y genişlemesi vardır. Üstelik her x ∈ X için = V ( x ) U ( x+ ) − U ( x− ) (9) sağlanır [12]. İspat (9) eşitliği X fuzzy Riesz uzayı üzerinde bir toplamsal operatör tanımlar. Gerçekten, x ∈ X alınırsa X in 56 ( x + y )+ + a = x+ + y+ ve ( x + y )− + a = x− + y− şartlarını sağlayan a ≥ 0 elemanı vardır. Böylece U ( x + y )+ + U ( a ) = U ( x+ ) + U ( y+ ) ve U ( x + y )− + U ( a= ) U ( x− ) + U ( y− ) olur. Dolayısıyla V ( x + y = ) V ( x ) + V ( y ) sağlanır. Aynı zamanda V, U operatörünün tek genişlemesidir. f ve g X fuzzy Riesz uzayı üzerinde iki lineer fonksiyonel olsun. X in cebirsel duali üzerinde sıralama bağıntısı f ≤ g ⇔ g − f fuzzy pozitif biçiminde tanımlanır. 3.3. Teorem f X fuzzy Riesz uzayı üzerinde tanımlanan fuzzy pozitif lineer fonksiyonel, X * X in cebirsel duali olmak üzere, herhangi x∈ X bir için f ( x+ ) = sup { g ( x ) : g ∈ X * , 0 ≤ g ≤ f } olur [12]. İspat { } Herhangi bir a ∈ X için sup g ( a ) : g ∈ X * , 0 ≤ g ≤ f ≤ f ( a ) ≤ f ( a+ ) sağlanır. X+ üzerinde U = ( x ) sup { f ( x ∧ α a+ ) : 0 ≤ α ∈ IR} biçiminde tanımlanan U fonksiyonu toplamsaldır. Gerçekten herhangi bir α ≥ 0 için. Lemma 3.1 den µ ( ( x1 + x2 ) ∧ α a+ , ( x1 ∧ α a+ ) + ( x2 ∧ α a+ ) ) > 1 sağlanır. Bu durumda η IR üzerinde 2 1 f ( x ∧ α a ) + f ( x ∧ α a )) > ( ( ( x + x ) ∧ α a ) , 2 fuzzy sıralama bağıntısı iken η f 1 2 + 1 + 2 + 57 ve dolayısıyla η (U ( x1 + x2 ) , U ( x1 ) + U ( x2 ) ) > 1 olur. Diğer yandan. Önerme 3.4 2 den α1 , α 2 ≥ 0 iken µ ( ( x1 ∧ α1a+ ) + ( x2 ∧ α 2 a+ ) , ( x1 + x2 ) ∧ (α1 + α 2 ) a+ ) > ( Bu durumda η f ( x1 ∧ α1a+ ) + f ( x2 ∧ α 2 a+ ) , f dolayısıyla η ( (U ( x1 ) + U ( x2 ) ) , U ( x1 + x2 ) ) > (( x 1 1 2 1 sağlanır. 2 ) + x2 ) ∧ (α1 + α 2 ) a+ ) > olur. Böylece 1 2 ve U ( x1 + x2 ) = U ( x1 ) + U ( x2 ) elde edilir. Lemma 3.3 den U nun X üzerinde tanımlı bir V toplamsal operatörüne tek genişlemesi vardır. x ∈ X + iken V= ( x ) U ( x ) ≤ f ( x ) olduğundan V ≤ f olur. Bu durumda 0 ≤ V ≤ f ve V ∈ X * elde edilir. V ( a− ) = 0 olmasından dolayı V (= a ) U ( a= f ( a+ ) < sup { g ( x ) : g ∈ X * , 0 ≤ g ≤ f } +) { } olur. O halde f ( a+ ) < sup g ( x ) : g ∈ X * , 0 ≤ g ≤ f sağlanır. 3.11. Tanım (yeten küme) S X fuzzy Riesz uzayı üzerinde fuzzy pozitif lineer fonksiyonellerin bir kümesi olmak üzere, sıfırdan farklı herhangi bir x ∈ X için f ( x ) ≠ 0 olacak biçimde f ∈ S varsa S ye yeten küme denir [12]. 3.4. Teorem X fuzzy Riesz uzayı, üzerindeki fuzzy pozitif lineer fonksiyonellerin yeten kümesiyle verilsin ve a ∈ X olsun. Her fuzzy pozitif lineer f fonksiyoneli için η ( 0, f ( a ) ) > ise µ ( 0, a ) > 1 sağlanır. 2 1 2 58 İspat f ve g X üzerinde fuzzy lineer fonksiyoneller ve 0 ≤ g ≤ f iken η ( g ( a ) , f ( a ) ) > 1 2 olsun. Teorem 3.3 den her fuzzy pozitif lineer f fonksiyoneli için f ( a+ ) = f ( a ) olur. X üzerinde fuzzy pozitif lineer fonksiyonellerin bir yeten kümesi var olduğundan a+ = a sağlanır. Böylece µ ( 0, a ) > 1 sağlanır. 2 3.12. Tanım (başlıca (majorizing) alt vektör uzay) Z, X fuzzy Riesz uzayının alt vektör uzayı olmak üzere, herhangi bir x ∈ X için µ ( x1 , x ) > 1 2 ve µ ( x, x2 ) > 1 2 olacak biçimde x1 , x2 ∈ Z varsa Z ye başlıca (majorizing) alt vektör uzay denir [12]. 3.5. Teorem Z, X fuzzy Riesz uzayının başlıca alt vektör uzayı, Y tam fuzzy Riesz uzayı olsun. U : Z → Y fuzzy pozitif lineer operatör ise x ∈ X iken V ( x ) = U ( x ) olacak biçimde V : X → Y fuzzy pozitif lineer operatörü vardır [12]. İspat v ∈ Z c ve x1 , x2 ∈ Z için µ ( x1 , v ) > 1 1 ve µ ( v, x2 ) > olsun. U fuzzy pozitif lineer 2 2 operatör olduğundan η (U ( x1 ) , U ( x2 ) ) > 1 olur. 2 1 1 a = sup U ( x ) : x ∈ Z ve µ ( x, v ) > ve µ ( v, u ) > , b = sup U ( x ) : x ∈ Z , 2 2 59 y1 ∈ [ a, b ] = ve x1 sup ( Z ∪ {v} ) alalım. x ∈ Z ve α ∈ IR iken U1 : X 1 → Y ; U1 ( x + α v ) = U ( x ) + α y1 biçiminde tanımlanan U1 operatörü fuzzy pozitif lineer operatördür. Gerçekten α ≠ 0 için µ ( 0, x + α v ) > 1 alındığında, α > 0 iken 2 1 1 1 1 1 x, v > ⇒ η − U ( x ) , y1 > ⇒ η ( 0, U1 ( x + α v ) ) > 2 α 2 α 2 µ− olur. α < 0 durumu da benzer olarak ispatlanır. B, U nun tüm fuzzy pozitif lineer genişlemelerinin kümesi olsun. B üzerinde sıralama V1 ≤ V2 ⇔ V2 , V1 in genişlemesidir biçiminde alınırsa, Zorn Lemmasından B nin X in tamamı üzerinde tanımlı bir V büyük (maksimal) elemanı vardır. 3.6. Teorem (Fuzzy Hahn-Banach Teoremi) X (reel) vektör uzayı, Y tam fuzzy Arşimedyan Riesz uzayı ve p : X → Y altlineer operatör olsun. Z, X in alt uzayı ve U : X → Y ,her x ∈ Z için η (U ( x ) , p ( x ) ) > 1 2 olacak biçimde bir lineer operatör ise, x ∈ Z iken V ( x) = U ( x) ve x ∈ X iken η (V ( x ) , p ( x ) ) > 1 olacak biçimde V : X → Y lineer operatörü vardır [12]. 2 60 İspat = X 1 sup ( Z ∪ {v} ) olsun. U nun bir genişlemesi U1 : X 1 → Y ise, z ∈ Z ve v ∈ Z c ve λ ∈ IR iken y1 = U1 ( v ) alındığında, , U1 ( z + λ v ) = U ( z ) + λ y1 ⇒ η (U ( z ) + λ y1 p ( z + λ v ) ) ≥ 12 (10) Gerçekten, (10) ifadesi z ∈ Z iken λ > 0 için , η (U ( z ) + λ y1 p ( z + v ) ) > 12 ifadesine; λ < 0 için η , (U ( z ) − y1 p ( z − v ) ) > 12 ifadesine denktir. O halde x, z ∈ Z iken η (U ( z ) − , p ( z − v ) y1 ) > 1 1 p ( z + v ) − U ( x ) y1 ) > ve η ( , , 2 2 (11) olacak biçimde bir y1 seçilebilir. Çünkü her x, z ∈ Z için η (U ( z ) − p ( z − v ) , p ( u + z ) − U ( u ) ) ≥ η (U ( z + v ) , p ( z + u ) ) > 1 2 olduğundan, Y nin tam olması = s sup {U ( z ) − p ( z − x ) : z ∈ Z } = ve t inf { p ( u + x ) − U ( u ) : u ∈ Z } 61 eşitlikleriyle verilen s ve t nin Y de mevcut olmasını gerektirir ve η ( s, t ) > η ( s, y ) > 1 olur. 2 1 1 ve η ( y, t ) > şartlarını sağlayan bir y ∈ Y , (11)’i ve böylece (10)’u 2 2 sağlar. Bundan sonraki kısımda teoremin ispatı Zorn Lemmasının bilinen uygulamasıdır. 62 4. SONUÇ VE ÖNERİLER Her ne kadar Zadeh fuzzy sıralamayı 1971 yılında tanımladıysa da, fuzzy sıralama ve bunun yardımıyla oluşturulan uzaylar son yirmi yılda çalışılmaya başlanmıştır. Genel olarak matematiğin hemen tüm alanlarında ilgili teoriler cebirsel ve topolojik kavramlarla oluşturulur. Ancak çoğunlukla sıralamanın rolü ya ele alınmaz, ya da kısıtlı bir şekilde düşünülür. Sıralı vektör uzaylarına örgü (lattice) yapısı eklenmesiyle oluşturulan Riesz uzaylarının teorisi, cebirsel ve topolojik kavramları daha genel bakış açısıyla tanımlayıp geliştirmeye imkân sağlar. Dolayısıyla tezimizde fuzzy sıralama için verilen kavramlar ve elde edilen sonuçlardan başka ilgili teoriyi geliştirecek yeni argümanlar bulmak pekâlâ mümkündür. Fuzzy kavramının matematikte disipliner bir anlayışla ortaya konulması sonrasında, uygulamalı bilimlerde ve çeşitli mühendisliklerde ele alınmasıyla teknolojik pek çok gelişmeyi sağlaması ilgilendiğimiz konu üzerinde çalışmayı cazip kılmaktadır. Biz de bundan sonraki çalışmalarımızda bu argümanlar üzerine yoğunlaşmak niyetindeyiz. 63 KAYNAKLAR 1. Zadeh, L.A., “Fuzzy sets”, Information and Control, 8:338-353 (1965). 2. Zadeh, L.A., “Similarity relations and fuzzy orderings”, Inform. Sciences, 3:177200 (1971). 3. Aliprantis, C.D.; Burkinshaw, O., ‘‘Positive Operators’’, Academic Press, London, 1-3, 45-46, 181-182 (1985). 4. Zaanen, A.C., ‘’Riesz Spaces II’’, North-Holland Mathematical Library, 30. North-Holland Publishing Co., Amsterdam, 651-686 (1983). 5. Chang, C.L., “Fuzzy topological spaces”, J. Math. Anal. Appl., 24:182-190 (1968). 6. Nanda, S., “On fuzzy topological spaces”, Fuzzy Sets and Systems, 19:193-197 (1986). 7. Alaca, C., “Fuzzy Uzaylarda Süreklilik”, Yüksek Lisans Tezi, Gazi Üniversitesi Fen Bilimleri Enstitüsü, Ankara, 6-20 (2001) 8. Pu, P.M., Liu, Y.M., “Fuzzy topology. I. Neighborhood structure of a fuzzy point and Moore-Smith convergence”, J. Math. Anal. Appl., 76,2:571-599 (1980). 9. Beg, I., Islam, M.U., “Fuzzy Riesz spaces”, J. Fuzzy Math. 2,1:211-229 (1994). 10. Beg, I., Islam, M.U., “Fuzzy ordered linear spaces”, J. Fuzzy Math., 3,3:659-670 (1995). 11. Beg, I., Islam, M.U., “Fuzzy Archimedean spaces”, J. Fuzzy Math., 5,2:413-423 (1997). 12. Beg, I., “On fuzzy order relations”, J. Nonlinear Sci. Appl., 5:357–378 (2012). 64 ÖZGEÇMİŞ Kişisel Bilgiler Soyadı, adı : TAŞ, Ercan Uyruğu : T.C. Doğum tarihi ve yeri : 15.02.1981 Gaziantep Medeni hali : Evli Telefon : 0 (505) 2254425 e-mail : [email protected]. Eğitim Derece Eğitim Birimi Lisans Afyon Kocatepe Üniversitesi / Uşak Matematik Bölümü 2005 Lise Gaziantep 19 Mayıs Lisesi 1998 Mezuniyet tarihi İş Deneyimi Yıl Yer Görev 2005- Ankara Özel Eğitim Kurumu Öğretmenlik Yabancı Dil İngilizce Hobileri Kitap Okumak, Yüzmek, Gezi, Futbol