बहुरेखीय रूप: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Map from multiple vectors to an underlying field of scalars, linear in each argument}} | {{Short description|Map from multiple vectors to an underlying field of scalars, linear in each argument}} | ||
अमूर्त बीजगणित और [[बहुरेखीय बीजगणित]] में, | अमूर्त बीजगणित और [[बहुरेखीय बीजगणित]] में, सदिश स्थान पर बहुरेखीय रूप <math>V</math> क्षेत्र पर (गणित) <math>K</math> मानचित्र (गणित) है | ||
:<math>f\colon V^k \to K</math> | :<math>f\colon V^k \to K</math> | ||
वह अलग है <math>K</math>इसके प्रत्येक में रैखिक <math>k</math> तर्क।<ref>{{MathWorld|title=Multilinear Form|urlname=MultilinearForm}}</ref> अधिक आम तौर पर, | वह अलग है <math>K</math>इसके प्रत्येक में रैखिक <math>k</math> तर्क।<ref>{{MathWorld|title=Multilinear Form|urlname=MultilinearForm}}</ref> अधिक आम तौर पर, [[मॉड्यूल (गणित)]] पर [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय अंगूठी]] पर बहु-रेखीय रूपों को परिभाषित किया जा सकता है। हालाँकि, इस लेख के बाकी हिस्से में केवल आयाम (वेक्टर स्पेस) या परिमित-आयामी वेक्टर स्पेस पर बहुरेखीय रूपों पर विचार किया जाएगा। | ||
बहुरेखीय <math>k</math>-फॉर्म ऑन <math>V</math> ऊपर <math>\R</math> | बहुरेखीय <math>k</math>-फॉर्म ऑन <math>V</math> ऊपर <math>\R</math> (सहसंयोजक) कहा जाता है <math>\boldsymbol{k}</math>-टेंसर, और ऐसे रूपों के वेक्टर स्थान को आमतौर पर निरूपित किया जाता है <math>\mathcal{T}^k(V)</math> या <math>\mathcal{L}^k(V)</math>.<ref>Many authors use the opposite convention, writing <math>\mathcal{T}^k(V)</math> to denote the contravariant ''k''-tensors on <math>V</math> and <math>\mathcal{T}_k(V)</math> to denote the covariant ''k''-tensors on <math>V</math>.</ref> | ||
== टेंसर उत्पाद == | == टेंसर उत्पाद == | ||
ए दिया <math>k</math>-टेंसर <math>f\in\mathcal{T}^k(V)</math> और | ए दिया <math>k</math>-टेंसर <math>f\in\mathcal{T}^k(V)</math> और <math>\ell</math>-टेंसर <math>g\in\mathcal{T}^\ell(V)</math>, उत्पाद <math>f\otimes g\in\mathcal{T}^{k+\ell}(V)</math>, टेंसर उत्पाद के रूप में जाना जाता है, जिसे संपत्ति द्वारा परिभाषित किया जा सकता है | ||
: <math>(f\otimes g)(v_1,\ldots,v_k,v_{k+1},\ldots, v_{k+\ell})=f(v_1,\ldots,v_k)g(v_{k+1},\ldots, v_{k+\ell}),</math> | : <math>(f\otimes g)(v_1,\ldots,v_k,v_{k+1},\ldots, v_{k+\ell})=f(v_1,\ldots,v_k)g(v_{k+1},\ldots, v_{k+\ell}),</math> | ||
Line 19: | Line 19: | ||
: <math>(f\otimes g)\otimes h=f\otimes (g\otimes h).</math> | : <math>(f\otimes g)\otimes h=f\otimes (g\otimes h).</math> | ||
अगर <math>(v_1,\ldots, v_n)</math> | अगर <math>(v_1,\ldots, v_n)</math> के लिए आधार बनाता है <math>n</math>-आयामी वेक्टर अंतरिक्ष <math>V</math> और <math>(\phi^1,\ldots,\phi^n)</math> दोहरे स्थान के लिए संगत दोहरा आधार है <math>V^*=\mathcal{T}^1(V)</math>, फिर उत्पाद <math>\phi^{i_1}\otimes\cdots\otimes\phi^{i_k}</math>, साथ <math>1\le i_1,\ldots,i_k\le n</math> के लिए आधार तैयार करें <math>\mathcal{T}^k(V)</math>. फलस्वरूप, <math>\mathcal{T}^k(V)</math> आयाम है <math>n^k</math>. | ||
== उदाहरण == | == उदाहरण == | ||
Line 26: | Line 26: | ||
{{main|द्विरेखीय रूप}} | {{main|द्विरेखीय रूप}} | ||
अगर <math>k=2</math>, <math>f:V\times V\to K</math> द्विरेखीय रूप कहा जाता है। | अगर <math>k=2</math>, <math>f:V\times V\to K</math> द्विरेखीय रूप कहा जाता है। (सममित) द्विरेखीय रूप का परिचित और महत्वपूर्ण उदाहरण वैक्टर का [[डॉट उत्पाद]] (डॉट उत्पाद) है। | ||
=== वैकल्पिक बहुरेखीय रूप === | === वैकल्पिक बहुरेखीय रूप === | ||
{{main|वैकल्पिक बहु-रेखीय मानचित्र}} | {{main|वैकल्पिक बहु-रेखीय मानचित्र}} | ||
बहुरेखीय रूपों का | बहुरेखीय रूपों का महत्वपूर्ण वर्ग वैकल्पिक बहुरेखीय रूप हैं, जिनके पास अतिरिक्त संपत्ति है<ref name=":0">{{Cite book|title=कई गुना का परिचय|url=https://archive.org/details/introductiontoma00lwtu_506|url-access=limited|last=Tu|first=Loring W.|publisher=Springer|year=2011|isbn=978-1-4419-7399-3|edition=2nd |pages=[https://archive.org/details/introductiontoma00lwtu_506/page/n40 22]–23}}</ref> | ||
: <math>f(x_{\sigma(1)},\ldots, x_{\sigma(k)}) = \sgn(\sigma)f(x_1,\ldots, x_k), </math> | : <math>f(x_{\sigma(1)},\ldots, x_{\sigma(k)}) = \sgn(\sigma)f(x_1,\ldots, x_k), </math> | ||
कहाँ <math>\sigma:\mathbf{N}_k\to\mathbf{N}_k</math> | कहाँ <math>\sigma:\mathbf{N}_k\to\mathbf{N}_k</math> क्रम [[परिवर्तन]] है और <math>\sgn(\sigma)</math> क्रमचय के अपने चिह्न को दर्शाता है (+1 यदि सम है, -1 यदि विषम है)। परिणामस्वरूप, वैकल्पिक बहुरेखीय मानचित्र बहुरेखीय रूप किसी भी दो तर्कों की अदला-बदली के संबंध में विषम हैं (अर्थात, <math>\sigma(p)=q,\sigma(q)=p </math> और <math>\sigma(i)=i, 1\le i\le k, i\neq p,q </math>): | ||
: <math>f(x_1,\ldots, x_p,\ldots, x_q,\ldots, x_k) = -f(x_1,\ldots, x_q,\ldots, x_p,\ldots, x_k). </math> | : <math>f(x_1,\ldots, x_p,\ldots, x_q,\ldots, x_k) = -f(x_1,\ldots, x_q,\ldots, x_p,\ldots, x_k). </math> | ||
अतिरिक्त परिकल्पना के साथ कि [[विशेषता (फ़ील्ड)]] <math>K</math> 2 नहीं है, सेटिंग <math>x_p=x_q=x </math> | अतिरिक्त परिकल्पना के साथ कि [[विशेषता (फ़ील्ड)]] <math>K</math> 2 नहीं है, सेटिंग <math>x_p=x_q=x </math> परिणाम के रूप में तात्पर्य है कि <math>f(x_1,\ldots, x,\ldots, x,\ldots, x_k) = 0 </math>; अर्थात, जब भी इसके दो तर्क बराबर होते हैं, तो प्रपत्र का मान 0 होता है। हालाँकि, ध्यान दें कि कुछ लेखक<ref>{{Cite book|title=परिमित-आयामी वेक्टर रिक्त स्थान|last=Halmos|first=Paul R.|publisher=Van Nostrand|year=1958|isbn=0-387-90093-4|edition=2nd |pages=50}}</ref> वैकल्पिक रूपों की परिभाषित संपत्ति के रूप में इस अंतिम स्थिति का उपयोग करें। इस परिभाषा का तात्पर्य खंड की शुरुआत में दी गई संपत्ति से है, लेकिन जैसा कि ऊपर उल्लेख किया गया है, विपरीत निहितार्थ तभी होता है जब <math>\operatorname{char}(K)\neq 2 </math>. | ||
वैकल्पिक बहुरेखीय <math>k</math>-फॉर्म ऑन <math>V</math> ऊपर <math>\R</math> डिग्री का बहुवेक्टर कहलाता है <math>\boldsymbol{k}</math> या <math>\boldsymbol{k}</math>-वेक्टर, और ऐसे वैकल्पिक रूपों का वेक्टर स्थान, | वैकल्पिक बहुरेखीय <math>k</math>-फॉर्म ऑन <math>V</math> ऊपर <math>\R</math> डिग्री का बहुवेक्टर कहलाता है <math>\boldsymbol{k}</math> या <math>\boldsymbol{k}</math>-वेक्टर, और ऐसे वैकल्पिक रूपों का वेक्टर स्थान, उप-स्थान <math>\mathcal{T}^k(V)</math>, आम तौर पर निरूपित किया जाता है <math>\mathcal{A}^k(V)</math>, या, की तुल्याकारी kth बाह्य शक्ति के लिए संकेतन का उपयोग करना <math>V^*</math>([[दोहरी जगह]] <math>V</math>), <math display="inline">\bigwedge^k V^*</math>.<ref>Spivak uses <math>\Omega^k(V)</math> for the space of <math>k</math>-covectors on <math>V</math>. However, this notation is more commonly reserved for the space of differential <math>k</math>-forms on <math>V</math>. In this article, we use <math>\Omega^k(V)</math> to mean the latter.</ref> ध्यान दें कि रैखिक कार्यात्मक (बहुरेखीय 1-रूप ओवर <math>\R</math>) तुच्छ रूप से वैकल्पिक हैं, ताकि <math>\mathcal{A}^1(V)=\mathcal{T}^1(V)=V^*</math>, जबकि, परिपाटी के अनुसार, 0-रूपों को अदिश राशि के रूप में परिभाषित किया जाता है: <math>\mathcal{A}^0(V)=\mathcal{T}^0(V)=\R</math>. | ||
निर्धारक चालू <math>n\times n</math> मेट्रिसेस, | निर्धारक चालू <math>n\times n</math> मेट्रिसेस, के रूप में देखा <math>n</math> स्तंभ वैक्टर का तर्क कार्य, वैकल्पिक बहुरेखीय रूप का महत्वपूर्ण उदाहरण है। | ||
==== [[बाहरी उत्पाद]] ==== | ==== [[बाहरी उत्पाद]] ==== | ||
Line 49: | Line 49: | ||
जहां सभी क्रमपरिवर्तनों के सेट पर योग लिया जाता है <math>k+\ell</math> तत्व, <math>S_{k+\ell}</math>. बाहरी उत्पाद बिलिनियर, साहचर्य और श्रेणीबद्ध-वैकल्पिक है: यदि <math>f\in\mathcal{A}^k(V)</math> और <math>g\in\mathcal{A}^\ell(V)</math> तब <math>f\wedge g=(-1)^{k\ell}g\wedge f</math>. | जहां सभी क्रमपरिवर्तनों के सेट पर योग लिया जाता है <math>k+\ell</math> तत्व, <math>S_{k+\ell}</math>. बाहरी उत्पाद बिलिनियर, साहचर्य और श्रेणीबद्ध-वैकल्पिक है: यदि <math>f\in\mathcal{A}^k(V)</math> और <math>g\in\mathcal{A}^\ell(V)</math> तब <math>f\wedge g=(-1)^{k\ell}g\wedge f</math>. | ||
आधार दिया <math>(v_1,\ldots, v_n)</math> के लिए <math>V</math> और दोहरे आधार <math>(\phi^1,\ldots,\phi^n)</math> के लिए <math>V^*=\mathcal{A}^1(V)</math>, बाहरी उत्पाद <math>\phi^{i_1}\wedge\cdots\wedge\phi^{i_k}</math>, साथ <math>1\leq i_1<\cdots<i_k\leq n</math> के लिए | आधार दिया <math>(v_1,\ldots, v_n)</math> के लिए <math>V</math> और दोहरे आधार <math>(\phi^1,\ldots,\phi^n)</math> के लिए <math>V^*=\mathcal{A}^1(V)</math>, बाहरी उत्पाद <math>\phi^{i_1}\wedge\cdots\wedge\phi^{i_k}</math>, साथ <math>1\leq i_1<\cdots<i_k\leq n</math> के लिए आधार तैयार करें <math>\mathcal{A}^k(V)</math>. इसलिए, की आयामीता <math>\mathcal{A}^k(V)</math> एन-आयामी के लिए <math>V</math> है <math display="inline">\tbinom{n}{k}=\frac{n!}{(n-k)!\,k!}</math>. | ||
=== विभेदक रूप === | === विभेदक रूप === | ||
{{main|विभेदक रूप}} | {{main|विभेदक रूप}} | ||
विभेदक रूप गणितीय वस्तुएं हैं जो स्पर्शरेखा रिक्त स्थान और बहु-रेखीय रूपों के माध्यम से निर्मित होती हैं, जो कई तरह से व्यवहार करती हैं, जैसे शास्त्रीय अर्थों में | विभेदक रूप गणितीय वस्तुएं हैं जो स्पर्शरेखा रिक्त स्थान और बहु-रेखीय रूपों के माध्यम से निर्मित होती हैं, जो कई तरह से व्यवहार करती हैं, जैसे शास्त्रीय अर्थों में फ़ंक्शन का अंतर। हालांकि संकल्पनात्मक और कम्प्यूटेशनल रूप से उपयोगी, अंतर कलन के इतिहास में प्रारंभिक रूप से विकसित अपरिमित मात्राओं की अ-परिभाषित धारणाओं पर आधारित हैं। विभेदक रूप लंबे समय से चले आ रहे इस विचार को आधुनिक बनाने के लिए गणितीय रूप से कठोर और सटीक रूपरेखा प्रदान करते हैं। विभेदक रूप विशेष रूप से [[बहुभिन्नरूपी कैलकुलस]] (विश्लेषण) और विभेदक ज्यामिति में उपयोगी होते हैं क्योंकि उनके पास परिवर्तन गुण होते हैं जो उन्हें घटता, सतहों और उनके उच्च-आयामी एनालॉग्स (भिन्नात्मक कई गुना) पर एकीकृत करने की अनुमति देते हैं। दूरगामी अनुप्रयोग स्टोक्स प्रमेय का आधुनिक कथन है, उच्च आयामों के लिए कलन के मौलिक प्रमेय का व्यापक सामान्यीकरण। | ||
नीचे दिया गया सार मुख्य रूप से स्पिवक (1965) पर आधारित है।<ref>{{Cite book|url=https://archive.org/details/SpivakM.CalculusOnManifoldsPerseus2006Reprint|title=कई गुना पर पथरी|last=Spivak|first=Michael|publisher=W. A. Benjamin, Inc.|year=1965|isbn=0805390219 |pages=75–146}}</ref> और तू (2011)।<ref name=":0" /> | नीचे दिया गया सार मुख्य रूप से स्पिवक (1965) पर आधारित है।<ref>{{Cite book|url=https://archive.org/details/SpivakM.CalculusOnManifoldsPerseus2006Reprint|title=कई गुना पर पथरी|last=Spivak|first=Michael|publisher=W. A. Benjamin, Inc.|year=1965|isbn=0805390219 |pages=75–146}}</ref> और तू (2011)।<ref name=":0" /> | ||
Line 61: | Line 61: | ||
==== विभेदक k- रूपों की परिभाषा और 1-रूपों का निर्माण ==== | ==== विभेदक k- रूपों की परिभाषा और 1-रूपों का निर्माण ==== | ||
खुले उपसमुच्चय पर विभेदक रूपों को परिभाषित करने के लिए <math>U\subset\R^n</math>, हमें पहले की स्पर्शरेखा स्थान की धारणा की आवश्यकता है <math>\R^n</math>पर <math>p</math>, आमतौर पर निरूपित <math>T_p\R^n</math> या <math>\R^n_p</math>. वेक्टर स्थान <math>\R^n_p</math> तत्वों के सेट के रूप में सबसे आसानी से परिभाषित किया जा सकता है <math>v_p</math> (<math>v\in\R^n</math>, साथ <math>p\in\R^n</math> फिक्स्ड) वेक्टर जोड़ और स्केलर गुणा द्वारा परिभाषित किया गया है <math>v_p+w_p:=(v+w)_p</math> और <math>a\cdot(v_p):=(a\cdot v)_p</math>, क्रमश। इसके अलावा, अगर <math>(e_1,\ldots,e_n)</math> का मानक आधार है <math>\R^n</math>, तब <math>((e_1)_p,\ldots,(e_n)_p)</math> के अनुरूप मानक आधार है <math>\R^n_p</math>. दूसरे शब्दों में, प्रत्येक स्पर्शरेखा स्थान <math>\R^n_p</math> की नकल ही माना जा सकता है <math>\R^n</math> (स्पर्शरेखा सदिशों का | खुले उपसमुच्चय पर विभेदक रूपों को परिभाषित करने के लिए <math>U\subset\R^n</math>, हमें पहले की स्पर्शरेखा स्थान की धारणा की आवश्यकता है <math>\R^n</math>पर <math>p</math>, आमतौर पर निरूपित <math>T_p\R^n</math> या <math>\R^n_p</math>. वेक्टर स्थान <math>\R^n_p</math> तत्वों के सेट के रूप में सबसे आसानी से परिभाषित किया जा सकता है <math>v_p</math> (<math>v\in\R^n</math>, साथ <math>p\in\R^n</math> फिक्स्ड) वेक्टर जोड़ और स्केलर गुणा द्वारा परिभाषित किया गया है <math>v_p+w_p:=(v+w)_p</math> और <math>a\cdot(v_p):=(a\cdot v)_p</math>, क्रमश। इसके अलावा, अगर <math>(e_1,\ldots,e_n)</math> का मानक आधार है <math>\R^n</math>, तब <math>((e_1)_p,\ldots,(e_n)_p)</math> के अनुरूप मानक आधार है <math>\R^n_p</math>. दूसरे शब्दों में, प्रत्येक स्पर्शरेखा स्थान <math>\R^n_p</math> की नकल ही माना जा सकता है <math>\R^n</math> (स्पर्शरेखा सदिशों का समूह) बिंदु पर आधारित है <math>p</math>. के स्पर्शरेखा रिक्त स्थान का संग्रह (विच्छेद संघ)। <math>\R^n</math> बिलकुल <math>p\in\R^n</math> के स्पर्शरेखा बंडल के रूप में जाना जाता है <math>\R^n</math> और आमतौर पर निरूपित किया जाता है <math display="inline">T\R^n:=\bigcup_{p\in\R^n}\R^n_p</math>. जबकि यहाँ दी गई परिभाषा स्पर्शरेखा स्थान का सरल विवरण प्रदान करती है <math>\R^n</math>, अन्य, अधिक परिष्कृत निर्माण हैं जो सामान्य रूप से अलग-अलग मैनिफोल्ड के स्पर्शरेखा रिक्त स्थान को परिभाषित करने के लिए बेहतर अनुकूल हैं (विवरण के लिए [[स्पर्शरेखा स्थान]] पर लेख देखें)। | ||
'अंतर <math>\boldsymbol{k}</math>-फॉर्म ऑन <math>U\subset\R^n</math> | 'अंतर <math>\boldsymbol{k}</math>-फॉर्म ऑन <math>U\subset\R^n</math> समारोह के रूप में परिभाषित किया गया है <math>\omega</math> जो प्रत्येक को आवंटित करता है <math>p\in U</math> a <math>k</math>-covector के स्पर्शरेखा स्थान पर <math>\R^n</math>पर <math>p</math>, आमतौर पर निरूपित <math>\omega_p:=\omega(p)\in\mathcal{A}^k(\R^n_p)</math>. संक्षेप में, अंतर <math>k</math>-रूप है <math>k</math>-वेक्टर क्षेत्र। का स्थान <math>k</math>-फॉर्म चालू है <math>U</math> सामान्यतया निरूपित किया जाता है <math>\Omega^k(U)</math>; इस प्रकार यदि <math>\omega</math> अंतर है <math>k</math>-फॉर्म, हम लिखते हैं <math>\omega\in\Omega^k(U)</math>. कन्वेंशन द्वारा, पर सतत कार्य <math>U</math> अंतर 0-रूप है: <math>f\in C^0(U)=\Omega^0(U)</math>. | ||
हम पहले 0-रूपों से विभेदक 1-रूपों का निर्माण करते हैं और उनके कुछ मूलभूत गुणों को निकालते हैं। नीचे दी गई चर्चा को सरल बनाने के लिए, हम केवल चिकनेपन से निर्मित [[चिकनाई]] अंतर रूपों पर विचार करेंगे (<math>C^\infty</math>) कार्य करता है। होने देना <math>f:\R^n\to\R</math> | हम पहले 0-रूपों से विभेदक 1-रूपों का निर्माण करते हैं और उनके कुछ मूलभूत गुणों को निकालते हैं। नीचे दी गई चर्चा को सरल बनाने के लिए, हम केवल चिकनेपन से निर्मित [[चिकनाई]] अंतर रूपों पर विचार करेंगे (<math>C^\infty</math>) कार्य करता है। होने देना <math>f:\R^n\to\R</math> सुचारू कार्य हो। हम 1-रूप को परिभाषित करते हैं <math>df</math> पर <math>U</math> के लिए <math>p\in U</math> और <math>v_p\in\R^n_p</math> द्वारा <math>(df)_p(v_p):=Df|_p(v)</math>, कहाँ <math>Df|_p:\R^n\to\R</math> का कुल योग है <math>f</math> पर <math>p</math>. (याद रखें कि कुल व्युत्पन्न रैखिक परिवर्तन है।) विशेष रुचि के प्रक्षेपण मानचित्र हैं (जिन्हें समन्वय कार्यों के रूप में भी जाना जाता है) <math>\pi^i:\R^n\to\R</math>, द्वारा परिभाषित <math>x\mapsto x^i</math>, कहाँ <math>x^i</math> का i मानक निर्देशांक है <math>x\in\R^n</math>. 1-रूप <math>d\pi^i</math> बुनियादी 1-रूपों के रूप में जाने जाते हैं; वे पारंपरिक रूप से निरूपित हैं <math>dx^i</math>. यदि मानक निर्देशांक <math>v_p\in\R^n_p</math> हैं <math>(v^1,\ldots, v^n)</math>, फिर की परिभाषा का अनुप्रयोग <math>df</math> पैदावार <math>dx^i_p(v_p)=v^i</math>, ताकि <math>dx^i_p((e_j)_p)=\delta_j^i</math>, कहाँ <math>\delta^i_j</math> [[क्रोनकर डेल्टा]] है।<ref>The Kronecker delta is usually denoted by <math>\delta_{ij}=\delta(i,j)</math> and defined as <math display="inline">\delta:X\times X\to\{0,1\},\ (i,j)\mapsto \begin{cases} 1, & i=j \\ 0, & i\neq j \end{cases}</math>. Here, the notation <math>\delta^i_j</math> is used to conform to the tensor calculus convention on the use of upper and lower indices. </ref> इस प्रकार, के लिए मानक आधार के दोहरे के रूप में <math>\R^n_p</math>, <math>(dx^1_p,\ldots,dx^n_p)</math> का आधार बनता है <math>\mathcal{A}^1(\R^n_p)=(\R^n_p)^*</math>. फलस्वरूप यदि <math>\omega</math> 1-फॉर्म ऑन है <math>U</math>, तब <math>\omega</math> रूप में लिखा जा सकता है <math display="inline">\sum a_i\,dx^i</math> सुचारू कार्यों के लिए <math>a_i:U\to\R</math>. इसके अलावा, हम के लिए अभिव्यक्ति प्राप्त कर सकते हैं <math>df</math> कुल अंतर के लिए शास्त्रीय अभिव्यक्ति के साथ मेल खाता है: | ||
: <math>df=\sum_{i=1}^n D_i f\; dx^i={\partial f\over\partial x^1} \, dx^1+\cdots+{\partial f\over\partial x^n} \, dx^n.</math> | : <math>df=\sum_{i=1}^n D_i f\; dx^i={\partial f\over\partial x^1} \, dx^1+\cdots+{\partial f\over\partial x^n} \, dx^n.</math> | ||
[नोटेशन पर टिप्पणियाँ: इस लेख में, हम [[टेंसर कैलकुलेशन]] और डिफरेंशियल ज्योमेट्री के कन्वेंशन का पालन करते हैं जिसमें मल्टीवैक्टर और मल्टीकोवेक्टर क्रमशः निचले और ऊपरी सूचकांकों के साथ लिखे जाते हैं। चूंकि विभेदक रूप बहुवेक्टर क्षेत्र हैं, इसलिए उन्हें अनुक्रमित करने के लिए ऊपरी सूचकांकों को नियोजित किया जाता है।<ref name=":0" /> | [नोटेशन पर टिप्पणियाँ: इस लेख में, हम [[टेंसर कैलकुलेशन]] और डिफरेंशियल ज्योमेट्री के कन्वेंशन का पालन करते हैं जिसमें मल्टीवैक्टर और मल्टीकोवेक्टर क्रमशः निचले और ऊपरी सूचकांकों के साथ लिखे जाते हैं। चूंकि विभेदक रूप बहुवेक्टर क्षेत्र हैं, इसलिए उन्हें अनुक्रमित करने के लिए ऊपरी सूचकांकों को नियोजित किया जाता है।<ref name=":0" /> विपरीत नियम मल्टीवैक्टर और मल्टीकोक्टर के घटकों पर लागू होता है, जो क्रमशः ऊपरी और निचले सूचकांकों के साथ लिखे जाते हैं। उदाहरण के लिए, हम वेक्टर के मानक निर्देशांक का प्रतिनिधित्व करते हैं <math>v\in\R^n</math> जैसा <math>(v^1,\ldots,v^n)</math>, ताकि <math display="inline">v=\sum_{i=1}^n v^ie_i</math> मानक आधार के संदर्भ में <math>(e_1,\ldots,e_n)</math>. इसके अलावा, अभिव्यक्ति के भाजक में दिखाई देने वाली सुपरस्क्रिप्ट (जैसा कि <math display="inline">\frac{\partial f}{\partial x^i}</math>) को इस परिपाटी में निम्न सूचकांकों के रूप में माना जाता है। जब सूचकांकों को इस तरीके से लागू और व्याख्या किया जाता है, तो ऊपरी सूचकांकों की संख्या घटाकर अभिव्यक्ति के प्रत्येक शब्द में निचले सूचकांकों की संख्या को संरक्षित किया जाता है, योग के भीतर और समान चिह्न के भीतर, सुविधा जो उपयोगी स्मरक उपकरण के रूप में कार्य करती है और मैन्युअल संगणना के दौरान की गई त्रुटियों को इंगित करने में मदद करता है।] | ||
==== अंतर के-रूपों पर बुनियादी संचालन ==== | ==== अंतर के-रूपों पर बुनियादी संचालन ==== | ||
बाहरी उत्पाद (<math>\wedge</math>) और बाहरी व्युत्पन्न (<math>d</math>) विभेदक रूपों पर दो मूलभूत संक्रियाएँ हैं। ए का बाहरी उत्पाद <math>k</math>-रूप और | बाहरी उत्पाद (<math>\wedge</math>) और बाहरी व्युत्पन्न (<math>d</math>) विभेदक रूपों पर दो मूलभूत संक्रियाएँ हैं। ए का बाहरी उत्पाद <math>k</math>-रूप और <math>\ell</math>-रूप है <math>(k+\ell)</math>-फॉर्म, जबकि ए के बाहरी व्युत्पन्न <math>k</math>-रूप है <math>(k+1)</math>-प्रपत्र। इस प्रकार, दोनों संक्रियाएँ निम्न कोटि के उच्चतर कोटि के विभेदक रूपों को उत्पन्न करती हैं। | ||
बाहरी उत्पाद <math>\wedge:\Omega^k(U)\times\Omega^\ell(U)\to\Omega^{k+\ell}(U)</math> विभेदक रूपों का सामान्य रूप से बहुसंवाहकों के बाहरी उत्पाद का | बाहरी उत्पाद <math>\wedge:\Omega^k(U)\times\Omega^\ell(U)\to\Omega^{k+\ell}(U)</math> विभेदक रूपों का सामान्य रूप से बहुसंवाहकों के बाहरी उत्पाद का विशेष मामला है (ऊपर देखें)। जैसा कि बाहरी उत्पाद के लिए सामान्य रूप से सच है, अंतर रूपों का बाहरी उत्पाद द्विरेखीय, साहचर्य है, और [[वैकल्पिक बीजगणित]] है। श्रेणीबद्ध-वैकल्पिक। | ||
अधिक ठोस रूप से, यदि <math>\omega=a_{i_1\ldots i_k} \, dx^{i_1}\wedge\cdots\wedge dx^{i_k}</math> और <math>\eta=a_{j_1\ldots i_{\ell}} dx^{j_1}\wedge\cdots\wedge dx^{j_{\ell}}</math>, तब | अधिक ठोस रूप से, यदि <math>\omega=a_{i_1\ldots i_k} \, dx^{i_1}\wedge\cdots\wedge dx^{i_k}</math> और <math>\eta=a_{j_1\ldots i_{\ell}} dx^{j_1}\wedge\cdots\wedge dx^{j_{\ell}}</math>, तब | ||
Line 81: | Line 81: | ||
: <math>dx^{\alpha_1} \wedge\cdots\wedge dx^{\alpha_p} \wedge \cdots \wedge dx^{\alpha_q} \wedge\cdots\wedge dx^{\alpha_m} = -dx^{\alpha_1} \wedge\cdots\wedge dx^{\alpha_q} \wedge \cdots\wedge dx^{\alpha_p}\wedge\cdots\wedge dx^{\alpha_m}.</math> | : <math>dx^{\alpha_1} \wedge\cdots\wedge dx^{\alpha_p} \wedge \cdots \wedge dx^{\alpha_q} \wedge\cdots\wedge dx^{\alpha_m} = -dx^{\alpha_1} \wedge\cdots\wedge dx^{\alpha_q} \wedge \cdots\wedge dx^{\alpha_p}\wedge\cdots\wedge dx^{\alpha_m}.</math> | ||
अगर <math>I=\{i_1,\ldots,i_k\}</math>, <math>J=\{j_1,\ldots,j_{\ell}\}</math>, और <math>I\cap J=\varnothing</math>, फिर के सूचकांक <math>\omega\wedge\eta</math> ऐसे स्वैप के | अगर <math>I=\{i_1,\ldots,i_k\}</math>, <math>J=\{j_1,\ldots,j_{\ell}\}</math>, और <math>I\cap J=\varnothing</math>, फिर के सूचकांक <math>\omega\wedge\eta</math> ऐसे स्वैप के (सीमित) अनुक्रम द्वारा आरोही क्रम में व्यवस्थित किया जा सकता है। तब से <math>dx^\alpha\wedge dx^\alpha=0</math>, <math>I\cap J\neq\varnothing</math> इसका आशय है <math>\omega\wedge\eta=0</math>. अंत में, द्विरेखीयता के परिणामस्वरूप, यदि <math>\omega</math> और <math>\eta</math> कई शब्दों का योग है, उनका बाहरी उत्पाद इनमें से प्रत्येक पद के संबंध में वितरण का पालन करता है। | ||
बुनियादी 1-रूपों के बाहरी उत्पादों का संग्रह <math>\{dx^{i_1}\wedge\cdots\wedge dx^{i_k} \mid 1\leq i_1<\cdots< i_k\leq n\}</math> अंतर के-रूपों के स्थान के लिए | बुनियादी 1-रूपों के बाहरी उत्पादों का संग्रह <math>\{dx^{i_1}\wedge\cdots\wedge dx^{i_k} \mid 1\leq i_1<\cdots< i_k\leq n\}</math> अंतर के-रूपों के स्थान के लिए आधार का गठन करता है। इस प्रकार, कोई <math>\omega\in\Omega^k(U)</math> रूप में लिखा जा सकता है | ||
: <math>\omega=\sum_{i_1<\cdots<i_k} a_{i_1\ldots i_k} \, dx^{i_1}\wedge\cdots\wedge dx^{i_k}, \qquad (*)</math> | : <math>\omega=\sum_{i_1<\cdots<i_k} a_{i_1\ldots i_k} \, dx^{i_1}\wedge\cdots\wedge dx^{i_k}, \qquad (*)</math> | ||
Line 91: | Line 91: | ||
: <math>d\omega:=\sum_{i_1<\ldots <i_k} da_{i_1\ldots i_k}\wedge dx^{i_1}\wedge\cdots\wedge dx^{i_k}.</math> | : <math>d\omega:=\sum_{i_1<\ldots <i_k} da_{i_1\ldots i_k}\wedge dx^{i_1}\wedge\cdots\wedge dx^{i_k}.</math> | ||
की संपत्ति <math>d</math> जो सभी चिकने रूपों के लिए है, वह किसी का दूसरा बाहरी व्युत्पन्न है <math>\omega</math> समान रूप से गायब हो जाता है: <math>d^2\omega=d(d\omega)\equiv 0</math>. इसे सीधे की परिभाषा से स्थापित किया जा सकता है <math>d</math> और [[दूसरे डेरिवेटिव की समरूपता]] | की संपत्ति <math>d</math> जो सभी चिकने रूपों के लिए है, वह किसी का दूसरा बाहरी व्युत्पन्न है <math>\omega</math> समान रूप से गायब हो जाता है: <math>d^2\omega=d(d\omega)\equiv 0</math>. इसे सीधे की परिभाषा से स्थापित किया जा सकता है <math>d</math> और [[दूसरे डेरिवेटिव की समरूपता]] या के मिश्रित दूसरे क्रम के आंशिक डेरिवेटिव की समानता <math>C^2</math> कार्य (विवरण के लिए [[बंद और सटीक अंतर रूप|बंद और सटीक अंतर रूपों]] पर आलेख देखें)। | ||
==== जंजीरों के लिए अंतर रूपों और स्टोक्स प्रमेय का एकीकरण ==== | ==== जंजीरों के लिए अंतर रूपों और स्टोक्स प्रमेय का एकीकरण ==== | ||
पैरामिट्रीकृत डोमेन पर डिफरेंशियल फॉर्म को एकीकृत करने के लिए, हमें सबसे पहले डिफरेंशियल फॉर्म के पुलबैक की धारणा को पेश करने की आवश्यकता है। मोटे तौर पर बोलते हुए, जब | पैरामिट्रीकृत डोमेन पर डिफरेंशियल फॉर्म को एकीकृत करने के लिए, हमें सबसे पहले डिफरेंशियल फॉर्म के पुलबैक की धारणा को पेश करने की आवश्यकता है। मोटे तौर पर बोलते हुए, जब विभेदक प्रपत्र एकीकृत होता है, तो पुलबैक को लागू करने से यह तरह से बदल जाता है जो सही ढंग से समन्वय के परिवर्तन के लिए खाता है। | ||
अवकलनीय फलन दिया है <math>f:\R^n\to\R^m</math> और <math>k</math>-प्रपत्र <math>\eta\in\Omega^k(\R^m)</math>, हम बुलाते है <math>f^*\eta\in\Omega^k(\R^n)</math> पुलबैक (डिफरेंशियल ज्योमेट्री) का <math>\eta</math> द्वारा <math>f</math> और इसे के रूप में परिभाषित करें <math>k</math>- ऐसा रूप | अवकलनीय फलन दिया है <math>f:\R^n\to\R^m</math> और <math>k</math>-प्रपत्र <math>\eta\in\Omega^k(\R^m)</math>, हम बुलाते है <math>f^*\eta\in\Omega^k(\R^n)</math> पुलबैक (डिफरेंशियल ज्योमेट्री) का <math>\eta</math> द्वारा <math>f</math> और इसे के रूप में परिभाषित करें <math>k</math>- ऐसा रूप | ||
Line 101: | Line 101: | ||
के लिए <math>v_{1p},\ldots,v_{kp}\in\R^n_p</math>, कहाँ <math>f_*:\R^n_p\to\R^m_{f(p)}</math> नक्शा है <math>v_p\mapsto(Df|_p(v))_{f(p)}</math>. | के लिए <math>v_{1p},\ldots,v_{kp}\in\R^n_p</math>, कहाँ <math>f_*:\R^n_p\to\R^m_{f(p)}</math> नक्शा है <math>v_p\mapsto(Df|_p(v))_{f(p)}</math>. | ||
अगर <math>\omega=f\, dx^1\wedge\cdots\wedge dx^n</math> | अगर <math>\omega=f\, dx^1\wedge\cdots\wedge dx^n</math> <math>n</math>-फॉर्म ऑन <math>\R^n</math> (अर्थात।, <math>\omega\in\Omega^n(\R^n)</math>), हम इकाई पर इसके अभिन्न को परिभाषित करते हैं <math>n</math>-सेल पुनरावृत्त रीमैन के अभिन्न अंग के रूप में <math>f</math>: | ||
: <math>\int_{[0,1]^n} \omega = \int_{[0,1]^n} f\,dx^1\wedge\cdots \wedge dx^n:= \int_0^1\cdots\int_0^1 f\, dx^1\cdots dx^n.</math> | : <math>\int_{[0,1]^n} \omega = \int_{[0,1]^n} f\,dx^1\wedge\cdots \wedge dx^n:= \int_0^1\cdots\int_0^1 f\, dx^1\cdots dx^n.</math> | ||
अगला, हम | अगला, हम अलग-अलग फ़ंक्शन द्वारा मानकीकृत एकीकरण के डोमेन पर विचार करते हैं <math>c:[0,1]^n\to A\subset\R^m</math>, जिसे ''n''-घन के रूप में जाना जाता है। के अभिन्न को परिभाषित करने के लिए <math>\omega\in\Omega^n(A)</math> ऊपर <math>c</math>, हम से वापस खींचते हैं <math>A</math> यूनिट एन-सेल के लिए: | ||
: <math>\int_c \omega :=\int_{[0,1]^n}c^*\omega.</math> | : <math>\int_c \omega :=\int_{[0,1]^n}c^*\omega.</math> | ||
Line 110: | Line 110: | ||
: <math>\int_C \omega :=\sum_i n_i\int_{c_i} \omega.</math> | : <math>\int_C \omega :=\sum_i n_i\int_{c_i} \omega.</math> | ||
की उपयुक्त परिभाषा <math>(n-1)</math>-[[चेन (बीजगणितीय टोपोलॉजी)]] <math>\partial C</math>की सीमा के रूप में जाना जाता है <math>C</math>,<ref>The formal definition of the boundary of a chain is somewhat involved and is omitted here (''see {{harvnb|Spivak|1965|pp=98–99}} for a discussion''). Intuitively, if <math>C</math> maps to a square, then <math>\partial C</math> is a linear combination of functions that maps to its edges in a counterclockwise manner. The boundary of a chain is distinct from the notion of a boundary in point-set topology.</ref> हमें स्टोक्स के प्रमेय (स्टोक्स-कार्टन प्रमेय) को | की उपयुक्त परिभाषा <math>(n-1)</math>-[[चेन (बीजगणितीय टोपोलॉजी)]] <math>\partial C</math>की सीमा के रूप में जाना जाता है <math>C</math>,<ref>The formal definition of the boundary of a chain is somewhat involved and is omitted here (''see {{harvnb|Spivak|1965|pp=98–99}} for a discussion''). Intuitively, if <math>C</math> maps to a square, then <math>\partial C</math> is a linear combination of functions that maps to its edges in a counterclockwise manner. The boundary of a chain is distinct from the notion of a boundary in point-set topology.</ref> हमें स्टोक्स के प्रमेय (स्टोक्स-कार्टन प्रमेय) को सबसेट में जंजीरों के लिए बताने की अनुमति देता है <math>\R^m</math>: <blockquote>अगर <math>\omega</math> चिकना है <math>(n-1)</math>- खुले सेट पर फॉर्म <math>A\subset\R^m</math>और <math>C</math> चिकना है <math>n</math>-श्रृंखला में <math>A</math>, तब<math>\int_C d\omega=\int_{\partial C} \omega</math></blockquote>अधिक परिष्कृत मशीनरी (जैसे, जर्म (गणित) और [[व्युत्पत्ति (अंतर बीजगणित)]]) का उपयोग करके, स्पर्शरेखा स्थान <math>T_p M</math> किसी भी चिकनी कई गुना <math>M</math> (जरूरी नहीं कि इसमें एम्बेड किया गया हो <math>\R^m</math>) परिभाषित किया जा सकता। अनुरूप रूप से, विभेदक रूप <math>\omega\in\Omega^k(M)</math> सामान्य स्मूथ मैनिफोल्ड पर नक्शा है <math>\omega:p\in M\mapsto\omega_p\in \mathcal{A}^k(T_pM)</math>. स्टोक्स की प्रमेय को सीमा के साथ मनमाना कई गुना और यहां तक कि कुछ कच्चे डोमेन के लिए सामान्यीकृत किया जा सकता है (विवरण के लिए स्टोक्स के प्रमेय पर लेख देखें)। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 09:39, 29 April 2023
अमूर्त बीजगणित और बहुरेखीय बीजगणित में, सदिश स्थान पर बहुरेखीय रूप क्षेत्र पर (गणित) मानचित्र (गणित) है
वह अलग है इसके प्रत्येक में रैखिक तर्क।[1] अधिक आम तौर पर, मॉड्यूल (गणित) पर क्रमविनिमेय अंगूठी पर बहु-रेखीय रूपों को परिभाषित किया जा सकता है। हालाँकि, इस लेख के बाकी हिस्से में केवल आयाम (वेक्टर स्पेस) या परिमित-आयामी वेक्टर स्पेस पर बहुरेखीय रूपों पर विचार किया जाएगा।
बहुरेखीय -फॉर्म ऑन ऊपर (सहसंयोजक) कहा जाता है -टेंसर, और ऐसे रूपों के वेक्टर स्थान को आमतौर पर निरूपित किया जाता है या .[2]
टेंसर उत्पाद
ए दिया -टेंसर और -टेंसर , उत्पाद , टेंसर उत्पाद के रूप में जाना जाता है, जिसे संपत्ति द्वारा परिभाषित किया जा सकता है
सभी के लिए . बहुरेखीय रूपों का टेन्सर उत्पाद क्रमविनिमेय नहीं है; हालाँकि यह द्विरेखीय और साहचर्य है:
- ,
और
अगर के लिए आधार बनाता है -आयामी वेक्टर अंतरिक्ष और दोहरे स्थान के लिए संगत दोहरा आधार है , फिर उत्पाद , साथ के लिए आधार तैयार करें . फलस्वरूप, आयाम है .
उदाहरण
बिलिनियर रूप
अगर , द्विरेखीय रूप कहा जाता है। (सममित) द्विरेखीय रूप का परिचित और महत्वपूर्ण उदाहरण वैक्टर का डॉट उत्पाद (डॉट उत्पाद) है।
वैकल्पिक बहुरेखीय रूप
बहुरेखीय रूपों का महत्वपूर्ण वर्ग वैकल्पिक बहुरेखीय रूप हैं, जिनके पास अतिरिक्त संपत्ति है[3]
कहाँ क्रम परिवर्तन है और क्रमचय के अपने चिह्न को दर्शाता है (+1 यदि सम है, -1 यदि विषम है)। परिणामस्वरूप, वैकल्पिक बहुरेखीय मानचित्र बहुरेखीय रूप किसी भी दो तर्कों की अदला-बदली के संबंध में विषम हैं (अर्थात, और ):
अतिरिक्त परिकल्पना के साथ कि विशेषता (फ़ील्ड) 2 नहीं है, सेटिंग परिणाम के रूप में तात्पर्य है कि ; अर्थात, जब भी इसके दो तर्क बराबर होते हैं, तो प्रपत्र का मान 0 होता है। हालाँकि, ध्यान दें कि कुछ लेखक[4] वैकल्पिक रूपों की परिभाषित संपत्ति के रूप में इस अंतिम स्थिति का उपयोग करें। इस परिभाषा का तात्पर्य खंड की शुरुआत में दी गई संपत्ति से है, लेकिन जैसा कि ऊपर उल्लेख किया गया है, विपरीत निहितार्थ तभी होता है जब .
वैकल्पिक बहुरेखीय -फॉर्म ऑन ऊपर डिग्री का बहुवेक्टर कहलाता है या -वेक्टर, और ऐसे वैकल्पिक रूपों का वेक्टर स्थान, उप-स्थान , आम तौर पर निरूपित किया जाता है , या, की तुल्याकारी kth बाह्य शक्ति के लिए संकेतन का उपयोग करना (दोहरी जगह ), .[5] ध्यान दें कि रैखिक कार्यात्मक (बहुरेखीय 1-रूप ओवर ) तुच्छ रूप से वैकल्पिक हैं, ताकि , जबकि, परिपाटी के अनुसार, 0-रूपों को अदिश राशि के रूप में परिभाषित किया जाता है: .
निर्धारक चालू मेट्रिसेस, के रूप में देखा स्तंभ वैक्टर का तर्क कार्य, वैकल्पिक बहुरेखीय रूप का महत्वपूर्ण उदाहरण है।
बाहरी उत्पाद
वैकल्पिक बहुरेखीय रूपों का टेन्सर उत्पाद, सामान्य रूप से, अब वैकल्पिक नहीं है। हालाँकि, टेन्सर उत्पाद के सभी क्रमपरिवर्तनों का योग करके, प्रत्येक शब्द की समानता को ध्यान में रखते हुए, बाहरी उत्पाद (, जिसे वेज उत्पाद के रूप में भी जाना जाता है) को मल्टीकोक्टर्स के रूप में परिभाषित किया जा सकता है, ताकि यदि और , तब :
जहां सभी क्रमपरिवर्तनों के सेट पर योग लिया जाता है तत्व, . बाहरी उत्पाद बिलिनियर, साहचर्य और श्रेणीबद्ध-वैकल्पिक है: यदि और तब .
आधार दिया के लिए और दोहरे आधार के लिए , बाहरी उत्पाद , साथ के लिए आधार तैयार करें . इसलिए, की आयामीता एन-आयामी के लिए है .
विभेदक रूप
विभेदक रूप गणितीय वस्तुएं हैं जो स्पर्शरेखा रिक्त स्थान और बहु-रेखीय रूपों के माध्यम से निर्मित होती हैं, जो कई तरह से व्यवहार करती हैं, जैसे शास्त्रीय अर्थों में फ़ंक्शन का अंतर। हालांकि संकल्पनात्मक और कम्प्यूटेशनल रूप से उपयोगी, अंतर कलन के इतिहास में प्रारंभिक रूप से विकसित अपरिमित मात्राओं की अ-परिभाषित धारणाओं पर आधारित हैं। विभेदक रूप लंबे समय से चले आ रहे इस विचार को आधुनिक बनाने के लिए गणितीय रूप से कठोर और सटीक रूपरेखा प्रदान करते हैं। विभेदक रूप विशेष रूप से बहुभिन्नरूपी कैलकुलस (विश्लेषण) और विभेदक ज्यामिति में उपयोगी होते हैं क्योंकि उनके पास परिवर्तन गुण होते हैं जो उन्हें घटता, सतहों और उनके उच्च-आयामी एनालॉग्स (भिन्नात्मक कई गुना) पर एकीकृत करने की अनुमति देते हैं। दूरगामी अनुप्रयोग स्टोक्स प्रमेय का आधुनिक कथन है, उच्च आयामों के लिए कलन के मौलिक प्रमेय का व्यापक सामान्यीकरण।
नीचे दिया गया सार मुख्य रूप से स्पिवक (1965) पर आधारित है।[6] और तू (2011)।[3]
विभेदक k- रूपों की परिभाषा और 1-रूपों का निर्माण
खुले उपसमुच्चय पर विभेदक रूपों को परिभाषित करने के लिए , हमें पहले की स्पर्शरेखा स्थान की धारणा की आवश्यकता है पर , आमतौर पर निरूपित या . वेक्टर स्थान तत्वों के सेट के रूप में सबसे आसानी से परिभाषित किया जा सकता है (, साथ फिक्स्ड) वेक्टर जोड़ और स्केलर गुणा द्वारा परिभाषित किया गया है और , क्रमश। इसके अलावा, अगर का मानक आधार है , तब के अनुरूप मानक आधार है . दूसरे शब्दों में, प्रत्येक स्पर्शरेखा स्थान की नकल ही माना जा सकता है (स्पर्शरेखा सदिशों का समूह) बिंदु पर आधारित है . के स्पर्शरेखा रिक्त स्थान का संग्रह (विच्छेद संघ)। बिलकुल के स्पर्शरेखा बंडल के रूप में जाना जाता है और आमतौर पर निरूपित किया जाता है . जबकि यहाँ दी गई परिभाषा स्पर्शरेखा स्थान का सरल विवरण प्रदान करती है , अन्य, अधिक परिष्कृत निर्माण हैं जो सामान्य रूप से अलग-अलग मैनिफोल्ड के स्पर्शरेखा रिक्त स्थान को परिभाषित करने के लिए बेहतर अनुकूल हैं (विवरण के लिए स्पर्शरेखा स्थान पर लेख देखें)।
'अंतर -फॉर्म ऑन समारोह के रूप में परिभाषित किया गया है जो प्रत्येक को आवंटित करता है a -covector के स्पर्शरेखा स्थान पर पर , आमतौर पर निरूपित . संक्षेप में, अंतर -रूप है -वेक्टर क्षेत्र। का स्थान -फॉर्म चालू है सामान्यतया निरूपित किया जाता है ; इस प्रकार यदि अंतर है -फॉर्म, हम लिखते हैं . कन्वेंशन द्वारा, पर सतत कार्य अंतर 0-रूप है: .
हम पहले 0-रूपों से विभेदक 1-रूपों का निर्माण करते हैं और उनके कुछ मूलभूत गुणों को निकालते हैं। नीचे दी गई चर्चा को सरल बनाने के लिए, हम केवल चिकनेपन से निर्मित चिकनाई अंतर रूपों पर विचार करेंगे () कार्य करता है। होने देना सुचारू कार्य हो। हम 1-रूप को परिभाषित करते हैं पर के लिए और द्वारा , कहाँ का कुल योग है पर . (याद रखें कि कुल व्युत्पन्न रैखिक परिवर्तन है।) विशेष रुचि के प्रक्षेपण मानचित्र हैं (जिन्हें समन्वय कार्यों के रूप में भी जाना जाता है) , द्वारा परिभाषित , कहाँ का i मानक निर्देशांक है . 1-रूप बुनियादी 1-रूपों के रूप में जाने जाते हैं; वे पारंपरिक रूप से निरूपित हैं . यदि मानक निर्देशांक हैं , फिर की परिभाषा का अनुप्रयोग पैदावार , ताकि , कहाँ क्रोनकर डेल्टा है।[7] इस प्रकार, के लिए मानक आधार के दोहरे के रूप में , का आधार बनता है . फलस्वरूप यदि 1-फॉर्म ऑन है , तब रूप में लिखा जा सकता है सुचारू कार्यों के लिए . इसके अलावा, हम के लिए अभिव्यक्ति प्राप्त कर सकते हैं कुल अंतर के लिए शास्त्रीय अभिव्यक्ति के साथ मेल खाता है:
[नोटेशन पर टिप्पणियाँ: इस लेख में, हम टेंसर कैलकुलेशन और डिफरेंशियल ज्योमेट्री के कन्वेंशन का पालन करते हैं जिसमें मल्टीवैक्टर और मल्टीकोवेक्टर क्रमशः निचले और ऊपरी सूचकांकों के साथ लिखे जाते हैं। चूंकि विभेदक रूप बहुवेक्टर क्षेत्र हैं, इसलिए उन्हें अनुक्रमित करने के लिए ऊपरी सूचकांकों को नियोजित किया जाता है।[3] विपरीत नियम मल्टीवैक्टर और मल्टीकोक्टर के घटकों पर लागू होता है, जो क्रमशः ऊपरी और निचले सूचकांकों के साथ लिखे जाते हैं। उदाहरण के लिए, हम वेक्टर के मानक निर्देशांक का प्रतिनिधित्व करते हैं जैसा , ताकि मानक आधार के संदर्भ में . इसके अलावा, अभिव्यक्ति के भाजक में दिखाई देने वाली सुपरस्क्रिप्ट (जैसा कि ) को इस परिपाटी में निम्न सूचकांकों के रूप में माना जाता है। जब सूचकांकों को इस तरीके से लागू और व्याख्या किया जाता है, तो ऊपरी सूचकांकों की संख्या घटाकर अभिव्यक्ति के प्रत्येक शब्द में निचले सूचकांकों की संख्या को संरक्षित किया जाता है, योग के भीतर और समान चिह्न के भीतर, सुविधा जो उपयोगी स्मरक उपकरण के रूप में कार्य करती है और मैन्युअल संगणना के दौरान की गई त्रुटियों को इंगित करने में मदद करता है।]
अंतर के-रूपों पर बुनियादी संचालन
बाहरी उत्पाद () और बाहरी व्युत्पन्न () विभेदक रूपों पर दो मूलभूत संक्रियाएँ हैं। ए का बाहरी उत्पाद -रूप और -रूप है -फॉर्म, जबकि ए के बाहरी व्युत्पन्न -रूप है -प्रपत्र। इस प्रकार, दोनों संक्रियाएँ निम्न कोटि के उच्चतर कोटि के विभेदक रूपों को उत्पन्न करती हैं।
बाहरी उत्पाद विभेदक रूपों का सामान्य रूप से बहुसंवाहकों के बाहरी उत्पाद का विशेष मामला है (ऊपर देखें)। जैसा कि बाहरी उत्पाद के लिए सामान्य रूप से सच है, अंतर रूपों का बाहरी उत्पाद द्विरेखीय, साहचर्य है, और वैकल्पिक बीजगणित है। श्रेणीबद्ध-वैकल्पिक।
अधिक ठोस रूप से, यदि और , तब
इसके अलावा, सूचकांकों के किसी भी सेट के लिए ,
अगर , , और , फिर के सूचकांक ऐसे स्वैप के (सीमित) अनुक्रम द्वारा आरोही क्रम में व्यवस्थित किया जा सकता है। तब से , इसका आशय है . अंत में, द्विरेखीयता के परिणामस्वरूप, यदि और कई शब्दों का योग है, उनका बाहरी उत्पाद इनमें से प्रत्येक पद के संबंध में वितरण का पालन करता है।
बुनियादी 1-रूपों के बाहरी उत्पादों का संग्रह अंतर के-रूपों के स्थान के लिए आधार का गठन करता है। इस प्रकार, कोई रूप में लिखा जा सकता है
कहाँ चिकने कार्य हैं। सूचकांकों के प्रत्येक सेट के साथ आरोही क्रम में रखा, (*) की मानक प्रस्तुति कहा जाता है.
पिछले अनुभाग में, 1-फ़ॉर्म 0-फॉर्म (निरंतर कार्य) के बाहरी व्युत्पन्न को ले कर परिभाषित किया गया था . अब हम एक्सटीरियर डेरिवेटिव ऑपरेटर को परिभाषित करके इसका विस्तार करते हैं के लिए . यदि की मानक प्रस्तुति -प्रपत्र (*) द्वारा दिया गया है -प्रपत्र द्वारा परिभाषित किया गया है
की संपत्ति जो सभी चिकने रूपों के लिए है, वह किसी का दूसरा बाहरी व्युत्पन्न है समान रूप से गायब हो जाता है: . इसे सीधे की परिभाषा से स्थापित किया जा सकता है और दूसरे डेरिवेटिव की समरूपता या के मिश्रित दूसरे क्रम के आंशिक डेरिवेटिव की समानता कार्य (विवरण के लिए बंद और सटीक अंतर रूपों पर आलेख देखें)।
जंजीरों के लिए अंतर रूपों और स्टोक्स प्रमेय का एकीकरण
पैरामिट्रीकृत डोमेन पर डिफरेंशियल फॉर्म को एकीकृत करने के लिए, हमें सबसे पहले डिफरेंशियल फॉर्म के पुलबैक की धारणा को पेश करने की आवश्यकता है। मोटे तौर पर बोलते हुए, जब विभेदक प्रपत्र एकीकृत होता है, तो पुलबैक को लागू करने से यह तरह से बदल जाता है जो सही ढंग से समन्वय के परिवर्तन के लिए खाता है।
अवकलनीय फलन दिया है और -प्रपत्र , हम बुलाते है पुलबैक (डिफरेंशियल ज्योमेट्री) का द्वारा और इसे के रूप में परिभाषित करें - ऐसा रूप
के लिए , कहाँ नक्शा है .
अगर -फॉर्म ऑन (अर्थात।, ), हम इकाई पर इसके अभिन्न को परिभाषित करते हैं -सेल पुनरावृत्त रीमैन के अभिन्न अंग के रूप में :
अगला, हम अलग-अलग फ़ंक्शन द्वारा मानकीकृत एकीकरण के डोमेन पर विचार करते हैं , जिसे n-घन के रूप में जाना जाता है। के अभिन्न को परिभाषित करने के लिए ऊपर , हम से वापस खींचते हैं यूनिट एन-सेल के लिए:
अधिक सामान्य डोमेन पर एकीकृत करने के लिए, हम परिभाषित करते हैं-ज़ंजीर के औपचारिक योग के रूप में -क्यूब्स और सेट
की उपयुक्त परिभाषा -चेन (बीजगणितीय टोपोलॉजी) की सीमा के रूप में जाना जाता है ,[8] हमें स्टोक्स के प्रमेय (स्टोक्स-कार्टन प्रमेय) को सबसेट में जंजीरों के लिए बताने की अनुमति देता है :
अगर चिकना है - खुले सेट पर फॉर्म और चिकना है -श्रृंखला में , तब
अधिक परिष्कृत मशीनरी (जैसे, जर्म (गणित) और व्युत्पत्ति (अंतर बीजगणित)) का उपयोग करके, स्पर्शरेखा स्थान किसी भी चिकनी कई गुना (जरूरी नहीं कि इसमें एम्बेड किया गया हो ) परिभाषित किया जा सकता। अनुरूप रूप से, विभेदक रूप सामान्य स्मूथ मैनिफोल्ड पर नक्शा है . स्टोक्स की प्रमेय को सीमा के साथ मनमाना कई गुना और यहां तक कि कुछ कच्चे डोमेन के लिए सामान्यीकृत किया जा सकता है (विवरण के लिए स्टोक्स के प्रमेय पर लेख देखें)।
यह भी देखें
- बिलिनियर नक्शा
- बाहरी बीजगणित
- सजातीय बहुपद
- रेखीय रूप
- बहुरेखीय नक्शा
संदर्भ
- ↑ Weisstein, Eric W. "Multilinear Form". MathWorld.
- ↑ Many authors use the opposite convention, writing to denote the contravariant k-tensors on and to denote the covariant k-tensors on .
- ↑ 3.0 3.1 3.2 Tu, Loring W. (2011). कई गुना का परिचय (2nd ed.). Springer. pp. 22–23. ISBN 978-1-4419-7399-3.
- ↑ Halmos, Paul R. (1958). परिमित-आयामी वेक्टर रिक्त स्थान (2nd ed.). Van Nostrand. p. 50. ISBN 0-387-90093-4.
- ↑ Spivak uses for the space of -covectors on . However, this notation is more commonly reserved for the space of differential -forms on . In this article, we use to mean the latter.
- ↑ Spivak, Michael (1965). कई गुना पर पथरी. W. A. Benjamin, Inc. pp. 75–146. ISBN 0805390219.
- ↑ The Kronecker delta is usually denoted by and defined as . Here, the notation is used to conform to the tensor calculus convention on the use of upper and lower indices.
- ↑ The formal definition of the boundary of a chain is somewhat involved and is omitted here (see Spivak 1965, pp. 98–99 for a discussion). Intuitively, if maps to a square, then is a linear combination of functions that maps to its edges in a counterclockwise manner. The boundary of a chain is distinct from the notion of a boundary in point-set topology.