यूक्लिडियन समष्टि पर फलन

गणित में, यूक्लिडियन समष्टि पर गणना, यूक्लिडियन समष्टि पर फलनों के गणना के लिए एक या अनेक चर में फलनों के गणना का एक सामान्यीकरण है। $\mathbb {R} ^{n}$ साथ ही एक परिमित-आयामी वास्तविक सदिश समष्टि है। इस गणना को विशेष रूप से संयुक्त राज्य अमेरिका में उन्नत गणना के रूप में भी जाना जाता है। यह बहुपरिवर्तनीय गणना के समान है, किन्तु किसी भी तरह से अधिक परिष्कृत है क्योंकि यह रैखिक बीजगणित (या कुछ कार्यात्मक विश्लेषण) का अधिक व्यापक रूप से उपयोग करता है और अंतर ज्यामिति से कुछ अवधारणाओं को सम्मिलित करता है जैसे कि अंतर रूपों और अंतर रूपों के संदर्भ में स्टोक्स का सूत्र। रैखिक बीजगणित का यह व्यापक उपयोग बानाच रिक्त समष्टि या टोपोलॉजिकल सदिश रिक्त समष्टि पर गणना के लिए बहुपरिवर्तनीय गणना के प्राकृतिक सामान्यीकरण की भी अनुमति देता है।

यूक्लिडियन समष्टि पर गणना भी मैनिफोल्ड्स पर गणना का एक समष्टिीय मॉडल है, जो मैनिफोल्ड्स पर फलनों का एक सिद्धांत है।

मूलभूतधारणाएँ

See also: वास्तविक चर का कार्य and बहुचरीय कलन

एक वास्तविक चर में कार्य

यह खंड एक-चर कलन में फलन सिद्धांत की एक संक्षिप्त समीक्षा है।

एक वास्तविक-मूल्यवान कार्य $f:\mathbb {R} \to \mathbb {R}$ पर निरंतर है $a$ यदि यह लगभग स्थिर है $a$; अर्थात:

$\lim _{h\to 0}(f(a+h)-f(a))=0.$

इसके विपरीत, फलन $f$ पर भिन्न है $a$ यदि यह लगभग रैखिक है $a$; अर्थात, कुछ वास्तविक संख्या है $\lambda$ ऐसा है कि

$\lim _{h\to 0}{\frac {f(a+h)-f(a)-\lambda h}{h}}=0.$

(सरलता के लिए, मान लीजिए $f(a)=0$. तब फिर उपरोक्त का कारणयही है $f(a+h)=\lambda h+g(a,h)$ कहाँ $g(a,h)$ h, 0 पर जाने की तुलना में तेजी से 0 पर जाता है और, इस अर्थ में, $f(a+h)$ जैसा व्यवहार करता है $\lambda h$.)

जो नंबर $\lambda$ पर निर्भर करता है $a$ और इस प्रकार दर्शाया गया है $f'(a)$. यदि $f$ विवृत अंतराल पर अवकलनीय है $U$ और यदि $f'$ पर एक सतत कार्य है $U$, तब $f$ सी कहा जाता है¹फलन. सामान्यतः अधिक, $f$ सी कहा जाता है^k फलन यदि यह व्युत्पन्न है $f'$ सी है^k-1फलन। टेलर के प्रमेय में कहा गया है कि एक सी^k फलन वास्तव में एक फलन है जिसे डिग्री k के बहुपद द्वारा अनुमानित किया जा सकता है।

यदि $f:\mathbb {R} \to \mathbb {R}$ एक सी है¹कार्य और $f'(a)\neq 0$ कुछ के लिए $a$, तब कोई $f'(a)>0$ या $f'(a)<0$; अर्थात, या तब $f$ किसी विवृत अंतराल में सख्ती से बढ़ रहा है या सख्ती से घट रहा है। विशेष रूप से, $f:f^{-1}(U)\to U$ कुछ विवृत अंतराल के लिए विशेषण है $U$ युक्त $f(a)$. व्युत्क्रम फलन प्रमेय तब कहता है कि व्युत्क्रम फलन $f^{-1}$ यू पर डेरिवेटिव के साथ अवकलनीय है: के लिए $y\in U$

$(f^{-1})'(y)={1 \over f'(f^{-1}(y))}.$

मानचित्र और श्रृंखला नियम का व्युत्पन्न

फलनों के लिए $f$ समतल में या अधिक सामान्यतः यूक्लिडियन समष्टि पर परिभाषित $\mathbb {R} ^{n}$, उन फलनों पर विचार करना आवश्यक है जो सदिश-मूल्यवान या आव्युह-मूल्यवान हैं। इसे अपरिवर्तनीय तरीके से (अर्थात, समन्वय-मुक्त तरीके से) करना वैचारिक रूप से भी सहायक है। किसी बिंदु पर ऐसे मानचित्रों के व्युत्पन्न तब सदिश या रैखिक मानचित्र होते हैं, वास्तविक संख्याएँ नहीं।

होने देना $f:X\to Y$ एक विवृत उपसमुच्चय से एक मानचित्र बनें $X$ का $\mathbb {R} ^{n}$ एक विवृत उपसमुच्चय के लिए $Y$ का $\mathbb {R} ^{m}$. फिर नक्शा $f$ एक बिंदु पर अवकलनीय फलन कहा जाता है $x$ में $X$ यदि कोई (आवश्यक रूप से अद्वितीय) रैखिक परिवर्तन उपस्तिथ है $f'(x):\mathbb {R} ^{n}\to \mathbb {R} ^{m}$, का व्युत्पन्न कहा जाता है $f$ पर $x$, ऐसा है कि

$\lim _{h\to 0}{\frac {1}{|h|}}|f(x+h)-f(x)-f'(x)h|=0$

कहाँ $f'(x)h$ रैखिक परिवर्तन का अनुप्रयोग है $f'(x)$ को $h$. यदि $f$ पर भिन्न है $x$, तब यह निरंतर है $x$ तब से

