स्पर्शरेखा स्थान: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Assignment of vector fields to manifolds}}
{{Short description|Assignment of vector fields to manifolds}}
गणित में, [[ विविध |विविध]] का [[ स्पर्शरेखा |स्पर्शरेखा]] स्थान तीन आयामों में सतहों के लिए "[[ स्पर्शरेखा विमान (ज्यामिति) ]]" की धारणा और दो आयामों में वक्रों के लिए "स्पर्शरेखा रेखाएं" की धारणा को उच्च आयामों के लिए सामान्यीकृत करता है। भौतिकी के संदर्भ में, बिंदु पर कई गुना स्पर्शरेखा स्थान को कई गुना गतिमान कण के लिए संभावित वेगों के स्थान के रूप में देखा जा सकता है।
गणित में, [[ विविध |मैनिफोल्ड]] का '''[[ स्पर्शरेखा |स्पर्शरेखा स्थान]]''' दो-आयामी स्पेस में वक्रों के लिए [[ स्पर्शरेखा विमान (ज्यामिति) |स्पर्शरेखा (ज्यामिति)]] रेखाओं और उच्च आयामों में त्रि-आयामी स्पेस में सतहों के स्पर्शरेखा तल का सामान्यीकरण है। भौतिकी के संदर्भ में किसी बिंदु पर मैनिफोल्ड के स्पर्शरेखा स्थान को मैनिफोल्ड पर गतिमान कण के लिए संभावित वेग के स्थान के रूप में देखा जा सकता है।


== अनौपचारिक विवरण ==
== अनौपचारिक विवरण ==


[[Image:Image Tangent-plane.svg|thumb|एक बिंदु के स्पर्शरेखा स्थान का सचित्र प्रतिनिधित्व <math> x </math> गोले पर। इस स्पर्शरेखा स्थान में सदिश संभावित वेग (गोले पर गतिमान किसी वस्तु का) को दर्शाता है <math> x </math>. उस दिशा में पास के बिंदु पर जाने के बाद, उस बिंदु के स्पर्शरेखा स्थान में वेक्टर द्वारा वेग दिया जाएगा - अलग स्पर्शरेखा स्थान जो नहीं दिखाया गया है।]][[ अंतर ज्यामिति | अंतर ज्यामिति]] में, कोई भी हर पॉइंट से जुड़ सकता है <math> x </math> अलग-अलग कई गुना स्पर्शरेखा स्थान - वास्तविक [[ सदिश स्थल |सदिश स्थल]] जिसमें सहज रूप से संभावित दिशाएं होती हैं जिसमें कोई स्पर्शरेखा से गुजर सकता है <math> x </math>. स्पर्शरेखा स्थान के तत्व at <math> x </math> स्पर्शरेखा सदिश कहलाते हैं <math> x </math>. यह यूक्लिडियन अंतरिक्ष में दिए गए प्रारंभिक बिंदु पर आधारित [[ वेक्टर (गणित और भौतिकी) |वेक्टर (गणित और भौतिकी)]] की धारणा का सामान्यीकरण है। [[ कनेक्टेड स्पेस |कनेक्टेड स्पेस]] के प्रत्येक बिंदु पर कई गुना स्पर्शरेखा अंतरिक्ष के वेक्टर स्पेस का आयाम कई गुना के समान ही होता है।
[[Image:Image Tangent-plane.svg|thumb|एक बिंदु के स्पर्शरेखा स्थान का सचित्र प्रतिनिधित्व <math> x </math> वृत्त पर। इस स्पर्शरेखा स्थान में सदिश संभावित वेग (वृत्त पर गतिमान किसी वस्तु का) को दर्शाता है <math> x </math>. उस दिशा में पास के बिंदु पर जाने के पश्चात्, उस बिंदु के स्पर्शरेखा स्थान में सदिश द्वारा वेग दिया जाएगा - अलग स्पर्शरेखा स्थान जो नहीं दिखाया गया है।]][[ अंतर ज्यामिति |अंतर ज्यामिति]] में, कोई व्यक्ति विभेदक मैनिफोल्ड के प्रत्येक बिंदु <math> x </math> से स्पर्शरेखा स्थान जोड़ सकता है - वास्तविक सदिश स्थान जिसमें सहज रूप से संभावित दिशाएं शामिल होती हैं जिसमें कोई स्पर्शरेखा से <math> x </math> गुजर सकता है <math> x </math> पर स्पर्शरेखा स्थान के तत्वों को <math> x </math> पर स्पर्शरेखा [[ सदिश स्थल |सदिश स्थल]]कहा जाता है। यह यूक्लिडियन समिष्ट में दिए गए प्रारंभिक बिंदु के आधार पर [[ वेक्टर (गणित और भौतिकी) |सदिश (गणित और भौतिकी)]] की धारणा का सामान्यीकरण है। [[ कनेक्टेड स्पेस |कनेक्टेड समिष्ट]] मैनिफोल्ड के प्रत्येक बिंदु पर स्पर्शरेखा स्थान का आयाम मैनिफोल्ड के समान ही होता है।


उदाहरण के लिए, यदि दिया गया मैनिफोल्ड a . है <math> 2 </math>-क्षेत्र, तब कोई बिंदु पर स्पर्शरेखा स्थान को उस विमान के रूप में चित्रित कर सकता है जो उस बिंदु पर गोले को छूता है और बिंदु के माध्यम से गोले की त्रिज्या के लंबवत होता है। अधिक आम तौर पर, यदि किसी दिए गए मैनिफोल्ड को यूक्लिडियन स्पेस के [[ एम्बेडिंग |एम्बेडिंग]] [[ सबमनिफोल्ड |सबमनिफोल्ड]] के रूप में माना जाता है, तो कोई इस शाब्दिक फैशन में स्पर्शरेखा स्थान को चित्रित कर सकता है। [[ समानांतर परिवहन |समानांतर परिवहन]] को परिभाषित करने की दिशा में यह पारंपरिक दृष्टिकोण था। डिफरेंशियल ज्योमेट्री और [[ सामान्य सापेक्षता |सामान्य सापेक्षता]] के कई लेखक इसका इस्तेमाल करते हैं।<ref>{{cite book |last=do Carmo |first=Manfredo P. |title=वक्रों और सतहों की विभेदक ज्यामिति|year=1976 |publisher=Prentice-Hall }}: </ref><ref>{{cite book |last=Dirac |first=Paul A. M. |title=सापेक्षता का सामान्य सिद्धांत|orig-year=1975 |year=1996 |publisher=Princeton University Press |isbn=0-691-01146-X }}</ref> अधिक सख्ती से, यह एफ़िन स्पर्शरेखा स्थान को परिभाषित करता है, जो आधुनिक शब्दावली द्वारा वर्णित स्पर्शरेखा वैक्टर के स्थान से अलग है।
उदाहरण के लिए, यदि दिया गया मैनिफोल्ड a <math> 2 </math> वृत्त है | तब कोई बिंदु पर स्पर्शरेखा स्थान को उस समतल के रूप में चित्रित कर सकता है जो उस बिंदु पर वृत्त को छूता है और बिंदु के माध्यम से वृत्त की त्रिज्या के लंबवत है। अधिक सामान्यतः, यदि किसी दिए गए मैनिफोल्ड को यूक्लिडियन समिष्ट के [[ एम्बेडिंग |एम्बेडिंग]] [[ सबमनिफोल्ड |सबमनिफोल्ड]] के रूप में माना जाता है, तब कोई इस शाब्दिक प्रचलन में स्पर्शरेखा स्थान को चित्रित कर सकता है। यह [[ समानांतर परिवहन |समानांतर परिवहन]] को परिभाषित करने का पारंपरिक दृष्टिकोण था। विभेदक ज्यामिति और [[ सामान्य सापेक्षता |सामान्य सापेक्षता]] में कई लेखक इसका उपयोग करते हैं।<ref>{{cite book |last=do Carmo |first=Manfredo P. |title=वक्रों और सतहों की विभेदक ज्यामिति|year=1976 |publisher=Prentice-Hall }}: </ref> <ref>{{cite book |last=Dirac |first=Paul A. M. |title=सापेक्षता का सामान्य सिद्धांत|orig-year=1975 |year=1996 |publisher=Princeton University Press |isbn=0-691-01146-X }}</ref> अधिक सख्ती से, यह एफ़िन स्पर्शरेखा स्थान को परिभाषित करता है, जो आधुनिक शब्दावली द्वारा वर्णित स्पर्शरेखा सदिश के स्थान से अलग है।


