Operationen auf Fuzzy-Mengen
Schnitt
\(A \cap B\) ist definiert als Fuzzy-Menge mit
\[\mu_{A \cap B}: X \rightarrow [0,1], \mu:{A \cap B} = min(\mu_A(X), \mu_B(X))\]
Vereinigung
\(A \cup B\) ist definiert als Fuzzy-Menge mit
\[\mu_{A \cup B}: X \rightarrow [0,1], \mu:{A \cup B} = max(\mu_A(X), \mu_B(X))\]
Komplement
\(A \backslash B\) ist definiert als Fuzzy-Menge mit
\[\mu_{\overline{A}}: X \rightarrow [0,1], \mu:{\overline{A}}(x) = 1 - \mu_A(X)\]
Eigenschaften dieser Operationen
Seien A,B,C Fuzzy-Mengen und schrieben wir statt \(max(\mu_A(x), \mu_B(x))x\) kurz \(A \cup B\).
Es gelten für \(\cup\) (und analog für \(\cap\)):
- Kommmutativität \(A \cup B = A \cup B\)
- Assoziativität \((A \cup B) \cup C = A \cup (B \cup C)\)
- Indempotenz: \(A \cup A = A\)
- \(\forall A \in F(X): \emptyset \subseteq A \subseteq X\) mit \(\mu_A = 0\) und \(\mu_X = 1\)
- \(A \subseteq B \cup B \subseteq A \Rightarrow A = B\)
- \(A \cup \emptyset = A\)
- \(A \cup X = X\)
- \(A \cap \emptyset = \emptyset\)
- \(A \cap X = A\)
- Distributivität \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)
- Komplettabbildung: \(\overline{\overline{A}} = A\)
Es gilt NICHT:
- \(A \cup \overline{A} = X\)
- \(A \cap \overline{A} = \emptyset\)
Allgemeine Vereinigung und allgemeiner Schnitt
Seien undendlich viele Fuzzy-Mengen gegeben als: \(\{ A_i , i \in I \}\) mit I als Indexmenge
\[\begin{split}&C = \bigcup_{i \in I} A_i, \mu_C (x) =_{def.} sup_{i \in I} \mu_{A_i}(x) \\
&C = \bigcap_{i \in I} A_i, \mu_C (x) =_{def.} inf_{i \in I} \mu_{A_i}(x)\end{split}\]
Konzentrationsoperator
(Meistens n = 2)
\[\mu_{Select A}(x) = (\mu_A(x))^n\]
Dilatationsoperator
\[\mu_{Mehr oder weniger A}(x) = \sqrt[n]{\mu_A(x)}\]