كايلي تتحول

في الرياضيات ، يُعرف تحويل كايلي ، نسبةً إلى آرثر كايلي ، بأنه أيٌّ من مجموعة من العناصر المترابطة. وكما وصفه كايلي (1846) ، فإن تحويل كايلي هو تحويل بين المصفوفات المتناظرة المائلة والمصفوفات المتعامدة الخاصة . ويُستخدم هذا التحويل في التحليل الحقيقي ، والتحليل المركب ، والتحليل الرباعي . وفي نظرية فضاءات هيلبرت ، يُعد تحويل كايلي تحويلاً بين المؤثرات الخطية ( نيكولسكي 1988 ) .

التجانس الحقيقي

يمكن تطبيق تحويل كايلي ببساطة على خط الإسقاط الحقيقي . يقوم هذا التحويل بتبديل عناصر المجموعة {1، 0، -1، ∞} بالتسلسل. على سبيل المثال، يُسقط الأعداد الحقيقية الموجبة على الفترة [-1، 1]. بالتالي، يُستخدم تحويل كايلي لتكييف كثيرات حدود ليجندر لاستخدامها مع الدوال على الأعداد الحقيقية الموجبة، بما في ذلك دوال ليجندر الكسرية .

باعتبارها تحويلاً متجانساً حقيقياً ، تُوصف النقاط بإحداثيات إسقاطية ، ويكون التحويل هو

[y، 1]=[x-1x+1، 1][x-1، x+1]=[x، 1](11-11).{\displaystyle [y,\ 1]=\left[{\frac {x-1}{x+1}},\ 1\right]\thicksim [x-1,\ x+1]=[x,\ 1]{\begin{pmatrix}1&1\\-1&1\end{pmatrix}}.}

التجانس المعقد

تحويل كايلي لنصف المستوى المركب العلوي إلى قرص الوحدة

في النصف العلوي من المستوى المركب ، يكون تحويل كايلي كما يلي: [ 1 ] [ 2 ]

و(z)=z-أناz+أنا.{\displaystyle f(z)={\frac {zi}{z+i}}.}

منذ{،1،-1}{\displaystyle \{\infty ,1,-1\}}يتم تعيينها إلى{1،-أنا،أنا}{\displaystyle \{1,-i,i\}}وتقوم تحويلات موبيوس بتبديل الدوائر المعممة في المستوى المركب .و{\displaystyle f}يرسم خط الأعداد الحقيقية على دائرة الوحدة . علاوة على ذلك، بما أنو{\displaystyle f}هو تماثل شكلي وأنا{\displaystyle i}يتم ضبطه على الصفر بواسطةو{\displaystyle f}، يتم تعيين النصف العلوي من المستوى إلى القرص الواحد .

فيما يتعلق بنماذج الهندسة الزائدية ، فإن تحويل كايلي هذا يربط نموذج نصف المستوى بوانكاريه بنموذج قرص بوانكاريه .

في الهندسة الكهربائية، تم استخدام تحويل كايلي لرسم خريطة نصف مستوى المفاعلة إلى مخطط سميث المستخدم لمطابقة معاوقة خطوط النقل.

تجانس الرباعيات

في الفضاء الرباعي الأبعاد للأكواترنيوناتأ+بأنا+جج+دك{\displaystyle a+b{\vec {i}}+c{\vec {j}}+d{\vec {k}}}، الفيرسور

u(θ،ر)=كوسθ+رالخطيئةθ{\displaystyle u(\theta ,r)=\cos \theta +r\sin \theta }شكّل وحدة الكرة ثلاثية الأبعاد .

بما أن الأعداد الرباعية غير تبادلية، فإن عناصر خطها الإسقاطي لها إحداثيات متجانسة مكتوبةيو[أ،ب]{\displaystyle U[a,b]}للدلالة على أن العامل المتجانس يُضرب من اليسار. تحويل الكواترنيون هو

و(u،q)=يو[q،1](11-uu)=يو[q-u، q+u]يو[(q+u)-1(q-u)، 1].{\displaystyle f(u,q)=U[q,1]{\begin{pmatrix}1&1\\-u&u\end{pmatrix}}=U[qu,\ q+u]\sim U[(q+u)^{-1}(qu),\ 1].}

تُعدّ التحويلات المتجانسة الحقيقية والمعقدة الموصوفة أعلاه أمثلة على التحويل المتجانس الرباعي حيثθ{\displaystyle \theta }يساوي صفرًا أوπ/2{\displaystyle \pi /2}على التوالي. من الواضح أن التحويل يأخذu0-1{\displaystyle u\to 0\to -1}ويأخذ-u1{\displaystyle -u\to \infty \to 1}.

