किलिंग सदिश क्षेत्र: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Vector field on a Riemannian manifold that preserves the metric}}
गणित में, किलिंग [[वेक्टर फ़ील्ड]] (अक्सर किलिंग फ़ील्ड कहा जाता है), जिसका नाम [[ विल्हेम हत्या |विल्हेम हत्या]] के नाम पर रखा गया है, [[रीमैनियन [[ कई गुना |कई गुना]] ]] (या [[छद्म-रीमैनियन मैनिफोल्ड]]) पर वेक्टर फ़ील्ड है जो [[मीट्रिक टेंसर]] को संरक्षित करता है। किलिंग फ़ील्ड लाई समूह हैं#[[आइसोमेट्री]] के लाई समूहों से संबद्ध लाई बीजगणित; अर्थात्, किलिंग फ़ील्ड्स द्वारा उत्पन्न [[प्रवाह (ज्यामिति)]] मैनिफोल्ड की [[आइसोमेट्री (रीमैनियन ज्यामिति)]] है। अधिक सरलता से, प्रवाह [[समरूपता]] उत्पन्न करता है, इस अर्थ में कि किसी वस्तु के प्रत्येक बिंदु को किलिंग वेक्टर की दिशा में समान दूरी पर ले जाने से वस्तु पर दूरियाँ विकृत नहीं होंगी।
गणित में, एक किलिंग [[वेक्टर फ़ील्ड]] (अक्सर किलिंग फ़ील्ड कहा जाता है), जिसका नाम [[ विल्हेम हत्या ]] के नाम पर रखा गया है, [[रीमैनियन [[ कई गुना ]]]] (या [[छद्म-रीमैनियन मैनिफोल्ड]]) पर एक वेक्टर फ़ील्ड है जो [[मीट्रिक टेंसर]] को संरक्षित करता है। किलिंग फ़ील्ड लाई समूह हैं#[[आइसोमेट्री]] के लाई समूहों से संबद्ध लाई बीजगणित; अर्थात्, किलिंग फ़ील्ड्स द्वारा उत्पन्न [[प्रवाह (ज्यामिति)]] मैनिफोल्ड की [[आइसोमेट्री (रीमैनियन ज्यामिति)]] है। अधिक सरलता से, प्रवाह एक [[समरूपता]] उत्पन्न करता है, इस अर्थ में कि किसी वस्तु के प्रत्येक बिंदु को किलिंग वेक्टर की दिशा में समान दूरी पर ले जाने से वस्तु पर दूरियाँ विकृत नहीं होंगी।


== परिभाषा ==
== परिभाषा ==


विशेष रूप से, एक वेक्टर फ़ील्ड X एक किलिंग फ़ील्ड है यदि मीट्रिक g के X के संबंध में Lie व्युत्पन्न गायब हो जाता है:<ref>{{cite book | author=Jost, Jurgen| title= रीमैनियन ज्यामिति और ज्यामितीय विश्लेषण| location=Berlin | publisher=Springer-Verlag | year=2002 | isbn=3-540-42627-2}}</ref>
विशेष रूप से, वेक्टर फ़ील्ड X किलिंग फ़ील्ड है यदि मीट्रिक g के X के संबंध में Lie व्युत्पन्न गायब हो जाता है:<ref>{{cite book | author=Jost, Jurgen| title= रीमैनियन ज्यामिति और ज्यामितीय विश्लेषण| location=Berlin | publisher=Springer-Verlag | year=2002 | isbn=3-540-42627-2}}</ref>
:<math>\mathcal{L}_{X} g = 0 \,.</math>
:<math>\mathcal{L}_{X} g = 0 \,.</math>
[[लेवी-सिविटा कनेक्शन]] के संदर्भ में, यह है
[[लेवी-सिविटा कनेक्शन]] के संदर्भ में, यह है
Line 16: Line 15:


===सर्कल पर किलिंग फील्ड===
===सर्कल पर किलिंग फील्ड===
[[File:Killing field on the circle.gif|thumb|450px|सर्कल पर किलिंग फ़ील्ड और किलिंग फ़ील्ड के साथ प्रवाह।]]एक सर्कल पर वेक्टर फ़ील्ड जो वामावर्त को इंगित करता है और प्रत्येक बिंदु पर समान लंबाई होती है, एक किलिंग वेक्टर फ़ील्ड है, क्योंकि इस वेक्टर फ़ील्ड के साथ सर्कल पर प्रत्येक बिंदु को स्थानांतरित करने से सर्कल बस घूमता है।
[[File:Killing field on the circle.gif|thumb|450px|सर्कल पर किलिंग फ़ील्ड और किलिंग फ़ील्ड के साथ प्रवाह।]]एक सर्कल पर वेक्टर फ़ील्ड जो वामावर्त को इंगित करता है और प्रत्येक बिंदु पर समान लंबाई होती है, किलिंग वेक्टर फ़ील्ड है, क्योंकि इस वेक्टर फ़ील्ड के साथ सर्कल पर प्रत्येक बिंदु को स्थानांतरित करने से सर्कल बस घूमता है।


===अतिपरवलयिक तल पर फ़ील्ड्स को ख़त्म करना===
===अतिपरवलयिक तल पर फ़ील्ड्स को ख़त्म करना===
[[File:Special conformal transformation generator.png|thumb|450px|बिंदुओं के अर्धवृत्ताकार चयन पर, ऊपरी-आधे समतल मॉडल पर किलिंग फ़ील्ड। यह किलिंग वेक्टर फ़ील्ड विशेष अनुरूप परिवर्तन उत्पन्न करता है। रंग उस बिंदु पर वेक्टर क्षेत्र के परिमाण को इंगित करता है।]]किलिंग वेक्टर फ़ील्ड के लिए एक खिलौना उदाहरण ऊपरी आधे तल पर है <math>M = \mathbb{R}^2_{y > 0}</math> पोंकारे मीट्रिक से सुसज्जित <math>g = y^{-2}\left(dx^2 + dy^2\right)</math>. जोड़ी <math>(M, g)</math> इसे आम तौर पर पोंकारे हाफ-प्लेन मॉडल कहा जाता है और इसमें किलिंग वेक्टर फ़ील्ड होता है <math>\partial_x</math> (मानक निर्देशांक का उपयोग करके)। सहसंयोजक व्युत्पन्न के बाद से यह सहज रूप से स्पष्ट होना चाहिए <math>\nabla_{\partial_x}g</math> वेक्टर फ़ील्ड (जिसकी छवि x-अक्ष के समानांतर है) द्वारा उत्पन्न एक अभिन्न वक्र के साथ मीट्रिक को स्थानांतरित करता है।
[[File:Special conformal transformation generator.png|thumb|450px|बिंदुओं के अर्धवृत्ताकार चयन पर, ऊपरी-आधे समतल मॉडल पर किलिंग फ़ील्ड। यह किलिंग वेक्टर फ़ील्ड विशेष अनुरूप परिवर्तन उत्पन्न करता है। रंग उस बिंदु पर वेक्टर क्षेत्र के परिमाण को इंगित करता है।]]किलिंग वेक्टर फ़ील्ड के लिए खिलौना उदाहरण ऊपरी आधे तल पर है <math>M = \mathbb{R}^2_{y > 0}</math> पोंकारे मीट्रिक से सुसज्जित <math>g = y^{-2}\left(dx^2 + dy^2\right)</math>. जोड़ी <math>(M, g)</math> इसे आम तौर पर पोंकारे हाफ-प्लेन मॉडल कहा जाता है और इसमें किलिंग वेक्टर फ़ील्ड होता है <math>\partial_x</math> (मानक निर्देशांक का उपयोग करके)। सहसंयोजक व्युत्पन्न के बाद से यह सहज रूप से स्पष्ट होना चाहिए <math>\nabla_{\partial_x}g</math> वेक्टर फ़ील्ड (जिसकी छवि x-अक्ष के समानांतर है) द्वारा उत्पन्न अभिन्न वक्र के साथ मीट्रिक को स्थानांतरित करता है।


इसके अलावा, मीट्रिक इससे स्वतंत्र है <math>x</math> जिससे हम तुरंत यह निष्कर्ष निकाल सकते हैं <math>\partial_x</math> इस आलेख में नीचे दिए गए परिणामों में से एक का उपयोग करके एक किलिंग फ़ील्ड है।
इसके अलावा, मीट्रिक इससे स्वतंत्र है <math>x</math> जिससे हम तुरंत यह निष्कर्ष निकाल सकते हैं <math>\partial_x</math> इस आलेख में नीचे दिए गए परिणामों में से का उपयोग करके किलिंग फ़ील्ड है।


ऊपरी अर्ध-तल मॉडल का आइसोमेट्री समूह (या बल्कि, पहचान से जुड़ा घटक) है <math>\text{SL}(2, \mathbb{R})</math> (पोइंकारे हाफ-प्लेन मॉडल देखें), और अन्य दो किलिंग फ़ील्ड जनरेटर की कार्रवाई पर विचार करके प्राप्त किए जा सकते हैं <math>\text{SL}(2, \mathbb{R})</math> ऊपरी आधे तल पर. अन्य दो उत्पन्न करने वाले किलिंग क्षेत्र फैलाव हैं <math>D = x\partial_x + y\partial_y</math> और [[विशेष अनुरूप परिवर्तन]] <math>K = (x^2 - y^2)\partial_x + 2xy \partial_y</math>.
ऊपरी अर्ध-तल मॉडल का आइसोमेट्री समूह (या बल्कि, पहचान से जुड़ा घटक) है <math>\text{SL}(2, \mathbb{R})</math> (पोइंकारे हाफ-प्लेन मॉडल देखें), और अन्य दो किलिंग फ़ील्ड जनरेटर की कार्रवाई पर विचार करके प्राप्त किए जा सकते हैं <math>\text{SL}(2, \mathbb{R})</math> ऊपरी आधे तल पर. अन्य दो उत्पन्न करने वाले किलिंग क्षेत्र फैलाव हैं <math>D = x\partial_x + y\partial_y</math> और [[विशेष अनुरूप परिवर्तन]] <math>K = (x^2 - y^2)\partial_x + 2xy \partial_y</math>.
Line 35: Line 34:
:<math>ds^2 = d\theta^2 + \sin^2\theta d\phi^2</math>.
:<math>ds^2 = d\theta^2 + \sin^2\theta d\phi^2</math>.


सहज रूप से, किसी भी अक्ष के चारों ओर घूमना एक आइसोमेट्री होना चाहिए। इस चार्ट में, वेक्टर फ़ील्ड जो के बारे में घूर्णन उत्पन्न करता है <math>z</math>-एक्सिस:
सहज रूप से, किसी भी अक्ष के चारों ओर घूमना आइसोमेट्री होना चाहिए। इस चार्ट में, वेक्टर फ़ील्ड जो के बारे में घूर्णन उत्पन्न करता है <math>z</math>-एक्सिस:
:<math>\frac{\partial}{\partial\phi}.</math>
:<math>\frac{\partial}{\partial\phi}.</math>
इन निर्देशांकों में, मीट्रिक घटक सभी स्वतंत्र हैं <math>\phi</math>, जो यह दर्शाता है <math>\partial_\phi</math> एक हत्या क्षेत्र है.
इन निर्देशांकों में, मीट्रिक घटक सभी स्वतंत्र हैं <math>\phi</math>, जो यह दर्शाता है <math>\partial_\phi</math> हत्या क्षेत्र है.


