Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 37
Текст из файла (страница 37)
ÉÂÓÏÂÚËfl ‡ÒÒÚÓflÌËflê‡ÒÒÚÓflÌË ù„„ÎÂÒÚÓ̇ê‡ÒÒÚÓflÌËÂÏ ù„„ÎÂÒÚÓ̇ (ËÎË ÒËÏÏÂÚ˘ÂÒÍËÏ ÓÚÍÎÓÌÂÌËÂÏ ÔÎÓ˘‡‰Ë ÔÓ‚ÂıÌÓÒÚË) ̇Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌË ̇ K p , ÓÔ‰ÂÎflÂÏÓ ͇ÍS(C ∪ D) – S(C ∩ D),„‰Â S( ⋅ ) – ÔÎÓ˘‡‰¸ ÔÓ‚ÂıÌÓÒÚË. чÌÌÓ ‡ÒÒÚÓflÌË ÏÂÚËÍÓÈ Ì fl‚ÎflÂÚÒfl.åÂÚË͇ ÄÒÔÎÛ̉‡åÂÚËÍÓÈ ÄÒÔÎÛ̉‡ ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÔÓÒÚ‡ÌÒÚ‚Â K p /≈ Í·ÒÒÓ‚ ‡ÙÙËÌÌÓÈ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ‚ K p , ÓÔ‰ÂÎflÂχfl ͇Íln inf{λ ≥ 1 : ∃T : n → n ‡ÙÙËÌ̇, x ∈ n , C ⊂ T ( D) ⊂ λC + x},‰Îfl β·˚ı Í·ÒÒÓ‚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË Ë Ò Ô‰ÒÚ‡‚ËÚÂÎflÏË ë* Ë D * ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ.åÂÚË͇ å‡Í·ÂÚ‡åÂÚË͇ å‡Í·ÂÚ‡ – ÏÂÚË͇ ̇ ÔÓÒÚ‡ÌÒÚ‚Â K p /≈ Í·ÒÒÓ‚ ‡ÙÙËÌÌÓÈ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ‚ Kp , ÓÔ‰ÂÎflÂχfl ͇Íln inf{|det T ⋅ P|: ∃T, P: n → n „ÛÎflÌÓ ‡ÙÙËÌÌÓÂ, C ⊂ T(D), D ⊂ P(C)}‰Îfl β·˚ı Í·ÒÒÓ‚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ë* Ë D* Ò Ô‰ÒÚ‡‚ËÚÂÎflÏË ë Ë D, ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ.Ö ÏÓÊÌÓ Á‡ÔËÒ‡Ú¸ Ú‡Í ÊÂ, ͇Íln δ1 (C, D) + ln δ1 ( D, C ), V (T ( D)); C ⊂ T ( D) Ë í ÂÒÚ¸ „ÛÎflÌÓ ‡ÙÙËÌÌÓ ÓÚÓ·‡ÊÂÌË„‰Â δ1 (C, D) = inf T V (C ) n ̇ Ò·fl.åÂÚË͇ Ň̇ı‡–å‡ÁÛ‡åÂÚËÍÓÈ Å‡Ì‡ı‡–å‡ÁÛ‡ ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÔÓÒÚ‡ÌÒÚ‚Â K p /≈ Í·ÒÒÓ‚˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ÒÓ·ÒÚ‚ÂÌÌ˚ı ˆÂÌڇθÌÓ-ÒËÏÏÂÚ˘Ì˚ı ‚˚ÔÛÍÎ˚ı ÚÂÎ ÔÓ ÓÚÌÓ¯ÂÌ˲ Í ÎËÌÂÈÌ˚Ï ÔÂÓ·‡ÁÓ‚‡ÌËflÏ, ÓÔ‰ÂÎflÂχfl ͇Íln inf{λ ≥ 1: ∃T: n → n ÎËÌÂÈÌÓÂ, C ⊂ T(D) ⊂ λC)}‰Îfl β·˚ı Í·ÒÒÓ‚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ë* Ë D* Ë Ò Ô‰ÒÚ‡‚ËÚÂÎflÏË ë Ë D ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ.ùÚ‡ ÏÂÚË͇ fl‚ÎflÂÚÒfl ÓÒÓ·˚Ï ÒÎÛ˜‡ÂÏ ‡ÒÒÚÓflÌËfl Ň̇ı‡–å‡ÁÛ‡ ÏÂÊ‰Û n-ÏÂÌ˚ÏË ÌÓÏËÓ‚‡ÌÌ˚ÏË ÔÓÒÚ‡ÌÒÚ‚‡ÏË.ê‡Á‰ÂÎfl˛˘Â ‡ÒÒÚÓflÌËÂê‡Á‰ÂÎfl˛˘Â ‡ÒÒÚÓflÌË ÂÒÚ¸ ÏËÌËχθÌÓ ‚ÍÎË‰Ó‚Ó ‡ÒÒÚÓflÌË ÏÂÊ‰Û ‰‚ÛÏflÌÂÔÂÂÒÂ͇˛˘ËÏËÒfl ‚˚ÔÛÍÎ˚ÏË Ú·ÏË C Ë D ‚ n (‚ Ó·˘ÂÏ ÒÎÛ˜‡Â, ‡ÒÒÚÓflÌËÂÏÂÊ‰Û ÏÌÓÊÂÒÚ‚‡ÏË ÏÂÊ‰Û Î˛·˚ÏË ‰‚ÛÏfl ÌÂÔÂÂÒÂ͇˛˘ËÏËÒfl ÔÓ‰ÏÌÓÊÂÒÚ‚‡ÏË n ): inf x − y 2 : x ∈ C, y ∈ D ; ÔË ˝ÚÓÏ sup x − y 2 : x ∈ C, y ∈ D ̇Á˚‚‡ÂÚÒfl ÔÂÂÍ˚‚‡˛˘ËÏ ‡ÒÒÚÓflÌËÂÏ.{}{}ê‡ÒÒÚÓflÌË „ÎÛ·ËÌ˚ ÔÓÌËÍÌÓ‚ÂÌËflê‡ÒÒÚÓflÌË „ÎÛ·ËÌ˚ ÔÓÌËÍÌÓ‚ÂÌËfl ÏÂÊ‰Û ‰‚ÛÏfl ‚Á‡ËÏÌÓ ÔÓÌË͇˛˘ËÏË‚˚ÔÛÍÎ˚ÏË Ú·ÏË C Ë D ‚ n (‚ Ó·˘ÂÏ ÒÎÛ˜‡Â, ÏÂÊ‰Û Î˛·˚ÏË ‰‚ÛÏfl ‚Á‡ËÏÌÓÉ·‚‡ 9.
ê‡ÒÒÚÓflÌËfl ̇ ‚˚ÔÛÍÎ˚ı Ú·ı, ÍÓÌÛÒ‡ı Ë ÒËÏÔÎˈˇθÌ˚ı ÍÓÏÔÎÂÍÒ‡ı161ÔÓÌË͇˛˘ËÏË ÔÓ‰ÏÌÓÊÂÒÚ‚‡ÏË ÏÌÓÊÂÒÚ‚‡ n ) ÂÒÚ¸ ÏËÌËχθÌÓ ‡ÒÒÚÓflÌËÂÔÂÂÌÓÒ‡ Ó‰ÌÓ„Ó Ú· ÓÚÌÓÒËÚÂθÌÓ ‰Û„Ó„Ó Ú‡Í, ˜ÚÓ·˚ ‚ÌÛÚÂÌÌÓÒÚË C Ë D ÒÚ‡ÎËÌÂÔÂÂÒÂ͇˛˘ËÏËÒfl:min{|| t ||2 : interior (C + t ) ∩ D = 0/ }.ùÚÓ ‡ÒÒÚÓflÌË fl‚ÎflÂÚÒfl ÂÒÚÂÒÚ‚ÂÌÌ˚Ï Ó·Ó˘ÂÌÌÓÏ Â‚ÍÎˉӂ‡ ‡Á‰ÂÎfl˛˘Â„Ó‡ÒÒÚÓflÌËfl ‰Îfl ÌÂÔÂÂÒÂ͇˛˘ËıÒfl Ó·˙ÂÍÚÓ‚ ̇ ÒÎÛ˜‡È ÔÂÂÍ˚‚‡˛˘ËıÒfl Ó·˙ÂÍÚÓ‚. чÌÌÓ ‡ÒÒÚÓflÌË ÏÓÊÌÓ ÓÔ‰ÂÎËÚ¸ Í‡Í inf{d(C, D + x): x ∈ n} ËÎËinfsd(C, s(D)), „‰Â ËÌÙËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ ÔÓ‰Ó·ËflÏ s: n → n ËÎË…, „‰Â d – Ӊ̇ËÁ Û͇Á‡ÌÌ˚ı ‚˚¯Â ÏÂÚËÍ.ê‡ÒÒÚÓflÌË ÔÓfl‰Í‡ ÓÒÚ‡ÑÎfl ‚˚ÔÛÍÎ˚ı ÏÌÓ„Ó„‡ÌÌËÍÓ‚ ‡ÒÒÚÓflÌË ÔÓfl‰Í‡ ÓÒÚ‡ (ÒÏ. ÔÓ‰Ó·ÌÂÂ[GiOn96]) ÓÔ‰ÂÎflÂÚÒfl Í‡Í ‚Â΢Ë̇ ̇ ÍÓÚÓÛ˛ Ó·˙ÂÍÚ˚ ‰ÓÎÊÌ˚ Û‚Â΢ËÚ¸Òfl ÓÚÌÓÒËÚÂθÌÓ Ëı ̇˜‡Î¸ÌÓ„Ó ‡Áχ ‰Ó ÏÓÏÂÌÚ‡ ÒÓÔËÍÓÒÌÓ‚ÂÌËflÔÓ‚ÂıÌÓÒÚflÏË.ê‡ÁÌÓÒÚ¸ åËÌÍÓ‚ÒÍÓ„Óê‡ÁÌÓÒÚ¸ åËÌÍÓ‚ÒÍÓ„Ó Ì‡ ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ÍÓÏÔ‡ÍÚÌ˚ı ÔÓ‰ÏÌÓÊÂÒÚ‚, ‚ ˜‡ÒÚÌÓÒÚË Ì‡ ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ÒÍÛθÔÚÛÌ˚ı Ó·˙ÂÍÚÓ‚ (ËÎË Ó·˙ÂÍÚÓ‚ ÔÓËÁ‚ÓθÌÓÈÙÓÏ˚) ‚ 3 , ÓÔ‰ÂÎflÂÚÒfl ͇ÍA – B = {x – y: x ∈ A, y ∈ B}.ÖÒÎË Ò˜ËÚ‡Ú¸ Ç Ò‚Ó·Ó‰ÌÓ ÔÂÂÏ¢‡˛˘ËÏÒfl Ë Ëϲ˘ËÏ ÔÓÒÚÓflÌÌÛ˛ ÓËÂÌÚ‡ˆË² Ó·˙ÂÍÚÓÏ, ÚÓ ‡ÁÌÓÒÚ¸˛ åËÌÍÓ‚ÒÍÓ„Ó fl‚ÎflÂÚÒfl ÏÌÓÊÂÒÚ‚Ó, ÍÓÚÓÓ ÒÓ‰ÂÊËÚ ‚Ò ÔÂÂÌÓÒ˚ Ç, ‚ÎÂÍÛ˘Ë ÔÂÂÒ˜ÂÌËÂ Ò Ä.
ÅÎËʇȯ‡fl ÚӘ͇ ÓÚ „‡Ìˈ˚‡ÁÌÓÒÚË åËÌÍÓ‚ÒÍÓ„Ó ∂(A – B) ‰Ó ̇˜‡Î‡ ÍÓÓ‰ËÌ‡Ú ‰‡ÂÚ ‡Á‰ÂÎfl˛˘Â ‡ÒÒÚÓflÌËÂÏÂÊ‰Û Ä Ë Ç. ÖÒÎË Ó·‡ Ó·˙ÂÍÚ‡ ÔÂÂÒÂ͇˛ÚÒfl, ÚÓ Ì‡˜‡ÎÓ ÍÓÓ‰ËÌ‡Ú ÎÂÊËÚ ‚ÌÛÚˇÁÌÓÒÚË åËÌÍÓ‚ÒÍÓ„Ó Ë ÔÓÎÛ˜ÂÌÌÓ ‡ÒÒÚÓflÌË ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú¸ ͇͇ÒÒÚÓflÌË „ÎÛ·ËÌ˚ ÔÓÌËÍÌÓ‚ÂÌËfl.å‡ÍÒËχθÌÓ ‡ÒÒÚÓflÌË ÏÌÓ„ÓÛ„ÓθÌË͇å‡ÍÒËχθÌÓ ‡ÒÒÚÓflÌË ÏÌÓ„ÓÛ„ÓθÌË͇ – ‡ÒÒÚÓflÌË ÏÂÊ‰Û ‰‚ÛÏfl ‚˚ÔÛÍÎ˚ÏË ÏÌÓ„ÓÛ„ÓθÌË͇ÏË P = (p1 , ..., pn ) Ë Q = (q1 , ..., qn ), ÓÔ‰ÂÎflÂÏÓ ͇Ímax pi − q j ,i, j2i ∈{1,..., n}, j ∈{1,..., m}.„‰Â || ⋅ ||2 – ‚ÍÎˉӂ‡ ÌÓχ.ê‡ÒÒÚÓflÌË ÉÂ̇̉‡èÛÒÚ¸ P = (p1 , ..., pn ) Ë Q = (q1 , ..., qn ) – ‰‚‡ ÌÂÔÂÂÒÂ͇˛˘ËıÒfl ‚˚ÔÛÍÎ˚ı ÏÌÓ„ÓÛ„ÓθÌË͇ Ë l(pi, q j), l(pm, q l), – ‰‚ ÔÂÂÒÂ͇˛˘ËÂÒfl ÍËÚ˘ÂÒÍË ÓÔÓÌ˚ ÎËÌËˉÎfl P Ë Q.
íÓ„‰‡ ‡ÒÒÚÓflÌË ÉÂ̇̉‡ ÏÂÊ‰Û P Ë Q ÓÔ‰ÂÎËÚÒfl ͇Í|| pi − q j ||2 + || pm − ql ||2 − Σ( pi , pm ) − Σ( g j , gl ),„‰Â ||⋅||2 – ‚ÍÎˉӂ‡ ÌÓχ Ë Σ(pi, pm) – ÒÛÏχ ‰ÎËÌ Â·Â ÎÓχÌÓÈ pi,..., pm.á‰ÂÒ¸ P = (p1 ,..., pn ) – ‚˚ÔÛÍÎ˚È ÏÌÓ„ÓÛ„ÓθÌËÍ Ò ‚¯Ë̇ÏË ‚ Òڇ̉‡ÚÌÓÈÙÓÏÂ, Ú.Â.
‚¯ËÌ˚ Û͇Á˚‚‡˛ÚÒfl ‚ ÒËÒÚÂÏ ‰Â͇ÚÓ‚˚ı ÍÓÓ‰ËÌ‡Ú ‚ ̇ԇ‚ÎÂÌËËÔÓ ˜‡ÒÓ‚ÓÈ ÒÚÂÎÍÂ Ë ÔË ˝ÚÓÏ ÌÂÚ ÚÂı ÔÓÒΉӂ‡ÚÂθÌ˚ı ÍÓÎÎË̇Ì˚ı ‚¯ËÌ.èflχfl l fl‚ÎflÂÚÒfl ÓÔÓÌÓÈ ÔflÏÓÈ ‰Îfl ê, ÂÒÎË ÏÌÓÊÂÒÚ‚Ó ‚ÌÛÚÂÌÌËı ÚÓ˜ÂÍ ê162ó‡ÒÚ¸ II. ÉÂÓÏÂÚËfl ‡ÒÒÚÓflÌËflÔÓÎÌÓÒÚ¸˛ ÎÂÊËÚ ÔÓ Ó‰ÌÛ ÒÚÓÓÌÛ ÓÚ l. ÖÒÎË ËϲÚÒfl ‰‚‡ ÌÂÔÂÂÒÂ͇˛˘ËıÒflÏÌÓ„ÓÛ„ÓθÌË͇ ê Ë Q, ÚÓ Ôflχfl l(pi, qj) ·Û‰ÂÚ ÍËÚ˘ÂÒÍÓÈ ÓÔÓÌÓÈ ÔflÏÓÈ, ÂÒÎËÓ̇ fl‚ÎflÂÚÒfl ÓÔÓÌÓÈ ÔflÏÓÈ ‰Îfl ê ‚ pi, ÓÔÓÌÓÈ ÔflÏÓÈ ‰Îfl Q ‚ qj, ÔË ˝ÚÓÏ ê Ë QÎÂÊ‡Ú ÔÓ ‡ÁÌ˚ ÒÚÓÓÌ˚ ÓÚ l(pi, qj).9.2. êÄëëíéüçàü çÄ äéçìëÄïÇ˚ÔÛÍÎ˚Ï ÍÓÌÛÒÓÏ ë ‚ ‰ÂÈÒÚ‚ËÚÂθÌÓÏ ‚ÂÍÚÓÌÓÏ ÔÓÒÚ‡ÌÒÚ‚Â V ̇Á˚‚‡ÂÚÒflÔÓ‰ÏÌÓÊÂÒÚ‚Ó ë ÏÌÓÊÂÒÚ‚‡ V, Ú‡ÍÓ ˜ÚÓ C + C ⊂ C, λC ⊂ C ‰Îfl β·Ó„Ó λ ≥ 0 ËC ∩ (–C) = {0}. äÓÌÛÒ ë ÔÓÓʉ‡ÂÚ ˜‡ÒÚ˘Ì˚È ÔÓfl‰ÓÍ Ì‡ V ÔÓ Á‡ÍÓÌÛxp− y ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ y – x ∈ C.èÓfl‰ÓÍ p− ÔÓ‰˜ËÌflÂÚÒfl ‚ÂÍÚÓÌÓÈ ÒÚÛÍÚÛ V, Ú.Â., ÂÒÎË x p−y Ë z p− u, ÚÓpppx + z − y + u, Ë ÂÒÎË x − y, ÚÓ λx − λy, λ ∈ , λ ≥ 0.
ùÎÂÏÂÌÚ˚ x, y ∈ V ̇Á˚‚‡˛ÚÒflÒ‡‚ÌËÚÂθÌ˚ÏË, ÚÓ Ó·ÓÁ̇˜‡ÂÚÒfl Í‡Í x ~ y, ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú ÔÓÎÓÊËÚÂθÌ˚‰ÂÈÒÚ‚ËÚÂθÌ˚ ˜ËÒ· α Ë β, Ú‡ÍË ˜ÚÓ αy p−xp− βy. 뇂ÌËÏÓÒÚ¸ fl‚ÎflÂÚÒfl ÓÚÌÓ¯ÂÌËÂÏ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË:  Í·ÒÒ˚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË (ÔË̇‰ÎÂʇ˘Ë ë ËÎË –ë)̇Á˚‚‡˛ÚÒfl ˜‡ÒÚflÏË (ËÎË ÍÓÏÔÓÌÂÌÚ‡ÏË, ÒÓÒÚ‡‚Ì˚ÏË ˜‡ÒÚflÏË).ÑÎfl ‚˚ÔÛÍÎÓ„Ó ÍÓÌÛÒ‡ ë ÔÓ‰ÏÌÓÊÂÒÚ‚Ó S = {x ∈ C: T(x) = 1}, „‰Â T: V → ÂÒÚ¸ÌÂÍÓÚÓ˚È ÔÓÎÓÊËÚÂθÌ˚È ÎËÌÂÈÌ˚È ÙÛÌ͈ËÓ̇Î, ̇Á˚‚‡ÂÚÒfl ÔÓÔ˜Ì˚ÏÒ˜ÂÌËÂÏ ÍÓÌÛÒ‡ ë.Ç˚ÔÛÍÎ˚È ÍÓÌÛÒ ë ̇Á˚‚‡ÂÚÒfl ÔÓ˜ÚË ‡ıËωӂ˚Ï, ÂÒÎË Á‡Ï˚͇ÌËÂ Â„Ó ÒÛÊÂÌËfl ̇ β·Ó ‰‚ÛÏÂÌÓ ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚Ó Ú‡ÍÊ fl‚ÎflÂÚÒfl ÍÓÌÛÒÓÏ.íÓÏÒÓÌÓ‚Ò͇fl ÏÂÚË͇ ˜‡ÒÚÂÈèÛÒÚ¸ ë – ‚˚ÔÛÍÎ˚È ÍÓÌÛÒ ‚ ‰ÂÈÒÚ‚ËÚÂθÌÓÏ ‚ÂÍÚÓÌÓÏ ÔÓÒÚ‡ÌÒÚ‚Â V.
íÓÏÒÓÌÓ‚Ò͇fl ÏÂÚË͇ ˜‡ÒÚÂÈ Ì‡ ˜‡ÒÚË K ⊂ C\{0} Á‡‰‡ÂÚÒfl ͇Íln max{m(x, y), m(y, x)}‰Îfl β·˚ı x, y ∈ K, „‰Â m(x, y) = inf{λ ∈ : y p− λx}.ÖÒÎË ÍÓÌÛÒ ë ÔÓ˜ÚË ‡ıËωӂ, ÚÓ ˜‡ÒÚ¸ ä, Ò̇·ÊÂÌ̇fl ÚÓÏÒÓÌÓ‚ÒÍÓÈ ÏÂÚËÍÓȘ‡ÒÚÂÈ, fl‚ÎflÂÚÒfl ÔÓÎÌ˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ. ÖÒÎË ÍÓÌÛÒ ë ÍÓ̘ÌÓÏÂÂÌ,ÚÓ Ï˚ ÔÓÎÛ˜‡ÂÏ ıÓ‰Ó‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó, Ú.Â. ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó, ‚ ÍÓÚÓÓÏ ËÏÂÂÚÒfl ‚˚‰ÂÎÂÌÌÓ ÏÌÓÊÂÒÚ‚Ó „ÂÓ‰ÂÁ˘ÂÒÍËı, Û‰Ó‚ÎÂÚ‚Ófl˛˘Ëı ÓÔ‰ÂÎÂÌÌ˚Ï ‡ÍÒËÓχÏ. èÓÎÓÊËÚÂθÌ˚È ÍÓÌÛÒ n+ = {( x1 , …, x n ) : xi ≥ 0 ‰Îfl 1 ≤ i < n,Ò̇·ÊÂÌÌ˚È íÓÏÒÓÌÓ‚ÓÒÍÓÈ ÏÂÚËÍÓÈ ˜‡ÒÚÂÈ, ËÁÓÏÂÚ˘ÂÌ ÌÓÏËÓ‚‡ÌÌÓÏÛ ÔÓÒÚ‡ÌÒÚ‚Û, ÍÓÚÓÓ ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú¸ Í‡Í ÔÎÓÒÍÓÂ.ÖÒÎË ‚ÁflÚ¸ Á‡ÏÍÌÛÚ˚È ÍÓÌÛÒ ë ‚ n Ò ÌÂÔÛÒÚÓÈ ‚ÌÛÚÂÌÌÓÒÚ¸˛, ÚÓ ‚ÌÛÚÂÌÌÓÒÚ¸ÍÓÌÛÒ‡ intC ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú¸ Í‡Í n-ÏÂÌÓ ÏÌÓ„ÓÓ·‡ÁË Mn .
ÖÒÎË ‰Îfl β·Ó„Ó Í‡Ò‡ÚÂθÌÓ„Ó ‚ÂÍÚÓ‡ v ∈ Tp(M n ), p ∈ M n Á‡‰‡Ì‡ ÌÓχ || v ||Tp = inf{α > 0 :n− αp p−vp− αp}, ÚÓ ‰ÎËÌa β·ÓÈ ÍÛÒÓ˜ÌÓ ‰ËÙÙÂÂ̈ËÛÂÏÓÈ ÍË‚ÓÈ γ: [0, 1] → M1ÏÓÊÂÚ ·˚Ú¸ Á‡ÔËÒ‡ÌÓ Í‡Í l( γ ) =∫0|| γ ′(t ) ||Tγ ( t ) dt, a ‡ÒÒÚÓflÌË ÏÂÊ‰Û ı Ë Û ·Û‰ÂÚ‡‚ÌÓ infγl(γ), „‰Â ËÌÙËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ Ú‡ÍËÏ ÍË‚˚Ï γ Ò γ(0) = ı Ë γ(1) = Û.É·‚‡ 9. ê‡ÒÒÚÓflÌËfl ̇ ‚˚ÔÛÍÎ˚ı Ú·ı, ÍÓÌÛÒ‡ı Ë ÒËÏÔÎˈˇθÌ˚ı ÍÓÏÔÎÂÍÒ‡ı163ÉËθ·ÂÚÓ‚‡ ÔÓÂÍÚ˂̇fl ÔÓÎÛÏÂÚË͇ÑÎfl ‚˚ÔÛÍÎÓ„Ó ÍÓÌÛÒ‡ ë ‚ ‰ÂÈÒÚ‚ËÚÂθÌÓÏ ‚ÂÍÚÓÌÓÏ ÔÓÒÚ‡ÌÒÚ‚Â V „Ëθ·ÂÚÓ‚‡ ÔÓÂÍÚ˂̇fl ÔÓÎÛÏÂÚË͇ ÂÒÚ¸ ÔÓÎÛÏÂÚË͇ ̇ C\{0}, Á‡‰‡‚‡Âχfl ͇Íln(m(x, y) ⋅ m(y, x))‰Îfl β·˚ı x, y ∈ C\{0}, „‰Â m( x, y) = inf{λ ∈ : y p− λx}.
. é̇ ‡‚̇ 0 ÚÓ„‰‡ Ë ÚÓθÍÓÚÓ„‰‡, ÍÓ„‰‡ x = λy ‰Îfl ÌÂÍÓÚÓ˚ı λ > 0, Ë ÒÚ‡ÌÓ‚ËÚÒfl ÏÂÚËÍÓÈ Ì‡ ÔÓÒÚ‡ÌÒÚ‚ÂÎÛ˜ÂÈ ÍÓÌÛÒ‡.ÖÒÎË ÍÓÌÛÒ ë ÍÓ̘ÌÓÏÂÂÌ, ‡ S fl‚ÎflÂÚÒfl ÔÓÔ˜Ì˚Ï Ò˜ÂÌËÂÏ ë (‚ ˜‡ÒÚÌÓÒÚË,S = {x ∈ C: ||x|| = 1}, „‰Â ||⋅|| – ÌÓχ ̇ V), ÚÓ ‰Îfl β·˚ı ‡Á΢Ì˚ı ÚÓ˜ÂÍ x, y ∈ S‡ÒÒÚÓflÌË ÏÂÊ‰Û ÌËÏË ‡‚ÌÓ |ln(x, y, z, t)|, „‰Â z, t – ÚÓ˜ÍË ÔÂÂÒ˜ÂÌËfl ÎËÌËË lx,y Ò„‡ÌˈÂÈ S Ë (x, y, z, t) – ‡Ì„‡ÏÓÌ˘ÂÒÍÓ ÓÚÌÓ¯ÂÌË ÚÓ˜ÂÍ x, y, z, t.ÖÒÎË ÍÓÌÛÒ ë ÔÓ˜ÚË ‡ıËωӂ Ë ÍÓ̘ÌÓÏÂÂÌ, ÚÓ Í‡Ê‰‡fl ˜‡ÒÚ¸ ÍÓÌÛÒ‡ ëfl‚ÎflÂÚÒfl ıÓ‰Ó‚˚Ï ÔÓÒÚ‡ÌÒÚ‚ÓÏ ÓÚÌÓÒËÚÂθÌÓ „Ëθ·ÂÚÓ‚ÓÈ ÔÓÂÍÚË‚ÌÓÈÏÂÚËÍË. äÓÌÛÒ ãÓÂ̈‡ {(t, x1 , …, x n ) ∈ n +1 : t 2 > x12 + ...
+ x n2}, Ò̇·ÊÂÌÌ˚È „Ëθ·ÂÚÓ‚ÓÈ ÔÓÂÍÚË‚ÌÓÈ ÏÂÚËÍÓÈ, ËÁÓÏÂÚ˘ÂÌ n-ÏÂÌÓÏÛ „ËÔ·Ó΢ÂÒÍÓÏÛ ÔÓÒÚ‡ÌÒÚ‚Û. èÓÎÓÊËÚÂθÌ˚È ÍÓÌÛÒ n+ = {( x1 , … x n ) : xi ≥ 0 ‰Îfl 1 ≤ i ≤ n, Ò̇·ÊÂÌÌ˚È „Ëθ·ÂÚÓ‚ÓÈ ÔÓÂÍÚË‚ÌÓÈ ÏÂÚËÍÓÈ, ËÁÓÏÂÚ˘ÂÌ ÌÓÏËÓ‚‡ÌÌÓÏÛ ÔÓÒÚ‡ÌÒÚ‚Û, ÍÓÚÓÓ ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú¸ Í‡Í ÔÎÓÒÍÓÂ.ÖÒÎË ‚ÁflÚ¸ Á‡ÏÍÌÛÚ˚È ÍÓÌÛÒ ë ‚ n Ò ÌÂÔÛÒÚÓÈ ‚ÌÛÚÂÌÌÓÒÚ¸˛, ÚÓ ‚ÌÛÚÂÌÌÓÒÚ¸ÍÓÌÛÒ‡ intC ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú¸ Í‡Í n-ÏÂÌÓ ÏÌÓ„ÓÓ·‡ÁË Mn .
ÖÒÎË ‰Îfl β·Ó„Ó͇҇ÚÂθÌÓ„Ó ‚ÂÍÚÓ‡ v ∈ T p (M n ) Á‡‰‡Ì‡ ÔÓÎÛÌÓχ || v || Hp = m( p, v) − m( v, p), ÚÓ‰ÎËÌa β·ÓÈ ÍÛÒÓ˜ÌÓ ‰ËÙÙÂÂ̈ËÛÂÏÓÈ ÍË‚ÓÈ γ : [0, 1] → M n ‡‚̇1l( γ ) =∫|| γ ′(t ) ||γH( t ) dt, a ‡ÒÒÚÓflÌË ÏÂÊ‰Û ı Ë Û ‡‚ÌÓ infγl(γ), „‰Â ËÌÙËÏÛÏ ·ÂÂÚÒfl0ÔÓ ‚ÒÂÏ Ú‡ÍËÏ ÍË‚˚Ï γ Ò γ(0) = ı Ë γ(1) = Û.åÂÚË͇ ÅÛ¯ÂÎflÇÓÁ¸ÏÂÏ ‚˚ÔÛÍÎ˚È ÍÓÌÛÒ ë ‚ ‰ÂÈÒÚ‚ËÚÂθÌÓÏ ‚ÂÍÚÓÌÓÏ ÔÓÒÚ‡ÌÒÚ‚Â V. åÂÚn| xi | = 1 (‚ Ó·˘ÂÏ ÒÎÛ˜‡Â ̇ β·ÓÏË͇ ÅÛ¯ÂÎfl ̇ ÏÌÓÊÂÒÚ‚Â S = x ∈ C :i =1ÔÓÔ˜ÌÓÏ Ò˜ÂÌËË ÍÓÌÛÒ‡ ë) Á‡‰‡ÂÚÒfl ͇Í∑1 − m( x, y) ⋅ m( y, x )1 + m( x, y) ⋅ m( y, x )‰Îfl β·˚ı x, y ∈ S , „‰Â m( x, y) = inf{λ ∈ : y p− λx}.
àÏÂÌÌÓ, Ó̇ ‡‚̇1tg h h( x, y) , „‰Â h – „Ëθ·ÂÚÓ‚‡ ÔÓÂÍÚ˂̇fl ÔÓÎÛÏÂÚË͇.2k-ÓËÂÌÚËÓ‚‡ÌÌÓ ‡ÒÒÚÓflÌËÂëËÏÔÎˈˇθÌ˚È ÍÓÌÛÒ ë ‚ n ÓÔ‰ÂÎflÂÚÒfl Í‡Í ÔÂÂÒ˜ÂÌË n (ÓÚÍ˚Ú˚ı ËÎËÁ‡ÏÍÌÛÚ˚ı) ÔÓÎÛÔÓÒÚ‡ÌÒÚ‚, ͇ʉ‡fl ËÁ ÓÔÓÌ˚ı ÔÎÓÒÍÓÒÚÂÈ ÍÓÚÓ˚ı ÔÓıÓ‰ËÚ˜ÂÂÁ ̇˜‡ÎÓ ÍÓÓ‰Ë̇Ú. ÑÎfl β·Ó„Ó ÏÌÓÊÂÒÚ‚‡ ï, ÒÓÒÚÓfl˘Â„Ó ËÁ n ÚÓ˜ÂÍ Ì‡Â‰ËÌ˘ÌÓÈ ÒÙÂÂ, ÒÛ˘ÂÒÚ‚ÛÂÚ Â‰ËÌÒÚ‚ÂÌÌ˚È ÒËÏÔÎˈˇθÌ˚È ÍÓÌÛÒ ë, ÒÓ‰Âʇ˘ËȂҠ˝ÚË ÚÓ˜ÍË.