Derived Limits in Quasi-Abelian Categories

Size: px
Start display at page:

Download "Derived Limits in Quasi-Abelian Categories"

Transcription

1 Prépublcatos Mathématques de l Uversté Pars-Nord Derved Lmts Quas-Abela Categores by Fabee Prosmas March 98 Laboratore Aalyse, Géométre et Applcatos, UMR 7539 sttut Gallée, Uversté Pars-Nord Vlletaeuse (Frace)

2

3 Derved Lmts Quas-Abela Categores Fabee Prosmas Aprl 1, 1998 Abstract ths paper, we study the derved fuctors of projectve lmt fuctors quas-abela categores. Frst, we show that f s a quas-abela category wth exact products, projectve lmt fuctors are rght dervable ad ther derved fuctors are computable usg a geeralzato of a costructo of Roos. Next, we study dex restrcto ad exteso fuctors ad lk them trough the symbolc Hom -fuctor. f : s a fuctor betwee small categores ad f s a projectve system dexed by, ths allows us to gve a codto for the derved projectve lmts of ad to be somorphc. Note that ths codto holds, f ad are flterg ad s cofal. Usg the precedg results, we establsh that the -th left cohomologcal fuctor of the derved projectve lmt of a projectve system dexed by vashes for k, f the cofalty of s strctly lower tha the k-th fte cardal umber. Fally, we cosder the lmts of pro-objects of a quasabela category. From our study, t follows, partcular, that the derved projectve lmt of a flterg projectve system depeds oly o the assocated pro-object. Cotets 0 troducto 2 1 Quas-abela homologcal algebra Quas-abela categores Dervato of a quas-abela category t-structure ad heart of the derved category Dervato of fuctors betwee quas-abela categores AMS Mathematcs Subject Classfcato. 18G50, 18A30, 46M20. Key words ad phrases. No-abela homologcal algebra, quas-abela categores, derved projectve lmts, homologcal methods for fuctoal aalyss. 1

4 2 Fabee Prosmas 2 Projectve systems quas-abela categores Categores of projectve systems Projectve systems of product ad croduct type jectve ad projectve objects dex restrcto ad exteso Dervato of the projectve lmt fuctor The case where has eough jectve objects Roos complexes The case where has exact products Derved projectve lmt fuctor ad dex restrcto Dual results for the ductve lmt fuctor Relatos betwee RHom ad derved lmts Derved lmts ad the symbolc-hom fuctor The symbolc-hom fuctor Dervato of the symbolc-hom fuctor Lks wth the derved projectve lmt fuctor dex restrcto Derved projectve lmts ad cofalty Cofal dex restrcto Cofalty ad ampltude of derved projectve lmts Pro-objects Categores of pro-objects Pro-represetable fuctors Represetato of dagrams of pro-objects Lmts categores of pro-objects Derved projectve lmts ad pro-objects Pro-objects of a quas-abela category The fuctor L Dervato of L troducto t s well-kow that the projectve lmt of a short exact sequece of projectve systems of abela groups s ot always a exact sequece. Ths pheomeo ofte explas the problems oe meets the globalzato of local results algebra or

5 Derved Lmts Quas-Abela Categores 3 aalyss. To uderstad ths loss of exactess, t s atural to study the derved fuctors of the projectve lmt fuctor. Ths was doe the sxtes by varous authors ([3, 4, 6, 8], etc.) ad led to a rather good uderstadg of the homologcal algebra of projectve lmts abela categores. However, for varous applcatos to algebrac aalyss, t would be very useful to exted these results to o-abela categores such as the category of tologcal abela groups or the category of locally covex tologcal vector spaces. Ths s what we do ths paper the more geeral framework of quas-abela categores. We start wth a summary of the facts about the homologcal algebra of quasabela categores whch are eeded the other sectos (see [9] ad [7] for more detaled expostos). Ths should help the reader whch has a good kowledge of the laguage of homologcal algebra ad derved categores the abela case (as exposed e.g. [5]) to uderstad the rest of the paper. Frst, we recall the codtos a category has to satsfy to be quas-abela. Next, we expla brefly the costructo of the derved category D( ) ad we gve the ma results about the two caocal t-structures o D( ) ad ther correspodg hearts LH( ) ad RH( ). We ed ths secto by recallg how to derve a addtve fuctor betwee two quas-abela categores. Secto 2 s devoted to the study of the category of projectve systems a quasabela category. We show frst that they form a quas-abela category. The, usg projectve systems of product type, we prove that ths category has eough jectve objects whe tself has eough jectve objects. We coclude by defg the dex restrcto ad exteso fuctors. Secto 3, we expla how to derve the projectve lmt fuctor lm : where s a quas-abela category ad a small category. Frst, we cosder the easy case where has eough jectve objects. Next, we treat the case where has exact products. ths case, we show that the derved projectve lmt of a projectve system of s somorphc to ts Roos complex. Moreover, f : s a fuctor betwee two small categores ad s a projectve system of dexed by, we show how to compute the caocal morphsm R lm ( ) R lm j ( ( )) by meas of Roos complexes. By dualty, we get correspodg results for the ductve lmts. At the ed of ths secto, we establsh commutato formulas for derved lmts ad the derved Hom fuctor. j

6 4 Fabee Prosmas Secto 4, we recall a few prertes of symbolc-hom fuctors ad show how to derve them. The, we prove that derved projectve lmts may be computed usg sutable derved symbolc-hom fuctors. Ths allows us to gve a codto for the caocal morphsm R lm ( ) R lm j ( ( )) to be a somorphsm. the frst part of Secto 5, usg the precedg result, we show that f a fuctor : betwee small flterg categores s cofal, the j R lm ( ) R lm j ( ( )) D ( ). the secod part, we establsh that, f the cofalty of the small flterg category s strctly lower tha the k-th fte cardal umber, j LH (R lm ( )) = 0 k for ay projectve system of dexed by. Secto 6 s devoted to a revew of the results about pro-objects we eed Secto 7. We refer the reader to [2] for detals. the frst three parts of ths secto, we recall basc results about pro-objects, represetable fuctors ad represetato of dagrams of pro-objects. the last part, we show that the category of proobjects of a arbtrary category has flterg projectve lmts ad we establsh some prertes of these lmts. Secto 7, we prove that the category of pro-objects of a quas-abela category s also quas-abela ad has exact products. Next, we troduce the fuctor L: Pro( ) ad we establsh that f the category the fuctor L s rght dervable ad s quas-abela ad has exact products, the RL lm ( ) R lm ( ) for ay flterg projectve system dexed by. Ths shows partcular that the derved projectve lmt of a flterg projectve system depeds oly o the assocated pro-object. Note that the theory develed ths paper may be appled to the category of tologcal abela groups or the category of locally covex tologcal vector