$|f(x+h)-f(x)|\leq (|h|^{-1}|f(x+h)-f(x)-f'(x)h|)|h|+|f'(x)h|\to 0$ जैसा $h\to 0$.

जैसा कि एक-चर चूँकिमें है, वहाँ है

श्रृंखला नियम —  Let $f$ ऊपर जैसा हो और $g:Y\to Z$ कुछ खुले उपसमुच्चय के लिए एक मानचित्र $Z$ of $\mathbb {R} ^{l}$. If $f$ पर भिन्न है $x$ and $g$ पर भिन्न $y=f(x)$, फिर रचना $g\circ f$ पर भिन्न है $x$ व्युत्पन्न के साथ

$(g\circ f)'(x)=g'(y)\circ f'(x).$

यह बिल्कुल एक चर में फलनों के लिए सिद्ध होता है। मुख्य रूप से, संकेतन के साथ ${\widetilde {h}}=f(x+h)-f(x)$, अपने पास:

${\begin{aligned}&{\frac {1}{|h|}}|g(f(x+h))-g(y)-g'(y)f'(x)h|\\&\leq {\frac {1}{|h|}}|g(y+{\widetilde {h}})-g(y)-g'(y){\widetilde {h}}|+{\frac {1}{|h|}}|g'(y)(f(x+h)-f(x)-f'(x)h)|.\end{aligned}}$

यहाँ, तब से $f$ पर भिन्न है $x$, दाईं ओर दूसरा पद शून्य हो जाता है $h\to 0$. जहाँ तक पहले पद की बात है, इसे इस प्रकार लिखा जा सकता है:

${\begin{cases}{\frac {|{\widetilde {h}}|}{|h|}}|g(y+{\widetilde {h}})-g(y)-g'(y){\widetilde {h}}|/|{\widetilde {h}}|,&{\widetilde {h}}\neq 0,\\0,&{\widetilde {h}}=0.\end{cases}}$

अभी, निरंतरता दर्शाने वाले तर्क से $f$ पर $x$, हम देखते हैं ${\frac {|{\widetilde {h}}|}{|h|}}$ घिरा है। भी, ${\widetilde {h}}\to 0$ जैसा $h\to 0$ तब से $f$ पर निरंतर है $x$. इसलिए, पहला पद भी शून्य हो जाता है $h\to 0$ की भिन्नता से $g$ पर $y$. $\square$ वो नक्शा $f$ जैसा कि ऊपर कहा गया है निरंतर अवकलनीय या $C^{1}$ यदि यह डोमेन पर भिन्न है और डेरिवेटिव भी लगातार भिन्न होते हैं; अर्थात।, $x\mapsto f'(x)$ सतत है.

उपप्रमेय — If $f,g$ फिर, लगातार भिन्न होते हैं $g\circ f$ निरंतर भिन्न है।

एक रैखिक परिवर्तन के रूप में, $f'(x)$ एक द्वारा दर्शाया गया है $m\times n$-आव्युह, जिसे जैकोबियन आव्युह कहा जाता है $Jf(x)$ का $f$ पर $x$ और हम इसे इस प्रकार लिखते हैं:

$(Jf)(x)={\begin{bmatrix}{\frac {\partial f_{1}}{\partial x_{1}}}(x)&\cdots &{\frac {\partial f_{1}}{\partial x_{n}}}(x)\\\vdots &\ddots &\vdots \\{\frac {\partial f_{m}}{\partial x_{1}}}(x)&\cdots &{\frac {\partial f_{m}}{\partial x_{n}}}(x)\end{bmatrix}}.$

ले रहा $h$ होना $he_{j}$, $h$ एक वास्तविक संख्या और $e_{j}=(0,\cdots ,1,\cdots ,0)$ जे-वें मानक आधार तत्व, हम देखते हैं कि भिन्नता $f$ पर $x$ तात्पर्य:

$\lim _{h\to 0}{\frac {f_{i}(x+he_{j})-f_{i}(x)}{h}}={\frac {\partial f_{i}}{\partial x_{j}}}(x)$

कहाँ $f_{i}$ के i-वें घटक को दर्शाता है $f$. अर्थात प्रत्येक घटक $f$ पर भिन्न है $x$ व्युत्पन्न के साथ प्रत्येक चर में ${\frac {\partial f_{i}}{\partial x_{j}}}(x)$. जैकोबियन आव्युह के संदर्भ में, श्रृंखला नियम कहता है $J(g\circ f)(x)=Jg(y)Jf(x)$; अर्थात, जैसे $(g\circ f)_{i}=g_{i}\circ f$,

${\frac {\partial (g_{i}\circ f)}{\partial x_{j}}}(x)={\frac {\partial g_{i}}{\partial y_{1}}}(y){\frac {\partial f_{1}}{\partial x_{j}}}(x)+\cdots +{\frac {\partial g_{i}}{\partial y_{m}}}(y){\frac {\partial f_{m}}{\partial x_{j}}}(x),$

जो शृंखला नियम का वह रूप है जो अधिकांशतः बताया जाता है।

उपरोक्त का आंशिक उलटा ही सही है। अर्थात्, यदि आंशिक व्युत्पन्न ${\partial f_{i}}/{\partial x_{j}}$ तब, सभी परिभाषित और निरंतर हैं $f$ निरंतर भिन्न है। यह माध्य मूल्य असमानता का परिणाम है:

Mean value inequality —  Given the map $f:X\to Y$ as above and points $x,y$ in $X$ such that the line segment between $x,y$ lies in $X$, if $t\mapsto f(x+ty)$ is continuous on $[0,1]$ and is differentiable on the interior, then, for any vector $v\in \mathbb {R} ^{m}$,

$|\Delta _{y}f(x)-v|\leq \sup _{0<t<1}\left|{\frac {d}{dt}}f(x+ty)-v\right|$

where $\Delta _{y}f(x)=f(x+y)-f(x).$

(माध्य मूल्य असमानता का यह संस्करण माध्य मूल्य असमानता से अनुसरण करता है माध्य मान प्रमेय वेक्टर-मूल्यवान कार्यों के लिए माध्य मान प्रमेय § Notes फलन पर क्रियान्वित किया गया $[0,1]\to \mathbb {R} ^{m},\,t\mapsto f(x+ty)-tv$, जहां माध्य मूल्य असमानता पर प्रमाण दिया गया है।)

वास्तव में, चलो $g(x)=(Jf)(x)$. हम ध्यान दें कि, यदि $y=y_{i}e_{i}$, तब

${\frac {d}{dt}}f(x+ty)={\frac {\partial f}{\partial x_{i}}}(x+ty)y=g(x+ty)(y_{i}e_{i}).$

सरलता के लिए, मान लीजिए $n=2$ (सामान्य चूँकिके लिए तर्क समान है)। फिर, औसत मूल्य असमानता से, ऑपरेटर मानदंड के साथ $\|\cdot \|$,

${\begin{aligned}&|\Delta _{y}f(x)-g(x)y|\\&\leq |\Delta _{y_{1}e_{1}}f(x_{1},x_{2}+y_{2})-g(x)(y_{1}e_{1})|+|\Delta _{y_{2}e_{2}}f(x_{1},x_{2})-g(x)(y_{2}e_{2})|\\&\leq |y_{1}|\sup _{0<t<1}\|g(x_{1}+ty_{1},x_{2}+y_{2})-g(x)\|+|y_{2}|\sup _{0<t<1}\|g(x_{1},x_{2}+ty_{2})-g(x)\|,\end{aligned}}$

जो यह दर्शाता हे $|\Delta _{y}f(x)-g(x)y|/|y|\to 0$ आवश्यकता अनुसार। $\square$

उदाहरण: चलो $U$ आकार n के सभी व्युत्क्रमणीय वास्तविक वर्ग आव्यूहों का समुच्चय बनें। टिप्पणी $U$ के एक विवृत उपसमुच्चय के रूप में पहचाना जा सकता है $\mathbb {R} ^{n^{2}}$ निर्देशांक के साथ $x_{ij},0\leq i,j\neq n$. फलन पर विचार करें $f(g)=g^{-1}$ = का व्युत्क्रम आव्युह $g$ पर परिभाषित $U$. इसके व्युत्पन्न का अनुमान लगाने के लिए, मान लें $f$ अवकलनीय है और वक्र पर विचार करें $c(t)=ge^{tg^{-1}h}$ कहाँ $e^{A}$ का कारणआव्युह घातांक है $A$. श्रृंखला नियम द्वारा क्रियान्वित किया गया $f(c(t))=e^{-tg^{-1}h}g^{-1}$, अपने पास:

$f'(c(t))\circ c'(t)=-g^{-1}he^{-tg^{-1}h}g^{-1}$.

ले रहा $t=0$, हम पाते हैं:

$f'(g)h=-g^{-1}hg^{-1}$.

अभी, हमारे पास है:

$\|(g+h)^{-1}-g^{-1}+g^{-1}hg^{-1}\|\leq \|(g+h)^{-1}\|\|h\|\|g^{-1}hg^{-1}\|.$

चूंकि ऑपरेटर मानदंड यूक्लिडियन मानदंड के सामान्तर है $\mathbb {R} ^{n^{2}}$ (कोई भी मानदंड एक दूसरे के समतुल्य हैं), इसका तात्पर्य है $f$ विभेदनीय है. अंत में, सूत्र से $f'$, हम इसका आंशिक व्युत्पन्न देखते हैं $f$ चिकने हैं (असीम रूप से भिन्न); कहाँ से, $f$ चिकना भी है.

उच्च डेरिवेटिव और टेलर सूत्र

यदि $f:X\to \mathbb {R} ^{m}$ जहाँ भिन्न है $X\subset \mathbb {R} ^{n}$ एक खुला उपसमुच्चय है, तब व्युत्पन्न मानचित्र निर्धारित करते हैं $f':X\to \operatorname {Hom} (\mathbb {R} ^{n},\mathbb {R} ^{m})$, कहाँ $\operatorname {Hom}$ सदिश समष्टिों के मध्य समरूपता को दर्शाता है; अर्थात, रैखिक मानचित्र। यदि $f'$ तब फिर, भिन्न-भिन्न है $f'':X\to \operatorname {Hom} (\mathbb {R} ^{n},\operatorname {Hom} (\mathbb {R} ^{n},\mathbb {R} ^{m}))$. यहाँ, का कोडोमेन $f''$ द्विरेखीय मानचित्रों के समष्टि से इसकी पहचान निम्न द्वारा की जा सकती है:

$\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}}\}$

कहाँ $\varphi (g)(x,y)=g(x)y$ और $\varphi$ व्युत्क्रम के साथ विशेषण है $\psi$ द्वारा दिए गए $(\psi (g)x)y=g(x,y)$. सामान्य रूप में, $f^{(k)}=(f^{(k-1)})'$ से एक नक्शा है $X$ के समष्टि पर $k$-बहुरेखीय मानचित्र $(\mathbb {R} ^{n})^{k}\to \mathbb {R} ^{m}$.

जिस प्रकार $f'(x)$ एक आव्युह (जैकोबियन आव्युह) द्वारा दर्शाया जाता है, जब $m=1$ (एक द्विरेखीय मानचित्र एक द्विरेखीय रूप है), द्विरेखीय रूप $f''(x)$ एक आव्युह द्वारा दर्शाया जाता है जिसे हेस्सियन आव्युह कहा जाता है $f$ पर $x$; अर्थात्, वर्ग आव्युह $H$ आकार का $n$ ऐसा है कि $f''(x)(y,z)=(Hy,z)$, जहां परिंग का तात्पर्य किसी आंतरिक उत्पाद से है $\mathbb {R} ^{n}$, और $H$ जैकोबियन आव्युह के अतिरिक्त और कोई नहीं है $f':X\to (\mathbb {R} ^{n})^{*}\simeq \mathbb {R} ^{n}$. $(i,j)$वें>-वें की प्रविष्टि $H$ इस प्रकार स्पष्ट रूप से दिया गया है $H_{ij}={\frac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}(x)$.

इसके अतिरिक्त, यदि $f''$ अस्तित्व में है और निरंतर है, फिर आव्युह $H$ सममित आव्युह है, इस तथ्य को दूसरे डेरिवेटिव की समरूपता के रूप में जाना जाता है। इसे औसत मूल्य असमानता का उपयोग करके देखा जाता है। वैक्टर के लिए $u,v$ में $\mathbb {R} ^{n}$, औसत मूल्य असमानता का दो बार उपयोग करने पर, हमारे पास है:

$|\Delta _{v}\Delta _{u}f(x)-f''(x)(u,v)|\leq \sup _{0<t_{1},t_{2}<1}|f''(x+t_{1}u+t_{2}v)(u,v)-f''(x)(u,v)|,$

जो कहते हैं

$f''(x)(u,v)=\lim _{s,t\to 0}(\Delta _{tv}\Delta _{su}f(x)-f(x))/(st).$

चूँकि दाहिना भाग सममित है $u,v$, बाईं ओर भी ऐसा ही है: $f''(x)(u,v)=f''(x)(v,u)$. प्रेरण द्वारा, यदि $f$ है $C^{k}$, फिर k-बहुरेखीय मानचित्र $f^{(k)}(x)$ सममित है; अर्थात, आंशिक व्युत्पन्न लेने का क्रम कोई मायने नहीं रखता।

जैसा कि एक चर के चूँकिमें, टेलर श्रृंखला विस्तार को भागों द्वारा एकीकरण द्वारा सिद्ध किया जा सकता है:

$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.$

टेलर के सूत्र में किसी फलन को चर द्वारा विभाजित करने का प्रभाव होता है, जिसे सूत्र के अगले विशिष्ट सैद्धांतिक उपयोग द्वारा चित्रित किया जा सकता है।

उदाहरण: होने देना $T:{\mathcal {S}}\to {\mathcal {S}}$ सदिश समष्टि के मध्य एक रेखीय मानचित्र बनें ${\mathcal {S}}$ सुचारू फलनों पर $\mathbb {R} ^{n}$ तेजी से घटते डेरिवेटिव के साथ; अर्थात।, $\sup |x^{\beta }\partial ^{\alpha }\varphi |<\infty$ किसी भी मल्टी-इंडेक्स के लिए $\alpha ,\beta$. (अंतरिक्ष ${\mathcal {S}}$ श्वार्ट्ज समष्टि कहा जाता है।) प्रत्येक के लिए $\varphi$ में ${\mathcal {S}}$, टेलर का सूत्र बताता है कि हम लिख सकते हैं:

$\varphi -\psi \varphi (y)=\sum _{j=1}^{n}(x_{j}-y_{j})\varphi _{j}$

साथ $\varphi _{j}\in {\mathcal {S}}$, कहाँ $\psi$ कॉम्पैक्ट समर्थन के साथ एक सुचारू कार्य है और $\psi (y)=1$. अभी, मान लीजिए $T$ निर्देशांक के साथ आवागमन; अर्थात।, $T(x_{j}\varphi )=x_{j}T\varphi$. तब

$T\varphi -\varphi (y)T\psi =\sum _{j=1}^{n}(x_{j}-y_{j})T\varphi _{j}$.

उपरोक्त का मूल्यांकन करते हुए $y$, हम पाते हैं $T\varphi (y)=\varphi (y)T\psi (y).$ दूसरे शब्दों में, $T$ किसी फलन द्वारा गुणन है $m$; अर्थात।, $T\varphi =m\varphi$. अभी आगे मान लीजिये $T$ आंशिक भिन्नता के साथ आवागमन करता है। फिर हम उसे आसानी से देख पाते हैं $m$ एक स्थिरांक है; $T$ एक स्थिरांक से गुणा है.

(एक तरफ: उपरोक्त चर्चा फूरियर व्युत्क्रम सूत्र को लगभग सिद्ध करती है। वास्तव में, चलो $F,R:{\mathcal {S}}\to {\mathcal {S}}$ फूरियर रूपांतरण और प्रतिबिंब बनें; अर्थात।, $(R\varphi )(x)=\varphi (-x)$. फिर, इसमें सम्मिलित अभिन्न अंग से सीधे निपटते हुए, कोई भी देख सकता है $T=RF^{2}$ निर्देशांक और आंशिक विभेदन के साथ आवागमन; इस तरह, $T$ एक स्थिरांक से गुणा है. यह लगभग एक प्रमाण है क्योंकि किसी को अभी भी इस स्थिरांक की गणना करनी है।)

टेलर सूत्र का आंशिक विपरीत भी है; बोरेल की लेम्मा और व्हिटनी विस्तार प्रमेय देखें।

व्युत्क्रम फलन प्रमेय और निमज्जन प्रमेय

व्युत्क्रम फलन प्रमेय — Let $f:X\to Y$ खुले उपसमुच्चय के बीच एक मानचित्र बनें $X,Y$ in $\mathbb {R} ^{n},\mathbb {R} ^{m}$. If $f$ निरंतर भिन्न है (या अधिक सामान्यतः $C^{k}$) and $f'(x)$ विशेषण है, पड़ोस मौजूद हैं $U,V$ of $x,f(x)$ और उलटा $f^{-1}:V\to U$ वह लगातार भिन्न होता है (या क्रमशः) $C^{k}$).

ए $C^{k}$-मानचित्र के साथ $C^{k}$- व्युत्क्रम को a कहा जाता है $C^{k}$-विभिन्नरूपता. इस प्रकार, प्रमेय कहता है कि, एक मानचित्र के लिए $f$ एक बिंदु पर परिकल्पना को संतुष्ट करना $x$, $f$ निकट एक भिन्नरूपता है $x,f(x).$ प्रमाण के लिए देखें व्युत्क्रम फलन प्रमेय क्रमिक सन्निकटन का उपयोग करते हुए एक प्रमाण § Notes.

अंतर्निहित कार्य प्रमेय कहता है: एक नक्शा दिया $f:\mathbb {R} ^{n}\times \mathbb {R} ^{m}\to \mathbb {R} ^{m}$, यदि $f(a,b)=0$, $f$ है $C^{k}$ के एक पड़ोस में $(a,b)$ और का व्युत्पन्न $y\mapsto f(a,y)$ पर $b$ उलटा है, तब एक भिन्न मानचित्र उपस्तिथ है $g:U\to V$ कुछ पड़ोस के लिए $U,V$ का $a,b$ ऐसा है कि $f(x,g(x))=0$. प्रमेय व्युत्क्रम फलन प्रमेय से अनुसरण करता है; देखना व्युत्क्रम फलन प्रमेय निहित फलन प्रमेय § Notes.

एक अन्य परिणाम विसर्जन प्रमेय है।

यूक्लिडियन समष्टि पर इंटीग्रेबल फ़ंक्शंस

एक अंतराल का विभाजन $[a,b]$ एक सीमित क्रम है $a=t_{0}\leq t_{1}\leq \cdots \leq t_{k}=b$. एक विभाजन $P$ एक आयत का $D$ (अंतराल का उत्पाद) में $\mathbb {R} ^{n}$ फिर इसके किनारों के विभाजन सम्मिलित हैं $D$; अर्थात, यदि $D=\prod _{1}^{n}[a_{i},b_{i}]$, तब $P$ के होते हैं $P_{1},\dots ,P_{n}$ ऐसा है कि $P_{i}$ का एक विभाजन है $[a_{i},b_{i}]$. एक फलन दिया गया $f$ पर $D$, फिर हम इसके ऊपरी रीमैन योग को इस प्रकार परिभाषित करते हैं:

$U(f,P)=\sum _{Q\in P}(\sup _{Q}f)\operatorname {vol} (Q)$

कहाँ

• $Q$ का एक विभाजन तत्व है $P$; अर्थात।, $Q=\prod _{i=1}^{n}[t_{i,j_{i}},t_{i,j_{i}+1}]$ कब $P_{i}:a_{i}=t_{i,0}\leq \dots \cdots \leq t_{i,k_{i}}=b_{i}$ का एक विभाजन है $[a_{i},b_{i}]$.
• आयतन $\operatorname {vol} (Q)$ का $Q$ सामान्य यूक्लिडियन आयतन है; अर्थात।, $\operatorname {vol} (Q)=\prod _{1}^{n}(t_{i,j_{i}+1}-t_{i,j_{i}})$.

निचला रीमैन योग $L(f,P)$ का $f$ फिर प्रतिस्थापित करके परिभाषित किया जाता है $\sup$ द्वारा $\inf$. अंत में, फलन $f$ यदि यह परिबद्ध है तब इसे पूर्णांकीय फलन कहा जाता है $\sup\{L(f,P)\mid P\}=\inf\{U(f,P)\mid P\}$. उस स्थिति में, सामान्य मान को इस प्रकार दर्शाया जाता है $\int _{D}f\,dx$.

का एक उपसमुच्चय $\mathbb {R} ^{n}$ कहा जाता है कि प्रत्येक के लिए माप शून्य है $\epsilon >0$, कुछ संभवतः अपरिमित रूप से अनेक आयतें हैं $D_{1},D_{2},\dots ,$ जिसके संघ में समुच्चय और सम्मिलित है $\sum _{i}\operatorname {vol} (D_{i})<\epsilon .$

एक प्रमुख प्रमेय है

प्रमेय —  एक बंधा हुआ कार्य $f$ एक बंद आयत पर पूर्णांक है यदि और केवल यदि सेट हो $\{x|f{\text{ is not continuous at }}x\}$ माप शून्य है.

अगला प्रमेय हमें एक फलन के इंटीग्रल की गणना एक-चर में फलन के इंटीग्रल्स की पुनरावृत्ति के रूप में करने की अनुमति देता है:

फ़ुबिनी का प्रमेय — If $f$ एक बंद आयत पर एक सतत फलन है $D=\prod [a_{i},b_{i}]$ (वास्तव में, यह धारणा बहुत मजबूत है), तो

$\int _{D}f\,dx=\int _{a_{n}}^{b_{n}}\cdots \left(\int _{a_{1}}^{b_{1}}f(x_{1},\dots ,x_{n})dx_{1}\right)dx_{2}\cdots dx_{n}.$

विशेष रूप से, एकीकरण का क्रम बदला जा सकता है।

अंततः, यदि $M\subset \mathbb {R} ^{n}$ एक परिबद्ध खुला उपसमुच्चय है और $f$ एक फलन चालू $M$, फिर हम परिभाषित करते हैं $\int _{M}f\,dx:=\int _{D}\chi _{M}f\,dx$ कहाँ $D$ एक बंद आयत है जिसमें $M$ और $\chi _{M}$ पर विशेषता कार्य है $M$; अर्थात।, $\chi _{M}(x)=1$ यदि $x\in M$ और $=0$ यदि $x\not \in M,$ परंतु $\chi _{M}f$ अभिन्न है.

सतह अभिन्न

यदि एक घिरी हुई सतह $M$ में $\mathbb {R} ^{3}$ द्वारा पैरामीट्रिज्ड किया गया है ${\textbf {r}}={\textbf {r}}(u,v)$ डोमेन के साथ $D$, फिर एक मापने योग्य फलन का सतह अभिन्न अंग $F$ पर $M$ परिभाषित और निरूपित किया गया है:

$\int _{M}F\,dS:=\int \int _{D}(F\circ {\textbf {r}})|{\textbf {r}}_{u}\times {\textbf {r}}_{v}|\,dudv$

यदि $F:M\to \mathbb {R} ^{3}$ सदिश-मूल्यवान है, तब हम परिभाषित करते हैं

$\int _{M}F\cdot dS:=\int _{M}(F\cdot {\textbf {n}})\,dS$

कहाँ ${\textbf {n}}$ के लिए एक बाहरी इकाई सामान्य सदिश है $M$. तब से ${\textbf {n}}={\frac {{\textbf {r}}_{u}\times {\textbf {r}}_{v}}{|{\textbf {r}}_{u}\times {\textbf {r}}_{v}|}}$, अपने पास:

$\int _{M}F\cdot dS=\int \int _{D}(F\circ {\textbf {r}})\cdot ({\textbf {r}}_{u}\times {\textbf {r}}_{v})\,dudv=\int \int _{D}\det(F\circ {\textbf {r}},{\textbf {r}}_{u},{\textbf {r}}_{v})\,dudv.$

सदिश विश्लेषण

स्पर्शरेखा सदिश और सदिश क्षेत्र

होने देना $c:[0,1]\to \mathbb {R} ^{n}$ एक अवकलनीय वक्र बनें। फिर वक्र का स्पर्शरेखा सदिश $c$ पर $t$ एक सदिश है $v$ बिंदु पर $c(t)$ जिसके घटक इस प्रकार दिए गए हैं:

$v=(c_{1}'(t),\dots ,c_{n}'(t))$.

उदाहरण के लिए, यदि $c(t)=(a\cos(t),a\sin(t),bt),a>0,b>0$ एक हेलिक्स है, तब t पर स्पर्शरेखा सदिश है:

$c'(t)=(-a\sin(t),a\cos(t),b).$

यह इस अंतर्ज्ञान से मेल खाता है कि हेलिक्स पर एक बिंदु एक स्थिर गति से ऊपर बढ़ता है।

यदि $M\subset \mathbb {R} ^{n}$ एक अवकलनीय वक्र या सतह है, फिर स्पर्शरेखा समष्टि $M$ एक बिंदु पर p अवकलनीय वक्रों के सभी स्पर्शरेखा सदिशों का समुच्चय है $c:[0,1]\to M$ साथ $c(0)=p$.

एक सदिश क्षेत्र X, M में प्रत्येक बिंदु p के लिए एक स्पर्शरेखा सदिश है $X_{p}$ पी पर एम से इस तरह कि असाइनमेंट सुचारू रूप से बदलता रहे।

विभेदक रूप

सदिश क्षेत्र की दोहरी धारणा एक विभेदक रूप है। एक खुला उपसमुच्चय दिया गया $M$ में $\mathbb {R} ^{n}$, परिभाषा के अनुसार, एक विभेदक रूप|अंतर 1-रूप (अधिकांशतः केवल 1-रूप) $\omega$ एक बिंदु के लिए एक असाइनमेंट है $p$ में $M$ एक रैखिक कार्यात्मक $\omega _{p}$ स्पर्शरेखा समष्टि पर $T_{p}M$ को $M$ पर $p$ जिससे कि असाइनमेंट सुचारू रूप से बदलता रहे। एक (वास्तविक या समष्टि-मूल्यवान) सुचारू कार्य के लिए $f$, 1-फॉर्म को परिभाषित करें $df$ द्वारा: एक स्पर्शरेखा सदिश के लिए $v$ पर $p$,

$df_{p}(v)=v(f)$

कहाँ $v(f)$ के दिशात्मक व्युत्पन्न को दर्शाता है $f$ दिशा में $v$ पर $p$. उदाहरण के लिए, यदि $x_{i}$ है $i$-th समन्वय फलन , तब $dx_{i,p}(v)=v_{i}$; अर्थात।, $dx_{i,p}$ मानक आधार पर दोहरे आधार हैं $T_{p}M$. फिर प्रत्येक अंतर 1-रूप $\omega$ के रूप में विशिष्ट रूप से लिखा जा सकता है

$\omega =f_{1}\,dx_{1}+\cdots +f_{n}\,dx_{n}$

कुछ सुचारु फलनों के लिए $f_{1},\dots ,f_{n}$ पर $M$ (चूँकि, हर बिंदु के लिए $p$, रैखिक कार्यात्मक $\omega _{p}$ का एक अनोखा रैखिक संयोजन है $dx_{i}$ वास्तविक संख्या से अधिक)। अधिक सामान्यतः, एक अंतर k-फॉर्म एक बिंदु के लिए एक असाइनमेंट है $p$ में $M$ एक सदिश $\omega _{p}$ में $k$-वीं बाहरी शक्ति $\bigwedge ^{k}T_{p}^{*}M$ दोहरे समष्टि का $T_{p}^{*}M$ का $T_{p}M$ जिससे कि असाइनमेंट सुचारू रूप से बदलता रहे।विशेष रूप से, 0-फ़ॉर्म एक सुचारु फलन के समान है। इसके अतिरिक्त, कोई भी $k$-प्रपत्र $\omega$ विशिष्ट रूप से इस प्रकार लिखा जा सकता है:

$\omega =\sum _{i_{1}<\cdots <i_{k}}f_{i_{1}\dots i_{k}}\,dx_{i_{1}}\wedge \cdots \wedge dx_{i_{k}}$

कुछ सुचारु फलनों के लिए $f_{i_{1}\dots i_{k}}$.

एक सुचारु कार्य की तरह, हम विभेदक रूपों को भिन्न और एकीकृत कर सकते हैं। यदि $f$ तब फिर यह एक सुचारु कार्य है $df$ इस प्रकार लिखा जा सकता है:

$df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}\,dx_{i}$

