सप्त आकारीय क्रॉस गुणनफल: Difference between revisions

From Vigyanwiki
mNo edit summary
mNo edit summary
Line 1: Line 1:
गणित में, सप्त आकारीय क्रॉस उत्पाद सप्त आकारीय यूक्लिडियन अंतरिक्ष में [[वेक्टर (गणित)|सदिश (गणित)]] एक द्विरेखीय संचालक है। यह किन्हीं दो सदिशों a, b और सदिश {{nowrap|'''a''' × '''b'''}} को {{tmath|\mathbb{R}^7}} में निर्दिष्ट करता है।<ref name=Massey0>
गणित में, सप्त आकारीय क्रॉस गुणनफल, सप्त आकारीय यूक्लिडियन अंतरिक्ष में [[वेक्टर (गणित)|सदिश]] पर एक द्विरेखीय संचालक है। यह किन्हीं दो सदिशों 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> तीन आकारों में क्रॉस उत्पाद की तरह, सप्त आकारीय उत्पाद[[ प्रतिसंक्रामकता ]]है और {{nowrap|'''a''' × '''b'''}} में a और b दोनों के लिए समकोण है। तीन आकारों के विपरीत, यह [[जैकोबी पहचान|जैकोबी समरूपता]] को संतुष्ट नहीं करता है, और जबकि त्रि-आकारीय क्रॉस उत्पाद एक संकेत तक अद्वितीय है, कई सप्त आकारीय क्रॉस उत्पाद हैं। सप्त आकारीय क्रॉस उत्पाद का अष्टकोणों से वही संबंध है जो त्रि-आकारीय उत्पाद का चतुर्भुजों से है।
</ref> तीन आकारों में क्रॉस गुणनफल की तरह, सप्त आकारीय गुणनफल[[ प्रतिसंक्रामकता | प्रतिविनिमय]] है और {{nowrap|'''a''' × '''b'''}} में a और b दोनों के लिए समकोण है। तीन आकारों के विपरीत, यह [[जैकोबी पहचान|जैकोबी समरूपता]] को संतुष्ट नहीं करता है, और त्रि-आकारीय क्रॉस गुणनफल एक संकेत तक अद्वितीय है, जबकि सप्त आकारीय क्रॉस गुणनफल कई हैं। सप्त आकारीय क्रॉस गुणनफल का अष्टकोणों से वही संबंध है जो त्रि-आकारीय गुणनफल का चतुर्भुजों से है।


सप्त आकारीय क्रॉस उत्पाद तीन आकारों के अलावा क्रॉस उत्पाद को सामान्यीकृत करने का एक तरीका है, और यह दो सदिशों का एकमात्र अन्य द्विरेखीय उत्पाद है जो सदिश-मान, समकोण है, और 3D  स्तिथियों के समान परिमाण है।<ref name=Massey2/>अन्य आकारों में तीन या अधिक सदिश के सदिश-मान वाले उत्पाद होते हैं जो इन शर्तों को पूरा करते हैं, और [[ bivector ]] परिणामों के साथ बाइनरी उत्पाद होते हैं।
सप्त आकारीय क्रॉस गुणनफल तीन आकारों के अतिरिक्त क्रॉस गुणनफल को सामान्यीकृत करने का एक तरीका है, और यह दो सदिशों का एकमात्र अन्य द्विरेखीय गुणनफल है जो सदिश-मान, समकोण और 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 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> ऑर्थोनॉर्मल आधार सदिश ई का उत्पाद देता है<sub>''i''</sub> और <sub>''j''</sub> 1 से 7 तक प्रत्येक i, j के लिए। उदाहरण के लिए, तालिका से
</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>
तालिका का उपयोग किन्हीं दो सदिशों के उत्पाद की गणना करने के लिए किया जा सकता है। उदाहरण के लिए, ई की गणना करने के लिए<sub>1</sub> x × y का घटक आधार सदिश है जो e उत्पन्न करने के लिए गुणा करता है<sub>1</sub> देने के लिए चुना जा सकता है
तालिका का उपयोग किन्हीं दो सदिशों के गुणनफल की गणना करने के लिए किया जा सकता है। उदाहरण के लिए, 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>
परिभाषा को पूरा करने वाले प्रत्येक गुणनफल के लिए एक तालिका है और ऐसी 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/>:<math>\mathbf{e}_i \mathbf{\times} \mathbf{e}_j =  \varepsilon _{ijk} \mathbf{e}_k, </math>
</ref> इस तालिका को संबंध द्वारा संक्षेपित किया जा सकता है<ref name= Shestakov/>:
कहाँ <math>\varepsilon _{ijk}</math> जब ijk = 123, 145, 176, 246, 257, 347, 365 सकारात्मक मान +1 के साथ एक पूरी तरह से एंटीसिमेट्रिक टेंसर है।


इस तालिका का शीर्ष बाएँ 3 × 3 कोना तीन आकारों में क्रॉस उत्पाद देता है।
<math>\mathbf{e}_i \mathbf{\times} \mathbf{e}_j =  \varepsilon _{ijk} \mathbf{e}_k, </math>
 
जहाँ <math>\varepsilon _{ijk}</math> जब ijk = 123, 145, 176, 246, 257, 347, 365 सकारात्मक मान +1 के साथ एक पूरी तरह से एंटीसिमेट्रिक टेंसर है।
 
इस तालिका का शीर्ष बाएँ 3 × 3 कोना तीन आकारों में क्रॉस गुणनफल देता है।


