关于·¶³ë介绍

[Æ´Òô]£ºfanchou

[ÍâÎÄ]£ºcategory

´ÓÊýѧµÄ¸÷¸öÁìÓòÖиÅÀ¨³öÀ´µÄÒ»Öָ߶ȳéÏóµÄÊýѧϵͳ¡£ÊýѧµÄ¸÷¸öÁìÓò¶¼Óи÷×ÔµÄÑо¿¶ÔÏó¡£ÀýÈ磬¼¯ºÏÂÛÑо¿¼¯ºÏÓëÓ³É䣻ȺÂÛÑо¿ÈºÓëȺ̬ͬ£»ÍØÆËѧÑо¿ÍØÆË¿Õ¼äÓëÁ¬ÐøÓ³É䣻µÈµÈ¡£ÔÚ20ÊÀ¼ÍÖÐÆÚ£¬Êýѧ¼ÒÃÇÈÏΪÓбØÒª½«¸÷¸öÁìÓòÖеÄÑо¿¶ÔÏó¸÷×ÔºÏÔÚÒ»Æð³ÉΪһ¸ö×ÜÌ壬ʹ֮¸÷¸ö×ÜÌ嶼ÊÇÒ»ÖÖÊýѧϵͳ¡£Õâ¾ÍÊÇ·¶³ë˼Ïë¡£ÓÚÊÇ£¬ËùÓеļ¯ºÏÓëÓ³Éä×é³É¼¯ºÏµÄ·¶³ëS£»ËùÓеÄȺÓëȺ̬ͬ×é³ÉȺµÄ·¶³ëG;ËùÓеÄÍØÆË¿Õ¼äÓëÁ¬ÐøÓ³Éä×é³ÉÍØÆË¿Õ¼äµÄ·¶³ëT;µÈµÈ¡£´ËÍ⣬ÔÚ·¶³ëÓë·¶³ëÖ®¼äÍùÍù´æÔÚ×ÅÄÚÔÚµÄÁªÏµÓë±ä»»¡£ÀýÈ磬ÈÎÒ»¸öȺG¶¼¿ÉÒÔͨ¹ý½»»»»¯ÊÖÐø¶ø±ä³ÉÒ»¸ö½»»»Èº(ÒÔC(G)±íʾGµÄ»»Î»×ÓȺ£¬ÔòG/C(G)ÊÇÒ»¸ö±ä»»Èº)£¬Òò´Ë½»»»»¯ÊÖÐø¾Í°ÑȺ·¶³ë±ä³É½»»»ÈºµÄ·¶³ëAG¡£ÕâÖÖÄÚÔÚµÄÁªÏµÓë±ä»»£¬ÌṩÁËËùνº¯×ӵĸÅÄî¡£

·¶³ëÓ뺯×ÓµÄÀíÂÛÊÇÓÉÃÀ¹úÊýѧ¼ÒS.°¬Âײ®¸ñÓëS.Âó¿ËÀ³¶÷ÓÚ1945ÄêÕýʽÌá³öµÄ¡£ÕâÀíÂÛÒ»¾­Ìá³ö¾ÍÊܵ½ÆÕ±éµÄÖØÊÓ¶øѸËÙ·¢Õ¹£¬²»¶ÏÉîÈ룬ÇÒΪÊýѧ¼ÒÃÇÒý½øµ½ÊýѧµÄÐí¶à·ÖÖ§ÖС£ÀýÈ磬R.¸êµÂÃÅÌØÓÚ1958ÄêÒý½øµ½ÍØÆËѧÖУ»C.°£À×˹ÂüÓÚ1958ÄêÒý½øµ½Î¢·Ö¼¸ºÎѧÖУ»A.¸ñÂÞÌڵϿˡ¢J.µÏ¶ò¶àÄÚÓÚ1960ÄêÒý½øµ½´úÊý¼¸ºÎÖУ»µÈµÈ¡£ÊÂʵÉÏ£¬ÔÚÊýѧµÄÐí¶à·ÖÖ§Öж¼Óз¶³ëÓ뺯×ÓÀíÂÛµÄÖØÒªÓ¦ÓÃÓë·´Ó³¡£

·¶³ëµÄ¶¨ÒåÊǶԼ¯ºÏ·¶³ëS¡¢Èº·¶³ëG¡¢ÍØÆË¿Õ¼äµÄ·¶³ëT µÄһЩ¹²Í¬ÐÔÖʵĹéÄÉ¡£

