सब-रीमैनियन मैनिफोल्ड

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

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

परिभाषाएँ
पर वितरण द्वारा $$M$$ हमारा मतलब स्पर्शरेखा बंडल का एक उपबंडल है $$M$$.

वितरण दिया $$H(M)\subset T(M)$$ एक वेक्टर क्षेत्र में $$H(M)$$ क्षैतिज कहा जाता है। एक वक्र $$\gamma$$ पर $$M$$ क्षैतिज कहा जाता है यदि $$\dot\gamma(t)\in H_{\gamma(t)}(M)$$ किसी के लिए $$t$$.

वितरण चालू है $$H(M)$$ किसी के लिए पूरी तरह से गैर-पूर्णांक कहा जाता है $$x\in M$$ हमारे पास यह है कि किसी भी स्पर्शरेखा सदिश को निम्नलिखित प्रकार के सदिशों के रैखिक संयोजन के रूप में प्रस्तुत किया जा सकता है $$A(x),\ [A,B](x),\ [A,[B,C]](x),\ [A,[B,[C,D]]](x),\dotsc\in T_x(M)$$ जहां सभी वेक्टर फ़ील्ड $$A,B,C,D, \dots$$ क्षैतिज हैं।

एक सब-रीमैनियन मैनिफोल्ड एक ट्रिपल है $$(M, H, g)$$, कहाँ $$M$$ एक अलग करने योग्य कई गुना है, $$H$$ एक पूरी तरह से गैर-पूर्णांकीय क्षैतिज वितरण है और $$g$$ सकारात्मक-निश्चित द्विघात रूपों का एक चिकना खंड है $$H$$.

कोई भी उप-रीमैनियन मैनिफोल्ड प्राकृतिक आंतरिक मीट्रिक को वहन करता है, जिसे कार्नोट-कैराथोडोरी का मीट्रिक कहा जाता है, जिसे परिभाषित किया गया है
 * $$d(x, y) = \inf\int_0^1 \sqrt{g(\dot\gamma(t),\dot\gamma(t))} \, dt,$$

जहां सभी क्षैतिज वक्रों के साथ न्यूनतम लिया जाता है $$\gamma: [0, 1] \to M$$ ऐसा है कि $$\gamma(0)=x$$, $$\gamma(1)=y$$.

उदाहरण
विमान पर कार की स्थिति तीन मापदंडों द्वारा निर्धारित की जाती है: दो निर्देशांक $$x$$ और $$y$$ स्थान और कोण के लिए $$\alpha$$ जो कार के उन्मुखीकरण का वर्णन करता है। इसलिए, कार की स्थिति को कई गुना में एक बिंदु से वर्णित किया जा सकता है
 * $$\mathbb R^2\times S^1.$$

कोई पूछ सकता है कि एक स्थान से दूसरे स्थान पर जाने के लिए न्यूनतम कितनी दूरी तय करनी चाहिए? यह कई गुना पर एक कार्नाट-कैराथोडोरी मीट्रिक को परिभाषित करता है
 * $$\mathbb R^2\times S^1.$$

हाइजेनबर्ग समूह पर एक सब-रीमैनियन मीट्रिक का निकट से संबंधित उदाहरण बनाया जा सकता है: दो तत्व लें $$\alpha$$ और $$\beta$$ इसी झूठ बीजगणित में ऐसा है कि
 * $$\{ \alpha,\beta,[\alpha,\beta]\}$$

पूरे बीजगणित को फैलाता है। क्षैतिज वितरण $$H$$ की बाईं पारियों द्वारा फैलाया गया $$\alpha$$ और $$\beta$$ पूर्णतः अविभाज्य है। फिर किसी भी चिकने धनात्मक द्विघात रूप को चुनना $$H$$ समूह पर एक सब-रीमैनियन मीट्रिक देता है।

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

यह भी देखें

 * कार्नोट समूह, लाई समूहों का एक वर्ग जो उप-रीमैनियन मैनिफोल्ड बनाते हैं
 * वितरण_(अंतर_ज्यामिति)