Measure of a fuzzy set. The -cut approach in the nite case
|
|
- Charleen Evans
- 6 years ago
- Views:
Transcription
1 Fuzzy Sets and Systems 123 (2001) Measure of a fuzzy set. The -cut approach in the nite case Carlo Bertoluzza a;, Margherita Solci a, Maria Luisa Capodieci b a Dpto. di Informatica e Sistemistica, Universita di Pavia, via Ferrata 1, I Pavia, Italy b UCLA (Univ. Centro-occidental Lisandro Alvarado), Barquisimeto, Venezuela Received 14 October 1998; received in revised form 19 April 2000; accepted 3 May 2000 Abstract In this paper we study the problem of constructing a Sugeno measure m on a suitable family S of fuzzy subsets of a space. More precisely, we suppose that there exists a measure m on a crisp measurable space (; S), we request that all the -cuts of the elements of S belong to the algebra S of the measurable crisp subsets and we suppose that the membership function assumes only nitely many values 1;:::; n. Under these hypotheses we construct the measure m( A) of the fuzzy set A in terms of the measure m(a i)ofits-cuts A i; i=1;:::;n, in the case where both m and m are decomposable. c 2001 Elsevier Science B.V. All rights reserved. Keywords: Fuzzy measure; -cut; Triangular conorm; L-fuzzy sets 1. Introduction and the problem In previous works we studied the possibility of constructing the measure of a fuzzy subset of a space with nitely valued membership functions, in terms of the -levels, that is in terms of the crisp subsets A i = {! A(!)= i } (see e.g. [1]). Now, we attempt to reach the same objective starting from the -cuts (the crisp subsets A i = {! A(!) i }). In order to motivate this research we can observe, rst of all, that this last notion is more natural in a fuzzy environment than the notion of -levels. This is evident, in particular, when we examine the fuzzy sets while having in mind, as in the present case, the construction of a measure. If the membership function A assumes only a nite number of values, namely the image set is ran( A)= { 1 ;:::; n } (nite case), then both -levels and -cuts usually have a positive measure. But let us examine what happens when the image of A is the whole interval [0; 1] (continuous case). In the most natural measure space often the -levels are reduced to sets of null measure. This causes some problems when we try to extend the results obtained in the nite case to the continuous one, at least when the considered measures are not Archimedean. Corresponding author. Tel.: ; fax: address: carlo@ipv36.unipv.it (C. Bertoluzza) /01/$ - see front matter c 2001 Elsevier Science B.V. All rights reserved. PII: S (00)
2 94 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) In contrast, the -cuts maintain non-null measure even in the continuous case. This leads us to hope that the results which we obtain here (nite case) could be extended to the continuous case, even when the measure composes of an arbitrary continuous t-conorm. A dierent approach to this problem has been proposed by Grabisch et al. [2]. They generalized the previous works of Murofushi and Sugeno [3,4] providing a denition of fuzzy measure based on Sugeno and Choquet integral. Denition 1. A Sugeno measure on a measurable space (; A) isamap : A [0; 1] with the following properties: () =1; ( ) =0; A B (A)6(B): It is decomposable (see e.g. [5, pp. 27, 192; 1]) if there exists a function :[0; 1] 2 [0; 1] (composition law) such that R; S A; R S = (R S) =[(R);(S)]: (1) Theorem 1. It has been proved that is always a t-conorm and under the hypothesis of continuity it may be written in the following form: { i [ i (x)+ i (y)] if (x; y) ]a i ;b i [ 2 ; (x; y) = (2) max(x; y) otherwise; where {]a i ;b i [; i I} is a nite or countable family of open disjoint intervals; i :[a i ;b i ] R (local additive generator) is a strictly increasing function with i (a i )=0 and i is the pseudo-inverse of i dened by (t)= 1 i [min{t; i (b i )}]. i The set =[0; 1]\ i ]a i;b i [={x [0; 1] (x; x)=x} (the set of the idempotent elements) will assume great importance in the development of the present paper. It is important to remember that if x then y [0; 1] (x; y) = max(x; y): The Problem. We suppose that a decomposable Sugeno measure m is dened on a measurable space (; S). Let L = { 0 =0; 1 ;:::; n =1 i i+1 } be a nite family of values in [0; 1] such that L 1 L and let S be the family of the L-fuzzy subsets of which have all the -cuts in S. We will determine a decomposable measure m dened on S which is compatible with the measure m. The decomposability of measures of a fuzzy set has the same meaning as that of the classical one, that is A B = m( A B )= [ m( A); m( B )], whereas the compatibility condition means that m( A) is a suitable function of the measures m(a i )ofthe-cuts A i = {! A(!) i } of A m( A) =G[m(A 1 );:::;m(a n )]: (3) The second compatibility condition would be A = A is crisp m(a) =m(a) (4) (complete coherence condition). Although this condition seems to be quite natural, cases may exist where it does not hold. We justify this assessment by observing that the outcome of the crisp event A has dierent
3 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) meanings in the context of algebra S (where all the events are crisp) and in the context of family S (which contains fuzzy events beyond the crisp ones). Our problem consists of determining the most general form of function G satisfying condition (3) and possibly (4). The solution which we give here is restricted to the case where the measures m; m, which are decomposable by hypothesis, also have continuous corresponding composition laws F ; F. So they are characterized by the result of Theorem 1. We will denote by ; the sets of the idempotents, ] a i ; b i [; ]a j ;b j [ the open intervals appearing in (2), and by f i ;f j the local additive generators of the composition laws F;F, respectively. We conclude this paragraph by establishing a fundamental functional equation which follows from the fact that the measure m( A B ) may be obtained in two dierent ways: (1) rst compute m( A); m( B ) by means of the function G, then compose these measures by F: (2) rst compose m(a i );m(b i ) by means of the function F, then compose these by the function G. By setting x i = m(a i ); y i = m(b i ), the fundamental compatibility functional equation which we obtain is F[G(x 1 ;:::;x n );G(y 1 ;:::;y n )] = G[F(x 1 ;y 1 );:::;F(x n ;y n )]: (5) Moreover it is easy to recognize that, for G to dene a measure, its domain must be the set = {(x 1 ;:::x n ) x i x i+1 }, and moreover G(0;:::;0)=0; G(1;:::;1)=1; G is non-decreasing: (6) (7) (8) Denition 2. G is a fuzzy measure function (FMF) if it is continuous and satises conditions (5) (8). Denition 3. An FMF G is completely coherent if the following further condition holds: G(x;:::;x)=x; (9) which corresponds to complete coherence condition (4). 2. The fuzzy measure of a crisp set In this section we will determine the form of the fuzzy measure of a crisp subset, that is of a subset with membership function A(!) =A(!) = { 1 if! A; 0 otherwise: (10) Let us remember that all the -cuts of such a set are equal to the crisp subset A. So, if we introduce the function g(x) =G(x;:::;x); (11) we have m(a) =g[m(a)]: (12)
4 96 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) It is easy to recognize that the fundamental equation (5) and the properties (6) (8) determine the following conditions which characterize the function g: F[g(x);g(y)] = g[f(x; y)]; g is continuous; g is non-decreasing; g(0)=0; g(1)=1: (13) (14) Proposition 1. g()=. Proof. From Eq. (13), also remembering that, if x, then F(x; x)=x, we have F[g(x);g(x)] = g(x): This proves that g(x), that is g(). To prove that g() let us suppose that there exists z ; z= g(). Since g is surjective, there exists x ]a i ;b i [ c such that z = g(x). Letting y = x in Eq. (13), and remembering that z, but x=, we have z = g(x)= F[g(x);g(x)] = g[f(x; x)] = g[f i (2f i (x))] and by recursivity z = g[f i (nf i (x))]: Since f i (x) 0 we will have: z = lim n + g[f i (nf i (x))] = g(b i ), which contradicts our hypothesis. Remark. As an immediate consequence of this proposition we can conclude that, if I = card({]a i ;b i [}) +, then g(]a i ;b i [)=]a i ; b i [, whereas if I =+, then either g(]a i ;b i [)=]a j ; b j [ for some j, org(]a i ;b i [) is reduced to a point a. Proposition 2. A function g is the restriction of an FMF; that is g satises conditions (13) and (14); if and only if its form is given by (x) if x ; g(x) = a j if x ]a i ;b i [ and a j = b j ; (15) f j [c i f i (x)] if x ]a i ;b i [ and a j b j ; where a j = g(a i ); b j = g(a i ); c i is a positive constant and : is a non-decreasing function (with (0)=0; (1)=1) subject only to conditions which ensure the global continuity of function g. Proof. For the sake of simplicity, the proof will be given in the case where I +, so that a j =a i ; b j = b i. Nevertheless, it also holds in the general case (see [6]). : It is evident that conditions (14) hold. With respect to (13), we can observe that, if x; y does not belong to the same open interval ]a; b[ c, then (13) reduces to the identity max[g(x);g(y)] = g[max(x; y)], due to the monotonicity of g. If both x; y belong to ]a i ;b i [, then (13) is veried by the construction. : Let (x)=g = (x) be the restriction of g to the idempotent set. Conditions on function are obviously satised. Moreover if x (or y ), then compatibility condition (13) is always satised since (x) (or (y) ). If x ]a i ;b i [, then g(x) ]a i ; b i [ and therefore, by the continuity of functions g; f i ;f i, in a suitable open subset of ]a i ;b i [ ]a i ;b i [ Eq. (13) takes the form f 1 [ f i {g(x)} + f i {g(y)}] =g[fi 1 {f i (x)+f i (y)}]: (16) i
5 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) By posing u = f i (x); v= f i (y); H()= f i g f 1 (), Eq. (16) may be rewritten as i H(u + v)=h(u)+h(v): Its general solution is H(u)= f i g fi 1 (u)=c i u, from which we obtain g(x)= f i [c i f i (x)]. Finally, if x; y belong to two disjoint open intervals of c, then g(x);g(y) belong to two disjoint open intervals of c and therefore g[f(x; y)] = g[max(x; y)] = max[g(x); g(y)] = F[g(x); g(y)]. No other conditions are imposed by the compatibility equation; so the theorem is completely proved. 3. One-valued fuzzy sets In this paragraph we will determine the measure of a fuzzy set whose membership function assumes only one meaningful (non-null) value. Let r be a membership value in L and let A be a fuzzy subset of type { r if! A; A(!)= r A = (17) 0 otherwise: The fuzzy measure of A is given by m( A)=G[m(A);:::;m(A) ; 0;:::;0] def = g }{{} r [m(a)]: (18) r times It is easy to prove, using the same arguments as in Section 2, that g r ()= r = [0;g r (1)], and that the function g r has the following representation: Theorem 2. The function g r represents the measure of the one-level fuzzy set if and only if it has the following form: r (x) if x ; g r (x) = a r; j if x ]a i ;b i [ and a r; j = b r; j ; (19) f j [c r; i f i (x)] if x ]a i ;b i [ and a r; j b r; j ; where a r; j = g r (a i ); b r; j = g r (a i );c r; i is a positive constant and r : r is a non-decreasing function (with r (0)=0; r (1)61) subject only to conditions which ensure the global continuity of the function g r. Note that the function g in Section 2 coincides with the function g n. Moreover; as m( r A)6 m( s A) when r 6 s ; the functions r and the constants c r; i have to be chosen so as to guarantee the condition r 6 s g r (x)6g s (x): 4. Two-valued fuzzy sets In this section we will determine the measure of a fuzzy set whose membership function assumes only two meaningful (non-null) values r (for some r n) and n = 1. This is fundamental because it will be the basis on which we realize a recursive process which will furnish, in the end, the measure of any nitely valued fuzzy subset. The fuzzy sets we deal with in this section are a r if! B; A(!)= 1 if! C; (20) 0 otherwise;
6 98 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) where B; C are crisp subsets of. In this case the two meaningful -cuts of Now, let us introduce the function Gr (x; y) =G(x;:::;x;y;:::;y): }{{} r times A are A r = B C and A n = C. It is easy to recognize that, by letting x = m(a r ); y= m(a n ), we have m( A)=G r (x; y) and moreover, by denition Gr (y; y)=g(y;:::;y; y;:::;y)=g(y). The following conditions, as a consequence of (5) (8), hold: Dom(G r )= 2 = {(x; y) x y 0)}; G r is monotonic in both variables; Gr (0; 0)=0; Gr (1; 1)=1; F[G r (x; y);gr (x ;y )] = Gr [F(x; x );F(y; y )]: (21) From now on, the last relation will be indicated as compatibility equation. Let g(x); g r (x) be two functions of type (15), (19), respectively, subject to the further conditions g r (x)6 g(x), that is r (x)6(x); c r; i 6c i ; a r; j 6 a j. Then the following representation holds: Theorem 3. With the same notations as in Theorems 1 and 2; the general solution of system (21) is (a) max[g r (x);g(y)] if x or y ; (b) max[g r (x);g(y)] if x ]a k ;b k [; y ]a i ;b i [; k i; g r (a k ) a j ; Gr (x; y) = (c) f j [c r; k f k (x)+c i f i (y)] if x ]a k ;b k [; y ]a i ;b i [; k i; g r (a k )= a j ; (d) g(y) if (x; y) ]a i ;b i [ 2 ; g r (a i ) a j ; (e) f j [c r; i f i (x)+(c i c r; i )f i (y)] if (x; y) ]a i ;b i [ 2 ; g r (a i )= a j : (22) We will prove only the necessity of this condition: if Gr satises the functional system (21), then it has the representation (22). The proof of the suciency consists only in a tedious, but easy verication of a wide range of possible cases corresponding to all possible choices of the values x; y; x ;y in the last of the Eq. (21). Moreover we will consider, for the sake of simplicity, the case where I +, where a j =a i and f j = f i. The proof in the general case may be found in [6]. Case (a): Suppose that y. Then, by Proposition 1, g(y) (if x the proof is symmetric). Thus, the compatibility equation may be written as G r (x; y) =G r [max(x; y); max(0;y)] = max[g r (x; 0);G r (y; y)] = max[g r (x);g(y)]: Cases (b, c): In these cases F(x; y) = max(x; y). Thus, remembering that x y and by using the compatibility equation, we can write G r (x; y) =G r [max(x; y); max(0;y)] = F[g r (x);g(y)]: The proof can be completed by observing that the form (2) of the function F is max when the arguments do not belong to the same interval ] a; b[ as happens in case (b). On the other hand, F is f [ ] when, as in case (c), the arguments belong to the same interval. Moreover, we recall that the form of the functions g r ;g is given by Propositions 1 and 2.
7 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) Fig. 1. Cases (d, e): For all (x; y) in]a i ;b i [ ]a i ;b i [ we have a i = G r (a i ;a i )6G r (x; y)6g(b i ;b i )= b i. So in this case the compatibility equation becomes f [ f i Gr (x; y); f i Gr (x ;y )] = Gr [f i {f i (x)+f i (x )};f i {f i (y)+f i (y )}]; i which in a suitable open subset of ]a i ;b i [ ]a i ;b i [ ]a i ;b i [ ]a i ;b i [ may be written as H(u; v)+h(u ;v )=H(u + u ;v+ v ); (23) where u = f i (x); v= f i (y); u = f i (x ); v = f i (y );H= f i G r f i. The general continuous solution of Eq. (23) is the family of bilinear homogeneous functions (H(u; v)=au + Bv). Consequently, we have Gr (x; y) = f i [Af i (x)+bf i (y)]: (24) By posing x = y in (24) we easily recognize that A + B = c i : (25) Moreover, let us observe that Gr (x; y) Gr (x; a i ) = max[gr (x; 0);Gr (a i ;a i )] = max[gr (x; 0); a i ]. On the other hand, according to (24), G r (x; a i )= f i [Af i (x)]. By comparing the two expressions of G r (x; a i ) we can conclude that If Gr (x; 0) a i, then f i (a i )=Af(x) and, since f i (a i ) = 0 we have to conclude that A = 0, and from (25), B = c i. This happens when Gr (a i ; 0) a i, thus case (d) is proved. If Gr (x; 0) a i then f i [Af i (x)] = Gr (x; 0) = f i [c r; i f i (x)], and therefore A = c r; i, and from (25), B = c i c r; i. This happens when Gr (a i ; 0) = a i, thus case (e) is proved. 5. The measure of a fuzzy set Now, by using the result of the previous section, we can install an iterative procedure which will give us the general form of the fuzzy measure function G(x 1 ;:::;x n ). Intuitively speaking, the idea is the following. Starting from a fuzzy subset A with membership values in L = { 0 =0; 1 ;:::; n =1 i i+1 }, we construct a sequence { A (i) i =1;:::;n} of fuzzy sets where A (n) = A, and A (i) is obtained from A (i+1) by suppression of two -cuts and insertion of a new -cut, which is equivalent to the suppressed ones from the point of view of the measure. More precisely, what we try to impose is that the fuzzy measures of each A (i) are equal to the fuzzy measure of A. We stop the process when i = 1, that is when we have obtained a one-level fuzzy set.
8 100 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) Then we apply the result of Section 2 to obtain the measure of A. This could be interpreted as a procedure that (see Fig. 1). substitutes -cut A n by a suitable subset A, destroys A n 1, thus eliminating the value n 1 in L, completes the -cut A n 2 by setting A (n 1) (!)= n 2 ;! A n 1 A. Thus, we constructed a new fuzzy subset A (n 1) which has membership values in L n 1 = L { n 1 }. The idea is to organize the construction of A in such a way that m( A (n 1) )= m( A). Then the procedure restarts, now with n = n 1, and proceeds with diminishing n at each step, until n = 1. Formally, we proceed as follows. We start by supposing that G(x 1 ;:::;x n )=G[x 1 ;:::;x n 2 ; n (x n 1 ;x n )]; (26) that is we suppose that the function G depends on its last two arguments only by means of a suitable real function of x n 1 ;x n. Although it seems natural in the procedure which constructs the measure level by level, we are really making a new restriction on the class of allowable measures. It looks like a kind of branching property. It is easy to check that the domain of n is the set 2 = {(x; y) x y 0}; y6 n (x; y)6x: (27) (28) By using expression (26) we recognize that the rst and second members of the compatibility equation (5) have the following form: F[G(x 1 ;:::;x n );G(y 1 ;:::;y n )] = F[G{x 1 ;:::;x n 2 ; n (x n 1 ;x n )};G{y 1 ;:::;y n 2 ; n (y n 1 ;y n )}] = G[F(x 1 ;y 1 );:::;F(x n 2 ;y n 2 ) n {F(x n 1 ;y n 1 );F(x n ;y n )}]; (29) G[F(x 1 ;y 1 );:::;F(x n ;y n )] = G[F(x 1 ;y 1 );:::;F(x n 2 ;y n 2 ); n (F(x n 1 ;y n 1 );F(x n ;y n ))]: (30) By comparing these two expressions we can conclude that the compatibility equation is satised if (and only if in the case of strict monotonicity) F[ n (x n 1 ;x n ); n (y n 1 ;y n )] = n [F(x n 1 ;y n 1 );F(x n ;y n )]: (31) From this equation we can easily deduce that n () : (32) It suces in (31) to set x n 1 = y n 1 = a; x n = y n = b and suppose that a; b. On the other hand, the function G(x 1 ;:::;x n )=G[x 1 ;:::;x n 2 ; n (x n 1 ;x n )] is an FMF. This implies that n is monotonic non-decreasing; n is continuous: (33) Eqs. (31) (33) show that the function n satises all the conditions on the function G r given in Section 4, and therefore it can be determined by the procedure in the same section. Its general form is given by formula
9 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) (22) with two slight dierences: (i) f j ; a j have to be substituted by f j ;a j, since in the actual compatibility equation (31) F has been changed to F, (ii) g(x) becomes the identity, since now, from (28), n (x; x)=x. So the form of n is (a) max[h n (x);y] if x or y ; (b) max[h n (x);y] if x ]a k ;b k [; y ]a i ;b i [; k i; h n (a k ) a j ; n (x; y) = (c) f j [c n; k f k (x)+c i f i (y)] if x ]a k ;b k [; y ]a i ;b i [; k i; h n (a k )=a j ; (d) y if (x; y) ]a i ;b i [ 2 ; h n (a i ) a j ; (e) f j [c n; i f i (x)+(c i c n; i )f i (y)] if (x; y) ]a i ;b i [ 2 ; h n (a i )=a j ; (34) where h n (x)= n (x; 0). Note that what we did here has been to transform the computation of the measure of a fuzzy set with n allowable membership values ( 1 ;:::; n 1 ; 1) into the computation of the measure of an equivalent fuzzy subset with n 1 membership values ( 1 ;:::; n 2 ; 1), by using the function n. The iteration (n 1 times) of this operation leads us to an equivalent set with only one membership value = 1, that is a crisp subset. The fuzzy measure of this subset can be obtained by means of the function g in Section 2. So, by setting x i = m(a i ), we nally obtain m(ã) =g( 2 (x 1 ; 3 (x 2 ; 4 (x 3 ;::: n (x n 1 ;x n ) :::)))): (35) 6. Two examples In the examples we present here the set of idempotents is =[0;a] [b; 1], and contains two particular important subcases: b = 1, that is =[0;a] {1}. In this case the measures less than a are negligible in the sense that as soon as there exists a measure m(a i ) greater than a, the -cuts A i with m(a i )6a are discarded. a = 0, that is = {0} [b; 1]. In this case the measures greater than b are dominant in the sense that as soon as there exists a measure m(a i ) greater than b, the -cuts A i with m(a i )6b are discarded and the global measure becomes max{m(a i )}. Example 1. We can choose the same function G to construct all the two level s set measures, that is G i = G; i with, G(a; 0) = a; G(b; 0) = b and G(1; 0)=(b +1)=2. Let us select the additive generators of m; m in ]a; b[ equal to log[(b x)=(b a)] and x, respectively. A choice of G(x; 0) compatible with the results of Proposition 5 is x if x6a; (b x)c G(x; 0) = b (b a) c 1 if a x b; x + b if x b: 2 (36)
10 102 C. Bertoluzza et al. / Fuzzy Sets and Systems 123 (2001) The result of Propositions (8), (9) assigns to the function G the following form: x if (x; y) [0;a] [0;a]; b +1 if x [b; 1] [0;a]; 2 b (b x) c (b y) 1 c if x ]a; b[ ]a; b[; G(x; y) = (b x)c b (b a) 1 c if x ]a; b[ [0;a]; x + b if x [b; 1] [b; 1]: 2 (37) Example 2. We choose G(a; 0) = a; G(b; 0) = b; G(1; 0) = 1 and G 2 (x; 0) = { x if x ; f [c 2 f(x)] if a x b; where f is any additive generator, and c 2 0. From Propositions (8), (9) and formula (27) we obtain 2 (x) =x if x ; G(x; y) = f [c 2 f(x)] if a x b; y ; f [c 2 f(x)+(1 c 2 )f(y)] if (x; y) ]a; b[ 2 : (38) (39) In order to obtain the form of the measure of a multi-level fuzzy subset we assume that all the maps Gi have the same form of G, possibly with dierent constants c i, and i (x)=x. The general form of measure m is obtained by means of the following function G(x 1 ;:::;x n ): g(x 1 ) [ if x 1 ; G(x 1 ;:::;x n )= k ] i g f (1 c (40) j)c i+1 f(x i ) ; otherwise: i=1 j=2 where k = max{ j x j ]a; b[}. Moreover, c n+1 = 1 by denition. References [1] C. Bertoluzza, A. Bodini, Measures of a fuzzy set based on an arbitrary continuous t-conorm: the nite case, Proc. FUZZ-IEEE 96, New Orleans, September 8 11, [2] M. Grabisch, T. Murofushi, M. Sugeno, Fuzzy measures of fuzzy events dened by fuzzy integrals, Fuzzy Sets and Systems 50 (1992) [3] T. Murofushi, M. Sugeno, Fuzzy t-conorm integral with respect to fuzzy measures: generalization of Sugeno integral and Choquet integral, Fuzzy Sets and Systems 42 (1991) [4] T. Murofushi, M. Sugeno, A theory of fuzzy measures. Representation, the Choquet integral and null sets, J. Math. Anal. Appl. 159 (2) (1991) [5] E. Pap, Null Additive Set Functions, Kluwer Academic Publishers, Dordrecht, [6] M. Solci, Misura di un insieme sfumato tramite -sezioni, Tesi di Laurea, Anno Accademico 1997=98.
Fuzzy relational equation with defuzzication algorithm for the largest solution
Fuzzy Sets and Systems 123 (2001) 119 127 www.elsevier.com/locate/fss Fuzzy relational equation with defuzzication algorithm for the largest solution S. Kagei Department of Information and Systems, Faculty
More informationLifting to non-integral idempotents
Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,
More informationChebyshev Type Inequalities for Sugeno Integrals with Respect to Intuitionistic Fuzzy Measures
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 9, No 2 Sofia 2009 Chebyshev Type Inequalities for Sugeno Integrals with Respect to Intuitionistic Fuzzy Measures Adrian I.
More informationStochastic dominance with imprecise information
Stochastic dominance with imprecise information Ignacio Montes, Enrique Miranda, Susana Montes University of Oviedo, Dep. of Statistics and Operations Research. Abstract Stochastic dominance, which is
More informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
More informationRealization of set functions as cut functions of graphs and hypergraphs
Discrete Mathematics 226 (2001) 199 210 www.elsevier.com/locate/disc Realization of set functions as cut functions of graphs and hypergraphs Satoru Fujishige a;, Sachin B. Patkar b a Division of Systems
More informationEntropy for intuitionistic fuzzy sets
Fuzzy Sets and Systems 118 (2001) 467 477 www.elsevier.com/locate/fss Entropy for intuitionistic fuzzy sets Eulalia Szmidt, Janusz Kacprzyk Systems Research Institute, Polish Academy of Sciences ul. Newelska
More informationVariations of non-additive measures
Variations of non-additive measures Endre Pap Department of Mathematics and Informatics, University of Novi Sad Trg D. Obradovica 4, 21 000 Novi Sad, Serbia and Montenegro e-mail: pape@eunet.yu Abstract:
More informationMultidimensional generalized fuzzy integral
Fuzzy Sets and Systems 160 (2009) 802 815 www.elsevier.com/locate/fss Multidimensional generalized fuzzy integral Yasuo Narukawa a, Vicenç Torra b, a Toho Gakuen, 3-1-10 Naka, Kunitachi, Tokyo 186-0004,
More informationNew concepts: Span of a vector set, matrix column space (range) Linearly dependent set of vectors Matrix null space
Lesson 6: Linear independence, matrix column space and null space New concepts: Span of a vector set, matrix column space (range) Linearly dependent set of vectors Matrix null space Two linear systems:
More information4.1 Real-valued functions of a real variable
Chapter 4 Functions When introducing relations from a set A to a set B we drew an analogy with co-ordinates in the x-y plane. Instead of coming from R, the first component of an ordered pair comes from
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More information3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers
Chapter 3 Real numbers The notion of real number was introduced in section 1.3 where the axiomatic denition of the set of all real numbers was done and some basic properties of the set of all real numbers
More informationNovel determination of dierential-equation solutions: universal approximation method
Journal of Computational and Applied Mathematics 146 (2002) 443 457 www.elsevier.com/locate/cam Novel determination of dierential-equation solutions: universal approximation method Thananchai Leephakpreeda
More information3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Spring
c Dr Oksana Shatalov, Spring 2016 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set
More informationS-MEASURES, T -MEASURES AND DISTINGUISHED CLASSES OF FUZZY MEASURES
K Y B E R N E T I K A V O L U M E 4 2 ( 2 0 0 6 ), N U M B E R 3, P A G E S 3 6 7 3 7 8 S-MEASURES, T -MEASURES AND DISTINGUISHED CLASSES OF FUZZY MEASURES Peter Struk and Andrea Stupňanová S-measures
More informationBinary Operations Applied to Functions
FORMALIZED MATHEMATICS Vol.1, No.2, March April 1990 Université Catholique de Louvain Binary Operations Applied to Functions Andrzej Trybulec 1 Warsaw University Bia lystok Summary. In the article we introduce
More informationNote On Parikh slender context-free languages
Theoretical Computer Science 255 (2001) 667 677 www.elsevier.com/locate/tcs Note On Parikh slender context-free languages a; b; ; 1 Juha Honkala a Department of Mathematics, University of Turku, FIN-20014
More informationRough Sets, Rough Relations and Rough Functions. Zdzislaw Pawlak. Warsaw University of Technology. ul. Nowowiejska 15/19, Warsaw, Poland.
Rough Sets, Rough Relations and Rough Functions Zdzislaw Pawlak Institute of Computer Science Warsaw University of Technology ul. Nowowiejska 15/19, 00 665 Warsaw, Poland and Institute of Theoretical and
More informationBasic Proof Techniques
Basic Proof Techniques Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Basic Notation The following is standard notation for proofs: A B. A implies B. A B.
More informationFoundations of Mathematics MATH 220 FALL 2017 Lecture Notes
Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements
More informationLinear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space
Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................
More informationQuantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for en
Quantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for enlargements with an arbitrary state space. We show in
More informationMinimal enumerations of subsets of a nite set and the middle level problem
Discrete Applied Mathematics 114 (2001) 109 114 Minimal enumerations of subsets of a nite set and the middle level problem A.A. Evdokimov, A.L. Perezhogin 1 Sobolev Institute of Mathematics, Novosibirsk
More information3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall
c Dr Oksana Shatalov, Fall 2016 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from the set A to the set B is a correspondence that assigns to
More informationFundamental gaps in numerical semigroups
Journal of Pure and Applied Algebra 189 (2004) 301 313 www.elsevier.com/locate/jpaa Fundamental gaps in numerical semigroups J.C. Rosales a;, P.A. Garca-Sanchez a, J.I. Garca-Garca a, J.A. Jimenez Madrid
More informationSpurious Chaotic Solutions of Dierential. Equations. Sigitas Keras. September Department of Applied Mathematics and Theoretical Physics
UNIVERSITY OF CAMBRIDGE Numerical Analysis Reports Spurious Chaotic Solutions of Dierential Equations Sigitas Keras DAMTP 994/NA6 September 994 Department of Applied Mathematics and Theoretical Physics
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) : (a A) and (b B)}. The following points are worth special
More informationLECTURE 15 + C+F. = A 11 x 1x1 +2A 12 x 1x2 + A 22 x 2x2 + B 1 x 1 + B 2 x 2. xi y 2 = ~y 2 (x 1 ;x 2 ) x 2 = ~x 2 (y 1 ;y 2 1
LECTURE 5 Characteristics and the Classication of Second Order Linear PDEs Let us now consider the case of a general second order linear PDE in two variables; (5.) where (5.) 0 P i;j A ij xix j + P i,
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationSOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS
LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D
More informationA Preference Semantics. for Ground Nonmonotonic Modal Logics. logics, a family of nonmonotonic modal logics obtained by means of a
A Preference Semantics for Ground Nonmonotonic Modal Logics Daniele Nardi and Riccardo Rosati Dipartimento di Informatica e Sistemistica, Universita di Roma \La Sapienza", Via Salaria 113, I-00198 Roma,
More informationADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE
ADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE ANDREAS LEOPOLD KNUTSEN Abstract. These notes are written as supplementary notes for the course MAT11- Real Analysis, taught at the University
More informationLecture 2: Review of Prerequisites. Table of contents
Math 348 Fall 217 Lecture 2: Review of Prerequisites Disclaimer. As we have a textbook, this lecture note is for guidance and supplement only. It should not be relied on when preparing for exams. In this
More informationMath 42, Discrete Mathematics
c Fall 2018 last updated 10/10/2018 at 23:28:03 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications,
More information[A + 1 ] + (1 ) v: : (b) Show: the derivative of T at v = v 0 < 0 is: = (v 0 ) (1 ) ; [A + 1 ]
Homework #2 Economics 4- Due Wednesday, October 5 Christiano. This question is designed to illustrate Blackwell's Theorem, Theorem 3.3 on page 54 of S-L. That theorem represents a set of conditions that
More informationINDEPENDENCE OF THE CONTINUUM HYPOTHESIS
INDEPENDENCE OF THE CONTINUUM HYPOTHESIS CAPSTONE MATT LUTHER 1 INDEPENDENCE OF THE CONTINUUM HYPOTHESIS 2 1. Introduction This paper will summarize many of the ideas from logic and set theory that are
More informationStatistics and Probability Letters
tatistics Probability Letters 80 200) 473 479 Contents lists available at ciencedirect tatistics Probability Letters journal homepage: www.elsevier.com/locate/stapro On the relationships between copulas
More informationAn algebraic model of observable properties in distributed systems
Theoretical Computer Science 290 (2003) 637 668 www.elsevier.com/locate/tcs An algebraic model of observable properties in distributed systems Luca Bernardinello a;, Carlo Ferigato b; 1, Lucia Pomello
More informationMATH 22 FUNCTIONS: COMPOSITION & INVERSES. Lecture N: 10/16/2003. Mad world! mad kings! mad composition! Shakespeare, King John, II:1
MATH 22 Lecture N: 10/16/2003 FUNCTIONS: COMPOSITION & INVERSES Mad world! mad kings! mad composition! Shakespeare, King John, II:1 Copyright 2003 Larry Denenberg Administrivia http://denenberg.com/lecturen.pdf
More informationLecture 8: Basic convex analysis
Lecture 8: Basic convex analysis 1 Convex sets Both convex sets and functions have general importance in economic theory, not only in optimization. Given two points x; y 2 R n and 2 [0; 1]; the weighted
More informationMidterm 1. Every element of the set of functions is continuous
Econ 200 Mathematics for Economists Midterm Question.- Consider the set of functions F C(0, ) dened by { } F = f C(0, ) f(x) = ax b, a A R and b B R That is, F is a subset of the set of continuous functions
More informationMath 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008
Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008 Closed sets We have been operating at a fundamental level at which a topological space is a set together
More informationSupport weight enumerators and coset weight distributions of isodual codes
Support weight enumerators and coset weight distributions of isodual codes Olgica Milenkovic Department of Electrical and Computer Engineering University of Colorado, Boulder March 31, 2003 Abstract In
More information3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall
c Dr Oksana Shatalov, Fall 2014 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set
More informationProblem 3. Give an example of a sequence of continuous functions on a compact domain converging pointwise but not uniformly to a continuous function
Problem 3. Give an example of a sequence of continuous functions on a compact domain converging pointwise but not uniformly to a continuous function Solution. If we does not need the pointwise limit of
More informationGENERAL RELATED JENSEN TYPE INEQUALITIES FOR FUZZY INTEGRALS
TWMS J. App. Eng. Math. V.8, N., 08, pp. -7 GENERAL RELATED JENSEN TYPE INEQUALITIES FOR FUZZY INTEGRALS B. DARABY, Abstract. In this paper, related inequalities to Jensen type inequality for the seminormed
More informationKrivine s Intuitionistic Proof of Classical Completeness (for countable languages)
Krivine s Intuitionistic Proof of Classical Completeness (for countable languages) Berardi Stefano Valentini Silvio Dip. Informatica Dip. Mat. Pura ed Applicata Univ. Torino Univ. Padova c.so Svizzera
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationAn FKG equality with applications to random environments
Statistics & Probability Letters 46 (2000) 203 209 An FKG equality with applications to random environments Wei-Shih Yang a, David Klein b; a Department of Mathematics, Temple University, Philadelphia,
More informationInterval Valued Fuzzy Sets from Continuous Archimedean. Triangular Norms. Taner Bilgic and I. Burhan Turksen. University of Toronto.
Interval Valued Fuzzy Sets from Continuous Archimedean Triangular Norms Taner Bilgic and I. Burhan Turksen Department of Industrial Engineering University of Toronto Toronto, Ontario, M5S 1A4 Canada bilgic@ie.utoronto.ca,
More informationNote An example of a computable absolutely normal number
Theoretical Computer Science 270 (2002) 947 958 www.elsevier.com/locate/tcs Note An example of a computable absolutely normal number Veronica Becher ; 1, Santiago Figueira Departamento de Computation,
More informationNP-hardness of the stable matrix in unit interval family problem in discrete time
Systems & Control Letters 42 21 261 265 www.elsevier.com/locate/sysconle NP-hardness of the stable matrix in unit interval family problem in discrete time Alejandra Mercado, K.J. Ray Liu Electrical and
More informationarxiv: v1 [math.ca] 12 Jul 2018
arxiv:1807.04811v1 [math.ca] 12 Jul 2018 A new invariance identity and means Jimmy Devillet and Janusz Matkowski Abstract. The invariance identity involving three operations D f,g : X X X of the form D
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationThe nite submodel property and ω-categorical expansions of pregeometries
The nite submodel property and ω-categorical expansions of pregeometries Marko Djordjevi bstract We prove, by a probabilistic argument, that a class of ω-categorical structures, on which algebraic closure
More informationConditionally distributive real semirings
Conditionally distributive real semirings Dragan Jočić Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad Trg D. Obradovića 4, 21000 Novi Sad, Serbia and Montenegro e-mail:drjocic@ptt.yu
More informationAlternative theorems for nonlinear projection equations and applications to generalized complementarity problems
Nonlinear Analysis 46 (001) 853 868 www.elsevier.com/locate/na Alternative theorems for nonlinear projection equations and applications to generalized complementarity problems Yunbin Zhao a;, Defeng Sun
More informationPrinciple of Mathematical Induction
Advanced Calculus I. Math 451, Fall 2016, Prof. Vershynin Principle of Mathematical Induction 1. Prove that 1 + 2 + + n = 1 n(n + 1) for all n N. 2 2. Prove that 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1)
More informationLarge deviation convergence of generated pseudo measures
Large deviation convergence of generated pseudo measures Ljubo Nedović 1, Endre Pap 2, Nebojša M. Ralević 1, Tatjana Grbić 1 1 Faculty of Engineering, University of Novi Sad Trg Dositeja Obradovića 6,
More informationLecture 12: Multiple Random Variables and Independence
EE5110: Probability Foundations for Electrical Engineers July-November 2015 Lecture 12: Multiple Random Variables and Independence Instructor: Dr. Krishna Jagannathan Scribes: Debayani Ghosh, Gopal Krishna
More informationA converse Gaussian Poincare-type inequality for convex functions
Statistics & Proaility Letters 44 999 28 290 www.elsevier.nl/locate/stapro A converse Gaussian Poincare-type inequality for convex functions S.G. Bokov a;, C. Houdre ; ;2 a Department of Mathematics, Syktyvkar
More informationonly nite eigenvalues. This is an extension of earlier results from [2]. Then we concentrate on the Riccati equation appearing in H 2 and linear quadr
The discrete algebraic Riccati equation and linear matrix inequality nton. Stoorvogel y Department of Mathematics and Computing Science Eindhoven Univ. of Technology P.O. ox 53, 56 M Eindhoven The Netherlands
More informationThe average dimension of the hull of cyclic codes
Discrete Applied Mathematics 128 (2003) 275 292 www.elsevier.com/locate/dam The average dimension of the hull of cyclic codes Gintaras Skersys Matematikos ir Informatikos Fakultetas, Vilniaus Universitetas,
More informationBounded uniformly continuous functions
Bounded uniformly continuous functions Objectives. To study the basic properties of the C -algebra of the bounded uniformly continuous functions on some metric space. Requirements. Basic concepts of analysis:
More informationRichard DiSalvo. Dr. Elmer. Mathematical Foundations of Economics. Fall/Spring,
The Finite Dimensional Normed Linear Space Theorem Richard DiSalvo Dr. Elmer Mathematical Foundations of Economics Fall/Spring, 20-202 The claim that follows, which I have called the nite-dimensional normed
More informationLeft-continuous t-norms in Fuzzy Logic: an Overview
Left-continuous t-norms in Fuzzy Logic: an Overview János Fodor Dept. of Biomathematics and Informatics, Faculty of Veterinary Sci. Szent István University, István u. 2, H-1078 Budapest, Hungary E-mail:
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More informationOn (Weighted) k-order Fuzzy Connectives
Author manuscript, published in "IEEE Int. Conf. on Fuzzy Systems, Spain 2010" On Weighted -Order Fuzzy Connectives Hoel Le Capitaine and Carl Frélicot Mathematics, Image and Applications MIA Université
More informationLECTURE 3 RANDOM VARIABLES, CUMULATIVE DISTRIBUTION FUNCTIONS (CDFs)
OCTOBER 6, 2014 LECTURE 3 RANDOM VARIABLES, CUMULATIVE DISTRIBUTION FUNCTIONS (CDFs) 1 Random Variables Random experiments typically require verbal descriptions, and arguments involving events are often
More informationOn the stability of the functional equation f(x+ y + xy) = f(x)+ f(y)+ xf (y) + yf (x)
J. Math. Anal. Appl. 274 (2002) 659 666 www.academicpress.com On the stability of the functional equation f(x+ y + xy) = f(x)+ f(y)+ xf (y) + yf (x) Yong-Soo Jung a, and Kyoo-Hong Park b a Department of
More informationINTRODUCTION TO NETS. limits to coincide, since it can be deduced: i.e. x
INTRODUCTION TO NETS TOMMASO RUSSO 1. Sequences do not describe the topology The goal of this rst part is to justify via some examples the fact that sequences are not sucient to describe a topological
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationMax-min (σ-)additive representation of monotone measures
Noname manuscript No. (will be inserted by the editor) Max-min (σ-)additive representation of monotone measures Martin Brüning and Dieter Denneberg FB 3 Universität Bremen, D-28334 Bremen, Germany e-mail:
More informationDiscrimination power of measures of comparison
Fuzzy Sets and Systems 110 (000) 189 196 www.elsevier.com/locate/fss Discrimination power of measures of comparison M. Rifqi a;, V. Berger b, B. Bouchon-Meunier a a LIP6 Universite Pierre et Marie Curie,
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationUpper and Lower Bounds on the Number of Faults. a System Can Withstand Without Repairs. Cambridge, MA 02139
Upper and Lower Bounds on the Number of Faults a System Can Withstand Without Repairs Michel Goemans y Nancy Lynch z Isaac Saias x Laboratory for Computer Science Massachusetts Institute of Technology
More informationMAT115A-21 COMPLETE LECTURE NOTES
MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes
More informationCompositionality in SLD-derivations and their abstractions Marco Comini, Giorgio Levi and Maria Chiara Meo Dipartimento di Informatica, Universita di
Compositionality in SLD-derivations and their abstractions Marco Comini Giorgio Levi and Maria Chiara Meo Dipartimento di Informatica Universita di Pisa Corso Italia 40 56125 Pisa Italy fcomini levi meog@di.unipi.it
More informationAumann-Shapley Values on a Class of Cooperative Fuzzy Games
Journal of Uncertain Systems Vol.6, No.4, pp.27-277, 212 Online at: www.jus.org.uk Aumann-Shapley Values on a Class of Cooperative Fuzzy Games Fengye Wang, Youlin Shang, Zhiyong Huang School of Mathematics
More informationCOINCIDENCE AND COMMON FIXED POINT THEOREMS FOR FAINTLY COMPATIBLE MAPS
TWMS J. App. Eng. Math. V.7, N.1, 2017, pp. 25-32 COINCIDENCE AND COMMON FIXED POINT THEOREMS FOR FAINTLY COMPATIBLE MAPS ANITA TOMAR 1, SHIVANGI UPADHYAY 1, Abstract. The paper is aimed to generalize
More information1 Completeness Theorem for First Order Logic
1 Completeness Theorem for First Order Logic There are many proofs of the Completeness Theorem for First Order Logic. We follow here a version of Henkin s proof, as presented in the Handbook of Mathematical
More informationSettling Time Reducibility Orderings
Settling Time Reducibility Orderings by Clinton Loo A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Pure Mathematics
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More information2 RODNEY G. DOWNEY STEFFEN LEMPP Theorem. For any incomplete r.e. degree w, there is an incomplete r.e. degree a > w such that there is no r.e. degree
THERE IS NO PLUS-CAPPING DEGREE Rodney G. Downey Steffen Lempp Department of Mathematics, Victoria University of Wellington, Wellington, New Zealand downey@math.vuw.ac.nz Department of Mathematics, University
More informationThe subject of this paper is nding small sample spaces for joint distributions of
Constructing Small Sample Spaces for De-Randomization of Algorithms Daphne Koller Nimrod Megiddo y September 1993 The subject of this paper is nding small sample spaces for joint distributions of n Bernoulli
More informationPart IV Basic procs 131 Chapter 10 Possible delay, Delay, Prex In this chapter the procs pdly, dly and pref are introduced. Those procs make it possible to compare chronicles in several ways. Important
More informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationDesign of abstract domains using first-order logic
Centrum voor Wiskunde en Informatica REPORTRAPPORT Design of abstract domains using first-order logic E. Marchiori Computer Science/Department of Interactive Systems CS-R9633 1996 Report CS-R9633 ISSN
More informationPade approximants and noise: rational functions
Journal of Computational and Applied Mathematics 105 (1999) 285 297 Pade approximants and noise: rational functions Jacek Gilewicz a; a; b;1, Maciej Pindor a Centre de Physique Theorique, Unite Propre
More information1 Selected Homework Solutions
Selected Homework Solutions Mathematics 4600 A. Bathi Kasturiarachi September 2006. Selected Solutions to HW # HW #: (.) 5, 7, 8, 0; (.2):, 2 ; (.4): ; (.5): 3 (.): #0 For each of the following subsets
More information1 Fundamental Concepts From Algebra & Precalculus
Fundamental Concepts From Algebra & Precalculus. Review Exercises.. Simplify eac expression.. 5 7) [ 5)) ]. ) 5) 7) 9 + 8 5. 8 [ 5) 8 6)] [9 + 8 5 ]. 9 + 8 5 ) 8) + 5. 5 + [ )6)] 7) 7 + 6 5 6. 8 5 ) 6
More informationContents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces
Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v 250) Contents 2 Vector Spaces 1 21 Vectors in R n 1 22 The Formal Denition of a Vector Space 4 23 Subspaces 6 24 Linear Combinations and
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationarxiv: v1 [math.pr] 9 Jan 2016
SKLAR S THEOREM IN AN IMPRECISE SETTING IGNACIO MONTES, ENRIQUE MIRANDA, RENATO PELESSONI, AND PAOLO VICIG arxiv:1601.02121v1 [math.pr] 9 Jan 2016 Abstract. Sklar s theorem is an important tool that connects
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationAnother algorithm for nonnegative matrices
Linear Algebra and its Applications 365 (2003) 3 12 www.elsevier.com/locate/laa Another algorithm for nonnegative matrices Manfred J. Bauch University of Bayreuth, Institute of Mathematics, D-95440 Bayreuth,
More informationAW -Convergence and Well-Posedness of Non Convex Functions
Journal of Convex Analysis Volume 10 (2003), No. 2, 351 364 AW -Convergence Well-Posedness of Non Convex Functions Silvia Villa DIMA, Università di Genova, Via Dodecaneso 35, 16146 Genova, Italy villa@dima.unige.it
More information