तंग अवधि

मीट्रिक ज्यामिति में, मीट्रिक स्पेस M का मीट्रिक लिफ़ाफ़ा या टाइट स्पान एक इंजेक्शन मीट्रिक स्पेस है जिसमें M एम्बेड किया जा सकता है। कुछ अर्थों में इसमें एम के बिंदुओं के मध्यके सभी बिंदु होते हैं, जो यूक्लिडियन अंतरिक्ष में स्थापित बिंदु के उत्तल हल के समान होते हैं। टाइट स्पान को कभी-कभी 'M' के इंजेक्शन एनवेलप या हाइपरकोनवेक्स हल के रूप में भी जाना जाता है। इसे इंजेक्शन पतवार भी कहा जाता है, परंतु बीजगणित में एक मॉड्यूल (गणित) के इंजेक्शन हल के सापेक्ष भ्रमित नहीं होना चाहिए, एक अवधारणा जिसमें 'आर'-मॉड्यूल की श्रेणी (गणित) के सापेक्ष समान विवरण होता है मीट्रिक रिक्त स्पेस।

तंग अवधि का वर्णन सबसे पहले किसके द्वारा किया गया था Isbell (1964), और 1960 के दशक में W. Holsztyński|Holsztyński द्वारा इसका अध्ययन और प्रयोग किया गया था। इसे उपरांत में द्वारा स्वतंत्र रूप से फिर से खोजा गया Dress (1984) और Chrobak & Larmore (1994); देखना Chepoi (1997) इस इतिहास के लिए। तंग अवधि टी-सिद्धांत के केंद्रीय निर्माणों में से एक है।

परिभाषा

एक मीट्रिक स्पेस की तंग अवधि को निम्नानुसार परिभाषित किया जा सकता है। चलो (एक्स, डी) एक मीट्रिक स्पेस बनें, और टी (एक्स) एक्स पर 'चरम कार्यों' का सेट बनें, जहां हम एक्स पर 'एक्सट्रीमल फलन' कहते हैं, जिसका मतलब एक्स से 'आर' तक एक फलन एफ है वह

1. किसी भी एक्स के लिए, एक्स में वाई, डी (एक्स, वाई) ≤ एफ (एक्स) + एफ (वाई), और
2. X में प्रत्येक x के लिए, f(x) = sup{d(x,y) - f(y):y in X}.

विशेष रूप से (ऊपर विशेषता1 में x = y लेने पर) सभी x के लिए f(x) ≥ 0। ऊपर दी गई पहली आवश्यकता की व्याख्या करने का एक तरीका यह है कि f कुछ नए बिंदु से X के बिंदुओं तक संभावित दूरी के एक सेट को परिभाषित करता है जो कि (X, d) में दूरियों के सापेक्ष त्रिकोण असमानता को पूरा करना चाहिए। दूसरी आवश्यकता बताती है कि त्रिभुज असमानता का उल्लंघन किए बिना इनमें से किसी भी दूरी को कम नहीं किया जा सकता है।

(एक्स, डी) का 'तंग अवधि' मीट्रिक स्पेस (टी (एक्स), δ) है, जहां

$$\delta =(\inf\{C\in \mathbb {R} _{\geq 0}:|g(x)-f(x)|\leq C{\text{ for all }}x\in X\})_{f,g\in T(X)}=(\|g-f\|_{\infty })_{f,g\in T(X)}$$

Lp स्पेस#सामान्य_ℓp-स्पेस| द्वारा प्रेरित मीट्रिक के अनुरूप हैℓ^∞ मानदंड। (यदि डी बाध्य है, तो δ एलपी स्पेस#सामान्य_ℓपी-स्पेस द्वारा प्रेरित मीट्रिक द्वारा प्रेरित उप-मीट्रिक है।ℓ^∞ मानदंड। यदि d परिबद्ध नहीं है, तो X पर प्रत्येक चरम फलन अपरिबद्ध है और इसलिए $T(X)\not \subseteq \ell ^{\infty }(X).$ भले ही, यह सच होगा कि टी (एक्स) में किसी भी एफ, जी के लिए अंतर $g-f$ से संबंधित $\ell ^{\infty }(X)$, यानी, घिरा हुआ है।)

चरम कार्यों की समतुल्य परिभाषाएँ

एक्स से 'आर' तक एक फलन एफ के लिए पहली आवश्यकता को पूरा करने के लिए, दूसरी आवश्यकता के निम्नलिखित संस्करण समतुल्य हैं:

• X में प्रत्येक x के लिए, f(x) = sup{d(x,y) - f(y):y in X}.
• f उपरोक्त पहली आवश्यकता के संबंध में बिंदुवार न्यूनतम है, अर्थात, X से 'R' तक किसी भी फलन g के लिए ऐसा है कि d(x,y) ≤ g(x) + g(y) सभी x,y in X के लिए , अगर g≤f बिन्दुवार, तो f=g.
• एक्स = ∅ या एक्स में मौजूद है जैसे एक्स में सभी एक्स के लिए, एफ (एक्स) ≤ डी (ए, एक्स)।