तब से $v=\partial /\partial x_{j}|_{p}$, अपने पास: $df_{p}(v)={\frac {\partial f}{\partial x_{j}}}(p)=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}(p)\,dx_{i}(v)$. ध्यान दें कि, उपरोक्त अभिव्यक्ति में, बाईं ओर (जहां से दाईं ओर) निर्देशांक से स्वतंत्र है $x_{1},\dots ,x_{n}$; इस गुण को अंतर का अपरिवर्तनशीलता कहा जाता है।

संचालन $d$ इसे बाह्य व्युत्पन्न कहा जाता है और यह आवश्यकता के अनुसार आगमनात्मक रूप से किसी भी भिन्न रूप तक विस्तारित होता है (उत्पाद नियम)

$d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1)^{p}\alpha \wedge d\beta .$

कहाँ $\alpha ,\beta$ एक पी-फॉर्म और एक क्यू-फॉर्म हैं।

बाहरी व्युत्पन्न में वह महत्वपूर्ण गुण होता है $d\circ d=0$; वह है, बाहरी व्युत्पन्न $d$ एक भिन्न रूप का $d\omega$ शून्य है. यह संपत्ति दूसरे डेरिवेटिव की समरूपता का परिणाम है (मिश्रित आंशिक सामान्तर हैं)।