सदिश क्षेत्र
सदिश क्षेत्र
:<math>\frac{\partial}{\partial\theta}</math>
:<math>\frac{\partial}{\partial\theta}</math>
हत्या क्षेत्र नहीं है; समन्वय <math>\theta</math> मीट्रिक में स्पष्ट रूप से दिखाई देता है। द्वारा उत्पन्न प्रवाह <math>\partial_\theta</math> उत्तर से दक्षिण की ओर जाता है; उत्तरी ध्रुव के बिंदु दूर-दूर फैलते हैं, दक्षिण के बिंदु एक साथ आते हैं। कोई भी परिवर्तन जो बिंदुओं को करीब या दूर ले जाता है वह आइसोमेट्री नहीं हो सकता; इसलिए, ऐसी गति का जनक कोई किलिंग फील्ड नहीं हो सकता।
हत्या क्षेत्र नहीं है; समन्वय <math>\theta</math> मीट्रिक में स्पष्ट रूप से दिखाई देता है। द्वारा उत्पन्न प्रवाह <math>\partial_\theta</math> उत्तर से दक्षिण की ओर जाता है; उत्तरी ध्रुव के बिंदु दूर-दूर फैलते हैं, दक्षिण के बिंदु साथ आते हैं। कोई भी परिवर्तन जो बिंदुओं को करीब या दूर ले जाता है वह आइसोमेट्री नहीं हो सकता; इसलिए, ऐसी गति का जनक कोई किलिंग फील्ड नहीं हो सकता।


जनरेटर <math>\partial_\phi</math> के बारे में एक घूर्णन के रूप में पहचाना जाता है <math>z</math>-एक्सिस
जनरेटर <math>\partial_\phi</math> के बारे में घूर्णन के रूप में पहचाना जाता है <math>z</math>-एक्सिस


:<math>Z = x\partial_y - y\partial_x = \sin^2\theta \,\partial_\phi</math>
:<math>Z = x\partial_y - y\partial_x = \sin^2\theta \,\partial_\phi</math>
Line 61: Line 60:
और
और
:<math>Y = \sin^2 \theta \,(\cos\phi\partial_\theta - \cot\theta\sin\phi\partial_\phi)</math>
:<math>Y = \sin^2 \theta \,(\cos\phi\partial_\theta - \cot\theta\sin\phi\partial_\phi)</math>
ये तीन वेक्टर फ़ील्ड वास्तव में किलिंग फ़ील्ड हैं, इसे दो अलग-अलग तरीकों से निर्धारित किया जा सकता है। एक स्पष्ट गणना द्वारा है: बस के लिए स्पष्ट अभिव्यक्तियों को प्लग इन करें <math>\mathcal{L}_Xg</math> और यह दिखाने के लिए चुगली करें <math>\mathcal{L}_Xg=\mathcal{L}_Yg=\mathcal{L}_Zg=0.</math> यह एक सार्थक अभ्यास है. वैकल्पिक रूप से, कोई भी पहचान सकता है <math>X, Y</math> और <math>Z</math> यूक्लिडियन अंतरिक्ष में आइसोमेट्री के जनरेटर हैं, और चूंकि गोले पर मीट्रिक यूक्लिडियन अंतरिक्ष में मीट्रिक से विरासत में मिली है, इसलिए आइसोमेट्री भी विरासत में मिली है।
ये तीन वेक्टर फ़ील्ड वास्तव में किलिंग फ़ील्ड हैं, इसे दो अलग-अलग तरीकों से निर्धारित किया जा सकता है। स्पष्ट गणना द्वारा है: बस के लिए स्पष्ट अभिव्यक्तियों को प्लग इन करें <math>\mathcal{L}_Xg</math> और यह दिखाने के लिए चुगली करें <math>\mathcal{L}_Xg=\mathcal{L}_Yg=\mathcal{L}_Zg=0.</math> यह सार्थक अभ्यास है. वैकल्पिक रूप से, कोई भी पहचान सकता है <math>X, Y</math> और <math>Z</math> यूक्लिडियन अंतरिक्ष में आइसोमेट्री के जनरेटर हैं, और चूंकि गोले पर मीट्रिक यूक्लिडियन अंतरिक्ष में मीट्रिक से विरासत में मिली है, इसलिए आइसोमेट्री भी विरासत में मिली है।
   
   
ये तीन किलिंग फ़ील्ड बीजगणित के लिए जनरेटर का एक पूरा सेट बनाते हैं। वे अद्वितीय नहीं हैं: इन तीन क्षेत्रों का कोई भी रैखिक संयोजन अभी भी एक किलिंग फ़ील्ड है।
ये तीन किलिंग फ़ील्ड बीजगणित के लिए जनरेटर का पूरा सेट बनाते हैं। वे अद्वितीय नहीं हैं: इन तीन क्षेत्रों का कोई भी रैखिक संयोजन अभी भी किलिंग फ़ील्ड है।


इस उदाहरण के बारे में ध्यान देने योग्य कई सूक्ष्म बातें हैं।
इस उदाहरण के बारे में ध्यान देने योग्य कई सूक्ष्म बातें हैं।


* तीन क्षेत्र विश्व स्तर पर गैर-शून्य नहीं हैं; वास्तव में, क्षेत्र <math>Z</math> उत्तरी और दक्षिणी ध्रुवों पर लुप्त हो जाता है; वैसे ही, <math>X</math> और <math>Y</math> भूमध्य रेखा पर एंटीपोड पर गायब हो जाते हैं। इसे समझने का एक तरीका हेयरी बॉल प्रमेय का परिणाम है। गंजे धब्बों की यह संपत्ति, [[कार्टन अपघटन]] में [[सममित स्थान]]ों की एक सामान्य संपत्ति है। मैनिफ़ोल्ड के प्रत्येक बिंदु पर, किलिंग फ़ील्ड का बीजगणित स्वाभाविक रूप से दो भागों में विभाजित हो जाता है, एक भाग जो मैनिफ़ोल्ड के स्पर्शरेखा है, और दूसरा भाग जो लुप्त हो रहा है (उस बिंदु पर जहां अपघटन किया जा रहा है)।
* तीन क्षेत्र विश्व स्तर पर गैर-शून्य नहीं हैं; वास्तव में, क्षेत्र <math>Z</math> उत्तरी और दक्षिणी ध्रुवों पर लुप्त हो जाता है; वैसे ही, <math>X</math> और <math>Y</math> भूमध्य रेखा पर एंटीपोड पर गायब हो जाते हैं। इसे समझने का तरीका हेयरी बॉल प्रमेय का परिणाम है। गंजे धब्बों की यह संपत्ति, [[कार्टन अपघटन]] में [[सममित स्थान]]ों की सामान्य संपत्ति है। मैनिफ़ोल्ड के प्रत्येक बिंदु पर, किलिंग फ़ील्ड का बीजगणित स्वाभाविक रूप से दो भागों में विभाजित हो जाता है, भाग जो मैनिफ़ोल्ड के स्पर्शरेखा है, और दूसरा भाग जो लुप्त हो रहा है (उस बिंदु पर जहां अपघटन किया जा रहा है)।


* तीन क्षेत्र <math>X, Y</math> और <math>Z</math> इकाई लंबाई के नहीं हैं. के सामान्य गुणनखंड से विभाजित करके सामान्यीकरण किया जा सकता है <math>\sin^2\theta</math> तीनों भावों में प्रकट होना। हालाँकि, उस स्थिति में, फ़ील्ड अब सुचारू नहीं हैं: उदाहरण के लिए, <math>\partial_\phi = X/\sin^2\theta</math> उत्तरी और दक्षिणी ध्रुवों पर एकवचन (अभेद्य) है।
* तीन क्षेत्र <math>X, Y</math> और <math>Z</math> इकाई लंबाई के नहीं हैं. के सामान्य गुणनखंड से विभाजित करके सामान्यीकरण किया जा सकता है <math>\sin^2\theta</math> तीनों भावों में प्रकट होना। हालाँकि, उस स्थिति में, फ़ील्ड अब सुचारू नहीं हैं: उदाहरण के लिए, <math>\partial_\phi = X/\sin^2\theta</math> उत्तरी और दक्षिणी ध्रुवों पर एकवचन (अभेद्य) है।


* तीन फ़ील्ड बिंदु-वार ऑर्थोगोनल नहीं हैं; वास्तव में, वे नहीं हो सकते, क्योंकि, किसी भी बिंदु पर, स्पर्शरेखा-तल द्वि-आयामी है, जबकि तीन वैक्टर हैं। गोले पर किसी भी बिंदु को देखते हुए, कुछ गैर-तुच्छ रैखिक संयोजन होता है <math>X, Y</math> और <math>Z</math> वह गायब हो जाता है: ये तीन वैक्टर उस बिंदु पर द्वि-आयामी स्पर्शरेखा विमान के लिए एक अति-पूर्ण आधार हैं।
* तीन फ़ील्ड बिंदु-वार ऑर्थोगोनल नहीं हैं; वास्तव में, वे नहीं हो सकते, क्योंकि, किसी भी बिंदु पर, स्पर्शरेखा-तल द्वि-आयामी है, जबकि तीन वैक्टर हैं। गोले पर किसी भी बिंदु को देखते हुए, कुछ गैर-तुच्छ रैखिक संयोजन होता है <math>X, Y</math> और <math>Z</math> वह गायब हो जाता है: ये तीन वैक्टर उस बिंदु पर द्वि-आयामी स्पर्शरेखा विमान के लिए अति-पूर्ण आधार हैं।


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