मूल गुण और उदाहरण

• एक्स में सभी एक्स के लिए, $0\leq f(x).$
• एक्स में प्रत्येक एक्स के लिए, $(d(x,y))_{y\in X}$ अतिवादी है। (सबूत: समरूपता और त्रिभुज असमानता#मेट्रिक स्पेस का उपयोग करें।)
• यदि X परिमित है, तो X से 'R' तक किसी भी फलन f के लिए जो पहली आवश्यकता को पूरा करता है, दूसरी आवश्यकता इस शर्त के बराबर है कि X में प्रत्येक x के लिए, X में y मौजूद है जैसे कि f(x) + एफ (वाई) = डी (एक्स, वाई)। (अगर $X=\emptyset ,$ तो दोनों स्थितियाँ सत्य हैं। अगर $X\neq \emptyset ,$ तब श्रेष्ठता प्राप्त की जाती है, और पहली आवश्यकता का तात्पर्य समानता से है।)
• कहें |X|=2, और विशिष्ट ए, बी चुनें जैसे कि एक्स={ए,बी}। तब $T(X)=\{f\in (\mathbb {R} _{\geq 0})^{X}:f(a)+f(b)=d(a,b)\}$ का उत्तल पतवार है{{(a,1),(b,0)},{(a,0),(b,1)}}. [तस्वीर जोड़ें। कैप्शन: यदि एक्स = {0,1}, तो $T(X)=\{v\in (\mathbb {R} _{\geq 0})^{2}:v_{0}+v_{1}=d(0,1)\}$ {(0,1),(1,0)} का उत्तल पतवार है।]
• X पर प्रत्येक चरम कार्य f कातेतोव है: f पहली आवश्यकता को पूरा करता है और $\forall x,y\in X\quad f(x)\leq d(x,y)+f(y),$ या समकक्ष, f पहली आवश्यकता को पूरा करता है और $\forall x,y\in X\quad |f(y)-f(x)|\leq d(x,y)$ (1-लिप्सचिट्ज़ निरंतरता है), या समकक्ष, f पहली आवश्यकता को संतुष्ट करता है और $\forall x\in X\quad \sup\{f(y)-d(x,y):y\in X\}=f(x).$
• T(X)⊆कॉम्पैक्ट हॉउसडॉर्फ स्पेस#सामान्यीकरण|C(X) पर निरंतर कार्य। (लिप्सचिट्ज़ कार्य निरंतर हैं।)
• टी (एक्स) समान है। (X के 1-लिप्सचिट्ज़ होने पर प्रत्येक चरम कार्य से अनुसरण करता है; cf. इक्विकंटिन्यूटी # उदाहरण।)
• X पर प्रत्येक केटोव कार्य चरम नहीं है। उदाहरण के लिए, ए, बी को अलग होने दें, एक्स = {ए, बी}, डी = ([x≠y]) दें_{x,y in X} एक्स पर असतत मीट्रिक बनें, और f = {(ए, 1), (बी, 2)} दें। फिर एफ कातेतोव है परंतु चरम नहीं है। (यह लगभग तत्काल है कि f कटेटोव है। f चरम नहीं है क्योंकि यह इस खंड की तीसरी बुलेट में विशेषताको विफल करता है।)
• यदि d परिबद्ध है, तो T(X) में प्रत्येक f परिबद्ध है। वास्तव में, T(X) में प्रत्येक f के लिए, $\|f\|_{\infty }\leq \|d\|_{\infty }.$ (टिप्पणी $d\in \ell ^{\infty }(X\times X).$) (उपर्युक्त खंड में तीसरे समकक्ष विशेषतासे अनुसरण करता है।)
• यदि d अपरिबद्ध है, तो T(X) में प्रत्येक f अपरिबद्ध है। (पहली आवश्यकता से अनुसरण करता है।)
• $T(X)$ बिंदुवार सीमा के तहत बंद है। किसी भी बिंदुवार अभिसरण के लिए $f\in (T(X))^{\omega },$ $\lim f\in T(X).$
• अगर (एक्स, डी) कॉम्पैक्ट है, तो (टी (एक्स), δ) कॉम्पैक्ट है। (सबूत: एक्सट्रीम वैल्यू थ्योरम#मैट्रिक और टोपोलॉजिकल स्पेस का सामान्यीकरण|एक्सट्रीम-वैल्यू प्रमेय का मतलब है कि डी, एक फंक्शन के रूप में निरंतर होना $X\times X\to \mathbb {R} ,$ घिरा हुआ है, इसलिए (पिछली गोली देखें) $T(X)\subseteq \{f\in C(X):\|f\|_{\infty }\leq \|d\|_{\infty }\}$ C(X) का परिबद्ध उपसमुच्चय है। हमने दिखाया है कि टी (एक्स) समान है, इसलिए अर्जेला-एस्कोली प्रमेय का अर्थ है कि टी (एक्स) अपेक्षाकृत कॉम्पैक्ट है। हालाँकि, पिछली बुलेट का तात्पर्य T(X) के तहत बंद है $\ell ^{\infty }$ मानदंड, चूंकि $\ell ^{\infty }$ अभिसरण का अर्थ बिंदुवार अभिसरण है। इस प्रकार टी (एक्स) कॉम्पैक्ट है।)
• X से 'R' तक के किसी भी फलन g के लिए जो पहली आवश्यकता को पूरा करता है, T(X) में f मौजूद है जैसे कि f≤g बिंदुवार।
• एक्स पर किसी भी चरम समारोह एफ के लिए, $\forall x\in X\quad f(x)=\sup\{|f(y)-d(x,y)|:y\in X\}.$
• T(X) में किसी भी f,g के लिए अंतर $g-f$ से संबंधित $\ell ^{\infty }(X)$, यानी, बंधा हुआ है। (उपरोक्त गोली का प्रयोग करें।)
• कुराटोव्स्की मानचित्र $e:=((d(x,y))_{y\in X})_{x\in X}$ एक आइसोमेट्री है। (जब X=∅, परिणाम स्पष्ट होता है। जब X≠∅, विपरीत त्रिकोण असमानता का अर्थ परिणाम होता है।)
• मान लीजिए कि T(X) में f है। X में किसी a के लिए, यदि f(a)=0, तो f=e(a). (एक्स में प्रत्येक एक्स के लिए हमारे पास है $(e(a))(x)=d(a,x)\leq f(a)+f(x)=f(x).$ एफ की न्यूनतमता (उपरोक्त खंड में दूसरा समकक्ष लक्षण वर्णन) और तथ्य यह है कि $e(a)$ इसके उपरांत की पहली आवश्यकता को पूरा करता है $f=e_{a}.$)
• (X,d) अतिशयोक्तिपूर्ण मीट्रिक स्पेस है यदि और केवल यदि (T(X),δ) अतिशयोक्तिपूर्ण है।

हाइपरकोन्वेक्सिटी गुण

• (टी(एक्स),δ) और
  $$\left(X\cup (T(X)\setminus \operatorname {range} e),\delta _{(T(X)\setminus \operatorname {range} e)\times (T(X)\setminus \operatorname {range} e)}\cup (\delta (e(x),e(y)))_{x,y\in X}\cup (\delta (e(x),g))_{x\in X,g\in T(X)\setminus \operatorname {range} e}\cup (\delta (f,e(y))_{f\in T(X)\setminus \operatorname {range} e,y\in X}\right)$$
  दोनों इंजेक्शन मेट्रिक स्पेस हैं।
• किसी भी वाई के लिए ऐसा है $\operatorname {range} e\subseteq Y\subsetneq X\cup (T(X)\setminus \operatorname {range} e),$
  $$\left(X\cup (Y\setminus \operatorname {range} e),\delta _{(Y\setminus \operatorname {range} e)\times (Y\setminus \operatorname {range} e)}\cup (\delta (e(x),e(y)))_{x,y\in X}\cup (\delta (e(x),g))_{x\in X,g\in Y\setminus \operatorname {range} e}\cup (\delta (f,e(y))_{f\in Y\setminus \operatorname {range} e,y\in X}\right)$$
  अतिउत्तल नहीं है। ((टी (एक्स), δ) (एक्स, डी) का एक अतिउत्तल पतवार है।)
• होने देना $(H,\varepsilon )$ के सापेक्ष एक अतिउत्तल मीट्रिक स्पेस हो $X\subseteq H$ और $\varepsilon |_{X\times X}=\delta$. अगर सभी के लिए मैं सापेक्ष $X\subseteq I\subsetneq H,$ $(I,\varepsilon |_{I\times I})$ तब अतिउत्तल नहीं है $(H,\varepsilon )$ और (टी(एक्स),δ) आइसोमेट्री#आइसोमेट्री परिभाषा हैं। ((एक्स, डी) का प्रत्येक हाइपरकॉन्वेक्स हल (टी (एक्स), δ) के सापेक्ष आइसोमेट्रिक है।)

उदाहरण

• कहें |X|=3, विशिष्ट a, b, c चुनें जैसे कि X={a,b,c}, और मान लीजिए कि i=d(a,b), j=d(a,c), k=d (b,c) हैं। तब
  $$x=2^{-1}(i+j-k,i+k-j,j+k-i).$$