सीमा और अभिविन्यास

एक वृत्त को दक्षिणावर्त या वामावर्त दिशा में उन्मुख किया जा सकता है। गणितीय रूप से, हम कहते हैं कि एक उपसमुच्चय $M$ का $\mathbb {R} ^{n}$ यदि सामान्य सदिशों का एक सुसंगत विकल्प हो तब उन्मुख होता है $M$ जो लगातार बदलता रहता है. उदाहरण के लिए, एक वृत्त या, अधिक सामान्यतः, एक n-गोले को उन्मुख किया जा सकता है; अर्थात, ओरिएंटेबल. दूसरी ओर, एक मोबियस पट्टी (आयत की दो विपरीत भुजाओं द्वारा घुमाकर प्राप्त की गई सतह) उन्मुख नहीं हो सकती: यदि हम एक सामान्य सदिश से प्रारंभ करते हैं और पट्टी के चारों ओर यात्रा करते हैं, तब अंत में सामान्य सदिश विपरीत दिशा की ओर संकेत करेगा।

प्रस्ताव — एक घिरा हुआ अलग-अलग क्षेत्र $M$ in $\mathbb {R} ^{n}$ आयाम का $k$ उन्मुख तभी होता है जब कहीं गायब होने वाला अस्तित्व मौजूद होता है $k$-form on $M$ (वॉल्यूम फॉर्म कहा जाता है).

