Bulanık küme

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

Bulanık küme (veya belirtisiz küme) kavramı, küme kavramının eleman olmanın derecelendirilmesine dayanan bir genelleştirilmesidir. Bulanık kümeler belirtisiz mantığın doğal bir genişlemesi olarak 1965 yılında A. Zadeh tarafından tanımlanmıştır. Bir nesne bir kümenin ya elemanı ya da elemanı değilken, bir bulanık kümenin belirli bir oranda kısmen elemanı olabilir.

Tanım[değiştir | kaynağı değiştir]

X boştan farklı bir evrensel küme olarak seçilsin. Bir A:X \to [0,1] fonksiyonuna X üzerinde bir bulanık küme adı verilir.

Bulanık küme farklı şekillerde de tanımlanabilir ancak kümenin her nokta için [0,1] kapalı aralığında bulunan bir üyelik değerine sahip olmasını anlatması bakımından bu tanımların hepsi birbirine denktir.

Bir xX elemanı için A(x) değerine x'in A'daki elemanlık derecesi denir. Bu değer kimi zaman  \mu_{A} (x) ile de gösterilir. A(x)=1 olması klasik küme anlamında x 'in A 'nın elemanı olması, A(x)=0 olması ise klasik kümelerdeki x 'in A 'nın elemanı olmaması durumuna denk gelir.

Eğer bir x için A(x)= \alpha ise xαA yazılır ve x 'in A bulanık kümesinin \alpha derecesinde elemanı olduğu söylenir.

Örneğin A(x)=0,5 yani x0,5A olması x 'in A 'nın yarı yarıya elemanı olması şeklinde yorumlanır. ∈1 klasik ∈, ∈0 klasik ∉ sembolüne karşılık gelir.

Bulanık alt küme[değiştir | kaynağı değiştir]

A ve B boş olmayan bir X kümesi üzerinde iki bulanık küme olsun. Her x \in X için A(x) \le B(x) oluyorsa A \subseteq B veya A \le B yazılır ve A 'nın B 'nin bir bulanık alt kümesi olduğu söylenir.

A ve B bulanık kümelerinin eşitliği, her xX için A(x)=B(x) olmasıyla tanımlanır. Buna göre A'nın B'ye eşit olması aynı zamanda hem A \subseteq B hem de B \subseteq A olması demektir.

X üzerindeki bütün bulanık kümeler her xX için X(x)=1 ile tanımlanan X bulanık kümesinin alt kümesiyken, her xX için \varnothing (x)=0 ile tanımlanan \varnothing bulanık kümesi X'teki bütün bulanık kümelerin alt kümesidir. Bazen X ve \varnothing sembolleri yerine sırasıyla 1_X ve 0_X veya kısaca 1 ve 0 kullanılır.

Bulanık kümeler üzerinde işlemler[değiştir | kaynağı değiştir]

Kümeler için tanımlı olan birleşim, kesişim, tümleme, kartezyen çarpım gibi işlemlerin tümü bulanık kümeler üzerine de taşınabilir.

İki bulanık kümenin birleşimi A \cup B veya A \or B ile gösterilir ve bu kümeye eleman olma derecesi her xX için ( A \cup B )(x)=maks \{ A(x),B(x) \} olarak tanımlanır.

İki bulanık kümenin kesişimi ise A \cap B veya A \and B ile gösterilir ve bu kümeye eleman olma derecesi her xX için ( A \cap B )(x)=min \{ A(x),B(x) \} olarak tanımlanır.

A ve B sırasıyla X ve Y kümeleri üzerinde bulanık kümeler ise A \times B de X \times Y üzerinde bir bulanık kümedir ve her (x,y) \in X \times Y için (A \times B)(x,y)=min \{ A(x),B(y) \} şeklinde tanımlanır.

İki küme için tanımlanan bu işlemler maksimum ve minimum yerine sırasıyla supremum ve infimum alınarak herhangi sayıdaki bulanık kümeler ailesine genişletilebilir.

A bulanık kümesinin tümleyeni A^c veya A' ile gösterilir ve her xA için A^c (x)=1-A(x) formülüyle belirlenir. Klasik kümelerden farklı olarak bir A bulanık kümesi için A \cap A^c \not = \varnothing olması mümkündür.

Ayrıca bakınız[değiştir | kaynağı değiştir]