arxiv: v1 [math.ct] 8 Sep 2009
|
|
- Adam Gibbs
- 5 years ago
- Views:
Transcription
1 On the briding of n Ann-tegory rxiv: v1 [mth.ct] 8 Sep 2009 September 8, 2009 NGUYEN TIEN QUANG nd DANG DINH HANH Dept. of Mthemtis, Hnoi Ntionl University of Edution, Viet Nm Emil: nguyenqung272002@gmil.om ddhnhdhsphn@gmil.om Abstrt A brided Ann-tegory A is n Ann-tegory A together with the briding suh tht (A,,,, (I,l, r)) is brided tensor tegory, nd is omptible with the distributivity onstrints. The pper shows the dependene of the left (or right) distributivity onstrint on other xioms. Hene, the pper shows the reltion to the onepts of distributivity tegory due to M. L. Lplz nd ring-like tegory due to A. Frohlih nd C.T.C Wll. The enter onstrution of n lmost strit Ann-tegory is n exmple of n unsymmetri brided Ann-tegory. Mthemtis Subjet Clssifitions (2000): 18D10. Key words: Brided Ann-tegory, brided tensor tegory, distributivity onstrint, ring-like tegory. 1 Introdution The onept of brided tensor tegory is introdued by André Joyl nd Ross Street [2] whih is neessry extension of symmetri tensor tegory, sine the enter of tensor tegory is brided tensor tegory but unsymmetri. The se of brided group tegories ws onsidered in the bove work like struture lift of the onept of group tegory [1]. In 1972, M.L. Lplz introdued the onept of distributivity tegory [4]. After tht, in [1], A. Frohlih nd C.T.C Wll introdued the onept of ring-like tegory, with the xiomtis whih is sserted to be simplier thn the one of M.L. Lplz. These two onepts re tegoriztion of the onept of ommuttive rings, s well s generliztion of the tegory of modules on ommuttive ring R. In order to hve desriptions on strutures, nd ohomologil lssify them, N. T. Qung hs introdued the onept of Ann-tegories 1
2 On the briding of n Ann-tegory 2 [5], s tegoriztion of the onept of rings (unneessrily ommuttive), with requirements of invertibility of objets nd morphisms of the ground tegory, similr to of group tegories (see [1]). With these requiments, we n prove tht eh ongruene lss of Ann-tegories is ompletely defined by the invrints: the ring R, the R bimodule M nd n element in the M Lne ohomology group HML 3 (R, M) (see [8]). The onept of brided Ann-tegory is nturl development of the onept of n Ann-tegory. The xioms of this onept presents nturl reletions between the onstrints respet to,. After tht, we hve proved the dependene of some xioms between the briding nd the distributivity onstrints: thnks to the briding, the distributivity onstrint n be defined by only one side (right or left). Conurrently, the pper shows tht eh symmetri Ann-tegory (whih the briding is symmetri) stisfies the xiomtis due to M. L. Lplz [4] nd the xiomtis due to A. Frohlih nd C.T.C Wll [1]. Moreover, s orrolry, the pper shows redued system xiomtis of the one due to M. L. Lplz, nd prove tht this xiomtis is equivlent to the one due to A. Frohlih nd C. T. C Wll. In the lst setion, we present the enter onstrution of n lmost strit Ann-tegory, s n extension of the enter onstrution of tensor tegory due to Andr Joyl nd Ross Street. This enter onstrution is n exmple of the onept of brided, but unsymmetri Ann-tegory. In this pper, we sometimes denote XY insted of X Y of two objets X, Y. 2 The definition of brided Ann-tegory Firstly, let us rell the definition of brided tensor tegory ording to [2]. A briding for tensor tegory V onsists of nturl olletion of isomorphisms = A,B : A B B A in V suh tht the two digrms (B1) nd (B2) ommute: id (A B) C (B A) C 1 B (A C) 1 id A (B C) (B C) A 1 B (C A) (B1) id A (B C) A (C B) (A C) B id (A B) C C (A B) (C A) B (B2)
3 On the briding of n Ann-tegory 3 If is briding, so is given by A,B = ( B,A) 1, sine (B2) is just obtined from (B1) by repling with. A symmetry is briding whih stisfies =. A brided tensor tegory is pir (V, ) onsisting of tensor tegory V nd briding. Definition 1. [5, 7, 8] An Ann-tegory onsists of: i) A tegory A together with two bifuntors, : A A A. ii) A fixed objet 0 A together with nturlity onstrints +, +, g, d suh tht (A,, +, +, (0, g, d)) is symmetri tegoril group. iii) A fixed objet 1 A together with nturlity onstrints, l, r suh tht (A,,, (1, l, r)) is monoidl A-tegory. iv) Nturl isomorphisms L, R L A,X,Y : A (X Y ) (A X) (A Y ) R X,Y,A : (X Y ) A (X A) (Y A) suh tht the following onditions re stisfied: (Ann-1) For eh A A, the pirs (L A, LA ), (R A, RA ) defined by reltions: L A = A L A X,Y = L A,X,Y R A = A RA X,Y = R X,Y,A re -funtors whih re omptible with + nd +. (Ann-2) For ll A, B, X, Y A, the following digrms: id A L (AB)(X Y ) A(B(X Y )) B A,B,X Y A(BX BY ) L AB L A (AB)X (AB)Y A,B,X A,B,Y A(BX) A(BY ) (1) X Y,B,A (X Y )(BA) ((X Y )B)A R B id A (XB Y B)A R BA X(BA) Y (BA) R A (2) X,B,A Y,B,A (XB)A (Y B)A (A(X Y ))B A,X Y,B id A R B A((X Y )B) A(XB Y B) L A id B L A R (AX AY )B B (AX)B (AY )B A(XB) A(Y B) (3) (A B)X (A B)Y L (A B)(X Y ) R A(X Y ) B(X Y ) R X R Y L A L B v (AX BX) (AY BY ) (AX AY ) (BX BY ) (4)
4 On the briding of n Ann-tegory 4 ommute, where v = v U,V,Z,T : (U V ) (Z T) (U Z) (V T) is the unique morphism built from +, +, id in the symmetri tegoril group (A, ). (Ann-3) For the unity objet 1 A of the opertion, the following digrms: ommute. L 1(X Y ) 1 R 1X 1Y (X Y )1 1 X1 Y 1 l X Y r X Y l X l Y r X r Y X Y (5.1) X Y (5.2) Definition 2. A brided Ann-tegory A is n Ann-tegory A together with briding suh tht (A,,,, (I, l, r)) is brided tensor tegory, nd mkes the following digrm A.(X Y ) L A X,Y A.X A.Y R A X,Y (X Y ).A XA Y A (6) ommutes nd stisfies the ondition: 0,0 = id. A brided Ann-tegory is lled symmetri Ann-tegory if the briding is symmetri. 3 Some remrks on the xiomtis of brided Ann-tegory In the xiomtis of brided Ann-tegory, we n see tht the digrm (6) llows us to determine the right distributivity onstrint R thnks to the left distributivity onstrint nd the briding. So, we must onsider the dependene or independene of the xioms whih re relted to the right distributivity onstrint R, s well s the dependene of some other onditions in our xiomtis. Fristly, let us rell result whih hs known. Proposition 3.1 (Proposition 2[7]). In the xiomtis of n Ann-tegory A, the omptibility of the funtors (L A, L A ), (R A, R A ) with the ommuttivity onstrint + n be dedued from the other xioms. For the xiomtis of brided Ann-tegory, we hve the following result: Proposition 3.2. In the xiomtis of brided Ann-tegory A, the omptibility of the funtor (R A, R A ) [resp. (L A, L A )] with the ssoitivity onstrint + n be dedued from the omptibility of the funtor (L A, L A ) [resp. (R A, R A )] with the onstrint + nd the digrm (6).
5 On the briding of n Ann-tegory 5 Proof. To prove the omptibility of funtor (R A, R A ) with the ssoitivity onstrint +, let us onsider the following digrm: A((X Y ) Z) L A(X Y ) AZ L id (AX AY ) AZ ((X Y ) Z)A id + (I) + id (II) R (X Y )A ZA (IV) (III) R id ( ) (XA Y A) ZA + (VII) + (X (Y Z))A R XA (Y Z)A id R XA (Y A ZA) (V) (VI) ( ) A(X (Y Z)) L AX A(Y Z) id L AX (AY AZ) In tht bove digrm, the region (I) ommutes thnks to the nturlity of, the regions (II), (VIII), (IX) ommute thnks to the digrm (6); the first omponent of the region (III) ommutes thnks to the digrm (6), the seond omponent one ommutes thnks to the omposition of morphisms, so the region (III) ommutes; the first omponent of the region (VI) ommutes thnks to the omposition of morphisms, the seond omponent one ommutes thnks to the digrm (6), so the region (VI) ommutes; the region (VII) ommutes thnks to the nturlity of the isomorphism +, the perimeter ommutes sine (L A, L A ) is omptible with ssoitivity onstrint +. Therefore, the region (IV) ommutes, i.e., (R A, R A ) is omptible with +. Proposition 3.3. In brided Ann-tegory, the ommuttivity of the digrms (2) nd (3) n be dedued from the other xioms. Proof. To prove tht the digrm (3) ommutes, we onsider the following di-
6 On the briding of n Ann-tegory 6 grm: A((X Y )B) id R A(XB Y B) L A(XB) A(Y B) id A(B(X Y )) (I) id ( ) id L A(BX BY ) (II) L id id A(BX) A(BY ) (VIII) (AB)(X Y ) (III) L (IX) (AB)X (AB)Y id (BA)(X Y ) (IV) L (V) id id (BA)X (BA)Y B(A(X Y )) id L B(AX AY ) L B(AX) B(AY ) (VI) (VII) (A(X Y ))B L id (AX AY )B R (AX)B (AY )B In the bove digrm, the regions (I) nd (V) ommute thnks to the digrm (6), the regions (II) nd (IV) ommute thnks to the nturlity of L, the regions (III) nd (V) ommute thnks to the digrm (1), the region (VI) ommutes thnks to the nturlity of, the regions (VIII) nd (IX) ommute thnks to the digrm (B2). Therefore, the perimeter ommutes, i.e., the digrm (3) ommutes. To prove tht the region (2) ommutes, we onsider the following digrm:
7 On the briding of n Ann-tegory 7 L (AB)(X Y ) id L A(B(X Y )) A(BX BY ) id A((X Y )B) (II) id ( ) id R A(XB Y B) (VIII) (X Y )(AB) R X(AB) Y (AB) (AB)X (AB)Y (I) id R id ((X Y )A)B (V) (A(X Y ))B (XA Y A)B R (IV) (XA)B (Y A)B (VII) L id ( ) id (VI) id id (III) (AX AY )B R (AX)B (AY )B id id L A(XB) A(Y B) (IX) A(BX) A(BY ) L In the bove digrm, the regions (I) nd (VII) ommute sine (A, ) is brided tensor tegory; the regions (II), (IV) nd (VIII) ommute thnks to the digrm (6); the region (III) ommutes thnks to Proposision 3.2; the region (VI) ommutes thnks to the nturlity of L; the perimeter ommutes thnks to the digrm (1). Therefore, the digrm (VI) ommutes, i.e., the digrm
8 On the briding of n Ann-tegory 8 (2) ommutes. Proposition 3.4. In the brided Ann-tegory A, the ommuttivity of the digrm (5.2) n be dedued from the digrms (5.1), (6) nd the omptibility of with the unitivity onstrint (I, l, r). Proof. Consider the digrm: R (X Y ).1 X.1 Y.1 r (III) r r (I) X Y (IV) l (II) l l 1.(X Y ) 1.X 1.Y L In the bove digrm, the regions (I) nd (IV) ommute thnks to the omptibility of with the unitivity onstrint (I, l, r); the region (II) ommutes thnks to the digrm (5.1); the perimeter ommutes thnks to the digrm (6). Therefore, the region (III) ommutes, i.e., the digrm (5.2) ommutes. Remrk 1. Aording to Proposition , in the xiomtis of brided Ann-tegory, we n omit the digrms (2), (3), (5.2) nd the omptibility of the funtors (R A, R A ) with the onstrints +, + of the opertor. 4 The objet O In n Ann-tegory, the objet O hs importnt properties whih is used to define the Π 0 -struture bimodule on Π 1 = Aut(0), where Π 0 is the ring of ongruene lsses of objets. Proposition 4.1 (Proposition 1 [7]). In the Ann-tegory A, there exist uniquely the isomorphisms: ˆL A : A 0 A, ˆRA : 0 A A suh tht (L A, L A, ˆL A ), (R A, R A, ˆR A ) re the funtors whih re omptible with the unitivity onstrints of the opertor (lso lled U-funtors). A prt from some properties of the objet 0 in n Ann-tegory (see [9]), we hve the following proposition. Proposition 4.2. In brided Ann-tegory, the following digrm X.0 0.X ˆL 0 ˆR (7)
9 On the briding of n Ann-tegory 9 ommutes. Proof. Firstly, we n esily prove the following remrk: Let (F, F), (G, Ğ) : C C be -funtors whih re omptible with the unitivity onstrints nd ˆF : F(0) 0, Ĝ : G(0) 0 re isomorphisms, respetively. If α : F G is n -morphism suh tht α 0 is n isomorphism, then the following digrm F0 ˆF α 0 0 G0 Ĝ ommutes. We now pply the bove remrk to the two funtors F : A, G : A. The morphism α : F G is defined by α X = A,X : A X X A is n -morphism thnks to the digrm (6). Sine α 0 = A,0 is n isomorphism, rording to the bove remrk the digrm (7) ommutes. 5 The reltion between symmetri Ann-tegory nd distributivity tegory due to Miguel L. Lplz Following, we will estblish the reltion between symmetri Ann-tegory nd distributivity tegory due to [4], nd dedue the oherene in symmetri Ann-tegory [4]. A distributivity tegory A onsists of: i) Two bifuntors, : A A A; ii) Two fixed objets O nd 1 of A, lled null nd unit objets; iii) Nturl isomorphisms: A,B,C : A (B C) (A B) C, + A,B,C : A (B C) (A B) C, + l A : 1 A A, g A : O A A, ˆL A : A O O, A,B : A B B A A,B : A B B A r A : A 1 A d A : A O A ˆRA : O A O nd nturl isomorphisms: L A,B,C : A (B C) (A B) (A C) R A,B,C : (A B) C (A C) (B C)
10 On the briding of n Ann-tegory 10 for ll A, B, C of A. These nturl isomorphisms stisfy the oherene onditions for {,, l, r} nd { +, +, g, d}; the funtors (L A, L A ), (R A, R A ) (similr s in the onept of n Ann-tegory) re omptible with the ssoitivity, ommuttivity onstrints of the opertor, nd stisfy the ommuttive digrms (1), (2), (3), (4), (5.1), (5.2), (6) nd 13 following digrms: ˆL O = ˆR O : O O O O(A B) L OA OB (L1) ˆR A B ˆR A ˆR B (L2) O g O O O d O (ˆL A ˆL B )R A,B,O = ˆL A B : (A B)O O r 1 = g O : 1 O O l 1 = d O : O 1 O ˆL A = ˆR A. A,O : A O O (L3) (L4) (L5) (L6) O(AB) O,A,B (OA)B ˆR AB O ˆR B O B ˆR A id B (L7) A(OB) A,O,B (AO)B id A ˆR B ˆL A id B (L8) ˆL AO A O ˆR B OB ˆL AB A,O,B = ˆL A (id A ˆL B ) : A(BO) O (L9) A(O B) L A,O,B AO AB id A g B AB gab O AB ˆL A id AB (L10) g BA ( ˆR A id BA )R O,B,A = g B id A : (O B)A BA d AB (id AB ˆL A )L A,B,O = id A d B : A(B O) AB d AB (id AB ˆR B )R A,O,B = d A id B : (A O)B AB (L11) (L12) (L13)
11 On the briding of n Ann-tegory 11 Proposition 5.1. Eh symmetri Ann-tegory is distributivity tegory. Proof. Let A be symmetri Ann-tegory. From the definitions of symmetri Ann-tegory nd distributivity tegory, we just must prove tht A stisfies the onditions (L1)-(L13). Aording to Proposition 3.4 [9], the digrms (L2), (L3) ommute. Aording to Proposition 3.5 [9], we hve the equtions (L4), (L5). Aording to Proposition 4.2, the digrm (L6) ommutes. Aording to Proposition 3.3 [9], the digrms (L7), (L8), (L9) ommute. Aording to Proposition 3.1 [9], the digrms (L10), (L11), (L12), (L13) ommute. From the ondition 0,0 = id nd Proposition 4.2, we obtin ˆL o = ˆR o, i.e., the ondition (L1) is stisfied. So, eh symmetri Ann-tegory is distributivity tegory. In the bove proof, only proof of the ondition (L6) is relted to the groupoid property of the ground tegory, so we hve Corrolry 5.2. In the xiomtis of distributivity tegory, the xioms (L1)- (L5), (L7)-(L13) re dependent. Corrolry 5.3. Let A be tegory. A is symmetri Ann-tegory iff A stisfies the two following onditions: (i) A is distributivity tegory; (ii) Objets of tegory (A, ) re ll invertible nd the ground tegory of (A, ) is groupoid. Proof. The neessry ondition n be dedued from the definition of symmetri Ann-tegory nd Proposition 5.1. The suffiient ondition is obvious. We remrk tht the ommuttion of the digrms in symmetri Anntegory A is independent of the invertibility of objets nd morphisms in the tegory (A, ). Therefore, from the oherene theorem in distributivity tegory [4], we hve: Corrolry 5.4. (Coherene theorem) In symmetri Ann-tegory, eh morphism built from +, +, g, d,,, l, r, L, R is just depent on the soure nd the trget. The oherene theorem for brided Ann-tegory is still n open problem. 6 The reltion between symmetri Ann-tegory nd ring-like tegory Frohlih nd C. T. C Wll hve presented the onept of ring-like tegory s generliztion of the tegory of modules on ommuttive ring R (see [1]).
12 On the briding of n Ann-tegory 12 Aording to [1], ring-like tegory onsists of: i) Two monoidl strutures, given by the two funtor:, ; ii) The distributivity isomorphisms: L : A (B C) A B A C suh tht the onstrints +, +,,, L stisfy the oherene onditions, nd the pirs (L A, L A ) re the omptible with ssoitivity, ommuttivity onstrints of the opertor, stisfying the digrm (1) nd the following digrm (8): (A B).(X Y ) (X Y ).(A B) L (A B)X (A B)Y X(A B) Y (A B) L (X Y ).A (X Y ).B A.(X Y ) B.(X Y ) L L (AX AY ) (BX BY ) v L L (XA XB) (Y A Y B) ( ) ( ) (AX BX) (AY BY ) Digrm (8) Proposition 6.1. Eh symmetri Ann-tegory is ring-like tegory. Proof. Aording to the definition of symmetri Ann-tegory nd the definition of ring-like tegory, we just prove tht in symmetri Ann-tegory, the digrm (8) ommutes. Indeed, we onsider the following digrm: (X Y )(A B) L (X Y )A (X Y )B (A B)(X Y ) (I) R A(X Y ) B(X Y ) (A B)X (A B)Y L X(A B) Y (A B) (II) R R (III) L L (AX AY ) (BX BY ) (AX BX) (AY BY ) v L L ( ) ( ) (XA XB) (Y A Y B) Digrm (9) In the bove digrm, the region (I) ommutes thnks to the digrm (6), the region (II) ommutes thnks to the digrm (4); ording to the digrm
13 On the briding of n Ann-tegory 13 (6), eh omponent of the region (III) ommutes, so does the region (III). Then, the perimeter ommutes, i.e., the digrm (8) ommutes. Proposition 6.2. Let A be tegory. Then, A is symmetri Ann-tegory iff it stisfies the following onditions: i) A is ring-like tegory; ii) All objets of the tegory (A, ) re invertible nd the ground of the (A, ) is groupoid. Proof. The neessry ondition n be implied from the definition of symmetri Ann-tegory nd Proposition 6.1. The suffiient ondition n be implied from the definition of ring-like tegory nd the following Proposition 6.3. In the setion 2, we hve proved: In symmetri Ann-tegory, the digrms (2), (3), (4) nd (5.2) n be omitted. Now, we prove tht we n omit the right distributivity onstrint. Proposition 6.3. Let A be tegory nd two bi-funtors, : A A A. Then, A is symmetri Ann-tegory iff the following onditions re stisfied: (i) There is n objet O A nd nturlity isomorphisms +, +, g, d suh tht (A,, +, +, (O, g, d)) is symmetri tegoril group. (ii) There is n objet 1 A together with nturlity onstrints,, l, r suh tht (A,,,, (1, l, r)) is symmetri monoidl tegory. (iii) There is nturlity isomorphism L : A (X Y ) (A X) (A Y ) suh tht (L A = A, L A X,Y = L A,X,Y ) re -funtors whih re omptible with + nd +, nd the digrms (1), (8), (5.1) ommute. Proof. The neessry ondition is obviously. The suffiient ondition: Let A be tegory stisfying ll onditions in the bove proposition. The right distributivity onstrint in A is defined by R : (X Y ) A X A Y A thnks to the ommuttive digrm (6). Then, ording to Propositions , to prove tht A is symmetri Ann-tegory, it remins to prove tht the digrm (4) ommutes. We onsider the digrm (9). In this digrm, the regions (I) nd (III) ommute thnks to the definition of the distributivity onstrint R, the perimeter ommutes thnks to the digrm (8). Hene, the region (II) of the digrm (9) ommutes, i.e., the digrm (4) ommutes. The proposition hs been poved. A. Frohlih nd C. T. C Wll ommented tht the xiomtis of distributivity tegory due to M. L. Lplz [4] is omplited (see [1]). So, they presented the definition of ring-like tegory in order to present redued version. However, in [1], uthors hve not show the reltion between these two definitions. As orollry of the Propositions 5.3, 6.2, we hve the following result:
14 On the briding of n Ann-tegory 14 Proposition 6.4. The two onepts of: distributivity tegory nd ring-like tegory re equivlent. Proof. Let A be distributivity tegory. From the definition of distributivity tegory nd ring-like tegory, it remins to show tht in ring-like tegory, the digrm (8) ommutes. Consider the digrm (9). Sine, in distributivity tegory, the digrms (4) nd (6) ommute, so from the proof of Proposition 6.1, we imply tht the perimeter of the digrm (9) ommutes, i.e., the digrm (8) ommutes. Inversely, let A be ring-like tegory. In A, we put R : (X Y )A XA Y A. It is nturlity onstrint whih is defined by the ommuttive digrm (6). Then, we prove similrly s Propositions 3.1, 3.2, 3.3, in ring-like tegory, we dedued tht the digrms (2), (3) ommute nd we dedued tht the funtors (R A, R A ) re omptible with the ssoitivity, ommuttivity of the opertor of the. Finlly, it remins tht the digrm (4) ommutes. We onsider the digrm (9). Sine, in ring-like tegory, the digrms (6) nd (8) ommute, ording to the proof of Proposition 6.1, we obtin the region (II) of the digrm (9) ommutes, i.e., the digrm (4) ommutes. So, eh ring-like tegory is distributivity tegory. 7 The enter of n lmost strit Ann-tegory André Joyl nd Ross Street [2] hve built brided tensor L V of strit tensor tegory (V, ). C. Kssel [3] hs presented one for n rbitrry tensor tegory. Aording to [3], the enter L V of the tensor tegory V is tegory whose objets re pirs (A, u), where A Ob(V) nd u X : A X X A is nturlity trnsformtion stisfying following ommuttive digrms: A I r u I A l I A (A X) Y 1 u X Y A (X Y ) (X Y ) A u X id Y 1 (X A) Y 1 id X u Y X (A Y ) X (Y A)
15 On the briding of n Ann-tegory 15 A morphism f : (A, u) (B, m) in L V is morphism f : A B stisfies the ondition m X (f id) = (id f) u Y (10) for ll X V. The tensor produt of two objets in L V is defined: (A, u) (B, m) = (A B, u m) in whih u m is morphism defined by the following ommuttive digrm: (A B) X A (B X) A (X B) (11) X (A B) (X A) B ux id (A X) B (u m) X id m X Then L V is brided tensor tegory with the briding defined by (A,u),(B,m) = u B : (A, u) (B, m) (B, m) (A, u). Now, we will build the tener of n Ann-tegory A nd the min result of this setion is Theorem 7.3. Firstly, let us rell tht eh Ann-tegory is Annequivlent to the redued one of the type (R, M). Moreover, eh Ann-tegory of the type (R, M) is equivlent to n lmost strit Ann-tegory on it (see [6]), nd in this tegory, the fmily of morphisms i X : X X O is identity (n Ann-tegory is lled lmost strit if ll its nturl onstrints, exept for the ommuttivity onstrint of the opertion nd the left distributivity onstrint, re identities). So, in this setion, we lwys ssume tht A is n lmost strit Ann-tegory nd the morphisms i X : X X O re identity. Definition 3. The enter of n Ann-tegory A, denoted by C A, is tegory in whih objets re pirs (A, u), with A Ob(A) nd u X : A X X A is nturl trnsformtion stisfying the three onditions (C1) : u I = id (C2) : u X Y = (id X u Y ) (u X id Y ) (C3) : u X Y = (u X u Y ) L A,X,Y. The morphism f : (A, u) (B, m) of C A is morphism f : A B of A stisfying the ondition (10). Proposition 7.1. The enter of n lmost strit Ann-tegory A is symmetri tegoril group with the sum of two objets re defined by (A, u) + (B, m) = (A B, u + m)
16 On the briding of n Ann-tegory 16 in whih: 1 (u + m) X = L X,A,B (u X m X ) nd the sum of two morphisms of C A is the sum of morphisms in A. Proof. Firstly, we prove tht for two objets (A, u), (B, m) of C A then (A B, u + m) defined bove is n objet of C A. Indeed, sine u 1 = id, m 1 = id, L 1,A,B = id, we hve (u + m) 1 = id. On the other hnd, we hve (u + m) XY 1 = L XY,A,B (u XY m XY ) = (id X L Y,A,B ) 1 1 L X,Y A,Y B (id X u Y id X m Y ) (u X id Y m X id Y ) (ording to the definition of n Ann-tegory) = (id X L Y,A,B ) 1 1 (id X (u Y m Y )) L X,AY,BY (u X id Y m X id Y ) (thnks to the nturlity of L) = (id X L Y,A,B ) 1 1 (id X (u Y m Y )) L X,AY,BY ((u X m X ) id Y ) 1 = (id X (u + m) Y ) L X,AY,BY ((u X m X ) id Y ) (thnks to the definition of u + m) = (id X (u + m) Y ) ( L X,A,B id Y ) 1 ((u X m X ) id Y ) = (id X (u + m) Y ) ((u + m) X id Y ) (thnks to the definition of u + m) So, u + m stisfies the ondition (C2). Next, we verify tht the morphism u + m stisfies the ondition (C3). = = = (u + m) X Y L 1 X Y,A,B (u X Y m X Y ) 1 L X Y,A,B [(u X m X ) (u Y m Y )]( L A,X,Y L B,X,Y ) (sine u, m stisfy the ondition (C3)) 1 L X Y,A,B v 1 XA,Y A,XB,Y B [(u X m X ) (u Y m Y )] v AX,AY,BX,BY [ L A,X,Y L B,X,Y ] (thnks to the nturlity of the isomorphism v) = ( L X,A,B L Y,A,B ) 1 ((u X m X ) (u Y m Y )) L A B,X,Y (thnks to the definition of n Ann-tegory) = ((u + m) X (u + m) Y ) L A B,X,Y (thnks to the definition of u + m) So u + m stisfies the ondition (C3), i.e., (A B, u + m) is n objet of C A. Now, we ssume tht f : (A, u) (B, m), g : (A, u ) (B, m ) re morphisms of C A. From the definition of the sum of two objets, the sum of morphisms in C A, nd the nturlity of the isomorphism L, nd R = id, we n
17 On the briding of n Ann-tegory 17 verify tht f + g = f g is morphism of the tegory C A. Furthermore, we n verify tht id : ((A, u) + (B, m)) + (C, w) (A, u) + ((B, m) + (C, w)) is the ssoitivity onstrint of the tegory C A, ((O, θ X = unitivity onstrint of C A, nd + A,B : (A, u) + (B, m) (B, m) + (A, u) 1 ˆL X ), id, id) is the is the ommuttivity onstrint of C A. Finlly, we prove tht eh objet of C A is invertible. Let (A, u) be n objet of the tegory C A. Aording to the Ann-tegory A, there exists A Ob(A) suh tht A A = O. We define nturl trnsformtion u X : A X XA s follows: Then, we hve (u + u ) X = u X + u X = L X,A,A θ X L 1 X,A,A (u X + u X ) = θ X. We n esily verify tht u stisfies the onditions (C1) nd (C2). Now, we will verify tht the morphism u stisfies the ondition (C3). u X Y + u X Y = L X Y,A,A θ X Y (thnks to the definition of u ) = v 1 XA,Y A,XA,Y A ( L X,A,A L Y,A,A ) (θ X Y ) (ording to the definition of n Ann-tegory ) = v 1 XA,Y A,XA,Y A ( L X,A,A L Y,A,A ) (θ X θ Y ) (sine A A = O) = v 1 XA,Y A,XA,Y A ( L X,A,A L Y,A,A ) ((u X u X ) (u Y u Y )) (thnks to the definition of u nd u + u = θ) = ((u X u Y ) (u X u Y )) v AX,A X,AY,A Y (thnks to the nturlity of v) = ((u X u Y ) (u X u Y )) ( L A,X,Y L A,X,Y ) (thnks to the definition of n Ann-tegory). Together with the eqution u X Y = (u X u Y ) L A,X,Y, we hve: u X Y = (u X u Y ) L A,X,Y So (A, u ) is n objet of the tegory C A nd it is the invertible objet of (A, u) respet to the opertor +. Proposition 7.2. The C A is brided tensor tegory where the tensor produt of two objets is defined by (A, u) (B, m) = (A B, u m)
18 On the briding of n Ann-tegory 18 in whih u m is the morphism given by the digrm (11), nd the tensor produt of two morphisms in C A is indeed the tensor produt in A. Proof. Let (A, u), (B, m) be objets of C A. Aording to A. Joyl nd R. Street [2], u m stisfies the two onditions (C1) nd (C2). On the other hnd, u m stisfies the ondition (C3), sine: (u m) X Y = (u X Y id B ) (id A m X Y ) = ((u X u Y ) id B ) ( L A,X,Y id B ) (id A m X Y ) (sine u stisfies the ondition (C3)) = ((u X u Y ) id B ) ( L A,X,Y id B ) (id A (m X m Y )) (id A L B,X,Y ) (sine m stisfies the ondition (C3)) = (u X id B u Y id B ) ( L A,X,Y id B ) (id A (m X m Y )) (id A L B,X,Y ) (thnks to the definition of the Ann-tegory A nd R = id) = (u X id B u Y id B ) L A,XB,Y B (id A (m X m Y )) (id A L B,X,Y ) (ording to the definition of n Ann-tegory) = ((u X id B ) (u Y id B )) (id A m A id A m Y ) L A,BX,BY (id A L B,X,Y ) = ((u m) X (u m) Y ) L A,BX,BY (id A L B,X,Y ) (thnks to the definition of u + m) = ((u m) X (u m) Y ) L A B,X,Y (sine L is nturl) So (A B, u m) is n objet of the tegory C A. Assume tht f : (A, u) (B, m), g : (A, u ) (B, m ) re two morphisms of C A. Aording to [2], the morphism f g = f g : (A, u) (A, u ) (B, m) (B, m ) stisfies the ondition (10), i.e., f g is morphism of C A. Aording to [2], C A hs n ssoitivity onstrint s follows: id : ((A, u) (B, m)) (, w) (A, u) ((B, m) (C, w)). We n esily vrify tht (I, id) is n objet of C A nd it together with the identity onstrints l = id, r = id is the unitivity onstrint respet to the opertor of C A. Finlly, ording to [2], C A is brided tensor tegory with the briding given by: (A,u),(B,m) = u B : (A, u) (B, m) (B, m) (A, u). Theorem 7.3. C A is brided Ann-tegory.
19 On the briding of n Ann-tegory 19 Proof. Aording to Proposition 7.1, (C A, +) is symmetri tegoril group. Aording to Proposition 7.2, (C A, ) is brided tensor tegory. Moreover, we n verify tht C A hs distributivity onstrints: L (A,u),(B,m),(C,w) = L A,B,C, R(A,u),(B,m),(C,w) = id. Sine A is n Ann-tegory, so is C A. On the other hnd, eh objet (A, u) of C A, nturl isomorphism u stisfies the ondition (C3), so the onstrints L, R = id, of the tegory C A stisfy the digrm (6). Sine id 0 = id, (0,id),(0,id) = id. So C A is brided Ann-tegory. When A is n lmost strit Ann-tegory of the type (R, M), we n desribe more detil the enter of A. Let I be n lmost strit Ann-tegory of the type (R, M). Then, the enter C I of I is tegory whose objets re pirs (, u), with R, u(x) : x x is nturl trnsformtion stisfying the onditions (C1), (C2), (C3). Firstly, sine u(x) : x x is morphism of tegory of the type (R, M), so we hve x = x x R So Z(R). Next, sine u stisfies the ondition (C1), we hve u(1) = 0. The morphism u stisfies the ondition (C2), we hve: u(xy) = xu(y) + yu(x). Finlly, u stisfies the ondition (C3), i.e., λ(, x, y) = u(x) u(x + y) + u(y) So, eh objet of I is pir (, u), in whih Z(R) nd u : R M is funtion stisfying the three bove onditions. Let f : (, u) (b, m) be morphism of the tegory C I. Sine f : b is morphism of I, we hve = b. The morphism f stisfies the ondition (10), i.e., m(x) + (, f) (0, x) = (0, x) (, f) + u(x) m(x) + xf = xf + u(x) So u = m, i.e., morphisms of C I re ll edomorphisms.
20 On the briding of n Ann-tegory 20 Referenes [1] A. Frohlih nd C.T.C Wll, Grded monoidl tegories, Compositio Mthemtil, tome 28, N o 3 (1974), [2] Andr Joyl nd Ross Street, Brided Tensor tegories, Advnes in Mthemtis 102 (1993), [3] Christin Kssel, Quntum Groups, Grdute texts in mthemtis, Vol. 155(1995), Springer-Verlg, Berlin/ New York. [4] M. L. Lplz, Coherene for distribution, Leture Notes in Mth. 281 (1972), [5] N. T. Qung, Dotorl disserttion, Hnoi, Vietnmese, [6] N. T. Qung, Struture of Ann-tegories of Type (R, N), Vietnm Journl of Mthemtis 32: 4 (2004). [7] N. T. Qung, D. D. Hnh nd N. T. Thuy, On the xiomtis of Anntegories, JP Journl of Algebr, Number Theory nd pplitions, Vol 11, N o 1, 2008, [8] N. T. Qung, Struture of Ann-tegories, rxiv v4 [mth. CT] 20 Apr [9] N. T. Qung, N. T. Thuy nd C. T. K. Phung, Reltion between Anntegories nd ring tegories, rxiv: v1[mth CT] 7 Apr 2009.
On Implicative and Strong Implicative Filters of Lattice Wajsberg Algebras
Glol Journl of Mthemtil Sienes: Theory nd Prtil. ISSN 974-32 Volume 9, Numer 3 (27), pp. 387-397 Interntionl Reserh Pulition House http://www.irphouse.om On Implitive nd Strong Implitive Filters of Lttie
More informationarxiv: v1 [math.ca] 21 Aug 2018
rxiv:1808.07159v1 [mth.ca] 1 Aug 018 Clulus on Dul Rel Numbers Keqin Liu Deprtment of Mthemtis The University of British Columbi Vnouver, BC Cnd, V6T 1Z Augest, 018 Abstrt We present the bsi theory of
More informationCo-ordinated s-convex Function in the First Sense with Some Hadamard-Type Inequalities
Int. J. Contemp. Mth. Sienes, Vol. 3, 008, no. 3, 557-567 Co-ordinted s-convex Funtion in the First Sense with Some Hdmrd-Type Inequlities Mohmmd Alomri nd Mslin Drus Shool o Mthemtil Sienes Fulty o Siene
More informationHyers-Ulam stability of Pielou logistic difference equation
vilble online t wwwisr-publitionsom/jns J Nonliner Si ppl, 0 (207, 35 322 Reserh rtile Journl Homepge: wwwtjnsom - wwwisr-publitionsom/jns Hyers-Ulm stbility of Pielou logisti differene eqution Soon-Mo
More informationPre-Lie algebras, rooted trees and related algebraic structures
Pre-Lie lgers, rooted trees nd relted lgeri strutures Mrh 23, 2004 Definition 1 A pre-lie lger is vetor spe W with mp : W W W suh tht (x y) z x (y z) = (x z) y x (z y). (1) Exmple 2 All ssoitive lgers
More informationLecture 1 - Introduction and Basic Facts about PDEs
* 18.15 - Introdution to PDEs, Fll 004 Prof. Gigliol Stffilni Leture 1 - Introdution nd Bsi Fts bout PDEs The Content of the Course Definition of Prtil Differentil Eqution (PDE) Liner PDEs VVVVVVVVVVVVVVVVVVVV
More informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationTOPIC: LINEAR ALGEBRA MATRICES
Interntionl Blurete LECTUE NOTES for FUTHE MATHEMATICS Dr TOPIC: LINEA ALGEBA MATICES. DEFINITION OF A MATIX MATIX OPEATIONS.. THE DETEMINANT deta THE INVESE A -... SYSTEMS OF LINEA EQUATIONS. 8. THE AUGMENTED
More informationTutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.
Mth 5 Tutoril Week 1 - Jnury 1 1 Nme Setion Tutoril Worksheet 1. Find ll solutions to the liner system by following the given steps x + y + z = x + y + z = 4. y + z = Step 1. Write down the rgumented mtrix
More informationON LEFT(RIGHT) SEMI-REGULAR AND g-reguar po-semigroups. Sang Keun Lee
Kngweon-Kyungki Mth. Jour. 10 (2002), No. 2, pp. 117 122 ON LEFT(RIGHT) SEMI-REGULAR AND g-reguar po-semigroups Sng Keun Lee Astrt. In this pper, we give some properties of left(right) semi-regulr nd g-regulr
More informationDIFFERENCE BETWEEN TWO RIEMANN-STIELTJES INTEGRAL MEANS
Krgujev Journl of Mthemtis Volume 38() (204), Pges 35 49. DIFFERENCE BETWEEN TWO RIEMANN-STIELTJES INTEGRAL MEANS MOHAMMAD W. ALOMARI Abstrt. In this pper, severl bouns for the ifferene between two Riemn-
More informationCHENG Chun Chor Litwin The Hong Kong Institute of Education
PE-hing Mi terntionl onferene IV: novtion of Mthemtis Tehing nd Lerning through Lesson Study- onnetion etween ssessment nd Sujet Mtter HENG hun hor Litwin The Hong Kong stitute of Edution Report on using
More informationAlgebra in a Category
Algebr in Ctegory Dniel Muret Otober 5, 2006 In the topos Sets we build lgebri strutures out o sets nd opertions (morphisms between sets) where the opertions re required to stisy vrious xioms. One we hve
More informationPart 4. Integration (with Proofs)
Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1
More information#A42 INTEGERS 11 (2011) ON THE CONDITIONED BINOMIAL COEFFICIENTS
#A42 INTEGERS 11 (2011 ON THE CONDITIONED BINOMIAL COEFFICIENTS Liqun To Shool of Mthemtil Sienes, Luoyng Norml University, Luoyng, Chin lqto@lynuedun Reeived: 12/24/10, Revised: 5/11/11, Aepted: 5/16/11,
More informationProperties of Different Types of Lorentz Transformations
merin Journl of Mthemtis nd ttistis 03 3(3: 05-3 DOI: 0593/jjms03030303 roperties of Different Types of Lorentz Trnsformtions tikur Rhmn izid * Md hh lm Deprtment of usiness dministrtion Leding niversity
More informationHermite-Hadamard inequality for geometrically quasiconvex functions on co-ordinates
Int. J. Nonliner Anl. Appl. 8 27 No. 47-6 ISSN: 28-6822 eletroni http://dx.doi.org/.2275/ijn.26.483 Hermite-Hdmrd ineulity for geometrilly usionvex funtions on o-ordintes Ali Brni Ftemeh Mlmir Deprtment
More informationLinearly Similar Polynomials
Linerly Similr Polynomils rthur Holshouser 3600 Bullrd St. Chrlotte, NC, US Hrold Reiter Deprtment of Mthemticl Sciences University of North Crolin Chrlotte, Chrlotte, NC 28223, US hbreiter@uncc.edu stndrd
More informationON THE INEQUALITY OF THE DIFFERENCE OF TWO INTEGRAL MEANS AND APPLICATIONS FOR PDFs
ON THE INEQUALITY OF THE DIFFERENCE OF TWO INTEGRAL MEANS AND APPLICATIONS FOR PDFs A.I. KECHRINIOTIS AND N.D. ASSIMAKIS Deprtment of Eletronis Tehnologil Edutionl Institute of Lmi, Greee EMil: {kehrin,
More informationKENDRIYA VIDYALAYA IIT KANPUR HOME ASSIGNMENTS FOR SUMMER VACATIONS CLASS - XII MATHEMATICS (Relations and Functions & Binary Operations)
KENDRIYA VIDYALAYA IIT KANPUR HOME ASSIGNMENTS FOR SUMMER VACATIONS 6-7 CLASS - XII MATHEMATICS (Reltions nd Funtions & Binry Opertions) For Slow Lerners: - A Reltion is sid to e Reflexive if.. every A
More informationNecessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 )
Neessry n suient onitions for some two vrile orthogonl esigns in orer 44 C. Koukouvinos, M. Mitrouli y, n Jennifer Seerry z Deite to Professor Anne Penfol Street Astrt We give new lgorithm whih llows us
More informationA Study on the Properties of Rational Triangles
Interntionl Journl of Mthemtis Reserh. ISSN 0976-5840 Volume 6, Numer (04), pp. 8-9 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn
More informationarxiv:math/ v2 [math.ct] 21 Feb 2007
1 INTRODUCTION TO ANN-CATEGORIES Nguyen Tien Quang arxiv:math/0702588v2 [math.ct] 21 Feb 2007 Abstract. In this paper, we present new concepts of Ann-categories, Ann-functors, and a transmission of the
More informationDEFORMATIONS OF ASSOCIATIVE ALGEBRAS WITH INNER PRODUCTS
Homology, Homotopy nd Applitions, vol. 8(2), 2006, pp.115 131 DEFORMATIONS OF ASSOCIATIVE ALGEBRAS WITH INNER PRODUCTS JOHN TERILLA nd THOMAS TRADLER (ommunited y Jim Stsheff) Astrt We develop the deformtion
More informationElectromagnetic-Power-based Modal Classification, Modal Expansion, and Modal Decomposition for Perfect Electric Conductors
LIAN: EM-BASED MODAL CLASSIFICATION EXANSION AND DECOMOSITION FOR EC 1 Eletromgneti-ower-bsed Modl Clssifition Modl Expnsion nd Modl Deomposition for erfet Eletri Condutors Renzun Lin Abstrt Trditionlly
More informationArrow s Impossibility Theorem
Rep Fun Gme Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Fun Gme Properties Arrow s Theorem Leture Overview 1 Rep 2 Fun Gme 3 Properties
More informationDiscrete Structures Lecture 11
Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.
More informationBisimulation, Games & Hennessy Milner logic
Bisimultion, Gmes & Hennessy Milner logi Leture 1 of Modelli Mtemtii dei Proessi Conorrenti Pweł Soboiński Univeristy of Southmpton, UK Bisimultion, Gmes & Hennessy Milner logi p.1/32 Clssil lnguge theory
More informationDong-Myung Lee, Jeong-Gon Lee, and Ming-Gen Cui. 1. introduction
J. Kore So. Mth. Edu. Ser. B: Pure Appl. Mth. ISSN 16-0657 Volume 11, Number My 004), Pges 133 138 REPRESENTATION OF SOLUTIONS OF FREDHOLM EQUATIONS IN W Ω) OF REPRODUCING KERNELS Dong-Myung Lee, Jeong-Gon
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1. 1 [(y ) 2 + yy + y 2 ] dx,
MATH3403: Green s Funtions, Integrl Equtions nd the Clulus of Vritions 1 Exmples 5 Qu.1 Show tht the extreml funtion of the funtionl I[y] = 1 0 [(y ) + yy + y ] dx, where y(0) = 0 nd y(1) = 1, is y(x)
More informationOn the Co-Ordinated Convex Functions
Appl. Mth. In. Si. 8, No. 3, 085-0 0 085 Applied Mthemtis & Inormtion Sienes An Interntionl Journl http://.doi.org/0.785/mis/08038 On the Co-Ordinted Convex Funtions M. Emin Özdemir, Çetin Yıldız, nd Ahmet
More informationwhere the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b
CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}
More informationArrow s Impossibility Theorem
Rep Voting Prdoxes Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Voting Prdoxes Properties Arrow s Theorem Leture Overview 1 Rep
More informationLinear Algebra Introduction
Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationThe study of dual integral equations with generalized Legendre functions
J. Mth. Anl. Appl. 34 (5) 75 733 www.elsevier.om/lote/jm The study of dul integrl equtions with generlized Legendre funtions B.M. Singh, J. Rokne,R.S.Dhliwl Deprtment of Mthemtis, The University of Clgry,
More informationApril 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.
pril 8, 2017 Mth 9 Geometry Solving vetor prolems Prolem Prove tht if vetors nd stisfy, then Solution 1 onsider the vetor ddition prllelogrm shown in the Figure Sine its digonls hve equl length,, the prllelogrm
More informationFunctions. mjarrar Watch this lecture and download the slides
9/6/7 Mustf Jrrr: Leture Notes in Disrete Mthemtis. Birzeit University Plestine 05 Funtions 7.. Introdution to Funtions 7. One-to-One Onto Inverse funtions mjrrr 05 Wth this leture nd downlod the slides
More informationThe Inspherical Gergonne Center of a Tetrahedron
Journl for Geometry nd Grphis Volume 8 (2004), No. 1, 23 32. The Inspheril Gergonne Center of Tetrhedron Mowffq Hjj 1, Peter Wlker 2 1 Deprtment of Mthemtis, Yrmouk University Irbid, Jordn emil: mhjj@yu.edu.jo
More informationPOSITIVE IMPLICATIVE AND ASSOCIATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS
Bull. Koren Mth. So. 35 (998), No., pp. 53 6 POSITIVE IMPLICATIVE AND ASSOCIATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS YOUNG BAE JUN*, YANG XU AND KEYUN QIN ABSTRACT. We introue the onepts of positive
More informationMore Properties of the Riemann Integral
More Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologil Sienes nd Deprtment of Mthemtil Sienes Clemson University Februry 15, 2018 Outline More Riemnn Integrl Properties The Fundmentl
More informationf (x)dx = f(b) f(a). a b f (x)dx is the limit of sums
Green s Theorem If f is funtion of one vrible x with derivtive f x) or df dx to the Fundmentl Theorem of lulus, nd [, b] is given intervl then, ording This is not trivil result, onsidering tht b b f x)dx
More informationElectromagnetism Notes, NYU Spring 2018
Eletromgnetism Notes, NYU Spring 208 April 2, 208 Ation formultion of EM. Free field desription Let us first onsider the free EM field, i.e. in the bsene of ny hrges or urrents. To tret this s mehnil system
More information16z z q. q( B) Max{2 z z z z B} r z r z r z r z B. John Riley 19 October Econ 401A: Microeconomic Theory. Homework 2 Answers
John Riley 9 Otober 6 Eon 4A: Miroeonomi Theory Homework Answers Constnt returns to sle prodution funtion () If (,, q) S then 6 q () 4 We need to show tht (,, q) S 6( ) ( ) ( q) q [ q ] 4 4 4 4 4 4 Appeling
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationTwo Triads of Congruent Circles from Reflections
Forum Geometriorum Volume 8 (2008) 7 12. FRUM GEM SSN 1534-1178 Two Trids of ongruent irles from Refletions Qung Tun ui strt. Given tringle, we onstrut two trids of ongruent irles through the verties,
More informationA Functorial Query Language
A Funtoril Query Lnguge Ryn Wisnesky, Dvid Spivk Deprtment of Mthemtis Msshusetts Institute of Tehnology {wisnesky, dspivk}@mth.mit.edu Presented t Boston Hskell April 16, 2014 Outline Introdution to FQL.
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationMA10207B: ANALYSIS SECOND SEMESTER OUTLINE NOTES
MA10207B: ANALYSIS SECOND SEMESTER OUTLINE NOTES CHARLIE COLLIER UNIVERSITY OF BATH These notes hve been typeset by Chrlie Collier nd re bsed on the leture notes by Adrin Hill nd Thoms Cottrell. These
More informationSymmetrical Components 1
Symmetril Components. Introdution These notes should e red together with Setion. of your text. When performing stedy-stte nlysis of high voltge trnsmission systems, we mke use of the per-phse equivlent
More informationContents. Outline. Structured Rank Matrices Lecture 2: The theorem Proofs Examples related to structured ranks References. Structure Transport
Contents Structured Rnk Mtrices Lecture 2: Mrc Vn Brel nd Rf Vndebril Dept. of Computer Science, K.U.Leuven, Belgium Chemnitz, Germny, 26-30 September 2011 1 Exmples relted to structured rnks 2 2 / 26
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 informationThe Double Integral. The Riemann sum of a function f (x; y) over this partition of [a; b] [c; d] is. f (r j ; t k ) x j y k
The Double Integrl De nition of the Integrl Iterted integrls re used primrily s tool for omputing double integrls, where double integrl is n integrl of f (; y) over region : In this setion, we de ne double
More informationSome integral inequalities of the Hermite Hadamard type for log-convex functions on co-ordinates
Avilble online t www.tjns.om J. Nonliner Si. Appl. 9 06), 5900 5908 Reserh Artile Some integrl inequlities o the Hermite Hdmrd type or log-onvex untions on o-ordintes Yu-Mei Bi, Feng Qi b,, College o Mthemtis,
More informationMathematical Journal of Okayama University
Mthemtil Journl of Okym University Volume 41, Issue 1 1999 Artile 1 JANUARY 1999 Nonliner Semigroups Anlyti on Setors Gen Nkmur Toshitk Mtsumoto Shinnosuke Ohru Mtsue Ntionl College of Tehnology Hiroshim
More informationDorf, R.C., Wan, Z. T- Equivalent Networks The Electrical Engineering Handbook Ed. Richard C. Dorf Boca Raton: CRC Press LLC, 2000
orf, R.C., Wn,. T- Equivlent Networks The Eletril Engineering Hndook Ed. Rihrd C. orf Bo Rton: CRC Press LLC, 000 9 T P Equivlent Networks hen Wn University of Cliforni, vis Rihrd C. orf University of
More informationThe Riemann and the Generalised Riemann Integral
The Riemnn nd the Generlised Riemnn Integrl Clvin 17 July 14 Contents 1 The Riemnn Integrl 1.1 Riemnn Integrl............................................ 1. Properties o Riemnn Integrble Funtions.............................
More informationMATH 409 Advanced Calculus I Lecture 22: Improper Riemann integrals.
MATH 409 Advned Clulus I Leture 22: Improper Riemnn integrls. Improper Riemnn integrl If funtion f : [,b] R is integrble on [,b], then the funtion F(x) = x f(t)dt is well defined nd ontinuous on [,b].
More informationLecture Notes No. 10
2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite
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 informationIntermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths
Intermedite Mth Cirles Wednesdy 17 Otoer 01 Geometry II: Side Lengths Lst week we disussed vrious ngle properties. As we progressed through the evening, we proved mny results. This week, we will look t
More information(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.
Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time
More informationCongruent Contiguous Excircles
Forum Geometricorum Volume 14 (2014) 397 402 FORUM GEOM ISSN 1534-1178 Congruent Contiguous Excircles Mihály Bencze nd Ovidiu T Pop Abstrct In this pper we present some interesting lines in tringle nd
More informationReference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets.
I MATRIX ALGEBRA INTRODUCTION TO MATRICES Referene : Croft & Dvison, Chpter, Blos, A mtri ti is retngulr rr or lo of numers usull enlosed in rets. A m n mtri hs m rows nd n olumns. Mtri Alger Pge If the
More informationLine Integrals and Entire Functions
Line Integrls nd Entire Funtions Defining n Integrl for omplex Vlued Funtions In the following setions, our min gol is to show tht every entire funtion n be represented s n everywhere onvergent power series
More informationRelations between a dual unit vector and Frenet vectors of a dual curve
Kuwit J. Si. 4 () pp. 59-69, 6 Burk Şhiner *, Mehmet Önder Dept. of Mthemtis, Mnis Cell Byr University, Murdiye, Mnis, 454, Turkey * Corresponding uthor: burk.shiner@bu.edu.tr Abstrt In this pper, we generlize
More informationThe Word Problem in Quandles
The Word Prolem in Qundles Benjmin Fish Advisor: Ren Levitt April 5, 2013 1 1 Introdution A word over n lger A is finite sequene of elements of A, prentheses, nd opertions of A defined reursively: Given
More informationConneted sum of representations of knot groups
Conneted sum of representtions of knot groups Jinseok Cho rxiv:141.6970v4 [mth.gt] 3 Mr 016 November 4, 017 Abstrct When two boundry-prbolic representtions of knot groups re given, we introduce the connected
More informationAn introduction to groups
n introdution to groups syllusref efereneene ore topi: Introdution to groups In this h hpter Groups The terminology of groups Properties of groups Further exmples of groups trnsformtions 66 Mths Quest
More informations the set of onsequenes. Skeptil onsequenes re more roust in the sense tht they hold in ll possile relities desried y defult theory. All its desirle p
Skeptil Rtionl Extensions Artur Mikitiuk nd Miros lw Truszzynski University of Kentuky, Deprtment of Computer Siene, Lexington, KY 40506{0046, frtur mirekg@s.engr.uky.edu Astrt. In this pper we propose
More informationWell Centered Spherical Quadrangles
Beiträge zur Algebr und Geometrie Contributions to Algebr nd Geometry Volume 44 (003), No, 539-549 Well Centered Sphericl Qudrngles An M d Azevedo Bred 1 Altino F Sntos Deprtment of Mthemtics, University
More informationOn the free product of ordered groups
rxiv:703.0578v [mth.gr] 6 Mr 207 On the free product of ordered groups A. A. Vinogrdov One of the fundmentl questions of the theory of ordered groups is wht bstrct groups re orderble. E. P. Shimbirev [2]
More informationChapter 3. Vector Spaces. 3.1 Images and Image Arithmetic
Chpter 3 Vetor Spes In Chpter 2, we sw tht the set of imges possessed numer of onvenient properties. It turns out tht ny set tht possesses similr onvenient properties n e nlyzed in similr wy. In liner
More information2. Topic: Summation of Series (Mathematical Induction) When n = 1, L.H.S. = S 1 = u 1 = 3 R.H.S. = 1 (1)(1+1)(4+5) = 3
GCE A Level Otober/November 008 Suggested Solutions Mthemtis H (970/0) version. MATHEMATICS (H) Pper Suggested Solutions. Topi: Definite Integrls From the digrm: Are A = y dx = x Are B = x dy = y dy dx
More information(h+ ) = 0, (3.1) s = s 0, (3.2)
Chpter 3 Nozzle Flow Qusistedy idel gs flow in pipes For the lrge vlues of the Reynolds number typilly found in nozzles, the flow is idel. For stedy opertion with negligible body fores the energy nd momentum
More informationGraph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)
Grph Sttes EPIT 2005 Mehdi Mhll (Clgry, Cnd) Simon Perdrix (Grenole, Frne) simon.perdrix@img.fr Grph Stte: Introdution A grph-sed representtion of the entnglement of some (lrge) quntum stte. Verties: quits
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS
The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their
More informationf (z) dz = 0 f(z) dz = 2πj f(z 0 ) Generalized Cauchy Integral Formula (For pole with any order) (n 1)! f (n 1) (z 0 ) f (n) (z 0 ) M n!
uhy s Theorems I Ang M.S. Otober 26, 212 Augustin-Louis uhy 1789 1857 Referenes Murry R. Spiegel omplex V ribles with introdution to onf orml mpping nd its pplitions Dennis G. Zill, P. D. Shnhn A F irst
More informationConsistent Probabilistic Social Choice
Consistent Proilisti Soil Choie Felix Brndt (with F. Brndl nd H. G. Seedig) University of Oxford, Novemer 2015 Preliminries Finite set of lterntives A A is not fixed Liner preferene reltions L (A) Frtionl
More informationPAIR OF LINEAR EQUATIONS IN TWO VARIABLES
PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,
More informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
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 informationNotes on the bicategory of W*-bimodules
Submitted to Journal of the Mathematial Soiety of Japan Notes on the biategory of W*-bimodules By Yusuke Sawada and Shigeru Yamagami (Reeived July 6, 2017) (Revised Jan. 17, 2018) Abstrat. Categories of
More informationHW3, Math 307. CSUF. Spring 2007.
HW, Mth 7. CSUF. Spring 7. Nsser M. Abbsi Spring 7 Compiled on November 5, 8 t 8:8m public Contents Section.6, problem Section.6, problem Section.6, problem 5 Section.6, problem 7 6 5 Section.6, problem
More information5. Every rational number have either terminating or repeating (recurring) decimal representation.
CHAPTER NUMBER SYSTEMS Points to Rememer :. Numer used for ounting,,,,... re known s Nturl numers.. All nturl numers together with zero i.e. 0,,,,,... re known s whole numers.. All nturl numers, zero nd
More informationDiscrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α
Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw
More informationF / x everywhere in some domain containing R. Then, + ). (10.4.1)
0.4 Green's theorem in the plne Double integrls over plne region my be trnsforme into line integrls over the bounry of the region n onversely. This is of prtil interest beuse it my simplify the evlution
More informationAbstraction of Nondeterministic Automata Rong Su
Astrtion of Nondeterministi Automt Rong Su My 6, 2010 TU/e Mehnil Engineering, Systems Engineering Group 1 Outline Motivtion Automton Astrtion Relevnt Properties Conlusions My 6, 2010 TU/e Mehnil Engineering,
More informationSolutions to Assignment 1
MTHE 237 Fll 2015 Solutions to Assignment 1 Problem 1 Find the order of the differentil eqution: t d3 y dt 3 +t2 y = os(t. Is the differentil eqution liner? Is the eqution homogeneous? b Repet the bove
More informationThe 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 informationSelf-similarity and symmetries of Pascal s triangles and simplices mod p
Sn Jose Stte University SJSU ScholrWorks Fculty Publictions Mthemtics nd Sttistics Februry 2004 Self-similrity nd symmetries of Pscl s tringles nd simplices mod p Richrd P. Kubelk Sn Jose Stte University,
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 informationSection 1.3 Triangles
Se 1.3 Tringles 21 Setion 1.3 Tringles LELING TRINGLE The line segments tht form tringle re lled the sides of the tringle. Eh pir of sides forms n ngle, lled n interior ngle, nd eh tringle hs three interior
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 informationT b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.
Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene
More information6.1 Definition of the Riemann Integral
6 The Riemnn Integrl 6. Deinition o the Riemnn Integrl Deinition 6.. Given n intervl [, b] with < b, prtition P o [, b] is inite set o points {x, x,..., x n } [, b], lled grid points, suh tht x =, x n
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationIntegral points on the rational curve
Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box
More information