प्रस्ताव उपयोगी है क्योंकि यह हमें वॉल्यूम फॉर्म देकर एक अभिविन्यास देने की अनुमति देता है।

विभेदक रूपों का एकीकरण

यदि $\omega =f\,dx_{1}\wedge \cdots \wedge dx_{n}$ एक विवृत उपसमुच्चय M पर एक विभेदक n-रूप है $\mathbb {R} ^{n}$ (कोई भी एन-फॉर्म वह फॉर्म है), फिर इसका एकीकरण खत्म हो गया $M$ मानक अभिविन्यास के साथ इसे इस प्रकार परिभाषित किया गया है:

$\int _{M}\omega =\int _{M}f\,dx_{1}\cdots dx_{n}.$

यदि एम को मानक एक के विपरीत अभिविन्यास दिया गया है, तब $\int _{M}\omega$ दाहिनी ओर के ऋणात्मक के रूप में परिभाषित किया गया है।

फिर हमारे पास बाहरी व्युत्पन्न और एकीकरण से संबंधित मौलिक सूत्र है:

स्टोक्स का सूत्र — एक सीमाबद्ध क्षेत्र के लिए $M$ in $\mathbb {R} ^{n}$ आयाम का $k$ जिसकी सीमा अनंत अनेकों का मिलन है $C^{1}$-subsets, if $M$ तब उन्मुख है

$\int _{\partial M}\omega =\int _{M}d\omega$

किसी भी अंतर के लिए $(k-1)$-form $\omega$ सीमा पर $\partial M$ of $M$.

यहां सूत्र के प्रमाण का एक रेखाचित्र दिया गया है। यदि $f$ पर एक सुचारू कार्य है $\mathbb {R} ^{n}$ कॉम्पैक्ट समर्थन के साथ, तब हमारे पास है:

$\int d(f\omega )=0$

(चूंकि, गणना के मौलिक प्रमेय द्वारा, उपरोक्त का मूल्यांकन समर्थन वाले समुच्चय की सीमाओं पर किया जा सकता है।) दूसरी ओर,

$\int d(f\omega )=\int df\wedge \omega +\int f\,d\omega .$

होने देना $f$ विशेषता फलन पर संपर्क करें $M$. फिर दाहिनी ओर दूसरा पद जाता है $\int _{M}d\omega$ जबकि पहला जाता है $-\int _{\partial M}\omega$, कलन के मौलिक प्रमेय को सिद्ध करने के समान तर्क द्वारा। $\square$

सूत्र गणना के मौलिक प्रमेय के साथ-साथ बहुपरिवर्तनीय गणना में स्टोक्स प्रमेय को सामान्यीकृत करता है। वास्तव में, यदि $M=[a,b]$ एक अंतराल है और $\omega =f$, तब $d\omega =f'\,dx$ और सूत्र कहता है:

$\int _{M}f'\,dx=f(b)-f(a)$.

इसी प्रकार, यदि $M$ में एक उन्मुखी बंधी हुई सतह है $\mathbb {R} ^{3}$ और $\omega =f\,dx+g\,dy+h\,dz$, तब $d(f\,dx)=df\wedge dx={\frac {\partial f}{\partial y}}\,dy\wedge dx+{\frac {\partial f}{\partial z}}\,dz\wedge dx$ और इसी तरह के लिए $d(g\,dy)$ और $d(g\,dy)$. शर्तों को एकत्रित करने पर, हमें इस प्रकार मिलता है:

$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.$

फिर, के एकीकरण की परिभाषा से $\omega$, अपने पास $\int _{M}d\omega =\int _{M}(\nabla \times F)\cdot dS$ कहाँ $F=(f,g,h)$ सदिश-वैल्यू फलन है और $\nabla =\left({\frac {\partial }{\partial x}},{\frac {\partial }{\partial y}},{\frac {\partial }{\partial z}}\right)$. अत: स्टोक्स का सूत्र बन जाता है

$\int _{M}(\nabla \times F)\cdot dS=\int _{\partial M}(f\,dx+g\,dy+h\,dz),$

जो सतहों पर स्टोक्स प्रमेय का सामान्य रूप है। ग्रीन का प्रमेय भी स्टोक्स के सूत्र का एक विशेष मामला है।

स्टोक्स का सूत्र कॉची के अभिन्न सूत्र का एक सामान्य संस्करण भी उत्पन्न करता है। समष्टि चर के लिए इसे बताना और सिद्ध करना $z=x+iy$ और संयुग्म ${\bar {z}}$आइए हम ऑपरेटरों का परिचय दें

${\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).$

इन नोटेशन में, एक फलन $f$ होलोमोर्फिक फलन (समष्टि-विश्लेषणात्मक) है यदि और केवल यदि ${\frac {\partial f}{\partial {\bar {z}}}}=0$ (कौची-रीमैन समीकरण)।

इसके अतिरिक्त, हमारे पास है:

$df={\frac {\partial f}{\partial z}}dz+{\frac {\partial f}{\partial {\bar {z}}}}d{\bar {z}}.$

होने देना $D_{\epsilon }=\{z\in \mathbb {C} \mid \epsilon <|z-z_{0}|<r\}$ केंद्र के साथ एक पंचर डिस्क बनें $z_{0}$.

तब से $1/(z-z_{0})$ पर होलोमोर्फिक है $D_{\epsilon }$, अपने पास:

$d\left({\frac {f}{z-z_{0}}}dz\right)={\frac {\partial f}{\partial {\bar {z}}}}{\frac {d{\bar {z}}\wedge dz}{z-z_{0}}}$.

स्टोक्स के सूत्र द्वारा,

$\int _{D_{\epsilon }}{\frac {\partial f}{\partial {\bar {z}}}}{\frac {d{\bar {z}}\wedge dz}{z-z_{0}}}=\left(\int _{|z-z_{0}|=r}-\int _{|z-z_{0}|=\epsilon }\right){\frac {f}{z-z_{0}}}dz.$

दे $\epsilon \to 0$ फिर हमें मिलता है:

$2\pi i\,f(z_{0})=\int _{|z-z_{0}|=r}{\frac {f}{z-z_{0}}}dz+\int _{|z-z_{0}|\leq r}{\frac {\partial f}{\partial {\bar {z}}}}{\frac {dz\wedge d{\bar {z}}}{z-z_{0}}}.$

घुमावदार संख्याएं और पोंकारे लेम्मा

एक भिन्न रूप $\omega$ यदि बंद और त्रुटिहीन रूप कहा जाता है $d\omega =0$ और त्रुटिहीन यदि कहा जाता है $\omega =d\eta$ कुछ भिन्न रूप के लिए $\eta$ (अधिकांशतः क्षमता कहा जाता है)। तब से $d\circ d=0$, एक त्रुटिहीन प्रपत्र बंद है. किन्तु यह बातचीत सामान्य रूप से क्रियान्वित नहीं होती; कोई गैर-त्रुटिहीन बंद प्रपत्र हो सकता है. ऐसे फॉर्म का एक उत्कृष्ट उदाहरण है:

$\omega ={\frac {-y}{x^{2}+y^{2}}}+{\frac {x}{x^{2}+y^{2}}}$,

जो कि एक भिन्न रूप है $\mathbb {R} ^{2}-0$. मान लीजिए हम ध्रुवीय निर्देशांक पर स्विच करते हैं: $x=r\cos \theta ,y=r\sin \theta$ कहाँ $r={\sqrt {x^{2}+y^{2}}}$. तब

$\omega =r^{-2}(-r\sin \theta \,dx+r\cos \theta \,dy)=d\theta .$

इससे यह पता नहीं चलता $\omega$ त्रुटिहीन है: समस्या यह है $\theta$ पर एक अच्छी तरह से परिभाषित सतत कार्य नहीं है $\mathbb {R} ^{2}-0$. चूंकि कोई भी फलन $f$ पर $\mathbb {R} ^{2}-0$ साथ $df=\omega$ से भिन्न $\theta$ स्थिरांक से इसका कारणयह है $\omega$ त्रुटिहीन नहीं है. चूँकि, गणना यह दर्शाती है $\omega$ त्रुटिहीन है, उदाहरण के लिए, पर $\mathbb {R} ^{2}-\{x=0\}$ चूँकि हम ले सकते हैं $\theta =\arctan(y/x)$ वहाँ।