Ò»¸ö·¶³ëC£¬ÊÇÓÉÒÔϵÄÈýÖÖ³ÉÔ±×é³ÉµÄ£º

C1¡¡Ò»Àà¶ÔÏóA£¬B£¬C£¬¡­¡£

C2¡¡¶ÔÿÁ½¸ö¶ÔÏó(Ïàͬ»òÏàÒì)AÓëB£¬ÓÐÒ»¸ö¼¯ºÏC(A£¬B)ÓëÖ®¶ÔÓ¦£¬C(A£¬B)ÖÐÔªËØσ³ÆΪ̬Éä(morphism)£¬AÊÇσµÄ¶¨ÒåÓò£¬BÊÇσµÄ±äÇø¡£

C3¡¡Ò»Öֳ˷¨£¬Ê¹µÃµ±σ¡ÊC(A£¬B)£¬τ¡ÊC(B£¬C)ʱ£¬³Ë»ýτσ¡ÊC(A£¬C)¡£ËüÃǶ¼Ó¦¸Ã·þ´ÓÒÔϵÄÈýÌõ¹«Àí£º

A1¡¡³ý·ÇA£½A©Å¶øÇÒB=B©Å£¬C(A£¬B)¡ÉC(A©Å£¬B©Å)×ÜÊÇ¿Õ¼¯¡£

A2¡¡ÔÚσ¡ÊC(A£¬B)£¬τ¡ÊC(B£¬C)£¬ρ ¡ÊC(C£¬D)ʱ£¬×ÜÓнáºÏÂÉ(ρτ)σ =ρ(τσ)¡£

A3¡¡¶ÔÈκÎA£¬±ØÓÐÒ»¸ö1A¡ÊC(A£¬A)£¬³ÆΪºãµÈ̬É䣬ʹµÃ¶ÔÈκÎσ¡ÊC(A£¬B)£¬ºãÓÐσ1A=σ=1Bσ¡£

¶ÔÓÚσ¡ÊC(A£¬B)£¬ÈôÓÐσ©Å¡ÊC(B£¬A)£¬Ê¹σσ©Å=1A£¬¶øÇÒσ©Åσ=1A£¬Ôòσ³ÆΪһ¸öͬ¹¹Ì¬É䣬ÕâʱAÓëB³ÆΪͬ¹¹µÄ¡£Í¬¹¹ÏÔÈ»ÊÇÒ»Öֵȼ۹Øϵ£¬ËùÒÔ£¬Í¬¹¹µÄ¶ÔÏó³ÆΪ±¾ÖÊÏàµÈµÄ¡£

ÀýÈ磬ÔÚ·¶³ë SÖУ¬¶ÔÏóÀàÊÇËùÓеļ¯ºÏÖ®À࣬¶øS(A£¬B)ÊÇÓɼ¯ºÏAµ½BµÄËùÓÐÓ³ÉäÖ®¼¯£¬ÔÚσ¡ÊS(A£¬B)£¬τ¡ÊS(B£¬C)£¬α¡ÊAʱ£¬(τσ)(α)=τ(σ(α))¡ÊC£¬¼´τσ¡ÊS(A£¬C)¡£ÔÚ·¶³ëAGÖУ¬¶ÔÏóÊǽ»»»Èº£¬AG(A£¬B)ÊÇÓɽ»»»ÈºAµ½BµÄËùÓÐȺ̬֮ͬ¼¯¡£ÔÙÈôÒÔËùÓеÄ×ÔÓɽ»»»ÈºÖ®ÀàΪ¶ÔÏóÀ࣬ÒÔȺ̬ͬΪ̬É䣬ÔòµÃ×ÔÓɽ»»»ÈºµÄ·¶³ëAFG¡£´ÓÕâЩÀý×Ó¿´À´£¬·¶³ëÖеÄ̬Éä¿ÉÒÔÊÇÓ³É䣬ÉõÖÁ¿ÉÒÔÊÇ̬ͬ£¨Òò¶ø³Æ֮Ϊ̬É䣩¡£µ«ÊÇ£¬Ò»°ãµØ£¬Ò»¸ö·¶³ëµÄ̬ÉäÈ´¿ÉÒÔ¸ù±¾²»ÊÇÓ³Éä¡£ÀýÈ磺