تقييم هذا التجانس عندq=1{\displaystyle q=1}يرسم المتجهu{\displaystyle u}في محورها:

و(u،1)=(1+u)-1(1-u)=(1+u)*(1-u)/|1+u|2.{\displaystyle f(u,1)=(1+u)^{-1}(1-u)=(1+u)^{*}(1-u)/|1+u|^{2}.}

لكن|1+u|2=(1+u)(1+u*)=2+2كوسθ،و(1+u*)(1-u)=-2رالخطيئةθ.{\displaystyle |1+u|^{2}=(1+u)(1+u^{*})=2+2\cos \theta ,\quad {\text{and}}\quad (1+u^{*})(1-u)=-2r\sin \theta .}

هكذاو(u،1)=-رالخطيئةθ1+كوسθ=-رلون برونزيθ2.{\displaystyle f(u,1)=-r{\frac {\sin \theta }{1+\cos \theta }}=-r\tan {\frac {\theta }{2}}.}

في هذا الشكل، تم وصف تحويل كايلي بأنه تمثيل منطقي للدوران: ليكنت=لون برونزيϕ/2{\displaystyle t=\tan \phi /2}في متطابقة الأعداد المركبة [ 3 ]

هـ-أناφ=1-تأنا1+تأنا{\displaystyle e^{-i\varphi }={\frac {1-ti}{1+ti}}}

حيث يمثل الجانب الأيمن تحويلتأنا{\displaystyle ti}ويمثل الجانب الأيسر دوران المستوى بزاوية سالبةϕ{\displaystyle \phi }الراديان.

معكوس

يتركu*=كوسθ-رالخطيئةθ=u-1.{\displaystyle u^{*}=\cos \theta -r\sin \theta =u^{-1}.}منذ

(11-uu) (1-u*1u*) = (2002)  (1001) ،{\displaystyle {\begin{pmatrix}1&1\\-u&u\end{pmatrix}}\ {\begin{pmatrix}1&-u^{*}\\1&u^{*}\end{pmatrix}}\ =\ {\begin{pmatrix}2&0\\0&2\end{pmatrix}}\ \sim \ {\begin{pmatrix}1&0\\0&1\end{pmatrix}}\ ,}

حيث يكون التكافؤ في المجموعة الخطية الإسقاطية على الكواترنيونات، معكوسو(u،1){\displaystyle f(u,1)}يكون

يو[ص،1](1-u*1u*) = يو[ص+1، (1-ص)u*]يو[u(1-ص)-1(ص+1)، 1].{\displaystyle U[p,1]{\begin{pmatrix}1&-u^{*}\\1&u^{*}\end{pmatrix}}\ =\ U[p+1,\ (1-p)u^{*}]\sim U[u(1-p)^{-1}(p+1),\ 1].}

بما أن التحويلات المتجانسة هي تحويلات تقابلية ،و-1(u،1){\displaystyle f^{-1}(u,1)}يرسم هذا التحويل الرباعي المتجهي على الكرة ثلاثية الأبعاد من المتجهات. وبما أن المتجهات تمثل دورانات في الفضاء ثلاثي الأبعاد، فإن التحويل المتجانسو-1{\displaystyle f^{-1}}ينتج دورانًا من الكرة فيR3{\displaystyle \mathbb {R} ^{3}}.

خريطة المصفوفة

من بين المصفوفات المربعة n × n على الأعداد الحقيقية ، مع I مصفوفة الوحدة ، دع A تكون أي مصفوفة متماثلة معكوسة (بحيث A T = − A ). 

إذن فإن I  + A قابلة للعكس ، وتحويل كايلي 

سؤال=(أنا-أ)(أنا+أ)-1{\displaystyle Q=(IA)(I+A)^{-1}\,\!}

ينتج مصفوفة متعامدة ، Q (بحيث Q T Q  = I ). عملية ضرب المصفوفات في تعريف Q أعلاه تبديلية، لذا يمكن تعريف Q بشكل بديل على النحو التالي:سؤال=(أنا+أ)-1(أنا-أ){\displaystyle Q=(I+A)^{-1}(IA)}في الواقع، يجب أن يكون للمصفوفة Q محدد +1، لذا فهي متعامدة خاصة.

وبالعكس، ليكن Q أي مصفوفة متعامدة لا تحتوي على القيمة الذاتية -1 ؛ عندئذٍ

