הצגת המקור של הדף "4-וקטור"

'''4-וקטור''' הוא [[וקטור (פיזיקה)|וקטור]] בעל 4 רכיבים שמשתנה לפי [[טרנספורמציות לורנץ]] בין מערכות ייחוס.

באופן אינטואיטיבי, ניתן לחשוב על וקטורים דו־ממדיים: נניח שיש שני וקטורים דו־ממדיים, מיקום של [[חלקיק]] שנמצא בנקודה <math>(1,1)</math> ו[[זוג סדור]] המתאר ממדים של מלבן שאורכו 4 ורוחבו 5: <math>(4,5)</math>. אם נסובב את הצירים ב-45 מעלות, נקבל שהחלקיק נמצא על ציר x והמיקום השתנה להיות <math>(\sqrt 2, 0 )</math>. עם זאת, הזוג הסדור המתאר את ממדי המלבן לא השתנה: <math>(4,5)</math>. במובן הזה, וקטור המיקום הוא 2-וקטור ולעומת זאת וקטור ממדי המלבן הוא לא 2-וקטור (כלומר, זהו פשוט זוג סדור של שני מספרים שלא קשור לצירים). ההבחנה בין וקטורים שמשתנים בהתאם לטרנספורמציות שעברו הצירים לכאלו שלא היא הבחנה חשובה, משום שממנה ניתן להבין אלו וקטורים שומרים על תכונות גאומטריות. לדוגמה, הזווית בין שני 2-וקטורים נשמרת בכל מערכת צירים (משום ששני הווקטורים עוברים את אותה טרנספורמציה בהתאם).

בתורת היחסות הפרטית, הטרנספורמציות ששומרות על הגאומטריה של מינקובסקי הן סיבוב, שיקוף וטרנספורמציית לורנץ, ולכן וקטורים שמשתנים בהתאם לטרנספורמציה נקראים 4-וקטורים.

4-וקטור הכי בסיסי הוא המיקום-זמן ב[[מרחב מינקובסקי]] שהוא בעל ארבעה [[ממד (פיזיקה)|ממדים]]: שלושה ממדי אורך ומימד [[זמן]] אחד. 4-וקטור A מיוצג על ידי ארבעת הרכיבים שלו, <math>(A^0,A^1,A^2,A^3)</math>. הרכיב ה-<math>\mu</math> של 4-וקטור מסומן <math>A^\mu</math> ובדרך כלל משתמשים בסימון מרושל במעט ואומרים כי <math>A^\mu</math> הוא 4-וקטור, כאשר למעשה משמעותו המדוקדקת של סמל זה היא רכיב מסוים.

על מנת שארבעת הרכיבים יהוו 4-וקטור, עליהם לעבור (לפי הגדרה) טרנספורמציית לורנץ כך:
* 4-וקטור קונטרה-וריאנטי, כלומר כמו הדיפרנציאל <math>d\bar{x}^\mu=\Lambda^{\mu}\,_{\nu}x^{\nu}</math>
* 4-וקטור קו-וריאנטי, כלומר כמו הנגזרת <math>\frac{\partial}{\partial \bar{x}^{\mu}} = (\Lambda^{-1})^{\nu}\,_{\mu} \frac{\partial}{\partial x^{\nu}}</math>
המספרים <math>\Lambda^\mu\,_\nu</math> מייצגים [[טרנספורמצית לורנץ]] ממערכת אחת לאחרת. 4-וקטור הוא [[טנזור]] מדרגה ראשונה. השתמשנו כאן, כפי שמקובל בטיפול ב־4-וקטורים, ב[[הסכם הסכימה של איינשטיין]].

כאשר ההקשר ברור, מקובל לקרוא ל-4-וקטור פשוט "וקטור".

== מתמטיקה של 4-וקטור ==
התיאור הבסיסי ביותר של 4-וקטור הוא באמצעות 4 רכיביו במערכת ייחוס מסוימת <math>(A^0,A^1,A^2,A^3)</math>, כפי שנאמר בתחילת דף זה, וגם מקובל לאגד את הרכיבים המרחביים לווקטור מרחבי ("3-וקטור") כך <math>(A^0,\vec{A})</math>. אם נדקדק יותר, הרי שזה היה וקטור קונטרה וריאנטי, ויש גם וקטורים קו-ווריאנטים, <math>(A_0,A_1,A_2,A_3)</math>.

הקשר בין וקטור קונטרווריאנטי לבין הגרסה הקווריאנטית של הווקטור הוא בעזרת המטריקה,

<math>A_\mu=\eta_{\mu\nu}A^\nu,\ \ \ A^\mu=\eta^{\mu\nu}A_\nu</math>

כאשר המטריקה היא המטריקה של מינקובסקי, כלומר

