हाइपरकॉम्प्लेक्स संख्या: Difference between revisions
No edit summary |
No edit summary |
||
Line 4: | Line 4: | ||
== इतिहास == | == इतिहास == | ||
उन्नीसवीं दशक में [[[[ 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> | |||
यह [[ मैट्रिक्स (गणित) ]] था जिसने हाइपरकॉम्प्लेक्स | |||
यह [[ मैट्रिक्स (गणित) |मैट्रिक्स (गणित) बीजगणित]] था जिसने हाइपरकॉम्प्लेक्स प्रणाली का उपयोग किया। सबसे प्रथम में, मैट्रिक्स ने 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 |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> | |||
Line 32: | Line 35: | ||
जटिल संख्याएं केवल 2-आयामी हाइपरकॉम्प्लेक्स बीजगणित हैं जो फ़ील्ड (गणित) है। | जटिल संख्याएं केवल 2-आयामी हाइपरकॉम्प्लेक्स बीजगणित हैं जो फ़ील्ड (गणित) है। | ||
बीजगणित जैसे विभाजन-जटिल संख्याएँ जिनमें 1 की गैर-वास्तविक जड़ें | बीजगणित जैसे विभाजन-जटिल संख्याएँ जिनमें 1 की गैर-वास्तविक जड़ें सम्मिलितहैं, में भी निष्क्रिय तत्व होते हैं <math display="inline">\frac{1}{2}(1 \pm j)</math> और [[ शून्य भाजक ]] <math>(1 + j)(1 - j) = 0</math>, इसलिए ऐसे बीजगणित [[ विभाजन बीजगणित ]] नहीं हो सकते। चूँकि, ये गुण बहुत सार्थक हो सकते हैं, उदाहरण के लिए [[ विशेष सापेक्षता ]] के [[ लोरेंत्ज़ परिवर्तन ]]ों का वर्णन करने में। | ||
[[ गणित पत्रिका ]] के 2004 के संस्करण में 2-आयामी वास्तविक बीजगणित को सामान्यीकृत जटिल संख्याओं की शैली दी गई है।<ref>{{citation |first1=Anthony A. |last1=Harkin |first2=Joseph B. |last2=Harkin |title=Geometry of Generalized Complex Numbers |journal=[[Mathematics Magazine]] |volume=77 |issue=2 |pages=118–129 |year=2004 |doi=10.1080/0025570X.2004.11953236 |s2cid=7837108 |url=http://people.rit.edu/harkin/research/articles/generalized_complex_numbers.pdf}}</ref> चार जटिल संख्याओं के क्रॉस-अनुपात के विचार को 2-आयामी वास्तविक बीजगणित तक बढ़ाया जा सकता है।<ref>{{citation |first=Sky |last=Brewer |title=Projective Cross-ratio on Hypercomplex Numbers |journal=[[Advances in Applied Clifford Algebras]] |volume=23 |issue=1 |pages=1–14 |year=2013 |doi=10.1007/s00006-012-0335-7 |arxiv=1203.2554|s2cid=119623082 }}</ref> | [[ गणित पत्रिका ]] के 2004 के संस्करण में 2-आयामी वास्तविक बीजगणित को सामान्यीकृत जटिल संख्याओं की शैली दी गई है।<ref>{{citation |first1=Anthony A. |last1=Harkin |first2=Joseph B. |last2=Harkin |title=Geometry of Generalized Complex Numbers |journal=[[Mathematics Magazine]] |volume=77 |issue=2 |pages=118–129 |year=2004 |doi=10.1080/0025570X.2004.11953236 |s2cid=7837108 |url=http://people.rit.edu/harkin/research/articles/generalized_complex_numbers.pdf}}</ref> चार जटिल संख्याओं के क्रॉस-अनुपात के विचार को 2-आयामी वास्तविक बीजगणित तक बढ़ाया जा सकता है।<ref>{{citation |first=Sky |last=Brewer |title=Projective Cross-ratio on Hypercomplex Numbers |journal=[[Advances in Applied Clifford Algebras]] |volume=23 |issue=1 |pages=1–14 |year=2013 |doi=10.1007/s00006-012-0335-7 |arxiv=1203.2554|s2cid=119623082 }}</ref> | ||
Line 49: | Line 52: | ||
उन आधारों को अलग रखना जिनमें तत्व ई होता है<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>(आर)। | ||
बीजगणित सीएल के तत्व<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-आयामी अंतरिक्ष में विभाजित-जटिल संख्याओं और (अतिशयोक्तिपूर्ण) घुमावों (लोरेंट्ज़ ट्रांसफ़ॉर्मेशन) के बीच, और इसी तरह। | ||
Line 80: | Line 83: | ||
: विभाजन-चतुर्भुज आधार के साथ <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 ]] | जटिल संख्याओं के विपरीत, विभाजन-जटिल संख्याएं बीजगणितीय रूप से बंद क्षेत्र नहीं हैं, और इसमें गैर-तुच्छ शून्य विभाजक और गैर-तुच्छ [[ 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>. |
Revision as of 11:19, 26 April 2023
गणित में, हाइपरकॉम्प्लेक्स संख्या वास्तविक संख्या के क्षेत्र में परिमित-आयामी इकाई बीजगणित केतत्व (गणित) के लिए पारंपरिक शब्द है। 19वीं दशक के अंत में हाइपरकॉम्प्लेक्स संख्याओं का अध्ययन आधुनिक समूह प्रतिनिधित्व सिद्धांत का आधार बनता है।
इतिहास
उन्नीसवीं दशक में [[कटेर्नियंस]], टेसरीन, कोकटेर्नियन, बाइक्वाटरनियंस और ऑक्टोनियन नामक संख्या प्रणालियां गणितीय साहित्य में स्थापित अवधारणाएं बन गईं, जिन्हें वास्तविक और जटिल संख्याओं में जोड़ा गया। हाइपरकॉम्प्लेक्स संख्या की अवधारणा ने उन सभी को सम्मिलित किया, उन्हें समझाने और वर्गीकृत करने के लिए अनुशासन का अनुरोध किया।
कैटलॉगिंग परियोजना 1872 में प्रारंभ हुई जब बेंजामिन पीयर्स ने प्रथम बार अपने रैखिक साहचर्य बीजगणित को प्रकाशित किया, और उनके बेटे चार्ल्स सैंडर्स पियर्स द्वारा आगे बढ़ाया गया।[1] सबसे महत्वपूर्ण रूप से, उन्होंने वर्गीकरण के लिए उपयोगी हाइपरकॉम्प्लेक्स संख्या के रूप में निलपोटेंट और इडेमपोटेंट तत्वों (रिंग थ्योरी) की पहचान की। केली-डिक्सन निर्माण ने वास्तविक संख्या प्रणाली से जटिल संख्या, चतुष्कोण और ऑक्टोनियन उत्पन्न करने के लिए इनवोल्यूशन (गणित) का उपयोग किया। हर्विट्ज़ और फ्रोबेनियस ने उन प्रमेयों को सिद्ध किया जो हाइपरकॉम्प्लेक्सिटी पर सीमाएं लगाते हैं | हर्विट्ज़ का प्रमेय कहता है कि परिमित-आयामी रचना बीजगणित वास्तविक हैं , परिसरों , चतुष्कोण , और ऑक्टोनियंस , और फ्रोबेनियस प्रमेय (वास्तविक विभाजन बीजगणित) कहता है कि केवल वास्तविक , , और साहचर्य विभाजन बीजगणित हैं | 1958 में फ्रैंक एडम्स|जे. फ्रैंक एडम्स ने एच-स्पेस पर हॉफ इनवेरिएंट्स के संदर्भ में सामान्यीकरण प्रकाशित किया जो अभी भी आयाम को 1, 2, 4, या 8 तक सीमित करता है।[2]
यह मैट्रिक्स (गणित) बीजगणित था जिसने हाइपरकॉम्प्लेक्स प्रणाली का उपयोग किया। सबसे प्रथम में, मैट्रिक्स ने 2 × 2 वास्तविक मैट्रिक्स (स्प्लिट-चतुर्भुज देखें) जैसे नए हाइपरकॉम्प्लेक्स नंबरों का योगदान दिया। शीघ्र ही मैट्रिक्स प्रतिमान ने दूसरों की व्याख्या करना प्रारंभ कर दिया क्योंकि वे मैट्रिसेस और उनके संचालन द्वारा प्रस्तुत किए गए। 1907 में जोसेफ वेडरबर्न ने दिखाया कि साहचर्य हाइपरकॉम्प्लेक्स प्रणाली को स्क्वायर मैट्रिसेस के बीजगणित के प्रत्यक्ष उत्पाद द्वारा दर्शाया जा सकता है।[3][4] उस तिथि से हाइपरकॉम्प्लेक्स प्रणाली के लिए प्रिय शब्द साहचर्य बीजगणित बन गया जैसा कि एडिनबर्ग विश्वविद्यालय में वेडरबर्न की थीसिस के शीर्षक में देखा गया है। चूँकि, ध्यान दें कि गैर-सहयोगी प्रणालियाँ जैसे ऑक्टोनियन और अतिशयोक्तिपूर्ण चतुष्कोण अन्य प्रकार की हाइपरकॉम्प्लेक्स संख्या का प्रतिनिधित्व करते हैं।
हॉकिन्स के रूप में[5] बताते हैं, हाइपरकॉम्प्लेक्स नंबर लाई समूहों और समूह प्रतिनिधित्व सिद्धांत के बारे में सीखने के लिए चरण बढ़ा रहे हैं। उदाहरण के लिए, 1929 में एमी नोथेर ने हाइपरकॉम्प्लेक्स मात्रा और प्रतिनिधित्व सिद्धांत पर लिखा था।[6] 1973 में कंटोर और सोलोडोवनिकोव ने हाइपरकॉम्प्लेक्स नंबरों पर पाठ्यपुस्तक प्रकाशित की जिसका 1989 में अनुवाद किया गया था।[7][8]
करेन पार्शल ने हाइपरकॉम्प्लेक्स नंबरों के उत्कर्ष का विस्तृत विवरण लिखा है,[9] जिसमें थियोडोर मोलियन और एडवर्ड स्टडी सहित गणितज्ञों की भूमिका सम्मिलित है।[10][11] आधुनिक बीजगणित में परिवर्तन के लिए, बार्टेल वैन डेर वेर्डन ने अपने इतिहास के बीजगणित में हाइपरकॉम्प्लेक्स संख्याओं के लिए तीस पृष्ठ समर्पित किए हैं।[12]
परिभाषा
हाइपरकॉम्प्लेक्स संख्या की परिभाषा इसके द्वारा दी गई है 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]
उच्च-आयामी उदाहरण (से अधिक गैर-वास्तविक धुरी)
क्लिफर्ड बीजगणित
क्लिफोर्ड बीजगणित द्विघात रूप से सुसज्जित अंतर्निहित सदिश स्थान पर उत्पन्न एकात्मक साहचर्य बीजगणित है। वास्तविक संख्याओं पर यह सममित स्केलर उत्पाद को परिभाषित करने में सक्षम होने के बराबर है, u ⋅ v = 1/2(uv + vu) जिसका उपयोग आधार देने के लिए द्विघात रूप को ऑर्थोगोनलाइज़ेशन करने के लिए किया जा सकता है {e1, ..., ek} ऐसा है कि:
उन आधारों को अलग रखना जिनमें तत्व ई होता है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 कॉम्प्लेक्स मैट्रिसेस, बायक्वाटरनियंस, पाउली बीजगणित )।
केली-डिक्सन निर्माण
सभी क्लिफोर्ड बीजगणित Clp,q(आर) वास्तविक संख्याओं के अलावा, जटिल संख्याएं और चतुष्कोणों में गैर-वास्तविक तत्व होते हैं जो वर्ग से +1 तक होते हैं; और इसलिए विभाजन बीजगणित नहीं हो सकता। केली-डिक्सन निर्माण द्वारा जटिल संख्याओं को विस्तारित करने के लिए अलग दृष्टिकोण लिया जाता है। यह आयाम 2 की संख्या प्रणाली उत्पन्न करता हैn, n = 2, 3, 4, ..., आधारों के साथ , जहां सभी गैर-वास्तविक आधार तत्व एंटी-कम्यूट और संतुष्ट हैं . 8 या अधिक आयामों में (n ≥ 3) ये बीजगणित असहयोगी हैं। 16 या अधिक आयामों में (n ≥ 4) इन बीजगणितों में शून्य-भाजक भी होते हैं।
इस क्रम में पहले बीजगणित चार-आयामी चतुष्कोण, आठ-आयामी ऑक्टोनियन और 16-आयामी sedenion हैं। आयाम में प्रत्येक वृद्धि के साथ बीजगणितीय समरूपता खो जाती है: चतुष्कोणीय गुणन विनिमेय नहीं है, ऑक्टोनियन गुणन गैर-सहयोगी है, और सेडेनियन का मानदंड (गणित) गुणक नहीं है।
केली-डिक्सन निर्माण को कुछ चरणों में अतिरिक्त चिन्ह लगाकर संशोधित किया जा सकता है। यह तब विभाजन बीजगणित के बजाय रचना बीजगणित के संग्रह में विभाजित बीजगणित उत्पन्न करता है:
- विभाजित-जटिल संख्या आधार के साथ संतुष्टि देने वाला ,
- विभाजन-चतुर्भुज आधार के साथ संतुष्टि देने वाला , और
- आधार के साथ विभाजन-ऑक्शन संतुष्टि देने वाला ,
जटिल संख्याओं के विपरीत, विभाजन-जटिल संख्याएं बीजगणितीय रूप से बंद क्षेत्र नहीं हैं, और इसमें गैर-तुच्छ शून्य विभाजक और गैर-तुच्छ idempotent सम्मिलितहैं। चतुष्कोणों की तरह, विभाजित-चतुर्भुज क्रमविनिमेय नहीं होते हैं, लेकिन आगे नीलपोटेंट होते हैं; वे आयाम दो के वर्ग मैट्रिसेस के लिए आइसोमोर्फिक हैं। स्प्लिट-ऑक्टोनियन गैर-सहयोगी होते हैं और इसमें निलपोटेंट होते हैं।
टेंसर उत्पाद
किन्हीं दो बीजगणितों का टेन्सर गुणनफल और बीजगणित है, जिसका उपयोग हाइपरकॉम्प्लेक्स नंबर प्रणालीके कई और उदाहरण तैयार करने के लिए किया जा सकता है।
विशेष रूप से जटिल संख्याओं के साथ टेन्सर उत्पादों को लेना (वास्तविक के ऊपर बीजगणित के रूप में माना जाता है) चार-आयामी टेसरीन की ओर जाता है , आठ आयामी द्विअर्थी , और 16-आयामी ऑक्टोनियन .
अन्य उदाहरण
- द्विजटिल संख्या एँ: वास्तविक के ऊपर 4-आयामी सदिश स्थान, जटिल संख्याओं के ऊपर 2-आयामी, टेसरीन के लिए समरूपी।
- बहुविकल्पी संख्या : 2nवास्तविक से अधिक आयामी सदिश स्थान, 2n−1-संमिश्र संख्याओं पर आयामी
- रचना बीजगणित: बीजगणित द्विघात रूप के साथ जो उत्पाद के साथ बनता है
यह भी देखें
संदर्भ
- ↑ Peirce, Benjamin (1881), "Linear Associative Algebra", American Journal of Mathematics, 4 (1): 221–6, doi:10.2307/2369153, JSTOR 2369153
- ↑ 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
- ↑ 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
- ↑ Emil Artin later generalized Wedderburn's result so it is known as the Artin–Wedderburn theorem
- ↑ 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
- ↑ 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.0 7.1 Kantor, I.L., Solodownikow (1978), Hyperkomplexe Zahlen, BSB B.G. Teubner Verlagsgesellschaft, Leipzig
- ↑ Kantor, I. L.; Solodovnikov, A. S. (1989), Hypercomplex numbers, Berlin, New York: Springer-Verlag, ISBN 978-0-387-96980-0, MR 0996029
- ↑ 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
- ↑ Molien, Theodor (1893), "Ueber Systeme höherer complexer Zahlen", Mathematische Annalen, 41 (1): 83–156, doi:10.1007/BF01443450, S2CID 122333076
- ↑ Study, Eduard (1898), "Theorie der gemeinen und höhern komplexen Grössen", Encyclopädie der mathematischen Wissenschaften, vol. I A, pp. 147–183
- ↑ van der Waerden, B.L. (1985), "10. The discovery of algebras, 11. Structure of algebras", A History of Algebra, Springer, ISBN 3-540-13610X
- ↑ Yaglom, Isaak (1968), Complex Numbers in Geometry, pp. 10–14
- ↑ Ewing, John H., ed. (1991), Numbers, Springer, p. 237, ISBN 3-540-97497-0
- ↑ 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
- ↑ 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
- ↑ Porteous, Ian R. (1995), Clifford Algebras and the Classical Groups, Cambridge University Press, pp. 88–89, ISBN 0-521-55177-3
आगे की पढाई
- Alfsmann, Daniel (2006), "On families of 2^N dimensional hypercomplex algebras suitable for digital signal processing" (PDF), 14th European Signal Processing Conference, Florence, Italy, pp. 1–4
- Artin, Emil (1965) [1928], "Zur Theorie der hyperkomplexen Zahlen; Zur Arithmetik hyperkomplexer Zahlen", in Lang, Serge; Tate, John T. (eds.), The Collected Papers of Emil Artin, Addison-Wesley, pp. 301–345
- Baez, John (2002), "The Octonions", Bulletin of the American Mathematical Society, 39 (2): 145–205, arXiv:math/0105155, doi:10.1090/S0273-0979-01-00934-X, ISSN 0002-9904, S2CID 586512
- Cartan, Élie (1908), "Les systèmes de nombres complex et les groupes de transformations", Encyclopédie des sciences mathématiques pures et appliquées, vol. I 1. and Ouvres Completes T.2 pt. 1, pp 107–246.
- Herzberger, Max (1923), "Ueber Systeme hyperkomplexer Grössen", Doctoral Dissertation, Friedrich Wilhelm University
- La Duke, Jeanne (1983), "The study of linear associative algebras in the United States, 1870–1927", in Srinivasan, B.; Sally, J. (eds.), Emmy Noether in Bryn Mawr: Proceedings of a Symposium Sponsored by the Association for Women in Mathematics in Honor of Emmy Noether's 100th Birthday, Springer, pp. 147–159, ISBN 978-0-387-90838-0
- Olariu, Silviu (2002), Complex Numbers in N Dimensions, North-Holland Mathematics Studies, vol. 190, Elsevier, ISBN 0-444-51123-7
- Sabadini, Irene; Shapiro, Michael; Sommen, Frank, eds. (2009), Hypercomplex Analysis and Applications, Birkhauser, ISBN 978-3-7643-9892-7
- Taber, Henry (1904), "On Hypercomplex Number Systems", Transactions of the American Mathematical Society, 5 (4): 509–548, doi:10.2307/1986280, JSTOR 1986280
- MacLagan Wedderburn, J.H. (1908), "On Hypercomplex Numbers", Proceedings of the London Mathematical Society, s2-6 (1): 77–118, doi:10.1112/plms/s2-6.1.77
बाहरी कड़ियाँ
- "Hypercomplex number", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Weisstein, Eric W. "Hypercomplex number". MathWorld.
- Study, E., On systems of complex numbers and their application to the theory of transformation groups (PDF) (English translation)
- Frobenius, G., Theory of hypercomplex quantities (PDF) (English translation)