[[ बीजगणितीय ज्यामिति | बीजगणितीय ज्यामिति]] में, इसके विपरीत, बीजीय विविधता के बिंदु पर स्पर्शरेखा स्थान की आंतरिक परिभाषा होती है <math> V </math> जो कम से कम के आयाम के साथ सदिश स्थान देता है <math> V </math> अपने आप। बिंदु <math> p </math> जिस पर स्पर्शरेखा स्थान का आयाम ठीक वैसा ही है <math> V </math> गैर-एकवचन बिंदु कहलाते हैं; अन्य को एकवचन बिंदु कहा जाता है। उदाहरण के लिए, वक्र जो स्वयं को काटता है, उस बिंदु पर अद्वितीय स्पर्श रेखा नहीं होती है। के विलक्षण बिंदु <math> V </math> वे हैं जहां परीक्षण कई गुना विफल रहता है। [[ ज़ारिस्की स्पर्शरेखा स्थान |ज़ारिस्की स्पर्शरेखा स्थान]] देखें।
इसके विपरीत, [[ बीजगणितीय ज्यामिति |बीजगणितीय ज्यामिति]] में, बीजगणितीय विविधता <math> V </math> के बिंदु पर स्पर्शरेखा स्थान की आंतरिक परिभाषा होती है जो कम से कम <math> V </math> के आयाम के साथ सदिश स्थान देती है। वे बिंदु <math> p </math> जिन पर स्पर्शरेखा स्थान का आयाम बिल्कुल <math> V </math> के समान है, गैर-एकवचन बिंदु कहलाते हैं; अन्य को एकवचन बिंदु कहा जाता है। उदाहरण के लिए, वक्र जो स्वयं को काटता है, उस बिंदु पर कोई अद्वितीय स्पर्श रेखा नहीं होती है। <math> V </math> के विलक्षण बिंदु वे हैं जहां "कई गुना होने का परीक्षण" विफल हो जाता है। [[ ज़ारिस्की स्पर्शरेखा स्थान |ज़ारिस्की स्पर्शरेखा स्थान]] देखें।


एक बार कई गुना के स्पर्शरेखा रिक्त स्थान पेश किए जाने के बाद, कोई वेक्टर फ़ील्ड को परिभाषित कर सकता है, जो अंतरिक्ष में चलने वाले कणों के वेग क्षेत्र के अमूर्त हैं। सदिश क्षेत्र उस बिंदु पर स्पर्शरेखा स्थान से कई गुना सदिश के प्रत्येक बिंदु को सहज तरीके से जोड़ता है। इस तरह के [[ वेक्टर क्षेत्र |वेक्टर क्षेत्र]] कई गुना पर सामान्यीकृत [[ साधारण अंतर समीकरण |साधारण अंतर समीकरण]] को परिभाषित करने के लिए कार्य करता है: इस तरह के अंतर समीकरण का समाधान कई गुना पर अलग [[ वक्र |वक्र]] है जिसका व्युत्पन्न किसी भी बिंदु पर वेक्टर क्षेत्र द्वारा उस बिंदु से जुड़े स्पर्शरेखा वेक्टर के बराबर होता है।
इसमें मैनिफोल्ड के स्पर्शरेखा रिक्त स्थान प्रस्तुत किए जाने के पश्चात्, कोई सदिश क्षेत्र को परिभाषित कर सकता है, जो स्पेस में घूमने वाले कणों के वेग क्षेत्र का सार है। सदिश क्षेत्र मैनिफोल्ड के प्रत्येक बिंदु पर उस बिंदु पर स्पर्शरेखा स्थान से सदिश को सहज विधियों से जोड़ता है। ऐसा [[ वेक्टर क्षेत्र |सदिश क्षेत्र]] मैनिफोल्ड पर सामान्यीकृत [[ साधारण अंतर समीकरण |साधारण अंतर समीकरण]] को परिभाषित करने का कार्य करता है | ऐसे अंतर समीकरण का समाधान मैनिफोल्ड पर अवकलनीय [[ वक्र |वक्र]] होता है जिसका किसी भी बिंदु पर व्युत्पन्न सदिश क्षेत्र द्वारा उस बिंदु से जुड़े स्पर्शरेखा सदिश के सामान्य होता है।


एक मैनिफोल्ड के सभी स्पर्शरेखा रिक्त स्थान को साथ चिपकाकर नया अलग-अलग मैनिफोल्ड बनाया जा सकता है, जिसमें मूल मैनिफोल्ड के दोगुने आयाम होते हैं, जिसे मैनिफोल्ड का [[ स्पर्शरेखा बंडल |स्पर्शरेखा बंडल]] कहा जाता है।
मैनिफोल्ड के सभी स्पर्शरेखा स्थानों को मूल मैनिफोल्ड के दोगुने आयाम के साथ नया विभेदक मैनिफोल्ड बनाने के लिए "एक साथ चिपकाया" जा सकता है, जिसे मैनिफोल्ड का [[ स्पर्शरेखा बंडल |स्पर्शरेखा बंडल]] कहा जाता है।


== औपचारिक परिभाषाएं ==
== औपचारिक परिभाषाएं ==


