आयतन रूप: Difference between revisions

From Vigyanwiki
(Created page with "गणित में, आयतन रूप या शीर्ष-आयामी रूप विभेदक कई गुना आयाम के बराबर ड...")
 
No edit summary
Line 1: Line 1:
गणित में, आयतन रूप या शीर्ष-आयामी रूप विभेदक कई गुना आयाम के बराबर डिग्री का एक [[विभेदक रूप]] है। इस प्रकार अनेक गुना पर <math>M</math> आयाम का <math>n</math>, एक वॉल्यूम फॉर्म एक है <math>n</math>-प्रपत्र। यह [[लाइन बंडल]] के [[ अनुभाग (फाइबर बंडल) ]] के स्थान का एक तत्व है <math>\textstyle{\bigwedge}^n(T^*M)</math>, इस रूप में घोषित किया गया <math> \Omega^n(M)</math>. मैनिफोल्ड कहीं न लुप्त होने वाले आयतन रूप को स्वीकार करता है यदि और केवल यदि वह उन्मुख हो। एक [[ कुंडा कई गुना ]] में अनंत रूप से कई वॉल्यूम फॉर्म होते हैं, क्योंकि वॉल्यूम फॉर्म को एक फ़ंक्शन द्वारा गुणा करने पर दूसरा वॉल्यूम फॉर्म प्राप्त होता है। गैर-उन्मुख मैनिफोल्ड्स पर, इसके बजाय कोई मैनिफोल्ड्स पर घनत्व की कमजोर धारणा को परिभाषित कर सकता है।
गणित में, आयतन रूप या शीर्ष-आयामी रूप अवकलन मैनीफोल्ड आयाम के बराबर डिग्री का एक [[विभेदक रूप|अवकलक रूप]] है। इस प्रकार मैनीफोल्ड पर <math>M</math> आयाम का <math>n</math>, वॉल्यूम फॉर्म एक <math>n</math>-प्रपत्र के रूप में होता है। यह [[लाइन बंडल]] के [[ अनुभाग (फाइबर बंडल) ]] के स्थान का एक तत्व के रूप में होता है <math>\textstyle{\bigwedge}^n(T^*M)</math>, इस रूप में घोषित किया गया <math> \Omega^n(M)</math>. मैनिफोल्ड कहीं न लुप्त होने वाले आयतन रूप को स्वीकार करता है यदि और केवल यदि वह ओरियंटेबल है। एक [[ओरिएंटेबल]] मैनिफोल्ड में अनंत रूप से कई वॉल्यूम फॉर्म होते हैं, क्योंकि वॉल्यूम फॉर्म को एक फलन द्वारा गुणा करने पर दूसरा वॉल्यूम फॉर्म प्राप्त होता है। गैर-ओरियंटेबल  मैनिफोल्ड्स पर इसके अतिरिक्त घनत्व की कमजोर धारणा को परिभाषित किया जा सकता है।


एक वॉल्यूम फॉर्म एक भिन्न मैनिफोल्ड पर एक [[फ़ंक्शन (गणित)]] के [[अभिन्न]] अंग को परिभाषित करने का एक साधन प्रदान करता है। दूसरे शब्दों में, एक वॉल्यूम फॉर्म एक [[माप (गणित)]] को जन्म देता है जिसके संबंध में कार्यों को उपयुक्त [[लेब्सग इंटीग्रल]] द्वारा एकीकृत किया जा सकता है। वॉल्यूम फॉर्म का निरपेक्ष मान एक वॉल्यूम तत्व है, जिसे विभिन्न प्रकार से ट्विस्टेड वॉल्यूम फॉर्म या छद्म-वॉल्यूम फॉर्म के रूप में भी जाना जाता है। यह एक माप को भी परिभाषित करता है, लेकिन किसी भी विभेदक विविधता पर मौजूद होता है, चाहे वह उन्मुख हो या नहीं।
एक वॉल्यूम फॉर्म एक भिन्न मैनिफोल्ड पर एक [[फ़ंक्शन (गणित)|फलन (गणित)]] के [[अभिन्न]] अंग को परिभाषित करने का एक साधन प्रदान करता है। दूसरे शब्दों में, एक वॉल्यूम फॉर्म एक [[माप (गणित)]] को जन्म देता है जिसके संबंध में कार्यों को उपयुक्त [[लेब्सग इंटीग्रल]] द्वारा एकीकृत किया जा सकता है। वॉल्यूम फॉर्म का निरपेक्ष मान एक वॉल्यूम तत्व है, जिसे विभिन्न प्रकार से ट्विस्टेड वॉल्यूम फॉर्म या छद्म-वॉल्यूम फॉर्म के रूप में भी जाना जाता है। यह एक माप को भी परिभाषित करता है, लेकिन किसी भी अवकलक विविधता पर मौजूद होता है, चाहे वह ओरियंटेबल  हो या नहीं।


