Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 20
Текст из файла (страница 20)
í‡ÍËÏ Ó·‡ÁÓÏ,β·‡fl „ÂÓ‰ÂÁ˘ÂÒ͇fl ÂÒÚ¸ ÎÓ͇θÌÓ ËÁÓÏÂÚ˘ÂÒÍÓ ‚ÎÓÊÂÌË ‚ÒÂ„Ó ‚ ï. ÉÂÓ‰ÂÁ˘ÂÒÍÛ˛ ̇Á˚‚‡˛Ú ÏÂÚ˘ÂÒÍÓÈ ÔflÏÓÈ, ÂÒÎË ‡‚ÂÌÒÚ‚Ó d ( γ (t1 ), γ (t2 )) = | t1 − t2 |‚˚ÔÓÎÌflÂÚÒfl ‰Îfl ‚ÒÂı t1 , t 2 ∈ . í‡Í‡fl „ÂÓ‰ÂÁ˘ÂÒ͇fl fl‚ÎflÂÚÒfl ËÁÓÏÂÚ˘ÂÒÍËÏ‚ÎÓÊÂÌËÂÏ ‚ÒÂÈ ‰ÂÈÒÚ‚ËÚÂθÌÓÈ ÔflÏÓÈ ‚ ï . ÉÂÓ‰ÂÁ˘ÂÒ͇fl ·Û‰ÂÚ Ì‡Á˚‚‡Ú¸ÒflÏÂÚ˘ÂÒÍËÏ ·Óθ¯ËÏ ÍÛ„ÓÏ, ÂÒÎË Ó̇ fl‚ÎflÂÚÒfl ËÁÓÏÂÚ˘ÂÒÍËÏ ‚ÎÓÊÂÌËÂÏÍÛ„‡ S1 (0, r ) ‚ ï. Ç Ó·˘ÂÏ ÒÎÛ˜‡Â „ÂÓ‰ÂÁ˘ÂÒÍË ÏÓ„ÛÚ Ë Ì ÒÛ˘ÂÒÚ‚Ó‚‡Ú¸.ÉÂÓ‰ÂÁ˘ÂÒÍÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚ÓèÓËÁ‚ÓθÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ̇Á˚‚‡ÂÚÒfl „ÂÓ‰ÂÁ˘ÂÒÍËÏ, ÂÒÎËβ·˚ ‰‚ ÚÓ˜ÍË ‚ ï ÏÓ„ÛÚ ·˚Ú¸ ÒÓ‰ËÌÂÌ˚ „ÂÓ‰ÂÁ˘ÂÒÍËÏ ÓÚÂÁÍÓÏ, Ú.Â.
‰Îflβ·˚ı ‰‚Ûı ÚÓ˜ÂÍ x, y ∈ X ÒÛ˘ÂÒÚ‚ÛÂÚ ËÁÓÏÂÚËfl ÓÚÂÁ͇ [0, d ( x, y)] ‚ ï. ã˛·ÓÂÔÓÎÌÓ ËχÌÓ‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó Ë Î˛·Ó ·‡Ì‡ıÓ‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó fl‚Îfl˛ÚÒfl „ÂÓ‰ÂÁ˘ÂÒÍËÏ ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.èÓËÁ‚ÓθÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ̇Á˚‚‡ÂÚÒfl ÎÓ͇θÌÓ „ÂÓ‰ÂÁ˘ÂÒÍËÏ ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ, ÂÒÎË Î˛·˚ ‰‚ ‰ÓÒÚ‡ÚÓ˜ÌÓ ·ÎËÁÍË ÚÓ˜ÍË ‚ï ÏÓ„ÛÚ ·˚Ú¸ ÒÓ‰ËÌÂÌ˚ „ÂÓ‰ÂÁ˘ÂÒÍËÏ ÓÚÂÁÍÓÏ; ÓÌÓ ·Û‰ÂÚ Ì‡Á˚‚‡Ú¸Òfl D-„ÂÓ‰ÂÁ˘ÂÒÍËÏ, ÂÒÎË Î˛·˚ ‰‚ ÚÓ˜ÍË Ì‡ ‡ÒÒÚÓflÌËË < D ÏÓ„ÛÚ ·˚Ú¸ ÒÓ‰ËÌÂÌ˚„ÂÓ‰ÂÁ˘ÂÒÍËÏ ÓÚÂÁÍÓÏ.ÉÂÓ‰ÂÁ˘ÂÒÍÓ ‡ÒÒÚÓflÌËÂÉÂÓ‰ÂÁ˘ÂÒÍÓ ‡ÒÒÚÓflÌË (ËÎË ‡ÒÒÚÓflÌË ͇ژ‡È¯Â„Ó ÔÛÚË) ÂÒÚ¸ ‰ÎË̇ „ÂÓ‰ÂÁ˘ÂÒÍÓ„Ó ÓÚÂÁ͇ (Ú.Â.
͇ژ‡È¯Â„Ó ÔÛÚË) ÏÂÊ‰Û ‰‚ÛÏfl ÚӘ͇ÏË.àÌÚÂ̇θ̇fl ÏÂÚË͇èÛÒÚ¸ (ï, d) – ÔÓËÁ‚ÓθÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó, ‚ ÍÓÚÓÓÏ ‚ÒflÍË ‰‚ÂÚÓ˜ÍË ÒÓ‰ËÌÂÌ˚ ÒÔflÏÎflÂÏÓÈ ÍË‚ÓÈ. íÓ„‰‡ ËÌÚÂ̇θ̇fl ÏÂÚË͇ (ËÎË ÔÓÓʉÂÌ̇fl ‚ÌÛÚÂÌÌflfl ÏÂÚË͇) D ̇ ï Á‡‰‡ÂÚÒfl Í‡Í ËÌÙËÏÛÏ ‰ÎËÌ ‚ÒÂı ÒÔflÏÎflÂÏ˚ı ÍË‚˚ı, ÒÓ‰ËÌfl˛˘Ëı ‰‚ ‰‡ÌÌ˚ ÚÓ˜ÍË x, y ∈ X.åÂÚË͇ d ̇ ï ̇Á˚‚‡ÂÚÒfl ‚ÌÛÚÂÌÌÂÈ ÏÂÚËÍÓÈ (ËÎË ÏÂÚËÍÓÈ ‰ÎËÌ˚), ÂÒÎËÓ̇ ÒÓ‚Ô‡‰‡ÂÚ ÒÓ Ò‚ÓÂÈ ËÌÚÂ̇θÌÓÈ ÏÂÚËÍÓÈ D. åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó Ò‚ÌÛÚÂÌÌÂÈ ÏÂÚËÍÓÈ Ì‡Á˚‚‡ÂÚÒfl ÔÓÒÚ‡ÌÒÚ‚ÓÏ ‰ÎËÌ˚ (ËÎË ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ ÔÛÚÂÈ, ‚ÌÛÚÂÌÌËÏ ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ).ÖÒÎË, ÍÓÏ ÚÓ„Ó, β·‡fl Ô‡‡ ÚÓ˜ÂÍ ı, Û ÏÓÊÂÚ ·˚Ú¸ ÒÓ‰ËÌÂ̇ ÍË‚ÓÈ ‰ÎËÌ˚d(x, y), ÚÓ ‚ÌÛÚÂÌÌflfl ÏÂÚË͇ d ̇Á˚‚‡ÂÚÒfl ÒÚÓ„Ó ‚ÌÛÚÂÌÌÂÈ, ‡ ÔÓÒÚ‡ÌÒÚ‚Ó‰ÎËÌ˚ (ï, d) – „ÂÓ‰ÂÁ˘ÂÒÍËÏ ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.èÓÎÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) fl‚ÎflÂÚÒfl ÔÓÒÚ‡ÌÒÚ‚ÓÏ ‰ÎËÌ˚ ÚÓ„‰‡ ËÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ‰Îfl β·˚ı ‰‚Ûı x, y ∈ X Ë Î˛·Ó„Ó ε > 0 ÒÛ˘ÂÒÚ‚ÛÂÚ ÚÂÚ¸fl1ÚӘ͇ z ∈ X (ε-Ò‰ËÌ̇fl ÚӘ͇), ‰Îfl ÍÓÚÓÓÈ d ( x, z ), d ( y, z ) ≤ d ( x, y) + ε.2ã˛·Ó ÔÓÎÌÓ ÎÓ͇θÌÓ ÍÓÏÔ‡ÍÚÌÓ ÔÓÒÚ‡ÌÒÚ‚Ó ‰ÎËÌ˚ fl‚ÎflÂÚÒfl ÒÓ·ÒÚ‚ÂÌÌ˚Ï„ÂÓ‰ÂÁ˘ÂÒÍËÏ ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.G-ÔÓÒÚ‡ÌÒÚ‚ÓG-ÔÓÒÚ‡ÌÒÚ‚ÓÏ (ËÎË ÔÓÒÚ‡ÌÒÚ‚ÓÏ „ÂÓ‰ÂÁ˘ÂÒÍËı) ̇Á˚‚‡ÂÚÒfl ÏÂÚ˘ÂÒÍÓÂÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) Ò „ÂÓÏÂÚËÂÈ, ı‡‡ÍÚÂËÁÛÂÏÓÈ ÚÂÏ, ˜ÚÓ ‡Ò¯ËÂÌËfl „ÂÓ‰ÂÁË-90ó‡ÒÚ¸ II.
ÉÂÓÏÂÚËfl ‡ÒÒÚÓflÌËfl˜ÂÒÍËı, ÓÔ‰ÂÎflÂÏ˚ı Í‡Í ÎÓ͇θÌÓ Í‡Ú˜‡È¯Ë ÎËÌËË, fl‚Îfl˛ÚÒfl ‰ËÌÒÚ‚ÂÌÌ˚ÏË.í‡Í‡fl „ÂÓÏÂÚËfl ÂÒÚ¸ Ó·Ó·˘ÂÌË „Ëθ·ÂÚÓ‚ÓÈ „ÂÓÏÂÚËË (ÒÏ. [Buse55]).íӘ̠„Ó‚Ófl, G-ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ÓÔ‰ÂÎflÂÚÒfl ÒÎÂ‰Û˛˘ËÏË ÛÒÎÓ‚ËflÏË:1. èÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ÒÓ·ÒÚ‚ÂÌÌ˚Ï (ËÎË ÍÓ̘ÌÓ ÍÓÏÔ‡ÍÚÌ˚Ï), Ú.Â. ‚Ò „ÓÏÂÚ˘ÂÒÍË ¯‡˚ ÍÓÏÔ‡ÍÚÌ˚.2.
éÌÓ fl‚ÎflÂÚÒfl ‚˚ÔÛÍÎ˚Ï ÔÓ åÂÌ„ÂÛ, Ú.Â. ‰Îfl β·˚ı ‡Á΢Ì˚ı x, y ∈ X ÒÛ˘ÂÒÚ‚ÛÂÚ Ú‡Í‡fl ÚÂÚ¸fl ÚӘ͇ z ∈ X , z ≠ x, y, ˜ÚÓ d ( x, z ) + d ( z, y) = d ( x, y).3. éÌÓ fl‚ÎflÂÚÒfl ÎÓ͇θÌÓ ‡Ò¯ËflÂÏ˚Ï, Ú.Â. ‰Îfl β·Ó„Ó a ∈ X ÒÛ˘ÂÒÚ‚ÛÂÚ Ú‡ÍÓÂr > 0 , ˜ÚÓ ‰Îfl β·˚ı ‡Á΢Ì˚ı ÚÓ˜ÂÍ ı, Û ‚ ¯‡Â Ç(a, r) ËÏÂÂÚÒfl ڇ͇fl ÚӘ͇ z,ÓÚ΢‡˛˘‡flÒfl ÓÚ ı Ë Û, ˜ÚÓ d ( x, y) + d ( y, z ) = d ( x, z ).4. éÌÓ fl‚ÎflÂÚÒfl ‡Ò¯ËflÂÏ˚Ï Â‰ËÌÒÚ‚ÂÌÌ˚Ï Ó·‡ÁÓÏ, Ú.Â., ÂÒÎË ‚ Ô. 3 ‚˚¯Â ‰Îfl‰‚Ûı ÚÓ˜ÂÍ z1 Ë z2 ËÏÂÂÚ ÏÂÒÚÓ ‡‚ÂÌÒÚ‚Ó d ( y, z1 ) = d ( y, z 2 ), ÚÓ z1 = z 2 .ëÛ˘ÂÒÚ‚Ó‚‡ÌË „ÂÓ‰ÂÁ˘ÂÒÍËı ÓÚÂÁÍÓ‚ Ó·ÛÒÎÓ‚ÎË‚‡ÂÚÒfl ÍÓ̘ÌÓÈ ÍÓÏÔ‡ÍÚÌÓÒÚ¸˛ Ë ‚˚ÔÛÍÎÓÒÚ¸˛ åÂ̄‡: β·˚ ‰‚ ÚÓ˜ÍË ÍÓ̘ÌÓ ÍÓÏÔ‡ÍÚÌÓ„Ó ‚˚ÔÛÍÎÓ„Ó ÔÓ åÂÌ„ÂÛ ÏÌÓÊÂÒÚ‚‡ ï ÏÓ„ÛÚ ·˚Ú¸ ÒÓ‰ËÌÂÌ˚ „ÂÓ‰ÂÁ˘ÂÒÍËÏ ÓÚÂÁÍÓÏ ‚ ï.ëÛ˘ÂÒÚ‚Ó‚‡ÌË „ÂÓ‰ÂÁ˘ÂÒÍËı Ó·ÛÒÎÓ‚ÎÂÌÓ ‡ÍÒËÓÏÓÈ ÎÓ͇θÌÓÈ ÔÓ‰ÓÎʇÂÏÓÒÚË:ÂÒÎË ÍÓ̘ÌÓ ÍÓÏÔ‡ÍÚÌÓ ‚˚ÔÛÍÎÓ ÔÓ åÂÌ„ÂÛ ÏÌÓÊÂÒÚ‚Ó ï fl‚ÎflÂÚÒfl ÎÓ͇θÌÓ‡Ò¯ËflÂÏ˚Ï, ÚÓ ÒÛ˘ÂÒÚ‚ÛÂÚ „ÂÓ‰ÂÁ˘ÂÒ͇fl, ÒÓ‰Âʇ˘‡fl ‰‡ÌÌ˚È „ÂÓ‰ÂÁ˘ÂÒÍËÈÓÚÂÁÓÍ.
ç‡ÍÓ̈, ‰ËÌÒÚ‚ÂÌÌÓÒÚ¸ ÔÓ‰ÓÎÊÂÌËfl Ó·ÂÒÔ˜˂‡ÂÚ ‰ÓÔÛ˘ÂÌË ‰ËÙÙÂÂ̈ˇθÌÓÈ „ÂÓÏÂÚËË, ˜ÚÓ ÎËÌÂÈÌ˚È ˝ÎÂÏÂÌÚ ÓÔ‰ÂÎflÂÚ „ÂÓ‰ÂÁ˘ÂÒÍÛ˛Â‰ËÌÒÚ‚ÂÌÌ˚Ï Ó·‡ÁÓÏ.ÇÒ ËχÌÓ‚˚ Ë ÙËÌÒÎÂÓ‚˚ ÔÓÒÚ‡ÌÒÚ‚‡ fl‚Îfl˛ÚÒfl G-ÔÓÒÚ‡ÌÒÚ‚‡ÏË.é‰ÌÓÏÂÌÓ G-ÔÓÒÚ‡ÌÒÚ‚Ó ÂÒÚ¸ ÏÂÚ˘ÂÒ͇fl Ôflχfl ÎËÌËfl ËÎË ÏÂÚ˘ÂÒÍËÈ·Óθ¯ÓÈ ÍÛ„. ã˛·Ó ‰‚ÛÏÂÌÓ G-ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ÚÓÔÓÎӄ˘ÂÒÍËÏ ÏÌÓ„ÓÓ·‡ÁËÂÏ.ÇÒflÍÓ G-ÔÓÒÚ‡ÌÒÚ‚Ó ÂÒÚ¸ ıÓ‰Ó‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó, Ú.Â.
ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó Ò ÏÌÓÊÂÒÚ‚ÓÏ ‚˚‰ÂÎÂÌÌ˚ı „ÂÓ‰ÂÁ˘ÂÒÍËı ÓÚÂÁÍÓ‚, Ú‡ÍËı ˜ÚÓ Î˛·˚ ‰‚ÂÚÓ˜ÍË ÒÓ‰ËÌfl˛ÚÒfl ‰ËÌÒÚ‚ÂÌÌ˚Ï Ú‡ÍËÏ ÓÚÂÁÍÓÏ (ÒÏ. [BuPh87]).ÑÂÁ‡„Ó‚Ó ÔÓÒÚ‡ÌÒÚ‚ÓÑÂÁ‡„Ó‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó – G-ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d), ‚ ÍÓÚÓÓÏ Óθ „ÂÓ‰ÂÁ˘ÂÒÍËı‚˚ÔÓÎÌfl˛Ú Ó·˚˜Ì˚ ÔflÏ˚Â. ùÚÓ Á̇˜ËÚ, ˜ÚÓ ï ÏÓÊÂÚ ·˚Ú¸ ÚÓÔÓÎӄ˘ÂÒÍË ÓÚÓ·‡ÊÂÌÓ ‚ ÔÓÂÍÚË‚ÌÓ ÔÓÒÚ‡ÌÒÚ‚Ó Pn Ú‡ÍËÏ Ó·‡ÁÓÏ, ˜ÚÓ Í‡Ê‰‡fl „ÂÓ‰ÂÁ˘ÂÒ͇flÔÓÒÚ‡ÌÒÚ‚‡ ï ÓÚÓ·‡Ê‡ÂÚÒfl ‚ ÔflÏÛ˛ ÎËÌ˲ ÔÓÒÚ‡ÌÒÚ‚‡ Pn . ã˛·Ó ï ,ÓÚÓ·‡ÊÂÌÌÓ ‚ P n , ÎË·Ó ‰ÓÎÊÌÓ ÔÓÍ˚‚‡Ú¸ ‚Ò Pn (‚ Ú‡ÍÓÏ ÒÎÛ˜‡Â ‚Ò„ÂÓ‰ÂÁ˘ÂÒÍË ï fl‚Îfl˛ÚÒfl ÏÂÚ˘ÂÒÍËÏË ·Óθ¯ËÏË ÍÛ„‡ÏË Ó‰ÌÓÈ ‰ÎËÌ˚), ÎË·ÓÏÓÊÂÚ ‡ÒÒχÚË‚‡Ú¸Òfl Í‡Í ÓÚÍ˚ÚÓ ‚˚ÔÛÍÎÓ ÔÓ‰ÏÌÓÊÂÒÚ‚Ó ‡ÙÙËÌÌÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ An .èÓÒÚ‡ÌÒÚ‚Ó (ï, d) „ÂÓ‰ÂÁ˘ÂÒÍËı fl‚ÎflÂÚÒfl ‰ÂÁ‡„Ó‚˚Ï ÔÓÒÚ‡ÌÒÚ‚ÓÏ ÚÓ„‰‡ ËÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ‚˚ÔÓÎÌfl˛ÚÒfl ÒÎÂ‰Û˛˘Ë ÛÒÎÓ‚Ëfl:1.
ÉÂÓ‰ÂÁ˘ÂÒ͇fl, ÔÓıÓ‰fl˘‡fl ˜ÂÂÁ ‰‚ ‡Á΢Ì˚ ÚÓ˜ÍË, fl‚ÎflÂÚÒfl ‰ËÌÒÚ‚ÂÌÌÓÈ.2. ÑÎfl ‡ÁÏÂÌÓÒÚË n = 2 Ó·Â ÚÂÓÂÏ˚ ÑÂÁ‡„‡ (Ôflχfl Ë Ó·‡Ú̇fl) ÒÔ‡‚‰ÎË‚˚,‡ ‰Îfl ‡ÁÏÂÌÓÒÚË n > 2 β·˚ ÚË ÚÓ˜ÍË ËÁ ï ÎÂÊ‡Ú ‚ Ó‰ÌÓÈ ÔÎÓÒÍÓÒÚË.ëÂ‰Ë ËχÌÓ‚˚ı ÔÓÒÚ‡ÌÒÚ‚ ‰ËÌÒÚ‚ÂÌÌ˚ÏË ‰ÂÁ‡„Ó‚˚ÏË ÔÓÒÚ‡ÌÒÚ‚‡ÏËfl‚Îfl˛ÚÒfl ‚ÍÎˉӂ˚, „ËÔ·Ó΢ÂÒÍËÂ Ë ˝ÎÎËÔÚ˘ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡. èËÏÂÓÏÌÂËχÌÓ‚‡ ‰ÂÁ‡„Ó‚‡ ÔÓÒÚ‡ÌÒÚ‚‡ ÒÎÛÊËÚ ÔÓÒÚ‡ÌÒÚ‚Ó åËÌÍÓ‚ÒÍÓ„Ó, ÍÓÚÓÓÂÏÓÊÂÚ Ò˜ËÚ‡Ú¸Òfl ÔÓÚÓÚËÔÓÏ ‚ÒÂı ÌÂËχÌÓ‚˚ı ÔÓÒÚ‡ÌÒÚ‚, ‚Íβ˜‡fl ÙËÌÒÎÂÓ‚˚ÔÓÒÚ‡ÌÒÚ‚‡.É·‚‡ 6.
ê‡ÒÒÚÓflÌËfl ‚ „ÂÓÏÂÚËË91G-ÔÓÒÚ‡ÌÒÚ‚Ó ˝ÎÎËÔÚ˘ÂÒÍÓ„Ó ÚËÔ‡G-ÔÓÒÚ‡ÌÒÚ‚ÓÏ ˝ÎÎËÔÚ˘ÂÒÍÓ„Ó ÚËÔ‡ ̇Á˚‚‡ÂÚÒfl G-ÔÓÒÚ‡ÌÒÚ‚Ó, ‚ ÍÓÚÓÓϘÂÂÁ ‰‚ ÚÓ˜ÍË ÔÓıÓ‰ËÚ Â‰ËÌÒÚ‚ÂÌ̇fl „ÂÓ‰ÂÁ˘ÂÒ͇fl, Ë ‚Ò „ÂÓ‰ÂÁ˘ÂÒÍË –ÏÂÚ˘ÂÒÍË ·Óθ¯Ë ÍÛ„Ë Ó‰Ë̇ÍÓ‚ÓÈ ‰ÎËÌ˚.ä‡Ê‰Ó G-ÔÓÒÚ‡ÌÒÚ‚Ó, ‚ ÍÓÚÓÓÏ ËÏÂÂÚÒfl ‰ËÌÒÚ‚ÂÌ̇fl „ÂÓ‰ÂÁ˘ÂÒ͇fl, ÔÓıÓ‰fl˘‡fl ˜ÂÂÁ ͇ʉ˚ ‰‚ ‰‡ÌÌ˚ ÚÓ˜ÍË, fl‚ÎflÂÚÒfl ËÎË G-ÔÓÒÚ‡ÌÒÚ‚ÓÏ ˝ÎÎËÔÚ˘ÂÒÍÓ„Ó ÚËÔ‡, ËÎË ÔflÏ˚Ï G-ÔÓÒÚ‡ÌÒÚ‚ÓÏ.èflÏÓ G-ÔÓÒÚ‡ÌÒÚ‚ÓèflÏ˚Ï G-ÔÓÒÚ‡ÌÒÚ‚ÓÏ Ì‡Á˚‚‡ÂÚÒfl G-ÔÓÒÚ‡ÌÒÚ‚Ó, ‚ ÍÓÚÓÓÏ ‚ÓÁÏÓÊÌÓ„ÎÓ·‡Î¸ÌÓ ÔÓ‰ÓÎÊÂÌË „ÂÓ‰ÂÁ˘ÂÒÍÓÈ Ú‡Í, ˜ÚÓ·˚ β·ÓÈ Â ÓÚÂÁÓÍ ÓÒÚ‡‚‡ÎÒfl͇ژ‡È¯ËÏ ÔÛÚÂÏ. ÑÛ„ËÏË ÒÎÓ‚‡ÏË, ‰Îfl ‰‚Ûı β·˚ı x, y ∈ X ÒÛ˘ÂÒÚ‚ÛÂÚ Â‰ËÌÒÚ‚ÂÌÌ˚È „ÂÓ‰ÂÁ˘ÂÒÍËÈ ÓÚÂÁÓÍ, ÒÓ‰ËÌfl˛˘ËÈ ı Ë Û, Ë Â‰ËÌÒÚ‚ÂÌ̇fl ÏÂÚ˘ÂÒ͇flÔflχfl, ÍÓÚÓÓÈ ı Ë Û ÔË̇‰ÎÂʇÚ.ÇÒfl͇fl „ÂÓ‰ÂÁ˘ÂÒ͇fl ‚ ÔflÏÓÏ G-ÔÓÒÚ‡ÌÒÚ‚Â ÂÒÚ¸ ÏÂÚ˘ÂÒ͇fl Ôflχfl,ÓÔ‰ÂÎÂÌ̇fl ‰ËÌÒÚ‚ÂÌÌ˚Ï Ó·‡ÁÓÏ Î˛·˚ÏË ‰‚ÛÏfl  ÚӘ͇ÏË.
ã˛·Ó ‰‚ÛÏÂÌÓÂÔflÏÓ G-ÔÓÒÚ‡ÌÒÚ‚Ó „ÓÏÂÓÏÓÙÌÓ ÔÎÓÒÍÓÒÚË.ÇÒ ӉÌÓÒ‚flÁÌ˚ ËχÌÓ‚˚ ÔÓÒÚ‡ÌÒÚ‚‡ ÌÂÔÓÎÓÊËÚÂθÌÓÈ ÍË‚ËÁÌ˚ (‚Íβ˜‡fl ‚ÍÎË‰Ó‚Ó Ë „ËÔ·Ó΢ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡), „Ëθ·ÂÚÓ‚˚ „ÂÓÏÂÚËË ËÔÓÒÚ‡ÌÒÚ‚‡ íÂÈıÏ˛Î· ÍÓÏÔ‡ÍÚÌ˚ı ËχÌÓ‚˚ı ÔÓ‚ÂıÌÓÒÚÂÈ ÚËÔ‡ Ó‰‡ g > 1(‚ ÒÎÛ˜‡Â Ëı ÏÂÚËÁ‡ˆËË ÏÂÚËÍÓÈ íÂÈıÏ˛Î·) fl‚Îfl˛ÚÒfl ÔflÏ˚ÏË G-ÔÓÒÚ‡ÌÒÚ‚‡ÏË.åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó „ËÔ·Ó΢ÂÒÍÓ ÔÓ ÉÓÏÓ‚ÛåÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ̇Á˚‚‡ÂÚÒfl „ËÔ·Ó΢ÂÒÍËÏ ÔÓ ÉÓÏÓ‚Û, ÂÒÎËÓÌÓ fl‚ÎflÂÚÒfl „ÂÓ‰ÂÁ˘ÂÒÍËÏ Ë ␦-„ËÔ·Ó΢ÂÒÍËÏ ‰Îfl ÌÂÍÓÚÓÓ„Ó δ ≥ 0.ã˛·Ó ÔÓÎÌÓ ӉÌÓÒ‚flÁÌÓ ËχÌÓ‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó ÒÂ͈ËÓÌÌÓÈ ÍË‚ËÁÌ˚ k ≤ –a 2ln 3ÂÒÚ¸ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó „ËÔ·Ó΢ÂÒÍÓ ÔÓ ÉÓÏÓ‚Û Ò δ =.
LJÊÌ˚ÏaÍ·ÒÒÓÏ ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ „ËÔ·Ó΢ÂÒÍÓ„Ó ÔÓ ÉÓÏÓ‚Û fl‚Îfl˛ÚÒfl„ËÔ·Ó΢ÂÒÍË „ÛÔÔ˚, Ú.Â. „ÛÔÔ˚ Ò ÍÓ̘Ì˚Ï ˜ËÒÎÓÏ Ó·‡ÁÛ˛˘Ëı, ÒÎÓ‚‡Ì‡flÏÂÚË͇ ÍÓÚÓ˚ı fl‚ÎflÂÚÒfl δ-„ËÔ·Ó΢ÂÒÍÓÈ ‰Îfl ÌÂÍÓÚÓÓ„Ó δ ≥ 0. åÂÚ˘ÂÒÍÓÂÔÓÒÚ‡ÌÒÚ‚Ó ·Û‰ÂÚ ‰ÂÈÒÚ‚ËÚÂθÌ˚Ï ‰Â‚ÓÏ ‚ ÚÓ˜ÌÓÒÚË ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ –ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó „ËÔ·Ó΢ÂÒÍÓ ÔÓ ÉÓÏÓ‚Û, Ò δ = 0.ÉÂÓ‰ÂÁ˘ÂÒÍÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ·Û‰ÂÚ δ-„ËÔ·Ó΢ÂÒÍËÏ ÚÓ„‰‡Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ 4δ-„ËÔ·Ó΢ÂÒÍÓ ÔÓ êËÔÒÛ, Ú.Â. ͇ʉ˚È ËÁ Â„Ó „ÂÓ‰ÂÁ˘ÂÒÍËı ÚÂÛ„ÓθÌËÍÓ‚ (ÒÓ‰ËÌÂÌË ÚÂı „ÂÓ‰ÂÁ˘ÂÒÍËı ÓÚÂÁÍÓ‚ [x, y], [x, z],[y, z]) fl‚ÎflÂÚÒfl 4δ-ÚÓÌÍËÏ (ËÎË 4δ-Ò··˚Ï) ıÛ‰˚Ï: ͇ʉ‡fl ËÁ ÒÚÓÓÌ ÚÂÛ„ÓθÌË͇̇ıÓ‰ËÚÒfl ‚ 4δ-ÓÍÂÒÚÌÓÒÚË ‰‚Ûı ‰Û„Ëı ÒÚÓÓÌ (4δ-ÓÍÂÒÚÌÓÒÚ¸ ÔÓ‰ÏÌÓÊÂÒÚ‚‡A ⊂ X ÂÒÚ¸ ÏÌÓÊÂÒÚ‚Ó {b ∈ X : infa ∈A d (b, a) < 4δ}).ä‡Ê‰Ó ëÄí(k) ÔÓÒÚ‡ÌÒÚ‚Ó Ò k < 0 fl‚ÎflÂÚÒfl „ËÔ·Ó΢ÂÒÍËÏ ÔÓ ÉÓÏÓ‚Û.ä‡Ê‰Ó ‚ÍÎË‰Ó‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó n fl‚ÎflÂÚÒfl ëÄí(0) ÔÓÒÚ‡ÌÒÚ‚ÓÏ Ë ·Û‰ÂÚ„ËÔ·Ó΢ÂÒÍËÏ ÔÓ ÉÓÏÓ‚‡ ÚÓθÍÓ ‰Îfl n = 1.ëÄí(k) ÔÓÒÚ‡ÌÒÚ‚ÓèÛÒÚ¸ (ï, d) – ÔÓËÁ‚ÓθÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó.
èÛÒÚ¸ å 2 – Ó‰ÌÓÒ‚flÁÌÓ‰‚ÛÏÂÌÓ ËχÌÓ‚Ó ÏÌÓ„ÓÓ·‡ÁË ÔÓÒÚÓflÌÌÓÈ ÍË‚ËÁÌ˚ k, Ú.Â. 2-ÒÙ‡ Sk2 Ò k > 0,‚ÍÎˉӂ‡ ÔÎÓÒÍÓÒÚ¸ 2 Ò k = 0 ËÎË „ËÔ·Ó΢ÂÒÍÓÈ ÔÎÓÒÍÓÒÚ¸ Hk2 Ò k < 0. èÛÒÚ¸ Dkπ, ÂÒÎË k > 0, Ë Dk = ∞, ÂÒÎË k ≤ 0.Ó·ÓÁ̇˜‡ÂÚ ‰Ë‡ÏÂÚ å2 , Ú.Â. Dk =k92ó‡ÒÚ¸ II. ÉÂÓÏÂÚËfl ‡ÒÒÚÓflÌËflíÂÛ„ÓθÌËÍ í ‚ ï ÒÓÒÚÓËÚ ËÁ ÚÂı ÚÓ˜ÂÍ ‚ ï, ÒÓ‰ËÌÂÌÌ˚ı ÔÓÔ‡ÌÓ ÚÂÏfl„ÂÓ‰ÂÁ˘ÂÒÍËÏË ÓÚÂÁ͇ÏË; ÓÚÂÁÍË ÔË ˝ÚÓÏ Ì‡Á˚‚‡˛ÚÒfl ÒÚÓÓ̇ÏË ÚÂÛ„ÓθÌË͇. ÑÎfl ÚÂÛ„ÓθÌË͇ T ⊂ X ÒÓÔÓÒÚ‡‚ËÏ˚Ï c í ÚÂÛ„ÓθÌËÍÓÏ ‚ å2 ·Û‰ÂÚÚÂÛ„ÓθÌËÍ T' ⊂ M2 ‚ÏÂÒÚÂ Ò ÓÚÓ·‡ÊÂÌËÂÏ fT, ÍÓÚÓÓ ËÁÓÏÂÚ˘ÂÒÍË ÓÚÓ·‡Ê‡ÂÚÍ‡Ê‰Û˛ ÒÚÓÓÌÛ ÚÂÛ„ÓθÌË͇ í ̇ ÒÚÓÓÌÛ í'.
íÂÛ„ÓθÌËÍ í Û‰Ó‚ÎÂÚ‚ÓflÂÚëÄí(k) ̇‚ÂÌÒÚ‚Û ÉÓÏÓ‚‡ (ëÄí – Ô‚˚ ·ÛÍ‚˚ Ù‡ÏËÎËÈ ä‡Ú‡Ì (Cartan),ÄÎÂÍ҇̉ӂ, íÓÔÓÌÓ„Ó‚), ÂÒÎË ‰Îfl ͇ʉ˚ı x, y ∈ T ËÏÂÂÚ ÏÂÒÚÓ Ì‡‚ÂÌÒÚ‚Ód ( x, y) ≤ d M 2 ( fT ( x ), fT ( y)),„‰Â fT – ÓÚÓ·‡ÊÂÌËÂ, ÒÓÓÚ‚ÂÚÒÚ‚Û˛˘Â ÒÓÔÓÒÚ‡‚ËÏÓÏÛ Ò í ÚÂÛ„ÓθÌËÍÛ ‚ å2 .í‡ÍËÏ Ó·‡ÁÓÏ, „ÂÓ‰ÂÁ˘ÂÒÍËÈ ÚÂÛ„ÓθÌËÍ í fl‚ÎflÂÚÒfl ÒÚÓθ Ê "ÚÓÌÍËÏ", Í‡Í ËÒÓÔÓÒÚ‡‚ËÏ˚È ÚÂÛ„ÓθÌËÍ ‚ å2 .åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ÂÒÚ¸ ëÄí(k) ÔÓÒÚ‡ÌÒÚ‚Ó, ÂÒÎË ÓÌÓ – Dk -„ÂÓ‰ÂÁ˘ÂÒÍÓ (Ú.Â. β·˚ ‰‚ ÚÓ˜ÍË Ì‡ ‡ÒÒÚÓflÌËË < Dk ÏÓ„ÛÚ ·˚Ú¸ ÒÓ‰ËÌÂÌ˚„ÂÓ‰ÂÁ˘ÂÒÍËÏ ÓÚÂÁÍÓÏ) Ë ‚Ò ÚÂÛ„ÓθÌËÍË í Ò ÒÛÏÏÓÈ ÒÚÓÓÌ < 2Dk Û‰Ó‚ÎÂÚ‚Ófl˛Ú ëÄí(k) ̇‚ÂÌÒÚ‚Û.ã˛·Ó ëÄí(k1) ÔÓÒÚ‡ÌÒÚ‚Ó ÂÒÚ¸ ëÄí(k2) ÔÓÒÚ‡ÌÒÚ‚Ó, ÂÒÎË k1< k 2 .