==परिभाषा==
==परिभाषा==
[[ यूक्लिडियन स्थान ]] V पर क्रॉस उत्पाद V × V से V तक एक [[द्विरेखीय मानचित्र]] है, V में सदिश 'x' और 'y' को दूसरे सदिश 'x' × 'y' में मैप करता है, V में भी, जहां 'x' × ' y' में गुण हैं<ref name=Massey0/><ref name=Brown>
[[ यूक्लिडियन स्थान ]] 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>
*रूढ़िवादिता:
*रूढ़िवादिता:
Line 107: Line 110:
*[[सामान्य (गणित)]]:
*[[सामान्य (गणित)]]:
::<math>|\mathbf{x} \times \mathbf{y}|^2 = |\mathbf{x}|^2 |\mathbf{y}|^2 - (\mathbf{x} \cdot \mathbf{y})^2 </math>
::<math>|\mathbf{x} \times \mathbf{y}|^2 = |\mathbf{x}|^2 |\mathbf{y}|^2 - (\mathbf{x} \cdot \mathbf{y})^2 </math>
जहां (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}}
जहां (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/>


Line 129: Line 132:


==परिभाषित गुणों के परिणाम==
==परिभाषित गुणों के परिणाम==
द्विरेखीयता, रूढ़िवादिता और परिमाण के गुणों को देखते हुए, एक गैर-शून्य क्रॉस उत्पाद केवल तीन और सप्त आकारों में मौजूद होता है।<ref name=Massey2>
द्विरेखीयता, रूढ़िवादिता और परिमाण के गुणों को देखते हुए, एक गैर-शून्य क्रॉस गुणनफल केवल तीन और सप्त आकारों में मौजूद होता है।<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/>  इसे क्रॉस उत्पाद के लिए आवश्यक गुणों को निर्धारित करके, फिर एक समीकरण निकालकर दिखाया जा सकता है जो केवल तभी संतुष्ट होता है जब आयाम 0, 1, 3 या 7 हो। शून्य आकारों में केवल शून्य सदिश होता है, जबकि एक आयाम में सभी सदिश होते हैं समानांतर हैं, इसलिए इन दोनों मामलों में उत्पाद समान रूप से शून्य होना चाहिए।
</ref><ref name=Silagadze1/>  इसे क्रॉस गुणनफल के लिए आवश्यक गुणों को निर्धारित करके, फिर एक समीकरण निकालकर दिखाया जा सकता है जो केवल तभी संतुष्ट होता है जब आयाम 0, 1, 3 या 7 हो। शून्य आकारों में केवल शून्य सदिश होता है, जबकि एक आयाम में सभी सदिश होते हैं समानांतर हैं, इसलिए इन दोनों मामलों में गुणनफल समान रूप से शून्य होना चाहिए।


0, 1, 3 और 7 आकारों पर प्रतिबंध हर्विट्ज़ के प्रमेय (मानक विभाजन बीजगणित) से संबंधित है|हर्विट्ज़ के प्रमेय, कि मानक विभाजन बीजगणित केवल 1, 2, 4 और 8 आकारों में ही संभव है। क्रॉस उत्पाद मानक विभाजन बीजगणित के उत्पाद से बनता है, इसे बीजगणित के 0, 1, 3, या 7 काल्पनिक आकारों तक सीमित करके, केवल तीन और सप्त आकारों में गैर-शून्य उत्पाद देता है।<ref name=Jacobson>
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| x और y द्वारा फैलाए गए विमान के लंबवत पांच-आकारीय स्थान में पाप ''θ'', गुणन तालिका (और आधार सदिश के एक संबद्ध सेट) के साथ एक क्रॉस उत्पाद ढूंढना संभव है जैसे कि x × y = v तीन आकारों के विपरीत, x × y = a × b का अर्थ यह नहीं है कि a और b, x और y के समान तल में हैं।<ref name = Lounesto/>
त्रि-आकारीय क्रॉस गुणनफल के विपरीत, जो अद्वितीय है (चिह्न के अतिरिक्त), सप्त आकारों में कई संभावित बाइनरी क्रॉस गुणनफल हैं। इसे देखने का एक तरीका यह है कि सदिश x और y के किसी भी जोड़े को ध्यान में रखें <math>\isin \mathbb{R}^7</math> और परिमाण का कोई भी सदिश v |v| = |x||y| x और y द्वारा फैलाए गए विमान के लंबवत पांच-आकारीय स्थान में पाप ''θ'', गुणन तालिका (और आधार सदिश के एक संबद्ध सेट) के साथ एक क्रॉस गुणनफल ढूंढना संभव है जैसे कि x × y = v तीन आकारों के विपरीत, x × y = a × b का अर्थ यह नहीं है कि a और b, x और y के समान तल में हैं।<ref name = Lounesto/>


आगे के गुण परिभाषा से अनुसरण करते हैं, जिनमें निम्नलिखित समरूपता सम्मिलित हैं:
आगे के गुण परिभाषा से अनुसरण करते हैं, जिनमें निम्नलिखित समरूपता सम्मिलित हैं:
Line 141: Line 144:
#प्रतिविनिमय:
#प्रतिविनिमय:
#:<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/>#:<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>
#जैकोबी समरूपता:<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>
क्योंकि जैकोबी समरूपता संतुष्ट नहीं है, सप्तआकारीय क्रॉस उत्पाद आर नहीं देता है<sup>7</sup>[[झूठ बीजगणित]] की संरचना।
क्योंकि जैकोबी समरूपता संतुष्ट नहीं है, सप्तआकारीय क्रॉस गुणनफल आर नहीं देता है<sup>7</sup>[[झूठ बीजगणित]] की संरचना।


==अभिव्यक्तियों का समन्वय==
==अभिव्यक्तियों का समन्वय==
किसी विशेष क्रॉस उत्पाद को परिभाषित करने के लिए, एक [[ऑर्थोनॉर्मल आधार]] {ई<sub>''j''</sub>} का चयन किया जा सकता है और एक गुणन तालिका प्रदान की जा सकती है जो सभी उत्पादों को निर्धारित करती है {ई<sub>''i''</sub> × और<sub>''j''</sub>}. #गुणा तालिका में एक संभावित गुणन सारणी का वर्णन किया गया है, लेकिन यह अद्वितीय नहीं है।<ref name=Parra/>तीन आकारों के विपरीत, कई तालिकाएँ हैं क्योंकि यूनिट सदिश की प्रत्येक जोड़ी पांच अन्य यूनिट सदिश के लंबवत है, जिससे प्रत्येक क्रॉस उत्पाद के लिए कई विकल्प मिलते हैं।
किसी विशेष क्रॉस गुणनफल को परिभाषित करने के लिए, एक [[ऑर्थोनॉर्मल आधार]] {ई<sub>''j''</sub>} का चयन किया जा सकता है और एक गुणन तालिका प्रदान की जा सकती है जो सभी गुणनफलों को निर्धारित करती है {ई<sub>''i''</sub> × और<sub>''j''</sub>}. #गुणा तालिका में एक संभावित गुणन सारणी का वर्णन किया गया है, लेकिन यह अद्वितीय नहीं है।<ref name=Parra/>तीन आकारों के विपरीत, कई तालिकाएँ हैं क्योंकि यूनिट सदिश की प्रत्येक जोड़ी पांच अन्य यूनिट सदिश के लंबवत है, जिससे प्रत्येक क्रॉस गुणनफल के लिए कई विकल्प मिलते हैं।


एक बार जब हम एक गुणन तालिका स्थापित कर लेते हैं, तो इसे आधार के संदर्भ में x और y को व्यक्त करके और द्विरेखीयता के माध्यम से x × y का विस्तार करके सामान्य सदिश x और y पर लागू किया जाता है।
एक बार जब हम एक गुणन तालिका स्थापित कर लेते हैं, तो इसे आधार के संदर्भ में x और y को व्यक्त करके और द्विरेखीयता के माध्यम से x × y का विस्तार करके सामान्य सदिश x और y पर लागू किया जाता है।
Line 230: Line 233:
  |-
  |-
|}
|}
ई का उपयोग करना<sub>1</sub> तब<sub>7</sub> आधार सदिश के लिए परिचय में दी गई गुणन सारणी से भिन्न गुणन तालिका दी गई है, जिससे एक भिन्न क्रॉस उत्पाद प्राप्त होता है, जिसे एंटीकम्यूटेटिविटी के साथ दिया गया है।<ref name="Lounesto"/>
ई का उपयोग करना<sub>1</sub> तब<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>
Line 242: Line 245:


