कॉम्पैक्ट-ओपन टोपोलॉजी: Difference between revisions

Revision as of 10:20, 7 July 2023

गणित में, कॉम्पैक्ट-ओपन टोपोलॉजी दो टोपोलॉजिकल स्पेस के बीच निरंतर फलन के समुच्चय (गणित) पर परिभाषित टोपोलॉजिकल स्पेस है। कॉम्पैक्ट-ओपन टोपोलॉजी फलन स्पेस पर सामान्यतः उपयोग की जाने वाली टोपोलॉजी में से है, और इसे होमोटॉपी सिद्धांत और कार्यात्मक विश्लेषण में प्रयुक्त किया जाता है। इसे 1945 में राल्फ फॉक्स द्वारा प्रस्तुत किया गया था।^[1]

यदि विचाराधीन फलन (गणित) के कोडोमेन में समान स्पेस या मीट्रिक स्पेस है तो कॉम्पैक्ट-ओपन टोपोलॉजी कॉम्पैक्ट समुच्चय पर समान अभिसरण की टोपोलॉजी है। कहने का तात्पर्य यह है कि, कॉम्पैक्ट-ओपन टोपोलॉजी में फलन का क्रम (गणित) ठीक उसी समय सीमित होता है जब यह किसी फलन के डोमेन के प्रत्येक कॉम्पैक्ट सबसमुच्चय पर समान रूप से परिवर्तित होता है।^[2]

परिभाषा

माना $X$ और $Y$ दो टोपोलॉजिकल स्पेस हों, और माना $C (X, Y)$ के बीच सभी सतत मैप के समुच्चय $X$ और $Y$ . को निरूपित करें कॉम्पैक्ट समुच्चय दिया गया $K$ का $X$ और ओपन समुच्चय $U$ का $Y$ है माना $V (K, U)$ सभी $f \in C (X, Y)$ कार्यों के समुच्चय को निरूपित करें ऐसा है कि $f (K) \subseteq U .$ दूसरे शब्दों में, $V(K,U)=C(K,U)\times _{C(K,Y)}C(X,Y)$ . फिर ऐसे सभी का संग्रह $V (K, U)$ कॉम्पैक्ट-ओपन टोपोलॉजी के लिए उपआधार $C (X, Y)$ है (यह संग्रह सदैव टोपोलॉजी के लिए आधार (टोपोलॉजी) $C (X, Y)$ नहीं बनाता है)

सघन रूप से उत्पन्न स्पेस की श्रेणी (गणित) में कार्य करते समय, उनसे बने उपआधार तक सीमित करके इस परिभाषा को संशोधित करना सामान्य बात है यह $K$ कॉम्पैक्ट समुच्चय हॉसडॉर्फ़ स्पेस की छवि है। निस्संदेह यदि $X$ कॉम्पैक्ट रूप से उत्पन्न होता है और हॉसडॉर्फ, यह परिभाषा पिछले के साथ मेल खाती है। चूँकि, संशोधित परिभाषा महत्वपूर्ण है यदि कोई अन्य उपयोगी गुणों के बीच अशक्त हॉसडॉर्फ अंतरिक्ष स्पेसों की सुविधाजनक श्रेणी को कार्टेशियन बंद श्रेणी में रखना चाहता है।^[3]^[4]^[5] इस परिभाषा और उपरोक्त परिभाषा के बीच भ्रम कॉम्पैक्ट समुच्चय शब्द के अलग-अलग उपयोग के कारण होता है।

यदि $X$ तो स्पेसीय रूप से कॉम्पैक्ट $X\times -$ है टोपोलॉजिकल स्पेस की श्रेणी से सदैव $Hom(X,-)$ दायां जोड़ होता है . यह जोड़ कॉम्पैक्ट-ओपन टोपोलॉजी से मेल खाता है और इसे विशिष्ट रूप से परिभाषित करने के लिए इसका उपयोग किया जा सकता है। कॉम्पैक्टली जेनरेटेड स्पेस की परिभाषा में संशोधन को उत्पाद के एडजॉइंट को टोपोलॉजिकल स्पेस की श्रेणी के अतिरिक्त कॉम्पैक्टली जेनरेटेड स्पेस की श्रेणी में लेने के रूप में देखा जा सकता है, जो यह सुनिश्चित करता है कि सही एडजॉइंट सदैव उपस्थित रहता है।