एक परिणाम है (पोंकारे लेम्मा) जो एक शर्त देता है जो गारंटी देता है कि बंद किए गए फॉर्म त्रुटिहीन हैं। इसे बताने के लिए, हमें टोपोलॉजी से कुछ धारणाओं की आवश्यकता है। दो सतत मानचित्र दिए गए $f,g:X\to Y$ के उपसमुच्चय के मध्य $\mathbb {R} ^{m},\mathbb {R} ^{n}$ (या अधिक सामान्यतः टोपोलॉजिकल समष्टि), से एक होमोटॉपी $f$ को $g$ एक सतत कार्य है $H:X\times [0,1]\to Y$ ऐसा है कि $f(x)=H(x,0)$ और $g(x)=H(x,1)$. सहज रूप से, एक समरूपता एक फलन से दूसरे फलन की निरंतर भिन्नता है। एक समुच्चय में एक लूप (टोपोलॉजी)। $X$ एक वक्र है जिसका प्रारंभिक बिंदु अंतिम बिंदु से मेल खाता है; अर्थात।, $c:[0,1]\to X$ ऐसा है कि $c(0)=c(1)$. फिर का एक उपसमुच्चय $\mathbb {R} ^{n}$ यदि प्रत्येक लूप एक स्थिर फलन के लिए समसमष्टििक है तब इसे बस जुड़ा हुआ है कहा जाता है। सरलता से जुड़े समुच्चय का एक विशिष्ट उदाहरण एक डिस्क है $D=\{(x,y)\mid {\sqrt {x^{2}+y^{2}}}\leq r\}\subset \mathbb {R} ^{2}$. मुख्य रूप से, एक लूप दिया गया है $c:[0,1]\to D$, हमारे पास समरूपता है $H:[0,1]^{2}\to D,\,H(x,t)=(1-t)c(x)+tc(0)$ से $c$ निरंतर कार्य के लिए $c(0)$. दूसरी ओर, एक छिद्रित डिस्क, बस कनेक्ट नहीं होती है।

पोंकारे लेम्मा — If $M$ का एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय है $\mathbb {R} ^{n}$, फिर प्रत्येक को 1-फॉर्म पर बंद कर दिया गया $M$ सटीक है.

वक्रों और सतहों की ज्यामिति

चलता हुआ फ्रेम

सदिश फ़ील्ड $E_{1},\dots ,E_{3}$ पर $\mathbb {R} ^{3}$ यदि वह प्रत्येक बिंदु पर एक-दूसरे के ओर्थोगोनल हैं, तब उन्हें फ़्रेम फ़ील्ड कहा जाता है; अर्थात।, $E_{i}\cdot E_{j}=\delta _{ij}$ प्रत्येक बिंदु पर. मूल उदाहरण मानक फ़्रेम है $U_{i}$; अर्थात।, $U_{i}(x)$ प्रत्येक बिंदु के लिए एक मानक आधार है $x$ में $\mathbb {R} ^{3}$. दूसरा उदाहरण बेलनाकार फ्रेम है

$E_{1}=\cos \theta U_{1}+\sin \theta U_{2},\,E_{2}=-\sin \theta U_{1}+\cos \theta U_{2},\,E_{3}=U_{3}.$

किसी वक्र की ज्यामिति के अध्ययन के लिए, उपयोग किया जाने वाला महत्वपूर्ण फ्रेम फ़्रेनेट फ़्रेम है $T,N,B$ एक इकाई-गति वक्र पर $\beta :I\to \mathbb {R} ^{3}$ इस प्रकार दिया गया:

गॉस-बोनट प्रमेय

गॉस-बोनट प्रमेय किसी सतह की टोपोलॉजी और उसकी ज्यामिति से संबंधित है।

गॉस-बोनट प्रमेय —  प्रत्येक घिरी हुई सतह के लिए $M$ in $\mathbb {R} ^{3}$, अपने पास:

$2\pi \,\chi (M)=\int _{M}K\,dS$

where $\chi (M)$ यूलर की विशेषता है $M$ and $K$ वक्रता.

विविधताओं की गणना

लैग्रेंज गुणक की विधि

लैग्रेंज गुणक —  Let $g:U\to \mathbb {R} ^{r}$ के खुले उपसमुच्चय से एक अवकलनीय फलन बनें $\mathbb {R} ^{n}$ such that $g'$ has rank $r$ at every point in $g^{-1}(0)$. For a differentiable function $f:\mathbb {R} ^{n}\to \mathbb {R}$, if $f$ एक बिंदु पर अधिकतम या न्यूनतम प्राप्त करता है $p$ in $g^{-1}(0)$, तब वास्तविक संख्याएँ मौजूद होती हैं $\lambda _{1},\dots ,\lambda _{r}$ such that

$\nabla f(p)=\lambda _{i}\sum _{i=1}^{r}\nabla g_{i}(p)$.

दूसरे शब्दों में, $p$ is a स्थिर बिंदु of $f-\sum _{1}^{r}\lambda _{i}g_{i}$.

समुच्चय $g^{-1}(0)$ सामान्यतः इसे बाधा कहा जाता है।

उदाहरण: मान लीजिए हम वृत्त के मध्य न्यूनतम दूरी ज्ञात करना चाहते हैं $x^{2}+y^{2}=1$ और रेखा $x+y=4$. इसका कारण है कि हम फलन को छोटा करना चाहते हैं $f(x,y,u,v)=(x-u)^{2}+(y-v)^{2}$, एक बिंदु के मध्य की वर्ग दूरी $(x,y)$ वृत्त और एक बिंदु पर $(u,v)$ लाइन पर, बाधा के अनुसार $g=(x^{2}+y^{2}-1,u+v-4)$. अपने पास:

$\nabla f=(2(x-u),2(y-v),-2(x-u),-2(y-v)).$

$\nabla g_{1}=(2x,2y,0,0),\nabla g_{2}=(0,0,1,1).$

जैकोबियन आव्युह के पश्चात् से $g$ हर समष्टि 2 रैंक पर है $g^{-1}(0)$, लैग्रेंज गुणक देता है:

$x-u=\lambda _{1}x,\,y-v=\lambda _{1}y,\,2(x-u)=-\lambda _{2},\,2(y-v)=-\lambda _{2}.$

यदि $\lambda _{1}=0$, तब $x=u,y=v$, संभव नहीं। इस प्रकार, $\lambda _{1}\neq 0$ और

$x={\frac {x-u}{\lambda _{1}}},\,y={\frac {y-v}{\lambda _{1}}}.$

इससे यह बात आसानी से समझ में आ जाती है $x=y=1/{\sqrt {2}}$ और $u=v=2$. अत: न्यूनतम दूरी है $2{\sqrt {2}}-1$ (न्यूनतम दूरी स्पष्ट रूप से उपस्तिथ है)।

यहां रैखिक बीजगणित का एक अनुप्रयोग है। होने देना $V$ एक परिमित-आयामी वास्तविक सदिश समष्टि बनें और $T:V\to V$ एक स्व-सहायक ऑपरेटर है। हम दिखाएंगे $V$ के eigenvectors से युक्त एक आधार है $T$ (अर्थात, $T$ विकर्णीय है) के आयाम पर प्रेरण द्वारा $V$. आधार का चयन करना $V$ हम पहचान सकते हैं $V=\mathbb {R} ^{n}$ और $T$ आव्युह द्वारा दर्शाया गया है $[a_{ij}]$. फलन पर विचार करें $f(x)=(Tx,x)$, जहां ब्रैकेट का कारणआंतरिक उत्पाद है। तब $\nabla f=2(\sum a_{1i}x_{i},\dots ,\sum a_{ni}x_{i})$. दूसरी ओर, के लिए $g=\sum x_{i}^{2}-1$, तब से $g^{-1}(0)$ सघन है, $f$ एक बिंदु पर अधिकतम या न्यूनतम प्राप्त करता है $u$ में $g^{-1}(0)$. तब से $\nabla g=2(x_{1},\dots ,x_{n})$, लैग्रेंज गुणक द्वारा, हम एक वास्तविक संख्या पाते हैं $\lambda$ ऐसा है कि $2\sum _{i}a_{ji}u_{i}=2\lambda u_{j},1\leq j\leq n.$ किन्तु इसका कारणहै $Tu=\lambda u$. आगमनात्मक परिकल्पना द्वारा, स्व-सहायक संचालिका $T:W\to W$, $W$ ओर्थोगोनल पूरक $u$, eigenvectors से युक्त एक आधार है।

अशक्त व्युत्पन्न

माप-शून्य समुच्चय तक, दो फलनों को अन्य फलनों (जिन्हें परीक्षण फलन कहा जाता है) के विरुद्ध एकीकरण के माध्यम से सामान्तर या नहीं निर्धारित किया जा सकता है। अर्थात्, निम्नलिखित को कभी-कभी विविधताओं के कलन की मौलिक प्रमेयिका कहा जाता है:

लेम्मा — If $f,g$ एक खुले उपसमुच्चय पर स्थानीय रूप से एकीकृत कार्य हैं $M\subset \mathbb {R} ^{n}$ such that

$\int (f-g)\varphi \,dx=0$

for every $\varphi \in C_{c}^{\infty }(M)$ (called a test function). Then $f=g$ लगभग हर जगह। यदि, इसके अतिरिक्त, $f,g$ तो फिर, निरंतर हैं $f=g$.

एक सतत कार्य दिया गया $f$, लेम्मा द्वारा, एक निरंतर भिन्न कार्य $u$ इस प्रकार कि ${\frac {\partial u}{\partial x_{i}}}=f$ यदि और केवल यदि

