1.2. Свойства нечетких множеств

Определение 12. Высотой нечеткого множества называется верхняя граница его функции принадлежности: . Для дискретного универсального множества супремум становится максимумом, а значит высотой нечеткого множества будет максимум степеней принадлежности его элементов

Определение 13. Нечеткое множество называется нормальным, если его высота равна единице. Нечеткие множества не являющиеся нормальными называются субнормальными. Нормализация ‑ преобразование субнормального нечеткого множества в нормальное определяется так: . В качестве примера на рис. 1 показана нормализация нечеткого множества с функцией принадлежности .

Рисунок 1 - Нормализация нечеткого множества

Определение 14. Носителем нечеткого множества называется четкое подмножество универсального множества , элементы которого имеют ненулевые степени принадлежности: .

Определение 15. Нечеткое множество называется пустым, если его носитель является пустым множеством.

Определение 16. Ядром нечеткого множества называется четкое подмножество универсального множества , элементы которого имеют степени принадлежности равные единице: . Ядро субнормального нечеткого множества пустое.

Определение 17.  -сечением (или множеством -уровня) нечеткого множества называется четкое подмножество универсального множества , элементы которого имеют степени принадлежности большие или равные : , . Значение называют -уровнем. Носитель (ядро) можно рассматривать как сечение нечеткого множества на нулевом (единичном) -уровне.

Рис. 2 иллюстрирует определения носителя, ядра, -сечения и -уровня нечеткого множества.

Рисунок 2 - Ядро, носитель и -сечение нечеткого множества

Определение 18. Нечеткое множество называется выпуклым если: , , . Альтернативное определение: нечеткое множество будет выпуклым, если все его -сечения - выпуклые множества. На рис. 3 приведены примеры выпуклого и невыпуклого нечетких множеств.

Рисунок 3 - К определению выпуклого нечеткого множества

Определение 19. Нечеткие множества и равны ( ) если .

1.3. Операции над нечеткими множеств

Определения нечетких теоретико-множественных операций объединения, пересечения и дополнения могут быть обобщены из обычной теории множеств. В отличие от обычных множеств, в теории нечетких множеств степень принадлежности не ограничена лишь бинарной значениями 0 и 1 ‑ она может принимать значения из интервала [0, 1]. Поэтому, нечеткие теоретико-множественные операции могут быть определены по-разному. Ясно, что выполнение нечетких операций объединения, пересечения и дополнения над не нечеткими множествами должно дать такие же результаты, как и при использование обычных канторовских теоретико-множественных операций. Ниже приведены определения нечетких теоретико-множественных операций, предложенных Л. Заде.

Определение 20. Дополнением нечеткого множества заданного на называется нечеткое множество с функцией принадлежности для всех . На рис. 4 приведен пример выполнения операции нечеткого дополнения.

Рисунок 4 - Дополнение нечеткого множества

Определение 21. Пересечением нечетких множеств и заданных на называется нечеткое множество с функцией принадлежности для всех . Операция нахождения минимума также обозначается знаком , т.е. .

Определение 22. Объединением нечетких множеств и заданных на называется нечеткое множество с функцией принадлежности для всех . Операция нахождения максимума также обозначается знаком , т.е. .

Обобщенные определения операций нечеткого пересечения и объединения - треугольной нормы (t-нормы) и треугольной конормы (t-конормы или s-нормы) приведены ниже.

Определение 23. Треугольной нормой (t-нормой) называется бинарная операция на единичном интервале , удовлетворяющая следующим аксиомам для любых :

1. (граничное условие);

2. если (монотонность);

3. (коммутативность);

4. (ассоциативность).

Наиболее часто используются такие t-нормы: пересечение по Заде ‑ ; вероятностное пересечение ‑ ; пересечение по Лукасевичу ‑ . Примеры выполнения пересечения нечетких множеств с использованием этих t-норм показаны на рис. 5.

Рисунок 5 - Пересечение нечетких множеств с использованием различных t-норм

Определение 25. Треугольной конормой (s-нормой) называется бинарная операция на единичном интервале , удовлетворяющая следующим аксиомам для любых :

1.  (граничное условие);

2. если  (монотонность);

3.  (коммутативность);

4.  (ассоциативность).

Наиболее часто используются такие s-нормы: объединение по Заде ‑ ; вероятностное объединение ‑ ; объединение по Лукасевичу ‑ . Примеры выполнения объединения нечетких множеств с использованием этих s-норм показаны на рис. 6.

Наиболее известные треугольные нормы приведены в табл. 1.

Рисунок 6 - Объединение нечетких множеств с использованием различных s-норм

Таблица 1 - Примеры треугольных норм

		Параметр
		‑
		‑
		‑
		‑