ऊपर दिया गया अनौपचारिक विवरण परिवेशी सदिश स्थान में एम्बेड करने की कई गुना क्षमता पर निर्भर करता है <math> \mathbb{R}^{m} </math> ताकि स्पर्शरेखा सदिश कई गुना से परिवेशी स्थान में चिपक सकें। हालांकि, स्पर्शरेखा स्थान की धारणा को पूरी तरह से मैनिफोल्ड के आधार पर परिभाषित करना अधिक सुविधाजनक है।<ref name = "Isham2002">{{cite book|author = Chris J. Isham|title = भौतिकविदों के लिए आधुनिक विभेदक ज्यामिति|date = 1 January 2002|publisher = Allied Publishers|isbn = 978-81-7764-316-9|pages = 70–72|url = https://books.google.com/books?id=DCn9bjBe27oC&pg=PA70}}</ref>
उपरोक्त अनौपचारिक विवरण परिवेशी सदिश स्थान <math> \mathbb{R}^{m} </math> में एम्बेड होने की मैनिफोल्ड की क्षमता पर निर्भर करता है ताकि स्पर्शरेखा सदिश परिवेशीय स्पेस में मैनिफोल्ड से "बाहर चिपक" सकते हैं। चूँकि, स्पर्शरेखा स्थान की धारणा को सिर्फ मैनिफोल्ड के आधार पर परिभाषित करना अधिक सुविधाजनक है।<ref name = "Isham2002">{{cite book|author = Chris J. Isham|title = भौतिकविदों के लिए आधुनिक विभेदक ज्यामिति|date = 1 January 2002|publisher = Allied Publishers|isbn = 978-81-7764-316-9|pages = 70–72|url = https://books.google.com/books?id=DCn9bjBe27oC&pg=PA70}}</ref>
कई गुना के स्पर्शरेखा रिक्त स्थान को परिभाषित करने के विभिन्न समकक्ष तरीके हैं। जबकि वक्र के वेग के माध्यम से परिभाषा सहज रूप से सबसे सरल है, इसके साथ काम करना भी सबसे बोझिल है। अधिक सुरुचिपूर्ण और अमूर्त दृष्टिकोण नीचे वर्णित हैं।
 
मैनिफोल्ड के स्पर्शरेखा स्थानों को परिभाषित करने के विभिन्न समकक्ष विधियां होती हैं। जबकि वक्रों के वेग के माध्यम से यह परिभाषा सहज रूप से सबसे सरल होती है | इसके साथ काम करना सबसे भारी होता है। इसमें अधिक सुरुचिपूर्ण और अमूर्त दृष्टिकोण नीचे वर्णित होता हैं।


=== स्पर्शरेखा वक्रों के माध्यम से परिभाषा ===
=== स्पर्शरेखा वक्रों के माध्यम से परिभाषा ===


एम्बेडेड-मैनिफोल्ड तस्वीर में, बिंदु पर स्पर्शरेखा वेक्टर <math> x </math> बिंदु से गुजरने वाले वक्र#टोपोलॉजी के वेग के रूप में माना जाता है <math> x </math>. इसलिए हम स्पर्शरेखा सदिश को वक्रों के तुल्यता वर्ग के रूप में परिभाषित कर सकते हैं, जो से होकर गुजरता है <math> x </math> दूसरे के स्पर्शरेखा होने पर <math> x </math>.
एंबेडेड-मैनिफोल्ड चित्र में, बिंदु <math> x </math> पर स्पर्शरेखा सदिश को बिंदु <math> x </math> से गुजरने वाले वक्र के वेग के रूप में माना जाता है। इसलिए हम स्पर्शरेखा सदिश को <math> x </math> पर दूसरे के स्पर्शरेखा होते हुए <math> x </math> से गुजरने वाले वक्रों के समतुल्य वर्ग के रूप में परिभाषित कर सकते हैं।


मान लो कि <math> M </math> है <math> C^{k} </math> अलग-अलग मैनिफोल्ड ([[ चिकनाई | चिकनाई]] के साथ) <math> k \geq 1 </math>) और कि <math> x \in M </math>. मैनिफोल्ड चुनें#चार्ट, एटलस और ट्रांजिशन मैप <math> \varphi: U \to \mathbb{R}^{n} </math>, कहाँ पे <math> U </math> का [[ खुला सेट |खुला सेट]] है <math> M </math> युक्त <math> x </math>. आगे मान लीजिए कि दो वक्र <math> \gamma_{1},\gamma_{2}: (- 1,1) \to M </math> साथ <math> {\gamma_{1}}(0) = x = {\gamma_{2}}(0) </math> ऐसे दिए गए हैं कि दोनों <math> \varphi \circ \gamma_{1},\varphi \circ \gamma_{2}: (- 1,1) \to \mathbb{R}^{n} </math> सामान्य अर्थों में अलग-अलग होते हैं (हम इन अलग-अलग वक्रों को आरंभिक कहते हैं <math> x </math>) फिर <math> \gamma_{1} </math> तथा <math> \gamma_{2} </math> बराबर कहा जाता है <math> 0 </math> अगर और केवल अगर के डेरिवेटिव <math> \varphi \circ \gamma_{1} </math> तथा <math> \varphi \circ \gamma_{2} </math> पर <math> 0 </math> संयोग। यह सभी अवकलनीय वक्रों के सेट पर [[ तुल्यता संबंध |तुल्यता संबंध]] को परिभाषित करता है <math> x </math>, और ऐसे वक्रों के [[ तुल्यता वर्ग |तुल्यता वर्ग]] ों को के स्पर्शरेखा सदिश के रूप में जाना जाता है <math> M </math> पर <math> x </math>. ऐसे किसी भी वक्र का तुल्यता वर्ग <math> \gamma </math> द्वारा दर्शाया गया है <math> \gamma'(0) </math>. का स्पर्शरेखा स्थान <math> M </math> पर <math> x </math>, द्वारा चिह्नित <math> T_{x} M </math>, तब सभी स्पर्शरेखा सदिशों के समुच्चय के रूप में परिभाषित किया जाता है <math> x </math>; यह समन्वय चार्ट की पसंद पर निर्भर नहीं करता है <math> \varphi: U \to \mathbb{R}^{n} </math>.
मान लीजिए कि <math> M </math> <math> C^{k} </math> अलग-अलग मैनिफोल्ड है [[ चिकनाई |स्मूथ]] <math> k \geq 1 </math> के साथ) और वह <math> x \in M </math> समन्वय चार्ट चुनें <math> \varphi: U \to \mathbb{R}^{n} </math>, जहां <math> U </math> <math> M </math> का [[ खुला सेट |खुला उपसमुच्चय]] है जिसमें <math> x </math> है। आगे मान लें कि दो वक्र <math> \gamma_{1},\gamma_{2}: (- 1,1) \to M </math> में <math> {\gamma_{1}}(0) = x = {\gamma_{2}}(0) </math> के साथ ऐसे दिए गए हैं कि दोनों <math> \varphi \circ \gamma_{1},\varphi \circ \gamma_{2}: (- 1,1) \to \mathbb{R}^{n} </math> सामान्य अर्थों में अलग-अलग हैं (हम <math> x </math> पर आरंभ किए गए इन अलग-अलग वक्रों को कहते हैं)फिर <math> \gamma_{1} </math> और <math> \gamma_{2} </math> को <math> 0 </math> पर समतुल्य कहा जाता है यदि और केवल यदि <math> \varphi \circ \gamma_{1} </math> और <math> \varphi \circ \gamma_{2} </math> के व्युत्पन्न <math> 0 </math> पर संपाती होते हैं। यह (13) पर प्रारंभ किए गए सभी भिन्न-भिन्न वक्रों के समुच्चय पर [[ तुल्यता संबंध |तुल्यता संबंध]] को परिभाषित करता है और ऐसे वक्रों के [[ तुल्यता वर्ग |तुल्यता वर्गों]] को <math> x </math> पर <math> M </math> के स्पर्शरेखा सदिश के रूप में जाना जाता है। ऐसे किसी भी वक्र <math> \gamma </math> के समतुल्य वर्ग को <math> \gamma'(0) </math> द्वारा दर्शाया जाता है। <math> x </math> पर <math> M </math> के स्पर्शरेखा स्थान को, <math> T_{x} M </math> द्वारा निरूपित किया जाता है, फिर सभी स्पर्शरेखाओं के समुच्चय के रूप में परिभाषित किया जाता है <math> x </math> पर सदिश, यह निर्देशांक चार्ट <math> \varphi: U \to \mathbb{R}^{n} </math> की पसंद पर निर्भर नहीं करता है।


[[Image:Tangentialvektor.svg|thumb|left|200px|स्पर्शरेखा स्थान <math> T_{x} M </math> और स्पर्शरेखा वेक्टर <math> v \in T_{x} M </math>, वक्र के माध्यम से यात्रा कर रहा है <math> x \in M </math>.]]वेक्टर-स्पेस ऑपरेशंस को परिभाषित करने के लिए <math> T_{x} M </math>, हम चार्ट का उपयोग करते हैं <math> \varphi: U \to \mathbb{R}^{n} </math> और मानचित्र (गणित) परिभाषित करें <math> \mathrm{d}{\varphi}_{x}: T_{x} M \to \mathbb{R}^{n} </math> द्वारा <math display="inline"> {\mathrm{d}{\varphi}_{x}}(\gamma'(0)) := \left. \frac{\mathrm{d}}{\mathrm{d}{t}} [(\varphi \circ \gamma)(t)] \right|_{t = 0}, </math> कहाँ पे <math>\gamma \in \gamma'(0) </math>. नक्शा <math> \mathrm{d}{\varphi}_{x} </math> विशेषण बन जाता है और इसका उपयोग वेक्टर-स्पेस ऑपरेशंस को स्थानांतरित करने के लिए किया जा सकता है <math> \mathbb{R}^{n} </math> खत्म करने के लिए <math> T_{x} M </math>, इस प्रकार बाद वाले सेट को an . में बदल देता है <math> n </math>-आयामी वास्तविक वेक्टर स्थान। फिर से, किसी को यह जांचना होगा कि यह निर्माण विशेष चार्ट पर निर्भर नहीं करता है <math> \varphi: U \to \mathbb{R}^{n} </math> और वक्र <math> \gamma </math> इस्तेमाल किया जा रहा है, और वास्तव में ऐसा नहीं है।
[[Image:Tangentialvektor.svg|thumb|left|200px|स्पर्शरेखा स्थान <math> T_{x} M </math> और स्पर्शरेखा सदिश <math> v \in T_{x} M </math>, वक्र के माध्यम से यात्रा कर रहा है <math> x \in M </math>.]]<math> T_{x} M </math> पर सदिश-स्पेस ऑपरेशंस को परिभाषित करने के लिए, हम चार्ट <math> \varphi: U \to \mathbb{R}^{n} </math> का उपयोग करते हैं और मानचित्र <math> \mathrm{d}{\varphi}_{x}: T_{x} M \to \mathbb{R}^{n} </math> को <math display="inline"> {\mathrm{d}{\varphi}_{x}}(\gamma'(0)) := \left. \frac{\mathrm{d}}{\mathrm{d}{t}} [(\varphi \circ \gamma)(t)] \right|_{t = 0}, </math> से परिभाषित करते हैं जहां <math>\gamma \in \gamma'(0) </math> मानचित्र <math> \mathrm{d}{\varphi}_{x} </math> विशेषण बन जाता है और इसका उपयोग सदिश-स्पेस संचालन को <math> \mathbb{R}^{n} </math> से <math> T_{x} M </math> तक स्थानांतरित करने के लिए किया जा सकता है, इस प्रकार पश्चात् वाले समुच्चय को <math> n </math>-आयामी वास्तविक सदिश स्पेस में परिवर्तित दिया जाता है। फिर, किसी को यह जांचने की आवश्यकता होती है कि यह निर्माण विशेष चार्ट <math> \varphi: U \to \mathbb{R}^{n} </math> और उपयोग किए जा रहे वक्र <math> \gamma </math> पर निर्भर नहीं है | और वास्तव में यह नहीं होता है।


=== व्युत्पत्तियों के माध्यम से परिभाषा ===
=== व्युत्पत्तियों के माध्यम से परिभाषा ===


मान लीजिए कि अब <math> M </math> है <math> C^{\infty} </math> कई गुना वास्तविक-मूल्यवान फ़ंक्शन <math> f: M \to \mathbb{R} </math> से संबंधित कहा जाता है <math> {C^{\infty}}(M) </math> अगर और केवल अगर हर समन्वय चार्ट के लिए <math> \varphi: U \to \mathbb{R}^{n} </math>, नक्शा <math> f \circ \varphi^{- 1}: \varphi[U] \subseteq \mathbb{R}^{n} \to \mathbb{R} </math> असीम रूप से भिन्न है। ध्यान दें कि <math> {C^{\infty}}(M) </math> [[ बिंदुवार उत्पाद |बिंदुवार उत्पाद]] और कार्यों के योग और अदिश गुणन के संबंध में वास्तविक सहयोगी बीजगणित है।
मान लीजिए कि अब <math> M </math> है <math> C^{\infty} </math> कई गुना वास्तविक-मूल्यवान फ़ंक्शन <math> f: M \to \mathbb{R} </math> से संबंधित कहा जाता है <math> {C^{\infty}}(M) </math> अगर और सिर्फ अगर हर समन्वय चार्ट के लिए <math> \varphi: U \to \mathbb{R}^{n} </math>, नक्शा <math> f \circ \varphi^{- 1}: \varphi[U] \subseteq \mathbb{R}^{n} \to \mathbb{R} </math> असीम रूप से भिन्न है। ध्यान दें कि <math> {C^{\infty}}(M) </math> [[ बिंदुवार उत्पाद |बिंदुवार उत्पाद]] और कार्यों के योग और अदिश गुणन के संबंध में वास्तविक सहयोगी बीजगणित है।


एक [[ व्युत्पत्ति (सार बीजगणित) |व्युत्पत्ति (सार बीजगणित)]] at <math> x \in M </math> रैखिक मानचित्र के रूप में परिभाषित किया गया है <math> D: {C^{\infty}}(M) \to \mathbb{R} </math> जो लाइबनिज की पहचान को संतुष्ट करता है
एक [[ व्युत्पत्ति (सार बीजगणित) |व्युत्पत्ति (सार बीजगणित)]] at <math> x \in M </math> रैखिक मानचित्र के रूप में परिभाषित किया गया है <math> D: {C^{\infty}}(M) \to \mathbb{R} </math> जो लाइबनिज की पहचान को संतुष्ट करता है
Line 40: Line 41:
(प्रत्येक समान रूप से स्थिर कार्य के लिए <math>f=\text{const},</math> यह इस प्रकार है कि <math> D(f)=0 </math>)
(प्रत्येक समान रूप से स्थिर कार्य के लिए <math>f=\text{const},</math> यह इस प्रकार है कि <math> D(f)=0 </math>)


निरूपित <math> T_{x} M </math> सभी व्युत्पत्तियों का सेट <math> x. </math> स्थापना
निरूपित <math> T_{x} M </math> सभी व्युत्पत्तियों का समुच्चय <math> x. </math> स्थापना
* <math> (D_1+D_2)(f) := {D}_1(f) + {D}_2(f) </math> तथा
* <math> (D_1+D_2)(f) := {D}_1(f) + {D}_2(f) </math> तथा
* <math> (\lambda \cdot D)(f) := \lambda \cdot D(f) </math>
* <math> (\lambda \cdot D)(f) := \lambda \cdot D(f) </math>
मोड़ों <math> T_{x} M </math> वेक्टर अंतरिक्ष में।
मोड़ों <math> T_{x} M </math> सदिश स्पेस में।


==== सामान्यीकरण ====
==== सामान्यीकरण ====
Line 49: Line 50:


=== परिभाषाओं की समानता ===
=== परिभाषाओं की समानता ===
के लिये <math>x \in M</math> और अवकलनीय वक्र <math> \gamma: (- 1,1) \to M </math> ऐसा है कि <math>\gamma (0) = x,</math> परिभाषित करना <math> {D_{\gamma}}(f) := (f \circ \gamma)'(0) </math> (जहां व्युत्पन्न सामान्य अर्थ में लिया जाता है क्योंकि <math> f \circ \gamma </math> से समारोह है <math> (- 1,1) </math> प्रति <math> \mathbb{R} </math>) कोई यह पता लगा सकता है कि <math>D_{\gamma}(f)</math> बिंदु पर व्युत्पत्ति है <math>x,</math> और वह समतुल्य वक्र समान व्युत्पत्ति देते हैं। इस प्रकार, तुल्यता वर्ग के लिए <math> \gamma'(0), </math> हम परिभाषित कर सकते हैं <math> {D_{\gamma'(0)}}(f) := (f \circ \gamma)'(0), </math> जहां वक्र <math>\gamma \in \gamma'(0) </math> मनमाने ढंग से चुना गया है। नक्शा <math> \gamma'(0) \mapsto D_{\gamma'(0)} </math> तुल्यता वर्गों की जगह के बीच वेक्टर अंतरिक्ष समरूपता है <math> \gamma'(0) </math> और उस बिंदु पर व्युत्पत्तियों का <math>x.</math>
के लिये <math>x \in M</math> और अवकलनीय वक्र <math> \gamma: (- 1,1) \to M </math> ऐसा है कि <math>\gamma (0) = x,</math> परिभाषित करना <math> {D_{\gamma}}(f) := (f \circ \gamma)'(0) </math> (जहां व्युत्पन्न सामान्य अर्थ में लिया जाता है क्योंकि <math> f \circ \gamma </math> से समारोह है <math> (- 1,1) </math> प्रति <math> \mathbb{R} </math>) कोई यह पता लगा सकता है कि <math>D_{\gamma}(f)</math> बिंदु पर व्युत्पत्ति है <math>x,</math> और वह समतुल्य वक्र समान व्युत्पत्ति देते हैं। इस प्रकार, तुल्यता वर्ग के लिए <math> \gamma'(0), </math> हम परिभाषित कर सकते हैं <math> {D_{\gamma'(0)}}(f) := (f \circ \gamma)'(0), </math> जहां वक्र <math>\gamma \in \gamma'(0) </math> मनमाने ढंग से चुना गया है। नक्शा <math> \gamma'(0) \mapsto D_{\gamma'(0)} </math> तुल्यता वर्गों की जगह के बीच सदिश स्पेस समरूपता है <math> \gamma'(0) </math> और उस बिंदु पर व्युत्पत्तियों का <math>x.</math>




=== कोटैंजेंट रिक्त स्थान के माध्यम से परिभाषा ===
=== कोटैंजेंट रिक्त स्थान के माध्यम से परिभाषा ===


फिर से, हम a . से शुरू करते हैं <math> C^\infty </math> विविध <math> M </math> और बिंदु <math> x \in M </math>. आदर्श पर विचार करें (अंगूठी सिद्धांत) <math> I </math> का <math> C^\infty(M) </math> जिसमें सभी सुचारू कार्य शामिल हैं <math> f </math> गायब हो रहा है <math> x </math>, अर्थात।, <math> f(x) = 0 </math>. फिर <math> I </math> तथा <math> I^2 </math> दोनों वास्तविक वेक्टर रिक्त स्थान हैं, और [[ भागफल स्थान (रैखिक बीजगणित) |भागफल स्थान (रैखिक बीजगणित)]] <math> I / I^2 </math> [[ स्पर्शरेखा स्थान |स्पर्शरेखा स्थान]] में [[ समाकृतिकता |समाकृतिकता]] दिखाया जा सकता है <math> T^{*}_x M </math> टेलर के प्रमेय के उपयोग के माध्यम से। स्पर्शरेखा स्थान <math> T_x M </math> के दोहरे स्थान के रूप में परिभाषित किया जा सकता है <math> I / I^2 </math>.
फिर से, हम a . से शुरू करते हैं <math> C^\infty </math> विविध <math> M </math> और बिंदु <math> x \in M </math>. आदर्श पर विचार करें (अंगूठी सिद्धांत) <math> I </math> का <math> C^\infty(M) </math> जिसमें सभी सुचारू कार्य शामिल हैं <math> f </math> गायब हो रहा है <math> x </math>, अर्थात।, <math> f(x) = 0 </math>. फिर <math> I </math> तथा <math> I^2 </math> दोनों वास्तविक सदिश रिक्त स्थान हैं, और [[ भागफल स्थान (रैखिक बीजगणित) |भागफल स्थान (रैखिक बीजगणित)]] <math> I / I^2 </math> [[ स्पर्शरेखा स्थान |स्पर्शरेखा स्थान]] में [[ समाकृतिकता |समाकृतिकता]] दिखाया जा सकता है <math> T^{*}_x M </math> टेलर के प्रमेय के उपयोग के माध्यम से। स्पर्शरेखा स्थान <math> T_x M </math> के दोहरे स्थान के रूप में परिभाषित किया जा सकता है <math> I / I^2 </math>.


हालांकि यह परिभाषा सबसे सारगर्भित है, यह वह भी है जो अन्य सेटिंग्स के लिए सबसे आसानी से हस्तांतरणीय है, उदाहरण के लिए, बीजगणितीय ज्यामिति में बीजगणितीय विविधता के लिए माना जाता है।
हालांकि यह परिभाषा सबसे सारगर्भित है, यह वह भी है जो अन्य समुच्चयिंग्स के लिए सबसे आसानी से हस्तांतरणीय है, उदाहरण के लिए, बीजगणितीय ज्यामिति में बीजगणितीय विविधता के लिए माना जाता है।


यदि <math> D </math> व्युत्पत्ति है <math> x </math>, फिर <math> D(f) = 0 </math> हरएक के लिए <math> f \in I^2 </math>, जिसका अर्थ है कि <math> D </math> रैखिक मानचित्र को जन्म देता है <math> I / I^2 \to \mathbb{R} </math>. इसके विपरीत, यदि <math> r: I / I^2 \to \mathbb{R} </math> रैखिक नक्शा है, तो <math> D(f) := r\left((f - f(x)) + I^2\right) </math> व्युत्पत्ति को परिभाषित करता है <math> x </math>. यह व्युत्पत्तियों के माध्यम से परिभाषित स्पर्शरेखा रिक्त स्थान और कोटेंगेंट रिक्त स्थान के माध्यम से परिभाषित स्पर्शरेखा रिक्त स्थान के बीच समानता उत्पन्न करता है।
यदि <math> D </math> व्युत्पत्ति है <math> x </math>, फिर <math> D(f) = 0 </math> हरएक के लिए <math> f \in I^2 </math>, जिसका अर्थ है कि <math> D </math> रैखिक मानचित्र को जन्म देता है <math> I / I^2 \to \mathbb{R} </math>. इसके विपरीत, यदि <math> r: I / I^2 \to \mathbb{R} </math> रैखिक नक्शा है, तब <math> D(f) := r\left((f - f(x)) + I^2\right) </math> व्युत्पत्ति को परिभाषित करता है <math> x </math>. यह व्युत्पत्तियों के माध्यम से परिभाषित स्पर्शरेखा रिक्त स्थान और कोटेंगेंट रिक्त स्थान के माध्यम से परिभाषित स्पर्शरेखा रिक्त स्थान के बीच समानता उत्पन्न करता है।


== गुण ==
== गुण ==


यदि <math> M </math> का खुला उपसमुच्चय है <math> \mathbb{R}^{n} </math>, फिर <math> M </math> है <math> C^{\infty} </math> प्राकृतिक तरीके से कई गुना (के खुले उपसमुच्चय पर पहचान कार्य होने के लिए समन्वय चार्ट लें) <math> \mathbb{R}^{n} </math>), और स्पर्शरेखा रिक्त स्थान सभी स्वाभाविक रूप से पहचाने जाते हैं <math> \mathbb{R}^{n} </math>.
यदि <math> M </math> का खुला उपसमुच्चय है <math> \mathbb{R}^{n} </math>, फिर <math> M </math> है <math> C^{\infty} </math> प्राकृतिक विधियों से कई गुना (के खुले उपसमुच्चय पर पहचान कार्य होने के लिए समन्वय चार्ट लें) <math> \mathbb{R}^{n} </math>), और स्पर्शरेखा रिक्त स्थान सभी स्वाभाविक रूप से पहचाने जाते हैं <math> \mathbb{R}^{n} </math>.


=== [[ दिशात्मक व्युत्पन्न | दिशात्मक व्युत्पन्न]] के रूप में स्पर्शरेखा वैक्टर ===
=== [[ दिशात्मक व्युत्पन्न | दिशात्मक व्युत्पन्न]] के रूप में स्पर्शरेखा सदिश ===


स्पर्शरेखा वैक्टर के बारे में सोचने का और तरीका दिशात्मक डेरिवेटिव है। वेक्टर दिया गया <math> v </math> में <math> \mathbb{R}^{n} </math>, बिंदु पर संबंधित दिशात्मक व्युत्पन्न को परिभाषित करता है <math> x \in \mathbb{R}^{n} </math> द्वारा
स्पर्शरेखा सदिश के बारे में सोचने का और तरीका दिशात्मक डेरिवेटिव है। सदिश दिया गया <math> v </math> में <math> \mathbb{R}^{n} </math>, बिंदु पर संबंधित दिशात्मक व्युत्पन्न को परिभाषित करता है <math> x \in \mathbb{R}^{n} </math> द्वारा
:<math>
:<math>
\forall f \in {C^{\infty}}(\mathbb{R}^{n}): \qquad
\forall f \in {C^{\infty}}(\mathbb{R}^{n}): \qquad
Line 73: Line 74:
= \sum_{i = 1}^{n} v^{i} {\frac{\partial f}{\partial x^{i}}}(x).
= \sum_{i = 1}^{n} v^{i} {\frac{\partial f}{\partial x^{i}}}(x).
</math>
</math>
यह नक्शा स्वाभाविक रूप से व्युत्पत्ति है <math> x </math>. इसके अलावा, प्रत्येक व्युत्पत्ति बिंदु पर <math> \mathbb{R}^{n} </math> इस स्वरूप का है। इसलिए, बिंदु पर वैक्टर (एक बिंदु पर स्पर्शरेखा वैक्टर के रूप में माना जाता है) और व्युत्पत्तियों के बीच एक-से-एक पत्राचार होता है।
यह नक्शा स्वाभाविक रूप से व्युत्पत्ति है <math> x </math>. इसके अलावा, प्रत्येक व्युत्पत्ति बिंदु पर <math> \mathbb{R}^{n} </math> इस स्वरूप का है। इसलिए, बिंदु पर सदिश (एक बिंदु पर स्पर्शरेखा सदिश के रूप में माना जाता है) और व्युत्पत्तियों के बीच एक-से-एक पत्राचार होता है।


एक बिंदु पर सामान्य मैनिफोल्ड के स्पर्शरेखा वैक्टर को उस बिंदु पर व्युत्पन्न के रूप में परिभाषित किया जा सकता है, उन्हें दिशात्मक डेरिवेटिव के रूप में सोचना स्वाभाविक है। विशेष रूप से, यदि <math> v </math> स्पर्शरेखा वेक्टर है <math> M </math> बिंदु पर <math> x </math> (एक व्युत्पत्ति के रूप में सोचा), फिर दिशात्मक व्युत्पन्न को परिभाषित करें <math> D_{v} </math> दिशा में <math> v </math> द्वारा
एक बिंदु पर सामान्य मैनिफोल्ड के स्पर्शरेखा सदिश को उस बिंदु पर व्युत्पन्न के रूप में परिभाषित किया जा सकता है, उन्हें दिशात्मक डेरिवेटिव के रूप में सोचना स्वाभाविक है। विशेष रूप से, यदि <math> v </math> स्पर्शरेखा सदिश है <math> M </math> बिंदु पर <math> x </math> (एक व्युत्पत्ति के रूप में सोचा), फिर दिशात्मक व्युत्पन्न को परिभाषित करें <math> D_{v} </math> दिशा में <math> v </math> द्वारा
:<math>
:<math>
\forall f \in {C^{\infty}}(M): \qquad
\forall f \in {C^{\infty}}(M): \qquad
Line 89: Line 90:
=== एक बिंदु पर स्पर्शरेखा स्थान का आधार ===
=== एक बिंदु पर स्पर्शरेखा स्थान का आधार ===


एक के लिए <math> C^{\infty} </math> विविध <math> M </math>, अगर चार्ट <math> \varphi = (x^{1},\ldots,x^{n}): U \to \mathbb{R}^{n} </math> के साथ दिया जाता है <math> p \in U </math>, तो कोई आदेशित आधार को परिभाषित कर सकता है <math display="inline"> \left\{ \left. \frac{\partial}{\partial x^{1}} \right|_{p} , \dots , \left. \frac{\partial}{\partial x^{n}} \right|_{p} \right\} </math> का <math> T_{p} M </math> द्वारा
एक के लिए <math> C^{\infty} </math> विविध <math> M </math>, अगर चार्ट <math> \varphi = (x^{1},\ldots,x^{n}): U \to \mathbb{R}^{n} </math> के साथ दिया जाता है <math> p \in U </math>, तब कोई आदेशित आधार को परिभाषित कर सकता है <math display="inline"> \left\{ \left. \frac{\partial}{\partial x^{1}} \right|_{p} , \dots , \left. \frac{\partial}{\partial x^{n}} \right|_{p} \right\} </math> का <math> T_{p} M </math> द्वारा
:<math>
:<math>
\forall i \in \{ 1,\ldots,n \}, ~ \forall f \in {C^{\infty}}(M): \qquad
\forall i \in \{ 1,\ldots,n \}, ~ \forall f \in {C^{\infty}}(M): \qquad
Line 99: Line 100:
v = \sum_{i = 1}^{n} v^{i} \left. \frac{\partial}{\partial x^{i}} \right|_{p}.
v = \sum_{i = 1}^{n} v^{i} \left. \frac{\partial}{\partial x^{i}} \right|_{p}.
</math>
</math>
इसलिए यह सूत्र व्यक्त करता है <math> v </math> आधार स्पर्शरेखा वैक्टर के रैखिक संयोजन के रूप में <math display="inline"> \left. \frac{\partial}{\partial x^{i}} \right|_{p} \in T_{p} M </math> निर्देशांक चार्ट द्वारा परिभाषित <math> \varphi: U \to \mathbb{R}^{n} </math>.<ref>{{cite web|title = डिफरेंशियल ज्योमेट्री का परिचय|first = Eugene|last = Lerman|page = 12| url = https://faculty.math.illinois.edu/~lerman/518/f11/8-19-11.pdf}}</ref>
इसलिए यह सूत्र व्यक्त करता है <math> v </math> आधार स्पर्शरेखा सदिश के रैखिक संयोजन के रूप में <math display="inline"> \left. \frac{\partial}{\partial x^{i}} \right|_{p} \in T_{p} M </math> निर्देशांक चार्ट द्वारा परिभाषित <math> \varphi: U \to \mathbb{R}^{n} </math>.<ref>{{cite web|title = डिफरेंशियल ज्योमेट्री का परिचय|first = Eugene|last = Lerman|page = 12| url = https://faculty.math.illinois.edu/~lerman/518/f11/8-19-11.pdf}}</ref>




Line 109: Line 110:
\mathrm{d}{\varphi}_{x}: T_{x} M \to T_{\varphi(x)} N.
\mathrm{d}{\varphi}_{x}: T_{x} M \to T_{\varphi(x)} N.
</math>
</math>
यदि स्पर्शरेखा स्थान को अवकलनीय वक्रों के माध्यम से परिभाषित किया जाता है, तो यह मानचित्र द्वारा परिभाषित किया जाता है
यदि स्पर्शरेखा स्थान को अवकलनीय वक्रों के माध्यम से परिभाषित किया जाता है, तब यह मानचित्र द्वारा परिभाषित किया जाता है
:<math>
:<math>
{\mathrm{d}{\varphi}_{x}}(\gamma'(0)) := (\varphi \circ \gamma)'(0).
{\mathrm{d}{\varphi}_{x}}(\gamma'(0)) := (\varphi \circ \gamma)'(0).
</math>
</math>
यदि, इसके बजाय, स्पर्शरेखा स्थान को व्युत्पत्तियों के माध्यम से परिभाषित किया जाता है, तो यह मानचित्र द्वारा परिभाषित किया जाता है
यदि, इसके बजाय, स्पर्शरेखा स्थान को व्युत्पत्तियों के माध्यम से परिभाषित किया जाता है, तब यह मानचित्र द्वारा परिभाषित किया जाता है
:<math>
:<math>
[\mathrm{d}{\varphi}_{x}(D)](f) := D(f \circ \varphi).
[\mathrm{d}{\varphi}_{x}(D)](f) := D(f \circ \varphi).
Line 129: Line 130:
== यह भी देखें ==
== यह भी देखें ==
*समन्वय-प्रेरित आधार
*समन्वय-प्रेरित आधार
* कोटैंजेंट स्पेस
* कोटैंजेंट समिष्ट
*वक्रों की डिफरेंशियल ज्योमेट्री
*वक्रों की डिफरेंशियल ज्योमेट्री
* [[ घातीय मानचित्र (रिमेंनियन ज्यामिति) ]]
* [[ घातीय मानचित्र (रिमेंनियन ज्यामिति) ]]
Line 150: Line 151:
*वृत्त
*वृत्त
*अलग करने योग्य कई गुना
*अलग करने योग्य कई गुना
*स्पर्शरेखा वेक्टर
*स्पर्शरेखा सदिश
*एक वेक्टर अंतरिक्ष का आयाम
*एक सदिश स्पेस का आयाम
*यूक्लिडियन स्पेस
*यूक्लिडियन समिष्ट
*सीधा
*सीधा
*बीजीय किस्म
*बीजीय किस्म

Revision as of 13:38, 25 July 2023

गणित में, मैनिफोल्ड का स्पर्शरेखा स्थान दो-आयामी स्पेस में वक्रों के लिए स्पर्शरेखा (ज्यामिति) रेखाओं और उच्च आयामों में त्रि-आयामी स्पेस में सतहों के स्पर्शरेखा तल का सामान्यीकरण है। भौतिकी के संदर्भ में किसी बिंदु पर मैनिफोल्ड के स्पर्शरेखा स्थान को मैनिफोल्ड पर गतिमान कण के लिए संभावित वेग के स्थान के रूप में देखा जा सकता है।

अनौपचारिक विवरण

एक बिंदु के स्पर्शरेखा स्थान का सचित्र प्रतिनिधित्व वृत्त पर। इस स्पर्शरेखा स्थान में सदिश संभावित वेग (वृत्त पर गतिमान किसी वस्तु का) को दर्शाता है . उस दिशा में पास के बिंदु पर जाने के पश्चात्, उस बिंदु के स्पर्शरेखा स्थान में सदिश द्वारा वेग दिया जाएगा - अलग स्पर्शरेखा स्थान जो नहीं दिखाया गया है।

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

उदाहरण के लिए, यदि दिया गया मैनिफोल्ड a वृत्त है | तब कोई बिंदु पर स्पर्शरेखा स्थान को उस समतल के रूप में चित्रित कर सकता है जो उस बिंदु पर वृत्त को छूता है और बिंदु के माध्यम से वृत्त की त्रिज्या के लंबवत है। अधिक सामान्यतः, यदि किसी दिए गए मैनिफोल्ड को यूक्लिडियन समिष्ट के एम्बेडिंग सबमनिफोल्ड के रूप में माना जाता है, तब कोई इस शाब्दिक प्रचलन में स्पर्शरेखा स्थान को चित्रित कर सकता है। यह समानांतर परिवहन को परिभाषित करने का पारंपरिक दृष्टिकोण था। विभेदक ज्यामिति और सामान्य सापेक्षता में कई लेखक इसका उपयोग करते हैं।[1] [2] अधिक सख्ती से, यह एफ़िन स्पर्शरेखा स्थान को परिभाषित करता है, जो आधुनिक शब्दावली द्वारा वर्णित स्पर्शरेखा सदिश के स्थान से अलग है।

इसके विपरीत, बीजगणितीय ज्यामिति में, बीजगणितीय विविधता के बिंदु पर स्पर्शरेखा स्थान की आंतरिक परिभाषा होती है जो कम से कम के आयाम के साथ सदिश स्थान देती है। वे बिंदु जिन पर स्पर्शरेखा स्थान का आयाम बिल्कुल के समान है, गैर-एकवचन बिंदु कहलाते हैं; अन्य को एकवचन बिंदु कहा जाता है। उदाहरण के लिए, वक्र जो स्वयं को काटता है, उस बिंदु पर कोई अद्वितीय स्पर्श रेखा नहीं होती है। के विलक्षण बिंदु वे हैं जहां "कई गुना होने का परीक्षण" विफल हो जाता है। ज़ारिस्की स्पर्शरेखा स्थान देखें।

इसमें मैनिफोल्ड के स्पर्शरेखा रिक्त स्थान प्रस्तुत किए जाने के पश्चात्, कोई सदिश क्षेत्र को परिभाषित कर सकता है, जो स्पेस में घूमने वाले कणों के वेग क्षेत्र का सार है। सदिश क्षेत्र मैनिफोल्ड के प्रत्येक बिंदु पर उस बिंदु पर स्पर्शरेखा स्थान से सदिश को सहज विधियों से जोड़ता है। ऐसा सदिश क्षेत्र मैनिफोल्ड पर सामान्यीकृत साधारण अंतर समीकरण को परिभाषित करने का कार्य करता है | ऐसे अंतर समीकरण का समाधान मैनिफोल्ड पर अवकलनीय वक्र होता है जिसका किसी भी बिंदु पर व्युत्पन्न सदिश क्षेत्र द्वारा उस बिंदु से जुड़े स्पर्शरेखा सदिश के सामान्य होता है।

मैनिफोल्ड के सभी स्पर्शरेखा स्थानों को मूल मैनिफोल्ड के दोगुने आयाम के साथ नया विभेदक मैनिफोल्ड बनाने के लिए "एक साथ चिपकाया" जा सकता है, जिसे मैनिफोल्ड का स्पर्शरेखा बंडल कहा जाता है।

औपचारिक परिभाषाएं

उपरोक्त अनौपचारिक विवरण परिवेशी सदिश स्थान में एम्बेड होने की मैनिफोल्ड की क्षमता पर निर्भर करता है ताकि स्पर्शरेखा सदिश परिवेशीय स्पेस में मैनिफोल्ड से "बाहर चिपक" सकते हैं। चूँकि, स्पर्शरेखा स्थान की धारणा को सिर्फ मैनिफोल्ड के आधार पर परिभाषित करना अधिक सुविधाजनक है।[3]

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

स्पर्शरेखा वक्रों के माध्यम से परिभाषा

एंबेडेड-मैनिफोल्ड चित्र में, बिंदु पर स्पर्शरेखा सदिश को बिंदु से गुजरने वाले वक्र के वेग के रूप में माना जाता है। इसलिए हम स्पर्शरेखा सदिश को पर दूसरे के स्पर्शरेखा होते हुए से गुजरने वाले वक्रों के समतुल्य वर्ग के रूप में परिभाषित कर सकते हैं।

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

स्पर्शरेखा स्थान और स्पर्शरेखा सदिश , वक्र के माध्यम से यात्रा कर रहा है .

पर सदिश-स्पेस ऑपरेशंस को परिभाषित करने के लिए, हम चार्ट का उपयोग करते हैं और मानचित्र को से परिभाषित करते हैं जहां मानचित्र विशेषण बन जाता है और इसका उपयोग सदिश-स्पेस संचालन को से तक स्थानांतरित करने के लिए किया जा सकता है, इस प्रकार पश्चात् वाले समुच्चय को -आयामी वास्तविक सदिश स्पेस में परिवर्तित दिया जाता है। फिर, किसी को यह जांचने की आवश्यकता होती है कि यह निर्माण विशेष चार्ट और उपयोग किए जा रहे वक्र पर निर्भर नहीं है | और वास्तव में यह नहीं होता है।

व्युत्पत्तियों के माध्यम से परिभाषा

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

एक व्युत्पत्ति (सार बीजगणित) at रैखिक मानचित्र के रूप में परिभाषित किया गया है जो लाइबनिज की पहचान को संतुष्ट करता है

जो कलन के उत्पाद नियम पर आधारित है।

(प्रत्येक समान रूप से स्थिर कार्य के लिए यह इस प्रकार है कि )

निरूपित सभी व्युत्पत्तियों का समुच्चय स्थापना

  • तथा

मोड़ों सदिश स्पेस में।

सामान्यीकरण

इस परिभाषा के सामान्यीकरण संभव हैं, उदाहरण के लिए, जटिल मैनिफोल्ड और बीजीय विविधता के लिए। हालांकि, व्युत्पत्तियों की जांच करने के बजाय कार्यों के पूर्ण बीजगणित से, किसी को इसके बजाय कार्यों के रोगाणु (गणित) के स्तर पर काम करना चाहिए। इसका कारण यह है कि संरचना शीफ इंजेक्शन शीफ नहीं हो सकता है#ऐसी संरचनाओं के लिए फाइन शीव्स। उदाहरण के लिए, चलो संरचना शीफ ​​के साथ बीजीय किस्म बनें . फिर बिंदु पर ज़ारिस्की स्पर्शरेखा स्थान सभी का संग्रह है -व्युत्पत्तियां , कहाँ पे जमीनी क्षेत्र है और का डंठल (शीफ) है पर .

परिभाषाओं की समानता

के लिये और अवकलनीय वक्र ऐसा है कि परिभाषित करना (जहां व्युत्पन्न सामान्य अर्थ में लिया जाता है क्योंकि से समारोह है प्रति ) कोई यह पता लगा सकता है कि बिंदु पर व्युत्पत्ति है और वह समतुल्य वक्र समान व्युत्पत्ति देते हैं। इस प्रकार, तुल्यता वर्ग के लिए हम परिभाषित कर सकते हैं जहां वक्र मनमाने ढंग से चुना गया है। नक्शा तुल्यता वर्गों की जगह के बीच सदिश स्पेस समरूपता है और उस बिंदु पर व्युत्पत्तियों का


कोटैंजेंट रिक्त स्थान के माध्यम से परिभाषा

फिर से, हम a . से शुरू करते हैं विविध और बिंदु . आदर्श पर विचार करें (अंगूठी सिद्धांत) का जिसमें सभी सुचारू कार्य शामिल हैं गायब हो रहा है , अर्थात।, . फिर तथा दोनों वास्तविक सदिश रिक्त स्थान हैं, और भागफल स्थान (रैखिक बीजगणित) स्पर्शरेखा स्थान में समाकृतिकता दिखाया जा सकता है टेलर के प्रमेय के उपयोग के माध्यम से। स्पर्शरेखा स्थान के दोहरे स्थान के रूप में परिभाषित किया जा सकता है .

हालांकि यह परिभाषा सबसे सारगर्भित है, यह वह भी है जो अन्य समुच्चयिंग्स के लिए सबसे आसानी से हस्तांतरणीय है, उदाहरण के लिए, बीजगणितीय ज्यामिति में बीजगणितीय विविधता के लिए माना जाता है।

यदि व्युत्पत्ति है , फिर हरएक के लिए , जिसका अर्थ है कि रैखिक मानचित्र को जन्म देता है . इसके विपरीत, यदि रैखिक नक्शा है, तब व्युत्पत्ति को परिभाषित करता है . यह व्युत्पत्तियों के माध्यम से परिभाषित स्पर्शरेखा रिक्त स्थान और कोटेंगेंट रिक्त स्थान के माध्यम से परिभाषित स्पर्शरेखा रिक्त स्थान के बीच समानता उत्पन्न करता है।

गुण

यदि का खुला उपसमुच्चय है , फिर है प्राकृतिक विधियों से कई गुना (के खुले उपसमुच्चय पर पहचान कार्य होने के लिए समन्वय चार्ट लें) ), और स्पर्शरेखा रिक्त स्थान सभी स्वाभाविक रूप से पहचाने जाते हैं .

दिशात्मक व्युत्पन्न के रूप में स्पर्शरेखा सदिश

स्पर्शरेखा सदिश के बारे में सोचने का और तरीका दिशात्मक डेरिवेटिव है। सदिश दिया गया में , बिंदु पर संबंधित दिशात्मक व्युत्पन्न को परिभाषित करता है द्वारा

यह नक्शा स्वाभाविक रूप से व्युत्पत्ति है . इसके अलावा, प्रत्येक व्युत्पत्ति बिंदु पर इस स्वरूप का है। इसलिए, बिंदु पर सदिश (एक बिंदु पर स्पर्शरेखा सदिश के रूप में माना जाता है) और व्युत्पत्तियों के बीच एक-से-एक पत्राचार होता है।

एक बिंदु पर सामान्य मैनिफोल्ड के स्पर्शरेखा सदिश को उस बिंदु पर व्युत्पन्न के रूप में परिभाषित किया जा सकता है, उन्हें दिशात्मक डेरिवेटिव के रूप में सोचना स्वाभाविक है। विशेष रूप से, यदि स्पर्शरेखा सदिश है बिंदु पर (एक व्युत्पत्ति के रूप में सोचा), फिर दिशात्मक व्युत्पन्न को परिभाषित करें दिशा में द्वारा

अगर हम सोचते हैं अवकलनीय वक्र के प्रारंभिक वेग के रूप में पर आरंभ किया गया , अर्थात।, , फिर इसके बजाय, परिभाषित करें द्वारा


एक बिंदु पर स्पर्शरेखा स्थान का आधार

एक के लिए विविध , अगर चार्ट के साथ दिया जाता है , तब कोई आदेशित आधार को परिभाषित कर सकता है का द्वारा

तब प्रत्येक स्पर्शरेखा सदिश के लिए , किसी के पास

इसलिए यह सूत्र व्यक्त करता है आधार स्पर्शरेखा सदिश के रैखिक संयोजन के रूप में निर्देशांक चार्ट द्वारा परिभाषित .[4]


मानचित्र का व्युत्पन्न

हर चिकना (या अलग-अलग) नक्शा चिकनी (या अलग-अलग) मैनिफोल्ड्स के बीच प्राकृतिक रैखिक मानचित्रों को उनके संबंधित स्पर्शरेखा रिक्त स्थान के बीच प्रेरित करता है:

यदि स्पर्शरेखा स्थान को अवकलनीय वक्रों के माध्यम से परिभाषित किया जाता है, तब यह मानचित्र द्वारा परिभाषित किया जाता है

यदि, इसके बजाय, स्पर्शरेखा स्थान को व्युत्पत्तियों के माध्यम से परिभाषित किया जाता है, तब यह मानचित्र द्वारा परिभाषित किया जाता है

रैखिक नक्शा को विभिन्न रूप से व्युत्पन्न, कुल व्युत्पन्न, अंतर, या पुशफॉरवर्ड कहा जाता है पर . इसे अक्सर कई अन्य नोटेशन का उपयोग करके व्यक्त किया जाता है:

एक अर्थ में, व्युत्पन्न सबसे अच्छा रैखिक सन्निकटन है पास . ध्यान दें कि जब , फिर नक्शा फ़ंक्शन के डिफरेंशियल (कैलकुलस) की सामान्य धारणा के साथ मेल खाता है . स्थानीय निर्देशांक में . का व्युत्पन्न जैकोबियन मैट्रिक्स और निर्धारक द्वारा दिया गया है।

व्युत्पन्न मानचित्र के संबंध में महत्वपूर्ण परिणाम निम्नलिखित है:

Theorem — If is a local diffeomorphism at in , then is a linear isomorphism. Conversely, if is continuously differentiable and is an isomorphism, then there is an open neighborhood of such that maps diffeomorphically onto its image.

यह मैनिफोल्ड्स के बीच मानचित्रों के प्रतिलोम फलन प्रमेय का सामान्यीकरण है।

यह भी देखें

टिप्पणियाँ

  1. do Carmo, Manfredo P. (1976). वक्रों और सतहों की विभेदक ज्यामिति. Prentice-Hall.:
  2. Dirac, Paul A. M. (1996) [1975]. सापेक्षता का सामान्य सिद्धांत. Princeton University Press. ISBN 0-691-01146-X.
  3. Chris J. Isham (1 January 2002). भौतिकविदों के लिए आधुनिक विभेदक ज्यामिति. Allied Publishers. pp. 70–72. ISBN 978-81-7764-316-9.
  4. Lerman, Eugene. "डिफरेंशियल ज्योमेट्री का परिचय" (PDF). p. 12.


संदर्भ


इस पृष्ठ में अनुपलब्ध आंतरिक लिंक की सूची

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

बाहरी संबंध