आयतन रूप

गणित में, आयतन रूप या शीर्ष-आयामी रूप विभेदक कई गुना आयाम के बराबर डिग्री का एक विभेदक रूप है। इस प्रकार अनेक गुना पर $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.$$

सभी दाएं हाथ के फ़्रेमों का संग्रह समूह क्रिया (गणित) समूह द्वारा (गणित) है $\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: Density on a manifold

वॉल्यूम फॉर्म दिया गया है $\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.