काहलर मैनिफोल्ड्स, जटिल मैनिफोल्ड्स होने के कारण, स्वाभाविक रूप से उन्मुख होते हैं, और इसलिए उनके पास वॉल्यूम फॉर्म होता है। अधिक सामान्यतः, <math>n</math>[[सिंपलेक्टिक मैनिफ़ोल्ड]] पर सिंपलेक्टिक रूप की [[बाहरी शक्ति]] एक आयतन रूप है। मैनिफोल्ड्स के कई वर्गों में कैनोनिकल वॉल्यूम फॉर्म होते हैं: उनके पास अतिरिक्त संरचना होती है जो पसंदीदा वॉल्यूम फॉर्म की पसंद की अनुमति देती है। ओरिएंटेड [[छद्म-रीमैनियन मैनिफोल्ड]] में एक संबद्ध कैनोनिकल वॉल्यूम फॉर्म होता है।
काहलर मैनिफोल्ड्स, जटिल मैनिफोल्ड्स होने के कारण, स्वाभाविक रूप से ओरियंटेबल  होते हैं, और इसलिए उनके पास वॉल्यूम फॉर्म होता है। अधिक सामान्यतः, <math>n</math>[[सिंपलेक्टिक मैनिफ़ोल्ड]] पर सिंपलेक्टिक रूप की [[बाहरी शक्ति]] एक आयतन रूप है। मैनिफोल्ड्स के कई वर्गों में कैनोनिकल वॉल्यूम फॉर्म होते हैं: उनके पास अतिरिक्त संरचना होती है जो पसंदीदा वॉल्यूम फॉर्म की पसंद की अनुमति देती है। ओरिएंटेड [[छद्म-रीमैनियन मैनिफोल्ड]] में एक संबद्ध कैनोनिकल वॉल्यूम फॉर्म होता है।


==अभिविन्यास ==
==अभिविन्यास ==
Line 23: Line 23:
{{See also|Density on a manifold}}
{{See also|Density on a manifold}}


वॉल्यूम फॉर्म दिया गया है <math>\omega</math> एक उन्मुख मैनिफोल्ड पर, घनत्व एक मैनिफोल्ड पर <math>|\omega|</math> ओरिएंटेशन को भूलकर प्राप्त नॉनओरिएंटेड मैनिफोल्ड पर एक वॉल्यूम [[स्यूडोटेंसर]]|छद्म-रूप है। घनत्व को सामान्यतः गैर-अभिमुख मैनिफोल्ड्स पर भी परिभाषित किया जा सकता है।
वॉल्यूम फॉर्म दिया गया है <math>\omega</math> एक ओरियंटेबल  मैनिफोल्ड पर, घनत्व एक मैनिफोल्ड पर <math>|\omega|</math> ओरिएंटेशन को भूलकर प्राप्त नॉनओरिएंटेड मैनिफोल्ड पर एक वॉल्यूम [[स्यूडोटेंसर]]|छद्म-रूप है। घनत्व को सामान्यतः गैर-अभिमुख मैनिफोल्ड्स पर भी परिभाषित किया जा सकता है।


