Lecture 2 fuzzy set

Exercies :

Compute - cut, - cut strong, support and normal and cross over point
from the fuzzy sets of the following :

1)

2)

3)

{
4) {

Definition:- Let be a fuzzy set in . the complement of written

is defined as ( ) . Hence .

t-norms and t-conorms :

The function used for intersection of fuzzy sets denote by

( ) ( ) are called t-norms and those used
for union ( ) ( ) are called t-conorms. If
we denote . so that ( ).

Definition1: A t-norm T is a function ( ) , having

the following four properties:

1) ( ) ……………………………………….(boundary condition)
2) ( ) ( ) ………………………………....(commutatively)
3) If , then ( ) ( )………………(monotonicity)
4) ( ( ) ( ( ) ) ………………………(associatively)
Theorem2: Let T be t-norm on the set I, then

1) ( )
2) ( )
3) ( )
4) ( )
5) ( ) for all
6) If then ( ) ( ).

Proof: 1) and 2) direct from properties 1

3) By properties 2 (commutative) ( ) ( )

4) By properties 3(monotonicity) ( ) ( )

( ) but ( ) ( )

5) Prove same (4) ( ) ( )

6) By properties 3(monotonicity) ( ) ( )
By properties 2 (commutative) ( ) ( )
Since ( ) ( ) ( ) ( ).
By properties 2 (commutative) ( ) ( )
Therefore ( ) ( ).

The following Five Theorems represent fundamental t-norms

Theorem3:- If function defined by form ( ) ( )

for all . Then it is t-norm and called (standard intersection).

Solve:

1) Let ( ) ( )
2) Let ( ) ( ) ( ) ( )
3) Let such that
( ) ( ) ( ) ( ).
4) Let , ( ( )) ( ( )) ( )
( ( ) ) ( ( ) )
Therefore is t-norm.

Theorem4: If the function which defined by form

( ) for all is t-norm and, it’s called (Bounded
sum) or (Bounded Difference)

Solve:

1) Let ( ) ( ) ( )
 2) Let ( ) ( ) (
) ( )
3) Let such that
( ) ( ) ( ) ( )
4) Let ( ( )) ( ( ))
( ( ) +
( )
( )
( ( ) +
( ( )) ( ( ) )
Therefore t-norm.

Theorem5: If the function which defined by form for

all is t-norm and, it’s called (Algebraic product)

Exercise.

Theorem6: If the function which defined by form

( ) {

for all is t-norm and, it’s called (Drastic intersection)

Exercise.

Theorem 7 :- Prove that ( ) ( ) ( ) ( )

Proof: Let

( ) { , and ( ) ( )

If ( ) ( ) ( ) ( ) ( )
If ( ) ( ) ( ) ( ) ( )
If ( ) ( ) ( ) ( )
And similarity to prove ( ) ( ) ( ).

Theorem8:- Let T be t-norm on the set I, then ( ) ( ) ( ).

Proof :- Let
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) * + ( ) ( )
If ( ) ( ) ( ) ( )
If ( ) ( ) ( ) ( ) ( )
If ( ) ( ) ( )

Definition9: Let T be t-norm on the set I. It is said about T by that its:

1) If ( ) ………………..(Idempotent)
2) If ( ) ………………..(sub-idempotent)
3) If , then ( ) ( )……(strict monotonicity)

Theorem 10:- Let T be t-norm on the set I, if T is idempotent iff T is

standard intersection.

Exercies:

Definition11: A t-conorm C is a function ( ) ,

having the following four properties:

1) ( ) ………………………………………….(boundary condition)
2) ( ) ( ) …………………………..…....(commutatively)
3) If , then ( ) ( )………………(monotonicity)
4) ( ( ) ( ( ) ) ………………………(associatively)

Definition12: The basic t-conorm are

( ) ( )…………………….(standard union)

( ) ( )……………………(bounded sum)

( ) …………….………..(algebraic sum)

( ) { …………..……(drastic union)

Theorem13: Let C be t-conorm on the set I, then

1) ( )
2) ( )
3) ( )
4) ( )
5) ( ) for all
6) If then ( ) ( ).

The prove similarity of theorem 2.

Example 14: Show that ( ) ( ) ( ) ( )

Solve see Theorem 7.

Theorem15:-
Let C be t-conorm on the set I, then ( ) ( ) ( ).
Proof :- Let
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
If ( ) ( ) ( ) ( )
If ( ) ( ) ( ) ( ) ( )
If ( ) ( ) ( ) ( )
Therefore .

Definition16: Let C be t-conorm on the set I and let T be t-norm on the set
I. We say C and T are dual when
1) ( ) ( )
2) ( ) ( )

Theorem: The following are dual:

1-
2-
3-
4-

Proof: 1) Let

( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( )
are dual.

Exercies 2,3.

4) Let

( ) { = { = { =

( )

( ) { = { = {

= ( )

( ) ( )

are dual.