£¨1£©È¡NΪ×ÔÈ»Êý¼¯¡£Èôᩦb£¬Ôò¶¨ÒåN(ᣬb)Ϊһ¸öµ¥Ôª¼¯ºÏ£¬ÆäΩһµÄÔªËØÊÇÒ»¸ö·ûºÅφ£¬²¢Áî;Èôαb£¬ÔòN£¨α£¬b£©Îª¿Õ¼¯¡£ÓÚÊÇ£¬NÊÇÒ»¸öÒÔËùÓеÄ×ÔÈ»ÊýΪ¶ÔÏó£¬ÒÔN(ᣬb)Ϊ̬É伯µÄ·¶³ë¡£

£¨2£©È¡RΪȫÌåʵÊýµÄ¼¯ºÏ¡£ÔÚα¡Übʱ£¬ÁîR(ᣬb)ÊÇÒ»¸öÒÔ·ûºÅΨΪΩһԪËصĵ¥Ôª¼¯ºÏ;·ñÔòÈÃR(ᣬb)Ϊ¿Õ¼¯¡£ÔòÈ«ÌåʵÊýÁ¬Í¬ËùÓеÄR(ᣬb)ÊÇÒ»¸ö·¶³ë¡£

£¨3£©Èô·¶³ëCÖ»ÓÐÒ»¸ö¶ÔÏóM £¬ÔòC(M £¬M )¾ÍÊÇÒ»¸öçÛ°ëȺ(¼´Óе¥Î»ÔªµÄ°ëȺ)£¬¶ø1MÊÇÕâ¸öçÛ°ëȺµÄµ¥Î»Ôª¡£

ÈÎÒâ·¶³ë CÖеÄÿһ¸öσ¡ÊC(A£¬B)¶¼¿ÉÓÃÒ»¸ö¼ýÍ·À´±íʾ³Éσ:A¡úB£¬»ò

£¬AÊÇσµÄÔ´£¬BÊÇσµÄ°Ð£¬ÓüýÍ·µÄ¼ÇºÅ£¬ËùÒÔ̬ÉäÓֿɳÆ֮Ϊ¼ýÍ·¡£Ì¬ÉäÓë̬ÉäÖ®¼äµÄ¹ØϵÍùÍù¿ÉÒÔÓý»»»Í¼

À´±íʾ¡£ÀýÈ磬ÔÚÒÑÉùÃ÷¿É½»»»µÄÌõ¼þÏÂÒÀ´Î±íʾρ=τσ;ρα=ρ(τσ)=βσ=(ρτ)σ£»Óë’Yρ£¬Ê¹ρσ£½τ¡£½»»»Í¼ÖеÄÐé¼ýÍ·³£ÓÃÀ´´ú±íδ֪µÄ»ò´ý¶¨µÄ̬Éä¡£

ËüÊÇÒ»Öַdz£ÖØÒªµÄ·¶³ë¸ÅÄ³£±»ÓÃÀ´Ìá³ö»ò¹¹Ôì³öÐí¶àеĸÅÄî¡£ÀýÈ磬É觤 ÊÇÒ»¸ö·Ç¿Õ¼¯ºÏ£¬¶Ôÿһ¸öλ¡Ê§¤ È¡Ò»¸ö¼¯ºÏA룬ÓÚÊÇ£¬Óɼ¯ºÏÂÛ£¬ËùÓÐÕâЩ Aλ Ö®»ý