गुण

यदि $*$ एक-बिंदु स्पेस है तो कोई पहचान $C (*, Y)$ सकता है साथ $Y$ , और इस पहचान के अनुसार कॉम्पैक्ट-ओपन टोपोलॉजी टोपोलॉजी $Y$ से सहमत है . अधिक सामान्यतः, यदि $X$ तो फिर पृथक स्पेस है $C (X, Y)$ की पहचान कार्तीय गुणनफल से की जा सकती है $| X |$ की प्रतियां $Y$ और कॉम्पैक्ट-ओपन टोपोलॉजी उत्पाद टोपोलॉजी से सहमत है।
यदि $Y$ है $T 0$ , $T 1$ , हॉसडॉर्फ़ स्पेस, नियमित स्पेस , या टाइकोनोफ़ स्पेस, तो कॉम्पैक्ट-ओपन टोपोलॉजी में संबंधित पृथक्करण सिद्धांत होता है।
यदि $X$ हॉसडॉर्फ और है $S$ के लिए उपआधार है $Y$ , फिर संग्रह ${V (K, U) : U \in S, K compact}$ कॉम्पैक्ट-ओपन टोपोलॉजी के लिए उपआधार $C (X, Y)$ है .^[6]
यदि $Y$ मीट्रिक स्पेस (या अधिक सामान्यतः, समान स्पेस) है, तो कॉम्पैक्ट-ओपन टोपोलॉजी कॉम्पैक्ट अभिसरण की टोपोलॉजी के बराबर है। दूसरे शब्दों में, यदि $Y$ मीट्रिक स्पेस है, फिर अनुक्रम ${f n}$ सीमा (गणित) s तक $f$ कॉम्पैक्ट-ओपन टोपोलॉजी में यदि और केवल यदि प्रत्येक कॉम्पैक्ट उपसमुच्चय के लिए $K$ का $X$ , ${f n}$ समान रूप से अभिसरित होता है $f$ पर $K$ . यदि $X$ सघन है और $Y$ समान स्पेस है, तो कॉम्पैक्ट-ओपन टोपोलॉजी एकसमान अभिसरण की टोपोलॉजी के बराबर है।
यदि $X, Y$ और $Z$ टोपोलॉजिकल स्पेस हैं, साथ में $Y$ स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ (या यहां तक कि केवल स्पेसीय रूप से कॉम्पैक्ट पूर्व नियमित स्पेस), फिर फलन संरचना $C (Y, Z) \times C (X, Y) \to C (X, Z),$ द्वारा दिए गए $(f, g) \mapsto f \circ g,$ निरंतर है (यहां सभी फलन स्पेस को कॉम्पैक्ट-ओपन टोपोलॉजी दी गई है और $C (Y, Z) \times C (X, Y)$ उत्पाद टोपोलॉजी दी गई है)।
यदि $X$ स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ (या प्रीरेगुलर) स्पेस है, फिर मूल्यांकन मैप $e : C (X, Y) \times X \to Y$ , द्वारा परिभाषित $e (f, x) = f (x)$ , सतत है. इसे उपरोक्त विशेष स्थिति के रूप में देखा जा सकता है $X$ बिंदु वाला स्पेस है.
यदि $X$ सघन है, और $Y$ मीट्रिक (गणित) के साथ मीट्रिक स्पेस $d$ है , फिर कॉम्पैक्ट-ओपन टोपोलॉजी प्रारंभ $C (X, Y)$ मेट्रिसेबल स्पेस है, और इसके लिए $e (f, g) = sup {d (f (x), g (x)) : x in X},$ मीट्रिक इसके द्वारा दिया गया है $C (X, Y)$ के लिए $f, g$ में उपस्थित होता है

अनुप्रयोग

कॉम्पैक्ट ओपन टोपोलॉजी का उपयोग निम्नलिखित समुच्चयों को टोपोलॉजी बनाने के लिए किया जा सकता है:^[7]