أ=(أنا-سؤال)(أنا+سؤال)-1{\displaystyle A=(IQ)(I+Q)^{-1}\,\!}

هي مصفوفة متناظرة معكوسة. (انظر أيضًا: الانعكاس ). يستبعد الشرط على Q تلقائيًا المصفوفات ذات المحدد -1، ولكنه يستبعد أيضًا بعض المصفوفات المتعامدة الخاصة.

ومع ذلك، يمكن كتابة أي مصفوفة دوران (متعامدة خاصة) Q على النحو التالي

سؤال=((أنا-أ)(أنا+أ)-1)2{\displaystyle Q={\bigl (}(IA)(I+A)^{-1}{\bigr )}^{2}}

بالنسبة لمصفوفة A متناظرة معكوسة ؛ وبشكل أعم، يمكن كتابة أي مصفوفة متعامدة Q على النحو التالي:

سؤال=هـ(أنا-أ)(أنا+أ)-1{\displaystyle Q=E(IA)(I+A)^{-1}}

لبعض المصفوفات المتناظرة المائلة A وبعض المصفوفات القطرية E التي تحتوي على ±1 كعناصر. [ 4 ]

كما لوحظ شكل مختلف قليلاً، [ 5 ] [ 6 ] يتطلب عمليات ربط مختلفة في كل اتجاه،

سؤال=(أنا-أ)-1(أنا+أ)،أ=(سؤال-أنا)(سؤال+أنا)-1.{\displaystyle {\begin{aligned}Q&=(IA)^{-1}(I+A),\\[5mu]A&=(QI)(Q+I)^{-1}.\end{aligned}}}

يمكن أيضًا كتابة عمليات الربط مع عكس ترتيب العوامل؛ [ 7 ] [ 8 ] ومع ذلك، فإن A دائمًا ما يتبادل مع (μ I  ± A ) −1 ، لذا فإن إعادة الترتيب لا تؤثر على التعريف. 

أمثلة

في حالة 2×2، لدينا

[0لون برونزيθ2-لون برونزيθ20][كوسθ-الخطيئةθالخطيئةθكوسθ].{\displaystyle {\begin{bmatrix}0&\tan {\frac {\theta} {2}}\\-\tan {\frac {\theta }{2}}&0\end{bmatrix}}\leftrightarrow {\begin{bmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{bmatrix}}.}

يتم استبعاد مصفوفة الدوران 180 درجة ، − I ، على الرغم من أنها النهاية عندما يؤول tan θ2 إلى اللانهاية. 

في حالة 3×3، لدينا

[0z-y-z0xy-x0]1ك[w2+x2-y2-z22(xy-wz)2(wy+xz)2(xy+wz)w2-x2+y2-z22(yz-wx)2(xz-wy)2(wx+yz)w2-x2-y2+z2]،{\displaystyle {\begin{bmatrix}0&z&-y\\-z&0&x\\y&-x&0\end{bmatrix}}\leftrightarrow {\frac {1}{K}}{\begin{bmatrix}w^{2}+x^{2}-y^{2}-z^{2}&2(xy-wz)&2(wy+xz)\\2(xy+wz)&w^{2}-x^{2}+y^{2}-z^{2}&2(yz-wx)\\2(xz-wy)&2(wx+yz)&w^{2}-x^{2}-y^{2}+z^{2}\end{bmatrix}},}

حيث K  = + + + ، وحيث w = 1. وهذا ما نعتبره مصفوفة الدوران المقابلة للرباعي         

w+أناx+جy+كz{\displaystyle w+\mathbf {i} x+\mathbf {j} y+\mathbf {k} z\,\!}

(باستخدام صيغة نشرها كايلي في العام السابق)، باستثناء أنها مُقاسة بحيث يكون w = 1 بدلاً من القياس المعتاد الذي يكون فيه w² + x² + + = 1. وبالتالي ، فإن المتجه ( x , y , z ) هو محور الوحدة للدوران مُقاسًا بـ tan θ / 2 . ومرة ​​أخرى ، تُستثنى الدورانات بزاوية 180°، والتي في هذه الحالة جميعها Q وهي متناظرة (بحيث QT = Q ).          

مصفوفات أخرى

يمكن توسيع نطاق هذا التطبيق ليشمل المصفوفات المركبة باستبدال " وحدوية " بـ "متعامدة" و" هيرميتية معكوسة " بـ "متناظرة معكوسة"، مع اختلاف جوهري يتمثل في استبدال منقولة المصفوفة (· T ) بمنقولة المرافقH ). وهذا يتوافق مع استبدال الضرب الداخلي الحقيقي القياسي بالضرب الداخلي المركب القياسي. في الواقع، يمكن توسيع التعريف أكثر ليشمل اختيارات أخرى للمرافق غير منقولة المصفوفة أو منقولة المرافق.