Ò²ÊÇÒ»¸ö¼¯ºÏ£¬ËüÊÇÓÉËùÓÐÈçα£½{αλ|αλ¡ÊA룬λ¡Ê§¤}ÕâÑùµÄ¼¯ºÏËù×é³ÉµÄ¡£µ«ÊÇÕâÖÖ»ýµÄ¶¨ÒåÈ´ÎÞ·¨ÕÕÑùÒýÓÃÓÚÒ»°ãµÄ·¶³ë£¬ÒòΪÔÚÒ»°ãµÄ·¶³ëÖв¢²»ÒªÇóÆä¶ÔÏóÊǼ¯ºÏ£¬¸üδҪÇóÓС°α¡ÊA¡±ÕâÑùµÄ¸ÅÄî¡£Òò´Ë£¬ÈôÒªÏ뽫»ýµÄ¸ÅÄîÒýÓÃÓÚÒ»°ãµÄ·¶³ë£¬Ôò±ØÐëÓ¦Ó÷¶³ëµÄÓïÑÔ¡£Ê×ÏÈ×¢Òâµ½£¬ÈôÔò¶Ôÿһ¸öλ¡Ê§¤£¬¶¼ÓСÇλ£ºA¡úAλʹµ±α={αλ}ʱ¶øÇÒ¶ÔÈκμ¯ºÏBÓëσλ£ºB¡úA룬±ØÄÜÕÒµ½Î©Ò»µÄƒ£ºB¡úA£¬Ê¹¶ÔÈκÎλ¡Ê§¤£¬ºãÓУ¬ÕâÖ»ÒªÈü´¿É¡£Õâ¸öÐÔÖÊ¿ÉÓÃÀ´×÷Ϊһ°ãµÄ·¶³ëÖÐÒ»¼¯¶ÔÏóµÄ»ýµÄ¶¨Ò壺·¶³ëCÖÐÒ»¼¯¶ÔÏó{Aλ£üλ¡Ê§¤}µÄ»ý¡ÇAλÊÇÒ»¸ö¶ÔÏóA¼°Ò»¼¯Ì¬Éä {¡Çλ¡ÊC(A£¬Aλ)£üλ¡Ê§¤}£¬Ëü¶ÔÈκζÔÏóB¼°ÈκÎ̬Éäσλ£ºB¡úAλºãÓÐΩһµÄƒ:B¡úAʹ£¬λ¡Ê§¤£¬Ê¹Óн»»»Í¼(Èçͼ

)¡£ ÕâÀïµÄ"¶ÔÈκÎ̬Éäσ룬ºãÓÐΩһµÄƒ£¬Ê¹Óн»»»Í¼"Ò»Ó¾ÍÊÇ·ºÐÔÖʵÄÒâÒå¡£

°´ÕÕÕâ¸ö¶¨Ò壬ÔÚÇ°ÃæµÄÀý¢ÙµÄ·¶³ëNÖУ¬n¸ö×ÔÈ»Êýα1£¬α2£¬¡­£¬αnµÄ»ý(ÕâÀïÊÇÖ¸·¶³ëNÖÐÕân¸ö¶ÔÏóµÄ»ý)ÊÇËüÃǵÄ×î´ó¹«ÒòÊý¡£ÔÚÀý¢ÚµÄ·¶³ëRÖУ¬ÊµÊý¼¯ {αλ}µÄ»ýÊÇÕâ¸ö¼¯µÄÏÂÈ·½ç¡£

ÔÚÈÎÒâµÄ·¶³ë C ÖУ¬Èç¹ûÒ»¼¯¶ÔÏó {Aλ} Óлý£¨A£¬ÄÇôËüÃÇÖ»ÄÜÓÐÒ»¸ö»ý£¨ÔÚͬ¹¹µÄ·¶Î§ÄÚ£©£¬ÓÉ·ºÐÔÖÊËù¶¨ÒåµÄÈκθÅÄîÖ»Òª´æÔÚ£¬¶¼¾ßÓÐΨһÐÔ¡£

¶ÔÓÚÒÔA£¬B£¬C£¬¡­Îª¶ÔÏóµÄ·¶³ëC£¬¿ÉÒÔ×÷Ò»¸öеķ¶³ëC0£¬ËüÈÔÒÔA£¬B£¬C£¬¡­Îª¶ÔÏ󣬵«ÎªÁËÇø±ðÆð¼û£¬ÔÚ×÷ΪC0µÄ¶ÔÏóʱ£¬A¸Äд³ÉA0£¬ÔÙÈ¡C0(A0£¬B0)£½C(B£¬A)£¬²¢µ±σ0¡ÊC0(A0£¬B0)£¬τ0¡ÊC0(B0£¬C0)ʱ£¬¶¨Òåτ0σ0=(στ)0£¬ÕâÑùËù×÷µÄ·¶³ëC0³ÆΪC µÄÄæ·¶³ë¡£Êµ¼ÊÉÏËüÃÇÓÐÏàͬµÄ¶ÔÏó£¬ÏàͬµÄ̬É䣬ֻÊÇ°Ñ̬ÉäµÄÔ´Óë°ÐÇ¡ºÃÏ໥ת»»Ò»Ï¶øÒÑ¡£

