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

From Vigyanwiki
No edit summary
No edit summary
 
(13 intermediate revisions by 3 users not shown)
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> उस तिथि से हाइपरकॉम्प्लेक्स प्रणाली के लिए पसंदीदा शब्द [[ साहचर्य बीजगणित ]] बन गया जैसा कि [[ एडिनबर्ग विश्वविद्यालय ]] में वेडरबर्न की थीसिस के शीर्षक में देखा गया है। हालाँकि, ध्यान दें कि गैर-सहयोगी प्रणालियाँ जैसे ऑक्टोनियन और [[ अतिशयोक्तिपूर्ण चतुष्कोण ]] एक अन्य प्रकार की हाइपरकॉम्प्लेक्स संख्या का प्रतिनिधित्व करते हैं।


हॉकिन्स के रूप में<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>
यह [[ मैट्रिक्स (गणित) |मैट्रिक्स (गणित) बीजगणित]] था जिसने हाइपरकॉम्प्लेक्स प्रणाली का उपयोग किया। सबसे प्रथम में, मैट्रिक्स ने 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 |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 |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>
== परिभाषा ==
== परिभाषा ==
हाइपरकॉम्प्लेक्स संख्या की परिभाषा इसके द्वारा दी गई है {{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|कंटोर |सोलोडोवनिकोव|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, 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> और <sub>1</sub>.
कुछ वास्तविक संख्याओं a<sub>0</sub> और a<sub>1</sub> के लिए है:


घटाकर वर्ग को पूरा करने की सामान्य विधि का उपयोग करना<sub>1</sub>यू और द्विघात पूरक जोड़ना{{su|b=1|p=2}}{{nnbsp}}/{{nnbsp}}दोनों पक्षों के लिए 4 उपज
a<sub>1</sub>u को घटाकर और द्विघात पूरक a<sub>2</sub> को जोड़कर वर्ग को पूर्ण करने की सामान्य विधि का उपयोग करने से 1/4 दोनों पक्षों को उपज देता है:
: <math>u^2 - a_1 u + \frac{1}{4}a_1^2 = a_0 + \frac{1}{4}a_1^2.</math>
: <math>u^2 - a_1 u + \frac{1}{4}a_1^2 = a_0 + \frac{1}{4}a_1^2.</math>
इस प्रकार <math display="inline">\left(u - \frac{1}{2}a_1\right)^2 = \tilde{u}^2</math> कहां <math display="inline">\tilde{u}^2~ = a_0 + \frac{1}{4}a_1^2.</math>
इस प्रकार <math display="inline">\left(u - \frac{1}{2}a_1\right)^2 = \tilde{u}^2</math> जहाँ <math display="inline">\tilde{u}^2~ = a_0 + \frac{1}{4}a_1^2.</math>
तीन मामले इस वास्तविक मूल्य पर निर्भर करते हैं:
* यदि {{nowrap|1=4''a<sub>0</sub>'' = −''a''<sub>1</sub><sup>2</sup>}}, उपरोक्त सूत्र प्राप्त होता है {{nowrap|1=''ũ''<sup>2</sup> = 0}}. इसलिए, ũ को सीधे निलपोटेंट तत्व से पहचाना जा सकता है <math>\epsilon</math> आधार का <math>\{ 1, ~\epsilon \}</math> दोहरी संख्या का।
* यदि {{nowrap|4''a<sub>0</sub>'' > −''a''<sub>1</sub><sup>2</sup>}}, उपरोक्त सूत्र प्राप्त होता है {{nowrap|''ũ''<sup>2</sup> > 0}}. यह विभाजन-जटिल संख्याओं की ओर जाता है जिनका सामान्यीकृत आधार होता है <math>\{ 1 , ~j \}</math> साथ <math>j^2 = +1</math>. ũ से j प्राप्त करने के लिए, उत्तरार्द्ध को सकारात्मक वास्तविक संख्या से विभाजित किया जाना चाहिए <math display="inline">a \mathrel{:=} \sqrt{a_0 + \frac{1}{4}a_1^2}</math> जिसका वर्ग वही है जो ũ का है।
* यदि {{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-आयामी हाइपरकॉम्प्लेक्स बीजगणित हैं जो एक फ़ील्ड (गणित) है।
तीन स्थितियां इस वास्तविक मूल्य पर निर्भर करती हैं:
बीजगणित जैसे विभाजन-जटिल संख्याएँ जिनमें 1 की गैर-वास्तविक जड़ें शामिल हैं, में भी निष्क्रिय तत्व होते हैं <math display="inline">\frac{1}{2}(1 \pm j)</math> और [[ शून्य भाजक ]] <math>(1 + j)(1 - j) = 0</math>, इसलिए ऐसे बीजगणित [[ विभाजन बीजगणित ]] नहीं हो सकते। हालाँकि, ये गुण बहुत सार्थक हो सकते हैं, उदाहरण के लिए [[ विशेष सापेक्षता ]] के [[ लोरेंत्ज़ परिवर्तन ]]ों का वर्णन करने में।
* यदि {{nowrap|1=4''a<sub>0</sub>'' = −''a''<sub>1</sub><sup>2</sup>}}, उपरोक्त सूत्र से {{nowrap|1=''ũ''<sup>2</sup> = 0}} प्राप्त होता है। इसलिए, ũ को सरलता से निलपोटेंट तत्व से पहचाना जा सकता है <math>\epsilon</math> आधार का <math>\{ 1, ~\epsilon \}</math> दोहरी संख्या है।
* यदि {{nowrap|4''a<sub>0</sub>'' > −''a''<sub>1</sub><sup>2</sup>}}, उपरोक्त सूत्र से {{nowrap|''ũ''<sup>2</sup> > 0}} प्राप्त होता है। यह विभाजन-जटिल संख्याओं की ओर जाता है जिनका सामान्यीकृत आधार होता है <math>\{ 1 , ~j \}</math> के साथ <math>j^2 = +1</math>. ũ से j प्राप्त करने के लिए, उत्तरार्द्ध को सकारात्मक वास्तविक संख्या से विभाजित किया जाना चाहिए <math display="inline">a \mathrel{:=} \sqrt{a_0 + \frac{1}{4}a_1^2}</math> जिसमें ũ के समान वर्ग है।
* यदि {{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 के ऋणात्मक का वर्ग है।


[[ गणित पत्रिका ]] के 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>
जटिल संख्याएं केवल 2-आयामी हाइपरकॉम्प्लेक्स बीजगणित हैं जो क्षेत्र (गणित) है।


बीजगणित जैसे विभाजन-जटिल संख्याएँ जिनमें 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>
== उच्च-आयामी उदाहरण (एक से अधिक गैर-वास्तविक अक्ष) ==


=== [[ क्लिफर्ड बीजगणित ]] ===
=== [[ क्लिफर्ड बीजगणित ]] ===
एक क्लिफोर्ड बीजगणित एक [[ द्विघात रूप ]] से सुसज्जित एक अंतर्निहित सदिश स्थान पर उत्पन्न एकात्मक साहचर्य बीजगणित है। वास्तविक संख्याओं पर यह एक सममित स्केलर उत्पाद को परिभाषित करने में सक्षम होने के बराबर है, {{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>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>}}. है।


उन आधारों को अलग रखना जिनमें एक तत्व होता है<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}}, और जहां आर इंगित करता है कि यह वास्तविक से अधिक क्लिफोर्ड बीजगणित होना है- अर्थात। बीजगणित के तत्वों के गुणांक वास्तविक संख्याएँ हैं।
उन आधारों को भिन्न रखना जिनमें तत्व 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 प्रदर्शित करता है कि यह वास्तविक से अधिक क्लिफोर्ड बीजगणित होना चाहिए- अर्थात् बीजगणित के तत्वों के गुणांक वास्तविक संख्याएँ हैं।


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


उदाहरणों में शामिल हैं: सम्मिश्र संख्या 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>(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) हैं।


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


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


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


=== केली-डिक्सन निर्माण ===
=== केली-डिक्सन निर्माण ===
{{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>(R) वास्तविक संख्याओं के अतिरिक्त, जटिल संख्याएं और चतुष्कोणों में गैर-वास्तविक तत्व होते हैं जो वर्ग से +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>, और
: आधार के साथ विभाजन-ऑक्शन <math>\{ 1,\, i_1,\, \dots,\, i_7 \}</math> संतुष्टि देने वाला <math>\ i_1^2 = i_2^2 = i_3^2 = -1</math>, <math>\ i_4^2 = i_5^2 = i_6^2 = i_7^2 = +1 .</math>
: आधार के साथ विभाजन-ऑक्शन <math>\{ 1,\, i_1,\, \dots,\, i_7 \}</math> संतुष्टि देने वाला <math>\ i_1^2 = i_2^2 = i_3^2 = -1</math>, <math>\ i_4^2 = i_5^2 = i_6^2 = i_7^2 = +1 .</math>
जटिल संख्याओं के विपरीत, विभाजन-जटिल संख्याएं बीजगणितीय रूप से बंद क्षेत्र नहीं हैं, और इसमें गैर-तुच्छ शून्य विभाजक और गैर-तुच्छ [[ idempotent ]] शामिल हैं। चतुष्कोणों की तरह, विभाजित-चतुर्भुज क्रमविनिमेय नहीं होते हैं, लेकिन आगे नीलपोटेंट होते हैं; वे आयाम दो के वर्ग मैट्रिसेस के लिए आइसोमोर्फिक हैं। स्प्लिट-ऑक्टोनियन गैर-सहयोगी होते हैं और इसमें निलपोटेंट होते हैं।
जटिल संख्याओं के विपरीत, विभाजित-जटिल संख्याएं बीजगणितीय रूप से बंद नहीं होती हैं, और इसमें गैर-तुच्छ शून्य विभाजक सम्मिलित हैं। चतुष्कोणों के जैसे, विभाजित-चतुर्भुज क्रमविनिमेय नहीं होते हैं, किंतु आगे नीलपोटेंट होते हैं; वे आयाम दो के वर्ग मैट्रिसेस के लिए आइसोमोर्फिक हैं। स्प्लिट-ऑक्टोनियन गैर-सहयोगी होते हैं और इसमें निलपोटेंट होते हैं।


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


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


== यह भी देखें ==
== यह भी देखें ==
Line 129: Line 127:
{{Authority control}}
{{Authority control}}


{{DEFAULTSORT:Hypercomplex Number}}[[Category:हाइपरकॉम्प्लेक्स नंबर |हाइपरकॉम्प्लेक्स नंबर ]][[श्रेणी: गणित का इतिहास]][[श्रेणी: चतुष्कोणों का ऐतिहासिक उपचार]]
{{DEFAULTSORT:Hypercomplex Number}}[[श्रेणी: गणित का इतिहास]][[श्रेणी: चतुष्कोणों का ऐतिहासिक उपचार]]
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Hypercomplex Number]]
[[Category:Created On 05/01/2023]]
[[Category:CS1 Deutsch-language sources (de)]]
[[Category:Collapse templates|Hypercomplex Number]]
[[Category:Created On 05/01/2023|Hypercomplex Number]]
[[Category:Machine Translated Page|Hypercomplex Number]]
[[Category:Missing redirects|Hypercomplex Number]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Hypercomplex Number]]
[[Category:Pages with math errors|Hypercomplex Number]]
[[Category:Pages with math render errors|Hypercomplex Number]]
[[Category:Pages with script errors|Hypercomplex Number]]
[[Category:Sidebars with styles needing conversion|Hypercomplex Number]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi|Hypercomplex Number]]
[[Category:Templates Vigyan Ready|Hypercomplex Number]]
[[Category:Templates generating microformats|Hypercomplex Number]]
[[Category:Templates that are not mobile friendly|Hypercomplex Number]]
[[Category:Templates using TemplateData|Hypercomplex Number]]
[[Category:Wikipedia metatemplates|Hypercomplex Number]]
[[Category:हाइपरकॉम्प्लेक्स नंबर|हाइपरकॉम्प्लेक्स नंबर ]]

Latest revision as of 13:31, 1 May 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


आगे की पढाई


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

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