स्पर्शरेखा स्थान: Difference between revisions
(Created page with "{{Use American English|date=March 2019}}{{Short description|Assignment of vector fields to manifolds}} गणित में, विविध का स्पर्...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Assignment of vector fields to manifolds}} | |||
गणित में, [[ विविध ]] का [[ स्पर्शरेखा ]] स्थान तीन आयामों में सतहों के लिए "[[ स्पर्शरेखा विमान (ज्यामिति) ]]" की धारणा और दो आयामों में वक्रों के लिए "स्पर्शरेखा रेखाएं" की धारणा को उच्च आयामों के लिए सामान्यीकृत करता है। भौतिकी के संदर्भ में, | गणित में, [[ विविध |विविध]] का [[ स्पर्शरेखा |स्पर्शरेखा]] स्थान तीन आयामों में सतहों के लिए "[[ स्पर्शरेखा विमान (ज्यामिति) ]]" की धारणा और दो आयामों में वक्रों के लिए "स्पर्शरेखा रेखाएं" की धारणा को उच्च आयामों के लिए सामान्यीकृत करता है। भौतिकी के संदर्भ में, बिंदु पर कई गुना स्पर्शरेखा स्थान को कई गुना गतिमान कण के लिए संभावित वेगों के स्थान के रूप में देखा जा सकता है। | ||
== अनौपचारिक विवरण == | == अनौपचारिक विवरण == | ||
[[Image:Image Tangent-plane.svg|thumb|एक बिंदु के स्पर्शरेखा स्थान का सचित्र प्रतिनिधित्व <math> x </math> | [[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>. यह यूक्लिडियन अंतरिक्ष में दिए गए प्रारंभिक बिंदु पर आधारित [[ वेक्टर (गणित और भौतिकी) |वेक्टर (गणित और भौतिकी)]] की धारणा का सामान्यीकरण है। [[ कनेक्टेड स्पेस |कनेक्टेड स्पेस]] के प्रत्येक बिंदु पर कई गुना स्पर्शरेखा अंतरिक्ष के वेक्टर स्पेस का आयाम कई गुना के समान ही होता है। | ||
उदाहरण के लिए, यदि दिया गया मैनिफोल्ड a . है <math> 2 </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> अधिक सख्ती से, यह एफ़िन स्पर्शरेखा स्थान को परिभाषित करता है, जो आधुनिक शब्दावली द्वारा वर्णित स्पर्शरेखा वैक्टर के स्थान से अलग है। | ||
[[ बीजगणितीय ज्यामिति ]] में, इसके विपरीत, बीजीय विविधता के बिंदु पर स्पर्शरेखा स्थान की | [[ बीजगणितीय ज्यामिति | बीजगणितीय ज्यामिति]] में, इसके विपरीत, बीजीय विविधता के बिंदु पर स्पर्शरेखा स्थान की आंतरिक परिभाषा होती है <math> V </math> जो कम से कम के आयाम के साथ सदिश स्थान देता है <math> V </math> अपने आप। बिंदु <math> p </math> जिस पर स्पर्शरेखा स्थान का आयाम ठीक वैसा ही है <math> V </math> गैर-एकवचन बिंदु कहलाते हैं; अन्य को एकवचन बिंदु कहा जाता है। उदाहरण के लिए, वक्र जो स्वयं को काटता है, उस बिंदु पर अद्वितीय स्पर्श रेखा नहीं होती है। के विलक्षण बिंदु <math> V </math> वे हैं जहां परीक्षण कई गुना विफल रहता है। [[ ज़ारिस्की स्पर्शरेखा स्थान |ज़ारिस्की स्पर्शरेखा स्थान]] देखें। | ||
एक बार कई गुना के स्पर्शरेखा रिक्त स्थान पेश किए जाने के बाद, कोई वेक्टर फ़ील्ड को परिभाषित कर सकता है, जो अंतरिक्ष में चलने वाले कणों के वेग क्षेत्र के अमूर्त हैं। | एक बार कई गुना के स्पर्शरेखा रिक्त स्थान पेश किए जाने के बाद, कोई वेक्टर फ़ील्ड को परिभाषित कर सकता है, जो अंतरिक्ष में चलने वाले कणों के वेग क्षेत्र के अमूर्त हैं। सदिश क्षेत्र उस बिंदु पर स्पर्शरेखा स्थान से कई गुना सदिश के प्रत्येक बिंदु को सहज तरीके से जोड़ता है। इस तरह के [[ वेक्टर क्षेत्र |वेक्टर क्षेत्र]] कई गुना पर सामान्यीकृत [[ साधारण अंतर समीकरण |साधारण अंतर समीकरण]] को परिभाषित करने के लिए कार्य करता है: इस तरह के अंतर समीकरण का समाधान कई गुना पर अलग [[ वक्र |वक्र]] है जिसका व्युत्पन्न किसी भी बिंदु पर वेक्टर क्षेत्र द्वारा उस बिंदु से जुड़े स्पर्शरेखा वेक्टर के बराबर होता है। | ||
एक मैनिफोल्ड के सभी स्पर्शरेखा रिक्त स्थान को | एक मैनिफोल्ड के सभी स्पर्शरेखा रिक्त स्थान को साथ चिपकाकर नया अलग-अलग मैनिफोल्ड बनाया जा सकता है, जिसमें मूल मैनिफोल्ड के दोगुने आयाम होते हैं, जिसे मैनिफोल्ड का [[ स्पर्शरेखा बंडल |स्पर्शरेखा बंडल]] कहा जाता है। | ||
== औपचारिक परिभाषाएं == | == औपचारिक परिभाषाएं == | ||
Line 21: | Line 21: | ||
=== स्पर्शरेखा वक्रों के माध्यम से परिभाषा === | === स्पर्शरेखा वक्रों के माध्यम से परिभाषा === | ||
एम्बेडेड-मैनिफोल्ड तस्वीर में, | एम्बेडेड-मैनिफोल्ड तस्वीर में, बिंदु पर स्पर्शरेखा वेक्टर <math> x </math> बिंदु से गुजरने वाले वक्र#टोपोलॉजी के वेग के रूप में माना जाता है <math> x </math>. इसलिए हम स्पर्शरेखा सदिश को वक्रों के तुल्यता वर्ग के रूप में परिभाषित कर सकते हैं, जो से होकर गुजरता है <math> x </math> दूसरे के स्पर्शरेखा होने पर <math> x </math>. | ||
मान लो कि <math> M </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>. | ||
[[Image:Tangentialvektor.svg|thumb|left|200px|स्पर्शरेखा स्थान <math> T_{x} M </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> इस्तेमाल किया जा रहा है, और वास्तव में ऐसा नहीं है। | ||
=== व्युत्पत्तियों के माध्यम से परिभाषा === | === व्युत्पत्तियों के माध्यम से परिभाषा === | ||
मान लीजिए कि अब <math> 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> | एक [[ व्युत्पत्ति (सार बीजगणित) |व्युत्पत्ति (सार बीजगणित)]] at <math> x \in M </math> रैखिक मानचित्र के रूप में परिभाषित किया गया है <math> D: {C^{\infty}}(M) \to \mathbb{R} </math> जो लाइबनिज की पहचान को संतुष्ट करता है | ||
<math display="block"> | <math display="block"> | ||
\forall f,g \in {C^{\infty}}(M): \qquad | \forall f,g \in {C^{\infty}}(M): \qquad | ||
Line 43: | Line 43: | ||
* <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> वेक्टर अंतरिक्ष में। | ||
==== सामान्यीकरण ==== | ==== सामान्यीकरण ==== | ||
इस परिभाषा के सामान्यीकरण संभव हैं, उदाहरण के लिए, [[ जटिल मैनिफोल्ड ]] और बीजीय विविधता के लिए। हालांकि, व्युत्पत्तियों की जांच करने के बजाय <math> D </math> कार्यों के पूर्ण बीजगणित से, किसी को इसके बजाय कार्यों के [[ रोगाणु (गणित) ]] के स्तर पर काम करना चाहिए। इसका कारण यह है कि [[ संरचना शीफ ]] इंजेक्शन शीफ नहीं हो सकता है#ऐसी संरचनाओं के लिए फाइन शीव्स। उदाहरण के लिए, चलो <math> X </math> संरचना शीफ के साथ | इस परिभाषा के सामान्यीकरण संभव हैं, उदाहरण के लिए, [[ जटिल मैनिफोल्ड |जटिल मैनिफोल्ड]] और बीजीय विविधता के लिए। हालांकि, व्युत्पत्तियों की जांच करने के बजाय <math> D </math> कार्यों के पूर्ण बीजगणित से, किसी को इसके बजाय कार्यों के [[ रोगाणु (गणित) |रोगाणु (गणित)]] के स्तर पर काम करना चाहिए। इसका कारण यह है कि [[ संरचना शीफ |संरचना शीफ]] इंजेक्शन शीफ नहीं हो सकता है#ऐसी संरचनाओं के लिए फाइन शीव्स। उदाहरण के लिए, चलो <math> X </math> संरचना शीफ के साथ बीजीय किस्म बनें <math> \mathcal{O}_{X} </math>. फिर बिंदु पर ज़ारिस्की स्पर्शरेखा स्थान <math> p \in X </math> सभी का संग्रह है <math> \mathbb{k} </math>-व्युत्पत्तियां <math> D: \mathcal{O}_{X,p} \to \mathbb{k} </math>, कहाँ पे <math> \mathbb{k} </math> जमीनी क्षेत्र है और <math> \mathcal{O}_{X,p} </math> का डंठल (शीफ) है <math> \mathcal{O}_{X} </math> पर <math> p </math>. | ||
=== परिभाषाओं की समानता === | === परिभाषाओं की समानता === | ||
के लिये <math>x \in M</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> और | फिर से, हम 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> 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> 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> | :<math> | ||
\forall f \in {C^{\infty}}(\mathbb{R}^{n}): \qquad | \forall f \in {C^{\infty}}(\mathbb{R}^{n}): \qquad | ||
Line 73: | Line 73: | ||
= \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> 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 89: | ||
=== एक बिंदु पर स्पर्शरेखा स्थान का आधार === | === एक बिंदु पर स्पर्शरेखा स्थान का आधार === | ||
एक के लिए <math> C^{\infty} </math> विविध <math> 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 121: | Line 121: | ||
D \varphi_{x}, \qquad (\varphi_{*})_{x}, \qquad \varphi'(x). | D \varphi_{x}, \qquad (\varphi_{*})_{x}, \qquad \varphi'(x). | ||
</math> | </math> | ||
एक अर्थ में, व्युत्पन्न सबसे अच्छा रैखिक सन्निकटन है <math> \varphi </math> पास <math> x </math>. ध्यान दें कि जब <math> N = \mathbb{R} </math>, फिर नक्शा <math> \mathrm{d}{\varphi}_{x}: T_{x} M \to \mathbb{R} </math> फ़ंक्शन के डिफरेंशियल (कैलकुलस) की सामान्य धारणा के साथ मेल खाता है <math> \varphi </math>. [[ स्थानीय निर्देशांक ]] में . का व्युत्पन्न <math> \varphi </math> [[ जैकोबियन मैट्रिक्स और निर्धारक ]] द्वारा दिया गया है। | एक अर्थ में, व्युत्पन्न सबसे अच्छा रैखिक सन्निकटन है <math> \varphi </math> पास <math> x </math>. ध्यान दें कि जब <math> N = \mathbb{R} </math>, फिर नक्शा <math> \mathrm{d}{\varphi}_{x}: T_{x} M \to \mathbb{R} </math> फ़ंक्शन के डिफरेंशियल (कैलकुलस) की सामान्य धारणा के साथ मेल खाता है <math> \varphi </math>. [[ स्थानीय निर्देशांक |स्थानीय निर्देशांक]] में . का व्युत्पन्न <math> \varphi </math> [[ जैकोबियन मैट्रिक्स और निर्धारक |जैकोबियन मैट्रिक्स और निर्धारक]] द्वारा दिया गया है। | ||
व्युत्पन्न मानचित्र के संबंध में | व्युत्पन्न मानचित्र के संबंध में महत्वपूर्ण परिणाम निम्नलिखित है: | ||
{{math theorem|math_statement=If <math> \varphi: M \to N </math> is a [[local diffeomorphism]] at <math> x </math> in <math> M </math>, then <math> \mathrm{d}{\varphi}_{x}: T_{x} M \to T_{\varphi(x)} N </math> is a linear [[isomorphism]]. Conversely, if <math>\varphi : M\to N</math> is continuously differentiable and <math>\mathrm{d}{\varphi}_{x}</math> is an isomorphism, then there is an [[open set|open neighborhood]] <math> U </math> of <math> x </math> such that <math> \varphi </math> maps <math> U </math> diffeomorphically onto its image.}} | {{math theorem|math_statement=If <math> \varphi: M \to N </math> is a [[local diffeomorphism]] at <math> x </math> in <math> M </math>, then <math> \mathrm{d}{\varphi}_{x}: T_{x} M \to T_{\varphi(x)} N </math> is a linear [[isomorphism]]. Conversely, if <math>\varphi : M\to N</math> is continuously differentiable and <math>\mathrm{d}{\varphi}_{x}</math> is an isomorphism, then there is an [[open set|open neighborhood]] <math> U </math> of <math> x </math> such that <math> \varphi </math> maps <math> U </math> diffeomorphically onto its image.}} | ||
यह मैनिफोल्ड्स के बीच मानचित्रों के प्रतिलोम फलन प्रमेय का | यह मैनिफोल्ड्स के बीच मानचित्रों के प्रतिलोम फलन प्रमेय का सामान्यीकरण है। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 11:25, 25 July 2023
गणित में, विविध का स्पर्शरेखा स्थान तीन आयामों में सतहों के लिए "स्पर्शरेखा विमान (ज्यामिति) " की धारणा और दो आयामों में वक्रों के लिए "स्पर्शरेखा रेखाएं" की धारणा को उच्च आयामों के लिए सामान्यीकृत करता है। भौतिकी के संदर्भ में, बिंदु पर कई गुना स्पर्शरेखा स्थान को कई गुना गतिमान कण के लिए संभावित वेगों के स्थान के रूप में देखा जा सकता है।
अनौपचारिक विवरण
अंतर ज्यामिति में, कोई भी हर पॉइंट से जुड़ सकता है अलग-अलग कई गुना स्पर्शरेखा स्थान - वास्तविक सदिश स्थल जिसमें सहज रूप से संभावित दिशाएं होती हैं जिसमें कोई स्पर्शरेखा से गुजर सकता है . स्पर्शरेखा स्थान के तत्व at स्पर्शरेखा सदिश कहलाते हैं . यह यूक्लिडियन अंतरिक्ष में दिए गए प्रारंभिक बिंदु पर आधारित वेक्टर (गणित और भौतिकी) की धारणा का सामान्यीकरण है। कनेक्टेड स्पेस के प्रत्येक बिंदु पर कई गुना स्पर्शरेखा अंतरिक्ष के वेक्टर स्पेस का आयाम कई गुना के समान ही होता है।
उदाहरण के लिए, यदि दिया गया मैनिफोल्ड a . है -क्षेत्र, तब कोई बिंदु पर स्पर्शरेखा स्थान को उस विमान के रूप में चित्रित कर सकता है जो उस बिंदु पर गोले को छूता है और बिंदु के माध्यम से गोले की त्रिज्या के लंबवत होता है। अधिक आम तौर पर, यदि किसी दिए गए मैनिफोल्ड को यूक्लिडियन स्पेस के एम्बेडिंग सबमनिफोल्ड के रूप में माना जाता है, तो कोई इस शाब्दिक फैशन में स्पर्शरेखा स्थान को चित्रित कर सकता है। समानांतर परिवहन को परिभाषित करने की दिशा में यह पारंपरिक दृष्टिकोण था। डिफरेंशियल ज्योमेट्री और सामान्य सापेक्षता के कई लेखक इसका इस्तेमाल करते हैं।[1][2] अधिक सख्ती से, यह एफ़िन स्पर्शरेखा स्थान को परिभाषित करता है, जो आधुनिक शब्दावली द्वारा वर्णित स्पर्शरेखा वैक्टर के स्थान से अलग है।
बीजगणितीय ज्यामिति में, इसके विपरीत, बीजीय विविधता के बिंदु पर स्पर्शरेखा स्थान की आंतरिक परिभाषा होती है जो कम से कम के आयाम के साथ सदिश स्थान देता है अपने आप। बिंदु जिस पर स्पर्शरेखा स्थान का आयाम ठीक वैसा ही है गैर-एकवचन बिंदु कहलाते हैं; अन्य को एकवचन बिंदु कहा जाता है। उदाहरण के लिए, वक्र जो स्वयं को काटता है, उस बिंदु पर अद्वितीय स्पर्श रेखा नहीं होती है। के विलक्षण बिंदु वे हैं जहां परीक्षण कई गुना विफल रहता है। ज़ारिस्की स्पर्शरेखा स्थान देखें।
एक बार कई गुना के स्पर्शरेखा रिक्त स्थान पेश किए जाने के बाद, कोई वेक्टर फ़ील्ड को परिभाषित कर सकता है, जो अंतरिक्ष में चलने वाले कणों के वेग क्षेत्र के अमूर्त हैं। सदिश क्षेत्र उस बिंदु पर स्पर्शरेखा स्थान से कई गुना सदिश के प्रत्येक बिंदु को सहज तरीके से जोड़ता है। इस तरह के वेक्टर क्षेत्र कई गुना पर सामान्यीकृत साधारण अंतर समीकरण को परिभाषित करने के लिए कार्य करता है: इस तरह के अंतर समीकरण का समाधान कई गुना पर अलग वक्र है जिसका व्युत्पन्न किसी भी बिंदु पर वेक्टर क्षेत्र द्वारा उस बिंदु से जुड़े स्पर्शरेखा वेक्टर के बराबर होता है।
एक मैनिफोल्ड के सभी स्पर्शरेखा रिक्त स्थान को साथ चिपकाकर नया अलग-अलग मैनिफोल्ड बनाया जा सकता है, जिसमें मूल मैनिफोल्ड के दोगुने आयाम होते हैं, जिसे मैनिफोल्ड का स्पर्शरेखा बंडल कहा जाता है।
औपचारिक परिभाषाएं
ऊपर दिया गया अनौपचारिक विवरण परिवेशी सदिश स्थान में एम्बेड करने की कई गुना क्षमता पर निर्भर करता है ताकि स्पर्शरेखा सदिश कई गुना से परिवेशी स्थान में चिपक सकें। हालांकि, स्पर्शरेखा स्थान की धारणा को पूरी तरह से मैनिफोल्ड के आधार पर परिभाषित करना अधिक सुविधाजनक है।[3] कई गुना के स्पर्शरेखा रिक्त स्थान को परिभाषित करने के विभिन्न समकक्ष तरीके हैं। जबकि वक्र के वेग के माध्यम से परिभाषा सहज रूप से सबसे सरल है, इसके साथ काम करना भी सबसे बोझिल है। अधिक सुरुचिपूर्ण और अमूर्त दृष्टिकोण नीचे वर्णित हैं।
स्पर्शरेखा वक्रों के माध्यम से परिभाषा
एम्बेडेड-मैनिफोल्ड तस्वीर में, बिंदु पर स्पर्शरेखा वेक्टर बिंदु से गुजरने वाले वक्र#टोपोलॉजी के वेग के रूप में माना जाता है . इसलिए हम स्पर्शरेखा सदिश को वक्रों के तुल्यता वर्ग के रूप में परिभाषित कर सकते हैं, जो से होकर गुजरता है दूसरे के स्पर्शरेखा होने पर .
मान लो कि है अलग-अलग मैनिफोल्ड ( चिकनाई के साथ) ) और कि . मैनिफोल्ड चुनें#चार्ट, एटलस और ट्रांजिशन मैप , कहाँ पे का खुला सेट है युक्त . आगे मान लीजिए कि दो वक्र साथ ऐसे दिए गए हैं कि दोनों सामान्य अर्थों में अलग-अलग होते हैं (हम इन अलग-अलग वक्रों को आरंभिक कहते हैं ) फिर तथा बराबर कहा जाता है अगर और केवल अगर के डेरिवेटिव तथा पर संयोग। यह सभी अवकलनीय वक्रों के सेट पर तुल्यता संबंध को परिभाषित करता है , और ऐसे वक्रों के तुल्यता वर्ग ों को के स्पर्शरेखा सदिश के रूप में जाना जाता है पर . ऐसे किसी भी वक्र का तुल्यता वर्ग द्वारा दर्शाया गया है . का स्पर्शरेखा स्थान पर , द्वारा चिह्नित , तब सभी स्पर्शरेखा सदिशों के समुच्चय के रूप में परिभाषित किया जाता है ; यह समन्वय चार्ट की पसंद पर निर्भर नहीं करता है .
वेक्टर-स्पेस ऑपरेशंस को परिभाषित करने के लिए , हम चार्ट का उपयोग करते हैं और मानचित्र (गणित) परिभाषित करें द्वारा कहाँ पे . नक्शा विशेषण बन जाता है और इसका उपयोग वेक्टर-स्पेस ऑपरेशंस को स्थानांतरित करने के लिए किया जा सकता है खत्म करने के लिए , इस प्रकार बाद वाले सेट को an . में बदल देता है -आयामी वास्तविक वेक्टर स्थान। फिर से, किसी को यह जांचना होगा कि यह निर्माण विशेष चार्ट पर निर्भर नहीं करता है और वक्र इस्तेमाल किया जा रहा है, और वास्तव में ऐसा नहीं है।
व्युत्पत्तियों के माध्यम से परिभाषा
मान लीजिए कि अब है कई गुना वास्तविक-मूल्यवान फ़ंक्शन से संबंधित कहा जाता है अगर और केवल अगर हर समन्वय चार्ट के लिए , नक्शा असीम रूप से भिन्न है। ध्यान दें कि बिंदुवार उत्पाद और कार्यों के योग और अदिश गुणन के संबंध में वास्तविक सहयोगी बीजगणित है।
एक व्युत्पत्ति (सार बीजगणित) 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.
यह मैनिफोल्ड्स के बीच मानचित्रों के प्रतिलोम फलन प्रमेय का सामान्यीकरण है।
यह भी देखें
- समन्वय-प्रेरित आधार
- कोटैंजेंट स्पेस
- वक्रों की डिफरेंशियल ज्योमेट्री
- घातीय मानचित्र (रिमेंनियन ज्यामिति)
- सदिश स्थल
टिप्पणियाँ
- ↑ do Carmo, Manfredo P. (1976). वक्रों और सतहों की विभेदक ज्यामिति. Prentice-Hall.:
- ↑ Dirac, Paul A. M. (1996) [1975]. सापेक्षता का सामान्य सिद्धांत. Princeton University Press. ISBN 0-691-01146-X.
- ↑ Chris J. Isham (1 January 2002). भौतिकविदों के लिए आधुनिक विभेदक ज्यामिति. Allied Publishers. pp. 70–72. ISBN 978-81-7764-316-9.
- ↑ Lerman, Eugene. "डिफरेंशियल ज्योमेट्री का परिचय" (PDF). p. 12.
संदर्भ
- Lee, Jeffrey M. (2009), Manifolds and Differential Geometry, Graduate Studies in Mathematics, vol. 107, Providence: American Mathematical Society.
- Michor, Peter W. (2008), Topics in Differential Geometry, Graduate Studies in Mathematics, vol. 93, Providence: American Mathematical Society.
- Spivak, Michael (1965), Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus, W. A. Benjamin, Inc., ISBN 978-0-8053-9021-6.
इस पृष्ठ में अनुपलब्ध आंतरिक लिंक की सूची
- अंक शास्त्र
- वृत्त
- अलग करने योग्य कई गुना
- स्पर्शरेखा वेक्टर
- एक वेक्टर अंतरिक्ष का आयाम
- यूक्लिडियन स्पेस
- सीधा
- बीजीय किस्म
- नक्शा (गणित)
- द्विभाजित
- साहचर्य बीजगणित
- रैखिक नक्शा
- प्रॉडक्ट नियम
- ग्राउंड फील्ड
- डंठल (शेफ)
- आदर्श (अंगूठी सिद्धांत)
- दोहरी जगह
- पहचान समारोह
- अंतर कलन)
- उलटा कार्य प्रमेय
- समन्वय प्रेरित आधार
- वक्रों की विभेदक ज्यामिति
बाहरी संबंध
- Tangent Planes at MathWorld