सप्त आकारीय क्रॉस गुणनफल: Difference between revisions
mNo edit summary |
m (Deepak moved page सात-आयामी क्रॉस उत्पाद to सप्त आकारीय क्रॉस गुणनफल without leaving a redirect) |
||
(16 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, सप्त आकारीय क्रॉस | गणित में, सप्त आकारीय क्रॉस गुणनफल, सप्त आकारीय यूक्लिडियन अंतरिक्ष में [[वेक्टर (गणित)|सदिश]] पर एक द्विरेखीय संचालक है। यह किन्हीं दो सदिशों a, b और सदिश {{nowrap|'''a''' × '''b'''}} को {{tmath|\mathbb{R}^7}} में निर्दिष्ट करता है।<ref name=Massey0> | ||
{{cite journal |title=Cross products of vectors in higher dimensional Euclidean spaces |author=WS Massey |journal=The American Mathematical Monthly |volume=90 |year=1983 |pages=697–701 |publisher=Mathematical Association of America |jstor=2323537 |issue=10 |doi=10.2307/2323537 }} | {{cite journal |title=Cross products of vectors in higher dimensional Euclidean spaces |author=WS Massey |journal=The American Mathematical Monthly |volume=90 |year=1983 |pages=697–701 |publisher=Mathematical Association of America |jstor=2323537 |issue=10 |doi=10.2307/2323537 }} | ||
</ref> तीन आकारों में क्रॉस | </ref> तीन आकारों में क्रॉस गुणनफल की तरह, सप्त आकारीय गुणनफल[[ प्रतिसंक्रामकता | प्रतिविनिमय]] है और {{nowrap|'''a''' × '''b'''}} में a और b दोनों के लिए समकोण है। तीन आकारों के विपरीत, यह [[जैकोबी पहचान|जैकोबी समरूपता]] को संतुष्ट नहीं करता है, और त्रि-आकारीय क्रॉस गुणनफल एक संकेत तक अद्वितीय है, जबकि सप्त आकारीय क्रॉस गुणनफल कई हैं। सप्त आकारीय क्रॉस गुणनफल का अष्टकोणों से वही संबंध है जो त्रि-आकारीय गुणनफल का चतुर्भुजों से है। | ||
सप्त आकारीय क्रॉस | सप्त आकारीय क्रॉस गुणनफल तीन आकारों के अतिरिक्त क्रॉस गुणनफल को सामान्यीकृत करने का एक तरीका है, और यह दो सदिशों का एकमात्र अन्य द्विरेखीय गुणनफल है जो सदिश-मान, समकोण और 3D स्तिथियों के समान परिमाण है।<ref name=Massey2/>अन्य आकारों में तीन या अधिक सदिश के सदिश-मान वाले गुणनफल होते हैं जो इन शर्तों को पूरा करते हैं, और [[ bivector |द्विसदिश]] परिणामों के साथ बाइनरी गुणनफल होते हैं। | ||
==गुणन सारणी== | ==गुणन सारणी== | ||
Line 84: | Line 84: | ||
|- | |- | ||
|} | |} | ||
दी गई सारणी की तरह गुणनफल को गुणन सारणी द्वारा दर्शाया जा सकता है। यह तालिका, केली के कारण,<ref name=Cayley>{{cite book |title=हाइपरकॉम्प्लेक्स विश्लेषण|edition=Conference on quaternionic and Clifford analysis; proceedings |chapter-url=https://books.google.com/books?id=H-5v6pPpyb4C&pg=PA168 |page=168 |author=G Gentili, C Stoppato, DC Struppa and F Vlacci |chapter=Recent developments for regular functions of a hypercomplex variable|editor1=Irene Sabadini |editor1-link=Irene Sabadini|editor2=M Shapiro |editor3=F Sommen |isbn=978-3-7643-9892-7 |year=2009 |publisher=Birkhäuser}} | |||
</ref><ref name= Shestakov> | </ref><ref name= Shestakov> | ||
{{Cite book |title=Non-associative algebra and its applications |author1=Lev Vasilʹevitch Sabinin |author2=Larissa Sbitneva |author3=I. P. Shestakov |page=235 |chapter=§17.2 Octonion algebra and its regular bimodule representation |chapter-url=https://books.google.com/books?id=_PEWt18egGgC&pg=PA235 |isbn=0-8247-2669-3 |year=2006|publisher=CRC Press }} | {{Cite book |title=Non-associative algebra and its applications |author1=Lev Vasilʹevitch Sabinin |author2=Larissa Sbitneva |author3=I. P. Shestakov |page=235 |chapter=§17.2 Octonion algebra and its regular bimodule representation |chapter-url=https://books.google.com/books?id=_PEWt18egGgC&pg=PA235 |isbn=0-8247-2669-3 |year=2006|publisher=CRC Press }} | ||
</ref> | </ref> प्रत्येक i, j के लिए 1 से 7 तक प्रसामान्य आधार सदिश '''e'''<sub>''i''</sub> और '''e'''<sub>''j''</sub> का गुणनफल देता है। उदाहरण के लिए, तालिका से | ||
:<math>\mathbf{e}_1 \times \mathbf{e}_2 = \mathbf{e}_3 =-\mathbf{e}_2 \times \mathbf{e}_1</math> | :<math>\mathbf{e}_1 \times \mathbf{e}_2 = \mathbf{e}_3 =-\mathbf{e}_2 \times \mathbf{e}_1</math> | ||
तालिका का उपयोग किन्हीं दो सदिशों के | तालिका का उपयोग किन्हीं दो सदिशों के गुणनफल की गणना करने के लिए किया जा सकता है। उदाहरण के लिए, x × y के '''e'''<sub>1</sub> घटक की गणना करने के लिए '''e'''<sub>1</sub> उत्पन्न करने के लिए गुणा करने वाले आधार सदिश को चुना जा सकता है | ||
:<math>\left( \mathbf{ x \times y}\right)_1 = x_2y_3 - x_3y_2 +x_4y_5-x_5y_4 + x_7y_6-x_6y_7.</math> | :<math>\left( \mathbf{ x \times y}\right)_1 = x_2y_3 - x_3y_2 +x_4y_5-x_5y_4 + x_7y_6-x_6y_7.</math> | ||
इसे अन्य छह घटकों के लिए दोहराया जा सकता है। | इसे अन्य छह घटकों के लिए दोहराया जा सकता है। | ||
परिभाषा को पूरा करने वाले प्रत्येक गुणनफल के लिए एक तालिका है और ऐसी 480 तालिकाएँ हैं।<ref name=Parra> | |||
{{cite book |title=Clifford algebras with numeric and symbolic computations |author1=Rafał Abłamowicz |author2=Pertti Lounesto |author3=Josep M. Parra |chapter-url=https://books.google.com/books?id=OpbY_abijtwC&pg=PA202 |page=202 |chapter=§ Four octonionic basis numberings |publisher=Birkhäuser |year=1996 |isbn=0-8176-3907-1}} | {{cite book |title=Clifford algebras with numeric and symbolic computations |author1=Rafał Abłamowicz |author2=Pertti Lounesto |author3=Josep M. Parra |chapter-url=https://books.google.com/books?id=OpbY_abijtwC&pg=PA202 |page=202 |chapter=§ Four octonionic basis numberings |publisher=Birkhäuser |year=1996 |isbn=0-8176-3907-1}} | ||
</ref> इस तालिका को संबंध द्वारा संक्षेपित किया जा सकता है<ref name= Shestakov/>: | </ref> इस तालिका को संबंध द्वारा संक्षेपित किया जा सकता है<ref name= Shestakov/>: | ||
इस तालिका का शीर्ष बाएँ 3 × 3 कोना तीन आकारों में क्रॉस | <math>\mathbf{e}_i \mathbf{\times} \mathbf{e}_j = \varepsilon _{ijk} \mathbf{e}_k, </math> | ||
जब ijk = 123, 145, 176, 246, 257, 347, 365 होता है तब <math>\varepsilon _{ijk}</math> सकारात्मक मान +1 के साथ एक पूरी तरह से असममित सदिश है। | |||
इस तालिका का शीर्ष बाएँ 3 × 3 कोना तीन आकारों में क्रॉस गुणनफल देता है। | |||
==परिभाषा== | ==परिभाषा== | ||
[[ यूक्लिडियन स्थान ]] V पर क्रॉस | [[ यूक्लिडियन स्थान ]]V पर क्रॉस गुणनफल V × V से V तक एक [[द्विरेखीय मानचित्र|द्विरेखीय आलेखन]] है, जहाँ सदिश 'x' और 'y' और दूसरे सदिश 'x' × 'y' को V में आलेख करता है। | ||
जहां 'x' × ' y' में गुण हैं:<ref name="Massey0" /><ref name="Brown"> | |||
Mappings are restricted to be bilinear by {{Harv|Massey|1993}} and {{cite journal |title=Vector cross products |author1=Robert B Brown |author2=Alfred Gray |name-list-style=amp |pages=222–236 |journal=Commentarii Mathematici Helvetici |volume=42 |year=1967 |issue= 1/December |doi=10.1007/BF02564418 |publisher=Birkhäuser Basel|s2cid=121135913 }}.</ref> | Mappings are restricted to be bilinear by {{Harv|Massey|1993}} and {{cite journal |title=Vector cross products |author1=Robert B Brown |author2=Alfred Gray |name-list-style=amp |pages=222–236 |journal=Commentarii Mathematici Helvetici |volume=42 |year=1967 |issue= 1/December |doi=10.1007/BF02564418 |publisher=Birkhäuser Basel|s2cid=121135913 }}.</ref> | ||
* | *वर्ग समीकरण: | ||
:<math>\mathbf{x} \cdot (\mathbf{x} \times \mathbf{y}) = (\mathbf{x} \times \mathbf{y}) \cdot \mathbf{y}=0,</math> | |||
*[[सामान्य (गणित)]]: | *[[सामान्य (गणित)|परिमाण (गणित)]]: | ||
:<math>|\mathbf{x} \times \mathbf{y}|^2 = |\mathbf{x}|^2 |\mathbf{y}|^2 - (\mathbf{x} \cdot \mathbf{y})^2 </math> | |||
जहां (x·y) यूक्लिडियन [[डॉट उत्पाद]] है और |x| | जहां (x·y) यूक्लिडियन [[डॉट उत्पाद|डॉट गुणनफल]] है और |x| यूक्लिडियन प्रमाण है। पहला गुण बताता है कि गुणनफल उसके तर्कों के वर्ग समीकरण है, जबकि दूसरा गुण गुणनफल का [[सामान्य (गणित)|परिमाण]] बताता है। सदिश के बीच कोण ''θ के'' गुणनफल और सामान्यीकरण के संदर्भ में एक समतुल्य अभिव्यक्ति<ref name="Hildebrand">{{cite book |title=अनुप्रयुक्त गणित के तरीके|author=Francis Begnaud Hildebrand |page=24 |url=https://books.google.com/books?id=17EZkWPz_eQC&pg=PA24|isbn=0-486-67002-3 |edition=Reprint of Prentice-Hall 1965 2nd|publisher=Courier Dover Publications |year=1992}} | ||
</ref> है<ref name = Lounesto/> | </ref> है<ref name="Lounesto" /> | ||
:<math>|\mathbf{x} \times \mathbf{y}| = |\mathbf{x}| |\mathbf{y}| \sin \theta, </math> | :<math>|\mathbf{x} \times \mathbf{y}| = |\mathbf{x}| |\mathbf{y}| \sin \theta, </math> | ||
जो x और y के | जो x और y के सतह में दो सदिशों की भुजा वाले समांतर [[चतुर्भुज]] का क्षेत्रफल है।<ref>{{cite book | ||
|title=A Course in the Geometry of N Dimensions | |title=A Course in the Geometry of N Dimensions | ||
|first1=M. G. | |first1=M. G. | ||
Line 120: | Line 125: | ||
|page=19 | |page=19 | ||
|url=https://books.google.com/books?id=_dFJ6pSzRLkC&pg=PA19}} | |url=https://books.google.com/books?id=_dFJ6pSzRLkC&pg=PA19}} | ||
</ref> | </ref> [[सामान्य (गणित)|आकार]] की स्थिति का तीसरा कथन है: | ||
: <math>|\mathbf{x} \times \mathbf{y}| = |\mathbf{x}| |\mathbf{y}|~\mbox{if} \ \left( \mathbf{x} \cdot \mathbf{y} \right)= 0,</math> | : <math>|\mathbf{x} \times \mathbf{y}| = |\mathbf{x}| |\mathbf{y}|~\mbox{if} \ \left( \mathbf{x} \cdot \mathbf{y} \right)= 0,</math> | ||
यदि x × x = 0 को एक अलग | यदि x × x = 0 को एक अलग सिद्धांत माना जाता है।<ref name=Silagadze1> | ||
{{cite journal | author = Z.K. Silagadze | title = Multi-dimensional vector product | year = 2002 | doi = 10.1088/0305-4470/35/23/310 | journal = Journal of Physics A: Mathematical and General | volume = 35 | issue = 23 | pages = 4949–4953 |arxiv=math.RA/0204357 | bibcode = 2002JPhA...35.4949S | s2cid = 119165783 }} | {{cite journal | author = Z.K. Silagadze | title = Multi-dimensional vector product | year = 2002 | doi = 10.1088/0305-4470/35/23/310 | journal = Journal of Physics A: Mathematical and General | volume = 35 | issue = 23 | pages = 4949–4953 |arxiv=math.RA/0204357 | bibcode = 2002JPhA...35.4949S | s2cid = 119165783 }} | ||
</ref> | </ref> | ||
'''<br />परिभाषित गुणों के परिणाम''' | |||
द्विरेखीयता, वर्ग समीकरण और [[सामान्य (गणित)|परिमाण]] के गुणों को देखते हुए, एक गैर-शून्य क्रॉस गुणनफल केवल तीन और सप्त आकारों में उपलब्ध होता है।<ref name=Massey2> | |||
द्विरेखीयता, | |||
{{cite journal |title=Cross products of vectors in higher dimensional Euclidean spaces |author=WS Massey |year=1983 |jstor=2323537|quote=If one requires only three basic properties of the cross product ... it turns out that a cross product of vectors exists only in 3-dimensional and 7-dimensional Euclidean space. |pages=697–701 |journal=The American Mathematical Monthly |volume=90 |issue=10 |doi=10.2307/2323537}}</ref><ref name = Lounesto>Lounesto, pp. 96–97 | {{cite journal |title=Cross products of vectors in higher dimensional Euclidean spaces |author=WS Massey |year=1983 |jstor=2323537|quote=If one requires only three basic properties of the cross product ... it turns out that a cross product of vectors exists only in 3-dimensional and 7-dimensional Euclidean space. |pages=697–701 |journal=The American Mathematical Monthly |volume=90 |issue=10 |doi=10.2307/2323537}}</ref><ref name = Lounesto>Lounesto, pp. 96–97 | ||
</ref><ref name=Silagadze1/> | </ref><ref name=Silagadze1/> जब आकार 0, 1, 3 या 7 होता है केवल तभी इसे क्रॉस गुणनफल के लिए आवश्यक गुणों को निर्धारित करके, फिर एक समीकरण निकालकर दिखाया जा सकता है। शून्य आकारों में सदिश केवल शून्य होता है, जबकि एक आकार में सभी सदिश समानांतर होते हैं, इसलिए इन दोनों स्तिथियों में गुणनफल समान रूप से शून्य होना चाहिए। | ||
0, 1, 3 और 7 आकारों पर प्रतिबंध हर्विट्ज़ के प्रमेय (मानक विभाजन बीजगणित) से संबंधित है | 0, 1, 3 और 7 आकारों पर प्रतिबंध हर्विट्ज़ के प्रमेय (मानक विभाजन बीजगणित) से संबंधित है कि मानक विभाजन केवल 1, 2, 4 और 8 आकारों में ही संभव है। क्रॉस गुणनफल मानक विभाजन बीजगणित के गुणनफल से बनता है, इसे बीजगणित के 0, 1, 3, या 7 काल्पनिक आकारों तक सीमित करके, केवल तीन और सप्त आकारों में गैर-शून्य गुणनफल देता है।<ref name=Jacobson> | ||
{{cite book |title= Basic algebra I |author=Nathan Jacobson |publisher=Dover Publications |year=2009 |pages=417–427 |isbn=978-0-486-47189-1 |edition=Reprint of Freeman 1974 2nd |url=https://books.google.com/books?id=_K04QgAACAAJ }}</ref> | {{cite book |title= Basic algebra I |author=Nathan Jacobson |publisher=Dover Publications |year=2009 |pages=417–427 |isbn=978-0-486-47189-1 |edition=Reprint of Freeman 1974 2nd |url=https://books.google.com/books?id=_K04QgAACAAJ }}</ref> | ||
त्रि-आकारीय क्रॉस | |||
त्रि-आकारीय क्रॉस गुणनफल जो अद्वितीय है के विपरीत, सप्त आकारों में कई संभावित बाइनरी क्रॉस गुणनफल होते हैं। इसे देखने का एक तरीका यह है कि सदिश x और y <math>\isin \mathbb{R}^7</math> के किसी भी जोड़े को ध्यान में रखें और परिमाण का कोई भी सदिश v |v| = |x||y| sin ''θ'', x और y द्वारा फैलाए गए सतह के वर्ग समीकरण पांच-आकारीय स्थान में गुणन तालिका के साथ एक क्रॉस गुणनफल जैसे कि x × y = v ढूंढना संभव है। तीन आकारों के विपरीत, x × y = a × b का अर्थ यह नहीं है कि a और b, x और y के तरह समान सतह में हैं।<ref name="Lounesto" /> | |||
आगे के गुण परिभाषा से अनुसरण करते हैं, जिनमें निम्नलिखित समरूपता सम्मिलित हैं: | आगे के गुण परिभाषा से अनुसरण करते हैं, जिनमें निम्नलिखित समरूपता सम्मिलित हैं: | ||
Line 141: | Line 147: | ||
#प्रतिविनिमय: | #प्रतिविनिमय: | ||
#:<math> \mathbf{x} \times \mathbf{y} = -\mathbf{y} \times \mathbf{x} </math> | #:<math> \mathbf{x} \times \mathbf{y} = -\mathbf{y} \times \mathbf{x} </math> | ||
#अदिश त्रिगुण | #अदिश त्रिगुण गुणनफल: | ||
#:<math> \mathbf{x} \cdot (\mathbf{y} \times \mathbf{z}) = \mathbf{y} \cdot (\mathbf{z} \times \mathbf{x}) = \mathbf{z} \cdot (\mathbf{x} \times \mathbf{y})</math> | #:<math> \mathbf{x} \cdot (\mathbf{y} \times \mathbf{z}) = \mathbf{y} \cdot (\mathbf{z} \times \mathbf{x}) = \mathbf{z} \cdot (\mathbf{x} \times \mathbf{y})</math> | ||
#मालसेव बीजगणित:<ref name=Lounesto/>#:<math> (\mathbf{x} \times \mathbf{y}) \times (\mathbf{x} \times \mathbf{z}) = ((\mathbf{x} \times \mathbf{y}) \times \mathbf{z}) \times \mathbf{x} + ((\mathbf{y} \times \mathbf{z}) \times \mathbf{x}) \times \mathbf{x} + ((\mathbf{z} \times \mathbf{x}) \times \mathbf{x}) \times \mathbf{y}</math> | #मालसेव बीजगणित:<ref name="Lounesto" /> | ||
#:<math> (\mathbf{x} \times \mathbf{y}) \times (\mathbf{x} \times \mathbf{z}) = ((\mathbf{x} \times \mathbf{y}) \times \mathbf{z}) \times \mathbf{x} + ((\mathbf{y} \times \mathbf{z}) \times \mathbf{x}) \times \mathbf{x} + ((\mathbf{z} \times \mathbf{x}) \times \mathbf{x}) \times \mathbf{y}</math> | |||
#:<math> \mathbf{x} \times (\mathbf{x} \times \mathbf{y}) = -|\mathbf{x}|^2 \mathbf{y} + (\mathbf{x} \cdot \mathbf{y}) \mathbf{x}.</math> | #:<math> \mathbf{x} \times (\mathbf{x} \times \mathbf{y}) = -|\mathbf{x}|^2 \mathbf{y} + (\mathbf{x} \cdot \mathbf{y}) \mathbf{x}.</math> | ||
अन्य गुण केवल त्रि-आकारीय स्तिथियों में अनुसरण करते हैं, और सप्त आकारीय क्रॉस | अन्य गुण केवल त्रि-आकारीय स्तिथियों में अनुसरण करते हैं, और सप्त आकारीय क्रॉस गुणनफल से संतुष्ट नहीं होते हैं, विशेष रूप से, | ||
#[[वेक्टर ट्रिपल उत्पाद|सदिश त्रिपक्षीय | #[[वेक्टर ट्रिपल उत्पाद|सदिश त्रिपक्षीय गुणनफल]]: | ||
#:<math> \mathbf{x} \times (\mathbf{y} \times \mathbf{z}) = (\mathbf{x} \cdot \mathbf{z}) \mathbf{y} - (\mathbf{x} \cdot \mathbf{y}) \mathbf{z} </math> | #:<math> \mathbf{x} \times (\mathbf{y} \times \mathbf{z}) = (\mathbf{x} \cdot \mathbf{z}) \mathbf{y} - (\mathbf{x} \cdot \mathbf{y}) \mathbf{z} </math> | ||
#जैकोबी समरूपता:<ref name=Lounesto/> | #जैकोबी समरूपता:<ref name=Lounesto/> | ||
<math> \mathbf{x} \times (\mathbf{y} \times \mathbf{z}) + \mathbf{y} \times (\mathbf{z} \times \mathbf{x}) + \mathbf{z} \times (\mathbf{x} \times \mathbf{y}) \ne 0</math> | |||
[[झूठ बीजगणित|'''ली बीजगणित''']] की संरचना के अनुसार सप्तआकारीय क्रॉस गुणनफल '''R'''<sup>7</sup> नहीं देता है इसलिए जैकोबी समरूपता संतुष्ट नहीं है। | |||
==अभिव्यक्तियों का समन्वय== | ==अभिव्यक्तियों का समन्वय== | ||
किसी विशेष क्रॉस | किसी विशेष क्रॉस गुणनफल को परिभाषित करने के लिए, एक [[ऑर्थोनॉर्मल आधार|समबाहु आधार]] {'''e'''<sub>''j''</sub>} का चयन किया जा सकता है और एक गुणन तालिका प्रदान की जा सकती है जो सभी गुणनफलों {'''e'''<sub>''i''</sub> × '''e'''<sub>''j''</sub>} को निर्धारित करती है। गुणा तालिका में एक संभावित गुणन सारणी का वर्णन किया गया है, लेकिन यह अद्वितीय नहीं है।<ref name=Parra/>तीन आकारों के विपरीत, कई तालिकाएँ हैं क्योंकि इकाई सदिश की प्रत्येक जोड़ी पांच अन्य इकाई सदिश के लंबवत है, जिससे प्रत्येक क्रॉस गुणनफल के लिए कई विकल्प मिलते हैं। | ||
एक बार जब हम एक गुणन तालिका स्थापित कर लेते हैं, तो इसे आधार के संदर्भ में x और y को व्यक्त करके और द्विरेखीयता के माध्यम से x × y का विस्तार करके सामान्य सदिश x और y पर लागू किया जाता है। | एक बार जब हम एक गुणन तालिका स्थापित कर लेते हैं, तो इसे आधार के संदर्भ में x और y को व्यक्त करके और द्विरेखीयता के माध्यम से x × y का विस्तार करके सामान्य सदिश x और y पर लागू किया जाता है। | ||
Line 230: | Line 239: | ||
|- | |- | ||
|} | |} | ||
आधार सदिश के लिए '''e'''<sub>1</sub> से '''e'''<sub>7</sub> का उपयोग करते हुए परिचय में दी गई गुणन सारणी से भिन्न गुणन तालिका दी गई है, जिससे एक अलग क्रॉस गुणनफल प्राप्त होता है, जिसे प्रतिविनिमय के साथ दिया गया है।<ref name="Lounesto"/> | |||
:<math>\mathbf{e}_1 \times \mathbf{e}_2 = \mathbf{e}_4, \quad \mathbf{e}_2 \times \mathbf{e}_4 = \mathbf{e}_1, \quad \mathbf{e}_4 \times \mathbf{e}_1 = \mathbf{e}_2,</math> | :<math>\mathbf{e}_1 \times \mathbf{e}_2 = \mathbf{e}_4, \quad \mathbf{e}_2 \times \mathbf{e}_4 = \mathbf{e}_1, \quad \mathbf{e}_4 \times \mathbf{e}_1 = \mathbf{e}_2,</math> | ||
:<math>\mathbf{e}_2 \times \mathbf{e}_3 = \mathbf{e}_5, \quad \mathbf{e}_3 \times \mathbf{e}_5 = \mathbf{e}_2, \quad \mathbf{e}_5 \times \mathbf{e}_2 = \mathbf{e}_3,</math> | :<math>\mathbf{e}_2 \times \mathbf{e}_3 = \mathbf{e}_5, \quad \mathbf{e}_3 \times \mathbf{e}_5 = \mathbf{e}_2, \quad \mathbf{e}_5 \times \mathbf{e}_2 = \mathbf{e}_3,</math> | ||
:<math>\mathbf{e}_3 \times \mathbf{e}_4 = \mathbf{e}_6, \quad \mathbf{e}_4 \times \mathbf{e}_6 = \mathbf{e}_3, \quad \mathbf{e}_6 \times \mathbf{e}_3 = \mathbf{e}_4,</math> | :<math>\mathbf{e}_3 \times \mathbf{e}_4 = \mathbf{e}_6, \quad \mathbf{e}_4 \times \mathbf{e}_6 = \mathbf{e}_3, \quad \mathbf{e}_6 \times \mathbf{e}_3 = \mathbf{e}_4,</math> | ||
:<math>\mathbf{e}_4 \times \mathbf{e}_5 = \mathbf{e}_7, \quad \mathbf{e}_5 \times \mathbf{e}_7 = \mathbf{e}_4, \quad \mathbf{e}_7 \times \mathbf{e}_4 = \mathbf{e}_5,</math> | :'''<math>\mathbf{e}_4 \times \mathbf{e}_5 = \mathbf{e}_7, \quad \mathbf{e}_5 \times \mathbf{e}_7 = \mathbf{e}_4, \quad \mathbf{e}_7 \times \mathbf{e}_4 = \mathbf{e}_5,</math>''' | ||
:<math>\mathbf{e}_5 \times \mathbf{e}_6 = \mathbf{e}_1, \quad \mathbf{e}_6 \times \mathbf{e}_1 = \mathbf{e}_5, \quad \mathbf{e}_1 \times \mathbf{e}_5 = \mathbf{e}_6,</math> | :<math>\mathbf{e}_5 \times \mathbf{e}_6 = \mathbf{e}_1, \quad \mathbf{e}_6 \times \mathbf{e}_1 = \mathbf{e}_5, \quad \mathbf{e}_1 \times \mathbf{e}_5 = \mathbf{e}_6,</math> | ||
:<math>\mathbf{e}_6 \times \mathbf{e}_7 = \mathbf{e}_2, \quad \mathbf{e}_7 \times \mathbf{e}_2 = \mathbf{e}_6, \quad \mathbf{e}_2 \times \mathbf{e}_6 = \mathbf{e}_7,</math> | :<math>\mathbf{e}_6 \times \mathbf{e}_7 = \mathbf{e}_2, \quad \mathbf{e}_7 \times \mathbf{e}_2 = \mathbf{e}_6, \quad \mathbf{e}_2 \times \mathbf{e}_6 = \mathbf{e}_7,</math> | ||
Line 242: | Line 251: | ||
: <math>\mathbf{e}_i \times \mathbf{e}_{i+1} = \mathbf{e}_{i+3}</math> | : <math>\mathbf{e}_i \times \mathbf{e}_{i+1} = \mathbf{e}_{i+3}</math> | ||
i = 1...7 [[मॉड्यूलर अंकगणित]] 7 और सूचकांकों i, i + 1 और i + 3 के साथ समान रूप से क्रमपरिवर्तन की अनुमति दी गई। | i = 1...7 [[मॉड्यूलर अंकगणित|मॉड्यूलर]] 7 और सूचकांकों i, i + 1 और i + 3 के साथ समान रूप से क्रमपरिवर्तन की अनुमति दी गई। प्रतिविनिमय के साथ मिलकर यह गुणनफल उत्पन्न करता है। यह नियम सीधे तालिका में शून्य के विकर्ण के ठीक समीप दो विकर्ण उत्पन्न करता है। इसके अतिरिक्त, परिणामों पर उपशाखा में एक समरूपता से, | ||
: <math>\mathbf{e}_i \times \left( \mathbf{e}_i \times \mathbf{e}_{i+1}\right) =-\mathbf{e}_{i+1} = \mathbf{e}_i \times \mathbf{e}_{i+3} \ ,</math> | : <math>\mathbf{e}_i \times \left( \mathbf{e}_i \times \mathbf{e}_{i+1}\right) =-\mathbf{e}_{i+1} = \mathbf{e}_i \times \mathbf{e}_{i+3} \ ,</math> | ||
जो आगे की ओर विकर्ण उत्पन्न करता है, इत्यादि। | जो आगे की ओर विकर्ण उत्पन्न करता है, इत्यादि। | ||
क्रॉस उत्पाद x × y का ej घटक तालिका में '''ej''' की सभी घटनाओं का चयन करके और बाएं कॉलम से '''x''' और शीर्ष पंक्ति से y के संबंधित घटकों को एकत्रित करके दिया जाता है। परिणाम है: | |||
:<math>\begin{align}\mathbf{x} \times \mathbf{y} | :<math>\begin{align}\mathbf{x} \times \mathbf{y} | ||
Line 257: | Line 266: | ||
{}+ (x_1y_3 - x_3y_1 + x_2y_6 - x_6y_2 + x_4y_5 - x_5y_4)\,&\mathbf{e}_7. | {}+ (x_1y_3 - x_3y_1 + x_2y_6 - x_6y_2 + x_4y_5 - x_5y_4)\,&\mathbf{e}_7. | ||
\end{align}</math> | \end{align}</math> | ||
चूँकि क्रॉस | चूँकि क्रॉस गुणनफल द्विरेखीय है इसलिए संचालक x×– को एक मैट्रिक्स के रूप में लिखा जा सकता है, जो रूप लेता है | ||
:<math>T_{\mathbf x} = \begin{bmatrix} | :<math>T_{\mathbf x} = \begin{bmatrix} | ||
Line 268: | Line 277: | ||
-x_3 & -x_6 & x_1 & -x_5 & x_4 & x_2 & 0 | -x_3 & -x_6 & x_1 & -x_5 & x_4 & x_2 & 0 | ||
\end{bmatrix}.</math> | \end{bmatrix}.</math> | ||
इसके बाद क्रॉस | इसके बाद क्रॉस गुणनफल दिया जाता है | ||
:<math>\mathbf{x} \times \mathbf{y} = T_{\mathbf{x}} \mathbf{y}.</math> | :<math>\mathbf{x} \times \mathbf{y} = T_{\mathbf{x}} \mathbf{y}.</math> | ||
'''<big><br />विभिन्न गुणन सारणी</big>'''[[File:Fano plane for 7-D cross product.svg|thumb|यहां उपयोग की गई दो गुणन तालिकाओं के लिए फ़ानो विमान।]]इस आलेख में दो अलग-अलग गुणन तालिकाओं का उपयोग किया गया है, इसके अतिरिक्त भी विभिन्न तालिकायें होती है।<ref name=Parra/><ref name=T_Smith>तालिकाओं और इन तालिकाओं से फ़ानो विमान के कनेक्शन की आगे की चर्चा यहां पाई गई है: {{cite web |url=http://www.tony5m17h.net/480op.html |title=ऑक्टोनियन उत्पाद और जाली|author=Tony Smith |access-date=2018-05-12}} | |||
</ref> इन गुणन तालिकाओं को फ़ानो सतह द्वारा चित्रित किया गया है,<ref name="Manogue" />और इन्हें यहां उपयोग की गई दो तालिकाओं के चित्र में दिखाया गया है: सबसे ऊपर, सबिनिन, सबितनेवा और शेस्ताकोव द्वारा वर्णित तालिका, और सबसे नीचे लूनेस्टो द्वारा वर्णित तालिका है। फ़ानो आरेख के अंतर्गत संख्याएँ प्रत्येक स्तिथियों में सप्त स्वतंत्र गुणनफलों के लिए सूचकांकों का एक समुच्चय दर्शाती हैं, जिसे ''ijk'' → '''e'''<sub>''i''</sub> × '''e'''<sub>''j''</sub> = '''e'''<sub>''k''</sub> के रूप में दर्शाया जाता है। गुणन तालिका को फ़ानो आरेख से किन्हीं तीन बिंदुओं को जोड़ने वाली सीधी रेखा या केंद्र में वृत्त का अनुसरण करके तीरों द्वारा दिए गए चिह्न के साथ पुनर्प्राप्त किया जाता है। उदाहरण के लिए, उपरोक्त सूचि में '''e'''<sub>1</sub> के परिणामस्वरूप होने वाले गुणन की पहली पंक्ति निचले फैनो आरेख में '''e<sub>1</sub>''' से जुड़े तीन पथों का पालन करके प्राप्त की जाती है। निचले फ़ैनो आरेख में: वृत्ताकार पथ '''e'''<sub>2</sub> × '''e'''<sub>4</sub>, और विकर्ण पथ '''e'''<sub>3</sub> × '''e'''<sub>7</sub> और किनारे पथ '''e'''<sub>6</sub> × '''e'''<sub>1</sub> = '''e'''<sub>5</sub> का उपरोक्त समरूपता में से एक उपयोग करके पुनर्व्यवस्थित किया गया इस प्रकार है : | |||
[[File:Fano plane for 7-D cross product.svg|thumb|यहां उपयोग की गई दो गुणन तालिकाओं के लिए फ़ानो विमान।]]इस आलेख में दो अलग-अलग गुणन तालिकाओं का उपयोग किया गया है, | |||
</ref> इन गुणन तालिकाओं को फ़ानो | |||
:<math>\mathbf{e}_6 \times \left( \mathbf{e}_6 \times \mathbf{e}_1 \right) = -\mathbf{e}_1 = \mathbf{e}_6 \times \mathbf{e}_5 , </math> | :<math>\mathbf{e}_6 \times \left( \mathbf{e}_6 \times \mathbf{e}_1 \right) = -\mathbf{e}_1 = \mathbf{e}_6 \times \mathbf{e}_5 , </math> | ||
Line 288: | Line 290: | ||
आरेख से सीधे इस नियम के साथ प्राप्त किया जाता है कि एक सीधी रेखा पर कोई भी दो इकाई सदिश उस सीधी रेखा पर तीसरी इकाई सदिश से गुणा करके तीरों के अनुसार संकेतों के साथ जुड़े होते हैं (क्रमपरिवर्तन का संकेत जो इकाई सदिश को आदेश देता है)। | आरेख से सीधे इस नियम के साथ प्राप्त किया जाता है कि एक सीधी रेखा पर कोई भी दो इकाई सदिश उस सीधी रेखा पर तीसरी इकाई सदिश से गुणा करके तीरों के अनुसार संकेतों के साथ जुड़े होते हैं (क्रमपरिवर्तन का संकेत जो इकाई सदिश को आदेश देता है)। | ||
यह देखा जा सकता है कि दोनों गुणन नियम केवल इकाई सदिश का नाम बदलकर और केंद्र इकाई सदिश | यह देखा जा सकता है कि दोनों गुणन नियम केवल इकाई सदिश का नाम बदलकर और केंद्र इकाई सदिश का अर्थ बदलकर एक ही फ़ानो आरेख का पालन करते हैं। आधार के सभी संभावित क्रमपरिवर्तनों को ध्यान में रखते हुए इस तरह के 480 गुणन सारणी और 480 क्रॉस गुणनफल हैं।<ref name=Manogue> | ||
{{cite journal |title=Octonionic representations of Clifford algebras and triality |author1=Jörg Schray |author2=Corinne A. Manogue |journal=Foundations of Physics |pages=17–70 |volume=26 |year=1996 |issue= 1/January |doi=10.1007/BF02058887 |arxiv=hep-th/9407179 |bibcode=1996FoPh...26...17S |s2cid=119604596 }} Available as [https://arxiv.org/abs/hep-th/9407179v1 ArXive preprint] Figure 1 is located [https://arxiv.org/PS_cache/hep-th/ps/9407/9407179v1.fig1-1.png here]. | {{cite journal |title=Octonionic representations of Clifford algebras and triality |author1=Jörg Schray |author2=Corinne A. Manogue |journal=Foundations of Physics |pages=17–70 |volume=26 |year=1996 |issue= 1/January |doi=10.1007/BF02058887 |arxiv=hep-th/9407179 |bibcode=1996FoPh...26...17S |s2cid=119604596 }} Available as [https://arxiv.org/abs/hep-th/9407179v1 ArXive preprint] Figure 1 is located [https://arxiv.org/PS_cache/hep-th/ps/9407/9407179v1.fig1-1.png here]. | ||
</ref> | </ref> | ||
'''<br />[[ज्यामितीय बीजगणित]] का उपयोग करना''' | |||
गुणनफल की गणना ज्यामितीय बीजगणित का उपयोग करके भी की जा सकती है। गुणनफल [[बाहरी उत्पाद|बाहरी गुणनफल]] से शुरू होता है, दो सदिशों का एक द्विसदिश मान गुणनफल: | |||
:<math>\mathbf{B} = \mathbf{x} \wedge \mathbf{y} = \frac{1}{2}(\mathbf{xy} - \mathbf{yx}).</math> | :<math>\mathbf{B} = \mathbf{x} \wedge \mathbf{y} = \frac{1}{2}(\mathbf{xy} - \mathbf{yx}).</math> | ||
यह द्विरेखीय है, वैकल्पिक | यह द्विरेखीय है, वैकल्पिक, इसमें वांछित परिमाण है, लेकिन सदिश मान नहीं है। सदिश, और इसलिए क्रॉस गुणनफल, [[ त्रिवेक्टर |त्रिसदिश]] के साथ द्विसदिश के गुणनफल से आता है। परिमाण गुणक तक तीन आकारों में केवल एक त्रि-सदिश, स्थान का [[स्यूडोस्केलर]] और उपरोक्त द्विसदिश का एक गुणनफल होता है और दो इकाई त्रि-सदिश में से [[ हॉज दोहरे |हॉज दोहरे का]] द्विसदिश एक सदिश परिणाम देता है। | ||
एक समान गणना सप्त आकारों में की जाती है, सिवाय इसके कि त्रि-सदिश एक 35-आकारीय स्थान बनाते हैं, ऐसे कई त्रि-सदिश हैं जिनका उपयोग किया जा सकता है, हालांकि कोई भी त्रि-सदिश ऐसा नहीं करेगा। त्रि-सदिश जो उपरोक्त समन्वय परिवर्तन के समान | एक समान गणना सप्त आकारों में की जाती है, सिवाय इसके कि त्रि-सदिश एक 35-आकारीय स्थान बनाते हैं, ऐसे कई त्रि-सदिश हैं जिनका उपयोग किया जा सकता है, हालांकि कोई भी त्रि-सदिश ऐसा नहीं करेगा। त्रि-सदिश जो उपरोक्त समन्वय परिवर्तन के समान गुणनफल देता है: | ||
:<math>\mathbf{v} = \mathbf{e}_{124} + \mathbf{e}_{235} + \mathbf{e}_{346} + \mathbf{e}_{457} + \mathbf{e}_{561} + \mathbf{e}_{672} + \mathbf{e}_{713}.</math> | :<math>\mathbf{v} = \mathbf{e}_{124} + \mathbf{e}_{235} + \mathbf{e}_{346} + \mathbf{e}_{457} + \mathbf{e}_{561} + \mathbf{e}_{672} + \mathbf{e}_{713}.</math> | ||
क्रॉस | क्रॉस गुणनफल देने के लिए इसे बाहरी गुणनफल के साथ जोड़ा जाता है | ||
:<math> \mathbf{x} \times \mathbf{y} = -(\mathbf{x} \wedge \mathbf{y}) ~\lrcorner~ \mathbf{v} </math> | :<math> \mathbf{x} \times \mathbf{y} = -(\mathbf{x} \wedge \mathbf{y}) ~\lrcorner~ \mathbf{v} </math> | ||
जहाँ <math> \lrcorner </math> ज्यामितीय बीजगणित से बायां संकुचन संचालक है।<ref name=Lounesto/><ref name= "Abłamowicz0"> | |||
{{cite book |title=क्लिफ़ोर्ड बीजगणित: गणित, भौतिकी और इंजीनियरिंग के लिए अनुप्रयोग|author=Bertfried Fauser |editor1=Pertti Lounesto |editor2=Rafał Abłamowicz |chapter-url=https://books.google.com/books?id=b6mbSCv_MHMC&pg=PA292 |chapter=§18.4.2 Contractions |publisher=Birkhäuser |year=2004 |pages=292 ''ff'' |isbn=0-8176-3525-4}} | {{cite book |title=क्लिफ़ोर्ड बीजगणित: गणित, भौतिकी और इंजीनियरिंग के लिए अनुप्रयोग|author=Bertfried Fauser |editor1=Pertti Lounesto |editor2=Rafał Abłamowicz |chapter-url=https://books.google.com/books?id=b6mbSCv_MHMC&pg=PA292 |chapter=§18.4.2 Contractions |publisher=Birkhäuser |year=2004 |pages=292 ''ff'' |isbn=0-8176-3525-4}} | ||
Line 312: | Line 314: | ||
==अष्टकोणों से संबंध== | ==अष्टकोणों से संबंध== | ||
जिस तरह 3-आकारीय क्रॉस | जिस तरह 3-आकारीय क्रॉस गुणनफल को चतुर्भुज के संदर्भ में व्यक्त किया जा सकता है, उसी तरह 7-आकारीय क्रॉस गुणनफल को अष्टकोणों के संदर्भ में व्यक्त किया जा सकता है। समरूपता करने के बाद <math>\mathbb{R}^7</math> काल्पनिक अष्टकोणों के साथ क्रॉस गुणनफल अष्टकोणों गुणन के संदर्भ में दिया गया है: | ||
:<math>\mathbf x \times \mathbf y = \mathrm{Im}(\mathbf{xy}) = \frac{1}{2}(\mathbf{xy}-\mathbf{yx}).</math> | :<math>\mathbf x \times \mathbf y = \mathrm{Im}(\mathbf{xy}) = \frac{1}{2}(\mathbf{xy}-\mathbf{yx}).</math> | ||
इसके विपरीत, मान लीजिए कि | इसके विपरीत, मान लीजिए कि ''V'' एक दिए गए क्रॉस गुणनफल के साथ 7-आकारीय यूक्लिडियन स्थान है। फिर कोई द्विरेखीय गुणन को <math>\mathbb{R} \oplus V</math> में निम्नलिखित परिभाषित कर सकता है: | ||
:<math>(a,\mathbf{x})(b,\mathbf{y}) = (ab - \mathbf{x}\cdot\mathbf{y}, a\mathbf y + b\mathbf x + \mathbf{x}\times\mathbf{y}).</math> | :<math>(a,\mathbf{x})(b,\mathbf{y}) = (ab - \mathbf{x}\cdot\mathbf{y}, a\mathbf y + b\mathbf x + \mathbf{x}\times\mathbf{y}).</math> | ||
स्थान <math>\mathbb{R} \oplus V</math> इसके साथ ही गुणन अष्टकोणों के समरूपी हो जाता है।<ref name=Baez> | |||
{{cite journal | {{cite journal | ||
|title = The Octonions | |title = The Octonions | ||
Line 335: | Line 337: | ||
}} | }} | ||
</ref> | </ref> | ||
क्रॉस गुणनफल केवल तीन और सप्त आकारों में उपलब्ध होता है क्योंकि कोई हमेशा ऊपर बताए अनुसार एक उच्च आकार के स्थान पर गुणन को परिभाषित कर सकता है, और इस स्थान को एक मानक विभाजन बीजगणित के रूप में दिखाया जा सकता है। हर्विट्ज़ के प्रमेय (मानक विभाजन बीजगणित) के अनुसार, ऐसे बीजगणित केवल एक, दो, चार और आठ आकारों में उपलब्ध होते हैं, इसलिए क्रॉस गुणनफल शून्य, एक, तीन या सप्त आकारों में होना चाहिए। शून्य और एक आकार में गुणनफल निम्न हैं, इसलिए गैर-निम्न क्रॉस गुणनफल केवल तीन और सप्त आकारों में उपलब्ध हैं।<ref> | |||
{{cite journal | first = Alberto | last = Elduque | title = Vector cross products | year = 2004 | url = http://www.unizar.es/matematicas/algebra/elduque/Talks/crossproducts.pdf}} | {{cite journal | first = Alberto | last = Elduque | title = Vector cross products | year = 2004 | url = http://www.unizar.es/matematicas/algebra/elduque/Talks/crossproducts.pdf}} | ||
</ref><ref> | </ref><ref> | ||
{{cite journal | first = Erik | last = Darpö | title = Vector product algebras |journal=Bulletin of the London Mathematical Society |volume= 41 |pages=898–902| year = 2009 | doi =10.1112/blms/bdp066 |issue=5|arxiv=0810.5464 | s2cid = 122615967 }} See also: {{cite journal | citeseerx = 10.1.1.66.4 | title = Real vector product algebras }}</ref> | |||
जैकोबी समरूपता को संतुष्ट करने में 7-आकार क्रॉस गुणनफल की विफलता अष्टकोणों की गैर-सहयोगिता के कारण है। वास्तव में, | |||
जैकोबी समरूपता को संतुष्ट करने में 7- | |||
:<math>\mathbf{x}\times(\mathbf{y}\times\mathbf{z}) + \mathbf{y}\times(\mathbf{z}\times\mathbf{x}) + \mathbf{z}\times(\mathbf{x}\times\mathbf{y}) = -\frac{3}{2}[\mathbf x, \mathbf y, \mathbf z]</math> | :<math>\mathbf{x}\times(\mathbf{y}\times\mathbf{z}) + \mathbf{y}\times(\mathbf{z}\times\mathbf{x}) + \mathbf{z}\times(\mathbf{x}\times\mathbf{y}) = -\frac{3}{2}[\mathbf x, \mathbf y, \mathbf z]</math> | ||
जहां [x, y, z] [[सहयोगी]] है। | जहां [x, y, z] [[सहयोगी]] है। | ||
==रोटेशन== | ==रोटेशन== | ||
तीन आकारों में क्रॉस | तीन आकारों में क्रॉस गुणनफल घूर्णन समूह [[SO(3)]] की कार्रवाई के अंतर्गत अपरिवर्तनीय है, इसलिए घुमाए जाने के बाद x और y का क्रॉस गुणनफल घूर्णन के अंतर्गत {{nowrap|'''x''' × '''y'''}} की छवि है। लेकिन यह अपरिवर्तनीयता सप्त आकारों में सत्य नहीं है; अर्थात्,सप्त आकारों में घूर्णन के समूह SO(7) के अंतर्गत क्रॉस गुणनफल अपरिवर्तनीय नहीं है। इसके बजाय यह SO(7) के एक उपसमूह, असाधारण ली समूह G <sub>2</sub> के अंतर्गत अपरिवर्तनीय है।<ref name=Lounesto/><ref name =Baez/> | ||
'''<big>सामान्यीकरण</big>''' | |||
गैर-शून्य बाइनरी क्रॉस गुणनफल केवल तीन और सप्त आकारों में उपलब्ध हैं। इस प्रतिबंध को हटाने पर कि यह एक द्विआधारी गुणनफल होना चाहिए आगे के गुणनफल संभव हैं ।<ref name="k_vectors">लुनेस्टा, §7.5: के वैक्टर का क्रॉस उत्पाद <math>\mathbb{R}^n</math>, पी। 98</ref><ref name="Gallier"> | |||
गैर-शून्य बाइनरी क्रॉस | |||
{{cite book |title=Geometric methods and applications: for computer science and engineering |author=Jean H. Gallier |authorlink=Jean Gallier |chapter-url=https://books.google.com/books?id=CTHaW9ft1ZMC&pg=PA244 |page=[https://archive.org/details/geometricmethods0000gall/page/244 244] |chapter=Problem 7.10 (2) |isbn=0-387-95044-3 |year=2001 |publisher=Springer |url=https://archive.org/details/geometricmethods0000gall/page/244 }} | {{cite book |title=Geometric methods and applications: for computer science and engineering |author=Jean H. Gallier |authorlink=Jean Gallier |chapter-url=https://books.google.com/books?id=CTHaW9ft1ZMC&pg=PA244 |page=[https://archive.org/details/geometricmethods0000gall/page/244 244] |chapter=Problem 7.10 (2) |isbn=0-387-95044-3 |year=2001 |publisher=Springer |url=https://archive.org/details/geometricmethods0000gall/page/244 }} | ||
</ref> हमें प्रत्येक निविष्ट सदिश के लिए | </ref> हमें प्रत्येक निविष्ट सदिश '''a'''<sub>''i''</sub> के लिए गुणनफल को बहु-रेखीय, [[वैकल्पिक ऑपरेटर|वैकल्पिक संचालक]], सदिश-मान और समकोण होना चाहिए। समकोण आवश्यकता का तात्पर्य है कि n आकारों में, {{nowrap|''n'' − 1}} से कम सदिश का उपयोग किया जा सकता है। गुणनफल का परिमाण किनारों के रूप में सदिश के साथ समान्तर चतुर्भुज के आयतन के बराबर होना चाहिए, जिसकी गणना ग्राम निर्धारक का उपयोग करके की जा सकती है। जिनकी शर्तें निम्नलिखित हैं: | ||
* | *समकोण: <math display="block">\left( \mathbf{a}_1 \times \ \cdots \ \times \mathbf{a}_k\right) \cdot \mathbf{a}_i = 0</math> के लिए <math>i = 1,\ \dots\ , k</math>. | ||
*ग्राम निर्धारक: <math display="block">|\mathbf{a}_1 \times \cdots \times \mathbf{a}_k |^2 | *ग्राम निर्धारक: <math display="block">|\mathbf{a}_1 \times \cdots \times \mathbf{a}_k |^2 | ||
= \det (\mathbf{a}_i \cdot \mathbf{a}_j) = | = \det (\mathbf{a}_i \cdot \mathbf{a}_j) = | ||
Line 365: | Line 366: | ||
\mathbf{a}_k \cdot \mathbf{a}_1 & \mathbf{a}_k \cdot \mathbf{a}_2 & \cdots & \mathbf{a}_k \cdot \mathbf{a}_k\\ | \mathbf{a}_k \cdot \mathbf{a}_1 & \mathbf{a}_k \cdot \mathbf{a}_2 & \cdots & \mathbf{a}_k \cdot \mathbf{a}_k\\ | ||
\end{vmatrix} | \end{vmatrix} | ||
</math> | </math>ग्राम निर्धारक '''a'''<sub>1</sub>, ..., '''a'''<sub>''k''</sub> के किनारों के साथ समांतर चतुर्भुज का वर्ग आयतन है। | ||
ग्राम निर्धारक | |||
इन शर्तों के साथ एक गैर- | इन शर्तों के साथ केवल एक गैर-निम्न क्रॉस गुणनफल उपलब्ध है: | ||
* तीन और सप्त आकारों में एक द्विआधारी | * तीन और सप्त आकारों में एक द्विआधारी गुणनफल के रूप में | ||
* n ≥ 3 आकारों में n - 1 सदिश के | * n ≥ 3 आकारों में n - 1 सदिश के गुणनफल के रूप में, सदिश के बाहरी गुणनफल का हॉज डुअल होना | ||
* आठ आकारों में तीन सदिश के | * आठ आकारों में तीन सदिश के गुणनफल के रूप में | ||
आठ आकारों में तीन सदिशों के | आठ आकारों में तीन सदिशों के गुणनफल का एक संस्करण दिया गया है: | ||
<math display="block">\mathbf{a} \times \mathbf{b} \times \mathbf{c} = (\mathbf{a} \wedge \mathbf{b} \wedge \mathbf{c}) ~\lrcorner~ (\mathbf{w} - \mathbf{ve}_8)</math> | <math display="block">\mathbf{a} \times \mathbf{b} \times \mathbf{c} = (\mathbf{a} \wedge \mathbf{b} \wedge \mathbf{c}) ~\lrcorner~ (\mathbf{w} - \mathbf{ve}_8)</math>जहां v वही त्रि-सदिश है जिसका उपयोग सप्त आकारों में किया जाता है, <math>\lrcorner</math> फिर से बायां संकुचन है, और {{nowrap|1='''w''' = −'''ve'''<sub>12...7</sub>}} एक 4-सदिश है। | ||
जहां v वही त्रि-सदिश है जिसका उपयोग सप्त आकारों में किया जाता है, <math>\lrcorner</math> फिर से बायां संकुचन है, और {{nowrap|1='''w''' = −'''ve'''<sub>12...7</sub>}} एक 4-सदिश | |||
निम्न गुणनफल भी हैं। जैसा कि पहले ही उल्लेख किया गया है, एक द्विआधारी गुणनफल केवल 7, 3, 1 और 0 आकारों में उपलब्ध होता है, अंतिम दो समान रूप से शून्य होते हैं। एक और निम्न 'गुणनफल' सम आकारों में उत्पन्न होता है, जो एक एकल सदिश लेता है और एक उपयुक्त बाय सदिश के साथ बाएं संकुचन के माध्यम से उसी परिमाण समकोण का एक सदिश उत्पन्न करता है। दो आकारों में यह एक समकोण से घूमना है। | |||
एक और सामान्यीकरण के रूप में, हम बहुरेखीयता और परिमाण की आवश्यकताओं को | एक और सामान्यीकरण के रूप में, हम बहुरेखीयता और परिमाण की आवश्यकताओं को लचीला कर सकते हैं, और एक सामान्य निरंतर क्रिया <math>V^d \to V</math> पर विचार कर सकते हैं <math>V^d \to V</math> (जहां <math> d \geq 2 </math> है और <math>V</math> यूक्लिडियन आंतरिक गुणनफल से संपन्न <math>\mathbb{R}^n</math> है ) जो केवल निम्नलिखित दो गुणों को संतुष्ट करने के लिए आवश्यक है: | ||
# क्रॉस | # क्रॉस गुणनफल हमेशा सभी निविष्ट सदिश के लिए समकोण होता है। | ||
# यदि निविष्ट सदिश रैखिक रूप से स्वतंत्र हैं, तो क्रॉस | # यदि निविष्ट सदिश रैखिक रूप से स्वतंत्र हैं, तो क्रॉस गुणनफल गैर-शून्य है। | ||
इन आवश्यकताओं के | इन आवश्यकताओं के अंतर्गत, क्रॉस गुणनफल केवल (I) <math>n = 3, d = 2</math>, (II) <math>n = 7, d = 3</math>, (III) <math>n = 8, d = 3</math> और (IV) <math> d = n - 1 </math> के लिए उपलब्ध है.<ref name=Massey0/> | ||
'''<br />यह भी देखें''' | |||
* [[रचना बीजगणित]] | * [[रचना बीजगणित]] | ||
Line 401: | Line 399: | ||
{{Linear algebra}} | {{Linear algebra}} | ||
{{DEFAULTSORT:Seven-Dimensional Cross Product}} | {{DEFAULTSORT:Seven-Dimensional Cross Product}} | ||
[[Category: | [[Category:CS1 errors]] | ||
[[Category:Created On 03/07/2023]] | [[Category:CS1 maint]] | ||
[[Category:Collapse templates|Seven-Dimensional Cross Product]] | |||
[[Category:Created On 03/07/2023|Seven-Dimensional Cross Product]] | |||
[[Category:Machine Translated Page|Seven-Dimensional Cross Product]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Seven-Dimensional Cross Product]] | |||
[[Category:Octonions|Seven-Dimensional Cross Product]] | |||
[[Category:Pages with script errors|Seven-Dimensional Cross Product]] | |||
[[Category:Sidebars with styles needing conversion|Seven-Dimensional Cross Product]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi|Seven-Dimensional Cross Product]] | |||
[[Category:Templates Vigyan Ready|Seven-Dimensional Cross Product]] | |||
[[Category:Templates generating microformats|Seven-Dimensional Cross Product]] | |||
[[Category:Templates that are not mobile friendly|Seven-Dimensional Cross Product]] | |||
[[Category:Templates using TemplateData|Seven-Dimensional Cross Product]] | |||
[[Category:Wikipedia metatemplates|Seven-Dimensional Cross Product]] | |||
[[Category:द्विरेखीय मानचित्र|Seven-Dimensional Cross Product]] | |||
[[Category:वैक्टर पर संचालन|Seven-Dimensional Cross Product]] |
Latest revision as of 17:01, 28 August 2023
गणित में, सप्त आकारीय क्रॉस गुणनफल, सप्त आकारीय यूक्लिडियन अंतरिक्ष में सदिश पर एक द्विरेखीय संचालक है। यह किन्हीं दो सदिशों a, b और सदिश a × b को में निर्दिष्ट करता है।[1] तीन आकारों में क्रॉस गुणनफल की तरह, सप्त आकारीय गुणनफल प्रतिविनिमय है और a × b में a और b दोनों के लिए समकोण है। तीन आकारों के विपरीत, यह जैकोबी समरूपता को संतुष्ट नहीं करता है, और त्रि-आकारीय क्रॉस गुणनफल एक संकेत तक अद्वितीय है, जबकि सप्त आकारीय क्रॉस गुणनफल कई हैं। सप्त आकारीय क्रॉस गुणनफल का अष्टकोणों से वही संबंध है जो त्रि-आकारीय गुणनफल का चतुर्भुजों से है।
सप्त आकारीय क्रॉस गुणनफल तीन आकारों के अतिरिक्त क्रॉस गुणनफल को सामान्यीकृत करने का एक तरीका है, और यह दो सदिशों का एकमात्र अन्य द्विरेखीय गुणनफल है जो सदिश-मान, समकोण और 3D स्तिथियों के समान परिमाण है।[2]अन्य आकारों में तीन या अधिक सदिश के सदिश-मान वाले गुणनफल होते हैं जो इन शर्तों को पूरा करते हैं, और द्विसदिश परिणामों के साथ बाइनरी गुणनफल होते हैं।
गुणन सारणी
× | e1 | e2 | e3 | e4 | e5 | e6 | e7 |
---|---|---|---|---|---|---|---|
e1 | 0 | e3 | −e2 | e5 | −e4 | −e7 | e6 |
e2 | −e3 | 0 | e1 | e6 | e7 | −e4 | −e5 |
e3 | e2 | −e1 | 0 | e7 | −e6 | e5 | −e4 |
e4 | −e5 | −e6 | −e7 | 0 | e1 | e2 | e3 |
e5 | e4 | −e7 | e6 | −e1 | 0 | −e3 | e2 |
e6 | e7 | e4 | −e5 | −e2 | e3 | 0 | −e1 |
e7 | −e6 | e5 | e4 | −e3 | −e2 | e1 | 0 |
दी गई सारणी की तरह गुणनफल को गुणन सारणी द्वारा दर्शाया जा सकता है। यह तालिका, केली के कारण,[3][4] प्रत्येक i, j के लिए 1 से 7 तक प्रसामान्य आधार सदिश ei और ej का गुणनफल देता है। उदाहरण के लिए, तालिका से
तालिका का उपयोग किन्हीं दो सदिशों के गुणनफल की गणना करने के लिए किया जा सकता है। उदाहरण के लिए, x × y के e1 घटक की गणना करने के लिए e1 उत्पन्न करने के लिए गुणा करने वाले आधार सदिश को चुना जा सकता है
इसे अन्य छह घटकों के लिए दोहराया जा सकता है।
परिभाषा को पूरा करने वाले प्रत्येक गुणनफल के लिए एक तालिका है और ऐसी 480 तालिकाएँ हैं।[5] इस तालिका को संबंध द्वारा संक्षेपित किया जा सकता है[4]:
जब ijk = 123, 145, 176, 246, 257, 347, 365 होता है तब सकारात्मक मान +1 के साथ एक पूरी तरह से असममित सदिश है।
इस तालिका का शीर्ष बाएँ 3 × 3 कोना तीन आकारों में क्रॉस गुणनफल देता है।
परिभाषा
यूक्लिडियन स्थान V पर क्रॉस गुणनफल V × V से V तक एक द्विरेखीय आलेखन है, जहाँ सदिश 'x' और 'y' और दूसरे सदिश 'x' × 'y' को V में आलेख करता है।
जहां 'x' × ' y' में गुण हैं:[1][6]
- वर्ग समीकरण:
जहां (x·y) यूक्लिडियन डॉट गुणनफल है और |x| यूक्लिडियन प्रमाण है। पहला गुण बताता है कि गुणनफल उसके तर्कों के वर्ग समीकरण है, जबकि दूसरा गुण गुणनफल का परिमाण बताता है। सदिश के बीच कोण θ के गुणनफल और सामान्यीकरण के संदर्भ में एक समतुल्य अभिव्यक्ति[7] है[8]
जो x और y के सतह में दो सदिशों की भुजा वाले समांतर चतुर्भुज का क्षेत्रफल है।[9] आकार की स्थिति का तीसरा कथन है:
यदि x × x = 0 को एक अलग सिद्धांत माना जाता है।[10]
परिभाषित गुणों के परिणाम
द्विरेखीयता, वर्ग समीकरण और परिमाण के गुणों को देखते हुए, एक गैर-शून्य क्रॉस गुणनफल केवल तीन और सप्त आकारों में उपलब्ध होता है।[2][8][10] जब आकार 0, 1, 3 या 7 होता है केवल तभी इसे क्रॉस गुणनफल के लिए आवश्यक गुणों को निर्धारित करके, फिर एक समीकरण निकालकर दिखाया जा सकता है। शून्य आकारों में सदिश केवल शून्य होता है, जबकि एक आकार में सभी सदिश समानांतर होते हैं, इसलिए इन दोनों स्तिथियों में गुणनफल समान रूप से शून्य होना चाहिए।
0, 1, 3 और 7 आकारों पर प्रतिबंध हर्विट्ज़ के प्रमेय (मानक विभाजन बीजगणित) से संबंधित है कि मानक विभाजन केवल 1, 2, 4 और 8 आकारों में ही संभव है। क्रॉस गुणनफल मानक विभाजन बीजगणित के गुणनफल से बनता है, इसे बीजगणित के 0, 1, 3, या 7 काल्पनिक आकारों तक सीमित करके, केवल तीन और सप्त आकारों में गैर-शून्य गुणनफल देता है।[11]
त्रि-आकारीय क्रॉस गुणनफल जो अद्वितीय है के विपरीत, सप्त आकारों में कई संभावित बाइनरी क्रॉस गुणनफल होते हैं। इसे देखने का एक तरीका यह है कि सदिश x और y के किसी भी जोड़े को ध्यान में रखें और परिमाण का कोई भी सदिश v |v| = |x||y| sin θ, x और y द्वारा फैलाए गए सतह के वर्ग समीकरण पांच-आकारीय स्थान में गुणन तालिका के साथ एक क्रॉस गुणनफल जैसे कि x × y = v ढूंढना संभव है। तीन आकारों के विपरीत, x × y = a × b का अर्थ यह नहीं है कि a और b, x और y के तरह समान सतह में हैं।[8]
आगे के गुण परिभाषा से अनुसरण करते हैं, जिनमें निम्नलिखित समरूपता सम्मिलित हैं:
- प्रतिविनिमय:
- अदिश त्रिगुण गुणनफल:
- मालसेव बीजगणित:[8]
अन्य गुण केवल त्रि-आकारीय स्तिथियों में अनुसरण करते हैं, और सप्त आकारीय क्रॉस गुणनफल से संतुष्ट नहीं होते हैं, विशेष रूप से,
- सदिश त्रिपक्षीय गुणनफल:
- जैकोबी समरूपता:[8]
ली बीजगणित की संरचना के अनुसार सप्तआकारीय क्रॉस गुणनफल R7 नहीं देता है इसलिए जैकोबी समरूपता संतुष्ट नहीं है।
अभिव्यक्तियों का समन्वय
किसी विशेष क्रॉस गुणनफल को परिभाषित करने के लिए, एक समबाहु आधार {ej} का चयन किया जा सकता है और एक गुणन तालिका प्रदान की जा सकती है जो सभी गुणनफलों {ei × ej} को निर्धारित करती है। गुणा तालिका में एक संभावित गुणन सारणी का वर्णन किया गया है, लेकिन यह अद्वितीय नहीं है।[5]तीन आकारों के विपरीत, कई तालिकाएँ हैं क्योंकि इकाई सदिश की प्रत्येक जोड़ी पांच अन्य इकाई सदिश के लंबवत है, जिससे प्रत्येक क्रॉस गुणनफल के लिए कई विकल्प मिलते हैं।
एक बार जब हम एक गुणन तालिका स्थापित कर लेते हैं, तो इसे आधार के संदर्भ में x और y को व्यक्त करके और द्विरेखीयता के माध्यम से x × y का विस्तार करके सामान्य सदिश x और y पर लागू किया जाता है।
× | e1 | e2 | e3 | e4 | e5 | e6 | e7 |
---|---|---|---|---|---|---|---|
e1 | 0 | e4 | e7 | −e2 | e6 | −e5 | −e3 |
e2 | −e4 | 0 | e5 | e1 | −e3 | e7 | −e6 |
e3 | −e7 | −e5 | 0 | e6 | e2 | −e4 | e1 |
e4 | e2 | −e1 | −e6 | 0 | e7 | e3 | −e5 |
e5 | −e6 | e3 | −e2 | −e7 | 0 | e1 | e4 |
e6 | e5 | −e7 | e4 | −e3 | −e1 | 0 | e2 |
e7 | e3 | e6 | −e1 | e5 | −e4 | −e2 | 0 |
आधार सदिश के लिए e1 से e7 का उपयोग करते हुए परिचय में दी गई गुणन सारणी से भिन्न गुणन तालिका दी गई है, जिससे एक अलग क्रॉस गुणनफल प्राप्त होता है, जिसे प्रतिविनिमय के साथ दिया गया है।[8]
इस नियम को अधिक संक्षेप में इस प्रकार लिखा जा सकता है
i = 1...7 मॉड्यूलर 7 और सूचकांकों i, i + 1 और i + 3 के साथ समान रूप से क्रमपरिवर्तन की अनुमति दी गई। प्रतिविनिमय के साथ मिलकर यह गुणनफल उत्पन्न करता है। यह नियम सीधे तालिका में शून्य के विकर्ण के ठीक समीप दो विकर्ण उत्पन्न करता है। इसके अतिरिक्त, परिणामों पर उपशाखा में एक समरूपता से,
जो आगे की ओर विकर्ण उत्पन्न करता है, इत्यादि।
क्रॉस उत्पाद x × y का ej घटक तालिका में ej की सभी घटनाओं का चयन करके और बाएं कॉलम से x और शीर्ष पंक्ति से y के संबंधित घटकों को एकत्रित करके दिया जाता है। परिणाम है:
चूँकि क्रॉस गुणनफल द्विरेखीय है इसलिए संचालक x×– को एक मैट्रिक्स के रूप में लिखा जा सकता है, जो रूप लेता है
इसके बाद क्रॉस गुणनफल दिया जाता है
विभिन्न गुणन सारणी
इस आलेख में दो अलग-अलग गुणन तालिकाओं का उपयोग किया गया है, इसके अतिरिक्त भी विभिन्न तालिकायें होती है।[5][12] इन गुणन तालिकाओं को फ़ानो सतह द्वारा चित्रित किया गया है,[13]और इन्हें यहां उपयोग की गई दो तालिकाओं के चित्र में दिखाया गया है: सबसे ऊपर, सबिनिन, सबितनेवा और शेस्ताकोव द्वारा वर्णित तालिका, और सबसे नीचे लूनेस्टो द्वारा वर्णित तालिका है। फ़ानो आरेख के अंतर्गत संख्याएँ प्रत्येक स्तिथियों में सप्त स्वतंत्र गुणनफलों के लिए सूचकांकों का एक समुच्चय दर्शाती हैं, जिसे ijk → ei × ej = ek के रूप में दर्शाया जाता है। गुणन तालिका को फ़ानो आरेख से किन्हीं तीन बिंदुओं को जोड़ने वाली सीधी रेखा या केंद्र में वृत्त का अनुसरण करके तीरों द्वारा दिए गए चिह्न के साथ पुनर्प्राप्त किया जाता है। उदाहरण के लिए, उपरोक्त सूचि में e1 के परिणामस्वरूप होने वाले गुणन की पहली पंक्ति निचले फैनो आरेख में e1 से जुड़े तीन पथों का पालन करके प्राप्त की जाती है। निचले फ़ैनो आरेख में: वृत्ताकार पथ e2 × e4, और विकर्ण पथ e3 × e7 और किनारे पथ e6 × e1 = e5 का उपरोक्त समरूपता में से एक उपयोग करके पुनर्व्यवस्थित किया गया इस प्रकार है :
या
आरेख से सीधे इस नियम के साथ प्राप्त किया जाता है कि एक सीधी रेखा पर कोई भी दो इकाई सदिश उस सीधी रेखा पर तीसरी इकाई सदिश से गुणा करके तीरों के अनुसार संकेतों के साथ जुड़े होते हैं (क्रमपरिवर्तन का संकेत जो इकाई सदिश को आदेश देता है)।
यह देखा जा सकता है कि दोनों गुणन नियम केवल इकाई सदिश का नाम बदलकर और केंद्र इकाई सदिश का अर्थ बदलकर एक ही फ़ानो आरेख का पालन करते हैं। आधार के सभी संभावित क्रमपरिवर्तनों को ध्यान में रखते हुए इस तरह के 480 गुणन सारणी और 480 क्रॉस गुणनफल हैं।[13]
ज्यामितीय बीजगणित का उपयोग करना
गुणनफल की गणना ज्यामितीय बीजगणित का उपयोग करके भी की जा सकती है। गुणनफल बाहरी गुणनफल से शुरू होता है, दो सदिशों का एक द्विसदिश मान गुणनफल:
यह द्विरेखीय है, वैकल्पिक, इसमें वांछित परिमाण है, लेकिन सदिश मान नहीं है। सदिश, और इसलिए क्रॉस गुणनफल, त्रिसदिश के साथ द्विसदिश के गुणनफल से आता है। परिमाण गुणक तक तीन आकारों में केवल एक त्रि-सदिश, स्थान का स्यूडोस्केलर और उपरोक्त द्विसदिश का एक गुणनफल होता है और दो इकाई त्रि-सदिश में से हॉज दोहरे का द्विसदिश एक सदिश परिणाम देता है।
एक समान गणना सप्त आकारों में की जाती है, सिवाय इसके कि त्रि-सदिश एक 35-आकारीय स्थान बनाते हैं, ऐसे कई त्रि-सदिश हैं जिनका उपयोग किया जा सकता है, हालांकि कोई भी त्रि-सदिश ऐसा नहीं करेगा। त्रि-सदिश जो उपरोक्त समन्वय परिवर्तन के समान गुणनफल देता है:
क्रॉस गुणनफल देने के लिए इसे बाहरी गुणनफल के साथ जोड़ा जाता है
जहाँ ज्यामितीय बीजगणित से बायां संकुचन संचालक है।[8][14]
अष्टकोणों से संबंध
जिस तरह 3-आकारीय क्रॉस गुणनफल को चतुर्भुज के संदर्भ में व्यक्त किया जा सकता है, उसी तरह 7-आकारीय क्रॉस गुणनफल को अष्टकोणों के संदर्भ में व्यक्त किया जा सकता है। समरूपता करने के बाद काल्पनिक अष्टकोणों के साथ क्रॉस गुणनफल अष्टकोणों गुणन के संदर्भ में दिया गया है:
इसके विपरीत, मान लीजिए कि V एक दिए गए क्रॉस गुणनफल के साथ 7-आकारीय यूक्लिडियन स्थान है। फिर कोई द्विरेखीय गुणन को में निम्नलिखित परिभाषित कर सकता है:
स्थान इसके साथ ही गुणन अष्टकोणों के समरूपी हो जाता है।[15]
क्रॉस गुणनफल केवल तीन और सप्त आकारों में उपलब्ध होता है क्योंकि कोई हमेशा ऊपर बताए अनुसार एक उच्च आकार के स्थान पर गुणन को परिभाषित कर सकता है, और इस स्थान को एक मानक विभाजन बीजगणित के रूप में दिखाया जा सकता है। हर्विट्ज़ के प्रमेय (मानक विभाजन बीजगणित) के अनुसार, ऐसे बीजगणित केवल एक, दो, चार और आठ आकारों में उपलब्ध होते हैं, इसलिए क्रॉस गुणनफल शून्य, एक, तीन या सप्त आकारों में होना चाहिए। शून्य और एक आकार में गुणनफल निम्न हैं, इसलिए गैर-निम्न क्रॉस गुणनफल केवल तीन और सप्त आकारों में उपलब्ध हैं।[16][17]
जैकोबी समरूपता को संतुष्ट करने में 7-आकार क्रॉस गुणनफल की विफलता अष्टकोणों की गैर-सहयोगिता के कारण है। वास्तव में,
जहां [x, y, z] सहयोगी है।
रोटेशन
तीन आकारों में क्रॉस गुणनफल घूर्णन समूह SO(3) की कार्रवाई के अंतर्गत अपरिवर्तनीय है, इसलिए घुमाए जाने के बाद x और y का क्रॉस गुणनफल घूर्णन के अंतर्गत x × y की छवि है। लेकिन यह अपरिवर्तनीयता सप्त आकारों में सत्य नहीं है; अर्थात्,सप्त आकारों में घूर्णन के समूह SO(7) के अंतर्गत क्रॉस गुणनफल अपरिवर्तनीय नहीं है। इसके बजाय यह SO(7) के एक उपसमूह, असाधारण ली समूह G 2 के अंतर्गत अपरिवर्तनीय है।[8][15]
सामान्यीकरण
गैर-शून्य बाइनरी क्रॉस गुणनफल केवल तीन और सप्त आकारों में उपलब्ध हैं। इस प्रतिबंध को हटाने पर कि यह एक द्विआधारी गुणनफल होना चाहिए आगे के गुणनफल संभव हैं ।[18][19] हमें प्रत्येक निविष्ट सदिश ai के लिए गुणनफल को बहु-रेखीय, वैकल्पिक संचालक, सदिश-मान और समकोण होना चाहिए। समकोण आवश्यकता का तात्पर्य है कि n आकारों में, n − 1 से कम सदिश का उपयोग किया जा सकता है। गुणनफल का परिमाण किनारों के रूप में सदिश के साथ समान्तर चतुर्भुज के आयतन के बराबर होना चाहिए, जिसकी गणना ग्राम निर्धारक का उपयोग करके की जा सकती है। जिनकी शर्तें निम्नलिखित हैं:
- समकोण: के लिए .
- ग्राम निर्धारक: ग्राम निर्धारक a1, ..., ak के किनारों के साथ समांतर चतुर्भुज का वर्ग आयतन है।
इन शर्तों के साथ केवल एक गैर-निम्न क्रॉस गुणनफल उपलब्ध है:
- तीन और सप्त आकारों में एक द्विआधारी गुणनफल के रूप में
- n ≥ 3 आकारों में n - 1 सदिश के गुणनफल के रूप में, सदिश के बाहरी गुणनफल का हॉज डुअल होना
- आठ आकारों में तीन सदिश के गुणनफल के रूप में
आठ आकारों में तीन सदिशों के गुणनफल का एक संस्करण दिया गया है:
निम्न गुणनफल भी हैं। जैसा कि पहले ही उल्लेख किया गया है, एक द्विआधारी गुणनफल केवल 7, 3, 1 और 0 आकारों में उपलब्ध होता है, अंतिम दो समान रूप से शून्य होते हैं। एक और निम्न 'गुणनफल' सम आकारों में उत्पन्न होता है, जो एक एकल सदिश लेता है और एक उपयुक्त बाय सदिश के साथ बाएं संकुचन के माध्यम से उसी परिमाण समकोण का एक सदिश उत्पन्न करता है। दो आकारों में यह एक समकोण से घूमना है।
एक और सामान्यीकरण के रूप में, हम बहुरेखीयता और परिमाण की आवश्यकताओं को लचीला कर सकते हैं, और एक सामान्य निरंतर क्रिया पर विचार कर सकते हैं (जहां है और यूक्लिडियन आंतरिक गुणनफल से संपन्न है ) जो केवल निम्नलिखित दो गुणों को संतुष्ट करने के लिए आवश्यक है:
- क्रॉस गुणनफल हमेशा सभी निविष्ट सदिश के लिए समकोण होता है।
- यदि निविष्ट सदिश रैखिक रूप से स्वतंत्र हैं, तो क्रॉस गुणनफल गैर-शून्य है।
इन आवश्यकताओं के अंतर्गत, क्रॉस गुणनफल केवल (I) , (II) , (III) और (IV) के लिए उपलब्ध है.[1]
यह भी देखें
टिप्पणियाँ
- ↑ 1.0 1.1 1.2 WS Massey (1983). "Cross products of vectors in higher dimensional Euclidean spaces". The American Mathematical Monthly. Mathematical Association of America. 90 (10): 697–701. doi:10.2307/2323537. JSTOR 2323537.
- ↑ 2.0 2.1
WS Massey (1983). "Cross products of vectors in higher dimensional Euclidean spaces". The American Mathematical Monthly. 90 (10): 697–701. doi:10.2307/2323537. JSTOR 2323537.
If one requires only three basic properties of the cross product ... it turns out that a cross product of vectors exists only in 3-dimensional and 7-dimensional Euclidean space.
- ↑ G Gentili, C Stoppato, DC Struppa and F Vlacci (2009). "Recent developments for regular functions of a hypercomplex variable". In Irene Sabadini; M Shapiro; F Sommen (eds.). हाइपरकॉम्प्लेक्स विश्लेषण (Conference on quaternionic and Clifford analysis; proceedings ed.). Birkhäuser. p. 168. ISBN 978-3-7643-9892-7.
{{cite book}}
: CS1 maint: multiple names: authors list (link) - ↑ 4.0 4.1 Lev Vasilʹevitch Sabinin; Larissa Sbitneva; I. P. Shestakov (2006). "§17.2 Octonion algebra and its regular bimodule representation". Non-associative algebra and its applications. CRC Press. p. 235. ISBN 0-8247-2669-3.
- ↑ 5.0 5.1 5.2 Rafał Abłamowicz; Pertti Lounesto; Josep M. Parra (1996). "§ Four octonionic basis numberings". Clifford algebras with numeric and symbolic computations. Birkhäuser. p. 202. ISBN 0-8176-3907-1.
- ↑ Mappings are restricted to be bilinear by (Massey 1993) and Robert B Brown & Alfred Gray (1967). "Vector cross products". Commentarii Mathematici Helvetici. Birkhäuser Basel. 42 (1/December): 222–236. doi:10.1007/BF02564418. S2CID 121135913..
- ↑ Francis Begnaud Hildebrand (1992). अनुप्रयुक्त गणित के तरीके (Reprint of Prentice-Hall 1965 2nd ed.). Courier Dover Publications. p. 24. ISBN 0-486-67002-3.
- ↑ 8.0 8.1 8.2 8.3 8.4 8.5 8.6 8.7 Lounesto, pp. 96–97
- ↑ Kendall, M. G. (2004). A Course in the Geometry of N Dimensions. Courier Dover Publications. p. 19. ISBN 0-486-43927-5.
- ↑ 10.0 10.1 Z.K. Silagadze (2002). "Multi-dimensional vector product". Journal of Physics A: Mathematical and General. 35 (23): 4949–4953. arXiv:math.RA/0204357. Bibcode:2002JPhA...35.4949S. doi:10.1088/0305-4470/35/23/310. S2CID 119165783.
- ↑ Nathan Jacobson (2009). Basic algebra I (Reprint of Freeman 1974 2nd ed.). Dover Publications. pp. 417–427. ISBN 978-0-486-47189-1.
- ↑ तालिकाओं और इन तालिकाओं से फ़ानो विमान के कनेक्शन की आगे की चर्चा यहां पाई गई है: Tony Smith. "ऑक्टोनियन उत्पाद और जाली". Retrieved 2018-05-12.
- ↑ 13.0 13.1 Jörg Schray; Corinne A. Manogue (1996). "Octonionic representations of Clifford algebras and triality". Foundations of Physics. 26 (1/January): 17–70. arXiv:hep-th/9407179. Bibcode:1996FoPh...26...17S. doi:10.1007/BF02058887. S2CID 119604596. Available as ArXive preprint Figure 1 is located here.
- ↑ Bertfried Fauser (2004). "§18.4.2 Contractions". In Pertti Lounesto; Rafał Abłamowicz (eds.). क्लिफ़ोर्ड बीजगणित: गणित, भौतिकी और इंजीनियरिंग के लिए अनुप्रयोग. Birkhäuser. pp. 292 ff. ISBN 0-8176-3525-4.
- ↑ 15.0 15.1 John C. Baez (2002). "The Octonions" (PDF). Bull. Amer. Math. Soc. 39 (2): 145–205. arXiv:math/0105155. doi:10.1090/s0273-0979-01-00934-x. S2CID 586512. Archived from the original (PDF) on 2010-07-07.
- ↑
Elduque, Alberto (2004). "Vector cross products" (PDF).
{{cite journal}}
: Cite journal requires|journal=
(help) - ↑
Darpö, Erik (2009). "Vector product algebras". Bulletin of the London Mathematical Society. 41 (5): 898–902. arXiv:0810.5464. doi:10.1112/blms/bdp066. S2CID 122615967. See also: "Real vector product algebras". CiteSeerX 10.1.1.66.4.
{{cite journal}}
: Cite journal requires|journal=
(help) - ↑ लुनेस्टा, §7.5: के वैक्टर का क्रॉस उत्पाद , पी। 98
- ↑ Jean H. Gallier (2001). "Problem 7.10 (2)". Geometric methods and applications: for computer science and engineering. Springer. p. 244. ISBN 0-387-95044-3.
संदर्भ
- Brown, Robert B.; Gray, Alfred (1967). "Vector cross products". Commentarii Mathematici Helvetici. 42 (1): 222–236. doi:10.1007/BF02564418. S2CID 121135913.
- Lounesto, Pertti (2001). Clifford algebras and spinors. Cambridge, UK: Cambridge University Press. ISBN 0-521-00551-5.
- Silagadze, Z.K. (2002). "Multi-dimensional vector product". J Phys A. 35 (23): 4949–4953. arXiv:math/0204357. Bibcode:2002JPhA...35.4949S. doi:10.1088/0305-4470/35/23/310. S2CID 119165783. Also available as ArXiv reprint arXiv:math.RA/0204357.
- Massey, W.S. (1983). "Cross products of vectors in higher dimensional Euclidean spaces". The American Mathematical Monthly. 90 (10): 697–701. doi:10.2307/2323537. JSTOR 2323537.