מרחב עקום
מרחב עקום מתייחס לרוב לגאומטריה מרחבית שאינה "שטוחה". מרחב שטוח הוא מרחב בעל עקמומיות אפס, כפי שמתואר בגאומטריה אוקלידית.[1] בדרך כלל מתארים מרחבים עקומים באמצעות גאומטריה רימאנית, אם כי ניתן לתאר כמה מקרים פשוטים בדרכים אחרות. מרחבים עקומים ממלאים תפקיד מהותי בתורת היחסות הכללית, כאשר כוח הכבידה מתואר לעיתים קרובות באמצעות מרחב עקום.[2] מטריקת פרידמן-למטר-רוברטסון-ווקר היא מטריקה עקומה, המהווה את הבסיס הנוכחי לתיאור התפשטות היקום.[3] העובדה שלמרות שלפוטונים אין מסה, הם מושפעים מכוח הכבידה, פירושה שההסבר צריך להיות משהו מלבד מסה פוטונית. מכאן הרעיון שגופים מסיביים מעקמים את המרחב-זמן. ולכן אור, המתקדם במרחב-זמן עקום, ייראה ככפוף לכוח הכבידה.
דוגמה דו־ממדית פשוטה
[עריכת קוד מקור | עריכה]פני השטח של כדור מהווים דוגמה קלאסית למרחב עקום. למרות שהכדור עצמו נתפס כתלת־ממדי, אובייקט המוגבל לפני השטח שלו יכול לנוע במרחב דו־ממדי בלבד. ניתן לתאר את פני השטח של הכדור באמצעות שני ממדים, כיוון שמדובר במשטח. אפילו פני השטח של כדור הארץ, למרות מורכבותם הפרקטלית, מהווים בסופו של דבר גבול דו־ממדי שתוחם נפח מסוים.[4]
שיכון
[עריכת קוד מקור | עריכה]![](http://upload.wikimedia.org/wikipedia/commons/1/11/Pythagorean_triangle.png)
אחד המאפיינים המגדירים של מרחב עקום הוא שמשפט פיתגורס לא מתקיים במרחב עקום. כלומר, במרחב עקום
- .
לעיתים קרובות ניתן ל"הציל" את משפט פיתגורס על ידי הוספת מימד לתיאור המרחב. נניח מרחב תלת-ממדי לא אוקלידי עם קואורדינטות . מכיוון שהמרחב אינו שטוח
- .
אם נוסיף למרחב מימד נוסף ונייצג את המרחב כמרחב ארבע ממדי () נוכל לבחור קואורדינטות כך ש
- .
מובן שהקואורדינטה אינה זהה לקואורדינטה וכנ"ל לשתי הקואורדינטות ו .
כדי שהיצוג הארבע-ממדי ייתארו באופן נאמן את המרחב התלת-ממדי המקורי, עליו להיות בעל אותו מספר דרגות חופש. מכיוון שלמרחב ארבע ממדי יש ארבע דרגות חופש, יש להטיל עליו אילוץ. למשל, ניתן להטיל אילוץ הדורש את קיום משפט פיתגורס במרחב הארבע ממדי החדש. כלומר
- .
הקבוע יכול להיות חיובי או שלילי. מקובל לבחור את הקבוע להיות
- כאשר הוא חיובי ו .
ניתן להשתמש באילוץ הזה כדי להסיר את הקואורדינטה הרביעית, המלאכותית, . הדיפרנציאל של משוואת האילוץ הוא
- כלומר .
הצבה של במשוואה המקורית נותן
- .
צורה זו בדרך כלל אינה אסתטית במיוחד, ולכן עוברים לרוב לקואורדינטות הכדוריות כאשר , , . עם טרנספורמצית הקואורדינטות הזו מקבלים
- .
ללא שיכון
[עריכת קוד מקור | עריכה]ניתן לתאר את הגאומטריה של מרחב n-ממדי באמצעות גאומטריה רימאנית. ניתן לתאר מרחב איזוטרופי והומוגני על ידי המטריקה:
- .
זה מצטמצם למרחב אוקלידי כאשר . אבל ניתן לומר שמרחב הוא "שטוח" כאשר כל הרכיבים של טנזור וייל (אנ') מתאפסים. במרחב תלת־ממדי תנאי זה מתקיים כאשר טנזור העקמומיות של ריצ'י (אנ') () שווה למטריקה המוכפלת בסקלר של ריצ'י (אנ') (לא להתבלבל עם של הסעיף הקודם). זה . חישוב של רכיבים אלה מתוך המדד נותן
- כאשר .
זה נותן את המטריקה
- .
כאשר יכול להיות אפס, חיובי או שלילי ואינו מוגבל ל-±1.
מרחב פתוח, שטוח, סגור
[עריכת קוד מקור | עריכה]ניתן לתאר מרחב איזוטרופי והומוגני על ידי המטריקה
- .
בגבול שבו קבוע העקמומיות () גדל לאינסוף, מתקבל מרחב אוקלידי שטוח. גבול זה שקול למקרה . אם אינו אפס המרחב אינו אוקלידי. כאשר אומרים שהמרחב סגור או אליפטי. כאשר אומרים שהחלל פתוח או היפרבולי .
סכום הזוויות של משולש, השוכן על פני משטח של מרחב פתוח, יהיה קטן מ-180°. סכום הזוויות של משולש, השוכן על פני משטח של מרחב סגור, יהיה גדול מ-180°.
ראו גם
[עריכת קוד מקור | עריכה]הערות שוליים
[עריכת קוד מקור | עריכה]- ^ "The Feynman Lectures on Physics Vol. II Ch. 42: Curved Space". www.feynmanlectures.caltech.edu. נבדק ב-2024-01-18.
- ^ "Curved Space". www.math.brown.edu. נבדק ב-2024-01-18.
- ^ M. Lachieze-Rey, J. P. Luminet, Cosmic Topology, Physics Reports 254, 1995-03, עמ' 135–214 doi: 10.1016/0370-1573(94)00085-H
- ^ "Curved Space - Special and General Relativity - The Physics of the Universe". www.physicsoftheuniverse.com. נבדק ב-2024-01-18.
לקריאה נוספת
[עריכת קוד מקור | עריכה]קישורים חיצוניים
[עריכת קוד מקור | עריכה]- Curved Spaces, מדמה ליקומים מקושרים שפותח על ידי ג'פרי וויקס