Е.В. Троицкий - Дифференциальная геометрия и топология (1124100), страница 5
Текст из файла (страница 5)
»° §¨²¼ ¤¥²¥°¬¨ ² ¬ ²°¨¶» ¢ ¢¨¤¥ °¥§³«¼² ² ²¥§®°»µ ®¯¥° ¶¨©.jj ¤ · 6.7. ®ª § ²¼, ·²® ¢¥«¨·¨» Cii, Cji Ci , Cji Ck Cik , ¢»° ¦ ¾²±¿ ·¥°¥§ ª®½´´¨¶¨¥²» ¬®£®·«¥ det (C E ) . ¤ · 6.8. ©²¨ ²¨¯ ²¥§®° , ª®¬¯®¥²» ª®²®°®£® ±³²¼ ª®½´´¨¶¨¥²»1) ¢¥ª²®°®£® ¯°®¨§¢¥¤¥¨¿,2) ±¬¥¸ ®£® ¯°®¨§¢¥¤¥¨¿¢¥ª²®°®¢ ¢ R3. ®ª § ²¼, ·²® ½²¨ ²¥§®°» ¯®«³· ¾²±¿ ¤°³£ ¨§ ¤°³£ ¯³²¥¬ ¯®¤»¬ ¨¿ ¨«¨ ®¯³±ª ¨¿ ¨¤¥ª±®¢ (®¯°¥¤¥«¥¨¥ | ¨¦¥). ¤ · 6.9. ³±²¼ X ¨¬¥¥² ¢ «¥²®±²¼ (1; 0), W { (0; 1).
©²¨ ° £ ®¯¥° ²®° X W.¯°¥¤¥«¥¨¥ 6.10. ¥§®°®¥ ¯®«¥ ²¨¯ (0; 1) §»¢ ¥²±¿ ª®¢¥ª²®°»¬.®£« ±® § ¤ ·¥ ¢»¸¥ dxi = grad xi ¿¢«¿¥²±¿ ª®¢¥ª²®°®¬. ¤ · 6.11. ²®·ª¥ ª®¢¥ª²®°» ¿¢«¿¾²±¿ ´³ª¶¨® « ¬¨ ¢¥ª²®° µ.@ g ¢ T M ¨ fdxj g ¢ T M ¤¢®©±²¢¥». ¤ · 6.12. §¨±» f @xPiP1 ±±¬®²°¨¬ C (M )-«¨¥©®¥ ®²®¡° ¦¥¨¥ L(v1; : : : ; vq; a1; : : : ; ap) § ¢¨±¿¹¥¥ ®² q¢¥ª²®°»µ ¨ p ª®¢¥ª²®°»µ ¯®«¥©, ¨ ¯°¨¨¬ ¾¹¥¥ § ·¥¨¿ ¢ C 1(M ).
±±¬®²°¨¬±®®²¢¥²±²¢¨¿0 :::i0pTji101:::jq0T 7! LT ;¨L 7! TL;i0i1 :::ip @x 1= Tj1:::jq @xi111:::ip jpjq 1LT (v1; : : : ; vq; a1; : : : ; ap) := Tji :::jq v1 : : :vq ai : : : aip ;1111@@piipTL : (x1; : : :; xn) ; (TL)ji :::i:::jq := L( @xj ; : : :; @xjq ; dx ; : : :; dx ):11 ¤ · 6.13.21111) LT ¯®«¨«¨¥¥ ¨ ¥ § ¢¨±¨² ®² ¢»¡®° ±¨±²¥¬» ª®®°¤¨ ².2) TL ¤¥©±²¢¨²¥«¼® ³¤®¢«¥²¢®°¿¥² (p; q)-²¥§®°®¬³ § ª®³.3) ²¨ ®²®¡° ¦¥¨¿ ¢§ ¨¬® ®¡° ²».¯°¥¤¥«¥¨¥ 6.14. ³±²¼ ¤ » ¤¢ ²¥§®°»µ ¯®«¿ ²¨¯ (p; q ): T ¨ S . ¯°¥¤¥«¨¬²¥§®°®¥ ¯®«¥ T + S , §»¢ ¥¬®¥ ±³¬¬®© T ¨ S , ¯®« £ ¿i :::ipi :::ipp(T + S )ij :::i:::jq := Tj :::jq + Sj :::jq :111111¥¬¬ 6.15. ²® ¤¥©±²¢¨²¥«¼® ²¥§®° ²¨¯ ®ª § ²¥«¼±²¢®.
1 ±¯®±®¡. ¤® ¯°®¢¥°¨²¼ ¤ · 6.16. °®¤¥« ©²¥ ¢»ª« ¤ª³.(p; q).²¥§®°»© § ª®.³¬¬ ¤¢³µ ¯®«¨«¨¥©»µ ®²®¡° ¦¥¨© LT + LS ¿¢«¿¥²±¿ ¯®«¨«¨¥©»¬ ®²®¡° ¦¥¨¥¬ ²®£® ¦¥ ²¨¯ ,° ¢»¬ LT +S .2i :::ip¯°¥¤¥«¥¨¥ 6.17. ±«¨ Tj :::jq | ²¥§®°®¥ ¯®«¥ M , f 2 C 1(M ), ²®,®·¥¢¨¤®, ²¥§®°»¬¯®«¥¬ ¿¢«¿¥²±¿ ¯°®¨§¢¥¤¥¨¥ ´³ª¶¨¨ ²¥§®° f T :i :::ip1n(x ; : : :; x ) ; f Tj :::jq .¯°¥¤¥«¥¨¥ 6.18.
®«¥ S ²¨¯ (p; q ) ¯®«³·¥® ¨§ ¯®«¿ T ²¨¯ (p; q ) ¯¥°¥±² ®¢i :::ia :::i :::ipª®© ¢¥°µ¨µ (¨¦¨µ | «®£¨·®) ¨¤¥ª±®¢ ± ®¬¥° ¬¨ a ¨ b, ¥±«¨ Sj :::jq b=i :::ib:::ia :::ip.Tj :::jq®ª § ²¥«¼±²¢® ²®£®, ·²® ¯®«³·¥® ²¥§®°®¥ ¯®«¥, ®·¥¢¨¤®, ¥±«¨ ¬» ° ±±¬®²°¨¬ ±®®²¢¥²±²¢³¾¹¨¥ ¯®«¨«¨¥©»¥ ®²®¡° ¦¥¨¿. ¤ · 6.19. ®ª § ²¼ ¯°¨¬¥°¥, ·²® ¯¥°¥±² ®¢ª ¢¥°µ¥£® ¨ ¨¦¥£® ¨¤¥ª± ¥ ¿¢«¿¥²±¿ ²¥§®°®© ®¯¥° ¶¨¥©. ±±¬®²°¥²¼ ±«³· © ²¥§®° ²¨¯ (1; 1) («¨¥©®£® ®¯¥° ²®° ).
®«³·¨²¼ ¢ · ±²®±²¨, ·²® ¯®¿²¨¥ ±¨¬¬¥²°¨·®±²¨ ®¯¥° ²®° Cji = Cij § ¢¨±¨² ®² ±¨±²¥¬» ª®®°¤¨ ².¯°¥¤¥«¥¨¥ 6.20. ¢¥°²ª®© ²¥§®° T ²¨¯ (p; q ) ¯® ¢¥°µ¥¬³ ¨¤¥ª±³ ± ®¬¥°®¬ a ¨ ¨¦¥¬³ ¨¤¥ª±³ ± ®¬¥°®¬ b §»¢ ¥²±¿ ²¥§®° S ²¨¯ (p 1; q 1),®¯°¥¤¥«¿¥¬»©p := X T i :::ia iia :::ip :Sji :::i:::jqj :::jb ijb :::jq2 ±¯®±®¡.111111111111111111i²® ¤¥©±²¢¨²¥«¼® ²¥§®°®¥ ¯®«¥ ²¨¯ (p 1; q 1), ¯®±ª®«¼ª³ LS (v1; : : : ; vq 1; a1; : : :; ap 1) =X@ ; v ; : : :; v ; a1; : : :; ab 1; dxi; ab; : : :; ap 1);= LT (v1; : : :; va 1; @xq 1i aiX @xi0 @xii i0 = 1;i @x @x² ª ·²® ¯° ¢ ¿ · ±²¼ ¥ § ¢¨±¨² ®² ¢»¡®° ±¨±²¥¬» ª®®°¤¨ ².°¨¬¥° 6.21.
¢¥°²ª Cii ²¥§®° ²¨¯ (1; 1) | ±«¥¤ «¨¥©®£® ®¯¥° ²®° .22T S ¤¢³µ ²¥§®°»µ ¯®«¥© T ²¨¯ (p; q) ¨ S ²¨¯ (r; t) §»¢ ¥²±¿ ²¥§®°®¥ ¯®«¥ ²¨¯ (p+r; q +t), § ¤ ¢ ¥¬®¥ ´®°¬³«®©¯°¥¤¥«¥¨¥ 6.22.¥§®°»¬ ¯°®¨§¢¥¤¥¨¥¬i ;:::;ip ipp r(T S )ij ;:::;i;:::;jq t := Tj ;:::;jq Sjq1+1+11+1+1;:::;ip+r;:::;jq+t :®®²¢¥²±²¢³¾¹¥¥ LT S ¥±²¼ ¯°®±²® ¯°®¨§¢¥¤¥¨¥ ¯®«¨«¨¥©»µ ®²®¡° ¦¥¨©, ±«¥¤®¢ ²¥«¼® | ¯®«¨«¨¥©®¥ ®²®¡° ¦¥¨¥ ±®®²¢¥²±²¢³¾¹¨µ °£³¬¥²®¢.
ª¨¬®¡° §®¬, T S ¤¥©±²¢¨²¥«¼® ²¥§®°®¥ ¯®«¥. ¤ · 6.23. ®ª § ²¼, ·²® «®ª «¼® ¤«¿ «¾¡®© ±¨±²¥¬» ª®®°¤¨ ² ¨¬¥¥² ¬¥±²®° §«®¦¥¨¥@:::ip @jjqT = Tji :::jq @xi : : : @xip dx : : : dx :® ¥¤¨±²¢¥®.¯°¥¤¥«¥¨¥ 6.24. ³±²¼ bij | ¥¢»°®¦¤¥®¥ ²¥§®°®¥ ¯®«¥ ²¨¯ (0; 2). ®¤¥¢»°®¦¤¥®±²¼¾ ¯®¨¬ ¥²±¿ ³±«®¢¨¥ det kbij k 6= 0. ¤ · 6.25. °®¢¥°¨²¼ ¥§ ¢¨±¨¬®±²¼ ½²®£® ³±«®¢¨¿ ®² ¢»¡®° ±¨±²¥¬» ª®®°¤¨ ². ¤ · 6.26. ®ª § ²¼, ·²® ª®¬¯®¥²» ®¡° ²®© ¬ ²°¨¶» bjk , ². ¥. ³¤®¢«¥²¢®°¿¾¹¥© ³±«®¢¨¾ bjk bki = ij , ®¡° §³¾² ²¥§®° ²¨¯ (2; 0).¯°¥¤¥«¥¨¥ 6.27. ¯¥° ¶¨¿ ¯®¤¿²¨¿ ¨¤¥ª± ³ ²¥§®° T ²¨¯ (p; q ) ¯°¨ ¯®¬®¹¨ b ¥±²¼ ª®¬¯®§¨¶¨¿ ®¯¥° ¶¨© ²¥§®°®£® ¯°®¨§¢¥¤¥¨¿ ± bij ¨ ±¢¥°²ª¨. ®«³· ¥¬ ²¥§®° S ²¨¯ (p + 1; q 1) ¯°¨¬¥°, ¤«¿ ¯¥°¢®£® ¨¤¥ª± :1111:::ipi i i :::ipSji ;:::;jq := b Tij ;:::;jq :1+11112+111 «®£¨·®, ®¯³±ª ¨¥ ¨¤¥ª± :ii :::ip:::ipSji ;:::;jq := bj i Tj ;:::;jq :111+11121+1¯°¥¤¥«¨¬ ±¨¬¬¥²°¨°®¢ ¨¥ ²¥§®°®£® ¯®«¿ T ²¨¯ (0; q)XSym(T )j ;:::;jq = T(j ;:::;jq ) = q1!Tj ;:::;j q ;2Sq¯°¥¤¥«¥¨¥ 6.28.ª ª1 «¼²¥°¨°®¢ ¨¥1(1)XAlt (T )j ;:::;jq = T[j ;:::;jq ] = q1!( 1) Tj112Sq( )(1);:::;j(q) :·¥¢¨¤®, ·²® ½²® ²¥§®°»¥ ®¯¥° ¶¨¨.
®«³·¥®¥ ¯°¨ ±¨¬¬¥²°¨°®¢ ¨¨ (±®®²¢., «¼²¥°¨°®¢ ¨¨) ¯®«¥ ¿¢«¿¥²±¿ ±¨¬¬¥²°¨·¥±ª¨¬ (±®®²¢., ª®±®±¨¬¬¥²°¨·¥±ª¨¬ ) ¢ ²®¬ ±¬»±«¥, ·²® ¨µ ª®¬¯®¥²» ¥ ¬¥¿¾²±¿ ¯°¨ ¯¥°¥±² ®¢ª¥ ¤¢³µ ¨¤¥ª±®¢ (±®®²¢., ¬¥¿¾² § ª ¯°¨ ¯¥°¥±² ®¢ª¥ ¤¢³µ ±®±¥¤¨µ ¨¤¥ª±®¢). ¤ · 6.29.
®ª ¦¨²¥, ·²® «¼²¥°¨°®¢ ¨¥ ¿¢«¿¥²±¿ «¨¥©»¬ ®²®¡° ¦¥¨¥¬,®±³¹¥±²¢«¿¾¹¨¬ ¯°®¥ª²¨°®¢ ¨¥ ª®±®±¨¬¬¥²°¨·¥±ª¨¥ ²¥§®°», ±¨¬¬¥²°¨·¥±ª¨¥ «¥¦ ² ¢ ¥£® ¿¤°¥.23¥¬¬ 6.30. ®±®±¨¬¬¥²°¨·¥±ª®¥ ²¥§®°®¥ ¯®«¥Ti :::in 1M , dim M = n (². ¥.¯®«¥ ¬ ª±¨¬ «¼®© ¢ «¥²®±²¨) ®¯°¥¤¥«¿¥²±¿ ²®«¼ª® ®¤®© ±¢®¥© (±³¹¥±²¢¥®©) ª®¬¯®¥²®©T12:::n .±² «¼»¥ ®²«¨· ¾²±¿ ®² ¥¥ § ª®¬1, ²®·¥¥,Ti :::in = T(12:::n) = ( 1) T12:::n :³¹¥±²¢¥ ¿ ª®¬¯®¥² T ¢ ¤ ®© ²®·ª¥ ®²®±¨²¥«¼® ¤°³£®© ±¨±²¥¬» ª®®°1¤¨ ² ¯®«³· ¥²±¿ ¤®¬®¦¥¨¥¬ ®¯°¥¤¥«¨²¥«¼ ¬ ²°¨¶» ª®¡¨ § ¬¥».¥°¢®¥ ³²¢¥°¦¤¥¨¥ ®·¥¢¨¤®. «¥¥, i iinX @x(1) @x(n) !@x@x T :@xT10:::n0 = Ti :::in @x10 : : : @xn0 = ( 1) @x10 : : : @xn0 T12:::n = det @xi0 12:::n¥¬¬ ¤®ª § . 2¯°¥¤¥«¥¨¥ 6.31. ¯°¥¤¥«¨¬ ¢¥¸¥¥ ¯°®¨§¢¥¤¥¨¥ R = T ^ P ¤¢³µ ª®±®±¨¬¬¥²°¨·¥±ª¨µ ²¥§®°®¢ Ti :::ik ¨ Pi :::iq ´®°¬³«®©X( 1) T(i :::ik Pik :::ik q ):Ri :::ik q = T[i :::ik Pik :::ik q ] = k!1q!2Sk q ²®·®±²¼¾ ¤® ¬®¦¨²¥«¿, ½²® ª®¬¯®§¨¶¨¿ ²¥§®°®£® ¯°®¨§¢¥¤¥¨¿ ¨ «¼²¥°¨°®¢ ¨¿.«¿ ° ¡®²» ± ª®±®±¨¬¬¥²°¨·¥±ª¨¬¨ ²¥§®° ¬¨ ²¨¯ (0; q) ¨±¯®«¼§³¥²±¿ ² ª¦¥¿§»ª ¤¨´´¥°¥¶¨ «¼»µ ´®°¬.
®·¥¥, ¯® ®¯°¥¤¥«¥¨¾ ¢¥¸¥£® ³¬®¦¥¨¿,Xdxi ^ : : : ^ dxiq = ( 1) dx(i : : : dxiq ):®ª § ²¥«¼±²¢®.1111+11+11++1++112Sq°®¢¥°¼²¥.®ª § ²¼, ·²® ¢¥¸¨¥ ¯°®¨§¢¥¤¥¨¿ ¡ §¨±»µ ª®¢¥ª²®°®¢ ®¡° §³¾² ¡ §¨± ¢ ¯°®±²° ±²¢¥ ª®±®±¨¬¬¥²°¨·¥±ª¨µ ²¥§®°®¢ (¢ ²®·ª¥). ©²¨ ° §¬¥°®±²¼ ¯°®±²° ±²¢ ±¨¬¬¥²°¨·¥±ª¨µ ²¥§®°®¢. ±±«¥¤®¢ ²¼ ¢®§¬®¦®±²¼ ° §«®¦¥¨¿ ²¥§®° ²¨¯ (0; q) ¢ ±³¬¬³ ±¨¬¬¥²°¨·¥±ª®£® ¨ ª®±®±¨¬¬¥²°¨·¥±ª®£®.®£¤ ° §«®¦¥¨¥ ²¥§®° ¯® ¡ §¨±³ ¨§ ¯°®¨§¢¥¤¥¨© ¯°¨¬¥² ¢¨¤:X XT=Ti :::iq dxi : : : dxiq =T(i ):::(iq )dx(i ) : : : dx(iq ) =i <:::<iq 2SqXXP(i)= i <:::<iq( 1) Ti :::iq dx : : : dx(iq ) =Ti :::iq dxi ^ : : : ^ dxiq : (3) ¤ · 6.32. ¤ · 6.33.1111112Sq11i1 <:::<iq11²® ¨ §»¢ ¥²±¿ § ¯¨±¼¾ ¢ ¢¨¤¥ ¤¨´´¥°¥¶¨ «¼®© ´®°¬». ª¨¬ ®¡° §®¬, ¢ ±¨«³ ¡ §¨±®±²¨ (§ ¤ · ) ° §«®¦¥¨¿ (3) ®¤®§ ·». ¤ · 6.34.
®ª ¦¨²¥, ·²® ¤«¿ ¯®«³·¥¨¿ ´®°¬³«» ¢¥¸¥£® ³¬®¦¥¨¿ ¿§»ª¥ ¤¨´´¥°¥¶¨ «¼»µ ´®°¬ ¤®±² ²®·® ¯¥°¥¬®¦¨²¼ ¢»° ¦¥¨¿, § ²¥¬, ¯³²¥¬ ¯¥°¥±² ®¢®ª (± ³·¥²®¬ § ª®¢) ³¯®°¿¤®·¨²¼ ¤¨´´¥°¥¶¨ «».q ¤ · 6.35. (±«¥¤±²¢¨¥ ¨§ «¥¬¬» 6.30) »° ¦¥¨¥ det kgij kdx1 ^ : : : ^ dxn ¿¢«¿¥²±¿ ²¥§®°®¬ ®²®±¨²¥«¼® § ¬¥ ª®®°¤¨ ² ± ¯®«®¦¨²¥«¼»¬ ¿ª®¡¨ ®¬. ¤¥±¼gij | °¨¬ ®¢ ¬¥²°¨ª .²® ¢»° ¦¥¨¥ §»¢ ¥²±¿ ´®°¬®© ®¡º¥¬ .
®§¦¥ ¬» ®¯°¥¤¥«¨¬ ¨²¥£° « ¨±¬®¦¥¬ ¢»·¨±«¿²¼ ®¡º¥¬ °¨¬ ®¢ ¬®£®®¡° §¨¿.247. ®¢ °¨ ²®¥ ¤¨´´¥°¥¶¨°®¢ ¨¥®ª ¦¨²¥, ·²® ®¡»·®¥ · ±²®¥ ¤¨´´¥°¥¶¨°®¢ ¨¥ ª®¬¯®¥² ²¥§®°®£® ¯®«¿ ¢ Rn ¥ ¿¢«¿¥²±¿ ²¥§®°®© ®¯¥° ¶¨¥©.®²¨¬ ®¯°¥¤¥«¨²¼ ²¥§®°»µ ¯®«¿µ ¢ Rn ²¥§®°³¾ ®¯¥° ¶¨¾ (p; q) ; (p; q +1), ª®²®° ¿ ±®¢¯ ¤ ¥² ¢ ¤¥ª °²®¢»µ ª®®°¤¨ ² µ ± · ±²»¬ ¤¨´´¥°¥¶¨°®¢ ¨¥¬.«¿ ½²®£® ¤® ¯°¥¦¤¥ ¢±¥£® ¯®¯»² ²¼±¿ § ¯¨± ²¼ °¥§³«¼² ² · ±²®£® ¤¨´´¥°¥¶¨°®¢ ¨¿ ¢ ¤°³£¨µ ª®®°¤¨ ² µ.¡±³¤¨¬ ± · « 0±«³· © ¢¥ª²®°®£® ¯®«¿ T i. ³±²¼ xi | ¤¥ª °²®¢ ±¨±²¥¬ ª®®°¤¨ ² ¢ Rn , xi | ¥ª®²®° ¿ ª°¨¢®«¨¥© ¿ ±¨±²¥¬ ª®®°¤¨ ². ®£¤ ¤«¿¨±ª®¬®© ®¯¥° ¶¨¨ r ¤®«¦® ¡»²¼ii0 @xj@x@T0ii(rT )j = @xj ;(rT )j0 = @xi @xj0 (rT )ij :®£¤ i0 @xj @i 0!@x@x0i(rT )j0 = @xi @xj0 @xj @xk0 T k =i0 @xj @xi @T k0 @xm0 @xi0 @xj 0 @i!@x@x= @xi @xj0 @xk0 @xm0 @xj + @xi @xj0 T k @xj @xk0 = ¤ · 7.1.00 m0 @T ki= k0 j0 @xm0² ª¨¬ ®¡° §®¬,i0@xi+ T k0 @x@ 2xi ;@xj0 @xk0i0i0@T@x@ 2xi :0 i00ki== @xj0 + T k0 j0 ;00jk@xi @xj0 @xk0@Ti , (rT ) 0 0 = @xi0 @xj0 (rT ) .«¿ ª®¢¥ª²®°®£® ¯®«¿ Ti ¤®«¦® ¡»²¼ (rT )ij = dxjijij@xi @xj®£¤ i @xj @ @xk0 !@x(rT )i0j0 = @xi0 @xj0 @xj @xi Tk0 =i @xj @xk0 @Tk0 @xm0i @xjk0 !@x@x@@x= @xi0 @xj0 @xi @xm0 @xj + @xi0 @xj0 Tk0 @xj @xi =2xk0 @xi @xj@0 m0 @Tk0k= i0 j0 @xm0 + Tk0 @xj @xi @xi0 @xj0 ;¨«¨2 xk0 @xi @xj0@T@00ikk(rT )i0j0 = @xj0 + Tk0 i0 j0 ;i0 j 0 = @xj @xi @xi0 @xj 0 :0k00 0 .¥¬¬ 7.2.