कोई भी आयतन छद्म रूप <math>\omega</math> (और इसलिए कोई भी आयतन रूप) [[बोरेल सेट]] पर एक माप को परिभाषित करता है
कोई भी आयतन छद्म रूप <math>\omega</math> (और इसलिए कोई भी आयतन रूप) [[बोरेल सेट]] पर एक माप को परिभाषित करता है
<math display=block>\mu_\omega(U) = \int_U\omega .</math>
<math display=block>\mu_\omega(U) = \int_U\omega .</math>
अंतर यह है कि जहां एक माप को (बोरेल) उपसमुच्चय पर एकीकृत किया जा सकता है, वहीं एक वॉल्यूम फॉर्म को केवल एक उन्मुख सेल पर एकीकृत किया जा सकता है। एकल चर कलन में, लेखन <math display=inline>\int_b^a f\,dx = -\int_a^b f\,dx</math> पर विचार <math>dx</math> एक आयतन रूप के रूप में, न कि केवल एक माप के रूप में, और <math display=inline>\int_b^a</math> सेल पर एकीकृत होने का संकेत देता है <math>[a,b]</math> विपरीत दिशा के साथ, कभी-कभी निरूपित किया जाता है <math>\overline{[a, b]}</math>.
अंतर यह है कि जहां एक माप को (बोरेल) उपसमुच्चय पर एकीकृत किया जा सकता है, वहीं एक वॉल्यूम फॉर्म को केवल एक ओरियंटेबल  सेल पर एकीकृत किया जा सकता है। एकल चर कलन में, लेखन <math display=inline>\int_b^a f\,dx = -\int_a^b f\,dx</math> पर विचार <math>dx</math> एक आयतन रूप के रूप में, न कि केवल एक माप के रूप में, और <math display=inline>\int_b^a</math> सेल पर एकीकृत होने का संकेत देता है <math>[a,b]</math> विपरीत दिशा के साथ, कभी-कभी निरूपित किया जाता है <math>\overline{[a, b]}</math>.


इसके अलावा, सामान्य उपायों को निरंतर या सुचारू होने की आवश्यकता नहीं है: उन्हें वॉल्यूम फॉर्म द्वारा परिभाषित करने की आवश्यकता नहीं है, या अधिक औपचारिक रूप से, किसी दिए गए वॉल्यूम फॉर्म के संबंध में उनके रेडॉन-निकोडिम व्युत्पन्न को [[बिल्कुल निरंतर]] होने की आवश्यकता नहीं है।
इसके अलावा, सामान्य उपायों को निरंतर या सुचारू होने की आवश्यकता नहीं है: उन्हें वॉल्यूम फॉर्म द्वारा परिभाषित करने की आवश्यकता नहीं है, या अधिक औपचारिक रूप से, किसी दिए गए वॉल्यूम फॉर्म के संबंध में उनके रेडॉन-निकोडिम व्युत्पन्न को [[बिल्कुल निरंतर]] होने की आवश्यकता नहीं है।
Line 33: Line 33:
==विचलन==
==विचलन==


वॉल्यूम फॉर्म दिया गया है <math>\omega</math> पर <math>M,</math> कोई सदिश क्षेत्र के [[विचलन]] को परिभाषित कर सकता है <math>X</math> अद्वितीय अदिश-मान फ़ंक्शन के रूप में, द्वारा दर्शाया गया <math>\operatorname{div} X,</math> संतुष्टि देने वाला
वॉल्यूम फॉर्म दिया गया है <math>\omega</math> पर <math>M,</math> कोई सदिश क्षेत्र के [[विचलन]] को परिभाषित कर सकता है <math>X</math> अद्वितीय अदिश-मान फलन के रूप में, द्वारा दर्शाया गया <math>\operatorname{div} X,</math> संतुष्टि देने वाला
<math display=block>(\operatorname{div} X)\omega = L_X\omega = d(X \mathbin{\!\rfloor} \omega) ,</math>
<math display=block>(\operatorname{div} X)\omega = L_X\omega = d(X \mathbin{\!\rfloor} \omega) ,</math>
कहाँ <math>L_X</math> साथ में [[झूठ व्युत्पन्न]] को दर्शाता है <math>X</math> और <math>X \mathbin{\!\rfloor} \omega</math> [[आंतरिक उत्पाद]] या बाएँ [[टेंसर संकुचन]] को दर्शाता है <math>\omega</math> साथ में <math>X.</math> अगर <math>X</math> एक [[ संक्षिप्त समर्थन ]] वेक्टर फ़ील्ड है और <math>M</math> [[सीमा के साथ कई गुना]] है, तो स्टोक्स प्रमेय का तात्पर्य है
कहाँ <math>L_X</math> साथ में [[झूठ व्युत्पन्न]] को दर्शाता है <math>X</math> और <math>X \mathbin{\!\rfloor} \omega</math> [[आंतरिक उत्पाद]] या बाएँ [[टेंसर संकुचन]] को दर्शाता है <math>\omega</math> साथ में <math>X.</math> अगर <math>X</math> एक [[ संक्षिप्त समर्थन ]] वेक्टर फ़ील्ड है और <math>M</math> [[सीमा के साथ कई गुना]] है, तो स्टोक्स प्रमेय का तात्पर्य है
Line 45: Line 45:
=== [[झूठ समूह]] ===
=== [[झूठ समूह]] ===


