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

From Vigyanwiki
(Created page with "गणित में, कॉम्पैक्ट-ओपन टोपोलॉजी दो टोपोलॉजिकल स्पेस के बीच निरं...")
 
No edit summary
Line 1: Line 1:
गणित में, कॉम्पैक्ट-ओपन टोपोलॉजी दो [[टोपोलॉजिकल स्पेस]] के बीच निरंतर फ़ंक्शन के [[सेट (गणित)]] पर परिभाषित एक टोपोलॉजिकल स्पेस है। कॉम्पैक्ट-ओपन टोपोलॉजी [[कार्य स्थान]] पर आमतौर पर उपयोग की जाने वाली टोपोलॉजी में से एक है, और इसे होमोटॉपी सिद्धांत और [[कार्यात्मक विश्लेषण]] में लागू किया जाता है। इसे 1945 में [[राल्फ फॉक्स]] द्वारा पेश किया गया था।<ref>{{Cite journal|url=https://www.ams.org/journals/bull/1945-51-06/S0002-9904-1945-08370-0/|doi = 10.1090/S0002-9904-1945-08370-0|title = फ़ंक्शन स्पेस के लिए टोपोलॉजी पर|year = 1945|last1 = Fox|first1 = Ralph H.|journal = Bulletin of the American Mathematical Society|volume = 51|issue = 6|pages = 429–433|doi-access = free}}</ref>
गणित में, कॉम्पैक्ट-ओपन टोपोलॉजी दो [[टोपोलॉजिकल स्पेस]] के बीच निरंतर फ़ंक्शन के [[सेट (गणित)]] पर परिभाषित टोपोलॉजिकल स्पेस है। कॉम्पैक्ट-ओपन टोपोलॉजी [[कार्य स्थान]] पर आमतौर पर उपयोग की जाने वाली टोपोलॉजी में से है, और इसे होमोटॉपी सिद्धांत और [[कार्यात्मक विश्लेषण]] में लागू किया जाता है। इसे 1945 में [[राल्फ फॉक्स]] द्वारा पेश किया गया था।<ref>{{Cite journal|url=https://www.ams.org/journals/bull/1945-51-06/S0002-9904-1945-08370-0/|doi = 10.1090/S0002-9904-1945-08370-0|title = फ़ंक्शन स्पेस के लिए टोपोलॉजी पर|year = 1945|last1 = Fox|first1 = Ralph H.|journal = Bulletin of the American Mathematical Society|volume = 51|issue = 6|pages = 429–433|doi-access = free}}</ref>
यदि विचाराधीन [[फ़ंक्शन (गणित)]] के [[कोडोमेन]] में एक समान स्थान या [[मीट्रिक स्थान]] है तो कॉम्पैक्ट-ओपन टोपोलॉजी [[कॉम्पैक्ट सेट]] पर समान अभिसरण की टोपोलॉजी है। कहने का तात्पर्य यह है कि, कॉम्पैक्ट-ओपन टोपोलॉजी में फ़ंक्शंस का एक क्रम (गणित) ठीक उसी समय सीमित होता है जब यह किसी फ़ंक्शन के डोमेन के प्रत्येक कॉम्पैक्ट सबसेट पर समान रूप से परिवर्तित होता है।<ref>{{cite book|last1=Kelley|first1=John L.|title=सामान्य टोपोलॉजी|date=1975|publisher=Springer-Verlag|page=230}}</ref>
यदि विचाराधीन [[फ़ंक्शन (गणित)]] के [[कोडोमेन]] में समान स्थान या [[मीट्रिक स्थान]] है तो कॉम्पैक्ट-ओपन टोपोलॉजी [[कॉम्पैक्ट सेट]] पर समान अभिसरण की टोपोलॉजी है। कहने का तात्पर्य यह है कि, कॉम्पैक्ट-ओपन टोपोलॉजी में फ़ंक्शंस का क्रम (गणित) ठीक उसी समय सीमित होता है जब यह किसी फ़ंक्शन के डोमेन के प्रत्येक कॉम्पैक्ट सबसेट पर समान रूप से परिवर्तित होता है।<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|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|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|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}} एक समान स्थान है, तो कॉम्पैक्ट-ओपन टोपोलॉजी एकसमान अभिसरण की टोपोलॉजी के बराबर है।
* अगर {{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'')}} उत्पाद टोपोलॉजी दी गई है)।
* अगर {{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}} स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ (या प्रीरेगुलर) स्थान है, फिर मूल्यांकन मानचित्र {{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|&thinsp;''f''&thinsp;, ''g''}} में {{math|''C''(''X'', ''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'')}}.


=== अनुप्रयोग ===
=== अनुप्रयोग ===
Line 25: Line 25:
* <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> होमोटोपी सिद्धांत में उपयोगी हैं क्योंकि इसका उपयोग टोपोलॉजिकल स्पेस बनाने और मानचित्रों के होमोटॉपी वर्गों के सेट के होमोटॉपी प्रकार के लिए एक मॉडल बनाने के लिए किया जा सकता है।
इसके अलावा, रिक्त स्थान के बीच Homotopy#Homotopy तुल्यता है <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>

Revision as of 09:56, 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(KU) : US, 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) × XY, द्वारा परिभाषित e( f , x) =  f (x), सतत है. इसे उपरोक्त विशेष मामले के रूप में देखा जा सकता है X बिंदु वाला स्थान है.
  • अगर X सघन है, और Y मीट्रिक (गणित) के साथ मीट्रिक स्थान है d, फिर कॉम्पैक्ट-ओपन टोपोलॉजी चालू C(X, Y) मेट्रिसेबल स्थान है, और इसके लिए मीट्रिक इसके द्वारा दिया गया है e( f , g) = sup{d( f (x), g(x)) : x in X}, के लिए f , g में C(X, Y).

अनुप्रयोग

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

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

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

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

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

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

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

कहाँ D0f (x) =  f (x), प्रत्येक कॉम्पैक्ट उपसमुच्चय के लिए KU.[clarification needed]

यह भी देखें

संदर्भ

  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.