Intuitionistic Fuzzy Lattices and Intuitionistic Fuzzy Boolean Algebras
|
|
- Kory Day
- 6 years ago
- Views:
Transcription
1 Intuitionistic Fuzzy Lttices nd Intuitionistic Fuzzy oolen Algebrs.K. Tripthy #1, M.K. Stpthy *2 nd P.K.Choudhury ##3 # School of Computing Science nd Engineering VIT University Vellore , TN, Indi 1 tripthybk@vit.c.in * Deprtment of Mthemtics.G. College, Pdmpur Pdmpur, Odish, Indi 2 mst141106@gmil.com ## Trtrini College, Purusottmpur, Odish 3 Prmod_c32@yhoo.com Abstrct The concept of lttice plys significnt role in mthemtics nd other domins where order properties ply n importnt role. In fct, oolen lgebr, which is specil cse of Lttice, is of fundmentl importnce in Computer science. The notion of Fuzzy sets s n extension of Crisp sets is model to hndle uncertinty in dt. Following it, the notions of fuzzy lttices hve been introduced by mny reserchers [1, 11]. One of the pproches is the introduction of fuzzy prtilly ordered reltion on crisp set which stisfies the lttice property. Intuitionistic fuzzy sets [2] re generlistions of the notion of fuzzy sets. So fr the notion of Intuitionistic fuzzy lttices hs neither been introduced nor studied. In this pper, we introduce the notions of intuitionistic fuzzy lttices, intuitionistic fuzzy oolen lgebr nd study their properties. In this process, we provide n lternte definition of ntisymmetric property of intuitionistic fuzzy reltions nd compre it with the existing ones. Keyword- Intuitionistic fuzzy set, Intuitionistic fuzzy reltion, Intuitionistic fuzzy lttice, Intuitionistic fuzzy oolen lgebr I. INTODUCTION The notion of fuzzy sets [ 13] nd tht of fuzzy reltions [14 ] hve been introduced s extensions of crisp sets nd crisp reltions to model uncertinty in dt nd informtion. The concepts of intuitionistic fuzzy sets [2] nd intuitionistic fuzzy reltions [3, 5, 6, 7, 8, 9] re further extensions in this direction nd these notions generlise the notions of fuzzy sets nd fuzzy reltions respectively. The specil types of reltions like equivlence reltions nd prtilly ordered reltions hve importnt pplictions in mthemtics. The notions of lttices in generl nd tht of oolen lgebr in prticulr hve importnt role in Computer science nd rely on prtilly ordered reltions. The concept of fuzzy lttice hs been introduced in mny wys [1, 11]. Perhps the most nturl pproch mong ll these by defining prtilly ordered fuzzy reltion over crisp set is due to Tripthy et l [12]. Most importntly, besides the study of severl specil types of fuzzy lttices, they hve introduced the concept of fuzzy oolen lgebr. The study of vrious types of intuitionistic fuzzy reltions hs been done in literture [3, 5, 6, 7, 8, 9]. In this pper we introduce the notions of intuitionistic fuzzy lttice, intuitionistic fuzzy oolen lgebr nd study their properties nd lso properties of some specil type of such lttices. II. FUZZY LATTICES AND FUZZY OOLEAN ALGEAS A. Fuzzy Lttices We first introduce some preliminry definition, which shll be used to define fuzzy lttices. Definition 2.1.1: A fuzzy binry reltion on set X is fuzzy prtil ordering if nd only if it is fuzzy reflexive, fuzzy ntisymmetric nd fuzzy trnsitive under ny fuzzy trnsitivity. Here, we shll confine ourselves to the mx-min trnsitivity only. There re severl other definitions of fuzzy trnsitivity. Definition 2.1.2: Let be fuzzy prtil ordering defined on set X. Then, for ny element x X, we ssocite two fuzzy sets. The first one is the dominting clss of x( [10]) denoted by [ x] nd is defined s (2.1.1) ( y) ( x, y), [ x] = where y X. In other words, the dominting clss of x contins the members of X to the degree to which they dominte x. ISSN : Vol 5 No 3 Jun-Jul
2 The second one is, the clss dominted by x ([10]), denoted by [ x] nd is defined s (2.1.2) ( y) ( y, x), [ x] = where y X. We hve, the clss dominted by x contins the elements of X to the degree to which they re dominted by x. Definition 2.1.3: An element x X is undominted if nd only if (x, y) = 0 for ll y X nd x y. X is sid to be undominting if nd only if (y, x) = 0 for ll y X nd x y. Definition 2.1.4: For crisp A of X on which fuzzy prtil ordering is defined, the fuzzy upper bound set of A is the fuzzy set denoted (, ) (2.1.3) U(, A) = x. U A nd is defined by ([10]) [ ] x A Definition 2.1.5: For crisp subset A of set X on which fuzzy prtil ordering is defined, the fuzzy lower bound set for A is the fuzzy set denoted by L(,A) nd is defined by (2.1.4) LA (, ) = [ x]. x A Definition 2.1.6: The lest upper bound of A with respect to the fuzzy prtil ordering reltion is unique element x in U(, A ) such tht (2.1.5) U (, A)( x) > 0 nd ( x, y) > 0, for ll elements y in the support of U(, A ). Note 2.1.1: If there re two such elements x nd y then by (2.1.5) we hve xy (, ) > 0 ndyx (, ) > 0. So, by the ntisymmetric property x = y. Definition 2.1.7: The gretest lower bound with respect to the fuzzy prtil ordering reltion is unique element x in L(, A) such tht (2.1.6) L(, A)( x) > 0 nd ( y, x) > 0, for ll elements in the support of L(,A). Definition 2.1.8: A crisp set X on which fuzzy prtil ordering is defined is sid to be fuzzy lttice if nd only if for ny two element set {x, y} in X, the lest upper bound (lub) nd the gretest lower bound (glb) exist in X. We denote the lub of {x, y} by x y nd the glb of {x, y} by x y. Mny properties of fuzzy lttices defined this mnner re estblished in [12].. Fuzzy oolen lgebr oolen lgebrs hve n importnt role in the ppliction res like computer since. It is specil kind of lttice. So, obviously one cn expect fuzzy oolen lgebr to be considered s specil cse of fuzzy lttice. We define it below ([12]). Definition 2.2.1: A complemented distributive fuzzy lttice is clled fuzzy oolen lgebr. Definition 2.2.2: Let = (,,,0,1,') be fuzzy oolen lgebr. For ny two elements nd b in, we define the opertion ring sum denoted by s (2.2.1) b = ( b ) ( b). Definition 2.2.3: In ny Fuzzy oolen lgebr = (,,,0,1,'), ring product is defined by (2.2.2) b = b,, b Definition 2.2.4: A complemented distributive fuzzy lttice with the binry opertion nd is fuzzy oolen ring with identity 1. Definition 2.2.5: Let ( L,, ) be fuzzy lttice with lower bound 0. An immedite successor of 0 is clled n tom. ISSN : Vol 5 No 3 Jun-Jul
3 Definition 2.2.6: Let ( L,, ) clled n ntitom. Definition 2.2.7: Let ( L,, ) (2.2.3) = 1 2 = 1 or = 2. L,, Definition 2.2.8: An element in fuzzy lttice ( ) (2.2.4) = 1 2 = 1 or = 2. be fuzzy lttice with n upper bound 1. An immedite predecessor of 1 is be fuzzy lttice. An element L is sid to be join irreducible if is sid to be meet irreducible if III. INTUITIONISTIC FUZZY LATTICES We generlise the notion of fuzzy lttices introduced by Tripthy nd Chudhury ([12]) to the setting of intuitionistic fuzzy lttices in this section. As is well known fuzzy sets re specil cses of intuitionistic fuzzy sets. Hence intuitionistic fuzzy sets hve better modeling power thn the fuzzy sets. Similrly, intuitionistic fuzzy lttices re more generl thn the fuzzy lttices. First we introduce some definitions which we define below: Definition 3.1: An intuitionistic fuzzy reltion is n intuitionistic fuzzy subset of X Y; tht is given by (3.1) = { < ( xy, ), μ( xy, ), ν ( xy, ) > / x X, y Y}, where μ, ν : X Y [0,1], stisfy the condition 0 μ ( xy, ) + ν ( xy, ) 1, for every ( x, y) X Y. Definition 3.2: We sy tht n intuitionistic fuzzy reltions is (3.2) reflexive, if for every x X, μ( xx, ) = 1 ndν ( xx, ) = 0. (3.3) irreflexive, if for some x X, μ( xx, ) 1 orν ( xx, ) 0. (3.4) ntireflexive, if for every x X, μ( xx, ) = 0 ndν ( xx, ) = 1. (3.5) symmetric, if for every ( x, y) X X μ ( x, y) = μ ( y, x) nd ν ( x, y) = ν ( y, x). In the opposite cse we sy is symmetric. (3.6) Perfect ntisymmetric if for every ( x, y) X X with x y nd μ( x, y) > 0 or ( μ( x, y) = 0 nd ν ( x, y) < 1) then μ( xy, ) = 0 ndν ( xy, ) = 1. (3.7) trnsitive if, where o is mx-min nd min-mx composition, tht is ( xz, ) mxmin { y ( xy, ), ( xy, )} ( x, z) min mx { ( x, y), ( y, z) } μ μ μ nd ν ν ν y. Note 3.1: The definition of perfect ntisymmetric given in (3.6) is equivlent to the following: n intuitionistic fuzzy reltion is perfect ntisymmetric if for every ( x, y) X X ( μ( x, y) > 0 nd μ( y, x) > 0) or ( ν ( x, y) < 1 (3.8) nd ν ( y, x) < 1) x = y. Observtion 3.1: First we see tht when X is fuzzy set, ν (x, y) = 1-μ (x, y) nd ν (y, x) = 1-μ (y, x). So tht the second hlf of condition (3.8) reduces to the first prt nd so we get the corresponding definition of ntisymmetry of fuzzy set. Observtion 3.2: Next, we note tht when first hlf of condition (3.8) is true the second hlf follows. ut, when the second hlf holds, we get tht μ ( x, y) 0 nd μ ( y, x) 0. So, the first hlf does not follow. To be ISSN : Vol 5 No 3 Jun-Jul
4 precise, the second hlf covers the cses μ ( xy, ) = 0 orμ ( yx, ) = 0. So, we cnnot do wy with ny of the prts in (3.8). Observtion 3.3: Finlly, we shll show tht (3.6) nd (3.8) re equivlent. (i) Proof of (3.8) (3.6) We hve (3.8) is equivlent to ( x y) ( μ( x, y) > 0 nd μ( y, x) > 0) (3.9) nd ( ν ( x, y) < 1 nd ν ( y, x) < 1). In (3.9) ' ' is the oolen negtion. In ddition if ( x, y ) 0 then of HS we get μ ( yx, ) = 0. μ > from the first expression From the second expression on the HS we get either both ν ( x, y) = 1 ndν ( y, x) = 1 or one of these is equl to 1 nd the other is not. ut in this cse s μ ( xy, ) > 0, we cnnot hve ν ( xy, ) = 1. So, we hve ν ( yx, ) = 1. Hence, in ny cse we get ν ( xy, ) = 1. On the other hnd suppose μ( xy, ) = 0 ndν ( xy, ) < 1. Then from the second expression on the HS of (3.9), we must hve ν ( yx, ) = 1. Hence, μ ( yx, ) = 0. (ii)proof of (3.6) (3.8) Suppose x y. Then we hve two cses. Cse-1: μ ( xy, ) > 0. In this cse we hve μ ( yx, ) = 0 by(3.6). Also ν ( yx, ) = 1. So tht HS of (3.9) is true. Cse-2: μ ( xy, ) = 0. Then either ν ( xy, ) = 1 orν ( xy, ) < 1. If ν (x, y) = 1 then μ (x, y) = 0. So, HS of (3.9) is true. On the other hnd if ν (x, y) < 1 then by (3.6) μ (y, x) = 0 nd ν (y, x) = 1.So, HS of (3.9) is true. Definition 3.3: An intuitionistic fuzzy reltion on X is sid to be ll intuitionistic fuzzy prtilly ordered reltion if is reflexive, perfect ntisymmetric nd trnsitive; tht is (3.2), (3.6) nd (3.7) hold. Definition 3.4: Let X be set with n intuitionistic fuzzy prtil ordered reltion defined over it. Then (X, ) is clled n intuitionistic fuzzy prtilly ordered set. Definition 3.5: When intuitionistic fuzzy prtil ordering in defined on set X, two intuitionistic fuzzy sets re ssocited with ech element x in X. The first is clled the dominting clss of x. We denote it by [ x] nd is defined by (3.10) y μ iff μ x, y > 0 or{ μ x, y = 0 ndν x, y < 1}. (3.11) [ x] ( ) ( ) ( ) The second is clled the clss dominted by x. we denote it by [ x] nd is defined by y μ iffμ yx, > 0 or{ μ yx, = 0 ndν yx, < 1}. [ x] ( ) ( ) ( ) Definition 3.6: An element x X is undominted if nd only if (3.12) μ ( xy) ndν ( xy), = 0, = 1 for ll y X nd y x An element x X is undominting if nd only if (3.13) μ ( ) ν ( ) y, x = 0 nd y, x = 1 for ll y X nd y x. Definition 3.7: For crisp subset A of set X on which n intuitionistic fuzzy prtil ordering is defined, the intuitionistic fuzzy upper bound for A in the intuitionistic fuzzy set denoted by (, ) U A nd is defined by ISSN : Vol 5 No 3 Jun-Jul
5 U A, x x A = (3.14) ( ) [ ] when denotes intersection of intuitionistic fuzzy sets. Definition 3.8: Let A be n intuitionistic fuzzy set. Then by the support set of A, We men ll elements x for μ x > 0 or μ x = 0 nd ν x < 1. which A( ) { A( ) A( ) } Definition 3.9: For crisp subset A of set X on which n intuitionistic fuzzy prtil ordering is defined, the intuitionistic fuzzy lower bound for A is the intuitionistic fuzzy set denoted by L(,A) nd is defined by L A =., x x A (3.15) ( ) [ ] Definition 3.10: The lest upper bound of A with respect to the intuitionistic fuzzy prtil ordering reltion is unique element x in support set of U(, A ) such tht (3.16) For ll other y in support set of U(, A ) μ( x y) > or{ μ( x y) = nd ν( x y) < }, 0, 0, 1. Definition 3.11: The gretest lower bound of A with respect to the intuitionistic fuzzy prtil ordering reltion is unique element x in the support set of L(, A) such tht μ y, x > 0 or μ y, x = 0 nd ν y, x < 1. (3.17) For ll other y in the support set of L(, A) ( ) { ( ) ( ) } Note 3.2: The uniqueness of x in definitions 3.10 nd 3.11 follows from the intuitionistic fuzzy ntisymmetric property of. We provide the proof for The cse of 3.11 is similr. Suppose tht there re two such elements x nd z. Then there re three cses. Cse (i) If both x nd z stisfy μl(, A) ( x) > 0 nd μl(, A) ( z) > 0 then μ( x, z) > 0 nd μ( z, x) > 0. So, by ntisymmetric property x = z. Cse (ii) If both stisfy μl(, A) ( x) = 0, ν L(, A) ( x) < 1 nd μl(, A) ( z) = 0, ν L(, A) ( z) < 1 then from ν ( x) < 1 nd ν ( z) < 1 we get x = z. L(, A) L(, A) Cse (iii) If μl(, A) ( x) > 0, μ( z, x) > 0( which impliesν ( z, x) < 1) nd μl(, A) ( z) = 0, ν L(, A) ( z) < 1 (which implies ν (x, z) < 1). So, from ν (, zx) < 1 ndν (, zx) < 1 we get by ntisymmetry tht x = z. Definition 3.12: A crisp set X on which intuitionistic fuzzy prtil ordering is defined is sid to be n intuitionistic fuzzy lttice if nd only if for ny two element set {x, y} in X, the lest upper bound (lub) nd gretest lower bound (glb) exist in X. We denote the lub of {x, y} by x y nd glb of {x, y} by x y. Exmple 3.1: Let X = {, b, c, d, e}. We define n intuitionistic fuzzy reltion over X, given by the mtrix: b c d e (1.0) ( 7, 2) ( 0,1) ( 0,1) ( 0,1) b ( 0, 8) ( 1,0) ( 0,1) ( 9, 1) ( 0, 8) c ( 5, 3) ( 7, 2) ( 1, 0) ( 1, 0) ( 8, 1) d ( 0, 8) ( 0,1) ( 0,1) ( 1,0) ( 0,1) e ( 0, 7) ( 1, 8) ( 0, 7) ( 9, 1) ( 1,0) Clerly the reltion is intuitionistic fuzzy reflexive nd intuitionistic fuzzy ntisymmetric from its definition. Also, it is mx-min, min-mx trnsitive (see (3.7)). The following tble describes the lub nd glb for different pin of elements of X. ISSN : Vol 5 No 3 Jun-Jul
6 Element pir lub glb {, b} b {, c} c {, d} d {, e} e {b, c} b c {b, d} d b {b, e} b e {c, d} d c {c, e} e c {d, e} d e So, the set X with intuitionistic fuzzy prtil ordering defined over it s bove, is n intuitionistic fuzzy lttice. Theorem 3.1: In n intuitionistic fuzzy lttice (L, ) for ny two elements, b L, ( b) or ( b) nd ( b) μ, > 0 μ, = 0 ν, < 1 b = b = b Proof We hve b= μ ( ) ( ) L > 0, b, μ b, > 0 or μ b, = 0 ndν ( b, ) < 1. Conversely, This together with ( b ) ( ) { ( ) } ( ) ( ) [ b] μ, b > 0 or μ, b = 0 nd ν(, b) < 1 L(,{, b}). μ, > 0 implies tht is the glb of {, b} or b =. This completes the proof. The following results which hve been estblished in cse of fuzzy lttices cn be esily extended to the setting of intuitionistic fuzzy lttices s we hve shown in proving the bove theorem. Theorem 3.2: Let (L, ) be n intuitionistic fuzzy lttice. Then the idempotent, commuttive, ssocitive nd bsorption properties for the opertions nd hold. Theorem 3.3: For ll, b, c L, where (L, ) is n IF-lttice, μ b, > 0 or μ b, = 0 ndν b, < 1 ( ) { ( ) ( ) } { μ( c, b c) 0 nd μ( c, b c) 0 } > > or { μ( c, b c) 0, μ( c, b c) 0, ν( c, b c) 1, ν( c, b c) 1} = = < <,. Theorem 3.4: For ll,b,c L, where (L,) is n IF-lttice, (i) { μa( b, ) > 0 nd μ ( c, ) >.0} or { μ ( b, ) = 0, ν ( b, ) < 1, μ c, = 0, ν c, < 1 ( ) ( ) } { μ (, b c) > 0 nd μ (, b c) > 0} or { μ (, b c) = 0, μ (, b c) = 0, ν (, b c) < 1, ν (, b c) < 1} (ii) { μa( b, ) > 0 nd μ ( c, ). < 0} or { μ ( b, ) = 0, ν ( b, ) < 1, μ ( c, ) = 0, ν ( c, ) < 1} μ ( b c, ) > 0, μ ( b c, ) > 0 or { } ISSN : Vol 5 No 3 Jun-Jul
7 μ μ Theorem 3.5: Theorem 3.6: ( b c ) ν ( b c ) ( b c ) ν ( b c ), = 0,, < 1,, = 0,, < 1 For, b, c L, where (L, ) is n IF-lttice the distributive inequlities hold. For ll, b, c L, where L is n IF-lttice, μ ( ) ( c) μ ( b c) ( b) c { μ( c, ) = 0, ν( c, ) < 1} { μ ( ( ) ( ) ) = ν ( ( b c), ( b) c) < 1}, > 0, > 0 nd b c, b c, Definition 3.13: An IF-lttice (L, ) is sid to be complete if every nonempty subset of L hs lub nd glb. Definition 3.14: An IF-lttice (L, ) is sid to be bounded if two elements, 0, 1 L such tht ( x) or ( x) nd ( x) ( x ) or ( x ) nd ( x ) μ 0, > 0 μ 0, = 0 ν 0, < 1 μ,1 > 0 μ,1 = 0 ν,1 < 1 for ll x L. Definition 3.15: IF-lttice (L, ) is sid to be distributive if nd only if for ll, b, c L, ( b c) = ( b) ( c) nd ( b c) = ( b) ( c) Definition 3.16: An IF-lttice (L, ) is sid to be modulr if ( b c ) = ( b) c whenever μ ( c, ). > 0 or μ ( c, ) = 0 ndν ( c, ) < 1 for ll, b, c L. Definition 3.17: Let (L, ) be bounded IF-lttice nd we denote the lower nd upper bounds of L by 0 nd 1 respectively. An element L is sid to be complement of L if nd only if = 0 nd = 1. The following theorems cn be proved s in the corresponding crisp cses: Theorem 3.7: Every distributive IF-lttice is modulr. Theorem 3.8: If (L, ) is complemented distributive IF-lttice then the two De Morgn s Lws b b b = b hold for ll, b L. ( ) = nd ( ) Exmple 3.1: We define n intuitionistic fuzzy pentgonl lttice s follows: Let L { 0,,,, 1} nd =. The intuitionistic fuzzy prtil ordering reltion is defined in terms of the mtrix given below. Here the entries denote the vlues of the membership nd non-membership function s n ordered pir ISSN : Vol 5 No 3 Jun-Jul
8 IFP 0 0 (1,0) >0 or (0,<1) >0 or (0,<1) >0 or (0, <1) 1 >0 or (0, <1) (0,1) (1,0) (0,1) - >0 or (0, <1) (0,1) - (1,0) - >0 or (0, <1) (0,1) - - (1,0) >0 or (0, <1) 1 (0,1) (0,1) (0,1) (0,1) (1,0) Here >0 mens ny rel number in (0, 1) cn be ssigned for the membership functionl vlue nd there is no restriction on the non-membership functionl vlue. Also, (0, <1) mens the vlue of the membership function is zero nd tht of non-membership function in strictly less thn 1. Finlly, mens tht no vlue exists for these slots; tht is the vlues re undefined. Exmple 3.2: We define the intuitionistic fuzzy dimond lttice s follows: Let L = { 0, b1, b2, b3, 1}. The intuitionistic fuzzy prtil ordering reltion is defined in term of the mtrix given below: IFD 0 b 1 b 2 b (1,0) >0 or >0 or >0 or >0 or (0, <1) (0,<1) (0,<1) (0, <1) b 1 (0,1) (1,0) - - >0 or (0, <1) b 2 (0,1) - (1,0) - >0 or (0, <1) b 3 (0,1) - - (1,0) >0 or (0, <1) 1 (0,1) (0,1) (0,1) (0,1) (1,0) The interprettions of the entries in the tble hve some menings s in cse of Exmple 3.1. In both those cses we get n infinite number of such lttices. Definition 3.18: An intuitionistic fuzzy chin is n IF-prtilly ordered set (L, ) in which for two ( ) ( ) ( ) ( b) or ( b) nd ( b) elements,b L, either μ, b > 0 or μ, b = 0 ndν, b < 1 or μ, > 0 μ, = 0 ν, < 1 We stte the following two properties: Theorem 3.9: Every intuitionistic fuzzy chin is distributive IF-lttice. Theorem 3.10: In complemented distributed IF-lttice (L, ) b, L ( b, ) 0 or ( b, ) 0, ( b, ) 1 ( b, ) 0 or { ( b, ) 0, ( b, ) 1} μ > μ = ν < b = 0 b = 1 μ > μ = ν <. IV. INTUITIONISTIC FUZZY OOLEAN ALGEA In this section we define specil type of IF-lttice which is clled IF-oolen lgebr nd estblish some of its properties. Definition 4.1: A complemented distributive IF-lttice is clled n IF-oolen lgebr. ISSN : Vol 5 No 3 Jun-Jul
9 Every complement IF-lttice is necessrily bounded. So, n IF-oolen lgebr is necessrily bounded. We denote it by (,,,0,1,) =, where is distributive bounded IF-lttice with bounds 0 nd 1 nd every element hs n unique complement denoted by. Definition 4.2: Let = (,,,0,1,') be IF-oolen lgebr. For ny two elements nd b in, we define the opertion ring sum denoted by s (4.1) b ( b ) ( b) is well defined opertion on. =. The following properties of IF-oolen lgebr cn be proved s in cse of fuzzy oolen lgebr. We only stte these results. Theorem 4.1: Let be n IF-oolen lgebr. Then b = b b b (4.2) ( ) ( ),, (4.3) b = b,, b (4.4) is ssocitive (4.5) 0 = 0 =, (4.6) 1= 1 =, (4.7) = 0, (4.8) ( b c) = ( b) ( c),, b, c Definition 4.3: In ny IF-oolen lgebr = (,,, 0,1, ') ring product (1) is defined by (4.9) b = b,, b Definition 4.4: A complemented distributive IF-lttice with the binry opertions nd oolen ring with identity 1. Theorem 4.2: In IF-oolen lgebr, (4.10) b = 0 = b,, b is IF- (4.11) ( 1 ) = 1 nd (4.12) ( 1 ) = 0, for ll Definition 4.5: Let ( L,, ) be n IF-lttice with lower bound 0. An immedite successor of 0 is clled n tom. {, > 0, > 0} { = < = < } = or b=, where is the IF Thus, 0 is n tom if μ( b) nd μ ( b ) or μ (, b) 0, ν (, b) 1, μ ( b, ) 0, μ ( b, ) 1 b 0 prtilly ordered reltion on L. Definition 4.6: Let ( L,, ) be on IF-lttice with upper bound 1. An immedite predecessor of 1 is clled on ntitom. Thus 1 is n ntitom if μ ( b) nd μ ( b ) Definition 4.7: Let (,, ), > 1,1 > 0 b = or b = 1. L be n IF-lttice. An element L is sid to be join irreducible if (4.13) = 1 2 = 1 or = 2 is sid to meet irreducible if ISSN : Vol 5 No 3 Jun-Jul
10 (4.14) = 1 2 = 1 or = 2. Theorem 4.3: Let (,,, 0,1, ') be IF-oolen lgebr. Then the following hold: (4.15) is join irreducible = 1 2 μ ( 2, 1) > 0 or ( ) { μ( 2, 1) = 0, ν ( 2, 1) < 1} μ ( ) ν ( ν ν ) μ 1, > 2 0 or { 1, 2 0, 1, 2 1} or nd (4.16) is meet irreducible = 1 2 = <, μ ( 2, 1) > 0 or ( ) 1 2 { μ ( 1, 2) =, ν ( 1, 1) < 1} or μ ( ) = ν ( ) < μ, > 0 or { 2, 1 0, 2, 1 1} Theorem 4.4: In ny IF-lttice with lower bound 0, every tom is join irreducible. Theorem 4.5: Let (,,,0,1,1) be IF-oolen lgebr. Then 0 is n tom if nd only if it is join irreducible. V. CONCLUSIONS The notion of Intuitionistic fuzzy lttice introduced in this pper is n extension of the corresponding definition of fuzzy lttice introduced in [12]. The dvntge in this definition is tht we consider prtilly ordered intuitionistic fuzzy reltion is defined over set, which provides nturl prtil ordering insted of the erlier cses where n intuitionistic fuzzy set is tken nd norml prtilly ordered reltion is defined. Mny concepts relted to this notion re defined nd properties re estblished. Some of these properties hve been proved nd the others cn be proved in wy similr to the fuzzy cse. Two specil IF-lttices hve been defined. Another specil cse nd perhps the most importnt one tht of IF-oolen lgebr is defined nd its properties re estblished. Since the intuitionistic fuzzy lttices re more relistic thn the fuzzy lttices the results estblished in this pper will cover wider re of pplictions. The notion of intuitionistic fuzzy oolen lgebr will led to the study of intuitionistic fuzzy oolen expressions nd possibly the notion of intuitionistic fuzzy gtes cn be developed. EFEENCES [1] N. Ajml: Fuzzy Lttices, Informtion Sciences, 79, (1994),pp [2] K.T.Atnossov: Intuitionistic Fuzzy Sets, Fuzzy sets nd systems, 20, (1986), pp [3] K.T. Atnossov: Intuitionistic fuzzy reltions, First scientific session of the Mthemticl Foundtion Artificil Intelligence, Sofi, IM- MFAIS, (1989), pp.1-3. [4] G.irkoff.: Lttice theory, 3 rd edition, Americn Mthemticl Society, Colloquium publiction, 25, (1984) [5] T.T. uhescu: Some observtions on intuitionistic fuzzy reltions, Itimest Seminr on Functionl Equtions, (1990), pp [6] P. urillo nd H.ustince: Intuitionistic fuzzy reltions (Prt-I), Mthwre Soft Computing, 2 (1995), pp.5-38 [7] P.urillo nd H.ustince: Intuitionistic fuzzy reltions (Prt-II), Mthwre Soft Computing 2 (1995), pp [8] P.urillo nd H.ustince: Structures on initutionistic fuzzy reltions, Fuzzy sets nd systems, 78 (1996), pp [9] H.ustince: Construction of intuitionistic fuzzy reltions with predetermined properties, Fuzzy sets nd systems, 109 (2000), pp [10] G.J.Klir nd.yuon: Fuzzy sets nd fuzzy logic, Theory nd Applictions, prentice Hll of Indi, (1997). [11] S.Nnd: Fuzzy Lttices, ulletin of the Clcutt Mthemticl Society, 81, (1989). [12].K.Tripthy nd P.K.Choudhury: Fuzzy Lttices nd Fuzzy oolen Algebr, The Journl of Fuzzy Mthemtics, Vol.16, no.1, (2008), pp [13] L.A.Zdeh: Fuzzy sets, Informtion nd Control, 8, (1965), pp [14] L.A.Zdeh: Similrity reltions nd fuzzy orderings, Informtion Sciences, vol.3, no.2, (1971), pp ISSN : Vol 5 No 3 Jun-Jul
The Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationCM10196 Topic 4: Functions and Relations
CM096 Topic 4: Functions nd Reltions Guy McCusker W. Functions nd reltions Perhps the most widely used notion in ll of mthemtics is tht of function. Informlly, function is n opertion which tkes n input
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
More informationad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)
10 Most proofs re left s reding exercises. Definition 10.1. Z = Z {0}. Definition 10.2. Let be the binry reltion defined on Z Z by, b c, d iff d = cb. Theorem 10.3. is n equivlence reltion on Z Z. Proof.
More informationFrobenius numbers of generalized Fibonacci semigroups
Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:
More informationRectangular group congruences on an epigroup
cholrs Journl of Engineering nd Technology (JET) ch J Eng Tech, 015; 3(9):73-736 cholrs Acdemic nd cientific Pulisher (An Interntionl Pulisher for Acdemic nd cientific Resources) wwwsspulishercom IN 31-435X
More informationDually quasi-de Morgan Stone semi-heyting algebras II. Regularity
Volume 2, Number, July 204, 65-82 ISSN Print: 2345-5853 Online: 2345-586 Dully qusi-de Morgn Stone semi-heyting lgebrs II. Regulrity Hnmntgoud P. Snkppnvr Abstrct. This pper is the second of two prt series.
More informationBoolean Algebra. Boolean Algebras
Boolen Algebr Boolen Algebrs A Boolen lgebr is set B of vlues together with: - two binry opertions, commonly denoted by + nd, - unry opertion, usully denoted by or ~ or, - two elements usully clled zero
More informationName of the Student:
SUBJECT NAME : Discrete Mthemtics SUBJECT CODE : MA 2265 MATERIAL NAME : Formul Mteril MATERIAL CODE : JM08ADM009 Nme of the Student: Brnch: Unit I (Logic nd Proofs) 1) Truth Tble: Conjunction Disjunction
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationZero-Sum Magic Graphs and Their Null Sets
Zero-Sum Mgic Grphs nd Their Null Sets Ebrhim Slehi Deprtment of Mthemticl Sciences University of Nevd Ls Vegs Ls Vegs, NV 89154-4020. ebrhim.slehi@unlv.edu Abstrct For ny h N, grph G = (V, E) is sid to
More informationResults on Planar Near Rings
Interntionl Mthemticl Forum, Vol. 9, 2014, no. 23, 1139-1147 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/imf.2014.4593 Results on Plnr Ner Rings Edurd Domi Deprtment of Mthemtics, University
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1
More informationGeometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio.
Geometric Sequences Geometric Sequence sequence whose consecutive terms hve common rtio. Geometric Sequence A sequence is geometric if the rtios of consecutive terms re the sme. 2 3 4... 2 3 The number
More informationRealistic Method for Solving Fully Intuitionistic Fuzzy. Transportation Problems
Applied Mthemticl Sciences, Vol 8, 201, no 11, 6-69 HKAR Ltd, wwwm-hikricom http://dxdoiorg/10988/ms20176 Relistic Method for Solving Fully ntuitionistic Fuzzy Trnsporttion Problems P Pndin Deprtment of
More informationPath product and inverse M-matrices
Electronic Journl of Liner Algebr Volume 22 Volume 22 (2011) Article 42 2011 Pth product nd inverse M-mtrices Yn Zhu Cheng-Yi Zhng Jun Liu Follow this nd dditionl works t: http://repository.uwyo.edu/el
More informationThe Algebra (al-jabr) of Matrices
Section : Mtri lgebr nd Clculus Wshkewicz College of Engineering he lgebr (l-jbr) of Mtrices lgebr s brnch of mthemtics is much broder thn elementry lgebr ll of us studied in our high school dys. In sense
More informationAnalytically, vectors will be represented by lowercase bold-face Latin letters, e.g. a, r, q.
1.1 Vector Alger 1.1.1 Sclrs A physicl quntity which is completely descried y single rel numer is clled sclr. Physiclly, it is something which hs mgnitude, nd is completely descried y this mgnitude. Exmples
More informationLecture 3: Equivalence Relations
Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts
More informationDually quasi-de Morgan Stone semi-heyting algebras I. Regularity
Volume 2, Number, July 204, 47-64 ISSN Print: 2345-5853 Online: 2345-586 Dully qusi-de Morgn Stone semi-heyting lgebrs I. Regulrity Hnmntgoud P. Snkppnvr Abstrct. This pper is the first of two prt series.
More informationA New Grey-rough Set Model Based on Interval-Valued Grey Sets
Proceedings of the 009 IEEE Interntionl Conference on Systems Mn nd Cybernetics Sn ntonio TX US - October 009 New Grey-rough Set Model sed on Intervl-Vlued Grey Sets Wu Shunxing Deprtment of utomtion Ximen
More informationPositive Solutions of Operator Equations on Half-Line
Int. Journl of Mth. Anlysis, Vol. 3, 29, no. 5, 211-22 Positive Solutions of Opertor Equtions on Hlf-Line Bohe Wng 1 School of Mthemtics Shndong Administrtion Institute Jinn, 2514, P.R. Chin sdusuh@163.com
More informationSome estimates on the Hermite-Hadamard inequality through quasi-convex functions
Annls of University of Criov, Mth. Comp. Sci. Ser. Volume 3, 7, Pges 8 87 ISSN: 13-693 Some estimtes on the Hermite-Hdmrd inequlity through qusi-convex functions Dniel Alexndru Ion Abstrct. In this pper
More informationReview of basic calculus
Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below
More informationA Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions
Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 2451-2460 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationABSTRACT: This paper is a study on algebraic structure of Pre A* - algebra and defines the relation R on an. and prove that the relations
Interntionl Journl of Engineering Science nd Innovtive Technology (IJESIT) PRE A*-ALGEBRA AND CONGRUENCE RELATION DrYPRAROOPA 1 KMoses 2 AShou Reddy 3 1DrMrsYPRAROOPA, Associte Professor, Deprtment of
More informationSemigroup of generalized inverses of matrices
Semigroup of generlized inverses of mtrices Hnif Zekroui nd Sid Guedjib Abstrct. The pper is divided into two principl prts. In the first one, we give the set of generlized inverses of mtrix A structure
More informationBest Approximation in the 2-norm
Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion
More informationThe Riemann-Lebesgue Lemma
Physics 215 Winter 218 The Riemnn-Lebesgue Lemm The Riemnn Lebesgue Lemm is one of the most importnt results of Fourier nlysis nd symptotic nlysis. It hs mny physics pplictions, especilly in studies of
More informationIN GAUSSIAN INTEGERS X 3 + Y 3 = Z 3 HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A2 IN GAUSSIAN INTEGERS X + Y = Z HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH Elis Lmpkis Lmpropoulou (Term), Kiprissi, T.K: 24500,
More informationN 0 completions on partial matrices
N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationAQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system
Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex
More informationIntroduction to Group Theory
Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements
More informationRough Lattice: A Combination with the Lattice Theory and the Rough Set Theory
06 Interntionl Conference on Mechtronics, Control nd Automtion Engineering (MCAE 06) ough Lttice: A Combintion with the Lttice Theory nd the ough Set Theory Yingcho Sho,*, Li Fu, Fei Ho 3 nd Keyun Qin
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationResearch Article Moment Inequalities and Complete Moment Convergence
Hindwi Publishing Corportion Journl of Inequlities nd Applictions Volume 2009, Article ID 271265, 14 pges doi:10.1155/2009/271265 Reserch Article Moment Inequlities nd Complete Moment Convergence Soo Hk
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More informationLYAPUNOV-TYPE INEQUALITIES FOR THIRD-ORDER LINEAR DIFFERENTIAL EQUATIONS
Electronic Journl of Differentil Equtions, Vol. 2017 (2017), No. 139, pp. 1 14. ISSN: 1072-6691. URL: http://ejde.mth.txstte.edu or http://ejde.mth.unt.edu LYAPUNOV-TYPE INEQUALITIES FOR THIRD-ORDER LINEAR
More informationNatural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring
More generlly, we define ring to be non-empty set R hving two binry opertions (we ll think of these s ddition nd multipliction) which is n Abelin group under + (we ll denote the dditive identity by 0),
More informationA General Dynamic Inequality of Opial Type
Appl Mth Inf Sci No 3-5 (26) Applied Mthemtics & Informtion Sciences An Interntionl Journl http://dxdoiorg/2785/mis/bos7-mis A Generl Dynmic Inequlity of Opil Type Rvi Agrwl Mrtin Bohner 2 Donl O Regn
More informationE1: CALCULUS - lecture notes
E1: CALCULUS - lecture notes Ştefn Blint Ev Kslik, Simon Epure, Simin Mriş, Aureli Tomoiogă Contents I Introduction 9 1 The notions set, element of set, membership of n element in set re bsic notions of
More informationLecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.
Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one
More informationInfinite Geometric Series
Infinite Geometric Series Finite Geometric Series ( finite SUM) Let 0 < r < 1, nd let n be positive integer. Consider the finite sum It turns out there is simple lgebric expression tht is equivlent to
More informationMatrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24
Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the
More informationset is not closed under matrix [ multiplication, ] and does not form a group.
Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More informationHandout: Natural deduction for first order logic
MATH 457 Introduction to Mthemticl Logic Spring 2016 Dr Json Rute Hndout: Nturl deduction for first order logic We will extend our nturl deduction rules for sententil logic to first order logic These notes
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationKRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION
Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More information8. Complex Numbers. We can combine the real numbers with this new imaginary number to form the complex numbers.
8. Complex Numers The rel numer system is dequte for solving mny mthemticl prolems. But it is necessry to extend the rel numer system to solve numer of importnt prolems. Complex numers do not chnge the
More informationSimple Gamma Rings With Involutions.
IOSR Journl of Mthemtics (IOSR-JM) ISSN: 2278-5728. Volume 4, Issue (Nov. - Dec. 2012), PP 40-48 Simple Gmm Rings With Involutions. 1 A.C. Pul nd 2 Md. Sbur Uddin 1 Deprtment of Mthemtics University of
More informationMAT 215: Analysis in a single variable Course notes, Fall Michael Damron
MAT 215: Anlysis in single vrible Course notes, Fll 2012 Michel Dmron Compiled from lectures nd exercises designed with Mrk McConnell following Principles of Mthemticl Anlysis, Rudin Princeton University
More informationCHAPTER 2 FUZZY NUMBER AND FUZZY ARITHMETIC
CHPTER FUZZY NUMBER ND FUZZY RITHMETIC 1 Introdction Fzzy rithmetic or rithmetic of fzzy nmbers is generlistion of intervl rithmetic, where rther thn considering intervls t one constnt level only, severl
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationDecomposition of terms in Lucas sequences
Journl of Logic & Anlysis 1:4 009 1 3 ISSN 1759-9008 1 Decomposition of terms in Lucs sequences ABDELMADJID BOUDAOUD Let P, Q be non-zero integers such tht D = P 4Q is different from zero. The sequences
More information(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer
Divisibility In this note we introduce the notion of divisibility for two integers nd b then we discuss the division lgorithm. First we give forml definition nd note some properties of the division opertion.
More informationLecture 9: LTL and Büchi Automata
Lecture 9: LTL nd Büchi Automt 1 LTL Property Ptterns Quite often the requirements of system follow some simple ptterns. Sometimes we wnt to specify tht property should only hold in certin context, clled
More informationSongklanakarin Journal of Science and Technology SJST R1 Akram. N-Fuzzy BiΓ -Ternary Semigroups
ongklnkrin Journl of cience nd Technology JT-0-0.R Akrm N-Fuzzy Bi -Ternry emigroups Journl: ongklnkrin Journl of cience nd Technology Mnuscript ID JT-0-0.R Mnuscript Type: Originl Article Dte ubmitted
More informationHere we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.
Section 24 Nonsingulr Liner Systems Here we study squre liner systems nd properties of their coefficient mtrices s they relte to the solution set of the liner system Let A be n n Then we know from previous
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationTRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS
TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS S.S. DRAGOMIR AND A. SOFO Abstrct. In this pper by utilising result given by Fink we obtin some new results relting to the trpezoidl inequlity
More informationarxiv: v1 [math.ra] 1 Nov 2014
CLASSIFICATION OF COMPLEX CYCLIC LEIBNIZ ALGEBRAS DANIEL SCOFIELD AND S MCKAY SULLIVAN rxiv:14110170v1 [mthra] 1 Nov 2014 Abstrct Since Leibniz lgebrs were introduced by Lody s generliztion of Lie lgebrs,
More informationPolynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230
Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given
More informationImproper Integrals. Type I Improper Integrals How do we evaluate an integral such as
Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph
More informationSUMMER KNOWHOW STUDY AND LEARNING CENTRE
SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More informationMinimal DFA. minimal DFA for L starting from any other
Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA
More informationJournal of Inequalities in Pure and Applied Mathematics
Journl of Inequlities in Pure nd Applied Mthemtics GENERALIZATIONS OF THE TRAPEZOID INEQUALITIES BASED ON A NEW MEAN VALUE THEOREM FOR THE REMAINDER IN TAYLOR S FORMULA volume 7, issue 3, rticle 90, 006.
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More informationINTRODUCTION TO LINEAR ALGEBRA
ME Applied Mthemtics for Mechnicl Engineers INTRODUCTION TO INEAR AGEBRA Mtrices nd Vectors Prof. Dr. Bülent E. Pltin Spring Sections & / ME Applied Mthemtics for Mechnicl Engineers INTRODUCTION TO INEAR
More informationChapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY
Chpter 3 MTRIX In this chpter: Definition nd terms Specil Mtrices Mtrix Opertion: Trnspose, Equlity, Sum, Difference, Sclr Multipliction, Mtrix Multipliction, Determinnt, Inverse ppliction of Mtrix in
More informationTheory of the Integral
Spring 2012 Theory of the Integrl Author: Todd Gugler Professor: Dr. Drgomir Sric My 10, 2012 2 Contents 1 Introduction 5 1.0.1 Office Hours nd Contct Informtion..................... 5 1.1 Set Theory:
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationNWI: Mathematics. Various books in the library with the title Linear Algebra I, or Analysis I. (And also Linear Algebra II, or Analysis II.
NWI: Mthemtics Literture These lecture notes! Vrious books in the librry with the title Liner Algebr I, or Anlysis I (And lso Liner Algebr II, or Anlysis II) The lecture notes of some of the people who
More informationCOMPUTER SCIENCE TRIPOS
CST.2011.2.1 COMPUTER SCIENCE TRIPOS Prt IA Tuesdy 7 June 2011 1.30 to 4.30 COMPUTER SCIENCE Pper 2 Answer one question from ech of Sections A, B nd C, nd two questions from Section D. Submit the nswers
More informationIntroduction to Real Analysis. Lee Larson University of Louisville July 23, 2018
Introduction to Rel Anlysis Lee Lrson University of Louisville About This Document I often tech the MATH 501-502: Introduction to Rel Anlysis course t the University of Louisville. The course is intended
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationIST 4 Information and Logic
IST 4 Informtion nd Logic T = tody x= hw#x out x= hw#x due mon tue wed thr fri 31 M1 1 7 oh M1 14 oh 1 oh 2M2 21 oh oh 2 oh Mx= MQx out Mx= MQx due 28 oh M2 oh oh = office hours 5 3 12 oh 3 T 4 oh oh 19
More informationThe area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O
1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the
More informationNumerical Linear Algebra Assignment 008
Numericl Liner Algebr Assignment 008 Nguyen Qun B Hong Students t Fculty of Mth nd Computer Science, Ho Chi Minh University of Science, Vietnm emil. nguyenqunbhong@gmil.com blog. http://hongnguyenqunb.wordpress.com
More informationSOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 2014
SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 014 Mrk Scheme: Ech prt of Question 1 is worth four mrks which re wrded solely for the correct nswer.
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationMath 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008
Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of
More informationIntermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4
Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one
More informationBernoulli Numbers Jeff Morton
Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationWeek 10: Line Integrals
Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.
More informationThe practical version
Roerto s Notes on Integrl Clculus Chpter 4: Definite integrls nd the FTC Section 7 The Fundmentl Theorem of Clculus: The prcticl version Wht you need to know lredy: The theoreticl version of the FTC. Wht
More information