Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 10
Текст из файла (страница 10)
ÉÓ‚ÓflÚ, ˜ÚÓ ÔÓÒΉӂ‡ÚÂθÌÓÒÚ¸ {x n }n ,xn ∈ X ÒıÓ‰ËÚÒfl Í x* ∈ X, ÂÒÎË lim d ( x n , x ∗ ) = 0, Ú.Â. ‰Îfl β·Ó„Ó ε > 0 ÒÛ˘ÂÒÚ‚ÛÂÚn →∞n0 ∈ , Ú‡ÍÓ ˜ÚÓ d(xn, x*) < ε ‰Îfl β·Ó„Ó n > n0.èÓÒΉӂ‡ÚÂθÌÓÒÚ¸ {xn}n , x n ∈ X ̇Á˚‚‡ÂÚÒfl ÔÓÒΉӂ‡ÚÂθÌÓÒÚ¸˛ äÓ¯Ë, ÂÒÎËÒÛ˘ÂÒÚ‚ÛÂÚ Ú‡ÍÓ n0 ∈ , ˜ÚÓ d(x n , xm) < ε ‰Îfl β·˚ı m, n > n0 .åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X,d) ̇Á˚‚‡ÂÚÒfl ÔÓÎÌ˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ, ÂÒÎË Í‡Ê‰‡fl Â„Ó ÔÓÒΉӂ‡ÚÂθÌÓÒÚ¸ äÓ¯Ë ÒıÓ‰ËÚÒfl.
Ç ˝ÚÓÏ ÒÎÛ˜‡ÂÏÂÚË͇ d ̇Á˚‚‡ÂÚÒfl ÔÓÎÌÓÈ ÏÂÚËÍÓÈ.èÓÔÓÎÌÂÌË äÓ¯ËÑÎfl ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X , d ) Â„Ó ÔÓÔÓÎÌÂÌËÂÏ äÓ¯Ë Ì‡Á˚‚‡ÂÚÒflÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X* , d* ) ̇ ÏÌÓÊÂÒÚ‚Â X* ‚ÒÂı Í·ÒÒÓ‚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚËÔÓÒΉӂ‡ÚÂθÌÓÒÚÂÈ äÓ¯Ë, „‰Â ÔÓÒΉӂ‡ÚÂθÌÓÒÚ¸ {xn}n ̇Á˚‚‡ÂÚÒfl ˝Í‚Ë‚‡ÎÂÌÚÌÓÈ {yn}n , ÂÒÎË lim d ( x n , yn ) = 0. åÂÚË͇ d* ÓÔ‰ÂÎflÂÚÒfl ͇Ín →∞d ∗ ( x ∗ , y ∗ ) lim d ( x n , yn )n →∞‰Îfl β·˚ı x*, y* ∈ X, „‰Â {x n }n (ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ, {y n }n ) – β·ÓÈ ˝ÎÂÏÂÌÚ ËÁ Í·ÒÒ‡˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË x* (ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ y * ).èÓÔÓÎÌÂÌË äÓ¯Ë (X* , d* ) fl‚ÎflÂÚÒfl ‰ËÌÒÚ‚ÂÌÌ˚Ï Ò ÚÓ˜ÌÓÒÚ¸˛ ‰Ó ËÁÓÏÂÚËËÔÓÎÌ˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ, ‚ ÍÓÚÓÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X,d)‚Í·‰˚‚‡ÂÚÒfl Í‡Í ÔÎÓÚÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚Ó.èÓÔÓÎÌÂÌËÂÏ äÓ¯Ë ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (, |x–y|) ‡ˆËÓ̇θÌ˚ı ˜ËÒÂÎfl‚ÎflÂÚÒfl ˜ËÒÎÓ‚‡fl Ôflχfl (, |x–y|). Ň̇ıÓ‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ÔÓÔÓÎÌÂÌËÂÏäÓ¯Ë ÌÓÏËÓ‚‡ÌÌÓ„Ó ‚ÂÍÚÓÌÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (V , || ⋅ ||) Ò ÏÂÚËÍÓÈ ÌÓÏ˚||x–y||.
ÉËθ·ÂÚÓ‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó ÒÓÓÚ‚ÂÚÒÚ‚ÛÂÚ ÒÎÛ˜‡˛ ÌÓÏ˚ Ò͇ÎflÌÓ„ÓÔÓËÁ‚‰ÂÌËfl x = ( x, x ).鄇Ì˘ÂÌ̇fl ÏÂÚË͇åÂÚË͇ (‚ Ó·˘ÂÏ ÒÎÛ˜‡Â – ‡ÒÒÚÓflÌËÂ) d ̇ ÏÌÓÊÂÒÚ‚Â ï ̇Á˚‚‡ÂÚÒflÓ„‡Ì˘ÂÌÌÓÈ, ÂÒÎË ÒÛ˘ÂÒÚ‚ÛÂÚ ÍÓÌÒÚ‡ÌÚ‡ ë > 0, ڇ͇fl ˜ÚÓ d(x,y) ≤ C ‰Îfl β·˚ı x,y ∈ X.í‡Í, ̇ÔËÏÂ, ÂÒÎË d – ÏÂÚË͇ ̇ ï, ÚÓ ÏÂÚË͇ D ̇ ï, ÓÔ‰ÂÎflÂχfl ͇Íd ( x, y)D( x, y) =, Ó„‡Ì˘Â̇ Ë ë = 1.1 + d ( x, y)åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X,d) Ò Ó„‡Ì˘ÂÌÌÓÈ ÏÂÚËÍÓÈ d ̇Á˚‚‡ÂÚÒflÓ„‡Ì˘ÂÌÌ˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.ÇÔÓÎÌ ӄ‡Ì˘ÂÌÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚ÓåÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X,d) ̇Á˚‚‡ÂÚÒfl ‚ÔÓÎÌ ӄ‡Ì˘ÂÌÌ˚Ï, ÂÒÎË ‰ÎflÍ‡Ê‰Ó„Ó ε > 0 ÒÛ˘ÂÒÚ‚ÛÂÚ ÍÓ̘̇fl ε-ÒÂÚ¸, Ú.Â.
ÍÓ̘ÌÓ ÔÓ‰ÏÌÓÊÂÒÚ‚Ó M ⊂ X,45É·‚‡ 1. 鷢ˠÓÔ‰ÂÎÂÌËflÚ‡ÍÓ ˜ÚÓ ‡ÒÒÚÓflÌË ÓÚ ÚÓ˜ÍË ‰Ó ÏÌÓÊÂÒÚ‚‡ ‰Îfl β·Ó„Ó (ÒÏ. ÇÔÓÎÌ ӄ‡Ì˘ÂÌÌÓÂÔÓÒÚ‡ÌÒÚ‚Ó, „Î. 2).ÇÒflÍÓ ‚ÔÓÎÌ ӄ‡Ì˘ÂÌÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl Ó„‡Ì˘ÂÌÌ˚ÏË ÒÂÔ‡‡·ÂθÌ˚Ï.åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ‚ÔÓÎÌ ӄ‡Ì˘ÂÌÌ˚Ï ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡,ÍÓ„‰‡ Â„Ó ÔÓÔÓÎÌÂÌË äÓ¯Ë fl‚ÎflÂÚÒfl ÍÓÏÔ‡ÍÚÌ˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.CÂÔ‡‡·ÂθÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚ÓåÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó Ì‡Á˚‚‡ÂÚÒfl ÒÂÔ‡‡·ÂθÌ˚Ï, ÂÒÎË ÓÌÓ ÒÓ‰ÂÊËÚÒ˜ÂÚÌÓ ÔÎÓÚÌÓ ÔÓ‰ÏÌÓÊÂÒÚ‚Ó, Ú.Â.
ÌÂÍÓ ҘÂÚÌÓ ÔÓ‰ÏÌÓÊÂÒÚ‚Ó, Ò ÔÓÏÓ˘¸˛ÍÓÚÓÓ„Ó ÏÓ„ÛÚ ‡ÔÔÓÍÒËÏËÓ‚‡Ú¸Òfl ‚ÒÂ Â„Ó ˝ÎÂÏÂÌÚ˚.åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ÒÂÔ‡‡·ÂθÌ˚Ï ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ÓÌÓ ‚ÚÓ˘ÌÓ-Ò˜ÂÚÌÓ, Ë ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ fl‚ÎflÂÚÒfl ÔÓÒÚ‡ÌÒÚ‚ÓÏãË̉ÂÎÂÙ‡.åÂÚ˘ÂÒÍËÈ ÍÓÏÔ‡ÍÚåÂÚ˘ÂÒÍËÈ ÍÓÏÔ‡ÍÚ (ËÎË ÍÓÏÔ‡ÍÚÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó) – ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó, ‚ ÍÓÚÓÓÏ ‚Òfl͇fl ÔÓÒΉӂ‡ÚÂθÌÓÒÚ¸ ËÏÂÂÚ ÔÓ‰ÔÓÒΉӂ‡ÚÂθÌÓÒÚ¸ äÓ¯Ë Ë ˝ÚË ÔÓ‰ÔÓÒΉӂ‡ÚÂθÌÓÒÚË fl‚Îfl˛ÚÒfl ÒıÓ‰fl˘ËÏËÒfl.åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ÍÓÏÔ‡ÍÚÌ˚Ï ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ‚ÔÓÎÌ ӄ‡Ì˘ÂÌÌÓÂ Ë ÔÓÎÌÓÂ.
èÓ‰ÏÌÓÊÂÒÚ‚Ó Â‚ÍÎˉӂ‡ ÔÓÒÚ‡ÌÒÚ‚‡ n fl‚ÎflÂÚÒflÍÓÏÔ‡ÍÚÌ˚Ï ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ Ó„‡Ì˘ÂÌÓ Ë Á‡ÏÍÌÛÚÓ.ëÓ·ÒÚ‚ÂÌÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚ÓåÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó Ì‡Á˚‚‡ÂÚÒfl ÒÓ·ÒÚ‚ÂÌÌ˚Ï (ËÎË ÍÓ̘ÌÓ ÍÓÏÔ‡ÍÚÌ˚Ï), ÂÒÎË Î˛·ÓÈ Á‡ÏÍÌÛÚ˚È ÏÂÚ˘ÂÒÍËÈ ¯‡ ‚ ˝ÚÓÏ ÔÓÒÚ‡ÌÒÚ‚Â fl‚ÎflÂÚÒflÍÓÏÔ‡ÍÚÌ˚Ï. ÇÒflÍÓ ÒÓ·ÒÚ‚ÂÌÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ÔÓÎÌ˚Ï.Ò-‡‚ÌÓÏÂÌÓ Òӂ¯ÂÌÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Óä‡Ê‰˚È ÒÓ·ÒÚ‚ÂÌÌ˚È ÏÂÚ˘ÂÒÍËÈ ¯‡ ‡‰ËÛÒ‡ r ‚ ÏÂÚ˘ÂÒÍÓÏ ÔÓÒÚ‡ÌÒÚ‚ÂËÏÂÂÚ ‰Ë‡ÏÂÚ Ì ·ÓΠ2r. åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó Ì‡Á˚‚‡ÂÚÒfl Ò-‡‚ÌÓÏÂÌÓÒӂ¯ÂÌÌ˚Ï, 0 < c ≤ 1, ÂÒÎË ˝ÚÓÚ ‰Ë‡ÏÂÚ ÒÓÒÚ‡‚ÎflÂÚ Ì ÏÂÌ 2Òr.êç ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚ÓåÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó Ì‡Á˚‚‡ÂÚÒfl êç ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ (ËÎËÔÓÒÚ‡ÌÒÚ‚ÓÏ ÄÚÒÛ‰ÊË), ÂÒÎË Î˛·‡fl ÌÂÔÂ˚‚̇fl ÙÛÌ͈Ëfl ËÁ ÌÂ„Ó ‚ ÔÓËÁ‚ÓθÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ‡‚ÌÓÏÂÌÓ ÌÂÔÂ˚‚ÌÓÈ.ä‡Ê‰˚È ÏÂÚ˘ÂÒÍËÈ ÍÓÏÔ‡ÍÚ fl‚ÎflÂÚÒfl êç ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.
ÇÒflÍÓÂêç ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó fl‚ÎflÂÚÒfl ÔÓÎÌ˚Ï.èÓθÒÍÓ ÔÓÒÚ‡ÌÒÚ‚ÓèÓθÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ Ì‡Á˚‚‡ÂÚÒfl ÔÓÎÌÓ ÒÂÔ‡‡·ÂθÌÓ ÏÂÚ˘ÂÒÍÓÂÔÓÒÚ‡ÌÒÚ‚Ó. åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó Ì‡Á˚‚‡ÂÚÒfl ÔÓÒÚ‡ÌÒÚ‚ÓÏ ëÛÒÎË̇, ÂÒÎËÓÌÓ fl‚ÎflÂÚÒfl ÌÂÔÂ˚‚Ì˚Ï Ó·‡ÁÓÏ ÔÓθÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡.åÂÚ˘ÂÒ͇fl ÚÓÈ͇ (ËÎË mm-ÔÓÒÚ‡ÌÒÚ‚Ó) fl‚ÎflÂÚÒfl ÔÓθÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ(X, d) Ò ·ÓÂ΂ÓÈ ‚ÂÓflÚÌÓÒÚÌÓÈ ÏÂÓÈ µ, Ú.Â.
ÌÂÓÚˈ‡ÚÂθÌÓÈ ‰ÂÈÒÚ‚ËÚÂθÌÓÈÙÛÌ͈ËÂÈ µ ̇ ·ÓÂ΂ÓÈ σ-‡Î„· ÏÌÓÊÂÒÚ‚‡ ï ÒÓ ÒÎÂ‰Û˛˘ËÏË Ò‚ÓÈÒÚ‚‡ÏË:µ( An ) ‰Îfl β·ÓÈ ÍÓ̘ÌÓÈ ËÎË Ò˜ÂÚÌÓÈ ÒÓ‚ÓÍÛÔÌÓÒÚ˵(Ø) = 0, µ(X) = µ(∪ n An ) =∑nÔÓÔ‡ÌÓ ÌÂÔÂÂÒÂ͇˛˘ËıÒfl ÏÌÓÊÂÒÚ‚ A n ∈ .èÛÒÚ¸ (X, τ) – ÚÓÔÓÎӄ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó. σ-‡Î„·ÓÈ Ì‡ ï ̇Á˚‚‡ÂÚÒflÒÓ‚ÓÍÛÔÌÓÒÚ¸ ÔÓ‰ÏÌÓÊÂÒÚ‚ ÏÌÓÊÂÒÚ‚‡ ï, ӷ·‰‡˛˘‡fl ÒÎÂ‰Û˛˘ËÏË Ò‚ÓÈÒÚ‚‡ÏË:46ó‡ÒÚ¸ I. å‡ÚÂχÚË͇ ‡ÒÒÚÓflÌËÈ0≥÷ ∈ @, X\U ∈ ‰Îfl U ∈ Ë ∪ n An ∈ ‰Îfl ÍÓ̘ÌÓÈ ËÎË Ò˜ÂÚÌÓÈ ÒÓ‚ÓÍÛÔÌÓÒÚË{An }n , An ∈ .
σ-‡Î„·‡ ̇ ï, ÍÓÚÓ‡fl ÒÓÓÚÌÓÒËÚÒfl Ò ÚÓÔÓÎÓ„ËÂÈ Ì‡ ï, Ú.Â. ‚Íβ˜‡ÂÚ ‚Ò ÓÚÍ˚Ú˚Â Ë Á‡ÏÍÌÛÚ˚ ÔÓ‰ÏÌÓÊÂÒÚ‚‡ ÏÌÓÊÂÒÚ‚‡ ï, ̇Á˚‚‡ÂÚÒfl ·ÓÂ΂ÓÈσ-‡Î„·ÓÈ ÏÌÓÊÂÒÚ‚‡ ï . ã˛·Ó ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó ÂÒÚ¸ ·ÓÂ΂ÓÔÓÒÚ‡ÌÒÚ‚Ó, Ú.Â. ÏÌÓÊÂÒÚ‚Ó, Ò̇·ÊÂÌÌÓ ·ÓÂ΂ÓÈ σ-‡Î„·ÓÈ.åÂÚË͇ ÌÓÏ˚ÑÎfl ‰‡ÌÌÓ„Ó ÌÓÏËÓ‚‡ÌÌÓ„Ó ‚ÂÍÚÓÌÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (V, ||⋅ ||) ÏÂÚË͇ÌÓÏ˚ ̇ V ÓÔ‰ÂÎflÂÚÒfl ͇Í|| x–y ||åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (V, || x–y ||) ̇Á˚‚‡ÂÚÒfl ·‡Ì‡ıÓ‚˚Ï ÔÓÒÚ‡ÌÒÚ‚ÓÏ,ÂÒÎË ÓÌÓ ÔÓÎÌÓÂ.
èËχÏË ÏÂÚËÍ ÌÓÏ˚ fl‚Îfl˛ÚÒfl lp - Ë Lp -ÏÂÚËÍË, ‚ ˜‡ÒÚÌÓÒÚË‚ÍÎˉӂ‡ ÏÂÚË͇.åÂÚË͇ ÔÛÚËÇÓÁ¸ÏÂÏ Ò‚flÁÌÓÈ „‡Ù G = (V,E). Ö„Ó ÏÂÚËÍÓÈ ÔÛÚË dpath ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇V, ÓÔ‰ÂÎflÂχfl Í‡Í ‰ÎË̇ (Ú.Â. ÍÓ΢ÂÒÚ‚Ó Â·Â) ͇ژ‡È¯Â„Ó ÔÛÚË,ÒÓ‰ËÌfl˛˘Â„Ó ‰‚ ‰‡ÌÌ˚ ‚¯ËÌ˚ ı Ë Û „‡Ù‡ G (ÒÏ. „Î. 15).åÂÚË͇ ‰‡ÍÚËÓ‚‡ÌËflÇÓÁ¸ÏÂÏ ÍÓ̘ÌÓ ÏÌÓÊÂÒÚ‚Ó ï Ë ÍÓ̘ÌÓ ÏÌÓÊÂÒÚ‚Ó (Û̇Ì˚ı) ÓÔ‡ˆËȉ‡ÍÚËÓ‚‡ÌËfl ̇ ï. åÂÚËÍÓÈ Â‰‡ÍÚËÓ‚‡ÌËfl ̇ ï ·Û‰ÂÚ ÏÂÚË͇ ÔÛÚË „‡Ù‡Ò ÏÌÓÊÂÒÚ‚ÓÏ ‚¯ËÌ ï Ë Â·ÓÏ ıÛ, ÂÒÎË Û ÏÓÊÂÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌÓ ËÁ ıÔÓÒ‰ÒÚ‚ÓÏ Ó‰ÌÓÈ ËÁ ÓÔ‡ˆËÈ ‚ .åÂÚË͇ „‡ÎÂÂËä‡ÏÂ̇fl ÒËÒÚÂχ – ÏÌÓÊÂÒÚ‚Ó ï (˝ÎÂÏÂÌÚ˚ ÍÓÚÓÓ„Ó Ì‡Á˚‚‡˛ÚÒfl ͇χÏË),Ò̇·ÊÂÌÌÓ n ÓÚÌÓ¯ÂÌËflÏË ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ~i, 1 ≤ i ≤ n.
ɇÎÂÂfl – ڇ͇fl ÔÓÒΉӂ‡ÚÂθÌÓÒÚ¸ ͇Ï ı1 ,…, ım, ˜ÚÓ ıi ~j x i+1 ‰Îfl Í‡Ê‰Ó„Ó i Ë ÌÂÍÓÚÓÓ„Ó j, Á‡‚ËÒfl˘Â„ÓÓÚ i. åÂÚË͇ „‡ÎÂÂË ÂÒÚ¸ ‡Ò¯ËÂÌ̇fl ÏÂÚË͇ ̇ ï, ÓÔ‰ÂÎflÂχfl Í‡Í ‰ÎË͇̇ژ‡È¯ÂÈ „‡ÎÂÂË, ÒÓ‰ËÌfl˛˘ÂÈ ı Ë y ∈ X (Ë Í‡Í ∞, ÂÒÎË ÒÓ‰ËÌfl˛˘ÂÈ x Ë y„‡ÎÂÂË Ì ÒÛ˘ÂÒÚ‚ÛÂÚ). åÂÚË͇ „‡ÎÂÂË fl‚ÎflÂÚÒfl (‡Ò¯ËÂÌÌÓÈ) ÏÂÚËÍÓÈ ÔÛÚË„‡Ù‡ Ò ÏÌÓÊÂÒÚ‚ÓÏ ‚¯ËÌ ï Ë Â·ÓÏ ıÛ, ÂÒÎË ı ~i y ‰Îfl ÌÂÍÓÚÓÓ„Ó 1 ≤ i ≤ n.êËχÌÓ‚‡ ÏÂÚË͇ÇÓÁ¸ÏÂÏ Ò‚flÁÌÓ n-ÏÂÌÓ „·‰ÍÓ ÏÌÓ„ÓÓ·‡ÁË Mn . Ö„Ó ËχÌÓ‚ÓÈ ÏÂÚËÍÓÈ̇Á˚‚‡ÂÚÒfl ÒÓ‚ÓÍÛÔÌÓÒÚ¸ ÔÓÎÓÊËÚÂθÌÓ ÓÔ‰ÂÎÂÌÌ˚ı ÒËÏÏÂÚ˘Ì˚ı ·ËÎËÌÂÈÌ˚ıÙÓÏ ((gij)) ̇ ͇҇ÚÂθÌ˚ı ÔÓÒÚ‡ÌÒÚ‚‡ı ÏÌÓ„ÓÓ·‡ÁËfl Mn , ÍÓÚÓ˚ „·‰ÍÓËÁÏÂÌfl˛ÚÒfl ÓÚ ÚÓ˜ÍË Í ÚÓ˜ÍÂ. ÑÎË̇ ÍË‚ÓÈ γ ̇ Mn ‚˚‡Ê‡ÂÚÒfl ͇Í∫γ ∑i, j gij dxi dx j ,‡ ‚ÌÛÚÂÌÌflfl ÏÂÚË͇ ̇ Mn , ̇Á˚‚‡Âχfl ËÌÓ„‰‡ ËχÌÓ‚˚χÒÒÚÓflÌËÂÏ, ÓÔ‰ÂÎflÂÚÒfl Í‡Í ËÌÙËÏÛÏ ‰ÎËÌ ÍË‚˚ı, ÒÓ‰ËÌfl˛˘Ëı β·˚ ‰‚ÂÚÓ˜ÍË x, y ∈ Mn (ÒÏ. „Î. 7).èÓÂÍÚ˂̇fl ÏÂÚË͇èÓÂÍÚË‚ÌÓÈ ÏÂÚËÍÓÈ d ̇Á˚‚‡ÂÚÒfl ÌÂÔÂ˚‚̇fl ÏÂÚË͇ ̇ n, Û‰Ó‚ÎÂÚ‚Ófl˛˘‡fl ÛÒÎӂ˲d(x, z) = d(x, y) + d(y, z)‰Îfl β·˚ı ÍÓÎÎË̇Ì˚ı ÚÓ˜ÂÍ x, y, z, ‡ÒÔÓÎÓÊÂÌÌ˚ı ‚ ˝ÚÓÈ ÔÓÒΉӂ‡ÚÂθÌÓÒÚË̇ Ó·˘ÂÈ ÔflÏÓÈ.
óÂÚ‚ÂÚ‡fl ÔÓ·ÎÂχ ÉËθ·ÂÚ‡ (1900 „.) ÒÓÒÚÓËÚ ‚ Í·Ò-47É·‚‡ 1. 鷢ˠÓÔ‰ÂÎÂÌËflÒËÙË͇ˆËË Ú‡ÍËı ÏÂÚËÍ; ˝ÚÓ Ò‰Â·ÌÓ ÚÓθÍÓ ‰Îfl ‡ÁÏÂÌÓÒÚË n = 2 ([Amba76]);ÒÏ. „Î. 6.ä‡Ê‰‡fl ÏÂÚË͇ ÌÓÏ˚ ̇ n fl‚ÎflÂÚÒfl ÔÓÂÍÚË‚ÌÓÈ. ä‡Ê‰‡fl ÔÓÂÍÚ˂̇flÏÂÚË͇ ̇ 2 fl‚ÎflÂÚÒfl „ËÔÂÏÂÚËÍÓÈ.åÂÚË͇ ÔÓËÁ‚‰ÂÌËflÇÓÁ¸ÏÂÏ n ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚ (X1 , d2 ), (X2 , d 2 ),…, (Xn , dn ). åÂÚËÍÓÈÔÓËÁ‚‰ÂÌËfl ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ‰Â͇ÚÓ‚ÓÏ ÔÓËÁ‚‰ÂÌËË X1 × X2 × …× Xn == {x = (x 1 , x2,…, xn): x1 ∈ Xn } ÓÔ‰ÂÎflÂχfl Í‡Í ÙÛÌ͈Ëfl ÓÚ d1 ,…,dn (ÒÏ.
„Î. 4).ï˝ÏÏË̄ӂ‡ ÏÂÚË͇ï˝ÏÏË̄ӂÓÈ ÏÂÚËÍÓÈ dH ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ n , Á‡‰‡‚‡Âχfl ͇Í|{i : 1 ≤ i ≤ n, xi ≠ yi}|ç‡ ·Ë̇Ì˚ı ‚ÂÍÚÓ‡ı x, y ∈ {0,1}n ı˝ÏÏËÌ„Ó‚Ó ‡ÒÒÚÓflÌËÂ Ë l1 -ÏÂÚË͇ÒÓ‚Ô‡‰‡˛Ú.åÂÚË͇ ãËèÛÒÚ¸ m, n , m ≥ 2. åÂÚËÍÓÈ ãË d L e e ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ nm == {0, 1, …, m − 1}n , ÓÔ‰ÂÎflÂχfl ͇Í∑min{| xi − yi |, m − | xi − yi |},1≤ i ≤ nåÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (∑ m , d Lee ) fl‚ÎflÂÚÒfl ‰ËÒÍÂÚÌ˚Ï ‡Ì‡ÎÓ„ÓÏ ˝ÎÎËÔnÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡.åÂÚË͇ ÒËÏÏÂÚ˘ÂÒÍÓÈ ‡ÁÌÓÒÚËèÛÒÚ¸ Á‡‰‡ÌÓ ÔÓÒÚ‡ÌÒÚ‚Ó Ò ÏÂÓÈ (Ω , , µ).