PDF - лекции (1117947), страница 17
Текст из файла (страница 17)
±±¬®²°¨¬ ¤¢¥ ª °²»(Ui ; 'i) ¨ (Uj ; 'j ), ¨ ¯³±²¼ 'ij : 'i (Ui \ Uj ) ! 'j (Ui \ Uj ) | ®²®¡° ¦¥¨¥±ª«¥©ª¨. ±«¨ e = (x1; : : : ; xn+1) | ¯° ¢«¿¾¹¨© ¢¥ª²®° ¯°¿¬®© ` 2Ui \ Uj , ²® x1i;1 i+1n+1'i (`) = xi ; : : : ; xxi ; xxi ; : : : ; x xi = (1; i;1; i+1; : : : ; n+1); x1j ;1 xj +1n+1 xx'j (`) = xj ; : : : ; xj ; xj ; : : : ; xj = ( 1 ; j ;1; j +1; : : : ; n+1 );¯®½²®¬³kii k = xxj k = j ¯°¨ k 6= i; ¨ i = xxj = 1j : ª¨¬ ®¡° §®¬, ®²®¡° ¦¥¨¿ ±ª«¥©ª¨ ¤¥©±²¢¨²¥«¼® ¿¢«¿¾²±¿ £« ¤ª¨¬¨,¨, § ·¨², RPn | £« ¤ª®¥ n-¬¥°®¥ ¬®£®®¡° §¨¥.°¨¢¥¤¥¬ ¯°¨¬¥° ¥¯°¥°»¢®£®, ® ¥ £« ¤ª®£® ¬®£®®¡° §¨¿. ±±¬®²°¨¬ ¯°¿¬®© R ²« ±, ±®±²®¿¹¨© ¨§ ¤¢³µ ª °²: (R; ' : x 7! x) ¨(R; : x 7! x3 ).
ª ª ª ' ¨ , ®·¥¢¨¤®, £®¬¥®¬®°´¨§¬», ¬» § ¤ «¨ R ±²°³ª²³°³ ²®¯®«®£¨·¥±ª®£® ¬®£®®¡° §¨¿. ¤ ª® ½²® ¬®£®®¡° §¨¥ ¥¿¢«¿¥²±¿ £« ¤ª¨¬, ² ª ª ª ®²®¡° ¦¥¨¥ ±ª«¥©ª¨ ' ;1 : x 7! x1=3 | ¥£« ¤ª®¥ ¢ 0.°¨¬¥°.® «®£¨¨ ± £« ¤ª¨¬¨ ¬®£®®¡° §¨¿¬¨, ¬» ¬®¦¥¬ ®¯°¥¤¥«¨²¼ ¬®£®®¡° §¨¿ £« ¤ª®±²¨ k, ¨«¨ C k -¬®£®®¡° §¨¿, ¢¥¹¥±²¢¥®- «¨²¨·¥±ª¨¥ ¬®£®®¡° §¨¿ ¨ ².¤., ¯®²°¥¡®¢ ¢, ·²®¡» ´³ª¶¨¨ ±ª«¥©ª¨ ¡»«¨±®®²¢¥²±²¢¥® £« ¤ª¨¬¨ ª« ±± C k , ¨«¨ ¢¥¹¥±²¢¥®- «¨²¨·¥±ª¨¬¨, ¨².¤. ¬¥· ¨¥. ¤ «¼¥©¸¥¬ ± ª ª ¯° ¢¨«® ¡³¤³² ¨²¥°¥±®¢ ²¼ £« ¤ª¨¥ ¬®£®®¡° §¨¿, ¯®½²®¬³, ¥±«¨ ¥ ®£®¢®°¥® ¯°®²¨¢®¥, ¢±¥ ° ±±¬ ²°¨¢ ¥¬»¥ ¬®£®®¡° §¨¿ ¯°¥¤¯®« £ ¾²±¿ £« ¤ª¨¬¨ (±«®¢® \£« ¤ª¨¥" ¬» ¡³¤¥¬ ¤«¿ ª° ²ª®±²¨ ®¯³±ª ²¼).12.1¥£³«¿°»¥ ¯®¢¥°µ®±²¨ ¢Rn, § ¤ »¥ ¥¿¢»¬¨´³ª¶¨¿¬¨, ¿¢«¿¾²±¿ ¬®£®®¡° §¨¿¬¨ ±±¬®²°¨¬ k-¬¥°³¾ °¥£³«¿°³¾ ¯®¢¥°µ®±²¼ M ¢ Rn, k < n, § ¤ ³¾(n ; k) ¥¿¢»¬¨ ´³ª¶¨¿¬¨8 1><F1(x ; : : : ; xn) = 0;>:Fn;k(x1; : : : ; xn) = 0:92®£®®¡° §¨¿» ¯®ª ¦¥¬, ·²® M ¬®¦® ¥±²¥±²¢¥»¬ ®¡° §®¬ ¢¢¥±²¨ ±²°³ª²³°³ £« ¤ª®£® ¬®£®®¡° §¨¿.
«¿ ½²®£® ¢®±¯®«¼§³¥¬±¿ ²¥®°¥¬®© ® ¥¿¢®©´³ª¶¨¨.³±²¼ P = (P 1; : : : ; P n) | ¯°®¨§¢®«¼ ¿ ²®·ª ¨§ M. ª ª ª ¯®¢¥°µ®±²¼ °¥£³«¿° , ° £ ¬ ²°¨¶» ª®¡¨ (@Fi =@xj ) ¢ ²®·ª¥ P ° ¢¥ k, ¯®½²®¬³ ¨¬¥¥²±¿ ¬¨®°, ²¿³²»© ±²®«¡¶» ± ¥ª®²®°»¬¨ ®¬¥° ¬¨ i1 < < in;k , ª®²®°»© ¥ ° ¢¥ ³«¾. ®«®¦¨¬ I = fi1 ; : : : ; in;k g, ¨ ¯³±²¼J = fj1; : : : ; jk g | ¤®¯®«¨²¥«¼»© ¡®° ¨¤¥ª±®¢, ².¥. I [ J = f1; : : : ; ng.® ²¥®°¥¬¥ ® ¥¿¢®© ´³ª¶¨¨, ¢ ¥ª®²®°®© ®ª°¥±²®±²¨ ²®·ª¨ P ±¨±²¥¬³³° ¢¥¨©, § ¤ ¾¹¨µ ¯®¢¥°µ®±²¼ M, ¬®¦® ° §°¥¸¨²¼ ®²®±¨²¥«¼® ¯¥°¥¬¥»µ xj , ² ª¨µ ·²® j 2 J.
¡®§ ·¨¬ ·¥°¥§ RkJ ª®®°¤¨ ²®¥ ¯®¤¯°®±²° ±²¢®, ²¿³²®¥ ¡ §¨±»¥ ¢¥ª²®°» ej1 ; : : : ; ejk . ®£¤ ±³¹¥±²¢³¾²£« ¤ª¨¥ ´³ª¶¨¨8 i1 i1 j1><x = g (x ; : : : ; xjk );>:xin;k = gin;k (xj ; : : : ; xjk );1®¯°¥¤¥«¥»¥ ¢ ®ª°¥±²®±²¨ V ²®·ª¨ (P j1 ; : : : ; P jk ) 2 RkJ , ² ª¨¥ ·²®;Fp : : : ; giq (xj1 ; : : : ; xjk ); : : : ; xjr ; : : : = 0¤«¿ «¾¡®£® p = 1; : : : ; n ; k.³ª¶¨¨ gi ¯®°®¦¤ ¾² £« ¤ª®¥ ®²®¡° ¦¥¨¥ G ¨§ V ¢ Rn ² ª:8j j>x =x ;>>><xjk = xjk ;>xi = gi (xj ; : : : ; xjk );>>>:xin ;k = gin;k (xj ; : : : ; xjk ):111111 ª ª ª F G = 0, ²® ®¡° § ®ª°¥±²®±²¨ V «¥¦¨² ¯®¢¥°µ®±²¨ M. ªª ª ¢±¥ ª®®°¤¨ ²»¥ ´³ª¶¨¨, § ¤ ¾¹¨¥ G | £« ¤ª¨¥, ½²® ®²®¡° ¦¥¨¥¿¢«¿¥²±¿ £« ¤ª¨¬ (¨, ±«¥¤®¢ ²¥«¼®, ¥¯°¥°»¢»¬).
±±¬®²°¨¬ ¯°®¥ª¶¨¾': Rn ! RkJ , ±² ¢¿¹³¾ ª ¦¤®© ²®·ª¥ Q = (Q1; : : : ; Qn) 2 Rn ²®·ª³ QJ =(Qj1 ; : : : ; Qjk ) 2 RkJ . ¥£ª® ¢¨¤¥²¼, ·²® ª®¬¯®§¨¶¨¿ ' G ¨ ª®¬¯®§¨¶¨¿G ', ®£° ¨·¥ ¿ G(V ), ¿¢«¿¾²±¿ ²®¦¤¥±²¢¥»¬¨ ®²®¡° ¦¥¨¿¬¨,¯°¨ ½²®¬ ' | ¥¯°¥°»¢®. ²±¾¤ § ª«¾· ¥¬, ·²® ' | £®¬¥®¬®°´¨§¬.
· ±²®±²¨, G(V ) | ½²® ¥ª®²®° ¿ ®ª°¥±²®±²¼ ²®·ª¨ P ¯®¢¥°µ®±²¨ M.²®¡° ¦¥¨¥ G ¡³¤¥¬ §»¢ ²¼ «®ª «¼»¬ ¯°¥¤±² ¢«¥¨¥¬ ¯®¢¥°µ®±²¨M ¢ ¢¨¤¥ £° ´¨ª .»¡¥°¥¬ ¥ ¡®«¥¥ ·¥¬ ±·¥²®¥ ·¨±«® ²®·¥ª P , ² ª¨µ ·²® ±®®²¢¥²±²¢³¾¹¨¥ ¨¬ ®ª°¥±²®±²¨ U ¯®ª°»¢ ¾² M (¤®ª ¦¨²¥, ·²® ½²® ¢±¥£¤ ¬®¦®±¤¥« ²¼), ¨ ° ±±¬®²°¨¬ ²« ±, ±®±² ¢«¥»© ¨§ ª °² (U; ').®£®®¡° §¨¿93¥®°¥¬ 12.1 ®±²°®¥»© ²« ± § ¤ ¥² M ±²°³ª²³°³ £« ¤ª®£® ¬®-£®®¡° §¨¿.» ¤®«¦» ¯°®¢¥°¨²¼, ·²® ´³ª¶¨¨ ¯¥°¥µ®¤ | £« ¤ª¨¥.
³±²¼ (U; ') ¨ (U 0 ; '0) | ¤¢¥ ¯°®¨§¢®«¼»¥ ª °²», ² ª¨¥ ·²® U ¨U 0 ¯¥°¥±¥ª ¾²±¿. ³±²¼ ': U ! RkJ , '0 : U 0 ! RkJ 0, £¤¥ J 0 = fj10 ; : : : ; jk0 g.¡®§ ·¨¬ ·¥°¥§ G ¨ G0 ±®®²¢¥²±²¢³¾¹¨¥ «®ª «¼»¥ ¯°¥¤±² ¢«¥¨¥ ¯®¢¥°µ®±²¨ M ¢ ¢¨¤¥ £° ´¨ª®¢. ±±¬®²°¨¬0 ¯°®¨§¢®«¼®¥j 0 2 J 0 ¨ ¢»¿±¨¬, ª ª ¢»£«¿¤¨² ª®®°¤¨ ²0 j1jj ¿ ´³ª¶¨¿ x = x (x ; : : : ; xjk ) ®²®¡° ¦¥¨¿ ±ª«¥©ª¨ '0 G. ª ª ª '0| ®²®¡° ¦¥¨¥ ¯°®¥ª²¨°®¢ ¨¿, ²®, ¢ ±¨«³ ¿¢®£® ¢¨¤ ®²®¡° ¦¥¨¿ G,¯®«³· ¥¬, ·²® xj 0 = xj 0 , ¥±«¨ j 0 2 J, ¨ xj 0 (xj1 ; : : : ; xjk ) = gj 0 (xj1 ; : : : ; xjk ) ¢¯°®²¨¢®¬ ±«³· ¥.
²¨ ´³ª¶¨¨ | £« ¤ª¨¥, ·²® ¨ § ¢¥°¸ ¥² ¤®ª § ²¥«¼±²¢® ²¥®°¥¬».°¨¢¥¤¥¬ ¯°¨¬¥°» £« ¤ª¨µ ¬®£®®¡° §¨©, § ¤ »µ ¥¿¢»¬¨ ´³ª¶¨¿¬¨.°¨¬¥°. ³±²¼ F (x1; : : : ; xn) | £« ¤ª ¿ ´³ª¶¨¿ Rn, ¯°¨·¥¬ ¢ ª ¦¤®©²®·ª¥ P , ² ª®© ·²® F(P) = 0, £° ¤¨¥² ´³ª¶¨¨ F ¥ ° ¢¥ ³«¾.
®£¤ ¯®¢¥°µ®±²¼ M = fx j F(x) = 0g | £« ¤ª®¥ ¬®£®®¡° §¨¥.°¨¬¥°. ¥®°¥¬³ 12.1 ¬®¦® ¨±¯®«¼§®¢ ²¼ ¤«¿ ¤®ª § ²¥«¼±²¢ ²®£®, ·²®¬ ²°¨·»¥ £°³¯¯», ² ª¨¥ ª ª O(n), SO(n), U(n), SU(n), SL(n) ¨ ¬®£¨¥¤°³£¨¥, ¿¢«¿¾²±¿ £« ¤ª¨¬¨ ¬®£®®¡° §¨¿¬¨.¯° ¦¥¨¥ 12.2 ®ª § ²¼, ·²® £°³¯¯ O(n) ®°²®£® «¼»µ ¯°¥®¡° §®¢ ¨© n-¬¥°®£® ¯°®±²° ±²¢ Rn ¿¢«¿¥²±¿ £« ¤ª¨¬ ¬®£®®¡° §¨¥¬ ¨®ª § ²¥«¼±²¢®. ©²¨ ° §¬¥°®±²¼ ½²®£® ¬®£®®¡° §¨¿.SL(n) ¯°¥®¡° §®¢ ¨© n-¬¥°®£®¯°®±²° ±²¢ Rn, ¨¬¥¾¹¨µ ¥¤¨¨·»© ®¯°¥¤¥«¨²¥«¼, ¿¢«¿¥²±¿ £« ¤ª¨¬¬®£®®¡° §¨¥¬ ¨ ©²¨ ° §¬¥°®±²¼ ½²®£® ¬®£®®¡° §¨¿.¯° ¦¥¨¥ 12.3 ®ª § ²¼, ·²® £°³¯¯ ®£¨¥ ¨§ ° ±±¬®²°¥»µ ¬®£®®¡° §¨© \³±²°®¥» ®¤¨ ª®¢®" ± ²®·ª¨§°¥¨¿ ²®¯®«®£¨¨, ².¥.
£®¬¥®¬®°´» ¤°³£ ¤°³£³. °¨¢¥¤¥¬ ¯°¨¬¥°.¥®°¥¬ 12.2 °¥µ¬¥°®¥ ¯°®¥ª²¨¢®¥ ¯°®±²° ±²¢® RP(3) £®¬¥®¬®°´®¬ ²°¨·®© £°³¯¯¥ SO(3) ±¯¥¶¨ «¼»µ (± ®¯°¥¤¥«¨²¥«¥¬ 1) ®°²®£® «¼»µ¯°¥®¡° §®¢ ¨© ²°¥µ¬¥°®£® ¥¢ª«¨¤®¢ ¯°®±²° ±²¢ R3. ¯®¬¨¬, ·²® ª ¦¤®¥ ¯°¥®¡° §®¢ ¨¥ A 2 SO(3), A 6=E, ¯°¥¤±² ¢«¿¥² ±®¡®© ¢° ¹¥¨¥ ¢®ª°³£ ¥ª®²®°®© ®±¨ ` ¥ª®²®°»© ³£®«', 0 < ' . ±±¬®²°¨¬ § ¬ª³²»© ¸ ° D3 ± ¶¥²°®¬ ¢ ³«¥ O ° ¤¨³± ¨ ®¯°¥¤¥«¨¬ ®²®¡° ¦¥¨¥ : D3 ! SO(3) ² ª.
®±² ¢¨¬ ¢ ±®®²¢¥²±²¢¨¥ ²®·ª¥ O 2 D3 ²®¦¤¥±²¢¥®¥ ¯°¥®¡° §®¢ ¨¥ E; ®²«¨·®© ®² O ²®·ª¥®ª § ²¥«¼±²¢®.®£®®¡° §¨¿94P 2 D3 , ¥ «¥¦ ¹¥© £° ¨¶¥ ¸ ° D3 , | ¢° ¹¥¨¥ A ¢®ª°³£ ¯°¿¬®©OP ³£®« ' = jP j, ¯°¨·¥¬ ¨§ ¤¢³µ ¢®§¬®¦»µ ¯°¥®¡° §®¢ ¨© ½²®£® ²¨¯ ¢»¡¥°¥¬ ²®, ª®²®°®¥ ³¤®¢«¥²¢®°¿¥² ±«¥¤³¾¹¥¬³ ³±«®¢¨¾: ¥±«¨ | ¯«®±ª®±²¼, ®°²®£® «¼ ¿ ª `, ¨ v 2 | ¯°®¨§¢®«¼»© ¥³«¥¢®© ¢¥ª²®°, ²®¯®²°¥¡³¥¬, ·²®¡» °¥¯¥° (v; Av; OP) ¡»« ¯®«®¦¨²¥«¼® ®°¨¥²¨°®¢ ; ª®¥¶, ª ¦¤®© £° ¨·®© ²®·ª¥ P ¸ ° D3 ¯®±² ¢¨¬ ¢ ±®®²¢¥²±²¢¨¥ ¢° ¹¥¨¥ ¢®ª°³£ ¯°¿¬®© OP ³£®« (² ª®¥ ¢° ¹¥¨¥ ®¯°¥¤¥«¥® ®¤®§ ·®).±®, ·²® ®¡° § ®²®¡° ¦¥¨¿ ±®¢¯ ¤ ¥² ± SO(3); ®²®¡° ¦¥¨¥ ¢§ ¨¬®®¤®§ ·® ¢³²°¥®±²¨ ¸ ° D3 ; ª ¦¤®© ¯ °¥ ¤¨ ¬¥²° «¼® ¯°®²¨¢®¯®«®¦»µ ²®·¥ª ¨§ £° ¨¶» ¸ ° D3 ±² ¢¨²±¿ ®¤® ¨ ²®¦¥ ¢° ¹¥¨¥,¯°¨·¥¬ ° §»¬ ¯ ° ¬ ² ª¨µ ²®·¥ª ±² ¢¿²±¿ ¢ ±®®²¢¥²±²¢¨¥ ° §»¥ ¢° ¹¥¨¿, ®²«¨·»¥ ®² ²¥µ, ª®²®°»¥ ±®®²¢¥²±²¢³¾² ²®·ª ¬ ¢³²°¥®±²¨ ¸ ° D3 .
ª ª ª ®±¼ ¢° ¹¥¨¿ ¨ ³£®« ¯®¢®°®² ¥¯°¥°»¢® § ¢¨±¿² ®² ª®½´´¨¶¨¥²®¢ ¬ ²°¨¶» ¯®¢®°®² , ¬» ¯®«³· ¥¬, ·²® SO(3) £®¬¥®¬®°´® ¤¨±ª³D3 , ³ ª®²®°®£® ®²®¦¤¥±²¢«¥» ¤¨ ¬¥²° «¼® ¯°®²¨¢®¯®«®¦»¥ ²®·ª¨ £° ¨¶». ¤°³£®© ±²®°®», ª ¦¤ ¿ ²®·ª ¯°®¥ª²¨¢®£® ¯°®±²° ±²¢ RP3 |½²® ¥ª®²®° ¿ ¯°¿¬ ¿ ` ¢ R4 ± ª®®°¤¨ ² ¬¨ x1 ; : : : ; x4, ¯°®µ®¤¿¹ ¿ ·¥°¥§ · «® ª®®°¤¨ ². ±±¬®²°¨¬ ±² ¤ °²³¾ ±´¥°³ S 3 , ¨ ¯³±²¼ S+3 =S 3 \ fx4 0g | § ¬ª³² ¿ ¯®«³±´¥° . ±®, ·²® S+3 £®¬¥®¬®°´ § ¬ª³²®¬³ ²°¥µ¬¥°®¬³ ¤¨±ª³ (£®¬¥®¬®°´¨§¬ § ¤ ¥²±¿ ¯°®¥ª¶¨¥© ²°¥µ¬¥°®¥ ¯°®±²° ±²¢® fx4 = 0g).
±«¨ ` ¥ «¥¦¨² ¢ fx4 = 0g, ²® ® ¯¥°¥±¥ª ¥²¯®«³±´¥°³ S+3 °®¢® ¢ ®¤®© ²®·ª¥. ±«¨ ¦¥ ` «¥¦¨² ¢ fx4 = 0g, ²® `¯¥°¥±¥ª ¥² ¯®«³±´¥°³ ¢ ¤¢³µ ¤¨ ¬¥²° «¼® ¯°®²¨¢®¯®«®¦»µ ²®·ª µ. ª¨¬ ®¡° §®¬, RP3 £®¬¥®¬®°´® ¤¨±ª³ S+3 , ³ ª®²®°®£® ®²®¦¤¥±²¢«¿¾²±¿¯°®²¨¢®¯®«®¦»¥ ²®·ª¨ £° ¨¶». ®ª § ²¥«¼±²¢® § ª®·¥®.95®£®®¡° §¨¿ ¤ ·¨ ª «¥ª¶¨¨ 12 ¤ · 12.1 ®ª § ²¼, ·²® ®¡º¥¤¨¥¨¥ ¤¢³µ ª®®°¤¨ ²»µ ®±¥© ¥ ¿¢«¿-¥²±¿ ¬®£®®¡° §¨¥¬. ¤ · 12.2 ®ª § ²¼, ·²®¬®£®®¡° §¨¿.GL(n; R), O(n), SO(n) ¨ SL(n; R) | £« ¤ª¨¥ ¤ · 12.3 ®ª § ²¼, ·²® £°³¯¯ £®¬¥®¬®°´ £°³¯¯ O(2)?SO(2) £®¬¥®¬®°´ ®ª°³¦®±²¨.¥¬³ ¤ · 12.4 ª®¬³ ¬®£®®¡° §¨¾ £®¬¥®¬®°´® ¬®¦¥±²¢® ¢±¥µ ¯°¿¬»µ ¯«®±ª®±²¨? ±¥µ ®°¨¥²¨°®¢ »µ ¯°¿¬»µ ¯«®±ª®±²¨?®£®®¡° §¨¿ (¯°®¤®«¦¥¨¥)¥ª¶¨¿ 13.96®£®®¡° §¨¿ (¯°®¤®«¦¥¨¥) ¯°¥¤»¤³¹¥© «¥ª¶¨¨ ¬» ¯®ª § «¨, ·²® § ¤ »¥ ±¨±²¥¬®© ³° ¢¥¨©°¥£³«¿°»¥ ¯®¢¥°µ®±²¨ ¢ ¥¢ª«¨¤®¢®¬ ¯°®±²° ±²¢¥ ¿¢«¿¾²±¿ ¬®£®®¡° §¨¿¬¨.
¯®¬¨¬, ·²® ± ¬® Rn ² ª¦¥ ¯°¥¤±² ¢«¿¥² ±®¡®© ¬®£®®¡° §¨¥. ª¨¬ ®¡° §®¬, ¬» ¨¬¥¥¬ ¤¥«® ± ¬®£®®¡° §¨¥¬ (¯®¢¥°µ®±²¼¾), «¥¦ ¹¨¬¢ ¤°³£®¬ ¬®£®®¡° §¨¨ (¢ Rn). ²® ° ±±¬®²°¥¨¥ ¯°¨¢®¤¨² ª ±«¥¤³¾¹¥¬³¢ ¦®¬³ ¯®¿²¨¾.13.1®¤¬®£®®¡° §¨¿®¤¬®¦¥±²¢® M £« ¤ª®£® ¬®£®®¡° §¨¿ N ° §¬¥°®±²¨n §»¢ ¥²±¿ £« ¤ª¨¬ ¯®¤¬®£®®¡° §¨¥¬ ° §¬¥°®±²¨ m, ¥±«¨ ¤«¿ ª ¦¤®©²®·ª¨ P 2 M ±³¹¥±²¢³¥² ² ª ¿ ª °² (U; '), P 2 U, ·²® ¬®¦¥±²¢® '(M \U) ¿¢«¿¥²±¿ m-¬¥°®© ¯®¢¥°µ®±²¼¾.§ ¤®ª § ®£® ¢»¸¥ ¢»²¥ª ¥², ·²® ª ¦¤®¥ ¬®¦¥±²¢® M \ U ¿¢«¿¥²±¿£« ¤ª¨¬ ¬®£®®¡° §¨¥¬, ¯®½²®¬³ ¨ ¢±¥ ¬®¦¥±²¢® M ¿¢«¿¥²±¿ ¯®¤¬®£®®¡° §¨¥¬ (¢ ª ·¥±²¢¥ ²« ± ¤® ¢§¿²¼ ®¡º¥¤¨¥¨¥ ª °² ¯® ¢±¥¬ M \ U).¯° ¦¥¨¥ 13.1 ®ª ¦¨²¥, ·²® O(n) ¨ SL(n; R) ¿¢«¿¾²±¿ £« ¤ª¨¬¨2¯°¥¤¥«¥¨¥.¯®¤¬®£®®¡° §¨¿¬¨ ¢ Rn .13.2« ¤ª¨¥ ®²®¡° ¦¥¨¿ ¬®£®®¡° §¨©, ¤¨´´¥®¬®°´¨§¬»³±²¼ M ¨ N | ¤¢ ²®¯®«®£¨·¥±ª¨µ ¬®£®®¡° §¨¿, ¨ f : M ! N | ¥¯°¥°»¢®¥ ®²®¡° ¦¥¨¥.
±±¬®²°¨¬ ¯°®¨§¢®«¼³¾ ²®·ª³ P 2 M, ¥ª®²®°³¾ª °²³ (U ; ') M, ² ª³¾ ·²® P 2 U , ¨ ¥ª®²®°³¾ ª °²³ (V ; ) N, ² ª³¾ ·²® f(P) 2 V . ®£¤ ®²®¡° ¦¥¨¥ f '; 1 , ®¯°¥¤¥«¥®¥¢ ¥ª®²®°®© ®ª°¥±²®±²¨ ²®·ª¨ ' (P), §»¢ ¥²±¿ ª®®°¤¨ ²®© § ¯¨±¼¾®²®¡° ¦¥¨¿ f. ±«¨ N = R, ²® ®²®¡° ¦¥¨¥ f §»¢ ¥²±¿ ´³ª¶¨¥© M, ¥±«¨ N = Rn, ²® f §»¢ ¥²±¿ ¢¥ª²®°®-§ ·®© ´³ª¶¨¥© M.¯°¥¤¥«¥¨¥. ²®¡° ¦¥¨¥ £« ¤ª®£® m-¬¥°®£® ¬®£®®¡° §¨¿ ¢ £« ¤ª®¥n-¬¥°®¥ ¬®£®®¡° §¨¥ §»¢ ¥²±¿ £« ¤ª¨¬, ¥±«¨ ª ¦¤ ¿ ª®®°¤¨ ² ¿ § ¯¨±¼ ½²®£® ®²®¡° ¦¥¨¿ | £« ¤ª®¥ ®²®¡° ¦¥¨¥ ¨§ ¥ª®²®°®© ®ª°¥±²®±²¨¯°®±²° ±²¢ Rm ¢ ¯°®±²° ±²¢® Rn. « ¤ª®¥ ®²®¡° ¦¥¨¥ ¨§ £« ¤ª®£®¬®£®®¡° §¨¿ M ¢ R §»¢ ¥²±¿ £« ¤ª®© ´³ª¶¨¥© M. ±«¨ ± ²®·ª¨ §°¥¨¿ ²®¯®«®£¨¨ ¬» ¥ ° §«¨· ¥¬ £®¬¥®¬®°´»¥ ¯°®±²° ±²¢ , ²® ¯°¨ ®²®¦¤¥±²¢«¥¨¨ £« ¤ª¨µ ¬®£®®¡° §¨© ¬» ¡³¤¥¬ ¤®¯®«¨²¥«¼® ª« ¤»¢ ²¼ ³±«®¢¨¥ £« ¤ª®±²¨ ±®®²¢¥²±²¢³¾¹¨¥ £®¬¥®¬®°´¨§¬».