ÈôSÊÇÒ»¾ä¶ÔÈκη¶³ë¶¼ÓÐÒâÒåµÄ³ÂÊöÓÀýÈ磬˵Ã÷Ò»¸ö¸ÅÄÌá³öÒ»ÌõÃüÌ⣬¿Ï¶¨Ò»¸ö¹æÂÉ£¬µÈµÈ£©£¬°ÑSÒýÓõ½·¶³ëC£¬µÃµ½S(C)£¬ÔÙÒýÓõ½C0µÃµ½S(C0)£¬ÔòÔÚ°Ñ S(C0)Öи÷̬ÉäµÄÔ´Óë°Ð¶Ôµ÷ºó£¬¾Í±ä³É£¨»ò·­Òë³É£©Ò»¾ä¿ÉÒýÓÃÓÚC µÄ³ÂÊöÓï S0(C)¡£Õâ¸öS0(C)¾ÍÊÇS(C)µÄ¶Ôż³ÂÊöÓï¡£Èç¹ûS(C)ÊÇÒ»ÌõÃüÌ⣬ÄÇôS0(C)ÊÇÆä¶ÔżÃüÌ⣻Èç¹ûS(C)ÊÇ˵Ã÷Ò»¸ö¸ÅÄÄÇôS0(C)ÊÇ˵Ã÷Æä¶Ôż¸ÅÄî;Èç¹ûS(C)ÊÇÒ»Ìõ¶ÔÈκÎC¶¼ÒÑÖ¤Ã÷Á˵Ķ¨Àí£¬ÄÇôS0(C)ÊÇÆä¶Ôż¶¨Àí¶øÇÒ²»ÐèÔÙÖ¤£¬Õâ¾ÍÊǶÔżԭÔò¡£ÀýÈ磬ÔÚ·¶³ëCÖУ¬Èôσ1τ£½σ2τʱ±ØÓÐσ1£½σ2£¬Ôòτ³ÆΪһ¸öÂú̬É䣻Èôτρ1£½τρ2ʱ±ØÓÐ ρ1£½ρ2£¬Ôòτ³ÆΪһ¸öµ¥Ì¬Éä¡£ÓÚÊÇ£¬ÔÚC0ÖУ¬τ0ÊÇÂú̬ÉäµÄÌõ¼þΪ£ºµ±Ê±±ØÓУ¬°ÑÕâ¸öÌõ¼þ·­Òë³ÉCÖеÄÌõ¼þ£¬¾ÍÊÇτρ1=τρ2ʱ±ØÈ»ρ1=ρ2£¬ÕâÇ¡ºÃÊǵ¥Ì¬ÉäµÄÌõ¼þ¡£Òò´Ë£¬µ¥Ì¬ÉäºÍÂú̬ÉäÊÇÏ໥¶ÔżµÄ¸ÅÄî¡£

ÔÚÓÃÒ»¸ö½»»»Í¼À´±í´ïÒ»¾ä³ÂÊöÓïSʱ£¬Ö»Òª°ÑÕâ¸ö½»»»Í¼ÖÐËùÓеļýÍ·¶¼µ÷ת·½Ïò£¬²¢½«¡°µ¥¡±¸Ä³É¡°Âú¡±£¬¡°Âú¡±¸Ä³É¡°µ¥¡±£¬ÕâÑùËùµÃµÄ½»»»Í¼¾Í±í´ïSµÄ¶Ôż³ÂÊöÓïS0¡£ÀýÈ磬½«½»»»Í¼ÖÐËùÓмýÍ·¶¼µ÷ת·½Ïò£¬¾ÍµÃµ½Ò»¼¯¶ÔÏó {Aλ£üλ¡Ê§¤} µÄÉÏ»ýµÄ¶¨Ò壺һ¼¯¶ÔÏó{Aλ}µÄÉÏ»ýÊÇÒ»¸ö¶ÔÏóCÓëÒ»¼¯Ì¬Éäηλ:Aλ¡úC£¬Ê¹ÓзºÐÔÖÊ£º¼´£¬¶ÔÈκÎτλ:Aλ¡úD£¬ºãÓÐΩһµÄg:C¡úDʹgηλ=τ룬„Nλ¡Ê§¤¡£²»ÄÑÖ¤Ã÷£¬ÔÚ·¶³ëSÖУ¬Ò»Ð©¼¯ºÏAλ(λ¡Ê§¤)µÄºÍ¼¯£¨°ÑAλ¶¼¿´³ÉÁ½Á½²»ÏཻµÄ¼¯ºÏ£¬ÔÙÈ¡Æä²¢¼¯£©¾ÍÊÇÖîAλµÄÉÏ»ý¡£