$\Omega (X,x_{0})=\{f:I\to X:f(0)=f(1)=x_{0}\}$ , $x_{0}$ पर का $X$ लूप स्पेस ,
$E(X,x_{0},x_{1})=\{f:I\to X:f(0)=x_{0}{\text{ and }}f(1)=x_{1}\}$ ,
$E(X,x_{0})=\{f:I\to X:f(0)=x_{0}\}$ .

इसके अतिरिक्त, रिक्त स्पेस के बीच होमोटॉपी तुल्यता $C(\Sigma X,Y)\cong C(X,\Omega Y)$ है .^[7] ये टोपोलॉजिकल स्पेस, $C(X,Y)$ होमोटोपी सिद्धांत में उपयोगी हैं क्योंकि इसका उपयोग टोपोलॉजिकल स्पेस बनाने और मैपों के होमोटॉपी वर्गों के समुच्चय के होमोटॉपी प्रकार के लिए मॉडल बनाने के लिए किया जा सकता है।

\pi (X,Y)=\{[f]:X\to Y|f{\text{ is a homotopy class}}\}.

यह है क्योंकि $\pi (X,Y)$ में पथ घटकों का समुच्चय $C(X,Y)$ है ,अर्थात्, समुच्चयों की समरूपता है

\pi (X,Y)\to C(I,C(X,Y))/\sim

जहाँ $\sim$ समरूप समतुल्यता है।

फ़्रेचेट अवकलनीय फलन

माना $X$ और $Y$ ही क्षेत्र (गणित) पर परिभाषित दो बानाच स्पेस हों, और माना $C m (U, Y)$ सभी के समुच्चय को निरूपित करें $m$ -निरंतर फ़्रेचेट व्युत्पन्न उपसमुच्चय से भिन्न कार्य $U \subseteq X$ को $Y$ . कॉम्पैक्ट-ओपन टोपोलॉजी सेमिनोर्म द्वारा प्रेरित प्रारंभिक टोपोलॉजी है

p_{K}(f)=\sup \left\{\left\|D^{j}f(x)\right\|\ :\ x\in K,0\leq j\leq m\right\}

जहाँ $D 0 f (x) = f (x)$ , प्रत्येक कॉम्पैक्ट उपसमुच्चय $K \subseteq U$ के लिए .

यह भी देखें

एकसमान अभिसरण की टोपोलॉजी
एकसमान अभिसरण – Mode of convergence of a function sequence

संदर्भ

↑ Fox, Ralph H. (1945). "फ़ंक्शन स्पेस के लिए टोपोलॉजी पर". Bulletin of the American Mathematical Society. 51 (6): 429–433. doi:10.1090/S0002-9904-1945-08370-0.
↑ Kelley, John L. (1975). सामान्य टोपोलॉजी. Springer-Verlag. p. 230.
↑ McCord, M. C. (1969). "रिक्त स्थान और अनंत सममित उत्पादों का वर्गीकरण". Transactions of the American Mathematical Society. 146: 273–298. doi:10.1090/S0002-9947-1969-0251719-4. JSTOR 1995173.
↑ "A Concise Course in Algebraic Topology" (PDF).
↑ "Compactly Generated Spaces" (PDF).
↑ Jackson, James R. (1952). "होमोटोपी सिद्धांत के अनुप्रयोगों के साथ टोपोलॉजिकल उत्पादों पर मैपिंग के स्थान" (PDF). Proceedings of the American Mathematical Society. 3 (2): 327–333. doi:10.1090/S0002-9939-1952-0047322-4. JSTOR 2032279.
↑ ^7.0 ^7.1 Fomenko, Anatoly; Fuchs, Dmitry. होमोटोपिकल टोपोलॉजी (2nd ed.). pp. 20–23.

Dugundji, J. (1966). Topology. Allyn and Becon. ASIN B000KWE22K.
O.Ya. Viro, O.A. Ivanov, V.M. Kharlamov and N.Yu. Netsvetaev (2007) Textbook in Problems on Elementary Topology.
"Compact-open topology". PlanetMath.
Topology and Groupoids Section 5.9 Ronald Brown, 2006

[1] Fox, Ralph H. (1945). "फ़ंक्शन स्पेस के लिए टोपोलॉजी पर". Bulletin of the American Mathematical Society. 51 (6): 429–433. doi:10.1090/S0002-9904-1945-08370-0.

