विभेदक अपरिवर्तनीय: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
गणित में, | गणित में, अंतर अपरिवर्तनीय स्थान पर [[झूठ समूह]] की समूह कार्रवाई (गणित) के लिए [[अपरिवर्तनीय सिद्धांत]] है जिसमें अंतरिक्ष में कार्यों के ग्राफ़ के [[ यौगिक |यौगिक]] सम्मिलित होते हैं। विभेदक अपरिवर्तक [[प्रक्षेप्य विभेदक ज्यामिति]] में मौलिक हैं, और [[वक्रता]] का अध्ययन अधिकांशतः इस दृष्टिकोण से किया जाता है।<ref>{{harvnb|Guggenheimer|1977}}</ref> सत्र 1880 के दशक की शुरुआत में [[सोफस झूठ]] द्वारा विशेष स्थितियोंमें डिफरेंशियल इनवेरिएंट प्रस्तुत किए गए थे और उसी समय [[जॉर्जेस हेनरी हाल्फेन]] द्वारा अध्ययन किया गया था। {{harvtxt|Lie|1884}}डिफरेंशियल इनवेरिएंट पर पहला सामान्य कार्य था, और डिफरेंशियल इनवेरिएंट, इनवेरिएंट डिफरेंशियल समीकरण और [[ अपरिवर्तनीय अंतर ऑपरेटर |अपरिवर्तनीय अंतर ऑपरेटरों]] के मध्य संबंध स्थापित किया। | ||
विभेदक अपरिवर्तनीयों की तुलना ज्यामितीय अपरिवर्तनीयों से की जाती है। जबकि विभेदक अपरिवर्तकों में स्वतंत्र चर (या पैरामीटरकरण) का | विभेदक अपरिवर्तनीयों की तुलना ज्यामितीय अपरिवर्तनीयों से की जाती है। जबकि विभेदक अपरिवर्तकों में स्वतंत्र चर (या पैरामीटरकरण) का विशिष्ट विकल्प सम्मिलित हो सकता है, ज्यामितीय अपरिवर्तकों में ऐसा नहीं होता है। एली कार्टन की फ़्रेमों को हिलाने की विधि शोधन है, जो ले के विभेदक अपरिवर्तकों के तरीकों की तुलना में कम सामान्य है, फिर भी सदैव ज्यामितीय प्रकार के अपरिवर्तक उत्पन्न करती है। | ||
==परिभाषा== | ==परिभाषा== | ||
सबसे सरल मामला | सबसे सरल मामला स्वतंत्र चर x और आश्रित चर y के लिए विभेदक अपरिवर्तनीयों का है। मान लीजिए G 'R' पर कार्य करने वाला झूठ समूह है<sup>2</sup>. फिर G, स्थानीय रूप से, y = ƒ(x) फॉर्म के सभी ग्राफ़ के स्थान पर भी कार्य करता है। मोटे तौर पर कहें तब, k-वें क्रम का अंतर अपरिवर्तनीय फलन है | ||
:<math>I\left(x,y,\frac{dy}{dx},\dots,\frac{d^ky}{dx^k}\right)</math> | :<math>I\left(x,y,\frac{dy}{dx},\dots,\frac{d^ky}{dx^k}\right)</math> | ||
x के संबंध में y और इसके पहले k डेरिवेटिव पर निर्भर करता है, जो कि समूह की कार्रवाई के अनुसार | x के संबंध में y और इसके पहले k डेरिवेटिव पर निर्भर करता है, जो कि समूह की कार्रवाई के अनुसार अपरिवर्तनीय है। | ||
समूह उच्च-क्रम डेरिवेटिव पर गैर-तुच्छ तरीके से कार्य कर सकता है जिसके लिए समूह कार्रवाई की लम्बाई की गणना करने की आवश्यकता होती है। उदाहरण के लिए, पहले व्युत्पन्न पर G की क्रिया ऐसी है कि [[श्रृंखला नियम]] कायम रहता है: यदि | समूह उच्च-क्रम डेरिवेटिव पर गैर-तुच्छ तरीके से कार्य कर सकता है जिसके लिए समूह कार्रवाई की लम्बाई की गणना करने की आवश्यकता होती है। उदाहरण के लिए, पहले व्युत्पन्न पर G की क्रिया ऐसी है कि [[श्रृंखला नियम]] कायम रहता है: यदि | ||
| Line 14: | Line 14: | ||
उच्च दीर्घावधियों की गणना के लिए भी इसी तरह के विचार प्रयुक्त होते हैं। चूँकि, दीर्घीकरण की गणना करने की यह विधि अव्यावहारिक है, और जी क्रिया के साथ लाई बीजगणित और लाई व्युत्पन्न के स्तर पर असीम रूप से काम करना बहुत आसान है। | उच्च दीर्घावधियों की गणना के लिए भी इसी तरह के विचार प्रयुक्त होते हैं। चूँकि, दीर्घीकरण की गणना करने की यह विधि अव्यावहारिक है, और जी क्रिया के साथ लाई बीजगणित और लाई व्युत्पन्न के स्तर पर असीम रूप से काम करना बहुत आसान है। | ||
अधिक सामान्यतः, कार्टेशियन उत्पाद X×Y पर अभिनय करने वाले लाई समूह के लिए किसी भी [[ चिकनी कई गुना | चिकनी अनेक गुना]] मानचित्रण<sup>(k)</sup> जिसमें k-वें क्रम के संपर्क के संबंध में प्रत्येक बिंदु मॉड्यूलो से गुजरने वाले ग्राफ़ सम्मिलित हैं। | अधिक सामान्यतः, कार्टेशियन उत्पाद X×Y पर अभिनय करने वाले लाई समूह के लिए किसी भी [[ चिकनी कई गुना |चिकनी अनेक गुना]] मानचित्रण<sup>(k)</sup> जिसमें k-वें क्रम के संपर्क के संबंध में प्रत्येक बिंदु मॉड्यूलो से गुजरने वाले ग्राफ़ सम्मिलित हैं। विभेदक अपरिवर्तनीय Y पर फलन है<sup>(के)</sup> जो समूह कार्रवाई के विस्तार के अनुसार अपरिवर्तनीय है। | ||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
*समतुल्यता समस्याओं का समाधान | *समतुल्यता समस्याओं का समाधान | ||
* [[आंशिक अंतर समीकरण|आंशिक अंतर समीकरणों]] की प्रणालियों के अध्ययन के लिए विभेदक अपरिवर्तनीयों को प्रयुक्त किया जा सकता है: किसी विशेष समूह की कार्रवाई के अनुसार | * [[आंशिक अंतर समीकरण|आंशिक अंतर समीकरणों]] की प्रणालियों के अध्ययन के लिए विभेदक अपरिवर्तनीयों को प्रयुक्त किया जा सकता है: किसी विशेष समूह की कार्रवाई के अनुसार अपरिवर्तनीय समानता वाले समाधानों की तलाश करने से समस्या का आयाम कम हो सकता है (अर्थात कम प्रणाली उत्पन्न हो सकती है)।<ref>{{harvnb|Olver|1995|loc=Chapter 3}}</ref> | ||
* नोएदर का प्रमेय विभिन्नताओं के कलन की प्रत्येक अवकलनीय समरूपता के अनुरूप विभेदक अपरिवर्तनीयों के अस्तित्व का तात्पर्य करता है। | * नोएदर का प्रमेय विभिन्नताओं के कलन की प्रत्येक अवकलनीय समरूपता के अनुरूप विभेदक अपरिवर्तनीयों के अस्तित्व का तात्पर्य करता है। | ||
*[[कंप्यूटर दृष्टि]] का उपयोग करके द्रव गतिकी<ref>{{cite book |first=Peter |last=Olver |first2=Guillermo |last2=Sapiro |first3=Allen |last3=Tannenbaum |title=कंप्यूटर विज़न में ज्यामिति-संचालित प्रसार|pages=255–306 |chapter=Differential Invariant Signatures and Flows in Computer Vision: A Symmetry Group Approach |year=1994 |series=Computational Imaging and Vision |volume=1 |publisher=Springer |location=Dordrecht |doi=10.1007/978-94-017-1699-4_11 |isbn=90-481-4461-2 }}</ref> | *[[कंप्यूटर दृष्टि]] का उपयोग करके द्रव गतिकी<ref>{{cite book |first=Peter |last=Olver |first2=Guillermo |last2=Sapiro |first3=Allen |last3=Tannenbaum |title=कंप्यूटर विज़न में ज्यामिति-संचालित प्रसार|pages=255–306 |chapter=Differential Invariant Signatures and Flows in Computer Vision: A Symmetry Group Approach |year=1994 |series=Computational Imaging and Vision |volume=1 |publisher=Springer |location=Dordrecht |doi=10.1007/978-94-017-1699-4_11 |isbn=90-481-4461-2 }}</ref> | ||
Revision as of 11:50, 14 July 2023
गणित में, अंतर अपरिवर्तनीय स्थान पर झूठ समूह की समूह कार्रवाई (गणित) के लिए अपरिवर्तनीय सिद्धांत है जिसमें अंतरिक्ष में कार्यों के ग्राफ़ के यौगिक सम्मिलित होते हैं। विभेदक अपरिवर्तक प्रक्षेप्य विभेदक ज्यामिति में मौलिक हैं, और वक्रता का अध्ययन अधिकांशतः इस दृष्टिकोण से किया जाता है।[1] सत्र 1880 के दशक की शुरुआत में सोफस झूठ द्वारा विशेष स्थितियोंमें डिफरेंशियल इनवेरिएंट प्रस्तुत किए गए थे और उसी समय जॉर्जेस हेनरी हाल्फेन द्वारा अध्ययन किया गया था। Lie (1884)डिफरेंशियल इनवेरिएंट पर पहला सामान्य कार्य था, और डिफरेंशियल इनवेरिएंट, इनवेरिएंट डिफरेंशियल समीकरण और अपरिवर्तनीय अंतर ऑपरेटरों के मध्य संबंध स्थापित किया।
विभेदक अपरिवर्तनीयों की तुलना ज्यामितीय अपरिवर्तनीयों से की जाती है। जबकि विभेदक अपरिवर्तकों में स्वतंत्र चर (या पैरामीटरकरण) का विशिष्ट विकल्प सम्मिलित हो सकता है, ज्यामितीय अपरिवर्तकों में ऐसा नहीं होता है। एली कार्टन की फ़्रेमों को हिलाने की विधि शोधन है, जो ले के विभेदक अपरिवर्तकों के तरीकों की तुलना में कम सामान्य है, फिर भी सदैव ज्यामितीय प्रकार के अपरिवर्तक उत्पन्न करती है।
परिभाषा
सबसे सरल मामला स्वतंत्र चर x और आश्रित चर y के लिए विभेदक अपरिवर्तनीयों का है। मान लीजिए G 'R' पर कार्य करने वाला झूठ समूह है2. फिर G, स्थानीय रूप से, y = ƒ(x) फॉर्म के सभी ग्राफ़ के स्थान पर भी कार्य करता है। मोटे तौर पर कहें तब, k-वें क्रम का अंतर अपरिवर्तनीय फलन है
x के संबंध में y और इसके पहले k डेरिवेटिव पर निर्भर करता है, जो कि समूह की कार्रवाई के अनुसार अपरिवर्तनीय है।
समूह उच्च-क्रम डेरिवेटिव पर गैर-तुच्छ तरीके से कार्य कर सकता है जिसके लिए समूह कार्रवाई की लम्बाई की गणना करने की आवश्यकता होती है। उदाहरण के लिए, पहले व्युत्पन्न पर G की क्रिया ऐसी है कि श्रृंखला नियम कायम रहता है: यदि
तब
उच्च दीर्घावधियों की गणना के लिए भी इसी तरह के विचार प्रयुक्त होते हैं। चूँकि, दीर्घीकरण की गणना करने की यह विधि अव्यावहारिक है, और जी क्रिया के साथ लाई बीजगणित और लाई व्युत्पन्न के स्तर पर असीम रूप से काम करना बहुत आसान है।
अधिक सामान्यतः, कार्टेशियन उत्पाद X×Y पर अभिनय करने वाले लाई समूह के लिए किसी भी चिकनी अनेक गुना मानचित्रण(k) जिसमें k-वें क्रम के संपर्क के संबंध में प्रत्येक बिंदु मॉड्यूलो से गुजरने वाले ग्राफ़ सम्मिलित हैं। विभेदक अपरिवर्तनीय Y पर फलन है(के) जो समूह कार्रवाई के विस्तार के अनुसार अपरिवर्तनीय है।
अनुप्रयोग
- समतुल्यता समस्याओं का समाधान
- आंशिक अंतर समीकरणों की प्रणालियों के अध्ययन के लिए विभेदक अपरिवर्तनीयों को प्रयुक्त किया जा सकता है: किसी विशेष समूह की कार्रवाई के अनुसार अपरिवर्तनीय समानता वाले समाधानों की तलाश करने से समस्या का आयाम कम हो सकता है (अर्थात कम प्रणाली उत्पन्न हो सकती है)।[2]
- नोएदर का प्रमेय विभिन्नताओं के कलन की प्रत्येक अवकलनीय समरूपता के अनुरूप विभेदक अपरिवर्तनीयों के अस्तित्व का तात्पर्य करता है।
- कंप्यूटर दृष्टि का उपयोग करके द्रव गतिकी[3]
- ज्यामितीय समाकलक
यह भी देखें
- कार्टन की तुल्यता विधि
टिप्पणियाँ
- ↑ Guggenheimer 1977
- ↑ Olver 1995, Chapter 3
- ↑ Olver, Peter; Sapiro, Guillermo; Tannenbaum, Allen (1994). "Differential Invariant Signatures and Flows in Computer Vision: A Symmetry Group Approach". कंप्यूटर विज़न में ज्यामिति-संचालित प्रसार. Computational Imaging and Vision. Vol. 1. Dordrecht: Springer. pp. 255–306. doi:10.1007/978-94-017-1699-4_11. ISBN 90-481-4461-2.
संदर्भ
- गुगेनहाइमर, हेनरिक (1977), विभेदक ज्यामिति, न्यूयॉर्क: डोवर प्रकाशन, ISBN 978-0-486-63433-3.
- Lie, सोफस (1884), "Über Differentialinvarianten", गेसमेल्टे एडहैंडलुंगेन, vol. 6, लीपज़िग: बी.जी. टेबनेर, pp. 95–138; English translation: एकरमैन, M; हर्मन, R (1975), सोफस लाई का 1884 डिफरेंशियल इनवेरिएंट पेपर, ब्रुकलाइन, मास।: गणित विज्ञान प्रेस.
- ऑल्वर, पीटर जे. (1993), अंतर समीकरणों के लिए झूठ समूहों के अनुप्रयोग (2nd ed.), बर्लिन, न्यूयॉर्क: स्प्रिंगर-वेरलाग, ISBN 978-0-387-94007-6.
- ऑल्वर, पीटर जे. (1995), समतुल्यता, अपरिवर्तनीयता और समरूपता, कैम्ब्रिज यूनिवर्सिटी प्रेस, ISBN 978-0-521-47811-3.
- मैंसफ़ील्ड, एलिजाबेथ लुईस (2009), अपरिवर्तनीय कैलकुलस के लिए एक व्यावहारिक मार्गदर्शिका (PDF)[permanent dead link]; कैंब्रिज द्वारा 2010 प्रकाशित किया जाएगा, ISBN 978-0-521-85701-7.
