Fuzzy Set Theory: Fundamentals and Applications

Chapter 1: Fuzzy set

In mathematics, Known as fuzzy sets,.

Those sets whose members have varying degrees of membership are called uncertain sets..

Lotfi A. Introducing Fuzzy Sets on His Own.

It was developed by Zadeh in 1965 as an expansion of the traditional idea of set.

While doing so, An L-relation, as defined by Salii (1965), is a more broad type of structure, which he investigated on a purely mathematical level.

Fuzzy relations, which have found widespread use in recent years in fields like linguistics and fuzzy mathematics (De Cock), Bodenhofer and Kerre (2000), decision-making (Kuzmin 1982), and grouping (Bezdek 1978), are special cases of L-relations when L is the unit interval [0, 1].

The basic concepts of set theory, Element membership in a set is evaluated using a binary condition: either the element belongs to the set or it does not.

By contrast, Membership in a set can be tentatively determined using fuzzy set theory; this is described with the aid of a membership function valued in the real unit interval [0, 1].

Classical sets are a special case of fuzzy sets, The indicator functions of classical sets are special examples of the membership functions of fuzzy sets, hence it follows that, If the latter can only be either 0 or 1, then.

A fuzzy set is a pair (U,m) where U is a set (often required to be non-empty) and {\displaystyle m\colon U\rightarrow [0,1]} a membership function.

The reference set U (sometimes denoted by \Omega or X ) is called universe of discourse, and for each x\in U, the value m(x) is called the grade of membership of x in (U,m) .

The function {\displaystyle m=\mu _{A}} is called the membership function of the fuzzy set {\displaystyle A=(U,m)} .

For a finite set U=\{x_{1},\dots ,x_{n}\}, the fuzzy set (U,m) is often denoted by

Let x\in U .

Then x is called

not included in the fuzzy set (U,m) if m(x)=0 (no member), fully included if m(x)=1 (full member), partially included if 0

The (crisp) set of all fuzzy sets on a universe U is denoted with {\displaystyle SF(U)} (or sometimes just F(U) ).

For any fuzzy set {\displaystyle A=(U,m)} and \alpha \in [0,1] the following crisp sets are defined:

is called its α-cut (aka α-level set)

is called its strong α-cut (aka strong α-level set)

is called its support

is called its core (or sometimes kernel {\displaystyle \operatorname {Kern} (A)} ).

It's important to keep in mind that different authors have varied interpretations of the word kernel; for examples, see below.

A fuzzy set {\displaystyle A=(U,m)} is empty ( {\displaystyle A=\varnothing } ) iff (if and only if)

\forall

Two fuzzy sets A and B are equal ( A=B ) iff

A fuzzy set A is included in a fuzzy set B ( A\subseteq B ) iff

For any fuzzy set A , any element x\in U that satisfies

is what we refer to as a crossover.

Given a fuzzy set A , any \alpha \in [0,1] , for which

is not empty, is classified as A level.

The level set of A is the set of all levels \alpha \in [0,1] representing distinct cuts.

It is the image of \mu _{A} :

\exist

For a fuzzy set A , Specifically, its height is

where \sup denotes the supremum, which exists because {\displaystyle \mu _{A}(U)} is non-empty and bounded above by 1.

Assuming a finite U, We may easily substitute maximum for supremum.

A fuzzy set A is said to be normalized iff

Regarding the finite case, in which the highest point is the supremum, that at least one member of the fuzzy set meets all the criteria for membership.

A non-empty fuzzy set A may be normalized with result {\tilde {A}} by dividing the membership function of the fuzzy set by its height:

While the normalizing constant is still a number, unlike standard normalization, it is not a sum.

For fuzzy sets A of real numbers (U ⊆ ℝ) with bounded support, definition of width:

In the case when {\displaystyle \operatorname {Supp} (A)} is a finite set, or a complete set in a broader sense, The breadth is ideal

In the n-dimensional case (U ⊆ ℝn) the above can be replaced by the n-dimensional volume of {\displaystyle \operatorname {Supp} (A)} .

In general, Any metric based on U can be used to define this, for example, by incorporating (like.

Lebesgue integration) of {\displaystyle \operatorname {Supp} (A)} .