7 a a { { Derved Lmts Quas-Abela Categores 5 spaces sce these categores are quas-abela ad have exact products. these cases, more specfc results may be obtaed. Work ths drecto s progress ad wll appear elsewhere. To coclude ths troducto, wat to thak.-p. Scheders for the useful dscussos we had durg the preparato of ths paper. 1 Quas-abela homologcal algebra 1.1 Quas-abela categores To avod cofusos, let us frst recall a few basc deftos. Defto Let Abe a addtve category ad let f : A B be a morphsm of A. () A kerel of f s the data of a par (ker f,) where ker f b( A) ad Hom A(ker f,a) are such that f = 0 ad for ay g Hom A( C,A) verfyg f g = 0, there s a uque g Hom ( C, ker f) makg the dagram A ker g A?? f A B D DD D DD g D D commutatve. () A cokerel of f s the data of a par (coker f,q) where coker f b( A) ad q Hom A( B, coker f) are such that q f = 0 ad for ay g Hom A( B,C) verfyg g f = 0, there s a uque g Hom (coker f,c) makg the dagram C f 0 0 f A B coker f???????? C g commutatve. e ca check that : ker f A s moomorphc ad that q : B coker f s epmorphc. Moreover, two kerels (resp. two cokerels) of f are caocally somorphc. () f the morphsm : ker f A has a cokerel, t s called the comage of f ad deoted by com f. (v) f the morphsm q : B coker f has a kerel, t s called the mage of f ad deoted by m f. q w ww g w ww w ww

8 d d " " { { Fabee Prosmas Remark There s a caocal morphsm com f m f. As a matter of fact, sce com f s the cokerel of : ker f A, there s a uque morphsm f : com f B makg the dagram 0 D D D D D D D D f commutatve. We have q f q = q f = 0. The morphsm q beg epmorphc, t follows that q f = 0. Sce m f s the kerel of q : B coker f, there s a uque morphsm com f m f makg the dagram commutatve. m H q ker f A com f B x xx f x xx q x xx f B coker f H s H s s H f s s H s s com f s s s 0 Defto A category s quas-abela f () t s addtve, () ay morphsm has a kerel ad a cokerel, () a cartesa square X f Y f s a strct epmorphsm, the f X f Y s a strct epmorphsm, (v) a cocartesa square X f Y f s a strct moomorphsm, the f s a strct moomorphsm. X f Y

9 Derved Lmts Quas-Abela Categores Dervato of a quas-abela category ths secto, wll be a quas-abela category. We deote by C( ) the category of complexes of ad by K( ) the category defed by b( K( )) = b( C( )) ad where K( ) C( ) Hom ( X,Y ) = Hom ( X,Y )Ht( X,Y ) Ht( X,Y ) = { f : X Y : f s homotc to zero}. Recall that K( ) has a caocal structure of tragulated category. Defto A sequece u v A B C of such that v u= 0 s strctly exact f u s strct ad f the caocal morphsm m u ker v s somorphc. Remark Note that a sequece of such that F G Hom ( X, ) Hom ( X, F ) Hom ( X, G) s exact for ay X () A of s f the se- Defto quece b( ) s strctly exact. complex X k 1 k k 1 d k d k1 X X X strctly exact degree k s strctly exact. () A complex of s strctly exact f t s strctly exact every degree. () We deote by N( ) the full subcategory of K( ) whose objects are the strctly exact complexes of.

10 8 Fabee Prosmas (v) A morphsm f : X Y of K( ) s called a strct quas-somorphsm f there s a dstgushed tragle N of K( ) such that Z b( ( )). X Y Z X [1] Prosto The subcategory N( ) of K( ) s a ull system,.e. t verfes the followg codtos: () 0 N( ), () ( ) f ad oly f [1] ( ), X () f N X N X Y Z X [1] N s a dstgushed tragle of K( ) where X, Y b( ( )), the Z b( N( )). Defto The derved category of deoted by D( ) s the localzato of the tragulated category K( ) by N( ). The, D( ) = K ( ) N( ). Remark Note that as the abela case, a strctly exact sequece 0 X Y Z 0 of C( ) gves rse to a dstgushed tragle X Y Z X [1] of D( ). 1.3 t-structure ad heart of the derved category Frst, let us recall some usual results about t-structures o a tragulated category. Defto T T T strctly full subcategores of T. We set 0 0 Let be a tragulated category ad let ad be two 0 0 T = T [ ] ad T = T [ ]. 0 0 T T T The, the pars (, ) forms a t-structure o f t verfes the followg codtos:

11 Derved Lmts Quas-Abela Categores () ad, T T T T 0 1 () Hom T ( X, Y ) = 0 f X b( T ) ad Y b( T ), () for ay X b( T ), there s a dstgushed tragle T T such that X b( ) ad b( ) T X1 T 0 0 The heart of the t-structure ( T, T ), deoted by H, s the full subcategory of T defed by 0 0 H = T T. Theorem The heart of ay t-structure s a abela category. 0 0 Prosto Let ( T, T ) be a t-structure o a tragulated category T. () There s a fuctor τ : T T such that X X X X [1] Hom ( X, τ ( Y )) Hom ( X, Y ) for ay X b( T ) ad ay Y b( T ). the same way, there s a fuctor such that τ for ay X b( T ) ad Y b( T ). These fuctors τ ad τ are the 0 0 trucato fuctors assocated to the t-structure ( T, T ). () For ay Z, the fuctor defed by Hom ( τ ( X ),Y) Hom ( X,Y) H : T T : T H H ( X) = ( τ τ ( X))[ ] s a cohomologcal fuctor,.e. ay dstgushed tragle X Y Z X[1] T T of T gves rse to the log exact sequece H ( X) H ( Y) H ( Z) D BC H ( X) H ( Y) H ( Z)

12 10 Fabee Prosmas Defto Let be a quas-abela category. We deote by D 0 0 ( ) (resp. D ( )) the full subcategory of D( ) whose objects are the complexes whch are strctly exact degree k> 0 (resp. k< 0). Prosto a t-structure o D( ). We call t the left t-structure of D( ). ( D,D ) 0 0 Let be a quas-abela category. The par forms Remark The heart of the left t-structure s deoted by 0 0 We call t the left heart of D( ). f course, the objects of LH( ) are the complexes whch are strctly exact every degree but zero. The cohomologcal fuctors are deoted by where s degree ad k where s degree. Hece, the cohomologcal fuctors are gve by where s degree. LH( ) = D ( ) D ( ). LH : D ( ) LH( ). Prosto D( ). The trucato fuctors are gve by ker d X Let be a quas-abela category. Let be a object of τ ( X ) : X ker d 0 τ ( X ) : 0 com d X X ker d 0 1 LH ( X ) : 0 com d ker d 0 X Prosto Let be a quas-abela category. The fuctor : LH ( ) whch assocates to ay object of the complex 0 0 where s degree 0 s fully fathful.

13 Derved Lmts Quas-Abela Categores 11 Remark wrte X Let be a object of ( ). By a abuse of otatos, we wll X X LH f s somorphc to ( ) for some object of. Prosto Let be a quas-abela category. (a) Ay object of LH( ) s somorphc to a complex u 0 A B 0 where B s degree 0 ad us a moomorphsm. Moreover, such a object s the essetal mage of f ad oly f u s strct. (b) A sequece F G of s strctly exact f ad oly f the sequece ( ) F ( ) G ( ) of LH( ) s exact. Corollary D( ). The, Let be a quas-abela category ad let be a object of X k LH X X k () ( )=0 s strctly exact degree, () k k 1 LH ( X ) dx s strct. Remark Replacg the oto of strctly exact sequece by the oto of costrctly exact sequece, we may defe a secod t-structure o D( ). We call t the rght t-structure ad ts assocated heart (the rght heart) s deoted by RH( ). 1.4 Dervato of fuctors betwee quas-abela categores F ths secto, : wll deote a fuctor betwee quas-abela categores. Defto Let Q : K ( ) D ( ) ad Q : K ( ) D ( ) be the caocal fuctors. A rght derved fuctor of F s the data of a par ( T,s) where T : D ( ) D ( )

14 & & 12 Fabee Prosmas s a fuctor of tragulated categores ad s M M M M t M M M M M α dq k k k k such that, for ay k, b( ) ad u : X s a strct moomorphsm. M T,t there s a uque morphsm α : T T of fuctors makg the dagram commutatve. Defto A full subcategory of s F-jectve f () 0 0 s a strctly exact sequece of such that, Prosto f s a F-jectve subcategory of, the for ay object X of C ( ), there s a strct quas-somorphsm Prosto s : Q K ( F) T Q s a morphsm of fuctors such that for ay par ( T : D ( ) D ( ) t : Q K ( F) T Q, Q K ( F) T Q T Q () for ay b( ), there s a strct moomorphsm where b( ), b( ), the (a) b( ), (b) 0 F( ) F( ) F( ) 0 s strctly exact. u : X We call a F-jectve resoluto of X. f has a F-jectve subcategory, the fuctor ) where F : s rght dervable ad ts derved fuctor s gve by F X where s a -jectve resoluto of. RF : D ( ) D ( ) RF ( X ) = F ( )

15 Derved Lmts Quas-Abela Categores 13 Defto () A object of s jectve f for ay strct moomorphsm u : F ad ay morphsm v :, there s a morphsm v : F makg the dagram v ~ ~~ u v ~ ~~ commutatve. () The category has eough jectve objects f for ay object of, there s a strct moomorphsm wth jectve. ~ ~ F Prosto f has eough jectve objects, the the full subcategory of formed by the jectve objects s F-jectve for ay fuctor F :. partcular, ay fuctor F : s rght dervable. Now, let us expla how to derve a bfuctor. Prosto Let F (, ): be a bfuctor betwee quas-abela categores. Assume that there are full subcategores ad of ad respectvely such that () for ay b( ), s F (,)-jectve, () for ay b( ), s F(, )-jectve. The, the fuctor F (, ) s rght dervable ad ts derved fuctor RF : D ( ) D ( ) D ( ) s gve by RF ( X, Y ) = sf (, ) where (resp. ) s a jectve resoluto of X (resp. Y ) ad sf (, ) s the smple complex assocated to the double complex F(, ). Remark Dually, t s possble to derve fuctors o the left by cosderg F-projectve subcategores.

16 14 Fabee Prosmas 2 Projectve systems quas-abela categores 2.1 Categores of projectve systems Defto Let C be a category ad let be a small category. We deote by C the category of fuctors from to C. The objects of C wll be called projectve systems of C dexed by. Prosto Let be a small category. Assume s a quas-abela category. The, s a quas-abela category. Proof. We kow that the category s addtve. Cosder a morphsm f : F of. The kerel of f s gve by a object K of ad a morphsm u : K of such that for ay, the object K ( ) of ad the morphsm u ( ) : K ( ) ( ) form a kerel of f ( ). The cokerel of f s defed smlarly. t follows that a morphsm f : F of s strct f ad oly f f ( ) : ( ) F ( ) s strct for ay. Cosder a cartesa square f F f F of, where f s a strct epmorphsm. Sce for ay, the square f() () F () f () () F () of s cartesa ad sce f ( ) s a strct epmorphsm, f( ) s a strct epmorphsm. t follows that f s a strct epmorphsm of. Usg the same kd of argumets, a cocartesa square f F f F of, f f s a strct moomorphsm, the f s also a strct moomorphsm.

17 Derved Lmts Quas-Abela Categores Projectve systems of product ad croduct type Remark Hereafter, by a abuse of otatos, we wll deote by the same symbol a set ad ts assocated dscrete category. Defto Let be a small category ad let be a addtve category wth products. We defe the fuctor Π: b( ) the followg way. At the level of objects, for ay fuctor S : b( ) we defe the fuctor Π( S) : by settg Π( S)( ) = S( j) α j for ay. Let be a object of. For ay morphsm α : j of, we deote by p α S S j j :Π( )() ( ) the caocal projecto. The, f f : s a morphsm of, we defe by settg Π( S)( f) : Π( S)( ) Π( S)( ) p S f p Π( )( ) = α j α f α j j for ay morphsm :. b( ) At the level of morphsms, for ay morphsm s : S S of, we defe Π( s) : Π( S) Π( S ) by settg p Π( s)( ) = s( j) p for ay object of ad ay morphsm α : j of. α α j j Defto Let be a small category ad let be a addtve category wth croducts. Applyg the precedg defto to ad, we get a fuctor Through the caocal somorphsm b( ) ( ) ( ) ( ) ( D) D ( C ) ( C ),.

18 16 Fabee Prosmas ths gves us a fuctor Note that ( S)( ) = S( j ). α j b( ) b( ) b( ) Defto Let be a small category ad let be a addtve category wth products (resp. wth croducts). A projectve system product type : : croduct type b( ) s of (resp. of ) f there s a object of such that b( ) wth products (resp. wth croducts). For ay object S of ad ay object Π( S) (resp. ( S)). Defto Let be a small category ad let be a arbtrary category. We defe the fuctor b( ) : by ( )( ) = ( ) for ay object of. f f : s a morphsm of, we defe ( f) : ( ) ( ) by settg ( f)( ) = f( ). e checks easly that we have: Prosto Let be a small category ad let be a addtve category of, we have Hom ((,S ) ) Hom (, Π( S)) ( resp. Hom ( S, ( )) Hom ( ( S ), )). Prosto Let be a small category ad let be a addtve category b( ) wth products (resp. wth croducts). For ay object S of, we have the somorphsm lm Π( S)( ) S( ) ( resp. lm ( S)( ) S( )).. S

19 Derved Lmts Quas-Abela Categores 17 Proof. lmts. Ths follows drectly from the defto of the projectve ad the ductve 2.3 jectve ad projectve objects Prosto S of. Let be a small category ad let be a quas-abela category S b( ) wth products. f s a jectve object of, the Π( ) s a jectve object Proof. S b( ) Let be a jectve object of. Cosder a strct moomorphsm f : of. Sce for ay, f( ) : ( ) ( ) s a strct moomorphsm ad sce S ( ) s jectve, the sequece Hom ( f( ),S( )) Hom ( ( ),S( )) Hom ( ( ),S( )) 0 s exact. t follows that the sequece Hom (( f ),S) b( ) b( ) Hom (( ),S) Hom (( ),S) 0 s exact. By Prosto 2.2.6, the sequece Hom ( f, Π( S)) Hom (, Π( S)) Hom (, Π( S)) 0 s also exact ad the cocluso follows. Prosto Let be a small category ad let be a quas-abela category wth products (resp. wth croducts). For ay object of, there s a strct moomorphsm (resp. strct epmorphsm) f : Π(( )) ( resp. g : (( )) ) of. Proof. Let be a object of. We defe the morphsm f : Π(( )) by settg p α j f()= ( α)

20 18 Fabee Prosmas for ay object of ad ay morphsm α : j of. Sce for ay object of, we have p d f, ( ) = (d) = d p d f f ( ) s a strct moomorphsm. Cosequetly, for ay, ( ) s a strct moomorphsm of ad f s a strct moomorphsm of. Prosto Let be a small category ad let be a quas-abela category wth products. f has eough jectve objects the the category has eough jectve objects. Proof. Let be a object of. We kow that there s a strct moomorphsm f : Π(( )) of. Moreover, sce has eough jectve objects, for ay, there s a strct moomorphsm s (): () () of, where ( ) s a jectve object of. These morphsms defe a morphsm s :( ) b( ) b( ) of where s a jectve object of. Now, cosder the morphsm Π( s) f : Π( ) of. Sce the product of strct moomorphsms s a strct moomorphsm, for ay, Π( s)( ) s a strct moomorphsm of. Cosequetly, Π( s) s a strct moomorphsm of ad Π( s) fs a strct moomorphsm of. Fally, by Prosto 2.3.1, the object Π( ) s jectve. Ad the cocluso follows. Dually, we have: Prosto Let be a small category ad let be a quas-abela category wth croducts. f has eough projectve objects, the the category has eough projectve objects.

21 Derved Lmts Quas-Abela Categores dex restrcto ad exteso To fx the otatos, let us recall a few deftos of the theory of categores. Defto Let F : A C ad G : B C be two fuctors betwee arbtrary categores. We deote by F G the category whose objects are the trples ( a, f, b) where a s a object of A, b s a object of B ad f : F( a) G( b) s a morphsm of C. f ( a,f,b) ad ( a,f,b) are two objects of F G, a morphsm f ( u, v): ( a, f, b) ( a, f, b ) A B of F G s the data of a morphsm u : a a of ad a morphsm v : b b of such that the dagram F( a) G( b) F( u) G( v) s commutatve. Remark f G b F( a) ( ) Let 1 deote the category wth oe object. () f the fuctor F : 1 Cassocates to the object of 1, the object of C, the category F G wll smply be deoted G. f, moreover, G= d, the the category G wll be deoted C. C () Smlarly, f the fuctor G : 1 Cassocates to the object of 1, the object of C, the category F G wll be deoted F. Moreover, f F = d, the the category F wll be deoted C. C Prosto Let be a arbtrary category. For ay object of, (d,) ( resp. (, d )) s a tal object (resp. a termal object) of (resp. ).

22 20 Fabee Prosmas Defto Let : be a fuctor betwee two arbtrary categores ad let be a object of. () We defe the fuctor : by settg for ay object ( f,j) of ad by settg for ay morphsm β : ( f,j) ( f,j ) of. () We may defe the fuctor the same way. α α α α : Prosto Let : be a fuctor betwee arbtrary categores ad let α : be a morphsm of. () There s a fuctor α : such that () There s a fuctor such that Proof. defed by The fuctor for ay object ( f,j) of ad by ( f,j) = j ( β) = β α =. α : α =. : ( f,j) = ( f α,j) ( u) = u for ay morphsm u : ( f 1,j1) ( f 2,j2) of, solves the problem. The fuctor s defed smlarly.

23 Derved Lmts Quas-Abela Categores 21 Remark f = d the the fuctors wll be deoted respectvely by α,, ad :, :, α α : ad :. Defto Let C be a arbtrary category ad let : be a fuctor betwee two small categores. We defe the fuctor α : C C by settg ( C) = C for ay object C of C. f f : C C s a morphsm of C, we defe by settg for ay j. ( f) : ( C) ( C ) ( f)( j) = f( ( j)) Defto Let C be a cocomplete category ad let : be a fuctor betwee two small categores. We defe the fuctor : C C the followg way. At the level of objects, for ay fuctor :, we defe the fuctor by settg ( f,j) ( G) :, ( G)( ) = lm ( G )( f,j) = lm G( j) ( f,j ) α C ( f,j) ( f,j) G ( f,j) for ay. Let be a object of. For ay object ( f,j) of, deote by r : G( j) ( G)( ) ( G)( α) : lm G( j) lm G( j ) C the caocal morphsm. The, f : s a morphsm of, we defe

24 22 Fabee Prosmas by settg ( )( ) ( f,j ) = ( f α,j ) G α r r for ay object ( f,j) of. At the level of morphsms, for ay morphsm g : G G of C, we defe ( g) : ( G) ( G) by settg ( f,j ) ( f,j ) ( g)( ) r = r g( j) for ay object of ad ay object ( f,j) of. e ca check easly that we have: Prosto Let C be a cocomplete category ad let : beafuctor betwee small categores. For ay object C of C ad ay object G of C, we have Hom ( ( G ), C) Hom ( G, ( C )). C C 3 Dervato of the projectve lmt fuctor 3.1 The case where has eough jectve objects Prosto Let be a small category ad let be a quas-abela category wth products. f has eough jectve objects, the the fuctor s rght dervable. lm : Proof. Ths follows drectly from Prosto Dually, we have: Prosto Let be a small category ad let be a quas-abela category wth croducts. f has eough projectve objects, the the fuctor s left dervable. lm :

25 Derved Lmts Quas-Abela Categores Roos complexes ths secto, wll deote a small category ad a quas-abela category wth products. Defto We defe the fuctor the followg way. At the level of objects, for ay fuctor :, we defe by settg ad where R (,) = ( ) 0, R (,) α1 0 0 α1 α 0 α1 α p α1 α 1 d ( ) 1 α2 α R, α p 1 0 = ( ) l ( 1) p α1 1 α 1 l=1 1 R (,) : C ( ) R (,) C ( ) R (,)=0 < α l α l 0 l 1 l1 1 α1 0 At the level of morphsms, for ay morphsm : of, we defe α s a cha of morphsms of. Deotg by p : R (,) ( 0) the caocal projecto, we defe the dfferetal by settg d : R (,) R (,) ( 1) p α. f R (,f) : R (,) R (, ) by settg α1 α 0 α1 α 0 ( ) = ( ) 0 p R,f f p.

26 24 Fabee Prosmas Notato Let be a object of. For ay, we deote by q :lm () () the caocal morphsm. Prosto For ay object of, there s a caocal somorphsm whch duces a caocal morphsm 0 0 ( ) : R lm ( ) ker (, ) ɛ, d ɛ (,) : lm ( ) R (, ). Proof. We defe the morphsm 0 0 ɛ (,) : lm ( ) R (,) = ( ) by settg 0 p ɛ (,) = q for ay. Sce d ɛ (,) = 0, ɛ (,) duces a morphsm R (, ) ɛ (,) : lm ( ) R (,) of ( ). t follows drectly from the deftos that (lm ( ) ( )) s a kerel 0 C,ɛ, 0 dr (, ) of. Defto Let : beafuctor betwee small categores. We defe the morphsm of fuctors by settg R (, ) : R (,) R (, ()) β1 β ( β 1 ) ( β) j0 j ( j0) ( j) p R (,) = p 0 for ay object of.

27 Derved Lmts Quas-Abela Categores 25 Defto We defe the fuctor R (): C ( ) the followg way. At the level of objects, for ay fuctor :, we defe by settg α α R ( ) R ( ) ()= R (, ( )) At the level of morphsms, f : s a morphsm of fuctors, we defe 0 0 t follows that for ay 0 ad ay R ( )( ) = ( ) 0 R( ) C ( ) α1 α1 α α α R ( )( ) = R (, ( )) for ay. f α : s a morphsm of, we defe by settg R( )( α) = R (, ( )) f α1 α f 0 0 ad usg the fact that = ( ) =. For ay 0, we defe the dfferetal d 1 : R ( ) R ( ) by settg for ay object of. by settg R ( )( α) : R (, ( )) R (, ( )) d d f R( f) : R( ) R( ) R ( f)( ) = R (, ( f)) for ay object of. Remark Let us otce that to gve a cha of morphsms (,f) (,f) of s equvalet to gve a cha of morphsms of of the form.

28 26 Fabee Prosmas ad that for ay morphsm α : of R ( )( α) : ( ) ( ) s defed by 0 0 α1 α f α1 α f 0 0 For ay α1 α f ( )( ) = α1 α α f 0 0 p R α p. 0, the dfferetal R ( ) 1 d : R ( ) R ( ) s gve by p α1 α 1 f dr ( ) α1 p α2 α 1 f 0 1 ()= ( ) 1 1 l ( 1) p α1 α l 1 α l α 1 f 0 l 1 l1 1 l=1 1 ( 1) p α1 α f α 1 for ay. Fally, for ay morphsm f : of s gve by for ay 0 ad ay. R( f) : R( ) R( ) α1 α g 0 α1 α g 0 ( )( ) = ( ) 0 p R f f p 0 Lemma f the category has a termal object, the for ay object of, there s a caocal homoty equvalece ( ) R (,) Proof. For ay 0, defe 1 h : R (,) R (,) by settg h 0 = 0 ad α1 α 1 α1 α α 1 0, p h = ( 1) p 1

29 Derved Lmts Quas-Abela Categores 27 where α, 1 s the uque morphsm of Hom ( 1, ). Defe the caocal morphsm f : ( ) R (,) by settg k 0 0 0, p f = ( α ) Sce dr (, ) f = 0, f duces a caocal morphsm We wll also cosder the morphsm defed by settg Clearly, g f : ( ) R (, ). g : R (,) ( ) { p f k = 0 = 0 f k 1. g f =d. Moreover, f g s homotc to the detty map sce we have R (, ) =d h d f g ad 1 1 R (,) R (, ) = d R (, ) d h h d. Prosto For ay object of, there s a somorphsm ɛ( ) : R ( ) ( ). D Proof. Let be a object of. Sce (, d ) s a termal object of, by Lemma f ( ) : ( )(, d ) = ( ) R(, ( )) = R( )( ) K ( ), where 0 0 f (): () R ( )()= ( ) α 0 0

30 28 Fabee Prosmas s defed by So, for ay, we defe α 0 0 p f ()= ( α ). 0 0 ɛ ( )( ) : ( ) R ( )( ) by settg 0 0 ɛ ( )( ) = f ( ) Sce dr ( ) ɛ ( ) = 0, ɛ ( ) duces a morphsm ɛ( ) : R( ) of ( ). By costructo, for ay, we have the somorphsm C ɛ( )( ) : ( ) R( )( ) D ( ). t follows that ɛ( ) : R ( ) ( ). D Lemma For ay object of ad ay 0, there s a object S ( ) b( ) of such that R ( ) Π( S ( )). Proof. e checks easly that the fuctor S ( ) : b( ) defed by for ay solves the problem. S ( )( ) = ( ) α1 α 0 0 Prosto For ay object of, there s a somorphsm lm R( )( ) R (,) ( ) of C.

31 Derved Lmts Quas-Abela Categores 29 Proof. Ths follows from the cha of somorphsms lm R ( )( ) lm Π( S ( ))( ) S ( )( ) α1 0 α1 0 R (, ). α α ( ) ( ) The case where has exact products ths secto, wll deote a small category ad a quas-abela category wth products. Defto A object of s a Roos-acyclc projectve system f the co-augmeted complex j k lm ( ) R (,) R (,) s strctly exact. other words, s Roos-acyclc f ad oly f LH ( R (, )) = 0 for ay k> 0. b( ) Prosto For ay object Sof, there s a caocal homoty equvalece Sj () R (, Π( S )). partcular, Π( S) s a Roos-acyclc projectve system. Proof. For ay 0, defe 1 h : R (, Π( S)) R (, Π( S)) by settg h 0 = 0 ad β α1 α 1 d β α1 α 1 j 0 0 = 1 j j j 0 1 p p h p p

32 30 Fabee Prosmas for 1. Defe the caocal morphsm 0 0 u : S( j) R (, Π( S)) by settg j p p u = p. β 0 j Sce dr (, Π( S )) u = 0, u duces a caocal morphsm u : S( j) R (, Π( S )). j We wll also cosder the morphsm 0 0 v : R (, Π( S)) S( j) 0 j j defed by settg ad the duced morphsm Clearly, 0 pj v = p p d j j v : R (, Π( S)) S( j ). v u =d. j j Moreover, u v s homotc to the detty map sce we have R (, Π( S )) =d h d u v ad for R (, Π( S)) R (, Π( S)) = dr (, Π( S)) d h h d Prosto Assume has exact products. The, the fuctor s rght dervable. lm :

33 Derved Lmts Quas-Abela Categores 31 Proof. t s suffcet to show that the famly s lm-jectve. F = { b( ) : s Roos-acyclc} () Let be a object of. By Prosto 2.3.2, there s a strct moomorphsm Π(( )) ad by the precedg prosto, Π(( )) belogs to F. () Cosder a strctly exact sequece 0 0 of where ad belog to F. Sce has exact products, the sequece 0 R (, ) R (,) R (, ) 0 s strctly exact ad gves rse to the log exact sequece LH R, LH R, LH R, 0 ( ( )) ( ( )) ( ( )) D BC LH ( R (, )) LH ( R (, )) LH ( R (, )) D BC LH ( R (, )) LH ( R (, )) LH ( R (, )) Sce ad are objects of, t follows that ad that belogs to. k k k F LH ( R (, )) = LH ( R (, )) = 0 k > 0. 0 LH ( R (, ))=0 k > 0 F Moreover, by Prosto 3.2.3, for ay object of, LH ( R (, )) lm ( ) ad the precedg log exact sequece shows that the sequece s exact. 0 lm ( ) lm ( ) lm ( ) 0

34 o o 32 Fabee Prosmas Prosto Assume has exact products. The, for ay object of, we have a caocal somorphsm R lm ( ) R (,. ) Proof. By Prosto ad Lemma 3.2.9, R( ) s a Roos-acyclc resoluto of. The, R lm ( ) lm R( )( ) R (,) where the last somorphsm follows from Prosto Derved projectve lmt fuctor ad dex restrcto ths secto, wll deote a quas-abela category wth products ad : a fuctor betwee small categores. Defto We defe the morphsm of fuctors by settg ρ(,. ): ( R()) R( ()) β1 β g ( β 1 ) ( β) ( g) j0 j ( )( ) = j ( j0) ( j) ( j) p ρ, j p for ay object of, ay j ad ay 0. Prosto The caocal morphsm of fuctors characterzed by the fact that q j () j for ay object of ad ay duces a caocal morphsm () : lm lm j q q ( ) = q j j R lm R lm. Moreover, f has exact products, the dagram R lm ( ) R (,) R (,) j s commutatve for ay object of. R lm ( )( j) R (, ( ))

35 o Derved Lmts Quas-Abela Categores 33 Proof. By a well-kow procedure of homologcal algebra, the caocal morphsm q( ) : lm lm j duces a caocal morphsm Sce the fuctor j j R lm R lm R. s exact, we get the caocal morphsm R lm R lm. Assumg has exact products, we may vsualze the costructo of ths morphsm the followg way. Cosder a object of. We kow that s a lm-acyclc resoluto of. The fuctor beg exact, we have the somor- phsm D ( ). Sce s a lm-acyclc resoluto of ( ), j ɛ( ) : R ( ) ( ɛ( )) : ( ) ( R( )) ɛ( ( )) : ( ) R( ( )) 1 ɛ( ( )) ( ( ɛ( ))) : ( R( )) R ( ( )) s a lm-acyclc resoluto of ( ( )). Moreover, the dagram j R ( ɛ ( )) ρ (,) ( R( )) R ( ( )) k 5 k k k k k 5u k kk k k k k k k ɛ ( ( )) k ( ) of D ( ) beg commutatve, we have 1 ɛ( ( )) ( ( ɛ( ))) = ρ(, ). Hece, the caocal morphsm R lm ( ) R lm ( )( j) j

36 34 Fabee Prosmas s gve by the commutatve dagram j R lm ( ) R lm ( )( ) j q ( R ( )) j lm R( )( ) lm ( R ( ))( j) lm R( ( ))( j) lm ρ (,)( j) j j Sce a drect computato shows that the dagram q ( R ( )) lm ρ (,)( j) j lm R( )( ) lm ( R ( ))( j) lm R( ( ))( j) j j R (,) R (,) R (, ( )) s commutatve, the cocluso follows. 3.5 Dual results for the ductve lmt fuctor ths secto wll deote a small category ad a quas-abela category wth croducts. By dualty, the results ad costructos the precedg sectos ca be easly adapted to derve the fuctor lm :. We wll ot do ths explctly here. However, the rest of ths paper, we wll eed to work wth the derved fuctor of lm :. To avod cofusos, we wll fx below the otatos used ths case. The fuctor R (,) : C ( ) s defed by ad the dfferetal s gve by R (,)=( R (, )) R (,) 1 =( R (,) ) d d.

37 Derved Lmts Quas-Abela Categores 35 f f : s a morphsm of, the R (,) 0 b( ) R (,f)=( R (,f )). As Prosto 3.2.3, there s a caocal somorphsm The fuctor s defed by ad the dfferetal s gve by ɛ 0(,) : coker d lm ( ). R ( ) 1 =( R ( ) ) R(): C ( ) R( ) = ( R ( )) d d. f f : s a morphsm of, the R( f) = ( R ( f )). As Prosto 3.2.8, there s a caocal somorphsm ɛ( ) : R( ) D ( ). For ay 0, there s a object S ( ) of such that R ( ) ( S ( )). Moreover, there s a caocal somorphsm R (,) lm R ( )( ) C ( ). Therefore, as Prostos ad 3.3.4, f fuctor lm : s left dervable ad we have L lm ( ) R (,. ) has exact croducts, the

38 36 Fabee Prosmas f : s a fuctor betwee small categores, the we defe the morphsm of fuctors ρ(, ): R( ()) ( R()) of as the mage of ρ(,) by the adjucto by settg ρ (,) = ( ρ(, )). For ay 0, we defe the morphsm ρ (,) : ( R ( ( ))) R ( ) Hom ( R ( ( )), ( R ( ))) Hom ( ( R ( ( ))),R ( )) The morphsms ρ (,) duce a morphsm of fuctors ρ (, ) : ( R( ())) R (). 3.6 Relatos betwee RHom ad derved lmts Defto Let be a small category ad let be a quas-abela category. Cosder a object Xof. We defe the fuctor the followg way: at the level of objects, f s a object of, we set Hom ( X, ) : Ab Hom ( X, Y )( ) = Hom ( X, Y ( )) for ay object of. f α : j s a morphsm of, Y s defed by Hom ( X, Y )( α) : Hom ( X, Y ( )) Hom ( X, Y ( j)) for ay f Hom ( X,Y( )). Hom ( X, Y )( α)( f) = Hom ( X, Y ( α))( f) = Y ( α) f At the level of morphsms, f : s a morphsm of, F Y Y Hom ( X, F ) : Hom ( X, Y ) Hom ( X, Y ) s defed by Hom ( X, F )( ) = Hom ( X, F ( )) for ay. Dually, we defe also the fuctor Hom (,X) : ( ) Ab.

39 Derved Lmts Quas-Abela Categores 37 Lemma Let be a small category ad let be a quas-abela category. () For ay object X of ad ay object of, we have Hom ( X, R (, )) R (, Hom ( X, )). () For ay object of ad ay object of, we have X Hom ( R (, ),X) R (, Hom (,X )). Proof. Ths follows drectly from the deftos. Prosto Let be a small category ad let be a quas-abela category X wth eough jectve objects. For ay object of ad ay object of, we have ad RHom (L lm,x ( ) ) R lm(rhom (,X))( ) 0 1 RHom ( X, R lm ( )) R lm(rhom ( X, ))( ). Proof. Frst, recall that sce has eough jectve objects, croducts are exact. Hece, the ductve lmt fuctor s left dervable. Let 0 be a jectve resoluto of X. oe had, RHom (L lm ( ),X) s gve by the smple complex assocated to Hom ( R (, ), ) Hom ( R (, ), ) Ths complex s somorphc to the smple complex assocated to R (, Hom (, )) R (, Hom (, )) the other had, RHom (,X) s gve by the complex Hom (, ) Hom (, ) Therefore, R lm(rhom (,X))( ) s somorphc to the smple complex assocated to R lm Hom (, )( ) R lm Hom (, )( )

40 38 Fabee Prosmas Sce for ay l l b( ) of such that for l 0, S s a jectve object of. oe had, sce lm Hom ( X, Π( S ))( ) Hom ( X, lm Π( S )( )) l Hom ( X, S ( )) Hom ( X, S ( )) Hom ( X, S ( )) Ths complex s somorphc to the complex S ( ) S ( ) l R lm Hom (, )( ) R (, Hom (, )), the frst somorphsm s establshed. Next, we kow that has a jectve resoluto of the form l 0 Π( S ) Π( S ) Hom ( X, Π( S )) Π Hom ( X, S ) ad sce projectve systems of product type are lm-acyclc, by composto of the derved fuctors, we have R lm(rhom ( X, ))( ) R(lm Hom ( X, )( )). Hece, R lm(rhom ( X, ))( ) s somorphc to the complex lm Hom ( X, Π( S ))( ) lm Hom ( X, Π( S ))( ) Moreover, for ay l 0, we get l 0 1 Hece, R lm(rhom ( X, ))( ) s gve by the complex the other had, R lm ( ) s gve by the complex 0 lm Π( S )( ) lm Π( S )( ) l l l

41 Derved Lmts Quas-Abela Categores 39 Sce the product of jectve objects s a jectve object, the last complex s a jectve resoluto of R lm ( ). Therefore, RHom ( X, R lm ( )) s somorphc to the complex ad the cocluso follows Hom ( X, S ( )) Hom ( X, S ( )) D R, Prosto Let be a small category ad let be a quas-abela category wth exact products. Cosder a object of. f for ay object X of, Hom ( X, ) s lm-acyclc, the s lm-acyclc. Proof. Cosder X b( ). We kow that R lm Hom ( X, )( ) R (, Hom ( X, )) Hom ( X, R (, )). Sce Hom ( X, ) s lm-acyclc, we have Hom ( X, R (, )) lm Hom ( X, )( ) Hom ( X, lm ( )). Therefore, the complex Hom ( X, R (, )) s exact degree k = 0 for ay X b( ). Hece, Remark shows that R (,) s strctly exact degree k = 0. t follows that R (,) lm ( ) ( ). Sce R lm ( ) ( ), we get R lm ( ) lm. ( ) 4 Derved lmts ad the symbolc-hom fuctor 4.1 The symbolc-hom fuctor ths secto, wll deote a small category ad a complete addtve category.

42 40 Fabee Prosmas Defto We deote by b A the symbolc-hom fuctor. For ay object M of Ab ad ay object of, the object [ M, ] of s characterzed by Ab [, ] : ( A b ) X Hom ( X, [ M, ] ) Hom ( M, h ) X b( ). f s the oe pot category, the [, ] wll be deoted by [, ] : A b. ths case, for ay abela group M ad ay object of, the object [ M,] of s characterzed by Hom ( X, [ M, ]) Hom ( M, Hom ( X, )) X b( ). Let us recall the followg easy formulas: Prosto () For ay object of, we have [ Z,]. () For ay object M of Ab ad ay object of, we have [lm M, ( ) ] lm[ M,. ( ) ] () For ay abela group M ad ay object of, we have [ M, lm ( )] lm[ M, ( )]. 4.2 Dervato of the symbolc-hom fuctor ths secto, wll deote a small category. Lemma Let be a quas-abela category wth exact products. f P s a projectve abela group, the the fuctor [ P, ] : s exact.

43 Derved Lmts Quas-Abela Categores 41 Proof. Frst, let us prove the result whe P s a free abela group,.e., ( ) P = Z = Z. Cosder a strctly exact sequece of. Sce for ay object of, ( ) [ Z,] [ Z,] 0 [ Z, ] [ Z,] [ Z, ] 0 ( ) [ Z, ] [(ker q) P, ] [ker q, ] [ P, ]. ( ) The fuctor [ Z,] beg exact, the fuctor [ P, ] s also exact. Lemma Let be a complete addtve category. b( ) () For ay object S of Ab ad ay object of,we have [ ( S, ) ] [ S, ( )] [ S, () ()]. ( ) ( ) ( ) b( ) b( ) () For ay object M of Ab ad ay object S of, we have [ M, Π( S)] [( M ),S] [ M( ),S( )]. 0 0 ad sce products are exact, the sequece s exact. Next, cosder a projectve abela group P. We kow that there s a exact sequece ( ) q 0 ker q Z P 0. Sce P s projectve, ths sequece splts ad we have b( ) Proof. () Let X be a object of. Frst, we have Hom ( X, [ ( S ), ] ) Hom Ab ( ( S ), hx ) Hom Abb( ) ( S, ( hx )) (*) Hom Abb( ) ( S, hx ( )) Hom ( X, [ S, ( )] ), b( )

44 42 Fabee Prosmas where the somorphsm (*) follows from Prosto Next, we get Hom ( X, [ S, ( )] b( ) ) Hom Abb( ) ( S, hx ( )) Hom Ab( S, ( ) Hom ( X, ( ))) Hom ( X, [ S( ), ( )]) Hom ( X, [ S( ), ( )]). () Let X be a object of. oe had, we have successvely the other had, we get Hom ( X, [ M, Π( S)] ) Hom Ab ( M, hx Π( S)) Hom b A ( M, Π( hx S)) Hom Abb( ) (( M,h ) X S) Hom ( X, [( M ), S ] ). b( ) Hom ( X, [( M ), S] b( ) ) Hom Abb( ) (( M ), hx S) Hom ( M, ( ) Hom ( X,S ( ))) Ab Hom ( X, [ M( ), S( )]) Hom ( X, [ M( ), S( )]). Lemma Let be a quas-abela category wth exact products. f P s a projectve object of Ab, the the fuctor [ P, ] : s exact. Proof. Frst, let us prove the result whe P = ( S) where S s a projectve object b( ) of Ab. Cosder a strctly exact sequece 0 0

45 Derved Lmts Quas-Abela Categores 43 of. Sce for ay, S( ) s projectve, by Lemma 4.2.1, the fuctor s exact. Moreover, sce for ay object of, [ ( S, ) ] [ S, ( ) ( )] b( ) S b P Prosto Let be a quas-abela category wth exact products. The fuctor [, ] : ( A b ) q [ S, ( ) ] : ad sce products are exact, the sequece 0 [ ( S, ) ] [ ( S, ) ] [ ( S, ) ] 0 s exact. Next, cosder a projectve object P of Ab. We kow that there s a epmorphsm q : ( S) P where s a projectve object of A. Sce s projectve, the exact sequece splts ad we have 0 ker q ( S) P 0 [ ( S, ) ] [(ker q) P, ] [ker q, ] [ P, ]. The fuctor [ ( S, ) ] beg exact, the fuctor [ P, ] s also exact. has a rght derved fuctor R[, ] :( D ( A b )) D ( ) D ( ). Proof. Let us show that f P s the full subcategory of projectve objects of Ab, the the par ( P, ) s [,] -acyclc. Frst, cosder a object P of P. Sce the fuctor [ P, ] : s exact, the category s [ P, ] -jectve. Next, cosder a object of b( ) ad let us show that P s [,] - projectve.

46 44 Fabee Prosmas () For ay object M of Ab, there s a projectve object P of Ab ad a epmorphsm P M. () f 0 P P P 0 s a exact sequece of Ab, where P ad P are two objects of P, the we kow that P s a object of P. () f 0 P P P 0 s a exact sequece of P, the t splts. t follows that the sequece 0 [ P,] [ P,] [ P,] 0 of splts ad that t s exact. Sce the fuctor [, ] s left exact, the cocluso follows from Prosto Lks wth the derved projectve lmt fuctor Lemma Let be a small category ad let be a complete addtve category. f Z : Ab s the costat fuctor whch assocates to ay the abela group Z, the for ay object of, we have Proof. For ay object X of, we have [ Z,] lm ( ). Hom Z b ( X, [, ] ) Hom A ( Z,hX ) lm( hx )( ) lm Hom ( X, ( )) Hom ( X, lm ( )). Prosto Let be a small category ad let be a quas-abela category M b S b( ) wth exact products. For ay object of A ad ay object of, we have R [ M, Π( S)] R [( M ), S ]. b( )

47 Derved Lmts Quas-Abela Categores 45 Proof. We kow that there s a projectve resoluto P of M Ab such that for ay 0 P = ( S ) b( ) where S s a projectve object of Ab. The, we have R [ M, Π( S)] [ P, Π( S)] [( P ), S] where the secod somorphsm follows from Lemma Sce for ay 0 ad ay, we have ( P )( ) = P ( ) = ( S )( ) = S ( j ), b( ) ( P ) s projectve Ab. The fuctor b( ) α j : b( ) beg exact, ( P) s a projectve resoluto of ( M). t follows that R [( M,S ) ] [( P ),S] b( ) b( ) R[ M, Π( S )]. Corollary Let be a small category ad let be a quas-abela category b( ) wth exact products. For ay object S of, we have R [ Z, Π( S )] [ Z, Π( S )]. Proof. b( ) The object ( Z ) of Ab s projectve sce for ay, ( Z )( ) = Z ( ) = Z. t follows that R [ Z, Π( S )] R [( Z ),S] b( ) [( Z ),S] [ Z, Π( S)] b( ) where the last somorphsm follows from Lemma

48 46 Fabee Prosmas Prosto Let be a small category ad let be a quas-abela category wth exact products. The, the fuctor lm : s rght dervable ad for ay object of, we have Proof. R lm ( ) R [ Z, ]. Frst, let us remark that, sce the fuctor s left exact, we have for a object of, f ad oly f Next, let us show that the famly s lm-jectve. k [, ] : ( A b ) R[ Z,] [ Z,] LH R[ Z, ] 0 k > 0. F = { b( ) : R [ Z,] [ Z,] } () Let be a object of. By Prosto 2.3.2, there s a strct moomorphsm Π(( )) ad by Corollary 4.3.3, Π(( )) belogs to F. () Cosder a strctly exact sequece 0 0 of where ad belog to F. Ths sequece gves rse to the log exact sequece Z, Z, Z, 0 [ ] [ ] [ ] D BC Z Z Z LH R[, ] LH R[, ] LH R[, ] Z Z Z LH R[, ] LH R[, ] LH R[, ] D BC

49 Derved Lmts Quas-Abela Categores 47 of C ( ). Sce ad are objects of F, k k LH R[ Z, ] = LH R[ Z, ] =0 k > 0 ad t follows that k LH R[ Z, ] =0 k > 0. Hece, belogs to F. Moreover, by Lemma 4.3.1, for ay object of, we have [ Z,] lm ( ), so the precedg log exact sequece shows that the sequece 0 lm ( ) lm ( ) lm ( ) 0 s exact. Cosequetly, Fs lm-jectve ad the fuctor lm : s rght dervable. t follows from Prosto that ay object of has a resoluto by projectve systems of product type. Assume that for ay, s of the form Π( S ). The, for ay 0, we have [ Z, Π( S )] R[ Z, ] R[ Z, Π( S )] [ Z, ]. t follows that Therefore, we get R[ Z, ] [ Z, ]. R lm ( ) lm ( ) [ Z, ] R[ Z, ] R[ Z,] where the frst somorphsm follows from the frst part of the proof ad the secod from Lemma

50 o o 48 Fabee Prosmas Prosto Let be a small category ad let be a quas-abela category wth exact products. The, for ay object of, we have a caocal somorphsm R (,) [ R ( Z ),] C ( ) makg the dagram R lm ( ) R [ Z,] R (,) [ R ( Z ),] commutatve. Proof. For ay object of Ab ad ay 0, we have the cha of somorphsms Hom ( R ( Z ),) Hom ( ( S ( Z )),) Ab Ab Hom Abb( ) ( S ( Z), ( )) Hom ( S ( Z )( ), ( )( )) 0 0 α1 0 α1 0 Ab α Ab α Hom ( Z ( ),( )) R (, ). α ( ) α Hom ( Z,( )) Ab 0 0 A drect computato shows that these somorphsms are compatble wth the dfferetals. Hece, we have Hom ( R ( Z ),) R (, ).

51 Derved Lmts Quas-Abela Categores 49 The, for ay object of ad ay object X of, we have successvely Hom ( X, [ R ( Z ), ] ) Hom ( R ( Z ), h ) t follows that ad that Sce Ab X R (,hx ) Hom ( X, ( 0)) α1 α 0 Hom ( X, ( 0)) α1 α 0 Hom ( X, R (, )). [ R ( Z ),] R (,) [ R ( Z ),] R (, ). ad S( Z)( 0) Z( ), α1 α 0 t follows from the dual of Prosto that R( Z) s a projectve object of Ab. Together wth the fact that R ( Z) s a resoluto of Z, ths explas the secod vertcal somorphsm of the dagram our statemet. The commutatvty of the dagram follows drectly from the costructo of the varous morphsms. 4.4 dex restrcto R ( Z ) ( S ( Z )) Prosto Let be a complete addtve category ad let : be a fuctor betwee small categores. For ay object M of Ab ad ay object of,wehave [ ( M ),] [ M, ( )]. Proof. Ths somorphsm follows from Prosto As a matter of fact, for ay object X of, we have successvely Hom ( X, [ ( M ),] ) Hom Ab ( ( M ),hx ) Hom Ab ( M, ( hx )) Hom Ab ( M, hx ( )) Hom ( X, [ M, ( )] ).

52 50 Fabee Prosmas Lemma Let be a cocomplete category ad let : be a fuctor betwee two small categores. f P s a projectve object of, the ( P) s a projectve object of. Proof. Cosder a strctly exact sequece of. Sce s exact ad sce s projectve, the sequece Prosto Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. For ay object M of Ab ad ay object of, we have [ ] R[ L ( M ), ] R M, ( ). P Hom ( P, ( )) Hom ( P, ( )) Hom ( P, ( )) s exact. The cocluso follows from Prosto Proof. f P s a projectve resoluto of M, the we have successvely [ ] R M, ( ) [ P, ( )] [ ( P ),] R[ ( P ),] R[ L ( M ), ]. Prosto Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. The caocal somorphsm commutatve D ( Ab ). L d : Z ( Z ) = Z w : L ( Z ) Z ( Z ) duces by adjucto a caocal morphsm whch makes the dagram w Z Z ρ (, ) Z Z Z ɛ ( ) ( R( ( ))) R( )

53 # # o o Derved Lmts Quas-Abela Categores 51 Proof. Recall that w s the composto of ad the morphsm Z Z Z Z Z ( ɛ ( )) u : L ( Z ) ( Z ), v : ( Z ) Z defed as the mage of d : Z ( Z ) = Z by the adjucto Sce R( Z ) s a projectve resoluto of Z, we have D ( Ab ). Cosder the dagram ( R( ( Z ))) ( R( Z )) L ( Z ) Z ρ (, ) Z Z ( Z ) Hom (, ( )) Hom ( ( ), ). ( R( )) R( ) L w Z Z ɛ ( ) u Z [ ] R Z, ( ) R lm ( )( j) Z Z ( ɛ ( )) ɛ ( ) ρ (, ) Z Z s commutatve C ( Ab ) ad the cocluso follows. Prosto Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. The, for ay object of, the caocal dagram R [ Z,] R lm ( ) R[ w,] ( Z ) R[ L ( Z ), ] ( Z ) t follows from the costructo of w that the lower square s commutatve. Sce a drect computato shows that the dagram v v Z j Z ( R( )) R( )

54 z o :z d$ $ o o o o o o { ;{ c# # 52 Fabee Prosmas s commutatve. Proof. Cosder the followg dagram: R [ Z,] R lm ( ) (3) (2) [ R ( Z ),] R (,) w ww w ww w ww w ww w ww w ww R [ L ( Z ),] [ ( R ( Z )),] (1) (6) u uu u uu (4) u uu u uu [ R ( Z ), ( )] R (, ( )) u uu u [ uu G G ] R Z, ( ) R lm ( )( j) Lemma Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. For ay object of, the caocal dagram s commutatve D ( ). u uu u uu R [ L ( Z ),] [ ( R ( Z )),] (5) Z R[ w,] [ ρ (, ),] R[ Z,] [ R ( Z ),] G G G G G G G G G G G G G G G G G Clearly, the result wll be establshed f we prove that the subdagrams (1) (6) commute. We kow already from Prosto that dagram (6) commutes. Moreover, Prosto shows that dagrams (2) ad (5) are also commutatve. Sce the commutatvty of (1), (3) ad (4) follows from the lemmas below, the proof s complete. G G j Proof. Sce R( Z ) s a projectve resoluto of Z, we have R[ Z,] [ R ( Z ),].

55 o o o o Derved Lmts Quas-Abela Categores 53 Moreover, usg Lemma 4.4.2, we see that R[ L ( Z ),] R[ ( R ( Z )),] [ ( R ( Z )),]. Ths explas the horzotal somorphsm. Now, cosder the dagram R[ L ( ),] R[ ( R ( )),] [ ( R ( )),] Z oo Z Z [ ] R Z, ( ) [ R ( Z ), ( )] Z R[ w,] (1) R[ ρ (, ),] (2) [ ρ (, ),] R[ Z,] oo R[ R ( Z ),] [ R ( Z ),] By Prosto 4.4.4, the square (1) s commutatve. The square (2) beg clearly commutatve, the cocluso follows. Lemma Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. For ay object of, the caocal dagram Z s commutatve D ( ). R [ L ( Z ),] [ ( R ( Z )),] Proof. Ths follows drectly from the costructo the proof of Prosto f oe keeps md that R( Z ) s a projectve resoluto of Z. Lemma Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. For ay object of, the dagram [ R ( Z ),] R (,) Z [ ρ (, ),] [ ( R ( Z )),] R (,) s commutatve C ( ). [ R ( Z ), ( )] R (, ( ))

CHAPTER 4 RADICAL EXPRESSIONS

CHAPTER 4 RADICAL EXPRESSIONS 6 CHAPTER RADICAL EXPRESSIONS. The th Root of a Real Number A real umber a s called the th root of a real umber b f Thus, for example: s a square root of sce. s also a square root of sce ( ). s a cube

More information

1 Onto functions and bijections Applications to Counting

1 Onto functions and bijections Applications to Counting 1 Oto fuctos ad bectos Applcatos to Coutg Now we move o to a ew topc. Defto 1.1 (Surecto. A fucto f : A B s sad to be surectve or oto f for each b B there s some a A so that f(a B. What are examples of

More information

arxiv: v2 [math.ag] 9 Jun 2015

arxiv: v2 [math.ag] 9 Jun 2015 THE EULER CHARATERISTIC OF THE GENERALIZED KUMMER SCHEME OF AN ABELIAN THREEFOLD Mart G. Gulbradse Adrea T. Rcolf arxv:1506.01229v2 [math.ag] 9 Ju 2015 Abstract Let X be a Abela threefold. We prove a formula,

More information

Entropy ISSN by MDPI

Entropy ISSN by MDPI Etropy 2003, 5, 233-238 Etropy ISSN 1099-4300 2003 by MDPI www.mdp.org/etropy O the Measure Etropy of Addtve Cellular Automata Hasa Aı Arts ad Sceces Faculty, Departmet of Mathematcs, Harra Uversty; 63100,

More information

arxiv: v2 [math.rt] 28 Jan 2013

arxiv: v2 [math.rt] 28 Jan 2013 Fuso procedure for wreath products of fte groups by the symmetrc group L. Poula d Adecy arxv:30.4399v2 [math.rt] 28 Ja 203 Mathematcs Laboratory of Versalles (CNRS UMR 800, Versalles-Sat-Quet Uversty,

More information

On the Primitive Classes of K * KHALED S. FELALI Department of Mathematical Sciences, Umm Al-Qura University, Makkah Al-Mukarramah, Saudi Arabia

On the Primitive Classes of K * KHALED S. FELALI Department of Mathematical Sciences, Umm Al-Qura University, Makkah Al-Mukarramah, Saudi Arabia JKAU: Sc., O vol. the Prmtve, pp. 55-62 Classes (49 of A.H. K (BU) / 999 A.D.) * 55 O the Prmtve Classes of K * (BU) KHALED S. FELALI Departmet of Mathematcal Sceces, Umm Al-Qura Uversty, Makkah Al-Mukarramah,

More information

Econometric Methods. Review of Estimation

Econometric Methods. Review of Estimation Ecoometrc Methods Revew of Estmato Estmatg the populato mea Radom samplg Pot ad terval estmators Lear estmators Ubased estmators Lear Ubased Estmators (LUEs) Effcecy (mmum varace) ad Best Lear Ubased Estmators

More information

DIFFERENTIAL GEOMETRIC APPROACH TO HAMILTONIAN MECHANICS

DIFFERENTIAL GEOMETRIC APPROACH TO HAMILTONIAN MECHANICS DIFFERENTIAL GEOMETRIC APPROACH TO HAMILTONIAN MECHANICS Course Project: Classcal Mechacs (PHY 40) Suja Dabholkar (Y430) Sul Yeshwath (Y444). Itroducto Hamltoa mechacs s geometry phase space. It deals

More information

Arithmetic Mean and Geometric Mean

Arithmetic Mean and Geometric Mean Acta Mathematca Ntresa Vol, No, p 43 48 ISSN 453-6083 Arthmetc Mea ad Geometrc Mea Mare Varga a * Peter Mchalča b a Departmet of Mathematcs, Faculty of Natural Sceces, Costate the Phlosopher Uversty Ntra,

More information

ON THE LOGARITHMIC INTEGRAL

ON THE LOGARITHMIC INTEGRAL Hacettepe Joural of Mathematcs ad Statstcs Volume 39(3) (21), 393 41 ON THE LOGARITHMIC INTEGRAL Bra Fsher ad Bljaa Jolevska-Tueska Receved 29:9 :29 : Accepted 2 :3 :21 Abstract The logarthmc tegral l(x)

More information

2. Independence and Bernoulli Trials

2. Independence and Bernoulli Trials . Ideedece ad Beroull Trals Ideedece: Evets ad B are deedet f B B. - It s easy to show that, B deedet mles, B;, B are all deedet ars. For examle, ad so that B or B B B B B φ,.e., ad B are deedet evets.,

More information

1 Lyapunov Stability Theory

1 Lyapunov Stability Theory Lyapuov Stablty heory I ths secto we cosder proofs of stablty of equlbra of autoomous systems. hs s stadard theory for olear systems, ad oe of the most mportat tools the aalyss of olear systems. It may

More information

v 1 -periodic 2-exponents of SU(2 e ) and SU(2 e + 1)

v 1 -periodic 2-exponents of SU(2 e ) and SU(2 e + 1) Joural of Pure ad Appled Algebra 216 (2012) 1268 1272 Cotets lsts avalable at ScVerse SceceDrect Joural of Pure ad Appled Algebra joural homepage: www.elsever.com/locate/jpaa v 1 -perodc 2-expoets of SU(2

More information

Ordinary Least Squares Regression. Simple Regression. Algebra and Assumptions.

Ordinary Least Squares Regression. Simple Regression. Algebra and Assumptions. Ordary Least Squares egresso. Smple egresso. Algebra ad Assumptos. I ths part of the course we are gog to study a techque for aalysg the lear relatoshp betwee two varables Y ad X. We have pars of observatos

More information

1 Mixed Quantum State. 2 Density Matrix. CS Density Matrices, von Neumann Entropy 3/7/07 Spring 2007 Lecture 13. ψ = α x x. ρ = p i ψ i ψ i.

1 Mixed Quantum State. 2 Density Matrix. CS Density Matrices, von Neumann Entropy 3/7/07 Spring 2007 Lecture 13. ψ = α x x. ρ = p i ψ i ψ i. CS 94- Desty Matrces, vo Neuma Etropy 3/7/07 Sprg 007 Lecture 3 I ths lecture, we wll dscuss the bascs of quatum formato theory I partcular, we wll dscuss mxed quatum states, desty matrces, vo Neuma etropy

More information

Qualifying Exam Statistical Theory Problem Solutions August 2005

Qualifying Exam Statistical Theory Problem Solutions August 2005 Qualfyg Exam Statstcal Theory Problem Solutos August 5. Let X, X,..., X be d uform U(,),

More information

A Characterization of Jacobson Radical in Γ-Banach Algebras

A Characterization of Jacobson Radical in Γ-Banach Algebras Advaces Pure Matheatcs 43-48 http://dxdoorg/436/ap66 Publshed Ole Noveber (http://wwwscrporg/joural/ap) A Characterzato of Jacobso Radcal Γ-Baach Algebras Nlash Goswa Departet of Matheatcs Gauhat Uversty

More information

PGE 310: Formulation and Solution in Geosystems Engineering. Dr. Balhoff. Interpolation

PGE 310: Formulation and Solution in Geosystems Engineering. Dr. Balhoff. Interpolation PGE 30: Formulato ad Soluto Geosystems Egeerg Dr. Balhoff Iterpolato Numercal Methods wth MATLAB, Recktewald, Chapter 0 ad Numercal Methods for Egeers, Chapra ad Caale, 5 th Ed., Part Fve, Chapter 8 ad

More information

A Primer on Summation Notation George H Olson, Ph. D. Doctoral Program in Educational Leadership Appalachian State University Spring 2010

A Primer on Summation Notation George H Olson, Ph. D. Doctoral Program in Educational Leadership Appalachian State University Spring 2010 Summato Operator A Prmer o Summato otato George H Olso Ph D Doctoral Program Educatoal Leadershp Appalacha State Uversty Sprg 00 The summato operator ( ) {Greek letter captal sgma} s a structo to sum over

More information

On the construction of symmetric nonnegative matrix with prescribed Ritz values

On the construction of symmetric nonnegative matrix with prescribed Ritz values Joural of Lear ad Topologcal Algebra Vol. 3, No., 14, 61-66 O the costructo of symmetrc oegatve matrx wth prescrbed Rtz values A. M. Nazar a, E. Afshar b a Departmet of Mathematcs, Arak Uversty, P.O. Box

More information

Polyphase Filters. Section 12.4 Porat

Polyphase Filters. Section 12.4 Porat Polyphase Flters Secto.4 Porat .4 Polyphase Flters Polyphase s a way of dog saplg-rate coverso that leads to very effcet pleetatos. But ore tha that, t leads to very geeral vewpots that are useful buldg

More information

Probabilistic Meanings of Numerical Characteristics for Single Birth Processes

Probabilistic Meanings of Numerical Characteristics for Single Birth Processes A^VÇÚO 32 ò 5 Ï 206 c 0 Chese Joural of Appled Probablty ad Statstcs Oct 206 Vol 32 No 5 pp 452-462 do: 03969/jss00-426820605002 Probablstc Meags of Numercal Characterstcs for Sgle Brth Processes LIAO

More information

On generalized fuzzy mean code word lengths. Department of Mathematics, Jaypee University of Engineering and Technology, Guna, Madhya Pradesh, India

On generalized fuzzy mean code word lengths. Department of Mathematics, Jaypee University of Engineering and Technology, Guna, Madhya Pradesh, India merca Joural of ppled Mathematcs 04; (4): 7-34 Publshed ole ugust 30, 04 (http://www.scecepublshggroup.com//aam) do: 0.648/.aam.04004.3 ISSN: 330-0043 (Prt); ISSN: 330-006X (Ole) O geeralzed fuzzy mea

More information

STK3100 and STK4100 Autumn 2017

STK3100 and STK4100 Autumn 2017 SK3 ad SK4 Autum 7 Geeralzed lear models Part III Covers the followg materal from chaters 4 ad 5: Sectos 4..5, 4.3.5, 4.3.6, 4.4., 4.4., ad 4.4.3 Sectos 5.., 5.., ad 5.5. Ørulf Borga Deartmet of Mathematcs

More information

3D Geometry for Computer Graphics. Lesson 2: PCA & SVD

3D Geometry for Computer Graphics. Lesson 2: PCA & SVD 3D Geometry for Computer Graphcs Lesso 2: PCA & SVD Last week - egedecomposto We wat to lear how the matrx A works: A 2 Last week - egedecomposto If we look at arbtrary vectors, t does t tell us much.

More information

On Fuzzy Arithmetic, Possibility Theory and Theory of Evidence

On Fuzzy Arithmetic, Possibility Theory and Theory of Evidence O Fuzzy rthmetc, Possblty Theory ad Theory of Evdece suco P. Cucala, Jose Vllar Isttute of Research Techology Uversdad Potfca Comllas C/ Sata Cruz de Marceado 6 8 Madrd. Spa bstract Ths paper explores

More information

Statistics Descriptive and Inferential Statistics. Instructor: Daisuke Nagakura

Statistics Descriptive and Inferential Statistics. Instructor: Daisuke Nagakura Statstcs Descrptve ad Iferetal Statstcs Istructor: Dasuke Nagakura (agakura@z7.keo.jp) 1 Today s topc Today, I talk about two categores of statstcal aalyses, descrptve statstcs ad feretal statstcs, ad

More information

Computational Geometry

Computational Geometry Problem efto omputatoal eometry hapter 6 Pot Locato Preprocess a plaar map S. ve a query pot p, report the face of S cotag p. oal: O()-sze data structure that eables O(log ) query tme. pplcato: Whch state

More information

On the characteristics of partial differential equations

On the characteristics of partial differential equations Sur les caractérstques des équatos au dérvées artelles Bull Soc Math Frace 5 (897) 8- O the characterstcs of artal dfferetal equatos By JULES BEUDON Traslated by D H Delhech I a ote that was reseted to

More information

12.2 Estimating Model parameters Assumptions: ox and y are related according to the simple linear regression model

12.2 Estimating Model parameters Assumptions: ox and y are related according to the simple linear regression model 1. Estmatg Model parameters Assumptos: ox ad y are related accordg to the smple lear regresso model (The lear regresso model s the model that says that x ad y are related a lear fasho, but the observed

More information

(b) By independence, the probability that the string 1011 is received correctly is

(b) By independence, the probability that the string 1011 is received correctly is Soluto to Problem 1.31. (a) Let A be the evet that a 0 s trasmtted. Usg the total probablty theorem, the desred probablty s P(A)(1 ɛ ( 0)+ 1 P(A) ) (1 ɛ 1)=p(1 ɛ 0)+(1 p)(1 ɛ 1). (b) By depedece, the probablty

More information

Complete Convergence for Weighted Sums of Arrays of Rowwise Asymptotically Almost Negative Associated Random Variables

Complete Convergence for Weighted Sums of Arrays of Rowwise Asymptotically Almost Negative Associated Random Variables A^VÇÚO 1 32 ò 1 5 Ï 2016 c 10 Chese Joural of Appled Probablty ad Statstcs Oct., 2016, Vol. 32, No. 5, pp. 489-498 do: 10.3969/j.ss.1001-4268.2016.05.005 Complete Covergece for Weghted Sums of Arrays of

More information

3. Basic Concepts: Consequences and Properties

3. Basic Concepts: Consequences and Properties : 3. Basc Cocepts: Cosequeces ad Propertes Markku Jutt Overvew More advaced cosequeces ad propertes of the basc cocepts troduced the prevous lecture are derved. Source The materal s maly based o Sectos.6.8

More information

Homework 1: Solutions Sid Banerjee Problem 1: (Practice with Asymptotic Notation) ORIE 4520: Stochastics at Scale Fall 2015

Homework 1: Solutions Sid Banerjee Problem 1: (Practice with Asymptotic Notation) ORIE 4520: Stochastics at Scale Fall 2015 Fall 05 Homework : Solutos Problem : (Practce wth Asymptotc Notato) A essetal requremet for uderstadg scalg behavor s comfort wth asymptotc (or bg-o ) otato. I ths problem, you wll prove some basc facts

More information

Sufficiency in Blackwell s theorem

Sufficiency in Blackwell s theorem Mathematcal Socal Sceces 46 (23) 21 25 www.elsever.com/locate/ecobase Suffcecy Blacwell s theorem Agesza Belsa-Kwapsz* Departmet of Agrcultural Ecoomcs ad Ecoomcs, Motaa State Uversty, Bozema, MT 59717,

More information

ON THE STRUCTURE OF THE SPREADING MODELS OF A BANACH SPACE

ON THE STRUCTURE OF THE SPREADING MODELS OF A BANACH SPACE ON THE STRUCTURE OF THE SPREADING MODELS OF A BANACH SPACE G. ANDROULAKIS, E. ODELL, TH. SCHLUMPRECHT, N. TOMCZAK-JAEGERMANN Abstract We study some questos cocerg the structure of the set of spreadg models

More information

Limiting Distributions of Scaled Eigensections in a GIT-Setting

Limiting Distributions of Scaled Eigensections in a GIT-Setting Lmtg Dstrbutos of Scaled Egesectos a GIT-Settg Dssertato zur Erlagug des Doktorgrades der Naturwsseschafte a der Fakultät für Mathematk der Ruhr-Uverstät Bochum vorgelegt vo Dael Berger m Oktober 014 Cotets

More information

Increasing Kolmogorov Complexity

Increasing Kolmogorov Complexity Icreasg Kolmogorov Complexty Harry Buhrma Lace Fortow Ila Newma Nkola Vereshchag September 7, 2004 classfcato: Kolmogorov complexty, computatoal complexty 1 Itroducto How much do we have to chage a strg

More information

8.1 Hashing Algorithms

8.1 Hashing Algorithms CS787: Advaced Algorthms Scrbe: Mayak Maheshwar, Chrs Hrchs Lecturer: Shuch Chawla Topc: Hashg ad NP-Completeess Date: September 21 2007 Prevously we looked at applcatos of radomzed algorthms, ad bega

More information

Multiple Regression. More than 2 variables! Grade on Final. Multiple Regression 11/21/2012. Exam 2 Grades. Exam 2 Re-grades

Multiple Regression. More than 2 variables! Grade on Final. Multiple Regression 11/21/2012. Exam 2 Grades. Exam 2 Re-grades STAT 101 Dr. Kar Lock Morga 11/20/12 Exam 2 Grades Multple Regresso SECTIONS 9.2, 10.1, 10.2 Multple explaatory varables (10.1) Parttog varablty R 2, ANOVA (9.2) Codtos resdual plot (10.2) Trasformatos

More information

Debabrata Dey and Atanu Lahiri

Debabrata Dey and Atanu Lahiri RESEARCH ARTICLE QUALITY COMPETITION AND MARKET SEGMENTATION IN THE SECURITY SOFTWARE MARKET Debabrata Dey ad Atau Lahr Mchael G. Foster School of Busess, Uersty of Washgto, Seattle, Seattle, WA 9895 U.S.A.

More information

arxiv: v1 [math.st] 24 Oct 2016

arxiv: v1 [math.st] 24 Oct 2016 arxv:60.07554v [math.st] 24 Oct 206 Some Relatoshps ad Propertes of the Hypergeometrc Dstrbuto Peter H. Pesku, Departmet of Mathematcs ad Statstcs York Uversty, Toroto, Otaro M3J P3, Caada E-mal: pesku@pascal.math.yorku.ca

More information

( ) 2 2. Multi-Layer Refraction Problem Rafael Espericueta, Bakersfield College, November, 2006

( ) 2 2. Multi-Layer Refraction Problem Rafael Espericueta, Bakersfield College, November, 2006 Mult-Layer Refracto Problem Rafael Espercueta, Bakersfeld College, November, 006 Lght travels at dfferet speeds through dfferet meda, but refracts at layer boudares order to traverse the least-tme path.

More information

Channel Models with Memory. Channel Models with Memory. Channel Models with Memory. Channel Models with Memory

Channel Models with Memory. Channel Models with Memory. Channel Models with Memory. Channel Models with Memory Chael Models wth Memory Chael Models wth Memory Hayder radha Electrcal ad Comuter Egeerg Mchga State Uversty I may ractcal etworkg scearos (cludg the Iteret ad wreless etworks), the uderlyg chaels are

More information

Answer key to problem set # 2 ECON 342 J. Marcelo Ochoa Spring, 2009

Answer key to problem set # 2 ECON 342 J. Marcelo Ochoa Spring, 2009 Aswer key to problem set # ECON 34 J. Marcelo Ochoa Sprg, 009 Problem. For T cosder the stadard pael data model: y t x t β + α + ǫ t a Numercally compare the fxed effect ad frst dfferece estmates. b Compare

More information

Lecture 1. (Part II) The number of ways of partitioning n distinct objects into k distinct groups containing n 1,

Lecture 1. (Part II) The number of ways of partitioning n distinct objects into k distinct groups containing n 1, Lecture (Part II) Materals Covered Ths Lecture: Chapter 2 (2.6 --- 2.0) The umber of ways of parttog dstct obects to dstct groups cotag, 2,, obects, respectvely, where each obect appears exactly oe group

More information

MARKOV CHAINS. 7. Convergence to equilibrium. Long-run proportions. Part IB Michaelmas 2009 YMS. Proof. (a) state j we have π (i) P ) = π

MARKOV CHAINS. 7. Convergence to equilibrium. Long-run proportions. Part IB Michaelmas 2009 YMS. Proof. (a) state j we have π (i) P ) = π Part IB Mchaelmas 2009 YMS MARKOV CHAINS E-mal: yms@statslabcamacuk 7 Covergece to equlbrum Log-ru proportos Covergece to equlbrum for rreducble, postve recurret, aperodc chas ad proof by couplg Log-ru

More information

ECE 559: Wireless Communication Project Report Diversity Multiplexing Tradeoff in MIMO Channels with partial CSIT. Hoa Pham

ECE 559: Wireless Communication Project Report Diversity Multiplexing Tradeoff in MIMO Channels with partial CSIT. Hoa Pham ECE 559: Wreless Commucato Project Report Dversty Multplexg Tradeoff MIMO Chaels wth partal CSIT Hoa Pham. Summary I ths project, I have studed the performace ga of MIMO systems. There are two types of

More information

2006 Jamie Trahan, Autar Kaw, Kevin Martin University of South Florida United States of America

2006 Jamie Trahan, Autar Kaw, Kevin Martin University of South Florida United States of America SOLUTION OF SYSTEMS OF SIMULTANEOUS LINEAR EQUATIONS Gauss-Sedel Method 006 Jame Traha, Autar Kaw, Kev Mart Uversty of South Florda Uted States of Amerca kaw@eg.usf.edu Itroducto Ths worksheet demostrates

More information

HUYGENS S ENVELOPING-WAVE PRINCIPLE

HUYGENS S ENVELOPING-WAVE PRINCIPLE CONTRIBUTION TO THE THEORY OF HUYGENS S ENVELOPING-WAVE PRINCIPLE BY J. VAN MIEGHEM TRANSLATED BY D. H. DELPHENICH BRUSSELS PALAIS DES ACADEMIES RUE DUCAL, 96 TABLE OF CONTENTS INTRODUCTION FIRST CHAPTER

More information

Logistic regression (continued)

Logistic regression (continued) STAT562 page 138 Logstc regresso (cotued) Suppose we ow cosder more complex models to descrbe the relatoshp betwee a categorcal respose varable (Y) that takes o two (2) possble outcomes ad a set of p explaatory

More information

We have already referred to a certain reaction, which takes place at high temperature after rich combustion.

We have already referred to a certain reaction, which takes place at high temperature after rich combustion. ME 41 Day 13 Topcs Chemcal Equlbrum - Theory Chemcal Equlbrum Example #1 Equlbrum Costats Chemcal Equlbrum Example #2 Chemcal Equlbrum of Hot Bured Gas 1. Chemcal Equlbrum We have already referred to a

More information

Chapter 11 Systematic Sampling

Chapter 11 Systematic Sampling Chapter stematc amplg The sstematc samplg techue s operatoall more coveet tha the smple radom samplg. It also esures at the same tme that each ut has eual probablt of cluso the sample. I ths method of

More information

: At least two means differ SST

: At least two means differ SST Formula Card for Eam 3 STA33 ANOVA F-Test: Completely Radomzed Desg ( total umber of observatos, k = Number of treatmets,& T = total for treatmet ) Step : Epress the Clam Step : The ypotheses: :... 0 A

More information

Analysis of System Performance IN2072 Chapter 5 Analysis of Non Markov Systems

Analysis of System Performance IN2072 Chapter 5 Analysis of Non Markov Systems Char for Network Archtectures ad Servces Prof. Carle Departmet of Computer Scece U Müche Aalyss of System Performace IN2072 Chapter 5 Aalyss of No Markov Systems Dr. Alexader Kle Prof. Dr.-Ig. Georg Carle

More information

Risk management of hazardous material transportation

Risk management of hazardous material transportation Maagemet of atural Resources, Sustaable Developmet ad Ecologcal azards 393 Rs maagemet of hazardous materal trasportato J. Auguts, E. Uspuras & V. Matuzas Lthuaa Eergy Isttute, Lthuaa Abstract I recet

More information

( ) ( ) ( ( )) ( ) ( ) ( ) ( ) ( ) = ( ) ( ) + ( ) ( ) = ( ( )) ( ) + ( ( )) ( ) Review. Second Derivatives for f : y R. Let A be an m n matrix.

( ) ( ) ( ( )) ( ) ( ) ( ) ( ) ( ) = ( ) ( ) + ( ) ( ) = ( ( )) ( ) + ( ( )) ( ) Review. Second Derivatives for f : y R. Let A be an m n matrix. Revew + v, + y = v, + v, + y, + y, Cato! v, + y, + v, + y geeral Let A be a atr Let f,g : Ω R ( ) ( ) R y R Ω R h( ) f ( ) g ( ) ( ) ( ) ( ( )) ( ) dh = f dg + g df A, y y A Ay = = r= c= =, : Ω R he Proof

More information

Chapter 3. Linear Equations and Matrices

Chapter 3. Linear Equations and Matrices Vector Spaces Physcs 8/6/05 hapter Lear Equatos ad Matrces wde varety of physcal problems volve solvg systems of smultaeous lear equatos These systems of lear equatos ca be ecoomcally descrbed ad effcetly

More information

arxiv: v3 [math.ra] 17 May 2017

arxiv: v3 [math.ra] 17 May 2017 ON H-SIMPLE NOT NECESSARILY ASSOCIATIVE ALGEBRAS A. S. GORDIENKO arxv:508.03764v3 [math.ra] 7 May 207 Abstract. At frst glace the oto of a algebra wth a geeralzed H-acto may appear too geeral, however

More information

Recall MLR 5 Homskedasticity error u has the same variance given any values of the explanatory variables Var(u x1,...,xk) = 2 or E(UU ) = 2 I

Recall MLR 5 Homskedasticity error u has the same variance given any values of the explanatory variables Var(u x1,...,xk) = 2 or E(UU ) = 2 I Chapter 8 Heterosedastcty Recall MLR 5 Homsedastcty error u has the same varace gve ay values of the eplaatory varables Varu,..., = or EUU = I Suppose other GM assumptos hold but have heterosedastcty.

More information

On Signed Product Cordial Labeling

On Signed Product Cordial Labeling Appled Mathematcs 55-53 do:.436/am..6 Publshed Ole December (http://www.scrp.or/joural/am) O Sed Product Cordal Label Abstract Jayapal Baskar Babujee Shobaa Loaatha Departmet o Mathematcs Aa Uversty Chea

More information

Supplementary Material for Limits on Sparse Support Recovery via Linear Sketching with Random Expander Matrices

Supplementary Material for Limits on Sparse Support Recovery via Linear Sketching with Random Expander Matrices Joata Scarlett ad Volka Cever Supplemetary Materal for Lmts o Sparse Support Recovery va Lear Sketcg wt Radom Expader Matrces (AISTATS 26, Joata Scarlett ad Volka Cever) Note tat all ctatos ere are to

More information

For combinatorial problems we might need to generate all permutations, combinations, or subsets of a set.

For combinatorial problems we might need to generate all permutations, combinations, or subsets of a set. Addtoal Decrease ad Coquer Algorthms For combatoral problems we mght eed to geerate all permutatos, combatos, or subsets of a set. Geeratg Permutatos If we have a set f elemets: { a 1, a 2, a 3, a } the

More information

Statistics MINITAB - Lab 5

Statistics MINITAB - Lab 5 Statstcs 10010 MINITAB - Lab 5 PART I: The Correlato Coeffcet Qute ofte statstcs we are preseted wth data that suggests that a lear relatoshp exsts betwee two varables. For example the plot below s of

More information

for each of its columns. A quick calculation will verify that: thus m < dim(v). Then a basis of V with respect to which T has the form: A

for each of its columns. A quick calculation will verify that: thus m < dim(v). Then a basis of V with respect to which T has the form: A Desty of dagoalzable square atrces Studet: Dael Cervoe; Metor: Saravaa Thyagaraa Uversty of Chcago VIGRE REU, Suer 7. For ths etre aer, we wll refer to V as a vector sace over ad L(V) as the set of lear

More information

Random Variables. ECE 313 Probability with Engineering Applications Lecture 8 Professor Ravi K. Iyer University of Illinois

Random Variables. ECE 313 Probability with Engineering Applications Lecture 8 Professor Ravi K. Iyer University of Illinois Radom Varables ECE 313 Probablty wth Egeerg Alcatos Lecture 8 Professor Rav K. Iyer Uversty of Illos Iyer - Lecture 8 ECE 313 Fall 013 Today s Tocs Revew o Radom Varables Cumulatve Dstrbuto Fucto (CDF

More information

Chapter -2 Simple Random Sampling

Chapter -2 Simple Random Sampling Chapter - Smple Radom Samplg Smple radom samplg (SRS) s a method of selecto of a sample comprsg of umber of samplg uts out of the populato havg umber of samplg uts such that every samplg ut has a equal

More information

Pseudo-random Functions

Pseudo-random Functions Pseudo-radom Fuctos Debdeep Mukhopadhyay IIT Kharagpur We have see the costructo of PRG (pseudo-radom geerators) beg costructed from ay oe-way fuctos. Now we shall cosder a related cocept: Pseudo-radom

More information

The E vs k diagrams are in general a function of the k -space direction in a crystal

The E vs k diagrams are in general a function of the k -space direction in a crystal vs dagram p m m he parameter s called the crystal mometum ad s a parameter that results from applyg Schrödger wave equato to a sgle-crystal lattce. lectros travelg dfferet drectos ecouter dfferet potetal

More information

1 Edge Magic Labeling for Special Class of Graphs

1 Edge Magic Labeling for Special Class of Graphs S.Srram et. al. / Iteratoal Joural of Moder Sceces ad Egeerg Techology (IJMSET) ISSN 349-3755; Avalable at https://www.jmset.com Volume, Issue 0, 05, pp.60-67 Edge Magc Labelg for Specal Class of Graphs

More information

Baxter Algebras and the Umbral Calculus

Baxter Algebras and the Umbral Calculus Baxter Algebras ad the Ubral Calculus arxv:ath/0407159v1 [ath.ra] 9 Jul 2004 L Guo Departet of Matheatcs ad Coputer Scece Rutgers Uversty at Newar Abstract We apply Baxter algebras to the study of the

More information

Statistics of Random DNA

Statistics of Random DNA Statstcs of Radom DNA Aruma Ray Aaro Youg SUNY Geeseo Bomathematcs Group The Am To obta the epectato ad varaces for the ethalpy chage ΔH, etropy chage ΔS ad the free eergy chage ΔG for a radom -mer of

More information

A Collocation Method for Solving Abel s Integral Equations of First and Second Kinds

A Collocation Method for Solving Abel s Integral Equations of First and Second Kinds A Collocato Method for Solvg Abel s Itegral Equatos of Frst ad Secod Kds Abbas Saadatmad a ad Mehd Dehgha b a Departmet of Mathematcs, Uversty of Kasha, Kasha, Ira b Departmet of Appled Mathematcs, Faculty

More information

arxiv: v1 [math.co] 14 Jul 2017

arxiv: v1 [math.co] 14 Jul 2017 TORIC H-VECTOR AND CHOW BETTI NUMBER OF DUAL HYPERIMPLICE CHARLE WANG AND JOEPHINE YU arxv:1707.04581v1 [math.co] 14 Jul 017 Abstract. The torc h-umbers of a dual hypersmplex ad the Chow Bett umbers of

More information

Signal,autocorrelation -0.6

Signal,autocorrelation -0.6 Sgal,autocorrelato Phase ose p/.9.3.7. -.5 5 5 5 Tme Sgal,autocorrelato Phase ose p/.5..7.3 -. -.5 5 5 5 Tme Sgal,autocorrelato. Phase ose p/.9.3.7. -.5 5 5 5 Tme Sgal,autocorrelato. Phase ose p/.8..6.

More information

The TDT. (Transmission Disequilibrium Test) (Qualitative and quantitative traits) D M D 1 M 1 D 2 M 2 M 2D1 M 1

The TDT. (Transmission Disequilibrium Test) (Qualitative and quantitative traits) D M D 1 M 1 D 2 M 2 M 2D1 M 1 The TDT (Trasmsso Dsequlbrum Test) (Qualtatve ad quattatve trats) Our am s to test for lkage (ad maybe ad/or assocato) betwee a dsease locus D ad a marker locus M. We kow where (.e. o what chromosome,

More information

Example. Row Hydrogen Carbon

Example. Row Hydrogen Carbon SMAM 39 Least Squares Example. Heatg ad combusto aalyses were performed order to study the composto of moo rocks collected by Apollo 4 ad 5 crews. Recorded c ad c of the Mtab output are the determatos

More information

Overview. Worst-case response time analysis of real-time tasks under FPDS. Motivation for FPDS. Scheduling model for FPDS. Scheduling model for FPDS

Overview. Worst-case response time analysis of real-time tasks under FPDS. Motivation for FPDS. Scheduling model for FPDS. Scheduling model for FPDS Reder J. Brl, r..brl@tue.l TU/e Iformatca, System Archtecture ad Networg Reder J. Brl, r..brl@tue.l TU/e Iformatca, System Archtecture ad Networg Overvew Worst-case respose tme aalyss of real-tme tass

More information

Exchangeable Sequences, Laws of Large Numbers, and the Mortgage Crisis.

Exchangeable Sequences, Laws of Large Numbers, and the Mortgage Crisis. Exchageable Sequeces, Laws of Large Numbers, ad the Mortgage Crss. Myug Joo Sog Advsor: Prof. Ja Madel May 2009 Itroducto The law of large umbers for..d. sequece gves covergece of sample meas to a costat,.e.,

More information

Statistical modelling and latent variables (2)

Statistical modelling and latent variables (2) Statstcal modellg ad latet varables (2 Mxg latet varables ad parameters statstcal erece Trod Reta (Dvso o statstcs ad surace mathematcs, Departmet o Mathematcs, Uversty o Oslo State spaces We typcally

More information

Maximin share and minimax envy in fair-division problems

Maximin share and minimax envy in fair-division problems Maxm share ad mmax evy far-dvso problems Marco Dall Aglo a,1 ad Theodore P. Hll b,,2 a Dpartmeto d Sceze, Uverstá G. d Auzo, Vale Pdaro 42, 65127 Pescara, Italy b School of Mathematcs, Georga Isttute of

More information

Introduction to Matrices and Matrix Approach to Simple Linear Regression

Introduction to Matrices and Matrix Approach to Simple Linear Regression Itroducto to Matrces ad Matrx Approach to Smple Lear Regresso Matrces Defto: A matrx s a rectagular array of umbers or symbolc elemets I may applcatos, the rows of a matrx wll represet dvduals cases (people,

More information

About a Fuzzy Distance between Two Fuzzy Partitions and Application in Attribute Reduction Problem

About a Fuzzy Distance between Two Fuzzy Partitions and Application in Attribute Reduction Problem BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND IORMATION TECHNOLOGIES Volume 6, No 4 Sofa 206 Prt ISSN: 3-9702; Ole ISSN: 34-408 DOI: 0.55/cat-206-0064 About a Fuzzy Dstace betwee Two Fuzzy Parttos ad Applcato

More information

Point Estimation: definition of estimators

Point Estimation: definition of estimators Pot Estmato: defto of estmators Pot estmator: ay fucto W (X,..., X ) of a data sample. The exercse of pot estmato s to use partcular fuctos of the data order to estmate certa ukow populato parameters.

More information

Chapter Business Statistics: A First Course Fifth Edition. Learning Objectives. Correlation vs. Regression. In this chapter, you learn:

Chapter Business Statistics: A First Course Fifth Edition. Learning Objectives. Correlation vs. Regression. In this chapter, you learn: Chapter 3 3- Busess Statstcs: A Frst Course Ffth Edto Chapter 2 Correlato ad Smple Lear Regresso Busess Statstcs: A Frst Course, 5e 29 Pretce-Hall, Ic. Chap 2- Learg Objectves I ths chapter, you lear:

More information

Statistics: Unlocking the Power of Data Lock 5

Statistics: Unlocking the Power of Data Lock 5 STAT 0 Dr. Kar Lock Morga Exam 2 Grades: I- Class Multple Regresso SECTIONS 9.2, 0., 0.2 Multple explaatory varables (0.) Parttog varablty R 2, ANOVA (9.2) Codtos resdual plot (0.2) Exam 2 Re- grades Re-

More information

arxiv:math/ v2 [math.co] 2 Feb 1999

arxiv:math/ v2 [math.co] 2 Feb 1999 arxv:ath/990200v2 [ath.co] 2 Feb 999 LONGEST INCREASING SUBSEQUENCES OF RANDOM COLORED PERMUTATIONS Alexe Borod Abstract. We copute the lt dstrbuto for cetered ad scaled) legth of the logest creasg subsequece

More information

Chapter 5. Presentation. Entropy STATISTICAL CODING

Chapter 5. Presentation. Entropy STATISTICAL CODING Chapter 5 STATISTICAL CODING Presetato Etropy Iformato data codg Iformato data codg coded represetato of formato Ijectve correspodece Message {b } Multples roles of codg Preparg the trasformato message

More information

arxiv: v2 [math.ct] 1 Dec 2017

arxiv: v2 [math.ct] 1 Dec 2017 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES arxv:1710.04153v2 [math.ct] 1 Dec 2017 Abstract. Let R be an assocatve rng wth unt. We consder R-modules as module functors n the followng way: f M s a (left)

More information

Growth of a Class of Plurisubharmonic Function in a Unit Polydisc I

Growth of a Class of Plurisubharmonic Function in a Unit Polydisc I Issue, Volue, 7 5 Growth of a Class of Plursubharoc Fucto a Ut Polydsc I AITASU SINHA Abstract The Growth of a o- costat aalytc fucto of several coplex varables s a very classcal cocept, but for a fte

More information

COMPUTING FIRST AND SECOND ZAGREB INDEX, FIRST AND SECOND ZAGREB POLYNOMIAL OF CAPRA- DESIGNED PLANAR BENZENOID SERIES Ca n (C 6 )

COMPUTING FIRST AND SECOND ZAGREB INDEX, FIRST AND SECOND ZAGREB POLYNOMIAL OF CAPRA- DESIGNED PLANAR BENZENOID SERIES Ca n (C 6 ) (RECOMMENDED CITATION) COMPUTING FIRST AND SECOND ZAGREB INDEX, FIRST AND SECOND ZAGREB POLYNOMIAL OF CAPRA- DESIGNED PLANAR BENZENOID SERIES Ca (C 6 ) MOHAMMAD REZA FARAHANI a, MIRANDA PETRONELLA VLAD

More information

STATISTICAL INFERENCE

STATISTICAL INFERENCE (STATISTICS) STATISTICAL INFERENCE COMPLEMENTARY COURSE B.Sc. MATHEMATICS III SEMESTER ( Admsso) UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION CALICUT UNIVERSITY P.O., MALAPPURAM, KERALA, INDIA -

More information

Numerical Solution of Linear Second Order Ordinary Differential Equations with Mixed Boundary Conditions by Galerkin Method

Numerical Solution of Linear Second Order Ordinary Differential Equations with Mixed Boundary Conditions by Galerkin Method Mathematcs ad Computer Scece 7; (5: 66-78 http://www.scecepublshggroup.com//mcs do:.648/.mcs.75. Numercal Soluto of Lear Secod Order Ordary Dfferetal Equatos wth Mxed Boudary Codtos by Galer Method Aalu

More information

The Erlang Model with non-poisson Call Arrivals

The Erlang Model with non-poisson Call Arrivals The Erlag Model wth o-posso Call Arrvals Thomas Boald Frace Telecom R&D 38-40 rue du geeral Leclerc 92794 Issy-les-Mouleaux, Frace thomasboald@fracetelecomcom ABSTRACT The Erlag formula s kow to be sestve

More information

Fundamental Theorem of Algebra. Yvonne Lai March 2010

Fundamental Theorem of Algebra. Yvonne Lai March 2010 Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex

More information

Processing of Information with Uncertain Boundaries Fuzzy Sets and Vague Sets

Processing of Information with Uncertain Boundaries Fuzzy Sets and Vague Sets Processg of Iformato wth Ucerta odares Fzzy Sets ad Vage Sets JIUCHENG XU JUNYI SHEN School of Electroc ad Iformato Egeerg X'a Jaotog Uversty X'a 70049 PRCHIN bstract: - I the paper we aalyze the relatoshps

More information

Several Theorems for the Trace of Self-conjugate Quaternion Matrix

Several Theorems for the Trace of Self-conjugate Quaternion Matrix Moder Aled Scece Setember, 008 Several Theorems for the Trace of Self-cojugate Quatero Matrx Qglog Hu Deartmet of Egeerg Techology Xchag College Xchag, Schua, 6503, Cha E-mal: shjecho@6com Lm Zou(Corresodg

More information

Hidden Markov Models

Hidden Markov Models Hdde Marov Models Magus Karlsso Bacgroud Hdde Marov chas was orgally troduced ad studed the late 960s ad early 970s. Durg the 980s the models became creasgly popular. he reaso for ths s twofolded. Frstly,

More information

Reexamination of Quantum Data Compression and Relative Entropy

Reexamination of Quantum Data Compression and Relative Entropy Wlfrd Laurer Uversty Scholars Commos @ Laurer Physcs ad Computer Scece Faculty Publcatos Physcs ad Computer Scece 2008 Reexamato of Quatum Data Compresso ad Relatve Etropy Alexe Kaltcheko Wlfrd Laurer

More information

Analyzing Control Structures

Analyzing Control Structures Aalyzg Cotrol Strutures sequeg P, P : two fragmets of a algo. t, t : the tme they tae the tme requred to ompute P ;P s t t Θmaxt,t For loops for to m do P t: the tme requred to ompute P total tme requred

More information