फलनात्मक विश्लेषण: Difference between revisions
No edit summary |
|||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{short description|Area of mathematics}} | {{short description|Area of mathematics}}[[Image:Drum vibration mode12.gif|thumb|right|200px|एक आदर्श गोलाकार [[ड्रम सिर|ड्रम शीर्ष]] के कंपन के संभावित उपायों में से एक। ये मोड फलन समष्टि पर एक रैखिक संचालक के [[eigenfunction|ईजेनफंक्शन]] हैं, और फलनात्मक विश्लेषण में एक सामान्य निर्माण हैं। ]]'''फलनात्मक विश्लेषण''' [[गणितीय विश्लेषण]] की शाखा है, जिसका मूल सदिश रिक्त समष्टि के अध्ययन से बनता है जो किसी प्रकार की सीमा-संबंधित संरचना (जैसे आंतरिक उत्पाद, मानदंड, सांस्थिति ,आदि) से संपन्न होता है और इन समष्टिों को परिभाषित रैखिक परिवर्तन करता है , और उपयुक्त अर्थों में इन संरचनाओं का सम्मान करता है। फलनात्मक विश्लेषण की ऐतिहासिक जड़ें फलनों के रिक्त समष्टि तथा फलनों के परिवर्तनों के गुणों के निर्माण में निहित हैं जैसे कि फुरियर रूपांतरण के रूप में फलन रिक्त समष्टि के बीच निरंतर, एकात्मक आदि संचालक को परिभाषित करता है। यह दृष्टिकोण अंतर और [[अभिन्न समीकरण]] के अध्ययन के लिए विशेष रूप से उपयोगी निकला है। | ||
[[ | संज्ञा के रूप में '[[कार्यात्मक (गणित)|फलनात्मक]]' शब्द का उपयोग विविधताओं के कलन पर पुनः जाता है, जो उच्च-क्रम के फलन को लागू करता है। इस शब्द का पहली बार प्रयोग जैक्स हैडमार्ड की 1910 की पुस्तक में उस विषय पर किया गया था। चूँकि, फलनात्मक की सामान्य अवधारणा को पहले 1887 में इतालवी गणितज्ञ और भौतिक विज्ञानी वीटो वोल्टेरा द्वारा दर्शाया गया था।<ref>{{Cite web|last=Lawvere|first=F. William|title=Volterra के कार्यात्मक और अंतरिक्ष के सहसंयोजक सामंजस्य|url=http://www.acsu.buffalo.edu/~wlawvere/Volterra.pdf |archive-url=https://web.archive.org/web/20030407030553/http://www.acsu.buffalo.edu/~wlawvere/Volterra.pdf |archive-date=2003-04-07|url-status=live|website=acsu.buffalo.edu|publisher=Proceedings of the May 1997 Meeting in Perugia}}</ref><ref>{{Cite book|url=http://dx.doi.org/10.1142/5685|title=गणितीय विज्ञान का इतिहास|date=October 2004|page=195|publisher=WORLD SCIENTIFIC|doi=10.1142/5685|isbn=978-93-86279-16-3|last1=Saraiva|first1=Luís}}</ref> हैडमार्ड के छात्रों, विशेष रूप से मौरिस रेने फ्रेचेट और पॉल लेवी द्वारा अरैखिक फलनों के सिद्धांत को जारी रखा था। हैडमर्ड ने रेखीय प्रफलनात्मक विश्लेषण के आधुनिक स्कूल की भी स्थापना की, जिसे स्टीफन बनच के आस-पास फ्रिगिज़ रिज़्ज़ और पोलैंड के गणितज्ञों के ल्वॉव स्कूल ऑफ़ मैथेमेटिक्स द्वारा विकसित किया गया। | ||
फलनात्मक विश्लेषण पर आधुनिक परिचयात्मक ग्रंथों में, विषय को सदिश रिक्त समष्टि के अध्ययन के रूप में देखा जाता है, विशेष रूप से आयाम समष्टिों में, एक सांस्थिति के साथ संपन्न होता है।<ref>{{Cite book|last1=Bowers|first1=Adam|title=कार्यात्मक विश्लेषण में एक परिचयात्मक पाठ्यक्रम|last2=Kalton|first2=Nigel J.|publisher=[[Springer Science & Business Media]]|year=2014|pages=1}}</ref><ref>{{Cite book|last=Kadets|first=Vladimir|title=कार्यात्मक विश्लेषण और माप सिद्धांत में एक कोर्स|publisher=[[Springer Publishing|Springer]]|year=2018|pages=xvi|trans-title=КУРС ФУНКЦИОНАЛЬНОГО АНАЛИЗА}}</ref> इसके विपरीत, रैखिक बीजगणित अधिक परिमित-आयामी रिक्त समष्टि से संबंधित है, जो सांस्थिति का उपयोग नहीं करता है। फलनात्मक विश्लेषण का एक महत्वपूर्ण भाग अभिन्न और अनंत आयामी रिक्त समष्टि का माप, एकीकरण और [[संभावना]] के सिद्धांत का विस्तार है, जिसे अनंत आयामी विश्लेषण भी कहा जाता है। | |||
== नॉर्म्ड सदिश समष्टि == | |||
फलनात्मक विश्लेषण में अध्ययन किए गए मूल और ऐतिहासिक रूप से प्रथम श्रेणी के रिक्त समष्टि [[वास्तविक संख्या]] या [[जटिल संख्या|सम्मिश्र]] [[जटिल संख्या|संख्याओं]] पर पूर्ण मानक सदिश समष्टि हैं। ऐसे समष्टिों को बनच समष्टि कहा जाता है। महत्वपूर्ण उदाहरण हिल्बर्ट समष्टि है, जहां आंतरिक उत्पाद से आदर्श उत्पन्न होता है। ये समष्टि कई क्षेत्रों में प्राथमिक महत्व के हैं, जिनमें क्वांटम यांत्रिकी के गणितीय सूत्रीकरण, कर्नेल [[हिल्बर्ट अंतरिक्ष|हिल्बर्ट समष्टि]] का पुनरुत्पादन, आंशिक अंतर समीकरण और [[फूरियर विश्लेषण]] सम्मलित हैं। | |||
अधिकांशतः फलनात्मक विश्लेषण में फ्रेचेट रिक्त समष्टि और अन्य संसमष्टििक सदिश रिक्त समष्टि का अध्ययन सम्मलित होता है जो मानक के साथ संपन्न नहीं होता है। | |||
फलनात्मक विश्लेषण में अध्ययन का महत्वपूर्ण उद्देश्य बनच और हिल्बर्ट रिक्त समष्टि पर परिभाषित [[निरंतर कार्य (टोपोलॉजी)|निरंतर फलन]] रैखिक परिवर्तन है। ये स्वाभाविक रूप से C - बीजगणित और अन्य [[ऑपरेटर बीजगणित|संचालक बीजगणित]] की परिभाषा की ओर ले जाते हैं। | |||
=== हिल्बर्ट रिक्त समष्टि === | |||
हिल्बर्ट रिक्त समष्टि को पूरी तरह से वर्गीकृत किया जा सकता है: ऑर्थोनॉर्मल आधार के प्रत्येक [[बुनियादी संख्या|मूलभूती संख्या]] के लिए समरूपता [[तक]] अद्वितीय हिल्बर्ट समष्टि है।<ref>{{Cite book|last=Riesz|first=Frigyes|url=https://www.worldcat.org/oclc/21228994|title=कार्यात्मक विश्लेषण|date=1990|publisher=Dover Publications|others=Béla Szőkefalvi-Nagy, Leo F. Boron|isbn=0-486-66289-6|edition=Dover |location=New York|oclc=21228994| pages = 195–199}}</ref> परिमित-आयामी हिल्बर्ट रिक्त समष्टि पूरी तरह से रैखिक बीजगणित में समझाए जाते हैं, और अनंत-आयामी भिन्न -भिन्न समष्टि हिल्बर्ट समष्टि अनुक्रम समष्टि ℓp रिक्त समष्टि के लिए आइसोमोर्फिक हैं।<math>\ell^{\,2}(\aleph_0)\,</math>. अनुप्रयोगों के लिए पृथक्करणीयता महत्वपूर्ण है, हिल्बर्ट रिक्त समष्टि के फलनात्मक विश्लेषण के परिणामस्वरूप प्रायः इस समष्टि से संबंधित हैं। फलनात्मक विश्लेषण में खुली समस्याओं में से यह सिद्ध करना है कि हिल्बर्ट समष्टि पर प्रत्येक परिबद्ध रैखिक संचालक के पास उचित अपरिवर्तनीय उप-समष्टि है। इस अपरिवर्तनीय उप-समष्टि समस्या के कई विशेष विषय पहले ही सिद्ध हो चुके हैं। | |||
=== | === बनच समष्टि === | ||
हिल्बर्ट | साधारण बनच समष्टि हिल्बर्ट समष्टिों की तुलना में अधिक सम्मिश्र हैं, और उन्हें इतने सरल उपाय से वर्गीकृत नहीं किया जा सकता है। विशेष रूप से, कई बनच रिक्त समष्टि में अलौकिक आधार के समान धारणा की कमी होती है। | ||
बनच समष्टि के उदाहरण हैं- <math>L^p</math>-किसी भी वास्तविक संख्या के लिए समष्टि {{nowrap|<math>p\geq1</math>.}} माप <math>\mu</math> भी दिया गया है समुच्चय पर {{nowrap|<math>X</math>,}} फिर {{nowrap|<math>L^p(X)</math>,}} कभी-कभी <math>L^p(X,\mu)</math> या {{nowrap|<math>L^p(\mu)</math>,}} इसके सदिश के रूप में है मापने योग्य फलनों के समकक्ष वर्ग <math>[\,f\,]</math> जिनके निरपेक्ष मान की <math>p</math>-वें शक्ति का परिमित अभिन्न है; वह फलन जिसके लिए किसी के पास <math>f</math> है | |||
:<math>\int_{X}\left|f(x)\right|^p\,d\mu(x) < +\infty.</math> | :<math>\int_{X}\left|f(x)\right|^p\,d\mu(x) < +\infty.</math> | ||
यदि <math>\mu</math> गणना माप है, तो समाकल को योग द्वारा प्रतिस्थापित किया जा सकता है। जैसे हमें चाहिए | यदि <math>\mu</math> गणना माप है, तो समाकल को योग द्वारा प्रतिस्थापित किया जा सकता है। जैसे हमें चाहिए | ||
:<math>\sum_{x\in X}\left|f(x)\right|^p<+\infty .</math> | :<math>\sum_{x\in X}\left|f(x)\right|^p<+\infty .</math> | ||
फिर समतुल्य वर्गों से निपटने के लिए आवश्यक नहीं है, {{nowrap|<math>\ell^p(X)</math>,}} | फिर समतुल्य वर्गों से निपटने के लिए आवश्यक नहीं है, {{nowrap|<math>\ell^p(X)</math>,}} समष्टि को निरूपित किया जाता है <math>\ell^p</math> अधिक सरलता से लिखा गया है , जब <math>X</math> गैर-ऋणात्मक [[पूर्णांक|पूर्णांकों]] का समुच्चय है। | ||
बनच रिक्त | बनच रिक्त समष्टि में, अध्ययन के बड़े भाग में दुगुनी जगह सम्मलित हैI समष्टि से सभी निरंतर रैखिक मानचित्रों को इसके अंतर्निहित क्षेत्र में, तथाकथित फलनात्मकता है। बनच समष्टि को इसकी बोली के उप-समष्टि के साथ प्रामाणिक रूप से पहचाना जा सकता है, जो इसके समष्टि का दुगना है। संबंधित चित्र एक [[आइसोमेट्री|सममितीय]] है लेकिन सामान्य आच्छादक नहीं है। परिमित-आयामी स्थिति के विपरीत, सामान्य बनच समष्टि और इसकी बोली-प्रक्रिया को किसी भी प्रकार से सममितीय रूप से समरूप होने की आवश्यकता नहीं है। यह दुगुने समष्टि लेख में समझाया गया है। | ||
इसके अतिरिक्त, [[यौगिक]] की धारणा को बनच रिक्त | इसके अतिरिक्त, [[यौगिक]] की धारणा को बनच रिक्त समष्टि के बीच मनमाना फलनों के लिए बढ़ाया जा सकता है। उदाहरण के लिए देखें, फ्रेचेट व्युत्पन्न लेख। | ||
== प्रमुख और मूलभूत परिणाम == | == प्रमुख और मूलभूत परिणाम == | ||
चार प्रमुख प्रमेय हैं जिन्हें कभी-कभी | चार प्रमुख प्रमेय हैं जिन्हें कभी-कभी फलनात्मक विश्लेषण को चार स्तंभ कहा जाता है: हैन-बनाक प्रमेय, [[ओपन मैपिंग प्रमेय (कार्यात्मक विश्लेषण)|विवृत मानचित्रण प्रमेय]] , [[बंद ग्राफ प्रमेय (कार्यात्मक विश्लेषण)|संवृत ग्राफ प्रमेय]]और [[समान सीमा सिद्धांत]], जिसे बनच -स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है। फलनात्मक विश्लेषण के महत्वपूर्ण परिणामों में सम्मलित हैं: | ||
=== समान सीमा सिद्धांत === | === समान सीमा सिद्धांत === | ||
{{main|बनच-स्टाइनहॉस प्रमेय}} | {{main|बनच-स्टाइनहॉस प्रमेय}} | ||
समान परिबद्धता सिद्धांत या बनच-स्टीनहॉस प्रमेय | |||
समान परिबद्धता सिद्धांत या बनच-स्टीनहॉस प्रमेय फलनात्मक विश्लेषण में प्राथमिक परिणामों में से है। हैन-बनाक प्रमेय और विवृत मानचित्रण प्रमेय के साथ, इसे क्षेत्र का कोना माना जाता है। मूल रूप में, इसका अर्थ है कि [[निरंतर रैखिक ऑपरेटर|निरंतर रैखिक संचालको]] (और इस प्रकार बाध्य संचालनों) के परिवार के लिए जिसका फलनक्षेत्र बनच समष्टि है, बिंदुवार सीमा संचालक मानदंड में समान सीमा के बराबर है। | |||
प्रमेय पहली बार 1927 में स्टीफन बनच और [[ह्यूगो स्टीनहॉस]] द्वारा प्रकाशित किया गया था, लेकिन यह [[हंस हैन (गणितज्ञ)|हंस हैन]] द्वारा स्वतंत्र रूप से सिद्ध भी किया गया था। | प्रमेय पहली बार 1927 में स्टीफन बनच और [[ह्यूगो स्टीनहॉस]] द्वारा प्रकाशित किया गया था, लेकिन यह [[हंस हैन (गणितज्ञ)|हंस हैन]] द्वारा स्वतंत्र रूप से सिद्ध भी किया गया था। | ||
<blockquote>प्रमेय (समान परिबद्धता सिद्धांत)I मान लें कि <math>X</math> बनच | <blockquote>प्रमेय (समान परिबद्धता सिद्धांत)I मान लें कि <math>X</math> बनच समष्टि है और <math>Y</math> मानक सदिश समष्टि है। मान लीजिए कि <math>F</math> निरंतर रैखिक संचालको का संग्रह हैI यदि सभी के लिए <math>x</math> में <math>X</math> किसी के पास | ||
:<math>\sup\nolimits_{T \in F} \|T(x)\|_Y < \infty, </math> | :<math>\sup\nolimits_{T \in F} \|T(x)\|_Y < \infty, </math> | ||
Line 55: | Line 49: | ||
===स्पेक्ट्रल प्रमेय === | ===स्पेक्ट्रल प्रमेय === | ||
{{main|वर्णक्रमीय प्रमेय}} | {{main|वर्णक्रमीय प्रमेय}} | ||
[[वर्णक्रमीय प्रमेय]] के रूप में जानी जाने वाली कई प्रमेय हैं, लेकिन विशेष रूप से | [[वर्णक्रमीय प्रमेय]] के रूप में जानी जाने वाली कई प्रमेय हैं, लेकिन विशेष रूप से फलनात्मक विश्लेषण में कई अनुप्रयोग हैं। | ||
<blockquote>स्पेक्ट्रल प्रमेय।<ref>{{Cite book|last=Hall|first=Brian C.|url={{google books |plainurl=y |id=bYJDAAAAQBAJ|page=147}}|title=गणितज्ञों के लिए क्वांटम थ्योरी|date=2013-06-19|publisher=[[Springer Science & Business Media]]|isbn=978-1-4614-7116-5|page=147|language=en}}</ref> मान लें कि <math>A</math> हिल्बर्ट | <blockquote>स्पेक्ट्रल प्रमेय।<ref>{{Cite book|last=Hall|first=Brian C.|url={{google books |plainurl=y |id=bYJDAAAAQBAJ|page=147}}|title=गणितज्ञों के लिए क्वांटम थ्योरी|date=2013-06-19|publisher=[[Springer Science & Business Media]]|isbn=978-1-4614-7116-5|page=147|language=en}}</ref> मान लें कि <math>A</math> हिल्बर्ट समष्टि <math>H</math> पर स्वसंबद्ध बंधा हुआ संचालको में से है। फिर माप समष्टि <math>(X,\Sigma,\mu)</math> और वास्तविक-मूल्यवान अनिवार्य रूप से परिबद्ध मापनीय फलन <math>f</math> पर <math>X</math> और एकात्मक संचालको <math>U:H\to L^2_\mu(X)</math> ऐसा है कि | ||
:<math> U^* T U = A \;</math> | :<math> U^* T U = A \;</math> | ||
Line 65: | Line 59: | ||
तथा <math>\|T\| = \|f\|_\infty</math></blockquote> | तथा <math>\|T\| = \|f\|_\infty</math></blockquote> | ||
यह | यह संचालक सिद्धांत नामक फलनात्मक विश्लेषण के विशाल शोध क्षेत्र की शुरुआत है; स्पेक्ट्रल माप स्पेक्ट्रल माप भी देखें। | ||
हिल्बर्ट रिक्त | हिल्बर्ट रिक्त समष्टि पर बंधे [[सामान्य ऑपरेटर|सामान्य संचालको]] के लिए एक समान वर्णक्रमीय प्रमेय भी है। निष्कर्ष में केवल इतना ही अंतर है कि <math>f</math> सम्मिश्र-मूल्यवान हो सकता है। | ||
=== हैन-बनच प्रमेय === | === हैन-बनच प्रमेय === | ||
{{main|हैन-बनच प्रमेय}} | {{main|हैन-बनच प्रमेय}} | ||
हैन-बनच प्रमेय | हैन-बनच प्रमेय फलनात्मक विश्लेषण में केंद्रीय उपकरण है। यह पूरे समष्टि में कुछ सदिश समष्टि के उप-समष्टि पर परिभाषित [[परिबद्ध संचालिका]] के विस्तार की अनुमति देता है, और यह भी दर्शाता है कि दुगुने समष्टि के अध्ययन को रोचक बनाने के लिए प्रत्येक आदर्श सदिश समष्टि पर परिभाषित पर्याप्त निरंतर फलन रैखिक फलनात्मक हैं। . | ||
<blockquote>हैन-बनच प्रमेय:<ref name="rudin">{{Cite book|last=Rudin|first=Walter|url={{google books |plainurl=y |id=Sh_vAAAAMAAJ}}|title=कार्यात्मक विश्लेषण|date=1991|publisher=McGraw-Hill|isbn=978-0-07-054236-5|language=en}}</ref> यदि <math>p:V\to\mathbb{R}</math> एक | <blockquote>हैन-बनच प्रमेय:<ref name="rudin">{{Cite book|last=Rudin|first=Walter|url={{google books |plainurl=y |id=Sh_vAAAAMAAJ}}|title=कार्यात्मक विश्लेषण|date=1991|publisher=McGraw-Hill|isbn=978-0-07-054236-5|language=en}}</ref> यदि <math>p:V\to\mathbb{R}</math> एक उपरैखिक फलन है, और <math>\varphi:U\to\mathbb{R}</math> रेखीय उप-समष्टि <math>U\subseteq V</math> पर रेखीय प्रफलन है जिस पर <math>p</math> पर <math>U</math>; वह है, | ||
:<math>\varphi(x) \leq p(x)\qquad\forall x \in U</math> | :<math>\varphi(x) \leq p(x)\qquad\forall x \in U</math> | ||
तब रेखीय विस्तार सम्मलित है <math>\psi:V\to\mathbb{R}</math> का <math>\varphi</math> पूरे | तब रेखीय विस्तार सम्मलित है <math>\psi:V\to\mathbb{R}</math> का <math>\varphi</math> पूरे समष्टि के लिए <math>V</math> जिस पर <math>p</math> पर <math>V</math> अर्थात्, एक रैखिक फलनात्मक <math>\psi</math> सम्मलित है ऐसा है कि | ||
:<math>\psi(x)=\varphi(x)\qquad\forall x\in U,</math> | :<math>\psi(x)=\varphi(x)\qquad\forall x\in U,</math> | ||
:<math>\psi(x) \le p(x)\qquad\forall x\in V.</math></blockquote> | :<math>\psi(x) \le p(x)\qquad\forall x\in V.</math></blockquote> | ||
=== | === विवृत मानचित्रण प्रमेय === | ||
विवृत मानचित्रण प्रमेय, जिसे बनच-शाउडर प्रमेय (स्टीफन बनच और जूलियस शॉडर के नाम पर रखा गया) के रूप में भी जाना जाता है, प्राथमिक परिणाम है जो बताता है कि यदि बनच रिक्त समष्टि के बीच परिबद्ध रैखिक संचालक [[विशेषण]] है तो यह विवृत चित्र है :<ref name=rudin/> | |||
: विवृत मानचित्रण प्रमेय, यदि <math>X</math> तथा <math>Y</math> बनच समष्टि हैं और <math>A:X\to Y</math> विशेषण निरंतर रैखिक संचालक है, तो <math>A</math> विवृत चित्र है (जैसे, यदि <math>U</math> [[खुला सेट|विवृत समुच्चय]] है <math>X</math>, फिर <math>A(U)</math> में विवृत है <math>Y</math>). | |||
प्रमाण बायर श्रेणी प्रमेय और दोनों की पूर्णता का उपयोग करता है <math>X</math> तथा <math>Y</math> प्रमेय के लिए आवश्यक है। प्रमेय का कथन सत्य नहीं है यदि कोई भी समष्टि केवल मानक समष्टि माना जाता है, लेकिन सत्य है यदि <math>X</math> तथा <math>Y</math> फ्रेचेट रिक्त समष्टि के रूप में लिया जाता है। | |||
=== संवृत ग्राफ प्रमेय === | |||
{{main|संवृत ग्राफ प्रमेय}} | |||
=== | संवृत ग्राफ प्रमेय निम्नलिखित बताता है: | ||
यदि <math>X</math> समष्टि है और <math>Y</math> सघन जगह हॉसडॉर्फ समष्टि है, फिर रेखीय मानचित्र का ग्राफ <math>T</math> से <math>X</math> प्रति <math>Y</math> संवृत है यदि केवल <math>T</math> निरंतर फलन (सांस्थिति) है।<ref>{{Cite book|last=Munkres|first=James R.|url={{google books |plainurl=y |id=XjoZAQAAIAAJ}}|title=टोपोलॉजी|date=2000|publisher=Prentice Hall, Incorporated|isbn=978-0-13-181629-9|language=en| page= 171}}</ref> | |||
== गणित के विचारों की मूलभूत == | |||
== गणित के विचारों की | फलनात्मक विश्लेषण में माने जाने वाले अधिकांश समष्टिों में अनंत आयाम होते हैं। ऐसे समष्टिों के लिए सदिश समष्टि आधार के अस्तित्व को दिखाने के लिए ज़ोर्न के लेम्मा की आवश्यकता हो सकती है। चूँकि, कुछ भिन्न अवधारणा, शाउडर आधार, सामान्यतः फलनात्मक विश्लेषण में अधिक प्रासंगिक है। बहुत महत्वपूर्ण प्रमेयों के लिए हैन-बनच प्रमेय की आवश्यकता होती है, सामान्यतः पसंद के स्वयंसिद्ध का उपयोग करके सिद्ध किया जाता है, चूँकि कठोरता से कमजोर [[बूलियन प्रधान आदर्श प्रमेय]] पर्याप्त है। कई महत्वपूर्ण प्रमेयों को सिद्ध करने के लिए आवश्यक बायर श्रेणी प्रमेय के लिए पसंद के स्वयंसिद्ध के रूप की भी आवश्यकता होती है। | ||
== दृष्टिकोण == | == दृष्टिकोण == | ||
इसमें | इसमें फलनात्मक विश्लेषण {{As of|2004|alt=वर्तमान आकार}} निम्नलिखित प्रवृत्तियाँ सम्मिलित हैं: | ||
* सार विश्लेषण, | * सार विश्लेषण, समष्टि समूहों, समष्टि छल्ला और संसमष्टििक सदिश समष्टि के आधार पर विश्लेषण के लिए एक दृष्टिकोण। | ||
* बनच रिक्त | * बनच रिक्त समष्टि की ज्यामिति में कई विषय सम्मिलित हैं। एक जॉन बौर्गेन से जुड़ा जुझारूपन दृष्टिकोण है; दूसरा बनच समष्टिों का लक्षण वर्णन है जिसमें बड़ी संख्या के कानून के विभिन्न रूप धारण करते हैं। | ||
* | *गैर अनुमेय ज्यामिति एलेन कॉन्स द्वारा विकसित, आंशिक रूप से पूर्व धारणाओं पर निर्माण, जैसे जॉर्ज मैके के [[एर्गोडिक सिद्धांत]] के दृष्टिकोण। | ||
* [[क्वांटम यांत्रिकी]] के साथ संबंध या तो संकीर्ण रूप से [[गणितीय भौतिकी]] के रूप में परिभाषित किया गया है, या व्यापक रूप से व्याख्या की गई है, उदाहरण के लिए, | * [[क्वांटम यांत्रिकी]] के साथ संबंध या तो संकीर्ण रूप से [[गणितीय भौतिकी]] के रूप में परिभाषित किया गया है, या व्यापक रूप से व्याख्या की गई है, उदाहरण के लिए, इज़राइल गेलफैंड, अधिकांश प्रकार के [[प्रतिनिधित्व सिद्धांत]] को सम्मिलित करने के लिए। | ||
== यह भी देखें == | == यह भी देखें == | ||
* | * फलनात्मक विश्लेषण विषयों की सूची | ||
* [[वर्णक्रमीय सिद्धांत]] | * [[वर्णक्रमीय सिद्धांत]] | ||
Line 152: | Line 140: | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
* {{Springer |title=Functional analysis |id=p/f042020}} | * {{Springer |title=Functional analysis |id=p/f042020}} | ||
* [https://www.mat.univie.ac.at/~gerald/ftp/book-fa/index.html Topics in Real and Functional Analysis] by [[Gerald Teschl]], University of Vienna. | * [https://www.mat.univie.ac.at/~gerald/ftp/book-fa/index.html Topics in Real and Functional Analysis] by [[Gerald Teschl]], University of Vienna. | ||
* [https://web.archive.org/web/20161021093450/http://www.math.nyu.edu/phd_students/vilensky/Functional_Analysis.pdf Lecture Notes on Functional Analysis] by Yevgeny Vilensky, New York University. | * [https://web.archive.org/web/20161021093450/http://www.math.nyu.edu/phd_students/vilensky/Functional_Analysis.pdf Lecture Notes on Functional Analysis] by Yevgeny Vilensky, New York University. | ||
* [https://www.youtube.com/playlist?list=PLE1C83D79C93E2266 Lecture videos on functional analysis] by [http://www.uccs.edu/~gmorrow/ Greg Morrow] {{Webarchive|url=https://web.archive.org/web/20170401143239/http://www.uccs.edu/~gmorrow/ |date=2017-04-01 }} from [[University of Colorado Colorado Springs]] | * [https://www.youtube.com/playlist?list=PLE1C83D79C93E2266 Lecture videos on functional analysis] by [http://www.uccs.edu/~gmorrow/ Greg Morrow] {{Webarchive|url=https://web.archive.org/web/20170401143239/http://www.uccs.edu/~gmorrow/ |date=2017-04-01 }} from [[University of Colorado Colorado Springs]] | ||
{{Analysis-footer}}{{Authority control}} | |||
{{Analysis-footer}} | |||
{{Authority control}} | |||
[[Category:All articles containing potentially dated statements]] | [[Category:All articles containing potentially dated statements]] |
Latest revision as of 12:56, 27 October 2023
फलनात्मक विश्लेषण गणितीय विश्लेषण की शाखा है, जिसका मूल सदिश रिक्त समष्टि के अध्ययन से बनता है जो किसी प्रकार की सीमा-संबंधित संरचना (जैसे आंतरिक उत्पाद, मानदंड, सांस्थिति ,आदि) से संपन्न होता है और इन समष्टिों को परिभाषित रैखिक परिवर्तन करता है , और उपयुक्त अर्थों में इन संरचनाओं का सम्मान करता है। फलनात्मक विश्लेषण की ऐतिहासिक जड़ें फलनों के रिक्त समष्टि तथा फलनों के परिवर्तनों के गुणों के निर्माण में निहित हैं जैसे कि फुरियर रूपांतरण के रूप में फलन रिक्त समष्टि के बीच निरंतर, एकात्मक आदि संचालक को परिभाषित करता है। यह दृष्टिकोण अंतर और अभिन्न समीकरण के अध्ययन के लिए विशेष रूप से उपयोगी निकला है।
संज्ञा के रूप में 'फलनात्मक' शब्द का उपयोग विविधताओं के कलन पर पुनः जाता है, जो उच्च-क्रम के फलन को लागू करता है। इस शब्द का पहली बार प्रयोग जैक्स हैडमार्ड की 1910 की पुस्तक में उस विषय पर किया गया था। चूँकि, फलनात्मक की सामान्य अवधारणा को पहले 1887 में इतालवी गणितज्ञ और भौतिक विज्ञानी वीटो वोल्टेरा द्वारा दर्शाया गया था।[1][2] हैडमार्ड के छात्रों, विशेष रूप से मौरिस रेने फ्रेचेट और पॉल लेवी द्वारा अरैखिक फलनों के सिद्धांत को जारी रखा था। हैडमर्ड ने रेखीय प्रफलनात्मक विश्लेषण के आधुनिक स्कूल की भी स्थापना की, जिसे स्टीफन बनच के आस-पास फ्रिगिज़ रिज़्ज़ और पोलैंड के गणितज्ञों के ल्वॉव स्कूल ऑफ़ मैथेमेटिक्स द्वारा विकसित किया गया।
फलनात्मक विश्लेषण पर आधुनिक परिचयात्मक ग्रंथों में, विषय को सदिश रिक्त समष्टि के अध्ययन के रूप में देखा जाता है, विशेष रूप से आयाम समष्टिों में, एक सांस्थिति के साथ संपन्न होता है।[3][4] इसके विपरीत, रैखिक बीजगणित अधिक परिमित-आयामी रिक्त समष्टि से संबंधित है, जो सांस्थिति का उपयोग नहीं करता है। फलनात्मक विश्लेषण का एक महत्वपूर्ण भाग अभिन्न और अनंत आयामी रिक्त समष्टि का माप, एकीकरण और संभावना के सिद्धांत का विस्तार है, जिसे अनंत आयामी विश्लेषण भी कहा जाता है।
नॉर्म्ड सदिश समष्टि
फलनात्मक विश्लेषण में अध्ययन किए गए मूल और ऐतिहासिक रूप से प्रथम श्रेणी के रिक्त समष्टि वास्तविक संख्या या सम्मिश्र संख्याओं पर पूर्ण मानक सदिश समष्टि हैं। ऐसे समष्टिों को बनच समष्टि कहा जाता है। महत्वपूर्ण उदाहरण हिल्बर्ट समष्टि है, जहां आंतरिक उत्पाद से आदर्श उत्पन्न होता है। ये समष्टि कई क्षेत्रों में प्राथमिक महत्व के हैं, जिनमें क्वांटम यांत्रिकी के गणितीय सूत्रीकरण, कर्नेल हिल्बर्ट समष्टि का पुनरुत्पादन, आंशिक अंतर समीकरण और फूरियर विश्लेषण सम्मलित हैं।
अधिकांशतः फलनात्मक विश्लेषण में फ्रेचेट रिक्त समष्टि और अन्य संसमष्टििक सदिश रिक्त समष्टि का अध्ययन सम्मलित होता है जो मानक के साथ संपन्न नहीं होता है।
फलनात्मक विश्लेषण में अध्ययन का महत्वपूर्ण उद्देश्य बनच और हिल्बर्ट रिक्त समष्टि पर परिभाषित निरंतर फलन रैखिक परिवर्तन है। ये स्वाभाविक रूप से C - बीजगणित और अन्य संचालक बीजगणित की परिभाषा की ओर ले जाते हैं।
हिल्बर्ट रिक्त समष्टि
हिल्बर्ट रिक्त समष्टि को पूरी तरह से वर्गीकृत किया जा सकता है: ऑर्थोनॉर्मल आधार के प्रत्येक मूलभूती संख्या के लिए समरूपता तक अद्वितीय हिल्बर्ट समष्टि है।[5] परिमित-आयामी हिल्बर्ट रिक्त समष्टि पूरी तरह से रैखिक बीजगणित में समझाए जाते हैं, और अनंत-आयामी भिन्न -भिन्न समष्टि हिल्बर्ट समष्टि अनुक्रम समष्टि ℓp रिक्त समष्टि के लिए आइसोमोर्फिक हैं।. अनुप्रयोगों के लिए पृथक्करणीयता महत्वपूर्ण है, हिल्बर्ट रिक्त समष्टि के फलनात्मक विश्लेषण के परिणामस्वरूप प्रायः इस समष्टि से संबंधित हैं। फलनात्मक विश्लेषण में खुली समस्याओं में से यह सिद्ध करना है कि हिल्बर्ट समष्टि पर प्रत्येक परिबद्ध रैखिक संचालक के पास उचित अपरिवर्तनीय उप-समष्टि है। इस अपरिवर्तनीय उप-समष्टि समस्या के कई विशेष विषय पहले ही सिद्ध हो चुके हैं।
बनच समष्टि
साधारण बनच समष्टि हिल्बर्ट समष्टिों की तुलना में अधिक सम्मिश्र हैं, और उन्हें इतने सरल उपाय से वर्गीकृत नहीं किया जा सकता है। विशेष रूप से, कई बनच रिक्त समष्टि में अलौकिक आधार के समान धारणा की कमी होती है।
बनच समष्टि के उदाहरण हैं- -किसी भी वास्तविक संख्या के लिए समष्टि . माप भी दिया गया है समुच्चय पर , फिर , कभी-कभी या , इसके सदिश के रूप में है मापने योग्य फलनों के समकक्ष वर्ग जिनके निरपेक्ष मान की -वें शक्ति का परिमित अभिन्न है; वह फलन जिसके लिए किसी के पास है
यदि गणना माप है, तो समाकल को योग द्वारा प्रतिस्थापित किया जा सकता है। जैसे हमें चाहिए
फिर समतुल्य वर्गों से निपटने के लिए आवश्यक नहीं है, , समष्टि को निरूपित किया जाता है अधिक सरलता से लिखा गया है , जब गैर-ऋणात्मक पूर्णांकों का समुच्चय है।
बनच रिक्त समष्टि में, अध्ययन के बड़े भाग में दुगुनी जगह सम्मलित हैI समष्टि से सभी निरंतर रैखिक मानचित्रों को इसके अंतर्निहित क्षेत्र में, तथाकथित फलनात्मकता है। बनच समष्टि को इसकी बोली के उप-समष्टि के साथ प्रामाणिक रूप से पहचाना जा सकता है, जो इसके समष्टि का दुगना है। संबंधित चित्र एक सममितीय है लेकिन सामान्य आच्छादक नहीं है। परिमित-आयामी स्थिति के विपरीत, सामान्य बनच समष्टि और इसकी बोली-प्रक्रिया को किसी भी प्रकार से सममितीय रूप से समरूप होने की आवश्यकता नहीं है। यह दुगुने समष्टि लेख में समझाया गया है।
इसके अतिरिक्त, यौगिक की धारणा को बनच रिक्त समष्टि के बीच मनमाना फलनों के लिए बढ़ाया जा सकता है। उदाहरण के लिए देखें, फ्रेचेट व्युत्पन्न लेख।
प्रमुख और मूलभूत परिणाम
चार प्रमुख प्रमेय हैं जिन्हें कभी-कभी फलनात्मक विश्लेषण को चार स्तंभ कहा जाता है: हैन-बनाक प्रमेय, विवृत मानचित्रण प्रमेय , संवृत ग्राफ प्रमेयऔर समान सीमा सिद्धांत, जिसे बनच -स्टाइनहॉस प्रमेय के रूप में भी जाना जाता है। फलनात्मक विश्लेषण के महत्वपूर्ण परिणामों में सम्मलित हैं:
समान सीमा सिद्धांत
समान परिबद्धता सिद्धांत या बनच-स्टीनहॉस प्रमेय फलनात्मक विश्लेषण में प्राथमिक परिणामों में से है। हैन-बनाक प्रमेय और विवृत मानचित्रण प्रमेय के साथ, इसे क्षेत्र का कोना माना जाता है। मूल रूप में, इसका अर्थ है कि निरंतर रैखिक संचालको (और इस प्रकार बाध्य संचालनों) के परिवार के लिए जिसका फलनक्षेत्र बनच समष्टि है, बिंदुवार सीमा संचालक मानदंड में समान सीमा के बराबर है।
प्रमेय पहली बार 1927 में स्टीफन बनच और ह्यूगो स्टीनहॉस द्वारा प्रकाशित किया गया था, लेकिन यह हंस हैन द्वारा स्वतंत्र रूप से सिद्ध भी किया गया था।
प्रमेय (समान परिबद्धता सिद्धांत)I मान लें कि बनच समष्टि है और मानक सदिश समष्टि है। मान लीजिए कि निरंतर रैखिक संचालको का संग्रह हैI यदि सभी के लिए में किसी के पास
फिर
स्पेक्ट्रल प्रमेय
वर्णक्रमीय प्रमेय के रूप में जानी जाने वाली कई प्रमेय हैं, लेकिन विशेष रूप से फलनात्मक विश्लेषण में कई अनुप्रयोग हैं।
स्पेक्ट्रल प्रमेय।[6] मान लें कि हिल्बर्ट समष्टि पर स्वसंबद्ध बंधा हुआ संचालको में से है। फिर माप समष्टि और वास्तविक-मूल्यवान अनिवार्य रूप से परिबद्ध मापनीय फलन पर और एकात्मक संचालको ऐसा है कि
जहाँ T गुणन संकारक है:
तथा
यह संचालक सिद्धांत नामक फलनात्मक विश्लेषण के विशाल शोध क्षेत्र की शुरुआत है; स्पेक्ट्रल माप स्पेक्ट्रल माप भी देखें।
हिल्बर्ट रिक्त समष्टि पर बंधे सामान्य संचालको के लिए एक समान वर्णक्रमीय प्रमेय भी है। निष्कर्ष में केवल इतना ही अंतर है कि सम्मिश्र-मूल्यवान हो सकता है।
हैन-बनच प्रमेय
हैन-बनच प्रमेय फलनात्मक विश्लेषण में केंद्रीय उपकरण है। यह पूरे समष्टि में कुछ सदिश समष्टि के उप-समष्टि पर परिभाषित परिबद्ध संचालिका के विस्तार की अनुमति देता है, और यह भी दर्शाता है कि दुगुने समष्टि के अध्ययन को रोचक बनाने के लिए प्रत्येक आदर्श सदिश समष्टि पर परिभाषित पर्याप्त निरंतर फलन रैखिक फलनात्मक हैं। .
हैन-बनच प्रमेय:[7] यदि एक उपरैखिक फलन है, और रेखीय उप-समष्टि पर रेखीय प्रफलन है जिस पर पर ; वह है,
तब रेखीय विस्तार सम्मलित है का पूरे समष्टि के लिए जिस पर पर अर्थात्, एक रैखिक फलनात्मक सम्मलित है ऐसा है कि
विवृत मानचित्रण प्रमेय
विवृत मानचित्रण प्रमेय, जिसे बनच-शाउडर प्रमेय (स्टीफन बनच और जूलियस शॉडर के नाम पर रखा गया) के रूप में भी जाना जाता है, प्राथमिक परिणाम है जो बताता है कि यदि बनच रिक्त समष्टि के बीच परिबद्ध रैखिक संचालक विशेषण है तो यह विवृत चित्र है :[7]
- विवृत मानचित्रण प्रमेय, यदि तथा बनच समष्टि हैं और विशेषण निरंतर रैखिक संचालक है, तो विवृत चित्र है (जैसे, यदि विवृत समुच्चय है , फिर में विवृत है ).
प्रमाण बायर श्रेणी प्रमेय और दोनों की पूर्णता का उपयोग करता है तथा प्रमेय के लिए आवश्यक है। प्रमेय का कथन सत्य नहीं है यदि कोई भी समष्टि केवल मानक समष्टि माना जाता है, लेकिन सत्य है यदि तथा फ्रेचेट रिक्त समष्टि के रूप में लिया जाता है।
संवृत ग्राफ प्रमेय
संवृत ग्राफ प्रमेय निम्नलिखित बताता है: यदि समष्टि है और सघन जगह हॉसडॉर्फ समष्टि है, फिर रेखीय मानचित्र का ग्राफ से प्रति संवृत है यदि केवल निरंतर फलन (सांस्थिति) है।[8]
गणित के विचारों की मूलभूत
फलनात्मक विश्लेषण में माने जाने वाले अधिकांश समष्टिों में अनंत आयाम होते हैं। ऐसे समष्टिों के लिए सदिश समष्टि आधार के अस्तित्व को दिखाने के लिए ज़ोर्न के लेम्मा की आवश्यकता हो सकती है। चूँकि, कुछ भिन्न अवधारणा, शाउडर आधार, सामान्यतः फलनात्मक विश्लेषण में अधिक प्रासंगिक है। बहुत महत्वपूर्ण प्रमेयों के लिए हैन-बनच प्रमेय की आवश्यकता होती है, सामान्यतः पसंद के स्वयंसिद्ध का उपयोग करके सिद्ध किया जाता है, चूँकि कठोरता से कमजोर बूलियन प्रधान आदर्श प्रमेय पर्याप्त है। कई महत्वपूर्ण प्रमेयों को सिद्ध करने के लिए आवश्यक बायर श्रेणी प्रमेय के लिए पसंद के स्वयंसिद्ध के रूप की भी आवश्यकता होती है।
दृष्टिकोण
इसमें फलनात्मक विश्लेषण वर्तमान आकार[update] निम्नलिखित प्रवृत्तियाँ सम्मिलित हैं:
- सार विश्लेषण, समष्टि समूहों, समष्टि छल्ला और संसमष्टििक सदिश समष्टि के आधार पर विश्लेषण के लिए एक दृष्टिकोण।
- बनच रिक्त समष्टि की ज्यामिति में कई विषय सम्मिलित हैं। एक जॉन बौर्गेन से जुड़ा जुझारूपन दृष्टिकोण है; दूसरा बनच समष्टिों का लक्षण वर्णन है जिसमें बड़ी संख्या के कानून के विभिन्न रूप धारण करते हैं।
- गैर अनुमेय ज्यामिति एलेन कॉन्स द्वारा विकसित, आंशिक रूप से पूर्व धारणाओं पर निर्माण, जैसे जॉर्ज मैके के एर्गोडिक सिद्धांत के दृष्टिकोण।
- क्वांटम यांत्रिकी के साथ संबंध या तो संकीर्ण रूप से गणितीय भौतिकी के रूप में परिभाषित किया गया है, या व्यापक रूप से व्याख्या की गई है, उदाहरण के लिए, इज़राइल गेलफैंड, अधिकांश प्रकार के प्रतिनिधित्व सिद्धांत को सम्मिलित करने के लिए।
यह भी देखें
- फलनात्मक विश्लेषण विषयों की सूची
- वर्णक्रमीय सिद्धांत
संदर्भ
- ↑ Lawvere, F. William. "Volterra के कार्यात्मक और अंतरिक्ष के सहसंयोजक सामंजस्य" (PDF). acsu.buffalo.edu. Proceedings of the May 1997 Meeting in Perugia. Archived (PDF) from the original on 2003-04-07.
- ↑ Saraiva, Luís (October 2004). गणितीय विज्ञान का इतिहास. WORLD SCIENTIFIC. p. 195. doi:10.1142/5685. ISBN 978-93-86279-16-3.
- ↑ Bowers, Adam; Kalton, Nigel J. (2014). कार्यात्मक विश्लेषण में एक परिचयात्मक पाठ्यक्रम. Springer Science & Business Media. p. 1.
- ↑ Kadets, Vladimir (2018). कार्यात्मक विश्लेषण और माप सिद्धांत में एक कोर्स [КУРС ФУНКЦИОНАЛЬНОГО АНАЛИЗА]. Springer. pp. xvi.
- ↑ Riesz, Frigyes (1990). कार्यात्मक विश्लेषण. Béla Szőkefalvi-Nagy, Leo F. Boron (Dover ed.). New York: Dover Publications. pp. 195–199. ISBN 0-486-66289-6. OCLC 21228994.
- ↑ Hall, Brian C. (2013-06-19). गणितज्ञों के लिए क्वांटम थ्योरी (in English). Springer Science & Business Media. p. 147. ISBN 978-1-4614-7116-5.
- ↑ 7.0 7.1 Rudin, Walter (1991). कार्यात्मक विश्लेषण (in English). McGraw-Hill. ISBN 978-0-07-054236-5.
- ↑ Munkres, James R. (2000). टोपोलॉजी (in English). Prentice Hall, Incorporated. p. 171. ISBN 978-0-13-181629-9.
अग्रिम पठन
- Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis: A Hitchhiker's Guide, 3rd ed., Springer 2007, ISBN 978-3-540-32696-0. Online doi:10.1007/3-540-29587-9 (by subscription)
- Bachman, G., Narici, L.: Functional analysis, Academic Press, 1966. (reprint Dover Publications)
- Banach S. Theory of Linear Operations. Volume 38, North-Holland Mathematical Library, 1987, ISBN 0-444-70184-2
- Brezis, H.: Analyse Fonctionnelle, Dunod ISBN 978-2-10-004314-9 or ISBN 978-2-10-049336-4
- Conway, J. B.: A Course in Functional Analysis, 2nd edition, Springer-Verlag, 1994, ISBN 0-387-97245-5
- Dunford, N. and Schwartz, J.T.: Linear Operators, General Theory, John Wiley & Sons, and other 3 volumes, includes visualization charts
- Edwards, R. E.: Functional Analysis, Theory and Applications, Hold, Rinehart and Winston, 1965.
- Eidelman, Yuli, Vitali Milman, and Antonis Tsolomitis: Functional Analysis: An Introduction, American Mathematical Society, 2004.
- Friedman, A.: Foundations of Modern Analysis, Dover Publications, Paperback Edition, July 21, 2010
- Giles, J.R.: Introduction to the Analysis of Normed Linear Spaces, Cambridge University Press, 2000
- Hirsch F., Lacombe G. - "Elements of Functional Analysis", Springer 1999.
- Hutson, V., Pym, J.S., Cloud M.J.: Applications of Functional Analysis and Operator Theory, 2nd edition, Elsevier Science, 2005, ISBN 0-444-51790-1
- Kantorovitz, S.,Introduction to Modern Analysis, Oxford University Press, 2003,2nd ed.2006.
- Kolmogorov, A.N and Fomin, S.V.: Elements of the Theory of Functions and Functional Analysis, Dover Publications, 1999
- Kreyszig, E.: Introductory Functional Analysis with Applications, Wiley, 1989.
- Lax, P.: Functional Analysis, Wiley-Interscience, 2002, ISBN 0-471-55604-1
- Lebedev, L.P. and Vorovich, I.I.: Functional Analysis in Mechanics, Springer-Verlag, 2002
- Michel, Anthony N. and Charles J. Herget: Applied Algebra and Functional Analysis, Dover, 1993.
- Pietsch, Albrecht: History of Banach spaces and linear operators, Birkhäuser Boston Inc., 2007, ISBN 978-0-8176-4367-6
- Reed, M., Simon, B.: "Functional Analysis", Academic Press 1980.
- Riesz, F. and Sz.-Nagy, B.: Functional Analysis, Dover Publications, 1990
- Rudin, W.: Functional Analysis, McGraw-Hill Science, 1991
- Saxe, Karen: Beginning Functional Analysis, Springer, 2001
- Schechter, M.: Principles of Functional Analysis, AMS, 2nd edition, 2001
- Shilov, Georgi E.: Elementary Functional Analysis, Dover, 1996.
- Sobolev, S.L.: Applications of Functional Analysis in Mathematical Physics, AMS, 1963
- Vogt, D., Meise, R.: Introduction to Functional Analysis, Oxford University Press, 1997.
- Yosida, K.: Functional Analysis, Springer-Verlag, 6th edition, 1980
बाहरी संबंध
- "Functional analysis", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Topics in Real and Functional Analysis by Gerald Teschl, University of Vienna.
- Lecture Notes on Functional Analysis by Yevgeny Vilensky, New York University.
- Lecture videos on functional analysis by Greg Morrow Archived 2017-04-01 at the Wayback Machine from University of Colorado Colorado Springs