अनुरूप ज्यामितीय बीजगणित: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
अनुरूप [[ज्यामितीय बीजगणित]] (सीजीए) ज्यामितीय बीजगणित है जो मानचित्र के परिणामी स्थान पर | अनुरूप [[ज्यामितीय बीजगणित]] (सीजीए) ज्यामितीय बीजगणित है जो मानचित्र के परिणामी स्थान पर एक {{math|''n''}}-आयामी आधार स्थान {{math|'''R'''<sup>''p'',''q''</sup>}} में बिंदुओं से {{math|'''R'''<sup>''p''+1,''q''+1</sup>}} में शून्य वैक्टर के लिए बनाया गया है। यह ज्यामितीय बीजगणित '''या Versor of the geometric algebra''' का उपयोग करके प्रदर्शित किए जाने वाले प्रतिबिंब, घुमाव और अनुवाद सहित आधार स्थान पर संचालन की अनुमति देता है; और यह पाया गया है कि बिंदु, रेखाएँ, तल, वृत्त और गोले विशेष रूप से प्राकृतिक और कम्प्यूटेशनल रूप से अनुकूल प्रतिनिधित्व प्राप्त करते हैं। | ||
मानचित्रण का प्रभाव यह है कि सामान्यीकृत (अर्थात शून्य वक्रता सहित) n- | मानचित्रण का प्रभाव यह है कि सामान्यीकृत (अर्थात शून्य वक्रता सहित) n-क्षेत्र {{math|''k''}}-क्षेत्र बेस स्पेस मैप में {{math|(''k'' + 2)}}-[[ब्लेड (ज्यामिति)]] एस, और जिससे बेस स्पेस के अनुवाद (या किसी [[अनुरूप मानचित्र]]ण) का प्रभाव उच्च-आयामी स्थान में घूर्णन से मेल खाता हो। इस स्थान के बीजगणित में, वैक्टर के [[ज्यामितीय उत्पाद]] के आधार पर, इस तरह के परिवर्तन बीजगणित के विशिष्ट सैंडविच संचालन के अनुरूप होते हैं, जो क्वाटरनियन और स्थानिक घूर्णन के उपयोग के समान होते हैं, जो बहुत कुशलता से संयोजित होते हैं। परिवर्तनों का प्रतिनिधित्व करने वाले रोटरों का परिणाम यह है कि गोले, विमानों, वृत्तों और अन्य ज्यामितीय वस्तुओं का प्रतिनिधित्व, और उन्हें जोड़ने वाले समीकरण, सभी सहपरिवर्ती रूप से रूपांतरित होते हैं। ज्यामितीय वस्तु (a {{math|''k''}}-क्षेत्र) को वेज उत्पाद के रूप में संश्लेषित किया जा सकता है {{math|''k'' + 2}} वस्तु पर बिंदुओं का प्रतिनिधित्व करने वाले रैखिक रूप से स्वतंत्र वैक्टर; इसके विपरीत, वस्तु को प्रतिनिधित्व करने वाले वैक्टर के बार-बार [[कील उत्पाद|वैज उत्पाद]] के रूप में विघटित किया जा सकता है {{math|''k'' + 2}} इसकी सतह में अलग-अलग बिंदु। कुछ प्रतिच्छेदन के संचालन भी साफ बीजगणितीय रूप प्राप्त करते हैं: उदाहरण के लिए, यूक्लिडियन बेस स्पेस के लिए {{math|'''R'''<sup>3</sup>}}, दो क्षेत्रों का प्रतिनिधित्व करने वाले टेट्रावेक्टरों के दोहरे उत्पाद को प्रयुक्त करने से उनके प्रतिच्छेदन के व्रत के ट्राइवेक्टर प्रतिनिधित्व के दोहरे का उत्पादन होता है। | ||
चूंकि यह बीजगणितीय संरचना खुद को सीधे प्रभावी संगणना के लिए उधार देती है, यह ठोस, आसानी से हेरफेर करने वाली सेटिंग में [[प्रक्षेपी ज्यामिति]] और व्युत्क्रम ज्यामिति के | चूंकि यह बीजगणितीय संरचना खुद को सीधे प्रभावी संगणना के लिए उधार देती है, यह ठोस, आसानी से हेरफेर करने वाली सेटिंग में [[प्रक्षेपी ज्यामिति]] और व्युत्क्रम ज्यामिति के मौलिक विधियों की खोज की सुविधा प्रदान करती है। [[पेंच सिद्धांत]] में गणनाओं का प्रतिनिधित्व करने और उन्हें सुविधाजनक बनाने के लिए इसका उपयोग कुशल संरचना के रूप में भी किया गया है। सीजीए को विशेष रूप से दैनिक यूक्लिडियन स्थान {{math|'''R'''<sup>3</sup>}} पांच आयामी वेक्टर स्थान में {{math|'''R'''<sup>4,1</sup>}} के प्रक्षेपी मानचित्रण के संबंध में प्रयुक्त किया गया है, जिसकी रोबोटिक्स और कंप्यूटर विज़न में अनुप्रयोगों के लिए जांच की गई है। यह सामान्यतः किसी भी छद्म-यूक्लिडियन स्थान पर प्रयुक्त किया जा सकता है - उदाहरण के लिए, मिन्कोव्स्की स्थान {{math|'''R'''<sup>3,1</sup>}} से स्थान {{math|'''R'''<sup>4,2</sup>}} के लिए है | ||
== सीजीए == | == सीजीए का निर्माण == | ||
=== संकेतन और शब्दावली === | === संकेतन और शब्दावली === | ||
इस लेख में, ध्यान बीजगणित | इस लेख में, ध्यान बीजगणित <math>\mathcal G(4,1)</math> पर है जैसा कि यह विशेष बीजगणित है जो समय के साथ सबसे अधिक ध्यान देने वाला विषय रहा है; अन्य स्थितियों को संक्षेप में अलग खंड में सम्मिलित किया गया है। | ||
जिन वस्तुओं को प्रतिरूपित किया जा रहा है, उन्हें आधार स्थान कहा जाता है, और बीजगणितीय स्थान इन वस्तुओं को प्रतिनिधित्व या अनुरूप स्थान के रूप में मॉडल करने के लिए उपयोग किया जाता है। सजातीय उप-स्थान बीजगणितीय | जिन वस्तुओं को प्रतिरूपित किया जा रहा है, उन्हें आधार स्थान कहा जाता है, और बीजगणितीय स्थान इन वस्तुओं को प्रतिनिधित्व या अनुरूप स्थान के रूप में मॉडल करने के लिए उपयोग किया जाता है। सजातीय उप-स्थान बीजगणितीय स्थान के रैखिक उप-स्थान को संदर्भित करता है। | ||
वस्तुओं के लिए नियम: बिंदु, रेखा, वृत्त, गोला, अर्ध-गोला आदि का उपयोग या तो आधार स्थान में ज्यामितीय वस्तु, या प्रतिनिधित्व स्थान के सजातीय उप-स्थान के लिए किया जाता है जो उस वस्तु का प्रतिनिधित्व करता है, जिसका सामान्यतः अभिप्रेत होता है जब तक अन्यथा इंगित न किया गया हो।{{refn|group="lower-alpha"|For clarity, this homogeneous subspace includes non-null vectors, which do not correspond to any point in the base space.}} बीजगणितीय रूप से, सजातीय उप-स्थान के किसी भी अशून्य अशक्त तत्व का उपयोग किया जाएगा, जिसमें तत्व को कुछ मानदंडों द्वारा सामान्यीकृत के रूप में संदर्भित किया जाएगा। | |||
बोल्डफेस लोअरकेस लैटिन अक्षरों का उपयोग मूल स्थान से बेस स्पेस में बिंदु तक स्थिति वैक्टर का प्रतिनिधित्व करने के लिए किया जाता है। प्रतिनिधित्व स्थान के अन्य तत्वों के लिए इटैलिक प्रतीकों का उपयोग किया जाता है। | बोल्डफेस लोअरकेस लैटिन अक्षरों का उपयोग मूल स्थान से बेस स्पेस में बिंदु तक स्थिति वैक्टर का प्रतिनिधित्व करने के लिए किया जाता है। प्रतिनिधित्व स्थान के अन्य तत्वों के लिए इटैलिक प्रतीकों का उपयोग किया जाता है। | ||
=== आधार और प्रतिनिधित्व स्थान === | === आधार और प्रतिनिधित्व स्थान\ === | ||
आधार स्थान {{math|'''R'''<sup>3</sup>}} को चुने हुए मूल से विस्थापन के लिए आधार का विस्तार करके और दो आधार | आधार स्थान {{math|'''R'''<sup>3</sup>}} को एक चुने हुए मूल से विस्थापन के लिए एक आधार का विस्तार करके और दो आधार वैक्टर {{math|''e''<sub>−</sub>}} और {{math|''e''<sub>+</sub>}} ऑर्थोगोनल को आधार स्थान और एक दूसरे से जोड़कर, {{math|1=''e''<sub>−</sub><sup>2</sup> = −1}} और {{math|1=''e''<sub>+</sub><sup>2</sup> = +1}} के साथ दर्शाया गया है। , प्रतिनिधित्व स्थान <math>\mathcal G(4,1)</math> बनाना है । | ||
{{math|1=''e''<sub>+</sub>}} और {{math|1=''e''<sub>−</sub>}} के स्थान पर आधार सदिश के रूप में दो अशक्त सदिश संख्या {{math|''n''<sub>o</sub>}} और {{math|''n''<sub>∞</sub>}} का उपयोग करना सुविधाजनक है, जहाँ {{math|1=''n''<sub>o</sub> = (''e''<sub>−</sub> − ''e''<sub>+</sub>)/2}} और {{math|1=''n''<sub>∞</sub> = ''e''<sub>−</sub> + ''e''<sub>+</sub>}} है। यह सत्यापित किया जा सकता है, जहां {{math|'''x'''}} आधार स्थान में है, कि: | |||
:<math>\begin{array}{lllll} | :<math>\begin{array}{lllll} | ||
{n_\text{o}}^2 & = 0 \qquad n_\text{o} \cdot n_\infty & = -1 \qquad & n_\text{o} \cdot \mathbf{x} & = 0 \\ | {n_\text{o}}^2 & = 0 \qquad n_\text{o} \cdot n_\infty & = -1 \qquad & n_\text{o} \cdot \mathbf{x} & = 0 \\ | ||
{n_\infty}^2 & = 0 \qquad n_\text{o} \wedge n_\infty & = e_{-}e_{+} \qquad & n_\infty \cdot \mathbf{x} & = 0 | {n_\infty}^2 & = 0 \qquad n_\text{o} \wedge n_\infty & = e_{-}e_{+} \qquad & n_\infty \cdot \mathbf{x} & = 0 | ||
\end{array}</math> | \end{array}</math> | ||
ये गुण सामान्य सदिश के आधार सदिश | ये गुण एक सामान्य सदिश {{math|''r''}} के आधार सदिश गुणांक के लिए निम्नलिखित सूत्रों की ओर ले जाते हैं, जो तत्वों के आधार के लिए प्रत्येक अन्य आधार तत्व {{math|''e''<sub>''i''</sub>}} के लिए ऑर्थोगोनल के आधार के लिए प्रतिनिधित्व करते हैं: | ||
: | :{{math|''r''}} के लिए {{math|''n''<sub>o</sub>}} का गुणांक {{math|−''n''<sub>∞</sub> ⋅ ''r''}} है | ||
: का गुणांक {{math|''n''<sub>∞</sub>}} के लिए | : {{math|''r''}} का गुणांक {{math|''n''<sub>∞</sub>}} के लिए {{math|−''n''<sub>o</sub> ⋅ ''r''}} है | ||
: का गुणांक {{math|''e''<sub>''i''</sub>}} के लिए | : {{math|''r''}} का गुणांक {{math|''e''<sub>''i''</sub>}} के लिए {{math|''e''<sub>''i''</sub><sup>−1</sup> ⋅ ''r''}} है | ||
=== आधार स्थान और प्रतिनिधित्व स्थान के बीच मानचित्रण === | === आधार स्थान और प्रतिनिधित्व स्थान के बीच मानचित्रण === | ||
Line 31: | Line 32: | ||
:<math> F : \mathbf{x} \mapsto n_\text{o} + \mathbf{x} + \tfrac{1}{2} \mathbf{x}^2 n_\infty </math> | :<math> F : \mathbf{x} \mapsto n_\text{o} + \mathbf{x} + \tfrac{1}{2} \mathbf{x}^2 n_\infty </math> | ||
बिंदु और अन्य वस्तुएं जो केवल गैर-शून्य स्केलर कारक से भिन्न होती हैं, आधार स्थान में ही वस्तु के लिए मैप करती हैं। जब सामान्यीकरण वांछित होता है, जैसा कि प्रतिनिधित्व स्थान से आधार स्थान तक या दूरी निर्धारित करने के लिए बिंदु का सरल | बिंदु और अन्य वस्तुएं जो केवल गैर-शून्य स्केलर कारक से भिन्न होती हैं, आधार स्थान में ही वस्तु के लिए मैप करती हैं। जब सामान्यीकरण वांछित होता है, जैसा कि प्रतिनिधित्व स्थान से आधार स्थान तक या दूरी निर्धारित करने के लिए बिंदु का सरल उल्टा नक्शा बनाने के लिए, स्थिति {{math|1=''F''('''x''') ⋅ ''n''<sub>∞</sub> = −1}} उपयोग किया जा सकता है। | ||
[[Image:Conformal Embedding.svg|right|300px|thumb|सामान्यीकरण का परिवर्तन: हाइपरप्लेन से अशक्त शंकु का मानचित्रण करना {{math|1=''r'' ⋅ (''n''<sub>∞</sub> − ''n''<sub>o</sub>) = 1}} हाइपरप्लेन के लिए {{math|1=''r'' ⋅ ''n''<sub>∞</sub> = −1}}.]] | [[Image:Conformal Embedding.svg|right|300px|thumb|सामान्यीकरण का परिवर्तन: हाइपरप्लेन से अशक्त शंकु का मानचित्रण करना {{math|1=''r'' ⋅ (''n''<sub>∞</sub> − ''n''<sub>o</sub>) = 1}} हाइपरप्लेन के लिए {{math|1=''r'' ⋅ ''n''<sub>∞</sub> = −1}}.]]अग्रिम मैपिंग इसके सामन है: | ||
* | *अंतरिक्ष {{math|''e''<sub>+</sub> ∧ ''e''<sub>123</sub>}} (5-D में यह उपस्थान {{math|1=''r'' ⋅ (−''n''<sub>o</sub> − {{sfrac|1|2}}''n''<sub>∞</sub>) = 0}} में {{math|''e''<sub>123</sub>}} से एक इकाई 3-गोले पर {{math|'''x'''}} को पहले अनुरूप रूप से प्रक्षेपित करता है; | ||
* फिर इसे | *;फिर इसे {{math|1=''e''<sub>–</sub> = 1}} से जोड़कर, एक प्रक्षेप्य स्थान में उठाएं, और मूल से एक ही किरण पर सभी बिंदुओं की पहचान करें (5-D में यह उपस्थान {{math|1=''r'' ⋅ (−''n''<sub>o</sub> − {{sfrac|1|2}}''n''<sub>∞</sub>) = 1}} में है; | ||
* फिर सामान्यीकरण बदलें, इसलिए सजातीय प्रक्षेपण के लिए | *फिर सामान्यीकरण को बदलें, इसलिए सजातीय प्रक्षेपण के लिए स्थान को कोई समन्वय {{math|''n''<sub>o</sub>}} दिया गया है जिसका मान {{math|1}} है, अर्थात {{math|1=''r'' ⋅ ''n''<sub>∞</sub> = −1}}। | ||
=== उलटा मानचित्रण === | === उलटा मानचित्रण === | ||
रिक्त शंकु पर {{math|''X''}} के लिए एक व्युत्क्रम मानचित्रण द्वारा दिया गया है (पेरवास समीकरण 4.37) द्वारा | |||
:<math>X \mapsto \mathcal{P}^\perp_{n_\infty \wedge n_\text{o}}\left( \frac{X}{- X \cdot n_\infty}\right)</math> | :<math>X \mapsto \mathcal{P}^\perp_{n_\infty \wedge n_\text{o}}\left( \frac{X}{- X \cdot n_\infty}\right)</math> | ||
यह पहले | यह पहले प्रकाश-शंकु से समतल {{math|1=''r'' ⋅ ''n''<sub>∞</sub> = −1}}पर एक त्रिविम प्रक्षेपण देता है, और फिर संख्या {{math|''n''<sub>o</sub>}} और {{math|''n''<sub>∞</sub>}} भागों को दूर फेंक देता है, जिससे समग्र परिणाम सभी समकक्ष बिंदुओं {{math|1=''αX'' = ''α''(''n''<sub>o</sub> + '''x''' + {{sfrac|2}}'''x'''<sup>2</sup>''n''<sub>∞</sub>)}} से {{math|'''x'''}} तक है | | ||
=== उत्पत्ति और अनंत पर बिंदु === | === उत्पत्ति और अनंत पर बिंदु === | ||
बिंदु {{math|1='''x''' = 0}} में {{math|ℝ<sup>''p'',''q''</sup>}} | बिंदु {{math|1='''x''' = 0}} में {{math|ℝ<sup>''p'',''q''</sup>}} मानचित्र {{math|ℝ<sup>''p''+1,''q''+1</sup>}} में नहीं, इसलिए ({{math|''n''<sub>o</sub>}}) को मूल बिंदु पर बिंदु के (प्रतिनिधित्व) वेक्टर के रूप में पहचाना जाता है। {{math|ℝ<sup>''p''+1,''q''+1</sup>}} में एक वेक्टर एक अशून्य {{math|''n''<sub>∞</sub>}} गुणांक के साथ, किंतु एक शून्य ({{math|''n''<sub>o</sub>}}) गुणांक, (उल्टे मानचित्र पर विचार करते हुए) {{math|ℝ<sup>''p'',''q''</sup>}} में एक अनंत वेक्टर की छवि होनी चाहिए। इसलिए दिशा {{math|''n''<sub>∞</sub>}} अनंत पर (अनुरूप) बिंदु का प्रतिनिधित्व करती है। यह शून्य आधार वैक्टर की पहचान करने के लिए उपलेख {{math|<sub>o</sub>}} और {{math|<sub>∞</sub>}} को प्रेरित करता है। | ||
उत्पत्ति का चुनाव इच्छानुसार है: किसी अन्य बिंदु को चुना जा सकता है, क्योंकि प्रतिनिधित्व सघन स्थान का है। मूल केवल संदर्भ बिंदु का प्रतिनिधित्व करता है, और बीजगणितीय रूप से किसी अन्य बिंदु के समान है। किसी भी अनुवाद के साथ, उत्पत्ति को बदलने से प्रतिनिधित्व स्थान में घूर्णन होता है। | |||
उत्पत्ति का चुनाव | |||
== ज्यामितीय वस्तुएँ == | == ज्यामितीय वस्तुएँ == | ||
=== आधार === | === आधार === | ||
{| class="wikitable mw-collapsible" style="float:right; margin-right: 10px" | {| class="wikitable mw-collapsible" style="float:right; margin-right: 10px" | ||
|+Basis Blades of <math>\mathcal G(4,1)</math> | |+Basis Blades of <math>\mathcal G(4,1)</math> | ||
Line 124: | Line 116: | ||
|} | |} | ||
साथ में <math>I_5 = e_{123}E | |||
</math> और <math>1 | |||
</math>, ये बीजगणित के 32 आधार ब्लेड हैं। समतल बिंदु मूल को एक बाहरी उत्पाद के रूप में लिखा जाता है क्योंकि ज्यामितीय उत्पाद मिश्रित श्रेणी का होता है।<math>E=e_+e_-</math>। | |||
=== समीकरणों की जोड़ी के समाधान के रूप में === | === समीकरणों की जोड़ी के समाधान के रूप में === | ||
प्रतिनिधित्व करने वाले स्थान के किसी भी गैर-शून्य ब्लेड ''A'' को देखते हुए, वैक्टर का समूह जो फॉर्म के सजातीय समीकरणों की एक जोड़ी के समाधान हैं<ref>[https://arxiv.org/abs/cs.CG/0310017 Chris Doran (2003), ''Circle and sphere blending with conformal geometric algebra'']</ref> | |||
:<math>X^2 = 0</math> | :<math>X^2 = 0</math> | ||
:<math>X \wedge A = 0</math> | :<math>X \wedge A = 0</math> | ||
अशक्त सदिशों के सजातीय 1-डी उपस्थानों का संघ है, और इस प्रकार आधार स्थान में बिंदुओं के समूह का प्रतिनिधित्व है। | अशक्त सदिशों के सजातीय 1-डी उपस्थानों का संघ है, और इस प्रकार आधार स्थान में बिंदुओं के एक समूह का प्रतिनिधित्व है। यह ज्यामितीय वस्तुओं के एक विशेष वर्ग का प्रतिनिधित्व करने के लिए एक उपयोगी विधि के रूप में एक ब्लेड {{math|''A''}} की पसंद की ओर जाता है। आधार स्थान यूक्लिडियन स्थान होने पर ब्लेड {{math|''A''}} (अंतरिक्ष के आयामों की संख्या से स्वतंत्र) के लिए विशिष्ट स्थिति हैं: | ||
* एक अदिश: खाली | * एक अदिश: खाली समूह | ||
* एक वेक्टर: बिंदु | * एक वेक्टर: बिंदु | ||
* एक बायवेक्टर: बिंदुओं की जोड़ी | * एक बायवेक्टर: बिंदुओं की जोड़ी | ||
Line 137: | Line 133: | ||
* वगैरह। | * वगैरह। | ||
इनमें से प्रत्येक को तीन स्थितियों में विभाजित किया जा सकता है कि क्या {{math|''A''<sup>2</sup>}} सकारात्मक, शून्य या ऋणात्मक है, सूचीबद्ध वस्तु के अनुरूप (कुछ स्थितियों में उल्टे क्रम में), एकल बिंदु का पतित स्थिति , या कोई बिंदु नहीं (जहां गैर-शून्य समाधान) {{math|1=''X'' ∧ ''A''}} शून्य वैक्टर को बाहर करता है)। | |||
आधार स्थान छद्म-यूक्लिडियन होने के अधिक सामान्य स्थिति में सूचीबद्ध ज्यामितीय वस्तुएं (सामान्यीकृत एन-क्षेत्र) अर्ध-क्षेत्र बन जाती हैं। <ref>{{cite book |author1=Jayme Vaz, Jr. |author2=Roldão da Rocha, Jr. |year=2016 |title=क्लिफोर्ड अलजेब्रा और स्पिनर्स का एक परिचय|publisher=Oxford University Press|page=140 |isbn=9780191085789 }}</ref> | |||
समाधान में सम्मिलित अनंतता पर बिंदु द्वारा समतल वस्तुओं की पहचान की जा सकती है। इस प्रकार, यदि {{math|1=''n''<sub>∞</sub> ∧ ''A'' = 0}} ब्लेड {{math|''A''}} के लिए वस्तु क्रमशः श्रेणी 3, 4, आदि के लिए एक रेखा, तल आदि होगी। | |||
=== जैसा कि वस्तु के बिंदुओं से प्राप्त होता है === | === जैसा कि वस्तु के बिंदुओं से प्राप्त होता है === | ||
एक ब्लेड {{math|''A''}} वस्तु के इस वर्ग में से किसी का प्रतिनिधित्व वस्तु पर बिंदुओं का प्रतिनिधित्व करने वाले रैखिक रूप से स्वतंत्र वैक्टर के बाहरी उत्पाद के रूप में पाया जा सकता है। आधार स्थान में, यह रैखिक स्वतंत्रता अन्य बिंदुओं द्वारा परिभाषित वस्तु के बाहर स्थित प्रत्येक बिंदु के रूप में प्रकट होती है। इसलिए, उदाहरण के लिए, तीन अलग-अलग बिंदुओं द्वारा परिभाषित सामान्यीकृत वृत्त पर पड़ा चौथा बिंदु गोले को परिभाषित करने के लिए चौथे बिंदु के रूप में उपयोग नहीं किया जा सकता है। | '''एक ब्लेड''' {{math|''A''}} वस्तु के इस वर्ग में से किसी का प्रतिनिधित्व वस्तु पर बिंदुओं का प्रतिनिधित्व करने वाले रैखिक रूप से स्वतंत्र वैक्टर के बाहरी उत्पाद के रूप में पाया जा सकता है। आधार स्थान में, यह रैखिक स्वतंत्रता अन्य बिंदुओं द्वारा परिभाषित वस्तु के बाहर स्थित प्रत्येक बिंदु के रूप में प्रकट होती है। इसलिए, उदाहरण के लिए, तीन अलग-अलग बिंदुओं द्वारा परिभाषित सामान्यीकृत वृत्त पर पड़ा चौथा बिंदु गोले को परिभाषित करने के लिए चौथे बिंदु के रूप में उपयोग नहीं किया जा सकता है। | ||
=== ऑड्स === | === ऑड्स === | ||
: ई में अंक<sub>123</sub> शून्य शंकु पर नक्शा - शून्य पैराबोला अगर हम r | : ई में अंक<sub>123</sub> शून्य शंकु पर नक्शा - शून्य पैराबोला अगर हम r समूह करते हैं। एन<sub>∞</sub> = -1। | ||
: हम ई में बिंदुओं के स्थान पर विचार कर सकते हैं<sub>123</sub> अनुसूचित जनजाति। कंफर्मल स्पेस g('x') में। A = 0, विभिन्न प्रकार की ज्यामितीय वस्तु A के लिए। | : हम ई में बिंदुओं के स्थान पर विचार कर सकते हैं<sub>123</sub> अनुसूचित जनजाति। कंफर्मल स्पेस g('x') में। A = 0, विभिन्न प्रकार की ज्यामितीय वस्तु A के लिए। | ||
Line 163: | Line 160: | ||
* एक बिंदु: 'आर' में एक्स का स्थान<sup>3</sup> बिंदु है यदि A 'R' में है<sup>4,1</sup> रिक्त शंकु पर सदिश है। | * एक बिंदु: 'आर' में एक्स का स्थान<sup>3</sup> बिंदु है यदि A 'R' में है<sup>4,1</sup> रिक्त शंकु पर सदिश है। | ||
::(N.B. क्योंकि यह सजातीय प्रक्षेप्य स्थान है, मूल के माध्यम से किरण पर किसी भी लम्बाई के वैक्टर समतुल्य हैं, इसलिए g(x).A =0 g(x).g(a) = 0 के | ::(N.B. क्योंकि यह सजातीय प्रक्षेप्य स्थान है, मूल के माध्यम से किरण पर किसी भी लम्बाई के वैक्टर समतुल्य हैं, इसलिए g(x).A =0 g(x).g(a) = 0 के समान है)। | ||
* एक गोला: 'x' का स्थान गोला है यदि A = S, शून्य शंकु से दूर सदिश। | * एक गोला: 'x' का स्थान गोला है यदि A = S, शून्य शंकु से दूर सदिश। | ||
::अगर <math display="block">\mathbf{S} = g(\mathbf{a}) - \frac{1}{2} \rho^2 \mathbf{e}_\infty</math> तब S.X = 0 => <math> -\frac{1}{2} (\mathbf{a}-\mathbf{x})^2 + \frac{1}{2} \rho^2 = 0 </math> | ::अगर <math display="block">\mathbf{S} = g(\mathbf{a}) - \frac{1}{2} \rho^2 \mathbf{e}_\infty</math> तब S.X = 0 => <math> -\frac{1}{2} (\mathbf{a}-\mathbf{x})^2 + \frac{1}{2} \rho^2 = 0 </math> | ||
:: ये गोले के अनुरूप बिंदु हैं | :: ये गोले के अनुरूप बिंदु हैं | ||
::::नल-शंकु से सदिश S के लिए, कौन-सी दिशाएँ अतिशयोक्तिपूर्ण रूप से लंबकोणीय हैं? (cf लोरेंत्ज़ ट्रांसफ़ॉर्मेशन पिक्स) | ::::नल-शंकु से सदिश S के लिए, कौन-सी दिशाएँ अतिशयोक्तिपूर्ण रूप से लंबकोणीय हैं? (cf लोरेंत्ज़ ट्रांसफ़ॉर्मेशन पिक्स) | ||
:::::2+1 D में, यदि S (1,a,b) है, (को-ऑर्ड्स e-, {e+, e का उपयोग करके)<sub>i</sub>}), हाइपरबोलिक रूप से एस के लिए ऑर्थोगोनल बिंदु वे यूक्लिडियनली ऑर्थोगोनल हैं (-1, ए, बी) - यानी, विमान; या n आयामों में, मूल के माध्यम से हाइपरप्लेन। यह अन्य | :::::2+1 D में, यदि S (1,a,b) है, (को-ऑर्ड्स e-, {e+, e का उपयोग करके)<sub>i</sub>}), हाइपरबोलिक रूप से एस के लिए ऑर्थोगोनल बिंदु वे यूक्लिडियनली ऑर्थोगोनल हैं (-1, ए, बी) - यानी, विमान; या n आयामों में, मूल के माध्यम से हाइपरप्लेन। यह अन्य स्थान को रेखा (एक n-2 सतह में हाइपरसफेस) में उत्पत्ति के माध्यम से नहीं काटेगा, और फिर शंकु को दो बिंदुओं (प्रतिक्रिया में कुछ प्रकार की n-3 शंकु सतह) में काट देगा। तो यह शायद किसी प्रकार के शंकु जैसा दिखने वाला है। यह वह सतह है जो g के नीचे गोले की छवि है। | ||
* एक समतल: 'x' का स्थान तल है यदि A = P, शून्य n वाला सदिश<sub>o</sub> अवयव। सजातीय प्रक्षेप्य स्थान में ऐसा वेक्टर P | * एक समतल: 'x' का स्थान तल है यदि A = P, शून्य n वाला सदिश<sub>o</sub> अवयव। सजातीय प्रक्षेप्य स्थान में ऐसा वेक्टर P स्थान n पर वेक्टर का प्रतिनिधित्व करता है<sub>o</sub>=1 जो मूल से असीम रूप से दूर होगा (अर्थात् अशक्त शंकु के बाहर असीम रूप से दूर), इसलिए g(x).P =0 अनंत त्रिज्या के गोले, तल पर x के संगत है। | ||
:विशेष रूप से: | :विशेष रूप से: | ||
:* <math>\mathbf{P} = \hat{\mathbf{a}} + \alpha \mathbf{e}_\infty </math> सामान्य के साथ समतल पर x से मेल खाता है <math>\hat{\mathbf{a}}</math> मूल से ओर्थोगोनल दूरी α। | :* <math>\mathbf{P} = \hat{\mathbf{a}} + \alpha \mathbf{e}_\infty </math> सामान्य के साथ समतल पर x से मेल खाता है <math>\hat{\mathbf{a}}</math> मूल से ओर्थोगोनल दूरी α। | ||
:* <math>\mathbf{P} = g(\mathbf{a}) - g(\mathbf{b})</math> सामान्य ए - बी के साथ, ए और बी के बीच आधे रास्ते के | :* <math>\mathbf{P} = g(\mathbf{a}) - g(\mathbf{b})</math> सामान्य ए - बी के साथ, ए और बी के बीच आधे रास्ते के स्थान से मेल खाता है | ||
*''मंडलियां'' | *''मंडलियां'' | ||
* '' स्पर्शरेखा | * '' स्पर्शरेखा स्थान '' | ||
*''पंक्तियां'' | *''पंक्तियां'' | ||
*'' लाइन्स एट इनफिनिटी'' | *'' लाइन्स एट इनफिनिटी'' | ||
Line 182: | Line 179: | ||
:* प्रतिबिंब | :* प्रतिबिंब | ||
:: यह सत्यापित किया जा सकता है कि 'P' g('x') 'P' बनाने से शून्य-शंकु पर नई दिशा मिलती है, g('x' '), जहां 'x' 'तल में प्रतिबिंब के अनुरूप है अंक 'पी' 'आर' में<sup>3</sup> जो g(p) को संतुष्ट करता है। पी = 0। | :: यह सत्यापित किया जा सकता है कि 'P' g('x') 'P' बनाने से शून्य-शंकु पर नई दिशा मिलती है, g('x' '), जहां 'x' 'तल में प्रतिबिंब के अनुरूप है अंक 'पी' 'आर' में<sup>3</sup> जो g(p) को संतुष्ट करता है। पी = 0। | ||
:: जी (एक्स)। ए = 0 => पी जी (एक्स) . एपी = 0 => पी जी (एक्स) पी। पी ए पी (और इसी तरह कील उत्पाद के लिए), इसलिए पी सैंडविच-फैशन को उपरोक्त अनुभाग में किसी भी मात्रा ए पर | :: जी (एक्स)। ए = 0 => पी जी (एक्स) . एपी = 0 => पी जी (एक्स) पी। पी ए पी (और इसी तरह कील उत्पाद के लिए), इसलिए पी सैंडविच-फैशन को उपरोक्त अनुभाग में किसी भी मात्रा ए पर प्रयुक्त करने का प्रभाव इसी तरह अंक एक्स के संबंधित लोकस को प्रतिबिंबित करने के लिए है, इसलिए संबंधित सर्कल, गोलाकार, रेखाएं और स्थान संबंधित हैं विशेष प्रकार के A के लिए ठीक उसी तरह परिलक्षित होते हैं जैसे P को g(x) पर प्रयुक्त करने से बिंदु x को दर्शाता है। | ||
इस प्रतिबिंब ऑपरेशन का उपयोग सामान्य अनुवाद और घुमाव बनाने के लिए किया जा सकता है: | इस प्रतिबिंब ऑपरेशन का उपयोग सामान्य अनुवाद और घुमाव बनाने के लिए किया जा सकता है: | ||
Line 190: | Line 187: | ||
:: अगर <math>\mathbf{P}_\alpha = \hat{\mathbf{a}} +\alpha \mathbf{e}_\infty</math> और <math>\mathbf{P}_\beta = \hat{\mathbf{a}} +\beta \mathbf{e}_\infty</math> तब <math>\mathbf{x}^\prime = \mathbf{x} + 2 (\beta-\alpha) \hat{\mathbf{a}}</math> | :: अगर <math>\mathbf{P}_\alpha = \hat{\mathbf{a}} +\alpha \mathbf{e}_\infty</math> और <math>\mathbf{P}_\beta = \hat{\mathbf{a}} +\beta \mathbf{e}_\infty</math> तब <math>\mathbf{x}^\prime = \mathbf{x} + 2 (\beta-\alpha) \hat{\mathbf{a}}</math> | ||
: * घुमाव | : * घुमाव | ||
:: <math>g(\mathbf{x}^\prime) = \hat{\mathbf{b}}\hat{\mathbf{a}} \; g(\mathbf{x}) \; \hat{\mathbf{a}}\hat{\mathbf{b}}</math> x' से मेल खाता है जो मूल के बारे में 2 θ कोण से घूमता है जहां θ a और b के बीच का कोण है - वही प्रभाव जो इस रोटर पर सीधे x पर | :: <math>g(\mathbf{x}^\prime) = \hat{\mathbf{b}}\hat{\mathbf{a}} \; g(\mathbf{x}) \; \hat{\mathbf{a}}\hat{\mathbf{b}}</math> x' से मेल खाता है जो मूल के बारे में 2 θ कोण से घूमता है जहां θ a और b के बीच का कोण है - वही प्रभाव जो इस रोटर पर सीधे x पर प्रयुक्त होता है। | ||
:* ''सामान्य घुमाव'' | :* ''सामान्य घुमाव'' | ||
Line 196: | Line 193: | ||
:: <math>g (\mathcal{G}x) = \mathbf{TR{\tilde{T}}} \; g(\mathbf{x}) \; \mathbf{T\tilde{R}\tilde{T}}</math> | :: <math>g (\mathcal{G}x) = \mathbf{TR{\tilde{T}}} \; g(\mathbf{x}) \; \mathbf{T\tilde{R}\tilde{T}}</math> | ||
: * पेंच | : * पेंच | ||
:: प्रभाव पेंच सिद्धांत, या मोटर, (एक सामान्य बिंदु के बारे में रोटेशन, | :: प्रभाव पेंच सिद्धांत, या मोटर, (एक सामान्य बिंदु के बारे में रोटेशन, घूर्णन की धुरी के समानांतर अनुवाद के बाद) ऑपरेटर द्वारा g('x') सैंडविचिंग द्वारा प्राप्त किया जा सकता है <math>\mathbf{M} = \mathbf{T_2T_1R{\tilde{T_1}}}</math>. | ||
:: M को पैरामीट्रिज्ड भी किया जा सकता है <math>\mathbf{M} = \mathbf{T^\prime R^\prime}</math> (चेसल्स प्रमेय (कीनेमेटीक्स) | चेसल्स प्रमेय) | :: M को पैरामीट्रिज्ड भी किया जा सकता है <math>\mathbf{M} = \mathbf{T^\prime R^\prime}</math> (चेसल्स प्रमेय (कीनेमेटीक्स) | चेसल्स प्रमेय) | ||
:* उलटा | :* उलटा | ||
:: एक [[उलटा परिवर्तन]] क्षेत्र में प्रतिबिंब है - ऐसे व्युत्क्रमों का उपयोग करके प्राप्त किए जा सकने वाले विभिन्न कार्यों की चर्चा व्युत्क्रम ज्यामिति में की जाती है। विशेष रूप से, [[यूक्लिडियन परिवर्तन]] ट्रांसलेशन और | :: एक [[उलटा परिवर्तन]] क्षेत्र में प्रतिबिंब है - ऐसे व्युत्क्रमों का उपयोग करके प्राप्त किए जा सकने वाले विभिन्न कार्यों की चर्चा व्युत्क्रम ज्यामिति में की जाती है। विशेष रूप से, [[यूक्लिडियन परिवर्तन]] ट्रांसलेशन और घूर्णन के साथ व्युत्क्रम का संयोजन किसी भी अनुरूप मैपिंग को व्यक्त करने के लिए पर्याप्त है - यानी कोई भी मैपिंग जो सार्वभौमिक रूप से कोणों को संरक्षित करता है। (लिउविल की प्रमेय (अनुरूप मैपिंग) | लिउविल की प्रमेय)। | ||
:* फैलाव | :* फैलाव | ||
Line 210: | Line 207: | ||
== सम्मेलन और पत्रिकाएँ == | == सम्मेलन और पत्रिकाएँ == | ||
अनुप्रयोगों की विस्तृत श्रृंखला के साथ क्लिफोर्ड और ज्यामितीय बीजगणित के आसपास जीवंत और अंतःविषय समुदाय है। इस विषय में मुख्य सम्मेलनों में | अनुप्रयोगों की विस्तृत श्रृंखला के साथ क्लिफोर्ड और ज्यामितीय बीजगणित के आसपास जीवंत और अंतःविषय समुदाय है। इस विषय में मुख्य सम्मेलनों में सम्मिलित हैं [http://www.smartchair.org/hp/ICCA2020/ क्लिफोर्ड अलजेब्रा पर अंतर्राष्ट्रीय सम्मेलन और गणितीय भौतिकी में उनके अनुप्रयोग (ICCA)] और [http://agacse2021.fme.vutbr. cz/main.php एप्लीकेशन ऑफ़ जियोमेट्रिक अलजेब्रा इन कंप्यूटर साइंस एंड इंजीनियरिंग (AGACSE)] सीरीज़। मुख्य प्रकाशन आउटलेट एप्लाइड क्लिफोर्ड अल्जेब्रा में स्प्रिंगर जर्नल एडवांस है। | ||
== टिप्पणियाँ == | == टिप्पणियाँ == |
Revision as of 11:49, 5 May 2023
अनुरूप ज्यामितीय बीजगणित (सीजीए) ज्यामितीय बीजगणित है जो मानचित्र के परिणामी स्थान पर एक n-आयामी आधार स्थान Rp,q में बिंदुओं से Rp+1,q+1 में शून्य वैक्टर के लिए बनाया गया है। यह ज्यामितीय बीजगणित या Versor of the geometric algebra का उपयोग करके प्रदर्शित किए जाने वाले प्रतिबिंब, घुमाव और अनुवाद सहित आधार स्थान पर संचालन की अनुमति देता है; और यह पाया गया है कि बिंदु, रेखाएँ, तल, वृत्त और गोले विशेष रूप से प्राकृतिक और कम्प्यूटेशनल रूप से अनुकूल प्रतिनिधित्व प्राप्त करते हैं।
मानचित्रण का प्रभाव यह है कि सामान्यीकृत (अर्थात शून्य वक्रता सहित) n-क्षेत्र k-क्षेत्र बेस स्पेस मैप में (k + 2)-ब्लेड (ज्यामिति) एस, और जिससे बेस स्पेस के अनुवाद (या किसी अनुरूप मानचित्रण) का प्रभाव उच्च-आयामी स्थान में घूर्णन से मेल खाता हो। इस स्थान के बीजगणित में, वैक्टर के ज्यामितीय उत्पाद के आधार पर, इस तरह के परिवर्तन बीजगणित के विशिष्ट सैंडविच संचालन के अनुरूप होते हैं, जो क्वाटरनियन और स्थानिक घूर्णन के उपयोग के समान होते हैं, जो बहुत कुशलता से संयोजित होते हैं। परिवर्तनों का प्रतिनिधित्व करने वाले रोटरों का परिणाम यह है कि गोले, विमानों, वृत्तों और अन्य ज्यामितीय वस्तुओं का प्रतिनिधित्व, और उन्हें जोड़ने वाले समीकरण, सभी सहपरिवर्ती रूप से रूपांतरित होते हैं। ज्यामितीय वस्तु (a k-क्षेत्र) को वेज उत्पाद के रूप में संश्लेषित किया जा सकता है k + 2 वस्तु पर बिंदुओं का प्रतिनिधित्व करने वाले रैखिक रूप से स्वतंत्र वैक्टर; इसके विपरीत, वस्तु को प्रतिनिधित्व करने वाले वैक्टर के बार-बार वैज उत्पाद के रूप में विघटित किया जा सकता है k + 2 इसकी सतह में अलग-अलग बिंदु। कुछ प्रतिच्छेदन के संचालन भी साफ बीजगणितीय रूप प्राप्त करते हैं: उदाहरण के लिए, यूक्लिडियन बेस स्पेस के लिए R3, दो क्षेत्रों का प्रतिनिधित्व करने वाले टेट्रावेक्टरों के दोहरे उत्पाद को प्रयुक्त करने से उनके प्रतिच्छेदन के व्रत के ट्राइवेक्टर प्रतिनिधित्व के दोहरे का उत्पादन होता है।
चूंकि यह बीजगणितीय संरचना खुद को सीधे प्रभावी संगणना के लिए उधार देती है, यह ठोस, आसानी से हेरफेर करने वाली सेटिंग में प्रक्षेपी ज्यामिति और व्युत्क्रम ज्यामिति के मौलिक विधियों की खोज की सुविधा प्रदान करती है। पेंच सिद्धांत में गणनाओं का प्रतिनिधित्व करने और उन्हें सुविधाजनक बनाने के लिए इसका उपयोग कुशल संरचना के रूप में भी किया गया है। सीजीए को विशेष रूप से दैनिक यूक्लिडियन स्थान R3 पांच आयामी वेक्टर स्थान में R4,1 के प्रक्षेपी मानचित्रण के संबंध में प्रयुक्त किया गया है, जिसकी रोबोटिक्स और कंप्यूटर विज़न में अनुप्रयोगों के लिए जांच की गई है। यह सामान्यतः किसी भी छद्म-यूक्लिडियन स्थान पर प्रयुक्त किया जा सकता है - उदाहरण के लिए, मिन्कोव्स्की स्थान R3,1 से स्थान R4,2 के लिए है
सीजीए का निर्माण
संकेतन और शब्दावली
इस लेख में, ध्यान बीजगणित पर है जैसा कि यह विशेष बीजगणित है जो समय के साथ सबसे अधिक ध्यान देने वाला विषय रहा है; अन्य स्थितियों को संक्षेप में अलग खंड में सम्मिलित किया गया है। जिन वस्तुओं को प्रतिरूपित किया जा रहा है, उन्हें आधार स्थान कहा जाता है, और बीजगणितीय स्थान इन वस्तुओं को प्रतिनिधित्व या अनुरूप स्थान के रूप में मॉडल करने के लिए उपयोग किया जाता है। सजातीय उप-स्थान बीजगणितीय स्थान के रैखिक उप-स्थान को संदर्भित करता है।
वस्तुओं के लिए नियम: बिंदु, रेखा, वृत्त, गोला, अर्ध-गोला आदि का उपयोग या तो आधार स्थान में ज्यामितीय वस्तु, या प्रतिनिधित्व स्थान के सजातीय उप-स्थान के लिए किया जाता है जो उस वस्तु का प्रतिनिधित्व करता है, जिसका सामान्यतः अभिप्रेत होता है जब तक अन्यथा इंगित न किया गया हो।[lower-alpha 1] बीजगणितीय रूप से, सजातीय उप-स्थान के किसी भी अशून्य अशक्त तत्व का उपयोग किया जाएगा, जिसमें तत्व को कुछ मानदंडों द्वारा सामान्यीकृत के रूप में संदर्भित किया जाएगा।
बोल्डफेस लोअरकेस लैटिन अक्षरों का उपयोग मूल स्थान से बेस स्पेस में बिंदु तक स्थिति वैक्टर का प्रतिनिधित्व करने के लिए किया जाता है। प्रतिनिधित्व स्थान के अन्य तत्वों के लिए इटैलिक प्रतीकों का उपयोग किया जाता है।
आधार और प्रतिनिधित्व स्थान\
आधार स्थान R3 को एक चुने हुए मूल से विस्थापन के लिए एक आधार का विस्तार करके और दो आधार वैक्टर e− और e+ ऑर्थोगोनल को आधार स्थान और एक दूसरे से जोड़कर, e−2 = −1 और e+2 = +1 के साथ दर्शाया गया है। , प्रतिनिधित्व स्थान बनाना है ।
e+ और e− के स्थान पर आधार सदिश के रूप में दो अशक्त सदिश संख्या no और n∞ का उपयोग करना सुविधाजनक है, जहाँ no = (e− − e+)/2 और n∞ = e− + e+ है। यह सत्यापित किया जा सकता है, जहां x आधार स्थान में है, कि:
ये गुण एक सामान्य सदिश r के आधार सदिश गुणांक के लिए निम्नलिखित सूत्रों की ओर ले जाते हैं, जो तत्वों के आधार के लिए प्रत्येक अन्य आधार तत्व ei के लिए ऑर्थोगोनल के आधार के लिए प्रतिनिधित्व करते हैं:
- r के लिए no का गुणांक −n∞ ⋅ r है
- r का गुणांक n∞ के लिए −no ⋅ r है
- r का गुणांक ei के लिए ei−1 ⋅ r है
आधार स्थान और प्रतिनिधित्व स्थान के बीच मानचित्रण
बेस स्पेस में वेक्टर से मैपिंग (मूल से प्रतिनिधित्व किए गए एफाइन स्पेस में बिंदु तक) सूत्र द्वारा दी गई है:[lower-alpha 2]
बिंदु और अन्य वस्तुएं जो केवल गैर-शून्य स्केलर कारक से भिन्न होती हैं, आधार स्थान में ही वस्तु के लिए मैप करती हैं। जब सामान्यीकरण वांछित होता है, जैसा कि प्रतिनिधित्व स्थान से आधार स्थान तक या दूरी निर्धारित करने के लिए बिंदु का सरल उल्टा नक्शा बनाने के लिए, स्थिति F(x) ⋅ n∞ = −1 उपयोग किया जा सकता है।
अग्रिम मैपिंग इसके सामन है:
- अंतरिक्ष e+ ∧ e123 (5-D में यह उपस्थान r ⋅ (−no − 1/2n∞) = 0 में e123 से एक इकाई 3-गोले पर x को पहले अनुरूप रूप से प्रक्षेपित करता है;
- फिर इसे e– = 1 से जोड़कर, एक प्रक्षेप्य स्थान में उठाएं, और मूल से एक ही किरण पर सभी बिंदुओं की पहचान करें (5-D में यह उपस्थान r ⋅ (−no − 1/2n∞) = 1 में है;
- फिर सामान्यीकरण को बदलें, इसलिए सजातीय प्रक्षेपण के लिए स्थान को कोई समन्वय no दिया गया है जिसका मान 1 है, अर्थात r ⋅ n∞ = −1।
उलटा मानचित्रण
रिक्त शंकु पर X के लिए एक व्युत्क्रम मानचित्रण द्वारा दिया गया है (पेरवास समीकरण 4.37) द्वारा
यह पहले प्रकाश-शंकु से समतल r ⋅ n∞ = −1पर एक त्रिविम प्रक्षेपण देता है, और फिर संख्या no और n∞ भागों को दूर फेंक देता है, जिससे समग्र परिणाम सभी समकक्ष बिंदुओं αX = α(no + x + 1/2x2n∞) से x तक है |
उत्पत्ति और अनंत पर बिंदु
बिंदु x = 0 में ℝp,q मानचित्र ℝp+1,q+1 में नहीं, इसलिए (no) को मूल बिंदु पर बिंदु के (प्रतिनिधित्व) वेक्टर के रूप में पहचाना जाता है। ℝp+1,q+1 में एक वेक्टर एक अशून्य n∞ गुणांक के साथ, किंतु एक शून्य (no) गुणांक, (उल्टे मानचित्र पर विचार करते हुए) ℝp,q में एक अनंत वेक्टर की छवि होनी चाहिए। इसलिए दिशा n∞ अनंत पर (अनुरूप) बिंदु का प्रतिनिधित्व करती है। यह शून्य आधार वैक्टर की पहचान करने के लिए उपलेख o और ∞ को प्रेरित करता है।
उत्पत्ति का चुनाव इच्छानुसार है: किसी अन्य बिंदु को चुना जा सकता है, क्योंकि प्रतिनिधित्व सघन स्थान का है। मूल केवल संदर्भ बिंदु का प्रतिनिधित्व करता है, और बीजगणितीय रूप से किसी अन्य बिंदु के समान है। किसी भी अनुवाद के साथ, उत्पत्ति को बदलने से प्रतिनिधित्व स्थान में घूर्णन होता है।
ज्यामितीय वस्तुएँ
आधार
Elements | Geometric Concept |
---|---|
Point and Dual Sphere | |
Without is Dual Plane | |
Point Pair | |
Bivector | |
Tangent vector | |
Direction vector (plus Bivector is Dual Line) | |
Flat Point Origin * | |
Circle | |
3D Pseudoscalar | |
Tangent Bivector | |
Direction Bivector (plus is the Line) | |
Sphere | |
Without is the Plane | |
साथ में और , ये बीजगणित के 32 आधार ब्लेड हैं। समतल बिंदु मूल को एक बाहरी उत्पाद के रूप में लिखा जाता है क्योंकि ज्यामितीय उत्पाद मिश्रित श्रेणी का होता है।।
समीकरणों की जोड़ी के समाधान के रूप में
प्रतिनिधित्व करने वाले स्थान के किसी भी गैर-शून्य ब्लेड A को देखते हुए, वैक्टर का समूह जो फॉर्म के सजातीय समीकरणों की एक जोड़ी के समाधान हैं[3]
अशक्त सदिशों के सजातीय 1-डी उपस्थानों का संघ है, और इस प्रकार आधार स्थान में बिंदुओं के एक समूह का प्रतिनिधित्व है। यह ज्यामितीय वस्तुओं के एक विशेष वर्ग का प्रतिनिधित्व करने के लिए एक उपयोगी विधि के रूप में एक ब्लेड A की पसंद की ओर जाता है। आधार स्थान यूक्लिडियन स्थान होने पर ब्लेड A (अंतरिक्ष के आयामों की संख्या से स्वतंत्र) के लिए विशिष्ट स्थिति हैं:
- एक अदिश: खाली समूह
- एक वेक्टर: बिंदु
- एक बायवेक्टर: बिंदुओं की जोड़ी
- एक ट्राइवेक्टर: सामान्यीकृत चक्र
- एक 4-वेक्टर: सामान्यीकृत क्षेत्र
- वगैरह।
इनमें से प्रत्येक को तीन स्थितियों में विभाजित किया जा सकता है कि क्या A2 सकारात्मक, शून्य या ऋणात्मक है, सूचीबद्ध वस्तु के अनुरूप (कुछ स्थितियों में उल्टे क्रम में), एकल बिंदु का पतित स्थिति , या कोई बिंदु नहीं (जहां गैर-शून्य समाधान) X ∧ A शून्य वैक्टर को बाहर करता है)।
आधार स्थान छद्म-यूक्लिडियन होने के अधिक सामान्य स्थिति में सूचीबद्ध ज्यामितीय वस्तुएं (सामान्यीकृत एन-क्षेत्र) अर्ध-क्षेत्र बन जाती हैं। [4]
समाधान में सम्मिलित अनंतता पर बिंदु द्वारा समतल वस्तुओं की पहचान की जा सकती है। इस प्रकार, यदि n∞ ∧ A = 0 ब्लेड A के लिए वस्तु क्रमशः श्रेणी 3, 4, आदि के लिए एक रेखा, तल आदि होगी।
जैसा कि वस्तु के बिंदुओं से प्राप्त होता है
एक ब्लेड A वस्तु के इस वर्ग में से किसी का प्रतिनिधित्व वस्तु पर बिंदुओं का प्रतिनिधित्व करने वाले रैखिक रूप से स्वतंत्र वैक्टर के बाहरी उत्पाद के रूप में पाया जा सकता है। आधार स्थान में, यह रैखिक स्वतंत्रता अन्य बिंदुओं द्वारा परिभाषित वस्तु के बाहर स्थित प्रत्येक बिंदु के रूप में प्रकट होती है। इसलिए, उदाहरण के लिए, तीन अलग-अलग बिंदुओं द्वारा परिभाषित सामान्यीकृत वृत्त पर पड़ा चौथा बिंदु गोले को परिभाषित करने के लिए चौथे बिंदु के रूप में उपयोग नहीं किया जा सकता है।
ऑड्स
- ई में अंक123 शून्य शंकु पर नक्शा - शून्य पैराबोला अगर हम r समूह करते हैं। एन∞ = -1।
- हम ई में बिंदुओं के स्थान पर विचार कर सकते हैं123 अनुसूचित जनजाति। कंफर्मल स्पेस g('x') में। A = 0, विभिन्न प्रकार की ज्यामितीय वस्तु A के लिए।
- हम इसे देखकर शुरू करते हैं
तुलना करना:
- एक्स। ए = 0 => एक्स पर्प ए; x.(a∧b) = 0 => x perp a और x perp b
- x∧a = 0 => x a के समानांतर; x∧(a∧b) = 0 => x a या b के समानांतर (या कुछ रैखिक संयोजन के लिए)
आंतरिक उत्पाद और बाहरी उत्पाद प्रतिनिधित्व दोहरीकरण से संबंधित हैं
- x∧A = 0 <=> x । A* = 0 (जाँच—कार्य करता है यदि x 1-मंद है, A n-1 मंद है)
जी (एक्स)। ए = 0
- एक बिंदु: 'आर' में एक्स का स्थान3 बिंदु है यदि A 'R' में है4,1 रिक्त शंकु पर सदिश है।
- (N.B. क्योंकि यह सजातीय प्रक्षेप्य स्थान है, मूल के माध्यम से किरण पर किसी भी लम्बाई के वैक्टर समतुल्य हैं, इसलिए g(x).A =0 g(x).g(a) = 0 के समान है)।
- एक गोला: 'x' का स्थान गोला है यदि A = S, शून्य शंकु से दूर सदिश।
- अगर तब S.X = 0 =>
- ये गोले के अनुरूप बिंदु हैं
- नल-शंकु से सदिश S के लिए, कौन-सी दिशाएँ अतिशयोक्तिपूर्ण रूप से लंबकोणीय हैं? (cf लोरेंत्ज़ ट्रांसफ़ॉर्मेशन पिक्स)
- 2+1 D में, यदि S (1,a,b) है, (को-ऑर्ड्स e-, {e+, e का उपयोग करके)i}), हाइपरबोलिक रूप से एस के लिए ऑर्थोगोनल बिंदु वे यूक्लिडियनली ऑर्थोगोनल हैं (-1, ए, बी) - यानी, विमान; या n आयामों में, मूल के माध्यम से हाइपरप्लेन। यह अन्य स्थान को रेखा (एक n-2 सतह में हाइपरसफेस) में उत्पत्ति के माध्यम से नहीं काटेगा, और फिर शंकु को दो बिंदुओं (प्रतिक्रिया में कुछ प्रकार की n-3 शंकु सतह) में काट देगा। तो यह शायद किसी प्रकार के शंकु जैसा दिखने वाला है। यह वह सतह है जो g के नीचे गोले की छवि है।
- नल-शंकु से सदिश S के लिए, कौन-सी दिशाएँ अतिशयोक्तिपूर्ण रूप से लंबकोणीय हैं? (cf लोरेंत्ज़ ट्रांसफ़ॉर्मेशन पिक्स)
- अगर
- एक समतल: 'x' का स्थान तल है यदि A = P, शून्य n वाला सदिशo अवयव। सजातीय प्रक्षेप्य स्थान में ऐसा वेक्टर P स्थान n पर वेक्टर का प्रतिनिधित्व करता हैo=1 जो मूल से असीम रूप से दूर होगा (अर्थात् अशक्त शंकु के बाहर असीम रूप से दूर), इसलिए g(x).P =0 अनंत त्रिज्या के गोले, तल पर x के संगत है।
- विशेष रूप से:
- सामान्य के साथ समतल पर x से मेल खाता है मूल से ओर्थोगोनल दूरी α।
- सामान्य ए - बी के साथ, ए और बी के बीच आधे रास्ते के स्थान से मेल खाता है
- मंडलियां
- स्पर्शरेखा स्थान
- पंक्तियां
- लाइन्स एट इनफिनिटी
- 'बिंदु जोड़े
रूपांतरण
- प्रतिबिंब
- यह सत्यापित किया जा सकता है कि 'P' g('x') 'P' बनाने से शून्य-शंकु पर नई दिशा मिलती है, g('x' '), जहां 'x' 'तल में प्रतिबिंब के अनुरूप है अंक 'पी' 'आर' में3 जो g(p) को संतुष्ट करता है। पी = 0।
- जी (एक्स)। ए = 0 => पी जी (एक्स) . एपी = 0 => पी जी (एक्स) पी। पी ए पी (और इसी तरह कील उत्पाद के लिए), इसलिए पी सैंडविच-फैशन को उपरोक्त अनुभाग में किसी भी मात्रा ए पर प्रयुक्त करने का प्रभाव इसी तरह अंक एक्स के संबंधित लोकस को प्रतिबिंबित करने के लिए है, इसलिए संबंधित सर्कल, गोलाकार, रेखाएं और स्थान संबंधित हैं विशेष प्रकार के A के लिए ठीक उसी तरह परिलक्षित होते हैं जैसे P को g(x) पर प्रयुक्त करने से बिंदु x को दर्शाता है।
इस प्रतिबिंब ऑपरेशन का उपयोग सामान्य अनुवाद और घुमाव बनाने के लिए किया जा सकता है:
- अनुवाद
- दो समांतर विमानों में प्रतिबिंब अनुवाद देता है,
- अगर और तब
- * घुमाव
- x' से मेल खाता है जो मूल के बारे में 2 θ कोण से घूमता है जहां θ a और b के बीच का कोण है - वही प्रभाव जो इस रोटर पर सीधे x पर प्रयुक्त होता है।
- सामान्य घुमाव
- एक सामान्य बिंदु के बारे में घुमाव पहले बिंदु को मूल स्थान पर ले जाकर, फिर मूल के चारों ओर घुमाकर, फिर बिंदु को वापस उसकी मूल स्थिति में अनुवाद करके प्राप्त किया जा सकता है, अर्थात ऑपरेटर द्वारा सैंडविचिंग इसलिए
- * पेंच
- प्रभाव पेंच सिद्धांत, या मोटर, (एक सामान्य बिंदु के बारे में रोटेशन, घूर्णन की धुरी के समानांतर अनुवाद के बाद) ऑपरेटर द्वारा g('x') सैंडविचिंग द्वारा प्राप्त किया जा सकता है .
- M को पैरामीट्रिज्ड भी किया जा सकता है (चेसल्स प्रमेय (कीनेमेटीक्स) | चेसल्स प्रमेय)
- उलटा
- एक उलटा परिवर्तन क्षेत्र में प्रतिबिंब है - ऐसे व्युत्क्रमों का उपयोग करके प्राप्त किए जा सकने वाले विभिन्न कार्यों की चर्चा व्युत्क्रम ज्यामिति में की जाती है। विशेष रूप से, यूक्लिडियन परिवर्तन ट्रांसलेशन और घूर्णन के साथ व्युत्क्रम का संयोजन किसी भी अनुरूप मैपिंग को व्यक्त करने के लिए पर्याप्त है - यानी कोई भी मैपिंग जो सार्वभौमिक रूप से कोणों को संरक्षित करता है। (लिउविल की प्रमेय (अनुरूप मैपिंग) | लिउविल की प्रमेय)।
- फैलाव
- एक ही केंद्र के साथ दो व्युत्क्रम फैलाव (मीट्रिक स्थान) उत्पन्न करते हैं।
सामान्यीकरण
इतिहास
सम्मेलन और पत्रिकाएँ
अनुप्रयोगों की विस्तृत श्रृंखला के साथ क्लिफोर्ड और ज्यामितीय बीजगणित के आसपास जीवंत और अंतःविषय समुदाय है। इस विषय में मुख्य सम्मेलनों में सम्मिलित हैं क्लिफोर्ड अलजेब्रा पर अंतर्राष्ट्रीय सम्मेलन और गणितीय भौतिकी में उनके अनुप्रयोग (ICCA) और cz/main.php एप्लीकेशन ऑफ़ जियोमेट्रिक अलजेब्रा इन कंप्यूटर साइंस एंड इंजीनियरिंग (AGACSE) सीरीज़। मुख्य प्रकाशन आउटलेट एप्लाइड क्लिफोर्ड अल्जेब्रा में स्प्रिंगर जर्नल एडवांस है।
टिप्पणियाँ
- ↑ For clarity, this homogeneous subspace includes non-null vectors, which do not correspond to any point in the base space.
- ↑ The mapping can also be written F : x → −(x − e+) n∞ (x − e+), as given in Hestenes and Sobczyk (1984), p.303.[1] The equivalence of the two forms is noted in Lasenby and Lasenby (2000).[2]
संदर्भ
- ↑ Hestenes, David and Garret Sobczyk (1984), Clifford Algebra to Geometric Calculus: A Unified Language for Mathematics and Physics. Dordrecht: Reidel; pp. 302–303.
- ↑ Lasenby, AN and Lasenby, J (2000), Surface evolution and representation using geometric algebra; in The Mathematics of Surfaces IX: the 9th IMA Conference, Cambridge, 4–7 September 2000, pp. 144–168
- ↑ Chris Doran (2003), Circle and sphere blending with conformal geometric algebra
- ↑ Jayme Vaz, Jr.; Roldão da Rocha, Jr. (2016). क्लिफोर्ड अलजेब्रा और स्पिनर्स का एक परिचय. Oxford University Press. p. 140. ISBN 9780191085789.
ग्रन्थसूची
किताबें
- Hestenes et al (2000), G. Sommer (ed.) में, क्लिफर्ड बीजगणित के साथ ज्यामितीय कम्प्यूटिंग। स्प्रिंगर वर्लग। ISBN 3-540-41198-4 (Google पुस्तकें) (http://geocalc.clas.asu.edu/html/UAFCG.html हेस्टेन्स वेबसाइट)
- Hestenes (2001), E. Bayro-Corrochano और G. Sobczyk (eds.) में, विज्ञान और इंजीनियरिंग में अनुप्रयोगों के साथ ज्यामितीय बीजगणित में अग्रिम, स्प्रिंगर वेरलाग। ISBN 0-8176-4199-8 Google पुस्तकें
- नई बोतलों में पुरानी शराब (पीपी. 1-14)
- Hestenes (2010), E. Bayro-Corrochano और G. Scheuermann (2010) में, इंजीनियरिंग और कंप्यूटर विज्ञान में ज्यामितीय बीजगणित कंप्यूटिंग। स्प्रिंगर वर्लग। ISBN 1-84996-107-7 (Google पुस्तकें)।
- डोरन, सी. और लेसेनबी, ए. (2003), भौतिकविदों के लिए ज्यामितीय बीजगणित, कैम्ब्रिज यूनिवर्सिटी प्रेस। {{ISBN|0-521-48022-1}§10.2; पी। 351 एट सीक
- डोर्स्ट, एल. एट अल (2007), कंप्यूटर विज्ञान के लिए ज्यामितीय बीजगणित, मॉर्गन-कॉफ़मैन। ISBN 0-12-374942-5 अध्याय 13; पी। 355 एट सीक
- विन्स, जे. (2008), कंप्यूटर ग्राफिक्स के लिए ज्यामितीय बीजगणित, स्प्रिंगर वेरलाग। ISBN 1-84628-996-3 अध्याय 11; पी। 199 एट सीक
- पेरवास, सी. (2009), इंजीनियरिंग में अनुप्रयोगों के साथ ज्यामितीय बीजगणित, स्प्रिंगर वेरलाग। {{ISBN|3-540-89067-X}§4.3: पी। 145 एट सीक
- Bayro-Corrochano, E. और Scheuermann G. (2010, eds.), इंजीनियरिंग और कंप्यूटर विज्ञान में ज्यामितीय बीजगणित कंप्यूटिंग। स्प्रिंगर वर्लग। ISBN 1-84996-107-7 पीपी। 3–90
- बायरो-कोरोचानो (2010), वेवलेट ट्रांसफॉर्म्स के लिए जियोमेट्रिक कंप्यूटिंग, रोबोट विजन, लर्निंग, कंट्रोल एंड एक्शन। स्प्रिंगर वर्लग। ISBN 1-84882-928-0 अध्याय 6; पीपी। 149-183
- डॉर्स्ट, एल. और लेसेनबाई, जे. (2011, एड.), गाइड टू जियोमेट्रिक अलजेब्रा इन प्रैक्टिस। स्प्रिंगर वेरलाग, पीपी. 3–252. ISBN 978-0-85729-810-2.
- Dietmar Hildenbrand (2013). ज्यामितीय बीजगणित कंप्यूटिंग की नींव. Springer Science & Business Media. ISBN 978-3-642-31793-4.
ऑनलाइन संसाधन
- वेयरहैम, आर. (2006), कंफॉर्मल का उपयोग कर कंप्यूटर ग्राफिक्स ज्यामितीय बीजगणित, पीएचडी थीसिस, कैम्ब्रिज विश्वविद्यालय, पीपी। 14-26, 31-67
- ब्रॉम्बोर्स्की, ए. (2008), ज्यामितीय बीजगणित के माध्यम से अनुरूप ज्यामिति (ऑनलाइन स्लाइड)
- Dell'Acqua, A. et al (2008), बिंदुओं, रेखाओं और विमानों की संरचनाओं से 3D मोशन, इमेज और विज़न कंप्यूटिंग, '26' 529–549
- डोरस्ट, एल. (2010), ट्यूटोरियल: संरचना-संरक्षण अनुरूप ज्यामितीय बीजगणित के माध्यम से यूक्लिडियन गतियों का प्रतिनिधित्व, ई. बायरो-कोरोचानो में, जी. शेउरमैन (एड्स।), ज्यामितीय बीजगणित कंप्यूटिंग, स्प्रिंगर वेरलाग।
- कोलापिन्टो, पी. (2011), वर्सोर स्पेटियल कंप्यूटिंग विद कॉन्फॉर्मल जियोमेट्रिक एलजेब्रा, एमएससी थीसिस, यूनिवर्सिटी ऑफ कैलिफोर्निया सांता बारबरा
- मैकडोनाल्ड, ए. (2013), ज्यामितीय बीजगणित और ज्यामितीय कलन का सर्वेक्षण। (ऑनलाइन नोट्स) §4.2: पी। 26 एट सीक।
- मोटर बीजगणित पर ℝ से अधिकएन+1:
- एडुआर्डो बायरो कोरोचानो (2001), धारणा क्रिया प्रणालियों के लिए ज्यामितीय कंप्यूटिंग: अवधारणाएं, एल्गोरिदम और वैज्ञानिक अनुप्रयोग। (Google पुस्तकें)
श्रेणी:ज्यामितीय बीजगणित श्रेणी:अनुरूप ज्यामिति श्रेणी:प्रतिक्रमी ज्यामिति श्रेणी:कम्प्यूटेशनल ज्यामिति