[2] Kelley, John L. (1975). सामान्य टोपोलॉजी. Springer-Verlag. p. 230.

[3] McCord, M. C. (1969). "रिक्त स्थान और अनंत सममित उत्पादों का वर्गीकरण". Transactions of the American Mathematical Society. 146: 273–298. doi:10.1090/S0002-9947-1969-0251719-4. JSTOR 1995173.

[4] "A Concise Course in Algebraic Topology" (PDF).

[5] "Compactly Generated Spaces" (PDF).

[6] Jackson, James R. (1952). "होमोटोपी सिद्धांत के अनुप्रयोगों के साथ टोपोलॉजिकल उत्पादों पर मैपिंग के स्थान" (PDF). Proceedings of the American Mathematical Society. 3 (2): 327–333. doi:10.1090/S0002-9939-1952-0047322-4. JSTOR 2032279.

[:0-7] 7.0 ^7.1 Fomenko, Anatoly; Fuchs, Dmitry. होमोटोपिकल टोपोलॉजी (2nd ed.). pp. 20–23.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 2: / Line 2: @@
 यदि विचाराधीन [[फ़ंक्शन (गणित)|फलन (गणित)]] के [[कोडोमेन]] में समान स्पेस या [[मीट्रिक स्थान|मीट्रिक स्पेस]] है तो कॉम्पैक्ट-ओपन टोपोलॉजी [[कॉम्पैक्ट सेट|कॉम्पैक्ट समुच्चय]] पर समान अभिसरण की टोपोलॉजी है। कहने का तात्पर्य यह है कि, कॉम्पैक्ट-ओपन टोपोलॉजी में फलन का क्रम (गणित) ठीक उसी समय सीमित होता है जब यह किसी फलन के डोमेन के प्रत्येक कॉम्पैक्ट सबसमुच्चय पर समान रूप से परिवर्तित होता है।<ref>{{cite book|last1=Kelley|first1=John L.|title=सामान्य टोपोलॉजी|date=1975|publisher=Springer-Verlag|page=230}}</ref>
