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

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Distinguish|सरकॉम्प्लेक्स संख्या}}
{{Distinguish|सरकॉम्प्लेक्स संख्या}}
{{Redirect|हाइपरनंबर|[[गैर-मानक विश्लेषण]] में प्रयुक्त वास्तविक संख्याओं का विस्ता|हाइपररियल नंबर}}
{{Redirect|हाइपरनंबर|[[गैर-मानक विश्लेषण]] में प्रयुक्त वास्तविक संख्याओं का विस्ता|हाइपररियल नंबर}}
गणित में, हाइपरकॉम्प्लेक्स संख्या एक क्षेत्र पर एक परिमित-आयामी बीजगणित के एक [[ तत्व (गणित) ]] के लिए एक पारंपरिक शब्द है # [[ वास्तविक संख्या ]]ओं के [[ क्षेत्र (गणित) ]] पर एक क्षेत्र पर इकाई बीजगणित बीजगणित।
गणित में, हाइपरकॉम्प्लेक्स संख्या [[ वास्तविक संख्या |वास्तविक संख्या]] के [[ क्षेत्र (गणित) |क्षेत्र]] में परिमित-आयामी इकाई बीजगणित के[[ तत्व (गणित) ]]के लिए पारंपरिक शब्द है। 19वीं दशक के अंत में हाइपरकॉम्प्लेक्स संख्याओं का अध्ययन आधुनिक [[ समूह प्रतिनिधित्व |समूह प्रतिनिधित्व]] सिद्धांत का आधार बनता है।
19वीं शताब्दी के अंत में हाइपरकॉम्प्लेक्स संख्याओं का अध्ययन आधुनिक [[ समूह प्रतिनिधित्व ]] सिद्धांत का आधार बनता है।


