Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 11
Текст из файла (страница 11)
èÓÎÛÏÂÚËÍÓÈ ÒËÏÏÂÚ˘ÂÒÍÓÈ ‡ÁÌÓÒÚË (ËÎË ÔÓÎÛÏÂÚËÍÓÈ ÏÂ˚) d∆ ̇Á˚‚‡ÂÚÒfl ÔÓÎÛÏÂÚË͇ ̇ ÏÌÓÊÂÒڂµ = {A ∈ : µ() < ∞}, ÓÔ‰ÂÎflÂχfl ͇͵(A∆B),„‰Â A∆B = (A ∪ B)\(A ∩ B) – ÒËÏÏÂÚ˘ÂÒ͇fl ‡ÁÌÓÒÚ¸ ÏÌÓÊÂÒÚ‚ Ä Ë B ∈ µ.ꇂÂÌÒÚ‚Ó d ∆(A, B) = 0 ËÏÂÂÚ ÏÂÒÚÓ ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ µ(A∆B) = 0,Ú.Â. ÍÓ„‰‡ Ä Ë Ç ÔÓ˜ÚË ‚Ò˛‰Û ‡‚Ì˚. éÚÓʉÂÒÚ‚Îflfl ‰‚‡ ÏÌÓÊÂÒÚ‚‡ A, B ∈ µ, ÂÒÎ˵(A∆B) = 0, ÔÓÎÛ˜‡ÂÏ ÏÂÚËÍÛ ÒËÏÏÂÚ˘ÂÒÍÓÈ ‡ÁÌÓÒÚË (ËÎË ‡ÒÒÚÓflÌˠçËÍÓ‰Ëχ–ÄÓÌÁfl̇, ÏÂÚËÍÛ ÏÂ˚).ÖÒÎË µ – ͇‰Ë̇θÌÓ ˜ËÒÎÓ, Ú.Â.
µ(A) = | A | fl‚ÎflÂÚÒfl ÍÓ΢ÂÒÚ‚ÓÏ ˝ÎÂÏÂÌÚÓ‚ ‚Ä, ÚÓ d∆(A, B) = | A∆B |. Ç ˝ÚÓÏ ÒÎÛ˜‡Â | A∆B | = 0 ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Ä = Ç.A∆Bê‡ÒÒÚÓflÌË ÑÊÓÌÒÓ̇ ÏÂÊ‰Û k-ÏÌÓÊÂÒÚ‚‡ÏË Ä Ë Ç ‡‚ÌÓ= k− | A ∩ B | .2åÂÚË͇ ùÌÓÏÓÚÓ–ä‡ÚÓ̇ÖÒÎË ËÏÂÂÚÒfl ÍÓ̘ÌÓ ÏÌÓÊÂÒÚ‚Ó ï Ë ˆÂÎÓ ˜ËÒÎÓ k, Ú‡ÍÓ ˜ÚÓ 2k ≤ | X |, ÚÓÏÂÚËÍÓÈ ùÌÓÏÓÚÓ–ä‡ÚÓ̇ ̇Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌË ÏÂÊ‰Û ÌÂÛÔÓfl‰Ó˜ÂÌÌ˚ÏËÔ‡‡ÏË (ï1, ï2) Ë (Y 1 , Y 2 ) ÌÂÔÂÂÒÂ͇˛˘ËıÒfl k-ÔÓ‰ÏÌÓÊÂÒÚ‚ ÏÌÓÊÂÒÚ‚‡ ï,ÓÔ‰ÂÎflÂÏÓ ͇Ímin{| X1 \Y1 | + | X2 \Y2 |, | X1 \Y2 | + | X2 \Y1 |}.48ó‡ÒÚ¸ I.
å‡ÚÂχÚË͇ ‡ÒÒÚÓflÌËÈê‡ÒÒÚÓflÌË òÚÂÈÌ„‡ÛÁ‡ÑÎfl ÔÓÒÚ‡ÌÒÚ‚‡ Ò ÏÂÓÈ (Ω , , µ) ‡ÒÒÚÓflÌËÂÏ òÚÂÈÌ„‡ÛÁ‡ dSt ̇Á˚‚‡ÂÚÒflÔÓÎÛÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â µ = {A ∈ : µ() < ∞}, ÓÔ‰ÂÎflÂχfl ËÁ ‡‚ÂÌÒÚ‚‡µ( A∆B)µ( A ∩ B)= 1−,µ( A ∪ B)µ( A ∪ B)ÂÒÎË µ(A ∪ B) > 0 (Ë ‡‚̇fl 0, ÂÒÎË µ(A) = µ(B) = 0). é̇ ÒÚ‡ÌÓ‚ËÚÒfl ÏÂÚËÍÓÈ Ì‡ÏÌÓÊÂÒÚ‚Â Í·ÒÒÓ‚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ˝ÎÂÏÂÌÚÓ‚ ËÁ µ ; ÔË ˝ÚÓÏ ˝ÎÂÏÂÌÚ˚Ä, Ç ∈ µ ̇Á˚‚‡˛ÚÒfl ˝Í‚Ë‚‡ÎÂÌÚÌ˚ÏË, ÂÒÎË µ(A∆B) = 0.| ( A∆B) |ê‡ÒÒÚÓflÌË ·ËÓÚÓÔ‡ (ËÎË ‡ÒÒÚÓflÌË í‡ÌËÏÓÚÓ)fl‚ÎflÂÚÒfl ˜‡ÒÚÌ˚Ï| ( A ∪ B) |ÒÎÛ˜‡ÂÏ ‡ÒÒÚÓflÌËfl òÚÂÈÌ„‡ÛÁ‡, ÔÓÎÛ˜ÂÌÌÓ„Ó ‰Îfl ͇‰Ë̇θÌÓ„Ó ˜ËÒ· µ(A) = | A |(ÒÏ.
Ú‡ÍÊ ӷӷ˘ÂÌ̇fl ÏÂÚË͇ ÔÂÓ·‡ÁÓ‚‡ÌËfl ·ËÓÚÓÔ‡, „Î. 4).ê‡ÒÒÚÓflÌË ÏÂÊ‰Û ÚÓ˜ÍÓÈ Ë ÏÌÓÊÂÒÚ‚ÓÏÑÎfl ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X, d) ‡ÒÒÚÓflÌË ÏÂÊ‰Û ÚÓ˜ÍÓÈ Ë ÏÌÓÊÂÒÚ‚ÓÏd(x, A) ÏÂÊ‰Û ÚÓ˜ÍÓÈ Ë ÔÓ‰ÏÌÓÊÂÒÚ‚ÓÏ Ä ÏÌÓÊÂÒÚ‚‡ ï ÓÔ‰ÂÎflÂÚÒfl ͇Íinf d ( x, y).y∈AÑÎfl β·˚ı x, y ∈ X Ë Î˛·Ó„Ó ÌÂÔÛÒÚÓ„Ó ÔÓ‰ÏÌÓÊÂÒÚ‚‡ Ä ÏÌÓÊÂÒÚ‚‡ ï ÒÔ‡‚‰ÎË‚ ÒÎÂ‰Û˛˘ËÈ ‚‡Ë‡ÌÚ Ì‡‚ÂÌÒÚ‚‡ ÚÂÛ„ÓθÌË͇: d(x, A) ≤ d (x,y) + d(x, A)(ÒÏ. ê‡ÒÒÚÓflÌÌÓ ÓÚÓ·‡ÊÂÌËÂ).ÑÎfl ‰‡ÌÌÓÈ ÚӘ˜ÌÓÈ ÏÂ˚ µ(ı) ̇ ï Ë ÙÛÌ͈ËË ¯Ú‡ÙÓ‚ ÓÔÚËχθÌ˚ÏÍ‚‡ÌÚÓ‚‡ÌËÂÏ Ì‡Á˚‚‡ÂÚÒfl ÏÌÓÊÂÒÚ‚Ó B ⊂ X, Ú‡ÍÓ ˜ÚÓ∫ p(d( x, B))dµ( x ) fl‚ÎflÂÚÒfl̇ËÏÂ̸¯ËÏ ‚ÓÁÏÓÊÌ˚Ï.ê‡ÒÒÚÓflÌË ÏÂÊ‰Û ÏÌÓÊÂÒÚ‚‡ÏËÑÎfl ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X, d) ‡ÒÒÚÓflÌË ÏÂÊ‰Û ÏÌÓÊÂÒÚ‚‡ÏË Ä Ë ÇÏÌÓÊÂÒÚ‚‡ ï Á‡‰‡ÂÚÒfl ͇Íing d ( x, y).x ∈A, y ∈BÇ ‡Ì‡ÎËÁ ‰‡ÌÌ˚ı ‡ÒÒÚÓflÌË ÏÂÊ‰Û ÏÌÓÊÂÒÚ‚‡ÏË Ì‡Á˚‚‡ÂÚÒfl ‰ËÌ˘ÌÓÈÒ‚flÁ¸˛, ‚ ÚÓ ‚ÂÏfl Í‡Í supx∈A,y∈Bd(x, y) ̇Á˚‚‡ÂÚÒfl ÔÓÎÌÓÈ Ò‚flÁ¸˛.ï‡ÛÒ‰ÓÙÓ‚‡ ÏÂÚË͇ÑÎfl ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X, d) ı‡ÛÒ‰ÓÙÓ‚ÓÈ ÏÂÚËÍÓÈ (ËÎË ‰ ‚ ÛÒÚÓÓÌÌËÏ ı‡ÛÒ‰ÓÙÓ‚˚Ï ‡ÒÒÚÓflÌËÂÏ) d Haus ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÒÓ‚ÓÍÛÔÌÓÒÚË ‚ÒÂı ÍÓÏÔ‡ÍÚÌ˚ı ÔÓ‰ÏÌÓÊÂÒÚ‚ ï, Á‡‰‡‚‡Âχfl ͇Ímax{ddHaus (A, B), ddHaus(B, A)},„‰Â ddHaus(A, B) = maxx∈A miny∈Bd(x, y) fl‚ÎflÂÚÒfl ÓËÂÌÚËÓ‚‡ÌÌ˚Ï ı‡ÛÒ‰ÓÙÓ‚˚χÒÒÚÓflÌËÂÏ (ËÎË Ó‰ÌÓÒÚÓÓÌÌËÏ ı‡ÛÒ‰ÓÙÓ‚˚Ï ‡ÒÒÚÓflÌËÂÏ) ÓÚ Ä Í Ç.
àÌ˚ÏËÒÎÓ‚‡ÏË, ddHaus(A, B) ÂÒÚ¸ ÏËÌËχθÌÓ ˜ËÒÎÓ ε (̇Á˚‚‡ÂÏÓ ڇÍÊ ‡ÒÒÚÓflÌËÂÏÅÎfl¯ÍÂ), Ú‡ÍÓ ˜ÚÓ Á‡ÏÍÌÛÚ‡fl ε-ÓÍÂÒÚÌÓÒÚ¸ Ä ÒÓ‰ÂÊËÚ Ç, ‡ Á‡ÏÍÌÛÚ‡flε-ÓÍÂÒÚÌÓÒÚ¸ Ç ÒÓ‰ÂÊËÚ Ä. åÓÊÌÓ ÔÓ͇Á‡Ú¸ Ú‡ÍÊÂ, ˜ÚÓ ‡‚ÌÓ ddHaus(A, B)sup | d ( x, A) − d ( x, B) |,x ∈X49É·‚‡ 1. 鷢ˠÓÔ‰ÂÎÂÌËfl„‰Â d(x, A) = miny∈A d(x, y) fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌËÂÏ ÏÂÊ‰Û ÚÓ˜ÍÓÈ Ë ÏÌÓÊÂÒÚ‚ÓÏ.ï‡ÛÒ‰ÓÙÓ‚‡ ÏÂÚË͇ ÏÂÚËÍÓÈ ÌÓÏ˚ Ì fl‚ÎflÂÚÒfl.ÖÒÎË ‚˚¯ÂÔ˂‰ÂÌÌÓ ÓÔ‰ÂÎÂÌË ‡ÒÔÓÒÚ‡ÌËÚ¸ ̇ ÌÂÍÓÏÔ‡ÍÚÌ˚ Á‡ÏÍÌÛÚ˚ ÔÓ‰ÏÌÓÊÂÒÚ‚‡ Ä Ë Ç ÏÌÓÊÂÒÚ‚‡ ï, ÚÓ ddHaus(A, B) ÏÓÊÂÚ ·˚Ú¸ ·ÂÒÍÓ̘ÌÓÈ,Ú.Â.
Ó̇ ÒÚ‡ÌÓ‚ËÚÒfl ‡Ò¯ËÂÌÌÓÈ ÏÂÚËÍÓÈ. ÑÎfl ÔÓ‰ÏÌÓÊÂÒÚ‚ Ä Ë Ç ÏÌÓÊÂÒÚ‚‡ ï,Ì ӷflÁ‡ÚÂθÌÓ Á‡ÏÍÌÛÚ˚ı, ı‡ÛÒ‰ÓÙÓ‚‡ ÔÓÎÛÏÂÚË͇ ÏÂÊ‰Û ÌËÏË ÓÔ‰ÂÎflÂÚÒflÍ‡Í ı‡ÛÒ‰ÓÙÓ‚‡ ÏÂÚË͇ ÏÂÊ‰Û Ëı Á‡Ï˚͇ÌËflÏË. ÖÒÎË ï ÍÓ̘ÌÓ, ÚÓ d dHausfl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ Ì‡ ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ÔÓ‰ÏÌÓÊÂÒÚ‚ ï.ï‡ÛÒ‰ÓÙÓ‚Ó L p -‡ÒÒÚÓflÌËÂÑÎfl ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X, d) ı‡ÛÒ‰ÓÙÓ‚Ó L p -‡ÒÒÚÓflÌË ([Badd92])ÏÂÊ‰Û ‰‚ÛÏfl ÔÓ‰ÏÌÓÊÂÒÚ‚‡ÏË Ä Ë Ç ÏÌÓÊÂÒÚ‚‡ ï Á‡‰‡ÂÚÒfl ͇Í(∑ | d( x, A) − d( x, B) |1P p) ,x ∈X„‰Â d(x, A) – ‡ÒÒÚÓflÌË ÏÂÊ‰Û ÚÓ˜ÍÓÈ Ë ÏÌÓÊÂÒÚ‚ÓÏ.
é·˚˜Ì‡fl ı‡ÛÒ‰ÓÙÓ‚‡ÏÂÚË͇ ÒÓÓÚ‚ÂÚÒÚ‚ÛÂÚ ÒÎÛ˜‡˛ = ∞.é·Ó·˘ÂÌ̇fl ı‡ÛÒ‰ÓÙÓ‚‡ G-ÏÂÚË͇ÇÓÁ¸ÏÂÏ „ÛÔÔÛ (G , ⋅, e), ‰ÂÈÒÚ‚Û˛˘Û˛ ̇ ÏÂÚ˘ÂÒÍÓÏ ÔÓÒÚ‡ÌÒÚ‚Â (X, d).é·Ó·˘ÂÌ̇fl ı‡ÛÒ‰ÓÙÓ‚‡ G-ÏÂÚË͇ ÏÂÊ‰Û ‰‚ÛÏfl Á‡ÏÍÌÛÚ˚ÏË ÔÓ‰ÏÌÓÊÂÒÚ‚‡ÏË ÄË Ç ÏÌÓÊÂÒÚ‚‡ ï Á‡‰‡ÂÚÒfl ͇Ímin d Haus ( g1 ( A), g2 ( B)),g1 , g 2 ∈G„‰Â d Haus – ı‡ÛÒ‰ÓÙÓ‚‡ ÏÂÚË͇.
ÖÒÎË d(g(x), g(y)) = d(x, y) ‰Îfl β·Ó„Ó g ∈ G(Ú.Â. ÏÂÚË͇ d ΂ÓËÌ‚‡Ë‡ÌÚ̇ ÔÓ ÓÚÌÓ¯ÂÌ˲ Í G), ÚÓ ‚˚¯ÂÛ͇Á‡Ì̇fl ÏÂÚË͇·Û‰ÂÚ ‡‚̇ ming∈G dHaus(A), g(B).åÂÚË͇ ÉÓÏÓ‚‡–ï‡ÛÒ‰ÓÙ‡åÂÚËÍÓÈ ÉÓÏÓ‚‡–ï‡ÛÒ‰ÓÙ‡ ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ËÁÓÏÂÚ˘ÂÒÍËı Í·ÒÒÓ‚ ÍÓÏÔ‡ÍÚÌ˚ı ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚, Á‡‰‡‚‡Âχfl ͇Íinf dHaus(f(X), g(Y))‰Îfl β·˚ı ‰‚Ûı Í·ÒÒÓ‚ X* Ë Y * Ò Ô‰ÒÚ‡‚ËÚÂÎflÏË X Ë Y ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ, „‰Â dHaus –ı‡ÛÒ‰ÓÙÓ‚‡ ÏÂÚË͇, ‡ ÏËÌËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚‡Ï åË ËÁÓÏÂÚ˘ÂÒÍËÏ ‚ÎÓÊÂÌËflÏ f : X → M, g : Y → M. ëÓÓÚ‚ÂÚÒÚ‚Û˛˘Â ÏÂÚ˘ÂÒÍÓÂÔÓÒÚ‡ÌÒÚ‚Ó Ì‡Á˚‚‡ÂÚÒfl ÔÓÒÚ‡ÌÒÚ‚ÓÏ ÉÓÏÓ‚‡–ï‡ÛÒ‰ÓÙ‡.åÂÚË͇ î¯ÂèÛÒÚ¸ (X, d) – ÔÓËÁ‚ÓθÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó.
ê‡ÒÒÏÓÚËÏ ÏÌÓÊÂÒÚ‚Ó ‚ÒÂı ÌÂÔÂ˚‚Ì˚ı ÓÚÓ·‡ÊÂÌËÈ f : A → X, g : B → X, …, „‰Â Ä, Ç, … fl‚Îfl˛ÚÒflÔÓ‰ÏÌÓÊÂÒÚ‚‡ÏË n, „ÓÏÂÓÏÓÙÌ˚ÏË [0,1]n ‰Îfl ÙËÍÒËÓ‚‡ÌÌÓÈ ‡ÁÏÂÌÓÒÚË n ∈ .èÓÎÛÏÂÚËÍÓÈ î¯ dF ̇Á˚‚‡ÂÚÒfl ÔÓÎÛÏÂÚË͇ ̇ , Á‡‰‡‚‡Âχfl ͇Íinf sup d ( f ( x ), g(σ( x ))),σ x ∈A„‰Â ËÌÙËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ ÒÓı‡Ìfl˛˘ËÏ ÓËÂÌÚ‡ˆË˛ „ÓÏÂÓÏÓÙËÁÏ‡Ï σ : A →→ B. é̇ Ô‚‡˘‡ÂÚÒfl ‚ ÏÂÚËÍÛ î¯ ̇ ÏÌÓÊÂÒÚ‚Â Í·ÒÒÓ‚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚËf* = {g : dF(g, f) = 0}.50ó‡ÒÚ¸ I. å‡ÚÂχÚË͇ ‡ÒÒÚÓflÌËÈê‡ÒÒÚÓflÌË Ň̇ı‡–å‡ÁÛ‡ê‡ÒÒÚÓflÌË Ň̇ı‡–å‡ÁÛ‡ dBM ÏÂÊ‰Û ‰‚ÛÏfl ·‡Ì‡ıÓ‚˚ÏË ÔÓÒÚ‡ÌÒÚ‚‡ÏË V Ë WÁ‡‰‡ÂÚÒfl ͇Íln inf || T || ⋅ || T −1 ||,T„‰Â ËÌÙËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ ËÁÓÏÓÙËÁÏ‡Ï T : V → W. éÌÓ ÏÓÊÂÚ ·˚Ú¸ Á‡ÔËÒ‡ÌÓÚ‡ÍÊÂ Í‡Í ln d(V,W), „‰Â ˜ËÒÎÓ d(V,W) ÂÒÚ¸ ̇ËÏÂ̸¯Â ÔÓÎÓÊËÚÂθÌÓ d ≥ 1, Ú‡ÍÓ˜ÚÓ BWn ⊂ T ( BVn ) ⊂ dBWn ‰Îfl ÌÂÍÓÚÓÓ„Ó ÎËÌÂÈÌÓ„Ó Ó·‡ÚËÏÓ„Ó ÔÂÓ·‡ÁÓ‚‡ÌËflT : V → W.
á‰ÂÒ¸ ( BVn ) = {x ∈ V :|| x ||V ≤ 1} Ë ( BWn ) = {x ∈ W :|| x ||W ≤ 1} fl‚Îfl˛ÚÒfl‰ËÌ˘Ì˚ÏË ¯‡‡ÏË ÌÓÏËÓ‚‡ÌÌ˚ı ÔÓÒÚ‡ÌÒÚ‚ (V,|| ⋅||V ) Ë (W,|| ⋅ ||W) ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ.dBM(V,W) = 0 ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ V Ë W ËÁÓÏÂÚ˘Ì˚, Ë ÒÚ‡ÌÓ‚ËÚÒflÏÂÚËÍÓÈ Ì‡ ÏÌÓÊÂÒÚ‚Â Xn ‚ÒÂı Í·ÒÒÓ‚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË n-ÏÂÌÓ„Ó ÌÓÏËÓ‚‡ÌÌÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡, „‰Â V ~ W, ÂÒÎË ÓÌË ËÁÓÏÂÚ˘Ì˚. 臇 (Xn , dBM) fl‚ÎflÂÚÒflÍÓÏÔ‡ÍÚÌ˚Ï ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ, ̇Á˚‚‡ÂÏ˚Ï ÍÓÏÔ‡ÍÚÓÏ Å‡Ì‡ı‡–å‡ÁÛ‡.ê‡ÒÒÚÓflÌË ÉÎÛÁÍË̇–‡Ó‚‡ (ËÎË ÏÓ‰ËÙˈËÓ‚‡ÌÌÓ ‡ÒÒÚÓflÌË Ň̇ı‡å‡ÁÛ‡) Á‡‰‡ÂÚÒfl ͇Íinf{|| T || X → Y :| det T | = 1} ⋅ inf{|| T ||Y → X :| det T | = 1}.ê‡ÒÒÚÓflÌË íÓϘ‡Í–Ö„Âχ̇ (ËÎË Ò··Ó ‡ÒÒÚÓflÌË Ň̇ı‡–å‡ÁÛ‡) ÓÔ‰ÂÎflÂÚÒfl ͇Ímax}γ Y (id X ), γ X (id Y )},„‰Â ‰Îfl ÓÔ‡ÚÓ‡ U : X → Y ˜ÂÂÁ γ Z (U ) Ó·ÓÁ̇˜‡ÂÚÒfl inf∑∑ || Wk |||| Vk || .á‰ÂÒ¸ËÌÙËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ Ô‰ÒÚ‡‚ÎÂÌËflÏ U =Wk Vk ‰Îfl Vk : X → Z Ë Vk : Z →Y,‡ idz ÂÒÚ¸ ÚÓʉÂÒÚ‚ÂÌÌÓ ÓÚÓ·‡ÊÂÌËÂ.
чÌÌÓ ‡ÒÒÚÓflÌË ÌËÍÓ„‰‡ Ì Ô‚˚¯‡ÂÚÒÓÓÚ‚ÂÚÒÚ‚Û˛˘Â„Ó ‡ÒÒÚÓflÌËfl Ň̇ı‡–å‡ÁÛ‡.ê‡ÒÒÚÓflÌË 䇉ÂÚÒ‡èÓÔÛÒÍ (ËÎË ‡Á˚‚) ÏÂÊ‰Û ‰‚ÛÏfl Á‡ÏÍÌÛÚ˚ÏË ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚‡ÏË ï Ë Y·‡Ì‡ıÓ‚‡ ÔÓÒÚ‡ÌÒÚ‚‡ (V,|| ⋅ ||) ÓÔ‰ÂÎflÂÚÒfl ͇Ígap(X,Y) = max{δ(X, Y), δ(Y,X)},„‰Â δ(X,Y) = sup{infy∈Y ||x–y||: x ∈ X, ||x|| = 1} (ÒÏ. ê‡ÒÒÚÓflÌË ‡Á˚‚‡, „Î.
12 ËåÂÚË͇ ‡Á˚‚‡, „Î. 18).ê‡ÒÒÚÓflÌË 䇉ÂÚÒ‡ ÏÂÊ‰Û ‰‚ÛÏfl ·‡Ì‡ıÓ‚˚ÏË ÔÓÒÚ‡ÌÒÚ‚‡ÏË V Ë W fl‚ÎflÂÚÒflÔÓÎÛÏÂÚËÍÓÈ, ÓÔ‰ÂÎflÂÏÓÈ (ÔÓ ä‡‰ÂÚÒÛ, 1975) ͇Íinf gap( B f (V ) , Bg( W ) ),Z, f ,g„‰Â ËÌÙËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ ·‡Ì‡ıÓ‚˚Ï ÔÓÒÚ‡ÌÒÚ‚‡Ï Z Ë ‚ÒÂÏ ÎËÌÂÈÌ˚ÏËÁÓÏÂÚ˘ÂÒÍËÏ ‚ÎÓÊÂÌËflÏ f : V → Z Ë g : W → Z; Á‰ÂÒ¸ Bf(V) Ë Bg(W) ÒÛÚ¸ ‰ËÌ˘Ì˚ÂÏÂÚ˘ÂÒÍË ¯‡˚ ·‡Ì‡ıÓ‚˚ı ÔÓÒÚ‡ÌÒÚ‚ f(V) Ë g(W) ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ.çÂÎËÌÂÈÌ˚Ï ‡Ì‡ÎÓ„ÓÏ ‡ÒÒÚÓflÌËfl 䇉ÂÚÒ‡ fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌË ÉÓÏÓ‚‡–ï‡ÛÒ‰ÓÙ‡ ÏÂÊ‰Û ·‡Ì‡ıÓ‚˚ÏË ÔÓÒÚ‡ÌÒÚ‚‡ÏË U Ë W:inf d Haus ( f ( BV ), g( BW )),Z, f ,g51É·‚‡ 1. 鷢ˠÓÔ‰ÂÎÂÌËfl„‰Â ËÌÙËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚‡Ï Z Ë ‚ÒÂÏ ËÁÓÏÂÚ˘ÂÒÍËÏ ‚ÎÓÊÂÌËflÏ f : V → Z Ë g : W → Z; Á‰ÂÒ¸ dHaus – ı‡ÛÒ‰ÓÙÓ‚‡ ÏÂÚË͇.ê‡ÒÒÚÓflÌË ÔÛÚË ä‡‰ÂÚÒ‡ ÏÂÊ‰Û ‰‚ÛÏfl ·‡Ì‡ıÓ‚˚ÏË ÔÓÒÚ‡ÌÒÚ‚‡ÏË V Ë WÁ‡‰‡ÂÚÒfl (ÔÓ éÒÚÓ‚ÒÍÓÏÛ, 2000) Í‡Í ËÌÙËÏÛÏ ‰ÎËÌ (ÓÚÌÓÒËÚÂθÌÓ ‡ÒÒÚÓflÌËfl ÔÛÚË䇉ÂÚÒ‡) ‚ÒÂı ÍË‚˚ı, ÒÓ‰ËÌfl˛˘Ëı V Ë W (Ë Í‡Í ∞, ÂÒÎË Ú‡ÍËı ÍË‚˚ı ÌÂÚ).ãËÔ¯ËˆÂ‚Ó ‡ÒÒÚÓflÌËÂÇÓÁ¸ÏÂÏ ‰‚‡ ÏÂÚ˘ÂÒÍËı ÔÓÒÚ‡ÌÒÚ‚‡ (X, dX) Ë (Y, dY).
ãËԯˈ‚‡ ÌÓχ || ⋅ ||Liṗ ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ËÌ˙ÂÍÚË‚Ì˚ı ÙÛÌ͈ËÈ f : X → Y ÓÔ‰ÂÎflÂÚÒfl ͇Íd ( f ( x ), f ( y))|| f || Lip = sup x , y ∈X , x ≠ y Y.d X ( x, y)ãËÔ¯ËˆÂ‚Ó ‡ÒÒÚÓflÌË ÏÂÊ‰Û ÏÂÚ˘ÂÒÍËÏË ÔÓÒÚ‡ÌÒÚ‚‡ÏË (X, d X ) Ë (Y, dY)Á‡‰‡ÂÚÒfl ͇Íln inf || f || Lip ⋅ || f −1 || Lip ,f„‰Â ËÌÙËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ ·ËÂÍÚË‚Ì˚Ï ÙÛÌ͈ËflÏ f : X → Y. ù͂˂‡ÎÂÌÚÌÓ, ÓÌÓfl‚ÎflÂÚÒfl ËÌÙËÏÛÏÓÏ ˜ËÒÂÎ ln α, Ú‡ÍËı ˜ÚÓ ÒÛ˘ÂÒÚ‚ÛÂÚ ·ËÂÍÚË‚ÌÓ ·ËÎËԯˈ‚ÓÓÚÓ·‡ÊÂÌË ÏÂÊ‰Û (X, dX ) Ë (Y, dY) Ò ÍÓÌÒÚ‡ÌÚ‡ÏË exp(-α), exp(α). éÌÓ ÒÚ‡ÌÓ‚ËÚÒflÏÂÚËÍÓÈ Ì‡ ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ËÁÓÏÂÚ˘ÂÒÍËı Í·ÒÒÓ‚ ÍÓÏÔ‡ÍÚÌ˚ı ÏÂÚ˘ÂÒÍËıÔÓÒÚ‡ÌÒÚ‚.чÌÌÓ ‡ÒÒÚÓflÌË fl‚ÎflÂÚÒfl ‡Ì‡ÎÓ„ÓÏ ‡ÒÒÚÓflÌËfl Ň̇ı‡–å‡ÁÛ‡ Ë, ‰Îfl ÒÎÛ˜‡flÍÓ̘ÌÓÏÂÌ˚ı ‚¢ÂÒÚ‚ÂÌÌ˚ı ·‡Ì‡ıÓ‚˚ı ÔÓÒÚ‡ÌÒÚ‚, ÒÓ‚Ô‡‰‡ÂÚ Ò ÌËÏ. éÌÓÒÓ‚Ô‡‰‡ÂÚ Ú‡ÍÊÂ Ò „Ëθ·ÂÚÓ‚ÓÈ ÔÓÂÍÚË‚ÌÓÈ ÏÂÚËÍÓÈ Ì‡ ÌÂÓÚˈ‡ÚÂθÌ˚ıÔÓÂÍÚË‚Ì˚ı ÔÓÒÚ‡ÌÒÚ‚‡ı, ÍÓÚÓ˚ ÏÓ„ÛÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌ˚ n+ ËÁ ÓÚÓʉÂÒÚ‚ÎÂÌËÂÏ Î˛·ÓÈ ÚÓ˜ÍË ı Ò Òı,Ò > 0.ãËÔ¯ËˆÂ‚Ó ‡ÒÒÚÓflÌË ÏÂÊ‰Û Ï‡ÏËÑÎfl ÍÓÏÔ‡ÍÚÌÓ„Ó ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X, d) ÔÓÎÛÌÓχ ãËԯˈ‡ || ⋅ ||Liṗ ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ÙÛÌ͈ËÈ f : X → ÓÔ‰ÂÎflÂÚÒfl ͇Í| f ( x ) − f ( y) ||| ⋅ || Lip = sup x , y ∈X , x ≠ y.d ( x, y)ãËÔ¯ËˆÂ‚Ó ‡ÒÒÚÓflÌË ÏÂÊ‰Û Ï‡ÏË µ Ë ν ̇ ï Á‡‰‡ÂÚÒfl ͇Ísup|| f || Lip ≤1∫ fd(µ − ν).ÖÒÎË µ Ë ν – ‚ÂÓflÚÌÓÒÚÌ˚ ÏÂ˚, ÚÓ ˝ÚÓ – ÏÂÚË͇ ä‡ÌÚÓӂ˘‡–å˝ÎÎÓÛÁ‡–åÓÌʇ–LJÒÒ¯ÚÂÈ̇.Ä̇ÎÓ„ÓÏ ÎËԯˈ‚‡ ‡ÒÒÚÓflÌËfl ÏÂÊ‰Û Ï‡ÏË ‰Îfl ÔÓÒÚ‡ÌÒÚ‚‡ ÒÓÒÚÓflÌËÈÛÌËÚ‡ÌÓÈ ë* -‡Î„·˚ fl‚ÎflÂÚÒfl ÏÂÚË͇ äÓÌ̇.ŇˈÂÌÚ˘ÂÒÍÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚ÓÑÎfl ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X, d) ÔÛÒÚ¸ (B(X), ||µ–ν||TV ·Û‰ÂÚ ÏÂÚ˘ÂÒÍËÏÔÓÒÚ‡ÌÒÚ‚ÓÏ, „‰Â Ç(ï) – ÏÌÓÊÂÒÚ‚Ó ‚ÒÂı „ÛÎflÌ˚ı ·ÓÂ΂˚ı ‚ÂÓflÚÌÓÒÚÌ˚ıÏ ̇ ï Ò Ó„‡Ì˘ÂÌÌ˚Ï ÌÓÒËÚÂÎÂÏ Ë ||µ–ν||TV – ‡ÒÒÚÓflÌË ÌÓÏ˚, ÓÔ‰ÂÎflÂÏÓÂÔÓÎÌÓÈ ‚‡Ë‡ˆËÂÈ∫X | p(µ) − p( ν) | dλ,„‰Â p(µ) Ë p ( ν) fl‚Îfl˛ÚÒfl ÙÛÌ͈ËflÏËÔÎÓÚÌÓÒÚË Ï µ Ë ν ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ, ÓÚÌÓÒËÚÂθÌÓ σ-ÍÓ̘ÌÓÈ ÏÂ˚µ+ν.252ó‡ÒÚ¸ I.