किसी भी झूठ समूह के लिए, एक प्राकृतिक वॉल्यूम फॉर्म को अनुवाद द्वारा परिभाषित किया जा सकता है। अर्थात यदि <math>\omega_e</math> का एक तत्व है <math>{\textstyle\bigwedge}^n T_e^*G,</math> तब एक वाम-अपरिवर्तनीय रूप को परिभाषित किया जा सकता है <math>\omega_g = L_{g^{-1}}^*\omega_e,</math> कहाँ <math>L_g</math> वाम-अनुवाद है. परिणामस्वरूप, प्रत्येक झूठ समूह उन्मुख होता है। यह आयतन रूप एक अदिश राशि तक अद्वितीय होता है, और संबंधित माप को हार माप के रूप में जाना जाता है।
किसी भी झूठ समूह के लिए, एक प्राकृतिक वॉल्यूम फॉर्म को अनुवाद द्वारा परिभाषित किया जा सकता है। अर्थात यदि <math>\omega_e</math> का एक तत्व है <math>{\textstyle\bigwedge}^n T_e^*G,</math> तब एक वाम-अपरिवर्तनीय रूप को परिभाषित किया जा सकता है <math>\omega_g = L_{g^{-1}}^*\omega_e,</math> कहाँ <math>L_g</math> वाम-अनुवाद है. परिणामस्वरूप, प्रत्येक झूठ समूह ओरियंटेबल  होता है। यह आयतन रूप एक अदिश राशि तक अद्वितीय होता है, और संबंधित माप को हार माप के रूप में जाना जाता है।


=== सिंपलेक्टिक मैनिफोल्ड्स ===
=== सिंपलेक्टिक मैनिफोल्ड्स ===


किसी भी सिंपलेक्टिक मैनिफोल्ड (या वास्तव में किसी भी [[लगभग सिंपलेक्टिक मैनिफोल्ड]]) का एक प्राकृतिक आयतन रूप होता है। अगर <math>M</math> एक है <math>2 n</math>[[सरलीकृत रूप]] के साथ आयामी कई गुना <math>\omega,</math> तब <math>\omega^n</math> सहानुभूतिपूर्ण रूप की गैर-अपघटन के परिणामस्वरूप कहीं भी शून्य नहीं है। परिणाम के रूप में, कोई भी सिम्प्लेक्टिक मैनिफोल्ड उन्मुख (वास्तव में, उन्मुख) होता है। यदि मैनिफोल्ड सिम्प्लेक्टिक और रीमैनियन दोनों है, तो यदि मैनिफोल्ड काहलर मैनिफोल्ड|काहलर है, तो दो वॉल्यूम रूप सहमत हैं।
किसी भी सिंपलेक्टिक मैनिफोल्ड (या वास्तव में किसी भी [[लगभग सिंपलेक्टिक मैनिफोल्ड]]) का एक प्राकृतिक आयतन रूप होता है। अगर <math>M</math> एक है <math>2 n</math>[[सरलीकृत रूप]] के साथ आयामी कई गुना <math>\omega,</math> तब <math>\omega^n</math> सहानुभूतिपूर्ण रूप की गैर-अपघटन के परिणामस्वरूप कहीं भी शून्य नहीं है। परिणाम के रूप में, कोई भी सिम्प्लेक्टिक मैनिफोल्ड ओरियंटेबल  (वास्तव में, उन्मुख) होता है। यदि मैनिफोल्ड सिम्प्लेक्टिक और रीमैनियन दोनों है, तो यदि मैनिफोल्ड काहलर मैनिफोल्ड|काहलर है, तो दो वॉल्यूम रूप सहमत हैं।


