यूक्लिडियन समष्टि पर फलन: Difference between revisions
(Created page with "{{Calculus}} गणित में, यूक्लिडियन स्थान पर कैलकुलस, यूक्लिडियन स्पेस पर...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Calculus}} | {{Calculus}} | ||
गणित में, [[ यूक्लिडियन स्थान ]] पर कैलकुलस, यूक्लिडियन स्पेस पर कार्यों के कैलकुलस के लिए एक या | गणित में, [[ यूक्लिडियन स्थान |यूक्लिडियन स्थान]] पर कैलकुलस, यूक्लिडियन स्पेस पर कार्यों के कैलकुलस के लिए एक या अनेक चर में कार्यों के कैलकुलस का एक सामान्यीकरण है। <math>\mathbb{R}^n</math> साथ ही एक [[परिमित-आयामी वास्तविक वेक्टर स्थान|परिमित-आयामी वास्तविक सदिश स्थान]]। इस कैलकुलस को विशेष रूप से संयुक्त राज्य अमेरिका में उन्नत कैलकुलस के रूप में भी जाना जाता है। यह बहुपरिवर्तनीय कैलकुलस के समान है, लेकिन किसी भी तरह से अधिक परिष्कृत है क्योंकि यह रैखिक बीजगणित (या कुछ कार्यात्मक विश्लेषण) का अधिक व्यापक रूप से उपयोग करता है और अंतर ज्यामिति से कुछ अवधारणाओं को शामिल करता है जैसे कि अंतर रूपों और अंतर रूपों के संदर्भ में स्टोक्स का सूत्र। रैखिक बीजगणित का यह व्यापक उपयोग बानाच रिक्त स्थान या टोपोलॉजिकल सदिश रिक्त स्थान पर कैलकुलस के लिए बहुपरिवर्तनीय कैलकुलस के प्राकृतिक सामान्यीकरण की भी अनुमति देता है। | ||
यूक्लिडियन स्पेस पर कैलकुलस भी मैनिफोल्ड्स पर कैलकुलस का एक स्थानीय मॉडल है, जो मैनिफोल्ड्स पर कार्यों का एक सिद्धांत है। | यूक्लिडियन स्पेस पर कैलकुलस भी मैनिफोल्ड्स पर कैलकुलस का एक स्थानीय मॉडल है, जो मैनिफोल्ड्स पर कार्यों का एक सिद्धांत है। | ||
Line 8: | Line 8: | ||
=== एक वास्तविक चर में कार्य === | === एक वास्तविक चर में कार्य === | ||
यह खंड एक-चर कलन में | यह खंड एक-चर कलन में फलन सिद्धांत की एक संक्षिप्त समीक्षा है। | ||
एक वास्तविक-मूल्यवान कार्य <math>f : \mathbb{R} \to \mathbb{R}</math> पर निरंतर है <math>a</math> यदि यह लगभग स्थिर है <math>a</math>; अर्थात।, | एक वास्तविक-मूल्यवान कार्य <math>f : \mathbb{R} \to \mathbb{R}</math> पर निरंतर है <math>a</math> यदि यह लगभग स्थिर है <math>a</math>; अर्थात।, | ||
:<math>\lim_{h \to 0} (f(a + h) - f(a)) = 0.</math> | :<math>\lim_{h \to 0} (f(a + h) - f(a)) = 0.</math> | ||
इसके विपरीत, | इसके विपरीत, फलन <math>f</math> पर भिन्न है <math>a</math> यदि यह लगभग रैखिक है <math>a</math>; यानी, कुछ वास्तविक संख्या है <math>\lambda</math> ऐसा है कि | ||
:<math>\lim_{h \to 0} \frac{f(a + h) - f(a) - \lambda h}{h} = 0.</math><ref>{{harvnb|Spivak|1965|loc=Ch 2. Basic definitions.}}</ref> | :<math>\lim_{h \to 0} \frac{f(a + h) - f(a) - \lambda h}{h} = 0.</math><ref>{{harvnb|Spivak|1965|loc=Ch 2. Basic definitions.}}</ref> | ||
(सरलता के लिए, मान लीजिए <math>f(a) = 0</math>. | (सरलता के लिए, मान लीजिए <math>f(a) = 0</math>. तब फिर उपरोक्त का मतलब यही है <math>f(a + h) = \lambda h + g(a, h)</math> कहाँ <math>g(a, h)</math> h, 0 पर जाने की तुलना में तेजी से 0 पर जाता है और, इस अर्थ में, <math>f(a + h)</math> जैसा व्यवहार करता है <math>\lambda h</math>.) | ||
जो नंबर <math>\lambda</math> पर निर्भर करता है <math>a</math> और इस प्रकार दर्शाया गया है <math>f'(a)</math>. अगर <math>f</math> खुले अंतराल पर अवकलनीय है <math>U</math> और अगर <math>f'</math> पर एक सतत कार्य है <math>U</math>, तब <math>f</math> सी कहा जाता है<sup>1</sup> | जो नंबर <math>\lambda</math> पर निर्भर करता है <math>a</math> और इस प्रकार दर्शाया गया है <math>f'(a)</math>. अगर <math>f</math> खुले अंतराल पर अवकलनीय है <math>U</math> और अगर <math>f'</math> पर एक सतत कार्य है <math>U</math>, तब <math>f</math> सी कहा जाता है<sup>1</sup>फलन. आम तौर पर अधिक, <math>f</math> सी कहा जाता है<sup>k</sup> फलन यदि यह व्युत्पन्न है <math>f'</math> सी है<sup>k-1</sup>फलन। टेलर के प्रमेय में कहा गया है कि एक सी<sup>k</sup> फलन वास्तव में एक फलन है जिसे डिग्री k के बहुपद द्वारा अनुमानित किया जा सकता है।<!-- not sure if we want to restate the theorem: | ||
:<math> f(x+h) =\sum_{n=0}^{k-1} f^{(n)}(x) {h^n\over n!} + \int_0^1 (1-t)^{k-1} {h^k \over k!} f^{(k)}(x+th)\, dt.</math>--> | :<math> f(x+h) =\sum_{n=0}^{k-1} f^{(n)}(x) {h^n\over n!} + \int_0^1 (1-t)^{k-1} {h^k \over k!} f^{(k)}(x+th)\, dt.</math>--> | ||
अगर <math>f : \mathbb{R} \to \mathbb{R}</math> एक सी है<sup>1</sup>कार्य और <math>f'(a) \ne 0</math> कुछ के लिए <math>a</math>, | अगर <math>f : \mathbb{R} \to \mathbb{R}</math> एक सी है<sup>1</sup>कार्य और <math>f'(a) \ne 0</math> कुछ के लिए <math>a</math>, तब कोई <math>f'(a) > 0</math> या <math>f'(a) < 0</math>; यानी, या तब <math>f</math> किसी खुले अंतराल में सख्ती से बढ़ रहा है या सख्ती से घट रहा है। विशेष रूप से, <math>f : f^{-1}(U) \to U</math> कुछ खुले अंतराल के लिए विशेषण है <math>U</math> युक्त <math>f(a)</math>. [[व्युत्क्रम फलन प्रमेय]] तब कहता है कि व्युत्क्रम फलन <math>f^{-1}</math> यू पर डेरिवेटिव के साथ अवकलनीय है: के लिए <math>y \in U</math> | ||
:<math>(f^{-1})'(y) = {1 \over f'(f^{-1}(y))}.</math> | :<math>(f^{-1})'(y) = {1 \over f'(f^{-1}(y))}.</math> | ||
=== मानचित्र और श्रृंखला नियम का व्युत्पन्न === | === मानचित्र और श्रृंखला नियम का व्युत्पन्न === | ||
कार्यों के लिए <math>f</math> समतल में या अधिक सामान्यतः यूक्लिडियन स्थान पर परिभाषित <math>\mathbb{R}^n</math>, उन कार्यों पर विचार करना आवश्यक है जो | कार्यों के लिए <math>f</math> समतल में या अधिक सामान्यतः यूक्लिडियन स्थान पर परिभाषित <math>\mathbb{R}^n</math>, उन कार्यों पर विचार करना आवश्यक है जो सदिश-मूल्यवान या मैट्रिक्स-मूल्यवान हैं। इसे अपरिवर्तनीय तरीके से (अर्थात, समन्वय-मुक्त तरीके से) करना वैचारिक रूप से भी सहायक है। किसी बिंदु पर ऐसे मानचित्रों के व्युत्पन्न तब सदिश या रैखिक मानचित्र होते हैं, वास्तविक संख्याएँ नहीं। | ||
होने देना <math>f : X \to Y</math> एक खुले उपसमुच्चय से एक मानचित्र बनें <math>X</math> का <math>\mathbb{R}^n</math> एक खुले उपसमुच्चय के लिए <math>Y</math> का <math>\mathbb{R}^m</math>. फिर नक्शा <math>f</math> एक बिंदु पर अवकलनीय फलन कहा जाता है <math>x</math> में <math>X</math> यदि कोई (आवश्यक रूप से अद्वितीय) रैखिक परिवर्तन मौजूद है <math>f'(x) : \mathbb{R}^n \to \mathbb{R}^m</math>, का व्युत्पन्न कहा जाता है <math>f</math> पर <math>x</math>, ऐसा है कि | होने देना <math>f : X \to Y</math> एक खुले उपसमुच्चय से एक मानचित्र बनें <math>X</math> का <math>\mathbb{R}^n</math> एक खुले उपसमुच्चय के लिए <math>Y</math> का <math>\mathbb{R}^m</math>. फिर नक्शा <math>f</math> एक बिंदु पर अवकलनीय फलन कहा जाता है <math>x</math> में <math>X</math> यदि कोई (आवश्यक रूप से अद्वितीय) रैखिक परिवर्तन मौजूद है <math>f'(x) : \mathbb{R}^n \to \mathbb{R}^m</math>, का व्युत्पन्न कहा जाता है <math>f</math> पर <math>x</math>, ऐसा है कि | ||
:<math>\lim_{ h \to 0 } \frac{1}{|h|} |f(x + h) - f(x) - f'(x)h| = 0</math> | :<math>\lim_{ h \to 0 } \frac{1}{|h|} |f(x + h) - f(x) - f'(x)h| = 0</math> | ||
कहाँ <math>f'(x)h</math> रैखिक परिवर्तन का अनुप्रयोग है <math>f'(x)</math> को <math>h</math>.<ref>{{harvnb|Hörmander|2015|loc=Definition 1.1.4.}}</ref> अगर <math>f</math> पर भिन्न है <math>x</math>, | कहाँ <math>f'(x)h</math> रैखिक परिवर्तन का अनुप्रयोग है <math>f'(x)</math> को <math>h</math>.<ref>{{harvnb|Hörmander|2015|loc=Definition 1.1.4.}}</ref> अगर <math>f</math> पर भिन्न है <math>x</math>, तब यह निरंतर है <math>x</math> तब से | ||
:<math>|f(x + h) - f(x)| \le (|h|^{-1}|f(x + h) - f(x) - f'(x)h|) |h| + |f'(x)h| \to 0</math> जैसा <math>h \to 0</math>. | :<math>|f(x + h) - f(x)| \le (|h|^{-1}|f(x + h) - f(x) - f'(x)h|) |h| + |f'(x)h| \to 0</math> जैसा <math>h \to 0</math>. | ||
Line 45: | Line 45: | ||
0, & \widetilde{h} = 0. | 0, & \widetilde{h} = 0. | ||
\end{cases}</math> | \end{cases}</math> | ||
अब, निरंतरता दर्शाने वाले तर्क से <math>f</math> पर <math>x</math>, हम देखते हैं | अब, निरंतरता दर्शाने वाले तर्क से <math>f</math> पर <math>x</math>, हम देखते हैं <math>\frac{|\widetilde{h}|}{|h|}</math> घिरा है। भी, <math>\widetilde{h} \to 0</math> जैसा <math>h \to 0</math> तब से <math>f</math> पर निरंतर है <math>x</math>. इसलिए, पहला पद भी शून्य हो जाता है <math>h \to 0</math> की भिन्नता से <math>g</math> पर <math>y</math>. <math>\square</math> | ||
वो नक्शा <math>f</math> जैसा कि ऊपर कहा गया है निरंतर अवकलनीय या <math>C^1</math> यदि यह डोमेन पर भिन्न है और डेरिवेटिव भी लगातार भिन्न होते हैं; अर्थात।, <math>x \mapsto f'(x)</math> सतत है. | वो नक्शा <math>f</math> जैसा कि ऊपर कहा गया है निरंतर अवकलनीय या <math>C^1</math> यदि यह डोमेन पर भिन्न है और डेरिवेटिव भी लगातार भिन्न होते हैं; अर्थात।, <math>x \mapsto f'(x)</math> सतत है. | ||
Line 62: | Line 62: | ||
जो शृंखला नियम का वह रूप है जो अक्सर बताया जाता है। | जो शृंखला नियम का वह रूप है जो अक्सर बताया जाता है। | ||
उपरोक्त का आंशिक उलटा ही सही है। अर्थात्, यदि आंशिक व्युत्पन्न <math>{\partial f_i}/{\partial x_j}</math> | उपरोक्त का आंशिक उलटा ही सही है। अर्थात्, यदि आंशिक व्युत्पन्न <math>{\partial f_i}/{\partial x_j}</math> तब, सभी परिभाषित और निरंतर हैं <math>f</math> निरंतर भिन्न है।<ref>{{harvnb|Hörmander|2015|loc=Theorem 1.1.6.}}</ref> यह माध्य मूल्य असमानता का परिणाम है: | ||
{{math_theorem|name=Mean value inequality|math_statement=<ref>{{harvnb|Hörmander|2015|loc=(1.1.2)'}}</ref> Given the map <math>f : X \to Y</math> as above and points <math>x, y</math> in <math>X</math> such that the line segment between <math>x, y</math> lies in <math>X</math>, if <math>t \mapsto f(x + ty)</math> is continuous on <math>[0, 1]</math> and is differentiable on the interior, then, for any vector <math>v \in \mathbb{R}^m</math>, | {{math_theorem|name=Mean value inequality|math_statement=<ref>{{harvnb|Hörmander|2015|loc=(1.1.2)'}}</ref> Given the map <math>f : X \to Y</math> as above and points <math>x, y</math> in <math>X</math> such that the line segment between <math>x, y</math> lies in <math>X</math>, if <math>t \mapsto f(x + ty)</math> is continuous on <math>[0, 1]</math> and is differentiable on the interior, then, for any vector <math>v \in \mathbb{R}^m</math>, | ||
Line 68: | Line 68: | ||
where <math> \Delta_y f(x) = f(x + y) - f(x).</math> | where <math> \Delta_y f(x) = f(x + y) - f(x).</math> | ||
}} | }} | ||
(माध्य मूल्य असमानता का यह संस्करण माध्य मूल्य असमानता से अनुसरण करता है {{slink|Mean value theorem#Mean value theorem for vector-valued functions}} | (माध्य मूल्य असमानता का यह संस्करण माध्य मूल्य असमानता से अनुसरण करता है {{slink|Mean value theorem#Mean value theorem for vector-valued functions}} फलन पर क्रियान्वित किया गया <math>[0, 1] \to \mathbb{R}^m, \, t \mapsto f(x + ty) - tv</math>, जहां माध्य मूल्य असमानता पर प्रमाण दिया गया है।) | ||
वास्तव में, चलो <math>g(x) = (Jf)(x)</math>. हम ध्यान दें कि, यदि <math>y = y_i e_i</math>, तब | वास्तव में, चलो <math>g(x) = (Jf)(x)</math>. हम ध्यान दें कि, यदि <math>y = y_i e_i</math>, तब | ||
Line 80: | Line 80: | ||
</math> | </math> | ||
जो ये दर्शाता हे <math>|\Delta_y f (x) - g(x)y|/|y| \to 0</math> आवश्यकता अनुसार। <math>\square</math> | जो ये दर्शाता हे <math>|\Delta_y f (x) - g(x)y|/|y| \to 0</math> आवश्यकता अनुसार। <math>\square</math> | ||
उदाहरण: चलो <math>U</math> आकार n के सभी व्युत्क्रमणीय वास्तविक वर्ग आव्यूहों का समुच्चय बनें। टिप्पणी <math>U</math> के एक खुले उपसमुच्चय के रूप में पहचाना जा सकता है <math>\mathbb{R}^{n^2}</math> निर्देशांक के साथ <math>x_{ij}, 0 \le i, j \ne n</math>. | उदाहरण: चलो <math>U</math> आकार n के सभी व्युत्क्रमणीय वास्तविक वर्ग आव्यूहों का समुच्चय बनें। टिप्पणी <math>U</math> के एक खुले उपसमुच्चय के रूप में पहचाना जा सकता है <math>\mathbb{R}^{n^2}</math> निर्देशांक के साथ <math>x_{ij}, 0 \le i, j \ne n</math>. फलन पर विचार करें <math>f(g) = g^{-1}</math> = का व्युत्क्रम मैट्रिक्स <math>g</math> पर परिभाषित <math>U</math>. इसके व्युत्पन्न का अनुमान लगाने के लिए, मान लें <math>f</math> अवकलनीय है और वक्र पर विचार करें <math>c(t) = ge^{tg^{-1}h}</math> कहाँ <math>e^A</math> का मतलब [[मैट्रिक्स घातांक]] है <math>A</math>. श्रृंखला नियम द्वारा क्रियान्वित किया गया <math>f(c(t)) = e^{-t g^{-1}h} g^{-1} </math>, अपने पास: | ||
:<math>f'(c(t)) \circ c'(t) = -g^{-1}h e^{-t g^{-1}h} g^{-1}</math>. | :<math>f'(c(t)) \circ c'(t) = -g^{-1}h e^{-t g^{-1}h} g^{-1}</math>. | ||
ले रहा <math>t = 0</math>, हम पाते हैं: | ले रहा <math>t = 0</math>, हम पाते हैं: | ||
Line 86: | Line 86: | ||
अब, हमारे पास है:<ref>{{harvnb|Hörmander|2015|loc=p. 8}}</ref> | अब, हमारे पास है:<ref>{{harvnb|Hörmander|2015|loc=p. 8}}</ref> | ||
:<math>\|(g+h)^{-1} - g^{-1} + g^{-1}h g^{-1}\| \le \| (g+h)^{-1} \| \|h\| \|g^{-1} h g^{-1}\|.</math> | :<math>\|(g+h)^{-1} - g^{-1} + g^{-1}h g^{-1}\| \le \| (g+h)^{-1} \| \|h\| \|g^{-1} h g^{-1}\|.</math> | ||
चूंकि ऑपरेटर मानदंड यूक्लिडियन मानदंड के | चूंकि ऑपरेटर मानदंड यूक्लिडियन मानदंड के सामान्तर है <math>\mathbb{R}^{n^2}</math> (कोई भी मानदंड एक दूसरे के समतुल्य हैं), इसका तात्पर्य है <math>f</math> विभेदनीय है. अंत में, सूत्र से <math>f'</math>, हम इसका आंशिक व्युत्पन्न देखते हैं <math>f</math> चिकने हैं (असीम रूप से भिन्न); कहाँ से, <math>f</math> चिकना भी है. | ||
=== उच्च डेरिवेटिव और टेलर सूत्र=== | === उच्च डेरिवेटिव और टेलर सूत्र=== | ||
अगर <math>f : X \to \mathbb{R}^m</math> जहाँ भिन्न है <math>X \subset \mathbb{R}^n</math> एक खुला उपसमुच्चय है, | अगर <math>f : X \to \mathbb{R}^m</math> जहाँ भिन्न है <math>X \subset \mathbb{R}^n</math> एक खुला उपसमुच्चय है, तब व्युत्पन्न मानचित्र निर्धारित करते हैं <math>f' : X \to \operatorname{Hom}(\mathbb{R}^n, \mathbb{R}^m)</math>, कहाँ <math>\operatorname{Hom}</math> सदिश स्थानों के मध्य समरूपता को दर्शाता है; यानी, रैखिक मानचित्र। अगर <math>f'</math> तब फिर, भिन्न-भिन्न है <math>f'' : X \to \operatorname{Hom}(\mathbb{R}^n, \operatorname{Hom}(\mathbb{R}^n, \mathbb{R}^m))</math>. यहाँ, का कोडोमेन <math>f''</math> द्विरेखीय मानचित्रों के स्थान से इसकी पहचान निम्न द्वारा की जा सकती है: | ||
:<math>\operatorname{Hom}(\mathbb{R}^n, \operatorname{Hom}(\mathbb{R}^n, \mathbb{R}^m)) \overset{\varphi}\underset{\sim}\to \{ (\mathbb{R}^n)^2 \to \mathbb{R}^m \text{ bilinear}\}</math> | :<math>\operatorname{Hom}(\mathbb{R}^n, \operatorname{Hom}(\mathbb{R}^n, \mathbb{R}^m)) \overset{\varphi}\underset{\sim}\to \{ (\mathbb{R}^n)^2 \to \mathbb{R}^m \text{ bilinear}\}</math> | ||
कहाँ <math>\varphi(g)(x, y) = g(x)y</math> और <math>\varphi</math> व्युत्क्रम के साथ विशेषण है <math>\psi</math> द्वारा दिए गए <math>(\psi(g)x)y = g(x, y)</math>.{{efn|This is just the [[tensor-hom adjunction]].}} सामान्य रूप में, <math>f^{(k)} = (f^{(k-1)})'</math> से एक नक्शा है <math>X</math> के स्थान पर <math>k</math>-बहुरेखीय मानचित्र <math>(\mathbb{R}^n)^k \to \mathbb{R}^m</math>. | कहाँ <math>\varphi(g)(x, y) = g(x)y</math> और <math>\varphi</math> व्युत्क्रम के साथ विशेषण है <math>\psi</math> द्वारा दिए गए <math>(\psi(g)x)y = g(x, y)</math>.{{efn|This is just the [[tensor-hom adjunction]].}} सामान्य रूप में, <math>f^{(k)} = (f^{(k-1)})'</math> से एक नक्शा है <math>X</math> के स्थान पर <math>k</math>-बहुरेखीय मानचित्र <math>(\mathbb{R}^n)^k \to \mathbb{R}^m</math>. | ||
Line 103: | Line 103: | ||
जैसा कि एक चर के मामले में, टेलर श्रृंखला विस्तार को भागों द्वारा एकीकरण द्वारा सिद्ध किया जा सकता है: <!-- we need to state a version in more than two variables. --> | जैसा कि एक चर के मामले में, टेलर श्रृंखला विस्तार को भागों द्वारा एकीकरण द्वारा सिद्ध किया जा सकता है: <!-- we need to state a version in more than two variables. --> | ||
:<math>f(z+(h,k))=\sum_{a+b<n} \partial_x^a\partial_y^b f(z){h^a k^b\over a! b!} + n\int_0^1 (1-t)^{n-1} \sum_{a+b=n} \partial_x^a\partial_y^b f(z+t(h,k)){h^a k^b\over a! b!} \, dt.</math> | :<math>f(z+(h,k))=\sum_{a+b<n} \partial_x^a\partial_y^b f(z){h^a k^b\over a! b!} + n\int_0^1 (1-t)^{n-1} \sum_{a+b=n} \partial_x^a\partial_y^b f(z+t(h,k)){h^a k^b\over a! b!} \, dt.</math> | ||
टेलर के सूत्र में किसी | टेलर के सूत्र में किसी फलन को चर द्वारा विभाजित करने का प्रभाव होता है, जिसे सूत्र के अगले विशिष्ट सैद्धांतिक उपयोग द्वारा चित्रित किया जा सकता है। | ||
उदाहरण:<ref>{{harvnb|Hörmander|2015|loc=Lemma 7.1.4.}}</ref> होने देना <math>T : \mathcal{S} \to \mathcal{S}</math> सदिश समष्टि के | उदाहरण:<ref>{{harvnb|Hörmander|2015|loc=Lemma 7.1.4.}}</ref> होने देना <math>T : \mathcal{S} \to \mathcal{S}</math> सदिश समष्टि के मध्य एक रेखीय मानचित्र बनें <math>\mathcal{S}</math> सुचारू कार्यों पर <math>\mathbb{R}^n</math> तेजी से घटते डेरिवेटिव के साथ; अर्थात।, <math>\sup |x^{\beta} \partial^{\alpha} \varphi| < \infty</math> किसी भी मल्टी-इंडेक्स के लिए <math>\alpha, \beta</math>. (अंतरिक्ष <math>\mathcal{S}</math> [[ श्वार्ट्ज स्थान |श्वार्ट्ज स्थान]] कहा जाता है।) प्रत्येक के लिए <math>\varphi</math> में <math>\mathcal{S}</math>, टेलर का सूत्र बताता है कि हम लिख सकते हैं: | ||
:<math>\varphi - \psi \varphi(y) = \sum_{j=1}^n (x_j - y_j) \varphi_j</math> | :<math>\varphi - \psi \varphi(y) = \sum_{j=1}^n (x_j - y_j) \varphi_j</math> | ||
साथ <math>\varphi_j \in \mathcal{S}</math>, कहाँ <math>\psi</math> कॉम्पैक्ट समर्थन के साथ एक सुचारू कार्य है और <math>\psi(y) = 1</math>. अब, मान लीजिए <math>T</math> निर्देशांक के साथ आवागमन; अर्थात।, <math>T (x_j \varphi) = x_j T\varphi</math>. तब | साथ <math>\varphi_j \in \mathcal{S}</math>, कहाँ <math>\psi</math> कॉम्पैक्ट समर्थन के साथ एक सुचारू कार्य है और <math>\psi(y) = 1</math>. अब, मान लीजिए <math>T</math> निर्देशांक के साथ आवागमन; अर्थात।, <math>T (x_j \varphi) = x_j T\varphi</math>. तब | ||
:<math>T\varphi - \varphi(y) T\psi = \sum_{j=1}^n (x_j - y_j) T\varphi_j</math>. | :<math>T\varphi - \varphi(y) T\psi = \sum_{j=1}^n (x_j - y_j) T\varphi_j</math>. | ||
उपरोक्त का मूल्यांकन करते हुए <math>y</math>, हम पाते हैं <math>T\varphi(y) = \varphi(y) T\psi(y).</math> दूसरे शब्दों में, <math>T</math> किसी | उपरोक्त का मूल्यांकन करते हुए <math>y</math>, हम पाते हैं <math>T\varphi(y) = \varphi(y) T\psi(y).</math> दूसरे शब्दों में, <math>T</math> किसी फलन द्वारा गुणन है <math>m</math>; अर्थात।, <math>T\varphi = m \varphi</math>. अब आगे मान लीजिये <math>T</math> आंशिक भिन्नता के साथ आवागमन करता है। फिर हम उसे आसानी से देख पाते हैं <math>m</math> एक स्थिरांक है; <math>T</math> एक स्थिरांक से गुणा है. | ||
(एक तरफ: उपरोक्त चर्चा [[फूरियर व्युत्क्रम सूत्र]] को लगभग सिद्ध करती है। वास्तव में, चलो <math>F, R : \mathcal{S} \to \mathcal{S}</math> [[फूरियर रूपांतरण]] और प्रतिबिंब बनें; अर्थात।, <math>(R \varphi)(x) = \varphi(-x)</math>. फिर, इसमें शामिल अभिन्न अंग से सीधे निपटते हुए, कोई भी देख सकता है <math>T = RF^2</math> निर्देशांक और आंशिक विभेदन के साथ आवागमन; इस तरह, <math>T</math> एक स्थिरांक से गुणा है. यह लगभग एक प्रमाण है क्योंकि किसी को अभी भी इस स्थिरांक की गणना करनी है।) | (एक तरफ: उपरोक्त चर्चा [[फूरियर व्युत्क्रम सूत्र]] को लगभग सिद्ध करती है। वास्तव में, चलो <math>F, R : \mathcal{S} \to \mathcal{S}</math> [[फूरियर रूपांतरण]] और प्रतिबिंब बनें; अर्थात।, <math>(R \varphi)(x) = \varphi(-x)</math>. फिर, इसमें शामिल अभिन्न अंग से सीधे निपटते हुए, कोई भी देख सकता है <math>T = RF^2</math> निर्देशांक और आंशिक विभेदन के साथ आवागमन; इस तरह, <math>T</math> एक स्थिरांक से गुणा है. यह लगभग एक प्रमाण है क्योंकि किसी को अभी भी इस स्थिरांक की गणना करनी है।) | ||
Line 120: | Line 120: | ||
ए <math>C^k</math>-मानचित्र के साथ <math>C^k</math>- व्युत्क्रम को a कहा जाता है <math>C^k</math>-विभिन्नरूपता. इस प्रकार, प्रमेय कहता है कि, एक मानचित्र के लिए <math>f</math> एक बिंदु पर परिकल्पना को संतुष्ट करना <math>x</math>, <math>f</math> निकट एक भिन्नरूपता है <math>x, f(x).</math> प्रमाण के लिए देखें {{slink|Inverse function theorem#A proof using successive approximation}}. | ए <math>C^k</math>-मानचित्र के साथ <math>C^k</math>- व्युत्क्रम को a कहा जाता है <math>C^k</math>-विभिन्नरूपता. इस प्रकार, प्रमेय कहता है कि, एक मानचित्र के लिए <math>f</math> एक बिंदु पर परिकल्पना को संतुष्ट करना <math>x</math>, <math>f</math> निकट एक भिन्नरूपता है <math>x, f(x).</math> प्रमाण के लिए देखें {{slink|Inverse function theorem#A proof using successive approximation}}. | ||
अंतर्[[निहित कार्य प्रमेय]] कहता है:<ref>{{harvnb|Spivak|1965|loc=Theorem 2-12.}}</ref> एक नक्शा दिया <math>f : \mathbb{R}^n \times \mathbb{R}^m \to \mathbb{R}^m</math>, अगर <math>f(a, b) = 0</math>, <math>f</math> है <math>C^k</math> के एक पड़ोस में <math>(a, b)</math> और का व्युत्पन्न <math>y \mapsto f(a, y)</math> पर <math>b</math> उलटा है, | अंतर्[[निहित कार्य प्रमेय]] कहता है:<ref>{{harvnb|Spivak|1965|loc=Theorem 2-12.}}</ref> एक नक्शा दिया <math>f : \mathbb{R}^n \times \mathbb{R}^m \to \mathbb{R}^m</math>, अगर <math>f(a, b) = 0</math>, <math>f</math> है <math>C^k</math> के एक पड़ोस में <math>(a, b)</math> और का व्युत्पन्न <math>y \mapsto f(a, y)</math> पर <math>b</math> उलटा है, तब एक भिन्न मानचित्र मौजूद है <math>g : U \to V</math> कुछ पड़ोस के लिए <math>U, V</math> का <math>a, b</math> ऐसा है कि <math>f(x, g(x)) = 0</math>. प्रमेय व्युत्क्रम फलन प्रमेय से अनुसरण करता है; देखना {{slink|Inverse function theorem#Implicit function theorem}}. | ||
एक अन्य परिणाम [[विसर्जन प्रमेय]] है।<!-- more later --> | एक अन्य परिणाम [[विसर्जन प्रमेय]] है।<!-- more later --> | ||
Line 127: | Line 127: | ||
=== यूक्लिडियन स्पेस पर इंटीग्रेबल फ़ंक्शंस === | === यूक्लिडियन स्पेस पर इंटीग्रेबल फ़ंक्शंस === | ||
एक अंतराल का विभाजन <math>[a, b]</math> एक सीमित क्रम है <math>a = t_0 \le t_1 \le \cdots \le t_k = b</math>. एक विभाजन <math>P</math> एक आयत का <math>D</math> (अंतराल का उत्पाद) में <math>\mathbb{R}^n</math> फिर इसके किनारों के विभाजन शामिल हैं <math>D</math>; यानी, अगर <math>D = \prod_1^n [a_i, b_i]</math>, तब <math>P</math> के होते हैं <math>P_1, \dots, P_n</math> ऐसा है कि <math>P_i</math> का एक विभाजन है <math>[a_i, b_i]</math>.<ref>{{harvnb|Spivak|1965|p=46}}</ref> | एक अंतराल का विभाजन <math>[a, b]</math> एक सीमित क्रम है <math>a = t_0 \le t_1 \le \cdots \le t_k = b</math>. एक विभाजन <math>P</math> एक आयत का <math>D</math> (अंतराल का उत्पाद) में <math>\mathbb{R}^n</math> फिर इसके किनारों के विभाजन शामिल हैं <math>D</math>; यानी, अगर <math>D = \prod_1^n [a_i, b_i]</math>, तब <math>P</math> के होते हैं <math>P_1, \dots, P_n</math> ऐसा है कि <math>P_i</math> का एक विभाजन है <math>[a_i, b_i]</math>.<ref>{{harvnb|Spivak|1965|p=46}}</ref> | ||
एक | एक फलन दिया गया <math>f</math> पर <math>D</math>, फिर हम इसके ऊपरी [[रीमैन योग]] को इस प्रकार परिभाषित करते हैं: | ||
:<math>U(f, P) = \sum_{Q \in P} (\sup_Q f) \operatorname{vol}(Q)</math> | :<math>U(f, P) = \sum_{Q \in P} (\sup_Q f) \operatorname{vol}(Q)</math> | ||
कहाँ | कहाँ | ||
*<math>Q</math> का एक विभाजन तत्व है <math>P</math>; अर्थात।, <math>Q = \prod_{i = 1}^n [t_{i, j_i}, t_{i, j_i+1}]</math> कब <math>P_i : a_i = t_{i, 0} \le \dots \cdots \le t_{i, k_i} = b_i</math> का एक विभाजन है <math>[a_i, b_i]</math>.<ref>{{harvnb|Spivak|1965|p=47}}</ref> | *<math>Q</math> का एक विभाजन तत्व है <math>P</math>; अर्थात।, <math>Q = \prod_{i = 1}^n [t_{i, j_i}, t_{i, j_i+1}]</math> कब <math>P_i : a_i = t_{i, 0} \le \dots \cdots \le t_{i, k_i} = b_i</math> का एक विभाजन है <math>[a_i, b_i]</math>.<ref>{{harvnb|Spivak|1965|p=47}}</ref> | ||
*आयतन <math>\operatorname{vol}(Q)</math> का <math>Q</math> सामान्य यूक्लिडियन आयतन है; अर्थात।, <math>\operatorname{vol}(Q) = \prod_1^n (t_{i, j_i+1} - t_{i, j_i})</math>. | *आयतन <math>\operatorname{vol}(Q)</math> का <math>Q</math> सामान्य यूक्लिडियन आयतन है; अर्थात।, <math>\operatorname{vol}(Q) = \prod_1^n (t_{i, j_i+1} - t_{i, j_i})</math>. | ||
निचला रीमैन योग <math>L(f, P)</math> का <math>f</math> फिर प्रतिस्थापित करके परिभाषित किया जाता है <math>\sup</math> द्वारा <math>\inf</math>. अंत में, समारोह <math>f</math> यदि यह परिबद्ध है | निचला रीमैन योग <math>L(f, P)</math> का <math>f</math> फिर प्रतिस्थापित करके परिभाषित किया जाता है <math>\sup</math> द्वारा <math>\inf</math>. अंत में, समारोह <math>f</math> यदि यह परिबद्ध है तब इसे पूर्णांकीय फलन कहा जाता है <math>\sup \{ L(f, P) \mid P \} = \inf \{ U(f, P) \mid P \}</math>. उस स्थिति में, सामान्य मान को इस प्रकार दर्शाया जाता है <math>\int_D f \, dx</math>.<ref>{{harvnb|Spivak|1965|p=48}}</ref> | ||
का एक उपसमुच्चय <math>\mathbb{R}^n</math> कहा जाता है कि प्रत्येक के लिए माप शून्य है <math>\epsilon > 0</math>, कुछ संभवतः अपरिमित रूप से अनेक आयतें हैं <math>D_1, D_2, \dots, </math> जिसके संघ में समुच्चय और शामिल है <math>\sum_i \operatorname{vol}(D_i) < \epsilon.</math><ref>{{harvnb|Spivak|1965|p=50}}</ref> | का एक उपसमुच्चय <math>\mathbb{R}^n</math> कहा जाता है कि प्रत्येक के लिए माप शून्य है <math>\epsilon > 0</math>, कुछ संभवतः अपरिमित रूप से अनेक आयतें हैं <math>D_1, D_2, \dots, </math> जिसके संघ में समुच्चय और शामिल है <math>\sum_i \operatorname{vol}(D_i) < \epsilon.</math><ref>{{harvnb|Spivak|1965|p=50}}</ref> | ||
एक प्रमुख प्रमेय है<!-- state and cite a more general version--> | एक प्रमुख प्रमेय है<!-- state and cite a more general version--> | ||
{{math_theorem|name=Theorem|math_statement=<ref>{{harvnb|Spivak|1965|loc=Theorem 3-8.}}</ref> A bounded function <math>f</math> on a closed rectangle is integrable if and only if the set <math>\{ x | f \text{ is not continuous at } x \}</math> has measure zero.}} | {{math_theorem|name=Theorem|math_statement=<ref>{{harvnb|Spivak|1965|loc=Theorem 3-8.}}</ref> A bounded function <math>f</math> on a closed rectangle is integrable if and only if the set <math>\{ x | f \text{ is not continuous at } x \}</math> has measure zero.}} | ||
अगला प्रमेय हमें एक | अगला प्रमेय हमें एक फलन के इंटीग्रल की गणना एक-चर में फलन के इंटीग्रल्स की पुनरावृत्ति के रूप में करने की अनुमति देता है: | ||
{{math_theorem|name=[[Fubini's theorem]]|math_statement=If <math>f</math> is a continuous function on a closed rectangle <math>D = \prod [a_i, b_i]</math> (in fact, this assumption is too strong), then | {{math_theorem|name=[[Fubini's theorem]]|math_statement=If <math>f</math> is a continuous function on a closed rectangle <math>D = \prod [a_i, b_i]</math> (in fact, this assumption is too strong), then | ||
Line 147: | Line 147: | ||
=== सतह अभिन्न === | === सतह अभिन्न === | ||
यदि एक घिरी हुई सतह <math>M</math> में <math>\mathbb{R}^3</math> द्वारा पैरामीट्रिज्ड किया गया है <math>\textbf{r} = \textbf{r}(u, v)</math> डोमेन के साथ <math>D</math>, फिर एक मापने योग्य | यदि एक घिरी हुई सतह <math>M</math> में <math>\mathbb{R}^3</math> द्वारा पैरामीट्रिज्ड किया गया है <math>\textbf{r} = \textbf{r}(u, v)</math> डोमेन के साथ <math>D</math>, फिर एक मापने योग्य फलन का [[सतह अभिन्न]] अंग <math>F</math> पर <math>M</math> परिभाषित और निरूपित किया गया है: | ||
:<math>\int_M F \, dS := \int \int_D (F \circ \textbf{r}) | \textbf{r}_u \times \textbf{r}_v | \, du dv</math> | :<math>\int_M F \, dS := \int \int_D (F \circ \textbf{r}) | \textbf{r}_u \times \textbf{r}_v | \, du dv</math> | ||
अगर <math>F : M \to \mathbb{R}^3</math> | अगर <math>F : M \to \mathbb{R}^3</math> सदिश-मूल्यवान है, तब हम परिभाषित करते हैं | ||
:<math>\int_M F \cdot dS := \int_M (F \cdot \textbf{n}) \, dS</math> | :<math>\int_M F \cdot dS := \int_M (F \cdot \textbf{n}) \, dS</math> | ||
कहाँ <math>\textbf{n}</math> के लिए एक बाहरी इकाई सामान्य | कहाँ <math>\textbf{n}</math> के लिए एक बाहरी इकाई सामान्य सदिश है <math>M</math>. तब से <math>\textbf{n} = \frac{\textbf{r}_u \times \textbf{r}_v}{|\textbf{r}_u \times \textbf{r}_v|}</math>, अपने पास: | ||
:<math>\int_M F \cdot dS = \int \int_D (F \circ \textbf{r}) \cdot (\textbf{r}_u \times \textbf{r}_v) \, du dv = \int \int_D \det(F \circ \textbf{r}, \textbf{r}_u, \textbf{r}_v) \, dudv.</math> | :<math>\int_M F \cdot dS = \int \int_D (F \circ \textbf{r}) \cdot (\textbf{r}_u \times \textbf{r}_v) \, du dv = \int \int_D \det(F \circ \textbf{r}, \textbf{r}_u, \textbf{r}_v) \, dudv.</math> | ||
== | == सदिश विश्लेषण == | ||
=== स्पर्शरेखा सदिश और सदिश क्षेत्र === | === स्पर्शरेखा सदिश और सदिश क्षेत्र === | ||
होने देना <math>c : [0, 1] \to \mathbb{R}^n</math> एक अवकलनीय वक्र बनें। फिर वक्र का स्पर्शरेखा सदिश <math>c</math> पर <math>t</math> एक | होने देना <math>c : [0, 1] \to \mathbb{R}^n</math> एक अवकलनीय वक्र बनें। फिर वक्र का स्पर्शरेखा सदिश <math>c</math> पर <math>t</math> एक सदिश है <math>v</math> बिंदु पर <math>c(t)</math> जिसके घटक इस प्रकार दिए गए हैं: | ||
:<math>v = (c_1'(t), \dots, c_n'(t))</math>.<ref>{{harvnb|Spivak|1965|loc=Exercise 4.14.}}</ref> | :<math>v = (c_1'(t), \dots, c_n'(t))</math>.<ref>{{harvnb|Spivak|1965|loc=Exercise 4.14.}}</ref> | ||
उदाहरण के लिए, यदि <math>c(t) = (a \cos(t), a \sin(t), bt), a > 0, b > 0</math> एक हेलिक्स है, | उदाहरण के लिए, यदि <math>c(t) = (a \cos(t), a \sin(t), bt), a > 0, b > 0</math> एक हेलिक्स है, तब t पर स्पर्शरेखा सदिश है: | ||
:<math>c'(t) = (-a \sin(t), a \cos(t), b).</math> | :<math>c'(t) = (-a \sin(t), a \cos(t), b).</math> | ||
यह इस अंतर्ज्ञान से मेल खाता है कि हेलिक्स पर एक बिंदु एक स्थिर गति से ऊपर बढ़ता है। | यह इस अंतर्ज्ञान से मेल खाता है कि हेलिक्स पर एक बिंदु एक स्थिर गति से ऊपर बढ़ता है। | ||
Line 169: | Line 169: | ||
=== विभेदक रूप === | === विभेदक रूप === | ||
सदिश क्षेत्र की दोहरी धारणा एक विभेदक रूप है। एक खुला उपसमुच्चय दिया गया <math>M</math> में <math>\mathbb{R}^n</math>, परिभाषा के अनुसार, एक विभेदक रूप|अंतर 1-रूप (अक्सर केवल 1-रूप) <math>\omega</math> एक बिंदु के लिए एक असाइनमेंट है <math>p</math> में <math>M</math> एक रैखिक कार्यात्मक <math>\omega_p</math> स्पर्शरेखा स्थान पर <math>T_p M</math> को <math>M</math> पर <math>p</math> ताकि असाइनमेंट सुचारू रूप से बदलता रहे। एक (वास्तविक या जटिल-मूल्यवान) सुचारू कार्य के लिए <math>f</math>, 1-फॉर्म को परिभाषित करें <math>df</math> द्वारा: एक स्पर्शरेखा | सदिश क्षेत्र की दोहरी धारणा एक विभेदक रूप है। एक खुला उपसमुच्चय दिया गया <math>M</math> में <math>\mathbb{R}^n</math>, परिभाषा के अनुसार, एक विभेदक रूप|अंतर 1-रूप (अक्सर केवल 1-रूप) <math>\omega</math> एक बिंदु के लिए एक असाइनमेंट है <math>p</math> में <math>M</math> एक रैखिक कार्यात्मक <math>\omega_p</math> स्पर्शरेखा स्थान पर <math>T_p M</math> को <math>M</math> पर <math>p</math> ताकि असाइनमेंट सुचारू रूप से बदलता रहे। एक (वास्तविक या जटिल-मूल्यवान) सुचारू कार्य के लिए <math>f</math>, 1-फॉर्म को परिभाषित करें <math>df</math> द्वारा: एक स्पर्शरेखा सदिश के लिए <math>v</math> पर <math>p</math>, | ||
:<math>df_p(v) = v(f)</math> | :<math>df_p(v) = v(f)</math> | ||
कहाँ <math>v(f)</math> के [[दिशात्मक व्युत्पन्न]] को दर्शाता है <math>f</math> दिशा में <math>v</math> पर <math>p</math>.<ref name="k-form">{{harvnb|Spivak|1965|p=89}}</ref> उदाहरण के लिए, यदि <math>x_i</math> है <math>i</math>-th समन्वय समारोह, | कहाँ <math>v(f)</math> के [[दिशात्मक व्युत्पन्न]] को दर्शाता है <math>f</math> दिशा में <math>v</math> पर <math>p</math>.<ref name="k-form">{{harvnb|Spivak|1965|p=89}}</ref> उदाहरण के लिए, यदि <math>x_i</math> है <math>i</math>-th समन्वय समारोह, तब <math>dx_{i, p}(v) = v_i</math>; अर्थात।, <math>dx_{i,p}</math> मानक आधार पर दोहरे आधार हैं <math>T_p M</math>. फिर प्रत्येक अंतर 1-रूप <math>\omega</math> के रूप में विशिष्ट रूप से लिखा जा सकता है | ||
:<math>\omega = f_1 \, dx_1 + \cdots + f_n \, dx_n</math> | :<math>\omega = f_1 \, dx_1 + \cdots + f_n \, dx_n</math> | ||
कुछ सुचारु कार्यों के लिए <math>f_1, \dots, f_n</math> पर <math>M</math> (चूँकि, हर बिंदु के लिए <math>p</math>, रैखिक कार्यात्मक <math>\omega_p</math> का एक अनोखा रैखिक संयोजन है <math>dx_i</math> वास्तविक संख्या से अधिक)। अधिक सामान्यतः, एक अंतर k-फॉर्म एक बिंदु के लिए एक असाइनमेंट है <math>p</math> में <math>M</math> एक सदिश <math>\omega_p</math> में <math>k</math>-वीं [[बाहरी शक्ति]] <math>\bigwedge^k T^*_p M</math> दोहरे स्थान का <math>T^*_p M</math> का <math>T_p M</math> ताकि असाइनमेंट सुचारू रूप से बदलता रहे।<ref name="k-form"/>विशेष रूप से, 0-फ़ॉर्म एक सुचारु | कुछ सुचारु कार्यों के लिए <math>f_1, \dots, f_n</math> पर <math>M</math> (चूँकि, हर बिंदु के लिए <math>p</math>, रैखिक कार्यात्मक <math>\omega_p</math> का एक अनोखा रैखिक संयोजन है <math>dx_i</math> वास्तविक संख्या से अधिक)। अधिक सामान्यतः, एक अंतर k-फॉर्म एक बिंदु के लिए एक असाइनमेंट है <math>p</math> में <math>M</math> एक सदिश <math>\omega_p</math> में <math>k</math>-वीं [[बाहरी शक्ति]] <math>\bigwedge^k T^*_p M</math> दोहरे स्थान का <math>T^*_p M</math> का <math>T_p M</math> ताकि असाइनमेंट सुचारू रूप से बदलता रहे।<ref name="k-form"/>विशेष रूप से, 0-फ़ॉर्म एक सुचारु फलन के समान है। इसके अलावा, कोई भी <math>k</math>-प्रपत्र <math>\omega</math> विशिष्ट रूप से इस प्रकार लिखा जा सकता है: | ||
:<math>\omega = \sum_{i_1 < \cdots < i_k} f_{i_1 \dots i_k} \, dx_{i_1} \wedge \cdots \wedge dx_{i_k}</math> | :<math>\omega = \sum_{i_1 < \cdots < i_k} f_{i_1 \dots i_k} \, dx_{i_1} \wedge \cdots \wedge dx_{i_k}</math> | ||
कुछ सुचारु कार्यों के लिए <math>f_{i_1 \dots i_k}</math>.<ref name="k-form"/> | कुछ सुचारु कार्यों के लिए <math>f_{i_1 \dots i_k}</math>.<ref name="k-form"/> | ||
एक सुचारु कार्य की तरह, हम विभेदक रूपों को | एक सुचारु कार्य की तरह, हम विभेदक रूपों को भिन्न और एकीकृत कर सकते हैं। अगर <math>f</math> तब फिर यह एक सुचारु कार्य है <math>df</math> इस प्रकार लिखा जा सकता है:<ref>{{harvnb|Spivak|1965|loc=Theorem 4-7.}}</ref> | ||
:<math>df = \sum_{i=1}^n \frac{\partial f}{\partial x_i} \, dx_i</math> | :<math>df = \sum_{i=1}^n \frac{\partial f}{\partial x_i} \, dx_i</math> | ||
तब से <math>v = \partial / \partial x_j |_p</math>, अपने पास: <math>df_p(v) = \frac{\partial f}{\partial x_j}(p) = \sum_{i=1}^n \frac{\partial f}{\partial x_i}(p) \, dx_i(v)</math>. ध्यान दें कि, उपरोक्त अभिव्यक्ति में, बाईं ओर (जहां से दाईं ओर) निर्देशांक से स्वतंत्र है <math>x_1, \dots, x_n</math>; इस गुण को अंतर का अपरिवर्तनशीलता कहा जाता है। | तब से <math>v = \partial / \partial x_j |_p</math>, अपने पास: <math>df_p(v) = \frac{\partial f}{\partial x_j}(p) = \sum_{i=1}^n \frac{\partial f}{\partial x_i}(p) \, dx_i(v)</math>. ध्यान दें कि, उपरोक्त अभिव्यक्ति में, बाईं ओर (जहां से दाईं ओर) निर्देशांक से स्वतंत्र है <math>x_1, \dots, x_n</math>; इस गुण को अंतर का अपरिवर्तनशीलता कहा जाता है। | ||
Line 185: | Line 185: | ||
कहाँ <math>\alpha, \beta</math> एक पी-फॉर्म और एक क्यू-फॉर्म हैं। | कहाँ <math>\alpha, \beta</math> एक पी-फॉर्म और एक क्यू-फॉर्म हैं। | ||
बाहरी व्युत्पन्न में वह महत्वपूर्ण गुण होता है <math>d \circ d = 0</math>; वह है, बाहरी व्युत्पन्न <math>d</math> एक भिन्न रूप का <math>d \omega</math> शून्य है. यह संपत्ति दूसरे डेरिवेटिव की समरूपता का परिणाम है (मिश्रित आंशिक | बाहरी व्युत्पन्न में वह महत्वपूर्ण गुण होता है <math>d \circ d = 0</math>; वह है, बाहरी व्युत्पन्न <math>d</math> एक भिन्न रूप का <math>d \omega</math> शून्य है. यह संपत्ति दूसरे डेरिवेटिव की समरूपता का परिणाम है (मिश्रित आंशिक सामान्तर हैं)। | ||
=== सीमा और अभिविन्यास === | === सीमा और अभिविन्यास === | ||
<!-- Let <math>\mathbb{H}^k = \{ (x_1, \dots, x_k) \mid x_k \ge 0 \} \subset \mathbb{R}^k</math> denote the upper half-space. We say that a subset <math>M</math> of <math>\mathbb{R}^n</math> of dimension <math>k</math> has a <math>C^1</math> boundary if, for each point <math>p</math> in ?, there is a neighborhood <math>U</math> of <math>p</math> in <math>\mathbb{R}^n</math> and an open subset <math>V \subset \mathbb{R}^n</math> such that <math>M \cap U</math> is <math>C^1</math>-diffeomorphic to <math>(\mathbb{H}^k \times 0) \cap V = \{ y \in V \mid y_k \ge 0, y_{k+1} = \cdots = y_n = 0 \}.</math> --> | <!-- Let <math>\mathbb{H}^k = \{ (x_1, \dots, x_k) \mid x_k \ge 0 \} \subset \mathbb{R}^k</math> denote the upper half-space. We say that a subset <math>M</math> of <math>\mathbb{R}^n</math> of dimension <math>k</math> has a <math>C^1</math> boundary if, for each point <math>p</math> in ?, there is a neighborhood <math>U</math> of <math>p</math> in <math>\mathbb{R}^n</math> and an open subset <math>V \subset \mathbb{R}^n</math> such that <math>M \cap U</math> is <math>C^1</math>-diffeomorphic to <math>(\mathbb{H}^k \times 0) \cap V = \{ y \in V \mid y_k \ge 0, y_{k+1} = \cdots = y_n = 0 \}.</math> --> | ||
एक वृत्त को दक्षिणावर्त या वामावर्त दिशा में उन्मुख किया जा सकता है। गणितीय रूप से, हम कहते हैं कि एक उपसमुच्चय <math>M</math> का <math>\mathbb{R}^n</math> यदि सामान्य सदिशों का एक सुसंगत विकल्प हो | एक वृत्त को दक्षिणावर्त या वामावर्त दिशा में उन्मुख किया जा सकता है। गणितीय रूप से, हम कहते हैं कि एक उपसमुच्चय <math>M</math> का <math>\mathbb{R}^n</math> यदि सामान्य सदिशों का एक सुसंगत विकल्प हो तब उन्मुख होता है <math>M</math> जो लगातार बदलता रहता है. उदाहरण के लिए, एक वृत्त या, अधिक सामान्यतः, एक n-गोले को उन्मुख किया जा सकता है; यानी, ओरिएंटेबल. दूसरी ओर, एक मोबियस पट्टी (आयत की दो विपरीत भुजाओं द्वारा घुमाकर प्राप्त की गई सतह) उन्मुख नहीं हो सकती: यदि हम एक सामान्य सदिश से शुरू करते हैं और पट्टी के चारों ओर यात्रा करते हैं, तब अंत में सामान्य सदिश विपरीत दिशा की ओर इशारा करेगा।<!-- give a precise definition ; i.e., there is a continuous function <math>n : M \to \mathbb{R}^{n-r}</math> such that, for every point <math>x</math> in <math>M</math>, <math>n(x)</math> is nonzero and is normal to <math>M</math> at x. --> | ||
{{math_theorem|name=Proposition|A bounded differentiable region <math>M</math> in <math>\mathbb{R}^n</math> of dimension <math>k</math> is oriented if and only if there exists a nowhere-vanishing <math>k</math>-form on <math>M</math> (called a volume form).}} | {{math_theorem|name=Proposition|A bounded differentiable region <math>M</math> in <math>\mathbb{R}^n</math> of dimension <math>k</math> is oriented if and only if there exists a nowhere-vanishing <math>k</math>-form on <math>M</math> (called a volume form).}} | ||
Line 198: | Line 198: | ||
अगर <math>\omega = f \, dx_1 \wedge \cdots \wedge dx_n</math> एक खुले उपसमुच्चय M पर एक विभेदक n-रूप है <math>\mathbb{R}^n</math> (कोई भी एन-फॉर्म वह फॉर्म है), फिर इसका एकीकरण खत्म हो गया <math>M</math> मानक अभिविन्यास के साथ इसे इस प्रकार परिभाषित किया गया है: | अगर <math>\omega = f \, dx_1 \wedge \cdots \wedge dx_n</math> एक खुले उपसमुच्चय M पर एक विभेदक n-रूप है <math>\mathbb{R}^n</math> (कोई भी एन-फॉर्म वह फॉर्म है), फिर इसका एकीकरण खत्म हो गया <math>M</math> मानक अभिविन्यास के साथ इसे इस प्रकार परिभाषित किया गया है: | ||
:<math>\int_M \omega = \int_M f \, dx_1 \cdots dx_n.</math> | :<math>\int_M \omega = \int_M f \, dx_1 \cdots dx_n.</math> | ||
यदि एम को मानक एक के विपरीत अभिविन्यास दिया गया है, | यदि एम को मानक एक के विपरीत अभिविन्यास दिया गया है, तब <math>\int_M \omega</math> दाहिनी ओर के ऋणात्मक के रूप में परिभाषित किया गया है। | ||
फिर हमारे पास बाहरी व्युत्पन्न और एकीकरण से संबंधित मौलिक सूत्र है: | फिर हमारे पास बाहरी व्युत्पन्न और एकीकरण से संबंधित मौलिक सूत्र है: | ||
Line 207: | Line 207: | ||
}} | }} | ||
यहां सूत्र के प्रमाण का एक रेखाचित्र दिया गया है।<ref>{{harvnb|Hörmander|2015|p=151}}</ref> अगर <math>f</math> पर एक सुचारू कार्य है <math>\mathbb{R}^n</math> कॉम्पैक्ट समर्थन के साथ, | यहां सूत्र के प्रमाण का एक रेखाचित्र दिया गया है।<ref>{{harvnb|Hörmander|2015|p=151}}</ref> अगर <math>f</math> पर एक सुचारू कार्य है <math>\mathbb{R}^n</math> कॉम्पैक्ट समर्थन के साथ, तब हमारे पास है: | ||
:<math>\int d(f \omega) = 0</math> | :<math>\int d(f \omega) = 0</math> | ||
(चूंकि, कैलकुलस के मौलिक प्रमेय द्वारा, उपरोक्त का मूल्यांकन समर्थन वाले सेट की सीमाओं पर किया जा सकता है।) दूसरी ओर, | (चूंकि, कैलकुलस के मौलिक प्रमेय द्वारा, उपरोक्त का मूल्यांकन समर्थन वाले सेट की सीमाओं पर किया जा सकता है।) दूसरी ओर, | ||
:<math>\int d(f \omega) = \int df \wedge \omega + \int f \, d\omega.</math> | :<math>\int d(f \omega) = \int df \wedge \omega + \int f \, d\omega.</math> | ||
होने देना <math>f</math> विशेषता | होने देना <math>f</math> विशेषता फलन पर संपर्क करें <math>M</math>. फिर दाहिनी ओर दूसरा पद जाता है <math>\int_M d \omega</math> जबकि पहला जाता है <math>-\int_{\partial M} \omega</math>, कलन के मौलिक प्रमेय को सिद्ध करने के समान तर्क द्वारा। <math>\square</math> | ||
सूत्र कैलकुलस के मौलिक प्रमेय के साथ-साथ बहुपरिवर्तनीय कैलकुलस में स्टोक्स प्रमेय को सामान्यीकृत करता है। वास्तव में, यदि <math>M = [a, b]</math> एक अंतराल है और <math>\omega = f</math>, तब <math>d\omega = f' \, dx</math> और सूत्र कहता है: | सूत्र कैलकुलस के मौलिक प्रमेय के साथ-साथ बहुपरिवर्तनीय कैलकुलस में स्टोक्स प्रमेय को सामान्यीकृत करता है। वास्तव में, यदि <math>M = [a, b]</math> एक अंतराल है और <math>\omega = f</math>, तब <math>d\omega = f' \, dx</math> और सूत्र कहता है: | ||
:<math>\int_M f' \, dx = f(b) - f(a)</math>. | :<math>\int_M f' \, dx = f(b) - f(a)</math>. | ||
Line 217: | Line 217: | ||
:<math>d\omega = \left( \frac{\partial h}{\partial y} - \frac{\partial g}{\partial z} \right) dy \wedge dz + \left( \frac{\partial f}{\partial z} - \frac{\partial h}{\partial x} \right) dz \wedge dx + \left( \frac{\partial g}{\partial x} - \frac{\partial f}{\partial y} \right) dx \wedge dy.</math> | :<math>d\omega = \left( \frac{\partial h}{\partial y} - \frac{\partial g}{\partial z} \right) dy \wedge dz + \left( \frac{\partial f}{\partial z} - \frac{\partial h}{\partial x} \right) dz \wedge dx + \left( \frac{\partial g}{\partial x} - \frac{\partial f}{\partial y} \right) dx \wedge dy.</math> | ||
फिर, के एकीकरण की परिभाषा से <math>\omega</math>, अपने पास <math>\int_M d \omega = \int_M (\nabla \times F) \cdot dS</math> | फिर, के एकीकरण की परिभाषा से <math>\omega</math>, अपने पास <math>\int_M d \omega = \int_M (\nabla \times F) \cdot dS</math> | ||
कहाँ <math>F = (f, g, h)</math> | कहाँ <math>F = (f, g, h)</math> सदिश-वैल्यू फलन है और <math>\nabla = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right)</math>. अत: स्टोक्स का सूत्र बन जाता है | ||
:<math>\int_M (\nabla \times F) \cdot dS = \int_{\partial M} (f\,dx + g\,dy + h\,dz),</math> | :<math>\int_M (\nabla \times F) \cdot dS = \int_{\partial M} (f\,dx + g\,dy + h\,dz),</math> | ||
जो सतहों पर स्टोक्स प्रमेय का सामान्य रूप है। ग्रीन का प्रमेय भी स्टोक्स के सूत्र का एक विशेष मामला है। | जो सतहों पर स्टोक्स प्रमेय का सामान्य रूप है। ग्रीन का प्रमेय भी स्टोक्स के सूत्र का एक विशेष मामला है। | ||
Line 223: | Line 223: | ||
स्टोक्स का सूत्र कॉची के अभिन्न सूत्र का एक सामान्य संस्करण भी उत्पन्न करता है। जटिल चर के लिए इसे बताना और सिद्ध करना <math>z = x + iy</math> और संयुग्म <math>\bar z</math>आइए हम ऑपरेटरों का परिचय दें | स्टोक्स का सूत्र कॉची के अभिन्न सूत्र का एक सामान्य संस्करण भी उत्पन्न करता है। जटिल चर के लिए इसे बताना और सिद्ध करना <math>z = x + iy</math> और संयुग्म <math>\bar z</math>आइए हम ऑपरेटरों का परिचय दें | ||
:<math>\frac{\partial}{\partial z} = \frac{1}{2}\left( \frac{\partial}{\partial x} - i \frac{\partial}{\partial y} \right), \, \frac{\partial}{\partial \bar{z}} = \frac{1}{2}\left( \frac{\partial}{\partial x} + i \frac{\partial}{\partial y} \right).</math> | :<math>\frac{\partial}{\partial z} = \frac{1}{2}\left( \frac{\partial}{\partial x} - i \frac{\partial}{\partial y} \right), \, \frac{\partial}{\partial \bar{z}} = \frac{1}{2}\left( \frac{\partial}{\partial x} + i \frac{\partial}{\partial y} \right).</math> | ||
इन नोटेशन में, एक | इन नोटेशन में, एक फलन <math>f</math> [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] (जटिल-विश्लेषणात्मक) है यदि और केवल यदि <math>\frac{\partial f}{\partial \bar z} = 0</math> (कौची-रीमैन समीकरण)। | ||
इसके अलावा, हमारे पास है: | इसके अलावा, हमारे पास है: | ||
:<math>df = \frac{\partial f}{\partial z}dz + \frac{\partial f}{\partial \bar{z}}d \bar{z}.</math> | :<math>df = \frac{\partial f}{\partial z}dz + \frac{\partial f}{\partial \bar{z}}d \bar{z}.</math> | ||
Line 237: | Line 237: | ||
=== घुमावदार संख्याएं और पोंकारे लेम्मा === | === घुमावदार संख्याएं और पोंकारे लेम्मा === | ||
एक भिन्न रूप <math>\omega</math> यदि [[बंद और सटीक रूप]] कहा जाता है <math>d\omega = 0</math> और सटीक यदि कहा जाता है <math>\omega = d\eta</math> कुछ भिन्न रूप के लिए <math>\eta</math> (अक्सर क्षमता कहा जाता है)। तब से <math>d \circ d = 0</math>, एक सटीक प्रपत्र बंद है. लेकिन यह बातचीत सामान्य रूप से क्रियान्वित नहीं होती; कोई गैर-सटीक बंद प्रपत्र हो सकता है. ऐसे फॉर्म का एक उत्कृष्ट उदाहरण है:<ref>{{harvnb|Spivak|1965|p=93}}</ref> | |||
एक भिन्न रूप <math>\omega</math> यदि [[बंद और सटीक रूप]] कहा जाता है <math>d\omega = 0</math> और सटीक यदि कहा जाता है <math>\omega = d\eta</math> कुछ भिन्न रूप के लिए <math>\eta</math> (अक्सर क्षमता कहा जाता है)। तब से <math>d \circ d = 0</math>, एक सटीक प्रपत्र बंद है. लेकिन यह बातचीत सामान्य रूप से | |||
:<math>\omega = \frac{-y}{x^2 + y^2} + \frac{x}{x^2 + y^2}</math>, | :<math>\omega = \frac{-y}{x^2 + y^2} + \frac{x}{x^2 + y^2}</math>, | ||
जो कि एक भिन्न रूप है <math>\mathbb{R}^2 - 0</math>. मान लीजिए हम ध्रुवीय निर्देशांक पर स्विच करते हैं: <math>x = r \cos \theta, y = r \sin \theta</math> कहाँ <math> r = \sqrt{x^2 + y^2}</math>. तब | जो कि एक भिन्न रूप है <math>\mathbb{R}^2 - 0</math>. मान लीजिए हम ध्रुवीय निर्देशांक पर स्विच करते हैं: <math>x = r \cos \theta, y = r \sin \theta</math> कहाँ <math> r = \sqrt{x^2 + y^2}</math>. तब | ||
:<math>\omega = r^{-2}(-r \sin \theta \, dx + r \cos \theta \, dy) = d \theta.</math> | :<math>\omega = r^{-2}(-r \sin \theta \, dx + r \cos \theta \, dy) = d \theta.</math> | ||
इससे ये पता नहीं चलता <math>\omega</math> सटीक है: समस्या यह है <math>\theta</math> पर एक अच्छी तरह से परिभाषित सतत कार्य नहीं है <math>\mathbb{R}^2 - 0</math>. चूंकि कोई भी समारोह <math>f</math> पर <math>\mathbb{R}^2 - 0</math> साथ <math>df = \omega</math> से | इससे ये पता नहीं चलता <math>\omega</math> सटीक है: समस्या यह है <math>\theta</math> पर एक अच्छी तरह से परिभाषित सतत कार्य नहीं है <math>\mathbb{R}^2 - 0</math>. चूंकि कोई भी समारोह <math>f</math> पर <math>\mathbb{R}^2 - 0</math> साथ <math>df = \omega</math> से भिन्न <math>\theta</math> स्थिरांक से इसका मतलब यह है <math>\omega</math> सटीक नहीं है. हालाँकि, गणना यह दर्शाती है <math>\omega</math> सटीक है, उदाहरण के लिए, पर <math>\mathbb{R}^2 - \{ x = 0 \}</math> चूँकि हम ले सकते हैं <math>\theta = \arctan(y/x)</math> वहाँ। | ||
एक परिणाम है (पोंकारे लेम्मा) जो एक शर्त देता है जो गारंटी देता है कि बंद किए गए फॉर्म सटीक हैं। इसे बताने के लिए, हमें टोपोलॉजी से कुछ धारणाओं की आवश्यकता है। दो सतत मानचित्र दिए गए <math>f, g : X \to Y</math> के उपसमुच्चय के | एक परिणाम है (पोंकारे लेम्मा) जो एक शर्त देता है जो गारंटी देता है कि बंद किए गए फॉर्म सटीक हैं। इसे बताने के लिए, हमें टोपोलॉजी से कुछ धारणाओं की आवश्यकता है। दो सतत मानचित्र दिए गए <math>f, g : X \to Y</math> के उपसमुच्चय के मध्य <math>\mathbb{R}^m, \mathbb{R}^n</math> (या अधिक आम तौर पर टोपोलॉजिकल स्पेस), से एक [[होमोटॉपी]] <math>f</math> को <math>g</math> एक सतत कार्य है <math>H : X \times [0, 1] \to Y</math> ऐसा है कि <math>f(x) = H(x, 0)</math> और <math>g(x) = H(x, 1)</math>. सहज रूप से, एक समरूपता एक फलन से दूसरे फलन की निरंतर भिन्नता है। एक सेट में एक [[लूप (टोपोलॉजी)]]। <math>X</math> एक वक्र है जिसका प्रारंभिक बिंदु अंतिम बिंदु से मेल खाता है; अर्थात।, <math>c : [0, 1] \to X</math> ऐसा है कि <math>c(0) = c(1)</math>. फिर का एक उपसमुच्चय <math>\mathbb{R}^n</math> यदि प्रत्येक लूप एक स्थिर फलन के लिए समस्थानिक है तब इसे [[बस जुड़ा हुआ है]] कहा जाता है। सरलता से जुड़े सेट का एक विशिष्ट उदाहरण एक डिस्क है <math>D = \{ (x, y) \mid \sqrt{x^2 + y^2} \le r \} \subset \mathbb{R}^2</math>. दरअसल, एक लूप दिया गया है <math>c : [0, 1] \to D</math>, हमारे पास समरूपता है <math>H : [0, 1]^2 \to D, \, H(x, t) = (1-t) c(x) + t c(0)</math> से <math>c</math> निरंतर कार्य के लिए <math>c(0)</math>. दूसरी ओर, एक छिद्रित डिस्क, बस कनेक्ट नहीं होती है। | ||
{{math_theorem|name=[[Poincaré lemma]]|math_statement=If <math>M</math> is a simply connected open subset of <math>\mathbb{R}^n</math>, then each closed 1-form on <math>M</math> is exact.}} | {{math_theorem|name=[[Poincaré lemma]]|math_statement=If <math>M</math> is a simply connected open subset of <math>\mathbb{R}^n</math>, then each closed 1-form on <math>M</math> is exact.}} | ||
Line 253: | Line 251: | ||
===चलता हुआ फ्रेम === | ===चलता हुआ फ्रेम === | ||
सदिश फ़ील्ड <math>E_1, \dots, E_3</math> पर <math>\mathbb{R}^3</math> यदि वे प्रत्येक बिंदु पर एक-दूसरे के ओर्थोगोनल हैं, तब उन्हें [[फ़्रेम फ़ील्ड]] कहा जाता है; अर्थात।, <math>E_i \cdot E_j = \delta_{ij}</math> प्रत्येक बिंदु पर.<ref>{{harvnb|O'Neill|2006|loc=Definition 6.1.}}</ref> मूल उदाहरण मानक फ़्रेम है <math>U_i</math>; अर्थात।, <math>U_i(x)</math> प्रत्येक बिंदु के लिए एक मानक आधार है <math>x</math> में <math>\mathbb{R}^3</math>. दूसरा उदाहरण बेलनाकार फ्रेम है | |||
:<math>E_1 = \cos \theta U_1 + \sin \theta U_2, \, E_2 = -\sin \theta U_1 + \cos \theta U_2, \, E_3 = U_3.</math><ref>{{harvnb|O'Neill|2006|loc=Example 6.2. (1)}}</ref> | :<math>E_1 = \cos \theta U_1 + \sin \theta U_2, \, E_2 = -\sin \theta U_1 + \cos \theta U_2, \, E_3 = U_3.</math><ref>{{harvnb|O'Neill|2006|loc=Example 6.2. (1)}}</ref> | ||
किसी वक्र की ज्यामिति के अध्ययन के लिए, उपयोग किया जाने वाला महत्वपूर्ण फ्रेम [[ फ़्रेनेट फ़्रेम ]] है <math>T, N, B</math> एक इकाई-गति वक्र पर <math>\beta : I \to \mathbb{R}^3</math> इस प्रकार दिया गया: | किसी वक्र की ज्यामिति के अध्ययन के लिए, उपयोग किया जाने वाला महत्वपूर्ण फ्रेम [[ फ़्रेनेट फ़्रेम |फ़्रेनेट फ़्रेम]] है <math>T, N, B</math> एक इकाई-गति वक्र पर <math>\beta : I \to \mathbb{R}^3</math> इस प्रकार दिया गया: | ||
=== गॉस-बोनट प्रमेय === | === गॉस-बोनट प्रमेय === | ||
Line 273: | Line 271: | ||
सेट <math>g^{-1}(0)</math> आमतौर पर इसे बाधा कहा जाता है। | सेट <math>g^{-1}(0)</math> आमतौर पर इसे बाधा कहा जाता है। | ||
उदाहरण:<ref>{{harvnb|Edwards|1994|loc=Ch. II, $ 5. Example 9.}}</ref> मान लीजिए हम वृत्त के | उदाहरण:<ref>{{harvnb|Edwards|1994|loc=Ch. II, $ 5. Example 9.}}</ref> मान लीजिए हम वृत्त के मध्य न्यूनतम दूरी ज्ञात करना चाहते हैं <math>x^2 + y^2 = 1</math> और रेखा <math>x + y = 4</math>. इसका मतलब है कि हम फलन को छोटा करना चाहते हैं <math>f(x, y, u, v) = (x - u)^2 + (y - v)^2</math>, एक बिंदु के मध्य की वर्ग दूरी <math>(x, y)</math> वृत्त और एक बिंदु पर <math>(u, v)</math> लाइन पर, बाधा के तहत <math>g = (x^2 + y^2 - 1, u + v - 4)</math>. अपने पास: | ||
:<math>\nabla f = (2(x - u), 2(y - v), -2(x - u), -2(y - v)).</math> | :<math>\nabla f = (2(x - u), 2(y - v), -2(x - u), -2(y - v)).</math> | ||
:<math>\nabla g_1 = (2x, 2y, 0, 0), \nabla g_2 = (0, 0, 1, 1).</math> | :<math>\nabla g_1 = (2x, 2y, 0, 0), \nabla g_2 = (0, 0, 1, 1).</math> | ||
जैकोबियन मैट्रिक्स के | जैकोबियन मैट्रिक्स के पश्चात् से <math>g</math> हर जगह 2 रैंक पर है <math>g^{-1}(0)</math>, लैग्रेंज गुणक देता है: | ||
:<math>x - u = \lambda_1 x, \, y - v = \lambda_1 y, \, 2(x-u) = -\lambda_2, \, 2(y-v) = -\lambda_2.</math> | :<math>x - u = \lambda_1 x, \, y - v = \lambda_1 y, \, 2(x-u) = -\lambda_2, \, 2(y-v) = -\lambda_2.</math> | ||
अगर <math>\lambda_1 = 0</math>, तब <math>x = u, y = v</math>, संभव नहीं। इस प्रकार, <math>\lambda_1 \ne 0</math> और | अगर <math>\lambda_1 = 0</math>, तब <math>x = u, y = v</math>, संभव नहीं। इस प्रकार, <math>\lambda_1 \ne 0</math> और | ||
Line 282: | Line 280: | ||
इससे यह बात आसानी से समझ में आ जाती है <math>x = y = 1/\sqrt{2}</math> और <math>u = v = 2</math>. अत: न्यूनतम दूरी है <math>2\sqrt{2} - 1</math> (न्यूनतम दूरी स्पष्ट रूप से मौजूद है)। | इससे यह बात आसानी से समझ में आ जाती है <math>x = y = 1/\sqrt{2}</math> और <math>u = v = 2</math>. अत: न्यूनतम दूरी है <math>2\sqrt{2} - 1</math> (न्यूनतम दूरी स्पष्ट रूप से मौजूद है)। | ||
यहां रैखिक बीजगणित का एक अनुप्रयोग है।<ref>{{harvnb|Spivak|1965|loc=Exercise 5-17.}}</ref> होने देना <math>V</math> एक परिमित-आयामी वास्तविक | यहां रैखिक बीजगणित का एक अनुप्रयोग है।<ref>{{harvnb|Spivak|1965|loc=Exercise 5-17.}}</ref> होने देना <math>V</math> एक परिमित-आयामी वास्तविक सदिश स्थान बनें और <math>T : V \to V</math> एक स्व-सहायक ऑपरेटर। हम दिखाएंगे <math>V</math> के eigenvectors से युक्त एक आधार है <math>T</math> (अर्थात।, <math>T</math> विकर्णीय है) के आयाम पर प्रेरण द्वारा <math>V</math>. आधार का चयन करना <math>V</math> हम पहचान सकते हैं <math>V = \mathbb{R}^n</math> और <math>T</math> मैट्रिक्स द्वारा दर्शाया गया है <math>[a_{ij}]</math>. फलन पर विचार करें <math>f(x) = (Tx, x)</math>, जहां ब्रैकेट का मतलब आंतरिक उत्पाद है। तब <math>\nabla f = 2(\sum a_{1i} x_i, \dots, \sum a_{ni} x_i)</math>. दूसरी ओर, के लिए <math>g = \sum x_i^2 - 1</math>, तब से <math>g^{-1}(0)</math> सघन है, <math>f</math> एक बिंदु पर अधिकतम या न्यूनतम प्राप्त करता है <math>u</math> में <math>g^{-1}(0)</math>. तब से <math>\nabla g = 2(x_1, \dots, x_n)</math>, लैग्रेंज गुणक द्वारा, हम एक वास्तविक संख्या पाते हैं <math>\lambda</math> ऐसा है कि <math>2 \sum_i a_{ji} u_i = 2 \lambda u_j, 1 \le j \le n.</math> लेकिन इसका मतलब है <math>Tu = \lambda u</math>. आगमनात्मक परिकल्पना द्वारा, स्व-सहायक संचालिका <math>T : W \to W</math>, <math>W</math> ओर्थोगोनल पूरक <math>u</math>, eigenvectors से युक्त एक आधार है। इसलिए, हमारा काम हो गया। <math>\square</math>. | ||
=== कमजोर व्युत्पन्न === | === कमजोर व्युत्पन्न === | ||
माप-शून्य सेट तक, दो कार्यों को अन्य कार्यों (जिन्हें परीक्षण | माप-शून्य सेट तक, दो कार्यों को अन्य कार्यों (जिन्हें परीक्षण फलन कहा जाता है) के विरुद्ध एकीकरण के माध्यम से सामान्तर या नहीं निर्धारित किया जा सकता है। अर्थात्, निम्नलिखित को कभी-कभी विविधताओं के कलन की मौलिक प्रमेयिका कहा जाता है: | ||
{{math_theorem|name=Lemma<ref>{{harvnb|Hörmander|2015|loc=Theorem 1.2.5.}}</ref>|math_statement=If <math>f, g</math> are locally integrable functions on an open subset <math>M \subset \mathbb{R}^n</math> such that | {{math_theorem|name=Lemma<ref>{{harvnb|Hörmander|2015|loc=Theorem 1.2.5.}}</ref>|math_statement=If <math>f, g</math> are locally integrable functions on an open subset <math>M \subset \mathbb{R}^n</math> such that | ||
Line 295: | Line 293: | ||
हरएक के लिए <math>\varphi \in C_c^{\infty}(M)</math>. लेकिन, [[भागों द्वारा एकीकरण]] द्वारा, बाईं ओर आंशिक व्युत्पन्न <math>u</math> के उस पर ले जाया जा सकता है <math>\varphi</math>; अर्थात।, | हरएक के लिए <math>\varphi \in C_c^{\infty}(M)</math>. लेकिन, [[भागों द्वारा एकीकरण]] द्वारा, बाईं ओर आंशिक व्युत्पन्न <math>u</math> के उस पर ले जाया जा सकता है <math>\varphi</math>; अर्थात।, | ||
:<math>-\int u \frac{\partial \varphi}{\partial x_i} \, dx = \int f \varphi \, dx</math> | :<math>-\int u \frac{\partial \varphi}{\partial x_i} \, dx = \int f \varphi \, dx</math> | ||
जहाँ से कोई सीमा शब्द नहीं है <math>\varphi</math> कॉम्पैक्ट समर्थन है. अब मुख्य बात यह है कि यह अभिव्यक्ति भले ही समझ में आती हो <math>u</math> यह आवश्यक रूप से भिन्न नहीं है और इस प्रकार ऐसे | जहाँ से कोई सीमा शब्द नहीं है <math>\varphi</math> कॉम्पैक्ट समर्थन है. अब मुख्य बात यह है कि यह अभिव्यक्ति भले ही समझ में आती हो <math>u</math> यह आवश्यक रूप से भिन्न नहीं है और इस प्रकार ऐसे फलन के व्युत्पन्न को समझने के लिए इसका उपयोग किया जा सकता है। | ||
प्रत्येक स्थानीय रूप से एकीकृत | प्रत्येक स्थानीय रूप से एकीकृत फलन पर ध्यान दें <math>u</math> रैखिक कार्यात्मकता को परिभाषित करता है <math>\varphi \mapsto \int u \varphi \, dx</math> पर <math>C_c^{\infty}(M)</math> और, इसके अलावा, प्रारंभिक लेम्मा के कारण, प्रत्येक स्थानीय रूप से एकीकृत फलन को ऐसे रैखिक फलनल के साथ पहचाना जा सकता है। इसलिए, सामान्यतः, यदि <math>u</math> पर एक रैखिक कार्यात्मक है <math>C_c^{\infty}(M)</math>, फिर हम परिभाषित करते हैं <math>\frac{\partial u}{\partial x_i}</math> रैखिक कार्यात्मक होना <math>\varphi \mapsto -\left \langle u, \frac{\partial \varphi}{\partial x_i} \right\rangle</math> जहां ब्रैकेट का मतलब है <math>\langle \alpha, \varphi \rangle = \alpha(\varphi)</math>. तब इसे इसका [[कमजोर व्युत्पन्न]] कहा जाता है <math>u</math> इसके संबंध में <math>x_i</math>. अगर <math>u</math> निरंतर अवकलनीय है, तब इसका कमजोर व्युत्पन्न सामान्य के साथ मेल खाता है; यानी, रैखिक कार्यात्मक <math>\frac{\partial u}{\partial x_i}</math> के सामान्य आंशिक व्युत्पन्न द्वारा निर्धारित रैखिक कार्यात्मक के समान है <math>u</math> इसके संबंध में <math>x_i</math>. एक सामान्य व्युत्पन्न को अक्सर शास्त्रीय व्युत्पन्न कहा जाता है। जब एक रैखिक कार्यात्मक पर <math>C_c^{\infty}(M)</math> एक निश्चित टोपोलॉजी के संबंध में निरंतर है <math>C_c^{\infty}(M)</math>, ऐसे रैखिक कार्यात्मक को [[वितरण (गणित)]] कहा जाता है, जो एक सामान्यीकृत फलन का एक उदाहरण है। | ||
कमजोर व्युत्पन्न का एक उत्कृष्ट उदाहरण [[हेविसाइड फ़ंक्शन]] है <math>H</math>, अंतराल पर विशेषता कार्य <math>(0, \infty)</math>.<ref>{{harvnb|Hörmander|2015|loc=Example 3.1.2.}}</ref> प्रत्येक परीक्षण | कमजोर व्युत्पन्न का एक उत्कृष्ट उदाहरण [[हेविसाइड फ़ंक्शन|हेविसाइड फलन]] है <math>H</math>, अंतराल पर विशेषता कार्य <math>(0, \infty)</math>.<ref>{{harvnb|Hörmander|2015|loc=Example 3.1.2.}}</ref> प्रत्येक परीक्षण फलन के लिए <math>\varphi</math>, अपने पास: | ||
:<math>\langle H', \varphi \rangle = -\int_0^{\infty} \varphi' \, dx = \varphi(0).</math> | :<math>\langle H', \varphi \rangle = -\int_0^{\infty} \varphi' \, dx = \varphi(0).</math> | ||
होने देना <math>\delta_a</math> रैखिक कार्यात्मक को निरूपित करें <math>\varphi \mapsto \varphi(a)</math>, जिसे [[डिराक डेल्टा फ़ंक्शन]] कहा जाता है (हालाँकि यह वास्तव में एक | होने देना <math>\delta_a</math> रैखिक कार्यात्मक को निरूपित करें <math>\varphi \mapsto \varphi(a)</math>, जिसे [[डिराक डेल्टा फ़ंक्शन|डिराक डेल्टा फलन]] कहा जाता है (हालाँकि यह वास्तव में एक फलन नहीं है)। फिर उपरोक्त को इस प्रकार लिखा जा सकता है: | ||
:<math>H' = \delta_0.</math> | :<math>H' = \delta_0.</math> | ||
कॉची के अभिन्न सूत्र की कमजोर डेरिवेटिव के संदर्भ में समान व्याख्या है। जटिल चर के लिए <math>z = x + iy</math>, होने देना <math>E_{z_0}(z) = \frac{1}{\pi (z - z_0)}</math>. एक परीक्षण समारोह के लिए <math>\varphi</math>, यदि डिस्क <math>| z - z_0 | \le r</math> का समर्थन शामिल है <math>\varphi</math>कॉची के अभिन्न सूत्र द्वारा, हमारे पास है: | कॉची के अभिन्न सूत्र की कमजोर डेरिवेटिव के संदर्भ में समान व्याख्या है। जटिल चर के लिए <math>z = x + iy</math>, होने देना <math>E_{z_0}(z) = \frac{1}{\pi (z - z_0)}</math>. एक परीक्षण समारोह के लिए <math>\varphi</math>, यदि डिस्क <math>| z - z_0 | \le r</math> का समर्थन शामिल है <math>\varphi</math>कॉची के अभिन्न सूत्र द्वारा, हमारे पास है: | ||
Line 308: | Line 306: | ||
:<math>\varphi(z_0) = -\int E_{z_0} \frac{\partial \varphi}{\partial \bar z} dxdy = \left\langle \frac{\partial E_{z_0}}{\partial \bar z}, \varphi \right \rangle,</math> | :<math>\varphi(z_0) = -\int E_{z_0} \frac{\partial \varphi}{\partial \bar z} dxdy = \left\langle \frac{\partial E_{z_0}}{\partial \bar z}, \varphi \right \rangle,</math> | ||
या | या | ||
:<math>\frac{\partial E_{z_0}}{\partial \bar z} = \delta_{z_0}.</math><ref>{{harvnb|Hörmander|2015|p=63}}</ref> सामान्य तौर पर, एक सामान्यीकृत | :<math>\frac{\partial E_{z_0}}{\partial \bar z} = \delta_{z_0}.</math><ref>{{harvnb|Hörmander|2015|p=63}}</ref> सामान्य तौर पर, एक सामान्यीकृत फलन को रैखिक आंशिक अंतर ऑपरेटर के लिए [[मौलिक समाधान]] कहा जाता है यदि ऑपरेटर का अनुप्रयोग डायराक डेल्टा है। इसलिए, ऊपर कहा गया है <math>E_{z_0}</math> विभेदक ऑपरेटर के लिए मौलिक समाधान है <math>\partial/\partial \bar z</math>. | ||
{{See also|Limit of distributions}} | {{See also|Limit of distributions}} | ||
Line 321: | Line 319: | ||
:इस अनुभाग के लिए [[सामान्य टोपोलॉजी]] में कुछ पृष्ठभूमि की आवश्यकता होती है। | :इस अनुभाग के लिए [[सामान्य टोपोलॉजी]] में कुछ पृष्ठभूमि की आवश्यकता होती है। | ||
[[ कई गुना ]] एक हॉसडॉर्फ टोपोलॉजिकल स्पेस है जिसे स्थानीय रूप से यूक्लिडियन स्पेस द्वारा मॉडल किया गया है। परिभाषा के अनुसार, एक टोपोलॉजिकल स्पेस का [[एटलस (गणित)]]। <math>M</math> मानचित्रों का एक सेट है <math>\varphi_i : U_i \to \mathbb{R}^n</math>, जिसे चार्ट कहा जाता है, जैसे कि | [[ कई गुना | अनेक गुना]] एक हॉसडॉर्फ टोपोलॉजिकल स्पेस है जिसे स्थानीय रूप से यूक्लिडियन स्पेस द्वारा मॉडल किया गया है। परिभाषा के अनुसार, एक टोपोलॉजिकल स्पेस का [[एटलस (गणित)]]। <math>M</math> मानचित्रों का एक सेट है <math>\varphi_i : U_i \to \mathbb{R}^n</math>, जिसे चार्ट कहा जाता है, जैसे कि | ||
*<math>U_i</math> का एक खुला आवरण हैं <math>M</math>; यानी, प्रत्येक <math>U_i</math> खुला है और <math>M = \cup_i U_i</math>, | *<math>U_i</math> का एक खुला आवरण हैं <math>M</math>; यानी, प्रत्येक <math>U_i</math> खुला है और <math>M = \cup_i U_i</math>, | ||
*<math>\varphi_i : U_i \to \varphi_i(U_i)</math> एक समरूपता है और | *<math>\varphi_i : U_i \to \varphi_i(U_i)</math> एक समरूपता है और | ||
*<math>\varphi_j \circ \varphi_i^{-1} : \varphi_i(U_i \cap U_j) \to \varphi_j(U_i \cap U_j)</math> चिकना है; इस प्रकार एक भिन्नतावाद। | *<math>\varphi_j \circ \varphi_i^{-1} : \varphi_i(U_i \cap U_j) \to \varphi_j(U_i \cap U_j)</math> चिकना है; इस प्रकार एक भिन्नतावाद। | ||
परिभाषा के अनुसार, मैनिफोल्ड एक अधिकतम एटलस (जिसे एक [[भिन्न संरचना]] कहा जाता है) के साथ एक दूसरी-गणनीय हॉसडॉर्फ टोपोलॉजिकल स्पेस है; मैक्सिमम का मतलब है कि यह सख्ती से बड़े एटलस में शामिल नहीं है। अनेक गुना का आयाम <math>M</math> मॉडल यूक्लिडियन स्पेस का आयाम है <math>\mathbb{R}^n</math>; अर्थात्, <math>n</math> और मैनिफोल्ड को एन-मैनिफोल्ड कहा जाता है जब इसका आयाम एन होता है। मैनिफ़ोल्ड पर एक | परिभाषा के अनुसार, मैनिफोल्ड एक अधिकतम एटलस (जिसे एक [[भिन्न संरचना]] कहा जाता है) के साथ एक दूसरी-गणनीय हॉसडॉर्फ टोपोलॉजिकल स्पेस है; मैक्सिमम का मतलब है कि यह सख्ती से बड़े एटलस में शामिल नहीं है। अनेक गुना का आयाम <math>M</math> मॉडल यूक्लिडियन स्पेस का आयाम है <math>\mathbb{R}^n</math>; अर्थात्, <math>n</math> और मैनिफोल्ड को एन-मैनिफोल्ड कहा जाता है जब इसका आयाम एन होता है। मैनिफ़ोल्ड पर एक फलन <math>M</math> यदि चिकनी कहा जाता है <math>f|_U \circ \varphi^{-1}</math> चिकनी है <math>\varphi(U)</math> प्रत्येक चार्ट के लिए <math>\varphi : U \to \mathbb{R}^n</math> भिन्न संरचना में. | ||
मैनिफोल्ड [[पैराकॉम्पैक्ट स्पेस]] है; इसका निहितार्थ यह है कि यह किसी दिए गए खुले आवरण के अधीन एकता के विभाजन को स्वीकार करता है। | मैनिफोल्ड [[पैराकॉम्पैक्ट स्पेस]] है; इसका निहितार्थ यह है कि यह किसी दिए गए खुले आवरण के अधीन एकता के विभाजन को स्वीकार करता है। | ||
अगर <math>\mathbb{R}^n</math> ऊपरी आधे स्थान द्वारा प्रतिस्थापित किया जाता है <math>\mathbb{H}^n</math>, तब हमें सीमा के साथ अनेक गुना की धारणा प्राप्त होती है। बिंदुओं का समूह जो की सीमा को दर्शाता है <math>\mathbb{H}^n</math> चार्ट के अंतर्गत इसे दर्शाया गया है <math>\partial M</math> और की सीमा कहलाती है <math>M</math>. यह सीमा टोपोलॉजिकल सीमा नहीं हो सकती है <math>M</math>. के आंतरिक भाग के | अगर <math>\mathbb{R}^n</math> ऊपरी आधे स्थान द्वारा प्रतिस्थापित किया जाता है <math>\mathbb{H}^n</math>, तब हमें सीमा के साथ अनेक गुना की धारणा प्राप्त होती है। बिंदुओं का समूह जो की सीमा को दर्शाता है <math>\mathbb{H}^n</math> चार्ट के अंतर्गत इसे दर्शाया गया है <math>\partial M</math> और की सीमा कहलाती है <math>M</math>. यह सीमा टोपोलॉजिकल सीमा नहीं हो सकती है <math>M</math>. के आंतरिक भाग के पश्चात् से <math>\mathbb{H}^n</math> से भिन्न है <math>\mathbb{R}^n</math>, मैनिफोल्ड खाली सीमा के साथ एक मैनिफोल्ड-विथ-बाउंड्री है। | ||
अगला प्रमेय अनेक गुनाओं के | अगला प्रमेय अनेक गुनाओं के अनेक उदाहरण प्रस्तुत करता है। | ||
{{math_theorem|math_statement=<ref>{{harvnb|Spivak|1965|loc=Theorem 5-1.}}</ref> Let <math>g: U \to \mathbb{R}^r</math> be a differentiable map from an open subset <math>U \subset \mathbb{R}^n</math> such that <math>g'(p)</math> has rank <math>r</math> for every point <math>p</math> in <math>g^{-1}(0)</math>. Then the zero set <math>g^{-1}(0)</math> is an <math>(n-r)</math>-manifold.}} | {{math_theorem|math_statement=<ref>{{harvnb|Spivak|1965|loc=Theorem 5-1.}}</ref> Let <math>g: U \to \mathbb{R}^r</math> be a differentiable map from an open subset <math>U \subset \mathbb{R}^n</math> such that <math>g'(p)</math> has rank <math>r</math> for every point <math>p</math> in <math>g^{-1}(0)</math>. Then the zero set <math>g^{-1}(0)</math> is an <math>(n-r)</math>-manifold.}} | ||
Line 338: | Line 336: | ||
प्रमेय को व्युत्क्रम फलन प्रमेय के परिणाम के रूप में सिद्ध किया गया है। | प्रमेय को व्युत्क्रम फलन प्रमेय के परिणाम के रूप में सिद्ध किया गया है। | ||
अनेक परिचित मैनिफोल्ड्स के उपसमुच्चय हैं <math>\mathbb{R}^n</math>. अगला सैद्धांतिक रूप से महत्वपूर्ण परिणाम कहता है कि किसी अन्य प्रकार की विविधता मौजूद नहीं है। विसर्जन एक सहज मानचित्र है जिसका अंतर विशेषणात्मक होता है। एम्बेडिंग एक ऐसा विसर्जन है जो छवि के लिए होमियोमॉर्फिक (इस प्रकार भिन्न-रूपी) होता है। | |||
{{math_theorem|name=[[Whitney's embedding theorem]]|math_statement=Each <math>k</math>-manifold can be embedded into <math>\mathbb{R}^{2k}</math>.}} | {{math_theorem|name=[[Whitney's embedding theorem]]|math_statement=Each <math>k</math>-manifold can be embedded into <math>\mathbb{R}^{2k}</math>.}} | ||
Line 347: | Line 345: | ||
:<math>(f, g) : M \to \mathbb{R}^{(k+1)r+1}</math> | :<math>(f, g) : M \to \mathbb{R}^{(k+1)r+1}</math> | ||
कहाँ <math>g</math> एक सहज उचित मानचित्र है. एक सुचारू उचित मानचित्र का अस्तित्व एकता के विभाजन का परिणाम है।<!-- give more details --> विसर्जन के मामले में बाकी सबूत के लिए [http://math.uchicago.edu/~may/REU2019/REUPapers/Smith,Zoe.pdf] देखें। <math>\square</math> | कहाँ <math>g</math> एक सहज उचित मानचित्र है. एक सुचारू उचित मानचित्र का अस्तित्व एकता के विभाजन का परिणाम है।<!-- give more details --> विसर्जन के मामले में बाकी सबूत के लिए [http://math.uchicago.edu/~may/REU2019/REUPapers/Smith,Zoe.pdf] देखें। <math>\square</math> | ||
नैश का एम्बेडिंग प्रमेय कहता है कि, यदि <math>M</math> रीमैनियन मीट्रिक से सुसज्जित है, | नैश का एम्बेडिंग प्रमेय कहता है कि, यदि <math>M</math> रीमैनियन मीट्रिक से सुसज्जित है, तब एम्बेडिंग को बढ़ने के खर्च के साथ आइसोमेट्रिक माना जा सकता है <math>2k</math>; इसके लिए, [https://terrytao.wordpress.com/2016/05/11/notes-on-the-nash-embedding-theorem यह टी. ताओ का ब्लॉग] देखें। | ||
=== ट्यूबलर पड़ोस और ट्रांसवर्सलिटी === | === ट्यूबलर पड़ोस और ट्रांसवर्सलिटी === | ||
Line 360: | Line 358: | ||
=== अनेक गुना और वितरण घनत्व पर एकीकरण === | === अनेक गुना और वितरण घनत्व पर एकीकरण === | ||
मैनिफोल्ड्स पर एकीकरण के विषय का प्रारंभिक बिंदु यह है कि मैनिफोल्ड्स पर कार्यों को एकीकृत करने का कोई अपरिवर्तनीय तरीका नहीं है। यह स्पष्ट हो सकता है यदि हमने पूछा: एक परिमित-आयामी वास्तविक सदिश स्थान पर कार्यों का एकीकरण क्या है? (इसके विपरीत, विभेदीकरण करने का एक अपरिवर्तनीय तरीका है, क्योंकि परिभाषा के अनुसार, मैनिफोल्ड एक विभेदक संरचना के साथ आता है)। एकीकरण सिद्धांत को अनेक गुना पेश करने के अनेक तरीके हैं: | |||
मैनिफोल्ड्स पर एकीकरण के विषय का प्रारंभिक बिंदु यह है कि मैनिफोल्ड्स पर कार्यों को एकीकृत करने का कोई अपरिवर्तनीय तरीका नहीं है। यह स्पष्ट हो सकता है यदि हमने पूछा: एक परिमित-आयामी वास्तविक | |||
*विभेदक रूपों को एकीकृत करें। | *विभेदक रूपों को एकीकृत करें। | ||
*किसी उपाय के विरुद्ध एकीकरण करें। | *किसी उपाय के विरुद्ध एकीकरण करें। | ||
*मैनिफोल्ड को रीमानियन मेट्रिक से सुसज्जित करें और ऐसे मेट्रिक के विरुद्ध एकीकरण करें। | *मैनिफोल्ड को रीमानियन मेट्रिक से सुसज्जित करें और ऐसे मेट्रिक के विरुद्ध एकीकरण करें। | ||
उदाहरण के लिए, यदि एक मैनिफ़ोल्ड यूक्लिडियन स्थान में अंतर्निहित है <math>\mathbb{R}^n</math>, फिर यह परिवेशी यूक्लिडियन स्थान से प्रतिबंधित लेबेस्ग माप प्राप्त करता है और फिर दूसरा दृष्टिकोण काम करता है। पहला दृष्टिकोण | उदाहरण के लिए, यदि एक मैनिफ़ोल्ड यूक्लिडियन स्थान में अंतर्निहित है <math>\mathbb{R}^n</math>, फिर यह परिवेशी यूक्लिडियन स्थान से प्रतिबंधित लेबेस्ग माप प्राप्त करता है और फिर दूसरा दृष्टिकोण काम करता है। पहला दृष्टिकोण अनेक स्थितियों में ठीक है, लेकिन इसके लिए मैनिफोल्ड को उन्मुख करने की आवश्यकता होती है (और एक गैर-उन्मुख मैनिफोल्ड है जो पैथोलॉजिकल नहीं है)। तीसरा दृष्टिकोण सामान्यीकरण करता है और यह घनत्व की धारणा को जन्म देता है। | ||
== सामान्यीकरण == | == सामान्यीकरण == |
Revision as of 21:10, 25 July 2023
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
गणित में, यूक्लिडियन स्थान पर कैलकुलस, यूक्लिडियन स्पेस पर कार्यों के कैलकुलस के लिए एक या अनेक चर में कार्यों के कैलकुलस का एक सामान्यीकरण है। साथ ही एक परिमित-आयामी वास्तविक सदिश स्थान। इस कैलकुलस को विशेष रूप से संयुक्त राज्य अमेरिका में उन्नत कैलकुलस के रूप में भी जाना जाता है। यह बहुपरिवर्तनीय कैलकुलस के समान है, लेकिन किसी भी तरह से अधिक परिष्कृत है क्योंकि यह रैखिक बीजगणित (या कुछ कार्यात्मक विश्लेषण) का अधिक व्यापक रूप से उपयोग करता है और अंतर ज्यामिति से कुछ अवधारणाओं को शामिल करता है जैसे कि अंतर रूपों और अंतर रूपों के संदर्भ में स्टोक्स का सूत्र। रैखिक बीजगणित का यह व्यापक उपयोग बानाच रिक्त स्थान या टोपोलॉजिकल सदिश रिक्त स्थान पर कैलकुलस के लिए बहुपरिवर्तनीय कैलकुलस के प्राकृतिक सामान्यीकरण की भी अनुमति देता है।
यूक्लिडियन स्पेस पर कैलकुलस भी मैनिफोल्ड्स पर कैलकुलस का एक स्थानीय मॉडल है, जो मैनिफोल्ड्स पर कार्यों का एक सिद्धांत है।
बुनियादी धारणाएँ
एक वास्तविक चर में कार्य
यह खंड एक-चर कलन में फलन सिद्धांत की एक संक्षिप्त समीक्षा है।
एक वास्तविक-मूल्यवान कार्य पर निरंतर है यदि यह लगभग स्थिर है ; अर्थात।,
इसके विपरीत, फलन पर भिन्न है यदि यह लगभग रैखिक है ; यानी, कुछ वास्तविक संख्या है ऐसा है कि
(सरलता के लिए, मान लीजिए . तब फिर उपरोक्त का मतलब यही है कहाँ 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] अगर पर एक सुचारू कार्य है कॉम्पैक्ट समर्थन के साथ, तब हमारे पास है:
(चूंकि, कैलकुलस के मौलिक प्रमेय द्वारा, उपरोक्त का मूल्यांकन समर्थन वाले सेट की सीमाओं पर किया जा सकता है।) दूसरी ओर,
होने देना विशेषता फलन पर संपर्क करें . फिर दाहिनी ओर दूसरा पद जाता है जबकि पहला जाता है , कलन के मौलिक प्रमेय को सिद्ध करने के समान तर्क द्वारा। सूत्र कैलकुलस के मौलिक प्रमेय के साथ-साथ बहुपरिवर्तनीय कैलकुलस में स्टोक्स प्रमेय को सामान्यीकृत करता है। वास्तव में, यदि एक अंतराल है और , तब और सूत्र कहता है:
- .
इसी प्रकार, यदि में एक उन्मुखी बंधी हुई सतह है और , तब और इसी तरह के लिए और . शर्तों को एकत्रित करने पर, हमें इस प्रकार मिलता है:
फिर, के एकीकरण की परिभाषा से , अपने पास कहाँ सदिश-वैल्यू फलन है और . अत: स्टोक्स का सूत्र बन जाता है
जो सतहों पर स्टोक्स प्रमेय का सामान्य रूप है। ग्रीन का प्रमेय भी स्टोक्स के सूत्र का एक विशेष मामला है।
स्टोक्स का सूत्र कॉची के अभिन्न सूत्र का एक सामान्य संस्करण भी उत्पन्न करता है। जटिल चर के लिए इसे बताना और सिद्ध करना और संयुग्म आइए हम ऑपरेटरों का परिचय दें
इन नोटेशन में, एक फलन होलोमोर्फिक फलन (जटिल-विश्लेषणात्मक) है यदि और केवल यदि (कौची-रीमैन समीकरण)। इसके अलावा, हमारे पास है:
होने देना केंद्र के साथ एक पंचर डिस्क बनें . तब से पर होलोमोर्फिक है , अपने पास:
- .
स्टोक्स के सूत्र द्वारा,
घुमावदार संख्याएं और पोंकारे लेम्मा
एक भिन्न रूप यदि बंद और सटीक रूप कहा जाता है और सटीक यदि कहा जाता है कुछ भिन्न रूप के लिए (अक्सर क्षमता कहा जाता है)। तब से , एक सटीक प्रपत्र बंद है. लेकिन यह बातचीत सामान्य रूप से क्रियान्वित नहीं होती; कोई गैर-सटीक बंद प्रपत्र हो सकता है. ऐसे फॉर्म का एक उत्कृष्ट उदाहरण है:[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 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.