: <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>
जो आगे की ओर विकर्ण उत्पन्न करता है, इत्यादि।
जो आगे की ओर विकर्ण उत्पन्न करता है, इत्यादि।


ई<sub>j</sub> क्रॉस उत्पाद x × y का घटक ई की सभी घटनाओं का चयन करके दिया गया है<sub>j</sub> तालिका में और बाएं कॉलम से x और शीर्ष पंक्ति से y के संबंधित घटकों को एकत्रित करना। परिणाम है:
ई<sub>j</sub> क्रॉस गुणनफल x × y का घटक ई की सभी घटनाओं का चयन करके दिया गया है<sub>j</sub> तालिका में और बाएं कॉलम से x और शीर्ष पंक्ति से y के संबंधित घटकों को एकत्रित करना। परिणाम है:


:<math>\begin{align}\mathbf{x} \times \mathbf{y}
:<math>\begin{align}\mathbf{x} \times \mathbf{y}
Line 257: Line 260:
  {}+ (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×– को एक मैट्रिक्स के रूप में लिखा जा सकता है, जो रूप लेता है{{Citation needed|date=July 2010}}
चूँकि क्रॉस गुणनफल द्विरेखीय है इसलिए ऑपरेटर x×– को एक मैट्रिक्स के रूप में लिखा जा सकता है, जो रूप लेता है{{Citation needed|date=July 2010}}


:<math>T_{\mathbf x} = \begin{bmatrix}
:<math>T_{\mathbf x} = \begin{bmatrix}
Line 268: Line 271:
-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>
Line 280: Line 283:
{{cite book |title=क्लिफोर्ड बीजगणित और गणितीय भौतिकी में उनके अनुप्रयोग: बीजगणित और भौतिकी|author1=Rafał Abłamowicz |author2=Bertfried Fauser |page=26 |url=https://books.google.com/books?id=yvCC94xzJG8C&pg=PA26 |isbn=0-8176-4182-3 |year=2000 |publisher=Springer }}
{{cite book |title=क्लिफोर्ड बीजगणित और गणितीय भौतिकी में उनके अनुप्रयोग: बीजगणित और भौतिकी|author1=Rafał Abłamowicz |author2=Bertfried Fauser |page=26 |url=https://books.google.com/books?id=yvCC94xzJG8C&pg=PA26 |isbn=0-8176-4182-3 |year=2000 |publisher=Springer }}


<nowiki></ref></nowiki><ref name=Manogue/>और इन्हें यहां उपयोग की गई दो तालिकाओं के चित्र में दिखाया गया है: सबसे ऊपर, सबिनिन, सबितनेवा और शेस्ताकोव द्वारा वर्णित तालिका, और सबसे नीचे लूनेस्टो द्वारा वर्णित तालिका। फ़ानो आरेख (आरेख में रेखाओं का सेट) के अंतर्गत संख्याएँ प्रत्येक स्तिथियों में सप्त स्वतंत्र उत्पादों के लिए सूचकांकों का एक सेट दर्शाती हैं, जिसे ijk → 'e' के रूप में समझा जाता है।<sub>''i''</sub> × और<sub>''j''</sub> = और<sub>''k''</sub>. गुणन तालिका को फ़ानो आरेख से किन्हीं तीन बिंदुओं को जोड़ने वाली सीधी रेखा या केंद्र में वृत्त का अनुसरण करके तीरों द्वारा दिए गए चिह्न के साथ पुनर्प्राप्त किया जाता है। उदाहरण के लिए, गुणन की पहली पंक्ति जिसके परिणामस्वरूप e आता है<sub>1</sub> #निर्देशांक में अभिव्यक्ति ई से जुड़े तीन पथों का अनुसरण करके प्राप्त की जाती है<sub>1</sub> निचले फ़ैनो आरेख में: वृत्ताकार पथ e<sub>2</sub> × और<sub>4</sub>, विकर्ण पथ ई<sub>3</sub> × और<sub>7</sub>, और किनारे का रास्ता ई<sub>6</sub> × और<sub>1</sub> = और<sub>5</sub> #परिणाम_के_परिभाषित_गुणों का उपयोग करके इस प्रकार पुनर्व्यवस्थित किया गया:
<nowiki></ref></nowiki><ref name=Manogue/>और इन्हें यहां उपयोग की गई दो तालिकाओं के चित्र में दिखाया गया है: सबसे ऊपर, सबिनिन, सबितनेवा और शेस्ताकोव द्वारा वर्णित तालिका, और सबसे नीचे लूनेस्टो द्वारा वर्णित तालिका। फ़ानो आरेख (आरेख में रेखाओं का सेट) के अंतर्गत संख्याएँ प्रत्येक स्तिथियों में सप्त स्वतंत्र गुणनफलों के लिए सूचकांकों का एक सेट दर्शाती हैं, जिसे ijk → 'e' के रूप में समझा जाता है।<sub>''i''</sub> × और<sub>''j''</sub> = और<sub>''k''</sub>. गुणन तालिका को फ़ानो आरेख से किन्हीं तीन बिंदुओं को जोड़ने वाली सीधी रेखा या केंद्र में वृत्त का अनुसरण करके तीरों द्वारा दिए गए चिह्न के साथ पुनर्प्राप्त किया जाता है। उदाहरण के लिए, गुणन की पहली पंक्ति जिसके परिणामस्वरूप e आता है<sub>1</sub> #निर्देशांक में अभिव्यक्ति ई से जुड़े तीन पथों का अनुसरण करके प्राप्त की जाती है<sub>1</sub> निचले फ़ैनो आरेख में: वृत्ताकार पथ e<sub>2</sub> × और<sub>4</sub>, विकर्ण पथ ई<sub>3</sub> × और<sub>7</sub>, और किनारे का रास्ता ई<sub>6</sub> × और<sub>1</sub> = और<sub>5</sub> #परिणाम_के_परिभाषित_गुणों का उपयोग करके इस प्रकार पुनर्व्यवस्थित किया गया:


:<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 291:
आरेख से सीधे इस नियम के साथ प्राप्त किया जाता है कि एक सीधी रेखा पर कोई भी दो इकाई सदिश उस सीधी रेखा पर तीसरी इकाई सदिश से गुणा करके तीरों के अनुसार संकेतों के साथ जुड़े होते हैं (क्रमपरिवर्तन का संकेत जो इकाई सदिश को आदेश देता है)।
आरेख से सीधे इस नियम के साथ प्राप्त किया जाता है कि एक सीधी रेखा पर कोई भी दो इकाई सदिश उस सीधी रेखा पर तीसरी इकाई सदिश से गुणा करके तीरों के अनुसार संकेतों के साथ जुड़े होते हैं (क्रमपरिवर्तन का संकेत जो इकाई सदिश को आदेश देता है)।


यह देखा जा सकता है कि दोनों गुणन नियम केवल इकाई सदिश का नाम बदलकर और केंद्र इकाई सदिश की भावना को बदलकर एक ही फ़ानो आरेख का पालन करते हैं। आधार के सभी संभावित क्रमपरिवर्तनों को ध्यान में रखते हुए 480 गुणन सारणी और इस तरह 480 क्रॉस उत्पाद हैं।<ref name=Manogue>
यह देखा जा सकता है कि दोनों गुणन नियम केवल इकाई सदिश का नाम बदलकर और केंद्र इकाई सदिश की भावना को बदलकर एक ही फ़ानो आरेख का पालन करते हैं। आधार के सभी संभावित क्रमपरिवर्तनों को ध्यान में रखते हुए 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>
Line 294: Line 297:


===[[ज्यामितीय बीजगणित]] का उपयोग करना===
===[[ज्यामितीय बीजगणित]] का उपयोग करना===
उत्पाद की गणना ज्यामितीय बीजगणित का उपयोग करके भी की जा सकती है। उत्पाद [[बाहरी उत्पाद]] से शुरू होता है, दो सदिशों का एक द्विसदिश मान उत्पाद:
गुणनफल की गणना ज्यामितीय बीजगणित का उपयोग करके भी की जा सकती है। गुणनफल [[बाहरी उत्पाद|बाहरी गुणनफल]] से शुरू होता है, दो सदिशों का एक द्विसदिश मान गुणनफल:


:<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">
कहाँ <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 315:


==अष्टकोणों से संबंध==
==अष्टकोणों से संबंध==
जिस तरह 3-आकारीय क्रॉस उत्पाद को चतुर्भुज के संदर्भ में व्यक्त किया जा सकता है, उसी तरह 7-आकारीय क्रॉस उत्पाद को ऑक्टोनियन के संदर्भ में व्यक्त किया जा सकता है। समरूपता करने के बाद <math>\mathbb{R}^7</math> काल्पनिक अष्टकोणों के साथ (वास्तविक रेखा का ओर्थोगोनल पूरक)। <math>\mathbb{O}</math>), क्रॉस उत्पाद ऑक्टोनियन गुणन के संदर्भ में दिया गया है
जिस तरह 3-आकारीय क्रॉस गुणनफल को चतुर्भुज के संदर्भ में व्यक्त किया जा सकता है, उसी तरह 7-आकारीय क्रॉस गुणनफल को ऑक्टोनियन के संदर्भ में व्यक्त किया जा सकता है। समरूपता करने के बाद <math>\mathbb{R}^7</math> काल्पनिक अष्टकोणों के साथ (वास्तविक रेखा का ओर्थोगोनल पूरक)। <math>\mathbb{O}</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>
इसके विपरीत, मान लीजिए कि वी एक दिए गए क्रॉस उत्पाद के साथ 7-आकारीय यूक्लिडियन स्थान है। फिर कोई द्विरेखीय गुणन को परिभाषित कर सकता है <math>\mathbb{R} \oplus V</math> निम्नलिखित नुसार:
इसके विपरीत, मान लीजिए कि वी एक दिए गए क्रॉस गुणनफल के साथ 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>
अंतरिक्ष <math>\mathbb{R} \oplus V</math> इसके साथ ही गुणन अष्टकोणों के समरूपी हो जाता है।<ref name=Baez>
Line 335: Line 338:
  }}
  }}
