हाइपरकॉम्प्लेक्स संख्या: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 6: Line 6:
उन्नीसवीं दशक में [[[[ quaternion |कटेर्नियंस]]]], [[ tessarine |टेसरीन]], [[ coquaternion |कोकटेर्नियन]], बाइक्वाटरनियंस और [[ ऑक्टोनियन |ऑक्टोनियन]] नामक संख्या प्रणालियां गणितीय साहित्य में स्थापित अवधारणाएं बन गईं, जिन्हें वास्तविक और [[ जटिल संख्या |जटिल संख्याओं]] में जोड़ा गया। हाइपरकॉम्प्लेक्स संख्या की अवधारणा ने उन सभी को सम्मिलित किया, जिसने समझाने और वर्गीकृत करने के लिए अनुशासन का अनुरोध किया।
उन्नीसवीं दशक में [[[[ quaternion |कटेर्नियंस]]]], [[ tessarine |टेसरीन]], [[ coquaternion |कोकटेर्नियन]], बाइक्वाटरनियंस और [[ ऑक्टोनियन |ऑक्टोनियन]] नामक संख्या प्रणालियां गणितीय साहित्य में स्थापित अवधारणाएं बन गईं, जिन्हें वास्तविक और [[ जटिल संख्या |जटिल संख्याओं]] में जोड़ा गया। हाइपरकॉम्प्लेक्स संख्या की अवधारणा ने उन सभी को सम्मिलित किया, जिसने समझाने और वर्गीकृत करने के लिए अनुशासन का अनुरोध किया।