A real fuzzy set A (U ⊆ ℝ) is said to be convex (in the fuzzy sense, (to differentiate it from a sharp convex set), iff

.

Without narrowing the scope, we may take x ≤ y, This provides the corresponding formula

.

This definition can be extended to one for a general topological space U: we say the fuzzy set A is convex when, in case U has a subset Z, the condition

holds, where {\displaystyle \partial Z} denotes the boundary of Z and {\displaystyle f(X)=\{f(x)\mid x\in X\}} denotes the image of a set X (here {\displaystyle \partial Z} ) under a function f (here \mu _{A} ).

While there is consensus on how to define a fuzzy set's complement, the union and intersection operations are more open to interpretation.

For a given fuzzy set A , its complement {\displaystyle \neg {A}} (sometimes denoted as A^{c} or {\displaystyle cA} ) is defined by the following membership function:

.

Accept t as a t-norm, and s is the s-norm that goes with it (aka t-conorm).

Given a pair of fuzzy sets A,B , their intersection {\displaystyle A\cap {B}} is defined by:

, and their union {\displaystyle A\cup {B}} is defined by:

.

The t-norm is defined as the, Union and intersection are shown to be commutative, monotonic, associative, They include both a blank and a self-referential component.

For the crossroads, these are ∅ and U, respectively, while union members, This is backwards.

However, U may not be the union of a fuzzy set and its complement, and the intersection of them may not give the empty set ∅.

Due to the associativity between union and intersection, It is intuitive to recursively define intersection and union for a finite family of fuzzy sets.

If the standard negator {\displaystyle n(\alpha )=1-\alpha ,\alpha \in [0,1]} is replaced by another strong negator, It is possible to generalize the fuzzy set difference by

The intersection, union, and complement of fuzzy sets constitute a De Morgan Triplet. This triple integral is covered by the laws of De Morgan,.

The samples in the t-norms article can be used to construct examples of fuzzy intersection/union pairs with a standard negator.

Since only the regular t-norm minimum satisfies the idempotent property, the fuzzy intersection cannot be used in general. True, the resulting fuzzy intersection operation is not idempotent if the arithmetic multiplication is employed as the t-norm. Taking the intersection of a fuzzy set with itself iteratively is not an easy task. Instead, it gives us a definition of the m-th power of a fuzzy set that may be extended to non-integer exponents in the canonical fashion:

For any fuzzy set A and {\displaystyle \nu \in \mathbb {R} ^{+}} the ν-th power of A is defined by the membership function:

There is a particular name for the situation where exponent 2 occurs.

For any fuzzy set A the concentration {\displaystyle CON(A)=A^{2}} is defined

Taking 0^{0}=1 , we have {\displaystyle A^{0}=U} and {\displaystyle A^{1}=A.}

Given fuzzy sets A,B , the fuzzy set difference A\setminus B , also denoted {\displaystyle A-B} , can be easily characterized by the membership function:

which means {\displaystyle A\setminus B=A\cap \neg {B}} , e.

g:

A further set-difference idea could be:

Dubois and Prade (1980) propose an absolute value, a difference, or both as methods for achieving symmetric fuzzy set differences.

maximum, minimum, and the conventional negation would yield

Averaging operations can be defined for fuzzy sets, unlike crisp sets.

Whereas intersection and union operations are typically vague,, there is clearness for disjoint fuzzy sets: Two fuzzy sets A,B are disjoint iff

corresponding to

\nexists

Similarly to, or the same as

We recall that min/max is a t/s-norm combination, and that any other will do.

In contrast to the usual concept of disjointness for crisp sets, fuzzy sets are only disjoint if and only if their supports are disjoint.

For disjoint fuzzy sets A,B any intersection will give ∅, and any combination will provide the same outcome, for which the symbol is

and its membership function can be written as

Take into account that only one of the two summands is positive.

For disjoint fuzzy sets A,B the following holds true:

This can be generalized to finite families of fuzzy sets as follows: Given a family {\displaystyle A=(A_{i})_{i\in I}} of fuzzy sets with index set I (e.g.

I = {1,2,3,...,n}).

This is not a monophyletic family (pairwise) if

A family of fuzzy sets {\displaystyle A=(A_{i})_{i\in I}} is disjoint, iff the family of underlying supports

is disjoint in the standard sense for families of crisp sets.

Separate from the t and s norm, intersection of a disjoint family of fuzzy sets will give ∅ again, while there is no doubt about the union:

and its membership function can be written as

Once again, none of the totals add up to more than zero.

For disjoint families of fuzzy sets {\displaystyle A=(A_{i})_{i\in I}} the following holds true:

For a fuzzy set A with finite support {\displaystyle \operatorname {Supp} (A)} (i.e.

a infinite fuzzy set, its sigma-count (also known as its cardinality) is

.

The relative cardinality is given by if and only if U is a finite set.

.

This can be generalized for the divisor to be a non-empty fuzzy set: For fuzzy sets {\displaystyle A,G} with G ≠ ∅, related cardinality can be defined as:

, This looks a lot like the conditional probability expression. Note:

{\displaystyle \operatorname {sc} (G)>0} here.

The answer could be different depending on which intersection (t-norm) is used.

For {\displaystyle G=U} the result is unambiguous and resembles the prior definition.

For any fuzzy set A the membership function {\displaystyle \mu _{A}:U\to [0,1]} can be regarded as a family

.

The latter is a metric space with several metrics d known.

A metric can be derived from a norm (vector norm) {\displaystyle \|\,\|} via