=== रीमैनियन वॉल्यूम फॉर्म ===
=== रीमैनियन वॉल्यूम फॉर्म ===
Line 55: Line 55:
किसी भी ओरिएंटेशन (गणित) स्यूडो-[[रीमैनियन [[ कई गुना ]]]]|स्यूडो-रीमैनियन (रीमैनियन मैनिफोल्ड सहित) मैनिफोल्ड का एक प्राकृतिक आयतन रूप होता है। [[स्थानीय निर्देशांक]] में, इसे इस प्रकार व्यक्त किया जा सकता है
किसी भी ओरिएंटेशन (गणित) स्यूडो-[[रीमैनियन [[ कई गुना ]]]]|स्यूडो-रीमैनियन (रीमैनियन मैनिफोल्ड सहित) मैनिफोल्ड का एक प्राकृतिक आयतन रूप होता है। [[स्थानीय निर्देशांक]] में, इसे इस प्रकार व्यक्त किया जा सकता है
<math display=block>\omega = \sqrt{|g|} dx^1\wedge \dots \wedge dx^n</math>
<math display=block>\omega = \sqrt{|g|} dx^1\wedge \dots \wedge dx^n</math>
जहां <math>dx^i</math> [[1-रूप]] हैं जो मैनिफोल्ड के [[कोटैंजेंट बंडल]] के लिए सकारात्मक रूप से उन्मुख आधार बनाते हैं। यहाँ, <math>|g|</math> मैनिफोल्ड पर [[मीट्रिक टेंसर]] के मैट्रिक्स प्रतिनिधित्व के निर्धारक का पूर्ण मूल्य है।
जहां <math>dx^i</math> [[1-रूप]] हैं जो मैनिफोल्ड के [[कोटैंजेंट बंडल]] के लिए सकारात्मक रूप से ओरियंटेबल  आधार बनाते हैं। यहाँ, <math>|g|</math> मैनिफोल्ड पर [[मीट्रिक टेंसर]] के मैट्रिक्स प्रतिनिधित्व के निर्धारक का पूर्ण मूल्य है।


आयतन रूप को विभिन्न प्रकार से निरूपित किया जाता है
आयतन रूप को विभिन्न प्रकार से निरूपित किया जाता है
<math display=block>\omega = \mathrm{vol}_n = \varepsilon = {\star}(1).</math>
<math display=block>\omega = \mathrm{vol}_n = \varepsilon = {\star}(1).</math>
यहां ही <math>{\star}</math> हॉज तारा है, इस प्रकार अंतिम रूप है, <math>{\star} (1),</math> जोर देता है कि वॉल्यूम फॉर्म मैनिफोल्ड पर स्थिर मानचित्र का हॉज डुअल है, जो लेवी-सिविटा टेंसर के बराबर है|लेवी-सिविटा टेंसर <math>\varepsilon.</math>
यहां ही <math>{\star}</math> हॉज तारा है, इस प्रकार अंतिम रूप है, <math>{\star} (1),</math> जोर देता है कि वॉल्यूम फॉर्म मैनिफोल्ड पर स्थिर मानचित्र का हॉज डुअल है, जो लेवी-सिविटा टेंसर के बराबर है|लेवी-सिविटा टेंसर <math>\varepsilon.</math>
यद्यपि यूनानी अक्षर <math>\omega</math> वॉल्यूम फॉर्म को दर्शाने के लिए अक्सर उपयोग किया जाता है, यह नोटेशन सार्वभौमिक नहीं है; प्रतीक <math>\omega</math> [[विभेदक ज्यामिति]] में अक्सर कई अन्य अर्थ होते हैं (जैसे कि एक सहानुभूतिपूर्ण रूप)।
यद्यपि यूनानी अक्षर <math>\omega</math> वॉल्यूम फॉर्म को दर्शाने के लिए अक्सर उपयोग किया जाता है, यह नोटेशन सार्वभौमिक नहीं है; प्रतीक <math>\omega</math> [[विभेदक ज्यामिति|अवकलक ज्यामिति]] में अक्सर कई अन्य अर्थ होते हैं (जैसे कि एक सहानुभूतिपूर्ण रूप)।