कैटलॉगिंग परियोजना 1872 में प्रारंभ हुई जब [[ बेंजामिन पीयर्स |बेंजामिन पीयर्स]] ने प्रथम बार अपने रैखिक साहचर्य बीजगणित को प्रकाशित किया, और उनके बेटे [[ चार्ल्स सैंडर्स पियर्स |चार्ल्स सैंडर्स पियर्स]] द्वारा आगे बढ़ाया गया।<ref>{{citation |title=Linear Associative Algebra |journal=[[American Journal of Mathematics]] |volume=4 |issue=1 |pages=221–6 |year=1881 |jstor=2369153|last1= Peirce|first1= Benjamin|doi=10.2307/2369153 |url=http://archive.org/details/linearassocalgeb00pierrich }}</ref> सबसे महत्वपूर्ण रूप से, उन्होंने वर्गीकरण के लिए उपयोगी हाइपरकॉम्प्लेक्स संख्या के रूप में [[ nilpotent |निलपोटेंट]] और इडेमपोटेंट तत्वों (रिंग थ्योरी) की पहचान की। केली-डिक्सन निर्माण ने वास्तविक संख्या प्रणाली से जटिल संख्या, चतुष्कोण और ऑक्टोनियन उत्पन्न करने के लिए [[ इनवोल्यूशन (गणित) ]] का उपयोग किया। हर्विट्ज़ और फ्रोबेनियस ने उन प्रमेयों को सिद्ध किया जो हाइपरकॉम्प्लेक्सिटी पर सीमाएं लगाते हैं | हर्विट्ज़ का प्रमेय कहता है कि परिमित-आयामी [[ रचना बीजगणित |रचना बीजगणित]] वास्तविक हैं <math>\mathbb{R}</math>, परिसरों <math>\mathbb{C}</math>, चतुष्कोण <math>\mathbb{H}</math>, और ऑक्टोनियंस <math>\mathbb{O}</math>, और [[ फ्रोबेनियस प्रमेय (वास्तविक विभाजन बीजगणित) ]] कहता है कि केवल वास्तविक <math>\mathbb{R}</math>, <math>\mathbb{C}</math>, और <math>\mathbb{H}</math>[[ साहचर्य विभाजन बीजगणित | साहचर्य विभाजन बीजगणित]] हैं | 1958 में जे. फ्रैंक एडम्स ने एच-स्पेस पर हॉफ इनवेरिएंट्स के संदर्भ में सामान्यीकरण प्रकाशित किया जो अभी भी आयाम को 1, 2, 4, या 8 तक सीमित करता है।<ref name="Adams1958">{{citation | jstor=1970147 | title=On the Non-Existence of Elements of Hopf Invariant One | author=Adams, J. F. | journal=Annals of Mathematics |date=July 1960  | volume=72 | issue=1 | pages=20–104 | doi=10.2307/1970147| url=http://www.math.rochester.edu/people/faculty/doug/otherpapers/Adams-HI1.pdf | citeseerx=10.1.1.299.4490 }}</ref>
कैटलॉगिंग परियोजना 1872 में प्रारंभ हुई जब [[ बेंजामिन पीयर्स |बेंजामिन पीयर्स]] ने प्रथम बार अपने रैखिक साहचर्य बीजगणित को प्रकाशित किया, और उनके बेटे [[ चार्ल्स सैंडर्स पियर्स |चार्ल्स सैंडर्स पियर्स]] द्वारा आगे बढ़ाया गया।<ref>{{citation |title=Linear Associative Algebra |journal=[[American Journal of Mathematics]] |volume=4 |issue=1 |pages=221–6 |year=1881 |jstor=2369153|last1= Peirce|first1= Benjamin|doi=10.2307/2369153 |url=http://archive.org/details/linearassocalgeb00pierrich }}</ref> सबसे महत्वपूर्ण रूप से, उन्होंने वर्गीकरण के लिए उपयोगी हाइपरकॉम्प्लेक्स संख्या के रूप में [[ nilpotent |निलपोटेंट]] और इडेमपोटेंट तत्वों (रिंग थ्योरी) की पहचान की। केली-डिक्सन निर्माण ने वास्तविक संख्या प्रणाली से जटिल संख्या, चतुष्कोण और ऑक्टोनियन उत्पन्न करने के लिए [[ इनवोल्यूशन (गणित) |इनवोल्यूशन (गणित)]] का उपयोग किया। हर्विट्ज़ और फ्रोबेनियस ने उन प्रमेयों को सिद्ध किया जो हाइपरकॉम्प्लेक्सिटी पर सीमाएं लगाते हैं | हर्विट्ज़ का प्रमेय कहता है कि परिमित-आयामी [[ रचना बीजगणित |रचना बीजगणित]] वास्तविक हैं <math>\mathbb{R}</math>, परिसरों <math>\mathbb{C}</math>, चतुष्कोण <math>\mathbb{H}</math>, और ऑक्टोनियंस <math>\mathbb{O}</math>, और [[ फ्रोबेनियस प्रमेय (वास्तविक विभाजन बीजगणित) |फ्रोबेनियस प्रमेय (वास्तविक विभाजन बीजगणित)]] कहता है कि केवल वास्तविक <math>\mathbb{R}</math>, <math>\mathbb{C}</math>, और <math>\mathbb{H}</math>[[ साहचर्य विभाजन बीजगणित | साहचर्य विभाजन बीजगणित]] हैं | 1958 में जे. फ्रैंक एडम्स ने एच-स्पेस पर हॉफ इनवेरिएंट्स के संदर्भ में सामान्यीकरण प्रकाशित किया जो अभी भी आयाम को 1, 2, 4, या 8 तक सीमित करता है।<ref name="Adams1958">{{citation | jstor=1970147 | title=On the Non-Existence of Elements of Hopf Invariant One | author=Adams, J. F. | journal=Annals of Mathematics |date=July 1960  | volume=72 | issue=1 | pages=20–104 | doi=10.2307/1970147| url=http://www.math.rochester.edu/people/faculty/doug/otherpapers/Adams-HI1.pdf | citeseerx=10.1.1.299.4490 }}</ref>


यह [[ मैट्रिक्स (गणित) |मैट्रिक्स (गणित) बीजगणित]] था जिसने हाइपरकॉम्प्लेक्स प्रणाली का उपयोग किया। सबसे प्रथम में, मैट्रिक्स ने 2 × 2 [[ वास्तविक मैट्रिक्स |वास्तविक मैट्रिक्स]] (स्प्लिट-चतुर्भुज देखें) जैसे नए हाइपरकॉम्प्लेक्स नंबरों का योगदान दिया। शीघ्र ही मैट्रिक्स प्रतिमान ने दूसरों की व्याख्या करना प्रारंभ कर दिया क्योंकि वे मैट्रिसेस और उनके संचालन द्वारा प्रस्तुत किए गए। 1907 में [[ जोसेफ वेडरबर्न | जोसेफ वेडरबर्न]] ने दिखाया कि साहचर्य हाइपरकॉम्प्लेक्स प्रणाली को [[ स्क्वायर मैट्रिसेस |स्क्वायर मैट्रिसेस]] के बीजगणित के [[ प्रत्यक्ष उत्पाद |प्रत्यक्ष उत्पाद]] द्वारा दर्शाया जा सकता है।<ref>{{citation |author=J.H.M. Wedderburn |author-link=Joseph Wedderburn | title=On Hypercomplex Numbers |journal=Proceedings of the London Mathematical Society |volume=6 | pages=77–118 |year=1908 | doi= 10.1112/plms/s2-6.1.77 |url=https://zenodo.org/record/1447798 }}</ref><ref>[[Emil Artin]] later generalized Wedderburn's result so it is known as the [[Artin–Wedderburn theorem]]</ref> उस तिथि से हाइपरकॉम्प्लेक्स प्रणाली के लिए प्रिय शब्द[[ साहचर्य बीजगणित | साहचर्य बीजगणित]] बन गया जैसा कि[[ एडिनबर्ग विश्वविद्यालय | एडिनबर्ग विश्वविद्यालय]] में वेडरबर्न की थीसिस के शीर्षक में देखा गया है। चूँकि, ध्यान दें कि गैर-सहयोगी प्रणालियाँ जैसे ऑक्टोनियन और [[ अतिशयोक्तिपूर्ण चतुष्कोण |अतिशयोक्तिपूर्ण चतुष्कोण]] अन्य प्रकार की हाइपरकॉम्प्लेक्स संख्या का प्रतिनिधित्व करते हैं।
यह [[ मैट्रिक्स (गणित) |मैट्रिक्स (गणित) बीजगणित]] था जिसने हाइपरकॉम्प्लेक्स प्रणाली का उपयोग किया। सबसे प्रथम में, मैट्रिक्स ने 2 × 2 [[ वास्तविक मैट्रिक्स |वास्तविक मैट्रिक्स]] (स्प्लिट-चतुर्भुज देखें) जैसे नए हाइपरकॉम्प्लेक्स नंबरों का योगदान दिया। शीघ्र ही मैट्रिक्स प्रतिमान ने दूसरों की व्याख्या करना प्रारंभ कर दिया क्योंकि वे मैट्रिसेस और उनके संचालन द्वारा प्रस्तुत किए गए। 1907 में [[ जोसेफ वेडरबर्न |जोसेफ वेडरबर्न]] ने दिखाया कि साहचर्य हाइपरकॉम्प्लेक्स प्रणाली को [[ स्क्वायर मैट्रिसेस |स्क्वायर मैट्रिसेस]] के बीजगणित के [[ प्रत्यक्ष उत्पाद |प्रत्यक्ष उत्पाद]] द्वारा दर्शाया जा सकता है।<ref>{{citation |author=J.H.M. Wedderburn |author-link=Joseph Wedderburn | title=On Hypercomplex Numbers |journal=Proceedings of the London Mathematical Society |volume=6 | pages=77–118 |year=1908 | doi= 10.1112/plms/s2-6.1.77 |url=https://zenodo.org/record/1447798 }}</ref><ref>[[Emil Artin]] later generalized Wedderburn's result so it is known as the [[Artin–Wedderburn theorem]]</ref> उस तिथि से हाइपरकॉम्प्लेक्स प्रणाली के लिए प्रिय शब्द[[ साहचर्य बीजगणित | साहचर्य बीजगणित]] बन गया जैसा कि[[ एडिनबर्ग विश्वविद्यालय | एडिनबर्ग विश्वविद्यालय]] में वेडरबर्न की थीसिस के शीर्षक में देखा गया है। चूँकि, ध्यान दें कि गैर-सहयोगी प्रणालियाँ जैसे ऑक्टोनियन और [[ अतिशयोक्तिपूर्ण चतुष्कोण |अतिशयोक्तिपूर्ण चतुष्कोण]] अन्य प्रकार की हाइपरकॉम्प्लेक्स संख्या का प्रतिनिधित्व करते हैं।


हॉकिन्स के रूप में<ref>{{citation |first=Thomas |last=Hawkins |title=Hypercomplex numbers, Lie groups, and the creation of group representation theory |journal=[[Archive for History of Exact Sciences]] |volume=8 |pages=243–287 |year=1972 |issue=4 |doi=10.1007/BF00328434 |s2cid=120562272 }}</ref> बताते हैं, हाइपरकॉम्प्लेक्स नंबर लाई समूहों और समूह प्रतिनिधित्व सिद्धांत के बारे में सीखने के लिए चरण बढ़ा रहे हैं। उदाहरण के लिए, 1929 में [[ एमी नोथेर | एमी नोथेर]] ने हाइपरकॉम्प्लेक्स मात्रा और प्रतिनिधित्व सिद्धांत पर लिखा था।<ref>{{citation | last = Noether | first = Emmy | year = 1929 | title = Hyperkomplexe Größen und Darstellungstheorie | trans-title = Hypercomplex Quantities and the Theory of Representations | journal = Mathematische Annalen | volume = 30 | pages = 641–92 | doi = 10.1007/BF01187794 | s2cid = 120464373 | language = de | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002371448&L=1 | access-date = 2016-01-14 | archive-url = https://web.archive.org/web/20160329230805/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002371448&L=1 | archive-date = 2016-03-29 | url-status = dead }}</ref> 1973 में कंटोर और सोलोडोवनिकोव ने हाइपरकॉम्प्लेक्स नंबरों पर पाठ्यपुस्तक प्रकाशित की जिसका 1989 में अनुवाद किया गया था।<ref name="KS78">Kantor, I.L., Solodownikow (1978), ''Hyperkomplexe Zahlen'', BSB B.G. Teubner Verlagsgesellschaft, Leipzig</ref><ref>{{Citation | last1=Kantor | first1=I. L. | last2=Solodovnikov | first2=A. S. | title=Hypercomplex numbers | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-96980-0 | mr=996029 | year=1989 | url-access=registration | url=https://archive.org/details/hypercomplexnumb0000kant }}</ref>
हॉकिन्स के रूप में<ref>{{citation |first=Thomas |last=Hawkins |title=Hypercomplex numbers, Lie groups, and the creation of group representation theory |journal=[[Archive for History of Exact Sciences]] |volume=8 |pages=243–287 |year=1972 |issue=4 |doi=10.1007/BF00328434 |s2cid=120562272 }}</ref> बताते हैं, हाइपरकॉम्प्लेक्स नंबर लाई समूहों और समूह प्रतिनिधित्व सिद्धांत के बारे में सीखने के लिए चरण बढ़ा रहे हैं। उदाहरण के लिए, 1929 में [[ एमी नोथेर | एमी नोथेर]] ने हाइपरकॉम्प्लेक्स मात्रा और प्रतिनिधित्व सिद्धांत पर लिखा था।<ref>{{citation | last = Noether | first = Emmy | year = 1929 | title = Hyperkomplexe Größen und Darstellungstheorie | trans-title = Hypercomplex Quantities and the Theory of Representations | journal = Mathematische Annalen | volume = 30 | pages = 641–92 | doi = 10.1007/BF01187794 | s2cid = 120464373 | language = de | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002371448&L=1 | access-date = 2016-01-14 | archive-url = https://web.archive.org/web/20160329230805/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002371448&L=1 | archive-date = 2016-03-29 | url-status = dead }}</ref> 1973 में कंटोर और सोलोडोवनिकोव ने हाइपरकॉम्प्लेक्स नंबरों पर पाठ्यपुस्तक प्रकाशित की जिसका 1989 में अनुवाद किया गया था।<ref name="KS78">Kantor, I.L., Solodownikow (1978), ''Hyperkomplexe Zahlen'', BSB B.G. Teubner Verlagsgesellschaft, Leipzig</ref><ref>{{Citation | last1=Kantor | first1=I. L. | last2=Solodovnikov | first2=A. S. | title=Hypercomplex numbers | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-96980-0 | mr=996029 | year=1989 | url-access=registration | url=https://archive.org/details/hypercomplexnumb0000kant }}</ref>
Line 19: Line 19:
प्रमेय:<ref name=KS78/>{{rp|14,15}}<ref>{{citation |author-link=Isaak Yaglom |first=Isaak |last=Yaglom |year=1968 |title=Complex Numbers in Geometry |pages=10–14}}</ref><ref>{{citation |editor-first=John H. |editor-last=Ewing |year=1991 |title=Numbers |page=237 |publisher=Springer |isbn=3-540-97497-0}}</ref> समरूपता तक, वास्तव में तीन 2-आयामी एकात्मक बीजगणित होते हैं: साधारण सम्मिश्र संख्याएँ, विभक्त-जटिल संख्याएँ, और [[ दोहरी संख्या |दोहरी संख्याएँ]] है। विशेष रूप से, वास्तविक से अधिक प्रत्येक 2-आयामी इकाई बीजगणित साहचर्य और क्रमविनिमेय है।
प्रमेय:<ref name=KS78/>{{rp|14,15}}<ref>{{citation |author-link=Isaak Yaglom |first=Isaak |last=Yaglom |year=1968 |title=Complex Numbers in Geometry |pages=10–14}}</ref><ref>{{citation |editor-first=John H. |editor-last=Ewing |year=1991 |title=Numbers |page=237 |publisher=Springer |isbn=3-540-97497-0}}</ref> समरूपता तक, वास्तव में तीन 2-आयामी एकात्मक बीजगणित होते हैं: साधारण सम्मिश्र संख्याएँ, विभक्त-जटिल संख्याएँ, और [[ दोहरी संख्या |दोहरी संख्याएँ]] है। विशेष रूप से, वास्तविक से अधिक प्रत्येक 2-आयामी इकाई बीजगणित साहचर्य और क्रमविनिमेय है।


उपपत्ति: चूँकि बीजगणित द्वि-आयामी है, हम आधार {1, u} का चयन कर सकते है। चूंकि बीजगणित वर्ग के अंतर्गत बंद है, गैर-वास्तविक आधार तत्व u वर्गों को 1 और u के रैखिक संयोजन के लिए:
उपपत्ति: चूँकि बीजगणित द्वि-आयामी है, हम आधार {1, u} का चयन कर सकते है। चूंकि बीजगणित वर्ग के अंतर्गत बंद है, गैर-वास्तविक आधार तत्व u वर्गों को 1 और u के रैखिक संयोजन के लिए है:
: <math>u^2 = a_0 + a_1 u</math>
: <math>u^2 = a_0 + a_1 u</math>
कुछ वास्तविक संख्याओं a<sub>0</sub> और a<sub>1</sub> के लिए:  
कुछ वास्तविक संख्याओं a<sub>0</sub> और a<sub>1</sub> के लिए है:  


a<sub>1</sub>u को घटाकर और द्विघात पूरक a<sub>2</sub> को जोड़कर वर्ग को पूर्ण करने की सामान्य विधि का उपयोग करने से 1/4 दोनों पक्षों को उपज देता है:
a<sub>1</sub>u को घटाकर और द्विघात पूरक a<sub>2</sub> को जोड़कर वर्ग को पूर्ण करने की सामान्य विधि का उपयोग करने से 1/4 दोनों पक्षों को उपज देता है:
Line 34: Line 34:
जटिल संख्याएं केवल 2-आयामी हाइपरकॉम्प्लेक्स बीजगणित हैं जो क्षेत्र (गणित) है।
जटिल संख्याएं केवल 2-आयामी हाइपरकॉम्प्लेक्स बीजगणित हैं जो क्षेत्र (गणित) है।


बीजगणित जैसे विभाजन-जटिल संख्याएँ जिनमें 1 की गैर-वास्तविक जड़ें सम्मिलित हैं, जो कि निष्क्रिय तत्व होते हैं <math display="inline">\frac{1}{2}(1 \pm j)</math> और [[ शून्य भाजक | शून्य भाजक]] <math>(1 + j)(1 - j) = 0</math>, इसलिए ऐसे बीजगणित [[ विभाजन बीजगणित |विभाजन बीजगणित]] नहीं हो सकते। चूँकि, ये गुण अति सार्थक हो सकते हैं, उदाहरण के लिए [[ विशेष सापेक्षता |विशेष सापेक्षता]] के [[ लोरेंत्ज़ परिवर्तन |लोरेंत्ज़ परिवर्तनों]] का वर्णन करने में किया जाता है।
बीजगणित जैसे विभाजन-जटिल संख्याएँ जिनमें 1 की गैर-वास्तविक जड़ें सम्मिलित हैं, जो कि निष्क्रिय तत्व होते हैं <math display="inline">\frac{1}{2}(1 \pm j)</math> और [[ शून्य भाजक |शून्य भाजक]] <math>(1 + j)(1 - j) = 0</math>, इसलिए ऐसे बीजगणित [[ विभाजन बीजगणित |विभाजन बीजगणित]] नहीं हो सकते। चूँकि, ये गुण अति सार्थक हो सकते हैं, उदाहरण के लिए [[ विशेष सापेक्षता |विशेष सापेक्षता]] के [[ लोरेंत्ज़ परिवर्तन |लोरेंत्ज़ परिवर्तनों]] का वर्णन करने में किया जाता है।


[[ गणित पत्रिका |गणित पत्रिका]] के 2004 के संस्करण में 2-आयामी वास्तविक बीजगणित को सामान्यीकृत जटिल संख्या की शैली दी गई है।<ref>{{citation |first1=Anthony A. |last1=Harkin |first2=Joseph B. |last2=Harkin |title=Geometry of Generalized Complex Numbers |journal=[[Mathematics Magazine]] |volume=77 |issue=2 |pages=118–129 |year=2004 |doi=10.1080/0025570X.2004.11953236 |s2cid=7837108 |url=http://people.rit.edu/harkin/research/articles/generalized_complex_numbers.pdf}}</ref> चार जटिल संख्याओं के क्रॉस-अनुपात के विचार को 2-आयामी वास्तविक बीजगणित तक बढ़ाया जा सकता है।<ref>{{citation |first=Sky |last=Brewer |title=Projective Cross-ratio on Hypercomplex Numbers |journal=[[Advances in Applied Clifford Algebras]] |volume=23 |issue=1 |pages=1–14 |year=2013 |doi=10.1007/s00006-012-0335-7 |arxiv=1203.2554|s2cid=119623082 }}</ref>
[[ गणित पत्रिका |गणित पत्रिका]] के 2004 के संस्करण में 2-आयामी वास्तविक बीजगणित को सामान्यीकृत जटिल संख्या की शैली दी गई है।<ref>{{citation |first1=Anthony A. |last1=Harkin |first2=Joseph B. |last2=Harkin |title=Geometry of Generalized Complex Numbers |journal=[[Mathematics Magazine]] |volume=77 |issue=2 |pages=118–129 |year=2004 |doi=10.1080/0025570X.2004.11953236 |s2cid=7837108 |url=http://people.rit.edu/harkin/research/articles/generalized_complex_numbers.pdf}}</ref> चार जटिल संख्याओं के क्रॉस-अनुपात के विचार को 2-आयामी वास्तविक बीजगणित तक बढ़ाया जा सकता है।<ref>{{citation |first=Sky |last=Brewer |title=Projective Cross-ratio on Hypercomplex Numbers |journal=[[Advances in Applied Clifford Algebras]] |volume=23 |issue=1 |pages=1–14 |year=2013 |doi=10.1007/s00006-012-0335-7 |arxiv=1203.2554|s2cid=119623082 }}</ref>
Line 47: Line 47:
गुणन के अंतर्गत बंद होने से 2<sup>k</sup> तत्वों, {1, e<sub>1</sub>, e<sub>2</sub>, e<sub>3</sub>, ..., e<sub>1</sub>e<sub>2</sub>, ..., e<sub>1</sub>e<sub>2</sub>e<sub>3</sub>, ...} के आधार पर फैला हुआ बहुवेक्टर स्थान उत्पन्न होता है। इनकी व्याख्या हाइपरकॉम्प्लेक्स संख्या प्रणाली के आधार के रूप में की जा सकती है। आधार {e<sub>1</sub>, ..., e<sub>''k''</sub>}, के विपरीत शेष आधार तत्वों को दो कारकों का परिवर्तन करने के लिए कितने सरल आदान-प्रदान किए जाने चाहिए, इसके आधार पर एंटी-कम्यूट की आवश्यकता नहीं है। इसलिए {{nowrap|1=''e''<sub>1</sub>''e''<sub>2</sub> = −''e''<sub>2</sub>''e''<sub>1</sub>}}, किंतु {{nowrap|1=''e''<sub>1</sub>(''e''<sub>2</sub>''e''<sub>3</sub>) = +(''e''<sub>2</sub>''e''<sub>3</sub>)''e''<sub>1</sub>}}. है।
गुणन के अंतर्गत बंद होने से 2<sup>k</sup> तत्वों, {1, e<sub>1</sub>, e<sub>2</sub>, e<sub>3</sub>, ..., e<sub>1</sub>e<sub>2</sub>, ..., e<sub>1</sub>e<sub>2</sub>e<sub>3</sub>, ...} के आधार पर फैला हुआ बहुवेक्टर स्थान उत्पन्न होता है। इनकी व्याख्या हाइपरकॉम्प्लेक्स संख्या प्रणाली के आधार के रूप में की जा सकती है। आधार {e<sub>1</sub>, ..., e<sub>''k''</sub>}, के विपरीत शेष आधार तत्वों को दो कारकों का परिवर्तन करने के लिए कितने सरल आदान-प्रदान किए जाने चाहिए, इसके आधार पर एंटी-कम्यूट की आवश्यकता नहीं है। इसलिए {{nowrap|1=''e''<sub>1</sub>''e''<sub>2</sub> = −''e''<sub>2</sub>''e''<sub>1</sub>}}, किंतु {{nowrap|1=''e''<sub>1</sub>(''e''<sub>2</sub>''e''<sub>3</sub>) = +(''e''<sub>2</sub>''e''<sub>3</sub>)''e''<sub>1</sub>}}. है।


उन आधारों को भिन्न रखना जिनमें तत्व e होता है जैसे कि {{nowrap|1=''e''<sub>''i''</sub><sup>2</sup> = 0}} (अर्थात् मूल स्थान में दिशाएँ द्विघात रूप [[ पतित रूप |पतित रूप]] था), शेष क्लिफर्ड बीजगणित को लेबल Cl<sub>''p'',''q''</sub>(R), द्वारा पहचाना जा सकता है यह दर्शाता है कि बीजगणित का निर्माण ''p'' सरल आधार तत्वों से किया गया है जिसमें {{nowrap|1=''e''<sub>''i''</sub><sup>2</sup> = +1}}, q के साथ {{nowrap|1=''e''<sub>''i''</sub><sup>2</sup> = −1}}, और जहां R प्रदर्शित करता है कि यह वास्तविक से अधिक क्लिफोर्ड बीजगणित होना है- अर्थात् बीजगणित के तत्वों के गुणांक वास्तविक संख्याएँ हैं।
उन आधारों को भिन्न रखना जिनमें तत्व e होता है जैसे कि {{nowrap|1=''e''<sub>''i''</sub><sup>2</sup> = 0}} (अर्थात् मूल स्थान में दिशाओं का द्विघात [[ पतित रूप |रूप पतित]] था), शेष क्लिफर्ड बीजगणित को लेबल Cl<sub>''p'',''q''</sub>(R), द्वारा पहचाना जा सकता है यह दर्शाता है कि बीजगणित का निर्माण ''p'' सरल आधार तत्वों से किया गया है जिसमें {{nowrap|1=''e''<sub>''i''</sub><sup>2</sup> = +1}}, q के साथ {{nowrap|1=''e''<sub>''i''</sub><sup>2</sup> = −1}}, और जहां R प्रदर्शित करता है कि यह वास्तविक से अधिक क्लिफोर्ड बीजगणित होना चाहिए- अर्थात् बीजगणित के तत्वों के गुणांक वास्तविक संख्याएँ हैं।


जिन्हें [[ ज्यामितीय बीजगणित |ज्यामितीय बीजगणित]] कहा जाता है, व्यवस्थित सेट बनाते हैं, जो भौतिकी की समस्याओं में अति उपयोगी सिद्ध होते हैं, जिसमें घूर्णन, चरण (तरंगें) या [[ स्पिन (भौतिकी) |स्पिन (भौतिकी)]] सम्मिलित हैं, विशेष रूप से [[ शास्त्रीय यांत्रिकी |शास्त्रीय]] और [[ क्वांटम यांत्रिकी |क्वांटम यांत्रिकी]], [[ विद्युत चुम्बकीय सिद्धांत |विद्युत चुम्बकीय सिद्धांत]] और [[ सापेक्षता का सिद्धांत |सापेक्षता का सिद्धांत]] सम्मिलित हैं।
जिन्हें [[ ज्यामितीय बीजगणित |ज्यामितीय बीजगणित]] कहा जाता है, व्यवस्थित सेट बनाते हैं, जो भौतिकी की समस्याओं में अति उपयोगी सिद्ध होते हैं, जिसमें घूर्णन, चरण (तरंगें) या [[ स्पिन (भौतिकी) |स्पिन (भौतिकी)]] सम्मिलित हैं, विशेष रूप से [[ शास्त्रीय यांत्रिकी |शास्त्रीय]] और [[ क्वांटम यांत्रिकी |क्वांटम यांत्रिकी]], [[ विद्युत चुम्बकीय सिद्धांत |विद्युत चुम्बकीय सिद्धांत]] और [[ सापेक्षता का सिद्धांत |सापेक्षता का सिद्धांत]] सम्मिलित हैं।
Line 53: Line 53:
उदाहरणों में सम्मिलित हैं: सम्मिश्र संख्या Cl<sub>0,1</sub>(R), स्प्लिट-कॉम्प्लेक्स नंबर Cl<sup>[0]</sup><sub>''1,0''(</sub>R), चतुर्भुज Cl<sub>0,2</sub>(R), [[ विभाजन-द्विभाजित |विभाजन-द्विभाजित]] Cl<sub>0,3</sub>(R), विभाजित-चतुर्भुज {{nowrap|Cl<sub>1,1</sub>('''R''') ≈ Cl<sub>2,0</sub>('''R''')}} (द्वि-आयामी अंतरिक्ष का प्राकृतिक बीजगणित और [[ पॉल मैट्रिसेस |पॉल]] [[ पॉल मैट्रिसेस |मैट्रिसेस]] का बीजगणित); Cl<sub>3,0</sub>(R) हैं।
उदाहरणों में सम्मिलित हैं: सम्मिश्र संख्या Cl<sub>0,1</sub>(R), स्प्लिट-कॉम्प्लेक्स नंबर Cl<sup>[0]</sup><sub>''1,0''(</sub>R), चतुर्भुज Cl<sub>0,2</sub>(R), [[ विभाजन-द्विभाजित |विभाजन-द्विभाजित]] Cl<sub>0,3</sub>(R), विभाजित-चतुर्भुज {{nowrap|Cl<sub>1,1</sub>('''R''') ≈ Cl<sub>2,0</sub>('''R''')}} (द्वि-आयामी अंतरिक्ष का प्राकृतिक बीजगणित और [[ पॉल मैट्रिसेस |पॉल]] [[ पॉल मैट्रिसेस |मैट्रिसेस]] का बीजगणित); Cl<sub>3,0</sub>(R) हैं।


बीजगणित के तत्व Cl<sub>''p'',''q''</sub>(R) समान सबलजेब्रा बनाता है Cl{{su|lh=1em|p=[0]|b=''q''+1,''p''}}(R) बीजगणित Cl<sub>''q''+1,''p''</sub>(R), जिसका उपयोग बड़े बीजगणित में घूर्णन को पैरामीट्रिज करने के लिए किया जा सकता है। इस प्रकार द्वि-आयामी अंतरिक्ष में जटिल संख्याओं और घूर्णन के मध्य घनिष्ठ संबंध है; त्रि-आयामी अंतरिक्ष में चतुष्कोणों और घूर्णन के मध्य; 1+1-आयामी अंतरिक्ष में विभाजित-जटिल संख्याओं और (अतिशयोक्तिपूर्ण) घूर्णन (लोरेंट्ज़ ट्रांसफ़ॉर्मेशन) के मध्य, इसी केसमान संबंध है।
बीजगणित के तत्व Cl<sub>''p'',''q''</sub>(R) समान सबलजेब्रा बनाता है Cl{{su|lh=1em|p=[0]|b=''q''+1,''p''}}(R) बीजगणित Cl<sub>''q''+1,''p''</sub>(R), जिसका उपयोग बड़े बीजगणित में घूर्णन को पैरामीट्रिज करने के लिए किया जा सकता है। इस प्रकार द्वि-आयामी अंतरिक्ष में जटिल संख्याओं और घूर्णन के मध्य घनिष्ठ संबंध है; त्रि-आयामी अंतरिक्ष में चतुष्कोणों और घूर्णन के मध्य; 1+1-आयामी अंतरिक्ष में विभाजित-जटिल संख्याओं और (अतिशयोक्तिपूर्ण) घूर्णन (लोरेंट्ज़ ट्रांसफ़ॉर्मेशन) के मध्य, इसी के समान संबंध है।


जबकि केली-डिक्सन और स्प्लिट-कॉम्प्लेक्स निर्माण आठ या अधिक आयामों के साथ गुणन के संबंध में साहचर्य नहीं हैं, क्लिफोर्ड बीजगणित किसी भी संख्या में आयामों पर साहचर्य बनाए रखते हैं।
जबकि केली-डिक्सन और स्प्लिट-कॉम्प्लेक्स निर्माण आठ या अधिक आयामों के साथ गुणन के संबंध में साहचर्य नहीं हैं, क्लिफोर्ड बीजगणित किसी भी संख्या में आयामों पर साहचर्य बनाए रखते हैं।
Line 60: Line 60:
: मान लीजिए A वास्तविक साहचर्य बीजगणित है जिसका इकाई अवयव 1 है। तब:
: मान लीजिए A वास्तविक साहचर्य बीजगणित है जिसका इकाई अवयव 1 है। तब:
:* 1 'R' (वास्तविक संख्या) उत्पन्न करता है।
:* 1 'R' (वास्तविक संख्या) उत्पन्न करता है।
:* A के तत्व e<sub>0</sub> द्वारा उत्पन्न कोई भी द्वि-आयामी सबलजेब्रा ऐसा है कि {{nowrap|1=''e''<sub>0</sub><sup>2</sup> = −1}} C (जटिल संख्या) के लिए समरूप है,
:* A के तत्व e<sub>0</sub> द्वारा उत्पन्न कोई भी द्वि-आयामी सबलजेब्रा ऐसा है कि {{nowrap|1=''e''<sub>0</sub><sup>2</sup> = −1}} C (जटिल संख्या) के लिए समरूप है।
:* A के तत्व ''e''<sub>0</sub> द्वारा उत्पन्न कोई भी द्वि-आयामी सबलजेब्रा ऐसा है कि {{nowrap|1=''e''<sub>0</sub><sup>2</sup> = 1}} R<sup>2</sup> के लिए आइसोमोर्फिक है (घटक-वार उत्पाद के साथ वास्तविक संख्याओं के जोड़े, विभाजित-जटिल संख्याओं के बीजगणित के लिए आइसोमोर्फिक है।
:* A के तत्व ''e''<sub>0</sub> द्वारा उत्पन्न कोई भी द्वि-आयामी सबलजेब्रा ऐसा है कि {{nowrap|1=''e''<sub>0</sub><sup>2</sup> = 1}} R<sup>2</sup> के लिए आइसोमोर्फिक है (घटक-वार उत्पाद के साथ वास्तविक संख्याओं के जोड़े, विभाजित-जटिल संख्याओं के बीजगणित के लिए आइसोमोर्फिक है।)
:* A के पारस्परिक रूप से विरोधी आने वाले तत्वों के सेट {''e''<sub>0</sub>, ''e''<sub>1</sub>}, द्वारा उत्पन्न कोई भी चार-आयामी सबलजेब्रा जैसे कि <math>e_0 ^2 = e_1 ^2 = -1</math> H समरूपी है।
:* A के पारस्परिक रूप से विरोधी आने वाले तत्वों के सेट {''e''<sub>0</sub>, ''e''<sub>1</sub>}, द्वारा उत्पन्न कोई भी चार-आयामी सबलजेब्रा जैसे कि <math>e_0 ^2 = e_1 ^2 = -1</math> H समरूपी है।
:*A के पारस्परिक रूप से विरोधी आने वाले तत्वों के सेट {''e''<sub>0</sub>, ''e''<sub>1</sub>} द्वारा उत्पन्न कोई भी चार-आयामी सबलजेब्रा जैसे कि <math>e_0 ^2 = e_1 ^2 = 1</math> M<sub>2</sub> के लिए आइसोमोर्फिक है (2 × 2 वास्तविक आव्यूह, सहचतुर्भुज) है।
:*A के पारस्परिक रूप से विरोधी आने वाले तत्वों के सेट {''e''<sub>0</sub>, ''e''<sub>1</sub>} द्वारा उत्पन्न कोई भी चार-आयामी सबलजेब्रा जैसे कि <math>e_0 ^2 = e_1 ^2 = 1</math> M<sub>2</sub> के लिए आइसोमोर्फिक है (2 × 2 वास्तविक आव्यूह, सहचतुर्भुज) है।
:* कोई भी आठ-आयामी सबलजेब्रा A के परस्पर विरोधी आने वाले तत्वों के सेट {''e''<sub>0</sub>, ''e''<sub>1</sub>, ''e''<sub>2</sub>} द्वारा उत्पन्न होता है जैसे कि <math>e_0 ^2 = e_1 ^2 = e_2 ^2 = -1</math> के लिए आइसोमॉर्फिक है <sup>2</sup>H (विभाजित-द्विभाजित) है।
:* कोई भी आठ-आयामी सबलजेब्रा A के परस्पर विरोधी आने वाले तत्वों के सेट {''e''<sub>0</sub>, ''e''<sub>1</sub>, ''e''<sub>2</sub>} द्वारा उत्पन्न होता है जैसे कि <math>e_0 ^2 = e_1 ^2 = e_2 ^2 = -1</math> <sup>2</sup>H के लिए आइसोमॉर्फिक है (विभाजित-द्विभाजित) है।
:* कोई भी आठ-आयामी सबलजेब्रा A के परस्पर विरोधी आने वाले तत्वों के सेट  {''e''<sub>0</sub>, ''e''<sub>1</sub>, ''e''<sub>2</sub>} द्वारा उत्पन्न द्वारा उत्पन्न होता है जैसे कि <math>e_0 ^2 = e_1 ^2 = e_2 ^2 = 1</math> M<sub>2</sub>(C) के लिए आइसोमोर्फिक है ({{nowrap|2 × 2}} कॉम्प्लेक्स मैट्रिसेस, बायक्वाटरनियंस, [[ पाउली बीजगणित |पाउली बीजगणित]]) है।
:* कोई भी आठ-आयामी सबलजेब्रा A के परस्पर विरोधी आने वाले तत्वों के सेट  {''e''<sub>0</sub>, ''e''<sub>1</sub>, ''e''<sub>2</sub>} द्वारा उत्पन्न होता है जैसे कि <math>e_0 ^2 = e_1 ^2 = e_2 ^2 = 1</math> M<sub>2</sub>(C) के लिए आइसोमोर्फिक है ({{nowrap|2 × 2}} कॉम्प्लेक्स मैट्रिसेस, बायक्वाटरनियंस, [[ पाउली बीजगणित |पाउली बीजगणित]]) है।


{{for|शास्त्रीय बीजगणित से परे विस्तार|क्लिफोर्ड बीजगणित का वर्गीकरण}}
{{for|शास्त्रीय बीजगणित से परे विस्तार|क्लिफोर्ड बीजगणित का वर्गीकरण}}

Revision as of 05:18, 27 April 2023

गणित में, हाइपरकॉम्प्लेक्स संख्या वास्तविक संख्या के क्षेत्र में परिमित-आयामी इकाई बीजगणित केतत्व (गणित) के लिए पारंपरिक शब्द है। 19वीं दशक के अंत में हाइपरकॉम्प्लेक्स संख्याओं का अध्ययन आधुनिक समूह प्रतिनिधित्व सिद्धांत का आधार बनता है।

इतिहास

उन्नीसवीं दशक में [[कटेर्नियंस]], टेसरीन, कोकटेर्नियन, बाइक्वाटरनियंस और ऑक्टोनियन नामक संख्या प्रणालियां गणितीय साहित्य में स्थापित अवधारणाएं बन गईं, जिन्हें वास्तविक और जटिल संख्याओं में जोड़ा गया। हाइपरकॉम्प्लेक्स संख्या की अवधारणा ने उन सभी को सम्मिलित किया, जिसने समझाने और वर्गीकृत करने के लिए अनुशासन का अनुरोध किया।

कैटलॉगिंग परियोजना 1872 में प्रारंभ हुई जब बेंजामिन पीयर्स ने प्रथम बार अपने रैखिक साहचर्य बीजगणित को प्रकाशित किया, और उनके बेटे चार्ल्स सैंडर्स पियर्स द्वारा आगे बढ़ाया गया।[1] सबसे महत्वपूर्ण रूप से, उन्होंने वर्गीकरण के लिए उपयोगी हाइपरकॉम्प्लेक्स संख्या के रूप में निलपोटेंट और इडेमपोटेंट तत्वों (रिंग थ्योरी) की पहचान की। केली-डिक्सन निर्माण ने वास्तविक संख्या प्रणाली से जटिल संख्या, चतुष्कोण और ऑक्टोनियन उत्पन्न करने के लिए इनवोल्यूशन (गणित) का उपयोग किया। हर्विट्ज़ और फ्रोबेनियस ने उन प्रमेयों को सिद्ध किया जो हाइपरकॉम्प्लेक्सिटी पर सीमाएं लगाते हैं | हर्विट्ज़ का प्रमेय कहता है कि परिमित-आयामी रचना बीजगणित वास्तविक हैं , परिसरों , चतुष्कोण , और ऑक्टोनियंस , और फ्रोबेनियस प्रमेय (वास्तविक विभाजन बीजगणित) कहता है कि केवल वास्तविक , , और साहचर्य विभाजन बीजगणित हैं | 1958 में जे. फ्रैंक एडम्स ने एच-स्पेस पर हॉफ इनवेरिएंट्स के संदर्भ में सामान्यीकरण प्रकाशित किया जो अभी भी आयाम को 1, 2, 4, या 8 तक सीमित करता है।[2]

यह मैट्रिक्स (गणित) बीजगणित था जिसने हाइपरकॉम्प्लेक्स प्रणाली का उपयोग किया। सबसे प्रथम में, मैट्रिक्स ने 2 × 2 वास्तविक मैट्रिक्स (स्प्लिट-चतुर्भुज देखें) जैसे नए हाइपरकॉम्प्लेक्स नंबरों का योगदान दिया। शीघ्र ही मैट्रिक्स प्रतिमान ने दूसरों की व्याख्या करना प्रारंभ कर दिया क्योंकि वे मैट्रिसेस और उनके संचालन द्वारा प्रस्तुत किए गए। 1907 में जोसेफ वेडरबर्न ने दिखाया कि साहचर्य हाइपरकॉम्प्लेक्स प्रणाली को स्क्वायर मैट्रिसेस के बीजगणित के प्रत्यक्ष उत्पाद द्वारा दर्शाया जा सकता है।[3][4] उस तिथि से हाइपरकॉम्प्लेक्स प्रणाली के लिए प्रिय शब्द साहचर्य बीजगणित बन गया जैसा कि एडिनबर्ग विश्वविद्यालय में वेडरबर्न की थीसिस के शीर्षक में देखा गया है। चूँकि, ध्यान दें कि गैर-सहयोगी प्रणालियाँ जैसे ऑक्टोनियन और अतिशयोक्तिपूर्ण चतुष्कोण अन्य प्रकार की हाइपरकॉम्प्लेक्स संख्या का प्रतिनिधित्व करते हैं।

हॉकिन्स के रूप में[5] बताते हैं, हाइपरकॉम्प्लेक्स नंबर लाई समूहों और समूह प्रतिनिधित्व सिद्धांत के बारे में सीखने के लिए चरण बढ़ा रहे हैं। उदाहरण के लिए, 1929 में एमी नोथेर ने हाइपरकॉम्प्लेक्स मात्रा और प्रतिनिधित्व सिद्धांत पर लिखा था।[6] 1973 में कंटोर और सोलोडोवनिकोव ने हाइपरकॉम्प्लेक्स नंबरों पर पाठ्यपुस्तक प्रकाशित की जिसका 1989 में अनुवाद किया गया था।[7][8]

करेन पार्शल ने हाइपरकॉम्प्लेक्स नंबरों के उत्कर्ष का विस्तृत विवरण लिखा है,[9] जिसमें थियोडोर मोलियन और एडवर्ड स्टडी सहित गणितज्ञों की भूमिका सम्मिलित है।[10][11] आधुनिक बीजगणित में परिवर्तन के लिए, बार्टेल वैन डेर वेर्डन ने अपने इतिहास के बीजगणित में हाइपरकॉम्प्लेक्स संख्याओं के लिए तीस पृष्ठ समर्पित किए हैं।[12]

परिभाषा

कंटोर & सोलोडोवनिकोव (1989) द्वारा हाइपरकॉम्प्लेक्स संख्या की परिभाषा यूनिटल के तत्व के रूप में दी गई है, किंतु आवश्यक नहीं कि वास्तविक संख्याओं पर सहयोगी या कम्यूटेटिव, परिमित-आयामी बीजगणित हो। तत्व वास्तविक संख्या गुणांक के साथ आधार के लिए उत्पन्न होते हैं, जहां संभव हो, यह आधार चयन करने के लिए परंपरागत है जिससे हाइपरकॉम्प्लेक्स संख्याओं के लिए प्रौद्योगिकी दृष्टिकोण पूर्वआयाम दो की ओर ध्यान आकर्षित करता है।

द्वि-आयामी वास्तविक बीजगणित

प्रमेय:[7]: 14, 15 [13][14] समरूपता तक, वास्तव में तीन 2-आयामी एकात्मक बीजगणित होते हैं: साधारण सम्मिश्र संख्याएँ, विभक्त-जटिल संख्याएँ, और दोहरी संख्याएँ है। विशेष रूप से, वास्तविक से अधिक प्रत्येक 2-आयामी इकाई बीजगणित साहचर्य और क्रमविनिमेय है।

उपपत्ति: चूँकि बीजगणित द्वि-आयामी है, हम आधार {1, u} का चयन कर सकते है। चूंकि बीजगणित वर्ग के अंतर्गत बंद है, गैर-वास्तविक आधार तत्व u वर्गों को 1 और u के रैखिक संयोजन के लिए है:

कुछ वास्तविक संख्याओं a0 और a1 के लिए है:

a1u को घटाकर और द्विघात पूरक a2 को जोड़कर वर्ग को पूर्ण करने की सामान्य विधि का उपयोग करने से 1/4 दोनों पक्षों को उपज देता है:

इस प्रकार जहाँ

तीन स्थितियां इस वास्तविक मूल्य पर निर्भर करती हैं:

  • यदि 4a0 = −a12, उपरोक्त सूत्र से ũ2 = 0 प्राप्त होता है। इसलिए, ũ को सरलता से निलपोटेंट तत्व से पहचाना जा सकता है आधार का दोहरी संख्या है।
  • यदि 4a0 > −a12, उपरोक्त सूत्र से ũ2 > 0 प्राप्त होता है। यह विभाजन-जटिल संख्याओं की ओर जाता है जिनका सामान्यीकृत आधार होता है के साथ . ũ से j प्राप्त करने के लिए, उत्तरार्द्ध को सकारात्मक वास्तविक संख्या से विभाजित किया जाना चाहिए जिसमें ũ के समान वर्ग है।
  • यदि 4a0 < −a12, उपरोक्त सूत्र से ũ2 < 0 प्राप्त होता है। इससे जटिल संख्याएँ प्राप्त होती हैं जिनका आधार सामान्यीकृत होता है, के साथ . ũ से i प्राप्त करने के लिए, पश्चात में सकारात्मक वास्तविक संख्या से विभाजित करना होगा जो ũ2 के ऋणात्मक का वर्ग है।

जटिल संख्याएं केवल 2-आयामी हाइपरकॉम्प्लेक्स बीजगणित हैं जो क्षेत्र (गणित) है।

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

गणित पत्रिका के 2004 के संस्करण में 2-आयामी वास्तविक बीजगणित को सामान्यीकृत जटिल संख्या की शैली दी गई है।[15] चार जटिल संख्याओं के क्रॉस-अनुपात के विचार को 2-आयामी वास्तविक बीजगणित तक बढ़ाया जा सकता है।[16]

उच्च-आयामी उदाहरण (एक से अधिक गैर-वास्तविक अक्ष)

क्लिफर्ड बीजगणित

क्लिफोर्ड बीजगणित द्विघात रूप से सुसज्जित अंतर्निहित सदिश स्थान पर उत्पन्न एकात्मक साहचर्य बीजगणित है। वास्तविक संख्याओं पर यह सममित स्केलर उत्पाद को परिभाषित करने में सक्षम होने के समान है, uv = 1/2(uv + vu) जिसका उपयोग आधार देने के लिए द्विघात रूप को ऑर्थोगोनलाइज़ेशन करने के लिए किया जा सकता है जिससे आधार {e1, ..., ek} दिया जा सके:

गुणन के अंतर्गत बंद होने से 2k तत्वों, {1, e1, e2, e3, ..., e1e2, ..., e1e2e3, ...} के आधार पर फैला हुआ बहुवेक्टर स्थान उत्पन्न होता है। इनकी व्याख्या हाइपरकॉम्प्लेक्स संख्या प्रणाली के आधार के रूप में की जा सकती है। आधार {e1, ..., ek}, के विपरीत शेष आधार तत्वों को दो कारकों का परिवर्तन करने के लिए कितने सरल आदान-प्रदान किए जाने चाहिए, इसके आधार पर एंटी-कम्यूट की आवश्यकता नहीं है। इसलिए e1e2 = −e2e1, किंतु e1(e2e3) = +(e2e3)e1. है।

उन आधारों को भिन्न रखना जिनमें तत्व e होता है जैसे कि ei2 = 0 (अर्थात् मूल स्थान में दिशाओं का द्विघात रूप पतित था), शेष क्लिफर्ड बीजगणित को लेबल Clp,q(R), द्वारा पहचाना जा सकता है यह दर्शाता है कि बीजगणित का निर्माण p सरल आधार तत्वों से किया गया है जिसमें ei2 = +1, q के साथ ei2 = −1, और जहां R प्रदर्शित करता है कि यह वास्तविक से अधिक क्लिफोर्ड बीजगणित होना चाहिए- अर्थात् बीजगणित के तत्वों के गुणांक वास्तविक संख्याएँ हैं।

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

उदाहरणों में सम्मिलित हैं: सम्मिश्र संख्या Cl0,1(R), स्प्लिट-कॉम्प्लेक्स नंबर Cl[0]1,0(R), चतुर्भुज Cl0,2(R), विभाजन-द्विभाजित Cl0,3(R), विभाजित-चतुर्भुज Cl1,1(R) ≈ Cl2,0(R) (द्वि-आयामी अंतरिक्ष का प्राकृतिक बीजगणित और पॉल मैट्रिसेस का बीजगणित); Cl3,0(R) हैं।

बीजगणित के तत्व Clp,q(R) समान सबलजेब्रा बनाता है Cl[0]
q+1,p
(R) बीजगणित Clq+1,p(R), जिसका उपयोग बड़े बीजगणित में घूर्णन को पैरामीट्रिज करने के लिए किया जा सकता है। इस प्रकार द्वि-आयामी अंतरिक्ष में जटिल संख्याओं और घूर्णन के मध्य घनिष्ठ संबंध है; त्रि-आयामी अंतरिक्ष में चतुष्कोणों और घूर्णन के मध्य; 1+1-आयामी अंतरिक्ष में विभाजित-जटिल संख्याओं और (अतिशयोक्तिपूर्ण) घूर्णन (लोरेंट्ज़ ट्रांसफ़ॉर्मेशन) के मध्य, इसी के समान संबंध है।

जबकि केली-डिक्सन और स्प्लिट-कॉम्प्लेक्स निर्माण आठ या अधिक आयामों के साथ गुणन के संबंध में साहचर्य नहीं हैं, क्लिफोर्ड बीजगणित किसी भी संख्या में आयामों पर साहचर्य बनाए रखते हैं।

1995 में इयान आर. पोर्टियस ने क्लिफर्ड अलजेब्रा पर अपनी किताब में "द रिकग्निशन ऑफ सबलजेब्रस" पर लिखा। उनका प्रस्ताव 11.4 हाइपरकॉम्प्लेक्स स्थितियों को सारांशित करता है:[17]

मान लीजिए A वास्तविक साहचर्य बीजगणित है जिसका इकाई अवयव 1 है। तब:
  • 1 'R' (वास्तविक संख्या) उत्पन्न करता है।
  • A के तत्व e0 द्वारा उत्पन्न कोई भी द्वि-आयामी सबलजेब्रा ऐसा है कि e02 = −1 C (जटिल संख्या) के लिए समरूप है।
  • A के तत्व e0 द्वारा उत्पन्न कोई भी द्वि-आयामी सबलजेब्रा ऐसा है कि e02 = 1 R2 के लिए आइसोमोर्फिक है (घटक-वार उत्पाद के साथ वास्तविक संख्याओं के जोड़े, विभाजित-जटिल संख्याओं के बीजगणित के लिए आइसोमोर्फिक है।)
  • A के पारस्परिक रूप से विरोधी आने वाले तत्वों के सेट {e0, e1}, द्वारा उत्पन्न कोई भी चार-आयामी सबलजेब्रा जैसे कि H समरूपी है।
  • A के पारस्परिक रूप से विरोधी आने वाले तत्वों के सेट {e0, e1} द्वारा उत्पन्न कोई भी चार-आयामी सबलजेब्रा जैसे कि M2 के लिए आइसोमोर्फिक है (2 × 2 वास्तविक आव्यूह, सहचतुर्भुज) है।
  • कोई भी आठ-आयामी सबलजेब्रा A के परस्पर विरोधी आने वाले तत्वों के सेट {e0, e1, e2} द्वारा उत्पन्न होता है जैसे कि 2H के लिए आइसोमॉर्फिक है (विभाजित-द्विभाजित) है।
  • कोई भी आठ-आयामी सबलजेब्रा A के परस्पर विरोधी आने वाले तत्वों के सेट {e0, e1, e2} द्वारा उत्पन्न होता है जैसे कि M2(C) के लिए आइसोमोर्फिक है (2 × 2 कॉम्प्लेक्स मैट्रिसेस, बायक्वाटरनियंस, पाउली बीजगणित) है।

केली-डिक्सन निर्माण

केली Q8 i (लाल), j (हरा) और k (नीला) के गुणन के चक्रों को दर्शाने वाले चतुर्धातुक गुणन का ग्राफ। में एसवीजी फ़ाइल, पर होवर करें या इसे हाइलाइट करने के लिए पथ पर क्लिक करें।

सभी क्लिफोर्ड बीजगणित Clp,q(R) वास्तविक संख्याओं के अतिरिक्त, जटिल संख्याएं और चतुष्कोणों में गैर-वास्तविक तत्व होते हैं जो वर्ग से +1 तक होते हैं; और इसलिए विभाजन बीजगणित नहीं हो सकता। केली-डिक्सन निर्माण द्वारा जटिल संख्याओं को विस्तारित करने के लिए भिन्न दृष्टिकोण लिया जाता है। यह आधारों के साथ आयाम 2n, n = 2, 3, 4,.... की संख्या प्रणाली उत्पन्न करता है,, जहां सभी गैर-वास्तविक आधार तत्व एंटी-कम्यूट और संतुष्ट हैं . 8 या अधिक आयामों में (n ≥ 3) ये बीजगणित असहयोगी हैं। 16 या अधिक आयामों में (n ≥ 4) में इन बीजगणितों में शून्य-भाजक भी होते हैं।

इस क्रम में पहले बीजगणित चार-आयामी चतुष्कोण, आठ-आयामी ऑक्टोनियन और 16-आयामी सेडेनियन हैं। आयाम में प्रत्येक वृद्धि के साथ बीजगणितीय समरूपता विलुप्त हो जाती है: चतुष्कोणीय गुणन क्रम विनिमेय नहीं है, ऑक्टोनियन गुणन गैर-सहयोगी है, और सेडेनियन का मान (गणित) गुणक नहीं है।

केली-डिक्सन निर्माण को कुछ चरणों में अतिरिक्त चिन्ह लगाकर संशोधित किया जा सकता है। यह तब विभाजन बीजगणित के अतिरिक्त रचना बीजगणित के संग्रह में विभाजित बीजगणित उत्पन्न करता है:

विभाजित-जटिल संख्या आधार के साथ संतुष्टि देने वाला ,
विभाजन-चतुर्भुज आधार के साथ संतुष्टि देने वाला , और
आधार के साथ विभाजन-ऑक्शन संतुष्टि देने वाला ,

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

टेंसर उत्पाद

किन्हीं दो बीजगणितों का टेन्सर गुणनफल बीजगणित है, जिसका उपयोग हाइपरकॉम्प्लेक्स नंबर प्रणाली के कई उदाहरण तैयार करने के लिए किया जा सकता है।

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

अन्य उदाहरण

  • द्विजटिल संख्याएँ: वास्तविक के ऊपर 4-आयामी सदिश स्थान, जटिल संख्याओं के ऊपर 2-आयामी, टेसरीन के लिए समरूपी है।
  • बहुविकल्पी संख्या: 2n डायमेंशनल वेक्टर स्पेस वास्तविक से अधिक 2n−1-डायमेंशनल ओवर कॉम्प्लेक्स नंबर है।
  • रचना बीजगणित: बीजगणित द्विघात रूप के साथ उत्पाद बनता है।

यह भी देखें

संदर्भ

  1. Peirce, Benjamin (1881), "Linear Associative Algebra", American Journal of Mathematics, 4 (1): 221–6, doi:10.2307/2369153, JSTOR 2369153
  2. Adams, J. F. (July 1960), "On the Non-Existence of Elements of Hopf Invariant One" (PDF), Annals of Mathematics, 72 (1): 20–104, CiteSeerX 10.1.1.299.4490, doi:10.2307/1970147, JSTOR 1970147
  3. J.H.M. Wedderburn (1908), "On Hypercomplex Numbers", Proceedings of the London Mathematical Society, 6: 77–118, doi:10.1112/plms/s2-6.1.77
  4. Emil Artin later generalized Wedderburn's result so it is known as the Artin–Wedderburn theorem
  5. Hawkins, Thomas (1972), "Hypercomplex numbers, Lie groups, and the creation of group representation theory", Archive for History of Exact Sciences, 8 (4): 243–287, doi:10.1007/BF00328434, S2CID 120562272
  6. Noether, Emmy (1929), "Hyperkomplexe Größen und Darstellungstheorie" [Hypercomplex Quantities and the Theory of Representations], Mathematische Annalen (in Deutsch), 30: 641–92, doi:10.1007/BF01187794, S2CID 120464373, archived from the original on 2016-03-29, retrieved 2016-01-14
  7. 7.0 7.1 Kantor, I.L., Solodownikow (1978), Hyperkomplexe Zahlen, BSB B.G. Teubner Verlagsgesellschaft, Leipzig
  8. Kantor, I. L.; Solodovnikov, A. S. (1989), Hypercomplex numbers, Berlin, New York: Springer-Verlag, ISBN 978-0-387-96980-0, MR 0996029
  9. Parshall, Karen (1985), "Joseph H. M. Wedderburn and the structure theory of algebras", Archive for History of Exact Sciences, 32 (3–4): 223–349, doi:10.1007/BF00348450, S2CID 119888377
  10. Molien, Theodor (1893), "Ueber Systeme höherer complexer Zahlen", Mathematische Annalen, 41 (1): 83–156, doi:10.1007/BF01443450, S2CID 122333076
  11. Study, Eduard (1898), "Theorie der gemeinen und höhern komplexen Grössen", Encyclopädie der mathematischen Wissenschaften, vol. I A, pp. 147–183
  12. van der Waerden, B.L. (1985), "10. The discovery of algebras, 11. Structure of algebras", A History of Algebra, Springer, ISBN 3-540-13610X
  13. Yaglom, Isaak (1968), Complex Numbers in Geometry, pp. 10–14
  14. Ewing, John H., ed. (1991), Numbers, Springer, p. 237, ISBN 3-540-97497-0
  15. Harkin, Anthony A.; Harkin, Joseph B. (2004), "Geometry of Generalized Complex Numbers" (PDF), Mathematics Magazine, 77 (2): 118–129, doi:10.1080/0025570X.2004.11953236, S2CID 7837108
  16. Brewer, Sky (2013), "Projective Cross-ratio on Hypercomplex Numbers", Advances in Applied Clifford Algebras, 23 (1): 1–14, arXiv:1203.2554, doi:10.1007/s00006-012-0335-7, S2CID 119623082
  17. Porteous, Ian R. (1995), Clifford Algebras and the Classical Groups, Cambridge University Press, pp. 88–89, ISBN 0-521-55177-3


आगे की पढाई


बाहरी कड़ियाँ

श्रेणी: गणित का इतिहासश्रेणी: चतुष्कोणों का ऐतिहासिक उपचार