ºËÓëÉϺËÊÇÁíÒ»¶Ô·Ç³£ÖØÒªµÄ¶Ôż¸ÅÄî¡£ÔÚ¶¨ÒåÒ»¸ö̬ÉäµÄºËÒÔÇ°£¬ÏÈÐ趨ÒåÁã¶ÔÏóÓëÁã̬Éä¡£Èô¶ÔÓÚÈκζÔÏóAÓëB¼¯ºÏC(A£¬0)ÓëC(0£¬B)¶¼Êǵ¥Ôª¼¯ºÏ£¬Ôò0³ÆΪ·¶³ëCÖеÄÁã¶ÔÏó£¨Òò´ËÓá°0¡±Õâ¸ö¼ÇºÅ£©¶øC(A£¬0)ÓëC(0£¬B)ÖеÄΩһԪËØ·Ö±ð¼ÇΪÓ룬 °Ñ¡¢ÒÔ¼°ËüÃǵij˻ý¶¼³ÆΪÁã̬É䣬ҲÓá°0¡±Õâ¸ö¼ÇºÅÀ´±íʾ¡£ÀýÈçÔÚȺ·¶³ëGÖУ¬Áã¶ÔÏóÊÇÖ»º¬Ò»¸öÔªËصÄȺ£¬¶øµ±gÓëHÊÇÁ½¸öȺʱ£¬0GHÊÇÓÉg Ó³Éä³ÉH µÄµ¥Î»ÔªµÄ̬ͬ¡£

Ó÷ºÐÔÖʶ¨Òå̬Éäσ¡ÊC(A£¬B)µÄºË¡£Éè η:C¡úA£¬Ê¹µÃ£º

£¨1£©ση=0£¬¢Ú¶ÔÈκÎη©Å¡ÊC(C©Å£¬A)£¬Ö»Òªση©Å=0£¬¾Í±ØÓÐΩһµÄƒ¡ÊC(C©Å£¬C)ʹηƒ=η©Å£¬Ôò(C£¬η)³ÆΪ̬ÉäσµÄºË£¬¼Ç³ÉKerσ=(C£¬η)£¬ÓÐʱ¿É°ÑCÊ¡È¥£¬µÃη=Kerσ£¬Òò¸ø¶¨ÁË磬ÆäÔ´×ÔÈ»ÊÇÈ·¶¨µÄ¡£Õâ¸ö·ºÐÔÖÊ¿ÉÓÉͼ

±íʾ¡£

¶ÔżµØ£¬Ì¬Éäσ¡ÊC(A£¬B)µÄÉϺËCokσÊÇÒ»¸ö¶ÔÏóD¼°Ì¬Éäπ:B¡úD£¬Ê¹µÃ£º

£¨1£©πσ=0£¬¢Ú¶ÔÈκÎπ©Å:B¡úD©Å£¬Ö»Òªπ©Åσ=0£¬±ØÓÐΩһµÄg:D¡úD©Å£¬Ê¹gπ=π©Å£¬Èçͼ

¡£

ÈÝÒ×Ö¤Ã÷£¬Èôη=Kerσ£¬ÔòηÊǵ¥Ì¬Éä¡£Æä¶Ôż¶¨ÀíÊÇ£¬Èôπ£½Cokσ£¬ÔòπÊÇÂú̬Éä¡£ÀýÈ磬ÔÚȺ·¶³ëG ÄÚ£¬σ¡ÊG(A£¬ B)ÊÇÓÉȺAµ½BµÄÒ»¸öȺ̬ͬ£¬ÆäºËCÊÇ̬ͬσµÄºË£¬ηÊÇǶÈëÓ³É䣬Èô(D£¬π)=Cokσ£¬ÔòD£½B/N£¬ÕâÀïNÊÇBÖаüº¬Im σµÄ×îСµÄÕý¹æ×ÓȺ£¬ ¶øπ ÊÇÓÉBµ½ B/NµÄÂú̬ͬ(Im σ±íσµÄÏñ)¡£

¼Ù¶¨·¶³ëCÓÐÁã¶ÔÏóÒò¶øÓÐÁã̬É䣬Èç¹û£º

£¨1£©ÈκÎÓÐÏÞ¸ö¶ÔÏó¶¼Óлý£»

£¨2£©Ã¿Ò»¸ö̬É伯C(A£¬B)¶¼Êǽ»»»Èº£¬²¢ÇÒµ±σ£¬τ¡ÊC (A£¬B)£¬ƒ¡ÊC(C£¬A)£¬g¡ÊC(B£¬D)ʱ£¬ÓзÖÅäÂÉ(σ+τ)ƒ=σƒ+τƒ£¬g(σ+τ)=gσ+gτ£¬ÄÇôC³ÆΪһ¸ö¼Ó·¨·¶³ë¡£

ÈôCÊÇÒ»¸ö¼Ó·¨·¶³ë£¬¶øÇÒ¢Ùÿһ¸ö̬É䶼ÓкËÓëÉϺˣ»