==आयतन रूप के अपरिवर्तनीय==
==आयतन रूप के अपरिवर्तनीय==
Line 66: Line 66:
वॉल्यूम फॉर्म अद्वितीय नहीं हैं; वे निम्नानुसार मैनिफोल्ड पर गैर-लुप्त होने वाले कार्यों पर एक [[ मरोड़ ]] बनाते हैं। एक गैर-लुप्त होने वाला कार्य दिया गया <math>f</math> पर <math>M,</math> और एक वॉल्यूम फॉर्म <math>\omega,</math> <math>f\omega</math> पर एक वॉल्यूम फॉर्म है <math>M.</math> इसके विपरीत, दो खंड रूप दिए गए हैं <math>\omega, \omega',</math> उनका अनुपात एक गैर-लुप्त होने वाला कार्य है (यदि वे समान अभिविन्यास को परिभाषित करते हैं तो सकारात्मक, यदि वे विपरीत अभिविन्यास को परिभाषित करते हैं तो नकारात्मक)।
वॉल्यूम फॉर्म अद्वितीय नहीं हैं; वे निम्नानुसार मैनिफोल्ड पर गैर-लुप्त होने वाले कार्यों पर एक [[ मरोड़ ]] बनाते हैं। एक गैर-लुप्त होने वाला कार्य दिया गया <math>f</math> पर <math>M,</math> और एक वॉल्यूम फॉर्म <math>\omega,</math> <math>f\omega</math> पर एक वॉल्यूम फॉर्म है <math>M.</math> इसके विपरीत, दो खंड रूप दिए गए हैं <math>\omega, \omega',</math> उनका अनुपात एक गैर-लुप्त होने वाला कार्य है (यदि वे समान अभिविन्यास को परिभाषित करते हैं तो सकारात्मक, यदि वे विपरीत अभिविन्यास को परिभाषित करते हैं तो नकारात्मक)।


निर्देशांक में, वे दोनों केवल एक गैर-शून्य फ़ंक्शन समय [[लेब्सेग माप]] हैं, और उनका अनुपात फ़ंक्शन का अनुपात है, जो निर्देशांक की पसंद से स्वतंत्र है। आंतरिक रूप से, यह रेडॉन-निकोडिम प्रमेय#रेडॉन.E2.80.93निकोडिम व्युत्पन्न है|रेडॉन-निकोडिम व्युत्पन्न <math>\omega'</math> इसके संबंध में <math>\omega.</math> एक ओरिएंटेड मैनिफोल्ड पर, किन्हीं दो वॉल्यूम रूपों की आनुपातिकता को रेडॉन-निकोडिम प्रमेय के ज्यामितीय रूप के रूप में माना जा सकता है।
निर्देशांक में, वे दोनों केवल एक गैर-शून्य फलन समय [[लेब्सेग माप]] हैं, और उनका अनुपात फलन का अनुपात है, जो निर्देशांक की पसंद से स्वतंत्र है। आंतरिक रूप से, यह रेडॉन-निकोडिम प्रमेय#रेडॉन.E2.80.93निकोडिम व्युत्पन्न है|रेडॉन-निकोडिम व्युत्पन्न <math>\omega'</math> इसके संबंध में <math>\omega.</math> एक ओरिएंटेड मैनिफोल्ड पर, किन्हीं दो वॉल्यूम रूपों की आनुपातिकता को रेडॉन-निकोडिम प्रमेय के ज्यामितीय रूप के रूप में माना जा सकता है।


===कोई स्थानीय संरचना नहीं===
===कोई स्थानीय संरचना नहीं===
Line 75: Line 75:
वॉल्यूम फॉर्म दिया गया है <math>\omega</math> पर <math>\R,</math> परिभाषित करना
वॉल्यूम फॉर्म दिया गया है <math>\omega</math> पर <math>\R,</math> परिभाषित करना
<math display=block>f(x) := \int_0^x \omega.</math>
<math display=block>f(x) := \int_0^x \omega.</math>
फिर मानक लेब्सग्यू माप <math>dx</math> [[पुलबैक (विभेदक ज्यामिति)]] को <math>\omega</math> अंतर्गत <math>f</math>: <math>\omega = f^*dx.</math> ठोस रूप से, <math>\omega = f'\,dx.</math> उच्च आयामों में, कोई भी बिंदु दिया गया <math>m \in M,</math> इसका पड़ोस स्थानीय रूप से होमियोमॉर्फिक है <math>\R\times\R^{n-1},</math> और कोई भी वही प्रक्रिया लागू कर सकता है।
फिर मानक लेब्सग्यू माप <math>dx</math> [[पुलबैक (विभेदक ज्यामिति)|पुलबैक (अवकलक ज्यामिति)]] को <math>\omega</math> अंतर्गत <math>f</math>: <math>\omega = f^*dx.</math> ठोस रूप से, <math>\omega = f'\,dx.</math> उच्च आयामों में, कोई भी बिंदु दिया गया <math>m \in M,</math> इसका पड़ोस स्थानीय रूप से होमियोमॉर्फिक है <math>\R\times\R^{n-1},</math> और कोई भी वही प्रक्रिया लागू कर सकता है।


