הצגת המקור של הדף "תורת היחסות הפרטית"

'''תורת היחסות הפרטית'''{{הערה|הערה לשונית היסטורית: בראשית המאה העשרים, כשתורה זו רק פורסמה, החלו לצוץ בספרות העברית המקצועית דאז - כפטריות אחרי הגשם - כמה וכמה שמות עבריים רוֹוְחִים כתרגום שימושי לשם הגרמני המקורי של תורה זו, ללא תקן עברי עקבי אחיד; למשל: "תורת היחסות המיוחדת" (זהו התרגום המילולי), "תורת היחסות המצומצמת" (זהו התרגום התוכני - בתור ניגוד של "תורת היחסות הכללית" במשמעות של תורת היחסות הרחבה), וכן "תורת היחסות הפרוטה". רק הכינוי השלישי הנ"ל, היה זה שאחרי ככלות הכול השפיע על השם העברי הרשמי שלבסוף התקבע רק שנים רבות אחר כך - "תורת היחסות הפרטית" - בתור ניגוד של "תורת היחסות הכללית", באופן אנלוגי-לשונית לניגוד אחר - שבין המושג "מקרה פרטי" - לבין המושג "מקרה כללי".}} היא [[תאוריה מדעית]] [[פיזיקה|פיזיקלית]], מהפכנית בזמנה, שפותחה ופורסמה על ידי [[אלברט איינשטיין]] בשנת [[1905]] ([[שנת הפלאות (1905)|שנת הפלאות]]). תורת היחסות באה לפתור את הסתירות שהתגלו בין ה[[מכניקה קלאסית|מכניקה הקלאסית]] וה[[אלקטרומגנטיות|תורה האלקטרומגנטית]], והיא יוצאת מתוך שתי הנחות יסוד:
# [[מהירות האור]] בוואקום היא קבועה בכל [[מערכת ייחוס]].
# חוקי הפיזיקה זהים בכל מערכות הייחוס.
אחת התוצאות המפתיעות הנובעות מהנחות אלו היא שאין זמן ומרחב מוחלטים – ככל שמערכת ייחוס נעה במהירות גבוהה יותר (עם מהירות האור כחסם עליון), ממד האורך של המערכת בכיוון התנועה מתכווץ ביחס לצופה נייח, והזמן המקומי שלה מתקדם לאט יותר מנקודת מבטו של אותו צופה. בשנת [[1915]] הרחיב אלברט איינשטיין את תורת היחסות על מנת להתמודד עם מושג התאוצה, ובכך יצר את [[תורת היחסות הכללית]], אשר אחד ההישגים החשובים שלה הוא הסבר של [[כבידה|כוח הכבידה]] מתוך התעקמות של ה[[מרחב-זמן]]. תורת היחסות הפרטית והכללית נענו בתגובות מעורבות של [[הקהילה המדעית]] לאחר פרסומם. בעוד [[מדען|מדענים]] חשובים כמו [[מקס פלאנק]] קיבלו את התורה בהתלהבות, רבים בקהילה הפיזיקלית שללו אותה מכול וכול. מסיבה זאת, כאשר הוחלט להעניק לאיינשטיין את [[פרס נובל לפיזיקה]] בשנת 1921, הפרס ניתן על ההסבר של [[האפקט הפוטואלקטרי]] ולא על תורת היחסות.

נקודת המפנה בקבלת תורת היחסות הייתה תצפית שנערכה בשנת [[1919]] על ידי משלחת שבראשה עמד [[ארתור אדינגטון]] שדיווחה שצפתה בהסטה במיקומם של כוכבים הנראית בזמן [[ליקוי חמה]], שנובאה על ידי תורת היחסות הכללית. למעשה, תוצאות הניסוי לא היו חד משמעיות. פרסום הניסוי הפך את איינשטיין לדמות מוכרת ברחבי העולם. באופן דומה, הנוסחה [[E=mc²|E=mc<sup>2</sup>]], המבטאת את [[שקילות המסה והאנרגיה]], שהיא אחת מהתגליות המפתיעות של תורת היחסות הפרטית, הפכה לסמל תרבות ומדע. כיום תורת היחסות מקובלת על הרוב המוחלט של הקהילה הפיזיקלית, מהווה אבן בסיס של הפיזיקה המודרנית, ותוצאותיה נבדקות בתחומים רבים.

==הרקע לתורת היחסות==

בסוף [[המאה ה-19]] ניסח [[ג'יימס קלרק מקסוול]] את [[משוואות מקסוול|חוקי ההתפתחות של שדות חשמליים ומגנטיים]], הקרויים היום על שמו. בין התוצאות החשובות של חוקים אלו היה גילוי קיומם של גלים אלקטרומגנטיים – גלים המבוססים על שדות חשמליים ומגנטיים המתנדנדים בזמן. בכך הצליח מקסוול לראשונה להסביר את האור, ואת מדע האופטיקה באמצעות חשמל ומגנטיות. חוקים אלו, שהתווספו על [[חוקי התנועה של ניוטון]] ועל חוקי התרמודינמיקה, הביאו מדענים רבים בסוף המאה ה-19 לחשוב שהפיזיקה מצאה את כל החוקים היסודיים של הטבע. ואולם מספר מדענים העירו שישנה בעיה בשילוב של חוקי מקסוול והמכניקה הניוטונית.

=== קרינה אלקטרומגנטית ומדידת מהירות האור ===

על פי המכניקה הקלאסית, כל [[גל]] מתקדם ב[[תווך]] מסוים ומהירות ההתקדמות שלו (שנקבעת על פי [[משוואת הגלים]]) נמדדת ביחס לתווך. במאה ה-19 סברו שהאור נע בתווך שכונה "[[אתר (פיזיקה)|אתר]]", שהיה עשוי מחומר דק הממלא את כל היקום.

בשנת [[1887]] ביצעו הפיזיקאי [[אלברט אברהם מייקלסון]] ועמיתו [[אדוארד מורלי]] את הניסוי המפורסם – [[ניסוי מייקלסון-מורלי]]. מטרתם הייתה לבדוק את מהירות [[כדור הארץ]] באתר. מטרתם לא הייתה להוכיח או להפריך את קיום האתר, משום שקיומו נחשב במאה ה-19 לעובדה מדעית שמעטים פקפקו בה. כדי למדוד את מהירות כדור הארץ הם השתמשו בשיטה [[אופטיקה|אופטית]]-[[התאבכות]]ית הידועה בשם "[[אינטרפרומטריה]]". הרעיון מאחורי הניסוי היה לצרף שתי [[אור|קרני אור]], אשר אחת מהם נעה בכיוון התקדמות כדור הארץ, ואחת מהם נעה בניצב אליו. בהנחה שהאור מתקדם באתר ושכדור הארץ נע ביחס אליו, צריך להיות הבדל במהירות של אותן שתי קרניים, והאינטרפרומטר של מייקלסון מורלי היה רגיש מספיק בשביל למדוד הבדל זה. ממדידת ההבדל ניתן היה, לפי הנחתם, להסיק את מהירות כדור הארץ.

אולם, תוצאות הניסוי העלו שמהירות האור שנמדדה בשני הכיוונים הייתה זהה. תוצאה זו זכתה לפרשנויות שונות. מייקלסון ומורלי סברו שהמכשור לא היה רגיש דיו, וניסו לחזור על הניסוי בווריאציות שונות, ואילו הפיזיקאים [[הנדריק לורנץ]] ו[[ג'ורג' פיצג'רלד]] הציעו ב-[[1892]] כי הגופים הנעים מתכווצים בכיוון התנועה באתר, השערה הדומה מאוד לעקרונות היחסות שיתגלו בהמשך. לאחר שאיינשטיין פרסם בשנת 1905 את תורת היחסות הפרטית, פורש ניסוי מייקלסון-מורלי בדיעבד כאישוש שלה וכהפרכת קיומו של האתר, על אף שבשעתו הוא לא נתפס כך כלל. אף על פי כן, היו שהמשיכו להתנגד לה, כמו הפיזיקאי האמריקאי [[דייטון מילר]] ([[1866]]–[[1941 במדע|1941]]) שהמשיך לבצע שחזורים של ניסוי מייקלסון-מורלי באמצעים מדויקים יותר עד אמצע שנות השלושים, ואף פרסם ממצאים שמדדו, לטענתו, שינוי במהירות האור ביחס לאתר, ובכך הפריכו לכאורה את תורת היחסות. אולם בשלב זה תורת היחסות הייתה מקובלת היטב והקהילה המדעית איבדה ברובה עניין בניסוייו.

ייתכן כי איינשטיין התוודע לניסוי מייקלסון מורלי ולתוצאותיו מתוקף היותו סטודנט לתואר ראשון לפיזיקה. מיתוס היסטורי נפוץ מתייחס לכישלונם של מייקלסון ומורלי למדוד שינוי במהירות האור ביחס לתנועת כדור הארץ באתר כגורם העיקרי שהביא את איינשטיין לפיתוח תורת היחסות הפרטית. אולם ככל הנראה הוא שגוי או לכל הפחות מוגזם. איינשטיין לא הזכיר את הניסוי במאמרו משנת 1905, שם פיתח את תורת היחסות הפרטית משיקולים תאורטיים טהורים. מידת השפעתו של ניסוי מייקלסון-מורלי על איינשטיין שנויה במחלוקת בקרב [[היסטוריה של המדע|היסטוריונים של המדע]], אף כי בכל מקרה מקובל לחשוב שהיא פחותה ממה שהנרטיב המקובל מניח.

===א-סימטריה בתורת האלקטרומגנטיות===
במאמר שפרסם על יחסות פרטית, שנקרא "על האלקטרודינמיקה של גופים נעים", כתב איינשטיין שהמניע אשר דחף אותו לפתח את התורה היה חוסר הסימטריה שביסודה של תופעה אלקטרומגנטית בסיסית. מדובר בתופעה שבה תנועה יחסית בין [[מוליך חשמל|מוליך]] ל[[שדה מגנטי]] יוצרת [[זרם חשמלי]] במוליך. לתופעה זו הציעה האלקטרומגנטיות הקלאסית שני הסברים שונים לחלוטין:
#אם המוליך זז ביחס לשדה, הרי שהמטענים נעים במהירות כלשהי ולכן פועל עליהם [[כוח לורנץ]] הגורם להם לנוע בתוך המוליך ובכך יוצר זרם.
#אם השדה המגנטי משתנה ביחס למוליך, אזי ה[[שטף]] המגנטי שדוגם המוליך משתנה, ולפי [[חוק פאראדיי]] נוצר [[כוח אלקטרו-מניע]] במוליך שגורם למטענים לנוע כזרם.
איינשטיין לא היה מוכן להשלים עם אי-הסימטריה לעיל אשר מספקת הסברים שונים לחלוטין לתופעה אחת.

ניסיונו למצוא הסבר [[אסתטיקה|אסתטי]] וסימטרי לתופעה היה אחד ממניעיו לפיתוח תורת היחסות. איינשטיין הבין ששורש הבעיה מצוי בכך שמושגים כמו מרחב ו[[זמן]] לא הוגדרו היטב.

== עקרונות תורת היחסות ==

בבסיס ההסבר שנתנה תורת היחסות הפרטית לתופעות שנידונו לעיל עומדים שני [[אקסיומה|עקרונות יסוד]]:

# '''עקרון היחסות''':
#: חוקי הפיזיקה אינם משתנים כאשר עוברים ממערכת ייחוס אינרציאלית אחת למערכת ייחוס אינרציאלית אחרת. כך לדוגמה, אדם הנמצא בקרון רכבת אטום לא יכול באמצעות שום ניסוי או מדידה פיזיקלית לקבוע האם הקרון נע במהירות קבועה או ניצב במנוחה.
# '''אינווריאנטיות מהירות האור''':
#: מהירות האור (c) קבועה לכל צופה, בלא תלות במהירות היחסית שלו (v) ביחס לגוף שפלט את האור, או במהירות שלו ביחס לכל גוף אחר.

באמצעות דרישות אלה הסביר איינשטיין כיצד להגדיר את המרחב והזמן כך שבאמצעות [[סנכרון]] [[שעון|שעונים]] הגדיר מחדש את המושג של [[סימולטניות]] ("בו-זמניות"). מהניתוח שביצע איינשטיין עולה שהסימולטניות היא לא גודל שנשמר בין מערכות ייחוס אינרציאליות הנעות במהירויות שונות. כלומר: שני צופים הנמצאים בתנועה יחסית ביניהם, ומודדים את אותו צמד אירועים, עשויים שלא להסכים ביניהם בשאלה האם אירועים אלו התרחשו בו זמנית. מדרישות אלה ומ[[עקרון הלוקליות]] גזר איינשטיין את [[טרנספורמציות לורנץ]] שהחליפו את [[טרנספורמציית גליליי]] ככלי מדויק לתרגם גדלים פיזיקליים במעבר בין מערכות ייחוס שונות. עם זאת, במהירויות נמוכות בהרבה ממהירות האור טרנספורמציית גליליי מנבאת תוצאות בדיוק טוב מאוד, כך שניתן להתייחס אל טרנספורמציית גלילי כקירוב של טרנספורמציית לורנץ בגבול [[מהירות|מהירויות]] נמוכות <math>v \ll c</math>.

תורת היחסות הפרטית מטפלת רק במערכות ייחוס אינרציאליות, כלומר מערכות ייחוס הנעות זו ביחס לזו במהירות קבועה. על אף שאפשר לדבר בתורה על [[תאוצה]] כגודל קינמטי, הטרנספורמציות בין מערכות ייחוס נעשות רק בין שתי מערכות אינרציאליות זו לזו. שילוב מערכות ייחוס מואצות (כגון למשל מערכת ייחוס מסתובבת) איננו דבר פשוט ובעיה קשה זו מצאה פתרון שלם רק ב-[[1915]] – כאשר איינשטיין ניסח את '''[[תורת היחסות הכללית]]''', שמהווה הכללה לתורת היחסות הפרטית ומטפלת גם במערכות מואצות כאשר היא מזהה תאוצה עם [[כבידה|שדה כבידה]].

=== הזמן על פי תורת היחסות ===
==== מהו זמן ואיך מודדים אותו ====

בשלב הראשון, ניגש איינשטיין לטפל ב[[זמן]] וניתח מה הוא בדיוק ה"זמן" שאנו מודדים. ראשית, איינשטיין פתר את המקרה הפשוט שבו מודד הזמן נמצא באותו מקום בו קרה האירוע.
:'''"הרכבת הגיעה בשעה שבע"''' – כלומר, האירוע שבו הרכבת הגיעה לתחנה התרחש בו-זמנית במערכת הייחוס של התחנה יחד עם האירוע שבו השעון של המודד, הנמצא נייח בתחנה, הראה את השעה 7.
בשלב השני בחן איינשטיין את השאלה: "מה קורה אם האירועים אינם קורים באותו מקום?" במקרה זה, יש להכין את מערכת המדידה מראש.
:נניח שבדוגמה שלנו, מודד הזמן נמצא מחוץ לתחנה וכן נניח שיש ברשותו אמצעי להעברת מידע במהירות האור בין התחנה אליו. כדי למדוד מתי הגיעה הרכבת עליו להכין שני שעונים (אחד בתחנה ואחד אצלו) וכן למדוד את המרחק בין התחנה אליו (נניח שמרחק זה הוא L). כעת, כאשר הרכבת מגיעה לתחנה, השעון שבתחנה שולח אות במהירות האור אל המודד. אם השעון בתחנה יראה 7 בעת הגעת הרכבת, השעון של המודד יראה <math>7^{\underline{00}} + \frac{L}{c}</math> . כדי לדעת מתי הגיעה הרכבת עליו לקזז משעונו את הזמן שלקח למידע להגיע. כך פתר איינשטיין את בעיית הזמן גם עבור אירועים שאינם קורים באותו מקום.
מהניתוח לעיל, עולה שכדי לקבל מדידה אחידה עבור צופים במרחקים שונים, בכל מקום יש לסנכרן את השעונים כך שהמחוג יקזז את הזמן שלוקח למידע להגיע (בדוגמה שלנו: המודד צריך לכוון את השעון שלו <math>\frac{L}{c}</math> זמן אחורה כדי שגם השעון שלו יראה שהרכבת הגיעה ב־7 לתחנה, כמו שהשעון בתחנה מראה). באופן תאורטי אידיאלי, בכל מקום במרחב יש שעון מסונכרן כזה.

אולם, מסתבר שבעיית סנכרון השעונים איננה פשוטה כל כך. בשביל לסנכרן שני שעונים יש לשלוח קרן אור משעון A לשעון B, לתת לקרן לחזור ולמדוד את משך הזמן שלקח לה לחזור, באופן מתמטי – אם קרן האור יצאה ב־<math>t_a</math> וחזרה בזמן <math>t_b</math> אזי
<math>t_b - t_a = \frac{2 L}{c}</math> .

כעת, זה מפתה לומר שהזמן שלוקח לאור לטייל מ־A ל־B הוא
<math>\frac{t_b - t_a}{2}</math> (מטעמי [[סימטריה]]) אבל אין שום ערובה ניסיונית לכך שזה אכן המצב. למעשה, נוכל לקבוע שבכיוון אחד לקח לאור להגיע רק <math>\frac{t_b - t_a}{3}</math> זמן לעבור, ולא נוכל להפריך זאת בניסוי כי הזמן במקומות שונים מוגדר באמצעות הגודל שאותו אנו רוצים למדוד, ואי אפשר למדדו בלי הגדרה טובה של הזמן במקומות שונים. דבר זה קשה להבנה וקשור לתפיסה ה[[אקטואליסטית]] ה[[עמנואל קאנט|קאנטיאנית]] שהיוותה השראה לאיינשטיין בעת ניסוח התאוריה. ברם, בגלל עקרון היחסות, בחר איינשטיין באפשרות הטבעית, <math> \Delta t = \frac{L}{c} = \frac{t_b - t_a}{2}</math>, אך במאמרו הדגיש שבחירה זו היא "בחירה שרירותית" ומהווה בעצם "עניין של הגדרה".

בתגובה לניתוח העמוק והמסובך לעיל העיר ה[[פיזיקאי]] [[ריצ'רד פיינמן]] בבדיחות ש"איינשטיין בעצם גילה שאת הזמן מודדים עם שעון".

לאחר הגדרת מושג הזמן בכל נקודה במרחב, כך שבכל מקום במרחב מונח שעון כשכל השעונים מסונכרנים, ניתן לבחון כיצד תלוי קצב תקתוקו של השעון במהירות התנועה של מערכת הייחוס שבה הוא נמצא.

==== שעון במערכת הנעה במהירות קבועה והתארכות הזמן ====

על פי תורת היחסות, [[זמן]] אינו גודל מוחלט, אלא תלוי במערכת ייחוס. כלומר, אצל צופה אחד הזמן יעבור במהירות שונה מהזמן אצל צופה שני, הנע ביחס לראשון. ככל שמתקרבים למהירות האור, היחס [[שואף לאינסוף]], ועל כן, מנקודת המבט של הצופה, הזמן בגוף הנע ביחס אליו במהירות האור עומד מלכת.

נניח ש-<math>\Delta \tau</math> ([[זמן עצמי]]) הוא פרק הזמן בין שני תקתוקי [[שעון]] במערכת שבה שני תקתוקי השעון קורים באותו מקום – "המערכת הנייחת" (מתוארת באיור הימני). נניח ש-<math>\Delta T_r</math> הוא פרק הזמן העובר בין שני תקתוקים כאשר שני התקתוקים קרו במקומות שונים, עקב תנועת מערכת הייחוס ב[[מהירות]] קבועה <math>v</math> ביחס למערכת הנייחת, בניצב לכיוון התקדמות האור (מתוארת באיור השמאלי).

[[קובץ:S-relativity06.gif|ממוזער|300px|איור הממחיש את התארכות הזמן. המערכת באיור הימני נקראת "המערכת הנייחת" ולזמן הנמדד בה קוראים "הזמן העצמי". המערכת באיור השמאלי נעה במהירות קבועה <math>v</math> בניצב לכיוון התקדמות קרן האור.]]

לפי תורת היחסות, הקשר שיתקיים ביניהם הוא:

: <math>\Delta T_r = \frac{\Delta \tau}{\sqrt{1- \frac{v^2}{c^2}}} </math>
או
: <math>
\Delta T_r = {\gamma} {\Delta \tau}
\quad, \quad
\gamma = \frac{1}{\sqrt{1- \frac{v^2}{c^2}}}
</math>

כאשר <math>\tau</math> הוא ה[[זמן עצמי|זמן העצמי]] (הזמן במערכת ייחוס שבה שני האירועים מתרחשים באותו מקום, "המערכת הנייחת") ו־<math>T_r</math> הוא הזמן במערכת ייחוס הנעה ב[[מהירות]] <math>v</math> ביחס אליה. <math>c</math> היא מהירות האור. הזמן העצמי הוא [[גודל אינווריאנטי]] בתורת היחסות.
ניתן לראות כי כאשר
<math>v \to c </math>, אזי
<math>\Delta T_r</math>
שואף לאינסוף. תופעה זו ידועה בשם "התארכות הזמן" (Time dilation). כלומר, ככל שהצופה נע במהירות גבוהה יותר ביחס למערכת הייחוס, כך השעון שלו מתקתק לאט יותר. במהירויות השואפות למהירות האור, ייקח לשעונו של הצופה הנע זמן אינסופי להשלים תקתוק שני, ולכן ידמה לו כאילו הזמן עומד מלכת.

ב[[שעון]] הכוונה היא לכל [[מערכת פיזיקלית]] המשתנה בזמן (אם המערכת היא בעלת התנהגות מחזורית היא יכולה לשמש כשעון לכל צורך מעשי). גם [[לב האדם]], הפועם בקצב קבוע הוא סוג של שעון, ומאחר שגם פעילותו הגופנית והמנטלית של הצופה הנע ביחד עם המערכת מאטות ביחד עם השעון, הוא לא ירגיש בהאטת הזמן.

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

פרדוקס מעניין אחר הוא [[פרדוקס הסולם והאסם]] שמראה סימטריה בין שתי מערכות ייחוס אינרציאליות והיחסיות של הסימולטניות.

=== תורת האינווריאנטים ===
בניגוד למה שניתן להבין משמה, תורת היחסות לא קובעת שהכל יחסי, אלא מנסה למצוא [[שמורה (מתמטיקה)|אינווריאנטים]] של הטבע, כלומר: גדלים שלא משתנים תחת מעבר בין מערכת ייחוס אינרציאלית אחת למערכת ייחוס אינרציאלית אחרת. איינשטיין יצא מהדרישה שחוקי הפיזיקה הם אינווריאנטים כאלה. גדלים פיזיקליים שנשמרים תחת מעבר זה נקראים גם "אינווריאנטים לורנץ" כי הם נשמרים תחת [[טרנספורמציות לורנץ]]. דוגמאות לאינווריאנטים הן:

# [[מהירות האור]] – תימדד כ־<math>c</math> בכל מערכת ייחוס.
# ה[[אינטרוול]] (ריבוע [[זמן עצמי|הזמן העצמי]]) - <math>ds^2 = c^2 (d \tau)^2 = c^2 dt^2 - (dx^2 + dy^2 + dz^2 ) = (c \ dt)^2 - (d \vec{r} \cdot d \vec{r})</math> ובפרט, גם הזמן העצמי הוא אינווראנטי לורנץ.
# פאזת גל אלקטרומגנטי.
# מסת מנוחה.

=== דיאגרמת זמן וקונוס האור ===
[[קובץ:Lightcone-he.svg|ממוזער|שמאל|300px|תיאור סכמטי של המרחב־זמן עבור ממד מרחבי אחד (ציר ה־x, כאן הוא אופקי) וממד הזמן (ציר ה־t, כאן הוא אנכי).]]
'''[[דיאגרמת זמן]]''' (נקראת גם "גרף t-x") הוא דרך פופולרית וטובה לתאר את המרחב-הזמן היחסותי. גרף זה מורכב מציר אופקי x המתאר את המרחב (הצמצום ל[[ממד (פיזיקה)|ממד]] מרחבי אחד נעשה מטעמי פשטות ונוחות השרטוט) ומציר אנכי t המתאר את הזמן.

להלן הסברים על הגרף ומשמעות רכיביו:
* הקווים המקווקווים הם [[היפרבולה|היפרבולות]] האינטרוול. על כל היפרבולה שכזו, האינטרוול ds² הוא קבוע.
* הקווים האדומים ידועים בשם "[[קונוס האור]]" והם מייצגים גופים (B) שנעים ב[[מהירות האור]].
* התחום שבתוך הקונוס מעל הראשית (קונוס העתיד) הוא התחום של כל המאורעות (A) שעליהם המאורע בראשית יכול להשפיע, התחום שבתוך הקונוס ומתחת לראשית (קונוס העבר) הוא תחום כל המאורעות שיכלו להשפיע (D) על המאורע בראשית O.
* כל התחום הלבן שמחוץ לקונוס האור מכיל מאורעות שלא יכולים להשפיע או להיות מושפעים מהמאורע בראשית (הם נקראים "מופרדים מרחבית"). הסיבה לכך היא שאם הם יכלו להיות מושפעים מהמאורע בראשית עקרון ה[[סיבתיות]] היה מופר, שכן [[טרנספורמציית לורנץ]] – המזיזה נקודות לאורך היפרבולת האינטרוול שלהן – תוכל להעביר את המאורעות (למשל את C) למערכת ייחוס אחרת שבה C התרחש לפני O.
* הזמן <math>t_p</math> מציין את הזמן העצמי לאורך היפרבולת האינטרוול.

== מרחב מינקובסקי ==

בעזרתו של ה[[מתמטיקאי]] [[הרמן מינקובסקי]] ניסח איינשטיין את תורת היחסות באמצעות [[טנזור|חשבון טנזורים]] במרחב היפרבולי של 4-וקטורים, הקרוי מרחב מינקובסקי. מרחב זה נקרא גם ה"מרחב-זמן" של מינקובסקי.

=== הגדרות קינמטיות יסודיות ===

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

ה[[מטריקה]] של מרחב מינקובסקי (ה[[מטריצה]] המגדירה את ה[[מכפלה סקלרית|מכפלה הסקלרית]] במרחב) מוגדרת כ[[מטריצה אלכסונית|מטריצה האלכסונית]],
<center><math>\eta = \text{diag}(1, -1, -1, -1) = \begin{bmatrix}
 1 & 0 & 0 & 0 \\
 0 & -1 & 0 & 0 \\
 0 & 0 & -1 & 0 \\
 0 & 0 & 0 & -1
\end{bmatrix}</math></center>

באמצעות [[הסכם הסכימה של איינשטיין]], מקובל לסמן:{{הערה|יש משמעות לכך שאינדקס אחד מופיע למעלה ואינדקס שני מופיע למטה, אך ההסבר לכך חורג מתחום מאמר זה.}} : <math>a^\mu b_\mu = \sum_{\mu=0}^{3}{a^\mu b_\mu} = a^0 b_0 + a^1 b_1 + a^2 b_2 + a^3 b_3 = a^0 b^0 - \left( a^1 b^1 + a^2 b^2 + a^3 b^3 \right) </math>

לשורש המכפלה של וקטור בעצמו לפי המטריקה, קוראים ה"[[נורמה (אנליזה)|נורמה]]" של הווקטור (אף על פי ש"נורמה" זו עשויה להיות שלילית).
מההגדרה לעיל, נובע כי ריבוע הנורמה של 4-וקטור המקום הוא
: <math>x^\mu \eta_{\mu,\nu} x^\nu = x^\mu x_\mu = (x^0)^2 - (x^1)^2 - (x^2)^2 - (x^3)^2 = c^2 t^2 - \vec{r} \cdot \vec{r} = (ct)^2 - r^2 </math>
זהו האינטרוול של הווקטור x, והוא [[שמורה (מתמטיקה)|אינווריאנטה]] בתורת היחסות.

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

[[קובץ:Lightcone-he.svg|ממוזער|וקטור A מופרד זמנית מהראשית, וקטור B מופרד אורית ממנה, ווקטור C מופרד ממנה מרחבית]]
גם 4-וקטור ההפרש בין שני 4-וקטורי מאורע הוא 4-וקטור, ולעיתים קרובות הוא שימושי יותר מאשר 4-וקטור המאורע.

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

=== מהירות יחסותית ותאוצה ===

בעזרת הגדרת ה־4-וקטור של מקום וזמן, מוגדר גם 4-וקטור מהירות. מאחר שהזמן תלוי במערכת הייחוס, הגדרת המהירות על ידי גזירה לפי זמן לא תהיה עקבית ואחידה. הפתרון הוא לגזור לפי הזמן העצמי – שהוא אינווריאנטי לורנץ – ואז הגדרת ה־4-וקטור המהירות תהיה עקבית. לכן מגדירים:
: <math>u^\mu = \frac{d x^\mu}{d \tau} = \gamma \frac{d x^\mu}{d t} = \left( \gamma c \, \ \gamma v_x \, \ \gamma v_y \, \ \gamma v_z \right) = \gamma \left( c \, \ \vec{v} \right) </math>
כאשר [[פקטור לורנץ]], <math>\gamma = \frac{1}{\sqrt{1- \frac{v^2}{c^2}}}</math>, נקבע כך שהנורמה של 4-וקטור המהירות שווה למהירות האור:
<math>u^\mu u_\mu = \gamma^2 (c^2-v^2)=c^2</math>

לחלק המרחבי של 4-וקטור המהירות, <math>\vec{u} = \gamma \vec{v}</math>, נהוג לקרוא "מהירות יחסותית" (לעומת "המהירות הקלאסית", <math>\vec{v}</math>). חלק מהפיזיקאים משתמשים ב[[מוסכמה]] שבה המהירות אינה מוכפלת בפקטור לורנץ, אלא דווקא ה[[מסה]]. בהקשר זה, נהוג לקרוא לגודל <math>m=\gamma m_0</math> "מסה יחסותית".

באותו אופן, אפשר גם לחשב תאוצה יחסותית:
:<math>\alpha^\mu = \frac{d u^\mu}{d \tau}</math>

ומהגדרה זו נובע כי המכפלה הסקלרית של התאוצה והמהירות מתאפסת תמיד, כי:
:<math>\alpha^\mu u_\mu = \frac{d u^\mu}{d \tau} u_\mu =\frac{1}{2} \frac{d (u^\mu u_\mu)}{d \tau} = \frac{1}{2} \frac{d c^2}{d \tau} = 0</math>

=== חיבור מהירויות ===
==== מהירויות מקבילות ====
מ[[טרנספורמציות לורנץ]] נובע שכלל חיבור המהירויות המקבילות הקלאסי <math>v_{1+2} = v_1 + v_2</math>, המתאר כיצד תנועתו של גוף נע נמדדת ביחס לשתי מערכות עם תנועה יחסית ביניהן, תקף רק כקירוב במהירויות נמוכות. כלל חיבור המהירויות המקבילות היחסותי הוא
: <math>v_{1+2} = \frac{v_1 + v_2}{1 + \frac{ v_1 v_2}{c^2}}</math>,

כלל שאותו אפשר לקבל דרך הסקת הקואורדינטות המרחב-זמניות של מאורעות המייצגים את הגעת הגוף הנע לנקודות שונות בקו תנועתו, כפי שהן נמדדות בשתי מערכות הייחוס הנידונות (שהאחת נעה ביחס לשנייה), תוך זיהוי המהירות היחסית המבוקשת כיחס <math>dx'/dt'</math>. מכאן אפשר לראות שגוף הנע במהירות קטנה ממהירות האור במערכת אינרציאלית כלשהי, ינוע במהירות קטנה ממהירות האור בכל מערכת אחרת; באופן דומה, גוף שינוע במהירות גדולה ממהירות האור במערכת כלשהי, ינוע במהירות גדולה ממהירות האור בכל מערכת אחרת.
==== מהירויות ניצבות ====
מאחר שהמרחב שאותו מודד צופה נע מתקצר רק בכיוון התנועה שלו ונשמר בכיוונים ניצבים לו (נתייחס לכיוונים הניצבים כאל <math>x</math> ו-<math>y</math>), קואורדינטת ה-<math>y</math> של הגוף הנע בציר זה מותמרת ללא שינוי למערכת הייחוס של הגוף הנע בציר <math>x</math>. אולם מנקודת מבטו של האחרון שעון מערכת המעבדה מתקתק לאט יותר בהשוואה לשעונו העצמי, כך שהגוף הראשון יגמע מרחקים זהים בכיוון <math>y</math> בפרק זמן ארוך יותר במערכת העצמית של הגוף השני בהשוואה לפרק הזמן שנמדד במערכת המעבדה, ולכן הגוף הנע בציר <math>x</math> ימדוד מהירות איטית יותר בציר <math>y</math> של הגוף הראשון בהשוואה לזו שנמדדה במערכת המעבדה. כלומר, בתחשיב המהירויות קצב התנועה בציר <math>x</math> יישאר ללא שינוי, בעוד שהמהירות בציר <math>y</math> תתווסף עם מקדם קטן מ-1, ולכן כלל חיבור המהירויות היחסותי במקרה זה הוא:

: <math> \vec {v_{1+2}} = \vec{v_1}+\vec{v_2}\sqrt{1-(v_1/c)^2}</math>

=== אנרגיה ותנע ===

כדי לדון בדינמיקה של גופים נעים מגדירים את 4-וקטור ה[[תנע]]-[[אנרגיה]]:
: <math>p^\mu = m_0 u^\mu = \left( \gamma m_0 c, \gamma m_0 \vec{v} \right)</math>
כאשר <math>m_0</math> היא [[מסה|מסת המנוחה]] של הגוף. בהרבה ספרים נהוג להגדיר "מסה יחסותית" על ידי <math>m = \gamma m_0</math> ובכך ל"בלוע" את פקטור לורנץ. המסה היחסותית איננה אינווריאנטית לורנץ, למעשה – ככל שגוף נע יותר מהר, כך המסה היחסותית שלו גדולה יותר.
נביט באיבר הזמני של 4-וקטור התנע, לגודל <math>mc</math> יש יחידות של אנרגיה חלקי מהירות ולכן מקובל לרשום אותו בצורה
: <math> mc = \frac{mc^2}{c} = \frac{ \gamma m_0 c^2 }{c}</math>
ואז
: <math>p^\mu = \left( \frac{E}{c}, \vec{p_{rel}} \right) = \left( \frac{mc^2}{c}, \ m\vec{v} \right)</math>
ומתקיים שמסת המנוחה היא אינווריאנטית לורנץ, שכן
: <math>p^\mu p_\mu = (E/c)^2 - p^2 = {m_0}^2 c^2</math>

כעת נתרשם מדוע <math>E = mc^2 = \gamma m_0 c^2</math>.
נפתח את האנרגיה כ[[טור טיילור]] במהירות v ונקבל ש:
: <math>E = \frac{m_0 c^2}{\sqrt{1 - v^2/c^2}} = m_0 c^2 + \frac{1}{2} m_0 v^2 + \cdots</math>
נשים לב ש <math>T = \frac{1}{2} m_0 v^2</math> היא [[אנרגיה קינטית|האינרגיה הקינטית]] הקלאסית של הגוף. לכן, זיהה איינשטיין את תכולת האנרגיה של הגוף עם המסה היחסותית שלו.

האנרגיה הקינטית היחסותית של הגוף היא <math>E_k = m c^2 - m_0 c^2 \,\!</math> ואילו סך האנרגיה הכללית נתון על ידי <math> E^2 = p^2 c^2 + m_0^2 c^4 \,\!</math>.

=== כוח ומשוואות התנועה ===

החוק השני של ניוטון אומר ש <math>\frac{d p}{d \tau} = f</math> וזהו הבסיס למשוואות התנועה גם בתורת היחסות הפרטית. את משוואות התנועה היחסותיות אפשר למצוא באופן [[ריגורוזי]] יותר באמצעות שימוש ב[[עקרון הפעולה המינימלית]] עבור פעולה יחסותית (שבה האינטגרנד הוא גודל אינווריאנטי).

באמצעות עקרון הפעולה אפשר לקבל שמשוואות התנועה הן
:: <math>m \frac{ d^2 x^\mu}{d \tau ^2} = f^{\mu}</math>
כאשר f הוא ה 4-כוח, אותו ניתן לחשב באופן הבא: במערכת המנוחה של החלקיק מגדירים ש <math>f^\mu = \left( 0, \vec{F} \right) </math> ואז מעבירים אותה למערכת הרצויה ב[[טרנספורמציית לורנץ]]. באופן מפורש מקבלים שבמערכת כלשהי, בה החלקיק נע במהירות <math>\vec{v}</math> ה 4-כוח הוא מהצורה
: <math>f^\mu = \left( \gamma \vec{v} \cdot \vec{F} \, \ \vec{F} + \vec{v} ( \gamma - 1) (\vec{v} \cdot \vec{F}) / v^2 \right) </math>

לדוגמה, הכוח החשמלי הפועל על חלקיק בודד ([[כוח לורנץ]]) הוא
: <math>f^\mu = F^{\mu}_{\nu} \frac{dx^\nu}{d \tau}</math>
כאשר כאן <math>F^\mu_\nu</math> הוא [[טנזור השדה האלקטרומגנטי]].

== יישומים ומסקנות של תורת היחסות ==

תורת היחסות הפרטית הובילה לתחזיות השונות מאלה שחזתה המכניקה הניוטונית עבור תנועה הקרובה במהירותה למהירות האור:
* '''[[יחסיות הסימולטניות|יחסיות הבו-זמניות]]''': אם צופה א' רואה שני אירועים רחוקים זה מזה מתרחשים סימולטנית, אזי צופה ב' הנע ביחס לצופה א' יראה אותם מתרחשים בזמנים שונים.
* '''[[התארכות הזמן]]''': אם מישהו נע יחסית אל הצופה במחצית מהירות האור אזי כאשר הצופה מסתכל על מחוגי השניות של אותו מישהו שנע לקראתו, הצופה יראה תזוזה של שנייה כל 1.15 שניות בשעון שלו. מי שנע לא חש בתופעה זו.
* '''התקצרות האורך''': אם חללית נעה ביחס אל הצופה במחצית מהירות האור, אז כאשר הצופה מסתכל על אורכה הוא מתקצר ב־13% לעומת האורך במנוחה, אבל מי שבחללית לא יראה שום שוני.
* '''עליית המסה''': אם חללית נעה ביחס אל הצופה במחצית מהירות האור המסה שלה תהיה ב־15% יותר גדולה מאשר המסה שלה במנוחה, אבל מי שבחללית לא ימדוד שום שינוי.

כל התופעות הבלתי צפויות הללו אושרו מאוחר יותר בניסויים. ברוב התופעות הללו אין אנו חוזים בחיי היום-יום כי השפעתן ניכרת רק לגבי גופים הנעים במהירויות גדולות (מהירויות של בערך חמישית ממהירות האור ומעלה). עבור מהירויות נמוכות, השפעת התופעות הללו זניחה ואי-אפשר למדדה ללא אמצעים מדויקים ביותר.
חידוש נוסף הנובע מתורה זו הוא [[שקילות המסה והאנרגיה]] - לכל גוף יש [[אנרגיה]] אשר אינה קינטית או פוטנציאלית והיא יחסית למסה שלו, על-פי הנוסחה המפורסמת [[E=mc²|E=mc<sup>2</sup>]]. מכאן, כל גוף יכול להיות מומר באנרגיה שוות ערך למסתו; הנחה זו מהווה את היסוד התאורטי לפיתוח [[פצצת אטום]] בפרט ולהפקת [[אנרגיה גרעינית]] בכלל. ניצול מלא של שקילות זו מתרחש כאשר [[חומר]] ו[[אנטי-חומר]] מתנגשים, שאז הם [[איון (פיזיקה)|מתאיינים]] – הופכים לאנרגיה ללא שארית ממהותם המקורית. לעובדה זו יש יישום חשוב מאוד בפיזיקה של [[חלקיקי יסוד|חלקיקים אלמנטריים]]: האצת חלקיקי יסוד כמו [[פרוטון]] או [[אלקטרון]] למהירויות אדירות (של יותר מ־80% ממהירות האור) והטחתם בחלקיקים אחרים תביא, בשל עיקרון שקילות המסה והאנרגיה, ליצירת הרבה חלקיקים חדשים ולפיזורם בהתאם לחוק שימור ה[[תנע]]. כך, אפשר ליצור ולחקור חלקיקים אלמנטריים. זהו העיקרון שעומד מאחורי [[מאיץ חלקיקים]].

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

לתורת היחסות הפרטית לא היו הרבה יישומים מעשיים ישירים. הסיבה לכך היא שתורת היחסות הפרטית היא [[תאוריה]] לשם התאוריה, ולצורך כל יישום מעשי משתמשים ב[[תורת היחסות הכללית]], שכן את השפעת ה[[גרביטציה]] אי-אפשר להזניח, ואילו יחסות פרטית מטפלת רק במערכות אינרציאליות ללא תאוצה.

ברם, לתורת היחסות הפרטית יש חשיבות תאורטית מהמעלה הראשונה וחייבים להתחשב בה כאשר רוצים לפתח תאוריה המתארת תופעות אלמנטריות הן בסקלה קוונטית והן בסקלה קוסמית. {{ש}}
כדי לקבל תיאור נכון של תופעות קוונטיות יש להשתמש ב[[מכניקת קוונטים]] הבנויה על יסוד היחסות הפרטית. מכניקה קוונטית יחסותית פותחה לראשונה על ידי הפיזיקאי [[פול דיראק]], ולבסוף ב[[תורת השדות הקוונטית]], שהיא הבסיס ל[[המודל הסטנדרטי|מודל הסטנדרטי]].

חשיבותה של תורת היחסות הפרטית היא בפתרון הסתירות של פיזיקת המאה ה־19 ובהיותה בסיס מחשבתי ופילוסופי ליחסות הכללית.

==לקריאה נוספת==
* {{פא"ר|מספר=403|שם הספר=יסודות הפיזיקה ב (כרך 7)|כותב=פרופ' [[יורם קירש]], מיכל בן-יעקב|שנה=1998}}
* יהודה שדמי, '''תורת היחסות הפרטית''', המכון לאמצעי הוראה, תש"ל
 
* אלברט איינשטיין, '''על תורת היחסות הפרטית והכללית''', תרגום מגרמנית: יעקב גרינברג, הוצאת דביר, תרפ"ט 1928; יכין אונא, [[הוצאת מאגנס]], 2015
* [[צבי מזא"ה]], '''מבוא לתורת היחסות הפרטית'''.
<div>
* Albert Einstein, '''The Meaning of Relativity''', Princton University Press, New Jersey, 1922

* Albert Einstein, ''' Relativity - the Special and General Relativity''', Crown, New York, 1961 (מהדורה להפצה בארצות הברית בלבד, תרגום מהמקור בגרמנית מ-1916)
 </div>

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* [http://ofer-megged-phys-notes.blogspot.co.il/2011/01/blog-post.html שלושת עקרונות היסוד של היחסות הפרטית], מתוך הבלוג "[http://ofer-megged-phys-notes.blogspot.co.il/ רשימות בפיזיקה עיונית]"
* יואב בן-דב, [http://www.bendov.info/heb/books/physbook/10.htm סרגלים ושעונים - תורת היחסות הפרטית] - בספר מבוא לפיזיקה: היסטוריה, תאוריות ומושגים.
* [http://minerva.tau.ac.il/physics/bsc/1/1804/lectures/SR_resources.html רשימה קצרה של אתרים על יחסות פרטית] {{Webarchive|url=https://web.archive.org/web/20050418145945/http://minerva.tau.ac.il/physics/bsc/1/1804/lectures/SR_resources.html |date=2005-04-18 }} {{אנגלית}}
* [http://www.fourmilab.ch/etexts/einstein/specrel/www/ On the electrodynamics of moving bodies] - תרגום מגרמנית לאנגלית של המאמר המפורסם של איינשטיין מ־1905, באתר "Fourmilab"
* רפי מור, [http://www.rafimoor.com/hebrew/SRH.htm להבין את תורת היחסות הפרטית]
* [https://www.lib.cet.ac.il/Pages/item.asp?item=13254 מאמר מכתב-העת גליליאו]
* [http://www.youtube.com/watch?v=C2VMO7pcWhg קליפ אנימציה] המדגים את השפעות תורת היחסות הפרטית על עצמים הנעים במהירות
* אבשלום אליצור, [http://www.a-c-elitzur.co.il/site/SiteArticle.asp?ar=234 שיעור חי ביחסות]
* The fundamentals of space-time – סרטוני הסבר על יסודות החלל זמן: [https://www.youtube.com/watch?v=ScdLqAA_64E חלק 1], [https://www.youtube.com/watch?v=aeCsS6PjhK8 חלק 2] ו[https://www.youtube.com/watch?v=NAXHHBUY9_E חלק 3] {{סרטונים}}
* {{בריטניקה}}
* {{דף שער בספרייה הלאומית|987007565727105171|יחסות פרטית (פיזיקה)}}

==הערות שוליים==
{{הערות שוליים|יישור=ימין}}

{{נושאים בפיזיקה}}
{{בקרת זהויות}}

[[קטגוריה:תורת היחסות הפרטית|*]]
[[קטגוריה:פיזיקה תאורטית]]