ریاضیات

بردارهای ناوردا (Covariant) و هم‌وردا (Contravariant) در نسبیت خاص

در فضازمان مینکوفسکی (که اساس نسبیت خاص است)، ما با «چارچوب‌های مرجع» مختلفی سروکار داریم که نسبت به هم با سرعت ثابت حرکت می‌کنند. اشیاء فیزیکی (مثل چهاربردارها) باید طوری توصیف شوند که قوانین فیزیک در همهٔ این چارچوب‌ها یکسان باقی بمانند. اینجا نقش «بردارهای ناوردا» و «هم‌وردا» پررنگ می‌شود.

۱) چرا به این مفاهیم نیاز داریم؟

یک بردار معمولی (مثلاً در فضای سه‌بعدی اقلیدسی) را در نظر بگیرید. اگر شما دستگاه مختصات را بچرخانید، مؤلفه‌های بردار عوض می‌شوند، ولی خودِ بردار (طول و جهت آن) ثابت می‌ماند. در نسبیت، قضیه از این هم پیچیده‌تر است؛ چون علاوه بر چرخش، «تبدیل لورنتس» (که شامل افزایش سرعت است) را هم داریم.

تبدیل لورنتس، مختصات فضا-زمان را از یک چارچوب S به چارچوب S' تغییر می‌دهد. مؤلفه‌های یک «چهاربردار» تحت این تبدیل، به شیوه‌ای خاص تغییر می‌کنند که این شیوه، بین بردارهای «هم‌وردا» و «ناوردا» فرق دارد.

۲) تبدیل لورنتس و ماتریس آن

فرض کنید S و S' دو چارچوب باشند که S' با سرعت v در راستای محور x نسبت به S حرکت می‌کند.

یک رویداد (event) در فضا-زمان با مختصات (x⁰, x¹, x², x³) = (ct, x, y, z) نمایش داده می‌شود.

تبدیل لورنتس (برای حرکت در راستای x) به شکل ماتریسی:

x'μ = Σν=03 Λμν xν

که ماتریس Λ (لامبدا) این است (با β = v/c و γ = 1/√(1-β²)):

Λ =

⎛ γ -βγ 0 0 ⎞

⎜ -βγ γ 0 0 ⎟

⎜ 0 0 1 0 ⎟

⎝ 0 0 0 1 ⎠

این یعنی:

ct' = γ(ct - βx)

x' = γ(x - βct)

y' = y

z' = z

۳) بردارهای هم‌وردا (Contravariant Vectors)

این‌ها همان «چهاربردار»هایی هستند که معمولاً با آن‌ها کار می‌کنیم (مانند چهارمکان، چهارسرعت، چهارتکانه). مؤلفه‌های یک چهاربردار هم‌وردا، مثلاً Vμ، تحت تبدیل لورنتس به صورت زیر تبدیل می‌شوند:

V'μ = Σν=03 Λμν Vν

این یعنی مؤلفه‌های V' با استفاده از همان ماتریس Λ از مؤلفه‌های V به دست می‌آیند.

مثال: چهارمکان xμ = (ct, x, y, z) یک بردار هم‌وردا است.

۴) بردارهای ناوردا (Covariant Vectors)

این بردارها «دوگان» (dual) بردارهای هم‌وردا هستند. مؤلفه‌های یک بردار ناوردا، مثلاً Wμ، تحت تبدیل لورنتس به صورت زیر تبدیل می‌شوند:

W'μ = Σν=03 (Λ-1)νμ Wν

که Λ-1 ماتریس معکوس Λ است.

برای ماتریس تبدیل لورنتس (در راستای x)، ماتریس معکوس آن (یعنی تبدیل از S' به S) با تغییر علامت v (یا β) به دست می‌آید:

Λ-1 =

⎛ γ βγ 0 0 ⎞

⎜ βγ γ 0 0 ⎟

⎜ 0 0 1 0 ⎟

⎝ 0 0 0 1 ⎠

پس تبدیل برای مؤلفه‌های ناوردا این است:

W'⁰ = γ(W₀ + βW₁)

W'¹ = γ(βW₀ + W₁)

W'² = W₂

W'³ = W₃

۵) متریک فضازمان (Minkowski Metric)

برای رفتن از مختصات هم‌وردا به ناوردا (و بالعکس)، از «تنسور متریک» ημν استفاده می‌کنیم. در مختصات معمول کارتزین:

ημν =

⎛ -1 0 0 0 ⎞

⎜ 0 1 0 0 ⎟

⎜ 0 0 1 0 ⎟

⎝ 0 0 0 1 ⎠

(گاهی تعریف η00 = +1 هم رایج است؛ مهم این است که قرارداد ثابت باشد).

با استفاده از ημν داریم:

- تبدیل از مؤلفهٔ بالانویس (هم‌وردا) به زیرنویس (ناوردا):

Wμ = Σν=03 ημν Wν

مثال: W₀ = -W⁰, W₁ = W¹, W₂ = W², W₃ = W³

- تبدیل از مؤلفهٔ زیرنویس (ناوردا) به بالانویس (هم‌وردا):

Wμ = Σν=03 ημν Wν

که ημν ماتریس معکوس ημν است، که در این مورد با خودش برابر است (ماتریس قطری با ۱، ۱، ۱، ۱-).

۶) حاصلضرب داخلی (Inner Product)

حاصلضرب داخلی یک بردار هم‌وردا با یک بردار ناوردا، یک «اسکالر» (عدد تنها) است که تحت تبدیل لورنتس تغییر نمی‌کند (ناوردا است).

S = V ⋅ W = Σμ=03 Vμ Wμ

= Σμ,ν Vμ ημν Wν

اگر دو بردار هم‌وردا داشته باشیم Vμ و Uμ، حاصلضرب داخلی آن‌ها (که یک اسکالر ناوردا است) به صورت زیر تعریف می‌شود:

V ⋅ U = Σμ,ν ημν Vμ Uν

این همان چیزی است که به عنوان «جرم ناوردای» یک ذره یا سیستم محاسبه می‌کردیم:

(m c)² = P ⋅ P / c² = (Pμ Pμ) / c²

یا با c=1:

m² = P ⋅ P = Pμ Pμ = Σμ Pμ Pμ

خلاصه:

• هم‌وردا (Contravariant): مؤلفه‌ها تحت تبدیل لورنتس Λ تغییر می‌کنند. (مثال: xμ)
• ناوردا (Covariant): مؤلفه‌ها تحت تبدیل معکوس Λ-1 تغییر می‌کنند. (مثال: ∂μ، گرادیان)
• متریک ημν: ابزاری برای تبدیل بین این دو نوع بردار و محاسبهٔ اسکالرهای ناوردا.
• اسکالرها/ناورداها: کمیت‌هایی که تحت تبدیل لورنتس تغییر نمی‌کنند (مانند جرم ناوردا، فاصله‌زمان ناوردا).

این تمایز برای اطمینان از اینکه فیزیک در تمام چارچوب‌های لخت یکسان بیان می‌شود، حیاتی است.