$\int {\frac {\partial u}{\partial x_{i}}}\varphi \,dx=\int f\varphi \,dx$

हरएक के लिए $\varphi \in C_{c}^{\infty }(M)$. किन्तु, भागों द्वारा एकीकरण द्वारा, बाईं ओर आंशिक व्युत्पन्न $u$ के उस पर ले जाया जा सकता है $\varphi$; अर्थात।,

$-\int u{\frac {\partial \varphi }{\partial x_{i}}}\,dx=\int f\varphi \,dx$

जहाँ से कोई सीमा शब्द नहीं है $\varphi$ कॉम्पैक्ट समर्थन है. अभी मुख्य बात यह है कि यह अभिव्यक्ति यदि समझ में आती हो $u$ यह आवश्यक रूप से भिन्न नहीं है और इस प्रकार ऐसे फलन के व्युत्पन्न को समझने के लिए इसका उपयोग किया जा सकता है।

प्रत्येक समष्टिीय रूप से एकीकृत फलन पर ध्यान दें $u$ रैखिक कार्यात्मकता को परिभाषित करता है $\varphi \mapsto \int u\varphi \,dx$ पर $C_{c}^{\infty }(M)$ और, इसके अतिरिक्त, प्रारंभिक लेम्मा के कारण, प्रत्येक समष्टिीय रूप से एकीकृत फलन को ऐसे रैखिक फलनल के साथ पहचाना जा सकता है। इसलिए, सामान्यतः, यदि $u$ पर एक रैखिक कार्यात्मक है $C_{c}^{\infty }(M)$, फिर हम परिभाषित करते हैं ${\frac {\partial u}{\partial x_{i}}}$ रैखिक कार्यात्मक होना $\varphi \mapsto -\left\langle u,{\frac {\partial \varphi }{\partial x_{i}}}\right\rangle$ जहां ब्रैकेट का कारणहै $\langle \alpha ,\varphi \rangle =\alpha (\varphi )$. तब इसे इसका अशक्त व्युत्पन्न कहा जाता है $u$ इसके संबंध में $x_{i}$. यदि $u$ निरंतर अवकलनीय है, तब इसका अशक्त व्युत्पन्न सामान्य के साथ मेल खाता है; अर्थात, रैखिक कार्यात्मक ${\frac {\partial u}{\partial x_{i}}}$ के सामान्य आंशिक व्युत्पन्न द्वारा निर्धारित रैखिक कार्यात्मक के समान है $u$ इसके संबंध में $x_{i}$. एक सामान्य व्युत्पन्न को अधिकांशतः मौलिक व्युत्पन्न कहा जाता है। जब एक रैखिक कार्यात्मक पर $C_{c}^{\infty }(M)$ एक निश्चित टोपोलॉजी के संबंध में निरंतर है $C_{c}^{\infty }(M)$, ऐसे रैखिक कार्यात्मक को वितरण (गणित) कहा जाता है, जो एक सामान्यीकृत फलन का एक उदाहरण है।

अशक्त व्युत्पन्न का एक उत्कृष्ट उदाहरण हेविसाइड फलन है $H$, अंतराल पर विशेषता कार्य $(0,\infty )$. प्रत्येक परीक्षण फलन के लिए $\varphi$, अपने पास:

$\langle H',\varphi \rangle =-\int _{0}^{\infty }\varphi '\,dx=\varphi (0).$

होने देना $\delta _{a}$ रैखिक कार्यात्मक को निरूपित करें $\varphi \mapsto \varphi (a)$, जिसे डिराक डेल्टा फलन कहा जाता है (चूँकि यह वास्तव में एक फलन नहीं है)। फिर उपरोक्त को इस प्रकार लिखा जा सकता है:

$H'=\delta _{0}.$

कॉची के अभिन्न सूत्र की अशक्त डेरिवेटिव के संदर्भ में समान व्याख्या है। समष्टि चर के लिए $z=x+iy$, होने देना $E_{z_{0}}(z)={\frac {1}{\pi (z-z_{0})}}$. एक परीक्षण फलन के लिए $\varphi$, यदि डिस्क $|z-z_{0}|\leq r$ का समर्थन सम्मिलित है $\varphi$कॉची के अभिन्न सूत्र द्वारा, हमारे पास है:

$\varphi (z_{0})={1 \over 2\pi i}\int {\frac {\partial \varphi }{\partial {\bar {z}}}}{\frac {dz\wedge d{\bar {z}}}{z-z_{0}}}.$

तब से $dz\wedge d{\bar {z}}=-2idx\wedge dy$, इसका कारणयह है:

$\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 ,$

या

${\frac {\partial E_{z_{0}}}{\partial {\bar {z}}}}=\delta _{z_{0}}.$ सामान्यतः, एक सामान्यीकृत फलन को रैखिक आंशिक अंतर ऑपरेटर के लिए मौलिक समाधान कहा जाता है यदि ऑपरेटर का अनुप्रयोग डायराक डेल्टा है। इसलिए, ऊपर कहा गया है $E_{z_{0}}$ विभेदक ऑपरेटर के लिए मौलिक समाधान है $\partial /\partial {\bar {z}}$.

See also: वितरण की सीमा

हैमिल्टन-जैकोबी सिद्धांत

Main article: हैमिल्टन-जैकोबी समीकरण

मैनिफोल्ड्स पर गणना

अनेक गुना की परिभाषा

इस अनुभाग के लिए सामान्य टोपोलॉजी में कुछ पृष्ठभूमि की आवश्यकता होती है।

अनेक गुना एक हॉसडॉर्फ टोपोलॉजिकल समष्टि है जिसे समष्टिीय रूप से यूक्लिडियन समष्टि द्वारा मॉडल किया गया है। परिभाषा के अनुसार, एक टोपोलॉजिकल समष्टि का एटलस (गणित)। $M$ मानचित्रों का एक समुच्चय है $\varphi _{i}:U_{i}\to \mathbb {R} ^{n}$, जिसे चार्ट कहा जाता है, जैसे कि

• $U_{i}$ का एक खुला आवरण हैं $M$; अर्थात, प्रत्येक $U_{i}$ खुला है और $M=\cup _{i}U_{i}$,
• $\varphi _{i}:U_{i}\to \varphi _{i}(U_{i})$ एक समरूपता है और
• $\varphi _{j}\circ \varphi _{i}^{-1}:\varphi _{i}(U_{i}\cap U_{j})\to \varphi _{j}(U_{i}\cap U_{j})$ चिकना है; इस प्रकार एक भिन्नतावाद है।

परिभाषा के अनुसार, मैनिफोल्ड एक अधिकतम एटलस (जिसे एक भिन्न संरचना कहा जाता है) के साथ एक दूसरी-गणनीय हॉसडॉर्फ टोपोलॉजिकल समष्टि है; मैक्सिमम का कारण है कि यह सख्ती से बड़े एटलस में सम्मिलित नहीं है। अनेक गुना का आयाम $M$ मॉडल यूक्लिडियन समष्टि का आयाम है $\mathbb {R} ^{n}$; अर्थात्, $n$ और मैनिफोल्ड को एन-मैनिफोल्ड कहा जाता है जब इसका आयाम एन होता है। मैनिफ़ोल्ड पर एक फलन $M$ यदि चिकनी कहा जाता है $f|_{U}\circ \varphi ^{-1}$ चिकनी है $\varphi (U)$ प्रत्येक चार्ट के लिए $\varphi :U\to \mathbb {R} ^{n}$ भिन्न संरचना में.

मैनिफोल्ड पैराकॉम्पैक्ट समष्टि है; इसका निहितार्थ यह है कि यह किसी दिए गए विवृत आवरण के अधीन एकता के विभाजन को स्वीकार करता है।

यदि $\mathbb {R} ^{n}$ ऊपरी आधे समष्टि द्वारा प्रतिस्थापित किया जाता है $\mathbb {H} ^{n}$, तब हमें सीमा के साथ अनेक गुना की धारणा प्राप्त होती है। बिंदुओं का समूह जो की सीमा को दर्शाता है $\mathbb {H} ^{n}$ चार्ट के अंतर्गत इसे दर्शाया गया है $\partial M$ और की सीमा कहलाती है $M$. यह सीमा टोपोलॉजिकल सीमा नहीं हो सकती है $M$. के आंतरिक भाग के पश्चात् से $\mathbb {H} ^{n}$ से भिन्न है $\mathbb {R} ^{n}$, मैनिफोल्ड खाली सीमा के साथ एक मैनिफोल्ड-विथ-बाउंड्री है।

अगला प्रमेय अनेक गुनाओं के अनेक उदाहरण प्रस्तुत करता है।

Theorem —  Let $g:U\to \mathbb {R} ^{r}$ एक खुले उपसमुच्चय से भिन्न मानचित्र बनें $U\subset \mathbb {R} ^{n}$ ऐसा है कि $g'(p)$ रैंक है $r$ हर बिंदु के लिए $p$ in $g^{-1}(0)$. फिर शून्य सेट $g^{-1}(0)$ is an $(n-r)$-कई गुना.