£¨2£©Ã¿Ò»¸öµ¥£¨Âú£©Ì¬É䶼ÊÇÆäÉϺˣ¨ºË£©µÄºË£¨ÉϺˣ©£»

£¨3£©Ã¿Ò»¸ö̬Éäσ¶¼¿É·Ö½â³ÉÒ»¸öµ¥Ì¬ÉäηÓëÒ»¸öÂú̬ÉäπÖ®»ý£¬σ=ηπ£¬ÔòC³ÆΪһ¸ö°¢±´¶û·¶³ë¡£

½»»»ÈºµÄ·¶³ëAgÊÇÒ»¸ö°¢±´¶û·¶³ë¡£Èç¹ûAÓëB¶¼Êǽ»»»Èº£¬¶ø σÓë τ¶¼ÊÇÓÉAµ½BµÄȺ̬ͬ£¬ÄÇôÔÚα¡ÊAʱ£¬¶¨Òå(σ+τ)(α)=σ(α)+τ(α)¡£ÖðÌõÑéÖ¤£¬¼´ÖªAgÂú×ã°¢±´¶û·¶³ëµÄËùÓÐÌõ¼þ¡£×ÔÓɽ»»»ÈºËù×é³ÉµÄ·¶³ëÊÇÒ»¸ö¼Ó·¨·¶³ë£¬µ«²»ÊÇ°¢±´¶û·¶³ë£¬ÒòΪ¿ÉÒÔÕÒµ½µ¥Í¬Ì¬²»ÊÇÆäÉϺ˵ĺˡ£

ÓÉ·¶³ëCµ½·¶³ëC©ÅµÄÒ»¸öº¯×ÓF:C¡úC©ÅÊÇÒ»ÖÖË«ÖØÒâÒåµÄ¶ÔÓ¦£¬Ò»·½Ã棬Ëü¶ÔCÖеÄÿһ¸ö¶ÔÏóAÈ¡C©ÅÖеÄÒ»¸ö¶ÔÏóF(A)ÓëÖ®¶ÔÓ¦£¬¶øÁíÒ»·½Ã棬¶ÔÓÚÈκÎσ¡ÊC(A£¬B)ÓÐÒ»¸öF(σ)¡ÊC©Å(F(A)£¬F(B))ÓëÖ®¶ÔÓ¦£¬Ê¹´Ó¶¨Òå¼´¿É¿´³ö£¬º¯×ÓÊÂʵÉÏÊÇ·¶³ëµÄ̬ͬ¡£ÀýÈ磬ȡGΪȺ·¶³ë£¬AgΪ½»»»ÈºµÄ·¶³ë£¬FΪ½»»»»¯ÊÖÐø£¬Ôò¶ÔÈκÎȺg£¬F(g)ÊÇÒ»¸ö½»»»Èº£¬Í¬Ê±£¬ÈκÎȺ̬ͬσ£ºg1¡úg2 ±Ø½« G1µÄ»»Î»×ÓȺC (g1) µÄÔªËرä³É C (g2) ÖеÄÔªËØ£¬ËùÒÔ£¬σ¿ÉÒý³ög1/C(g1)µ½g2/C(g2)µÄÒ»¸öȺ̬ͬF(σ)¡£

ÈôCÓëC©Å¶¼ÊǼӷ¨·¶³ë£¬¶øº¯×ÓF:C¡úC©Å¸ø³ö½»»»ÈºC(A£¬B)µ½½»»»ÈºC©Å(F(A)£¬F(B))µÄÒ»¸ö̬ͬ£¬ÔòF ³ÆΪ¼Ó·¨º¯×Ó¡£

¼Ù¶¨FÓëF©Å¶¼ÊÇÓÉCµ½C©ÅµÄº¯×Ó£¬ÈôÓÐÒ»¸ö¹æÔòt£¬Ê¹¶ÔCÖÐÈκζÔÏóAÓÐÒ»¸ö̬ÉätA¡ÊC©Å(F(A)£¬F©Å(A))£¬¶ÔÈκÎσ¡ÊC(A£¬B)£¨Í¼

£©£¬Ôòt³ÆΪһ¸ö×ÔÈ»±ä»»¡£×ÔÈ»±ä»»°ÑF µÄÐÔÖʱä³ÉF©ÅµÄÏàÓ¦ÐÔÖÊ¡£Ìرð£¬Èô¶ÔËùÓеÄA¡¢tA¶¼ÊÇͬ¹¹£¬ÔòFÓëF©Å³ÆΪ×ÔÈ»µÈ¼Û¡£