===मिन्कोवस्की क्षेत्र में खेतों को नष्ट करना===
===मिन्कोवस्की क्षेत्र में खेतों को नष्ट करना===
Line 90: Line 89:
किलिंग के समीकरण और कोवेक्टर के लिए रिक्की पहचान से <math>K_a</math>,
किलिंग के समीकरण और कोवेक्टर के लिए रिक्की पहचान से <math>K_a</math>,
:<math>\nabla_a\nabla_b K_c - \nabla_b\nabla_a K_c = R^d{}_{cab}K_d</math>
:<math>\nabla_a\nabla_b K_c - \nabla_b\nabla_a K_c = R^d{}_{cab}K_d</math>
(अमूर्त सूचकांक संकेतन का उपयोग करके) कहाँ <math>R^a{}_{bcd}</math> [[रीमैन वक्रता टेंसर]] है, निम्नलिखित पहचान एक किलिंग क्षेत्र के लिए सिद्ध हो सकती है <math>X^a</math>:
(अमूर्त सूचकांक संकेतन का उपयोग करके) कहाँ <math>R^a{}_{bcd}</math> [[रीमैन वक्रता टेंसर]] है, निम्नलिखित पहचान किलिंग क्षेत्र के लिए सिद्ध हो सकती है <math>X^a</math>:
:<math>\nabla_a\nabla_b X_c = R^d{}_{acb}X_d.</math>
:<math>\nabla_a\nabla_b X_c = R^d{}_{acb}X_d.</math>
जब आधार कई गुना हो जाता है <math>M</math> समतल स्थान है, अर्थात, [[यूक्लिडियन स्थान]] या [[छद्म-यूक्लिडियन स्थान]] (मिन्कोव्स्की अंतरिक्ष के लिए), हम वैश्विक फ्लैट निर्देशांक चुन सकते हैं जैसे कि इन निर्देशांक में, लेवी-सिविटा कनेक्शन और इसलिए रीमैन वक्रता हर जगह गायब हो जाती है, जिससे
जब आधार कई गुना हो जाता है <math>M</math> समतल स्थान है, अर्थात, [[यूक्लिडियन स्थान]] या [[छद्म-यूक्लिडियन स्थान]] (मिन्कोव्स्की अंतरिक्ष के लिए), हम वैश्विक फ्लैट निर्देशांक चुन सकते हैं जैसे कि इन निर्देशांक में, लेवी-सिविटा कनेक्शन और इसलिए रीमैन वक्रता हर जगह गायब हो जाती है, जिससे
Line 96: Line 95:
किलिंग समीकरण को एकीकृत और लागू करने से हमें सामान्य समाधान लिखने की अनुमति मिलती है <math>X_\rho</math> जैसा
किलिंग समीकरण को एकीकृत और लागू करने से हमें सामान्य समाधान लिखने की अनुमति मिलती है <math>X_\rho</math> जैसा
:<math>X^\rho = \omega^{\rho\sigma} x_\sigma + c^\rho</math>
:<math>X^\rho = \omega^{\rho\sigma} x_\sigma + c^\rho</math>
कहाँ <math>\omega^{\mu\nu} = -\omega^{\nu\mu}</math> एंटीसिमेट्रिक है. का उचित मान लेकर <math>\omega^{\mu\nu}</math> और <math>c^\rho</math>, हमें समतल स्थान की आइसोमेट्री के सामान्यीकृत पोंकारे बीजगणित के लिए एक आधार मिलता है:
कहाँ <math>\omega^{\mu\nu} = -\omega^{\nu\mu}</math> एंटीसिमेट्रिक है. का उचित मान लेकर <math>\omega^{\mu\nu}</math> और <math>c^\rho</math>, हमें समतल स्थान की आइसोमेट्री के सामान्यीकृत पोंकारे बीजगणित के लिए आधार मिलता है:
:<math>M_{\mu\nu} = x_\mu\partial_\nu - x_\nu\partial_\mu</math>
:<math>M_{\mu\nu} = x_\mu\partial_\nu - x_\nu\partial_\mu</math>
:<math>P_\rho = \partial_\rho.</math>
:<math>P_\rho = \partial_\rho.</math>
Line 105: Line 104:
जिसमें अनिश्चितकालीन ऑर्थोगोनल समूह|O(p,q) समरूपता है। यदि सबमैनिफोल्ड में आयाम है <math>n</math>, समरूपता के इस समूह में अपेक्षित आयाम है (एक [[झूठ समूह]] के रूप में)।
जिसमें अनिश्चितकालीन ऑर्थोगोनल समूह|O(p,q) समरूपता है। यदि सबमैनिफोल्ड में आयाम है <math>n</math>, समरूपता के इस समूह में अपेक्षित आयाम है (एक [[झूठ समूह]] के रूप में)।


अनुमानतः, हम किलिंग फ़ील्ड बीजगणित का आयाम प्राप्त कर सकते हैं। हत्या के समीकरण का इलाज <math>\nabla_a X_b + \nabla_b X_a = 0</math> पहचान के साथ <math>\nabla_a\nabla_b X_c = R^c{}_{bad}X_c.</math> दूसरे क्रम के अंतर समीकरणों की एक प्रणाली के रूप में <math>X_a</math>, हम का मूल्य निर्धारित कर सकते हैं <math>X_a</math> किसी बिंदु पर प्रारंभिक डेटा दिए जाने पर <math>p</math>. प्रारंभिक डेटा निर्दिष्ट करता है <math>X_a(p)</math> और <math>\nabla_a X_b(p)</math>, लेकिन किलिंग का समीकरण यह लगाता है कि सहसंयोजक व्युत्पन्न एंटीसिमेट्रिक है। कुल मिलाकर यही है <math>n^2 - n(n-1)/2 = n(n+1)/2</math> प्रारंभिक डेटा के स्वतंत्र मान.
अनुमानतः, हम किलिंग फ़ील्ड बीजगणित का आयाम प्राप्त कर सकते हैं। हत्या के समीकरण का इलाज <math>\nabla_a X_b + \nabla_b X_a = 0</math> पहचान के साथ <math>\nabla_a\nabla_b X_c = R^c{}_{bad}X_c.</math> दूसरे क्रम के अंतर समीकरणों की प्रणाली के रूप में <math>X_a</math>, हम का मूल्य निर्धारित कर सकते हैं <math>X_a</math> किसी बिंदु पर प्रारंभिक डेटा दिए जाने पर <math>p</math>. प्रारंभिक डेटा निर्दिष्ट करता है <math>X_a(p)</math> और <math>\nabla_a X_b(p)</math>, लेकिन किलिंग का समीकरण यह लगाता है कि सहसंयोजक व्युत्पन्न एंटीसिमेट्रिक है। कुल मिलाकर यही है <math>n^2 - n(n-1)/2 = n(n+1)/2</math> प्रारंभिक डेटा के स्वतंत्र मान.


ठोस उदाहरणों के लिए, समतल स्थान (मिन्कोव्स्की स्थान) और अधिकतम सममित स्थान (गोलाकार, अतिशयोक्तिपूर्ण स्थान) के उदाहरणों के लिए नीचे देखें।
ठोस उदाहरणों के लिए, समतल स्थान (मिन्कोव्स्की स्थान) और अधिकतम सममित स्थान (गोलाकार, अतिशयोक्तिपूर्ण स्थान) के उदाहरणों के लिए नीचे देखें।


===[[सामान्य सापेक्षता]] में क्षेत्रों को नष्ट करना===
===[[सामान्य सापेक्षता]] में क्षेत्रों को नष्ट करना===
सामान्य सापेक्षता में आइसोमेट्री पर चर्चा करने के लिए किलिंग फील्ड का उपयोग किया जाता है (जिसमें [[गुरुत्वाकर्षण क्षेत्र]]ों द्वारा विकृत [[ अंतरिक्ष समय ]] की ज्यामिति को 4-आयामी छद्म-रिमैनियन मैनिफोल्ड के रूप में देखा जाता है)। एक स्थिर विन्यास में, जिसमें समय के साथ कुछ भी नहीं बदलता है, समय वेक्टर एक किलिंग वेक्टर होगा, और इस प्रकार किलिंग फ़ील्ड समय में आगे की गति की दिशा में इंगित करेगा। उदाहरण के लिए, [[श्वार्ज़स्चिल्ड मीट्रिक]] में चार किलिंग फ़ील्ड हैं: मीट्रिक इससे स्वतंत्र है <math>t</math>, इस तरह <math>\partial_t</math> एक काल-सदृश संहार क्षेत्र है। अन्य तीन घूर्णन के तीन जनरेटर हैं जिनकी चर्चा ऊपर की गई है। घूमते हुए ब्लैक होल के लिए [[केर मीट्रिक]] में केवल दो किलिंग फ़ील्ड हैं: समय-जैसा फ़ील्ड, और ब्लैक होल के घूर्णन की धुरी के बारे में घूर्णन उत्पन्न करने वाला फ़ील्ड।
सामान्य सापेक्षता में आइसोमेट्री पर चर्चा करने के लिए किलिंग फील्ड का उपयोग किया जाता है (जिसमें [[गुरुत्वाकर्षण क्षेत्र]]ों द्वारा विकृत [[ अंतरिक्ष समय |अंतरिक्ष समय]] की ज्यामिति को 4-आयामी छद्म-रिमैनियन मैनिफोल्ड के रूप में देखा जाता है)। स्थिर विन्यास में, जिसमें समय के साथ कुछ भी नहीं बदलता है, समय वेक्टर किलिंग वेक्टर होगा, और इस प्रकार किलिंग फ़ील्ड समय में आगे की गति की दिशा में इंगित करेगा। उदाहरण के लिए, [[श्वार्ज़स्चिल्ड मीट्रिक]] में चार किलिंग फ़ील्ड हैं: मीट्रिक इससे स्वतंत्र है <math>t</math>, इस तरह <math>\partial_t</math> काल-सदृश संहार क्षेत्र है। अन्य तीन घूर्णन के तीन जनरेटर हैं जिनकी चर्चा ऊपर की गई है। घूमते हुए ब्लैक होल के लिए [[केर मीट्रिक]] में केवल दो किलिंग फ़ील्ड हैं: समय-जैसा फ़ील्ड, और ब्लैक होल के घूर्णन की धुरी के बारे में घूर्णन उत्पन्न करने वाला फ़ील्ड।


[[सिटर स्पेस द्वारा]] और [[एंटी-डी सिटर स्पेस]] अधिकतम सममित स्थान हैं <math>n</math>प्रत्येक स्वामित्व के आयामी संस्करण <math>\frac{n(n+1)}{2}</math> सामूहिक हत्या वाली जगह।
[[सिटर स्पेस द्वारा]] और [[एंटी-डी सिटर स्पेस]] अधिकतम सममित स्थान हैं <math>n</math>प्रत्येक स्वामित्व के आयामी संस्करण <math>\frac{n(n+1)}{2}</math> सामूहिक हत्या वाली जगह।


===एक स्थिर समन्वय का हत्या क्षेत्र===
===एक स्थिर समन्वय का हत्या क्षेत्र===
यदि मीट्रिक गुणांक <math>g_{\mu \nu} \,</math> कुछ समन्वित आधार पर <math>dx^{a} \,</math> किसी एक निर्देशांक से स्वतंत्र हैं <math>x^{\kappa} \,</math>, तब <math>K^{\mu} = \delta^{\mu}_{\kappa} \,</math> एक किलिंग वेक्टर है, जहां <math>\delta^{\mu}_{\kappa} \,</math> [[क्रोनकर डेल्टा]] है।<ref>{{cite book | title=आकर्षण-शक्ति| last = Misner, Thorne, Wheeler | year=1973 | publisher = W H Freeman and Company| isbn=0-7167-0344-0}}</ref>
यदि मीट्रिक गुणांक <math>g_{\mu \nu} \,</math> कुछ समन्वित आधार पर <math>dx^{a} \,</math> किसी निर्देशांक से स्वतंत्र हैं <math>x^{\kappa} \,</math>, तब <math>K^{\mu} = \delta^{\mu}_{\kappa} \,</math> किलिंग वेक्टर है, जहां <math>\delta^{\mu}_{\kappa} \,</math> [[क्रोनकर डेल्टा]] है।<ref>{{cite book | title=आकर्षण-शक्ति| last = Misner, Thorne, Wheeler | year=1973 | publisher = W H Freeman and Company| isbn=0-7167-0344-0}}</ref>