+== परिभाषा                                                                                                                                                                                                                                 ==
+माना {{mvar|X}} और {{mvar|Y}} दो टोपोलॉजिकल स्पेस हों, और माना {{math|''C''(''X'', ''Y'')}} के बीच सभी [[सतत मानचित्र|सतत मैप]] के समुच्चय {{mvar|X}} और {{mvar|Y}}. को निरूपित करें कॉम्पैक्ट समुच्चय दिया गया {{mvar|K}} का {{mvar|X}} और [[खुला सेट|ओपन समुच्चय]] {{mvar|U}} का {{mvar|Y}} है माना {{math|''V''(''K'', ''U'')}} सभी {{math|&thinsp;''f''&thinsp; ∈ ''C''(''X'', ''Y'')}} कार्यों के समुच्चय को निरूपित करें ऐसा है कि {{math|&thinsp;''f''&thinsp;(''K'') ⊆ ''U''.}} दूसरे शब्दों में, <math>V(K, U) = C(K, U) \times_{C(K, Y)} C(X, Y)</math>. फिर ऐसे सभी का संग्रह {{math|''V''(''K'', ''U'')}} कॉम्पैक्ट-ओपन टोपोलॉजी के लिए उपआधार {{math|''C''(''X'', ''Y'')}} है (यह संग्रह सदैव टोपोलॉजी के लिए [[आधार (टोपोलॉजी)]] {{math|''C''(''X'', ''Y'')}} नहीं बनाता है)
-== परिभाषा                                                                                                                                                                                                                                 ==
+[[सघन रूप से उत्पन्न स्थान|सघन रूप से उत्पन्न स्पेस]] की [[श्रेणी (गणित)]] में कार्य करते समय, उनसे बने उपआधार तक सीमित करके इस परिभाषा को संशोधित करना सामान्य बात है यह {{mvar|K}} कॉम्पैक्ट समुच्चय [[हॉसडॉर्फ़ स्थान|हॉसडॉर्फ़ स्पेस]] की छवि है। निस्संदेह यदि {{mvar|X}} कॉम्पैक्ट रूप से उत्पन्न होता है और हॉसडॉर्फ, यह परिभाषा पिछले के साथ मेल खाती है। चूँकि, संशोधित परिभाषा महत्वपूर्ण है यदि कोई अन्य उपयोगी गुणों के बीच अशक्त हॉसडॉर्फ अंतरिक्ष स्पेसों की सुविधाजनक श्रेणी को कार्टेशियन बंद श्रेणी में रखना चाहता है।<ref>{{cite journal |jstor=1995173 |title=रिक्त स्थान और अनंत सममित उत्पादों का वर्गीकरण| pages=273–298|last1=McCord |first1=M. C. |journal=Transactions of the American Mathematical Society |year=1969 |volume=146 |doi=10.1090/S0002-9947-1969-0251719-4 |doi-access=free }}</ref><ref>{{cite web |url=http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf |title=A Concise Course in Algebraic Topology}}</ref><ref>{{cite web |url=http://neil-strickland.staff.shef.ac.uk/courses/homotopy/cgwh.pdf |title=Compactly Generated Spaces}}</ref> इस परिभाषा और उपरोक्त परिभाषा के बीच भ्रम कॉम्पैक्ट समुच्चय शब्द के अलग-अलग उपयोग के कारण होता है।
-माना {{mvar|X}} और {{mvar|Y}} दो टोपोलॉजिकल स्पेस हों, और माना {{math|''C''(''X'', ''Y'')}} के बीच सभी [[सतत मानचित्र|सतत मैप]] के समुच्चय  {{mvar|X}} और {{mvar|Y}}. को निरूपित करें कॉम्पैक्ट समुच्चय दिया गया {{mvar|K}} का {{mvar|X}} और [[खुला सेट|ओपन समुच्चय]] {{mvar|U}} का {{mvar|Y}}  है माना {{math|''V''(''K'', ''U'')}} सभी {{math|&thinsp;''f''&thinsp; ∈ ''C''(''X'', ''Y'')}} कार्यों के समुच्चय को निरूपित करें  ऐसा है कि {{math|&thinsp;''f''&thinsp;(''K'') ⊆ ''U''.}} दूसरे शब्दों में, <math>V(K, U) = C(K, U) \times_{C(K, Y)} C(X, Y)</math>. फिर ऐसे सभी का संग्रह {{math|''V''(''K'', ''U'')}} कॉम्पैक्ट-ओपन टोपोलॉजी के लिए उपआधार {{math|''C''(''X'', ''Y'')}} है (यह संग्रह सदैव टोपोलॉजी के लिए [[आधार (टोपोलॉजी)]] {{math|''C''(''X'', ''Y'')}} नहीं बनाता है)
-[[सघन रूप से उत्पन्न स्थान|सघन रूप से उत्पन्न स्पेस]] की [[श्रेणी (गणित)]] में कार्य करते समय, उनसे बने उपआधार तक सीमित करके इस परिभाषा को संशोधित करना सामान्य बात है  यह {{mvar|K}} कॉम्पैक्ट समुच्चय [[हॉसडॉर्फ़ स्थान|हॉसडॉर्फ़ स्पेस]] की छवि है। निस्संदेह यदि {{mvar|X}} कॉम्पैक्ट रूप से उत्पन्न होता है और हॉसडॉर्फ, यह परिभाषा पिछले के साथ मेल खाती है। चूँकि, संशोधित परिभाषा महत्वपूर्ण है यदि कोई अन्य उपयोगी गुणों के बीच अशक्त हॉसडॉर्फ अंतरिक्ष स्पेसों की सुविधाजनक श्रेणी को कार्टेशियन बंद श्रेणी में रखना चाहता है।<ref>{{cite journal |jstor=1995173 |title=रिक्त स्थान और अनंत सममित उत्पादों का वर्गीकरण| pages=273–298|last1=McCord |first1=M. C. |journal=Transactions of the American Mathematical Society |year=1969 |volume=146 |doi=10.1090/S0002-9947-1969-0251719-4 |doi-access=free }}</ref><ref>{{cite web |url=http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf |title=A Concise Course in Algebraic Topology}}</ref><ref>{{cite web |url=http://neil-strickland.staff.shef.ac.uk/courses/homotopy/cgwh.pdf |title=Compactly Generated Spaces}}</ref> इस परिभाषा और उपरोक्त परिभाषा के बीच भ्रम कॉम्पैक्ट समुच्चय शब्द के अलग-अलग उपयोग के कारण होता है।
-यदि {{mvar|X}} तो स्पेसीय रूप से कॉम्पैक्ट <math> X \times - </math> है  टोपोलॉजिकल स्पेस की श्रेणी से सदैव <math> Hom(X, -) </math> दायां जोड़ होता है . यह जोड़ कॉम्पैक्ट-ओपन टोपोलॉजी से मेल खाता है और इसे विशिष्ट रूप से परिभाषित करने के लिए इसका उपयोग किया जा सकता है। कॉम्पैक्टली जेनरेटेड स्पेस की परिभाषा में संशोधन को उत्पाद के एडजॉइंट को टोपोलॉजिकल स्पेस की श्रेणी के अतिरिक्त कॉम्पैक्टली जेनरेटेड स्पेस की श्रेणी में लेने के रूप में देखा जा सकता है, जो यह सुनिश्चित करता है कि सही एडजॉइंट सदैव उपस्थित रहता है।
+यदि {{mvar|X}} तो स्पेसीय रूप से कॉम्पैक्ट <math> X \times - </math> है टोपोलॉजिकल स्पेस की श्रेणी से सदैव <math> Hom(X, -) </math> दायां जोड़ होता है . यह जोड़ कॉम्पैक्ट-ओपन टोपोलॉजी से मेल खाता है और इसे विशिष्ट रूप से परिभाषित करने के लिए इसका उपयोग किया जा सकता है। कॉम्पैक्टली जेनरेटेड स्पेस की परिभाषा में संशोधन को उत्पाद के एडजॉइंट को टोपोलॉजिकल स्पेस की श्रेणी के अतिरिक्त कॉम्पैक्टली जेनरेटेड स्पेस की श्रेणी में लेने के रूप में देखा जा सकता है, जो यह सुनिश्चित करता है कि सही एडजॉइंट सदैव उपस्थित रहता है।
 == गुण                                                                                                                                                                                                                               ==
-* यदि {{math|*}} एक-बिंदु स्पेस है तो कोई पहचान {{math|''C''(*, ''Y'')}} सकता है  साथ {{mvar|Y}}, और इस पहचान के अनुसार कॉम्पैक्ट-ओपन टोपोलॉजी टोपोलॉजी {{mvar|Y}} से सहमत है . अधिक सामान्यतः, यदि {{mvar|X}} तो फिर [[पृथक स्थान|पृथक स्पेस]] है {{math|''C''(''X'', ''Y'')}} की पहचान [[कार्तीय गुणन]]फल से की जा सकती है {{math|{{!}}''X''{{!}}}} की प्रतियां {{mvar|Y}} और कॉम्पैक्ट-ओपन टोपोलॉजी [[उत्पाद टोपोलॉजी]] से सहमत है।
+* यदि {{math|*}} एक-बिंदु स्पेस है तो कोई पहचान {{math|''C''(*, ''Y'')}} सकता है साथ {{mvar|Y}}, और इस पहचान के अनुसार कॉम्पैक्ट-ओपन टोपोलॉजी टोपोलॉजी {{mvar|Y}} से सहमत है . अधिक सामान्यतः, यदि {{mvar|X}} तो फिर [[पृथक स्थान|पृथक स्पेस]] है {{math|''C''(''X'', ''Y'')}} की पहचान [[कार्तीय गुणन]]फल से की जा सकती है {{math|{{!}}''X''{{!}}}} की प्रतियां {{mvar|Y}} और कॉम्पैक्ट-ओपन टोपोलॉजी [[उत्पाद टोपोलॉजी]] से सहमत है।
-* यदि {{mvar|Y}} है {{math|[[T0 space|''T''<sub>0</sub>]]}}, {{math|[[T1 space|''T''<sub>1</sub>]]}}, हॉसडॉर्फ़ स्पेस, [[ नियमित स्थान | नियमित स्पेस]] , या [[टाइकोनोफ़ स्पेस]], तो कॉम्पैक्ट-ओपन टोपोलॉजी में संबंधित पृथक्करण सिद्धांत होता है।
+* यदि {{mvar|Y}} है {{math|[[T0 space|''T''<sub>0</sub>]]}}, {{math|[[T1 space|''T''<sub>1</sub>]]}}, हॉसडॉर्फ़ स्पेस, [[ नियमित स्थान |नियमित स्पेस]] , या [[टाइकोनोफ़ स्पेस]], तो कॉम्पैक्ट-ओपन टोपोलॉजी में संबंधित पृथक्करण सिद्धांत होता है।
 * यदि {{mvar|X}} हॉसडॉर्फ और है {{mvar|S}} के लिए उपआधार है {{mvar|Y}}, फिर संग्रह {{math|{''V''(''K'',&nbsp;''U'') : ''U'' ∈ ''S'', ''K'' compact} }}कॉम्पैक्ट-ओपन टोपोलॉजी के लिए उपआधार {{math|''C''(''X'', ''Y'')}} है .<ref>{{cite journal |jstor=2032279 |title=होमोटोपी सिद्धांत के अनुप्रयोगों के साथ टोपोलॉजिकल उत्पादों पर मैपिंग के स्थान|author=Jackson, James R. |journal=Proceedings of the American Mathematical Society |year=1952 |volume=3 |issue=2 |pages=327–333 |doi=10.1090/S0002-9939-1952-0047322-4 | url=https://www.ams.org/journals/proc/1952-003-02/S0002-9939-1952-0047322-4/S0002-9939-1952-0047322-4.pdf|doi-access=free }}</ref>
 * यदि {{mvar|Y}} मीट्रिक स्पेस (या अधिक सामान्यतः, समान स्पेस) है, तो कॉम्पैक्ट-ओपन टोपोलॉजी [[कॉम्पैक्ट अभिसरण की टोपोलॉजी]] के बराबर है। दूसरे शब्दों में, यदि {{mvar|Y}} मीट्रिक स्पेस है, फिर अनुक्रम {{math|{&thinsp;''f''<sub>''n''</sub>&thinsp;} }}सीमा (गणित) s तक {{math|&thinsp;''f''&thinsp;}} कॉम्पैक्ट-ओपन टोपोलॉजी में यदि और केवल यदि प्रत्येक कॉम्पैक्ट उपसमुच्चय के लिए {{mvar|K}} का {{mvar|X}}, {{math|{&thinsp;''f''<sub>''n''</sub>&thinsp;} }}समान रूप से अभिसरित होता है {{math|&thinsp;''f''&thinsp;}} पर {{mvar|K}}. यदि {{mvar|X}} सघन है और {{mvar|Y}} समान स्पेस है, तो कॉम्पैक्ट-ओपन टोपोलॉजी एकसमान अभिसरण की टोपोलॉजी के बराबर है।
 * यदि {{math|''X'', ''Y''}} और {{mvar|Z}} टोपोलॉजिकल स्पेस हैं, साथ में {{mvar|Y}} [[स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ|स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ]] (या यहां तक कि केवल स्पेसीय रूप से कॉम्पैक्ट [[पूर्व नियमित स्थान|पूर्व नियमित स्पेस]]), फिर फलन संरचना {{math|''C''(''Y'', ''Z'')&thinsp;×&thinsp;''C''(''X'', ''Y'') → ''C''(''X'', ''Z''),}} द्वारा दिए गए {{math|(&thinsp;''f''&thinsp;, ''g'') ↦ &thinsp;''f''&thinsp;∘&thinsp;''g'',}} निरंतर है (यहां सभी फलन स्पेस को कॉम्पैक्ट-ओपन टोपोलॉजी दी गई है और {{math|''C''(''Y'', ''Z'')&thinsp;×&thinsp;''C''(''X'', ''Y'')}} उत्पाद टोपोलॉजी दी गई है)।
 *यदि {{mvar|X}} स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ (या प्रीरेगुलर) स्पेस है, फिर मूल्यांकन मैप {{math|''e'' : ''C''(''X'', ''Y'') × ''X'' → ''Y''}}, द्वारा परिभाषित {{math|''e''(&thinsp;''f''&thinsp;, ''x'') {{=}} &thinsp;''f''&thinsp;(''x'')}}, सतत है. इसे उपरोक्त विशेष स्थिति के रूप में देखा जा सकता है {{mvar|X}} बिंदु वाला स्पेस है.
-* यदि {{mvar|X}} सघन है, और {{mvar|Y}} [[मीट्रिक (गणित)]] के साथ मीट्रिक स्पेस {{mvar|d}} है , फिर कॉम्पैक्ट-ओपन टोपोलॉजी प्रारंभ {{math|''C''(''X'', ''Y'')}} [[ मेट्रिसेबल स्थान | मेट्रिसेबल स्पेस]]  है, और इसके लिए {{math|''e''(&thinsp;''f''&thinsp;, ''g'') {{=}} [[supremum|sup]]{''d''(&thinsp;''f''&thinsp;(''x''), ''g''(''x'')) : ''x'' in ''X''},}} मीट्रिक इसके द्वारा दिया गया है {{math|''C''(''X'', ''Y'')}} के लिए {{math|&thinsp;''f''&thinsp;, ''g''}} में  उपस्थित होता है
+* यदि {{mvar|X}} सघन है, और {{mvar|Y}} [[मीट्रिक (गणित)]] के साथ मीट्रिक स्पेस {{mvar|d}} है , फिर कॉम्पैक्ट-ओपन टोपोलॉजी प्रारंभ {{math|''C''(''X'', ''Y'')}} [[ मेट्रिसेबल स्थान |मेट्रिसेबल स्पेस]] है, और इसके लिए {{math|''e''(&thinsp;''f''&thinsp;, ''g'') {{=}} [[supremum|sup]]{''d''(&thinsp;''f''&thinsp;(''x''), ''g''(''x'')) : ''x'' in ''X''},}} मीट्रिक इसके द्वारा दिया गया है {{math|''C''(''X'', ''Y'')}} के लिए {{math|&thinsp;''f''&thinsp;, ''g''}} में उपस्थित होता है
 === अनुप्रयोग ===
 कॉम्पैक्ट ओपन टोपोलॉजी का उपयोग निम्नलिखित समुच्चयों को टोपोलॉजी बनाने के लिए किया जा सकता है:<ref name=":0">{{Cite book|last1=Fomenko|first1=Anatoly|title=होमोटोपिकल टोपोलॉजी|last2=Fuchs|first2=Dmitry|edition=2nd|pages=20–23}}</ref>
-* <math>\Omega(X,x_0) = \{ f: I \to X : f(0) = f(1) = x_0 \}</math>,<math>x_0</math>पर  का <math>X</math> [[लूप स्पेस]]  ,
+* <math>\Omega(X,x_0) = \{ f: I \to X : f(0) = f(1) = x_0 \}</math>,<math>x_0</math>पर का <math>X</math> [[लूप स्पेस]] ,
 * <math>E(X, x_0, x_1) = \{ f: I \to X : f(0) = x_0 \text{ and } f(1) = x_1 \}</math>,
 * <math>E(X, x_0) = \{ f: I \to X : f(0) = x_0 \}</math>.
@@ Line 50: / Line 48: @@
 * O.Ya. Viro, O.A. Ivanov, V.M. Kharlamov and N.Yu. Netsvetaev (2007) [http://www.math.uu.se/~oleg/topoman.html Textbook in Problems on Elementary Topology].
 * {{planetmath reference|urlname=CompactOpenTopology|title=Compact-open topology}}
-*  [http://groupoids.org.uk/topgpds.html Topology and Groupoids Section 5.9 ] Ronald Brown, 2006
+*  [http://groupoids.org.uk/topgpds.html Topology and Groupoids Section 5.9] Ronald Brown, 2006
 [[Category: सामान्य टोपोलॉजी]] [[Category: फ़ंक्शन स्पेस की टोपोलॉजी]]

Anonymous

Search

कॉम्पैक्ट-ओपन टोपोलॉजी: Difference between revisions

Namespaces

More

Page actions

Revision as of 10:20, 7 July 2023

Contents

परिभाषा

गुण

अनुप्रयोग

फ़्रेचेट अवकलनीय फलन

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

कॉम्पैक्ट-ओपन टोपोलॉजी: Difference between revisions

Revision as of 10:20, 7 July 2023

परिभाषा

गुण

अनुप्रयोग

फ़्रेचेट अवकलनीय फलन

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories