Properness defects of projections and computation of one point in each connected component of a real algebraic set
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Properness defects of projections and computation of one point in each connected component of a real algebraic set Mohab Safey El Din — Éric Schost. N° 4598 October 2002. ISSN 0249-6399. ISRN INRIA/RR--4598--FR+ENG. THÈME 2. apport de recherche.
(3)
(4)
(5)
(6)
(7) ! "
(8) $# &% "'(#) ! !*& + ,-. #!0/ 1! " 1!% & ,2!# #34#)3 5!6#.7
(9) 8 9;:=<>@?A>CBEDGFIHJLKMONQPSRTUMWVXAVY<:=Z+[ \]C^+_a`!b!c dfe+gihj`fkjlYmnhjo.hj`+k `.pqoUrskjo+tikuwvx_zy@lnkjh|{}tC` ~Swlw`.pi~@q qrYC@lnp C`)`+o]i`+o]i`g}Ync o.plYy`.bsnGb)c b)rYmY`+u. ( . ¢¡¤£¥Y G¦ 1ln_aCtiphjgCmarspqkj`+rYuwp lYgC`!@lnh|g}p h|g `UrYo]§o+lngCgi`+o.p`+¨o.ln_alngi`+gGpqlY©0rª`+rYkrYkjmY`+yCrYhjo u` phjufryrYuwhjo,uwtCyClYtiph|gC`zpl C`.o+hji`,`+_aiph|gC`+uwuls©uw`+_ah¬«rYkjmnyirYh|o!uw`.pu.®8¯ ]Chjo]°hjufr(©±tCgirY_a`+gGprYk rYk|mnlnh¬p]C_ahjo)CwlnyCk|`+_²h|g`.³`+o ph|´Y`ª`Ursk0rYkjmY`+yCrYhjozmY`+ln_a`.pwvnµ!¶g°p]ChjurYwphjo+k|`Y®=¯`ªClYlnuw`ªrgC`.¯ rYk|mnlnh¬p]C_·©±lnzp]ChjuzprYu¸®S¯ ]Chjo]*rU´nlnh|Cuªr]Gv@lYp]C`+uwhjualY©iln@`+wgC`+uwuaw`+{}tCh|`+¹hjg4_ºrYgGv»lY©qp]i` Cw`.´xhjlntiuq_a`.p]ClxCu+µ ¼½`u]Cl¢¯$]Cl¢¯uwptCivxhjgCmXp]i`u`.palY©LgClngx«Cwln`.gC`.uuªlY©r¨kjh|gC`UrY&Clw`.o.phjlng4`+gCrYyCkj`.uzplXC` p`+o p o+lYgCgC`+o p`.o+ln_alYgC`+gGpulY©r`Urskrskjmn`.yCrYh|o u`.p¯ h|p]Clntipo+wh|ph|oUrYk@lnh|g}pu+µStCrYk|mnlnh¬p]C_¾hjuyrYuw`+ lng¿p]Chju`.utCk¬prYgC¿h|puCrso.ph|oUrYko.lntCgGp`.@lnhjgGpU®tCuh|gCm&p]C`pwhÀrYgimntCkÀrs0`+i`+uw`+gGprphjlYglY©rYkjmY`+yCrYhjo ´srYh|`.phj`+u.µStC ` Á@`+h|_º`.gGpu u]Cl¢¯Âh¬pu` úo.hj`.gCo.v lng"rz©OrY_ahjk¬vºls©`ÄÁCrs_ºCk|`+u.µ ŧÆGÇ=ÈwÉzÊ ¡ËY¦ ~lnk¬vxgCln_ahÀrYk@uwvxuwp`+_au+®@ `UrYk8uwlnkjtiphjlngiu. Unité de recherche INRIA Lorraine LORIA, Technopôle de Nancy-Brabois, Campus scientifique, 615, rue du Jardin Botanique, BP 101, 54602 Villers-Lès-Nancy (France) Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19.
(10) = &
(11) !
(12) #)3. '3*'" + ,$"#) 1!% &
(13) # ª 1! " ¿
(14) '( ' "
(15) 8 % 6 3. #)3.56º' 3 ¦ `oUrskjo+tik@ tCg¿lnh|gGp1rso.ln_º@lnurYgGp`o.lngCgC`ÄÁ` tCgC`´srYwhje.perskjmne.yCh|{xti`Lwe+`+k|kj` `+up
(16) tCg rYk|mnlnwh|p]i_º`C`yrYu``+gmne.ln_ºe pwhj`LrYkjmne.yCh|{}tC`Lwe+`.kjkj`L`.³`+o ph|´Y`{}tCh=@`+w_º` p C`Ce+o.hjC`.1Ct(´xhji` tCg"`+gCuw`+_zyCk|`)u`+_ah¬«rYkjmYe+yCwhj{}tC`Yµ rYgiuo+`.prYwphjo+k|`Y®gClYtCu(CwlnlYulngCutig gClnti´Y`+kfrYk|mnlnwh|p]i_º` oUrskjo+tikÀrYgGprst;_ºlYhjgCuºtCg lYhjgGp(rs o+lY_º@lnursg}p` o+lYgCgC` Á` tCgC`´srYh|e.pe rYk|mne+yCwhj{}tC` we+`.kjkj`sµ r_ae.p]ilC`1tiph|kjhjuwe+`e.´xh|p` tCgC`]Gvxlsp]C^.u` C`)CwlnC` pe)ulYtCu«¬rYo+`.g}p`&rstÁ _ae.p]ilC`.uqrYgGpe+whj`.tC`.u+µ LlYtCu¿_alngGpwlngCu¿o.ln_a_º`.g}pºk e.ptCC`§C`¨k `+giu`+_&yCkj`"C`gilng;CwlnC` pe¨ tCgi`¨Cl¤w`+o.phjlng*kjh|gCeUrYh|` @`+_a`.p(C`Ce.p`+o p`+ k|`+uo+lY_º@lnursg}p`+uo.lngCgC`ÄÁi`.u g rUvnrYgGp§CrYuC`@lnhjgGpu¿o+h¬ph|{xti`+u@lntC(o.`.pp` Cwlw`+o phjlYgµ rYkjmnlYh|p]C_a`!lnyp`+g}t°tiph|kjh|u`&tigC`,`.Ce.u`+gGprsph|lngXC`+uf´srYh|e.pe+u)rYk|mne+yCwhj{}tC`.urYfC`.u `+giu`+_&yCkj`.upwhÀrYgCmYtCkÀrYh|`.uqi`zlYk|vxg n_a`+u.µ `+ui`+_ahj^.`.u` Á@e+h|_º`.gGprsphjlngCuq`.³`+o ptCe.`+u)_alngGp`.gGp ulYg§` úo+rYo+h¬pe)utiqtigC`f©OrY_ºh|kjk|`L ` Á`._ºCk|`+u.µ ÂÊ ¤ È ¥ ¦ xvxuwp^+_a`+uqlYk|vxgCln_ahÀrYtxÁ=®Clnk|tiph|lngCu we+`+k|kj`.u.
(17) , 8a ' &. h|gCChjgim¿rspLkj`+rYuwpLlngC`!lYhjgGpqhjg`+rYo]o+lYgCgC`+o p`.o+ln_alYgC`+gGpLlY©Sr¿uw`+_ah¬«Erskjmn`.yCrYh|ou` pU®lnrpk|`UrYup C`.o+hjihjgCmªh|©h|p h|u `+_aipvn®hju r,©±tCgCCrY_º`.gGprYk8CwlnyCk|`+_h|g§` ³=`.o.ph¬´n``+rYkrYkjmY`+yCrYhjomY`+ln_a`.pwvn®C¯ ]ihjo] rYC@`Ursuhjga_¿rYgGvªrsoUrYC`._ºh|o lnShjgCCtiuwpwhÀrYkCrYCCk|hjoUrphjlYgCu k¬p`+SyrsgC¸}u
(18) W®wlny@lYph|o+ u i W®o.`+kj`.uwphÀrYk _a`+o]rYgihjo+u.®`.poYµ+µ.µ »¯`+kjkY¸xgil¤¯ g&rYkjmYlnh¬p]C_ ]rU´xhjgimquwtCo]zrsgflntCCtiph|u1lnkjk|hjgCu Uvxk|hjgCCwhjo+rYkYLkjmn`.yCrYh|o `.o+ln_alYuh|phjlng rYk|mnlnh¬p]C _ ¤b Wµº¶ p]rsuo.ln_aCkj`ÄÁih¬pv¨ClYtCyCk|v¨` ÁlYgC`+gGphjrYk0hjgp]C`ªgxti_zy`.!ls©´srYwhÀrYyCk|`+u.®8hjgp`._au lY©1rYh¬p]C_a`.phjo!ln`.rsphjlngiufrYgC°uh +`,lY©p]C`ªlntpCtip+µ,¶gXCrYo ph|o+`Y®8p]C`ªy`.uwp)hj_aCk|`+_a`+gGprsphjlngiurYw` kjh|_ºh¬p`.¿plªCwlnyCkj`._ºu1]rU´h|gCmakj`+uwup]rYg 5 ´srYwhÀrYyCk|`+u.µ §lnw`&w`+o+`.gGpk|vY®8rYk|mnlnh¬p]C_au pl¿o+ln_aCtip`zrspkj`UrsuwpLlngC`z@lnhjgGpLhjg§`UrYo]o.lngCgC`.o.p`.Xo+ln_alYgC`+gGpls©Sr u`._ºh «ErYk|mn`+yirYh|oLuw`.p¯`+`)Cwln@lnu`."h|g b i®bs®bnx® ®i®i ®¯ h|p]o.ln_aCkj`ÄÁih¬pv¿uwhj_aCk|vº` Á@lngC`.g}phÀrYk hjgªp]i`qg}tC_&y`.lY©´srYhjrYyCkj`.u+µ\]C`+uw`rYk|mnlnh¬p]C_auw`+CtCo.`qp]ChjuS{}tC`.uwph|lngºplp]C`qo+ln_aCtiprsph|lngªlY©lngi` @lnhjgGp)hjg°`Urso] o+lYgCgC`+o p`.»o+ln_a@lngC`+gGplY©u` ´n`+rYk ! "#$% &('*) ,+-) µa\]xtiu+®i`+uh|mngCh|gCm `.Ãao+h|`+gGp rYk|mnlnh¬p]C_auS©±ln p]Ch|ukÀrYup{}tC`+uph|lng§h|u o+wtCo+hjrYk=plai`UrYk` Ãao+hj`.gGpk|v¿¯ h|p] h|gC`+{}trYk|h|phj`+u.µ\]Ch|urY@`+h|u hjg ¸s`+`+ihjgCmª¯ h|p] p]Chju ©±rY_a`.¯ln¸µ ¡ 1 1O¥n£ 32 Ê 154 Æ / Ê 7Ë 6 ¼½0` up)yCh|9` 8CvC`+uwo+whjy@`zp]C`,uprsp`,lY©Sp]C`ªrYpflY©o+lY_ºCtphjgim .0/ Æ ¥n
(19) lngC`)@lnhjgGph|g `UrYo]§o+lngCgi`+o.p`+§o+ln_alYgC`+gGp lY©raw`UrYkrYkjmn`.yCrshjouw`.pUµ *¯ h|C`+k¬v)tCu`.,_º` p]Clx&h|up]C`1o.h¬phjo+rYkG@lnhjgGp_º` p]Clxµ¶ po+lYgCuh|uwpuhjg!uwptiivxhjgCmfrq_¿rs!p]Crspw`UrYo]i`+u rYg»`ÄÁxp`._ztC_ lng»`Urso]¹o.lngCgC`.o.p`+4o+ln_a@lngC`+gGp&lY©p]C`¿`Ursk rYk|mn`+yCrYhjoªuw`.pªtCgCi`+zo.lngCuh|C`+rsph|lng® rYgC ¯ ]Clnuw`)o+h¬ph|oUrYkkjlxo+tCuh|u .`+wls«Ch|_º`.gCuh|lngrYkW;µ :q`+w`&rYw`fuln_a`fC`.o+kjh|grsphjlngCu1lY©p]ChjuqrYiClGrso]µ ¶< g b ®1bsC®bnx=® x®1x®1 W®1p]C`¨rYtp]Clnwu¿w`+CtCo.`p]i`mn`.gC`+rYkLo+rYu`"pl p]C`"uwptiivls©fu_allsp];rsgC o+lY_ºrso.pzw`UrYkrYk|mn`+yCrYhjoªuw`.pu.®´xhÀruw`.´n`.rYkhj>g CgCh|p`+uh|_¿rsk0C`.©±lnw_¿rphjlYgCu+µ"u!hju!¯`+k|k¸}gCl¢¯ g®Srsg}v Cwlw`+o phjlYg&lng&rLuwprYh|mn]Gpkjhjgi`w`UrYo]i`+ursg&` Áxp`+_&tC_ lng&`+rYo]zo+lYgCgC`+o p`.,o+ln_alYgC`+gGplY©r o+ln_arYo p `+rYkrYk|mn`+yCrYhjo1u`.p+µ0\]C`LrYyl¢´Y`rYph|o+kj`.u0u]Cl¢¯ ]il¤¯plo]CllYu`qrilw`.o.ph|lngª¯ h|p?] +`.ls« Chj_a`+giuhjlYgrYk o+wh|phjoUrskk|lo.tCu @1p]Chju!vh|`+k|CuªrYkjmYlnh¬p]C_au¯ h¬p]4o+lY_ºCk|` Áh|phj`.u!p]CrsparY`uwhj_aCk|v°`ÄÁi@lngC`.gGphÀrsk hjg p]i` g}tC_zy@`+ lY©´srYhjrYyCkj`.u+µ uwhj_ahjkÀrsLrsCClnrYo]XhjuuptCCh|`+h|Ag B i®
(20) W®`.u@`+o.ph|´Y`+k|v§©±lnuw_ºlxlYp]o+ln_arYo pf]Gv@`+wutC©OrYo+`.u&rsgC u_alxlYp]o+ln_arYo po.ln_aCkj` p`ShjgGp`.uw`+o.phjlngiu+µ¶g&ylYp]&o+rYu`.u+®Yp]C`1o.h|phjo+rYkn@lnhjgGpulY©Cp]C`Clw`.o.phjlng!lng r!mY`+gC`.hjo k|hjgC`qrYw`Luw]Cl¢¯ g¿ply`.kjlngimplzrf©OrY_ºh|k|v!lY©©±lnw_¿rskClYkÀrY0´srYh|`.phj`+u.µ0xptCivxhjgimp]C`+uw`lYkÀrY ´srYh|`.phj`+u!rYk|kjl¢¯ upl¨C,` gC`rgilYph|lng lY© h|gGph|gCuh|oªmn`+ln_a`.ph|oºC`.mn`.`¿©±ln!`Ursk1rYk|mn`+yirYh|oauvxuwp`._ºu.µ \]C`w`+utik|ph|gCm¨rskjmnlnwh|p]C_ºurYw`(yrYuw`+ lng»p]C`(w`+Cw`+u`.gGprsphjlng4lY© @lnk|vxgClY_ºhjrYkjufyGv4}prshjmn]Gpw« hjgC` ~0lnmYrY_au @}p]Ch|uvxhj`.kjCu r&o+ln_aCk|` Áh|pv,p]rsph|u@lnk|vxgClY_ºhjrYkhjg(y@lYp]¿p]C`hjgGpwhjgCuwhjoqmn`+ln_a`.ph|oLC`.mn`.` rYgC p]i`o.ln_aCkj`ÄÁih¬pv¿ls©` ´Yrskjtrsphjlngls©p]C`)hjgCCtp uwvxuwp`+_"µ ¶Cg Bn®C®}
(21) b W®Cp]C`!rYtip]Clnwuqtphjk|Dh .`p]C`)uw{xtCrY`!lY©p]C`ChjuprYgCo.`fplºramnh¬´n`.g§@lnhjgGp @utCo]"©±tCgCo.phjlngiu ¯ hjk|kuhj_aCk¬v,y`oUrYk|kj`+F E &D),+G HI'KJML#HI',+N&(O
(22) H>)hjg¿p]C`uw`+{}tC`.k µS\]Chju`+grsyCkj`.upl&Clnºp]C`o.ln_arYo.pgC`+uwu rYuwutC_aiph|lng®xuh|gCo+`ihjuwprYgCo.`L©±tCgCo ph|lngCu1w`UrYo] r!_ºh|gChj_zti_ lng(`+rYo]o+lngigC`+o p`+ o.ln_º@lngC`.gGp lY©rsg}v `+rYkrYkjmY`+yCrYhjofuw`.pUµ1¶Pg n W®p]C`uhjgimntCkÀrsoUrYuw`!h|u p`+rsp`.yGv§rauwhjgCmnk|`)hj>g gih|p`.uh|_¿rYkC`.©±lY_ºrsph|lng® ¯ ]Ch|kj`(h|Qg h|p&hju&p`Urp`+4yGv h¬p`+rsph¬´n`.k|v°uwptCivxhjgCmp]C``+rYk1@lnhjgGpuzlY© p]C`uwhjgCmYtCkÀrY!kjlxo+tCu.µ ql o+lY_ºCk|` Áh|pv»`+uwphj_ºrsp`h|uªmnh|´Y`+g¹hjg¹gC`+h¬p]C`.R n gilnS Wµ q`.´Y`+wp]C`+k|`+uwu+® rYg¹` Áxp`.gCuh¬´n`©Ors_ºh|k|v°lY© . TUTWV XZY[,\,].
(23) ` ÁirY_aCk|`+uº¯1rYu(uptCihj`+hjg n N@lYgp]C`.u`¨`ÄÁirY_ºikj`+uap]C`§h|p`+rph|´Y`rsCClnrYo];lY©? L`.w©±lnw_º`. y@`.pp`+p]CrYgp]C`)lngC`)tCuwhjgCmarYg"hjgZgCh|p`+uwhj_ºrYki`.©±lnw_¿rsphjlng=µ ` ´n`+rYk&ls©zp]C`½rYk|mnlnh¬p]C_au_a`+gGph|lngC`+ rYy@l¤´Y` w`+{}tChjw`½plhjuwlnkÀrp`p]C`°`+rYkulnk|tiph|lngCu lY© .`+l« Ch|_º`.gCuh|lngrYklnk¬vxgCln_ahÀrYkuwvxuwp`+_au+µ rYgGvXulYkjtiphjlngCu` Áhjup©±lYp]Ch|uf{xti`+uwphjlnIg @©±lnfo.ln_ºikj`.p`+gC`.uu.® ¯`!yCwhj,` 8Cv(w`.´xhj` ¯ulY_º`)lY©p]C`._§µ o.ln_º_alngCk¬v"tCu`.°uwlnkjtphjlYg¨hjup]C`zo.ln_ºitiprsphjlnglY©r d) yCgC`.yrYuwhju nn® ®U®¤ ®8@lnuwuhjyik|v ©±lnk|kjl¢¯1`.)y}vp]C`So+lY_ºCtprsphjlngflY©ir LrphjlYgrYk qgCh|´srYwhÀrsp` `+Cw`+uw`+gGprsphjlng n® Wµ¼½`SrYk|ul _º`.gGphjlYg p]i` ¯1lnw¸&lY©dfhjtiuwphW® :q`+hjgGp Y® `+o.`+w©E®}~rYil!rsgC,o+lnk|kÀrYy@lnrsplnw!u bY®GbYi®¢i®nbnb W®n¯ ]Chjo]ªo.tCkj_ahjgrp`+ hjgzp]C` C`+uwhjmngªlY©p]C`qrYkjmnlYh|p]C_ÂlY©mn`+lY_º` ph|o `.ulnk|tiph|lng®Y¯ ]ilnu` `+rYkCo.lntCgGp`.rYp0¯ rsu_a`+gGphjlngC`. rYy@l¢´n`Yµ0\]ilntCmY]¿utio]rYCCwlGrYo]C`.u+®hjulYkÀrsphjgCmp]C`q`Ursk@uwlnkjtphjlYgCuSlY©8r +`.ls« Chj_a`+gCuwhjlngCrYkCuwvxup`+_2h|u `.CtCo.`+plºuptCivp]C``Urskwllspu lY©0rªtCgCh¬´srYhjrsp`@lnk¬vgiln_ºhjrYk 7µ ln]CrYgCCk|hjgCm,p]ihjuprYuw¸®¯`&w`.©±`. pSl i®Cin®G
(24) Wµ `.ptCu!rYkjuwl _º`.g}phjlngp]C`arYkjmnlYh|p]C_auyrYuw`+½lng°phjrYgCmntCkjrYuw`.pu.®uw`+` Bnx®bYi®8}}®bYiU® U® Yi®
(25) b rYgC ©±lnrCrYgClnrY_ºh|ouwtCw´Y`.v @}p]C` w`UrYko+k|lnutCw` lY©
(26) ihju¯`+k|kCrYrsip`.zplp]ihjuw`+Cw`+uw`+gGprsphjlng=µ h|grYkjk¬vn®xuwvx_zy@lnkjh|o « gxti_º`.hjoqp`.o]CgChj{}tC`.uLo+rYg§rYkjuwlay@`)tCu`.®u`.` UC®in rYgi§w`.©±`+w`+gCo.`+uqp]C`.`+h|gµ ¡ Ê +Æ ¥Y 1 Ê 4
(27) K4¥Y 1 Ê 4 1N4½ / Æ 4 Ê 4 È ¥ Ê 2£¥Y !¥n£ Æ 6 \]C`LrYy@l¢´n`LrYkjmnlYh|p]C_auC` p`+o pp]C` o+lngx« gC`.o.p`.o.ln_º@lngC`.gGpu lY©raw`UrYk8rskjmn`.yCrYh|ou` pyGv(p]C`)C`.u`.gCo+`!lY©o.h¬phjo+rYk@lnhjgGpu+®i¯ ]Ch|o]rs`)o]rYE« rYo p`+wDh .`+ yGv½p]C`¿´srYgCh|u]Ch|gCmls© utCh¬prYyCk|`¿_ahjgClYulY©rYo+lYyChÀrYg½_¿rph|o+`.u+µLu&¯`]rU´n`(uw`+`+g=®Sp¯l rYCilGrYo]i`+u ¯`+`)o.lngCuh|C`+w`+®itCuh|gCm,`+h¬p]C`. ChjuprYgio+`©±tCgio.ph|lngCu lY Cl¤w`+o.phjlngiu @Ch¬p1ptigCulntp p]rp y@lYp] ut³=`.LCrYo.phjo+rYkCh¬Ãºo.tCk|phj`.u+µ g½p]C`¿lngi`¿]rYgi®p]C`¿C`.mn`.`+uzls© p]C`a_ahjgClnwurYh|uhjgim"¯ ]C`.g tCuh|gCm¨r"ChjuprYgio+`ª©±tCgCo.phjlng½kjh|_ºh¬pu p]i`&@`+w©±lY_ºrYgCo+`lY©p]C`&rYkjmnlYh|p]C_-i`+uh|mngC`.¨hjg Wµ \]Chjuq_ºrY¸Y`.uh|pqC`.uh|rYyCk|`pl¿tCuw`&Cwlw`+o ph|lng ©±tCgCo ph|lngCu hjgp]i` CuwpLCkjrYo+`s®Cuh|gCo+`)p]C`1rYo.lnyChjrYg C`.p`+_ahjgCrYgGpu o]rYrYo.p`+h +h|gCm,p]C`)o+wh|phjoUrsk=kjlxo+tiu lY©r,Clw`.o.phjlng"]rU´n`)y@`.pp`+ Cwln`.wphj`+u.®u`.`)p]C`)Chjuwo+tCuwuh|lng§h|g§`+o phjlYRg µ g½p]C`ºlsp]C`.]CrYgC®rYkjmnlYh|p]C_autCuh|gCm"Clw`.o.phjlngCu!rYCik|vlngik|v¨plo+lY_ºrso.p)´srYh|`.ph|`+9u !rskj`+rYiv uh|_ºikj`f` ÁirY_aCk|`+u kjh|¸Y`)]Gv@`+wylYkÀrYu u]il¤¯Âp]rspqulY_º`)Cwlw`+o phjlYgCuL_ºrUv]rU´n`!gClao+h¬ph|oUrYk@lnh|g}pu lng gClngx«o+lY_ºrso.pf´srYh|`.phj`+u. µ `.pU®p]i`aw`+Ctio.ph|lng°lY©1p]C`ªmn`+gC`.rYkSo+rYu`ªpl p]C`ªo.ln_ºCrYo.puh¬ptrphjlYgy}v hjZg gCh|p`+uwhj_ºrYk}C`.©±lnw_¿rphjlYgCuyCtCwC`+giuSp]C` rYk|mnlnh¬p]C_aulY© b ®}bsi®Gbn® }®Gi®G W®Gulfp]rspp]C` CrYo ph|oUrYk @`+w©±lY_ºrYgCo+`.u lY©p]C`+uw`rYkjmnlYh|p]C_au1ClagClYp w9` 8`.o.pqp]C`.hjmnlxlo.ln_aCkj`ÄÁih¬pvnµ \]}tCu+®YtCuh|gCm Clw`.o.phjlng)©±tCgCo phjlYgCu8¯ h|p]ilntipo+ln_arYo ph oUrsphjlngfo.lntCk|k|`UrY)pl uwhjmngCh oUrph|´Y`SCrYo ph|oUrYk hj_aCwl¤´Y`+_a`+gGpu.µStCo.lngGph|yCtiphjlng,h|gzp]Ch|u0rYwphjo.kj`1h|upl)uptCivzutCo]aCl¤w`+o.phjlngiu0hjgzp]i`C`.u`+gio+` lY© gClngx«o+lY_ºrso.pSo+lYgCgC`+o p`.¿o+lY_º@lngC`.g}pu+µ wln_¾p]Chju0mn`.ln_a`.pwhjouptCivY®x¯` C`+itCo+`Lrgi`.¯ rskjmnlnwh|p]C_ ©±ln p]C`!o+ln_aCtiprsph|lng lY©0lngi`&@lnhjgGpqhjg§`UrYo]¨o.lngCgC`.o.p`+o+lY_º@lngC`.g}pLlY©Sra`+rYkrskjmn`.yCrYh|ofu` pUµfti wuwpq` Á@`+h|_º`.gGpu u]Cl¢¯ r,Cwln_aDh +h|gCmzy@`+]rU´xhjlYtC+µ ¡ 4 Æ U Ê £(Ë Ê P154£ 4@ ½£ 2 6 ftirYCilGrYo]&tCu`.up]C`gClYphjlnglY
(28) © O ,MHI)) .0/ Æ Æ Ê K2¡ Ê 2 Æ
(29) lY©ro+lngGph|g}tClntCu _ºrY®}¯ ]Ch|o](¯1`gil¤¯Ih|g}plxCtCo.`Y®}plnmn` p]C`.¯ h¬p]¿p]C`gClYphjlngºlY©r E#O &-H H+S_ºrYµ KT.
(30) `.p. @y `ar(_¿rslY©pln@lnkjlnmYhjoUrskuwrYo.`+u+µ,\]i`z©±tCgCo.phjlng f h|ufurYh|¨pl y@` O , rsp h|©p]C`+w`zhjuLr¿gC`.hjmn]}y@lntCw]Cllx B lY© w utCo]¨p]rsp f (B) hjuLo+ln_arYo pU®¯ ]C`+w` B C`.gClYp`+u p]C`)o+k|lnuti`flY© B µ ¶g p]Ch|uqrYwphjo+k|`Y®i¯`o+lngCuwhjC`.©±tCgCo.phjlngiuqy@`.p¯`+`.g¨o+lY_ºCk|` Á lYqw`UrYkrskjmn`.yCrYh|o´srYh|`.phj`+u.µS\]C` gClsphjlYgals©8ClY`.gC`.uu¯ h|kjkCy@`q`+kjrsph¬´n`plp]C` plYlnk|lnmnh|`+uh|gCCtCo.`+(yGv,p]i`_a`.pwhjo plnlYkjlnmnh|`+u lY© C ln R µ Â_ºrYlY©hjw`+itCo+h|yCkj`o.ln_aCkj`ÄÁ(´srYh|`.phj`+u f : V → W h|uurYh|(plªy@` E#O &-H H+h|©h¬puhj_ºrYmn` h|uqi`+gCuw`zhjg W ®h µ `Yµ h¬©p]i`!Ch|_º`.gCuh|lng lY© f (V ) rYuLrao.ln_aCkj`ÄÁ o+lngiuwpwtCo.phjyCk|`!uw`.pL`+{}trYk|uLp]C` Ch|_º`.gCuh|lng"lY© W µ ¼ `!` Áxp`.gC¨p]ihjuqC9` gih|ph|lng plºp]C`&o+rYu`!lY©Sra_¿rY V → W ®¯ ]C`+w` V h|u gClspgC`.o+`+uwurYwhjk¬v&h|`.CtCo.hjyCk|`Yµ\]C`+g,¯` `.{xtihj`p]rspp]C` w`+uph|o.phjlng!lY© f pl`UrYo],h|`.CtCo.hjyCk|` o.ln_º@lngC`.gGp lY© V y@`)Cln_ahjgrYgGp+µ `.p V ⊂ C y@`rYgrskjmn`.yCrYh|o´srYh|`.pv¿lY©Ch|_º`.gCuh|lng d rYgC Π : V → C rªCln_ahjgrsg}p Clw`.o.phjlngµ \]C`.gy}vap]i`Lp]i`+lnw`+_2lY©8Ch|_º`.gCuh|lng¿ls© y@`+u.® Π ]rYu1mY`+gC`.hjo+rYkjk¬*v gCh¬p` y`.u.µ0¶g¿p]ihju1uwh|ptrsph|lng® p]i`!©±lnk|kjl¢¯ hjgCm,©±tCgirY_a`+gGprYk@lnhjgGpLhjuqCl¢´n`.ghjg b ( p]C`&uw`.pflY©lnh|gGpuqlY© C rpL¯ ]Ch|o] f h|uLgClsp Cwln`. hju r,]Gv@`+wutC©OrYo+`sµ ¶gp]Ch|uuh¬ptrsphjlng=®¯`)¯ h|kjkC`+gClsp`fyGv P rªuw{}trY` ©±`.`!@lnk|vxgClY_ºhjrYkC9` gihjgCm,p]i`f]}vx@`+wutC©OrYo+`lY© rspL¯ ]ihjo] Π `.uwpwhjo p`+"pl V h|uLgClspCwln@`++µLtC upw`+utik|pLu]Cl¢¯ u]Cl¢¯ P o+rYgy@`&tCuw`+pl C lnyiprYhjglYgC`)lnh|gGp lng `UrYo]§o+lngCgi`+o.p`+§o+ln_alYgC`+gGp lY© V ∩ R µ ,+ V ⊂ C $,* HP LZ&5E & ,H>),&(O
(31) H "#$% &('
(32) ,&(,+ S O J0E & ,H>),&(O
(33) H d ,+ Π $, .0/ Æ}Ê ¡ Æ +
(34) O ',+5&(O
(35) H f :V →W w∈W. −1. n. d. d. Π. d. Π. n. n. Cn → Cd (x1 , . . . , xn ) 7→ (x1 , . . . , xd ). L O ) + > + + ),+NM&(',+5&(O
(36) H O J + O &D)RE#O &-H H+ ,+ $,SA'O
(37) HHI',+ E 'O O
(38) HI,H+0O J Π V D ),L' S+ > + 'O
(39) H+G &-H>) HIO ),&-H#" L# O
(40) &-H+ O J H E HIO ',M&-+5&(' O
(41) &-H+ J O
(42) V ∩ Rn D V Π ,+ $,= O
(43)
(44) HIO &5 E# 7H&-H#" + ) ,+I + #&(' &D)!HIO
(45) + O , ,H*+ , 3 &D),+ ) 'O
(46) HHI',+ E P Π 'O Π O
(47) HI,H+ O J + ) & "#$ &(' ) ,+ E# 7HIE $ #&(' &D)*'O
(48) H+( &-HIE &-H PΠ 6= 0 Π(D) Π:. .
(49)
(50) .
(51) . .
(52).
(53)
(54) . uqr,o+lYgCu`.{xti`+gCo.`Y®=mYh|´n`.grz´srYwhj`.pv V ⊂ C rYgC"rªCl¤w`+o.phjlng Π urphju© vxhjgCmzp]C`rYuuwtC_ºphjlYgCulY© \]C`.ln`._·n®ip]i`o.lngCgC`.o.p`+o.ln_alngi`+gGpu lY© V ∩ R oUrYg"y`fw`UrYo]i`+yGv C` p`.o.ph|gCmXp]C`o.lngCgC`.o.p`.;o+lY_º@lngC`.g}pu,¯ ]Chjo]¹o+lngGprYhjg4`+h¬p]C`.,uh|gCmntCkjrYz@lnhjgGpu,lY,o+h¬ph|oUrYk @lnhjgGpu ©±ln Π @ ©±lnrYkjkxlYp]C`+o.lngCgC`.o.p`+ªo+ln_a@lngC`+gGpu+®Go+lY_ºCtphjgimlngC` @lnh|g}phjgz`+rYo]ªo+lngigC`+o p`+ªo.ln_º@lngC`.gGp lY© P 6= 0 @rsgC®mnh¬´n`+g"utio]¨r,lYhjgGp y ®iuwptCivxhjgimap]C` y`. V ∩ Π (y) µ \]Ch|u0Chjo]Clspln_&v!hjup]C`yrsuhju0ls©lYtCSrYkjmYlnh¬p]C_"µ8\l)h|_ºCk|`+_a`+gGpp]ChjuhjC`+ri®Y¯` ¯ h|kjkxtCu`qrYgarYCrYip`. `.C`.u`.g}prsph|lngls©0rYk|mn`+yCrYhjofuw`.pu+®p]C?` +NM&5 H#" L# ) ,+w`+Cw`+uw`+gGprsphjlng=µ¶gCC`+`.®@h|pptigCuLlntip p]rp p]i`!rsuuti_ºiphjlngiulY©\]i`+lnw`+_·rY`)w`UrYCh|k|vºo]C`+o¸s`+tCuwhjgCm,p]Chju¸}hjgi§lY©`.C`.u`.g}prsph|lngµ n. n. Π. TUTWV XZY[,\,]. −1.
(55) ¡ ±£
(56) O£i¡ Æ ¤ 6 \]C`!©±lnk|kjl¢¯ hjgim,C`9gih|ph|lngCu o+lY_º`)©±ln_ Bi®b® Y® Gb
(57) N@©±lYrªC`.prYhjk|`+"utC´n` v lY© uwtCo]*gilYph|lngCu+®¯1`w`.©±`+!plA b
(58) Wµ¼ `(gilYp`¿p]rspzp]C`¿phÀrsgCmntCkjrY)`+i`+uw`+gGprphjlYg4¯1rYu,rskj`+rYiv tCuw`+h|g(p]C`rYph|o+kj`* W®hjg"r,uh|_ºh|kÀrYo+lYg}p` ÁxpLlY©w`UrYkrskjmn`.yCrYh|omn`.ln_a`.pvnµ 1lngCuwhjC`.&r"kj`ÄÁih|o+lnmYrYC]ihjoªlni`+lng uwln_º`ª´srYhjrYyCk|`+u X , . . . , X µ"d)h¬´n`+g r§gClYg«o.lngCuwprYgGp&@lnk¬v}« gCln_ahÀrsk P h|g Q[X , . . . , X ] ®C¯1`oUrYk|k ? &-H
(59) M&5 $DlY© P rsgC§i`+gClYp`!yGv mvar(P ) p]C`mn`+rsp`.uwp ´srYhjrYyCk|`rsC`+rYh|gCmqhjg P ¯ h¬p]&w`+uw`.o.pplp]Ch|ulYC`.+µ¼ h¬p]p]C`.u` gClsprsphjlngCu.®¯` C,` gC`phjrYgCmntikÀrY u` purYuq©±lYkjkjl¢¯ 9u 1r,©OrY_ahjk|v T = (t , . . . , t ) lY©gClYg«o.lngCuwprYgGp@lnk¬vgiln_ºhjrYkju1hjg Q[X , . . . , X ] h|u r +NM&5 H#" L# 0) ,+fh|©1rYgC°lngCk|vh|© ©±lY t 6= t µº\]CR` "#$% &('
(60) M&5 $D)ºrYw` ) p]i`_ºrYh|g(´YrshÀrsyCkj`.u lY©p]C`)@lnk|vxgCmvar(t ln_ahÀrskju)hjg 6=T mvar(t @ip]i`lsp]C`. ´srYwhÀrYyikj`+u rY`)oUrskjkj`. +N% H>) ',H E#,H+( µ ln_a`LrYCCh¬phjlYgrYko+lYgCCh|phjlngiu_&tCuwp1y`Lhj_alnuw`+apl&`.gCuti`fr`+mYtCkÀrY`+gilntCmn](y@`+]Cr¢´xh|lntC+µ rsptCrYk `.uwphjo ph|lngCu(k|`UrY;pl»p]C`gClsphjlYgCu(lY?© (" LZ S) > $DpwhÀrYgCmYtCkÀrYau` pu.®rYgCIr»mn`.gC`+rYkjh Ursphjlng p]i`+`.lY©E® ),+N O
(61) H#" ? HIO
(62) ? &
(63) EfphÀrsgCmntCkjrY u` pu.µ \]C`+h|Li9` gCh¬ph|lng `+k|hj`.uqlYg"p]C`!gilYph|lngCulY©hjgCh¬phÀrskju rYgC"u`.rYrYgGpu+®¯ ]Ch|o]"¯`)gCl¢¯h|g}plxCtCo.`Yµ \]C` &-H&-+N&5 ls©r!@lnk|vxgClY_ºhjrYk P hjuh|puk|`UrYCh|gCm)o+lx`.Ãao+h|`+gGpU®x¯ ]C`+g P h|uo.lngCuwhjC`.`+(rYu1tigCh|´srYwhÀrsp`qh|g h|pu_¿rshjg´srYhjrYyCkj`sµ0\]C*` ) > % H+ lY© P hju p]i`!@lnk|vxgClY_ºhjrYk ∂P /∂mvar(P )µ¶ © T = (t , . . . , t ) hju r,phjrYgCmntCkjrYu`.p+®C¯1`f¯ h|kjk=i`+gClYp`fyGv h p]C`fh|gCh|phÀrYklY© t ®rsgC y}v s p]C`fu`.rYrYgGpLls© t ®i©±ln i h|g µ {d + 1, . . . , n} `.p y@`,raphÀrsgCmntCkjrY u`.prYgC¨k|`.p y@`!p]C`&ilxCtCo.plY©Sh|puLh|gCh|phÀrYk|u+µ\]C` ) +NL#% + E &5E# lY© T Thju p]i`ursptirsphjlng lY© T ¯ h¬p] `.hu@`+o pLpl h .
(64) 1 4. n. 1. n. 1. d+1. n. i. n. 1. j. i. j. d+1. i. i. i. n. i. hn P ∈ hT i}. sat(T ) = hT i : h∞ = {P ∈ Q[X1 , . . . , Xn ] | ∃n ∈ N,. \]C` L
(65) ),&
(66) 'O O
(67) HI,H+LlY© hjufp]C`ºo+lngiuwpwtCo.phjyCk|`ªu`.p µ(\]}tCu!p]C` .`+l«u` pqlY© sat(T ) h|u p]C`TrYwhju¸}ho.kjlnuwtC`)lY© W (T ) ®C`+WgilY(Tp`.§) yG=v VW(T(T))\µ V (h) phÀrsgCmntCkjrYuw`.p T h|u* (" LZ ¿h|©E®=©±ln i h|g {d + 1, . . . , n} ®p]C`ªh|gCh|phÀrYk h Clx`+u)gClYp)ih|´xhjC` .`+lahjg µ Q[X , . . . , mvar(t )]/sat(t , . . . , t ) Q`.mntCkÀrs phjrYgCmntCkjrYu` p T hju ) > $Dh¬©E®©±ln i hjg {d + 1, . . . , n} ®p]C`u`.rYrsg}p s il`.u gClsp Ch|´xhji` +`+wlºh|g Q[X , . . . , mvar(t )]/sat(t , . . . , t ) µ ;w`+mntikÀrYrYgCªu`.rYrsyCkj`1phjrYgCmntCkjrYu`.p h|!u ),+5O
(68) H#" HIO
(69) ? &
(70) E1h|©©±lY hjg ® p]C`)hjgCh¬phÀrsk h C`.`.gCCulYgCk|v¿lngp]C`fprYgCTuwo+`+giC`+gGprsk´srYwhÀrYyikj`+uls© T µ i {d+1, . . . , n} \]C`f©±lnk|kjl¢¯ hjgCm!p¯1la`.utCk¬pu u]Cl¢¯ p]rsp uwtCo]§phjrYgCmntCkjrY1uw`.puLCwl¢´h|C`)rªtCu` ©±tCkplxlnk=©±lnlYtChjgCh¬phjrYk h|urYgGv ©OrY_ahjk¬v(lY©0@lnk¬v}« {}tC`+uph|lngµ \]C0` wuwpL©±tCgCrY_a`+gGprYk8©OrYo.pLhjuqCl¢´Y`+ghjg Bnb Nh|© gCln_ahÀrskju+®p]C`.`` Áh|uwpuªuplYgCmnk|v gClnw_¿rYk|Dh .`+½phjrYgCmntCkjrY&uw`.pu (PT ,, .. .. .. ,, TP )uwtCo]¹p]rsp,p]C``+{}trYk|h|pv ]ilnkjCu.µ V (P , . . . , P ) = ∪ W (T ) \]}tCu+®G¯` oUrsg,o+lngCo.`+gGprsp`lYgzp]C` o+rYu`1lY©@r´srYh|`.pvmnh|´Y`+gªrYup]C` o.kjlnuwtC`lY©p]C`1{xtCrYuh «o+lY_º@lngC`.g}p lY©ruwplngCmYk|vªgClnw_¿rskjDh .`+,pwhÀrYgimntCkÀrs0u`.p+µS\]C`+g¿p]C`uw`+o.lngChj_a@lnwprYgGp0©OrYo.phjuSp]C`qprYgCukjrsph|lngªlY© \]C`.ln`._·)pl,p]Ch|uo+lngGp`ÄÁxpUµ . i. i−1. 1. d+1. i−1. i. d+1. i. 1. i. i. 1. k. ` i=1. 1. k. 1. `. i. KT.
(71) Æ}Ê ¡ Æ
(72)
(73) . . . ,+ ,$ F),+5 O
(74) H#" .0/ T ⊂ Q[X1 , . . . , Xn ] + > + + +N% H>) ',H E#, H +(
(75) M&5 $D)0O J . . T. Π:. HIO
(76) ? &
(77) E 5+ M&5 # H " LZ ) ,+ ,+ $, + O ',+5&(O
(78) H. X1 , . . . , Xd. . Π.
(79) . . . H EF),L O ) . Cn → Cd (x1 , . . . , xn ) 7→ (x1 , . . . , xd ). ,+ W (T ) $,+ W (T ) D W (T ) ∩ R. J &D) + + ,H?+ , &D),+ ) 'O
(80) HHI',+ E0'O O
(81) HI,H+UO J!+ !) &
(82) "#$% &(' ) ,+UE#7 HIE D∩V (s) &-H $ #&(' &D)0'O
(83) H+G &-HIE &-H Π(D). R h 6= 0 \]Ch|u`.³`+o ph¬´n`´Y`+wuhjlYgzlY©\]C`.ln`._21hjup]i`1¸Y` v!plC`.uh|mngzlntCrYk|mnlnh¬p]C_"µgzh|gCCtiprL@lnk|vxgClY_ºhjrYk ©OrY_ahjk¬v (P , . . . , P ) hjg Q[X , . . . , X ] ®p]Ch|urYk|mnlnwh|p]i_ w`.ptigCurLu` plY©>+`.ls« Chj_a`+gCuwhjlngCrYkGuwvxuwp`+_au ¯ ]Clnuw`!uw`.pLlY©w`UrYk8wllspu hjgGp`.uw`+o.pL`Urso]o+lYgCgC`+o p`.¨o+ln_a@lngC`+gGpqlY©p]C``+rYkrYkjmY`+yCrYhjofuw`.pLC9` gi`+ yGv P = . . . = P = 0 µS¶ p oUrsg§y@`)u¸Y` po]C`.rYu©±lnk|kjl¢¯ u ¼½`Rwuwpo.ln_ºitip`§r C`.o+ln_alYuh|phjlng¹hjg*uwplngCmYk|v¹gClnw_¿rYk|hD.`+ pwhÀrYgCmYtCkÀrYªuw`.pu¿lY©p]i`¨o+ln_aCk|` Á ´srYh|`.pv¿C`9gi`+"y}v P = . . . = P = 0 µ0\]C`.g"¯`rYCCk¬v¿\]C`.ln`._ b!plª`+rYo] lY©p]C`.u`fpwhÀrYgCmYtCkÀrY u` pu9p]C`o.lngCgC`.o.p`+,o+lY_º@lngC`.g}puls©ip]i`o.kjlnuwtC`lY©Ch¬pu{}trYuwh¬«o.ln_alngi`+gGprY``+rYo]C`+&y}vuptCivxh|gCm y@lYp]ap]C`LhjgGp`.u`.o.phjlng¿¯ h¬p]ap]C` +`+wls«uw`.p1lY©p]i`u`.rYrYgGpu+®irYgC¿p]C`]Gvx@`+uwtCw©Orso+`C,` gC`.y}vap]i` hjgih|phjrYkju.µ \]Ch|urYk|mnlnh¬p]C_ `+{}tCh|`.uplp`+rsp0rqu`+_ah¬«rYkjmY`+yCrYhjo0CwlnyCk|`+S_ o.ln_aCtip`1rspk|`UrYuplYgC` @lnhjgGphjg&`+rYo] o+lYgCgC`+o p`.ºo.ln_º@lngC`.gGpSlY©r)w`UrYkiu`+_ah¬«rYkjmY`+yCrYhjou` pSC9` gi`+ay}v P 6= 0 ®s¯ h|p] P hjg Q[X , . . . , X ] µ \]C`.`,` Áh|uwp)rYk|mnlnwh|p]i_ºu¯ h|p]¨uh|_ºik|v ` Á@lngC`.g}phÀrYko+ln_aCk|` Áh|pv ©±lnqp]Ch|uLprsu¸®8u`.` b i®8bs®8bn}® ® i® µ `.p+®h¬pfhju©Ors)©±wln_²lYy}´xh|lntCufpl lnyiprYhjg°rYgX` úo.hj`.g}p!hj_aCk|`+_a`+gGprsphjlng§lY© uwtCo]»rskjmnlnwh|p]C_ºu.µ ln)lntC upz`ÄÁi@`+whj_a`+gGpu.®¯`¿©±lntCgi h|py@`.pwp`+pl"tCu`ºp]C`aCl¤w`+o.phjlng½uwp`+»lY©1p]C`¿vxkjhjgiCh|oUrYk k|mn`+yirYh|o `+o.ln_alnuwh|phjlng rYk|mnlnwh|p]i_§µ H E. s. H E. h.
(84) .
(85)
(86) . . + OE L',+=O J ) ',+N& , + ) > % H+-) H E + &-H&-+N&5 ) O J T H E 'O
(87) HHI',+ E ' O O
(88) HI,H+ O J n. M&D)
(89) & ',DO ),L#0O J. . d. 1. k. n. 1. k. 1. 1. k. 1. d. Ê 2 Æ 1 Ç 1WU
(90) Æ £ 4Ë 2¡¤£¥Y 1O¥n£ 2 Æ ¡ Ê ¡ £ 4¥ Æ 6 ¶gp]Ch|ufrY@`++®¯`ªCl gClYp)mnh¬´n`,o.ln_ª« Ck|` Áh|pvw`+uwtCk|pu+µ(\]C`ºo+wtCo+hjrYk0ClYyCkj`._ hjufpl"y@lntCgC°p]C`amn`+lY_º` ph|o,C`+mY`+`alY©p]C`ahjgGp`._a`+Chjrsp` ´srYh|`.phj`+urYi`+rYh|gCmh|gp]C` rYk|mnlnwh|p]i_§µ8¶gCi`+`+=®Yp]C`.u`1´srYwhj` phj`.uC`+uwo+h|y`hj_zyihjo+rsp`.!uwhjgCmYtCkÀrYk|lo.h(@ p]i`!o.tCC`.uwpLtCC@`+qylYtCgClYg"p]C`+h|C`+mnw`+`.uhju ClYtCyCk|v(` ÁlYgC`+gGphjrYkhjgp]i`!g}tC_zy@`+ lY©´srYhjrYyCkj`.u+µ g"p]C`)lYp]i`+]rYgi®C¯1`!rYw`fgClYpLrU¯ rYw`)lY©rsg}v(kjl¢¯1`. ylntigC"©±lY p]Ch|u{xti`+uwphjlng=µ \]}tCu+®8p]C`zo+lY_ºCk|` Áh|pv§lY©lntCrYkjmnlYh|p]C_$hjg§p`+w_ºulY©uDh .`,lY©0p]i`,lntipitip)hjuLuwph|kjkr(kÀrYwmn`+k¬v"ln`.g CwlnyCkj`._§®x¯ ]Chjo]"u]ilntCkj"y@`uwlnk|´Y`+"y` ©±ln`f`.uwphj_ºrsph|gCm,h|pu rYh¬p]C_a`.phjoo.ln_aCkj`ÄÁih¬pvnµ g¨p]C`&CrYo ph|oUrYkuh|C`Y®¯1`,o.ln_ºCrY`.¨lntCrYkjmnlYh|p]C_-¯ h¬p]¨p]i`zlngC`©±ln _ ®@¯ ]Chjo]]rsu]Cl¢¯ g yGv©OrYp]i`ay@`+up`.w©±lnw_¿rYgio+`+u)h|gXp]C`ªo+ln_arYwh|ph|´n`!p`+upu_¿rsC`,hjg n
(91) Wµ §lnuwp!lY©p]C`,p`+uwp«uwtCh|p` CwlnyCkj`._ºuSC`.uo.hjy@`qgClng« o+ln_arYo p´srYwhj` phj`.u+®G¯ ]Ch|o]¿Cw`.´n`.gGpu p]i`Lo.ln_ºCrYh|ulngª¯ h|p]ap]C`rskjmnlnwh|p]C_ ©±lY_
(92) µ \]C`.u`&ilnyCk|`+_auo+ln_a`)_ºlYuwpk¬v¿©±wln_$rYo+rYC`+_ahjoflYqh|gCCtCupwhÀrYk8rsCCkjh|oUrsphjlngiu lY©p]C` ¶CQp`.uwp« utih|p?` ¢ Wµ g§rYkj_alnup rYkjkp]C`.u`)p`+upu.®@lYtCqrYkjmnlYh|p]C_ rYg ©OrYuwp`+p]CrYg"p]C`)lngC`)©±ln_ (@¯`!o+rYg rYk|ulªulnk¬´n`)CwlnyCkj`._ºup]rsp ¯`+w`lYtipqlY©p]C`)`+rYo]§ls©p]rspLrYkjmYlnh¬p]C_"µ . . TUTWV XZY[,\,].
(93) ª¡ £4K1 G£i 1 Ê 4 Ê f / Æ 2£>2 Æ ¡ 6 `.o.phjlngCubrYgiC rYw`,C`.´YlYp`.°pl Cl¢´n`ª\]C`.ln`._ºuªarYgC½bµ \]C`!C`.prYhjk|uLlY©p]C`!_¿rshjg§rYkjmnlYh|p]C_rs`C`.u`+gGp`+Xhjg¨`+o phjlYgCµL`.o.ph|lngªC`.u`.g}pufr¿uwlnkjtiphjlng ©±lnLuwptiivxhjgCmp]i`zo+ln_aCk|`+_a`+gGprspv"lY©r(w`UrYk]}vx@`+wutC©OrYo+`s®¯ ]ihjo]hjuhjgCuwChjw`+¨yGvp]C`zCwlw`+o ph|lng uwp`+»ls©1p]i`(vxkjh|gCCwhjoUrsk0kjmY`+yCrYhjo `.o+ln_a@lnuh¬phjlYgµ h|grYk|k|vn®x`+o.phjlnCg §i`+uw`+gGpu&lntCCrYo ph|oUrYk ` Á@`+whj_a`+gGpu.µ . ª! Q/) % \]Ch|u u`.o.ph|lnghju1C`.´YlYp`. pl,Cl¢´Y`f\]C`+lnw`+_ nµ `.p p]C`)Cwlw`+o ph|lng Π . . V ⊂ Cn. y@`)rYg`+{}tCh|Chj_a`+gCuwhjlngCrYk´Yrshj` pv(rsgC. Cn → Cd (x1 , . . . , xn ) 7→ (x1 , . . . , xd ).. Π:. tCilnuw`ºp]rspp]C`a`.uwpwhjo phjlYg½lY© Π pl V hju)Cln_ahjgCrYgGpUµ ` p D y`ºr§o.lngCgC`.o.p`. o+ln_a@lngC`+gGplY© ¯ h|p]ClntipquwhjgCmntikÀrY @lnhjgGpLgClnqo+h¬ph|oUrYk@lnh|g}pq©±ln Π rsgCk|`.p P y`!rº@lnk¬vgiln_ºhjrYkC`,gCh|gCm V ∩R p]i`§uw`.p¿rspª¯ ]Chjo] Π h|uagilYpaCln@`+.µ\]C`.g;\]C`.ln`._ §uprsp`+uºp]rspªp]i`+`"` Áh|uwpuºrXo+lngigC`+o p`+ o+lY_º@lngC`.g}p S lY©p]C`)u`._ºh «ErYk|mn`+yCrYhjoqu` pi9` gC`.§yGv P 6= 0 o+lYg}prYhjgi`+"hjg Π(D) µ `.ptCuC`+gilYp`ayGv U p]C`ªhj_ºrYmn` Π(D) µa\]C`aClxlY©lY© \]C`.ln`._ ºtiu`+up]C`,©±lnk|kjl¢¯ hjgimo+kÀrsuuh|oUrYk `.utCk¬p lng p]C`)Cwln`.gC`.uuqC`.©±`.o.puLlY©r,o+lngGphjg}tClntCu _ºrYµ SÆ £ O
(94) - α &-H U \ U Π ),+5M&(',+ E + O D &D) HIO
(95) + O , + α. `.p α y`§hjg U \ U ®qrYgC utiClYu`p]rsp Π hjuºCln@`+¿rsp α µ\]C`.g;p]C`.`¨`ÄÁih|uwpurYg ln@`+g;uw`.p o+lngGprshjgCh|gCm α utio]¹p]rsp Π (B) h|uzo+lY_ºrso.pU®¯ ]i`+` B hju!p]C` o+k|lnuti`(lY© B ©±lnzp]C` B ⊂ R _a`.pwhjoplnlYkjlnmYvYµ\]Ch|uqh|_ºikjhj`.up]rsp U ∩ B = Π(Π (B) ∩ D) hjuo.ln_arYo.p+®]C`+gio+`o+kjlYu`+=µ\]ihju o+lYg}prYihjo.pup]C`f©OrYo pp]rsp α h|uhjg U \ U µ ¼½`1oUrsg&gCl¢¯4Cwl¤´Y` \]C`.ln`._ Yµ `.p y y@`1hjg U rYgC x hjg D ®Yutio]&p]rp Π(x) = y µ v!rYuuwtC_ºphjlYg® hjuLgC`+h¬p]C`.r(o+wh|phjoUrsk@lnh|g}pLlY© Π `+upwhjo.p`+¨pl V gClnr¿uh|gCmntCkjrYL@lnh|g}pLlY© V µ\]xtiu+®©±lY_ p]C` x hj_aCk|hjo+h¬p0©±tCgCo phjlYg(p]C`.ln`._§®ip]C`+w`f` Áhjupu rzgC`.hjmn]}y@llY]Clxl B lY© y h|gCo+k|tCC`.hjg U = Π(D) ®iul U hjuln`.gµ)¼ `zp]C`+gXC`.CtCo+`,p]rspp]C`+w`a`ÄÁhjuwpu)r(o+lngigC`+o p`+°o+lY_º@lngC`.g}p S lY© P 6= 0 ®utCo]Xp]Crsp µ ` p tCu u]Cl¢¯p]rspp]ihju hj_aCkjh|`+up]rsp S ⊂ U ®C¯ ]Chjo] ¯ hjk|k=o+lYgCo+k|tCC`fp]C`)Cwlls©Eµ U ∩ S 6= ∅ ¶gCC`.`+®}uwtCC@lnu`lng!p]C` o.lngGprYwv!p]rspp]C`.` `ÄÁhjuwp y ∈ U ∩S rYgC y ∈ S \U rYgC,kj` p γ ⊂ S y@`r o+lYg}phjg}tClntiu1rsp]¿k|hjgC¸}hjgim y rYgC y µ0hjgCo.` U h|uln@`+g=®xp]C`+w`` Áh|uwpu y ∈ γ uwtCo](p]rp y ∈ U \ U µ ln_ `._º_ºr"Y® `.uwpwhjo p`+§pl V hjuqgClYpClY`.rsp y µ \]}tCu P (y ) = 0 ®@¯ ]Ch|o]¨o+lYg}prYihjo.pu p]i`)©Orso.pp]Crsp y hjΠuh|g S µ n. Π. Π. . . d. −1. −1. . Π. 1. 1. 2. 2. 0. 0. Π. 0. 0. 0. ª! Q/) % ¼½`"gil¤¯Cwl¤´Y`rsg¹` ³=`.o.ph|´n`´Y`+uwhjlng¹lY©q\]C`.ln`._ n®SC`+Ch|oUrsp`+4plp]i`oUrYuw` ¯ ]i`+g*p]C`(´srYh|`.pv hju,p]i`"o.kjlnuwtC` lY©Lp]C` {}trYuwh¬« o+ln_alYgC`+gGpªlY©rXupwlngCmnk¬v gClnw_¿rYk|hD.`+»pwhÀrYgimntCkÀrs&u` pUµ¹\]Chjuªh|u V `+gioUrYCuwtCkÀrp`+"hjg \]C`.ln`._ bµ. . . KT.
(96) `.p. y`rªuwpwlngCmnk¬vgClnw_¿rskjhD.`+(phÀrsgCmntCkjrY u` pU®@rYgC§utCilnuw`p]rsp p]i`prYg« uo.`+gCi`+gGprYk´srYhjrYyCk|`+u lY© T rY` X , . . . , X µ `.p Π y`p]C`)Cl¤w`+o.phjlng T ⊂ Q[X1 , . . . , Xn ]. d. 1. Π:. Cn → Cd (x1 , . . . , xn ) 7→ (x1 , . . . , xd ). Yr gC s rYgC h p]C`CwlCtio.pSlY©`.u@`+o.ph|´Y`+k|v!p]C` uw`+rYrYgGpurYgC,p]C`hjgCh¬phjrYkjulY© T µ `.p W (T ) y`p]C` rYwhju¸}ho+k|lnuti`qlY© rYgi D r)o+lYgCgC`+o p`.o+ln_alYgC`+gGplY© W (T ) ∩ R µ¶ © D ∩ V (s) hju`+_aipvY® W (T ) p]i`+g\]C`.ln`._$b&rYuwu`.wpu p]rsp p]C`+w`` Áh|uwpu rzo+lngCgi`+o.p`+ o+lY_º@lngC`.g}p S ls©8p]C`uw`+_ah¬«rYkjmn`.yCrshjou` p C,` gC`+§yGv h 6= 0 uwtCo]§p]rsp S h|uo+lngGprshjgC`."h|g Π(D) µ ~0l¢´xhjgCm\]i`+lnw`+_·b¿w`+{}tCh|`+upl`.kÀrsp`!p]i`,uhjgimntCkÀrsL@lnhjgGpulY© ®=p]C`,o+wh|ph|oUrYk@lnhjgGpuLlY© lng W (T ) rYgCºp]C`uw`.pls©8gClng« ClY`.gC`.uu1ls© Π pl&`.u@`+o ph|´Y`+k¬vapW]C`(Tuw`+) rsrYgGpu rYgCºp]C`h|gCh|phÀrYk|ulYΠ© @=p]C`+g¯`&¯ hjk|krYiCk|v"\]C`.ln`._7z¯ h|p]p]ihjuuwtCCCk|`+_a`+gGprYvh|gi©±lnw_¿rsphjlng=µq¼½`,tCu`zr(u`+whj`.ulY© T hjgGp`+_a`+ihÀrsp``.utCk¬pu @Cp]C` upqlY©p]C`+_-hju Cl¢´Y`+gh|g B
(97) rYgC Bn
(98) µ SÆ £ W (T ) &D) LZ&5E & ,H>),&(O
(99) H O J E & ,H>),&(O
(100) H d H E W (T ) ∩ V (s) >
(101) ) E & ,H>),&(O
(102) H D)) +
(103) > H L#M+ , O
(104) +
(105) ),+NM&(',+5&(O
(106) HCO J + O &D) E#O &-H H+ d. Π W (T ). \]C`ªgC`ÄÁpk|`+_a_¿r¿mYh|´n`.u)rYgX` ÁCk|hjo+h¬pfo]rYrYo.p`+wDh UrphjlYglY© r(uwtCyG´srYh|`.pvh|g W (T ) o+lYg}prYhjgihjgCm(p]C` uh|gCmntCkjrY @lnhjgGpu rYgC p]C`)o+wh|phjoUrsk=@lnhjgGpuls© Π lng W (T ) µ SÆ £ ),&-H#" LZ O
(107) &-H+-)*O J W (T ) H E + ',M&-+5&(' O
(108) &-H+-)*O J Π O
(109) H W (T ) &-HI', L E#E &-H W (T ) ∩ V (s). O O J `.p y@` r gCh¬p`S©OrY_ºh|k|vmn`+gC`.rsphjgCm ®YuwlLp]rsp rYkjuwlmn`.gC`+rsp`.u ) µ wln_ `+_a_¿ rºb®pS]ihjuqhjC`+rYk8hjuqrYihjoUrskrYgC`.{}tChjCh|sat(T _º`.gCuh|)lngrYk8ls©0Chj{T_a`+,giS} uhjlYg d u`.` ®@ulºsat(T p]C`&uwhjgCmYtCkÀrY kjlxo+tiuls© W (T ) h|u)o+lngGprshjgC`.½h|gXp]C?` +`+wls«uw`.p!lY©1p]C` n − d × n − d _ahjgilnuflY©p]C`rYo.lnyChjrYgXlY© µ\]i`&CwlCtio.p lY©p]C`!u`+CrYrYgGpuflY© T rYC@`UrsursulngC`&lY©p]i`+u`&_ºh|gClnu.®@¯ ]ihjo]¨Cwl¢´n`+u {T , S} p]i` Cuwpqrswp lY©p]C`)Cwsln@lnuh¬phjlYgµ Ll¢¯)®utCC@lnuw`&p]rp y hjuLr¿o.h¬phjo+rYk8@lnhjgGpLlY©p]i`&`.uwphjo ph|lnglY© Π plap]C`!`.mntCkÀrsLrswpls© W (T ) µ ¶ © p]C`ºrYgC¸lY©p]C`rYo.lnyChÀrsg°ls© T h|g y h|u)kj`+uwup]rYg n − d ®p]C`.g y ∈ V (s) ®rYgi½¯`(rYw`ailngC`Yµ tCilnuw`&gCl¢¯p]rsp p]i`!rYgC¸lY©p]C` rYo+lYyChÀrYg lY© T hjg y `.{}trYkju n − d µ1\]C`.gp]i`prYgCmn`.g}pLuCrYo+` h|up]i` +`.ls« u`.p lY© grad (t ), . . . , grad (t ) µ0\]C`.g y y@`+h|gCm&o.h¬phjo+rYk©±ln Π vh|`+k|Cup]C` T W (T ) hjgi`+{}trYk|h|pv dim(Span(u , . . . , u , grad (t ), . . . , grad (t ))) < n ¯ ]C`.` u , . . . , u rYw`,tCgCh|prYwv"´n`.o.plnu)lng¨p]C`ªrÁ`+u)o+lY`.u@lngCCh|gCm(pl(p]C`zprYgCuwo+`+giC`+gGprskS´srYwh¬« rYyCk|`+ulY© T µ2¶g CrYwphjo+tikÀrY.® p]C`(rYo+lnyihÀrYg C` p`._ahjgrYgGp lY© T ¯ h|p]I`.u@`+o p"pl¹p]C`°rYkjmY`+yCrYhjo ´srYhjrYyCk|`+u1´srYgCh|u]C`.uqrsp y @I& y h|uhjg V (s) µ SÆ £ ,+ Γ ⊂ C $,+
(110) ) ,+7 + # &(' + ),+NM&(',+5&(O
(111) HO J Π + O W (T ) &D) HIO
(112) + O , ,H &D)*'O
(113) H+( &-HIE &-H +
(114) , O ( ) ,+ O J h. Γ O O J 1lYgCuh|C`+p]C`,Cwhj_ºrYwv§C`+o.ln_alnuwh|phjlng§lY© h|g , . . . , X ] sat(T ) = ∩ A µ h|gCo+` sat(T ) hjuSrsChjo+rYk ®Grskjkih|C`Urskju A rY` Cwhj_a`Yµ1sat(T lnw`+uw) lngiCC[X hjgCmYk|vn®n¯` ¯ h|p`p]C` C`.o+ln_alYuh|phjlng lY© W (T ) h|g}pl C« hjw`+itCo+h|yCkj`o.ln_alngi`+gGp9u W (T ) = ∪ V ®C¯ ]i`+` V hju p]i` .`+wls«uw`.pqlY© A µ n. . . . y. y. d+1. d. 1. 1. . y. y. n. d+1. y. n. d. d. n. 1. `≤L. `. `≤L `. TUTWV XZY[,\,]. `. `. `.
(115) ½¼ `tCu`p]ihju0C`.o+ln_alYuh|phjlng!plrYCCk¬vzrfo]rsrYo p`+whD+rsph|lngz©±ln_ b lY©p]i`quw`.pSlY©gClngx«Cwln`.gC`.uu.® ¯ ]Ch|o]hju ´srYk|hjh|g"p]C`)hjw`+Ctio+hjyikj`foUrsu`Yµ `.p K = C(X , . . . , X ) C`.gClYp`.uLp]C`)rsphjlngrsk=©±tCgCo phjlYg `.kj;lng¹p]C`§u` plY©prYgCuwo+`.gCC`+gGprYk´srYhjrYyCk|`+u+® ® rsgC A p]C``ÄÁp`+gCuwhjlngiu(lY©fp]i` sat(T ) T hji`UrYk|u sat(T ) ® T rYgC A hjgºp]C`Lhjgim K[X , . . . , X ] µhjgCo.`Lp]C``.uwphjo ph|lng¿lY© Π plz`+rYo] V h|u Cln_ahjgCrYgGpU®CgClYgC`)lY©p]C`hjC`+rYkju A oUrYg§o+lngGprshjg"ra@lnk¬vgiln_ºhjrYk@hjg C[X , . . . , X ] µ=lY_p]ihju+®rsgC tCuwhjgCm,p]i`i9` gCh¬ph|lng lY© sat(T ) ®Cp]C`f©±lnk|kjl¢¯ hjgim,rYuuw`+phjlYgCu o+ln_a`©±ln_-r,lntiphjgC`fo]i`+o¸ ©±ln rskjk ` ® A hju rªCh|_º`hjC`+rYklY©Chj_a`+giuhjlYg +`+wl @ p¯lºihjuwphjgCo p hjC`+rYkju A rYgC A mn`.gC`+rsp`fp]C`)tCgCh|p h|C`Ursk(@ h|uLh|uln_alni]Chjofplap]C`©±rYo ph|lnRg `.kj§lY© C[X , . . . , X ]/A µq\]Ch|uLh|u K[X , . . . , X ]/A p]C`f©±tCgCo.phjlng `.kj lY© V ®C`+gilYp`.§yGv C(V ) @ p]C`)hjC`+rYk sat(T ) o+lnh|gCo+h|C`+u¯ h¬p] T µ \]}tCuqtCuh|gCm,p]C`!1]Ch|gC`+uw`& `+_ºrYhjgiC`+ \]i`+lnw`+_"®C¯1`C`+itCo+`)p]C`f©±lnk|kjl¢¯ hjgim&hjuwln_alnC]ihju_S d. 1. K. `. d+1. K. `,K. n. `. `. d. 1. `,K. `0 ,K. `,K. d+1. n. `,K. n. 1. `. `. `. K. K. K[Xd+1 , . . . , Xn ]/TK '. Y. C(V` ).. ln hjg rYgC ®kj` p y@`ºp]i`¿_alngChjoa_ahjgCh|_¿rYklYk|vxgCln_ahÀrYklY© hjg½p]Ci`(`ÄÁxdp`++giu1,hjlYg. . .K, n→ C(V` ≤) µ¨L¼½`rYk|uml¨k|`.p ∈MK[Ty`¿] p]C`(_alngCh|o¿_ahjgCh|_¿rYklnk¬vxgCln_ahÀrYk0lY© X Xh|g µ0\]C`.g M h|u p]C` 3 ls©p]C`)lnk¬vxgCln_ahÀrYk|u m ®i©±ln ` ≤ L µ K → K[X , . . . , X ]/T `.pºgCl¢¯ y y@` hjg C ®rsgC*uwtCC@lnu`"p]rpap]C` `.uwpwhjo phjlYg*lY© Π pl W (T ) hjuªgClspºiln@`+ºrsp y µ \]C`.gp]C`.`` Áhjupu ` ≤ L utCo]¨p]rsp p]C``.uwphjo ph|lng§ls© Π pl V hju gClYpLCwln`.qrsp y µ1\]i`+g b x® `+_a_¿r iµ¬¢ u]Cl¢¯ uLp]rsp p]i`+`` Áh|uwpu hjg uwtCo]p]Crsp oUrYgio+`+k|uqp]C`C`+gClY_ºh|grsplY lY©Slngi`,lY©0p]C`&o+lx`.Ãao+h|`+gGpuflY© m µ v¨i drstCduu + 1,`+._a. ._¿, rin® y oUrYgCo.`+k|uyp]i`,C`+gClY_ºh|grsplYLlY©SlYgC`zlY© p]i`o.l` Ãao+hj`.gGpuqlY© M µ g*p]C`lYp]C`+a]rYgi®rs© p`+aCh|´xhjihjgCmp]i`@lnk|vxgCln_ahÀrskjuzh|g T yGv h ®1¯`lnyiprYhjg¹@lnk|vxgCln_ahÀrskjuzh|g p]rp1rs` _ºlYgChjoh|gap]C`+h|0_¿rYh|g,´YrshÀrsyCkj`sµ\]C`q@lnuuwhjyCk|`qgi`+o+`.uurYwvº`.CtCo.phjlngiuSpl K[X , . . . , X ] lnyiprYhjgXr(w`+Ctio+`+ df yCgi`+fyrYuwhju©±lY T Cl gClYpfh|gGplxCtCo.`,gC`.¯¾C`.gCln_ahjgrsplnu.µ!\]i`+` ©±ln`s®rYkjk C`.gCln_ahjgrsplnuSp]Crsp rsC`+rY1h|gºp]C`_ahjgCh|_¿rskClYk|vxgCln_ahÀrYk M Ch¬´xhjC` h µ\]}tCu y oUrYgio+`+k|u h ®}¯ ]Chjo] o+lYgCo+k|tCC`+up]C`)ClxlY©Eµ ¼½`(oUrYg gCl¢¯il¢´n`\]C`.ln`._ bxµ `.p D y@`(r§o+lngCgi`+o.p`+4o+lY_º@lngC`.g}p&lY© W (T ) ∩ R y`(uwtCo] p]Crsp W (T ) ∩ V (s) = ∅ µ \]C`.g®©±wln_ `._º_ºr i® D il`.uagilYpªo+lngGprYhjg¹rYgGv o.h|phjo+rYk1@lnhjgGp,ls© w`+uwph|o.p`.»plp]C``.mntCkjrY!CrYwp,ls© W (T ) gilnzrYgGv uhjgimntCkÀrs!@lnhjgGp&lY© W (T ) µ §lnw`+l¢´n`.ªp]C` Π `.uwphjo ph|lng lY© Π pl W (T ) hjuiln_ºh|grYgGpUµ \]C`.g®¯`¿o+rYg»rYiCk|v\]i`+lnw`+_ apl W (T ) rYgC Π µ `.p Γ y@`ap]C`ºuw`.p&lY© @lnhjgGpu!rp¯ ]ihjo] p]C` `.uwphjo ph|lng lY© Π pl W (T ) hjugClYpqCwln@`++!µ lY_ `+_a_¿r,C® Γ ⊂ V (h) µS\]C`+g®©±lnqrYk|k=o.lngCgC`.o.p`. o+lY_º@lngC`.g}p S lY© R \ Γ ∩ R ®p]C`+w`&`ÄÁih|uwpufr¿o+lYgCgC`+o p`.o+ln_alYgC`+gGp S lY© R \ V (h) ∩ R utio]§p]Crsp S ⊂ S µ0\]}tCu.®@¯`rY`)ClYgC`Yµ `≤L. i,`. `. d+1. n. i. i. K. i. i. i,`. d. `0. 0. . 0. i0 ,`0. i0. d+1. n. K. i0. n. d. d. 0. d. d. 0. KT.
(116)
(117) .! ;/ % )# + #3 5!) / % ¼½`,gCl¢¯ C`.uo+whjy@`ªlntC_ºrYhjgXrskjmnlnwh|p]C_
(118)
(119) x®¯ ]Chjo]Xo.ln_ºitip`.u)rsp)kj`+rYuwp)lngi`. @lnhjgGphjg¿`+rYo]o+lYgCgC`+o p`."o.ln_alngi`+gGp lY©r!`Ursk=rYk|mn`+yirYh|o ´srYwhj` pvnµ :q`+`hju r!lntCmY]¿u¸s`.po]§lY©=p]Ch|u rYk|mnlnh¬p]C_"µ dfh|´n`.g(r!©Ors_ºh|k|v (P , . . . , P ) ⊂ Q[X , . . . , X ] ®x¯` wuwp1C`+o.ln_º@lnuw`Lp]i` +`.ls« u` p lY© (P , . . . , P ) yGv_a`UrYgCulY©1upwlngCmnk¬vgClY_ºrYkjh +`+§phjrYgCmntikÀrYqu` pu (T , . . . , T ) µ lnLp]C`+uw`aphjrYgCmntCkjrYqu`.pu+®C`Ä« gClYp`+"yGv T ®C¯1`)Clªp]i`)©±lYkjkjl¢¯ h|gCm gir,Cln_ahjgCrYgGpCl¤w`+o.phjlng yGv C`.p`+o phjgimªp]C`fprYgCuo.`+gCi`+gGprYk´srYhjrYyCk|`+u lY© T ® Π o.ln_ºitip`qr)u`.plY©=mn`+gC`.rsplnulY© W (T ) ∩ V (s) ®xrYgCa`.o+tCwuh|´Y`+k¬vªoUrYk|kCp]C`LrYkjmYlnh¬p]C_ ©±lnp]ihju gC` ¯ÂrYk|mn`+yirYh|o´srYh|`.pvn® o.ln_ºitip`rp(kj`+rYuwp(lngC`¨@lnhjgGp¿hjg;`+rYo] o+lngCgi`+o.p`+ o+lY_º@lngC`.g}p(lY©fp]C`u`+_ah¬«rYkjmY`+yCrYhjo u` p C,` gC`.yGv h 6= 0 ®rYgC"uwptCiv(p]C` y@`+uqlY© Π rYy@l¢´n`)p]C`.u`)lYhjgGpu.µ \]C`.u`fln@`+rsph|lngCu rs``.gCoUrYiutCkjrsp`.hjg¿p]C`©±lnk|kjl¢¯ hjgCmutiyClntphjgi`+u+µ0\]i` uplY©8p]i`+_ hju rskj`+rYiv C`.uo+whjy@`+"hjg }
(120) b N@ip]C`)kjrYuwp lngi`h|uC`+uwo+whjy@`+"hjg§`+o ph|lng§µ k. 1. n. 1. k. 1. `. 1. lYC`.
(121) 8q lY¨g"rXp]C@`fln´Yk|vxrsgChÀlnrs_ayCkjhÀ`.rsu+kµ ©OrY_ahjk¬v (P , . . . , P ) hjg Q[X , . . . , X ] rYgC*r½kj`ÄÁhjo+lYmnrYi]Chjo ® uwtC
(122) o] p
(123) 8] rsªp o+lntCikj`+u!lY©@lnk|vxgClY_ºhjrYkuwvxup`+_arYu,gChj g ©±Q[X ln ,h|g . . . , X ] ([G® , T ],hju. .r . ,uw[Gpln,giTmnk|])v . 4U2. . k. 1. 2. n. 1. . n. 1. giln_ºrYkjh+`.(phjrYgCmntikÀrYu`.pquwtCo]§p]rsp. V (P1 , . . . , Pk ) = ∪`i=1 V (Gi ) i sat(Ti ) = hGi i. µ. 1. 1. `. `. {1, . . . , `} Ti. ! !
(124) "!# $!%"
(125) 8 rzphjrYgCmntikÀrYu`.p T ⊂ Q[X , . . . , X ] µ
(126)
(127) 8 0p]C`)hjgiChjo.`+ulY©p]C`fprYgCuwo+`.gCC`+gGprYk´srYwhÀrYyikj`+u1lY© T µ $
(128) $ " upwlngC
(129) 8mn k¬fvr(gClno.lnw_¿tCCrYk|k|` h .G,`+¿TphÀlYrs©gCmntClYkjk|rYvx1gClnuw`._apqhÀrYursk8puhjvxu©uwvp`.h|gC_ºm u)h|g Q[X , . . . ,µ X ] ®8utio]Xp]rsp T h|ufr sat(T ) = hGi
(130) 8
(131) 0 p C ] ) ` . ` C t C g | h n l. g Y l © Y r C g. p C ] f ` i x l C C t . o q p Y l ©p]i`uw`+rsrYgGpuqlY© T µ G &'
(132) ( P
(133) 8 r,uwpwlngCmnk¬v(gClY_ºrYkjh +`+(phjrYgCmntCkjrY1uw`.p T ⊂ Q[X , . . . , X ] µ
(134)
(135) 8 0p]C`)u{}trs` « ©±`.`!rswp lY©p]C`)CwlitCo.pqlY©p]C`)h|gCh|phÀrYk|ulY© T µ *) $ +"!, % $ - $.% #. 4U2. . 2. 1. . n. . 4U2. . D. 2. n. 1. . . Π. 4U2. . 2. . 1. . Z. TUTWV XZY[,\,]. n.
(136)
(137) 8 r,lnk¬vxgCln_ahÀrYk P hjg. µ uw`+_a
(138) h¬«2rY
(139) 8kjmn `.XyCr rshjkjoh|uwuwpa`.pqlY©fC`,@lngCh|g}`+p§uºyGh|vg Q hjgGpµ `.u`.o.phjgCm½`UrYo] o.lngCgC`.o.p`. o+ln_a@lngC`+gGpºlY©fp]i` P 6= 0 ¼ h|p]p]C`.u`gClYprphjlYgCu+®x¯1`oUrYg"C`.uo+whjy@`fp]C`rYk|mnlnh¬p]C_
(140) & !
(141) µ 4U2. . Q[X1 , . . . , Xd ] d.
(142) !". .0/. # $'&)(+* -,/.102-354 V 2-6178.39:.6175384 (P1 , . . . , Pk ) ⊂ Q[X1, . . . , Xn] ; % #=<>* (?* ,@.A9:.B6178354>29)C'DFEG2HJI7561D VK 782 V .3 K 4 KML D'6 KONQP 2 K D K D L 29)EGD.B3 K 2-35R L 782 VK 7 V-L D'E K DS LTK D.S P S'2 VV DFS L DFI S'2610U2 V D V-L 29 V (P1 , . . . , Pk ) ∩ Rn ; V ;XWY " Z,\[^]!" (P1, . . . , Pk ) _ ;a` " b W Z,c[ed f g ;ah P 7538D WY " 6= d fI2 # [G, T ] ,c[^i Y ` " kj WY " lnm WY " Z,c[ WY " \[G, T ] ; # 9 dim(G) = 0 LGP D V ` " b W Z,\[ ` " b W ∪G #%o 3 K D p ` " b W Z,\[ ` " b W ∪ !BU"j `ZY Y q W (G, T )) p PΠ ,c[r!bs PΠ j T l p R ,\[ut Y vWw x ` q Y i Y x ` " (PΠ) p I ,c[^y ` qZ"Bq Wz q `ZY qBx W " (T ) p ` " b W Z,\[ ` " b W ∪r∈R ConnectedComponents(G ∪ {Xi − ri }i∈I ) ; Y E{D L RE V " b ; ` W ; Æ}Ê ¡ Æ }| "#O
(143) M&-+ > + ) ,+ ,+NL#MH>)3;J9 &- O J
(144) ,O E & ,H>),&(O
(145) H .
(146) & !
(147) . . O ) ) O
(148) L#+N&(O
(149) H>) &-H+ ,) ',+!#' R'O
(150) HHI',+ E 'O O
(151) HI,H+7O J +
(152) I "# $% &(') ,+ V (P , . . . , P ) ∩ R. ~0l¢´xhjgCm,p]rspLrYkjmYlnh¬p]C_
(153) & !
(154) ¿]rYk¬pu`.{}tChjw`+up]C`f©±lnk|kjl¢¯ hjgimz`.utCk¬pUµ SÆ £ ~ ,+ T ⊂ Q[X , . . . , X ] $, 0 (" LZ ) > % $D3+5M&5 H#" LZ ) ,+ Π + O ',+5&(O
(155) HRO
(156) H +
(157) F HI ),L>$,) >#' 'O
(158) H+( &-H&-H#"?+
(159) Z) O J + +N% H>) ',H E#,H+(
(160) M&5 $D) O J H E O
(161) &-H+ &-H +
(162) # &D) ),L $,) >#' ,H + E & ,H>),&(O
(163) H O J W (T ) ∩ Π (y) &D) D)) +
(164) > H + E & T,H>),&(O
(165) H y O J W (T ). O O J tCilnuw`LlYgªp]C` o+lngGprYv,p]rsp ]rYu0p]i`qurY_a`qihj_a`+gCuwhjlngªrYu µ\]ihju hj_aCk|hj`+ up]Crspp]i`+` `ÄÁih|uwpuSrYg,hjw`+itCo+h|yCkjW` o.(Tln_a)∩lnΠgi`+gGp (y)V ls© W (T ) utio]ap]rsp dim(Π W(y)(T∩) V ) = µ&\]}tCu.®uwhjgCo.` V h|uhjw`+itCo+h|yCkj`s®=©±lnfrYk|k x ∈ V ® Π(x) = y µ!\]ihjufo+lYg}prYihjo.pup]C`z©Orso.p dim(V ) p]Crspp]C`)w`+uwph|o.ph|lng lY© Π pl V hjuClY_ºh|grYgGpUµ ¼½`o+rYg!p]C`+g!Cl¢´n`\]C`+lY`+_ iµ¼ `Cwlo.`+`+!yGv!h|gCCtCo ph|lng)lng!p]C`ihj_a`+gCuwhjlng d lY© V (P , . . . , P ) µ ¶ © d = 0 ®=p]i`+g]rYk¬ph|gCm(rYgio+lnw`+o pgC`.uurYw`z`+rYChjk¬v´n`.h C`+µ&l(¯`z_¿rUv§o+lngiuhji`+p]rspp]ChjuLhju rYk|ul,p]C`)o+rYu`f©±ln 0, . . . , d − 1 ®rYgC"Cwl¤´Y`p]rsp ]rsk|ph|gCm,rYgi§o.lnw`+o.pgC`+uwu]ClYkjhjg Ch|_º`.gCuh|lng d µ O
(166)
(167) HIO &5 ) ),+ 0) 1. n. k. . n. 1. −1. −1. 0. 0. 0. −1. 0. 0. 0. 1. k. KT.
(168) h|uwp+®Y¯`qil¢´n`p]Crsp0p]C`qrYk|mnlnwh|p]i_Â`+gCCu.µ0¶ pShju0`.gClntCmn],pluw]Cl¢¯p]rsprYk|kw`+o+tiuh¬´n`qoUrYk|kju0rs`Clngi` lng"uwvxuwp`+_aulY©Chj_a`+gCuwhjlng k|`+uu p]CrYg d ®yCtpLp]ChjuqrYuwu`+ph|lng§h|u C`.o+hjuw`+k¬vp]C`o+lngGp`+gGplY© `+_a_¿rab rYgC `+_a_¿rªxµ0\]xtiu+®¯1`o+lYgCo+k|tCC`)yGvCl¢´xhjgimao.lnw`+o pgC`.uu+µ `.p D y@`qro.lngCgC`.o.p`+(o.ln_º@lngC`.gGpls© V (P , . . . , P ) ∩ R µ\]i`+`q` Áh|uwpur)o+lntCikj`qlY©@lnk|vxgClY_ºhjrYk ©OrY_ahjk|hj`+u [G, T ] hjg Decompose(P , . . . , P ) uwtCo]p]rp D o.lngGprYh|gCur&o.lngCgC`.o.p`. o+ln_alYgC`+gGp D lY© µS1lYgCuh|C`+Sp]C`qrYuwu1h|gap]C` ,k|llYao.lnw`+uwlngiChjgCmpl [G, T ] µ¶ © G ]rYuChj_a`+giuhjlYg .`+li® V (G) p]i`+g p]C`)o+lYgCo+k|tCuh|lng lnyG´h|lntCuwk|v(]ilnkjC$u." µ 0kjuw`Y®0utiClYu` D ∩ V (s) ¯ ]i`+` s h|u!p]i`(ClxCtCo p,lY© p]i`(u`.rYrsg}pu,lY© T !h|uzgClYp&`+_aipvn®Skj` p y@`,p]C`au` p!ls©1h|gCChjo.`+u)lY©prYgCuo.`+gCi`+gGprYkS´srYhjrYyCk|`+ulY© ®rYgC y`,p]C`ºilw`.o.ph|lngXlngXp]C`.u` I ´srYhjrYyCk|`+u+µ\]C`+g®p]C`.`f` Áh|uwpu rzo+lngCgi`+o.p`+"o+ln_a@lngC`+gGplsT©8p]C`fw`UrYΠk=rYkjmn`.yCrshjo ´Yrshj` pv¿i9` gC`. y}v p]i`lYtipCtpLls© $
(169) $ " [G, T ], I 1¯ ]Ch|o]§h|uo+lngGprshjgC`.§h|g D µ Ll¢¯)®uwtCC@lnu` D ∩ V (s) = ∅ µf\]C`+g®©±wln_ \]C`+lY`+_ b®=p]C`+w`z` Áhjupu)r(o.lngCgC`.o.p`.Xo+ln_alYgC`+gGp ¯ ]i`+` hjufp]i`ºCwlitCo.p!lY©1p]C`¿h|gCh|phÀrYk|ulY© lY©p]C`au`._ºh «ErYk|mn`+yCrYhjo&u`.p!C,` gC`+ yGv S o+lYg}prYhjgi`+¨h|g Π(D ) µ\]C`.g¨p]C`zlYtipCtplYh© ) 6= 0$ + "!, % h$ - $.% (h) o.lngGprYh|gCur¿@lnh|g}p y utCTo] p]Crsp y ∈ Π(D) µ0\]}tCu+® V (G ∩ V (Π (y)) _a`+` pu D µS\]Ch|uCl¢´n`.uqp]C`fp]C`.ln`._§µ . n. k. 1. 0. k. 1. 0. 0. 0. 0. −1. 0. ' º+ 5 /7&% 3 % ª#f ! # / º
(170) '(s#1 ¶g p]Ch|uu`+o ph|lng®C¯`i`+uw`+gGpfrsg§rskjmnlnwh|p]C_¯ h|p]p]C`f©±lnkjk|l¤¯ h|gCmzuw`.o+hCoUrsphjlng 4K2
(171) 8 Sra@lnk¬vgiln_ºhjrYk P hjg Q[X , . . . , X ] µ
(172) 8 2
(173) r CgCh|p`quw`.plY©@lnh|g}puShjg Q ¯ ]Ch|o]¿h|g}p`+wu`+o pu`UrYo]¿o+lngCgi`+o.p`+(o.ln_alngi`+gGplY©p]i` uw`+_ah¬«Erskjmn`.yCrYh|oLuw`.pLC9` CgC`+§y}v P 6= 0 µ \]Ch|u&rYk|mnlnwh|p]i_ h|uyCrYu`.»lngXp]C`aCl¤w`+o.phjlng°uwp`+»ls© o.vxk|hjgCCwhjo+rYk0rYk|mn`+yCrYhjo,i`+o+lY_º@lnuh¬ph|lnAg ¬¢
Documents relatifs
[r]
Certes, une partie de la frontière Est avec l’Iran est globalement l’héritage d’une longue histoire marquant la séparation entre le monde ottoman et le monde iranien,
Dans House of Leaves, chaque voix ou presque a son caractère propre et l’hétérogénéité typographique qui en résulte donne à voir un théâtre de voix : Times pour Zampano,
On y présente d’abord une introduction générale à la radiothérapie, puis on cible plus particulièrement la SBRT et le suivi de marqueurs en temps réel pour en venir finalement
Selon les régions, les divers types sont plus ou moins bien représentés. Sont négligées de la même manière les zones montagneuses de l'Est, les Alpes et le Jura,
Ten microalgal strains indigenous to Quebec were examined for biomass and lipid productivity under different growth modes: photoautotrophic, mixotrophic (light), and
Dans le cas où entre les objets, les types d’énonciation, les concepts, les choix thématiques, on pourrait définir une régularité (un ordre, des corrélations,
Les vaccins anticancéreux ont donné des succès cliniques limités dans le cancer de la prostate. Le vaccin de cellules tumorales GVAX en est un exemple. L'immunosuppression