यूक्लिडियन समष्टि पर फलन
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
गणित में, यूक्लिडियन स्थान पर कैलकुलस, यूक्लिडियन स्पेस पर कार्यों के कैलकुलस के लिए एक या कई चर में कार्यों के कैलकुलस का एक सामान्यीकरण है। साथ ही एक परिमित-आयामी वास्तविक वेक्टर स्थान। इस कैलकुलस को विशेष रूप से संयुक्त राज्य अमेरिका में उन्नत कैलकुलस के रूप में भी जाना जाता है। यह बहुपरिवर्तनीय कैलकुलस के समान है, लेकिन किसी भी तरह से अधिक परिष्कृत है क्योंकि यह रैखिक बीजगणित (या कुछ कार्यात्मक विश्लेषण) का अधिक व्यापक रूप से उपयोग करता है और अंतर ज्यामिति से कुछ अवधारणाओं को शामिल करता है जैसे कि अंतर रूपों और अंतर रूपों के संदर्भ में स्टोक्स का सूत्र। रैखिक बीजगणित का यह व्यापक उपयोग बानाच रिक्त स्थान या टोपोलॉजिकल वेक्टर रिक्त स्थान पर कैलकुलस के लिए बहुपरिवर्तनीय कैलकुलस के प्राकृतिक सामान्यीकरण की भी अनुमति देता है।
यूक्लिडियन स्पेस पर कैलकुलस भी मैनिफोल्ड्स पर कैलकुलस का एक स्थानीय मॉडल है, जो मैनिफोल्ड्स पर कार्यों का एक सिद्धांत है।
बुनियादी धारणाएँ
एक वास्तविक चर में कार्य
यह खंड एक-चर कलन में फ़ंक्शन सिद्धांत की एक संक्षिप्त समीक्षा है।
एक वास्तविक-मूल्यवान कार्य पर निरंतर है यदि यह लगभग स्थिर है ; अर्थात।,
इसके विपरीत, फ़ंक्शन पर भिन्न है यदि यह लगभग रैखिक है ; यानी, कुछ वास्तविक संख्या है ऐसा है कि
(सरलता के लिए, मान लीजिए . तो फिर उपरोक्त का मतलब यही है कहाँ h, 0 पर जाने की तुलना में तेजी से 0 पर जाता है और, इस अर्थ में, जैसा व्यवहार करता है .)
जो नंबर पर निर्भर करता है और इस प्रकार दर्शाया गया है . अगर खुले अंतराल पर अवकलनीय है और अगर पर एक सतत कार्य है , तब सी कहा जाता है1फ़ंक्शन. आम तौर पर अधिक, सी कहा जाता हैk फ़ंक्शन यदि यह व्युत्पन्न है सी हैk-1फ़ंक्शन। टेलर के प्रमेय में कहा गया है कि एक सीk फ़ंक्शन वास्तव में एक फ़ंक्शन है जिसे डिग्री k के बहुपद द्वारा अनुमानित किया जा सकता है। अगर एक सी है1कार्य और कुछ के लिए , तो कोई या ; यानी, या तो किसी खुले अंतराल में सख्ती से बढ़ रहा है या सख्ती से घट रहा है। विशेष रूप से, कुछ खुले अंतराल के लिए विशेषण है युक्त . व्युत्क्रम फलन प्रमेय तब कहता है कि व्युत्क्रम फलन यू पर डेरिवेटिव के साथ अवकलनीय है: के लिए
मानचित्र और श्रृंखला नियम का व्युत्पन्न
कार्यों के लिए समतल में या अधिक सामान्यतः यूक्लिडियन स्थान पर परिभाषित , उन कार्यों पर विचार करना आवश्यक है जो वेक्टर-मूल्यवान या मैट्रिक्स-मूल्यवान हैं। इसे अपरिवर्तनीय तरीके से (अर्थात, समन्वय-मुक्त तरीके से) करना वैचारिक रूप से भी सहायक है। किसी बिंदु पर ऐसे मानचित्रों के व्युत्पन्न तब सदिश या रैखिक मानचित्र होते हैं, वास्तविक संख्याएँ नहीं।
होने देना एक खुले उपसमुच्चय से एक मानचित्र बनें का एक खुले उपसमुच्चय के लिए का . फिर नक्शा एक बिंदु पर अवकलनीय फलन कहा जाता है में यदि कोई (आवश्यक रूप से अद्वितीय) रैखिक परिवर्तन मौजूद है , का व्युत्पन्न कहा जाता है पर , ऐसा है कि
कहाँ रैखिक परिवर्तन का अनुप्रयोग है को .[2] अगर पर भिन्न है , तो यह निरंतर है तब से
- जैसा .
जैसा कि एक-चर मामले में है, वहाँ है
Chain rule — [3] Let be as above and a map for some open subset of . If is differentiable at and differentiable at , then the composition is differentiable at with the derivative
यह बिल्कुल एक चर में कार्यों के लिए सिद्ध होता है। दरअसल, संकेतन के साथ , अपने पास:
यहाँ, तब से पर भिन्न है , दाईं ओर दूसरा पद शून्य हो जाता है . जहाँ तक पहले पद की बात है, इसे इस प्रकार लिखा जा सकता है:
अब, निरंतरता दर्शाने वाले तर्क से पर , हम देखते हैं घिरा है। भी, जैसा तब से पर निरंतर है . इसलिए, पहला पद भी शून्य हो जाता है की भिन्नता से पर . वो नक्शा जैसा कि ऊपर कहा गया है निरंतर अवकलनीय या यदि यह डोमेन पर भिन्न है और डेरिवेटिव भी लगातार भिन्न होते हैं; अर्थात।, सतत है.
Corollary — If are continuously differentiable, then is continuously differentiable.
एक रैखिक परिवर्तन के रूप में, एक द्वारा दर्शाया गया है -मैट्रिक्स, जिसे जैकोबियन मैट्रिक्स कहा जाता है का पर और हम इसे इस प्रकार लिखते हैं:
ले रहा होना , एक वास्तविक संख्या और जे-वें मानक आधार तत्व, हम देखते हैं कि भिन्नता पर तात्पर्य:
कहाँ के i-वें घटक को दर्शाता है . अर्थात प्रत्येक घटक पर भिन्न है व्युत्पन्न के साथ प्रत्येक चर में . जैकोबियन मैट्रिक्स के संदर्भ में, श्रृंखला नियम कहता है ; यानी, जैसे ,
जो शृंखला नियम का वह रूप है जो अक्सर बताया जाता है।
उपरोक्त का आंशिक उलटा ही सही है। अर्थात्, यदि आंशिक व्युत्पन्न तो, सभी परिभाषित और निरंतर हैं निरंतर भिन्न है।[4] यह माध्य मूल्य असमानता का परिणाम है:
Mean value inequality — [5] Given the map as above and points in such that the line segment between lies in , if is continuous on and is differentiable on the interior, then, for any vector ,
where
(माध्य मूल्य असमानता का यह संस्करण माध्य मूल्य असमानता से अनुसरण करता है Mean value theorem § Mean value theorem for vector-valued functions फ़ंक्शन पर लागू किया गया , जहां माध्य मूल्य असमानता पर प्रमाण दिया गया है।)
वास्तव में, चलो . हम ध्यान दें कि, यदि , तब
सरलता के लिए, मान लीजिए (सामान्य मामले के लिए तर्क समान है)। फिर, औसत मूल्य असमानता से, ऑपरेटर मानदंड के साथ ,
जो ये दर्शाता हे आवश्यकता अनुसार। उदाहरण: चलो आकार n के सभी व्युत्क्रमणीय वास्तविक वर्ग आव्यूहों का समुच्चय बनें। टिप्पणी के एक खुले उपसमुच्चय के रूप में पहचाना जा सकता है निर्देशांक के साथ . फ़ंक्शन पर विचार करें = का व्युत्क्रम मैट्रिक्स पर परिभाषित . इसके व्युत्पन्न का अनुमान लगाने के लिए, मान लें अवकलनीय है और वक्र पर विचार करें कहाँ का मतलब मैट्रिक्स घातांक है . श्रृंखला नियम द्वारा लागू किया गया , अपने पास:
- .
ले रहा , हम पाते हैं:
- .
अब, हमारे पास है:[6]
चूंकि ऑपरेटर मानदंड यूक्लिडियन मानदंड के बराबर है (कोई भी मानदंड एक दूसरे के समतुल्य हैं), इसका तात्पर्य है विभेदनीय है. अंत में, सूत्र से , हम इसका आंशिक व्युत्पन्न देखते हैं चिकने हैं (असीम रूप से भिन्न); कहाँ से, चिकना भी है.
उच्च डेरिवेटिव और टेलर सूत्र
अगर जहाँ भिन्न है एक खुला उपसमुच्चय है, तो व्युत्पन्न मानचित्र निर्धारित करते हैं , कहाँ सदिश स्थानों के बीच समरूपता को दर्शाता है; यानी, रैखिक मानचित्र। अगर तो फिर, अलग-अलग है . यहाँ, का कोडोमेन द्विरेखीय मानचित्रों के स्थान से इसकी पहचान निम्न द्वारा की जा सकती है:
कहाँ और व्युत्क्रम के साथ विशेषण है द्वारा दिए गए .[lower-alpha 1] सामान्य रूप में, से एक नक्शा है के स्थान पर -बहुरेखीय मानचित्र .
जिस प्रकार एक मैट्रिक्स (जैकोबियन मैट्रिक्स) द्वारा दर्शाया जाता है, जब (एक द्विरेखीय मानचित्र एक द्विरेखीय रूप है), द्विरेखीय रूप एक मैट्रिक्स द्वारा दर्शाया जाता है जिसे हेस्सियन मैट्रिक्स कहा जाता है पर ; अर्थात्, वर्ग मैट्रिक्स आकार का ऐसा है कि , जहां परिंग का तात्पर्य किसी आंतरिक उत्पाद से है , और जैकोबियन मैट्रिक्स के अलावा और कोई नहीं है . वें>-वें की प्रविष्टि इस प्रकार स्पष्ट रूप से दिया गया है .
इसके अलावा, यदि अस्तित्व में है और निरंतर है, फिर मैट्रिक्स सममित मैट्रिक्स है, इस तथ्य को दूसरे डेरिवेटिव की समरूपता के रूप में जाना जाता है।[7] इसे औसत मूल्य असमानता का उपयोग करके देखा जाता है। वैक्टर के लिए में , औसत मूल्य असमानता का दो बार उपयोग करने पर, हमारे पास है:
जो कहते हैं
चूँकि दाहिना भाग सममित है , बाईं ओर भी ऐसा ही है: . प्रेरण द्वारा, यदि है , फिर k-बहुरेखीय मानचित्र सममित है; यानी, आंशिक व्युत्पन्न लेने का क्रम कोई मायने नहीं रखता।[7]
जैसा कि एक चर के मामले में, टेलर श्रृंखला विस्तार को भागों द्वारा एकीकरण द्वारा सिद्ध किया जा सकता है:
टेलर के सूत्र में किसी फ़ंक्शन को चर द्वारा विभाजित करने का प्रभाव होता है, जिसे सूत्र के अगले विशिष्ट सैद्धांतिक उपयोग द्वारा चित्रित किया जा सकता है।
उदाहरण:[8] होने देना सदिश समष्टि के बीच एक रेखीय मानचित्र बनें सुचारू कार्यों पर तेजी से घटते डेरिवेटिव के साथ; अर्थात।, किसी भी मल्टी-इंडेक्स के लिए . (अंतरिक्ष श्वार्ट्ज स्थान कहा जाता है।) प्रत्येक के लिए में , टेलर का सूत्र बताता है कि हम लिख सकते हैं:
साथ , कहाँ कॉम्पैक्ट समर्थन के साथ एक सुचारू कार्य है और . अब, मान लीजिए निर्देशांक के साथ आवागमन; अर्थात।, . तब
- .
उपरोक्त का मूल्यांकन करते हुए , हम पाते हैं दूसरे शब्दों में, किसी फ़ंक्शन द्वारा गुणन है ; अर्थात।, . अब आगे मान लीजिये आंशिक भिन्नता के साथ आवागमन करता है। फिर हम उसे आसानी से देख पाते हैं एक स्थिरांक है; एक स्थिरांक से गुणा है.
(एक तरफ: उपरोक्त चर्चा फूरियर व्युत्क्रम सूत्र को लगभग सिद्ध करती है। वास्तव में, चलो फूरियर रूपांतरण और प्रतिबिंब बनें; अर्थात।, . फिर, इसमें शामिल अभिन्न अंग से सीधे निपटते हुए, कोई भी देख सकता है निर्देशांक और आंशिक विभेदन के साथ आवागमन; इस तरह, एक स्थिरांक से गुणा है. यह लगभग एक प्रमाण है क्योंकि किसी को अभी भी इस स्थिरांक की गणना करनी है।)
टेलर सूत्र का आंशिक विपरीत भी है; बोरेल की लेम्मा और व्हिटनी विस्तार प्रमेय देखें।
व्युत्क्रम फलन प्रमेय और निमज्जन प्रमेय
Inverse function theorem — Let be a map between open subsets in . If is continuously differentiable (or more generally ) and is bijective, there exists neighborhoods of and the inverse that is continuously differentiable (or respectively ).
ए -मानचित्र के साथ - व्युत्क्रम को a कहा जाता है -विभिन्नरूपता. इस प्रकार, प्रमेय कहता है कि, एक मानचित्र के लिए एक बिंदु पर परिकल्पना को संतुष्ट करना , निकट एक भिन्नरूपता है प्रमाण के लिए देखें Inverse function theorem § A proof using successive approximation.
अंतर्निहित कार्य प्रमेय कहता है:[9] एक नक्शा दिया , अगर , है के एक पड़ोस में और का व्युत्पन्न पर उलटा है, तो एक भिन्न मानचित्र मौजूद है कुछ पड़ोस के लिए का ऐसा है कि . प्रमेय व्युत्क्रम फलन प्रमेय से अनुसरण करता है; देखना Inverse function theorem § Implicit function theorem.
एक अन्य परिणाम विसर्जन प्रमेय है।
यूक्लिडियन स्पेस पर इंटीग्रेबल फ़ंक्शंस
एक अंतराल का विभाजन एक सीमित क्रम है . एक विभाजन एक आयत का (अंतराल का उत्पाद) में फिर इसके किनारों के विभाजन शामिल हैं ; यानी, अगर , तब के होते हैं ऐसा है कि का एक विभाजन है .[10] एक फ़ंक्शन दिया गया पर , फिर हम इसके ऊपरी रीमैन योग को इस प्रकार परिभाषित करते हैं:
कहाँ
- का एक विभाजन तत्व है ; अर्थात।, कब का एक विभाजन है .[11]
- आयतन का सामान्य यूक्लिडियन आयतन है; अर्थात।, .
निचला रीमैन योग का फिर प्रतिस्थापित करके परिभाषित किया जाता है द्वारा . अंत में, समारोह यदि यह परिबद्ध है तो इसे पूर्णांकीय फलन कहा जाता है . उस स्थिति में, सामान्य मान को इस प्रकार दर्शाया जाता है .[12] का एक उपसमुच्चय कहा जाता है कि प्रत्येक के लिए माप शून्य है , कुछ संभवतः अपरिमित रूप से अनेक आयतें हैं जिसके संघ में समुच्चय और शामिल है [13] एक प्रमुख प्रमेय है
Theorem — [14] A bounded function on a closed rectangle is integrable if and only if the set has measure zero.
अगला प्रमेय हमें एक फ़ंक्शन के इंटीग्रल की गणना एक-चर में फ़ंक्शन के इंटीग्रल्स की पुनरावृत्ति के रूप में करने की अनुमति देता है:
Fubini's theorem — If is a continuous function on a closed rectangle (in fact, this assumption is too strong), then
विशेष रूप से, एकीकरण का क्रम बदला जा सकता है।
अंततः, यदि एक परिबद्ध खुला उपसमुच्चय है और एक समारोह चालू , फिर हम परिभाषित करते हैं कहाँ एक बंद आयत है जिसमें और पर विशेषता कार्य है ; अर्थात।, अगर और अगर बशर्ते अभिन्न है.[15]
सतह अभिन्न
यदि एक घिरी हुई सतह में द्वारा पैरामीट्रिज्ड किया गया है डोमेन के साथ , फिर एक मापने योग्य फ़ंक्शन का सतह अभिन्न अंग पर परिभाषित और निरूपित किया गया है:
अगर वेक्टर-मूल्यवान है, तो हम परिभाषित करते हैं
कहाँ के लिए एक बाहरी इकाई सामान्य वेक्टर है . तब से , अपने पास:
वेक्टर विश्लेषण
स्पर्शरेखा सदिश और सदिश क्षेत्र
होने देना एक अवकलनीय वक्र बनें। फिर वक्र का स्पर्शरेखा सदिश पर एक वेक्टर है बिंदु पर जिसके घटक इस प्रकार दिए गए हैं:
- .[16]
उदाहरण के लिए, यदि एक हेलिक्स है, तो t पर स्पर्शरेखा वेक्टर है:
यह इस अंतर्ज्ञान से मेल खाता है कि हेलिक्स पर एक बिंदु एक स्थिर गति से ऊपर बढ़ता है।
अगर एक अवकलनीय वक्र या सतह है, फिर स्पर्शरेखा स्थान एक बिंदु पर p अवकलनीय वक्रों के सभी स्पर्शरेखा सदिशों का समुच्चय है साथ .
एक सदिश क्षेत्र X, M में प्रत्येक बिंदु p के लिए एक स्पर्शरेखा सदिश है पी पर एम से इस तरह कि असाइनमेंट सुचारू रूप से बदलता रहे।
विभेदक रूप
सदिश क्षेत्र की दोहरी धारणा एक विभेदक रूप है। एक खुला उपसमुच्चय दिया गया में , परिभाषा के अनुसार, एक विभेदक रूप|अंतर 1-रूप (अक्सर केवल 1-रूप) एक बिंदु के लिए एक असाइनमेंट है में एक रैखिक कार्यात्मक स्पर्शरेखा स्थान पर को पर ताकि असाइनमेंट सुचारू रूप से बदलता रहे। एक (वास्तविक या जटिल-मूल्यवान) सुचारू कार्य के लिए , 1-फॉर्म को परिभाषित करें द्वारा: एक स्पर्शरेखा वेक्टर के लिए पर ,
कहाँ के दिशात्मक व्युत्पन्न को दर्शाता है दिशा में पर .[17] उदाहरण के लिए, यदि है -th समन्वय समारोह, तो ; अर्थात।, मानक आधार पर दोहरे आधार हैं . फिर प्रत्येक अंतर 1-रूप के रूप में विशिष्ट रूप से लिखा जा सकता है
कुछ सुचारु कार्यों के लिए पर (चूँकि, हर बिंदु के लिए , रैखिक कार्यात्मक का एक अनोखा रैखिक संयोजन है वास्तविक संख्या से अधिक)। अधिक सामान्यतः, एक अंतर k-फॉर्म एक बिंदु के लिए एक असाइनमेंट है में एक सदिश में -वीं बाहरी शक्ति दोहरे स्थान का का ताकि असाइनमेंट सुचारू रूप से बदलता रहे।[17]विशेष रूप से, 0-फ़ॉर्म एक सुचारु फ़ंक्शन के समान है। इसके अलावा, कोई भी -प्रपत्र विशिष्ट रूप से इस प्रकार लिखा जा सकता है:
कुछ सुचारु कार्यों के लिए .[17]
एक सुचारु कार्य की तरह, हम विभेदक रूपों को अलग और एकीकृत कर सकते हैं। अगर तो फिर यह एक सुचारु कार्य है इस प्रकार लिखा जा सकता है:[18]
तब से , अपने पास: . ध्यान दें कि, उपरोक्त अभिव्यक्ति में, बाईं ओर (जहां से दाईं ओर) निर्देशांक से स्वतंत्र है ; इस गुण को अंतर का अपरिवर्तनशीलता कहा जाता है।
संचालन इसे बाह्य व्युत्पन्न कहा जाता है और यह आवश्यकता के अनुसार आगमनात्मक रूप से किसी भी भिन्न रूप तक विस्तारित होता है (उत्पाद नियम)
कहाँ एक पी-फॉर्म और एक क्यू-फॉर्म हैं।
बाहरी व्युत्पन्न में वह महत्वपूर्ण गुण होता है ; वह है, बाहरी व्युत्पन्न एक भिन्न रूप का शून्य है. यह संपत्ति दूसरे डेरिवेटिव की समरूपता का परिणाम है (मिश्रित आंशिक बराबर हैं)।
सीमा और अभिविन्यास
एक वृत्त को दक्षिणावर्त या वामावर्त दिशा में उन्मुख किया जा सकता है। गणितीय रूप से, हम कहते हैं कि एक उपसमुच्चय का यदि सामान्य सदिशों का एक सुसंगत विकल्प हो तो उन्मुख होता है जो लगातार बदलता रहता है. उदाहरण के लिए, एक वृत्त या, अधिक सामान्यतः, एक n-गोले को उन्मुख किया जा सकता है; यानी, ओरिएंटेबल. दूसरी ओर, एक मोबियस पट्टी (आयत की दो विपरीत भुजाओं द्वारा घुमाकर प्राप्त की गई सतह) उन्मुख नहीं हो सकती: यदि हम एक सामान्य वेक्टर से शुरू करते हैं और पट्टी के चारों ओर यात्रा करते हैं, तो अंत में सामान्य वेक्टर विपरीत दिशा की ओर इशारा करेगा।
Proposition — A bounded differentiable region in of dimension is oriented if and only if there exists a nowhere-vanishing -form on (called a volume form).
प्रस्ताव उपयोगी है क्योंकि यह हमें वॉल्यूम फॉर्म देकर एक अभिविन्यास देने की अनुमति देता है।
विभेदक रूपों का एकीकरण
अगर एक खुले उपसमुच्चय M पर एक विभेदक n-रूप है (कोई भी एन-फॉर्म वह फॉर्म है), फिर इसका एकीकरण खत्म हो गया मानक अभिविन्यास के साथ इसे इस प्रकार परिभाषित किया गया है:
यदि एम को मानक एक के विपरीत अभिविन्यास दिया गया है, तो दाहिनी ओर के नकारात्मक के रूप में परिभाषित किया गया है।
फिर हमारे पास बाहरी व्युत्पन्न और एकीकरण से संबंधित मौलिक सूत्र है:
Stokes' formula — For a bounded region in of dimension whose boundary is a union of finitely many -subsets, if is oriented, then
for any differential -form on the boundary of .
यहां सूत्र के प्रमाण का एक रेखाचित्र दिया गया है।[19] अगर पर एक सुचारू कार्य है कॉम्पैक्ट समर्थन के साथ, तो हमारे पास है:
(चूंकि, कैलकुलस के मौलिक प्रमेय द्वारा, उपरोक्त का मूल्यांकन समर्थन वाले सेट की सीमाओं पर किया जा सकता है।) दूसरी ओर,
होने देना विशेषता फ़ंक्शन पर संपर्क करें . फिर दाहिनी ओर दूसरा पद जाता है जबकि पहला जाता है , कलन के मौलिक प्रमेय को सिद्ध करने के समान तर्क द्वारा। सूत्र कैलकुलस के मौलिक प्रमेय के साथ-साथ बहुपरिवर्तनीय कैलकुलस में स्टोक्स प्रमेय को सामान्यीकृत करता है। वास्तव में, यदि एक अंतराल है और , तब और सूत्र कहता है:
- .
इसी प्रकार, यदि में एक उन्मुखी बंधी हुई सतह है और , तब और इसी तरह के लिए और . शर्तों को एकत्रित करने पर, हमें इस प्रकार मिलता है:
फिर, के एकीकरण की परिभाषा से , अपने पास कहाँ वेक्टर-वैल्यू फ़ंक्शन है और . अत: स्टोक्स का सूत्र बन जाता है
जो सतहों पर स्टोक्स प्रमेय का सामान्य रूप है। ग्रीन का प्रमेय भी स्टोक्स के सूत्र का एक विशेष मामला है।
स्टोक्स का सूत्र कॉची के अभिन्न सूत्र का एक सामान्य संस्करण भी उत्पन्न करता है। जटिल चर के लिए इसे बताना और सिद्ध करना और संयुग्म आइए हम ऑपरेटरों का परिचय दें
इन नोटेशन में, एक फ़ंक्शन होलोमोर्फिक फ़ंक्शन (जटिल-विश्लेषणात्मक) है यदि और केवल यदि (कौची-रीमैन समीकरण)। इसके अलावा, हमारे पास है:
होने देना केंद्र के साथ एक पंचर डिस्क बनें . तब से पर होलोमोर्फिक है , अपने पास:
- .
स्टोक्स के सूत्र द्वारा,
घुमावदार संख्याएं और पोंकारे लेम्मा
This section needs expansion. You can help by adding to it. (May 2022) |
एक भिन्न रूप यदि बंद और सटीक रूप कहा जाता है और सटीक यदि कहा जाता है कुछ भिन्न रूप के लिए (अक्सर क्षमता कहा जाता है)। तब से , एक सटीक प्रपत्र बंद है. लेकिन यह बातचीत सामान्य रूप से लागू नहीं होती; कोई गैर-सटीक बंद प्रपत्र हो सकता है. ऐसे फॉर्म का एक उत्कृष्ट उदाहरण है:[22]
- ,
जो कि एक भिन्न रूप है . मान लीजिए हम ध्रुवीय निर्देशांक पर स्विच करते हैं: कहाँ . तब
इससे ये पता नहीं चलता सटीक है: समस्या यह है पर एक अच्छी तरह से परिभाषित सतत कार्य नहीं है . चूंकि कोई भी समारोह पर साथ से अलग स्थिरांक से इसका मतलब यह है सटीक नहीं है. हालाँकि, गणना यह दर्शाती है सटीक है, उदाहरण के लिए, पर चूँकि हम ले सकते हैं वहाँ।
एक परिणाम है (पोंकारे लेम्मा) जो एक शर्त देता है जो गारंटी देता है कि बंद किए गए फॉर्म सटीक हैं। इसे बताने के लिए, हमें टोपोलॉजी से कुछ धारणाओं की आवश्यकता है। दो सतत मानचित्र दिए गए के उपसमुच्चय के बीच (या अधिक आम तौर पर टोपोलॉजिकल स्पेस), से एक होमोटॉपी को एक सतत कार्य है ऐसा है कि और . सहज रूप से, एक समरूपता एक फ़ंक्शन से दूसरे फ़ंक्शन की निरंतर भिन्नता है। एक सेट में एक लूप (टोपोलॉजी)। एक वक्र है जिसका प्रारंभिक बिंदु अंतिम बिंदु से मेल खाता है; अर्थात।, ऐसा है कि . फिर का एक उपसमुच्चय यदि प्रत्येक लूप एक स्थिर फ़ंक्शन के लिए समस्थानिक है तो इसे बस जुड़ा हुआ है कहा जाता है। सरलता से जुड़े सेट का एक विशिष्ट उदाहरण एक डिस्क है . दरअसल, एक लूप दिया गया है , हमारे पास समरूपता है से निरंतर कार्य के लिए . दूसरी ओर, एक छिद्रित डिस्क, बस कनेक्ट नहीं होती है।
Poincaré lemma — If is a simply connected open subset of , then each closed 1-form on is exact.
वक्रों और सतहों की ज्यामिति
This section needs expansion. You can help by adding to it. (May 2022) |
चलता हुआ फ्रेम
वेक्टर फ़ील्ड पर यदि वे प्रत्येक बिंदु पर एक-दूसरे के ओर्थोगोनल हैं, तो उन्हें फ़्रेम फ़ील्ड कहा जाता है; अर्थात।, प्रत्येक बिंदु पर.[23] मूल उदाहरण मानक फ़्रेम है ; अर्थात।, प्रत्येक बिंदु के लिए एक मानक आधार है में . दूसरा उदाहरण बेलनाकार फ्रेम है
किसी वक्र की ज्यामिति के अध्ययन के लिए, उपयोग किया जाने वाला महत्वपूर्ण फ्रेम फ़्रेनेट फ़्रेम है एक इकाई-गति वक्र पर इस प्रकार दिया गया:
गॉस-बोनट प्रमेय
गॉस-बोनट प्रमेय किसी सतह की टोपोलॉजी और उसकी ज्यामिति से संबंधित है।
The Gauss–Bonnet theorem — [25] For each bounded surface in , we have:
where is the Euler characteristic of and the curvature.
विविधताओं की गणना
लैग्रेंज गुणक की विधि
Lagrange multiplier — [26] Let be a differentiable function from an open subset of such that has rank at every point in . For a differentiable function , if attains either a maximum or minimum at a point in , then there exists real numbers such that
- .
In other words, is a stationary point of .
सेट आमतौर पर इसे बाधा कहा जाता है।
उदाहरण:[27] मान लीजिए हम वृत्त के बीच न्यूनतम दूरी ज्ञात करना चाहते हैं और रेखा . इसका मतलब है कि हम फ़ंक्शन को छोटा करना चाहते हैं , एक बिंदु के बीच की वर्ग दूरी वृत्त और एक बिंदु पर लाइन पर, बाधा के तहत . अपने पास:
जैकोबियन मैट्रिक्स के बाद से हर जगह 2 रैंक पर है , लैग्रेंज गुणक देता है:
अगर , तब , संभव नहीं। इस प्रकार, और
इससे यह बात आसानी से समझ में आ जाती है और . अत: न्यूनतम दूरी है (न्यूनतम दूरी स्पष्ट रूप से मौजूद है)।
यहां रैखिक बीजगणित का एक अनुप्रयोग है।[28] होने देना एक परिमित-आयामी वास्तविक वेक्टर स्थान बनें और एक स्व-सहायक ऑपरेटर। हम दिखाएंगे के eigenvectors से युक्त एक आधार है (अर्थात।, विकर्णीय है) के आयाम पर प्रेरण द्वारा . आधार का चयन करना हम पहचान सकते हैं और मैट्रिक्स द्वारा दर्शाया गया है . फ़ंक्शन पर विचार करें , जहां ब्रैकेट का मतलब आंतरिक उत्पाद है। तब . दूसरी ओर, के लिए , तब से सघन है, एक बिंदु पर अधिकतम या न्यूनतम प्राप्त करता है में . तब से , लैग्रेंज गुणक द्वारा, हम एक वास्तविक संख्या पाते हैं ऐसा है कि लेकिन इसका मतलब है . आगमनात्मक परिकल्पना द्वारा, स्व-सहायक संचालिका , ओर्थोगोनल पूरक , eigenvectors से युक्त एक आधार है। इसलिए, हमारा काम हो गया। .
कमजोर व्युत्पन्न
माप-शून्य सेट तक, दो कार्यों को अन्य कार्यों (जिन्हें परीक्षण फ़ंक्शन कहा जाता है) के विरुद्ध एकीकरण के माध्यम से बराबर या नहीं निर्धारित किया जा सकता है। अर्थात्, निम्नलिखित को कभी-कभी विविधताओं के कलन की मौलिक प्रमेयिका कहा जाता है:
Lemma[29] — If are locally integrable functions on an open subset such that
for every (called a test function). Then almost everywhere. If, in addition, are continuous, then .
एक सतत कार्य दिया गया , लेम्मा द्वारा, एक निरंतर भिन्न कार्य इस प्रकार कि अगर और केवल अगर
हरएक के लिए . लेकिन, भागों द्वारा एकीकरण द्वारा, बाईं ओर आंशिक व्युत्पन्न के उस पर ले जाया जा सकता है ; अर्थात।,
जहाँ से कोई सीमा शब्द नहीं है कॉम्पैक्ट समर्थन है. अब मुख्य बात यह है कि यह अभिव्यक्ति भले ही समझ में आती हो यह आवश्यक रूप से भिन्न नहीं है और इस प्रकार ऐसे फ़ंक्शन के व्युत्पन्न को समझने के लिए इसका उपयोग किया जा सकता है।
प्रत्येक स्थानीय रूप से एकीकृत फ़ंक्शन पर ध्यान दें रैखिक कार्यात्मकता को परिभाषित करता है पर और, इसके अलावा, प्रारंभिक लेम्मा के कारण, प्रत्येक स्थानीय रूप से एकीकृत फ़ंक्शन को ऐसे रैखिक फ़ंक्शनल के साथ पहचाना जा सकता है। इसलिए, सामान्यतः, यदि पर एक रैखिक कार्यात्मक है , फिर हम परिभाषित करते हैं रैखिक कार्यात्मक होना जहां ब्रैकेट का मतलब है . तब इसे इसका कमजोर व्युत्पन्न कहा जाता है इसके संबंध में . अगर निरंतर अवकलनीय है, तो इसका कमजोर व्युत्पन्न सामान्य के साथ मेल खाता है; यानी, रैखिक कार्यात्मक के सामान्य आंशिक व्युत्पन्न द्वारा निर्धारित रैखिक कार्यात्मक के समान है इसके संबंध में . एक सामान्य व्युत्पन्न को अक्सर शास्त्रीय व्युत्पन्न कहा जाता है। जब एक रैखिक कार्यात्मक पर एक निश्चित टोपोलॉजी के संबंध में निरंतर है , ऐसे रैखिक कार्यात्मक को वितरण (गणित) कहा जाता है, जो एक सामान्यीकृत फ़ंक्शन का एक उदाहरण है।
कमजोर व्युत्पन्न का एक उत्कृष्ट उदाहरण हेविसाइड फ़ंक्शन है , अंतराल पर विशेषता कार्य .[30] प्रत्येक परीक्षण फ़ंक्शन के लिए , अपने पास:
होने देना रैखिक कार्यात्मक को निरूपित करें , जिसे डिराक डेल्टा फ़ंक्शन कहा जाता है (हालाँकि यह वास्तव में एक फ़ंक्शन नहीं है)। फिर उपरोक्त को इस प्रकार लिखा जा सकता है:
कॉची के अभिन्न सूत्र की कमजोर डेरिवेटिव के संदर्भ में समान व्याख्या है। जटिल चर के लिए , होने देना . एक परीक्षण समारोह के लिए , यदि डिस्क का समर्थन शामिल है कॉची के अभिन्न सूत्र द्वारा, हमारे पास है:
तब से , इसका मतलब यह है:
या
- [31] सामान्य तौर पर, एक सामान्यीकृत फ़ंक्शन को रैखिक आंशिक अंतर ऑपरेटर के लिए मौलिक समाधान कहा जाता है यदि ऑपरेटर का अनुप्रयोग डायराक डेल्टा है। इसलिए, ऊपर कहा गया है विभेदक ऑपरेटर के लिए मौलिक समाधान है .
हैमिल्टन-जैकोबी सिद्धांत
This section needs expansion. You can help by adding to it. (May 2022) |
मैनिफोल्ड्स पर कैलकुलस
अनेक गुना की परिभाषा
- इस अनुभाग के लिए सामान्य टोपोलॉजी में कुछ पृष्ठभूमि की आवश्यकता होती है।
कई गुना एक हॉसडॉर्फ टोपोलॉजिकल स्पेस है जिसे स्थानीय रूप से यूक्लिडियन स्पेस द्वारा मॉडल किया गया है। परिभाषा के अनुसार, एक टोपोलॉजिकल स्पेस का एटलस (गणित)। मानचित्रों का एक सेट है , जिसे चार्ट कहा जाता है, जैसे कि
- का एक खुला आवरण हैं ; यानी, प्रत्येक खुला है और ,
- एक समरूपता है और
- चिकना है; इस प्रकार एक भिन्नतावाद।
परिभाषा के अनुसार, मैनिफोल्ड एक अधिकतम एटलस (जिसे एक भिन्न संरचना कहा जाता है) के साथ एक दूसरी-गणनीय हॉसडॉर्फ टोपोलॉजिकल स्पेस है; मैक्सिमम का मतलब है कि यह सख्ती से बड़े एटलस में शामिल नहीं है। अनेक गुना का आयाम मॉडल यूक्लिडियन स्पेस का आयाम है ; अर्थात्, और मैनिफोल्ड को एन-मैनिफोल्ड कहा जाता है जब इसका आयाम एन होता है। मैनिफ़ोल्ड पर एक फ़ंक्शन यदि चिकनी कहा जाता है चिकनी है प्रत्येक चार्ट के लिए भिन्न संरचना में.
मैनिफोल्ड पैराकॉम्पैक्ट स्पेस है; इसका निहितार्थ यह है कि यह किसी दिए गए खुले आवरण के अधीन एकता के विभाजन को स्वीकार करता है।
अगर ऊपरी आधे स्थान द्वारा प्रतिस्थापित किया जाता है , तब हमें सीमा के साथ अनेक गुना की धारणा प्राप्त होती है। बिंदुओं का समूह जो की सीमा को दर्शाता है चार्ट के अंतर्गत इसे दर्शाया गया है और की सीमा कहलाती है . यह सीमा टोपोलॉजिकल सीमा नहीं हो सकती है . के आंतरिक भाग के बाद से से भिन्न है , मैनिफोल्ड खाली सीमा के साथ एक मैनिफोल्ड-विथ-बाउंड्री है।
अगला प्रमेय अनेक गुनाओं के कई उदाहरण प्रस्तुत करता है।
Theorem — [32] Let be a differentiable map from an open subset such that has rank for every point in . Then the zero set is an -manifold.
उदाहरण के लिए, के लिए , व्युत्पन्न हर बिंदु पर एक रैंक है में . इसलिए, n-गोला एक एन-मैनिफोल्ड है। प्रमेय को व्युत्क्रम फलन प्रमेय के परिणाम के रूप में सिद्ध किया गया है।
कई परिचित मैनिफोल्ड्स के उपसमुच्चय हैं . अगला सैद्धांतिक रूप से महत्वपूर्ण परिणाम कहता है कि किसी अन्य प्रकार की विविधता मौजूद नहीं है। विसर्जन एक सहज मानचित्र है जिसका अंतर विशेषणात्मक होता है। एम्बेडिंग एक ऐसा विसर्जन है जो छवि के लिए होमियोमॉर्फिक (इस प्रकार भिन्न-रूपी) होता है।
Whitney's embedding theorem — Each -manifold can be embedded into .
इस बात का प्रमाण कि इसमें अनेकता समाहित की जा सकती है कुछ के लिए एन काफी आसान है और यहां आसानी से दिया जा सकता है। यह ज्ञात है[citation needed] कि मैनिफोल्ड का एक सीमित एटलस होता है . होने देना ऐसे सुचारु कार्य हों और ढकना (उदाहरण के लिए, एकता का विभाजन)। मानचित्र पर विचार करें
यह देखना आसान है एक इंजेक्शन विसर्जन है. यह एम्बेडिंग नहीं हो सकता है. इसे ठीक करने के लिए, हम इसका उपयोग करेंगे:
कहाँ एक सहज उचित मानचित्र है. एक सुचारू उचित मानचित्र का अस्तित्व एकता के विभाजन का परिणाम है। विसर्जन के मामले में बाकी सबूत के लिए [1] देखें। नैश का एम्बेडिंग प्रमेय कहता है कि, यदि रीमैनियन मीट्रिक से सुसज्जित है, तो एम्बेडिंग को बढ़ने के खर्च के साथ आइसोमेट्रिक माना जा सकता है ; इसके लिए, यह टी. ताओ का ब्लॉग देखें।
ट्यूबलर पड़ोस और ट्रांसवर्सलिटी
This section needs expansion. You can help by adding to it. (May 2022) |
तकनीकी रूप से महत्वपूर्ण परिणाम है:
Tubular neighborhood theorem — Let M be a manifold and a compact closed submanifold. Then there exists a neighborhood of such that is diffeomorphic to the normal bundle to and corresponds to the zero section of under the diffeomorphism.
इसे मैनिफ़ोल्ड पर रीमैनियन मीट्रिक डालकर सिद्ध किया जा सकता है . दरअसल, मीट्रिक का चुनाव सामान्य बंडल बनाता है के लिए एक पूरक बंडल ; अर्थात।, का सीधा योग है और . फिर, मीट्रिक का उपयोग करके, हमारे पास घातांकीय मानचित्र होता है कुछ पड़ोस के लिए का सामान्य बंडल में किसी पड़ोस में का में . यहां घातांकीय मानचित्र अंतःक्षेपी नहीं हो सकता है लेकिन इसे सिकुड़कर अंतःक्षेपी (इस प्रकार भिन्नरूपी) बनाना संभव है (अभी के लिए, देखें [2])।
अनेक गुना और वितरण घनत्व पर एकीकरण
This section needs expansion. You can help by adding to it. (May 2022) |
मैनिफोल्ड्स पर एकीकरण के विषय का प्रारंभिक बिंदु यह है कि मैनिफोल्ड्स पर कार्यों को एकीकृत करने का कोई अपरिवर्तनीय तरीका नहीं है। यह स्पष्ट हो सकता है यदि हमने पूछा: एक परिमित-आयामी वास्तविक वेक्टर स्थान पर कार्यों का एकीकरण क्या है? (इसके विपरीत, विभेदीकरण करने का एक अपरिवर्तनीय तरीका है, क्योंकि परिभाषा के अनुसार, मैनिफोल्ड एक विभेदक संरचना के साथ आता है)। एकीकरण सिद्धांत को कई गुना पेश करने के कई तरीके हैं:
- विभेदक रूपों को एकीकृत करें।
- किसी उपाय के विरुद्ध एकीकरण करें।
- मैनिफोल्ड को रीमानियन मेट्रिक से सुसज्जित करें और ऐसे मेट्रिक के विरुद्ध एकीकरण करें।
उदाहरण के लिए, यदि एक मैनिफ़ोल्ड यूक्लिडियन स्थान में अंतर्निहित है , फिर यह परिवेशी यूक्लिडियन स्थान से प्रतिबंधित लेबेस्ग माप प्राप्त करता है और फिर दूसरा दृष्टिकोण काम करता है। पहला दृष्टिकोण कई स्थितियों में ठीक है, लेकिन इसके लिए मैनिफोल्ड को उन्मुख करने की आवश्यकता होती है (और एक गैर-उन्मुख मैनिफोल्ड है जो पैथोलॉजिकल नहीं है)। तीसरा दृष्टिकोण सामान्यीकरण करता है और यह घनत्व की धारणा को जन्म देता है।
सामान्यीकरण
अनंत-आयामी मानक स्थानों तक विस्तार
विभेदीकरण जैसी धारणाएँ मानक स्थानों तक फैली हुई हैं।
यह भी देखें
- सतहों की विभेदक ज्यामिति
- फाइबर के साथ एकीकरण
- लुसिन का प्रमेय
- अनेक गुना पर घनत्व
टिप्पणियाँ
- ↑ This is just the tensor-hom adjunction.
उद्धरण
- ↑ Spivak 1965, Ch 2. Basic definitions.
- ↑ Hörmander 2015, Definition 1.1.4.
- ↑ Hörmander 2015, (1.1.3.)
- ↑ Hörmander 2015, Theorem 1.1.6.
- ↑ Hörmander 2015, (1.1.2)'
- ↑ Hörmander 2015, p. 8
- ↑ 7.0 7.1 Hörmander 2015, Theorem 1.1.8.
- ↑ Hörmander 2015, Lemma 7.1.4.
- ↑ Spivak 1965, Theorem 2-12.
- ↑ Spivak 1965, p. 46
- ↑ Spivak 1965, p. 47
- ↑ Spivak 1965, p. 48
- ↑ Spivak 1965, p. 50
- ↑ Spivak 1965, Theorem 3-8.
- ↑ Spivak 1965, p. 55
- ↑ Spivak 1965, Exercise 4.14.
- ↑ 17.0 17.1 17.2 Spivak 1965, p. 89
- ↑ Spivak 1965, Theorem 4-7.
- ↑ Hörmander 2015, p. 151
- ↑ Theorem 1.2.1. in Hörmander, Lars (1990). An Introduction to Complex Analysis in Several Variables (Third ed.). North Holland..
- ↑ Spivak 1965, Exercise 4-33.
- ↑ Spivak 1965, p. 93
- ↑ O'Neill 2006, Definition 6.1.
- ↑ O'Neill 2006, Example 6.2. (1)
- ↑ O'Neill 2006, Theorem 6.10.
- ↑ Spivak 1965, Exercise 5-16.
- ↑ Edwards 1994, Ch. II, $ 5. Example 9.
- ↑ Spivak 1965, Exercise 5-17.
- ↑ Hörmander 2015, Theorem 1.2.5.
- ↑ Hörmander 2015, Example 3.1.2.
- ↑ Hörmander 2015, p. 63
- ↑ Spivak 1965, Theorem 5-1.
संदर्भ
- do Carmo, Manfredo P. (1976), Differential Geometry of Curves and Surfaces, Prentice-Hall, ISBN 978-0-13-212589-5
- Edwards, Charles Henry (1994) [1973], Advanced Calculus of Several Variables, Mineola, New York: Dover Publications, ISBN 0-486-68336-2
- Folland, Gerald, Real Analysis: Modern Techniques and Their Applications (2nd ed.)
- Cartan, Henri (1971), Calcul Differentiel (in français), Hermann, ISBN 9780395120330
- Hirsch, Morris (1994), Differential Topology (2nd ed.), Springer-Verlag
- Hörmander, Lars (2015), The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, Classics in Mathematics (2nd ed.), Springer, ISBN 9783642614972
- Loomis, Lynn Harold; Sternberg, Shlomo (1968), Advanced Calculus, Addison-Wesley (revised 1990, Jones and Bartlett; reprinted 2014, World Scientific) [this text in particular discusses density]
- O'Neill, Barrett (2006), Elementary Differential Geometry (revised 2nd ed.), Amsterdam: Elsevier/Academic Press, ISBN 0-12-088735-5
- Rudin, Walter (1976) [1953], Principles of Mathematical Analysis (3rd ed.), New York: McGraw Hill, pp. 204–299, ISBN 978-0-07-054235-8
- Spivak, Michael (1965). Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. San Francisco: Benjamin Cummings. ISBN 0-8053-9021-9.