פרדוקס הסולם והאסם

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

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

==תיאור הפרדוקס==
איור 1: הסולם והאסם במצב מנוחה.
איור 2: במערכת הייחוס של האסם, הסולם עובר התכווצות אורך, ולפיכך מתאים בגודלו להיכנס לתוך האסם.
איור 3: במערכת הייחוס של הסולם, האסם עובר התכווצות אורך ולפיכך הוא קטן מדי להכיל את הסולם.
הגרסה הפשוטה ביותר של הבעיה נוגעת לאסם, עם דלת קדמית ודלת אחורית אשר פתוחות, וסולם אשר, כשהוא במנוחה יחסית לאסם, הוא ארוך מכדי להיכנס לתוכו. כעת אנו מזיזים את הסולם במהירות אופקית גבוהה דרך האסם הנייח. בגלל המהירות הגבוהה שלו, הסולם עובר את האפקט היחסותי של התכווצות האורך, ונהיה משמעותית קצר יותר. כתוצאה, כשהסולם עובר דרך האסם, הוא, למשך זמן קצר, מוכל כולו בתוך האסם. יכולנו, אם רצינו, לסגור סימולטנית את שתי הדלתות למשך זמן קצר, כדי להדגים שהסולם נמצא כולו בתוך האסם.

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

==פתרון הפרדוקס==
איור 4: התרחיש במערכת הייחוס של האסם, סולם מכווץ עובר דרך האסם.
איור 5: התרחיש במערכת הייחוס של הסולם, אסם מכווץ חולף על פני הסולם. באיור ניתן לראות את הפרש בזמני הסגירה של הדלתות. 
=== ניתוח מתמטי של הפרדוקס ===

כדי להמחיש כיצד הפרדוקס נפתר באופן מלא, ניקח מקרי פרטי בו אורכו המקוצר של הסולם (שנצפה כאשר הוא נע) שווה בדיוק לאורכו של האסם. נסמן את אורך המנוחה של הסולם ב-<math>L_1</math> ואת אורך המנוחה של האסם ב-<math>L_2</math>. מתקיים : <math>L_2 = \frac = L_1\cdot \sqrt</math> כאשר <math>\beta = v/c</math>, כך שהסולם מתאים באורכו בדיוק לאסם. ממערכת הייחוס של הסולם, אורך האסם הוא <math>L_2' = \frac </math>. הסימולטניות של מאורעות הסגירה של הדלת הקדמית והאחורית (שנקרא להם מאורעות A ו-B) במערכת הייחוס של האסם לא נשמרת במעבר למערכת הייחוס של הסולם, והאינטרוול דמוי המרחב בין המאורעות A ו-B מומר בחלקו לאינטרוול דמוי זמן (עקרון שמירות האינטרוול) במערכת הייחוס של הסולם.

מטרנספורמציות לורנץ נקבל שהפרש הזמנים <math>t_ - t_</math> של המאורעות <math>A'</math> ו-<math>B'</math> (שהם מאורעות A ו-B כפי שנצפים במערכת הייחוס של הסולם) הוא <math>L_2\frac = L_1\frac </math>. לעומת זאת הפרש הזמנים בין הרגע שבו חזית הסולם פוגשת את הדלת האחורית לרגע שזנב הסולם פוגש את הדלת הקדמית הוא : <math>T = \frac = \frac = L_1\frac </math>, כלומר <math>T = t_ - t_</math>, ובמילים אחרות במקרה פרטי זה זמני הסגירה של הדלתות מתוזמנים באופן מושלם עם זמני ההגעה של חזית הסולם.

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

=== ניתוח גרפי של הפרדוקס ===

אירועים A,B ו-C מתרחשים בסדר שונה בתלות בתנועה של הצופה. הקו הלבן מייצג מישור סימולטניות הנע מהעבר לעתיד.

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

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

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

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

== ראו גם ==
פרדוקס התאומים

==קישורים חיצוניים==

קטגוריה:פרדוקסים פיזיקליים
קטגוריה:תורת היחסות הפרטית