इसे सिद्ध करने के लिए, आइए मान लें <math>g_{\mu \nu},_0 = 0 \,</math>. तब <math>K^\mu = \delta^\mu_0 \,</math> और <math>K_{\mu} = g_{\mu \nu} K^\nu = g_{\mu \nu} \delta^\nu_0 = g_{\mu 0} \,</math>
इसे सिद्ध करने के लिए, आइए मान लें <math>g_{\mu \nu},_0 = 0 \,</math>. तब <math>K^\mu = \delta^\mu_0 \,</math> और <math>K_{\mu} = g_{\mu \nu} K^\nu = g_{\mu \nu} \delta^\nu_0 = g_{\mu 0} \,</math>
Line 125: Line 124:


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


इसके विपरीत, यदि मीट्रिक <math>\mathbf{g}</math> एक किलिंग फ़ील्ड स्वीकार करता है <math>X^a</math>, तो कोई जिसके लिए निर्देशांक बना सकता है <math>\partial_0 g_{\mu\nu} = 0</math>. इन निर्देशांकों का निर्माण हाइपरसर्फेस लेकर किया जाता है <math>\Sigma</math> ऐसा है कि <math>X^a</math> कहीं भी स्पर्शरेखा नहीं है <math>\Sigma</math>. निर्देशांक लें <math>x^i</math> पर <math>\Sigma</math>, फिर स्थानीय निर्देशांक परिभाषित करें <math>(t,x^i)</math> कहाँ <math>t</math> के [[अभिन्न वक्र]] के साथ पैरामीटर को दर्शाता है <math>X^a</math> पर आधारित <math>(x^i)</math> पर <math>\Sigma</math>. इन निर्देशांकों में, लाई व्युत्पन्न समन्वय व्युत्पन्न में कम हो जाता है, अर्थात,
इसके विपरीत, यदि मीट्रिक <math>\mathbf{g}</math> किलिंग फ़ील्ड स्वीकार करता है <math>X^a</math>, तो कोई जिसके लिए निर्देशांक बना सकता है <math>\partial_0 g_{\mu\nu} = 0</math>. इन निर्देशांकों का निर्माण हाइपरसर्फेस लेकर किया जाता है <math>\Sigma</math> ऐसा है कि <math>X^a</math> कहीं भी स्पर्शरेखा नहीं है <math>\Sigma</math>. निर्देशांक लें <math>x^i</math> पर <math>\Sigma</math>, फिर स्थानीय निर्देशांक परिभाषित करें <math>(t,x^i)</math> कहाँ <math>t</math> के [[अभिन्न वक्र]] के साथ पैरामीटर को दर्शाता है <math>X^a</math> पर आधारित <math>(x^i)</math> पर <math>\Sigma</math>. इन निर्देशांकों में, लाई व्युत्पन्न समन्वय व्युत्पन्न में कम हो जाता है, अर्थात,
:<math>\mathcal{L}_Xg_{\mu\nu} = \partial_0 g_{\mu\nu}</math>
:<math>\mathcal{L}_Xg_{\mu\nu} = \partial_0 g_{\mu\nu}</math>
और किलिंग फ़ील्ड की परिभाषा के अनुसार बाईं ओर का भाग गायब हो जाता है।
और किलिंग फ़ील्ड की परिभाषा के अनुसार बाईं ओर का भाग गायब हो जाता है।


== गुण ==
== गुण ==
एक किलिंग फ़ील्ड किसी बिंदु पर एक वेक्टर और उसके ग्रेडिएंट (यानी बिंदु पर फ़ील्ड के सभी [[सहसंयोजक व्युत्पन्न]]) द्वारा विशिष्ट रूप से निर्धारित की जाती है।
एक किलिंग फ़ील्ड किसी बिंदु पर वेक्टर और उसके ग्रेडिएंट (यानी बिंदु पर फ़ील्ड के सभी [[सहसंयोजक व्युत्पन्न]]) द्वारा विशिष्ट रूप से निर्धारित की जाती है।


दो किलिंग फ़ील्ड के वेक्टर फ़ील्ड का लाई ब्रैकेट अभी भी किलिंग फ़ील्ड है। मैनिफोल्ड एम पर किलिंग फ़ील्ड्स इस प्रकार एम पर वेक्टर फ़ील्ड्स का एक ले बीजगणित बनाती हैं। यदि एम [[पूर्ण अनेक गुना]] है तो यह मैनिफोल्ड के [[आइसोमेट्री समूह]] का ले बीजगणित है। आइसोमेट्रीज़ के एक संक्रमणीय समूह के साथ एक रीमैनियन मैनिफोल्ड एक [[सजातीय स्थान]] है।
दो किलिंग फ़ील्ड के वेक्टर फ़ील्ड का लाई ब्रैकेट अभी भी किलिंग फ़ील्ड है। मैनिफोल्ड एम पर किलिंग फ़ील्ड्स इस प्रकार एम पर वेक्टर फ़ील्ड्स का ले बीजगणित बनाती हैं। यदि एम [[पूर्ण अनेक गुना]] है तो यह मैनिफोल्ड के [[आइसोमेट्री समूह]] का ले बीजगणित है। आइसोमेट्रीज़ के संक्रमणीय समूह के साथ रीमैनियन मैनिफोल्ड [[सजातीय स्थान]] है।


[[ सघन स्थान ]] मैनिफोल्ड्स के लिए
[[ सघन स्थान | सघन स्थान]] मैनिफोल्ड्स के लिए
* नकारात्मक रिक्की वक्रता का तात्पर्य है कि कोई गैर-तुच्छ (गैर-शून्य) हत्या क्षेत्र नहीं हैं।
* नकारात्मक रिक्की वक्रता का तात्पर्य है कि कोई गैर-तुच्छ (गैर-शून्य) हत्या क्षेत्र नहीं हैं।
* नॉनपॉज़िटिव रिक्की वक्रता का तात्पर्य है कि कोई भी किलिंग फ़ील्ड समानांतर है। यानी किसी भी वेक्टर क्षेत्र के साथ सहसंयोजक व्युत्पन्न समान रूप से शून्य है।
* नॉनपॉज़िटिव रिक्की वक्रता का तात्पर्य है कि कोई भी किलिंग फ़ील्ड समानांतर है। यानी किसी भी वेक्टर क्षेत्र के साथ सहसंयोजक व्युत्पन्न समान रूप से शून्य है।
Line 143: Line 142:
प्रत्येक किलिंग वेक्टर फ़ील्ड का सहसंयोजक [[विचलन]] गायब हो जाता है।
प्रत्येक किलिंग वेक्टर फ़ील्ड का सहसंयोजक [[विचलन]] गायब हो जाता है।


अगर <math>X</math> एक किलिंग वेक्टर फ़ील्ड है और <math>Y</math> तो फिर, यह एक [[हॉज सिद्धांत]] है <math>g(X, Y)</math> एक [[हार्मोनिक फ़ंक्शन]] है.
अगर <math>X</math> किलिंग वेक्टर फ़ील्ड है और <math>Y</math> तो फिर, यह [[हॉज सिद्धांत]] है <math>g(X, Y)</math> [[हार्मोनिक फ़ंक्शन]] है.
 
अगर <math>X</math> एक किलिंग वेक्टर फ़ील्ड है और <math>\omega</math> तो फिर, यह एक हॉज सिद्धांत|हार्मोनिक पी-फॉर्म है <math>\mathcal{L}_{X} \omega = 0 \,.</math>
 