<math>\eta_{\mu\nu}=\eta^{\mu\nu}=\left( \begin{matrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{matrix} \right)</math>

שהיא טנזור קווריאנטי וגם טנזור קונטרווריאנטי מדרגה שנייה. באופן מעשי מסמנים

<math>A^\mu=(A^0,\vec{A}),\ A_\mu=(A^0,-\vec{A})</math>

כלומר הגרסה ה"נורמלית" של 4-וקטור היא הקונטרה-וריאנטית, והיא מגדירה את הגרסה הקווריאנטית. בחירה זו היא שרירותית, אך מקובלת ברוב הספרים החדשים יותר.
בעזרת המטריקה מגדירים [[מכפלה סקלרית]] של שני 4-וקטורים:
:<math>a \cdot b=a^{\mu} \eta_{\mu \nu} b^{\nu}\equiv a^\mu b_\mu=a^0 b^0 - \vec{a}\cdot\vec{b}= a^0 b^0 - a^1 b^1 - a^2 b^2 - a^3 b^3</math>
ואז הנורמה היא:
: <math>\ \| a \| ^2 = a^\mu a_\mu = a^\mu \eta_{\mu \nu} a^\nu</math>
כאשר השתמשנו ב[[הסכם הסכימה של איינשטיין]] (סכימה על אינדקס שמופיע פעם עליון ופעם תחתון). זו אינה "נורמה" או "מכפלה סקלרית" במובן הרגיל משום שה"נורמה" הזו יכולה להיות [[מספר מדומה]] (נורמה בריבוע שהיא מספר שלילי).

== 4-וקטורים ב[[תורת היחסות הפרטית]] ==
=== המאורע/המקום ===
הראשוני ביותר בין ה-4-וקטורים הוא וקטור המקום (או נכון יותר ה"מאורע"), שמייצג נקודה מסוימת במרחב זמן: <math>x^\mu=(ct,\vec{x})</math>, כלומר
<math>(ct,x,y,z)</math>.

נהוג למיין 4-וקטורים לפי הסימן של המכפלה שלהם עם עצמם, להלן (ההערכות בסוגריים מתייחסות למקרה שהווקטור הוא הפרש בין שני מאורעות):
* אם <math>\ A^\mu A_\mu > 0</math> אומרים שהווקטור הוא '''timelike''' (אם 2 מאורעות מופרדים זמנית אז קיימת מערכת בה האירועים מתרחשים באותו מקום, וכמו כן ייתכן קשר סיבתי ביניהם).
* אם <math>\ A^\mu A_\mu < 0</math> אומרים שהווקטור הוא '''spacelike''' (אם 2 מאורעות מופרדים מרחבית אז קיימת מערכת בה האירועים מתרחשים באותו זמן, ולא ייתכן קשר סיבתי ביניהם).
* אם <math>\ A^\mu A_\mu = 0</math> אומרים שהווקטור הוא '''nulllike''' או '''lightlike''' (אם 2 מאורעות מופרדים אורית אז רק אפקטים הנעים ב[[מהירות האור]] יכולים לקשר ביניהם פיזיקלית וסיבתית).

=== המהירות והתאוצה ===
4-וקטור המהירות הוא <math>u^\mu=\frac{dx^\mu}{d\tau}</math>, כאשר <math>\ \tau\ </math> הוא ה[[זמן עצמי|זמן העצמי]] של החלקיק, ונקרא "4-מהירות". באופן דומה ה-"4-תאוצה" מוגדרת כך, <math>a^\mu=\frac{du^\mu}{d\tau}</math>.

הקשר בין ה-4-מהירות לבין המהירות של החלקיק, כלומר <math>\ \vec{v}=d\vec{x}/dt\ </math> הוא

:<math>\ u^\mu=(\gamma(v)c,\gamma(v)\vec{v})\ </math>

הביטוי האנלוגי עבור התאוצה מסורבל ולא שימושי, ולכן לא מופיע כאן.
ה-4 מהירות מקיימת תמיד <math>\ u^\mu u_\mu = c^2\ </math>, וזה לא משתנה עם תנועת החלקיק. לפיכך ניתן להסיק "[[אורתוגונליות]]" בין ה-4 מהירות ל-4 תאוצה במובן הבא:
:<math>\frac{d}{d\tau} (u^\mu u_\mu) = 0 = 2u^\mu \frac{du_\mu}{d\tau} = 2u^\mu a_\mu</math>

=== 4-תנע והכוח ===
מ-4-וקטור המהירות אפשר לקבל את 4-וקטור ה[[תנע]]-[[אנרגיה]], שנקרא גם ה-"4-תנע",
: <math>\ p^\mu = m u^\mu = \left( \gamma m c, \gamma m \vec{v} \right) = \left( E/c, \vec{P} \right)</math>

מחישוב הנורמה <math>\ p^\mu p_\mu = m^2 c^2 </math> אפשר לקבל את [[יחס נפיצה|יחס הנפיצה]]
:<math> E^2 = p^2 c^2 + m^2 c^4 \,</math>
שנמצא שימושי למדי בפיזיקה יחסותית. עבור [[פוטון]] או חלקיק חסר [[מסה]], <math>\ E = |\vec{p}| c</math>.

את 4-וקטור ה[[כוח (פיזיקה)|כוח]] מגדירים על ידי הכללה של [[חוקי התנועה של ניוטון|החוק השני של ניוטון]],
: <math>\ F^\mu=\frac{dp^\mu}{d\tau}</math>

הסמל <math>\ m\ </math> שמופיע כאן הוא [[מסת מנוחה|מסת המנוחה]] של החלקיק.

== 4-וקטורים ב[[אלקטרומגנטיות]] ==
באלקטרומגנטיות ([[חשמל]] ו[[מגנטיות]]) אפשר להגדיר 4-וקטורים שימושיים:
* 4-וקטור [[צפיפות זרם|צפיפות הזרם]] והמטענים: <math>\ j^\mu = \left( c \rho, \vec{j} \right)</math>.
* 4-וקטור ה[[פוטנציאל חשמלי|פוטנציאל]] האלקטרומגנטי: <math>\ A^\mu = \left( \Phi, \vec{A} \right)</math>.
* 4-[[וקטור גל|וקטור הגל]] של [[גל אלקטרומגנטי]]: <math>\left( \omega / c, \vec{k} \right) </math>

== ראו גם ==
* [[תורת היחסות הפרטית]]
* [[תורת היחסות הכללית]]
* [[טרנספורמציית לורנץ]]
* [[מרחב מינקובסקי]]

==קישורים חיצוניים==
* {{MathWorld}}

{{בקרת זהויות}}

[[קטגוריה:תורת היחסות]]