Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008).pdf), страница 9
Описание файла
PDF-файл из архива "Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008).pdf", который расположен в категории "". Всё это находится в предмете "(ммо) методы машинного обучения" из 10 семестр (2 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 9 страницы из PDF
å‡ÚÂχÚË͇ ‡ÒÒÚÓflÌËÈÅË-ÎËÔ¯ËˆÂ‚Ó ÓÚÓ·‡ÊÂÌË ÂÒÚ¸ ‡‚ÌÓÏÂÌÓ ÏÂÚ˘ÂÒÍÓ ÓÚÓ·‡ÊÂÌË ÒÎËÌÂÈÌ˚ÏË ÙÛÌ͈ËflÏË g1 Ë g2.åÂÚ˘ÂÒÍÓ ˜ËÒÎÓ ê‡ÏÒÂflÑÎfl ‰‡ÌÌÓ„Ó Í·ÒÒ‡ ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚ (Ó·˚˜ÌÓ lp -ÔÓÒÚ‡ÌÒÚ‚),‰‡ÌÌÓ„Ó ˆÂÎÓ„Ó ˜ËÒ· n ≥ 1 Ë ‰‡ÌÌÓ„Ó ‰ÂÈÒÚ‚ËÚÂθÌÓ„Ó ˜ËÒ· Ò ≥ 1 ÏÂÚ˘ÂÒÍÓ˜ËÒÎÓ ê‡ÏÒÂfl (ËÎË Ò-ÏÂÚ˘ÂÒÍÓ ˜ËÒÎÓ ê‡ÏÒÂfl) RM(c, n) fl‚ÎflÂÚÒfl ̇˷Óθ¯ËψÂÎ˚Ï ˜ËÒÎÓÏ m , Ú‡ÍËÏ ˜ÚÓ ‚ ͇ʉÓÏ n-ÚӘ˜ÌÓÏ ÏÂÚ˘ÂÒÍÓÏ ÔÓÒÚ‡ÌÒÚ‚ÂËÏÂÂÚÒfl ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚Ó ‡ÁÏÂÓÏ m, ÍÓÚÓÓ Ò-‚ÎÓÊËÏÓ ‚ Ó‰ÌÓ ËÁ ÏÂÚ˘ÂÒÍËıÔÓÒÚ‡ÌÒÚ‚ ËÁ (ÒÏ. [BLMN05]).Ò-ËÁÓÏÓÙËÁÏ ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚èÛÒÚ¸ (X, dï) Ë (Y, dY) – ÏÂÚ˘ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡. ãËԯˈ‚‡ ÌÓχ || ⋅ ||Lip ̇ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ËÌ˙ÂÍÚË‚Ì˚ı ÓÚÓ·‡ÊÂÌËÈ f : X → Y ÓÔ‰ÂÎflÂÚÒfl ͇ÍfLip=dY ( f ( x ), f ( y)).d X ( x, y)x , y ∈X , x ≠ ysupÑ‚‡ ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚‡ ï Ë Y ̇Á˚‚‡˛ÚÒfl Ò-ËÁÓÏÓÙÌ˚ÏË, ÂÒÎËÒÛ˘ÂÒÚ‚ÛÂÚ ËÌ˙ÂÍÚË‚ÌÓ ÓÚÓ·‡ÊÂÌË f : X → Y, Ú‡ÍÓ ˜ÚÓ ||f||Lip||f–1|| ≤ c.䂇ÁËËÁÓÏÂÚËflèÛÒÚ¸ (X, dï) Ë (Y, dY) – ÏÂÚ˘ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡.
îÛÌ͈Ëfl f : X → Y ̇Á˚‚‡ÂÚÒflÍ‚‡ÁËËÁÓÏÂÚËÂÈ (ËÎË (ë,Ò)-Í‚‡ÁËËÁÓÏÂÚËÂÈ), ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú ‰ÂÈÒÚ‚ËÚÂθÌ˚˜ËÒ· ë > 0 Ë c ≥ 0, Ú‡ÍË ˜ÚÓC −1d X ( x, y) − c ≤ dY ( f ( x ), f ( y)) ≤ Cd X ( x, y) + c,Ë Y = ∪ BdY ( f ( x ), c), Ú.Â. ‰Îfl ͇ʉÓÈ ÚÓ˜ÍË y ∈ Y ÒÛ˘ÂÒÚ‚ÛÂÚ Ú‡Í‡fl ÚӘ͇ x ∈ X, ˜ÚÓz ∈XdY(y,f(x)) ≤ c.䂇ÁËËÁÓÏÂÚËfl Ò ë = 1 ̇Á˚‚‡ÂÚÒfl „Û·ÓÈ ËÁÓÏÂÚËÂÈ (ËÎË ÔË·ÎËÊÂÌÌÓÈËÁÓÏÂÚËÂÈ).
ëÏ. ê‡Ì„ Í‚‡ÁË‚ÍÎË‰Ó‚Ó„Ó ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡.ÉÛ·Ó ‚ÎÓÊÂÌËÂèÛÒÚ¸ (X, dï) Ë (Y, dY) – ÏÂÚ˘ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡. îÛÌ͈Ëfl f : X → Y ̇Á˚‚‡ÂÚÒfl„Û·˚Ï ‚ÎÓÊÂÌËÂÏ, ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú ÌÂÛ·˚‚‡˛˘Ë ÙÛÌ͈ËË ρ1, ρ 2 : [0, ∞) → [0, ∞),Ú‡ÍË ˜ÚÓ ρ1(dX(x,y) ≤ (dY(f(x), ρ 2 (dX(x,y)) ‰Îfl ‚ÒÂı x, y ∈ X Ë lim ρ, t = +∞.t →∞åÂÚËÍË d1 Ë d 2 ̇ ï ̇Á˚‚‡˛ÚÒfl „Û·Ó ˝Í‚Ë‚‡ÎÂÌÚÌ˚ÏË ÏÂÚË͇ÏË, ÂÒÎËÒÛ˘ÂÒÚ‚Û˛Ú Ú‡ÍË ÌÂÛ·˚‚‡˛˘Ë ÙÛÌ͈ËË f, g: [0, ∞) → [0, ∞ ), ˜ÚÓ d1 ≤ f(d2 ) Ëd2 ≤ g(d1 ).ëÊËχ˛˘Â ÓÚÓ·‡ÊÂÌËÂèÛÒÚ¸ (X, dï) Ë (Y, dY) – ÏÂÚ˘ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡. îÛÌ͈Ëfl f : X → Y ̇Á˚‚‡ÂÚÒflÒÊËχ˛˘ËÏ ÓÚÓ·‡ÊÂÌËÂÏ ( Ë Î ËÒʇÚËÂÏ, ÒÚÓ„Ó ÛÍÓ‡˜Ë‚‡˛˘ËÏÓÚÓ·‡ÊÂÌËÂÏ) ÂÒÎË dY(f(x), f(y)) < dX(x,y) ‰Îfl ‚ÒÂı ‡Á΢Ì˚ı x, y ∈ X.ä‡Ê‰Ó ÒʇÚË ËÁ ÔÓÎÌÓ„Ó ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ ‚ Ò·fl ËÏÂÂÚ Â‰ËÌÒÚ‚ÂÌÌÛ˛ ÌÂÔÓ‰‚ËÊÌÛ˛ ÚÓ˜ÍÛ.çÂÒÚfl„Ë‚‡˛˘Â ÓÚÓ·‡ÊÂÌËÂÑÎfl ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚ (X, dï) Ë (Y, dY) ÙÛÌ͈Ëfl f : X → Y ̇Á˚‚‡ÂÚÒflÌÂÒÚfl„Ë‚‡˛˘ËÏ ÓÚÓ·‡ÊÂÌËÂÏ, ÂÒÎË dY(f(x), f(y)) < dX(x,y) ‰Îfl ‚ÒÂı x, y ∈ X.ä‡Ê‰‡fl ÌÂÒÚfl„Ë‚‡˛˘‡fl ·ËÂ͈Ëfl ËÁ ‚ÔÓÎÌ ӄ‡Ì˘ÂÌÌÓ„Ó ÏÂÚ˘ÂÒÍÓ„ÓÔÓÒÚ‡ÌÒÚ‚‡ ̇ Ò·fl ÂÒÚ¸ ËÁÓÏÂÚËfl.É·‚‡ 1.
鷢ˠÓÔ‰ÂÎÂÌËfl41ìÍÓ‡˜Ë‚‡˛˘Â ÓÚÓ·‡ÊÂÌËÂÑÎfl ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚ (X, dï) Ë (Y, dY) ÙÛÌ͈Ëfl f : X → Y ̇Á˚‚‡ÂÚÒflÛÍÓ‡˜Ë‚‡˛˘ËÏ ÓÚÓ·‡ÊÂÌËÂÏ (ËÎË Ì‡үËfl˛˘ËÏÒfl, ÔÓÎÛÒÊËχ˛˘ËÏÓÚÓ·‡ÊÂÌËÂÏ), ÂÒÎË dY(f(x), f(y)) ≤ dX(x,y) ‰Îfl ‚ÒÂı x, y ∈ X.ã˛·ÓÂ Ò˛˙ÂÍÚË‚ÌÓ ÛÍÓ‡˜Ë‚‡˛˘Â ÓÚÓ·‡ÊÂÌË f : X → Y fl‚ÎflÂÚÒflËÁÓÏÂÚËÂÈ ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ (X, dï) fl‚ÎflÂÚÒfl ÍÓÏÔ‡ÍÚÌ˚Ï ÏÂÚ˘ÂÒÍËÏÔÓÒÚ‡ÌÒÚ‚ÓÏ.èÓ‰ÏÂÚËfl ÂÒÚ¸ ÛÍÓ‡˜Ë‚‡˛˘Â ÓÚÓ·‡ÊÂÌËÂ, Ú‡ÍÓ ˜ÚÓ Ó·‡Á β·Ó„Ó ÏÂÚ˘ÂÒÍÓ„Ó ¯‡‡ fl‚ÎflÂÚÒfl ÏÂÚ˘ÂÒÍËÏ ¯‡ÓÏ ÚÓ„Ó Ê ‡‰ËÛÒ‡.Ñ‚‡ ÔÓ‰ÏÌÓÊÂÒÚ‚‡ Ä Ë Ç ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X,d) ̇Á˚‚‡˛ÚÒfl (ÔÓÉÓÛ˝ÒÛ) ÔÓ‰Ó·Ì˚ÏË, ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú ÛÍÓ‡˜Ë‚‡˛˘Ë ÓÚÓ·‡ÊÂÌËfl f : A → X ,g : b → X Ë Ú‡ÍÓ χÎÓ ε > 0, ˜ÚÓ Í‡Ê‰‡fl ÚӘ͇ Ä Ì‡ıÓ‰ËÚÒfl ‚ ԉ·ı ε ÓÚÌÂÍÓÚÓÓÈ ÚÓ˜ÍË ÏÌÓÊÂÒÚ‚‡ Ç , ͇ʉ‡fl ÚӘ͇ Ç Ì‡ıÓ‰ËÚÒfl ‚ ԉ·ı ε ÓÚÌÂÍÓÚÓÓÈ ÚÓ˜ÍË ÏÌÓÊÂÒÚ‚‡ Ä Ë |d ( x, g(f(x))) – d(y, f(g(y)))| ≤ ε ‰Îfl ‚ÒÂı x ∈ AË y ∈ B.ä‡Ú„ÓËfl ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚ä‡Ú„ÓËfl Ψ ÒÓÒÚÓËÚ ËÁ Í·ÒÒ‡ ObΨ, ˝ÎÂÏÂÌÚ˚ ÍÓÚÓÓ„Ó Ì‡Á˚‚‡˛ÚÒflÓ·˙ÂÍÚ‡ÏË Í‡Ú„ÓËË, Ë Í·ÒÒ‡ åorΨ, ˝ÎÂÏÂÌÚ˚ ÍÓÚÓÓ„Ó Ì‡Á˚‚‡˛ÚÒfl ÏÓÙËÁχÏË Í‡Ú„ÓËË.
ùÚË Í·ÒÒ˚ ‰ÓÎÊÌ˚ Û‰Ó‚ÎÂÚ‚ÓflÚ¸ Ô˜ËÒÎÂÌÌ˚Ï ÌËÊÂÛÒÎÓ‚ËflÏ.1. ä‡Ê‰ÓÈ ÛÔÓfl‰Ó˜ÂÌÌÓÈ Ô‡Â Ó·˙ÂÍÚÓ‚ Ä Ë Ç ÒÓÓÚ‚ÂÚÒÚ‚ÛÂÚ ÏÌÓÊÂÒÚ‚Ó ç(Ä,Ç)ÏÓÙËÁÏÓ‚.2. ä‡Ê‰˚È ÏÓÙËÁÏ ÔË̇‰ÎÂÊËÚ ÚÓθÍÓ Ó‰ÌÓÏÛ ÏÌÓÊÂÒÚ‚Û H (A, B).3. äÓÏÔÓÁˈËfl f ⋅ g ‰‚Ûı ÏÓÙËÁÏÓ‚ f : A → B, g : C → D ÓÔ‰ÂÎÂ̇, ÂÒÎË B = C, ‚˝ÚÓÏ ÒÎÛ˜‡Â Ó̇ ·Û‰ÂÚ ÔË̇‰ÎÂʇڸ H(A, D).4. äÓÏÔÓÁˈËfl ÏÓÙËÁÏÓ‚ ‡ÒÒӈˇÚ˂̇.5. ä‡Ê‰Ó ÏÌÓÊÂÒÚ‚Ó ç(Ä, Ä) ‚Íβ˜‡ÂÚ ‚ ͇˜ÂÒڂ ‰ËÌ˘ÌÓ„Ó ˝ÎÂÏÂÌÚ‡ Ú‡ÍÓÈÏÓÙËÁÏ idA, ˜ÚÓ f ⋅ idA = f Ë idA ⋅ g = g ‰Îfl β·˚ı ÏÓÙËÁÏÓ‚ f : X → Y Ë g : A → Y.ä‡Ú„ÓËfl ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚, Ó·ÓÁ̇˜‡Âχfl Met (ÒÏ. [Isbe64]) – ˝ÚÓ͇Ú„ÓËfl, ‚ ÍÓÚÓÓÈ ÏÂÚ˘ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡ ‚˚ÒÚÛÔ‡˛Ú Í‡Í Ó·˙ÂÍÚ˚, ‡ÛÍÓ‡˜Ë‚‡˛˘Ë ÓÚÓ·‡ÊÂÌËfl – Í‡Í ÏÓÙËÁÏ˚.
Ç ‰‡ÌÌÓÈ Í‡Ú„ÓËË ‰Îfl ͇ʉӄÓÓ·˙ÂÍÚ‡ ÒÛ˘ÂÒÚ‚ÛÂÚ Â‰ËÌÒÚ‚ÂÌ̇fl ËÌ˙ÂÍÚ˂̇fl Ó·ÓÎӘ͇; Ó̇ ÏÓÊÂÚ ·˚Ú¸ÓÚÓʉÂÒÚ‚ÎÂ̇ Ò Â„Ó Ì‡ÚflÌÛÚÓÈ ÎËÌÂÈÌÓÈ Ó·ÓÎÓ˜ÍÓÈ. åÓÌÓÏÓÙËÁχÏË ‚ Metfl‚Îfl˛ÚÒfl ËÌ˙ÂÍÚË‚Ì˚ ÛÍÓ‡˜Ë‚‡˛˘Ë ÓÚÓ·‡ÊÂÌËfl, ‡ ËÁÓÏÓÙËÁχÏË –ËÁÓÏÂÚËË.àÌ˙ÂÍÚË‚ÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚ÓåÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ̇Á˚‚‡ÂÚÒfl ËÌ˙ÂÍÚË‚Ì˚Ï, ÂÒÎË ‰Îfl ͇ʉӄÓËÁÓÏÂÚ˘ÂÒÍÓ„Ó ‚ÎÓÊÂÌËfl f : X → X' ÔÓÒÚ‡ÌÒÚ‚‡ (ï, d) ‚ ‰Û„Ó ÏÂÚ˘ÂÒÍÓÂÔÓÒÚ‡ÌÒÚ‚Ó (ï', d') ÒÛ˘ÂÒÚ‚ÛÂÚ ÛÍÓ‡˜Ë‚‡˛˘Â ÓÚÓ·‡ÊÂÌË f' ËÁ X' ‚ ï Òf ' ⋅ f = idX , Ú.Â.
ï ÂÒÚ¸ ÂÚ‡ÍÚ ï'. ùÍ‚Ë‚‡ÎÂÌÚÌÓ, ï fl‚ÎflÂÚÒfl ‡·ÒÓβÚÌ˚ÏÂÚ‡ÍÚÓÏ, Ú.Â. ÂÚ‡ÍÚÓÏ Í‡Ê‰Ó„Ó ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡, ‚ ÍÓÚÓÓ ÓÌÓ‚ÎÓÊËÏÓ ËÁÓÏÂÚ˘ÂÒÍË. åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) fl‚ÎflÂÚÒfl ËÌ˙ÂÍÚË‚Ì˚ÏÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ „ËÔ‚˚ÔÛÍÎÓ.àÌ˙ÂÍÚ˂̇fl Ó·ÓÎӘ͇èÓÌflÚË ËÌ˙ÂÍÚË‚ÌÓÈ Ó·ÓÎÓ˜ÍË fl‚ÎflÂÚÒfl Ó·Ó·˘ÂÌËÂÏ ÔÓÌflÚËfl ÔÓÔÓÎÌÂÌËfläÓ¯Ë. èÛÒÚ¸ (ï, d) – ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó. éÌÓ ÏÓÊÂÚ ·˚Ú¸ ËÁÓÏÂÚ˘ÂÒÍË‚ÎÓÊËÏÓ ‚ ÌÂÍÓÚÓÓ ËÌ˙ÂÍÚË‚ÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó ( Xˆ , dˆ ); ÂÒÎË ‚ÁflÚ¸42ó‡ÒÚ¸ I.
å‡ÚÂχÚË͇ ‡ÒÒÚÓflÌËÈβ·Ó ڇÍÓ ËÁÓÏÂÚ˘ÂÒÍÓ ‚ÎÓÊÂÌË f : X → Xˆ , ‰Îfl ÌÂ„Ó ÒÛ˘ÂÒÚ‚ÛÂÚ Â‰ËÌÒÚ‚ÂÌÌÓ ̇ËÏÂ̸¯Â ËÌ˙ÂÍÚË‚ÌÓ ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚Ó ( X , d ) ÔÓÒÚ‡ÌÒÚ‚‡ ( Xˆ , dˆ ),ÒÓ‰Âʇ˘Â f (X), ÍÓÚÓÓ ̇Á˚‚‡ÂÚÒfl ËÌ˙ÂÍÚË‚ÌÓÈ Ó·ÓÎÓ˜ÍÓÈ ï . éÌÓ ËÁÓÏÂÚ˘ÂÒÍË ÚÓʉÂÒÚ‚ÂÌÌÓ Ì‡ÚflÌÛÚÓÈ ÎËÌÂÈÌÓÈ Ó·ÓÎӘ͠ÔÓÒÚ‡ÌÒÚ‚‡ (ï, d).åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó ÒÓ‚Ô‡‰‡ÂÚ ÒÓ Ò‚ÓÂÈ ËÌ˙ÂÍÚË‚ÌÓÈ Ó·ÓÎÓ˜ÍÓÈ ÚÓ„‰‡ ËÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ fl‚ÎflÂÚÒfl ËÌ˙ÂÍÚË‚Ì˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.ç‡ÚflÌÛÚÓ ‡Ò¯ËÂÌËÂê‡Ò¯ËÂÌË (ï', d') ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (ï, d) ̇Á˚‚‡ÂÚÒfl ̇ÚflÌÛÚ˚χүËÂÌËÂÏ, ÂÒÎË ‰Îfl ͇ʉÓÈ ÔÓÎÛÏÂÚËÍË d" ̇ X', Û‰Ó‚ÎÂÚ‚Ófl˛˘ÂÈ ÛÒÎÓ‚ËflÏd"(x1, x 2 ) = d(x1, x 2 ) ‰Îfl ‚ÒÂı x 1 , x 2 ∈ X Ë d"(y1, y 2 ) ≤ d'(y1, y 2 ) ‰Îfl ‚ÒÂı y 1 , y 2 ∈ X', ËÏÂÂÏd"(y1, y2) = d'(y1, y2) ‰Îfl ‚ÒÂı y1, y2 ∈ X'.ç‡ÚflÌÛÚ‡fl ÎËÌÂÈ̇fl Ó·ÓÎӘ͇ – ÛÌË‚Â҇θÌÓ ̇ÚflÌÛÚÓ ‡Ò¯ËÂÌË ï,Ú.Â.
Ó̇ ÒÓ‰ÂÊËÚ, Ò ÚÓ˜ÌÓÒÚ¸˛ ‰Ó ͇ÌÓÌ˘ÂÒÍËı ËÁÓÏÂÚËÈ, ͇ʉÓ ̇ÚflÌÛÚÓ‡үËÂÌË ï, ÌÓ Ò‡Ï‡ ÒÓ·ÒÚ‚ÂÌÌÓ„Ó Ì‡ÚflÌÛÚÓ„Ó ‡Ò¯ËÂÌËfl Ì ËÏÂÂÚ.ç‡ÚflÌÛÚ‡fl ÎËÌÂÈ̇fl Ó·ÓÎӘ͇ÇÓÁ¸ÏÂÏ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ÍÓ̘ÌÓ„Ó ‰Ë‡ÏÂÚ‡ Ë ‡ÒÒÏÓÚËÏ ‚ÌÂÏ ÏÌÓÊÂÒÚ‚Ó X = {f : X → }. ç‡ÚflÌÛÚ‡fl ÎËÌÂÈ̇fl Ó·ÓÎӘ͇ T(X,d) ÔÓÒÚ‡ÌÒÚ‚‡(ï, d) ÓÔ‰ÂÎflÂÚÒfl Í‡Í ÏÌÓÊÂÒÚ‚Ó T(X,d) = {f ∈ X : f(x) = = sup ( d ( x, y) − f ( y)) ‰Îfly ∈X‚ÒÂı x ∈ X}, Ò̇·ÊÂÌÌÓ ÏÂÚËÍÓÈ, ÔÓÓʉ‡ÂÏÓÈ Ì‡ T(X,d) ÌÓÏÓÈ f = sup f ( x ).x ∈XåÌÓÊÂÒÚ‚Ó ï ÏÓÊÌÓ ÓÚÓʉÂÒÚ‚ËÚ¸ Ò ÏÌÓÊÂÒÚ‚ÓÏ {hx ∈ T(X, d) : hx(y) = d(y,x)}ËÎË, ˝Í‚Ë‚‡ÎÂÌÚÌÓ, Ò ÏÌÓÊÂÒÚ‚ÓÏ T0(X, D) = {f ∈ T(X, d) : 0 ∈ f(X)}.
àÌ˙ÂÍÚ˂̇flÓ·ÓÎӘ͇ ( X , d ) ÏÌÓÊÂÒÚ‚‡ ï ÏÓÊÂÚ ·˚Ú¸ ËÁÓÏÂÚ˘ÂÒÍË ÓÚÓʉÂÒÚ‚ÎÂ̇ Ò̇ÚflÌÛÚÓÈ ÎËÌÂÈÌÓÈ Ó·ÓÎÓ˜ÍÓÈ T(X,d) ͇ÍX → T ( X , d ), x → hX ∈ T ( X , d ) : hX ( y) = d ( f ( y), x ).ç‡ÔËÏÂ, ÂÒÎË ï = {x 1 , x2}, ÚÓ T (X,d) fl‚ÎflÂÚÒfl ËÌÚ‚‡ÎÓÏ ‰ÎËÌ˚ d(x1, x2).åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó ÒÓ‚Ô‡‰‡ÂÚ ÒÓ Ò‚ÓÂÈ Ì‡ÚflÌÛÚÓÈ ÎËÌÂÈÌÓÈ Ó·ÓÎÓ˜ÍÓÈÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ fl‚ÎflÂÚÒfl ËÌ˙ÂÍÚË‚Ì˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.ç‡ÚflÌÛÚÛ˛ ÎËÌÂÈÌÛ˛ Ó·ÓÎÓ˜ÍÛ ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (ï, d) ÍÓ̘ÌӄӉˇÏÂÚ‡ ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú¸ Í‡Í ÏÌÓ„Ó„‡ÌÌ˚È ÍÓÏÔÎÂÍÒ. ê‡ÁÏÂÌÓÒÚ¸ Ú‡ÍÓ„ÓÍÓÏÔÎÂÍÒ‡ ̇Á˚‚‡ÂÚÒfl ‡ÁÏÂÌÓÒÚ¸˛ ÑÂÒÒ‡ (ËÎË ÍÓÏ·Ë̇ÚÓÌÓÈ ‡ÁÏÂÌÓÒÚ¸˛)ÔÓÒÚ‡ÌÒÚ‚‡ (ï, d).ÑÂÈÒÚ‚ËÚÂθÌÓ ‰Â‚ÓåÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ̇Á˚‚‡ÂÚÒfl (ÔÓ íËÚÒÛ, 1977) ‰ÂÈÒÚ‚ËÚÂθÌ˚ω‚ÓÏ (ËÎË -‰Â‚ÓÏ), ÂÒÎË ‰Îfl β·˚ı x, y ∈ X ÒÛ˘ÂÒÚ‚ÛÂÚ Â‰ËÌÒÚ‚ÂÌ̇fl ‰Û„‡ ÓÚı Í Û Ë ˝Ú‡ ‰Û„‡ – „ÂÓ‰ÂÁ˘ÂÒÍËÈ ÓÚÂÁÓÍ.
ÑÂÈÒÚ‚ËÚÂθÌÓ ‰ÂÂ‚Ó Ú‡ÍÊ ̇Á˚‚‡ÂÚÒflÏÂÚ˘ÂÒÍËÏ ‰Â‚ÓÏ (ÒΉÛÂÚ ÓÚ΢‡Ú¸ ÓÚ ÏÂÚ˘ÂÒÍÓ„Ó ‰Â‚‡ ‚ ‡Ì‡ÎËÁ ‰‡ÌÌ˚ı,ÒÏ. „Î. 17).åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) fl‚ÎflÂÚÒfl ‰ÂÈÒÚ‚ËÚÂθÌ˚Ï ‰Â‚ÓÏ ÚÓ„‰‡ ËÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ fl‚ÎflÂÚÒfl ÔÛÚ¸-Ò‚flÁÌ˚Ï Ë 0-„ËÔ·Ó΢ÂÒÍËÏ ÔÓ ÉÓÏÓ‚Û(Ú.Â. Û‰Ó‚ÎÂÚ‚ÓflÂÚ Ì‡‚ÂÌÒÚ‚Û ˜ÂÚ˚Âı ÚÓ˜ÂÍ).ÑÂÈÒÚ‚ËÚÂθÌ˚ ‰Â‚¸fl ÂÒÚ¸ ‚ ÚÓ˜ÌÓÒÚË ‰Â‚ÓÔÓ‰Ó·Ì˚ ÏÂÚ˘ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡, ÍÓÚÓ˚ fl‚Îfl˛ÚÒfl „ÂÓ‰ÂÁ˘ÂÒÍËÏË.
Ñ‚ÓÔÓ‰Ó·Ì˚ ÏÂÚ˘ÂÒÍË ÔÓÉ·‚‡ 1. 鷢ˠÓÔ‰ÂÎÂÌËfl43ÒÚ‡ÌÒÚ‚‡ ÔÓ ÓÔ‰ÂÎÂÌ˲ fl‚Îfl˛ÚÒfl ÏÂÚ˘ÂÒÍËÏË ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚‡ÏË ‰ÂÈÒÚ‚ËÚÂθÌ˚ı ‰Â‚¸Â‚, ‡ ‰ÂÈÒÚ‚ËÚÂθÌ˚ ‰Â‚¸fl fl‚Îfl˛ÚÒfl ‚ ÚÓ˜ÌÓÒÚË Ë Ì ˙ÂÍÚË‚Ì˚ÏË ÏÂÚ˘ÂÒÍËÏË ÔÓÒÚ‡ÌÒÚ‚‡ÏË ÒÂ‰Ë ‰Â‚ÓÔÓ‰Ó·Ì˚ı ÔÓÒÚ‡ÌÒÚ‚.ÖÒÎË (ï, d) – ÍÓ̘ÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó, ÚÓ Ì‡ÚflÌÛÚ‡fl ÎËÌÂÈ̇flÓ·ÓÎӘ͇ í(ï, d) fl‚ÎflÂÚÒfl ‰ÂÈÒÚ‚ËÚÂθÌ˚Ï ‰Â‚ÓÏ Ë ÏÓÊÂÚ ‡ÒÒχÚË‚‡Ú¸Òfl ͇Í·ÂÌÓ ‚Á‚¯ÂÌÌÓ ÚÂÓÂÚËÍÓ-„‡ÙÓ‚Ó ‰Â‚Ó.åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó ·Û‰ÂÚ ÔÓÎÌ˚Ï ‰ÂÈÒÚ‚ËÚÂθÌ˚Ï ‰Â‚ÓÏ ÚÓ„‰‡ ËÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌÓ „ËÔ‚˚ÔÛÍÎÓ Ë Î˛·˚ ‰‚Â Â„Ó ÚÓ˜ÍË ÒÓ‰ËÌfl˛ÚÒflÏÂÚ˘ÂÒÍËÏ ÓÚÂÁÍÓÏ.èÎÓÒÍÓÒÚ¸ 2 Ò Ô‡ËÊÒÍÓÈ ÏÂÚËÍÓÈ Ë ÏÂÚËÍÓÈ ÎËÙÚ‡ (ÒÏ. „Î. 19) fl‚Îfl˛ÚÒflÔËχÏË -‰Â‚‡.1.3. éÅôàÖ êÄëëíéüçàüÑËÒÍÂÚ̇fl ÏÂÚË͇ÑËÒÍÂÚ̇fl (ËÎË Ú˂ˇθ̇fl) ÏÂÚË͇ d ÂÒÚ¸ ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ï,ÓÔ‰ÂÎflÂχfl Í‡Í d(x, y) = 1 ‰Îfl ‚ÒÂı ‡Á΢Ì˚ı x, y ∈ X (Ë d(x, x) = 0).
åÂÚ˘ÂÒÍÓÂÔÓÒÚ‡ÌÒÚ‚Ó (ï, d) ̇Á˚‚‡ÂÚÒfl ‰ËÒÍÂÚÌ˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ.ÄÌÚˉËÒÍÂÚ̇fl ÔÓÎÛÏÂÚË͇ÄÌÚˉËÒÍÂÚÌÓÈ ÔÓÎÛÏÂÚËÍÓÈ d ̇Á˚‚‡ÂÚÒfl ÔÓÎÛÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ï,ÓÔ‰ÂÎflÂχfl Í‡Í d(x, y) = 0 ‰Îfl ‚ÒÂı x, y ∈ X.ù͂ˉËÒÚ‡ÌÚ̇fl ÏÂÚË͇ÑÎfl ÏÌÓÊÂÒÚ‚‡ ï Ë ÔÓÎÓÊËÚÂθÌÓ„Ó ‰ÂÈÒÚ‚ËÚÂθÌÓ„Ó ˜ËÒ· t ˝Í‚ˉËÒÚ‡ÌÚÌÓÈÏÂÚËÍÓÈ d ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ï, ÓÔ‰ÂÎflÂχfl Í‡Í d(x, y) = t ‰Îfl ‚ÒÂı‡Á΢Ì˚ı x, y ∈ X (Ë d(x, ı) = 0).(1, 2)-Ç-ÏÂÚË͇ÑÎfl ÏÌÓÊÂÒÚ‚‡ ï (1, 2)-Ç-ÏÂÚË͇ d fl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ Ì‡ ï, Ú‡ÍÓÈ ˜ÚÓ ‰Îflβ·Ó„Ó x ∈ X ÍÓ΢ÂÒÚ‚Ó ÚÓ˜ÂÍ y ∈ X Ò d(x, y) = 1 Ì Ô‚˚¯‡ÂÚ Ç, ‡ ‚Ò ‰Û„ˇÒÒÚÓflÌËfl ‡‚Ì˚ 2.
(1, 2)-Ç-ÏÂÚË͇ fl‚ÎflÂÚÒfl ÛÒ˜ÂÌÌÓÈ ÏÂÚËÍÓÈ „‡Ù‡ Ò Ï‡ÍÒËχθÌÓÈ ÒÚÂÔÂ̸˛ ‚¯ËÌ, ‡‚ÌÓÈ Ç.à̉ۈËÓ‚‡Ì̇fl ÏÂÚË͇à̉ۈËÓ‚‡ÌÌÓÈ ÏÂÚËÍÓÈ (ËÎË ÓÚÌÓÒËÚÂθÌÓÈ ÏÂÚËÍÓÈ) ̇Á˚‚‡ÂÚÒfl ÒÛÊÂÌËÂd' ÏÂÚËÍË d (̇ ÏÌÓÊÂÒÚ‚Â ï) ̇ ÔÓ‰ÏÌÓÊÂÒÚ‚Ó ï' ÏÌÓÊÂÒÚ‚‡ ï.åÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X', d') ̇Á˚‚‡ÂÚÒfl ÏÂÚ˘ÂÒÍËÏ ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚ÓÏÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X,d), ‡ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X,d) ̇Á˚‚‡ÂÚÒflÏÂÚ˘ÂÒÍËÏ ‡Ò¯ËÂÌËÂÏ (X', d').ÑÓÏËÌËÛ˛˘‡fl ÏÂÚË͇èÛÒÚ¸ d Ë d1 – ÏÂÚËÍË Ì‡ ÏÌÓÊÂÒÚ‚Â ï. ÉÓ‚ÓËÚÒfl, ˜ÚÓ d1 ‰ÓÏËÌËÛÂÚ Ì‡‰ d, ÂÒÎËd1 (ı, Û) ≥ d(x, y) ‰Îfl ‚ÒÂı x, y ∈ X.ùÍ‚Ë‚‡ÎÂÌÚÌ˚ ÏÂÚËÍËÑ‚Â ÏÂÚËÍË d 1 Ë d2 ̇ ÏÌÓÊÂÒÚ‚Â ï ̇Á˚‚‡˛ÚÒfl ˝Í‚Ë‚‡ÎÂÌÚÌ˚ÏË, ÂÒÎË ÓÌËÓÔ‰ÂÎfl˛Ú Ó‰ÌÛ Ë ÚÛ Ê ÚÓÔÓÎӄ˲ ̇ ï, Ú.Â., ÂÒÎË ‰Îfl ͇ʉÓÈ ÚÓ˜ÍË x0 ∈ XÓÚÍ˚Ú˚È ÏÂÚ˘ÂÒÍËÈ ¯‡ Ò ˆÂÌÚÓÏ ‚ x0, Á‡‰‡ÌÌ˚È ÓÚÌÓÒËÚÂθÌÓ d1 , ÒÓ‰ÂÊËÚÓÚÍ˚Ú˚È ÏÂÚ˘ÂÒÍËÈ ¯‡ Ò ÚÂÏ Ê ˆÂÌÚÓÏ, ÌÓ Á‡‰‡ÌÌ˚È ÓÚÌÓÒËÚÂθÌÓ d2 ,Ë Ì‡Ó·ÓÓÚ.44ó‡ÒÚ¸ I. å‡ÚÂχÚË͇ ‡ÒÒÚÓflÌËÈÑ‚Â ÏÂÚËÍË d1 Ë d2 ·Û‰ÛÚ ˝Í‚Ë‚‡ÎÂÌÚÌ˚ ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ‰Îfl ͇ʉӄÓε > 0 Ë Í‡Ê‰Ó„Ó x ∈ X ÒÛ˘ÂÒÚ‚ÛÂÚ δ > 0, Ú‡ÍÓ ˜ÚÓ ËÁ d1 (x,y) ≤ δ ÒΉÛÂÚ d2 (x,y) ≤ ε Ë̇ӷÓÓÚ, ËÁ d2 (x,y) ≤ δ ÒΉÛÂÚ d1(x,y) ≤ ε.ÇÒ ÏÂÚËÍË Ì‡ ÍÓ̘ÌÓÏ ÏÌÓÊÂÒÚ‚Â fl‚Îfl˛ÚÒfl ˝Í‚Ë‚‡ÎÂÌÚÌ˚ÏË; ÓÌË ÔÓÓʉ‡˛Ú ‰ËÒÍÂÚÌÛ˛ ÚÓÔÓÎӄ˲.èÓÎ̇fl ÏÂÚË͇èÛÒÚ¸ (X,d) – ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó.