आयतन रूप

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

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

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

ओरिएंटेशन

नीचे केवल अवकलनीयता मैनिफ़ोल्ड के ओरिएंटेशन के बारे में बताया जाता है, यह किसी भी टोपोलॉजिकल मैनिफोल्ड पर परिभाषित एक अधिक सामान्य धारणा है।

एक मैनिफोल्ड एडजस्टेबल होता है, यदि इसमें एक निर्देशांक एटलस होता है, जिसके सभी ट्रांजीशन फलनों में धनात्मक जैकोबियन डीटरमीनेट होते हैं। ऐसे अधिकतम एटलस का चयन एक ओरिएंटेशन $M.$ के रूप में होता है, एक वॉल्यूम फॉर्म $\omega$ पर $M$ निर्देशांक चार्ट के एटलस के रूप में प्राकृतिक विधि से एक ओरिएंटेशन $M$ को जन्म देता है, जिससे कि वह $\omega$ यूक्लिडियन वॉल्यूम फॉर्म के धनात्मक गुणक के लिए $dx^{1}\wedge \cdots \wedge dx^{n}.$के रूप में होते है।

वॉल्यूम फॉर्म $M.$पर फ्रेम के पसंदीदा वर्ग के विनिर्देशन की भी अनुमति देता है और इस प्रकार स्पर्शरेखा सदिश $(X_{1},\ldots ,X_{n})$ के आधार को दाएँ हाथ से कॉल करते है यदि यह इस रूप में होते है

$$\omega \left(X_{1},X_{2},\ldots ,X_{n}\right)>0.$$

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

$\omega \left(X_{1},X_{2},\ldots ,X_{n}\right)=1.$

(1)

इस प्रकार एक आयतन रूप एक $\mathrm {SL} (n)$ संरचना को भी जन्म देता है। इसके विपरीत एक दिया गया $\mathrm {SL} (n)$ संरचना विशेष रैखिक फ़्रेमों के लिए (1) लगाकर और फिर आवश्यक n फॉर्म को हल करके वॉल्यूम फॉर्म को पुनर्प्राप्त कर सकती है और इस प्रकार $\omega$ अपने तर्कों में एकरूपता की आवश्यकता होती है।

मैनिफोल्ड ओरिएंटेबल यदि इसमें कहीं भी गायब होने वाला वॉल्यूम फॉर्म न हो तो वास्तव में, $\mathrm {SL} (n)\to \mathrm {GL} ^{+}(n)$ के रूप में एक विरूपण प्रत्यावर्तन होता है, $\mathrm {GL} ^{+}=\mathrm {SL} \times \mathbb {R} ^{+},$ जहां धनात्मक वास्तविकताएं अदिश आव्यूह के रूप में अंतर्निहित हैं। इस प्रकार प्रत्येक $\mathrm {GL} ^{+}(n)$ संरचना को कम किया जा सकता है और इस प्रकार $\mathrm {SL} (n)$ संरचना,और $\mathrm {GL} ^{+}(n)$ संरचनाएँ ओरिएंटेशन के साथ मेल खाती हैं, चूंकि $M.$ अधिक ठोस रूप से, डीटरमीनेट बंडल की ट्रिवियल $\Omega ^{n}(M)$ ओरिएंटेबिलिटी के बराबर होती है और एक लाइन बंडल ट्रिवियल के रूप में होता है यदि केवल इसमें कहीं भी गायब होने वाला अनुभाग नहीं होता है। इस प्रकार, वॉल्यूम फॉर्म का अस्तित्व ओरिएंटेबिलिटी के बराबर होता है।

मापन से संबंध

See also: मैनिफोल्ड पर घनत्व

वॉल्यूम फॉर्म दिया गया है $\omega$ एक ओरियंटेबल मैनिफोल्ड पर घनत्व $|\omega |$ ओरिएंटेशन को भूलकर प्राप्त नॉनओरिएंटेड मैनिफोल्ड पर एक वॉल्यूम प्सयूडो फॉर्म के रूप में होते है। घनत्व को सामान्यतः नॉन ओरिएंटेशन मैनिफोल्ड्स पर परिभाषित किया जाता है।

कोई भी आयतन प्सयूडो फॉर्म $\omega$ बोरेल सेट पर एक माप को परिभाषित करता है और इसलिए कोई भी आयतन फॉर्म को परिभाषित करता है

$$\mu _{\omega }(U)=\int _{U}\omega .$$

अंतर यह है कि जहां एक माप को (बोरेल) उपसमुच्चय पर एकीकृत किया जा सकता है, वहीं एक वॉल्यूम फॉर्म को केवल एक ओरियंटेबल सेल पर एकीकृत किया जा सकता है। एकल चर कलन में लेखन ${\textstyle \int _{b}^{a}f\,dx=-\int _{a}^{b}f\,dx}$ पर विचार $dx$ एक आयतन फॉर्म के रूप में और न कि केवल एक माप के रूप में होता है और ${\textstyle \int _{b}^{a}}$ सेल पर एकीकृत होने का संकेत देता है $[a,b]$ विपरीत दिशा के साथ कभी-कभी निरूपित किया जाता है ${\overline {[a,b]}}$.

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

विचलन

वॉल्यूम फॉर्म दिया गया है $\omega$ पर $M,$ कोई सदिश क्षेत्र के विचलन को परिभाषित कर सकता है $X$ अद्वितीय अदिश-मान फलन के रूप में, द्वारा दर्शाया गया $\operatorname {div} X,$ संतुष्टि देने वाला

$$(\operatorname {div} X)\omega =L_{X}\omega =d(X\mathbin {\!\rfloor } \omega ),$$

कहाँ $L_{X}$ साथ में झूठ व्युत्पन्न को दर्शाता है $X$ और $X\mathbin {\!\rfloor } \omega$ आंतरिक उत्पाद या बाएँ टेंसर संकुचन को दर्शाता है $\omega$ साथ में $X.$ अगर $X$ एक संक्षिप्त समर्थन वेक्टर फ़ील्ड है और $M$ सीमा के साथ कई गुना है, तो स्टोक्स प्रमेय का तात्पर्य है

$$\int _{M}(\operatorname {div} X)\omega =\int _{\partial M}X\mathbin {\!\rfloor } \omega ,$$

जो विचलन प्रमेय का सामान्यीकरण है।

सोलेनॉइडल वेक्टर फ़ील्ड वे हैं जिनके साथ $\operatorname {div} X=0.$ ली व्युत्पन्न की परिभाषा से यह पता चलता है कि वॉल्यूम फॉर्म को सोलेनोइडल वेक्टर क्षेत्र के वेक्टर प्रवाह के तहत संरक्षित किया जाता है। इस प्रकार सोलनॉइडल वेक्टर फ़ील्ड सटीक रूप से वे होते हैं जिनमें वॉल्यूम-संरक्षण प्रवाह होता है। यह तथ्य सर्वविदित है, उदाहरण के लिए, द्रव यांत्रिकी में जहां एक वेग क्षेत्र का विचलन एक तरल पदार्थ की संपीड़न क्षमता को मापता है, जो बदले में तरल पदार्थ के प्रवाह के साथ मात्रा को संरक्षित करने की सीमा को दर्शाता है।

विशेष मामले

झूठ समूह

किसी भी झूठ समूह के लिए, एक प्राकृतिक वॉल्यूम फॉर्म को अनुवाद द्वारा परिभाषित किया जा सकता है। अर्थात यदि $\omega _{e}$ का एक तत्व है ${\textstyle \bigwedge }^{n}T_{e}^{*}G,$ तब एक वाम-अपरिवर्तनीय रूप को परिभाषित किया जा सकता है $\omega _{g}=L_{g^{-1}}^{*}\omega _{e},$ कहाँ $L_{g}$ वाम-अनुवाद है. परिणामस्वरूप, प्रत्येक झूठ समूह ओरियंटेबल होता है। यह आयतन फॉर्म एक अदिश राशि तक अद्वितीय होता है, और संबंधित माप को हार माप के रूप में जाना जाता है।

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

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

रीमैनियन वॉल्यूम फॉर्म

किसी भी ओरिएंटेशन (गणित) स्यूडो-[[रीमैनियन कई गुना ]]|स्यूडो-रीमैनियन (रीमैनियन मैनिफोल्ड सहित) मैनिफोल्ड का एक प्राकृतिक आयतन फॉर्म होता है। स्थानीय निर्देशांक में, इसे इस प्रकार व्यक्त किया जा सकता है

$$\omega ={\sqrt {|g|}}dx^{1}\wedge \dots \wedge dx^{n}$$

जहां $dx^{i}$ 1-रूप हैं जो मैनिफोल्ड के कोटैंजेंट बंडल के लिए धनात्मक रूप से ओरियंटेबल आधार बनाते हैं। यहाँ, $|g|$ मैनिफोल्ड पर मीट्रिक टेंसर के मैट्रिक्स प्रतिनिधित्व के डीटरमीनेट का पूर्ण मूल्य है।

आयतन फॉर्म को विभिन्न प्रकार से निरूपित किया जाता है

$$\omega =\mathrm {vol} _{n}=\varepsilon ={\star }(1).$$

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

आयतन फॉर्म के अपरिवर्तनीय