अगर <math>X</math> किलिंग वेक्टर फ़ील्ड है और <math>\omega</math> तो फिर, यह हॉज सिद्धांत|हार्मोनिक पी-फॉर्म है <math>\mathcal{L}_{X} \omega = 0 \,.</math>
=== जियोडेसिक्स ===
=== जियोडेसिक्स ===
प्रत्येक किलिंग वेक्टर एक मात्रा से मेल खाता है जिसे [[हैमिल्टनियन प्रवाह के रूप में जियोडेसिक्स]] के साथ संरक्षित किया जाता है। यह संरक्षित मात्रा किलिंग वेक्टर और जियोडेसिक टेंगेंट वेक्टर के बीच का मीट्रिक उत्पाद है। स्पर्शरेखा वेक्टर के साथ एक एफ़िनली पैरामीट्रिज़्ड जियोडेसिक के साथ <math>U^a</math> फिर किलिंग वेक्टर दिया गया <math>X_b</math>, मात्रा <math>U^bX_b</math> संरक्षित है:
प्रत्येक किलिंग वेक्टर मात्रा से मेल खाता है जिसे [[हैमिल्टनियन प्रवाह के रूप में जियोडेसिक्स]] के साथ संरक्षित किया जाता है। यह संरक्षित मात्रा किलिंग वेक्टर और जियोडेसिक टेंगेंट वेक्टर के बीच का मीट्रिक उत्पाद है। स्पर्शरेखा वेक्टर के साथ एफ़िनली पैरामीट्रिज़्ड जियोडेसिक के साथ <math>U^a</math> फिर किलिंग वेक्टर दिया गया <math>X_b</math>, मात्रा <math>U^bX_b</math> संरक्षित है:
:<math>U^a\nabla_a(U^bX_b)=0</math>
:<math>U^a\nabla_a(U^bX_b)=0</math>
यह समरूपता के साथ स्पेसटाइम में गतियों का विश्लेषणात्मक अध्ययन करने में सहायता करता है।<ref>{{Cite book|title = Spacetime and Geometry: An Introduction to General Relativity |url = https://archive.org/details/spacetimegeometr00scar |url-access = limited |last = Carroll |first = Sean|publisher = Addison Wesley|year = 2004|pages = [https://archive.org/details/spacetimegeometr00scar/page/n145 133]–139|isbn = 9780805387322 }}</ref>
यह समरूपता के साथ स्पेसटाइम में गतियों का विश्लेषणात्मक अध्ययन करने में सहायता करता है।<ref>{{Cite book|title = Spacetime and Geometry: An Introduction to General Relativity |url = https://archive.org/details/spacetimegeometr00scar |url-access = limited |last = Carroll |first = Sean|publisher = Addison Wesley|year = 2004|pages = [https://archive.org/details/spacetimegeometr00scar/page/n145 133]–139|isbn = 9780805387322 }}</ref>
=== तनाव-ऊर्जा टेंसर ===
=== तनाव-ऊर्जा टेंसर ===
एक संरक्षित, सममित टेंसर दिया गया है <math>T^{ab}</math>, वह है, एक संतोषजनक <math>T^{ab} = T^{ba}</math> और <math>\nabla_a T^{ab}=0</math>, जो [[तनाव-ऊर्जा टेंसर]] और किलिंग वेक्टर के विशिष्ट गुण हैं <math>X_b</math>, हम संरक्षित मात्रा का निर्माण कर सकते हैं <math>J^a := T^{ab}X_b</math> संतुष्टि देने वाला
एक संरक्षित, सममित टेंसर दिया गया है <math>T^{ab}</math>, वह है, संतोषजनक <math>T^{ab} = T^{ba}</math> और <math>\nabla_a T^{ab}=0</math>, जो [[तनाव-ऊर्जा टेंसर]] और किलिंग वेक्टर के विशिष्ट गुण हैं <math>X_b</math>, हम संरक्षित मात्रा का निर्माण कर सकते हैं <math>J^a := T^{ab}X_b</math> संतुष्टि देने वाला
:<math>\nabla_a J^a = 0.</math>
:<math>\nabla_a J^a = 0.</math>
=== कार्टन अपघटन ===
=== कार्टन अपघटन ===
जैसा कि ऊपर उल्लेख किया गया है, दो किलिंग फ़ील्ड के वेक्टर फ़ील्ड का लाई ब्रैकेट अभी भी एक किलिंग फ़ील्ड है। द किलिंग फील्ड्स मैनिफोल्ड पर <math>M</math> इस प्रकार एक झूठ बीजगणित बनता है <math>\mathfrak{g}</math> सभी वेक्टर फ़ील्ड पर <math>M.</math> एक बिंदु का चयन करना <math>p \in M~,</math> बीजगणित <math>\mathfrak{g}</math> दो भागों में विघटित किया जा सकता है:
जैसा कि ऊपर उल्लेख किया गया है, दो किलिंग फ़ील्ड के वेक्टर फ़ील्ड का लाई ब्रैकेट अभी भी किलिंग फ़ील्ड है। द किलिंग फील्ड्स मैनिफोल्ड पर <math>M</math> इस प्रकार झूठ बीजगणित बनता है <math>\mathfrak{g}</math> सभी वेक्टर फ़ील्ड पर <math>M.</math> बिंदु का चयन करना <math>p \in M~,</math> बीजगणित <math>\mathfrak{g}</math> दो भागों में विघटित किया जा सकता है:
:<math>\mathfrak{h} = \{ X\in\mathfrak{g} : X(p) = 0 \}</math>
:<math>\mathfrak{h} = \{ X\in\mathfrak{g} : X(p) = 0 \}</math>
और
और
:<math>\mathfrak{m} = \{ X\in\mathfrak{g} : \nabla X(p) = 0 \}</math>
:<math>\mathfrak{m} = \{ X\in\mathfrak{g} : \nabla X(p) = 0 \}</math>
कहाँ <math>\nabla</math> सहसंयोजक व्युत्पन्न है. ये दोनों भाग मामूली तौर पर एक दूसरे को काटते हैं लेकिन सामान्य तौर पर विभाजित नहीं होते <math>\mathfrak{g}</math>. उदाहरण के लिए, यदि <math>M</math> एक रीमैनियन सजातीय स्थान है, हमारे पास है <math>\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}</math> अगर और केवल अगर <math>M</math> एक रीमैनियन सममित स्थान है।<ref>Olmos, Carlos; Reggiani, Silvio; Tamaru, Hiroshi (2014). ''The index of symmetry of compact naturally reductive spaces''. Math. Z. '''277''', 611–628. [https://doi.org/10.1007/s00209-013-1268-0 DOI 10.1007/s00209-013-1268-0]</ref>
कहाँ <math>\nabla</math> सहसंयोजक व्युत्पन्न है. ये दोनों भाग मामूली तौर पर दूसरे को काटते हैं लेकिन सामान्य तौर पर विभाजित नहीं होते <math>\mathfrak{g}</math>. उदाहरण के लिए, यदि <math>M</math> रीमैनियन सजातीय स्थान है, हमारे पास है <math>\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}</math> अगर और केवल अगर <math>M</math> रीमैनियन सममित स्थान है।<ref>Olmos, Carlos; Reggiani, Silvio; Tamaru, Hiroshi (2014). ''The index of symmetry of compact naturally reductive spaces''. Math. Z. '''277''', 611–628. [https://doi.org/10.1007/s00209-013-1268-0 DOI 10.1007/s00209-013-1268-0]</ref>
सहज रूप से, की सममिति <math>M</math> स्थानीय रूप से एक सबमैनिफोल्ड को परिभाषित करें <math>N</math> कुल स्थान का, और किलिंग फ़ील्ड दिखाते हैं कि उस सबमैनिफोल्ड के साथ कैसे स्लाइड किया जाए। वे उस उपमान के स्पर्शरेखा स्थान का विस्तार करते हैं। स्पर्शरेखा स्थान <math>T_pN</math> उस बिंदु पर समूह क्रिया#कार्रवाई के प्रकार अभिनय करने वाले आइसोमेट्री के समान आयाम होना चाहिए। अर्थात व्यक्ति अपेक्षा करता है <math>T_pN \cong \mathfrak{m}~.</math> फिर भी, सामान्य तौर पर, किलिंग फ़ील्ड की संख्या उस स्पर्शरेखा स्थान के आयाम से बड़ी होती है। यह कैसे हो सकता है? इसका उत्तर यह है कि अतिरिक्त किलिंग फ़ील्ड अनावश्यक हैं। सभी को मिलाकर, फ़ील्ड किसी विशेष चयनित बिंदु पर स्पर्शरेखा स्थान के लिए एक अति-पूर्ण आधार प्रदान करते हैं; उस विशेष बिंदु पर रैखिक संयोजनों को गायब किया जा सकता है। इसे 2-गोले पर किलिंग फ़ील्ड के उदाहरण में देखा गया था: 3 किलिंग फ़ील्ड हैं; किसी भी बिंदु पर, दो उस बिंदु पर स्पर्शरेखा स्थान का विस्तार करते हैं, और तीसरा अन्य दो का एक रैखिक संयोजन है। किन्हीं दो परिभाषाओं को चुनना <math>\mathfrak{m};</math> शेष पतित रैखिक संयोजन एक ऑर्थोगोनल स्थान को परिभाषित करते हैं <math>\mathfrak{h}.</math>
सहज रूप से, की सममिति <math>M</math> स्थानीय रूप से सबमैनिफोल्ड को परिभाषित करें <math>N</math> कुल स्थान का, और किलिंग फ़ील्ड दिखाते हैं कि उस सबमैनिफोल्ड के साथ कैसे स्लाइड किया जाए। वे उस उपमान के स्पर्शरेखा स्थान का विस्तार करते हैं। स्पर्शरेखा स्थान <math>T_pN</math> उस बिंदु पर समूह क्रिया#कार्रवाई के प्रकार अभिनय करने वाले आइसोमेट्री के समान आयाम होना चाहिए। अर्थात व्यक्ति अपेक्षा करता है <math>T_pN \cong \mathfrak{m}~.</math> फिर भी, सामान्य तौर पर, किलिंग फ़ील्ड की संख्या उस स्पर्शरेखा स्थान के आयाम से बड़ी होती है। यह कैसे हो सकता है? इसका उत्तर यह है कि अतिरिक्त किलिंग फ़ील्ड अनावश्यक हैं। सभी को मिलाकर, फ़ील्ड किसी विशेष चयनित बिंदु पर स्पर्शरेखा स्थान के लिए अति-पूर्ण आधार प्रदान करते हैं; उस विशेष बिंदु पर रैखिक संयोजनों को गायब किया जा सकता है। इसे 2-गोले पर किलिंग फ़ील्ड के उदाहरण में देखा गया था: 3 किलिंग फ़ील्ड हैं; किसी भी बिंदु पर, दो उस बिंदु पर स्पर्शरेखा स्थान का विस्तार करते हैं, और तीसरा अन्य दो का रैखिक संयोजन है। किन्हीं दो परिभाषाओं को चुनना <math>\mathfrak{m};</math> शेष पतित रैखिक संयोजन ऑर्थोगोनल स्थान को परिभाषित करते हैं <math>\mathfrak{h}.</math>
 
 
===[[कार्टन का समावेश]]===
===[[कार्टन का समावेश]]===
कार्टन इनवोलुशन को जियोडेसिक की दिशा को प्रतिबिंबित करने या उलटने के रूप में परिभाषित किया गया है। इसका अंतर स्पर्शरेखा की दिशा को जियोडेसिक में बदल देता है। यह मानक एक का एक रैखिक संचालिका है; इसमें eigenvalue +1 और -1 के दो अपरिवर्तनीय उप-स्थान हैं। ये दो उपस्थान संगत हैं <math>\mathfrak{p}</math> और <math>\mathfrak{m},</math> क्रमश।
कार्टन इनवोलुशन को जियोडेसिक की दिशा को प्रतिबिंबित करने या उलटने के रूप में परिभाषित किया गया है। इसका अंतर स्पर्शरेखा की दिशा को जियोडेसिक में बदल देता है। यह मानक का रैखिक संचालिका है; इसमें eigenvalue +1 और -1 के दो अपरिवर्तनीय उप-स्थान हैं। ये दो उपस्थान संगत हैं <math>\mathfrak{p}</math> और <math>\mathfrak{m},</math> क्रमश।


इसे और अधिक सटीक बनाया जा सकता है. एक बिंदु तय करना <math>p \in M</math> एक जियोडेसिक पर विचार करें <math>\gamma: \mathbb{R} \to M</math> के माध्यम से गुजरते हुए <math>p</math>, साथ <math>\gamma(0) = p~.</math> इन्वॉल्वमेंट (गणित) <math>\sigma_p</math> परिभाषित किया जाता है
इसे और अधिक सटीक बनाया जा सकता है. बिंदु तय करना <math>p \in M</math> जियोडेसिक पर विचार करें <math>\gamma: \mathbb{R} \to M</math> के माध्यम से गुजरते हुए <math>p</math>, साथ <math>\gamma(0) = p~.</math> इन्वॉल्वमेंट (गणित) <math>\sigma_p</math> परिभाषित किया जाता है


:<math>\sigma_p(\gamma(\lambda)) = \gamma(-\lambda)</math>
:<math>\sigma_p(\gamma(\lambda)) = \gamma(-\lambda)</math>
यह मानचित्र उसी में एक समावेश है <math>\sigma_p^2 = 1~.</math> जब किलिंग फ़ील्ड के साथ जियोडेसिक्स तक सीमित किया जाता है, तो यह स्पष्ट रूप से एक आइसोमेट्री भी है। इसे विशिष्ट रूप से परिभाषित किया गया है।
यह मानचित्र उसी में समावेश है <math>\sigma_p^2 = 1~.</math> जब किलिंग फ़ील्ड के साथ जियोडेसिक्स तक सीमित किया जाता है, तो यह स्पष्ट रूप से आइसोमेट्री भी है। इसे विशिष्ट रूप से परिभाषित किया गया है।


होने देना <math>G</math> किलिंग फ़ील्ड द्वारा उत्पन्न आइसोमेट्री का समूह बनें। कार्यक्रम <math>s_p: G \to G</math> द्वारा परिभाषित
होने देना <math>G</math> किलिंग फ़ील्ड द्वारा उत्पन्न आइसोमेट्री का समूह बनें। कार्यक्रम <math>s_p: G \to G</math> द्वारा परिभाषित
:<math>s_p(g) = \sigma_p \circ g \circ \sigma_p = \sigma_p \circ g \circ \sigma_p^{-1}</math>
:<math>s_p(g) = \sigma_p \circ g \circ \sigma_p = \sigma_p \circ g \circ \sigma_p^{-1}</math>
की एक [[समरूपता]] है <math>G</math>. यह अतिसूक्ष्म है <math>\theta_p: \mathfrak{g} \to \mathfrak{g}</math> है
की [[समरूपता]] है <math>G</math>. यह अतिसूक्ष्म है <math>\theta_p: \mathfrak{g} \to \mathfrak{g}</math> है
:<math>\theta_p(X) = \left. \frac{d}{d\lambda} s_p\left(e^{\lambda X}\right) \right|_{\lambda=0}</math>
:<math>\theta_p(X) = \left. \frac{d}{d\lambda} s_p\left(e^{\lambda X}\right) \right|_{\lambda=0}</math>
कार्टन इनवोल्यूशन एक झूठ बीजगणित समरूपता है
कार्टन इनवोल्यूशन झूठ बीजगणित समरूपता है
:<math>\theta_p[X, Y] = \left[\theta_p X, \theta_p Y\right]</math>
:<math>\theta_p[X, Y] = \left[\theta_p X, \theta_p Y\right]</math>
सभी के लिए <math>X, Y \in \mathfrak{g}~.</math> उपस्थान <math>\mathfrak{m}</math> जबकि, कार्टन इन्वोल्यूशन के अंतर्गत विषम समता है <math>\mathfrak{h}</math> सम समता है. अर्थात्, बिंदु पर कार्टन के शामिल होने को दर्शाता है <math>p \in M</math> जैसा <math>\theta_p</math> किसी के पास
सभी के लिए <math>X, Y \in \mathfrak{g}~.</math> उपस्थान <math>\mathfrak{m}</math> जबकि, कार्टन इन्वोल्यूशन के अंतर्गत विषम समता है <math>\mathfrak{h}</math> सम समता है. अर्थात्, बिंदु पर कार्टन के शामिल होने को दर्शाता है <math>p \in M</math> जैसा <math>\theta_p</math> किसी के पास
Line 186: Line 177:
और
और
:<math>\left.\theta_p\right|_{\mathfrak{h}} = +Id</math>
:<math>\left.\theta_p\right|_{\mathfrak{h}} = +Id</math>
कहाँ <math>Id</math> पहचान मानचित्र है. इससे यह निष्कर्ष निकलता है कि उपस्थान <math>\mathfrak{h}</math> का एक झूठ उपबीजगणित है <math>\mathfrak{g}</math>, के कारण से
कहाँ <math>Id</math> पहचान मानचित्र है. इससे यह निष्कर्ष निकलता है कि उपस्थान <math>\mathfrak{h}</math> का झूठ उपबीजगणित है <math>\mathfrak{g}</math>, के कारण से
<math>[\mathfrak{h}, \mathfrak{h}] \subset \mathfrak{h} ~.</math>
<math>[\mathfrak{h}, \mathfrak{h}] \subset \mathfrak{h} ~.</math>
चूँकि ये सम और विषम समता वाले उपस्थान हैं, इसलिए लाई कोष्ठक विभाजित हो जाते हैं
चूँकि ये सम और विषम समता वाले उपस्थान हैं, इसलिए लाई कोष्ठक विभाजित हो जाते हैं
Line 192: Line 183:
और
और
<math>[\mathfrak{m}, \mathfrak{m}] \subset \mathfrak{h} ~.</math>
<math>[\mathfrak{m}, \mathfrak{m}] \subset \mathfrak{h} ~.</math>
उपरोक्त अपघटन सभी बिंदुओं पर लागू होता है <math>p \in M</math> एक [[सममित स्थान]] के लिए <math>M</math>; सबूत जोस्ट में पाए जा सकते हैं।<ref>Jurgen Jost, (2002) "Riemmanian Geometry and Geometric Analysis" (Third edition) Springer. (''See section 5.2 pages 241-251.''}</ref> वे अधिक सामान्य सेटिंग्स में भी हैं, लेकिन जरूरी नहीं कि वे मैनिफोल्ड के सभी बिंदुओं पर हों।{{reference needed|date=November 2020}}
उपरोक्त अपघटन सभी बिंदुओं पर लागू होता है <math>p \in M</math> [[सममित स्थान]] के लिए <math>M</math>; सबूत जोस्ट में पाए जा सकते हैं।<ref>Jurgen Jost, (2002) "Riemmanian Geometry and Geometric Analysis" (Third edition) Springer. (''See section 5.2 pages 241-251.''}</ref> वे अधिक सामान्य सेटिंग्स में भी हैं, लेकिन जरूरी नहीं कि वे मैनिफोल्ड के सभी बिंदुओं पर हों।


सममित स्थान के विशेष मामले के लिए, किसी के पास स्पष्ट रूप से वह है <math>T_pM \cong \mathfrak{m};</math> अर्थात्, किलिंग फ़ील्ड एक सममित स्थान के संपूर्ण स्पर्शरेखा स्थान को फैलाते हैं। समान रूप से, वक्रता टेंसर स्थानीय रूप से सममित स्थानों पर सहसंयोजक रूप से स्थिर होता है, और इसलिए ये स्थानीय रूप से समानांतर होते हैं; यह कार्टन-एम्ब्रोस-हिक्स प्रमेय है।
सममित स्थान के विशेष मामले के लिए, किसी के पास स्पष्ट रूप से वह है <math>T_pM \cong \mathfrak{m};</math> अर्थात्, किलिंग फ़ील्ड सममित स्थान के संपूर्ण स्पर्शरेखा स्थान को फैलाते हैं। समान रूप से, वक्रता टेंसर स्थानीय रूप से सममित स्थानों पर सहसंयोजक रूप से स्थिर होता है, और इसलिए ये स्थानीय रूप से समानांतर होते हैं; यह कार्टन-एम्ब्रोस-हिक्स प्रमेय है।


== सामान्यीकरण ==
== सामान्यीकरण ==
[[अनुरूप हत्या वेक्टर क्षेत्र]] को परिभाषित किलिंग वेक्टर फ़ील्ड्स के अनुरूप सामान्यीकृत किया जा सकता है <math>\mathcal{L}_{X} g = \lambda g\,</math> कुछ अदिश राशि के लिए <math>\lambda.</math> [[अनुरूप मानचित्र]]ों के एक पैरामीटर परिवारों के व्युत्पन्न अनुरूप हत्या क्षेत्र हैं।
[[अनुरूप हत्या वेक्टर क्षेत्र]] को परिभाषित किलिंग वेक्टर फ़ील्ड्स के अनुरूप सामान्यीकृत किया जा सकता है <math>\mathcal{L}_{X} g = \lambda g\,</math> कुछ अदिश राशि के लिए <math>\lambda.</math> [[अनुरूप मानचित्र]]ों के पैरामीटर परिवारों के व्युत्पन्न अनुरूप हत्या क्षेत्र हैं।
* [[ [[ टेन्सर ]] को मारना ]] फ़ील्ड सममित टेंसर फ़ील्ड टी हैं जैसे कि सममिति का ट्रेस-मुक्त हिस्सा <math>\nabla T \,</math> गायब हो जाता है. किलिंग टेंसर वाले मैनिफोल्ड्स के उदाहरणों में [[केर स्पेसटाइम]] और [[एफआरडब्ल्यू ब्रह्मांड विज्ञान]] शामिल हैं।<ref>{{Cite book|title = Spacetime and Geometry: An Introduction to General Relativity |url = https://archive.org/details/spacetimegeometr00scar |url-access = limited |last = Carroll |first = Sean |publisher = Addison Wesley|year = 2004|pages = [https://archive.org/details/spacetimegeometr00scar/page/n275 263], 344|isbn = 9780805387322 }}</ref>
* [[ [[ टेन्सर |टेन्सर]] को मारना ]] फ़ील्ड सममित टेंसर फ़ील्ड टी हैं जैसे कि सममिति का ट्रेस-मुक्त हिस्सा <math>\nabla T \,</math> गायब हो जाता है. किलिंग टेंसर वाले मैनिफोल्ड्स के उदाहरणों में [[केर स्पेसटाइम]] और [[एफआरडब्ल्यू ब्रह्मांड विज्ञान]] शामिल हैं।<ref>{{Cite book|title = Spacetime and Geometry: An Introduction to General Relativity |url = https://archive.org/details/spacetimegeometr00scar |url-access = limited |last = Carroll |first = Sean |publisher = Addison Wesley|year = 2004|pages = [https://archive.org/details/spacetimegeometr00scar/page/n275 263], 344|isbn = 9780805387322 }}</ref>
* यदि हम आइसोमेट्री के समूह के बजाय उस पर कोई ली समूह जी समूह कार्रवाई (गणित) लेते हैं, तो किलिंग वेक्टर फ़ील्ड को किसी भी मैनिफोल्ड एम (संभवतः मीट्रिक के बिना) पर भी परिभाषित किया जा सकता है।<ref>{{citation
* यदि हम आइसोमेट्री के समूह के बजाय उस पर कोई ली समूह जी समूह कार्रवाई (गणित) लेते हैं, तो किलिंग वेक्टर फ़ील्ड को किसी भी मैनिफोल्ड एम (संभवतः मीट्रिक के बिना) पर भी परिभाषित किया जा सकता है।<ref>{{citation
  |last1        = Choquet-Bruhat |first1      = Yvonne
  |last1        = Choquet-Bruhat |first1      = Yvonne
Line 212: Line 203:
  |url-access  = registration
  |url-access  = registration
  |url          = https://archive.org/details/analysismanifold0000choq
  |url          = https://archive.org/details/analysismanifold0000choq
}}</ref> इस व्यापक अर्थ में, किलिंग वेक्टर फ़ील्ड समूह क्रिया द्वारा G पर एक सही अपरिवर्तनीय वेक्टर फ़ील्ड को आगे बढ़ाना है। यदि समूह क्रिया प्रभावी है, तो किलिंग वेक्टर फ़ील्ड का स्थान लाई बीजगणित के समरूपी है <math>\mathfrak{g}</math> जी का.
}}</ref> इस व्यापक अर्थ में, किलिंग वेक्टर फ़ील्ड समूह क्रिया द्वारा G पर सही अपरिवर्तनीय वेक्टर फ़ील्ड को आगे बढ़ाना है। यदि समूह क्रिया प्रभावी है, तो किलिंग वेक्टर फ़ील्ड का स्थान लाई बीजगणित के समरूपी है <math>\mathfrak{g}</math> जी का.


==यह भी देखें==
==यह भी देखें==

Revision as of 22:39, 30 November 2023

गणित में, किलिंग वेक्टर फ़ील्ड (अक्सर किलिंग फ़ील्ड कहा जाता है), जिसका नाम विल्हेम हत्या के नाम पर रखा गया है, [[रीमैनियन कई गुना ]] (या छद्म-रीमैनियन मैनिफोल्ड) पर वेक्टर फ़ील्ड है जो मीट्रिक टेंसर को संरक्षित करता है। किलिंग फ़ील्ड लाई समूह हैं#आइसोमेट्री के लाई समूहों से संबद्ध लाई बीजगणित; अर्थात्, किलिंग फ़ील्ड्स द्वारा उत्पन्न प्रवाह (ज्यामिति) मैनिफोल्ड की आइसोमेट्री (रीमैनियन ज्यामिति) है। अधिक सरलता से, प्रवाह समरूपता उत्पन्न करता है, इस अर्थ में कि किसी वस्तु के प्रत्येक बिंदु को किलिंग वेक्टर की दिशा में समान दूरी पर ले जाने से वस्तु पर दूरियाँ विकृत नहीं होंगी।

परिभाषा

विशेष रूप से, वेक्टर फ़ील्ड X किलिंग फ़ील्ड है यदि मीट्रिक g के X के संबंध में Lie व्युत्पन्न गायब हो जाता है:[1]

लेवी-सिविटा कनेक्शन के संदर्भ में, यह है

सभी वैक्टर Y और Z के लिए। स्थानीय निर्देशांक में, यह किलिंग समीकरण के बराबर है[2]

यह स्थिति सहसंयोजक रूप में व्यक्त की जाती है। इसलिए, इसे सभी समन्वय प्रणालियों में पकड़ बनाने के लिए इसे पसंदीदा समन्वय प्रणाली में स्थापित करना पर्याप्त है।

उदाहरण

सर्कल पर किलिंग फील्ड

सर्कल पर किलिंग फ़ील्ड और किलिंग फ़ील्ड के साथ प्रवाह।

एक सर्कल पर वेक्टर फ़ील्ड जो वामावर्त को इंगित करता है और प्रत्येक बिंदु पर समान लंबाई होती है, किलिंग वेक्टर फ़ील्ड है, क्योंकि इस वेक्टर फ़ील्ड के साथ सर्कल पर प्रत्येक बिंदु को स्थानांतरित करने से सर्कल बस घूमता है।

अतिपरवलयिक तल पर फ़ील्ड्स को ख़त्म करना

बिंदुओं के अर्धवृत्ताकार चयन पर, ऊपरी-आधे समतल मॉडल पर किलिंग फ़ील्ड। यह किलिंग वेक्टर फ़ील्ड विशेष अनुरूप परिवर्तन उत्पन्न करता है। रंग उस बिंदु पर वेक्टर क्षेत्र के परिमाण को इंगित करता है।

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

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

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

2-गोले पर खेतों को मारना

A sphere with arrows representing a Killing vector field of rotations about the z-एक्सिस। गोला और तीर घूमते हैं, जो वेक्टर क्षेत्र के साथ प्रवाह दिखाते हैं।दो-गोले के हत्या क्षेत्र , या अधिक सामान्यतः -गोला सामान्य अंतर्ज्ञान से स्पष्ट होना चाहिए: घूर्णी समरूपता वाले क्षेत्रों में मारक क्षेत्र होने चाहिए जो किसी भी अक्ष के बारे में घूर्णन उत्पन्न करते हैं। यानी हम उम्मीद करते हैं 3डी रोटेशन समूह SO(3) की कार्रवाई के तहत समरूपता प्राप्त करना। अर्थात्, प्राथमिक ज्ञान का उपयोग करके कि गोले को यूक्लिडियन अंतरिक्ष में एम्बेड किया जा सकता है, किलिंग फ़ील्ड के रूप का अनुमान लगाना तुरंत संभव है। यह सामान्य रूप से संभव नहीं है, और इसलिए यह उदाहरण बहुत ही सीमित शैक्षिक मूल्य का है।

2-गोले के लिए पारंपरिक चार्ट अंतर्निहित है कार्तीय निर्देशांक में द्वारा दिया गया है

ताकि ऊँचाई को मापता है, और पैरामीटर्स के बारे में घूर्णन -एक्सिस।

मानक कार्टेशियन मीट्रिक को वापस खींचना गोले पर मानक मीट्रिक देता है,

.

सहज रूप से, किसी भी अक्ष के चारों ओर घूमना आइसोमेट्री होना चाहिए। इस चार्ट में, वेक्टर फ़ील्ड जो के बारे में घूर्णन उत्पन्न करता है -एक्सिस:

इन निर्देशांकों में, मीट्रिक घटक सभी स्वतंत्र हैं , जो यह दर्शाता है हत्या क्षेत्र है.

सदिश क्षेत्र

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

जनरेटर के बारे में घूर्णन के रूप में पहचाना जाता है -एक्सिस

एक दूसरा जनरेटर, के चारों ओर घूमता है -अक्ष, है

तीसरा जनरेटर, चारों ओर घूमने के लिए -अक्ष, है

इन तीन जनरेटरों के रैखिक संयोजनों द्वारा दिया गया बीजगणित बंद हो जाता है, और संबंधों का पालन करता है

यह झूठ बीजगणित है .

जताते और गोलाकार निर्देशांक के संदर्भ में देता है

और

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

ये तीन किलिंग फ़ील्ड बीजगणित के लिए जनरेटर का पूरा सेट बनाते हैं। वे अद्वितीय नहीं हैं: इन तीन क्षेत्रों का कोई भी रैखिक संयोजन अभी भी किलिंग फ़ील्ड है।

इस उदाहरण के बारे में ध्यान देने योग्य कई सूक्ष्म बातें हैं।

  • तीन क्षेत्र विश्व स्तर पर गैर-शून्य नहीं हैं; वास्तव में, क्षेत्र उत्तरी और दक्षिणी ध्रुवों पर लुप्त हो जाता है; वैसे ही, और भूमध्य रेखा पर एंटीपोड पर गायब हो जाते हैं। इसे समझने का तरीका हेयरी बॉल प्रमेय का परिणाम है। गंजे धब्बों की यह संपत्ति, कार्टन अपघटन में सममित स्थानों की सामान्य संपत्ति है। मैनिफ़ोल्ड के प्रत्येक बिंदु पर, किलिंग फ़ील्ड का बीजगणित स्वाभाविक रूप से दो भागों में विभाजित हो जाता है, भाग जो मैनिफ़ोल्ड के स्पर्शरेखा है, और दूसरा भाग जो लुप्त हो रहा है (उस बिंदु पर जहां अपघटन किया जा रहा है)।
  • तीन क्षेत्र और इकाई लंबाई के नहीं हैं. के सामान्य गुणनखंड से विभाजित करके सामान्यीकरण किया जा सकता है तीनों भावों में प्रकट होना। हालाँकि, उस स्थिति में, फ़ील्ड अब सुचारू नहीं हैं: उदाहरण के लिए, उत्तरी और दक्षिणी ध्रुवों पर एकवचन (अभेद्य) है।
  • तीन फ़ील्ड बिंदु-वार ऑर्थोगोनल नहीं हैं; वास्तव में, वे नहीं हो सकते, क्योंकि, किसी भी बिंदु पर, स्पर्शरेखा-तल द्वि-आयामी है, जबकि तीन वैक्टर हैं। गोले पर किसी भी बिंदु को देखते हुए, कुछ गैर-तुच्छ रैखिक संयोजन होता है और वह गायब हो जाता है: ये तीन वैक्टर उस बिंदु पर द्वि-आयामी स्पर्शरेखा विमान के लिए अति-पूर्ण आधार हैं।
  • प्राथमिक ज्ञान कि गोले को यूक्लिडियन अंतरिक्ष में एम्बेड किया जा सकता है, और इस प्रकार इस एम्बेडिंग से मीट्रिक प्राप्त होता है, जिससे किलिंग फ़ील्ड की सही संख्या के बारे में भ्रमित अंतर्ज्ञान हो सकता है जिसकी कोई उम्मीद कर सकता है। इस तरह के एम्बेडिंग के बिना, अंतर्ज्ञान सुझाव दे सकता है कि रैखिक रूप से स्वतंत्र जनरेटर की संख्या स्पर्शरेखा बंडल के आयाम से अधिक नहीं होगी। आख़िरकार, किसी भी बिंदु को मैनिफ़ोल्ड पर स्थिर करके, कोई केवल उन्हीं दिशाओं में आगे बढ़ सकता है जो स्पर्शरेखा हैं। 2-गोले के लिए स्पर्शरेखा बंडल का आयाम दो है, और फिर भी तीन किलिंग फ़ील्ड पाए जाते हैं। फिर, यह आश्चर्य सममित स्थानों की सामान्य संपत्ति है।

मिन्कोवस्की क्षेत्र में खेतों को नष्ट करना

मिन्कोव्स्की अंतरिक्ष के हत्या क्षेत्र 3 अंतरिक्ष अनुवाद, समय अनुवाद, घूर्णन के तीन जनरेटर (छोटा समूह) और लोरेंत्ज़ बूस्ट के तीन जनरेटर हैं। ये हैं

  • समय और स्थान अनुवाद
  • वेक्टर फ़ील्ड तीन घुमाव उत्पन्न करते हैं, जिन्हें अक्सर जे जनरेटर कहा जाता है,
  • वेक्टर फ़ील्ड तीन बूस्ट उत्पन्न करते हैं, K जनरेटर,

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

समतल स्थान में खेतों को नष्ट करना

यहां हम सामान्य समतल स्थान के लिए किलिंग फील्ड प्राप्त करते हैं। किलिंग के समीकरण और कोवेक्टर के लिए रिक्की पहचान से ,

(अमूर्त सूचकांक संकेतन का उपयोग करके) कहाँ रीमैन वक्रता टेंसर है, निम्नलिखित पहचान किलिंग क्षेत्र के लिए सिद्ध हो सकती है :

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

किलिंग समीकरण को एकीकृत और लागू करने से हमें सामान्य समाधान लिखने की अनुमति मिलती है जैसा

कहाँ एंटीसिमेट्रिक है. का उचित मान लेकर और , हमें समतल स्थान की आइसोमेट्री के सामान्यीकृत पोंकारे बीजगणित के लिए आधार मिलता है:

ये क्रमशः छद्म-रोटेशन (रोटेशन और बूस्ट) और अनुवाद उत्पन्न करते हैं। सहज रूप से ये प्रत्येक बिंदु पर (छद्म)-मीट्रिक को संरक्षित करते हैं।

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

जिसमें अनिश्चितकालीन ऑर्थोगोनल समूह|O(p,q) समरूपता है। यदि सबमैनिफोल्ड में आयाम है , समरूपता के इस समूह में अपेक्षित आयाम है (एक झूठ समूह के रूप में)।

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

ठोस उदाहरणों के लिए, समतल स्थान (मिन्कोव्स्की स्थान) और अधिकतम सममित स्थान (गोलाकार, अतिशयोक्तिपूर्ण स्थान) के उदाहरणों के लिए नीचे देखें।

सामान्य सापेक्षता में क्षेत्रों को नष्ट करना

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

सिटर स्पेस द्वारा और एंटी-डी सिटर स्पेस अधिकतम सममित स्थान हैं प्रत्येक स्वामित्व के आयामी संस्करण सामूहिक हत्या वाली जगह।

एक स्थिर समन्वय का हत्या क्षेत्र

यदि मीट्रिक गुणांक कुछ समन्वित आधार पर किसी निर्देशांक से स्वतंत्र हैं , तब किलिंग वेक्टर है, जहां क्रोनकर डेल्टा है।[3]

इसे सिद्ध करने के लिए, आइए मान लें . तब और अब आइए हत्या की स्थिति पर नजर डालें

और से . मार-काट की स्थिति बन जाती है

वह है , कौन सा सही है।

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

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

और किलिंग फ़ील्ड की परिभाषा के अनुसार बाईं ओर का भाग गायब हो जाता है।

गुण

एक किलिंग फ़ील्ड किसी बिंदु पर वेक्टर और उसके ग्रेडिएंट (यानी बिंदु पर फ़ील्ड के सभी सहसंयोजक व्युत्पन्न) द्वारा विशिष्ट रूप से निर्धारित की जाती है।

दो किलिंग फ़ील्ड के वेक्टर फ़ील्ड का लाई ब्रैकेट अभी भी किलिंग फ़ील्ड है। मैनिफोल्ड एम पर किलिंग फ़ील्ड्स इस प्रकार एम पर वेक्टर फ़ील्ड्स का ले बीजगणित बनाती हैं। यदि एम पूर्ण अनेक गुना है तो यह मैनिफोल्ड के आइसोमेट्री समूह का ले बीजगणित है। आइसोमेट्रीज़ के संक्रमणीय समूह के साथ रीमैनियन मैनिफोल्ड सजातीय स्थान है।

सघन स्थान मैनिफोल्ड्स के लिए

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

प्रत्येक किलिंग वेक्टर फ़ील्ड का सहसंयोजक विचलन गायब हो जाता है।

अगर किलिंग वेक्टर फ़ील्ड है और तो फिर, यह हॉज सिद्धांत है हार्मोनिक फ़ंक्शन है.

अगर किलिंग वेक्टर फ़ील्ड है और तो फिर, यह हॉज सिद्धांत|हार्मोनिक पी-फॉर्म है

जियोडेसिक्स

प्रत्येक किलिंग वेक्टर मात्रा से मेल खाता है जिसे हैमिल्टनियन प्रवाह के रूप में जियोडेसिक्स के साथ संरक्षित किया जाता है। यह संरक्षित मात्रा किलिंग वेक्टर और जियोडेसिक टेंगेंट वेक्टर के बीच का मीट्रिक उत्पाद है। स्पर्शरेखा वेक्टर के साथ एफ़िनली पैरामीट्रिज़्ड जियोडेसिक के साथ फिर किलिंग वेक्टर दिया गया , मात्रा संरक्षित है:

यह समरूपता के साथ स्पेसटाइम में गतियों का विश्लेषणात्मक अध्ययन करने में सहायता करता है।[4]

तनाव-ऊर्जा टेंसर

एक संरक्षित, सममित टेंसर दिया गया है , वह है, संतोषजनक और , जो तनाव-ऊर्जा टेंसर और किलिंग वेक्टर के विशिष्ट गुण हैं , हम संरक्षित मात्रा का निर्माण कर सकते हैं संतुष्टि देने वाला

कार्टन अपघटन

जैसा कि ऊपर उल्लेख किया गया है, दो किलिंग फ़ील्ड के वेक्टर फ़ील्ड का लाई ब्रैकेट अभी भी किलिंग फ़ील्ड है। द किलिंग फील्ड्स मैनिफोल्ड पर इस प्रकार झूठ बीजगणित बनता है सभी वेक्टर फ़ील्ड पर बिंदु का चयन करना बीजगणित दो भागों में विघटित किया जा सकता है:

और

कहाँ सहसंयोजक व्युत्पन्न है. ये दोनों भाग मामूली तौर पर दूसरे को काटते हैं लेकिन सामान्य तौर पर विभाजित नहीं होते . उदाहरण के लिए, यदि रीमैनियन सजातीय स्थान है, हमारे पास है अगर और केवल अगर रीमैनियन सममित स्थान है।[5] सहज रूप से, की सममिति स्थानीय रूप से सबमैनिफोल्ड को परिभाषित करें कुल स्थान का, और किलिंग फ़ील्ड दिखाते हैं कि उस सबमैनिफोल्ड के साथ कैसे स्लाइड किया जाए। वे उस उपमान के स्पर्शरेखा स्थान का विस्तार करते हैं। स्पर्शरेखा स्थान उस बिंदु पर समूह क्रिया#कार्रवाई के प्रकार अभिनय करने वाले आइसोमेट्री के समान आयाम होना चाहिए। अर्थात व्यक्ति अपेक्षा करता है फिर भी, सामान्य तौर पर, किलिंग फ़ील्ड की संख्या उस स्पर्शरेखा स्थान के आयाम से बड़ी होती है। यह कैसे हो सकता है? इसका उत्तर यह है कि अतिरिक्त किलिंग फ़ील्ड अनावश्यक हैं। सभी को मिलाकर, फ़ील्ड किसी विशेष चयनित बिंदु पर स्पर्शरेखा स्थान के लिए अति-पूर्ण आधार प्रदान करते हैं; उस विशेष बिंदु पर रैखिक संयोजनों को गायब किया जा सकता है। इसे 2-गोले पर किलिंग फ़ील्ड के उदाहरण में देखा गया था: 3 किलिंग फ़ील्ड हैं; किसी भी बिंदु पर, दो उस बिंदु पर स्पर्शरेखा स्थान का विस्तार करते हैं, और तीसरा अन्य दो का रैखिक संयोजन है। किन्हीं दो परिभाषाओं को चुनना शेष पतित रैखिक संयोजन ऑर्थोगोनल स्थान को परिभाषित करते हैं

कार्टन का समावेश

कार्टन इनवोलुशन को जियोडेसिक की दिशा को प्रतिबिंबित करने या उलटने के रूप में परिभाषित किया गया है। इसका अंतर स्पर्शरेखा की दिशा को जियोडेसिक में बदल देता है। यह मानक का रैखिक संचालिका है; इसमें eigenvalue +1 और -1 के दो अपरिवर्तनीय उप-स्थान हैं। ये दो उपस्थान संगत हैं और क्रमश।

इसे और अधिक सटीक बनाया जा सकता है. बिंदु तय करना जियोडेसिक पर विचार करें के माध्यम से गुजरते हुए , साथ इन्वॉल्वमेंट (गणित) परिभाषित किया जाता है

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

होने देना किलिंग फ़ील्ड द्वारा उत्पन्न आइसोमेट्री का समूह बनें। कार्यक्रम द्वारा परिभाषित

की समरूपता है . यह अतिसूक्ष्म है है

कार्टन इनवोल्यूशन झूठ बीजगणित समरूपता है

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

और

कहाँ पहचान मानचित्र है. इससे यह निष्कर्ष निकलता है कि उपस्थान का झूठ उपबीजगणित है , के कारण से चूँकि ये सम और विषम समता वाले उपस्थान हैं, इसलिए लाई कोष्ठक विभाजित हो जाते हैं और उपरोक्त अपघटन सभी बिंदुओं पर लागू होता है सममित स्थान के लिए ; सबूत जोस्ट में पाए जा सकते हैं।[6] वे अधिक सामान्य सेटिंग्स में भी हैं, लेकिन जरूरी नहीं कि वे मैनिफोल्ड के सभी बिंदुओं पर हों।

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

सामान्यीकरण

अनुरूप हत्या वेक्टर क्षेत्र को परिभाषित किलिंग वेक्टर फ़ील्ड्स के अनुरूप सामान्यीकृत किया जा सकता है कुछ अदिश राशि के लिए अनुरूप मानचित्रों के पैरामीटर परिवारों के व्युत्पन्न अनुरूप हत्या क्षेत्र हैं।

  • [[ टेन्सर को मारना ]] फ़ील्ड सममित टेंसर फ़ील्ड टी हैं जैसे कि सममिति का ट्रेस-मुक्त हिस्सा गायब हो जाता है. किलिंग टेंसर वाले मैनिफोल्ड्स के उदाहरणों में केर स्पेसटाइम और एफआरडब्ल्यू ब्रह्मांड विज्ञान शामिल हैं।[7]
  • यदि हम आइसोमेट्री के समूह के बजाय उस पर कोई ली समूह जी समूह कार्रवाई (गणित) लेते हैं, तो किलिंग वेक्टर फ़ील्ड को किसी भी मैनिफोल्ड एम (संभवतः मीट्रिक के बिना) पर भी परिभाषित किया जा सकता है।[8] इस व्यापक अर्थ में, किलिंग वेक्टर फ़ील्ड समूह क्रिया द्वारा G पर सही अपरिवर्तनीय वेक्टर फ़ील्ड को आगे बढ़ाना है। यदि समूह क्रिया प्रभावी है, तो किलिंग वेक्टर फ़ील्ड का स्थान लाई बीजगणित के समरूपी है जी का.

यह भी देखें

संदर्भ

  1. Jost, Jurgen (2002). रीमैनियन ज्यामिति और ज्यामितीय विश्लेषण. Berlin: Springer-Verlag. ISBN 3-540-42627-2.
  2. Adler, Ronald; Bazin, Maurice; Schiffer, Menahem (1975). सामान्य सापेक्षता का परिचय (Second ed.). New York: McGraw-Hill. ISBN 0-07-000423-4.. See chapters 3, 9.
  3. Misner, Thorne, Wheeler (1973). आकर्षण-शक्ति. W H Freeman and Company. ISBN 0-7167-0344-0.{{cite book}}: CS1 maint: multiple names: authors list (link)
  4. Carroll, Sean (2004). Spacetime and Geometry: An Introduction to General Relativity. Addison Wesley. pp. 133–139. ISBN 9780805387322.
  5. Olmos, Carlos; Reggiani, Silvio; Tamaru, Hiroshi (2014). The index of symmetry of compact naturally reductive spaces. Math. Z. 277, 611–628. DOI 10.1007/s00209-013-1268-0
  6. Jurgen Jost, (2002) "Riemmanian Geometry and Geometric Analysis" (Third edition) Springer. (See section 5.2 pages 241-251.}
  7. Carroll, Sean (2004). Spacetime and Geometry: An Introduction to General Relativity. Addison Wesley. pp. 263, 344. ISBN 9780805387322.
  8. Choquet-Bruhat, Yvonne; DeWitt-Morette, Cécile (1977), Analysis, Manifolds and Physics, Amsterdam: Elsevier, ISBN 978-0-7204-0494-4