¶ÔÓÚ·¶³ëCÓëC©Å£¬ÈôÓк¯×ÓF:C¡úC©Å£¬Óëg:C©Å¡úD£¬Ê¹GFÓë CµÄºãµÈº¯×Ó£¨¼´ÈöÔÏóÓë̬É䶼²»±ä£©×ÔÈ»µÈ¼Û£¬FGÓëC©ÅµÄºãµÈº¯×Ó×ÔÈ»µÈ¼Û£¬ÔòCÓëC©ÅÊÇÏ໥µÈ¼ÛµÄ·¶³ë£¬µÈ¼ÛµÄ·¶³ëÓÐÏàͬµÄ·¶³ëÐÔÖÊ¡£

ÒÔÉÏËùÊöµÄº¯×ÓÑϸñµØ˵£¬Ó¦¸Ã³ÆΪ¹²±äº¯×Ó¡£ÓÉ·¶³ëCµ½·¶³ëDµÄÄæ·¶³ëD0µÄº¯×Ó F:C¡úD0£¬³ÆΪÓÉCµ½DµÄÄæ±äº¯×Ó£¬ÔÚÕâÑùµÄº¯×ÓÖУ¬Èô σ¡ÊC(A£¬B)£¬ÔòF(σ)¡ÊD(F(B)£¬F(A))£¬¶øÇÒF(στ)=F(τ)F(σ)¡£¾ÙÒ»¸ö³£¼ûµÄÀý×Ó£¬ÔÚ·¶³ëSÖУ¬¹Ì¶¨Ò»¸ö¼¯ºÏC£¬¶ÔÓÚÈÎÒ»¼¯ºÏA£¬¶¨ÒåF(A)=S(A£¬C)£¬ÈÎÈ¡σ¡ÊS(A£¬B)£¬ÔÚƒ¡ÊS(B£¬C)ʱ£¬¶¨ÒåF(σ)(ƒ)=ƒσ£¬Èçͼ

£¬¼´F(σ)¡ÊS(F(B)£¬F(A))£¬ËùÒÔFÊÇSµ½Ëü×ÔÉíµÄÒ»¸öÄæ±äº¯×Ó¡£

²Î¿¼ÊéÄ¿

1. B.Mitchell£¬Theory of categories£¬Academic Press£¬New York£¬ 1965.

²Î¿¼ÎÄÕÂ

• ÐÄÂÉʧ³£ÊôÓÚÖÐÒ½µÄʲô·¶³ëÄÚ¿Æ
• ¼ÒÍ¥Ó°ÔºÒ²ÊôÓÚÖÇÄܼҾӷ¶³ë£¿ÖÇÄܼ¼Êõ
• Êý×ÖµçÊÓÊÓƵµã²¥¡¢Êý×ÖµçÊÓ»¥¶¯ÄÚÈÝÊôÓÚÖÇÄܼҾӷ¶³ëÂð£¿ÖÇÄܼ¼Êõ
• ¼ÒÍ¥¿í´ø½ÓÈëÊôÓÚÖÇÄܼҾӷ¶³ëÂð£¿ÖÇÄܼ¼Êõ
• ÖÐÒ½ÖÎÁƺì°ßÀÇ´¯µÄ´óÖ·¶³ëƤ·ô¿ÆÓ봫Ⱦ
• ¸É½ªÊÇ·ñÊôÓÚÅ©²úÆ·µÄ·¶³ë£¿²ÆÎñË°Îñ
• ÍøÉϹºÎï¡¢ÍøÉÏÊÓƵµã²¥¡¢ÍøÉÏÒøÐС¢ÍøÉϰ칫ÊôÓÚÖÇÄܼҾӷ¶³ëÂðÖÇÄܼ¼Êõ
• ÓãÀàËùÉãÈ¡µÄʳÎïͨ³£¿ÉÒÔ·ÖΪÒÔϼ¸¸ö·¶³ë?¶¯Îï
• ¸ÉúÅïÊÇ·ñÊôÓÚ·¿²úË°·¶³ë£¬ÊÇ·ñÒª½ÉÄÉ·¿²úË°£¿²ÆÎñË°Îñ
• ²¹³äÑøÀϱ£ÏպͲ¹³äÒ½ÁƱ£ÏÕÊÇ·ñÊôÓÚÖ°¹¤¸£Àû·Ñ·¶³ë£¿²ÆÎñË°Îñ