===वैश्विक संरचना: आयतन===
===वैश्विक संरचना: आयतन===

Revision as of 16:54, 9 July 2023

गणित में, आयतन रूप या शीर्ष-आयामी रूप अवकलन मैनीफोल्ड आयाम के बराबर डिग्री का एक अवकलक रूप है। इस प्रकार मैनीफोल्ड पर आयाम का , वॉल्यूम फॉर्म एक -प्रपत्र के रूप में होता है। यह लाइन बंडल के अनुभाग (फाइबर बंडल) के स्थान का एक तत्व के रूप में होता है , इस रूप में घोषित किया गया . मैनिफोल्ड कहीं न लुप्त होने वाले आयतन रूप को स्वीकार करता है यदि और केवल यदि वह ओरियंटेबल है। एक ओरिएंटेबल मैनिफोल्ड में अनंत रूप से कई वॉल्यूम फॉर्म होते हैं, क्योंकि वॉल्यूम फॉर्म को एक फलन द्वारा गुणा करने पर दूसरा वॉल्यूम फॉर्म प्राप्त होता है। गैर-ओरियंटेबल मैनिफोल्ड्स पर इसके अतिरिक्त घनत्व की कमजोर धारणा को परिभाषित किया जा सकता है।

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

काहलर मैनिफोल्ड्स, जटिल मैनिफोल्ड्स होने के कारण, स्वाभाविक रूप से ओरियंटेबल होते हैं, और इसलिए उनके पास वॉल्यूम फॉर्म होता है। अधिक सामान्यतः, सिंपलेक्टिक मैनिफ़ोल्ड पर सिंपलेक्टिक रूप की बाहरी शक्ति एक आयतन रूप है। मैनिफोल्ड्स के कई वर्गों में कैनोनिकल वॉल्यूम फॉर्म होते हैं: उनके पास अतिरिक्त संरचना होती है जो पसंदीदा वॉल्यूम फॉर्म की पसंद की अनुमति देती है। ओरिएंटेड छद्म-रीमैनियन मैनिफोल्ड में एक संबद्ध कैनोनिकल वॉल्यूम फॉर्म होता है।

अभिविन्यास

निम्नलिखित केवल भिन्न-भिन्न मैनिफोल्ड्स की ओरिएंटेबिलिटी के बारे में होगा (यह किसी भी टोपोलॉजिकल मैनिफोल्ड पर परिभाषित एक अधिक सामान्य धारणा है)।

एक मैनिफोल्ड एडजस्टेबल होता है यदि इसमें एक समन्वय एटलस होता है जिसके सभी संक्रमण कार्यों में सकारात्मक जैकोबियन निर्धारक होते हैं। ऐसे अधिकतम एटलस का चयन एक अभिविन्यास है एक वॉल्यूम फॉर्म पर समन्वय चार्ट के एटलस के रूप में प्राकृतिक तरीके से एक अभिविन्यास को जन्म देता है वह भेजें यूक्लिडियन वॉल्यूम फॉर्म के सकारात्मक गुणक के लिए वॉल्यूम फॉर्म चलती फ्रेम के पसंदीदा वर्ग के विनिर्देशन की भी अनुमति देता है स्पर्शरेखा सदिशों का आधार बताइए दाएँ हाथ से काम करने वाला अगर

सभी दाएं हाथ के फ़्रेमों का संग्रह समूह क्रिया (गणित) समूह द्वारा (गणित) है सामान्य रैखिक समूह मानचित्रण में सकारात्मक निर्धारक के साथ आयाम. वे एक प्रिंसिपल बंडल|प्रिंसिपल बनाते हैं के रैखिक फ्रेम बंडल का उप-बंडल और इसलिए वॉल्यूम फॉर्म से जुड़ा अभिविन्यास फ्रेम बंडल की एक विहित कमी देता है संरचना समूह के साथ एक उप-बंडल में