अनंतिमल परिवर्तन

गणित में, अनंतिम परिवर्तन छोटे परिवर्तन (ज्यामिति) का सीमित रूप है। उदाहरण के लिए, कोई त्रि-आयामी अंतरिक्ष में किसी कठोर पिंड के अनंतिम घूर्णन के विषय में बात कर सकता है। इसे पारंपरिक रूप से 3×3 तिरछा-सममित आव्यूह A द्वारा प्रदर्शित किया जाता है। यह अंतरिक्ष में वास्तविक घूर्णन का आव्यूह नहीं है; किन्तु पैरामीटर ε के छोटे वास्तविक मानों के लिए परिवर्तन,


 * $$T=I+\varepsilon A$$

क्रम ε2 की मात्रा तक छोटा घूर्णन है।

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

उदाहरण
उदाहरण के लिए, अनंतिम घुमावों के विषयों में, लाई बीजगणित संरचना वह है जो क्रॉस उत्पाद द्वारा प्रदान की जाती है, तिरछा-सममित आव्यूह को 3-सदीश के साथ पहचाना जाता है। यह घूर्णन के लिए अक्ष सदीश के चयन के समान है; परिभाषित जैकोबी पहचान क्रॉस उत्पादों की प्रसिद्ध संपत्ति है।

अनंतिम परिवर्तन का सबसे प्रथम उदाहरण जिसे इस रूप में पहचाना जा सकता है वह सजातीय कार्यों पर यूलर के प्रमेय में था। यहां बताया गया है कि n चर x1, ..., xn का फलन F जो कि घात r का सजातीय है,


 * $$\Theta F=rF \, $$,

साथ


 * $$\Theta=\sum_i x_i{\partial\over\partial x_i},$$

थीटा ऑपरेटर को संतुष्ट करता है। अर्थात् संपत्ति से


 * $$F(\lambda x_1,\dots, \lambda x_n)=\lambda^r F(x_1,\dots,x_n)\,$$

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

टेलर के प्रमेय का संचालिका संस्करण
संचालिका समीकरण


 * $$e^{tD}f(x)=f(x+t)\,$$

जहाँ


 * $$D={d\over dx}$$

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

संदर्भ

 * Sophus Lie (1893) Vorlesungen über Continuierliche Gruppen, English translation by D.H. Delphenich, §8, link from Neo-classical Physics.
 * Sophus Lie (1893) Vorlesungen über Continuierliche Gruppen, English translation by D.H. Delphenich, §8, link from Neo-classical Physics.