</ref>
</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}}
Line 342: Line 345:


{{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>
{{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) के तहत क्रॉस उत्पाद अपरिवर्तनीय नहीं है। इसके बजाय यह असाधारण लाई समूह G2 (गणित)|G के अंतर्गत अपरिवर्तनीय है<sub>2</sub>, SO(7) का एक उपसमूह।<ref name=Lounesto/><ref name =Baez/>
तीन आकारों में क्रॉस गुणनफल रोटेशन समूह, [[SO(3)]] की कार्रवाई के तहत अपरिवर्तनीय है, इसलिए घुमाए जाने के बाद x और y का क्रॉस गुणनफल की छवि है {{nowrap|'''x''' × '''y'''}} रोटेशन के तहत. लेकिन यह अपरिवर्तनीयता सप्त आकारों में सत्य नहीं है; अर्थात्, सप्त आकारों में घूर्णन के समूह, [[ऑर्थोगोनल समूह|समकोण समूह]]|SO(7) के तहत क्रॉस गुणनफल अपरिवर्तनीय नहीं है। इसके बजाय यह असाधारण लाई समूह G2 (गणित)|G के अंतर्गत अपरिवर्तनीय है<sub>2</sub>, SO(7) का एक उपसमूह।<ref name=Lounesto/><ref name =Baez/>




==सामान्यीकरण==
==सामान्यीकरण==
गैर-शून्य बाइनरी क्रॉस उत्पाद केवल तीन और सप्त आकारों में मौजूद हैं। इस प्रतिबंध को हटाने पर आगे के उत्पाद संभव हैं कि यह एक द्विआधारी उत्पाद होना चाहिए।<ref name="k_vectors">लुनेस्टा, §7.5: के वैक्टर का क्रॉस उत्पाद <math>\mathbb{R}^n</math>, पी। 98</ref><ref name=Gallier>
गैर-शून्य बाइनरी क्रॉस गुणनफल केवल तीन और सप्त आकारों में मौजूद हैं। इस प्रतिबंध को हटाने पर आगे के गुणनफल संभव हैं कि यह एक द्विआधारी गुणनफल होना चाहिए।<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> हमें प्रत्येक निविष्ट सदिश के लिए उत्पाद को बहु-रेखीय, [[वैकल्पिक ऑपरेटर]], सदिश-मान और समकोण होना चाहिए।<sub>''i''</sub>. ऑर्थोगोनैलिटी आवश्यकता का तात्पर्य है कि n आकारों में, इससे अधिक नहीं {{nowrap|''n'' − 1}} सदिश का उपयोग किया जा सकता है। उत्पाद का परिमाण किनारों के रूप में सदिश के साथ पैरेललेपिप्ड#पैरेललोटोप के आयतन के बराबर होना चाहिए, जिसकी गणना ग्रामियन मैट्रिक्स#ग्राम निर्धारक का उपयोग करके की जा सकती है। शर्तें हैं
</ref> हमें प्रत्येक निविष्ट सदिश के लिए गुणनफल को बहु-रेखीय, [[वैकल्पिक ऑपरेटर]], सदिश-मान और समकोण होना चाहिए।<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">\left( \mathbf{a}_1 \times \ \cdots \ \times \mathbf{a}_k\right) \cdot \mathbf{a}_i = 0</math> के लिए <math>i = 1,\ \dots\ , k</math>.
Line 368: Line 371:
ग्राम निर्धारक एक के साथ समांतर चतुर्भुज का वर्ग आयतन है<sub>1</sub>, ..., ए<sub>''k''</sub> किनारों के रूप में.
ग्राम निर्धारक एक के साथ समांतर चतुर्भुज का वर्ग आयतन है<sub>1</sub>, ..., ए<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 आकारों में मौजूद होता है, अंतिम दो समान रूप से शून्य होते हैं। एक और तुच्छ 'उत्पाद' सम आकारों में उत्पन्न होता है, जो एक एकल सदिश लेता है और एक उपयुक्त बायसदिश के साथ बाएं संकुचन के माध्यम से उसी परिमाण समकोण का एक सदिश उत्पन्न करता है। दो आकारों में यह एक समकोण से घूमना है।
तुच्छ गुणनफल भी हैं. परिभाषित गुणों के #परिणाम के रूप में, एक द्विआधारी गुणनफल केवल 7, 3, 1 और 0 आकारों में मौजूद होता है, अंतिम दो समान रूप से शून्य होते हैं। एक और तुच्छ 'गुणनफल' सम आकारों में उत्पन्न होता है, जो एक एकल सदिश लेता है और एक उपयुक्त बायसदिश के साथ बाएं संकुचन के माध्यम से उसी परिमाण समकोण का एक सदिश उत्पन्न करता है। दो आकारों में यह एक समकोण से घूमना है।


एक और सामान्यीकरण के रूप में, हम बहुरेखीयता और परिमाण की आवश्यकताओं को ढीला कर सकते हैं, और एक सामान्य निरंतर कार्य पर विचार कर सकते हैं <math>V^d \to V</math> (कहाँ <math>V</math> है <math>\mathbb{R}^n</math> यूक्लिडियन आंतरिक उत्पाद से संपन्न और <math> d \geq 2 </math>) जो केवल निम्नलिखित दो गुणों को संतुष्ट करने के लिए आवश्यक है:
एक और सामान्यीकरण के रूप में, हम बहुरेखीयता और परिमाण की आवश्यकताओं को ढीला कर सकते हैं, और एक सामान्य निरंतर कार्य पर विचार कर सकते हैं <math>V^d \to V</math> (कहाँ <math>V</math> है <math>\mathbb{R}^n</math> यूक्लिडियन आंतरिक गुणनफल से संपन्न और <math> d \geq 2 </math>) जो केवल निम्नलिखित दो गुणों को संतुष्ट करने के लिए आवश्यक है:


# क्रॉस उत्पाद हमेशा सभी निविष्ट सदिश के लिए समकोण होता है।
# क्रॉस गुणनफल हमेशा सभी निविष्ट सदिश के लिए समकोण होता है।
# यदि निविष्ट सदिश रैखिक रूप से स्वतंत्र हैं, तो क्रॉस उत्पाद गैर-शून्य है।
# यदि निविष्ट सदिश रैखिक रूप से स्वतंत्र हैं, तो क्रॉस गुणनफल गैर-शून्य है।


इन आवश्यकताओं के तहत, क्रॉस उत्पाद केवल (I) के लिए मौजूद है <math>n = 3, d = 2</math>, (द्वितीय) के लिए <math>n = 7, d = 3</math>, (III) के लिए <math>n = 8, d = 3</math>, और (IV) किसी के लिए <math> d = n - 1 </math>.<ref name=Massey0/>
इन आवश्यकताओं के तहत, क्रॉस गुणनफल केवल (I) के लिए मौजूद है <math>n = 3, d = 2</math>, (द्वितीय) के लिए <math>n = 7, d = 3</math>, (III) के लिए <math>n = 8, d = 3</math>, और (IV) किसी के लिए <math> d = n - 1 </math>.<ref name=Massey0/>





Revision as of 11:26, 11 July 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 तक एक द्विरेखीय मानचित्र है, 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| x और y द्वारा फैलाए गए विमान के लंबवत पांच-आकारीय स्थान में पाप θ, गुणन तालिका (और आधार सदिश के एक संबद्ध सेट) के साथ एक क्रॉस गुणनफल ढूंढना संभव है जैसे कि x × y = v तीन आकारों के विपरीत, x × y = a × b का अर्थ यह नहीं है कि a और b, x और y के समान तल में हैं।[8]

आगे के गुण परिभाषा से अनुसरण करते हैं, जिनमें निम्नलिखित समरूपता सम्मिलित हैं:

  1. प्रतिविनिमय:
  2. अदिश त्रिगुण गुणनफल:
  3. मालसेव बीजगणित:[8]#:

अन्य गुण केवल त्रि-आकारीय स्तिथियों में अनुसरण करते हैं, और सप्त आकारीय क्रॉस गुणनफल से संतुष्ट नहीं होते हैं, विशेष रूप से,

  1. सदिश त्रिपक्षीय गुणनफल:
  2. जैकोबी समरूपता:[8]#:

क्योंकि जैकोबी समरूपता संतुष्ट नहीं है, सप्तआकारीय क्रॉस गुणनफल आर नहीं देता है7झूठ बीजगणित की संरचना।

अभिव्यक्तियों का समन्वय

किसी विशेष क्रॉस गुणनफल को परिभाषित करने के लिए, एक ऑर्थोनॉर्मल आधार {ईj} का चयन किया जा सकता है और एक गुणन तालिका प्रदान की जा सकती है जो सभी गुणनफलों को निर्धारित करती है {ईi × औरj}. #गुणा तालिका में एक संभावित गुणन सारणी का वर्णन किया गया है, लेकिन यह अद्वितीय नहीं है।[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

ई का उपयोग करना1 तब7 आधार सदिश के लिए परिचय में दी गई गुणन सारणी से भिन्न गुणन तालिका दी गई है, जिससे एक भिन्न क्रॉस गुणनफल प्राप्त होता है, जिसे एंटीकम्यूटेटिविटी के साथ दिया गया है।[8]

इस नियम को अधिक संक्षेप में इस प्रकार लिखा जा सकता है

i = 1...7 मॉड्यूलर अंकगणित 7 और सूचकांकों i, i + 1 और i + 3 के साथ समान रूप से क्रमपरिवर्तन की अनुमति दी गई। एंटीकम्यूटेटिविटी के साथ मिलकर यह गुणनफल उत्पन्न करता है। यह नियम सीधे तालिका में शून्य के विकर्ण के ठीक समीप दो विकर्ण उत्पन्न करता है। इसके अतिरिक्त, #परिभाषित_गुणों_के_परिणाम_पर उपधारा में एक समरूपता से,

जो आगे की ओर विकर्ण उत्पन्न करता है, इत्यादि।

j क्रॉस गुणनफल x × y का घटक ई की सभी घटनाओं का चयन करके दिया गया हैj तालिका में और बाएं कॉलम से x और शीर्ष पंक्ति से y के संबंधित घटकों को एकत्रित करना। परिणाम है:

चूँकि क्रॉस गुणनफल द्विरेखीय है इसलिए ऑपरेटर x×– को एक मैट्रिक्स के रूप में लिखा जा सकता है, जो रूप लेता है[citation needed]

इसके बाद क्रॉस गुणनफल दिया जाता है


विभिन्न गुणन सारणी

यहां उपयोग की गई दो गुणन तालिकाओं के लिए फ़ानो विमान।

इस आलेख में दो अलग-अलग गुणन तालिकाओं का उपयोग किया गया है, और भी हैं।[5][12] इन गुणन तालिकाओं को फ़ानो विमान द्वारा चित्रित किया गया है, रेफरी नाम=फौसर>

Rafał Abłamowicz; Bertfried Fauser (2000). क्लिफोर्ड बीजगणित और गणितीय भौतिकी में उनके अनुप्रयोग: बीजगणित और भौतिकी. Springer. p. 26. ISBN 0-8176-4182-3.

</ref>[13]और इन्हें यहां उपयोग की गई दो तालिकाओं के चित्र में दिखाया गया है: सबसे ऊपर, सबिनिन, सबितनेवा और शेस्ताकोव द्वारा वर्णित तालिका, और सबसे नीचे लूनेस्टो द्वारा वर्णित तालिका। फ़ानो आरेख (आरेख में रेखाओं का सेट) के अंतर्गत संख्याएँ प्रत्येक स्तिथियों में सप्त स्वतंत्र गुणनफलों के लिए सूचकांकों का एक सेट दर्शाती हैं, जिसे ijk → 'e' के रूप में समझा जाता है।i × औरj = औरk. गुणन तालिका को फ़ानो आरेख से किन्हीं तीन बिंदुओं को जोड़ने वाली सीधी रेखा या केंद्र में वृत्त का अनुसरण करके तीरों द्वारा दिए गए चिह्न के साथ पुनर्प्राप्त किया जाता है। उदाहरण के लिए, गुणन की पहली पंक्ति जिसके परिणामस्वरूप e आता है1 #निर्देशांक में अभिव्यक्ति ई से जुड़े तीन पथों का अनुसरण करके प्राप्त की जाती है1 निचले फ़ैनो आरेख में: वृत्ताकार पथ e2 × और4, विकर्ण पथ ई3 × और7, और किनारे का रास्ता ई6 × और1 = और5 #परिणाम_के_परिभाषित_गुणों का उपयोग करके इस प्रकार पुनर्व्यवस्थित किया गया:

या

आरेख से सीधे इस नियम के साथ प्राप्त किया जाता है कि एक सीधी रेखा पर कोई भी दो इकाई सदिश उस सीधी रेखा पर तीसरी इकाई सदिश से गुणा करके तीरों के अनुसार संकेतों के साथ जुड़े होते हैं (क्रमपरिवर्तन का संकेत जो इकाई सदिश को आदेश देता है)।

यह देखा जा सकता है कि दोनों गुणन नियम केवल इकाई सदिश का नाम बदलकर और केंद्र इकाई सदिश की भावना को बदलकर एक ही फ़ानो आरेख का पालन करते हैं। आधार के सभी संभावित क्रमपरिवर्तनों को ध्यान में रखते हुए 480 गुणन सारणी और इस तरह 480 क्रॉस गुणनफल हैं।[13]


ज्यामितीय बीजगणित का उपयोग करना

गुणनफल की गणना ज्यामितीय बीजगणित का उपयोग करके भी की जा सकती है। गुणनफल बाहरी गुणनफल से शुरू होता है, दो सदिशों का एक द्विसदिश मान गुणनफल:

यह द्विरेखीय है, वैकल्पिक है, इसमें वांछित परिमाण है, लेकिन सदिश मान नहीं है। सदिश, और इसलिए क्रॉस गुणनफल, त्रिसदिश के साथ इस बायसदिश के गुणनफल से आता है। स्केल फ़ैक्टर तक तीन आकारों में केवल एक त्रि-सदिश, स्पेस का स्यूडोस्केलर और उपरोक्त बाइसदिश का एक गुणनफल होता है और दो यूनिट त्रि-सदिश में से एक सदिश परिणाम देता है, बाइसदिश का हॉज दोहरे

एक समान गणना सप्त आकारों में की जाती है, सिवाय इसके कि त्रि-सदिश एक 35-आकारीय स्थान बनाते हैं, ऐसे कई त्रि-सदिश हैं जिनका उपयोग किया जा सकता है, हालांकि कोई भी त्रि-सदिश ऐसा नहीं करेगा। त्रि-सदिश जो उपरोक्त समन्वय परिवर्तन के समान गुणनफल देता है

क्रॉस गुणनफल देने के लिए इसे बाहरी गुणनफल के साथ जोड़ा जाता है

कहाँ ज्यामितीय बीजगणित#ज्यामितीय बीजगणित से आंतरिक और बाहरी गुणनफल ऑपरेटर का विस्तार है।[8][14]

अष्टकोणों से संबंध

जिस तरह 3-आकारीय क्रॉस गुणनफल को चतुर्भुज के संदर्भ में व्यक्त किया जा सकता है, उसी तरह 7-आकारीय क्रॉस गुणनफल को ऑक्टोनियन के संदर्भ में व्यक्त किया जा सकता है। समरूपता करने के बाद काल्पनिक अष्टकोणों के साथ (वास्तविक रेखा का ओर्थोगोनल पूरक)। ), क्रॉस गुणनफल ऑक्टोनियन गुणन के संदर्भ में दिया गया है

इसके विपरीत, मान लीजिए कि वी एक दिए गए क्रॉस गुणनफल के साथ 7-आकारीय यूक्लिडियन स्थान है। फिर कोई द्विरेखीय गुणन को परिभाषित कर सकता है निम्नलिखित नुसार:

अंतरिक्ष इसके साथ ही गुणन अष्टकोणों के समरूपी हो जाता है।[15] क्रॉस गुणनफल केवल तीन और सप्त आकारों में मौजूद होता है क्योंकि कोई हमेशा ऊपर बताए अनुसार एक उच्च आयाम के स्थान पर गुणन को परिभाषित कर सकता है, और इस स्थान को एक मानक विभाजन बीजगणित के रूप में दिखाया जा सकता है। हर्विट्ज़ के प्रमेय (मानक विभाजन बीजगणित) के अनुसार|हर्विट्ज़ के प्रमेय के अनुसार ऐसे बीजगणित केवल एक, दो, चार और आठ आकारों में मौजूद होते हैं, इसलिए क्रॉस गुणनफल शून्य, एक, तीन या सप्त आकारों में होना चाहिए। शून्य और एक आयाम में गुणनफल तुच्छ हैं, इसलिए गैर-तुच्छ क्रॉस गुणनफल केवल तीन और सप्त आकारों में मौजूद हैं।[16][17] जैकोबी समरूपता को संतुष्ट करने में 7-आयाम क्रॉस गुणनफल की विफलता ऑक्टोनियन की गैर-सहयोगिता के कारण है। वास्तव में,

जहां [x, y, z] सहयोगी है।

रोटेशन

तीन आकारों में क्रॉस गुणनफल रोटेशन समूह, SO(3) की कार्रवाई के तहत अपरिवर्तनीय है, इसलिए घुमाए जाने के बाद x और y का क्रॉस गुणनफल की छवि है x × y रोटेशन के तहत. लेकिन यह अपरिवर्तनीयता सप्त आकारों में सत्य नहीं है; अर्थात्, सप्त आकारों में घूर्णन के समूह, समकोण समूह|SO(7) के तहत क्रॉस गुणनफल अपरिवर्तनीय नहीं है। इसके बजाय यह असाधारण लाई समूह G2 (गणित)|G के अंतर्गत अपरिवर्तनीय है2, SO(7) का एक उपसमूह।[8][15]


सामान्यीकरण

गैर-शून्य बाइनरी क्रॉस गुणनफल केवल तीन और सप्त आकारों में मौजूद हैं। इस प्रतिबंध को हटाने पर आगे के गुणनफल संभव हैं कि यह एक द्विआधारी गुणनफल होना चाहिए।[18][19] हमें प्रत्येक निविष्ट सदिश के लिए गुणनफल को बहु-रेखीय, वैकल्पिक ऑपरेटर, सदिश-मान और समकोण होना चाहिए।i. ऑर्थोगोनैलिटी आवश्यकता का तात्पर्य है कि n आकारों में, इससे अधिक नहीं n − 1 सदिश का उपयोग किया जा सकता है। गुणनफल का परिमाण किनारों के रूप में सदिश के साथ पैरेललेपिप्ड#पैरेललोटोप के आयतन के बराबर होना चाहिए, जिसकी गणना ग्रामियन मैट्रिक्स#ग्राम निर्धारक का उपयोग करके की जा सकती है। शर्तें हैं

  • रूढ़िवादिता:
    के लिए .
  • ग्राम निर्धारक:

ग्राम निर्धारक एक के साथ समांतर चतुर्भुज का वर्ग आयतन है1, ..., एk किनारों के रूप में.

इन शर्तों के साथ एक गैर-तुच्छ क्रॉस गुणनफल केवल मौजूद है:

  • तीन और सप्त आकारों में एक द्विआधारी गुणनफल के रूप में
  • n ≥ 3 आकारों में n - 1 सदिश के गुणनफल के रूप में, सदिश के बाहरी गुणनफल का हॉज डुअल होना
  • आठ आकारों में तीन सदिश के गुणनफल के रूप में

आठ आकारों में तीन सदिशों के गुणनफल का एक संस्करण दिया गया है

जहां v वही ​​त्रि-सदिश है जिसका उपयोग सप्त आकारों में किया जाता है, फिर से बायां संकुचन है, और w = −ve12...7 एक 4-सदिश है.

तुच्छ गुणनफल भी हैं. परिभाषित गुणों के #परिणाम के रूप में, एक द्विआधारी गुणनफल केवल 7, 3, 1 और 0 आकारों में मौजूद होता है, अंतिम दो समान रूप से शून्य होते हैं। एक और तुच्छ 'गुणनफल' सम आकारों में उत्पन्न होता है, जो एक एकल सदिश लेता है और एक उपयुक्त बायसदिश के साथ बाएं संकुचन के माध्यम से उसी परिमाण समकोण का एक सदिश उत्पन्न करता है। दो आकारों में यह एक समकोण से घूमना है।

एक और सामान्यीकरण के रूप में, हम बहुरेखीयता और परिमाण की आवश्यकताओं को ढीला कर सकते हैं, और एक सामान्य निरंतर कार्य पर विचार कर सकते हैं (कहाँ है यूक्लिडियन आंतरिक गुणनफल से संपन्न और ) जो केवल निम्नलिखित दो गुणों को संतुष्ट करने के लिए आवश्यक है:

  1. क्रॉस गुणनफल हमेशा सभी निविष्ट सदिश के लिए समकोण होता है।
  2. यदि निविष्ट सदिश रैखिक रूप से स्वतंत्र हैं, तो क्रॉस गुणनफल गैर-शून्य है।

इन आवश्यकताओं के तहत, क्रॉस गुणनफल केवल (I) के लिए मौजूद है , (द्वितीय) के लिए , (III) के लिए , और (IV) किसी के लिए .[1]


यह भी देखें

टिप्पणियाँ

  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. 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.
  3. 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. 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. 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.
  6. 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..
  7. Francis Begnaud Hildebrand (1992). अनुप्रयुक्त गणित के तरीके (Reprint of Prentice-Hall 1965 2nd ed.). Courier Dover Publications. p. 24. ISBN 0-486-67002-3.
  8. 8.0 8.1 8.2 8.3 8.4 8.5 8.6 8.7 Lounesto, pp. 96–97
  9. Kendall, M. G. (2004). A Course in the Geometry of N Dimensions. Courier Dover Publications. p. 19. ISBN 0-486-43927-5.
  10. 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.
  11. Nathan Jacobson (2009). Basic algebra I (Reprint of Freeman 1974 2nd ed.). Dover Publications. pp. 417–427. ISBN 978-0-486-47189-1.
  12. तालिकाओं और इन तालिकाओं से फ़ानो विमान के कनेक्शन की आगे की चर्चा यहां पाई गई है: Tony Smith. "ऑक्टोनियन उत्पाद और जाली". Retrieved 2018-05-12.
  13. 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.
  14. 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. 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.
  16. Elduque, Alberto (2004). "Vector cross products" (PDF). {{cite journal}}: Cite journal requires |journal= (help)
  17. 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)
  18. लुनेस्टा, §7.5: के वैक्टर का क्रॉस उत्पाद , पी। 98
  19. 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.


संदर्भ