المتجه الرباعي

في نظرية النسبية العامة، المتجه الرباعي هو جسم ذو أربعة مكونات، يتحول بطريقة محددة تحت تحويل لورنتز. المتجه الرباعي هو تحديدًا عنصر من الفضاء المتجهي رباعي الأبعاد، ويعتبر فضاءً تمثيليًا للتمثيل المعياري لمجموعة لورنتز، تمثيل (½,½). يختلف المتجه الرباعي عن المتجه الإقليدي في كيفية تحديد حجمه. التحويل الذي يحفظ هذا الحجم هو تحويل لورنتز، الذي يتضمن التدويرات المكانية والدفعات (تغير بسرعة ثابتة بالنسبة لإطار مرجعي قصوري).

يصف المتجه الرباعي، على سبيل المثال، الموقع xμ في الزمكان الذي يسمى فضاء منكوفسكي، زخم رباعي للجسيم pμ، سعة الجهد الرباعي الكهرومغناطيسي Aμ(x) في النقطة x في الزمكان، وعناصر الفضاء الفرعي الممتدة بواسطة مصفوفات جاما داخل جبر ديراك. يمكن تمثيل مجموعة لورنتز بمصفوفات 4×4 Λ. يحسب تأثير تحويل لورنتز على المتجه الرباعي المخالف للتغير  X (مثل الأمثلة المذكورة بالأعلى)، يعتبر متجهًا عموديًا بإحداثيات ديكارتية بالنسبة للإطار القصوري في الإدخالات، من خلال:

$X^{\prime }=\mathrm{\Lambda }X,$

(مضاعفة المصفوفة) إذ تشير مكونات الجسم إلى الإطار الجديد. فيما يتعلق بالأمثلة المذكورة في الأعلى، والتي تقدم كمتجهات مخالفة للتغير، توجد أيضًا متجهات متزامنة مقابلة xμ, pμ وAμ(x). تتحول هذه المتجهات وفقًا للقاعدة:

$X^{\prime }={(}^{{\mathrm{\Lambda }}^{-1}}X,$

وتشير  T إلى منقولة مصفوفة. تختلف هذه القاعدة عن القاعدة التي في الأعلى. تتوافق مع التمثيل المزدوج للتمثيل المعياري. لكن بالنسبة لمجموعة لورنتز، تكون ازدواجية أي تمثيل مكافئة للتمثيل الأصلي. وبالتالي، الأجسام ذات المؤشرات المتغيرة هي متجهات رباعية أيضًا.

ليس المتجه الرباعي مثالًا لشيء مكون من أربعة مكونات يمكن وصفه في النسبية الخاصة. بالمثل، يعرف الفرق بأنه قاعدة التحول في ظل تحولات لورنتز التي تُقدم بواسطة تمثيل آخر غير التمثيل المعياري. في هذه الحالة، تصبح القاعدة Xقالب:′ = Π(Λ)X حيث Π(Λ) مصفوفة 4×4 غير Λ. تنطبق ملاحظات مماثلة على الأشياء ذات مكونات أكثر أو أقل، والتي توصف ضمن تحويلات لورنتز. يشمل هذا الحقول القياسية والسبينورات والموترات وموترات السبينور.

يتناول المقال المتجهات الرباعية في سياق النسبية الخاصة. بالرغم من أن مفهوم المتجهات الرباعية يمتد إلى النسبية العامة أيضًا، تتطلب بعض النتائج المذكورة في هذا المقال تعديلًا في النسبية العامة.

الترميز

يعمل الترميز في هذا المقال على النحو التالي: تدل الحروف الصغيرة الغامقة على المتجهات ثلاثية الأبعاد، والقبعات على متجهات الوحدات ثلاثية الأبعاد، والحروف الكبيرة للمتجهات رباعية الأبعاد (عدا المنحدر الرباعي)، ترميز مؤشر الموتر.

جبر المتجه الرباعي

المتجهات الرباعية على أساس ذي قيمة حقيقية

المتجه الرباعي هو متجه يتكون من مكون «شبيه بالزمان» وثلاث مكونات «شبيهة بالمكان»، ويمكن كتابته بعدة ترميزات متماثلة.

$\begin{array}{rr}\mathbf{A}& =(A^0,A^1,A^2,A^3)\\ & =A^0{\mathbf{E}}_0+A^1{\mathbf{E}}_1+A^2{\mathbf{E}}_2+A^3{\mathbf{E}}_3\\ & =A^0{\mathbf{E}}_0+A^i{\mathbf{E}}_i\\ & =A^{\alpha }{\mathbf{E}}_{\alpha }\\ & =A^{\mu }\end{array}$

وتجمع مكون السعة ومتجه القاعدة في عنصر واحد.

تدل الرموز الكبيرة على المكونات مخالفة التغير. الاصطلاح المعياري هنا هو أن الرموز اللاتينية تأخذ قيمًا للمكونات المكانية، فيكون  i = 1, 2, 3، بينما تأخذ الرموز اليونانية قيمًا لمكونَي الزمن والمكان، إذ يكون  α = 0, 1, 2, 3، التي تستخدم في الاصطلاح التجميعي. الفصل بين المكون الزمني والمكون المكاني مفيد عند تحديد انقباضات متجه رباعي واحد مع كميات موترة أخرى، مثل حالة حساب ثوابت لورنتز في النتائج الداخلية (أمثلة بالأسفل)، أو رفع وخفض الرموز.

في النسبية الخاصة، غالبًا ما يكون الأساس الشبيه بالمكان E1, E2, E3، والمكونات A1, A2, A3 أساسًا ديكارتيًا والمكونات:

$\begin{array}{rr}\mathbf{A}& =(A_t,A_x,A_y,A_z)\\ & =A_t{\mathbf{E}}_t+A_x{\mathbf{E}}_x+A_y{\mathbf{E}}_y+A_z{\mathbf{E}}_z\\ \end{array}$

ويمكن بالطبع استخدام أي أساس أو مكونات أخرى، مثل الإحداثيات الكروية القطبية

$\begin{array}{rr}\mathbf{A}& =(A_t,A_r,A_{\theta },A_{\varphi })\\ & =A_t{\mathbf{E}}_t+A_r{\mathbf{E}}_r+A_{\theta }{\mathbf{E}}_{\theta }+A_{\varphi }{\mathbf{E}}_{\varphi }\\ \end{array}$

أو إحداثيات أسطوانية قطبية

$\begin{array}{rr}\mathbf{A}& =(A_t,A_r,A_{\theta },A_z)\\ & =A_t{\mathbf{E}}_t+A_r{\mathbf{E}}_r+A_{\theta }{\mathbf{E}}_{\theta }+A_z{\mathbf{E}}_z\\ \end{array}$

أو أي إحداثيات متعامدة، أو حتى إحداثيات منحنية. تُكتب تسميات الإحداثيات دائمًا كتسميات لا رموز تأخذ قيمًا عددية. في النسبية العامة، يجب استخدام الإحداثيات المنحنية المحلية في أساس محلي. هندسيًا، يمكن تفسير المتجه الرباعي كسهم، ولكن في الزمكان، ليس فقط المكان. في النسبية، ترسم الأسهم كجزء من رسم منكوفسكي (يطلق عليه أيضًا رسم الزمكان).

يمكن تمثيله أيضًا بالمتجهات العمودية:

${\mathbf{E}}_0=\left(\begin{array}{c}1\\ 0\\ 0\\ 0\end{array}\right),{\mathbf{E}}_1=\left(\begin{array}{c}0\\ 1\\ 0\\ 0\end{array}\right),{\mathbf{E}}_2=\left(\begin{array}{c}0\\ 0\\ 1\\ 0\end{array}\right),{\mathbf{E}}_3=\left(\begin{array}{c}0\\ 0\\ 0\\ 1\end{array}\right)$