signal spaces and study of pattern recognition based on metrics and difference values on fuzzy n-cell
number spaces
This is the Published version of the following publication
Wang, Guixiang, Shi, Peng and Messenger, Paul (2009) Representation of uncertain multichannel digital signal spaces and study of pattern recognition based on metrics and difference values on fuzzy n-cell number spaces. IEEE Transactions on Fuzzy Systems, 17 (2). pp. 421-439. ISSN 1063-6706
The publisher’s official version can be found at http://dx.doi.org/10.1109/TFUZZ.2008.2012352
Note that access to this version may require subscription.
Downloaded from VU Research Repository https://vuir.vu.edu.au/4671/
Abstract—In this paper, we discuss the problem of characterization for uncertain multi-channel digital signal spaces, propose using fuzzy n−cell number space to represent uncertain
−
n channel digital signal space, and put forward a method of constructing such fuzzy n−cell numbers. We introduce two new metrics and concepts of certain types of difference values on fuzzy
−
n cell number space, and study their properties. Further, based on the metrics or difference values appropriately defined we put forward an algorithmic version of pattern recognition in an imprecise or uncertain environment, and we also give practical examples to show the application and rationality of the proposed techniques.
Index Terms—Uncertain multi-channel digital signals, Fuzzy n− cell numbers, n− dimensional fuzzy vectors, Metrics, Difference values, Pattern recognition
I. INTRODUCTION
T is known that in a precise or certain environment, multi-channel digital signals can be represented by elements of multi-dimensional Euclidean space, i.e., crisp multi-dimensional vectors. If however we wish to study multi channel digital signals in an imprecise or uncertain environment, then the signals themselves are imprecise or have no certain bound, and it becomes unwise to use crisp multidimensional vectors to represent them. In this paper, we recommend using fuzzy n− cell numbers to represent imprecise or uncertain multi-channel digital signals, and put forward a method of constructing such fuzzy n−cell numbers.
Manuscript received October 15, 2008. This work is supported in partially by Natural Science Foundations of China (No. 60772006) and Natural Science Foundations of Zhejiang Province, China (No. Y7080044), and Engineering and Physical Sciences Research Council, UK (No. EP/F0219195).
G. Wang is with Institute of Operations Research and Cybernetics, Hangzhou Dianzi University, Hangzhou, 310018, China ([email protected]).
P. Shi is with Department of Computing and Mathematical Sciences, University of Glamorgan, Pontypridd, CF37 1DL, UK ([email protected]). He is also with ILSCM, School of Science and Engineering, Victoria University, Melbourne, 8001, Australia, and School of Mathematics and Statistics, University of South Australia, Adelaide, 5095, Australia.
P. Messenger is with Department of Computing and Mathematical Sciences, University of Glamorgan, Pontypridd, CF37 1DL, UK ([email protected]).
The concept of general fuzzy numbers was introduced by Chang and Zadeh [2] in 1972 with the consideration of the properties of probability functions. Since then both the numbers and the problems in relation to them (see for example [3, 4, 5, 6, 11, 16, 19, 20, 21]) have been widely studied. With the development of theories and applications of fuzzy numbers, this concept becomes more and more important. In [7] Kaleva ever used a special type of n−dimensional fuzzy number, whose sets of cuts are all hyper-rectangles. In 2002 we carefully studied the special type of n−dimensional fuzzy number, and call it fuzzy n−cell number in [14,15]. It has been demonstrated that fuzzy n−cell number is used much more conveniently than general n−dimensional fuzzy numbers in theoretical investigations and some fields of application in [14, 15, 17]. On the other hand, n−dimensional fuzzy vector is also an important concept, which is the Cartesian product of n
−
1 dimensional fuzzy numbers. In 1985, Kaufmann and Gupta [8] already studied fuzzy vectors, soon afterwards, Miyakawa and Nakamura et al. [9,10,12] also studied the problems of theories and applications in relating to fuzzy vectors. In 1997, Butnariu [1] studied Methods of solving optimization problems and linear equations in the space of fuzzy vectors. Recently, we [14] showed that fuzzy n−cell numbers and n−dimensional fuzzy vectors can represent each other, and obtained the representations of the joint membership function and the edge membership functions of a fuzzy n−cell number of each other.
In a previous paper [15], we defined a metric DL on the fuzzy n−cell number space, and studied its properties. And in paper [14], we again studied this type of metric in regard to two fuzzy n−cell numbers as the form of n−dimensional fuzzy vectors. Although metric DL can be more conveniently used in applications and theoretical investigations, it has some shortcomings. That is, it has a tendency to be rougher, and can not really characterize the degree of difference of two fuzzy
−
n cell numbers in some applications (see Example 3.1 in Section 3 of this paper). In this paper, in order to discuss the problem of pattern recognition in an imprecise or uncertain environment based on degree of difference, we define two new metrics and some concepts of difference values on fuzzy
−
n cell number space, which may better characterize the
Representation of Uncertain Multi-Channel Digital Signal Spaces and Study of Pattern Recognition Based on Metrics and Difference
Values on Fuzzy n − cell Number Spaces
Guixiang Wang, Peng Shi, Senior Member, IEEE, and Paul Messenger
I
degree of difference of two fuzzy n−cell numbers in some applications, and study their properties.
It is well known that pattern recognition is an important field of research. In this aspect many research achievements have been obtained (for example, see [13]). In this paper, as applications of the metrics and difference values (defined by us), we also study the problem of pattern recognition in an imprecise or uncertain environment, put forward an algorithmic version of pattern recognition based on the metrics or difference values (defined by us) of fuzzy n−cell numbers, and also give examples to show the application and rationality of the method.
The organization of the paper is as follows. In Section 2, we give an example to show how to set up fuzzy n−cell numbers to represent imprecise or uncertain multi-channel digital signals.
In Section 3, we define two new metrics, and study their properties. In Section 4, we introduce concepts of difference values of two fuzzy n− cell numbers, and examine their properties. In Section 5, an algorithmic version of pattern recognition is given based on the metrics or the difference values defined by us, and examples are also given to show the application and rationality of the method. Finally, in Section 6, we give a brief conclusion of this paper.
II. REPRESENTATIONS OF UNCERTAIN MULTI-CHANNEL DIGITAL SIGNALS
A fuzzy set of the Euclidean space Rn is a function ]
1 , 0 [ :Rn→
u . For fuzzy set u, we denote [u]r={x∈Rn: }
) (x r
u ≥ for r∈[0,1] , and [u]0 ={x∈Rn: u(x)>0} (the closure of {x∈Rn: u(x)>0}). If u is a normal and fuzzy convex fuzzy set of Rn, u(x) is upper semi-continuous, and
]0
[u is compact, then we call u a n−dimensional fuzzy numbers, and denote the n−dimensional fuzzy number space by En. If u∈E , and for each r∈[0,1], [u]r is a hyper rectangle, i.e., there exist ui(r), ui(r)∈R with ui(r)≤ui(r), (i=1,2,L,n) such that =
∏
ni= i ir u r u r
u] 1[ ( ), ( )]
[ , then we call
u is a fuzzy n−cell number, and denote the fuzzy n−cell number space by L(En). A n−dimensional fuzzy vector is an ordered class (u1,u2,L,un) , where ui∈E (i.e., E1 ),
n
i=1,2,L, . In [14], We have shown that fuzzy n−cell numbers and n−dimensional fuzzy vectors can represent each other, and as the representation is unique, L(En) and the n−dimensional fuzzy vector space (i.e., the Cartesian product
4 4 8 4 4 7 6 L
n
E E
E× × × ) may be regarded as identical.
When exploring and discussing some quantity, properties or laws of movement of phenomena/objects in the physical world, it is essential for us to establish the description space of them.
For instance, when the quantity in question is only the one with a single factor, we can take it as a dot in real number field R, that is, the space of quantities corresponding to single factor
can be described by 1− dimensional Euclidean space R . Similarly, we can describe the quantities with n factors, using n−dimensional Euclidean spaceRn. However, in the physical world, many phenomena are imprecise or uncertain (such as, have no certain bound). When the quantity discussed by us possesses some imprecise or uncertain attributes, it is unsuitable that we use still Rn to represent the space of the quantities (see Remark 2.1). It is our opinion that using the fuzzy n−cell number space discussed in [14, 15] to describe the quantities with some uncertain factors and discuss these quantities in this n−dimensional fuzzy vector space is a more suitable method to reveal the objective laws of things in physical world (see Remark 2.1).
In the following example, we demonstrate how we construct a fuzzy n−cell number to represent a quantity that possesses some uncertain attributes based on statistical data. About the algorithmic version of such fuzzy n−cell numbers, we can see the first or second step of the algorithmic version in Section 5.
Example 2.1. It is well known that different kinds of terrain or landcover possess the different reflections of the electromagnetic spectrum. Based on this principle, one can set up a method to recognize the category of landcover, a challenging remote sensing classification problem, using spectral and terrain features for vegetation classification in some zone. In remote sensing classification, the colligation of all species covering a zone of 4500 m2 can be boiled down to an element of remote sensing space. We use “Korean Pine accounts for the main part”
to denote forest that mainly contains Korean Pines. Because in different “Korean Pine accounts for the main part” areas, there are many different factors such as the difference of the density of Korean Pines, of the species and quantity of other plants, of the physiognomy and so on, the values of reflections of the electromagnetic spectrum are also different. Therefore “Korean Pine accounts for the main part” should not be a certain crisp value but a fuzzy set without certain bound. So, using a fuzzy number to represent the spectral sensitivity level of the “Korean Pine accounts for the main part” is more suitable than using a crisp number. Suppose that we use 4 wave bands: MSS-4, MSS-5, MSS-6, MSS-7. We take 10 samples, and acquire the following data for some zone of “Korean Pine accounts for the main part”:
45 . 17 08 . 34 48 . 12 38 . 15 10 Sample
02 . 18 10 . 36 58 . 12 50 . 15 9 Sample
62 . 18 64 . 37 67 . 13 82 . 16 8 Sample
29 . 14 87 . 30 98 . 10 90 . 15 7 Sample
54 . 15 10 . 32 94 . 11 80 . 13 6 Sample
75 . 20 10 . 42 80 . 13 10 . 16 5 Sample
75 . 14 50 . 35 70 . 11 90 . 14 4 Sample
16 . 18 70 . 37 79 . 12 82 . 15 3 Sample
35 . 16 81 . 38 56 . 12 60 . 15 2 Sample
37 . 19 50 . 40 30 . 13 01 . 15 1 Sample
7 MSS 6 MSS 5 MSS 4
MSS − − − −
We can directly work out the following means μi (i=1,2,3,4) and standard deviations σi (i=1,2,3,4) from the data:
MSS-4 MSS-5 MSS-6 MSS-7 μi: μ1=15.46 μ2=12.58 μ3=36.54 μ4=17.33 σi: σ1=1.22 σ2 =0.88 σ3=3.55 σ4=2.08 From the means and the standard deviations, with
⎪⎪
⎪
⎩
⎪⎪
⎪
⎨
⎧
+∞
+
−
∉
+∞
+
− ∈ +
+∞
−
− ∈
−
=
) , 0 ( ] 2 , 2 [ if 0
) , 0 ( ] 2 , ( 2 if
) 2 (
) , 0 ( ] , 2 [ 2 if
) 2 ( )
(
I I I
i i i i i
i i i i i
i i i
i i i i i
i i i
i i
x x x x x
x u
σ μ σ μ
σ μ σ μ
σ μ
μ σ σ μ
σ μ
(i=1,2,3,4)
we can define 4 triangular model one-dimensional fuzzy numbers u1, u2, u3 and u4 that respectively correspond with MSS-4, MSS-5, MSS-6 and MSS-7:
⎪⎪
⎪
⎩
⎪⎪
⎪
⎨
⎧
∉
− ∈
− ∈
=
] 9 . 17 , 02 . 13 [ if
0
] 9 . 17 , 46 . 15 ( 44 if
. 2
9 . 17
] 46 . 15 , 02 . 13 [ 44 if
. 2
02 . 13 )
(
1 1 1
1 1
1 1
x x x
x x x u
⎪⎪
⎪
⎩
⎪⎪
⎪
⎨
⎧
∉
− ∈
− ∈
=
] 4.34 1 , 82 . 10 [ if
0
] 4.34 1 , 58 . 12 ( 76 if
. 1 34 . 14
] 2.58 1 , 82 . 10 [ 76 if
. 1
82 . 10 )
(
2 2 2
2 2
2 2
x x x
x x x u
⎪⎪
⎪
⎩
⎪⎪
⎪
⎨
⎧
∉
− ∈
− ∈
=
] 3.64 4 , 44 . 29 [ if 0
] 3.64 4 , 54 . 36 ( 1 if
. 7 64 . 43
] 6.54 3 , 44 . 29 [ 1 if
. 7
44 . 29 )
(
3 3 3
3 3
3 3
x x x
x x x u
⎪⎪
⎪
⎩
⎪⎪
⎪
⎨
⎧
∉
− ∈
− ∈
=
] 1.49 2 , 17 . 13 [ if 0
] 1.49 2 , 33 . 17 ( 16 if
. 4 49 . 21
] 7.33 1 , 17 . 13 [ 16 if
. 4
17 . 13 )
(
4 4 4
4 4
4 4
x x x
x x x u
By Theorem 3.1 and 3.2 in [14], we know that u1, u2, u3 and u4 determine a fuzzy 4−cell numberu=(u1,u2,u3,u4), and the membership function of u is
)}
( ), ( ), ( ), ( min{
) , , ,
(x1 x2 x3 x4 u1 x1 u2 x2 u3 x3 u4 x4
u =
4 4 3 2
1, , , )
(x x x x ∈R
Then u can be used to represent “Korean Pine accounts for the main part”.
Likewise, from the means and the standard deviations, according to
⎪⎩
⎪⎨
⎧
= +∞
∉ +∞
− ∈
−
= 1,2,3,4
) , 0 ( if 0
) , 0 ( if 2 )
) exp( (
)
( 2
2
i x
x x x
v
i i i
i i i
i σ
μ
we can also define 4 Gaussian model one-dimensional fuzzy numbers v1, v2, v3 and v4 that respectively correspond with MSS-4, MSS-5, MSS-6 and MSS-7:
⎪⎩
⎪⎨
⎧
+∞
∉ +∞
− ∈
−
=
) , 0 ( if 0
) , 0 ( if 98 )
. 2
) 46 . 15 exp( (
) (
1 1 2
1 1
1
x x x
x v
⎪⎩
⎪⎨
⎧
+∞
∉ +∞
− ∈
−
=
) , 0 ( if 0
) , 0 ( if 56 )
. 1
) 58 . 12 exp( (
) (
2 2 2
2 2
2
x x x
x v
⎪⎩
⎪⎨
⎧
+∞
∉ +∞
− ∈
−
=
) , 0 ( if 0
) , 0 ( if 21 )
. 25
) 54 . 36 exp( (
) (
3 3 2
3 3
3
x x x
x v
⎪⎩
⎪⎨
⎧
+∞
∉ +∞
− ∈
−
=
) , 0 ( if 0
) , 0 ( if 65 )
. 8
) 33 . 17 exp( (
) (
4 4 2
4 4 4
x x x
x v
and obtain the membership function of the fuzzy 4−cell number v=(v1,v2,v3,v4) determined by v1, v2, v3 and v4 as
)}
( ), ( ), ( ), ( min{
) , , ,
(x1 x2 x3 x4 v1 x1 v2 x2 v3 x3 v4 x4
v = ,
4 4 3 2
1, , , )
(x x x x ∈R . Then the fuzzy 4−cell number v can also be used to represent the “Korean Pine accounts for the main part”.
Remark 2.1. Of course, if the quantity to describe is precise and certain, we should use a crisp multi-dimensional vector to represent it. However, if the quantity to describe is imprecise and uncertain, such as “Korean Pine accounts for the main part”, then using a fuzzy n−cell number to represent it is better than using a crisp n−dimensional vector. If we narrowly use a crisp multi-dimensional vector, such as (15.46 ,12.58 ,36.54 ,17.33) (i.e., the mean vector), to represent “Korean Pine accounts for the main part”, then it can not clearly tell us the relationship of
“Korean Pine accounts for the main part” and the zone whose value of reflection of electromagnetic spectrum is
) 79 . 16 , 50 . 37 , 80 . 12 , 16 . 15
( since (15.16 ,12.80 ,37.50 ,16.79) )
33 . 17 , 54 . 36 , 58 . 12 , 46 . 15
≠( . If we use fuzzy n− cell number
) , , (v1 v2,v3 v4
v= to represent it, then we can almost affirm that the zone whose value is (15.16 ,12.80 ,37.50 ,16.79) is part of
“Korean Pine accounts for the main part” since )
93 . 0 , 93 . 0 , 94 . 0 , 94 . 0 min(
) 79 . 16 , 50 . 37 , 80 . 12 , 16 . 15
( =
v =0.93, i.e.,
the degree of the zone which is “Korean Pine accounts for the main part” is 0.93.
III. METRICS ON FUZZY n−CELL NUMBER SPACE
In [3], the authors studied the metric dp (⋅ ,⋅) (note that in this paper we rewrite dp (⋅ ,⋅) as Dp (⋅ ,⋅) ) on general
−
n dimensional fuzzy number space En, which is defined by
p p r r
p u v d u v r
D 1 1/
0[ ([ ] ,[ ] )] d ) (
) ,
( =
∫
for any u,v∈En , andpoint out that the metric Dp is complete.
In [15], we studied the metrics D and DL on L(En), but the two metrics seem to be ‘rough’ in certain applications (see Example 3.1). In the following, other metrics are defined on
) (En
L , which better reveal the difference between two different uncertain quantities (see Example 3.1). Their properties are also discussed such that they may be used appropriately.
We denote LC R A ai bi i n
n) { : there exist , 1,2, ,
( = ≤ = L
} ] , [
such that A=
∏
ni=1ai bi , where∏
=1[ , ]n
i ai bi is the Cartesian product [a1,b1]×[a2,b2]×L×[an,bn].
Theorem 3.1. We define mappings
) , 0 [ ) ( ) (
ˆ :LC Rn ×LC Rn → +∞
dα and
) , 0 [ ) ( ) (
~ :LC Rn ×LCRn → +∞
dα by
∑
= ⋅ − −= n
i i ai bi ai bi
B A
dˆα( , ) 1α max{| |, | |}
and
∑
= − + −= n
i
i i i i i
b a b a B
A
d 1
2
|
|
| ) |
,
~α( α
for any n1[ , ] ( n)
i ai ai LCR
A=
∏
= ∈ and B=∏
in=1[bi,bi]∈LC(Rn), where α=(α1,α2,L,αn) satisfies∑
=1 =1n
i αi and αi ≥0 , n
i=1,2,L, . Then for any A=
∏
ni=1[ai,ai ,]B=∏
ni=1[bi,bi ,]∏
== ni ci ci
C 1[ , ] in LC(Rn) and each k∈R , dˆ and α d~α satisfies
(1) dˆα(A,B)=dˆα(B,A) and ~ ( , ) )
,
~ (
A B d B A
dα = α ;
(2) dˆα(A,B)≥0 and d~α(A,B)≥0;
(3) dˆα(A,B)=0 ⇔ A=B ⇔ d~α(A,B)=0;
(4) dˆα(A,B)≤dˆα(A,C)+dˆα(C,B) and ~ ( , ) )
,
~ (
C A d B A
dα ≤ α
) ,
~( B C dα
+ ;
(5) dˆα(A+C,B+C)= dˆα(A,B) and ~ ( , ) C B C A
dα + +
) ,
~( B A dα
= ;
(6) dˆα(kA,kB)=|k|dˆα(A,B) and ~ ( , )
|
| ) ,
~ (
B A d k kB kA
dα = α .
Proof. We only show Proofs (4), (5) and (6) (the other proofs are easy). From
) , ˆ ( ) , ˆ (
|})
|
|, max{|
|}
|
|, (max{|
|}
|
|
|
|,
|
| max{|
|}
|
|, max{|
) , ˆ (
1 1 1
B C d C A d
b c b c c
a c a
b c c a b c c a
b a b a B
A d
i i i i n
i i i i i i
n
i i i i i i i i i i
n
i i i i i i
α α
α
α α α
+
=
−
− +
−
−
⋅
≤
− +
−
− +
−
⋅
≤
−
−
⋅
=
∑
∑
∑
=
=
=
) , ˆ (
} |
|
|, max{|
} |
|
|, max{|
) , ˆ (
1 1
B A d
c b c a c b c a
c b c a c b c a C
B C A d
i i i i i i n
i i i i
i i i i i i n
i i i i
α α
α α
=
−
− +
−
− +
⋅
=
+
− + +
− +
⋅
= + +
∑
∑
=
=
) , ˆ (
|
|
|}
|
|, max{|
|}
|
|, max{|
) , ˆ (
1 1
B A d k
b k a k b k a k
kb ka kb ka kB
kA d
i i i n
i i i
i i i n
i i i
α α
α α
=
−
−
⋅
=
−
−
⋅
=
∑
∑
=
=
we see that (4), (5) and (6) of the theorem hold for dˆ . For α d~α , we can similarly prove that (4), (5) and (6) of the theorem also hold.
Theorem 3.2. We define mappings
) , 0 [ ) ( ) ( ˆ :
,p L En ×L En → +∞
Dα and
) , 0 [ ) ( ) (
~ :
,p L En ×L En → +∞
Dα by
p p r r
p u v r d u v r
D 1 1/
, ( , ) ( 0[ ˆ ([ ],[ ] )] d )
ˆα =
∫
⋅ αand
∫
⋅= 1
0
/ 1
, ~ ([ ],[ ] )] d )
[ ( ) ,
~ ( r r p p
p uv r d u v r
Dα α
i.e.,
p n p
i i i i i i
p
r r v r u r v r u r
v u D
/ 1 1
0 1
,
) d ]
|}
) ( ) (
|
|, ) ( ) ( max{|
[ (
) , ˆ (
∫ ∑
= ⋅ − −= α
α
and
n p i
p i i i
i i p
r r v r u r v r u r
v u D
/ 1 1
0 1
,
) d
|)]
) ( ) (
|
| ) ( ) ( (|
[ 2( 1
) ,
~ (
∫ ∑
= ⋅ − + −= α
α
for any (u,v)∈L(En)×L(En), where p≥1, and α=(α1,α2,L,
n)
α satisfies
∑
=1 =1n
i αi and αi >0, i=1,2,L,n. Then for any u,v,w∈L(En) and each k∈R, Dˆ ,p
α and D,p
~
α satisfy (1) ˆ ( , ) ˆ ( , )
,
, u v D vu
Dαp = αp and ~ ( , )
) ,
~ (
,
, uv D vu
Dαp = αp ; (2) ˆ ( , ) 0
, u v ≥
Dαp and ~ ( , ) 0
, u v ≥
Dαp ; (3) ˆ ( , ) 0
, u v =
Dαp ⇔ u= ⇔v ~ ( , ) 0
, u v =
Dαp ; (4) ˆ ( , ) ˆ ( , ) ˆ ( , )
, ,
, u v D u w D w v
Dαp ≤ αp + αp and ~ ( , )
, u v
Dα p )
,
~ ( ) ,
~ (
,
, uw D wv
Dαp + αp
≤ ;
(5) ˆ ( , ) ˆ ( , )
,
, u w v w D u v
Dαp + + = αp and ~ ( , )
, u wv w
Dα p + + )
,
~ (
, uv
Dαp
= ;
(6) ˆ ( , ) | | ˆ ( , )
,
, ku kv k D u v
Dα p = α p and ~ ( , )
, ku kv
Dα p )
,
~ (
|
|k Dα,p uv
= .
Proof. It is obvious that (1) and (2) of the theorem hold.
By the definition of Dˆ ,p
α , it is obvious thatu = v ⇒ 0
) , ˆ (
, u v =
Dαp . Otherwise, let ˆ ( , ) 0
, u v =
Dαp . Then we have 0 d ]
|}
) ( ) (
|
|, ) ( ) ( max{|
1[
0 1 ⋅ − − =
∫ ∑
r ni=αi ui r vi r ui r vi r p r .Taking note of αi>0, we see that r(
∑
in=1αi⋅max{|ui(r)− 0|}) ) ( ) (
|
|, )
(r u r −v r =
vi i i holds for r almost everywhere on ]
1 , 0
[ . Further, we have that
∑
n= ⋅ −i 1αi max{|ui(r) vi(r)|, 0
|}
) ( ) (
| ui r −vi r = holds for r almost everywhere on [0,1], so we can see that ui(r)=vi(r)and ui(r)=vi(r) holds for r almost everywhere on [0,1] for i=1,2,L,n. Therefore, we obtain that [u]r =[v]r holds for r almost everywhere on [0,1], so we know that u=v holds by Lemma 2.1 in [18]. Thus,
0 ) , ˆ (
, u v =
Dαp ⇔ u=v holds. Likewise, we can prove
0 ) ,
~ (
, u v =
Dαp ⇔ u=v, so (3) of the theorem holds. From Theorem 3.1, we have
) , ˆ ( ) , ˆ (
) d ] ) ] [ , ] ˆ ([
[ ( ) )]
] [ , ] ˆ ([
[ (
] d ) )]
] [ , ] ˆ ([
) ] [ , ] ˆ ([
[ ( [
) d ]
|}
) ( ) (
|
|, ) ( ) ( max{|
[ ( ) , ˆ (
, ,
/ 1 1
0
p /
1 1 0
/ 1 1 p
0
/ 1 1
0 1
,
v w D w u D
r v w d r dr
w u d r
r v w d w u d r
r r v r u r v r u r
v u D
p p
p r r p
p r r
p r
r r
r
p n p
i i i i i i
p
α α
α α
α α
α α
+
=
⋅ +
⋅
≤
+
⋅
≤
−
−
⋅
=
∫
∫
∫
∫ ∑
=The proofs of ~ ( , ) ~ ( , ) ~ ( , )
, ,
, u v D u w D w v
Dαp ≤ αp + αp , (5) and (6) can be similarly proved.
Remark 3.1. From Theorems 3.1 and 3.2, we know dα d~α ˆ , and Dˆ ,p,D~ ,p
α
α are metrics on LC(Rn) and L(En), respectively, and satisfy translation invariance, absolute homogeneity. Also, from the factor r of the integrands in the definitions of
) , ˆ (
, uv
Dαp and ~ ( , )
, u v
Dαp , we can see that the bigger the degrees of the points are, which belong to the fuzzy n−cell numbers u and v, the greater the effects on the metric of u and v. This is true in reality.
Example 3.1. Let u,v,w be the 2−cell numbers defined by: u=(u1,u2), v=(v1,v2) and w=(w1,w2), where,
] 2 , 0 [ if 0
] 2 , 1 ( if 2
] 1 , 0 [ if )
( ⎪⎩
⎪⎨
⎧
∉
∈
−
∈
=
x x x
x x
x
ui ,
] 4 , 2 [ if 0
] 4 , 3 ( if 4
] 3 , 2 [ if 2 )
( ⎪⎩
⎪⎨
⎧
∉
∈
−
∈
−
=
x x x
x x
x vi
(i=1,2)
] 2 , 0 [ if 0
] 2 , 1 ( if 2
] 1 , 0 [ if )
1(
⎪⎩
⎪⎨
⎧
∉
∈
−
∈
=
x x x
x x
x
w ,
] 4 , 2 [ if 0
] 4 , 3 ( if 4
] 3 , 2 [ if 2 )
2(
⎪⎩
⎪⎨
⎧
∉
∈
−
∈
−
=
x x x
x x
x w
Then we know that ui(r)=r , ui(r)=2−r , vi(r)=2+r , r
r
vi( )=4− (i=1,2),w1(r)=r ,w1(r)=2−r,w2(r)=2+r and w2(r)=4−r for r∈[0,1]. From the definitions of DL, we have DL(u,v)=2=DL(u,w), i.e., DL can not tell us the difference of DL(u,v) and DL(u,w), so we say that DL seems to be ‘rough’ (similar proof for D). However, as a matter of fact, DL(u,v) and DL(u,w) should have some difference.
Takingα =(1/2, 1/2), from the definitions of D~ ,p
α , we can
obtain p p
v p u
D , 1/
) 1 ( ) 2 ,
~ (
= +
α > ~ ( , )
) 1 (
1
/ ,
1 D u w
p p = αp
+ , this
accord with fact.
If we restrain the metric Dp (i.e. dp (⋅ ,⋅) defined by Diamond in [3], see paragraph 1 of this section) on general n−dimensional fuzzy number space En into on L(En), then it also becomes a metric on L(En). In the following, we give the relationships of the metrics D,p D~ ,p
ˆ ,
α
α and Dp. Theorem 3.3. Metrics D,p D~,p
ˆ ,
α
α and Dp satisfy
(1) Dˆ ,p≤D~,p≤Dˆ ,p≤Dp≤D 2
1
α α
α , i.e., ~ ( , )
) , ˆ ( 2 1
,
, u v D uv
Dαp ≤ αp )
, ( ) , ( ) , ˆ (
, uv D uv D uv
D p ≤ p ≤
≤ α for any u,v∈L(En) (D is discussed in [15]).
(2) D
D p
D ,p p 1/p L 1/p ) 1 (
1 )
1 ( ˆ 1
≤ +
≤ +
α , i.e., ˆ ( , )
, u v
Dα p )
, ) ( 1 ( ) 1 , ) (
1 (
1
/ 1 /
1 Duv
v p u
p pDL ≤ + p
≤ + for any u,v∈L(En).
Proof. For any u,v∈L(En) and r∈[0,1], by the definitions of dˆα and d~α
, we have
) ] [ , ] ˆ ([
2
|}
) ( ) (
|
|, ) ( ) ( max{|
2
)) ] [ , ]
~([
( 2
| ) ( ) (
|
| ) ( ) (
|
4
| ) ( ) (
|
| ) ( ) (
|
| ) ( ) (
|
| ) ( ) (
|
2
| ) ( ) (
|
| ) ( ) (
|
| ) ( ) (
|
| ) ( ) (
| 2 1
}
| ) ( ) (
|
|, ) ( ) ( max{|
2 1
) ] [ , ] ˆ ([