PDF - лекции (1117947), страница 18
Текст из файла (страница 18)
¨¬¥®, ®²®¡° ¦¥¨¥ f : M ! N £« ¤ª®£® ¬®£®®¡° §¨¿ M ¢ £« ¤ª®¥ ¬®£®®¡° §¨¥ N §»¢ ¥²±¿ ¤¨´´¥®¬®°´¨§¬®¬, ¥±«¨ ®®®£®®¡° §¨¿ (¯°®¤®«¦¥¨¥)97¢§ ¨¬®-®¤®§ ·®, £« ¤ª®, ¨ ®²®¡° ¦¥¨¥ f ;1 ² ª¦¥ £« ¤ª®. ®£®®¡° §¨¿ M ¨ N §»¢ ¾²±¿ ¤¨´´¥®¬®°´»¬¨, ¥±«¨ ±³¹¥±²¢³¥² ¤¨´´¥®¬®°´¨§¬ f : M ! N.¥£ª® ¢¨¤¥²¼, ·²® ¥±«¨ f : M ! N | ¤¨´´¥®¬®°´¨§¬, ²® ¬®£®®¡° §¨¿M ¨ N ¨¬¥¾² ®¤¨ ª®¢³¾ ° §¬¥°®±²¼, ¨ ª®®°¤¨ ² ¿ § ¯¨±¼ ¤¨´´¥®¬®°´¨§¬ f | °¥£³«¿°®¥ ®²®¡° ¦¥¨¥. ¥©±²¢¨²¥«¼®, ¯³±²¼ F : U ! V| ª®®°¤¨ ² ¿ § ¯¨±¼ ¤¨´´¥®¬®°´¨§¬ f ¢ ¥ª®²®°»µ ª °² µ, ¨ P |¯°®¨§¢®«¼ ¿ ²®·ª ¨§ ®¡« ±²¨ ®¯°¥¤¥«¥¨¿ ®²®¡° ¦¥¨¿ F.
®£¤ ª®¬¯®§¨¶¨¿ ¤¨´´¥°¥¶¨ «®¢ dF ¨ dF ;1 ®²®¡° ¦¥¨© F ¨ F ;1, ¢§¿²»µ ±®®²¢¥²±²¢¥® ¢ ²®·ª µ P ¨ F (P) | ²®¦¤¥±²¢¥®¥ ®²®¡° ¦¥¨¥, ¯®½²®¬³ ½²¨¤¨´´¥°¥¶¨ «» ¿¢«¿¾²±¿ ¨§®¬®°´¨§¬ ¬¨, ®²ª³¤ § ª«¾· ¥¬, ·²® ° §¬¥°®±²¨ ¬®£®®¡° §¨© M ¨ N ®¤¨ ª®¢», ¨ ®²®¡° ¦¥¨¥ F °¥£³«¿°®.°¨¬¥°. ±±¬®²°¨¬ ¤¢ ½ª§¥¬¯«¿° Mi ¯°¿¬®© R ± ª®®°¤¨ ²®© x. ¢¥¤¥¬ ®¤®¬ ¨§ ½²¨µ ½ª§¥¬¯«¿°®¢, M1 , ²« ± ¨§ ®¤®© ª °²» (R; '1 : x 7!x), ¤°³£®¬, M2 , | ²« ± ¨§ ®¤®© ª °²» (R; '2 : x 7! x3).
¨´´¥®¬®°´» «¨ ¬®£®®¡° §¨¿ M1 ¨ M2 ? ²¢¥² ¯®«®¦¨²¥«¼»©. ¨´´¥®¬®°´¨§¬ ¬®¦® ¢»¡° ²¼ ¢ ¢¨¤¥ f : x 7! x1=3. ¥©±²¢¨²¥«¼®, ¥±«¨ y ¨ z |±®®²¢¥²±²¢¥® ª®®°¤¨ ²» M1 ¨ M2 , § ¤ »¥ ®²®¡° ¦¥¨¿¬¨ '1 ¨'2, ²® ª®®°¤¨ ² ¿ § ¯¨±¼ ®²®¡° ¦¥¨¿ f ¨¬¥¥² ¢¨¤ f : y 7! z, ².¥. f |¤¨´´¥®¬®°´¨§¬.13.3 ± ²¥«¼»© ¢¥ª²®° ¯®¬¨¬, ·²® ª ± ²¥«¼»¬¨ ¢¥ª²®° ¬¨ ª ¯®¢¥°µ®±²¨ M ¢ ¤ ®© ²®·ª¥P 2 M §»¢ ¾²±¿ ¢»·¨±«¥»¥ ¢ ²®·ª¥ P ¢¥ª²®°» ±ª®°®±²¥© £« ¤ª¨µª°¨¢»µ, «¥¦ ¹¨µ ¯®¢¥°µ®±²¨ M ¨ ¯°®µ®¤¿¹¨µ ·¥°¥§ ²®·ª³ P.
²®®¯°¥¤¥«¥¨¥ ¨±¯®«¼§®¢ «® ²® ®¡±²®¿²¥«¼±²¢®, ·²® ¯®¢¥°µ®±²¼ ° ±±¬ ²°¨¢ « ±¼ ª ª ¯®¤¬®¦¥±²¢® ¥¢ª«¨¤®¢ ¯°®±²° ±²¢ . ±«³· ¥ ¡±²° ª²»µ ¬®£®®¡° §¨© ¤¥«® ®¡±²®¨² ¥±ª®«¼ª® ±«®¦¥¥( ¡±²° ª²®¥ £« ¤ª®¥ ¬®£®®¡° §¨¥ ¨£¤¥, ¢®®¡¹¥ £®¢®°¿, ¥ «¥¦¨²). ¥¬¥ ¬¥¥¥, ¨¬¥¥²±¿ ¥±²¥±²¢¥®¥ ®¯°¥¤¥«¥¨¥ ª ± ²¥«¼®£® ¢¥ª²®° ¢ ²®·ª¥ª £« ¤ª®¬³ ¬®£®®¡° §¨¾ M, ¨±¯®«¼§³¾¹¥¥ ¢®§¬®¦®±²¼ ¢¢¥±²¨ ¢ ®ª°¥±²®±²¨ ª ¦¤®© ²®·ª¨ ¬®£®®¡° §¨¿ «®ª «¼»¥ ª®®°¤¨ ²». » ¯°¨¢¥¤¥¬²°¨ ®¯°¥¤¥«¥¨¿ ª ± ²¥«¼®£® ¢¥ª²®° ¨ ¯®ª ¦¥¬ ¨µ ½ª¢¨¢ «¥²®±²¼ (¢° §»µ § ¤ · µ ®ª §»¢ ¥²±¿ ³¤®¡»¬ ¢»¡¨° ²¼ ®¤® ¨§ ²°¥µ ½²¨µ ®¯°¥¤¥«¥¨©).² ª, ¯³±²¼ M | £« ¤ª®¥ ¬®£®®¡° §¨¥ ° §¬¥°®±²¨ n, ¨ P 2 M |¥ª®²®° ¿ ²®·ª . ±±¬®²°¨¬ ¢±¥¢®§¬®¦»¥ «®ª «¼»¥ ±¨±²¥¬» ª®®°¤¨ ² ¢ ®ª°¥±²®±²¨ ²®·ª¨ P, ¨ ¢ ª ¦¤®© ² ª®© ±¨±²¥¬¥ § ¤ ¤¨¬ ¡®°v = (v1 ; : : : ; vn ) ¨§ n ·¨±¥«, ®¡« ¤ ¾¹¨© ±«¥¤³¾¹¨¬ ±¢®©±²¢®¬: ¥±«¨ ¢ ª®®°¤¨ ² µ (x1; : : : ; xn) § ¤ ¡®° (vi1 ; : : : ; vn), ¢ ª®®°¤¨ ² µ (y1 ; : : : ; yn )@y ) | ¬ ²°¨¶ ª®¡¨ ¯¥°¥µ®¤ ¨§ x§ ¤ ¡®° (w1; : : : ; wn), J = ( @xj@yji vj (±° ¢ª®®°¤¨ ² ¢ y-ª®®°¤¨ ²», ¢»·¨±«¥ ¿ ¢ ²®·ª¥ P, ²® wi = @x®£®®¡° §¨¿ (¯°®¤®«¦¥¨¥)98¨²¥ ± § ª®®¬ ¨§¬¥¥¨¿ ª ± ²¥«¼®£® ª ¯®¢¥°µ®±²¨ ¢¥ª²®° ¯°¨ § ¬¥¥ª°¨¢®«¨¥©»µ ª®®°¤¨ ²).
±«¨ ² ª¨¥ ¡®°» ·¨±¥« § ¤ », ²® £®¢®°¿², ·²® § ¤ ª ± ²¥«¼»© ¢¥ª²®° ¢ ²®·ª¥ P ¬®£®®¡° §¨¿ M, ·¨±« (v1 ; : : : ; vn) §»¢ ¾² ª®®°¤¨ ² ¬¨ ½²®£® ª ± ²¥«¼®£® ¢¥ª²®° ¯® ®²®¸¥¨¾ ¢ «®ª «¼®© ±¨±²¥¬¥ ª®®°¤¨ ² (x1 ; : : : ; xn). ®¥ ²®«¼ª® ·²®®¯°¥¤¥«¥¨¥ ª ± ²¥«¼®£® ¢¥ª²®° ¡³¤¥¬ §»¢ ²¼ ª®®°¤¨ ²»¬ ®¯°¥¤¥«¥¨¥¬ ¨«¨ ª®®°¤¨ ²»¬ ¯°¥¤±² ¢«¥¨¥¬ ª ± ²¥«¼®£® ¢¥ª²®° .®ª ¦¥¬, ·²® ¬®¦¥±²¢® ª ± ²¥«¼»µ ¢¥ª²®°®¢ ¢ ²®·¥ª P 2 M ®¡° §³¥² n-¬¥°®¥ ¢¥ª²®°®¥ ¯°®±²° ±²¢®, §»¢ ¥¬®¥ ª ± ²¥«¼»¬ ª ¬®£®®¡° §¨¾ M ¯°®±²° ±²¢®¬ ¢ ²®·ª¥ P ¨ ®¡®§ · ¥¬®¥ ·¥°¥§ TP M. «¿½²®£® ¤®±² ²®·® ¯°®¢¥°¨²¼, ·²® «¾¡®© ¡®° ·¨±¥« v = (v1 ; : : : ; vn ), § ¤ »© ¢ ´¨ª±¨°®¢ ®© ±¨±²¥¬¥ ª®®°¤¨ ² (x1 ; : : : ; xn) (¢ ®ª°¥±²®±²¨²®·ª¨ P), ¬®¦® ¯°¥¢° ²¨²¼ ¥¤¨±²¢¥»¬ ®¡° §®¬ ¢ ª ± ²¥«¼»© ¢¥ª²®°,° §¥±¿ ¥£® ¢® ¢±¥ ®±² «¼»¥ «®ª «¼»¥ ±¨±²¥¬» ª®®°¤¨ ², § ¤ »¥ ¢®ª°¥±²®±²¨ ²®·ª¨ P.
¥©±²¢¨²¥«¼®, § ª® ¯°¥®¡° §®¢ ¨¿ ¡®° v ¯°¨§ ¬¥¥ ª®®°¤¨ ² ¯®§¢®«¿¥² ° §¥±²¨ ½²®² ¡®° ¢® ¢±¥ «®ª «¼»¥ ±¨±²¥¬»ª®®°¤¨ ², ®¯°¥¤¥«¥»¥ ¢ ®ª°¥±²®±²¨ ²®·ª¨ P. ±² «®±¼ ¯°®¢¥°¨²¼, ·²®² ª ¯®«³·¥»¥ ¡®°» ±¢¿§ » ²¥¬ ¦¥ § ª®®¬ ¯°¥®¡° §®¢ ¨¿. ® ¯®±«¥¤¥¥ ¥±²¼ ¬£®¢¥®¥ ±«¥¤±²¢¨¥ ²®£®, ·²® ¬ ²°¨¶ ª®¡¨ ª®¬¯®§¨¶¨¨®²®¡° ¦¥¨© ° ¢ ¯°®¨§¢¥¤¥¨¾ ¬ ²°¨¶ ª®¡¨ ± ¬¨µ ¯°¥®¡° §®¢ ¨©,¢µ®¤¿¹¨µ ¢ ½²³ ª®¬¯®§¨¶¨¾, ¬ ²°¨¶ ª®¡¨ ®¡° ²®£® ¯°¥®¡° §®¢ ¨¿¥±²¼ ®¡° ² ¿ ¬ ²°¨¶ ª ± ¬®¬³ ¯°¥®¡° §®¢ ¨¾. ®ª § ²¥«¼±²¢® § ª®·¥®. ¤ ¢ ¿ ª ± ²¥«¼»µ ¢¥ª²®° µ ¯®ª®¬¯®¥²®¥ ±«®¦¥¨¥ ¨ ³¬®¦¥¨¥ ·¨±« , ¬» ¢¢¥¤¥¬ ¢±¥µ ª ± ²¥«¼»µ ¢¥ª²®° µ ±²°³ª²³°³ n¬¥°®£® ¢¥ª²®°®£® ¯°®±²° ±²¢ , §»¢ ¥¬®£® ª ± ²¥«¼»¬ ¯°®±²° ±²¢®¬ ¢ ²®·ª¥ P ª ¬®£®®¡° §¨¾ M ¨ ®¡®§ · ¥¬®£® ·¥°¥§ TP M. ¤¨¬ ²¥¯¥°¼ ¢²®°®¥ ®¯°¥¤¥«¥¨¥ ª ± ²¥«¼®£® ¢¥ª²®° ·¥°¥§ £« ¤ª¨¥ª°¨¢»¥, ¯°®µ®¤¿¹¨¥ ·¥°¥§ ²®·ª³ P .
³±²¼ 1 ¨ 2 | ¤¢¥ £« ¤ª¨¥ ª°¨¢»¥ £« ¤ª®¬ ¬®£®®¡° §¨¨ M, ² ª¨¥ ·²® 1 (0) = 2 (0) = P . ±±¬®²°¨¬ ¯°®¨§¢®«¼³¾ ±¨±²¥¬³ ª®®°¤¨ ² ¢ ®ª°¥±²®±²¨ P ¨ ±ª ¦¥¬, ·²® ª°¨¢»¥ i½ª¢¨¢ «¥²» ¢ ½²®© ±¨±²¥¬¥ ª®®°¤¨ ², ¥±«¨ ¨µ ¢¥ª²®°» ±ª®°®±²¥© ¢ · «¼»© ¬®¬¥² t = 0 ° ¢»: _ 1 (0) = _ 2 (0). ¤°³£®© ±²®°®», ¯°¨ § ¬¥¥ª®®°¤¨ ² ¢¥ª²®°» ±ª®°®±²¥© ³¬®¦ ¾²±¿ ¬ ²°¨¶³ ª®¡¨, ¯®½²®¬³ ° ¢¥±²¢® _ 1 (0) = _ 2 (0) ®¤®¢°¥¬¥® ¨«¨ ¢»¯®«¿¥²±¿, ¨«¨ ¥ ¢»¯®«¿¥²±¿¢® ¢±¥µ ±¨±²¥¬ µ ª®®°¤¨ ². ®½²®¬³ ¤¢¥ ª°¨¢»¥ ½ª¢¨¢ «¥²» ¢ ®¤®©±¨±²¥¬¥ ª®®°¤¨ ² ¥±«¨ ¨ ²®«¼ª® ¥±«¨ ®¨ ½ª¢¨¢ «¥²» ¢ «¾¡®© ¤°³£®©±¨±²¥¬¥ ª®®°¤¨ ². ®±«¥¤¥¥ ¿¢«¿¥²±¿ ¬®²¨¢ ¶¨¥© ±«¥¤³¾¹¥£® ®¯°¥¤¥«¥¨¿: ª°¨¢»¥ 1 ¨ 2 ½ª¢¨¢ «¥²», ¥±«¨ ®¨ ½ª¢¨¢ «¥²» ¢ ¥ª®²®°®© ( ,§ ·¨², «¾¡®©) ±¨±²¥¬¥ ª®®°¤¨ ².
« ±± ½ª¢¨¢ «¥²®±²¨ ª°¨¢»µ, ¯°®µ®¤¿¹¨µ ·¥°¥§ ²®·ª³ P , §»¢ ¥²±¿ ª ± ²¥«¼»¬ ¢¥ª²®°®¬ ¢ ²®·ª¥ P .§ ¤ ®£® ²®«¼ª® ·²® ®¯°¥¤¥«¥¨¿ ¢»²¥ª ¥², ·²® ª ¦¤»© ª« ±± ½ª¢¨¢ «¥²®±²¨ ª°¨¢»µ ®¤®§ ·® § ¤ ¥²±¿ ¢¥ª²®°®¬ ±ª®°®±²¨ ¢ ²®·ª¥ P«¾¡®© ª°¨¢®© ½²®£® ª« ±± . °®¬¥ ²®£®, ¥±«¨ P = (P 1; : : : ; P n) | ª®®°-®£®®¡° §¨¿ (¯°®¤®«¦¥¨¥)99¤¨ ²» ²®·ª¨ P ¢ ¥ª®²®°»µ «®ª «¼»µ ª®®°¤¨ ² µ (x1 ; : : : ; xn), ¨ v =(v1 ; : : : ; vn) | ¯°®¨§¢®«¼»© ¡®° ·¨±¥«, ²® ª°¨¢ ¿ (P1 +v1 t; : : : ; Pn +vn t)¨¬¥¥² ¢ ²®·ª¥ P ±ª®°®±²¼ v. ®½²®¬³ «¾¡®© ¡®° v ¬®¦® ¯°¥¤±² ¢¨²¼ ª ª ¢¥ª²®° ±ª®°®±²¨ ¢ ²®·ª¥ P ¥ª®²®°®© ª°¨¢®©, ¯°®µ®¤¿¹¥© ·¥°¥§ P.
®«¥¥ ²®£®, ² ª ª ª ¯°¨ ¯¥°¥µ®¤¥ ®² ®¤®© ±¨±²¥¬» ª®®°¤¨ ² ª¤°³£®© ¢¥ª²®°» ±ª®°®±²¥© ¯°¥®¡° §³¾²±¿ ¯® § ª®³ ¯°¥®¡° §®¢ ¨¿ ª ± ²¥«¼®£® ¢¥ª²®° , ½²¨ ¢¥ª²®°» ±ª®°®±²¥© ¯®°®¦¤ ¾² ª ± ²¥«¼»© ¢¥ª²®° ¢ ±¬»±«¥ ¯¥°¢®£® (ª®®°¤¨ ²®£®) ®¯°¥¤¥«¥¨¿. ª¨¬ ®¡° §®¬, ¬»¯®±²°®¨«¨ ¢§ ¨¬®-®¤®§ ·®¥ ±®®²¢¥²±²¢¨¥ ¬¥¦¤³ ª ± ²¥«¼»¬¨ ¢¥ª²®° ¬¨ ª ª ª« ±± ¬¨ ½ª¢¨¢ «¥²®±²¨ ª°¨¢»µ ¨ ª ± ²¥«¼»¬¨ ¢¥ª²®° ¬¨¢ ª®®°¤¨ ²®¬ ¯°¥¤±² ¢«¥¨¨.
²® ±®®²¢¥²±²¢¨¥ ¯¥°¥®±¨² ±²°³ª²³°³n-¬¥°®£® ¢¥ª²®°®£® ¯°®±²° ±²¢ TP M ¬®¦¥±²¢® ª« ±±®¢ ½ª¢¨¢ «¥²®±²¨ ª°¨¢»µ, ¯°®µ®¤¿¹¨µ ·¥°¥§ ²®·ª³ P. ±«¨ (x1 ; : : : ; xn) | «®ª «¼»¥ ª®®°¤¨ ²» ¢ ®ª°¥±²®±²¨ ²®·ª¨ P =1(x0; : : : ; xn0 ), ²® ¯°®µ®¤¿¹ ¿ ·¥°¥§ P ª°¨¢ ¿ i ¢¨¤ i (t) = (x1 = x10; : : : ; xi = xi0 + t; : : : ; xn = xn0 ) §»¢ ¥²±¿ i-®© ª®®°¤¨ ²®© «¨¨¥©. ¥£ª® ¢¨¤¥²¼, ·²® ¢¥ª²®°» ±ª®°®±²¥© ª®®°¤¨ ²»µ «¨¨© i ¢ · «¼»© ¬®¬¥² t = 0, ².¥. ¢ ²®·ª¥ P,®¡° §³¾² ¡ §¨± (e1 ; : : : ; en) ª ± ²¥«¼®£® ¯°®±²° ±²¢ TP M, ª®²®°»© §»¢ ¥²±¿ ª ®¨·¥±ª¨¬ ¡ §¨±®¬ ¯® ®²®¸¥¨¾ ª «®ª «¼»¬ ª®®°¤¨ ² ¬xi .¯° ¦¥¨¥ 13.2 ®ª ¦¨²¥, ·²® ¡®° ª ± ²¥«¼»µ ¢¥ª²®°®¢ (e1 ; : : : ; en)¤¥©±²¢¨²¥«¼® ®¡° §³¥² ¡ §¨± ¢ TP M . ¤¨¬ ª®¥¶ ²°¥²¼¥ ®¯°¥¤¥«¥¨¥ ª ± ²¥«¼®£® ¢¥ª²®° . ±«¨ f |¥ª®²®° ¿ £« ¤ª ¿ ´³ª¶¨¿, ®¯°¥¤¥«¥ ¿ ¢ ®ª°¥±²®±²¨ ²®·ª¨ P, ¨ |¯°®¨§¢®«¼ ¿ £« ¤ª ¿ ª°¨¢ ¿, ² ª ¿ ·²® (0) = P ¨ _ (0) = v, ²® ¬®¦®®¯°¥¤¥«¨²¼ ¯°®¨§¢®¤³¾ ´³ª¶¨¨ f ¢¤®«¼ ª°¨¢®© (¢ ²®·ª¥ P) ² ª:; df (t) v(f) = dt :t=0² ®¯¥° ¶¨¿ «¨¥© ¨ ³¤®¢«¥²¢®°¿¥² ¯° ¢¨«³ ¥©¡¨¶ :v(f + g) = v(f) + v(g); v(f g) = v(f) g(P) + f(P) v(g);£¤¥ f ¨ g | ¤¢¥ £« ¤ª¨¥ ´³ª¶¨¨, ®¯°¥¤¥«¥»¥ ¢ ®ª°¥±²®±²¨ ²®·ª¨ P, ¨ | ¢¥¹¥±²¢¥»¥ ·¨±« .¯¥° ¶¨¿ , ±®¯®±² ¢«¿¾¹ ¿ ª ¦¤®© ´³ª¶¨¨, ®¯°¥¤¥«¥®© ¢ ®ª°¥±²®±²¨ ²®·ª¨ P, ·¨±«® (f), ³¤®¢«¥²¢®°¿¾¹ ¿ ±¢®©±²¢³ «¨¥©®±²¨ ¨ ¯° ¢¨«³ ¥©¡¨¶ (f + g) = (f) + (g); (f g) = (f) g(P ) + f(P ) (g);®£®®¡° §¨¿ (¯°®¤®«¦¥¨¥)100 §»¢ ¥²±¿ ¤¨´´¥°¥¶¨°®¢ ¨¥¬ ¢ ²®·ª¥ P.
±«¨ ' ¨ | ¤¢ ¤¨´´¥°¥¶¨°®¢ ¨¿ ¢ ²®·ª¥ P , ²® ®¯°¥¤¥«¥ ¨µ «¨¥© ¿ ª®¬¡¨ ¶¨¿ ± ¢¥¹¥±²¢¥»¬¨ ª®½´´¨¶¨¥² ¬¨ ¨ ¥¥ § ·¥¨¿¬¨ ¯°®¨§¢®«¼®© £« ¤ª®©´³ª¶¨¨ f:(' + )(f) = '(f) + (f):±®, ·²® ½² «¨¥© ¿ ª®¬¡¨ ¶¨¿ ²®¦¥ ¿¢«¿¥²±¿ ¤¨´´¥°¥¶¨°®¢ ¨¥¬ ¢²®·ª¥ P , ¯®½²®¬³ ¬®¦¥±²¢® ¢±¥µ ¤¨´´¥°¥¶¨°®¢ ¨© ¢ ²®·ª¥ P ®¡° §³¥²¢¥ª²®°®¥ ¯°®±²° ±²¢®.³±²¼ xi | «®ª «¼»¥ ª®®°¤¨ ²» ¢ ®ª°¥±²®±²¨ ²®·ª¨ P 2 M. ¦¤ ¿ · ±² ¿ ¯°®¨§¢®¤ ¿ @=@xi § ¤ ¥² ¥ª®²®°®¥ ¤¨´´¥°¥¶¨°®¢ ¨¥´³ª¶¨© f, ®¯°¥¤¥«¥»µ ¢ ®ª°¥±²®±²¨ ²®·ª¨ P , ¯® ´®°¬³«¥ f 7! @f=@xi (P).®½²®¬³, ª ª ³¦¥ ¡»«® ®²¬¥·¥®, ¤«¿ «¾¡»µ ·¨±¥« vi «¨¥© ¿ ª®¬¡¨ ¶¨¿vi @=@xi (¯® i ¯°¥¤¯®« £ ¥²±¿ ±³¬¬¨°®¢ ¨¥) § ¤ ¥² ¥ª®²®°®¥ ¤¨´´¥°¥¶¨°®¢ ¨¥.
°¥²¼¥ ®¯°¥¤¥«¥¨¥ ª ± ²¥«¼®£® ¢¥ª²®° ² ª®¢®: ª ± ²¥«¼»¬ ¢¥ª²®°®¬ ¢ ²®·ª¥ P §»¢ ¥²±¿ ¯°®¨§¢®«¼®¥ ¤¨´´¥°¥¶¨°®¢ ¨¥ ¢½²®© ²®·ª¥, ¨¬¥¾¹¥¥ ¢ ¥ª®²®°»µ ª®®°¤¨ ² µ xi ¢¨¤ vi @=@xi , £¤¥ vi | ¡®° ·¨±¥«. ª ¢»£«¿¤¨² ¤¨´´¥°¥¶¨°®¢ ¨¥ vi @=@xi ¢ ¤°³£¨µ «®ª «¼»µ ª®®°¤¨ ² µ? ¬¥¥¬:" i0 #i00 @0@x@@x@iiiiiv @xi = v @xi @xi0 = v @xi0 ; £¤¥ v = v @xi : ª¨¬ ®¡° §®¬, ¬» ¢¨¤¨¬, ·²® ¢® ¢±¥µ «®ª «¼»µ ±¨±²¥¬ µ ª®®°¤¨ ² ¤¨´´¥°¥¶¨°®¢ ¨¥ vi @=@xi ¿¢«¿¥²±¿ «¨¥©®© ª®¬¡¨ ¶¨¥© · ±²»µ ¯°®¨§¢®¤»µ, ¯°¨·¥¬ ª®½´´¨¶¨¥²» ½²®© «¨¥©®© ª®¬¡¨ ¶¨¨ | ½²® ª®®°¤¨ ²» ª ± ²¥«¼®£® ¢¥ª²®° ¢ ±¬»±«¥ ¯¥°¢®£® ®¯°¥¤¥«¥¨¿, ª®²®°»© ¯®®²®¸¥¨¾ ª «®ª «¼»¬ ª®®°¤¨ ² ¬ xi ¨¬¥¥² ª®®°¤¨ ²» vi .