उदाहरण के लिए, के लिए $g(x)=x_{1}^{2}+\cdots +x_{n+1}^{2}-1$, व्युत्पन्न $g'(x)={\begin{bmatrix}2x_{1}&2x_{2}&\cdots &2x_{n+1}\end{bmatrix}}$ हर बिंदु पर एक रैंक है $p$ में $g^{-1}(0)$. इसलिए, n-गोला $g^{-1}(0)$ एक एन-मैनिफोल्ड है।

प्रमेय को व्युत्क्रम फलन प्रमेय के परिणाम के रूप में सिद्ध किया गया है।

अनेक परिचित मैनिफोल्ड्स के उपसमुच्चय हैं $\mathbb {R} ^{n}$. अगला सैद्धांतिक रूप से महत्वपूर्ण परिणाम कहता है कि किसी अन्य प्रकार की विविधता उपस्तिथ नहीं है। विसर्जन एक सहज मानचित्र है जिसका अंतर विशेषणात्मक होता है। एम्बेडिंग एक ऐसा विसर्जन है जो छवि के लिए होमियोमॉर्फिक (इस प्रकार भिन्न-रूपी) होता है।

व्हिटनी का एम्बेडिंग प्रमेय — प्रत्येक $k$-मैनिफोल्ड को इसमें एम्बेड किया जा सकता है $\mathbb {R} ^{2k}$.

इस बात का प्रमाण कि इसमें अनेकता समाहित की जा सकती है $\mathbb {R} ^{N}$ कुछ के लिए एन अधिक आसान है और यहां आसानी से दिया जा सकता है। यह ज्ञात है कि मैनिफोल्ड का एक सीमित एटलस होता है $\{\varphi _{i}:U_{i}\to \mathbb {R} ^{n}\mid 1\leq i\leq r\}$. होने देना $\lambda _{i}$ ऐसे सुचारु कार्य हों $\operatorname {Supp} (\lambda _{i})\subset U_{i}$ और $\{\lambda _{i}=1\}$ ढकना $M$ (उदाहरण के लिए, एकता का विभाजन)। मानचित्र पर विचार करें

$f=(\lambda _{1}\varphi _{1},\dots ,\lambda _{r}\varphi _{r},\lambda _{1},\dots ,\lambda _{r}):M\to \mathbb {R} ^{(k+1)r}$

यह देखना आसान है $f$ एक इंजेक्शन विसर्जन है. यह एम्बेडिंग नहीं हो सकता है. इसे ठीक करने के लिए, हम इसका उपयोग करेंगे:

$(f,g):M\to \mathbb {R} ^{(k+1)r+1}$

कहाँ $g$ एक सहज उचित मानचित्र है. एक सुचारू उचित मानचित्र का अस्तित्व एकता के विभाजन का परिणाम है। विसर्जन के चूँकिमें बाकी प्रमाण के लिए [1] देखें। $\square$

नैश का एम्बेडिंग प्रमेय कहता है कि, यदि $M$ रीमैनियन मीट्रिक से सुसज्जित है, तब एम्बेडिंग को बढ़ने के खर्च के साथ आइसोमेट्रिक माना जा सकता है $2k$; इसके लिए, यह टी. ताओ का ब्लॉग देखें।

ट्यूबलर पड़ोस और ट्रांसवर्सलिटी

विधि ी रूप से महत्वपूर्ण परिणाम है:

ट्यूबलर पड़ोस प्रमेय — मान लीजिए M अनेक गुना है और $N\subset M$ एक कॉम्पैक्ट बंद सबमैनिफोल्ड। फिर एक पड़ोस मौजूद है $U$ of $N$ such that $U$ सामान्य बंडल से भिन्न है $\nu _{N}=TM|_{N}/TN$ to $i:N\hookrightarrow M$ and $N$ के शून्य खंड से मेल खाता है $\nu _{i}$ भिन्नता के अंतर्गत.

इसे मैनिफ़ोल्ड पर रीमैनियन मीट्रिक डालकर सिद्ध किया जा सकता है $M$. मुख्य रूप से, मीट्रिक का चुनाव सामान्य बंडल बनाता है $\nu _{i}$ के लिए एक पूरक बंडल $TN$; अर्थात।, $TM|_{N}$ का सीधा योग है $TN$ और $\nu _{N}$. फिर, मीट्रिक का उपयोग करके, हमारे पास घातांकीय मानचित्र होता है $\exp :U\to V$ कुछ पड़ोस के लिए $U$ का $N$ सामान्य बंडल में $\nu _{N}$ किसी पड़ोस में $V$ का $N$ में $M$. यहां घातांकीय मानचित्र अंतःक्षेपी नहीं हो सकता है किन्तु इसे सिकुड़कर अंतःक्षेपी (इस प्रकार भिन्नरूपी) बनाना संभव है $U$ (अभी के लिए, देखें [2])।

अनेक गुना और वितरण घनत्व पर एकीकरण

मैनिफोल्ड्स पर एकीकरण के विषय का प्रारंभिक बिंदु यह है कि मैनिफोल्ड्स पर फलनों को एकीकृत करने का कोई अपरिवर्तनीय विधि नहीं है। यह स्पष्ट हो सकता है यदि हमने पूछा: एक परिमित-आयामी वास्तविक सदिश समष्टि पर फलनों का एकीकरण क्या है? (इसके विपरीत, विभेदीकरण करने का एक अपरिवर्तनीय विधि है, क्योंकि परिभाषा के अनुसार, मैनिफोल्ड एक विभेदक संरचना के साथ आता है)। एकीकरण सिद्धांत को अनेक गुना प्रस्तुतकरने के अनेक तरीके हैं:

• विभेदक रूपों को एकीकृत करें।
• किसी उपाय के विरुद्ध एकीकरण करें।
• मैनिफोल्ड को रीमानियन मेट्रिक से सुसज्जित करें और ऐसे मेट्रिक के विरुद्ध एकीकरण करें।

उदाहरण के लिए, यदि एक मैनिफ़ोल्ड यूक्लिडियन समष्टि में अंतर्निहित है $\mathbb {R} ^{n}$, फिर यह परिवेशी यूक्लिडियन समष्टि से प्रतिबंधित लेबेस्ग माप प्राप्त करता है और फिर दूसरा दृष्टिकोण काम करता है। पहला दृष्टिकोण अनेक स्थितियों में ठीक है, किन्तु इसके लिए मैनिफोल्ड को उन्मुख करने की आवश्यकता होती है (और एक गैर-उन्मुख मैनिफोल्ड है जो पैथोलॉजिकल नहीं है)। तीसरा दृष्टिकोण सामान्यीकरण करता है और यह घनत्व की धारणा को जन्म देता है।

सामान्यीकरण

अनंत-आयामी मानक समष्टिों तक विस्तार

विभेदीकरण जैसी धारणाएँ मानक समष्टिों तक फैली हुई हैं।

यह भी देखें

• सतहों की विभेदक ज्यामिति
• फाइबर के साथ एकीकरण
• लुसिन का प्रमेय
• अनेक गुना पर घनत्व

संदर्भ

• कार्मो करो, मैनफ्रेडो पी. (1976), वक्रों और सतहों की विभेदक ज्यामिति, शागिर्द कक्ष, ISBN 978-0-13-212589-5
• एडवर्ड्स, चार्ल्स हेनरी (1994) [1973], कई वेरिएबल्स का उन्नत कैलकुलस, माइनोला, न्यूयॉर्क: डोवर प्रकाशन, ISBN 0-486-68336-2
• फोलैंड, गेराल्ड, वास्तविक विश्लेषण: आधुनिक तकनीकें और उनके अनुप्रयोग (2nd ed.)
• कार्टन, हेनरी (1971), कैलकुलेशन डिफरेंशियल (in français), हरमन, ISBN 9780395120330
• हिर्श, मॉरिस (1994), विभेदक टोपोलॉजी (2nd ed.), स्प्रिंगर-वेरलाग
• होर्मेंडर, लार्स (2015), रैखिक आंशिक विभेदक ऑपरेटरों का विश्लेषण I: वितरण सिद्धांत और फूरियर विश्लेषण, गणित में क्लासिक्स (2nd ed.), Springer, ISBN 9783642614972
• लूमिस, लिन हेरोल्ड; स्टर्नबर्ग, श्लोमो (1968), उन्नत कैलकुलस, एडिसन-वेस्ले (संशोधित 1990, जोन्स एंड बार्टलेट; पुनर्मुद्रित 2014, वर्ल्ड साइंटिफिक) [यह पाठ विशेष रूप से घनत्व पर चर्चा करता है]
• ओ'नील, बैरेट (2006), प्राथमिक विभेदक ज्यामिति (संशोधित 2 ed.), एम्स्टर्डम: एल्सेवियर/अकादमिक प्रेस, ISBN 0-12-088735-5
• रूडिन, वाल्टर (1976) [1953], गणितीय विश्लेषण के सिद्धांत (3rd ed.), न्यूयॉर्क: मैकग्रा हिल, pp. 204–299, ISBN 978-0-07-054235-8
• स्पिवक, माइकल (1965). मैनिफोल्ड्स पर कैलकुलस: उन्नत कैलकुलस के शास्त्रीय प्रमेयों के लिए एक आधुनिक दृष्टिकोण. सैन फ्रांसिस्को: बेंजामिन कमिंग्स. ISBN 0-8053-9021-9.