कॉम्पैक्ट-ओपन टोपोलॉजी: Difference between revisions
No edit summary |
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> | ||
यदि विचाराधीन [[फ़ंक्शन (गणित)|फलन (गणित)]] के [[कोडोमेन]] में समान स्पेस या [[मीट्रिक स्थान|मीट्रिक स्पेस]] है तो कॉम्पैक्ट-ओपन टोपोलॉजी [[कॉम्पैक्ट सेट|कॉम्पैक्ट समुच्चय]] पर समान अभिसरण की टोपोलॉजी है। कहने का तात्पर्य यह है कि, कॉम्पैक्ट-ओपन टोपोलॉजी में फलन का क्रम (गणित) ठीक उसी समय सीमित होता है जब यह किसी फलन के डोमेन के प्रत्येक कॉम्पैक्ट सबसमुच्चय पर समान रूप से परिवर्तित होता है।<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| ''f''  ∈ ''C''(''X'', ''Y'')}} ऐसा है कि {{math| ''f'' (''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> इस परिभाषा और उपरोक्त परिभाषा के बीच भ्रम कॉम्पैक्ट समुच्चय शब्द के अलग-अलग उपयोग के कारण होता है। | ||
* अगर {{math|*}} एक-बिंदु | |||
* अगर {{mvar|Y}} है {{math|[[T0 space|''T''<sub>0</sub>]]}}, {{math|[[T1 space|''T''<sub>1</sub>]]}}, हॉसडॉर्फ़ स्पेस, [[ नियमित स्थान ]], या [[टाइकोनोफ़ स्पेस]], तो कॉम्पैक्ट-ओपन टोपोलॉजी में संबंधित पृथक्करण सिद्धांत होता है। | अगर {{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'', ''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'', ''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}} मीट्रिक स्पेस (या अधिक सामान्यतः, समान स्पेस) है, तो कॉम्पैक्ट-ओपन टोपोलॉजी [[कॉम्पैक्ट अभिसरण की टोपोलॉजी]] के बराबर है। दूसरे शब्दों में, यदि {{mvar|Y}} मीट्रिक स्पेस है, फिर अनुक्रम {{math|{ ''f''<sub>''n''</sub> } }}सीमा (गणित)s तक {{math| ''f'' }} कॉम्पैक्ट-ओपन टोपोलॉजी में यदि और केवल यदि प्रत्येक कॉम्पैक्ट उपसमुच्चय के लिए {{mvar|K}} का {{mvar|X}}, {{math|{ ''f''<sub>''n''</sub> } }}समान रूप से अभिसरित होता है {{math| ''f'' }} पर {{mvar|K}}. अगर {{mvar|X}} सघन है और {{mvar|Y}} समान स्पेस है, तो कॉम्पैक्ट-ओपन टोपोलॉजी एकसमान अभिसरण की टोपोलॉजी के बराबर है। | ||
* अगर {{math|''X'', ''Y''}} और {{mvar|Z}} टोपोलॉजिकल स्पेस हैं, साथ में {{mvar|Y}} [[स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ]] (या यहां तक कि केवल | * अगर {{math|''X'', ''Y''}} और {{mvar|Z}} टोपोलॉजिकल स्पेस हैं, साथ में {{mvar|Y}} [[स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ|स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ]] (या यहां तक कि केवल स्पेसीय रूप से कॉम्पैक्ट [[पूर्व नियमित स्थान|पूर्व नियमित स्पेस]]), फिर फलन संरचना {{math|''C''(''Y'', ''Z'') × ''C''(''X'', ''Y'') → ''C''(''X'', ''Z''),}} द्वारा दिए गए {{math|( ''f'' , ''g'') ↦  ''f'' ∘ ''g'',}} निरंतर है (यहां सभी फलन स्पेस को कॉम्पैक्ट-ओपन टोपोलॉजी दी गई है और {{math|''C''(''Y'', ''Z'') × ''C''(''X'', ''Y'')}} उत्पाद टोपोलॉजी दी गई है)। | ||
*अगर {{mvar|X}} | *अगर {{mvar|X}} स्पेसीय रूप से कॉम्पैक्ट हॉसडॉर्फ (या प्रीरेगुलर) स्पेस है, फिर मूल्यांकन मानचित्र {{math|''e'' : ''C''(''X'', ''Y'') × ''X'' → ''Y''}}, द्वारा परिभाषित {{math|''e''( ''f'' , ''x'') {{=}}  ''f'' (''x'')}}, सतत है. इसे उपरोक्त विशेष मामले के रूप में देखा जा सकता है {{mvar|X}} बिंदु वाला स्पेस है. | ||
* अगर {{mvar|X}} सघन है, और {{mvar|Y}} [[मीट्रिक (गणित)]] के साथ मीट्रिक | * अगर {{mvar|X}} सघन है, और {{mvar|Y}} [[मीट्रिक (गणित)]] के साथ मीट्रिक स्पेस है {{mvar|d}}, फिर कॉम्पैक्ट-ओपन टोपोलॉजी चालू {{math|''C''(''X'', ''Y'')}} [[ मेट्रिसेबल स्थान | मेट्रिसेबल स्पेस]] है, और इसके लिए मीट्रिक इसके द्वारा दिया गया है {{math|''e''( ''f'' , ''g'') {{=}} [[supremum|sup]]{''d''( ''f'' (''x''), ''g''(''x'')) : ''x'' in ''X''},}} के लिए {{math| ''f'' , ''g''}} में {{math|''C''(''X'', ''Y'')}}. | ||
=== अनुप्रयोग === | === अनुप्रयोग === | ||
कॉम्पैक्ट ओपन टोपोलॉजी का उपयोग निम्नलिखित | कॉम्पैक्ट ओपन टोपोलॉजी का उपयोग निम्नलिखित समुच्चयों को टोपोलॉजी बनाने के लिए किया जा सकता है:<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</math> पर <math>x_0</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>\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>\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}} ही क्षेत्र (गणित) पर परिभाषित दो बानाच | होने देना {{mvar|X}} और {{mvar|Y}} ही क्षेत्र (गणित) पर परिभाषित दो बानाच स्पेस हों, और चलो {{math|''C<sup> 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 10:05, 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}, के लिए f , g में C(X, Y).
अनुप्रयोग
कॉम्पैक्ट ओपन टोपोलॉजी का उपयोग निम्नलिखित समुच्चयों को टोपोलॉजी बनाने के लिए किया जा सकता है:[7]
- , का लूप स्पेस पर ,
- ,
- .
इसके अलावा, रिक्त स्पेस के बीच Homotopy#Homotopy तुल्यता है .[7]ये टोपोलॉजिकल स्पेस, होमोटोपी सिद्धांत में उपयोगी हैं क्योंकि इसका उपयोग टोपोलॉजिकल स्पेस बनाने और मानचित्रों के होमोटॉपी वर्गों के समुच्चय के होमोटॉपी प्रकार के लिए मॉडल बनाने के लिए किया जा सकता है।
यह है क्योंकि में पथ घटकों का समुच्चय है , अर्थात्, समुच्चयों की समरूपता है
कहाँ समरूप समतुल्यता है।
फ़्रेचेट अवकलनीय फलन
होने देना X और Y ही क्षेत्र (गणित) पर परिभाषित दो बानाच स्पेस हों, और चलो C m(U, Y) सभी के समुच्चय को निरूपित करें m-निरंतर फ़्रेचेट व्युत्पन्न|फ़्रेचेट-खुले उपसमुच्चय से भिन्न कार्य U ⊆ X को Y. कॉम्पैक्ट-ओपन टोपोलॉजी सेमिनोर्म द्वारा प्रेरित प्रारंभिक टोपोलॉजी है
कहाँ D0 f (x) = f (x), प्रत्येक कॉम्पैक्ट उपसमुच्चय के लिए K ⊆ U.[clarification needed]
यह भी देखें
संदर्भ
- ↑ 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