22 Основы нечеткой алгебры
4.
˜
A ∪ (
˜
B ∩
˜
C)=(
˜
A ∪
˜
B) ∩ (
˜
A ∪
˜
C),
˜
A ∩ (
˜
B ∪
˜
C)=(
˜
A ∩
˜
B) ∪ (
˜
A ∩
˜
C) (дистрибутивность).
5. ¬(
˜
A ∪
˜
B)=¬
˜
A ∩¬
˜
B,
¬(
˜
A ∩
˜
B)=¬
˜
A ∪¬
˜
B (законы де Моргана).
Часть из приведенных свойств основывается на аксиомах нечеткой
алгебры.
Отметим, что для нечетких множеств справедливы не все законы,
выполняющиеся для четких множеств.
В дальнейшем нечеткие множества будет обозначать без указания
знака˜(тильда). Из контекста будет понятно, о каком именно множестве
идет речь.
1.3. Нечеткие соответствия и отношения
1.3.1. Четкие соответствия и отношения
В приложениях нечеткой логики — нечетких реляционных уравнени-
ях, методах принятия решений — существенно используются нечеткие
соответствия, отношения и операции над ними. Рассмотрим вначале со-
ответствующие понятия четкой алгебры [26].
Если A и B — произвольные множества, то символом (a, b) обозна-
чается пара,гдеa ∈ A, b ∈ B. Пары (a, b) и (a
,b
) считаются равными,
если a = a
и b = b
.
Множество всех пар {(a, b)|a ∈ A, b ∈ B} называется прямым или
декартовым произведением множеств A и B и обозначается A × B.
Соответствием между множествами A и B в четкой алгебре назы-
вается подмножество ρ множества A × B. Если (a, b) ∈ ρ,тоговорят,что
элемент a находится в отношении ρ сэлементомb.
Пусть ρ – бинарное отношение во множестве действительных чисел R.
Характеристическая функция соответствия ρ определяется следующим
образом:
χ
ρ
(x, y)=
1, (a, b) ∈ ρ;
0, в противном случае.
Соответствие называется полным, если оно совпадает с A × B, т.е. со-
стоит из всех пар (a, b).
Пример 1.14. Рассмотрим соответствие R (рис. 1.12), такое, что
(u, v) ∈ R ⇐⇒ u ∈ [a, b],v ∈ [0,c]