Е.В. Троицкий - Дифференциальная геометрия и топология (1124100), страница 3
Текст из файла (страница 3)
2¯°¥¤¥«¥¨¥2.19.(¥§®°®¥®¯°¥¤¥«¥¨¥ª ± ²¥«¼®£®¢¥ª²®° )( ± ²¥«¼»¬) ¢¥ª²®°®¬ ¢ ²®·ª¥ P 2 M ª ¬®£®®¡° §¨¾ M §»¢ ¥²±¿ ±®®²¢¥²±²¢¨¥, ª®²®°®¥ ª ¦¤®© ª °²¥ (U; ') («®ª «¼®© ±¨±²¥¬¥ ª®®°¤¨ ² (x1; : : :; xm)) ¢®ª°¥±²®±²¨ P ±² ¢¨² ¢ ±®®²¢¥²±²¢¨¥ ¡®° ·¨±¥« (1 ; : : :; m ). °¨ ½²®¬ ²°¥¡³¥²±¿¢»¯®«¥¨¥ ²¥§®°®£® § ª® , ±¢¿§»¢ ¾¹¥£® ¡®°» ·¨±¥«, ª®²®°»¥ ±² ¢¿²±¿ ¢±®®²¢¥²±²¢¨¥ ° §»¬ ±¨±²¥¬ ¬ «®ª «¼»µ ª®®°¤¨ ². ¬¥®, ¥±«¨ ª °²¥ (U ; ' )(«®ª «¼®© ±¨±²¥¬¥ ª®®°¤¨ ² (x1 ; : : :; xm)) ±² ¢¨²±¿ ¢ ±®®²¢¥²±²¢¨¥ ¡®° ·¨±¥«(1 ; : : : ; m ), ²®@xii = j j ;@x£¤¥ ¯® ¯®¢²®°¿¾¹¥¬³±¿ ¢¢¥°µ³ ¨ ¢¨§³ ¨¤¥ª±³ j ¯®¤° §³¬¥¢ ¥²±¿ ±³¬¬¨°®¢ ¨¥. ¤ · 2.20. (®¯° ¢¤ ¨¥ ®¯°¥¤¥«¥¨¿) ³±²¼ : ( 1; 1) ! M | £« ¤ª®¥ ®²®¡° ¦¥¨¥.
®£¤ ±®®²¢¥²±²¢¨¥1n !dxdx1n : (x ; : : :; x ) ; dt ; : : :; dt t=0¿¢«¿¥²±¿ ¢¥ª²®°®¬. ¤¥±¼ ¢ «®ª «¼®© ±¨±²¥¬¥ ª®®°¤¨ ² (x1; : : :; xn) ®²®¡° ¦¥¨¥ § ¤ ® ª ª (x1(t); : : :; xn(t)). ¤ · 2.21. ¦¤»© ª ± ²¥«¼»© ¢¥ª²®° ¢ ²®·ª¥ P ®¤®§ ·® ®¯°¥¤¥«¿¥²±¿±¢®¨¬¨ ª®¬¯®¥² ¬¨ ®²®±¨²¥«¼® ®¤®© ±¨±²¥¬» ª®®°¤¨ ². ª¨¬ ®¡° §®¬, ¬®¦¥±²¢® ª ± ²¥«¼»µ ¢¥ª²®°®¢ ¢ ²®·ª¥ P (ª ± ²¥«¼®¥ ¯°®±²° ±²¢® TP (M )) ¿¢«¿¥²±¿ ª®¥·®¬¥°»¬ ¢¥¹¥±²¢¥»¬ «¨¥©»¬ ¯°®±²° ±²¢®¬ ° §¬¥°®±²¨ dim M . °¨ ½²®¬, ®·¥¢¨¤®, ®¯¥° ¶¨¨ ¥ § ¢¨±¿² ®² ¢»¡®° «®ª «¼®© ±¨±²¥¬» ª®®°¤¨ ².11¯°¥¤¥«¥¨¥ 2.22.(¯°¥¤¥«¥¨¥ ª ± ²¥«¼®£® ¢¥ª²®° ·¥°¥§ ª°¨¢»¥) ±±¬®²°¨¬ ¤¢¥ £« ¤ª¨¥ ª°¨¢»¥ 1 : ( 1; 1) ! M ¨ 2 : ( 1; 1) ! M , ³¤®¢«¥²¢®°¿¾¹¨¥ ³±«®¢¨¿¬: i (0) = P ¤«¿ ¥ª®²®°®© (±«¥¤®¢ ²¥«¼®, «¾¡®©) ±¨±²¥¬» ª®®°¤¨ ² (x1; : : : ; xm) ¢®ª°¥±²®±²¨ P ¢»¯®«¿¥²±¿ ³±«®¢¨¥:m hi2Xxk (1(t)) xk (2(t)) = o(t2); (t ! 0):k=1 ª¨¥ ª°¨¢»¥ §»¢ ¾²±¿ ±®¯°¨ª ± ¾¹¨¬¨±¿ : 1 2.±¥ ª°¨¢»¥, ³¤®¢«¥²¢®°¿¾¹¨¥ ¯¥°¢®¬³ ³±«®¢¨¾, ° §¡¨¢ ¾²±¿ ª« ±±» ±®¯°¨ª ± ¾¹¨µ±¿.
²¨ ª« ±±» §»¢ ¾²±¿ ª ± ²¥«¼»¬¨ ¢¥ª²®° ¬¨ ª M ¢ ²®·ª¥ P .¯°¥¤¥«¥¨¥ 2.23. (¯°¥¤¥«¥¨¥ ª ± ²¥«¼®£® ¢¥ª²®° ·¥°¥§ ¤¨´´¥°¥¶¨°®¢ ¨¿) ¨¥©®¥ ®²®¡° ¦¥¨¥: 1( ) R, ². ¥. «¨¥©»© ´³ª¶¨® «D C M ! ¯°®±²° ±²¢¥ £« ¤ª¨µ ´³ª¶¨©, §»¢ ¥²±¿ ®¯¥° ²®°®¬ ¤¨´´¥°¥¶¨°®¢ ¨¿ ¢²®·ª¥ P 2 M , ¥±«¨ § ·¥¨¿ ¥£® ®¯°¥¤¥«¿¾²±¿ ²®«¼ª® § ·¥¨¿¬¨ ´³ª¶¨© ¢ ®ª°¥±²®±²¨ P , ²®·¥¥, ¥±«¨ f; g 2 C 1(M ) ² ª®¢», ·²® f g ¥ª®²®°®© ®ª°¥±²®±²¨ U ²®·ª¨P , ²® D(f ) = D(g) (\®¯¥° ²®° § ¤ °®±²ª µ ´³ª¶¨©"); ¢»¯®«¥® ³±«®¢¨¥ ¼¾²® {¥©¡¨¶ D(fg) = f (P )D(g) + g(P )D(f ) ¤«¿ «¾¡»µ f; g 2 C 1(M ): §®¢¥¬ ² ª®© ®¯¥° ²®° ¤¨´´¥°¥¶¨°®¢ ¨¿ ª ± ²¥«¼»¬ ¢¥ª²®°®¬ ª M ¢ ²®·ª¥P. ¤ · 2.24. ³±²¼ (x1 ; : : :; xn ) | «®ª «¼ ¿ ±¨±²¥¬ ª®®°¤¨ ² ¢ ®ª°¥±²®±²¨P 2 M , P = (x10; : : :; xn0 ), 2 TP M ¨¬¥¥² ª®®°¤¨ ²» i.
®£¤ ±®®²¢¥²±²¢¨¥n @fX1n if 7! @xi (x0 ; : : :; x0 )i=1¥ § ¢¨±¨² ®² ¢»¡®° «®ª «¼®© ±¨±²¥¬» ª®®°¤¨ ² ¨ ®¯°¥¤¥«¿¥² ®¯¥° ²®° ¤¨´´¥°¥¶¨°®¢ ¨¿.¥®°¥¬ 2.25. ¯°¥¤¥«¥¨¿ ½ª¢¨¢ «¥²», ²®·¥¥, ¥±²¥±²¢¥®¥ ±®®²¢¥²±²¢¨¥ª°¨¢ ¿$ª ± ²¥«¼»© ¢¥ª²®° ª ª°¨¢®© ¢ ¤ ®© ±¨±²¥¬¥ ª®®°¤¨ ²$$¤¨´´¥°¥¶¨°®¢ ¨¥ ¯® ¥£® ¯° ¢«¥¨¾¯®°®¦¤ ¥² ¨§®¬®°´¨§¬ ¯°®±²° ±²¢ ª ± ²¥«¼»µ ¢¥ª²®°®¢ ¢ ±¬»±«¥ ²°¥µ ®¯°¥¤¥«¥¨©.12» ¤®ª ¦¥¬ ½ª¢¨¢ «¥²®±²¼ ¯¥°¢»µ ¤¢³µ. ±¨«³ § ¤ ·¨ 2.20¤«¿ ª®°°¥ª²®£® § ¤ ¨¿ ®²®¡° ¦¥¨¿ ¬®¦¥±²¢ ª« ±±®¢ ª°¨¢»µ ¢ \²¥§®°»¥"¢¥ª²®°» ¤®±² ²®·® (¢ ®¤®© ±¨±²¥¬¥ ª®®°¤¨ ²) ¯°®¢¥°¨²¼ ·²® ¨§ 1 2 ±«¥¤³¥²,·²® = . ¥©±²¢¨²¥«¼®,m " xk ( (t)) xk ( (t)) #2X120 = lim=t!0 k=1tm "k (1 (t)) xk (P )) (xk (2 (t)) xk (P )) #2X(x=lim;tk=1 t!0®²ª³¤ = .
² ¦¥ ¢»ª« ¤ª ¯®ª §»¢ ¥², ·²® ¤¢¥ ª°¨¢»¥ ±®¯°¨ª ± ¾²±¿ ²®£¤ ¨ ²®«¼ª® ²®£¤ , ª®£¤ ®¨ ¨¬¥¾² ®¤¨ ª®¢»© ª ± ²¥«¼»© ¢¥ª²®°. ·¨², ª®°°¥ª²® ®¯°¥¤¥«¥® ¨ ¨º¥ª²¨¢®. ´¨ª±¨°³¥¬ ±¨±²¥¬³ ª®®°¤¨ ² xi ¢ ®ª°¥±²®±²¨P . ¯°¥¤¥«¨¬ ®²®¡° ¦¥¨¥ (¡»²¼ ¬®¦¥², § ¢¨±¿¹¥¥ ®² ¢»¡®° ±¨±²¥¬» ª®®°¤¨ ²) ¢ ®¡° ²®¬ ¯° ¢«¥¨¨, ±®¯®±² ¢«¿¿ ¢¥ª²®°³ ± ª®®°¤¨ ² ¬¨ i ¢ ¢»¡° ®©±¨±²¥¬¥, i\¯°¿¬³¾",². ¥. ª°¨¢³¾ ± ¯ ° ¬¥²°¨·¥±ª¨¬ § ¤ ¨¥¬ xi(t) = xi(P ) + t i .®£¤ ddxt P = i ¨ = Id . ª¨¬ ®¡° §®¬, | ±¾°º¥ª¶¨¿.
2 ¤ · 2.26. ®ª § ²¼ ½ª¢¨¢ «¥²®±²¼ ²°¥²¼¥£® ®¯°¥¤¥«¥¨¿ (·¥°¥§ ¤¨´´¥°¥¶¨°®¢ ¨¿) ª ± ²¥«¼®£® ¢¥ª²®° ¤¢³¬ ¤°³£¨¬.¯°¥¤¥«¥¨¥ 2.27. ³±²¼ f : M ! N | £« ¤ª®¥ ®²®¡° ¦¥¨¥, P 2 M . ¨´´¥°¥¶¨ «®¬ (ª ± ²¥«¼»¬ ®²®¡° ¦¥¨¥¬) f ¢ ²®·ª¥ P §»¢ ¥²±¿ ®²®¡° ¦¥¨¥ª ± ²¥«¼»µ ¯°®±²° ±²¢ dfP : TP M ! Tf (P )N , ®¯°¥¤¥«¥®¥ ®¤¨¬ ¨§ ±«¥¤³¾¹¨µ½ª¢¨¢ «¥²»µ ±¯®±®¡®¢, ±®®²¢¥²±²¢³¾¹¨µ ²°¥¬ ®¯°¥¤¥«¥¨¿¬ ª ± ²¥«¼®£® ¢¥ª²®° .¥°¢»© ±¯®±®¡. ³±²¼ (U M ; 'M : U M ! V M Rm ) | ª °² M ¢ ®ª°¥±²®±²¨ P , (U N ; 'N : U N ! V N Rn) | ª °² N ¢ ®ª°¥±²®±²¨ f (P ), (x1; : : :; xm) ¨(y1; : : :; yn) | ±®®²¢¥²±²¢³¾¹¨¥ «®ª «¼»¥ ±¨±²¥¬» ª®®°¤¨ ².
®ª «¼®¥ ¯°¥¤±² ¢«¥¨¥ ®²®¡° ¦¥¨¿ f , ²®·¥¥, ®²®¡° ¦¥¨¥ 'N f ('M ) 1 : V M ! V N , ¬®¦¥² ¡»²¼®¯¨± ® ª ª ¡®° ´³ª¶¨©y1 = f 1 (x1; : : :; xm); : : : ; yn = f n (x1; : : : ; xm):³±²¼ ¢¥ª²®° 2 TP M ±² ¢¨² ¢ ±®®²¢¥²±²¢¨¥ ±¨±²¥¬¥ ª®®°¤¨ ² (x1; : : :; xm) ¡®° (1; : : :; m ) (£®¢®°¿²: ¨¬¥¥² ³ª § »¥ ª®®°¤¨ ²» ¢ ½²®© ±¨±²¥¬¥), ²®£¤ ¯®®¯°¥¤¥«¥¨¾ ¯®« £ ¾² ¥£® ®¡° §®¬ = (dfP ) ¢¥ª²®° ± ª®®°¤¨ ² ¬¨jij = @f@xi (±³¬¬¨°®¢ ¨¥ ¯®¤° §³¬¥¢ ¥²±¿) ¢ ±¨±²¥¬¥ (y1; : : : ; yn).²®°®© ±¯®±®¡. ¡®§ ·¨¬ ·¥°¥§ [ ] ª« ±± ±®¯°¨ª ± ¾¹¨µ±¿ ª°¨¢»µ ª°¨¢®© .®«®¦¨¬(dfP )[ ] := [f ]:°¥²¨© ±¯®±®¡.
±±¬®²°¨¬ ®¯¥° ²®° ¤¨´´¥°¥¶¨°®¢ ¨¿ ¢ ²®·ª¥ P 2 M .®£¤ § ·¥¨¥ ®¯¥° ²®° ¤¨´´¥°¥¶¨°®¢ ¨¿ (dfP ) ´³ª¶¨¨ g 2 C 1(N ) § ¤ ¥²±¿ ´®°¬³«®©((dfP ))(g) := (g f ):®ª § ²¥«¼±²¢®.1212013 ¤ · 2.28. ®ª § ²¼ ½ª¢¨¢ «¥²®±²¼ ²°¥µ ®¯°¥¤¥«¥¨© ¤¨´´¥°¥¶¨ « .¯°¥¤¥«¥¨¥ 2.29. ±±¬®²°¨¬ £« ¤ª®¥ ®²®¡° ¦¥¨¥:, ( 0) =f M!N fPQ0 .®·ª P0 2 M §»¢ ¥²±¿ °¥£³«¿°®© ²®·ª®© f , ¥±«¨ ¤¨´´¥°¥¶¨ «dfP : TP M ! TQ N¿¢«¿¥²±¿ ½¯¨¬®°´¨§¬®¬ (®²®¡° ¦¥¨¥¬ \ "). ®·ª Q0 2 N §»¢ ¥²±¿ °¥£³«¿°»¬ § ·¥¨¥¬ f , ¥±«¨ «¾¡®¥ P 2 f 1 Q0 ¿¢«¿¥²±¿ °¥£³«¿°®© ²®·ª®© f .¯°¥¤¥«¥¨¥ 2.30. ²®¡° ¦¥¨¥ f : M ! N §»¢ ¥²±¿ ¯®£°³¦¥¨¥¬, ¥±«¨ ¢ª ¦¤®© ²®·ª¥ P 2 M ¤¨´´¥°¥¶¨ « dfP : TP M ! Tf (P )N ¿¢«¿¥²±¿ ¬®®¬®°´¨§¬®¬. ±«¨ ¯°¨ ½²®¬ f : M $ f (M ) ¢§ ¨¬® ®¤®§ ·®, f (M ) § ¬ª³²® ¢ N , ²® f (M ) §»¢ ¥²±¿ ¢«®¦¥¨¥¬. ¤ · 2.31.
°¨¢¥±²¨ ¯°¨¬¥° ¯®£°³¦¥¨¿, ¢§ ¨¬®-®¤®§ ·®£® ®¡° §, ®¥ ¿¢«¿¾¹¥£®±¿ ¢«®¦¥¨¥¬.¯°¥¤¥«¥¨¥ 2.32. «®¦¥¨¥, ¿¢«¿¾¹¥¥±¿ £®¬¥®¬®°´¨§¬®¬ ®¡° §, §»¢ ¥²±¿000¢«®¦¥¨¥¬ ¢ ±¨«¼®¬ ±¬»±«¥. ¤ · 2.33. «¿ ª®¬¯ ª²»µ ¬®£®®¡° §¨© ¢«®¦¥¨¥ ¢±¥£¤ ¿¢«¿¥²±¿ ±¨«¼»¬.¯°¥¤¥«¥¨¥ 2.34. ®¤¬®¦¥±²¢®dim = , §»¢ ¥²±¿ £« ¤ª¨¬ ¯®¤-L M;M m¬®£®®¡° §¨¥¬, ¥±«¨ ±³¹¥±²¢³¥² ² ª®© ²« ± (U ; ' ) ¬®£®®¡° §¨¿ M , ·²® fU \ Lg| £« ¤ª¨© ²« ± L ¢ ²®¬ ±¬»±«¥, ·²®'jU\L : U \ L ! V \ Rl; Rl Rm :²®² ²« ± §»¢ ¥²±¿ ®°¬ «¼»¬. ª¨¬ ®¡° §®¬, dim L = l, (m l) §»¢ ¥²±¿ª®° §¬¥°®±²¼¾. °¨ ½²®¬ L ®ª §»¢ ¥²±¿ § ¬ª³²»¬. ¤ · 2.35. ®ª ¦¨²¥. ¤ · 2.36.
³±²¼ f : M ! N , Q0 2 N | °¥£³«¿°®¥ § ·¥¨¥ f . ®£¤ MQ := f 1 (Q0) ¿¢«¿¥²±¿ £« ¤ª¨¬ ¯®¤¬®£®®¡° §¨¥¬, dim MQ = dim M dim N . ª ·¥±²¢¥ «®ª «¼»µ ª®®°¤¨ ² ¢ ®ª°¥±²®±²¨ ¥ª®²®°®© ²®·ª¨ MQ ¬®¦® ¢§¿²¼¥ª®²®°»¥ (m n) ª®®°¤¨ ² M . ¤ · 2.37. °¨¢¥±²¨ ¯°¨¬¥° ² ª®£® ¢«®¦¥¨¿, ·²® ®¡° § ¥ ¿¢«¿¥²±¿ ¯®¤¬®£®®¡° §¨¥¬ (¨ ¤ ¦¥ ¬®£®®¡° §¨¥¬).¥®°¥¬ 2.38. ®¤¬®¦¥±²¢® A N ¿¢«¿¥²±¿ ¯®¤¬®£®®¡° §¨¥¬ ²®£¤ ¨ ²®«¼ª®²®£¤ , ª®£¤ ®® ¿¢«¿¥²±¿ ®¡° §®¬ ¥ª®²®°®£® ¬®£®®¡° §¨¿ M ¯°¨ ¢«®¦¥¨¨ ¢000±¨«¼®¬ ±¬»±«¥. ±«¨ A N ¿¢«¿¥²±¿ ¯®¤¬®£®®¡° §¨¥¬, ²® ²®¦¤¥±²¢¥®¥®²®¡° ¦¥¨¥ ¡³¤¥² £®¬¥®¬®°´¨§¬®¬ ®¡° §, ¯® ®¯°¥¤¥«¥¨¾ ¯®¤¬®£®®¡° §¨¿| ¯®£°³¦¥¨¥¬.¡° ²®, ¯³±²¼ f : M ! N | ±¨«¼®¥ £« ¤ª®¥ ¢«®¦¥¨¥.
¢®©±²¢® ¡»²¼ ¯®¤¬®£®®¡° §¨¥¬ ¨¬¥¥² «®ª «¼»© µ ° ª²¥°: ¤®±² ²®·® ° ±±¬®²°¥²¼ ®²ª°»²®¥ ¯®ª°»²¨¥ fNig ¢ N ¤«¿ A, ¨ Ai = A \ Ni. ²® ±¢®©±²¢® ¨¢ °¨ ²® ®²®±¨²¥«¼® C 1¤¨´´¥®¬®°´¨§¬®¢: ¬®¦¥±²¢® A N ¿¢«¿¥²±¿ ¯®¤¬®£®®¡° §¨¥¬ ²®£¤ ¨ ²®«¼ª®²®£¤ , ª®£¤ g(A) N 0 ¿¢«¿¥²±¿ ¯®¤¬®£®®¡° §¨¥¬, £¤¥ g : N ! N 0 | ¤¨´´¥®¬®°´¨§¬. ±±¬®²°¨¬ ±¥¬¥©±²¢® ª °² = f i : Ni ! Rn g ¬®£®®¡° §¨¿ N , ¯®ª°»¢ ¾¹¨µ A. ³±²¼ = f'i : Mi ! Rmgi2 | ² ª®© ²« ± M , ·²® f (Mi ) Ni®ª § ²¥«¼±²¢®.14(¥±«¨ ³¦®, ¬¥¿¥¬ ¨¤¥ª± ¶¨¾). ®±ª®«¼ª³ f ¿¢«¿¥²±¿ ¢«®¦¥¨¥¬, ¢ · ±²®±²¨,£®¬¥®¬®°´¨§¬®¬ ®¡° §, ²® ¬®¦® ¢»¡° ²¼ ¨ ² ª, ·²® f (Mi ) = A \ Ni.
®£¤ ¢ ±¨«³ ¨¢ °¨ ²®±²¨ ®²®±¨²¥«¼® ¤¨´´¥®¬®°´¨§¬®¢ ±¨²³ ¶¨¿ ±¢®¤¨²±¿ ª ±«¥¤³¾¹¥©. U := fVig = 'i(Mi) Rm, f = fi = if'i 1 : U ,! Rn | C 1-¢«®¦¥¨¥. ¤® ©²¨ «®ª «¼® ² ª®© ¤¨´´¥®¬®°´¨§¬, ·²® ®¡° § «¥¦¨² ¢ Rn m . ® ½²®¯°®±²® ²¥®°¥¬ ®¡ ®¡° ²®© ´³ª¶¨¨. ¬¥®, «®ª «¼® ±³¹¥±²¢³¾² (xi ; : : : ; xim ),1 i1 : : : im n, ¨ £« ¤ª®¥ ®²®¡° ¦¥¨¥ g : Rmx ! Rnx m , ·²® ½²® £° ´¨ª. ª¨¬ ®¡° §®¬, ¢¢¥¤¿ ¢ ®ª°¥±²®±²¨ ¢ Rn ª®®°¤¨ ²»1(xi ; : : : ; xim ; xj11(g(xi ; : : :; xim ))j ; : : :; xjn11m(g(xi ; : : :; xim )));1¯®«³· ¥¬, ·²® f (U ) § ¤ ¥²±¿ ª ª ° § ª ª ª®®°¤¨ ² ¿ £¨¯¥°¯«®±ª®±²¼.
®¤·¥°ª¥¬, ·²® «®ª «¨§®¢ ²¼ § ¤ ·³ ³¤ «®±¼ ²®«¼ª® ¡« £®¤ °¿ ²®¬³, ·²® ¢«®¦¥¨¥ ¢ ±¨«¼®¬ ±¬»±«¥. ¤®¯®«¨²¼ ¤® ²« ± ¢±¥£® ¬®£®®¡° §¨¿ ¬®¦® ¢ ±¨«³ § ¬ª³²®±²¨®¡° § .2 ¬¥· ¨¥ 2.39. ®¦® ¯®-° §®¬³ °¥¸ ²¼ ¢®¯°®± ±·¨² ²¼ «¨ (0; 1) f0g R2¯®¤¬®£®®¡° §¨¥¬. ° ¢¨«¼® ¢±¥ ¦¥ ¥ ±·¨² ²¼. ±«¨ ±·¨² ²¼ | ¤® ¢ ®¯°¥¤¥«¥¨¨ ¯®¤¬®£®®¡° §¨¿ § ¬¥¨²¼ \ ²« ±" \ ¡®° ª °²".f : M ! N | £« ¤®£¤ ¬®¦¥±²¢® G N¥®°¥¬ 2.40. (¥¬¬ °¤ ) (¡¥§ ¤®ª § ²¥«¼±²¢ ) ³±²¼M Nfª®¥ ®²®¡° ¦¥¨¥,¨| ª®¬¯ ª²»¥ ¬®£®®¡° §¨¿.°¥£³«¿°»µ § ·¥¨©| ®²ª°»²®¥ ¢±¾¤³ ¯«®²®¥ ¬®¦¥±²¢®.¥¯°¥°»¢®¥ ¡¨¥ª²¨¢®¥ ®²®¡° ¦¥¨¥ ª®¬¯ ª²®£® ¯°®±²° ±²¢ µ ³±¤®°´®¢® ¿¢«¿¥²±¿ £®¬¥®¬®°´¨§¬®¬. ¤ · 2.41.¥®°¥¬ 2.42.
(« ¡ ¿ ²¥®°¥¬ ¨²¨) ³±²¼Mp| £« ¤ª®¥ ª®¬¯ ª²®¥ ¬®£®®¡° §¨¥. ®£¤ ©¤¥²±¿ ² ª®¥ ²³° «¼®¥ ·¨±«® , ·²® ±³¹¥±²¢³¥² ¢«®¦¥¨¥(¢ ±¨«¼®¬ ±¬»±«¥)Rp .f :M !³±²¼ fUgL=1 | ª®¥·»© ²« ± M , (x1; : : : ; xm) | «®ª «¼ ¿±¨±²¥¬ ª®®°¤¨ ² ¢ U, ¯°¨·¥¬ ' : U B = B1(a) Rm, £¤¥ Br (b) | ¸ °° ¤¨³± r ± ¶¥²°®¬ ¢ b. ³±²¼ B" := B1 " (a), ¯°¨·¥¬ fU" := ' 1(B" )g ¯®-¯°¥¦¥¬³¯®ª°»¢ ¾² M (¢®§¬®¦® ¢ ±¨«³ ®°¬ «¼®±²¨).
»¡¥°¥¬ ²¥¯¥°¼®ª § ²¥«¼±²¢®.f 2 C 1(Rm);f 1 B" ;supp f B:³±²¼ gk : M ! R ®¯°¥¤¥«¥» ¤«¿ k = 1; : : : ; m ¨ = 1; : : : ; L ´®°¬³« ¬¨(kP 2 U;kg(P ) := f0('(P ))x(P ) ¯°¨¯°¨ P 62 U .°¨ ½²®¬ ¢»¯®«¿¥²±¿ gk (P ) = xk(P ) ¯°¨ P 2 U" . ª¨¬ ®¡° §®¬, m L ´³ª¶¨©gk § ¤ ¾² C 1-®²®¡° ¦¥¨¥g : M ! RmL:15¯°¥¤¥«¨¬ ²¥¯¥°¼' : M ! RN = RmL+L;'(P ) := ( g| ({zP )} ; f| ('{z(P ))}):mL ´³ª¶¨© L ´³ª¶¨©®£¤ rk ' rk g. ±«¨ P 2 U" , ²®k (P ) !k (P ) !@g@xrk gjP rkrk= m:j@x@xj®±ª®«¼ª³ ¯® ±®®¡° ¦¥¨¿¬ ° §¬¥°®±²¨ rk ' m, ²® rk ' m. » ¯®ª § «¨, ·²®' | ¯®£°³¦¥¨¥.¥¯¥°¼ ¤®ª ¦¥¬, ·²® ' ¨º¥ª²¨¢®, ². ¥.
¿¢«¿¥²±¿ ¡¨¥ª¶¨¥© ®¡° §. ³±²¼P 6= Q. ®£¤ ©¤¥²±¿ ² ª®© ®¬¥° , ·²® P 2 U" ¨, ±«¥¤®¢ ²¥«¼®, f('(P )) = 1. ±«¨ ¯°¨ ½²®¬ f('(Q)) < 1, ²® ¢±¥ ¤®ª § ®, ¥±«¨ ¦¥ f('(Q)) = 1, ²® Q 2 U" ,² ª ·²® gk (P ) = xk(P ), gk (Q) = xk(Q). ®±ª®«¼ª³ P 6= Q, ²® ©¤¥²±¿ ª®®°¤¨ ² xk (P ) 6= xk (Q), ² ª ·²® gk (P ) 6= gk (Q) ¨ '(P ) 6= '(Q). ª ª ª M ª®¬¯ ª²®, '(M ) RN µ ³±¤®°´®¢®, ²® ¯® § ¤ ·¥ 2.41 ' ¿¢«¿¥²±¿£®¬¥®¬®°´¨§¬®¬ ®¡° § ¨, ±«¥¤®¢ ²¥«¼®, ¢«®¦¥¨¥¬ ¢ ±¨«¼®¬ ±¬»±«¥, ¯®±ª®«¼ª³'(M ) ª®¬¯ ª²® ¨ § ¬ª³²®.20000¥®°¥¬ 2.43.
(¨«¼ ¿ ²¥®°¥¬ ¨²¨) (¡¥§ ¤®ª § ²¥«¼±²¢ ) ¯°¥¤»¤³¹¥©²¥®°¥¬¥ ¬®¦® ¢§¿²¼p = 2 dim M + 1.¤¥¿ ¤®ª § ²¥«¼±²¢ ±®±²®¨² ¢ ²®¬, ·²®¡» ±² °²®¢ ¢ ®² ª ª®£®«¨¡® ¢«®¦¥¨¿, ¯³²¥¬ ¯°®¥ª²¨°®¢ ¨¿ «¨¥©»¥ ¯®¤¯°®±²° ±²¢ ¬¥¼¸¥© ° §¬¥°®±²¨, ¯®¨§¨²¼ ° §¬¥°®±²¼. ®®²¢¥²±²¢³¾¹¨¥ ¯®¤¯°®±²° ±²¢ ©¤³²±¿ ¯®«¥¬¬¥ °¤ .2®ª § ²¥«¼±²¢®.3. ± ²¥«¼®¥ ° ±±«®¥¨¥³±²¼ dim M = m. ¯°¥¤¥«¨¬ N = TM { ¬®£®®¡° §¨¥ «¨¨«¨ ª ± ²¥«¼®¥ ° ±±«®¥¨¥ M .