Понятие принадлежности и основные операции для нечетких подмножеств

Рассматривать понятие принадлежности для нечетких подмножеств начнем с примера. Обратимся к выражению (1.24). В нем, как было отме­чено, функция принадлежности m принимает только значения 1 и 0. Пред­ставим теперь, что m может принимать любое значения из интервала (0,1). Тогда степени принадлежности элемента x_i к нечеткомуподмножеству А могут быть записаны следующим образом:

– x_i не принадлежит к А, m _А (x_i) = 0;

– x_i в небольшой степени принадлежит к А, m _А (x_i) близко к 0;

– x_i более или менее принадлежит к А, m _А (x_i) равноудалена от 0 и 1;

…

– x_i принадлежит к А, m _А (x_i) = 1.

Тогда А = {(x ₁|0,2), (x ₂|0), (x ₃|0,3), (x ₄|1), (x ₅|0,8)} будет представлять собой нечеткое подмножество множества Е. Будем записывать A Ì E или A Ì E.

Принадлежность элемента к нечеткому подмножеству можно обо­значить следующим образом: x₁ A, x ₂ A, x₄ A. Эти обозначения могут быть истолкованы следующим образом:

– x ₂не принадлежит к А (m _А (x ₂) = 0));

– x ₁в небольшой степени принадлежит к А (m _А (x ₁) = 0,2));

– x ₄принадлежит к А (m _А (x ₄) = 1)).

Возвращаясь к обозначениям теории множеств, можно говорить, что

Î – эквивалентно , Ï – эквивалентно .

Определение: Пусть Е – множество, счетное или нет, и х – элемент Е. Тогда нечетким подмножеством А множества Е называется множество упорядоченных пар {(x |m _A (x))} " x Î E, где m _A (x) – характеристическая функция принадлежности,которая принимает свои значения во вполне упорядоченном множестве М и указывает вероятностьпринадлежности элемента х подмножеству А. Множество М будем называть множеством принадлежностей.

Если М = {0,1}, то нечеткое подмножество А переходит в «обычное» четкое подмножество.

Приведем несколько примеров.

Пример 1.3. Запишем нечеткое подмножество чисел х, приблизи­тельно равных данному действительному числу n, где n Î R (R – множе­ство действительных чисел):

А = {…(n – 1|0,8), (n – 0,5|0,9), (n |1), (n + 0,5|0,9), (n + 1|0,8)…}.

Пример 1.4. Пусть N – множество натуральных чисел,

N = {0, 1, 2, 3, 4, 5, 6…}.

Рассмотрим нечеткое подмножество «небольших» натуральных чи­сел:

А = {(0|1), (1|0.8), (2|0,6), (3|0,4), (4|0,2), (5|0), (6|0)…}.

Разумеется, m _A (x) в этих примерах задается субъективно. Последнее выражение можно переписать в виде

0 A, 1 A, 2 A, 3 A,….