بصورة رسمية، لا يتطلب التعريف سوى بعض قابلية الانعكاس، لذا يمكن استبدال Q بأي مصفوفة M لا تتضمن قيمها الذاتية -1. على سبيل المثال،

[0-أأب-ج00-ب000][12أ2ج012ب001].{\displaystyle {\begin{bmatrix}0&-a&ab-c\\0&0&-b\\0&0&0\end{bmatrix}}\leftrightarrow {\begin{bmatrix}1&2a&2c\\0&1&2b\\0&0&1\end{bmatrix}}.}

لاحظ أن A متماثلة عكسيًا (على التوالي، هيرميتية عكسيًا) إذا وفقط إذا كانت Q متعامدة (على التوالي، وحدوية) بدون قيمة ذاتية −1.

خريطة المشغل

يُعدّ فضاء هيلبرت نسخةً لا نهائية الأبعاد من فضاء الضرب الداخلي ، ولا يمكن حينها الحديث عن المصفوفات . مع ذلك، فإن المصفوفات ليست سوى تمثيلات للمؤثرات الخطية ، ويمكن استخدامها. لذا، بتعميم كلٍّ من تحويل المصفوفات وتحويل المستوى المركب، يمكن تعريف تحويل كايلي للمؤثرات. [ 9 ]

يو=(أ-أناأنا)(أ+أناأنا)-1أ=أنا(أنا+يو)(أنا-يو)-1{\displaystyle {\begin{aligned}U&{}=(A-\mathbf {i} I)(A+\mathbf {i} I)^{-1}\\A&{}=\mathbf {i} (I+U)(I-U)^{-1}\end{aligned}}}

هنا ، مجال U ، dom U ، هو ( A + iI ) dom A. انظر عامل الترافق الذاتي لمزيد من التفاصيل.   

انظر أيضاً

مراجع

  1. روبرت إيفرست غرين وستيفن ج. كرانز (2006) نظرية الدوال لمتغير عقدي واحد ، صفحة 189، دراسات عليا في الرياضيات #40، الجمعية الأمريكية للرياضيات ، رقم ISBN 9780821839621
  2. إروين كريزيج (1983) الرياضيات الهندسية المتقدمة ، الطبعة الخامسة، صفحة 611، وايلي ISBN 0471862517
  3. انظر صيغة نصف زاوية الظل
  4. غالييه، جان (2006). "ملاحظات حول تمثيل كايلي للمصفوفات المتعامدة وحول تغيير قطر المصفوفة لجعلها قابلة للعكس". arXiv : math/0606320 .
    كما وصفها غالييه، فإن النتيجة الأولى هي صيغة مُحسَّنة من نتائج فايل، هيرمان (1946). المجموعات الكلاسيكية ( الطبعة الثانية). مطبعة جامعة برينستون. اللمة 2.10.د، ص 60. 
    ظهر التمرين الثاني كتمرين في كتاب بيلمان، ريتشارد (1960). مقدمة في تحليل المصفوفات . منشورات SIAM. §6.4 التمرين 11، ص 91-92.
  5. غولوب، جين هـفان لون، تشارلز ف. (1996)، حسابات المصفوفات ( الطبعة الثالثة)، مطبعة جامعة جونز هوبكنز ، رقم ISBN  978-0-8018-5414-9
  6. ف. تشونغ (1971) "ملاحظة هندسية حول تحويل كايلي"، الصفحات 84 و85 في كتاب "طيف من الرياضيات: مقالات مُقدمة إلى إتش جي فوردر" ، تحرير جون سي. بوتشر ، مطبعة جامعة أوكلاند
  7. كوران، ريتشارد ؛ هيلبرت، ديفيد (1989)، أساليب الفيزياء الرياضية ، المجلد 1 (الطبعة الإنجليزية الأولى )، نيويورك: وايلي-إنترساينس، الصفحات 536، 7، ISBN    978-0-471-50447-4الفصل السابع،  الفقرة 7.2
  8. هوارد إيفز (1966) نظرية المصفوفات الأولية ، § 5.4أ بناء كايلي للمصفوفات المتعامدة الحقيقية، الصفحات 365-367، ألين وبيكون
  9. ^ رودين 1991 ، ص. 356-357 §13.17.