Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 62
Текст из файла (страница 62)
ê‡ÒÒÚÓflÌËfl ̇ ‰ÂÈÒÚ‚ËÚÂθÌÓÈ Ë ˆËÙÓ‚ÓÈ ÔÎÓÒÍÓÒÚflı279‰Îfl x ≠ y (Ë ‡‚̇fl 0, Ë̇˜Â). í‡Í, ˜ÂÎÓ‚ÂÍ, ÊË‚Û˘ËÈ ‚ ÚӘ͠ı, ÍÓÚÓ˚È ıÓ˜ÂÚÔÓÒÂÚËÚ¸ ÍÓ„Ó-ÚÓ, ÊË‚Û˘Â„Ó ‚ ÚӘ͠y, Ò̇˜‡Î‡ Á‡ıÓ‰ËÚ ‚ f, ˜ÚÓ·˚ ÍÛÔËÚ¸ ˆ‚ÂÚ˚.Ç ÒÎÛ˜‡Â ÂÒÎË d ( x, f ) = || x − y ||, ‡ ÚӘ͇ f fl‚ÎflÂÚÒfl ̇˜‡ÎÓÏ ÍÓÓ‰Ë̇Ú, Ï˚ ÔÓÎÛ˜‡ÂÏÏÂÚËÍÛ ·ËÚ‡ÌÒÍÓÈ ÊÂÎÂÁÌÓÈ ‰ÓÓ„Ë.ÖÒÎË ËÏÂÂÚÒfl k > 1 ˆ‚ÂÚÓ˜Ì˚ı χ„‡ÁËÌÓ‚ f1 ,…, fk, ÚÓ ˜ÂÎÓ‚ÂÍ ÍÛÔËÚ ˆ‚ÂÚ˚ ‚ ·ÎËʇȯÂÏ Ï‡„‡ÁËÌÂ Ò ÏËÌËχθÌ˚Ï ÓÚÍÎÓÌÂÌËÂÏ ÓÚ Ò‚ÓÂ„Ó Ï‡¯ÛÚ‡, Ú.Â. ‡ÒÒÚÓflÌË ÏÂÊ‰Û ‡Á΢Ì˚ÏË ÚӘ͇ÏË x, y ‡‚ÌÓ min l ≤ i ≤ k ( d ( x, fi ) + d ( fi , y)).åÂÚË͇ ˝Í‡Ì‡ ‡‰‡‡ÑÎfl ÌÓÏ˚ || ⋅ || ̇ 2 (‚ Ó·˘ÂÏ ÒÎÛ˜‡Â ̇ n ) ÏÂÚËÍÓÈ ˝Í‡Ì‡ ‡‰‡‡ ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ 2 (‚ Ó·˘ÂÏ ÒÎÛ˜‡Â ̇ n), ÓÔ‰ÂÎÂÌ̇fl ͇Ímin{1,|| x − y ||}.åÂÚË͇ ÍÓ‚‡ êËÍχ̇ÑÎfl ˜ËÒ· α ∈ (0, 1) ÏÂÚËÍÓÈ ÍÓ‚‡ êËÍχ̇ fl‚ÎflÂÚÒfl ÏÂÚË͇ ̇ 2, ÓÔ‰ÂÎÂÌ̇fl ͇Íx1 − y1 + x 2 − y2α.ùÚÓ fl‚ÎflÂÚÒfl ÒÎÛ˜‡ÂÏ n = 2 Ô‡‡·Ó΢ÂÒÍÓ„Ó ‡ÒÒÚÓflÌËfl („Î. 6; ÒÏ.
Ú‡Ï Ê ‰Û„ËÂÏÂÚËÍË Ì‡ n, n ≥ 2).åÂÚË͇ ÅÛ‡„Ó–à‚‡ÌÓ‚‡å Â Ú Ë Í Ó È Å Û ‡ „ Ó – à ‚ ‡ Ì Ó ‚ ‡ ([BuIv01]) ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ 2 , ÓÔ‰ÂÎÂÌ̇fl ͇Í|| x ||2 − || y ||2 + min{|| x ||2 ⋅ ||| y ||2 } ⋅ ∠( x, y),„‰Â ∠(x, y) – Û„ÓÎ ÏÂÊ‰Û ‚ÂÍÚÓ‡ÏË ı Ë Û Ë || ⋅ || – ‚ÍÎˉӂ‡ ÌÓχ ̇ 2 . ëÓÓÚ‚ÂÚÒÚ‚Û˛˘‡fl ‚ÌÛÚÂÌÌflfl ÏÂÚË͇ ̇ 2 ‡‚̇ || x ||2 − || y ||2 , ÂÒÎË ∠(x, y) = 0, Ë ‡‚̇|| x ||2 − || y ||2 , Ë̇˜Â.åÂÚË͇ 2n-Û„ÓθÌË͇ÑÎfl ˆÂÌڇθÌÓ ÒËÏÏÂÚ˘ÌÓ„Ó Ô‡‚ËθÌÓ„Ó 2n-Û„ÓθÌË͇ K ̇ ÔÎÓÒÍÓÒÚË ÏÂÚËÍÓÈ 2n-Û„ÓθÌË͇ ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ 2 , ÓÔ‰ÂÎÂÌ̇fl ‰Îfl β·˚ı x,y ∈ 2Í‡Í Ì‡Ë͇ژ‡È¯‡fl ‚ÍÎˉӂ‡ ‰ÎË̇ ÎÓχÌÓÈ ÎËÌËË ÓÚ ı Í Û, ͇ʉÓ ËÁ Á‚Â̸ ÍÓÚÓÓÈ Ô‡‡ÎÎÂθ̇ ÌÂÍÓÚÓÓÏÛ ËÁ · ÏÌÓ„ÓÛ„ÓθÌË͇ ä.ÖÒÎË ä ÂÒÚ¸ ÔflÏÓÛ„ÓθÌËÍ Ò ‚¯Ë̇ÏË {(±1, ±1)}, ÚÓ Ï˚ ÔÓÎÛ˜‡ÂÏ ÏÂÚËÍÛå‡Ìı˝ÚÚÂ̇.
åÂÚËÍÛ å‡Ìı˝ÚÚÂ̇ Ú‡ÍÊ ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú¸ Í‡Í ÏÂÚËÍÛ åËÌÍÓ‚ÒÍÓ„Ó Ò Â‰ËÌ˘Ì˚Ï ¯‡ÓÏ ‚ ‚ˉ ·ËÎΡÌÚ‡, Ú.Â. Í‚‡‰‡Ú‡ Ò ‚¯Ë̇ÏË{(1,0(0,1), (–1,0),(0,–1)}.åÂÚË͇ ˆÂÌڇθÌÓ„Ó Ô‡Í‡åÂÚËÍÓÈ ˆÂÌڇθÌÓ„Ó Ô‡Í‡ ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ 2, ÓÔ‰ÂÎÂÌ̇fl Í‡Í ‰ÎË̇ ̇Ë͇ژ‡È¯Â„Ó l1 -ÔÛÚË (ÔÛÚË å‡Ìı˝ÚÚÂ̇) ÏÂÊ‰Û ‰‚ÛÏfl ÚӘ͇ÏË, x, y ∈ 2 ÔË̇΢ËË ‰‡ÌÌÓ„Ó ÏÌÓÊÂÒÚ‚‡ ÁÓÌ, ˜ÂÂÁ ÍÓÚÓ˚ ÔÓıÓ‰flÚ Í‡Ú˜‡È¯Ë ‚ÍÎˉӂ˚ÔÛÚË (̇ÔËÏÂ, ñÂÌڇθÌ˚È Ô‡Í ‚ å‡Ìı˝ÚÚÂÌÂ).ê‡ÒÒÚÓflÌË ËÒÍβ˜ÂÌËfl ÒÚÓÎÍÌÓ‚ÂÌËÈèÛÒÚ¸ = {O1 ,…,Om} – ÒÓ‚ÓÍÛÔÌÓÒÚ¸ ÔÓÔ‡ÌÓ ÌÂÔÂÂÒÂ͇˛˘ËıÒfl ÏÌÓ„ÓÛ„ÓθÌËÍÓ‚ ̇ ‚ÍÎˉӂÓÈ ÔÎÓÒÍÓÒÚË, Ô‰ÒÚ‡‚Îfl˛˘Â ÒÓ·ÓÈ ÏÌÓÊÂÒÚ‚Ó ÔÂÔflÚÒÚ‚ËÈ,ÍÓÚÓ˚ fl‚Îfl˛ÚÒfl Ó‰ÌÓ‚ÂÏÂÌÌÓ ÌÂÔÓÁ‡˜Ì˚ÏË Ë ÌÂÔÓıÓ‰ËÏ˚ÏË.280ó‡ÒÚ¸ V.
ê‡ÒÒÚÓflÌËfl ‚ ÍÓÏÔ¸˛ÚÂÌÓÈ ÒÙÂÂê‡ÒÒÚÓflÌËÂÏ ËÒÍβ˜ÂÌËfl ÒÚÓÎÍÌÓ‚ÂÌËÈ (ËÎË ‡ÒÒÚÓflÌËÂÏ ÌÓÒËθ˘ËÍÓ‚ ÔˇÌËÌÓ, ÏÂÚËÍÓÈ Í‡Ú˜‡È¯Â„Ó ÔÛÚË Ò ÔÂÔflÚÒÚ‚ËflÏË) ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â 2\{}, ÓÔ‰ÂÎÂÌ̇fl ‰Îfl β·˚ı x, y ∈ 2\{} Í‡Í ‰ÎË̇ ͇ژ‡È¯Â„Ó ËÁ‚ÒÂı ‚ÓÁÏÓÊÌ˚ı ÌÂÔÂ˚‚Ì˚ı ÔÛÚÂÈ, ÒÓ‰ËÌfl˛˘Ëı ı Ë Û Ë Ì ÔÂÂÒÂ͇˛˘Ëı ÔÂÔflÚÒÚ‚Ëfl Oi\∂Oi (ÔÛÚ¸ ÏÓÊÂÚ ÔÓıÓ‰ËÚ¸ ˜ÂÂÁ ÚÓ˜ÍË Ì‡ „‡Ìˈ ∂Oi ÔÂÔflÚÒÚ‚Ëfl∂Oi), i = 1,…,m.èflÏÓÛ„ÓθÌÓ ‡ÒÒÚÓflÌËÂ Ò ·‡¸Â‡ÏËèÛÒÚ¸ = {O1,…,Om} – ÒÓ‚ÓÍÛÔÌÓÒÚ¸ ÔÓÔ‡ÌÓ ÌÂÔÂÂÒÂ͇˛˘ËıÒfl ÓÚÍ˚Ú˚ıÏÌÓ„ÓÛ„ÓθÌ˚ı ·‡¸ÂÓ‚ ̇ 2. èflÏÓÛ„ÓθÌ˚È ÔÛÚ¸ (ËÎË ÔÛÚ¸ å‡Ìı˝ÚÚÂ̇)Px y ÓÚ x Í y ÂÒÚ¸ ÒÓ‚ÓÍÛÔÌÓÒÚ¸ „ÓËÁÓÌڇθÌ˚ı Ë ‚ÂÚË͇θÌ˚ı ÓÚÂÁÍӂ̇ ÔÎÓÒÍÓÒÚË, ÒÓ‰ËÌfl˛˘Ëı ı Ë Û.
èÛÚ¸ Pxy ̇Á˚‚‡ÂÚÒfl ÓÒÛ˘ÒÚ‚ÎflÂÏ˚Ï ÂÒÎËm Pxy ∩ Bi = 0/ . i =1 èflÏÓÛ„ÓθÌÓ ‡ÒÒÚÓflÌËÂ Ò ·‡¸Â‡ÏË (ËÎË ÔflÏÓÛ„ÓθÌÓ ‡ÒÒÚÓflÌË ÔË̇΢ËË ·‡¸ÂÓ‚) ÂÒÚ¸ ÏÂÚË͇ ̇ 2\{}, ÓÔ‰ÂÎÂÌ̇fl ‰Îfl β·˚ı x, y ∈ 2\{}Í‡Í ‰ÎË̇ ͇ژ‡È¯Â„Ó ÓÒÛ˘ÂÒÚ‚ËÏÓ„Ó ÔflÏÓÛ„ÓθÌÓ„Ó ÔÛÚË ÓÚ ı Í Û.èflÏÓÛ„ÓθÌÓ ‡ÒÒÚÓflÌËÂ Ò ·‡¸Â‡ÏË fl‚ÎflÂÚÒfl ÒÛÊÂÌËÂÏ ÏÂÚËÍË å‡Ìı˝ÚÚÂÌ‡Ë Ó·˚˜ÌÓ ‡ÒÒχÚË‚‡ÂÚÒfl ̇ ÏÌÓÊÂÒÚ‚Â {q1 , …, qr } ⊂ 2 ËÁ n ÚÓ˜ÂÍ "ÓÚÔ‡‚ËÚÂθÔÓÎÛ˜‡ÚÂθ": Á‡‰‡˜‡ ̇ıÓʉÂÌËfl ÔÛÚÂÈ Ú‡ÍÓ„Ó ÚËÔ‡ ‚ÓÁÌË͇ÂÚ, ̇ÔËÏÂ, ÔË Ó„‡ÌËÁ‡ˆËË Ú‡ÌÒÔÓÚÌ˚ı Ô‚ÓÁÓÍ ‚ „ÓÓ‰ÒÍËı ÛÒÎÓ‚Ëflı, ‡ Ú‡ÍÊ ÔË Ô·ÌËÓ‚ÍÂÁ‡‚Ó‰Ó‚ Ë ÒÓÓÛÊÂÌËÈ (ÒÏ., ̇ÔËÏÂ, [LaLi81]).Uê‡ÒÒÚÓflÌË ҂flÁËèÛÒÚ¸ P ⊂ 2 – ÏÌÓ„ÓÛ„Óθ̇fl ӷ·ÒÚ¸ (̇ n ‚¯Ë̇ı Ò h ‰˚‡ÏË), Ú.Â.
Á‡ÏÍÌÛÚ‡fl ÏÌÓ„ÓÒ‚flÁ̇fl ӷ·ÒÚ¸, „‡Ìˈ‡ ÍÓÚÓÓÈ – Ó·˙‰ËÌÂÌË n ÎËÌÂÈÌ˚ı ÓÚÂÁÍÓ‚,Ó·‡ÁÛ˛˘Ëı n + 1 Á‡ÏÍÌÛÚ˚ı ÏÌÓ„ÓÛ„ÓθÌ˚ı ˆËÍÎÓ‚. ê‡ÒÒÚÓflÌËÂÏ Ò‚flÁË Ì‡Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ê, ÓÔ‰ÂÎÂÌ̇fl ‰Îfl β·˚ı x, y ∈ P Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ· ÏÌÓ„ÓÛ„ÓθÌÓ„Ó ÔÛÚË ÓÚ ı Í Û ‚ ԉ·ı ÏÌÓ„ÓÛ„ÓθÌÓÈ Ó·Î‡ÒÚË ê.ÖÒÎË ‡Á¯ÂÌ˚ ÚÓθÍÓ ÔflÏÓÛ„ÓθÌ˚ ÔÛÚË, Ï˚ ÔÓÎÛ˜‡ÂÏ ÔflÏÓÛ„ÓθÌÓ ‡ÒÒÚÓflÌË ҂flÁË. ÖÒÎË ÔÛÚË ë-ÓËÂÌÚËÓ‚‡Ì˚ (Ú.Â. ͇ʉÓÂ Â·Ó Ô‡‡ÎÎÂθÌÓ Ó‰ÌÓÏÛ ËÁ · ÏÌÓÊÂÒÚ‚‡ ë Ò Á‡‰‡ÌÌÓÈ ÓËÂÌÚ‡ˆËÂÈ), ÚÓ Ï˚ ËÏÂÂÏ ë-ÓËÂÌÚËÓ‚‡ÌÌÓ ‡ÒÒÚÓflÌË ҂flÁË.ê‡ÒÒÚÓflÌËfl Ô·ÌËÓ‚ÍË ÒÓÓÛÊÂÌËÈè·ÌËӂ͇ – ˝ÚÓ ‡Á·ËÂÌË ÔflÏÓÛ„ÓθÌÓÈ ÔÎÓÒÍÓÈ Ó·Î‡ÒÚË Ì‡ ÔflÏÓÛ„ÓθÌËÍË ÏÂ̸¯Â„Ó ‡Áχ, ̇Á˚‚‡ÂÏ˚ ÓÚ‰ÂÎÂÌËflÏË, ÎËÌËflÏË, ÔÓıÓ‰fl˘ËÏËÔ‡‡ÎÎÂθÌÓ ÒÚÓÓÌ‡Ï ËÒıÓ‰ÌÓ„Ó ÔflÏÓÛ„ÓθÌË͇.
ÇÒ ‚ÌÛÚÂÌÌË ‚¯ËÌ˚‰ÓÎÊÌ˚ ·˚Ú¸ ÚÂı‚‡ÎÂÌÚÌ˚ÏË, ‡ ÌÂÍÓÚÓ˚ ËÁ ÌËı, ÔÓ Í‡ÈÌÂÈ Ï Ӊ̇ ̇ „‡ÌËˆÂ Í‡Ê‰Ó„Ó ÓÚ‰ÂÎÂÌËfl, fl‚Îfl˛ÚÒfl ‰‚ÂflÏË, Ú.Â. ÏÂÒÚ‡ÏË ‚ıÓ‰‡-‚˚ıÓ‰‡. èÓ·ÎÂχÁ‡Íβ˜‡ÂÚÒfl ‚ ÒÓÁ‰‡ÌËË ÔÓ‰ıÓ‰fl˘Â„Ó Ô‰ÒÚ‡‚ÎÂÌËfl Ó ‡ÒÒÚÓflÌËË d(x, y) ÏÂÊ‰Û ÓÚ‰ÂÎÂÌËflÏË ı Ë Û, ÍÓÚÓÓ ÏËÌËÏËÁËÓ‚‡ÎÓ ·˚ ÙÛÌÍˆË˛ ˆÂÌ˚F( x, y)d ( x, y), „‰Â∑x, yF(x, y) – ÌÂÍËÈ Ï‡Ú¡θÌ˚È ÔÓÚÓÍ ÏÂÊ‰Û ı Ë Û. éÒÌÓ‚Ì˚ÏË ËÒÔÓθÁÛÂÏ˚ÏË ‰Îfl˝ÚÓ„Ó ‡ÒÒÚÓflÌËflÏË fl‚Îfl˛ÚÒfl:– ‡ÒÒÚÓflÌË ˆÂÌÚÓˉ‡, Ú.Â. ͇ژ‡È¯Â ‚ÍÎË‰Ó‚Ó ‡ÒÒÚÓflÌË ËÎË ‡ÒÒÚÓflÌËÂå‡Ìı˝ÚÚÂ̇ ÏÂÊ‰Û ˆÂÌÚÓˉ‡ÏË (ÔÂÂÒ˜ÂÌËfl ‰Ë‡„Ó̇ÎÂÈ) ı Ë Û;– ‡ÒÒÚÓflÌË ÔÂËÏÂÚ‡, Ú.Â.
͇ژ‡È¯Â ÔflÏÓÛ„ÓθÌÓ ‡ÒÒÚÓflÌË ÏÂʉۉ‚ÂflÏË ı Ë Û, ÔÓıÓ‰fl˘Â ÚÓθÍÓ ‚‰Óθ ÒÚÂÌ, Ú.Â. ÔÂËÏÂÚÓ‚ ÓÚ‰ÂÎÂÌËÈ.281É·‚‡ 19. ê‡ÒÒÚÓflÌËfl ̇ ‰ÂÈÒÚ‚ËÚÂθÌÓÈ Ë ˆËÙÓ‚ÓÈ ÔÎÓÒÍÓÒÚflıåÂÚË͇ ·˚ÒÚÂÈ¯Â„Ó ÔÛÚËåÂÚË͇ ·˚ÒÚÂÈ¯Â„Ó ÔÛÚË (ËÎË ÏÂÚË͇ ÒÂÚË) – ÏÂÚË͇ ̇ 2 (ËÎË Ì‡ ÔÓ‰ÏÌÓÊÂÒÚ‚Â 2) ÔË Ì‡Î˘ËË ‰‡ÌÌÓÈ ÒÂÚË, Ú.Â. ÔÎÓÒÍÓ„Ó ‚Á‚¯ÂÌÌÓ„Ó „‡Ù‡ G(V, E).ÑÎfl β·˚ı x, y ∈ 2 ˝ÚÓ fl‚ÎflÂÚÒfl ‚ÂÏÂÌÂÏ ·˚ÒÚÂÈ¯Â„Ó ÔÛÚË ÏÂÊ‰Û ı Ë Û ‚ ÔË̇΢ËË ÒÂÚË G, Ú.Â. ÔÛÚË, χÍÒËχθÌÓ ÒÓ͇˘‡˛˘Â„Ó ‚ÂÏfl ÔÂÂÏ¢ÂÌËfl ÏÂʉÛı Ë Û. èÓÒΠÔÓÎÛ˜ÂÌËfl ‰ÓÒÚÛÔ‡ ‚ ÒÂÚ¸ G ‰‡Î ÏÓÊÌÓ ÔÂÂÏ¢‡Ú¸Òfl Ò ÌÂÍÓÚÓÓÈÒÍÓÓÒÚ¸˛ v > 1 ‚‰Óθ  ·Â. Ñ‚ËÊÂÌË ‚Ì ÒÂÚË ÓÒÛ˘ÂÒÚ‚ÎflÂÚÒfl Ò Â‰ËÌ˘ÌÓÈÒÍÓÓÒÚ¸˛ ÓÚÌÓÒËÚÂθÌÓ Á‡‰‡ÌÌÓÈ ÏÂÚËÍË d ̇ ÔÎÓÒÍÓÒÚË (̇ÔËÏÂ, ‚ÍÎˉӂÓÈÏÂÚËÍË ËÎË ÏÂÚËÍË å‡Ìı˝ÚÚÂ̇).åÂÚË͇ ‚ÓÁ‰Û¯Ì˚ı Ô‚ÓÁÓÍ ÂÒÚ¸ ÏÂÚËÍÓÈ ·˚ÒÚÂÈ¯Â„Ó ÔÛÚË Ì‡ 2 ÔË Ì‡Î˘ËË ÒÂÚË ‡˝ÓÔÓÚÓ‚, Ú.Â.
ÔÎÓÒÍÓ„Ó „‡Ù‡ G(V, E) ̇ n ‚¯Ë̇ı (‡˝ÓÔÓÚ‡ı) ÒÔÓÎÓÊËÚÂθÌ˚ÏË ‚ÂÒ‡ÏË Â·Â (w e)e∈E (‚ÂÏfl ÔÓÎÂÚ‡). ÇÓÈÚË Ë ‚˚ÈÚË ËÁ „‡Ù‡ÏÓÊÌÓ ÚÓθÍÓ ˜ÂÂÁ ‡˝ÓÔÓÚ˚. Ñ‚ËÊÂÌË ‚Ì ÒÂÚË ÓÒÛ˘ÂÒÚ‚ÎflÂÚÒfl Ò Â‰ËÌ˘ÌÓÈÒÍÓÓÒÚ¸˛ ÓÚÌÓÒËÚÂθÌÓ Â‚ÍÎˉӂÓÈ ÏÂÚËÍË. è‰ÔÓ·„‡ÂÚÒfl, ˜ÚÓ ‰‚ËÊÂÌË ̇‡‚ÚÓÏÓ·ËΠÔÓ ‚ÂÏÂÌË ‡‚ÌÓ ÏÂÚËÍ ‚ÍÎˉӂ‡ ‡ÒÒÚÓflÌËfl dE, ÚÓ„‰‡ Í‡Í ÔÓÎÂÚ‚‰Óθ ·‡ e = uv „‡Ù‡ G Á‡ÈÏÂÚ ‚ÂÏfl we < d E (u, v). Ç ÔÓÒÚÂȯÂÏ ÒÎÛ˜‡Â, ÍÓ„‰‡ÓÒÛ˘ÂÒÚ‚ÎflÂÚÒfl Ô‚ÓÁ͇ ÔÓ ‚ÓÁ‰ÛıÛ ÏÂÊ‰Û ‰‚ÛÏfl ÚӘ͇ÏË a, b ∈ 2, ‡ÒÒÚÓflÌËÂÏÂÊ‰Û ı Ë Û ‡‚ÌÓmin{d E ( x, y), d E ( x, a) + w + d E (b, y), d E ( x, b) + w + d E ( a, y)},„‰Â w < d2 (a, b) ÂÒÚ¸ ÔÓ‰ÓÎÊËÚÂθÌÓÒÚ¸ ÔÓÎÂÚ‡ ÏÂÊ‰Û a Ë b.åÂÚË͇ „ÓÓ‰‡ – ÏÂÚË͇ ·˚ÒÚÂÈ¯Â„Ó ÔÛÚË Ì‡ 2 ÔË Ì‡Î˘ËË ÒÂÚË Ó·˘ÂÒÚ‚ÂÌÌÓ„Ó Ú‡ÌÒÔÓÚ‡, Ú.Â.
ÔÎÓÒÍÓ„Ó „‡Ù‡ G Ò „ÓËÁÓÌڇθÌ˚ÏË ËÎË ‚ÂÚË͇θÌ˚ÏË Â·‡ÏË. G ÏÓÊÂÚ ÒÓÒÚÓflÚ¸ ËÁ ÏÌÓ„Ëı Ò‚flÁÌ˚ı ÍÓÏÔÓÌÂÌÚ Ë ÒÓ‰ÂʇڸˆËÍÎ˚. ä‡Ê‰˚È ÏÓÊÂÚ ÔÓÔ‡ÒÚ¸ ‚ G ‚ β·ÓÈ ÚÓ˜ÍÂ, ·Û‰¸ ÚÓ ‚¯Ë̇ ËÎË Â·Ó(‚ÓÁÏÓÊÌÓ Ì‡Á̇˜ËÚ¸ Ú‡ÍÊÂ Ë ÒÚÓ„Ó ÙËÍÒËÓ‚‡ÌÌ˚ ÚÓ˜ÍË ‚ıÓ‰‡). ÇÌÛÚË G‰‚ËÊÂÌË ÓÒÛ˘ÂÒÚ‚ÎflÂÚÒfl Ò Á‡‰‡ÌÌÓÈ ÒÍÓÓÒÚ¸˛ v > 1 ‚ Ó‰ÌÓÏ ËÁ ‰ÓÒÚÛÔÌ˚ı̇ԇ‚ÎÂÌËÈ. Ñ‚ËÊÂÌË ‚Ì ÒÂÚË ÓÒÛ˘ÂÒÚ‚ÎflÂÚÒfl Ò Â‰ËÌ˘ÌÓÈ ÒÍÓÓÒÚ¸˛ ÓÚÌÓÒËÚÂθÌÓ ÏÂÚËÍË å‡Ìı˝ÚÚÂ̇ (‚ ̇¯ÂÏ ÒÎÛ˜‡Â ÔÓ‰‡ÁÛÏ‚‡ÂÚÒfl ÍÛÔÌ˚ÈÒÓ‚ÂÏÂÌÌ˚È „ÓÓ‰ Ò ÔflÏÓÛ„ÓθÌÓÈ Ô·ÌËÓ‚ÍÓÈ ÛÎˈ ÔÓ Ì‡Ô‡‚ÎÂÌËflÏ Ò‚–˛„Ë ‚ÓÒÚÓÍ–Á‡Ô‡‰).åÂÚË͇ ÏÂÚÓ – ÏÂÚË͇ ·˚ÒÚÂÈ¯Â„Ó ÔÛÚË Ì‡ 2, ÍÓÚÓ‡fl fl‚ÎflÂÚÒfl ‚‡Ë‡ÌÚÓÏÏÂÚËÍË „ÓÓ‰‡: ÏÂÚÓ (‚ ‚ˉ ÎËÌËË Ì‡ ÔÎÓÒÍÓÒÚË) ËÒÔÓθÁÛÂÚÒfl ‰Îfl ÒÓ͇˘ÂÌËflıÓ‰¸·˚ Ô¯ÍÓÏ ‚ ԉ·ı „ÓÓ‰ÒÍÓÈ ÒÂÚÍË ÍÓÓ‰Ë̇Ú.èÂËӉ˘ÂÒ͇fl ÏÂÚË͇åÂÚË͇ d ̇ 2 ̇Á˚‚‡ÂÚÒfl ÔÂËӉ˘ÂÒÍÓÈ, ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú ‰‚‡ ÎËÌÂÈÌÓ ÌÂÁ‡‚ËÒËÏ˚ı ‚ÂÍÚÓ‡ v Ë u, Ú‡ÍË ˜ÚÓ ÔÂÂÌÓÒ ÔÓ Î˛·ÓÏÛ ‚ÂÍÚÓÛ w = mv + nu,m,n ∈ ÒÓı‡ÌflÂÚ ‡ÒÒÚÓflÌËfl, Ú.Â.
d ( x, y) = d ( x + w, y + w ) ‰Îfl β·˚ı x, y ∈ 2 (ÒÏ. àÌ‚‡Ë‡ÌÚ̇fl ÏÂÚË͇ ÔÂÂÌÓÒ‡, „Î. 5)臂Ëθ̇fl ÏÂÚË͇åÂÚË͇ d ̇ 2 ̇Á˚‚‡ÂÚÒfl Ô‡‚ËθÌÓÈ, ÂÒÎË Ó·Î‡‰‡ÂÚ ÒÎÂ‰Û˛˘ËÏË Ò‚ÓÈÒÚ‚‡ÏË:1) d ÔÓÓʉ‡ÂÚ Â‚ÍÎË‰Ó‚Û ÚÓÔÓÎӄ˲;2) d-ÓÍÛÊÌÓÒÚË Ó„‡Ì˘ÂÌ˚ ÓÚÌÓÒËÚÂθÌÓ Â‚ÍÎˉӂÓÈ ÏÂÚËÍË;3) ÂÒÎË x, y ∈ 2 Ë x ≠ y, ÚÓ ÒÛ˘ÂÒÚ‚ÛÂÚ ÚӘ͇ z, z ≠ x, z ≠ y, ڇ͇fl ˜ÚÓ ‚˚ÔÓÎÌflÂÚÒfl‡‚ÂÌÒÚ‚Ó d ( x, y) = d ( x, z ) + d ( z, y);4) ÂÒÎË x, y ∈ 2, x p y („‰Â p ÙËÍÒËÓ‚‡ÌÌ˚È ÔÓfl‰ÓÍ Ì‡ 2, ̇ÔËÏÂ, ÎÂÍÒËÍÓ„‡Ù˘ÂÒÍËÈ ÔÓfl‰ÓÍ), C( x, y) = {z ∈ 2 : d ( x, z ) ≤ d ( y, z )},D( x, y) = {z ∈ 2 : d ( x,282ó‡ÒÚ¸ V. ê‡ÒÒÚÓflÌËfl ‚ ÍÓÏÔ¸˛ÚÂÌÓÈ ÒÙÂÂz ) < d ( y, z )} Ë D( x, y) – Á‡Ï˚͇ÌË D(x,y), ÚÓ J ( x, y) = C( x, y) ∩ D( x, y) ÂÒÚ¸ ÍË‚‡fl,„ÓÏÂÓÏÓÙ̇fl (0,1).
èÂÂÒ˜ÂÌË ‰‚Ûı Ú‡ÍËı ÍË‚˚ı ÒÓÒÚÓËÚ ËÁ ÍÓ̘ÌÓ„Ó ˜ËÒ·ÏÌÓ„Ëı Ò‚flÁÌ˚ı ÍÓÏÔÓÌÂÌÚ.ä‡Ê‰‡fl ÏÂÚË͇ ÌÓÏ˚ ËÏÂÂÚ Ò‚ÓÈÒÚ‚‡ 1., 2. Ë 3. ë‚ÓÈÒÚ‚Ó 2. ÓÁ̇˜‡ÂÚ, ˜ÚÓ ÏÂÚË͇ d fl‚ÎflÂÚÒfl ÌÂÔÂ˚‚ÌÓÈ ‚ ·ÂÒÍÓ̘ÌÓÒÚË ÓÚÌÓÒËÚÂθÌÓ Â‚ÍÎˉӂÓÈ ÏÂÚËÍË.ë‚ÓÈÒÚ‚ÓÏ 4. Ó·ÂÒÔ˜˂‡ÂÚÒfl, ˜ÚÓ „‡Ìˈ˚ ÒÓÓÚ‚ÂÚÒÚ‚Û˛˘Ëı ‰Ë‡„‡ÏÏ ÇÓÓÌÓ„Ófl‚Îfl˛ÚÒfl ÍË‚˚ÏË Ë ˜ÚÓ Ì ÒÎ˯ÍÓÏ ÏÌÓ„Ó ÔÂÂÒ˜ÂÌËÈ ÒÛ˘ÂÒÚ‚Ó‚ÛÂÚ ‚ ÓÍÂÒÚÌÓÒÚË ÚÓ˜ÍË ËÎË ‚ ·ÂÒÍÓ̘ÌÓÒÚË. 臂Ëθ̇fl ÏÂÚË͇ d ËÏÂÂÚ Ô‡‚ËθÌÛ˛ ‰Ë‡„‡ÏÏÛ ÇÓÓÌÓ„Ó: ‚ ‰Ë‡„‡ÏÏ ÇÓÓÌÓ„Ó V ( P, d , 2 ) („‰Â P = {p1 , …, pk }, k ≥ 2 – ÏÌÓÊÂÒÚ‚Ó „Â̇ÚÓÓ‚) ͇ʉ‡fl ӷ·ÒÚ¸ ÇÓÓÌÓ„Ó V(pi) fl‚ÎflÂÚÒfl ÔÛÚ¸-Ò‚flÁÌ˚Ï ÏÌÓÊÂÒÚ‚ÓÏ Ò ÌÂÔÛÒÚÓÈ ‚ÌÛÚÂÌÌÓÒÚ¸˛, ‡ ÒËÒÚÂχ {V ( pi ), …, V ( pk )} Ó·‡ÁÛÂÚ ‡Á·ËÂÌËÂÔÎÓÒÍÓÒÚË.䂇ÁˇÒÒÚÓflÌËfl ÍÓÌÚ‡Íڇ䂇ÁˇÒÒÚÓflÌËfl ÍÓÌÚ‡ÍÚ‡ Ô‰ÒÚ‡‚Îfl˛Ú ÒÓ·ÓÈ ÒÎÂ‰Û˛˘Ë ‚‡Ë‡ÌÚ˚ ‚˚ÔÛÍÎÓÈÙÛÌ͈ËË ‡ÒÒÚÓflÌËfl (ÒÏ. „Î. 1), ÓÔ‰ÂÎÂÌÌÓÈ Ì‡ 2 (‚ Ó·˘ÂÏ ÒÎÛ˜‡Â ̇ n).ÑÎfl ÏÌÓÊÂÒÚ‚‡ B ⊂ 2 Í‚‡ÁˇÒÒÚÓflÌË ÔÂ‚Ó„Ó ÍÓÌÚ‡ÍÚ‡ dB ÓÔ‰ÂÎflÂÚÒfl ͇Íinf{α > 0 : y − x ∈ α B}(ÒÏ.
ê‡ÒÒÚÓflÌËfl ÒÂÚË ÒÂÌÒÓÌ˚ı ‰‡Ú˜ËÍÓ‚, „Î. 28).ÅÓΠÚÓ„Ó, ‰Îfl ÚÓ˜ÍË b ∈ B Ë ÏÌÓÊÂÒÚ‚‡ A ⊂ 2 Í‚‡ÁˇÒÒÚÓflÌËÂÏ ÎËÌÂÈÌÓ„ÓÍÓÌÚ‡ÍÚ‡ ̇Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌË ÏÂÊ‰Û ÚÓ˜ÍÓÈ Ë ÏÌÓÊÂÒÚ‚ÓÏ, ÓÔ‰ÂÎÂÌÌÓ ͇Ídb ( x, A) = inf{α ≥ 0 : αb + x ∈ A}.䂇ÁˇÒÒÚÓflÌË ÔÂÂı‚‡Ú‡ ‰Îfl ÍÓ̘ÌÓ„Ó ÏÌÓÊÂÒÚ‚‡ Ç ÓÔ‰ÂÎflÂÚÒfl ͇Ídb ( x , y )∑b ∈B| B|.чθÌÓÒÚ¸ ‡ÒÔÓÁ̇‚‡ÌËfl ‡‰‡‡Ñ‡Î¸ÌÓÒÚ¸ ‡ÒÔÓÁ̇‚‡ÌËfl ‡‰‡‡ – ‡ÒÒÚÓflÌË ̇ 2, ÓÔ‰ÂÎÂÌÌÓ ͇Í| ρ x − ρ y + θ xy |,ÂÒÎË x, y ∈ 2 \ {0}, Ë Í‡Í| ρ x − ρ y |,ÂÒÎË x = 0 ËÎË y = 0, „‰Â ‰Îfl ͇ʉÓÈ "ÎÓ͇ˆËË" x ∈ 2 ρ x – ‡‰Ë‡Î¸ÌÓ ‡ÒÒÚÓflÌË ıÓÚ Ì‡˜‡Î‡ ÍÓÓ‰Ë̇Ú, Ë ‰Îfl β·˚ı x, y ∈ 2 \{0} θ xy – Û„ÓÎ ÏÂÊ‰Û ÌËÏË (‚ ‡‰Ë‡Ì‡ı)˛èÓÎÛÏÂÚË͇ ùÂÌÙfiıÚ‡–ï‡ÛÒ·èÛÒÚ¸ S – ·Û‰ÂÚ ÔÓ‰ÏÌÓÊÂÒÚ‚Ó 2, Ú‡Í ˜ÚÓ x1 ≥ x 2 − 1 ≥ 0 ‰Îfl β·Ó„Ó x ∈ S.èÓÎÛÏÂÚË͇ ùÂÌÙfiıÚ‡–ï‡ÛÒ· ([EhHa88]) ̇ S ÓÔ‰ÂÎflÂÚÒfl Í‡Í x y log 2 1 + 1 1 . x 2 + 1 y2É·‚‡ 19. ê‡ÒÒÚÓflÌËfl ̇ ‰ÂÈÒÚ‚ËÚÂθÌÓÈ Ë ˆËÙÓ‚ÓÈ ÔÎÓÒÍÓÒÚflı283íÓÓˉ‡Î¸Ì‡fl ÏÂÚË͇íÓÓˉ‡Î¸Ì‡fl ÏÂÚË͇ – ÏÂÚË͇ ̇ ÚÂΠT = [0, 1) × [0, 1) = {x ∈ 2 : 0 ≤ x1 , x 2 < 1},ÓÔ‰ÂÎÂÌ̇fl ͇Ít12 + t22‰Îfl β·˚ı x, y ∈ 2, „‰Â ti = min{| xi − yi |, | xi − yi + 1 |} ‰Îfl i = 1,2 (ÒÏ.