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

From Vigyanwiki
No edit summary
No edit summary
Line 30: Line 30:
* यदि {{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|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 , ~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</उप>।
* यदि {{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>, इसलिए ऐसे बीजगणित [[ विभाजन बीजगणित | विभाजन बीजगणित]] नहीं हो सकते। चूँकि, ये गुण बहुत सार्थक हो सकते हैं, उदाहरण के लिए [[ विशेष सापेक्षता | विशेष सापेक्षता]] के [[ लोरेंत्ज़ परिवर्तन | लोरेंत्ज़ परिवर्तन]] ों का वर्णन करने में।


[[ गणित पत्रिका ]] के 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>
बीजगणित जैसे विभाजन-जटिल संख्याएँ जिनमें 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 वास्तविक मेट्रिसेस, कोक्वेटर्नियन),
:*किसी सेट {''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 (विभाजित-द्विभाजित),
:* किसी सेट {''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}} कॉम्प्लेक्स मैट्रिसेस, बायक्वाटरनियंस, [[ पाउली बीजगणित ]])।
:* किसी सेट {''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}} कॉम्प्लेक्स मैट्रिसेस, बायक्वाटरनियंस, [[ पाउली बीजगणित ]])।

Revision as of 03:26, 27 April 2023

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

इतिहास

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

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

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

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

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

परिभाषा

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


आगे की पढाई


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

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