वॉल्यूम फॉर्म अद्वितीय नहीं हैं; वे निम्नानुसार मैनिफोल्ड पर गैर-लुप्त होने वाले फलनों पर एक मरोड़ बनाते हैं। एक गैर-लुप्त होने वाला कार्य दिया गया $f$ पर $M,$ और एक वॉल्यूम फॉर्म $\omega ,$ $f\omega$ पर एक वॉल्यूम फॉर्म है $M.$ इसके विपरीत, दो खंड रूप दिए गए हैं $\omega ,\omega ',$ उनका अनुपात एक गैर-लुप्त होने वाला कार्य है (यदि वे समान ओरिएंटेशन को परिभाषित करते हैं तो सकारात्मक, यदि वे विपरीत ओरिएंटेशन को परिभाषित करते हैं तो ऋणात्मक )।

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

कोई स्थानीय संरचना नहीं

मैनिफ़ोल्ड पर वॉल्यूम फॉर्म की कोई स्थानीय संरचना नहीं होती है, इस अर्थ में कि छोटे खुले सेटों पर दिए गए वॉल्यूम फॉर्म और यूक्लिडियन स्पेस पर वॉल्यूम फॉर्म के बीच अंतर करना संभव नहीं है। (Kobayashi 1972). यानी हर बिंदु के लिए $p$ में $M,$ वहाँ एक खुला पड़ोस है $U$ का $p$ और एक भिन्नता $\varphi$ का $U$ एक खुले सेट पर $\mathbb {R} ^{n}$ इस तरह कि वॉल्यूम बनता रहे $U$ का ठहराना है $dx^{1}\wedge \cdots \wedge dx^{n}$ साथ में $\varphi .$ एक परिणाम के रूप में, यदि $M$ और $N$ दो मैनिफ़ोल्ड हैं, प्रत्येक वॉल्यूम फॉर्म के साथ $\omega _{M},\omega _{N},$ फिर किसी भी बिंदु के लिए $m\in M,n\in N,$ खुले पड़ोस हैं $U$ का $m$ और $V$ का $n$ और एक नक्शा $f:U\to V$ इस तरह कि वॉल्यूम बनता रहे $N$ पड़ोस तक ही सीमित है $V$ वॉल्यूम फॉर्म पर वापस खींचता है $M$ पड़ोस तक ही सीमित है $U$: $f^{*}\omega _{N}\vert _{V}=\omega _{M}\vert _{U}.$ एक आयाम में, कोई इसे इस प्रकार सिद्ध कर सकता है: वॉल्यूम फॉर्म दिया गया है $\omega$ पर $\mathbb {R} ,$ परिभाषित करना

$$f(x):=\int _{0}^{x}\omega .$$

फिर मानक लेब्सग्यू माप $dx$ पुलबैक (अवकलक ज्यामिति) को $\omega$ अंतर्गत $f$: $\omega =f^{*}dx.$ ठोस रूप से, $\omega =f'\,dx.$ उच्च आयामों में, कोई भी बिंदु दिया गया $m\in M,$ इसका पड़ोस स्थानीय रूप से होमियोमॉर्फिक है $\mathbb {R} \times \mathbb {R} ^{n-1},$ और कोई भी वही प्रक्रिया लागू कर सकता है।

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

कनेक्टेड मैनिफोल्ड पर एक वॉल्यूम फॉर्म $M$ एक एकल वैश्विक अपरिवर्तनीय, अर्थात् (समग्र) आयतन, दर्शाया गया है $\mu (M),$ जो आयतन-रूप संरक्षित मानचित्रों के अंतर्गत अपरिवर्तनीय है; यह अनंत हो सकता है, जैसे कि लेब्सग्यू माप के लिए $\mathbb {R} ^{n}.$ डिस्कनेक्टेड मैनिफोल्ड पर, प्रत्येक जुड़े घटक का आयतन अपरिवर्तनीय होता है।

प्रतीकों में, यदि $f:M\to N$ अनेक गुनाओं की एक समरूपता है जो पीछे की ओर खींचती है $\omega _{N}$ को $\omega _{M},$ तब

$$\mu (N)=\int _{N}\omega _{N}=\int _{f(M)}\omega _{N}=\int _{M}f^{*}\omega _{N}=\int _{M}\omega _{M}=\mu (M)\,$$

और मैनिफोल्ड्स का आयतन समान है।

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

यह भी देखें

• Cylindrical coordinate system § Line and volume elements
• Measure (mathematics)
• पोंकारे मीट्रिक जटिल तल पर वॉल्यूम फॉर्म की समीक्षा प्रदान करता है
• Spherical coordinate system § Integration and differentiation in spherical coordinates

संदर्भ

• Kobayashi, S. (1972), Transformation Groups in Differential Geometry, Classics in Mathematics, Springer, ISBN 3-540-58659-8, OCLC 31374337.
• Spivak, Michael (1965), Calculus on Manifolds, Reading, Massachusetts: W.A. Benjamin, Inc., ISBN 0-8053-9021-9.