== इतिहास ==
== इतिहास ==
उन्नीसवीं शताब्दी में [[ bi[[ 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>
[[ करें पार्शल ]] ने हाइपरकॉम्प्लेक्स नंबरों के उत्कर्ष का एक विस्तृत विवरण लिखा है,<ref>{{citation |author-link=Karen Parshall |first=Karen |last=Parshall |title=Joseph H. M. Wedderburn and the structure theory of algebras |journal=Archive for History of Exact Sciences |volume=32 |pages=223–349 |year=1985 |issue=3–4 |doi=10.1007/BF00348450 |s2cid=119888377 }}</ref> [[ थियोडोर मोलियन ]] सहित गणितज्ञों की भूमिका सहित<ref>{{citation |author-link=Theodor Molien |first=Theodor |last=Molien |title=Ueber Systeme höherer complexer Zahlen |journal=Mathematische Annalen |volume=41 |issue=1 |pages=83–156 |year=1893 |doi=10.1007/BF01443450 |s2cid=122333076 |url=https://zenodo.org/record/2029540}}</ref> और [[ एडवर्ड स्टडी ]]।<ref>{{citation |author-link=Eduard Study |first=Eduard |last=Study |year=1898 |chapter=Theorie der gemeinen und höhern komplexen Grössen |title=[[Klein's encyclopedia|''Encyclopädie der mathematischen Wissenschaften]] |volume=I A |issue=4 |pages=147–183}}</ref> [[ सार बीजगणित ]] में परिवर्तन के लिए, [[ बार्टेल वैन डेर वेर्डन ]] ने अपने इतिहास के बीजगणित में हाइपरकॉम्प्लेक्स संख्याओं के लिए तीस पृष्ठ समर्पित किए।<ref>{{citation |author-link=B.L. van der Waerden |first=B.L. |last=van der Waerden |year=1985 |title=A History of Algebra |chapter=10. The discovery of algebras, 11. Structure of algebras |publisher=Springer |isbn=3-540-13610X}}</ref>
[[ करें पार्शल ]] ने हाइपरकॉम्प्लेक्स नंबरों के उत्कर्ष का विस्तृत विवरण लिखा है,<ref>{{citation |author-link=Karen Parshall |first=Karen |last=Parshall |title=Joseph H. M. Wedderburn and the structure theory of algebras |journal=Archive for History of Exact Sciences |volume=32 |pages=223–349 |year=1985 |issue=3–4 |doi=10.1007/BF00348450 |s2cid=119888377 }}</ref> [[ थियोडोर मोलियन ]] सहित गणितज्ञों की भूमिका सहित<ref>{{citation |author-link=Theodor Molien |first=Theodor |last=Molien |title=Ueber Systeme höherer complexer Zahlen |journal=Mathematische Annalen |volume=41 |issue=1 |pages=83–156 |year=1893 |doi=10.1007/BF01443450 |s2cid=122333076 |url=https://zenodo.org/record/2029540}}</ref> और [[ एडवर्ड स्टडी ]]।<ref>{{citation |author-link=Eduard Study |first=Eduard |last=Study |year=1898 |chapter=Theorie der gemeinen und höhern komplexen Grössen |title=[[Klein's encyclopedia|''Encyclopädie der mathematischen Wissenschaften]] |volume=I A |issue=4 |pages=147–183}}</ref> [[ सार बीजगणित ]] में परिवर्तन के लिए, [[ बार्टेल वैन डेर वेर्डन ]] ने अपने इतिहास के बीजगणित में हाइपरकॉम्प्लेक्स संख्याओं के लिए तीस पृष्ठ समर्पित किए।<ref>{{citation |author-link=B.L. van der Waerden |first=B.L. |last=van der Waerden |year=1985 |title=A History of Algebra |chapter=10. The discovery of algebras, 11. Structure of algebras |publisher=Springer |isbn=3-540-13610X}}</ref>




== परिभाषा ==
== परिभाषा ==
हाइपरकॉम्प्लेक्स संख्या की परिभाषा इसके द्वारा दी गई है {{harvtxt|Kantor|Solodovnikov|1989}} वास्तविक संख्याओं पर एक परिमित-आयामी बीजगणित के एक तत्व के रूप में जो इकाई बीजगणित है लेकिन जरूरी नहीं कि साहचर्य संपत्ति या क्रमविनिमेय संपत्ति हो। तत्व वास्तविक संख्या गुणांक के साथ उत्पन्न होते हैं <math>(a_0, \dots, a_n)</math> एक आधार के लिए <math>\{ 1, i_1, \dots, i_n \}</math>. जहां संभव हो, यह आधार चुनने के लिए परंपरागत है ताकि <math>i_k^2 \in \{ -1, 0, +1 \}</math>. हाइपरकॉम्प्लेक्स संख्याओं के लिए एक तकनीकी दृष्टिकोण पहले [[ आयाम ]] दो की ओर ध्यान आकर्षित करता है।
हाइपरकॉम्प्लेक्स संख्या की परिभाषा इसके द्वारा दी गई है {{harvtxt|Kantor|Solodovnikov|1989}} वास्तविक संख्याओं पर परिमित-आयामी बीजगणित के तत्व के रूप में जो इकाई बीजगणित है लेकिन जरूरी नहीं कि साहचर्य संपत्ति या क्रमविनिमेय संपत्ति हो। तत्व वास्तविक संख्या गुणांक के साथ उत्पन्न होते हैं <math>(a_0, \dots, a_n)</math> आधार के लिए <math>\{ 1, i_1, \dots, i_n \}</math>. जहां संभव हो, यह आधार चुनने के लिए परंपरागत है ताकि <math>i_k^2 \in \{ -1, 0, +1 \}</math>. हाइपरकॉम्प्लेक्स संख्याओं के लिए तकनीकी दृष्टिकोण पहले [[ आयाम ]] दो की ओर ध्यान आकर्षित करता है।


== द्वि-आयामी वास्तविक बीजगणित ==
== द्वि-आयामी वास्तविक बीजगणित ==
प्रमेय:<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, यू} चुन सकते हैं। चूंकि बीजगणित वर्ग के तहत बंद (गणित) है, गैर-वास्तविक आधार तत्व यू वर्गों को 1 और यू के रैखिक संयोजन के लिए:
उपपत्ति: चूँकि बीजगणित द्वि-आयामी है, हम आधार {1, यू} चुन सकते हैं। चूंकि बीजगणित वर्ग के तहत बंद (गणित) है, गैर-वास्तविक आधार तत्व यू वर्गों को 1 और यू के रैखिक संयोजन के लिए:
: <math>u^2 = a_0 + a_1 u</math>
: <math>u^2 = a_0 + a_1 u</math>
कुछ वास्तविक संख्याओं के लिए a<sub>0</sub> और ए<sub>1</sub>.
कुछ वास्तविक संख्याओं के लिए a<sub>0</sub> और ए<sub>1</sub>.
Line 32: Line 31:
* यदि {{nowrap|4''a<sub>0</sub>'' < −''a''<sub>1</sub><sup>2</sup>}}, उपरोक्त सूत्र प्राप्त होता है {{nowrap|''ũ''<sup>2</sup> < 0}}. यह उन जटिल संख्याओं की ओर ले जाता है जिनका सामान्यीकृत आधार होता है <math>\{ 1 , ~i \}</math> साथ <math>i^2 = -1</math>. ũ से i प्राप्त करने के लिए, बाद वाले को सकारात्मक वास्तविक संख्या से विभाजित करना होगा <math display="inline">a \mathrel{:=} \sqrt{\frac{1}{4}a_1^2 - a_0}</math> जो ũ के ऋणात्मक का वर्ग करता है<sup>2</उप>।
* यदि {{nowrap|4''a<sub>0</sub>'' < −''a''<sub>1</sub><sup>2</sup>}}, उपरोक्त सूत्र प्राप्त होता है {{nowrap|''ũ''<sup>2</sup> < 0}}. यह उन जटिल संख्याओं की ओर ले जाता है जिनका सामान्यीकृत आधार होता है <math>\{ 1 , ~i \}</math> साथ <math>i^2 = -1</math>. ũ से i प्राप्त करने के लिए, बाद वाले को सकारात्मक वास्तविक संख्या से विभाजित करना होगा <math display="inline">a \mathrel{:=} \sqrt{\frac{1}{4}a_1^2 - a_0}</math> जो ũ के ऋणात्मक का वर्ग करता है<sup>2</उप>।


जटिल संख्याएं केवल 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>, इसलिए ऐसे बीजगणित [[ विभाजन बीजगणित ]] नहीं हो सकते। हालाँकि, ये गुण बहुत सार्थक हो सकते हैं, उदाहरण के लिए [[ विशेष सापेक्षता ]] के [[ लोरेंत्ज़ परिवर्तन ]]ों का वर्णन करने में।


Line 38: Line 37:




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


=== [[ क्लिफर्ड बीजगणित ]] ===
=== [[ क्लिफर्ड बीजगणित ]] ===
एक क्लिफोर्ड बीजगणित एक [[ द्विघात रूप ]] से सुसज्जित एक अंतर्निहित सदिश स्थान पर उत्पन्न एकात्मक साहचर्य बीजगणित है। वास्तविक संख्याओं पर यह एक सममित स्केलर उत्पाद को परिभाषित करने में सक्षम होने के बराबर है, {{nowrap|1=''u'' ⋅ ''v'' = {{sfrac|1|2}}(''uv'' + ''vu'')}} जिसका उपयोग आधार देने के लिए द्विघात रूप को [[ ऑर्थोगोनलाइज़ेशन ]] करने के लिए किया जा सकता है {{nowrap|{''e''<sub>1</sub>, ..., ''e''<sub>''k''</sub>} }} ऐसा है कि:
क्लिफोर्ड बीजगणित [[ द्विघात रूप ]] से सुसज्जित अंतर्निहित सदिश स्थान पर उत्पन्न एकात्मक साहचर्य बीजगणित है। वास्तविक संख्याओं पर यह सममित स्केलर उत्पाद को परिभाषित करने में सक्षम होने के बराबर है, {{nowrap|1=''u'' ⋅ ''v'' = {{sfrac|1|2}}(''uv'' + ''vu'')}} जिसका उपयोग आधार देने के लिए द्विघात रूप को [[ ऑर्थोगोनलाइज़ेशन ]] करने के लिए किया जा सकता है {{nowrap|{''e''<sub>1</sub>, ..., ''e''<sub>''k''</sub>} }} ऐसा है कि:
<math display="block">\frac{1}{2} \left(e_i e_j + e_j e_i\right) = \begin{cases}
<math display="block">\frac{1}{2} \left(e_i e_j + e_j e_i\right) = \begin{cases}
   -1, 0, +1 & i = j, \\
   -1, 0, +1 & i = j, \\
           0 & i \not = j.
           0 & i \not = j.
\end{cases}</math>
\end{cases}</math>
गुणन के तहत बंद होने से 2 के आधार पर एक मल्टीवेक्टर स्पेस उत्पन्न होता है<sup>कश्मीर</sup> तत्व, {1, ई<sub>1</sub>, और<sub>2</sub>, और<sub>3</sub>, ..., और<sub>1</sub>e<sub>2</sub>, ..., और<sub>1</sub>e<sub>2</sub>e<sub>3</sub>, ...}। इनकी व्याख्या हाइपरकॉम्प्लेक्स संख्या प्रणाली के आधार के रूप में की जा सकती है। आधार के विपरीत {ई<sub>1</sub>, ..., और<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>कश्मीर</sup> तत्व, {1, ई<sub>1</sub>, और<sub>2</sub>, और<sub>3</sub>, ..., और<sub>1</sub>e<sub>2</sub>, ..., और<sub>1</sub>e<sub>2</sub>e<sub>3</sub>, ...}। इनकी व्याख्या हाइपरकॉम्प्लेक्स संख्या प्रणाली के आधार के रूप में की जा सकती है। आधार के विपरीत {ई<sub>1</sub>, ..., और<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>}}.


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


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


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


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


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


1995 में इयान आर. पोर्टियस ने क्लिफर्ड अलजेब्रा पर अपनी किताब में सबलजेब्रस की पहचान पर लिखा। उनका प्रस्ताव 11.4 हाइपरकॉम्प्लेक्स मामलों का सारांश देता है:<ref>{{citation |author-link=Ian R. Porteous |first=Ian R. |last=Porteous |title=Clifford Algebras and the Classical Groups |publisher=[[Cambridge University Press]] |year=1995 |isbn=0-521-55177-3 |pages=88–89 }}</ref>
1995 में इयान आर. पोर्टियस ने क्लिफर्ड अलजेब्रा पर अपनी किताब में सबलजेब्रस की पहचान पर लिखा। उनका प्रस्ताव 11.4 हाइपरकॉम्प्लेक्स मामलों का सारांश देता है:<ref>{{citation |author-link=Ian R. Porteous |first=Ian R. |last=Porteous |title=Clifford Algebras and the Classical Groups |publisher=[[Cambridge University Press]] |year=1995 |isbn=0-521-55177-3 |pages=88–89 }}</ref>
: मान लीजिए A एक वास्तविक साहचर्य बीजगणित है जिसका इकाई अवयव 1 है। तब
: मान लीजिए A वास्तविक साहचर्य बीजगणित है जिसका इकाई अवयव 1 है। तब
:* 1 'आर' (वास्तविक संख्या) उत्पन्न करता है,
:* 1 'आर' (वास्तविक संख्या) उत्पन्न करता है,
:* कोई भी दो आयामी सबलजेब्रा एक तत्व द्वारा उत्पन्न ई<sub>0</sub> ए का ऐसा है {{nowrap|1=''e''<sub>0</sub><sup>2</sup> = −1}} सी (जटिल संख्या) के लिए समरूप है,
:* कोई भी दो आयामी सबलजेब्रा तत्व द्वारा उत्पन्न ई<sub>0</sub> ए का ऐसा है {{nowrap|1=''e''<sub>0</sub><sup>2</sup> = −1}} सी (जटिल संख्या) के लिए समरूप है,
:* किसी तत्व ''ई'' द्वारा उत्पन्न कोई भी द्वि-आयामी सबलजेब्रा<sub>0</sub> ए का ऐसा है {{nowrap|1=''e''<sub>0</sub><sup>2</sup> = 1}} आर के लिए आइसोमोर्फिक है<sup>2</sup> (घटक-वार उत्पाद के साथ वास्तविक संख्याओं के जोड़े, विभाजित-जटिल संख्या के लिए आइसोमोर्फिक|विभाजित-जटिल संख्याओं का बीजगणित),
:* किसी तत्व ''ई'' द्वारा उत्पन्न कोई भी द्वि-आयामी सबलजेब्रा<sub>0</sub> ए का ऐसा है {{nowrap|1=''e''<sub>0</sub><sup>2</sup> = 1}} आर के लिए आइसोमोर्फिक है<sup>2</sup> (घटक-वार उत्पाद के साथ वास्तविक संख्याओं के जोड़े, विभाजित-जटिल संख्या के लिए आइसोमोर्फिक|विभाजित-जटिल संख्याओं का बीजगणित),
:* कोई भी चार आयामी सबलजेब्रा एक सेट {e<sub>0</sub>, और<sub>1</sub>ए के पारस्परिक रूप से विरोधी-विरोधी तत्वों का } ऐसा है कि <math>e_0 ^2 = e_1 ^2 = -1</math> एच (चतुर्भुज) के लिए आइसोमोर्फिक है,
:* कोई भी चार आयामी सबलजेब्रा सेट {e<sub>0</sub>, और<sub>1</sub>ए के पारस्परिक रूप से विरोधी-विरोधी तत्वों का } ऐसा है कि <math>e_0 ^2 = e_1 ^2 = -1</math> एच (चतुर्भुज) के लिए आइसोमोर्फिक है,
:* किसी सेट {''e'' द्वारा उत्पन्न कोई भी चार-आयामी सबलजेब्रा<sub>0</sub>, और<sub>1</sub>ए के पारस्परिक रूप से विरोधी-विरोधी तत्वों का } ऐसा है कि <math>e_0 ^2 = e_1 ^2 = 1</math> एम के लिए आइसोमोर्फिक है<sub>2</sub>(आर) (2 × 2 वास्तविक मेट्रिसेस, कोक्वेटर्नियन),
:* किसी सेट {''e'' द्वारा उत्पन्न कोई भी चार-आयामी सबलजेब्रा<sub>0</sub>, और<sub>1</sub>ए के पारस्परिक रूप से विरोधी-विरोधी तत्वों का } ऐसा है कि <math>e_0 ^2 = e_1 ^2 = 1</math> एम के लिए आइसोमोर्फिक है<sub>2</sub>(आर) (2 × 2 वास्तविक मेट्रिसेस, कोक्वेटर्नियन),
:* किसी सेट {''e'' द्वारा उत्पन्न कोई भी आठ-आयामी सबलजेब्रा<sub>0</sub>, और<sub>1</sub>, और<sub>2</sub>ए के पारस्परिक रूप से विरोधी-विरोधी तत्वों का } ऐसा है कि <math>e_0 ^2 = e_1 ^2 = e_2 ^2 = -1</math> के लिए आइसोमॉर्फिक है <sup>2</sup>H (विभाजित-द्विभाजित),
:* किसी सेट {''e'' द्वारा उत्पन्न कोई भी आठ-आयामी सबलजेब्रा<sub>0</sub>, और<sub>1</sub>, और<sub>2</sub>ए के पारस्परिक रूप से विरोधी-विरोधी तत्वों का } ऐसा है कि <math>e_0 ^2 = e_1 ^2 = e_2 ^2 = -1</math> के लिए आइसोमॉर्फिक है <sup>2</sup>H (विभाजित-द्विभाजित),
Line 73: Line 72:
=== केली-डिक्सन निर्माण ===
=== केली-डिक्सन निर्माण ===
{{Further|केली-डिक्सन निर्माण}}
{{Further|केली-डिक्सन निर्माण}}
[[File:Cayley_Q8_quaternion_multiplication_graph.svg|thumb|लिंक ={{filepath:Cayley_Q8_quaternion_multiplication_graph.svg}}|केली Q8 i (लाल), j (हरा) और k (नीला) के गुणन के चक्रों को दर्शाने वाले चतुर्धातुक गुणन का ग्राफ। में [{{filepath:Cayley_Q8_quaternion_multiplication_graph.svg}} एसवीजी फ़ाइल,] पर होवर करें या इसे हाइलाइट करने के लिए पथ पर क्लिक करें।]]सभी क्लिफोर्ड बीजगणित Cl<sub>''p'',''q''</sub>(आर) वास्तविक संख्याओं के अलावा, जटिल संख्याएं और चतुष्कोणों में गैर-वास्तविक तत्व होते हैं जो वर्ग से +1 तक होते हैं; और इसलिए विभाजन बीजगणित नहीं हो सकता। केली-डिक्सन निर्माण द्वारा जटिल संख्याओं को विस्तारित करने के लिए एक अलग दृष्टिकोण लिया जाता है। यह आयाम 2 की संख्या प्रणाली उत्पन्न करता है<sup>n</sup>, n = 2, 3, 4, ..., आधारों के साथ <math>\left\{1, i_1, \dots, i_{2^n-1}\right\}</math>, जहां सभी गैर-वास्तविक आधार तत्व एंटी-कम्यूट और संतुष्ट हैं <math>i_m^2 = -1</math>. 8 या अधिक आयामों में ({{nowrap|''n'' ≥ 3}}) ये बीजगणित असहयोगी हैं। 16 या अधिक आयामों में ({{nowrap|''n'' ≥ 4}}) इन बीजगणितों में शून्य-भाजक भी होते हैं।
[[File:Cayley_Q8_quaternion_multiplication_graph.svg|thumb|लिंक ={{filepath:Cayley_Q8_quaternion_multiplication_graph.svg}}|केली Q8 i (लाल), j (हरा) और k (नीला) के गुणन के चक्रों को दर्शाने वाले चतुर्धातुक गुणन का ग्राफ। में [{{filepath:Cayley_Q8_quaternion_multiplication_graph.svg}} एसवीजी फ़ाइल,] पर होवर करें या इसे हाइलाइट करने के लिए पथ पर क्लिक करें।]]सभी क्लिफोर्ड बीजगणित Cl<sub>''p'',''q''</sub>(आर) वास्तविक संख्याओं के अलावा, जटिल संख्याएं और चतुष्कोणों में गैर-वास्तविक तत्व होते हैं जो वर्ग से +1 तक होते हैं; और इसलिए विभाजन बीजगणित नहीं हो सकता। केली-डिक्सन निर्माण द्वारा जटिल संख्याओं को विस्तारित करने के लिए अलग दृष्टिकोण लिया जाता है। यह आयाम 2 की संख्या प्रणाली उत्पन्न करता है<sup>n</sup>, n = 2, 3, 4, ..., आधारों के साथ <math>\left\{1, i_1, \dots, i_{2^n-1}\right\}</math>, जहां सभी गैर-वास्तविक आधार तत्व एंटी-कम्यूट और संतुष्ट हैं <math>i_m^2 = -1</math>. 8 या अधिक आयामों में ({{nowrap|''n'' ≥ 3}}) ये बीजगणित असहयोगी हैं। 16 या अधिक आयामों में ({{nowrap|''n'' ≥ 4}}) इन बीजगणितों में शून्य-भाजक भी होते हैं।


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


केली-डिक्सन निर्माण को कुछ चरणों में एक अतिरिक्त चिन्ह लगाकर संशोधित किया जा सकता है। यह तब विभाजन बीजगणित के बजाय रचना बीजगणित के संग्रह में विभाजित बीजगणित उत्पन्न करता है:
केली-डिक्सन निर्माण को कुछ चरणों में अतिरिक्त चिन्ह लगाकर संशोधित किया जा सकता है। यह तब विभाजन बीजगणित के बजाय रचना बीजगणित के संग्रह में विभाजित बीजगणित उत्पन्न करता है:
: विभाजित-जटिल संख्या आधार के साथ <math>\{ 1,\, i_1 \}</math> संतुष्टि देने वाला <math>\ i_1^2 = +1</math>,
: विभाजित-जटिल संख्या आधार के साथ <math>\{ 1,\, i_1 \}</math> संतुष्टि देने वाला <math>\ i_1^2 = +1</math>,
: विभाजन-चतुर्भुज आधार के साथ <math>\{ 1,\, i_1,\, i_2,\, i_3 \}</math> संतुष्टि देने वाला <math>\ i_1^2 = -1,\, i_2^2 = i_3^2 = +1</math>, और
: विभाजन-चतुर्भुज आधार के साथ <math>\{ 1,\, i_1,\, i_2,\, i_3 \}</math> संतुष्टि देने वाला <math>\ i_1^2 = -1,\, i_2^2 = i_3^2 = +1</math>, और
Line 84: Line 83:


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


विशेष रूप से जटिल संख्याओं के साथ टेन्सर उत्पादों को लेना (वास्तविक के ऊपर बीजगणित के रूप में माना जाता है) चार-आयामी टेसरीन की ओर जाता है <math>\mathbb{C} \otimes_\mathbb{R} \mathbb{C}</math>, आठ आयामी द्विअर्थी <math>\mathbb{C} \otimes_\mathbb{R} \mathbb{H}</math>, और 16-आयामी ऑक्टोनियन <math>\mathbb{C} \otimes_\mathbb{R} \mathbb{O}</math>.
विशेष रूप से जटिल संख्याओं के साथ टेन्सर उत्पादों को लेना (वास्तविक के ऊपर बीजगणित के रूप में माना जाता है) चार-आयामी टेसरीन की ओर जाता है <math>\mathbb{C} \otimes_\mathbb{R} \mathbb{C}</math>, आठ आयामी द्विअर्थी <math>\mathbb{C} \otimes_\mathbb{R} \mathbb{H}</math>, और 16-आयामी ऑक्टोनियन <math>\mathbb{C} \otimes_\mathbb{R} \mathbb{O}</math>.


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


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

Revision as of 10:46, 26 April 2023

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

इतिहास

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

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

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


परिभाषा

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

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

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

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

कुछ वास्तविक संख्याओं के लिए a0 और ए1.

घटाकर वर्ग को पूरा करने की सामान्य विधि का उपयोग करना1यू और द्विघात पूरक जोड़ना2
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} ऐसा है कि:

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

टेंसर उत्पाद

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

विशेष रूप से जटिल संख्याओं के साथ टेन्सर उत्पादों को लेना (वास्तविक के ऊपर बीजगणित के रूप में माना जाता है) चार-आयामी टेसरीन की ओर जाता है , आठ आयामी द्विअर्थी , और 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


आगे की पढाई


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

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