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

From Vigyanwiki
No edit summary
No edit summary
Line 6: Line 6:


== परिभाषा                                                                                                                                                                                                                                ==
== परिभाषा                                                                                                                                                                                                                                ==
होने देना {{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|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|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> दायां जोड़ होता है . यह जोड़ कॉम्पैक्ट-ओपन टोपोलॉजी से मेल खाता है और इसे विशिष्ट रूप से परिभाषित करने के लिए इसका उपयोग किया जा सकता है। कॉम्पैक्टली जेनरेटेड स्पेस की परिभाषा में संशोधन को उत्पाद के एडजॉइंट को टोपोलॉजिकल स्पेस की श्रेणी के अतिरिक्त कॉम्पैक्टली जेनरेटेड स्पेस की श्रेणी में लेने के रूप में देखा जा सकता है, जो यह सुनिश्चित करता है कि सही एडजॉइंट सदैव उपस्थित रहता है।
* अगर {{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|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>
* यदि {{math|*}} एक-बिंदु स्पेस है तो कोई पहचान {{math|''C''(*, ''Y'')}} सकता है  साथ {{mvar|Y}}, और इस पहचान के अनुसार कॉम्पैक्ट-ओपन टोपोलॉजी टोपोलॉजी {{mvar|Y}} से सहमत है . अधिक सामान्यतः, यदि {{mvar|X}} तो फिर [[पृथक स्थान|पृथक स्पेस]] है {{math|''C''(''X'', ''Y'')}} की पहचान [[कार्तीय गुणन]]फल से की जा सकती है {{math|{{!}}''X''{{!}}}} की प्रतियां {{mvar|Y}} और कॉम्पैक्ट-ओपन टोपोलॉजी [[उत्पाद टोपोलॉजी]] से सहमत है।
* अगर {{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}} समान स्पेस है, तो कॉम्पैक्ट-ओपन टोपोलॉजी एकसमान अभिसरण की टोपोलॉजी के बराबर है।
* यदि {{mvar|Y}} है {{math|[[T0 space|''T''<sub>0</sub>]]}}, {{math|[[T1 space|''T''<sub>1</sub>]]}}, हॉसडॉर्फ़ स्पेस, [[ नियमित स्थान | नियमित स्पेस]] , या [[टाइकोनोफ़ स्पेस]], तो कॉम्पैक्ट-ओपन टोपोलॉजी में संबंधित पृथक्करण सिद्धांत होता है।
* अगर {{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}} हॉसडॉर्फ और है {{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|X}} स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ (या प्रीरेगुलर) स्पेस है, फिर मूल्यांकन मानचित्र {{math|''e'' : ''C''(''X'', ''Y'') × ''X'' → ''Y''}}, द्वारा परिभाषित {{math|''e''(&thinsp;''f''&thinsp;, ''x'') {{=}} &thinsp;''f''&thinsp;(''x'')}}, सतत है. इसे उपरोक्त विशेष मामले के रूप में देखा जा सकता है {{mvar|X}} बिंदु वाला स्पेस है.
* यदि {{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}} समान स्पेस है, तो कॉम्पैक्ट-ओपन टोपोलॉजी एकसमान अभिसरण की टोपोलॉजी के बराबर है।
* अगर {{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|&thinsp;''f''&thinsp;, ''g''}} में {{math|''C''(''X'', ''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''}} में  उपस्थित होता है


=== अनुप्रयोग ===
=== अनुप्रयोग ===
कॉम्पैक्ट ओपन टोपोलॉजी का उपयोग निम्नलिखित समुच्चयों को टोपोलॉजी बनाने के लिए किया जा सकता है:<ref name=":0">{{Cite book|last1=Fomenko|first1=Anatoly|title=होमोटोपिकल टोपोलॉजी|last2=Fuchs|first2=Dmitry|edition=2nd|pages=20–23}}</ref>
कॉम्पैक्ट ओपन टोपोलॉजी का उपयोग निम्नलिखित समुच्चयों को टोपोलॉजी बनाने के लिए किया जा सकता है:<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</math> पर <math>x_0</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, 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>.
* <math>E(X, x_0) = \{ f: I \to X : f(0) = x_0 \}</math>.


इसके अलावा, रिक्त स्पेस के बीच Homotopy#Homotopy तुल्यता है <math>C(\Sigma X, Y) \cong C(X, \Omega Y)</math>.<ref name=":0" />ये टोपोलॉजिकल स्पेस, <math>C(X,Y)</math> होमोटोपी सिद्धांत में उपयोगी हैं क्योंकि इसका उपयोग टोपोलॉजिकल स्पेस बनाने और मानचित्रों के होमोटॉपी वर्गों के समुच्चय के होमोटॉपी प्रकार के लिए मॉडल बनाने के लिए किया जा सकता है।
इसके अतिरिक्त, रिक्त स्पेस के बीच होमोटॉपी तुल्यता <math>C(\Sigma X, Y) \cong C(X, \Omega Y)</math> है .<ref name=":0" /> ये टोपोलॉजिकल स्पेस, <math>C(X,Y)</math> होमोटोपी सिद्धांत में उपयोगी हैं क्योंकि इसका उपयोग टोपोलॉजिकल स्पेस बनाने और मैपों के होमोटॉपी वर्गों के समुच्चय के होमोटॉपी प्रकार के लिए मॉडल बनाने के लिए किया जा सकता है।
:<math>\pi(X,Y) = \{[f]: X \to Y | f \text{ is a homotopy class} \}.</math>
:<math>\pi(X,Y) = \{[f]: X \to Y | f \text{ is a homotopy class} \}.</math>
यह है क्योंकि <math>\pi(X,Y)</math> में पथ घटकों का समुच्चय है <math>C(X,Y)</math>, अर्थात्, समुच्चयों की समरूपता है
यह है क्योंकि <math>\pi(X,Y)</math> में पथ घटकों का समुच्चय <math>C(X,Y)</math> है ,अर्थात्, समुच्चयों की समरूपता है
:<math>\pi(X,Y) \to C(I, C(X, Y))/\sim</math>
:<math>\pi(X,Y) \to C(I, C(X, Y))/\sim</math>
कहाँ <math>\sim</math> समरूप समतुल्यता है।
जहाँ <math>\sim</math> समरूप समतुल्यता है।


== फ़्रेचेट अवकलनीय फलन ==
== फ़्रेचेट अवकलनीय फलन                                                                                                                                                                                                                     ==
होने देना {{mvar|X}} और {{mvar|Y}} ही क्षेत्र (गणित) पर परिभाषित दो बानाच स्पेस हों, और चलो {{math|''C<sup>&thinsp;m</sup>''(''U'', ''Y'')}} सभी के समुच्चय को निरूपित करें {{mvar|m}}-निरंतर फ़्रेचेट व्युत्पन्न|फ़्रेचेट-खुले उपसमुच्चय से भिन्न कार्य {{math|''U'' ⊆ ''X''}} को {{mvar|Y}}. कॉम्पैक्ट-ओपन टोपोलॉजी [[सेमिनोर्म]] द्वारा प्रेरित [[प्रारंभिक टोपोलॉजी]] है
माना {{mvar|X}} और {{mvar|Y}} ही क्षेत्र (गणित) पर परिभाषित दो बानाच स्पेस हों, और माना {{math|''C<sup>&thinsp;m</sup>''(''U'', ''Y'')}} सभी के समुच्चय को निरूपित करें {{mvar|m}}-निरंतर फ़्रेचेट व्युत्पन्न उपसमुच्चय से भिन्न कार्य {{math|''U'' ⊆ ''X''}} को {{mvar|Y}}. कॉम्पैक्ट-ओपन टोपोलॉजी [[सेमिनोर्म]] द्वारा प्रेरित [[प्रारंभिक टोपोलॉजी]] है


:<math>p_{K}(f) = \sup \left\{ \left\| D^j f(x) \right\| \ : \ x \in K, 0 \leq j \leq m \right\}</math>
:<math>p_{K}(f) = \sup \left\{ \left\| D^j f(x) \right\| \ : \ x \in K, 0 \leq j \leq m \right\}</math>
कहाँ {{math|''D''<sup>0</sup>&thinsp;''f''&thinsp;(''x'') {{=}} &thinsp;''f''&thinsp;(''x'')}}, प्रत्येक कॉम्पैक्ट उपसमुच्चय के लिए {{math|''K'' ⊆ ''U''}}.{{clarification needed|date=February 2022|reason=Is this original research showing that this definition is equivalent in this special case to the general definition given above? Or is it a definition copied from an external reference, in which case that reference should be cited?}}
जहाँ {{math|''D''<sup>0</sup>&thinsp;''f''&thinsp;(''x'') {{=}} &thinsp;''f''&thinsp;(''x'')}}, प्रत्येक कॉम्पैक्ट उपसमुच्चय {{math|''K'' ⊆ ''U''}} के लिए .


== यह भी देखें ==
== यह भी देखें                                                                                                                                                                                                                                   ==


* [[एकसमान अभिसरण की टोपोलॉजी]]
* [[एकसमान अभिसरण की टोपोलॉजी]]
* {{annotated link|Uniform convergence}}
* {{annotated link|एकसमान अभिसरण}}


== संदर्भ ==
== संदर्भ                                                                                                                                                                                                                                 ==
{{reflist}}
{{reflist}}
* {{Cite book|first=J.|last=Dugundji|author-link=James Dugundji|title=Topology|publisher=Allyn and Becon|year=1966|asin=B000KWE22K}}
* {{Cite book|first=J.|last=Dugundji|author-link=James Dugundji|title=Topology|publisher=Allyn and Becon|year=1966|asin=B000KWE22K}}

Revision as of 10:19, 7 July 2023

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

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


परिभाषा

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


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

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

गुण

  • यदि * एक-बिंदु स्पेस है तो कोई पहचान C(*, Y) सकता है साथ Y, और इस पहचान के अनुसार कॉम्पैक्ट-ओपन टोपोलॉजी टोपोलॉजी Y से सहमत है . अधिक सामान्यतः, यदि X तो फिर पृथक स्पेस है C(X, Y) की पहचान कार्तीय गुणनफल से की जा सकती है |X| की प्रतियां Y और कॉम्पैक्ट-ओपन टोपोलॉजी उत्पाद टोपोलॉजी से सहमत है।
  • यदि Y है T0, T1, हॉसडॉर्फ़ स्पेस, नियमित स्पेस , या टाइकोनोफ़ स्पेस, तो कॉम्पैक्ट-ओपन टोपोलॉजी में संबंधित पृथक्करण सिद्धांत होता है।
  • यदि X हॉसडॉर्फ और है S के लिए उपआधार है Y, फिर संग्रह {V(K, U) : U ∈ S, K compact} कॉम्पैक्ट-ओपन टोपोलॉजी के लिए उपआधार C(X, Y) है .[6]
  • यदि Y मीट्रिक स्पेस (या अधिक सामान्यतः, समान स्पेस) है, तो कॉम्पैक्ट-ओपन टोपोलॉजी कॉम्पैक्ट अभिसरण की टोपोलॉजी के बराबर है। दूसरे शब्दों में, यदि Y मीट्रिक स्पेस है, फिर अनुक्रम { fn } सीमा (गणित) s तक  f  कॉम्पैक्ट-ओपन टोपोलॉजी में यदि और केवल यदि प्रत्येक कॉम्पैक्ट उपसमुच्चय के लिए K का X, { fn } समान रूप से अभिसरित होता है  f  पर K. यदि X सघन है और Y समान स्पेस है, तो कॉम्पैक्ट-ओपन टोपोलॉजी एकसमान अभिसरण की टोपोलॉजी के बराबर है।
  • यदि X, Y और Z टोपोलॉजिकल स्पेस हैं, साथ में Y स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ (या यहां तक ​​कि केवल स्पेसीय रूप से कॉम्पैक्ट पूर्व नियमित स्पेस), फिर फलन संरचना C(Y, Z) × C(X, Y) → C(X, Z), द्वारा दिए गए ( f , g) ↦  f ∘ g, निरंतर है (यहां सभी फलन स्पेस को कॉम्पैक्ट-ओपन टोपोलॉजी दी गई है और C(Y, Z) × C(X, Y) उत्पाद टोपोलॉजी दी गई है)।
  • यदि X स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ (या प्रीरेगुलर) स्पेस है, फिर मूल्यांकन मैप e : C(X, Y) × X → 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]

  • ,पर का लूप स्पेस ,
  • ,
  • .

इसके अतिरिक्त, रिक्त स्पेस के बीच होमोटॉपी तुल्यता है .[7] ये टोपोलॉजिकल स्पेस, होमोटोपी सिद्धांत में उपयोगी हैं क्योंकि इसका उपयोग टोपोलॉजिकल स्पेस बनाने और मैपों के होमोटॉपी वर्गों के समुच्चय के होमोटॉपी प्रकार के लिए मॉडल बनाने के लिए किया जा सकता है।

यह है क्योंकि में पथ घटकों का समुच्चय है ,अर्थात्, समुच्चयों की समरूपता है

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

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

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

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

यह भी देखें

संदर्भ

  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.
  7. ↑ 7.0 7.1 Fomenko, Anatoly; Fuchs, Dmitry. होमोटोपिकल टोपोलॉजी (2nd ed.). pp. 20–23.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=कॉम्पैक्ट-ओपन_टोपोलॉजी&oldid=211038’